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-50-2_network-4.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-50-2_network-4.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 656
c lw 1055
c lw 1818
c lw 2494
c lw 4074
c lw 5865
c lw 7355
c lw 7976
c lw 8151
c lw 8709
c lw 8816
c lw 8979
c lw 10047
c lw 10103
c lw 10119
c lw 10145
c lw 10205
c lw 10294
c lw 10314
c lw 10433
c lw 10475
c lw 10574
c lw 11156
c lw 12008
c lw 12377
c lw 12445
c lw 12525
c lw 12728
c lw 13151
c lw 13195
c lw 13224
c lw 13443
c lw 13961
c lw 14005
c lw 14344
c lw 14407
c lw 14438
c lw 14755
c lw 15723
c lw 15794
c lw 16356
c lw 16480
c lw 16736
c lw 17104
c lw 17139
c lw 17272
c lw 17275
c lw 17796
c lw 17973
c lw 18021
c lw 18135
c lw 18179
c lw 18511
c lw 19024
c lw 19059
c lw 19226
c lw 19331
c lw 19482
c lw 19731
c lw 19746
c lw 19850
c lw 19908
c lw 19956
c lw 19973
c lw 20064
c lw 20224
c lw 21306
c lw 21346
c lw 21349
c lw 21567
c lw 21588
c lw 21815
c lw 22207
c lw 22210
c lw 22300
c lw 22400
c lw 22428
c lw 22449
c lw 22489
c lw 23288
c lw 23434
c lw 24391
c lw 24399
c lw 24480
c lw 24517
c lw 25078
c lw 25277
c lw 25318
c lw 25508
c lw 25580
c lw 25735
c lw 25936
c lw 26023
c lw 26103
c lw 26469
c lw 26513
c lw 26671
c lw 26698
c lw 26896
c lw 26899
c lw 26908
c lw 26938
c lw 27054
c lw 27126
c lw 27136
c lw 27168
c lw 27234
c lw 27296
c lw 27457
c lw 27477
c lw 27511
c lw 27559
c lw 27598
c lw 27630
c lw 27684
c lw 27763
c lw 27901
c lw 27970
c lw 28209
c lw 28700
c lw 28790
c lw 29409
c lw 29412
c lw 29429
c lw 29588
c lw 29876
c lw 30165
c lw 30239
c lw 30462
c lw 30479
c lw 30480
c lw 30485
c lw 30516
c lw 30517
c lw 30524
c lw 30526
c lw 30541
c lw 30542
c lw 30548
c lw 30558
c lw 30567
c lw 30569
c lw 30572
c lw 30614
c lw 30667
c lw 30739
c lw 30746
c lw 30747
c lw 30752
c lw 30756
c lw 30942
c lw 31162
c lw 31306
c lw 31449
c lw 31557
c lw 32220
c lw 32259
c lw 32749
c lw 32754
c lw 32823
c lw 32827
c lw 32831
c lw 32848
c lw 32852
c lw 32857
c lw 32947
c lw 33531
c lw 33536
c lw 33578
c lw 33582
c lw 33583
c lw 33928
c lw 33932
c lw 33961
c lw 33962
c lw 33966
c lw 34112
c lw 34116
c lw 34120
c lw 34124
c lw 34159
c lw 34236
c lw 34409
c lw 34415
c lw 34431
c lw 34444
c lw 34451
c lw 34473
c lw 34605
c lw 34606
c lw 34684
c lw 34730
c lw 35245
c lw 35302
c lw 35313
c lw 35623
c lw 35925
c lw 36080
c lw 36084
c lw 36210
c lw 36248
c lw 36446
c lw 36472
c lw 36481
c lw 36627
c lw 36631
c lw 36757
c lw 36795
c lw 36918
c lw 37087
c lw 37097
c lw 37179
c lw 37235
c lw 37239
c lw 37285
c lw 38182
c lw 38510
c lw 38629
c lw 38873
c lw 38877
c lw 38991
c lw 39058
c lw 39096
c lw 39121
c lw 39239
c lw 39276
c lw 39423
c lw 39424
c lw 39571
c lw 39585
c lw 39706
c lw 39762
c lw 39810
c lw 39849
c lw 40084
c lw 40193
c lw 40217
c lw 40376
c lw 40527
c lw 40555
c lw 40619
c lw 40661
c lw 40684
c lw 40687
c lw 40745
c lw 40750
c lw 40769
c lw 40776
c lw 40780
c lw 40790
c lw 40813
c lw 40814
c lw 40817
c lw 40826
c lw 40841
c lw 40842
c lw 40843
c lw 40846
c lw 40849
c lw 40850
c lw 40851
c lw 40853
c lw 40854
c lw 40855
c lw 40858
c lw 40859
c lw 40860
c lw 40861
c lw 40862
c lw 40864
c lw 40887
c lw 40929
c lw 40993
c lw 41021
c lw 41028
c lw 41064
c lw 41084
c lw 41103
c lw 41180
c lw 41204
c lw 41213
c lw 41249
c lw 41319
c lw 41442
c lw 41493
c lw 41823
c lw 41935
c lw 41963
c lw 42185
c lw 43220
c lw 43475
c lw 43528
c lw 43592
c lw 43636
c lw 43693
c lw 43706
c lw 43725
c lw 43754
c lw 43801
c lw 43875
c lw 43925
c lw 43992
c lw 44583
c lw 44647
c lw 44663
c lw 44700
c lw 44737
c lw 44784
c lw 44813
c lw 44832
c lw 44845
c lw 44902
c lw 44946
c lw 44955
c lw 45053
c lw 45113
c lw 45262
c lw 45268
c lw 45273
c lw 45274
c lw 45275
c lw 45276
c lw 45277
c lw 45278
c lw 45279
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 
o 45279
s OPTIMUM FOUND
c Solution /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-50-2_network-4.net.wcnf 45279
68.715u 0.533s 1:09.40 99.7%	0+0k 0+0io 0pf+0w