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-80-2_network-8.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-2_network-8.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 363
c lw 837
c lw 1749
c lw 2501
c lw 3518
c lw 4400
c lw 5760
c lw 6620
c lw 7806
c lw 8906
c lw 10249
c lw 11495
c lw 11502
c lw 11863
c lw 12089
c lw 12380
c lw 13146
c lw 13747
c lw 13895
c lw 14902
c lw 15982
c lw 16747
c lw 17167
c lw 17284
c lw 17658
c lw 17969
c lw 18387
c lw 18509
c lw 19880
c lw 20182
c lw 20690
c lw 21307
c lw 21512
c lw 21637
c lw 21688
c lw 21770
c lw 21854
c lw 22547
c lw 22859
c lw 22995
c lw 23104
c lw 23252
c lw 23275
c lw 23289
c lw 23328
c lw 23487
c lw 23539
c lw 23547
c lw 23630
c lw 23671
c lw 24009
c lw 24139
c lw 24438
c lw 24684
c lw 24742
c lw 25364
c lw 25453
c lw 26049
c lw 26497
c lw 26581
c lw 26695
c lw 26808
c lw 27237
c lw 27385
c lw 27409
c lw 27539
c lw 27590
c lw 27786
c lw 28014
c lw 28640
c lw 28772
c lw 28823
c lw 28940
c lw 28945
c lw 29046
c lw 29171
c lw 29187
c lw 29589
c lw 29695
c lw 30666
c lw 30725
c lw 30738
c lw 30788
c lw 30847
c lw 31149
c lw 31161
c lw 31177
c lw 31232
c lw 31256
c lw 31583
c lw 31598
c lw 31676
c lw 31702
c lw 32039
c lw 32565
c lw 32570
c lw 32596
c lw 32608
c lw 32803
c lw 33183
c lw 33292
c lw 33408
c lw 33416
c lw 33614
c lw 33647
c lw 33736
c lw 33762
c lw 33784
c lw 34000
c lw 34332
c lw 34918
c lw 35274
c lw 35461
c lw 35664
c lw 35977
c lw 36047
c lw 36180
c lw 36191
c lw 36240
c lw 36275
c lw 36287
c lw 36342
c lw 36358
c lw 36577
c lw 36607
c lw 36655
c lw 36750
c lw 36781
c lw 36792
c lw 37170
c lw 37216
c lw 37293
c lw 37326
c lw 37370
c lw 37416
c lw 37879
c lw 37950
c lw 37962
c lw 38017
c lw 38023
c lw 38033
c lw 38070
c lw 38228
c lw 38435
c lw 38505
c lw 38568
c lw 38662
c lw 38683
c lw 38693
c lw 38997
c lw 39178
c lw 39258
c lw 39272
c lw 39322
c lw 39368
c lw 39417
c lw 39448
c lw 39560
c lw 39646
c lw 39679
c lw 40056
c lw 40161
c lw 40170
c lw 40360
c lw 40557
c lw 40929
c lw 40982
c lw 42215
c lw 43121
c lw 43279
c lw 43550
c lw 43579
c lw 43633
c lw 43950
c lw 43987
c lw 44024
c lw 44101
c lw 44250
c lw 44252
c lw 44266
c lw 44284
c lw 44302
c lw 44342
c lw 44344
c lw 44346
c lw 44354
c lw 44359
c lw 44383
c lw 44386
c lw 44393
c lw 44395
c lw 44412
c lw 44415
c lw 44417
c lw 44421
c lw 44430
c lw 44455
c lw 44460
c lw 44573
c lw 44612
c lw 44925
c lw 45059
c lw 45062
c lw 45318
c lw 45357
c lw 45576
c lw 45590
c lw 45613
c lw 45811
c lw 46016
c lw 46303
c lw 46305
c lw 46377
c lw 46461
c lw 46463
c lw 46471
c lw 46535
c lw 46603
c lw 46675
c lw 46689
c lw 46761
c lw 46811
c lw 46845
c lw 46917
c lw 46926
c lw 46945
c lw 47127
c lw 47144
c lw 47161
c lw 47163
c lw 47182
c lw 47196
c lw 47203
c lw 47205
c lw 47248
c lw 47686
c lw 48083
c lw 48827
c lw 48867
c lw 49276
c lw 49382
c lw 49408
c lw 49421
c lw 49495
c lw 49670
c lw 49871
c lw 50152
c lw 50350
c lw 50596
c lw 51300
c lw 51402
c lw 51523
c lw 51672
c lw 51808
c lw 52187
c lw 52223
c lw 52391
c lw 52539
c lw 52723
c lw 52800
c lw 52902
c lw 52953
c lw 53137
c lw 53214
c lw 53292
c lw 53396
c lw 53506
c lw 53793
c lw 54039
c lw 54143
c lw 54470
c lw 54568
c lw 54569
c lw 54752
c lw 54753
c lw 54829
c lw 54835
c lw 54945
c lw 54998
c lw 55180
c lw 55231
c lw 55303
c lw 55365
c lw 55461
c lw 55547
c lw 55552
c lw 55621
c lw 55780
c lw 55916
c lw 55961
c lw 56275
c lw 56625
c lw 56632
c lw 56643
c lw 57223
c lw 57230
c lw 57241
c lw 57349
c lw 57439
c lw 57863
c lw 58123
c lw 58286
c lw 58298
c lw 58302
c lw 58319
c lw 58342
c lw 58439
c lw 58590
c lw 58659
c lw 58742
c lw 58746
c lw 58859
c lw 58966
c lw 59101
c lw 59168
c lw 59343
c lw 59355
c lw 59361
c lw 59402
c lw 59412
c lw 59414
c lw 59534
c lw 59545
c lw 59553
c lw 59562
c lw 59566
c lw 59570
c lw 59574
c lw 59690
c lw 59777
c lw 59784
c lw 59881
c lw 60496
c lw 60538
c lw 60552
c lw 60554
c lw 60561
c lw 60573
c lw 60587
c lw 60589
c lw 60613
c lw 60620
c lw 60677
c lw 60766
c lw 60788
c lw 60792
c lw 60809
c lw 60860
c lw 60920
c lw 60925
c lw 60932
c lw 60989
c lw 60995
c lw 61226
c lw 61477
c lw 61495
c lw 61595
c lw 61676
c lw 61769
c lw 61779
c lw 61802
c lw 61814
c lw 61816
c lw 61861
c lw 61922
c lw 62067
c lw 62095
c lw 62113
c lw 62213
c lw 62245
c lw 62258
c lw 62294
c lw 62600
c lw 62707
c lw 62712
c lw 62720
c lw 62723
c lw 62730
c lw 62732
c lw 62740
c lw 62741
c lw 62748
c lw 62755
c lw 62805
c lw 62811
c lw 62951
c lw 62968
c lw 62981
c lw 62986
c lw 63028
c lw 63042
c lw 63060
c lw 63066
c lw 63787
c lw 64237
c lw 64301
c lw 64357
c lw 65067
c lw 65372
c lw 65720
c lw 65868
c lw 65995
c lw 66169
c lw 66171
c lw 66316
c lw 66507
c lw 66628
c lw 66697
c lw 66857
c lw 66909
c lw 66980
c lw 67615
c lw 67616
c lw 67739
c lw 67783
c lw 67828
c lw 67964
c lw 67972
c lw 68008
c lw 68009
c lw 68084
c lw 68201
c lw 68259
c lw 68272
c lw 68285
c lw 68305
c lw 68315
c lw 68332
c lw 68358
c lw 68760
c lw 68886
c lw 68896
c lw 68986
c lw 69074
c lw 69083
c lw 69096
c lw 69109
c lw 69111
c lw 69216
c lw 69681
c lw 70249
c lw 70573
c lw 70599
c lw 70612
c lw 70622
c lw 70637
c lw 70672
c lw 70712
c lw 70717
c lw 70771
c lw 70800
c lw 70936
c lw 71062
c lw 71064
c lw 71074
c lw 71089
c lw 71124
c lw 71164
c lw 71169
c lw 71223
c lw 71279
c lw 71359
c lw 71388
c lw 71397
c lw 71410
c lw 71414
c lw 71425
c lw 71427
c lw 71467
c lw 71545
c lw 71850
c lw 71924
c lw 71959
c lw 72017
c lw 72022
c lw 72025
c lw 72028
c lw 72032
c lw 72033
c lw 72034
c lw 72038
c lw 72042
c lw 72043
c lw 72045
c lw 72052
c lw 72053
c lw 72054
c lw 72067
c lw 72075
c lw 72080
c lw 72083
c lw 72084
c lw 72088
c lw 72089
c lw 72091
c lw 72092
c lw 72102
c lw 72111
c lw 72118
c lw 72121
c lw 72122
c lw 72124
c lw 72140
c lw 72149
c lw 72153
c lw 72154
c lw 72157
c lw 72158
c lw 72159
c lw 72160
c lw 72161
c lw 72162
c lw 72163
c lw 72164
c lw 72165
c lw 72166
c lw 72167
c lw 72168
c lw 72169
c lw 72170
c lw 72171
c lw 72172
c lw 72173
c lw 72174
c lw 72175
c lw 72176
c lw 72177
c lw 72179
c lw 72180
c lw 72181
c lw 72182
c lw 72183
c lw 72184
c lw 72185
c lw 72186
c lw 72187
c lw 72188
c lw 72189
c lw 72190
c lw 72191
c lw 72192
c lw 72193
c lw 72194
c lw 72196
c lw 72199
c lw 72200
c lw 72201
c lw 72202
c lw 72207
c lw 72208
c lw 72209
c lw 72214
c lw 72215
c lw 72219
c lw 72222
c lw 72225
c lw 72233
c lw 72234
c lw 72238
c lw 72239
c lw 72240
c lw 72241
c lw 72242
c lw 72244
c lw 72248
c lw 72250
c lw 72252
c lw 72255
c lw 72256
c lw 72260
c lw 72261
c lw 72263
c lw 72264
c lw 72265
c lw 72266
c lw 72267
c lw 72289
c lw 72291
c lw 72298
c lw 72299
c lw 72300
c lw 72301
c lw 72302
c lw 72303
c lw 72304
c lw 72305
c lw 72306
c lw 72307
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 120 -121 122 -123 124 -125 -126 127 -128 129 -130 -131 132 -133 134 -135 -136 137 138 -139 140 -141 -142 143 -144 -145 146 -147 -148 -149 150 -151 -152 153 -154 -155 -156 157 158 -159 -160 -161 -162 163 -164 165 -166 -167 -168 -169 170 -171 172 -173 -174 -175 176 -177 178 -179 -180 -181 182 -183 184 -185 -186 187 -188 -189 190 -191 -192 193 194 -195 -196 -197 198 -199 200 -201 -202 
o 72307
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-2_network-8.net.wcnf 72307
354.864u 2.445s 5:58.08 99.7%	0+0k 0+0io 0pf+0w