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-6.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-1_network-6.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 315
c lw 1052
c lw 1317
c lw 2670
c lw 3626
c lw 4340
c lw 5453
c lw 5772
c lw 6345
c lw 6500
c lw 7518
c lw 8301
c lw 8572
c lw 9015
c lw 9716
c lw 10085
c lw 11063
c lw 11730
c lw 12371
c lw 12643
c lw 12693
c lw 12934
c lw 13455
c lw 13456
c lw 13980
c lw 14680
c lw 14934
c lw 15408
c lw 15624
c lw 16115
c lw 16791
c lw 17381
c lw 18149
c lw 18369
c lw 18449
c lw 18698
c lw 18719
c lw 19052
c lw 19542
c lw 20019
c lw 20689
c lw 20704
c lw 20878
c lw 21188
c lw 21238
c lw 21842
c lw 21846
c lw 21929
c lw 21997
c lw 22204
c lw 22758
c lw 23450
c lw 23477
c lw 23596
c lw 23915
c lw 24527
c lw 25311
c lw 25670
c lw 25924
c lw 25936
c lw 26260
c lw 26287
c lw 26850
c lw 26873
c lw 27314
c lw 27530
c lw 27863
c lw 27909
c lw 28037
c lw 28227
c lw 28273
c lw 28347
c lw 28397
c lw 28464
c lw 28785
c lw 29041
c lw 29813
c lw 29837
c lw 30075
c lw 30230
c lw 30702
c lw 30774
c lw 30795
c lw 31066
c lw 31178
c lw 31237
c lw 31378
c lw 31516
c lw 31611
c lw 31652
c lw 31721
c lw 31740
c lw 31836
c lw 32303
c lw 32360
c lw 32478
c lw 32657
c lw 33188
c lw 33307
c lw 33309
c lw 33982
c lw 34355
c lw 35587
c lw 35799
c lw 36005
c lw 36021
c lw 36051
c lw 36079
c lw 36175
c lw 36214
c lw 36255
c lw 36282
c lw 36301
c lw 36351
c lw 36352
c lw 36446
c lw 36589
c lw 36595
c lw 36758
c lw 36759
c lw 36949
c lw 36969
c lw 36998
c lw 37028
c lw 37290
c lw 37436
c lw 37570
c lw 37610
c lw 37880
c lw 38351
c lw 38866
c lw 38903
c lw 38934
c lw 39520
c lw 40430
c lw 40452
c lw 40677
c lw 41750
c lw 41779
c lw 41795
c lw 41997
c lw 42671
c lw 43215
c lw 43221
c lw 43911
c lw 44310
c lw 44462
c lw 44994
c lw 45263
c lw 45537
c lw 45879
c lw 46194
c lw 46485
c lw 46744
c lw 46774
c lw 46905
c lw 47010
c lw 47117
c lw 47135
c lw 47140
c lw 47153
c lw 47155
c lw 47184
c lw 47214
c lw 47261
c lw 47263
c lw 47267
c lw 47270
c lw 47275
c lw 47307
c lw 47346
c lw 47421
c lw 48005
c lw 48303
c lw 48437
c lw 48447
c lw 48448
c lw 48454
c lw 48457
c lw 48467
c lw 48468
c lw 48885
c lw 48993
c lw 49008
c lw 49151
c lw 49154
c lw 49178
c lw 49181
c lw 49869
c lw 49878
c lw 49884
c lw 49899
c lw 49954
c lw 49960
c lw 49968
c lw 49969
c lw 49970
c lw 49978
c lw 49980
c lw 49984
c lw 49988
c lw 49989
c lw 49990
c lw 49991
c lw 49994
c lw 49995
c lw 49998
c lw 49999
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 
o 49999
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-1_network-6.net.wcnf 49999
7.203u 0.083s 0:07.29 99.8%	0+0k 0+0io 0pf+0w