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-1_network-4.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-1_network-4.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1217
c lw 2871
c lw 4495
c lw 5105
c lw 5529
c lw 5865
c lw 5872
c lw 6615
c lw 7149
c lw 7177
c lw 8322
c lw 8331
c lw 8362
c lw 8883
c lw 10429
c lw 11657
c lw 11778
c lw 12171
c lw 12769
c lw 13182
c lw 13395
c lw 13436
c lw 13685
c lw 14126
c lw 14361
c lw 14504
c lw 14629
c lw 14648
c lw 15076
c lw 15230
c lw 15557
c lw 16156
c lw 16624
c lw 16763
c lw 17170
c lw 17245
c lw 17545
c lw 18389
c lw 18623
c lw 18631
c lw 18916
c lw 19065
c lw 19278
c lw 19319
c lw 19760
c lw 19903
c lw 21087
c lw 21271
c lw 21336
c lw 21819
c lw 22087
c lw 22103
c lw 22213
c lw 22760
c lw 23640
c lw 24610
c lw 24951
c lw 25564
c lw 25649
c lw 26525
c lw 26526
c lw 26702
c lw 27385
c lw 27712
c lw 28237
c lw 28318
c lw 29294
c lw 29620
c lw 30326
c lw 30445
c lw 30487
c lw 30844
c lw 31013
c lw 31268
c lw 31421
c lw 31828
c lw 32189
c lw 32201
c lw 32462
c lw 32500
c lw 32611
c lw 32985
c lw 33447
c lw 33451
c lw 33580
c lw 33707
c lw 34019
c lw 34300
c lw 34484
c lw 34774
c lw 35272
c lw 35556
c lw 35788
c lw 36084
c lw 36356
c lw 36535
c lw 36640
c lw 37112
c lw 38075
c lw 38257
c lw 38287
c lw 38303
c lw 38314
c lw 38343
c lw 38429
c lw 38459
c lw 38576
c lw 38618
c lw 38649
c lw 38655
c lw 38721
c lw 39176
c lw 39402
c lw 39580
c lw 39672
c lw 39707
c lw 39814
c lw 39923
c lw 40560
c lw 40961
c lw 41193
c lw 41748
c lw 41786
c lw 42064
c lw 42101
c lw 42373
c lw 42415
c lw 42457
c lw 42601
c lw 42613
c lw 42708
c lw 42785
c lw 42839
c lw 42928
c lw 42934
c lw 43025
c lw 43028
c lw 43331
c lw 43665
c lw 43837
c lw 44033
c lw 44474
c lw 44524
c lw 44618
c lw 44621
c lw 44624
c lw 44676
c lw 44712
c lw 44816
c lw 44823
c lw 44824
c lw 44828
c lw 44831
c lw 44837
c lw 44840
c lw 44881
c lw 44888
c lw 44945
c lw 45120
c lw 45122
c lw 45716
c lw 45754
c lw 46036
c lw 46108
c lw 47514
c lw 47664
c lw 48288
c lw 48331
c lw 48385
c lw 48494
c lw 48549
c lw 48604
c lw 48781
c lw 48785
c lw 48880
c lw 49003
c lw 49007
c lw 49029
c lw 49332
c lw 49441
c lw 49444
c lw 49506
c lw 49509
c lw 50120
c lw 50223
c lw 50269
c lw 51437
c lw 51680
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 
o 51680
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-1_network-4.net.wcnf 51680
3.897u 0.029s 0:03.93 99.4%	0+0k 0+0io 0pf+0w