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-140-1_network-7.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-140-1_network-7.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 2119
c lw 3052
c lw 4217
c lw 5355
c lw 6795
c lw 8171
c lw 8858
c lw 10271
c lw 10732
c lw 11343
c lw 12984
c lw 13810
c lw 15589
c lw 16932
c lw 17977
c lw 18774
c lw 19099
c lw 20588
c lw 20751
c lw 21278
c lw 21916
c lw 22140
c lw 22802
c lw 23577
c lw 24111
c lw 24223
c lw 24246
c lw 24690
c lw 24912
c lw 25045
c lw 25505
c lw 25555
c lw 26264
c lw 26641
c lw 26675
c lw 26678
c lw 27235
c lw 27347
c lw 27470
c lw 27780
c lw 27801
c lw 28106
c lw 28179
c lw 28449
c lw 28486
c lw 28501
c lw 29642
c lw 29804
c lw 30260
c lw 30688
c lw 30920
c lw 31219
c lw 31498
c lw 31914
c lw 32985
c lw 33186
c lw 33225
c lw 34095
c lw 34233
c lw 34317
c lw 35398
c lw 35833
c lw 35898
c lw 35920
c lw 35987
c lw 36030
c lw 36087
c lw 36589
c lw 36812
c lw 36945
c lw 37098
c lw 37405
c lw 37411
c lw 37652
c lw 38101
c lw 38483
c lw 38764
c lw 38938
c lw 39638
c lw 39754
c lw 39790
c lw 39950
c lw 40363
c lw 40936
c lw 41096
c lw 41503
c lw 42008
c lw 42085
c lw 42642
c lw 42754
c lw 42877
c lw 43187
c lw 43409
c lw 43482
c lw 43624
c lw 43667
c lw 43752
c lw 43767
c lw 44332
c lw 44339
c lw 44746
c lw 44811
c lw 45895
c lw 46008
c lw 46128
c lw 46603
c lw 46637
c lw 46936
c lw 47404
c lw 47410
c lw 47429
c lw 47734
c lw 47989
c lw 48138
c lw 48782
c lw 48961
c lw 49026
c lw 49296
c lw 49380
c lw 49488
c lw 49872
c lw 50239
c lw 50779
c lw 50898
c lw 50969
c lw 51025
c lw 51031
c lw 51054
c lw 51627
c lw 51759
c lw 51772
c lw 51846
c lw 52460
c lw 52663
c lw 52880
c lw 53238
c lw 53341
c lw 53573
c lw 53767
c lw 53956
c lw 53984
c lw 54072
c lw 54537
c lw 54981
c lw 55142
c lw 55163
c lw 56145
c lw 56498
c lw 56501
c lw 56542
c lw 56580
c lw 56672
c lw 56939
c lw 57075
c lw 57339
c lw 57697
c lw 57909
c lw 58160
c lw 58857
c lw 58892
c lw 58998
c lw 59278
c lw 59303
c lw 59536
c lw 59635
c lw 59656
c lw 59839
c lw 59855
c lw 59997
c lw 60109
c lw 60221
c lw 60238
c lw 61031
c lw 61256
c lw 61283
c lw 61641
c lw 61722
c lw 61768
c lw 61847
c lw 62030
c lw 62108
c lw 62274
c lw 62597
c lw 62894
c lw 63051
c lw 63541
c lw 63581
c lw 63638
c lw 64641
c lw 64665
c lw 64684
c lw 65114
c lw 65168
c lw 65344
c lw 65692
c lw 65731
c lw 65797
c lw 65838
c lw 66377
c lw 66498
c lw 66523
c lw 66548
c lw 67500
c lw 67589
c lw 67706
c lw 67794
c lw 68283
c lw 68533
c lw 68803
c lw 68857
c lw 68874
c lw 69082
c lw 69113
c lw 69759
c lw 69866
c lw 69894
c lw 69938
c lw 69968
c lw 70053
c lw 70304
c lw 70325
c lw 70438
c lw 71491
c lw 71494
c lw 71565
c lw 71779
c lw 71799
c lw 72248
c lw 72408
c lw 72461
c lw 72756
c lw 73076
c lw 73802
c lw 74055
c lw 74175
c lw 74416
c lw 75026
c lw 76350
c lw 76540
c lw 76762
c lw 77611
c lw 78074
c lw 78241
c lw 78351
c lw 78562
c lw 79020
c lw 79167
c lw 79420
c lw 79425
c lw 79915
c lw 80081
c lw 80214
c lw 80369
c lw 80645
c lw 80681
c lw 80736
c lw 80779
c lw 80799
c lw 80822
c lw 80869
c lw 81080
c lw 81138
c lw 81169
c lw 81189
c lw 81479
c lw 81496
c lw 81502
c lw 81528
c lw 81785
c lw 82355
c lw 82416
c lw 82437
c lw 82462
c lw 82984
c lw 82989
c lw 82994
c lw 83059
c lw 83063
c lw 83096
c lw 83355
c lw 83601
c lw 83717
c lw 83860
c lw 83896
c lw 83965
c lw 84462
c lw 84886
c lw 84934
c lw 85040
c lw 85226
c lw 85515
c lw 85555
c lw 85927
c lw 85937
c lw 86005
c lw 87075
c lw 87486
c lw 87516
c lw 87581
c lw 88504
c lw 88810
c lw 88811
c lw 89129
c lw 89161
c lw 90220
c lw 90248
c lw 90411
c lw 91479
c lw 91480
c lw 91685
c lw 91701
c lw 91830
c lw 91869
c lw 91991
c lw 92029
c lw 92857
c lw 93080
c lw 93912
c lw 94084
c lw 94157
c lw 95719
c lw 95768
c lw 95827
c lw 95888
c lw 96105
c lw 96238
c lw 96464
c lw 96485
c lw 96599
c lw 97396
c lw 97411
c lw 97614
c lw 97935
c lw 98250
c lw 98272
c lw 98344
c lw 98542
c lw 98664
c lw 98753
c lw 98772
c lw 99477
c lw 99944
c lw 100286
c lw 100441
c lw 100739
c lw 101140
c lw 101181
c lw 101881
c lw 102051
c lw 102079
c lw 102209
c lw 102680
c lw 102752
c lw 103162
c lw 103171
c lw 103267
c lw 103417
c lw 103884
c lw 104949
c lw 105018
c lw 105070
c lw 105178
c lw 105491
c lw 105657
c lw 105729
c lw 106622
c lw 106817
c lw 107492
c lw 107758
c lw 107935
c lw 108228
c lw 108912
c lw 109032
c lw 109042
c lw 109112
c lw 109409
c lw 109744
c lw 110402
c lw 110649
c lw 110704
c lw 110742
c lw 110844
c lw 110894
c lw 111264
c lw 111470
c lw 112311
c lw 112324
c lw 112624
c lw 112932
c lw 113081
c lw 114381
c lw 114604
c lw 114628
c lw 114777
c lw 114785
c lw 114915
c lw 116055
c lw 116183
c lw 116196
c lw 116208
c lw 116612
c lw 116613
c lw 116615
c lw 116625
c lw 116753
c lw 117021
c lw 117490
c lw 117784
c lw 118205
c lw 118348
c lw 118567
c lw 119537
c lw 119653
c lw 119695
c lw 119727
c lw 119746
c lw 119824
c lw 119885
c lw 120849
c lw 121734
c lw 122235
c lw 122319
c lw 122474
c lw 122767
c lw 122805
c lw 122957
c lw 122975
c lw 124107
c lw 124126
c lw 124233
c lw 124757
c lw 124795
c lw 124837
c lw 124856
c lw 124914
c lw 124992
c lw 125027
c lw 125127
c lw 125433
c lw 125569
c lw 125984
c lw 126848
c lw 127087
c lw 127170
c lw 127742
c lw 128876
c lw 128925
c lw 128989
c lw 129099
c lw 129230
c lw 129259
c lw 129278
c lw 129336
c lw 129337
c lw 129348
c lw 129374
c lw 129487
c lw 129976
c lw 130389
c lw 130940
c lw 131380
c lw 131544
c lw 131574
c lw 132411
c lw 132807
c lw 133726
c lw 133727
c lw 133900
c lw 134121
c lw 135052
c lw 135214
c lw 135791
c lw 136368
c lw 136447
c lw 136964
c lw 137227
c lw 137464
c lw 137500
c lw 137530
c lw 137765
c lw 137820
c lw 137860
c lw 137890
c lw 138165
c lw 138187
c lw 138562
c lw 138956
c lw 139438
c lw 139560
c lw 139578
c lw 139597
c lw 139695
c lw 139741
c lw 139775
c lw 139785
c lw 139794
c lw 139798
c lw 139816
c lw 139841
c lw 139851
c lw 139852
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 -203 204 -205 -206 -207 -208 209 -210 -211 -212 213 -214 -215 216 -217 -218 -219 -220 221 -222 223 -224 225 -226 -227 228 -229 -230 -231 232 -233 234 -235 236 -237 238 -239 -240 -241 242 -243 -244 245 -246 -247 -248 249 -250 251 -252 253 -254 -255 -256 257 -258 -259 -260 -261 262 -263 -264 -265 -266 -267 268 269 -270 -271 -272 -273 274 275 -276 -277 278 -279 -280 281 -282 -283 -284 285 -286 287 -288 289 -290 291 -292 -293 -294 -295 296 297 -298 -299 -300 -301 -302 -303 304 305 -306 -307 308 -309 -310 -311 -312 313 -314 315 -316 -317 -318 319 -320 321 -322 -323 -324 325 -326 327 -328 329 -330 -331 332 -333 -334 335 -336 -337 -338 -339 340 -341 -342 -343 344 345 -346 -347 -348 -349 -350 351 352 -353 -354 355 -356 -357 -358 -359 360 -361 -362 -363 -364 365 366 -367 -368 369 -370 -371 -372 -373 374 -375 -376 377 -378 -379 380 -381 -382 383 -384 -385 386 -387 -388 -389 -390 391 -392 393 -394 
o 139852
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-140-1_network-7.net.wcnf 139852
72.319u 0.884s 1:13.37 99.7%	0+0k 0+0io 0pf+0w