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-5.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-1_network-5.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1145
c lw 1686
c lw 2747
c lw 3967
c lw 5345
c lw 6910
c lw 7405
c lw 7649
c lw 7745
c lw 8857
c lw 9064
c lw 9109
c lw 9204
c lw 9440
c lw 9784
c lw 11211
c lw 11406
c lw 11420
c lw 11443
c lw 12185
c lw 12275
c lw 12323
c lw 13074
c lw 13126
c lw 13475
c lw 13920
c lw 14393
c lw 14452
c lw 14633
c lw 14678
c lw 14702
c lw 14777
c lw 14803
c lw 15002
c lw 15577
c lw 16255
c lw 16825
c lw 17150
c lw 17177
c lw 17295
c lw 17416
c lw 17661
c lw 17678
c lw 17810
c lw 18054
c lw 18124
c lw 18268
c lw 18439
c lw 18617
c lw 18828
c lw 18927
c lw 19575
c lw 19618
c lw 19844
c lw 20131
c lw 20463
c lw 20476
c lw 20529
c lw 20854
c lw 20919
c lw 22135
c lw 22289
c lw 22852
c lw 23158
c lw 23170
c lw 23200
c lw 23471
c lw 23965
c lw 23982
c lw 24061
c lw 24668
c lw 24693
c lw 24781
c lw 25175
c lw 25270
c lw 25419
c lw 25958
c lw 26319
c lw 26467
c lw 26469
c lw 26767
c lw 26831
c lw 27043
c lw 27891
c lw 28014
c lw 28257
c lw 29256
c lw 29405
c lw 29615
c lw 29795
c lw 30370
c lw 30430
c lw 30530
c lw 30847
c lw 31352
c lw 31402
c lw 31800
c lw 31997
c lw 32047
c lw 32164
c lw 32221
c lw 32481
c lw 32505
c lw 32531
c lw 32578
c lw 33153
c lw 33488
c lw 33532
c lw 34106
c lw 34253
c lw 34310
c lw 35420
c lw 35572
c lw 35589
c lw 35821
c lw 35857
c lw 35889
c lw 35950
c lw 36234
c lw 37102
c lw 37836
c lw 37857
c lw 38383
c lw 38595
c lw 38600
c lw 38626
c lw 38842
c lw 38869
c lw 38885
c lw 39864
c lw 40740
c lw 40851
c lw 41110
c lw 41342
c lw 41372
c lw 42056
c lw 42083
c lw 42191
c lw 42391
c lw 42398
c lw 42459
c lw 43580
c lw 44281
c lw 44892
c lw 44922
c lw 44955
c lw 45135
c lw 45188
c lw 45352
c lw 45392
c lw 45457
c lw 45510
c lw 45690
c lw 45720
c lw 45753
c lw 45819
c lw 45829
c lw 45851
c lw 47423
c lw 47429
c lw 47555
c lw 48253
c lw 49002
c lw 49831
c lw 49897
c lw 49929
c lw 50202
c lw 50709
c lw 51116
c lw 51148
c lw 51576
c lw 51867
c lw 52415
c lw 52578
c lw 52840
c lw 53270
c lw 53894
c lw 54703
c lw 55090
c lw 55115
c lw 55122
c lw 55543
c lw 55558
c lw 55671
c lw 55673
c lw 55688
c lw 55859
c lw 55930
c lw 55999
c lw 56065
c lw 56131
c lw 56161
c lw 56164
c lw 56174
c lw 56628
c lw 57021
c lw 57193
c lw 57324
c lw 57329
c lw 57346
c lw 57382
c lw 58102
c lw 58238
c lw 58289
c lw 58340
c lw 58706
c lw 58772
c lw 58802
c lw 58872
c lw 58898
c lw 58904
c lw 58912
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 
o 58912
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-1_network-5.net.wcnf 58912
18.374u 0.086s 0:24.47 75.3%	0+0k 0+0io 0pf+0w