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-9.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-1_network-9.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1895
c lw 2849
c lw 4092
c lw 5020
c lw 6041
c lw 6643
c lw 7192
c lw 8952
c lw 9586
c lw 10271
c lw 10345
c lw 10532
c lw 10826
c lw 11456
c lw 12514
c lw 12749
c lw 12918
c lw 13360
c lw 13424
c lw 13474
c lw 14459
c lw 14543
c lw 15808
c lw 15934
c lw 16689
c lw 16895
c lw 16924
c lw 16979
c lw 17043
c lw 17093
c lw 17304
c lw 17404
c lw 17591
c lw 18484
c lw 18791
c lw 19531
c lw 19564
c lw 19574
c lw 19700
c lw 19903
c lw 19908
c lw 20224
c lw 20461
c lw 20478
c lw 20603
c lw 20698
c lw 20912
c lw 21078
c lw 21084
c lw 21167
c lw 21197
c lw 21381
c lw 21476
c lw 21518
c lw 21611
c lw 21625
c lw 21750
c lw 21767
c lw 21834
c lw 21865
c lw 21890
c lw 21899
c lw 21958
c lw 21972
c lw 21989
c lw 21991
c lw 22004
c lw 22033
c lw 22065
c lw 22203
c lw 22291
c lw 22516
c lw 22721
c lw 23177
c lw 23649
c lw 23828
c lw 23846
c lw 23951
c lw 24207
c lw 24245
c lw 24392
c lw 24412
c lw 25016
c lw 25758
c lw 25888
c lw 25941
c lw 26187
c lw 26254
c lw 26481
c lw 27351
c lw 27400
c lw 27404
c lw 27634
c lw 27668
c lw 27774
c lw 28113
c lw 28966
c lw 29011
c lw 29362
c lw 30155
c lw 30269
c lw 30362
c lw 30368
c lw 30482
c lw 30508
c lw 30514
c lw 30525
c lw 30543
c lw 30550
c lw 30692
c lw 31822
c lw 31923
c lw 31929
c lw 32244
c lw 32280
c lw 32282
c lw 32299
c lw 32303
c lw 32313
c lw 32318
c lw 32320
c lw 32336
c lw 32339
c lw 32342
c lw 32345
c lw 32347
c lw 32348
c lw 32349
c lw 32358
c lw 32359
c lw 32365
c lw 32367
c lw 32368
c lw 32370
c lw 32372
c lw 32373
c lw 32414
c lw 32634
c lw 33102
c lw 33172
c lw 33259
c lw 33506
c lw 34258
c lw 34354
c lw 34489
c lw 34965
c lw 35191
c lw 35194
c lw 35344
c lw 35369
c lw 35415
c lw 35421
c lw 35424
c lw 35481
c lw 35483
c lw 35491
c lw 35492
c lw 35533
c lw 36366
c lw 36958
c lw 36966
c lw 37011
c lw 37461
c lw 37510
c lw 38496
c lw 38769
c lw 38948
c lw 39126
c lw 39351
c lw 39972
c lw 40040
c lw 40382
c lw 40963
c lw 41469
c lw 41650
c lw 41773
c lw 41943
c lw 42823
c lw 42864
c lw 42865
c lw 42867
c lw 42869
c lw 42870
c lw 42872
c lw 42878
c lw 42879
c lw 42888
c lw 42889
c lw 42890
c lw 42892
c lw 42895
c lw 42898
c lw 42901
c lw 42917
c lw 42919
c lw 42924
c lw 42934
c lw 42938
c lw 42955
c lw 42957
c lw 42964
c lw 43073
c lw 43252
c lw 43345
c lw 43390
c lw 43820
c lw 43860
c lw 44012
c lw 44376
c lw 44488
c lw 44779
c lw 45055
c lw 45274
c lw 45375
c lw 45386
c lw 45997
c lw 46393
c lw 46518
c lw 46534
c lw 46599
c lw 46753
c lw 47217
c lw 47219
c lw 48119
c lw 49188
c lw 49330
c lw 49481
c lw 49730
c lw 49878
c lw 49990
c lw 50114
c lw 50262
c lw 50384
c lw 50411
c lw 50436
c lw 50584
c lw 50933
c lw 51450
c lw 51672
c lw 51856
c lw 52138
c lw 53065
c lw 53639
c lw 54033
c lw 54251
c lw 54838
c lw 54918
c lw 55020
c lw 55076
c lw 55102
c lw 55231
c lw 56446
c lw 56531
c lw 56729
c lw 56782
c lw 57373
c lw 57687
c lw 57855
c lw 58509
c lw 58512
c lw 58557
c lw 58674
c lw 58764
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 
o 58764
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-1_network-9.net.wcnf 58764
30.587u 0.216s 0:30.87 99.7%	0+0k 0+0io 0pf+0w