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-1.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-1_network-1.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 683
c lw 2293
c lw 3562
c lw 4861
c lw 5845
c lw 6818
c lw 7674
c lw 7990
c lw 9917
c lw 10309
c lw 10645
c lw 11419
c lw 11683
c lw 11877
c lw 12148
c lw 12872
c lw 13202
c lw 13434
c lw 13949
c lw 14329
c lw 14623
c lw 15212
c lw 15950
c lw 15981
c lw 16497
c lw 16663
c lw 16746
c lw 17121
c lw 17393
c lw 18215
c lw 18382
c lw 19102
c lw 19556
c lw 20028
c lw 20310
c lw 20500
c lw 20537
c lw 20808
c lw 21344
c lw 21579
c lw 21647
c lw 21825
c lw 21846
c lw 21877
c lw 22383
c lw 22435
c lw 22852
c lw 22883
c lw 23104
c lw 23311
c lw 23394
c lw 23512
c lw 23914
c lw 24144
c lw 24196
c lw 24208
c lw 24264
c lw 24449
c lw 24539
c lw 24760
c lw 24990
c lw 25017
c lw 25081
c lw 25862
c lw 26522
c lw 26754
c lw 26811
c lw 26932
c lw 27152
c lw 27156
c lw 27527
c lw 27688
c lw 27759
c lw 27893
c lw 28363
c lw 28394
c lw 29021
c lw 29469
c lw 30656
c lw 30813
c lw 30904
c lw 30937
c lw 31392
c lw 31425
c lw 31457
c lw 31670
c lw 32226
c lw 32741
c lw 32797
c lw 32819
c lw 33498
c lw 33656
c lw 33704
c lw 33769
c lw 33782
c lw 34151
c lw 34213
c lw 34517
c lw 34718
c lw 34950
c lw 34996
c lw 35507
c lw 35621
c lw 35710
c lw 35787
c lw 36389
c lw 36420
c lw 36714
c lw 37081
c lw 37203
c lw 37727
c lw 38095
c lw 38479
c lw 38489
c lw 38656
c lw 38763
c lw 38912
c lw 38958
c lw 39002
c lw 39048
c lw 39055
c lw 39181
c lw 39952
c lw 40143
c lw 40215
c lw 40217
c lw 40484
c lw 40608
c lw 40613
c lw 40665
c lw 41142
c lw 41308
c lw 41598
c lw 42390
c lw 42556
c lw 42577
c lw 42747
c lw 42763
c lw 42776
c lw 43301
c lw 43606
c lw 43665
c lw 44035
c lw 44062
c lw 44087
c lw 44184
c lw 44198
c lw 44261
c lw 44272
c lw 44579
c lw 44762
c lw 44824
c lw 45484
c lw 45523
c lw 46163
c lw 46457
c lw 46529
c lw 46703
c lw 46824
c lw 46857
c lw 46965
c lw 47029
c lw 47110
c lw 47223
c lw 47426
c lw 47626
c lw 47815
c lw 47937
c lw 48243
c lw 48260
c lw 48288
c lw 48579
c lw 48878
c lw 48906
c lw 48923
c lw 49046
c lw 49168
c lw 49357
c lw 49956
c lw 50585
c lw 50681
c lw 50693
c lw 50696
c lw 51489
c lw 51562
c lw 52474
c lw 52533
c lw 52574
c lw 52600
c lw 52640
c lw 52835
c lw 52840
c lw 52910
c lw 52935
c lw 52949
c lw 52962
c lw 52984
c lw 52994
c lw 53012
c lw 53022
c lw 53033
c lw 53036
c lw 53038
c lw 53046
c lw 53047
c lw 53049
c lw 53085
c lw 53091
c lw 53106
c lw 53119
c lw 53205
c lw 53305
c lw 53411
c lw 53413
c lw 53414
c lw 53422
c lw 53424
c lw 53425
c lw 53439
c lw 53440
c lw 53446
c lw 53452
c lw 53482
c lw 53493
c lw 53503
c lw 53504
c lw 53511
c lw 53521
c lw 53532
c lw 53534
c lw 53611
c lw 53986
c lw 54012
c lw 54170
c lw 54592
c lw 54800
c lw 55317
c lw 55413
c lw 55415
c lw 55485
c lw 55530
c lw 56526
c lw 56727
c lw 56905
c lw 57368
c lw 57578
c lw 57637
c lw 57681
c lw 58134
c lw 58623
c lw 59208
c lw 59738
c lw 60129
c lw 60320
c lw 60651
c lw 60948
c lw 61374
c lw 61479
c lw 61618
c lw 61754
c lw 61777
c lw 62191
c lw 62285
c lw 62869
c lw 62953
c lw 62998
c lw 63057
c lw 63084
c lw 63122
c lw 63127
c lw 63132
c lw 63133
c lw 63142
c lw 63152
c lw 63160
c lw 63170
c lw 63171
c lw 63180
c lw 63190
c lw 63332
c lw 63434
c lw 63438
c lw 63441
c lw 63449
c lw 63454
c lw 63459
c lw 63462
c lw 63464
c lw 63485
c lw 63610
c lw 63625
c lw 63630
c lw 63696
c lw 63699
c lw 63724
c lw 63738
c lw 63740
c lw 63751
c lw 63756
c lw 63828
c lw 63830
c lw 63841
c lw 63851
c lw 63858
c lw 63859
c lw 63866
c lw 63868
c lw 63869
c lw 63877
c lw 63880
c lw 63897
c lw 63907
c lw 63949
c lw 63991
c lw 64001
c lw 64018
c lw 64156
c lw 64434
c lw 64530
c lw 64675
c lw 64677
c lw 64758
c lw 64831
c lw 64834
c lw 64932
c lw 64933
c lw 64937
c lw 64938
c lw 64941
c lw 64943
c lw 64944
c lw 64945
c lw 64948
c lw 64949
c lw 64950
c lw 64951
c lw 64953
c lw 64956
c lw 64957
c lw 64960
c lw 64966
c lw 65024
c lw 65026
c lw 65027
c lw 65028
c lw 65573
c lw 65575
c lw 65577
c lw 65581
c lw 65583
c lw 65585
c lw 65588
c lw 65589
c lw 65590
c lw 65591
c lw 65592
c lw 65593
c lw 65598
c lw 65599
c lw 65601
c lw 65602
c lw 65603
c lw 65604
c lw 65608
c lw 65609
c lw 65619
c lw 65627
c lw 65634
c lw 65636
c lw 65637
c lw 65638
c lw 65639
c lw 65640
c lw 65641
c lw 65643
c lw 65644
c lw 65645
c lw 65646
c lw 65647
c lw 65648
c lw 65649
c lw 65650
c lw 65652
c lw 65653
c lw 65654
c lw 65655
c lw 65657
c lw 65658
c lw 65660
c lw 65662
c lw 65663
c lw 65664
c lw 65665
c lw 65666
c lw 65869
c lw 66279
c lw 66384
c lw 66861
c lw 67295
c lw 67336
c lw 67575
c lw 67752
c lw 67759
c lw 67928
c lw 68351
c lw 68356
c lw 68377
c lw 68411
c lw 68606
c lw 68609
c lw 68614
c lw 68785
c lw 68786
c lw 68787
c lw 68788
c lw 68789
c lw 68790
c lw 68791
c lw 68955
c lw 68963
c lw 69323
c lw 69420
c lw 69425
c lw 69426
c lw 69427
c lw 69428
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 -202 -203 204 205 -206 -207 208 
o 69428
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-1_network-1.net.wcnf 69428
194.211u 1.284s 3:15.53 99.9%	0+0k 0+0io 0pf+0w