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-20-2_network-3.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-20-2_network-3.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 908
c lw 1850
c lw 2841
c lw 4419
c lw 4425
c lw 5215
c lw 5288
c lw 5328
c lw 5334
c lw 5629
c lw 5743
c lw 5853
c lw 6199
c lw 6210
c lw 6250
c lw 6283
c lw 6323
c lw 6329
c lw 6452
c lw 6562
c lw 6691
c lw 6908
c lw 6914
c lw 6919
c lw 6953
c lw 6954
c lw 6959
c lw 6992
c lw 6993
c lw 6994
c lw 6999
c lw 7027
c lw 7032
c lw 7033
c lw 7050
c lw 7110
c lw 7144
c lw 7156
c lw 7161
c lw 7162
c lw 7167
c lw 7184
c lw 7200
c lw 7201
c lw 7202
c lw 7207
c lw 7235
c lw 7240
c lw 7241
c lw 7266
c lw 7275
c lw 7296
c lw 7301
c lw 8064
c lw 8082
c lw 8116
c lw 8132
c lw 8133
c lw 8134
c lw 8139
c lw 8156
c lw 8255
c lw 8348
c lw 8359
c lw 8364
c lw 8365
c lw 8366
c lw 8390
c lw 8399
c lw 8400
c lw 8416
c lw 8417
c lw 8418
c lw 8420
c lw 8423
c lw 8425
c lw 8440
c lw 8633
c lw 8809
c lw 9472
c lw 9549
c lw 9694
c lw 9973
c lw 10038
c lw 10060
c lw 10076
c lw 10079
c lw 10095
c lw 10104
c lw 10196
c lw 10244
c lw 10392
c lw 10497
c lw 10601
c lw 10619
c lw 10622
c lw 10638
c lw 10647
c lw 10653
c lw 10739
c lw 10754
c lw 10787
c lw 10898
c lw 10899
c lw 11019
c lw 11052
c lw 11131
c lw 11169
c lw 11178
c lw 11191
c lw 11194
c lw 11209
c lw 11212
c lw 11215
c lw 11231
c lw 11240
c lw 11246
c lw 11251
c lw 11505
c lw 11611
c lw 11702
c lw 11707
c lw 11713
c lw 11722
c lw 11738
c lw 11741
c lw 11744
c lw 11759
c lw 11762
c lw 11766
c lw 11775
c lw 11783
c lw 11784
c lw 11798
c lw 11815
c lw 11831
c lw 11840
c lw 11845
c lw 11851
c lw 11858
c lw 11860
c lw 11861
c lw 11864
c lw 11876
c lw 11877
c lw 11879
c lw 11882
c lw 11886
c lw 11892
c lw 11897
c lw 11899
c lw 11994
c lw 12434
c lw 12473
c lw 12634
c lw 12680
c lw 12800
c lw 13146
c lw 13331
c lw 13335
c lw 13398
c lw 13612
c lw 13703
c lw 13709
c lw 13733
c lw 13766
c lw 13805
c lw 13806
c lw 13829
c lw 13863
c lw 13955
c lw 13983
c lw 13989
c lw 14043
c lw 14045
c lw 14080
c lw 14104
c lw 14134
c lw 14137
c lw 14140
c lw 14144
c lw 14176
c lw 14177
c lw 14200
c lw 14211
c lw 14224
c lw 14230
c lw 14254
c lw 14269
c lw 14287
c lw 14298
c lw 14301
c lw 14322
c lw 14346
c lw 14363
c lw 14376
c lw 14379
c lw 14382
c lw 14386
c lw 14408
c lw 14418
c lw 14419
c lw 14433
c lw 14442
c lw 14453
c lw 14545
c lw 14567
c lw 14573
c lw 14612
c lw 14613
c lw 14636
c lw 14664
c lw 14668
c lw 14670
c lw 14676
c lw 14730
c lw 14731
c lw 14732
c lw 14743
c lw 14744
c lw 15033
c lw 15062
c lw 15112
c lw 15115
c lw 15125
c lw 15126
c lw 15140
c lw 15161
c lw 15185
c lw 15190
c lw 15202
c lw 15215
c lw 15218
c lw 15221
c lw 15225
c lw 15247
c lw 15256
c lw 15267
c lw 15340
c lw 15689
c lw 15780
c lw 15893
c lw 16479
c lw 16520
c lw 16526
c lw 16539
c lw 16556
c lw 16561
c lw 16567
c lw 16568
c lw 16581
c lw 16598
c lw 16606
c lw 16607
c lw 16611
c lw 16617
c lw 16630
c lw 16637
c lw 16641
c lw 16658
c lw 16659
c lw 16660
c lw 16663
c lw 16665
c lw 16671
c lw 16674
c lw 16675
c lw 16683
c lw 16685
c lw 16694
c lw 16695
c lw 16696
c lw 16710
c lw 16711
c lw 16714
c lw 16717
c lw 16719
c lw 16725
c lw 16726
c lw 16727
c lw 16728
c lw 17038
c lw 17042
c lw 17104
c lw 17106
c lw 17114
c lw 17128
c lw 17210
c lw 17212
c lw 17213
c lw 17214
c lw 17215
c lw 17216
c lw 17218
c lw 17221
c lw 17222
c lw 17223
c lw 17226
c lw 17227
c lw 17228
c lw 17229
c lw 17230
c lw 17231
c lw 17232
c lw 17235
c lw 17238
c lw 17241
c lw 17252
c lw 17259
c lw 17265
c lw 17266
c lw 17270
c lw 17334
c lw 17355
c lw 17469
c lw 17474
c lw 17492
c lw 17627
c lw 17827
c lw 17973
c lw 18000
c lw 18034
c lw 18036
c lw 18062
c lw 18085
c lw 18103
c lw 18131
c lw 18179
c lw 18255
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 
o 18255
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-20-2_network-3.net.wcnf 18255
97.819u 0.618s 1:38.76 99.6%	0+0k 0+0io 0pf+0w