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-9.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-1_network-9.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 609
c lw 1476
c lw 1846
c lw 2914
c lw 5222
c lw 5705
c lw 7562
c lw 9198
c lw 9742
c lw 9834
c lw 10634
c lw 12264
c lw 13000
c lw 13928
c lw 14679
c lw 15007
c lw 15792
c lw 16504
c lw 16919
c lw 17349
c lw 17677
c lw 18216
c lw 18359
c lw 18982
c lw 19089
c lw 19163
c lw 19320
c lw 19738
c lw 19847
c lw 19888
c lw 20371
c lw 20597
c lw 21421
c lw 21937
c lw 22368
c lw 22483
c lw 22928
c lw 23161
c lw 23608
c lw 23891
c lw 24939
c lw 25246
c lw 25629
c lw 25942
c lw 25997
c lw 26213
c lw 26859
c lw 27304
c lw 28095
c lw 28368
c lw 29495
c lw 29650
c lw 30048
c lw 30131
c lw 30916
c lw 31121
c lw 31351
c lw 31813
c lw 31834
c lw 32394
c lw 32872
c lw 32925
c lw 33010
c lw 33011
c lw 33189
c lw 33700
c lw 33732
c lw 34063
c lw 34190
c lw 34231
c lw 34294
c lw 34437
c lw 34451
c lw 34622
c lw 34783
c lw 34851
c lw 34926
c lw 35071
c lw 35387
c lw 35816
c lw 35946
c lw 36024
c lw 36230
c lw 36511
c lw 36805
c lw 36918
c lw 36927
c lw 37827
c lw 38078
c lw 38342
c lw 38383
c lw 38498
c lw 39095
c lw 39096
c lw 39104
c lw 39357
c lw 39395
c lw 39416
c lw 39710
c lw 39773
c lw 39979
c lw 39996
c lw 40069
c lw 40398
c lw 40445
c lw 41033
c lw 41096
c lw 41149
c lw 41417
c lw 42031
c lw 42084
c lw 42173
c lw 42189
c lw 42270
c lw 42996
c lw 43004
c lw 43213
c lw 43435
c lw 43446
c lw 44642
c lw 44982
c lw 45019
c lw 46288
c lw 46551
c lw 46566
c lw 46644
c lw 47294
c lw 47361
c lw 48176
c lw 48238
c lw 48290
c lw 48409
c lw 48558
c lw 48596
c lw 48721
c lw 48908
c lw 49194
c lw 49244
c lw 49825
c lw 49880
c lw 49996
c lw 50981
c lw 51256
c lw 51258
c lw 51799
c lw 52069
c lw 52643
c lw 52726
c lw 53219
c lw 53475
c lw 54037
c lw 54148
c lw 54297
c lw 54343
c lw 54364
c lw 54403
c lw 54467
c lw 54573
c lw 54643
c lw 54686
c lw 54687
c lw 54722
c lw 55601
c lw 55811
c lw 56008
c lw 56061
c lw 56758
c lw 56856
c lw 57188
c lw 57462
c lw 57576
c lw 57577
c lw 57579
c lw 58625
c lw 58696
c lw 58774
c lw 58801
c lw 58807
c lw 58899
c lw 59055
c lw 59056
c lw 59182
c lw 60013
c lw 60090
c lw 60395
c lw 60406
c lw 60487
c lw 60499
c lw 60618
c lw 60629
c lw 60904
c lw 61040
c lw 61056
c lw 61111
c lw 61202
c lw 61217
c lw 61280
c lw 61419
c lw 61605
c lw 62042
c lw 62371
c lw 62755
c lw 63471
c lw 63493
c lw 63533
c lw 64181
c lw 64688
c lw 64695
c lw 64707
c lw 64787
c lw 64966
c lw 65386
c lw 65396
c lw 65956
c lw 65963
c lw 66067
c lw 66563
c lw 67070
c lw 67078
c lw 67196
c lw 67215
c lw 67273
c lw 67314
c lw 67347
c lw 67351
c lw 67441
c lw 67447
c lw 68048
c lw 68276
c lw 68281
c lw 68456
c lw 68476
c lw 68482
c lw 68486
c lw 68491
c lw 68497
c lw 68503
c lw 68525
c lw 68554
c lw 68556
c lw 68581
c lw 68585
c lw 68589
c lw 68597
c lw 68598
c lw 68691
c lw 68699
c lw 68873
c lw 68903
c lw 69302
c lw 69332
c lw 70516
c lw 70649
c lw 70785
c lw 70834
c lw 71401
c lw 71570
c lw 71670
c lw 72108
c lw 72330
c lw 72749
c lw 72993
c lw 72997
c lw 73325
c lw 73486
c lw 73538
c lw 73631
c lw 73635
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 
o 73635
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-1_network-9.net.wcnf 73635
11.297u 0.113s 0:11.41 99.9%	0+0k 0+0io 0pf+0w