Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-wpm1-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_KnotPipatsrisawat_random-net-40-2_network-1.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-40-2_network-1.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 955
c lw 1519
c lw 2054
c lw 3501
c lw 4733
c lw 5796
c lw 6643
c lw 6675
c lw 7078
c lw 7447
c lw 7512
c lw 8020
c lw 9051
c lw 9200
c lw 9425
c lw 9507
c lw 9596
c lw 9817
c lw 9907
c lw 10236
c lw 10605
c lw 10639
c lw 10970
c lw 10997
c lw 11048
c lw 11134
c lw 11218
c lw 11280
c lw 11331
c lw 11342
c lw 11347
c lw 11456
c lw 11977
c lw 12015
c lw 12240
c lw 12257
c lw 12283
c lw 12306
c lw 12310
c lw 12352
c lw 12366
c lw 12401
c lw 12455
c lw 13148
c lw 13162
c lw 13165
c lw 13191
c lw 13204
c lw 13208
c lw 13214
c lw 13222
c lw 13338
c lw 13370
c lw 13450
c lw 13492
c lw 13516
c lw 13533
c lw 13540
c lw 13559
c lw 13576
c lw 13578
c lw 13928
c lw 13960
c lw 15363
c lw 15437
c lw 15439
c lw 15443
c lw 15460
c lw 15467
c lw 15472
c lw 15480
c lw 15486
c lw 15503
c lw 15505
c lw 15730
c lw 15822
c lw 16050
c lw 17109
c lw 17271
c lw 17307
c lw 17320
c lw 17373
c lw 18439
c lw 18512
c lw 18804
c lw 18842
c lw 19051
c lw 19083
c lw 19130
c lw 19173
c lw 19179
c lw 19226
c lw 19295
c lw 19392
c lw 19540
c lw 19870
c lw 19927
c lw 20005
c lw 20031
c lw 20039
c lw 20054
c lw 20228
c lw 20284
c lw 20362
c lw 20431
c lw 20527
c lw 20579
c lw 20639
c lw 20750
c lw 20846
c lw 20862
c lw 20935
c lw 20940
c lw 20953
c lw 20966
c lw 21169
c lw 21197
c lw 21198
c lw 21237
c lw 21254
c lw 21277
c lw 21312
c lw 21318
c lw 21320
c lw 21332
c lw 21346
c lw 21365
c lw 21401
c lw 21416
c lw 21684
c lw 21776
c lw 21842
c lw 21900
c lw 21908
c lw 21985
c lw 22004
c lw 22018
c lw 22028
c lw 22030
c lw 22032
c lw 22035
c lw 22413
c lw 22502
c lw 22509
c lw 22530
c lw 22596
c lw 22751
c lw 22764
c lw 22768
c lw 22787
c lw 22791
c lw 22792
c lw 22803
c lw 22891
c lw 23035
c lw 23104
c lw 23166
c lw 23179
c lw 23183
c lw 23184
c lw 23186
c lw 23262
c lw 23381
c lw 23422
c lw 23475
c lw 23477
c lw 23479
c lw 23488
c lw 23494
c lw 23505
c lw 23507
c lw 23508
c lw 23512
c lw 23515
c lw 23519
c lw 23520
c lw 23523
c lw 23524
c lw 23525
c lw 23536
c lw 23543
c lw 23550
c lw 23826
c lw 24116
c lw 24118
c lw 24120
c lw 24122
c lw 24126
c lw 24127
c lw 24357
c lw 24366
c lw 24501
c lw 24737
c lw 24879
c lw 24897
c lw 25173
c lw 25174
c lw 25175
c lw 25176
c lw 25177
c lw 25178
c lw 25400
c lw 25460
c lw 25524
c lw 25579
c lw 25691
c lw 25728
c lw 25838
c lw 25884
c lw 25907
c lw 25974
c lw 25998
c lw 26074
c lw 26077
c lw 26095
c lw 26109
c lw 26173
c lw 26183
c lw 26213
c lw 26228
c lw 26322
c lw 26384
c lw 26416
c lw 26475
c lw 26493
c lw 26496
c lw 26551
c lw 26612
c lw 26683
c lw 26853
c lw 27055
c lw 27082
c lw 27142
c lw 27471
c lw 27473
c lw 27498
c lw 27726
c lw 27786
c lw 27800
c lw 27841
c lw 27864
c lw 27874
c lw 27904
c lw 27906
c lw 28099
c lw 28109
c lw 28112
c lw 28125
c lw 28145
c lw 28152
c lw 28155
c lw 28206
c lw 28207
c lw 28212
c lw 28219
c lw 28226
c lw 28233
c lw 28261
c lw 28267
c lw 28268
c lw 28290
c lw 28300
c lw 28302
c lw 28309
c lw 28320
c lw 28321
c lw 28324
c lw 28332
c lw 28339
c lw 28346
c lw 28354
c lw 28357
c lw 28358
c lw 28369
c lw 28376
c lw 28378
c lw 28419
c lw 28433
c lw 28459
c lw 28466
c lw 28478
c lw 28490
c lw 28492
c lw 28493
c lw 28495
c lw 28514
c lw 28522
c lw 28523
c lw 28532
c lw 28543
c lw 28545
c lw 28557
c lw 28560
c lw 28564
c lw 28573
c lw 28578
c lw 28590
c lw 28598
c lw 28610
c lw 28620
c lw 28622
c lw 28623
c lw 28636
c lw 28638
c lw 28640
c lw 28661
c lw 28920
c lw 28974
c lw 29260
c lw 29341
c lw 29517
c lw 29569
c lw 30011
c lw 30018
c lw 30041
c lw 30727
c lw 30728
c lw 30730
c lw 30732
c lw 30741
c lw 30742
c lw 30743
c lw 30744
c lw 30748
c lw 30749
c lw 30750
c lw 30752
c lw 30761
c lw 30766
c lw 30767
c lw 30773
c lw 30775
c lw 30777
c lw 30779
c lw 30783
c lw 30784
c lw 30785
c lw 30786
c lw 30787
c lw 30788
c lw 30789
c lw 30790
c lw 30792
c lw 30796
c lw 30799
c lw 30800
c lw 30801
c lw 30802
c lw 30803
c lw 30804
c lw 30805
c lw 30809
c lw 30810
c lw 30811
c lw 30812
c lw 30813
c lw 30814
c lw 30815
c lw 30816
c lw 30817
c lw 30818
c lw 30820
c lw 30822
c lw 30825
c lw 30826
c lw 30827
c lw 30828
c lw 30829
c lw 30831
c lw 30832
c lw 30834
c lw 30835
c lw 30836
c lw 30838
c lw 30839
c lw 30840
c lw 30841
c lw 30843
c lw 30844
c lw 30845
c lw 30846
c lw 30848
c lw 30851
c lw 30852
c lw 30853
c lw 30854
c lw 30855
c lw 30856
c lw 30857
c lw 30860
c lw 30869
c lw 30871
c lw 30872
c lw 30874
c lw 30875
c lw 30876
c lw 30879
c lw 30880
c lw 30884
c lw 30888
c lw 30892
c lw 30894
c lw 30901
c lw 30912
c lw 30913
c lw 30914
c lw 30917
c lw 30918
c lw 30919
c lw 30922
c lw 30923
c lw 30930
c lw 30931
c lw 30941
c lw 30942
c lw 30949
c lw 30954
c lw 30956
c lw 30959
c lw 30963
c lw 30971
c lw 30972
c lw 30979
c lw 30980
c lw 30983
c lw 30987
c lw 30988
c lw 30990
c lw 30991
c lw 30992
c lw 30993
c lw 30997
c lw 30998
c lw 31000
c lw 31001
c lw 31009
c lw 31010
c lw 31012
c lw 31016
c lw 31017
c lw 31018
c lw 31019
c lw 31020
c lw 31021
c lw 31022
c lw 31023
c lw 31024
c lw 31025
c lw 31026
c lw 31027
c lw 31028
c lw 31030
c lw 31032
c lw 31033
c lw 31034
c lw 31035
c lw 31036
c lw 31037
c lw 31039
c lw 31040
c lw 31041
c lw 31042
c lw 31043
c lw 31044
c lw 31045
c lw 31046
c lw 31047
c lw 31048
c lw 31049
c lw 31050
c lw 31051
c lw 31052
c lw 31053
c lw 31054
c lw 31055
c lw 31056
c lw 31058
c lw 31059
c lw 31060
c lw 31063
c lw 31064
c lw 31065
c lw 31066
c lw 31067
c lw 31068
c lw 31069
c lw 31071
c lw 31073
c lw 31074
c lw 31075
c lw 31076
c lw 31077
c lw 31078
c lw 31079
c lw 31080
c lw 31081
c lw 31082
c lw 31083
c lw 31084
c lw 31085
c lw 31086
c lw 31087
c lw 31088
c lw 31089
c lw 31090
c lw 31092
c lw 31093
c lw 31094
c lw 31095
c lw 31096
c lw 31097
c lw 31098
c lw 31099
c lw 31100
c lw 31101
c lw 31103
c lw 31105
c lw 31106
c lw 31107
c lw 31108
c lw 31110
c lw 31111
c lw 31112
c lw 31113
c lw 31114
c lw 31115
c lw 31116
c lw 31118
c lw 31119
c lw 31120
c lw 31121
c lw 31122
c lw 31123
c lw 31124
c lw 31126
c lw 31127
c lw 31128
c lw 31129
c lw 31130
c lw 31133
c lw 31134
c lw 31135
c lw 31137
c lw 31138
c lw 31139
c lw 31141
c lw 31142
c lw 31143
c lw 31144
c lw 31145
c lw 31146
c lw 31147
c lw 31148
c lw 31149
c lw 31150
c lw 31151
c lw 31152
c lw 31153
c lw 31154
c lw 31155
c lw 31162
c lw 31163
c lw 31164
c lw 31167
c lw 31168
c lw 31169
c lw 31170
c lw 31171
c lw 31172
c lw 31173
c lw 31175
c lw 31176
c lw 31177
c lw 31178
c lw 31179
c lw 31180
c lw 31181
c lw 31182
c lw 31184
c lw 31185
c lw 31186
c lw 31189
c lw 31190
c lw 31191
c lw 31192
c lw 31218
c lw 31219
c lw 31220
c lw 31221
c lw 31222
c lw 31223
c lw 31224
c lw 31225
c lw 31226
c lw 31227
c lw 31228
c lw 31229
c lw 31230
c lw 31231
c lw 31232
c lw 31233
c lw 31234
c lw 31235
c lw 31236
c lw 31237
c lw 31238
c lw 31503
c lw 31810
c lw 31811
c lw 32087
c lw 32093
c lw 32166
c lw 32371
c lw 32374
c lw 32415
c lw 32530
c lw 32531
c lw 32532
c lw 32533
c lw 32534
c lw 32535
c lw 32536
c lw 32537
c lw 32538
c lw 32539
c lw 32540
c lw 32541
c lw 32542
c lw 32543
c lw 32544
c lw 32545
c lw 32546
c lw 32547
c lw 32548
c lw 32549
c lw 32550
c lw 32551
c lw 32604
c lw 32624
c lw 32630
c lw 32663
c lw 32665
c lw 32674
c lw 32677
c lw 32920
c lw 32949
c lw 33012
c lw 33115
c lw 33256
c lw 33496
c lw 33582
c lw 33618
c lw 33754
c lw 33867
c lw 34185
c lw 34360
c lw 34495
c lw 34534
c lw 34594
c lw 34596
c lw 34625
c lw 34651
c lw 34692
c lw 34741
c lw 34812
c lw 34816
c lw 34819
c lw 34929
c lw 34958
c lw 34960
c lw 34982
c lw 34983
c lw 34984
c lw 34985
c lw 34992
c lw 34995
c lw 35011
c lw 35021
c lw 35023
c lw 35026
c lw 35027
c lw 35028
c lw 35029
c lw 35244
c lw 35253
c lw 35312
c lw 35359
c lw 35391
c lw 35772
c lw 35836
c lw 35863
c lw 36024
c lw 36026
c lw 36143
c lw 36555
c lw 36571
c lw 36629
c lw 36640
c lw 36795
c lw 36822
c lw 36824
c lw 36833
c lw 36835
c lw 36865
c lw 36890
c lw 36916
c lw 36953
c lw 36955
c lw 36994
c lw 37108
c lw 37116
c lw 37975
c lw 38012
c lw 38038
c lw 38063
c lw 38088
c lw 38093
c lw 38095
c lw 38112
c lw 38120
c lw 38121
c lw 38123
c lw 38125
c lw 38134
c lw 38135
c lw 38137
c lw 38138
c lw 38139
c lw 38140
c lw 38141
c lw 38142
c lw 38143
c lw 38144
c lw 38145
c lw 38146
c lw 38147
c lw 38148
c lw 38149
v -1 2 3 -4 -5 6 -7 8 -9 -10 -11 12 -13 -14 -15 -16 17 -18 19 -20 -21 -22 23 -24 -25 26 -27 -28 -29 -30 31 -32 33 34 -35 36 -37 -38 39 -40 -41 -42 -43 44 -45 -46 -47 -48 49 -50 51 -52 -53 -54 -55 -56 57 -58 -59 60 -61 -62 63 -64 65 66 -67 -68 -69 -70 71 -72 -73 74 -75 76 -77 78 -79 -80 81 -82 83 -84 -85 -86 87 -88 -89 -90 -91 92 -93 94 -95 -96 -97 -98 99 -100 -101 -102 103 104 -105 -106 -107 108 -109 -110 111 -112 113 -114 -115 116 -117 -118 -119 
o 38149
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-40-2_network-1.net.wcnf 38149
962.565u 9.666s 16:14.44 99.7%	0+0k 0+0io 0pf+0w