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-60-2_network-10.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-2_network-10.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 254
c lw 589
c lw 1404
c lw 1680
c lw 2046
c lw 2757
c lw 3624
c lw 4052
c lw 4551
c lw 5001
c lw 6008
c lw 6043
c lw 6536
c lw 7417
c lw 7532
c lw 7549
c lw 8494
c lw 8594
c lw 9030
c lw 9336
c lw 9346
c lw 9769
c lw 9825
c lw 9883
c lw 10936
c lw 10953
c lw 11110
c lw 11160
c lw 11306
c lw 11485
c lw 11678
c lw 12517
c lw 12788
c lw 12924
c lw 13031
c lw 13119
c lw 13130
c lw 13486
c lw 13543
c lw 13765
c lw 13800
c lw 14106
c lw 14214
c lw 14236
c lw 14386
c lw 14772
c lw 14863
c lw 14933
c lw 15265
c lw 15389
c lw 15463
c lw 15714
c lw 16078
c lw 16121
c lw 16277
c lw 16299
c lw 16306
c lw 16336
c lw 16398
c lw 16483
c lw 16603
c lw 16642
c lw 16713
c lw 16812
c lw 16825
c lw 16897
c lw 16939
c lw 17140
c lw 17249
c lw 17716
c lw 17896
c lw 18524
c lw 18542
c lw 18644
c lw 18920
c lw 18939
c lw 19923
c lw 20092
c lw 20172
c lw 20231
c lw 20447
c lw 20697
c lw 20801
c lw 20849
c lw 20892
c lw 21098
c lw 21131
c lw 21141
c lw 21189
c lw 21228
c lw 21509
c lw 21605
c lw 21638
c lw 21726
c lw 21802
c lw 21809
c lw 21928
c lw 21963
c lw 21998
c lw 22168
c lw 22342
c lw 22354
c lw 22427
c lw 22513
c lw 22551
c lw 22562
c lw 22565
c lw 22672
c lw 23116
c lw 23203
c lw 23328
c lw 23346
c lw 23588
c lw 23598
c lw 23702
c lw 23748
c lw 23783
c lw 23815
c lw 23905
c lw 24019
c lw 24088
c lw 24118
c lw 24144
c lw 24169
c lw 24180
c lw 24187
c lw 24188
c lw 24198
c lw 24199
c lw 24206
c lw 24213
c lw 24243
c lw 24261
c lw 24364
c lw 24384
c lw 24552
c lw 24577
c lw 24637
c lw 24682
c lw 24891
c lw 24925
c lw 24988
c lw 25061
c lw 25396
c lw 25469
c lw 25681
c lw 25719
c lw 25768
c lw 25779
c lw 25833
c lw 25874
c lw 25923
c lw 25928
c lw 25995
c lw 26305
c lw 26462
c lw 26536
c lw 26547
c lw 26581
c lw 26692
c lw 26839
c lw 26879
c lw 26908
c lw 26958
c lw 27322
c lw 27373
c lw 27473
c lw 27496
c lw 27548
c lw 27686
c lw 27709
c lw 27812
c lw 27821
c lw 27897
c lw 28070
c lw 28091
c lw 28166
c lw 28190
c lw 28199
c lw 28365
c lw 28379
c lw 28473
c lw 28552
c lw 28628
c lw 28872
c lw 28916
c lw 28940
c lw 28949
c lw 28958
c lw 29014
c lw 29051
c lw 29205
c lw 29206
c lw 29211
c lw 29218
c lw 29225
c lw 29230
c lw 29231
c lw 29235
c lw 29376
c lw 29454
c lw 29460
c lw 29473
c lw 29562
c lw 29609
c lw 29797
c lw 29806
c lw 29815
c lw 29835
c lw 30006
c lw 31046
c lw 31220
c lw 31340
c lw 31478
c lw 31480
c lw 31485
c lw 31489
c lw 31494
c lw 31498
c lw 31503
c lw 31522
c lw 31544
c lw 31554
c lw 31559
c lw 31564
c lw 31565
c lw 31576
c lw 31580
c lw 31591
c lw 31637
c lw 31641
c lw 31643
c lw 31668
c lw 31705
c lw 31738
c lw 31745
c lw 31746
c lw 31758
c lw 31767
c lw 31782
c lw 31784
c lw 31903
c lw 31931
c lw 31953
c lw 32124
c lw 32350
c lw 32383
c lw 32414
c lw 32496
c lw 32564
c lw 32711
c lw 32731
c lw 32936
c lw 33251
c lw 33281
c lw 33389
c lw 33506
c lw 33574
c lw 33953
c lw 34213
c lw 34298
c lw 34399
c lw 34649
c lw 34660
c lw 35133
c lw 36042
c lw 36064
c lw 36097
c lw 36226
c lw 37134
c lw 37343
c lw 37359
c lw 37528
c lw 37809
c lw 37888
c lw 37902
c lw 37953
c lw 38014
c lw 38143
c lw 38167
c lw 38176
c lw 38183
c lw 38219
c lw 38252
c lw 38332
c lw 38340
c lw 38352
c lw 38446
c lw 38522
c lw 38523
c lw 38588
c lw 38633
c lw 38712
c lw 38725
c lw 39008
c lw 39238
c lw 39315
c lw 39377
c lw 39491
c lw 39493
c lw 39612
c lw 39895
c lw 40005
c lw 40047
c lw 40125
c lw 40202
c lw 40212
c lw 40264
c lw 40269
c lw 40350
c lw 40378
c lw 40399
c lw 40414
c lw 40416
c lw 40600
c lw 40625
c lw 40885
c lw 40937
c lw 41009
c lw 41010
c lw 41455
c lw 41581
c lw 41748
c lw 41886
c lw 41969
c lw 42061
c lw 42072
c lw 42907
c lw 42940
c lw 43068
c lw 43141
c lw 43520
c lw 43694
c lw 43750
c lw 43796
c lw 44161
c lw 44167
c lw 44168
c lw 44179
c lw 44184
c lw 44188
c lw 44189
c lw 44192
c lw 44193
c lw 44204
c lw 44205
c lw 44211
c lw 44213
c lw 44214
c lw 44215
c lw 44217
c lw 44218
c lw 44220
c lw 44221
c lw 44222
c lw 44225
c lw 44226
c lw 44244
c lw 44252
c lw 44253
c lw 44260
c lw 44300
c lw 44319
c lw 44321
c lw 44325
c lw 44332
c lw 44341
c lw 44345
c lw 44352
c lw 44365
c lw 44371
c lw 44373
c lw 44384
c lw 44390
c lw 44428
c lw 44444
c lw 44446
c lw 44461
c lw 44465
c lw 44481
c lw 44501
c lw 44534
c lw 44579
c lw 44589
c lw 44610
c lw 44611
c lw 44641
c lw 45299
c lw 45300
c lw 45321
c lw 45331
c lw 45376
c lw 45412
c lw 45419
c lw 45441
c lw 45455
c lw 45508
c lw 46114
c lw 46227
c lw 46647
c lw 47978
c lw 47985
c lw 48176
c lw 48210
c lw 48272
c lw 48504
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 
o 48504
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-2_network-10.net.wcnf 48504
162.340u 1.248s 2:43.96 99.7%	0+0k 0+0io 0pf+0w