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-60-1_network-1.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-1_network-1.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 908
c lw 1372
c lw 2463
c lw 3069
c lw 4166
c lw 6277
c lw 6652
c lw 7932
c lw 9276
c lw 10731
c lw 10922
c lw 11966
c lw 13511
c lw 13649
c lw 14879
c lw 14887
c lw 15846
c lw 16522
c lw 16550
c lw 17300
c lw 17523
c lw 17626
c lw 17635
c lw 18689
c lw 18821
c lw 18935
c lw 19349
c lw 20220
c lw 20229
c lw 20727
c lw 20806
c lw 21028
c lw 21286
c lw 21546
c lw 22499
c lw 22644
c lw 22776
c lw 22922
c lw 23059
c lw 23137
c lw 23182
c lw 23210
c lw 23725
c lw 23925
c lw 24276
c lw 24550
c lw 24668
c lw 24745
c lw 25190
c lw 25470
c lw 25658
c lw 25739
c lw 26422
c lw 26458
c lw 26478
c lw 26586
c lw 26734
c lw 27085
c lw 27149
c lw 27249
c lw 27258
c lw 27301
c lw 27936
c lw 28487
c lw 28616
c lw 29005
c lw 29808
c lw 30000
c lw 30222
c lw 30399
c lw 30847
c lw 31920
c lw 32120
c lw 32179
c lw 32364
c lw 32705
c lw 32882
c lw 33159
c lw 33163
c lw 33169
c lw 33171
c lw 33188
c lw 34131
c lw 34204
c lw 34393
c lw 34417
c lw 35108
c lw 35284
c lw 35340
c lw 35457
c lw 35873
c lw 35875
c lw 35891
c lw 36075
c lw 36083
c lw 36419
c lw 36589
c lw 36638
c lw 37498
c lw 37636
c lw 37748
c lw 37841
c lw 37986
c lw 38080
c lw 38209
c lw 38312
c lw 38378
c lw 38814
c lw 38970
c lw 39056
c lw 39073
c lw 39092
c lw 39117
c lw 39601
c lw 39760
c lw 39782
c lw 40010
c lw 40020
c lw 40022
c lw 40032
c lw 40484
c lw 40502
c lw 41038
c lw 41152
c lw 41385
c lw 42076
c lw 42460
c lw 43091
c lw 43258
c lw 43671
c lw 44042
c lw 44095
c lw 44674
c lw 45072
c lw 45111
c lw 45114
c lw 45377
c lw 45401
c lw 45516
c lw 46070
c lw 46428
c lw 46536
c lw 47310
c lw 47413
c lw 47712
c lw 47730
c lw 47731
c lw 47737
c lw 47748
c lw 47925
c lw 48031
c lw 48147
c lw 48336
c lw 48840
c lw 50107
c lw 50129
c lw 50348
c lw 50485
c lw 50663
c lw 51020
c lw 51294
c lw 51375
c lw 51965
c lw 53032
c lw 53351
c lw 53648
c lw 53654
c lw 53811
c lw 53833
c lw 53932
c lw 54035
c lw 54135
c lw 54138
c lw 54144
c lw 54153
c lw 54154
c lw 54159
c lw 54216
c lw 54258
c lw 54261
c lw 54276
c lw 54297
c lw 54298
c lw 54313
c lw 54317
c lw 54359
c lw 54362
c lw 54363
c lw 54371
c lw 54373
c lw 54437
c lw 54465
c lw 54466
c lw 54471
c lw 54473
c lw 54474
c lw 54479
c lw 54482
c lw 54483
c lw 54492
c lw 54494
c lw 54495
c lw 54497
c lw 54498
c lw 55220
c lw 55519
c lw 55807
c lw 57096
c lw 57362
c lw 57968
c lw 59036
c lw 59115
c lw 59581
c lw 59587
c lw 60073
c lw 60119
c lw 60468
c lw 60631
c lw 60766
c lw 61023
c lw 61053
c lw 61235
c lw 61291
c lw 61321
c lw 61322
c lw 61325
c lw 61326
c lw 61328
c lw 61331
c lw 61334
c lw 61336
c lw 61337
c lw 61338
c lw 61339
c lw 61340
c lw 61344
c lw 61345
c lw 61346
c lw 61347
c lw 61348
c lw 61554
c lw 61865
c lw 61869
c lw 62046
c lw 62179
c lw 62183
c lw 62242
c lw 62252
c lw 62463
c lw 62468
c lw 62509
c lw 62567
c lw 62625
c lw 62699
c lw 62701
c lw 62727
c lw 62801
c lw 62859
c lw 62917
c lw 62958
c lw 62973
c lw 63068
c lw 63184
c lw 63189
c lw 63237
c lw 63245
c lw 63272
c lw 63327
c lw 63330
c lw 63334
c lw 63340
c lw 63352
c lw 63353
c lw 63355
c lw 63357
c lw 63358
c lw 63359
c lw 63370
c lw 63376
c lw 63380
c lw 63383
c lw 63393
c lw 63397
c lw 63398
c lw 63403
c lw 63461
c lw 63469
c lw 63487
c lw 63488
c lw 63503
c lw 63509
c lw 63526
c lw 63528
c lw 63529
c lw 63531
c lw 63533
c lw 63534
c lw 63551
c lw 63558
c lw 63566
c lw 63573
c lw 63581
c lw 63588
c lw 63589
c lw 63593
c lw 63598
c lw 63600
c lw 63601
c lw 63605
c lw 63606
c lw 63607
c lw 63608
c lw 63609
c lw 63610
c lw 63611
c lw 63612
c lw 63613
c lw 63614
c lw 63615
c lw 63616
c lw 63617
c lw 63618
c lw 63619
c lw 63620
c lw 63621
c lw 63622
c lw 63623
c lw 63624
c lw 63625
c lw 63626
c lw 63627
c lw 63628
c lw 63629