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-1_network-3.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-1_network-3.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1382
c lw 1858
c lw 3618
c lw 3913
c lw 5095
c lw 5687
c lw 7226
c lw 8156
c lw 8404
c lw 8615
c lw 9047
c lw 9595
c lw 10629
c lw 10659
c lw 10842
c lw 11017
c lw 11029
c lw 11422
c lw 11962
c lw 12127
c lw 12858
c lw 13254
c lw 13293
c lw 13891
c lw 14110
c lw 14338
c lw 15607
c lw 15964
c lw 17260
c lw 18071
c lw 18472
c lw 18808
c lw 19297
c lw 19529
c lw 19566
c lw 19668
c lw 20145
c lw 20557
c lw 21088
c lw 21158
c lw 21317
c lw 21618
c lw 21730
c lw 21745
c lw 22231
c lw 22463
c lw 22539
c lw 22698
c lw 22847
c lw 22885
c lw 23050
c lw 23292
c lw 23531
c lw 23541
c lw 23589
c lw 23797
c lw 24355
c lw 24470
c lw 24685
c lw 24698
c lw 24871
c lw 25207
c lw 25244
c lw 25533
c lw 25611
c lw 25704
c lw 25878
c lw 26005
c lw 26409
c lw 26433
c lw 26857
c lw 27068
c lw 27501
c lw 27571
c lw 27585
c lw 27651
c lw 27757
c lw 27977
c lw 28209
c lw 28285
c lw 28295
c lw 28343
c lw 29072
c lw 29088
c lw 29258
c lw 29326
c lw 29663
c lw 30176
c lw 30384
c lw 30562
c lw 31009
c lw 31168
c lw 31326
c lw 31583
c lw 32118
c lw 32993
c lw 33159
c lw 33172
c lw 33683
c lw 34490
c lw 34699
c lw 34847
c lw 35179
c lw 35538
c lw 35627
c lw 36260
c lw 36703
c lw 36708
c lw 36971
c lw 37465
c lw 37664
c lw 37948
c lw 38127
c lw 38982
c lw 39025
c lw 39064
c lw 39298
c lw 39673
c lw 39817
c lw 39825
c lw 40140
c lw 40207
c lw 40223
c lw 40277
c lw 40388
c lw 40537
c lw 40742
c lw 41329
c lw 41780
c lw 41828
c lw 42416
c lw 42804
c lw 43775
c lw 43840
c lw 43910
c lw 44363
c lw 44431
c lw 45273
c lw 45287
c lw 45422
c lw 45447
c lw 45516
c lw 45526
c lw 45553
c lw 45654
c lw 45675
c lw 45691
c lw 45723
c lw 45740
c lw 46099
c lw 46648
c lw 46828
c lw 46969
c lw 47154
c lw 47168
c lw 47392
c lw 47499
c lw 47631
c lw 47702
c lw 48576
c lw 49222
c lw 49389
c lw 49557
c lw 49695
c lw 49842
c lw 49857
c lw 49875
c lw 50254
c lw 50402
c lw 50675
c lw 50830
c lw 51520
c lw 51684
c lw 51760
c lw 51789
c lw 51836
c lw 52651
c lw 52792
c lw 52803
c lw 52971
c lw 52972
c lw 53036
c lw 53096
c lw 53104
c lw 53535
c lw 54779
c lw 54821
c lw 55179
c lw 55314
c lw 55476
c lw 55588
c lw 55865
c lw 55886
c lw 55900
c lw 55906
c lw 55963
c lw 55969
c lw 55970
c lw 55985
c lw 56261
c lw 56536
c lw 57146
c lw 57220
c lw 57258
c lw 57326
c lw 57947
c lw 58184
c lw 58228
c lw 58854
c lw 59373
c lw 59521
c lw 59662
c lw 59714
c lw 59715
c lw 59839
c lw 59905
c lw 60408
c lw 60426
c lw 60950
c lw 61387
c lw 61544
c lw 61646
c lw 62011
c lw 62217
c lw 62775
c lw 62809
c lw 62817
c lw 62955
c lw 63538
c lw 63838
c lw 63916
c lw 64278
c lw 64942
c lw 65572
c lw 65810
c lw 65812
c lw 65830
c lw 66093
c lw 66295
c lw 66860
c lw 67085
c lw 67442
c lw 67512
c lw 68312
c lw 68405
c lw 69197
c lw 69245
c lw 69433
c lw 69589
c lw 69899
c lw 70216
c lw 70274
c lw 70502
c lw 70511
c lw 70614
c lw 70742
c lw 71014
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 71014
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-1_network-3.net.wcnf 71014
9.244u 0.094s 0:09.34 99.8%	0+0k 0+0io 0pf+0w