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-2.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-1_network-2.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 158
c lw 324
c lw 677
c lw 1522
c lw 2769
c lw 4552
c lw 6124
c lw 7490
c lw 8431
c lw 10592
c lw 10787
c lw 11794
c lw 12107
c lw 12125
c lw 12208
c lw 12752
c lw 13664
c lw 13932
c lw 14210
c lw 14880
c lw 15197
c lw 15258
c lw 15725
c lw 16545
c lw 16926
c lw 17014
c lw 17263
c lw 17955
c lw 18341
c lw 18726
c lw 18950
c lw 19084
c lw 19230
c lw 19248
c lw 19677
c lw 20739
c lw 20925
c lw 20933
c lw 21030
c lw 22318
c lw 22338
c lw 22346
c lw 22767
c lw 23071
c lw 23399
c lw 23571
c lw 23926
c lw 24372
c lw 24640
c lw 24652
c lw 24679
c lw 24944
c lw 25333
c lw 25640
c lw 26056
c lw 26543
c lw 26761
c lw 26910
c lw 27082
c lw 27196
c lw 27242
c lw 27580
c lw 27703
c lw 28243
c lw 28255
c lw 28282
c lw 28686
c lw 28854
c lw 28911
c lw 29023
c lw 29666
c lw 30200
c lw 30454
c lw 30604
c lw 31318
c lw 31500
c lw 31939
c lw 32488
c lw 32529
c lw 32541
c lw 33313
c lw 33469
c lw 33473
c lw 33501
c lw 33534
c lw 34364
c lw 34643
c lw 34867
c lw 35074
c lw 35128
c lw 35673
c lw 35831
c lw 35980
c lw 36091
c lw 36197
c lw 36308
c lw 36390
c lw 36414
c lw 36488
c lw 36673
c lw 36911
c lw 37483
c lw 37971
c lw 38171
c lw 38558
c lw 38770
c lw 38820
c lw 38844
c lw 38981
c lw 39185
c lw 39208
c lw 39537
c lw 39710
c lw 39727
c lw 39840
c lw 40013
c lw 40228
c lw 40704
c lw 40743
c lw 41224
c lw 41348
c lw 41419
c lw 41447
c lw 41604
c lw 41837
c lw 42048
c lw 42748
c lw 42783
c lw 43168
c lw 43958
c lw 44899
c lw 44952
c lw 45090
c lw 45260
c lw 45292
c lw 45380
c lw 45645
c lw 45646
c lw 46245
c lw 46570
c lw 46995
c lw 47002
c lw 47527
c lw 47592
c lw 48733
c lw 48805
c lw 48985
c lw 49397
c lw 49667
c lw 50227
c lw 50229
c lw 50311
c lw 50330
c lw 50458
c lw 50644
c lw 50757
c lw 51114
c lw 51178
c lw 51304
c lw 51473
c lw 51652
c lw 51831
c lw 52218
c lw 52263
c lw 52485
c lw 52510
c lw 52515
c lw 52519
c lw 52613
c lw 53549
c lw 53568
c lw 53595
c lw 53845
c lw 54003
c lw 54149
c lw 54178
c lw 54263
c lw 54347
c lw 54352
c lw 55044
c lw 55163
c lw 55312
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 
o 55312
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-1_network-2.net.wcnf 55312
3.346u 0.034s 0:04.55 74.0%	0+0k 0+0io 0pf+0w