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-40-2_network-7.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-40-2_network-7.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 263
c lw 763
c lw 2053
c lw 3462
c lw 5014
c lw 6524
c lw 7845
c lw 9030
c lw 9909
c lw 9971
c lw 10014
c lw 10863
c lw 11133
c lw 11390
c lw 11484
c lw 12021
c lw 12244
c lw 12482
c lw 12543
c lw 12910
c lw 13060
c lw 13518
c lw 13654
c lw 13915
c lw 14415
c lw 14501
c lw 14670
c lw 15130
c lw 15224
c lw 15285
c lw 15377
c lw 15415
c lw 15482
c lw 15942
c lw 16168
c lw 16213
c lw 16671
c lw 16814
c lw 17277
c lw 17520
c lw 18120
c lw 18512
c lw 18677
c lw 18750
c lw 18846
c lw 19172
c lw 19283
c lw 19538
c lw 19595
c lw 19757
c lw 20160
c lw 20224
c lw 20229
c lw 20268
c lw 20357
c lw 20654
c lw 20731
c lw 20910
c lw 21012
c lw 21090
c lw 21293
c lw 21426
c lw 21550
c lw 21613
c lw 21624
c lw 21647
c lw 21782
c lw 21851
c lw 22200
c lw 22334
c lw 22482
c lw 22503
c lw 22560
c lw 22616
c lw 22683
c lw 22751
c lw 22774
c lw 22784
c lw 22785
c lw 22848
c lw 22850
c lw 22953
c lw 23578
c lw 23583
c lw 23649
c lw 23651
c lw 23660
c lw 23671
c lw 23673
c lw 23675
c lw 23681
c lw 23684
c lw 23695
c lw 23700
c lw 23714
c lw 23715
c lw 23719
c lw 24251
c lw 24556
c lw 24618
c lw 24697
c lw 25092
c lw 25257
c lw 25344
c lw 25400
c lw 25449
c lw 25810
c lw 25889
c lw 26585
c lw 26646
c lw 26670
c lw 26725
c lw 26735
c lw 26759
c lw 27023
c lw 27107
c lw 27268
c lw 27276
c lw 27673
c lw 28358
c lw 28366
c lw 28502
c lw 28527
c lw 28542
c lw 28582
c lw 28613
c lw 28630
c lw 28904
c lw 29352
c lw 29607
c lw 29666
c lw 29855
c lw 29872
c lw 29935
c lw 29999
c lw 30211
c lw 30315
c lw 30324
c lw 30355
c lw 30401
c lw 30444
c lw 30459
c lw 30465
c lw 30504
c lw 30557
c lw 30661
c lw 30665
c lw 30670
c lw 30753
c lw 30807
c lw 31038
c lw 31453
c lw 31461
c lw 31573
c lw 31578
c lw 31606
c lw 31755
c lw 32086
c lw 32110
c lw 32166
c lw 32314
c lw 33033
c lw 33243
c lw 33691
c lw 33989
c lw 34316
c lw 35011
c lw 35434
c lw 36026
c lw 36162
c lw 36240
c lw 36257
c lw 36282
c lw 36283
c lw 36363
c lw 36430
c lw 36459
c lw 36509
c lw 36576
c lw 36593
c lw 36605
c lw 36606
c lw 36624
c lw 36626
c lw 36851
c lw 37036
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 
o 37036
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-40-2_network-7.net.wcnf 37036
15.264u 0.106s 0:15.40 99.7%	0+0k 0+0io 0pf+0w