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-120-1_network-9.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-120-1_network-9.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 949
c lw 1627
c lw 3246
c lw 3794
c lw 5304
c lw 5901
c lw 7128
c lw 7545
c lw 8247
c lw 8833
c lw 9802
c lw 10868
c lw 11334
c lw 11582
c lw 13117
c lw 13539
c lw 13643
c lw 13828
c lw 14198
c lw 14732
c lw 15126
c lw 15137
c lw 15626
c lw 15934
c lw 16117
c lw 16731
c lw 16745
c lw 17470
c lw 17652
c lw 18871
c lw 19159
c lw 20103
c lw 20168
c lw 20389
c lw 20475
c lw 21036
c lw 21156
c lw 21487
c lw 21773
c lw 21985
c lw 22001
c lw 22487
c lw 23233
c lw 23285
c lw 23468
c lw 23480
c lw 23494
c lw 23738
c lw 23864
c lw 23886
c lw 23987
c lw 24105
c lw 24452
c lw 24740
c lw 25200
c lw 25378
c lw 26312
c lw 26670
c lw 26949
c lw 27125
c lw 28176
c lw 28394
c lw 28480
c lw 28851
c lw 28971
c lw 29302
c lw 29440
c lw 29652
c lw 29668
c lw 30067
c lw 30572
c lw 30662
c lw 30682
c lw 30954
c lw 31090
c lw 31408
c lw 31420
c lw 31501
c lw 31679
c lw 31690
c lw 31900
c lw 32149
c lw 32497
c lw 32507
c lw 33503
c lw 33908
c lw 34012
c lw 34172
c lw 34827
c lw 34933
c lw 34938
c lw 35090
c lw 35173
c lw 35206
c lw 35644
c lw 35695
c lw 35740
c lw 36648
c lw 36669
c lw 37050
c lw 37697
c lw 38568
c lw 38573
c lw 38592
c lw 39198
c lw 39299
c lw 39796
c lw 40257
c lw 40658
c lw 41057
c lw 41118
c lw 41121
c lw 41355
c lw 41491
c lw 41594
c lw 41938
c lw 42131
c lw 42245
c lw 42642
c lw 42650
c lw 43548
c lw 43833
c lw 44303
c lw 44473
c lw 44794
c lw 44828
c lw 45056
c lw 45663
c lw 46075
c lw 46685
c lw 46715
c lw 46736
c lw 46808
c lw 47269
c lw 47616
c lw 47834
c lw 48000
c lw 48048
c lw 48360
c lw 48777
c lw 48844
c lw 49407
c lw 49499
c lw 49510
c lw 49565
c lw 49775
c lw 49823
c lw 50317
c lw 50658
c lw 50761
c lw 50791
c lw 50927
c lw 51302
c lw 51461
c lw 51739
c lw 52048
c lw 52075
c lw 52136
c lw 52336
c lw 53148
c lw 53155
c lw 53170
c lw 53686
c lw 53925
c lw 54222
c lw 54403
c lw 54654
c lw 54778
c lw 54799
c lw 54853
c lw 54926
c lw 55005
c lw 55356
c lw 56450
c lw 56654
c lw 57437
c lw 57438
c lw 57446
c lw 57689
c lw 57804
c lw 57806
c lw 58517
c lw 58555
c lw 58776
c lw 58980
c lw 59113
c lw 60088
c lw 60224
c lw 60711
c lw 60732
c lw 60834
c lw 60842
c lw 60846
c lw 60918
c lw 60930
c lw 60950
c lw 61012
c lw 61205
c lw 61285
c lw 61331
c lw 61462
c lw 61510
c lw 61731
c lw 61903
c lw 62000
c lw 62029
c lw 62094
c lw 62106
c lw 62391
c lw 62415
c lw 62927
c lw 63303
c lw 63458
c lw 63797
c lw 64427
c lw 64509
c lw 64688
c lw 64723
c lw 64800
c lw 66102
c lw 66182
c lw 66323
c lw 66397
c lw 66609
c lw 66671
c lw 66743
c lw 66781
c lw 66805
c lw 66819
c lw 66892
c lw 67379
c lw 67444
c lw 67446
c lw 67504
c lw 67509
c lw 67630
c lw 68545
c lw 68715
c lw 69503
c lw 69527
c lw 69699
c lw 69755
c lw 69761
c lw 70086
c lw 70168
c lw 70351
c lw 70600
c lw 70849
c lw 70967
c lw 70969
c lw 70972
c lw 71118
c lw 71392
c lw 71932
c lw 72232
c lw 72380
c lw 72495
c lw 73102
c lw 73188
c lw 73346
c lw 73451
c lw 73861
c lw 74193
c lw 74205
c lw 74900
c lw 75049
c lw 75726
c lw 75748
c lw 76120
c lw 77557
c lw 77570
c lw 77669
c lw 77915
c lw 78164
c lw 78635
c lw 78831
c lw 79029
c lw 79034
c lw 79038
c lw 79040
c lw 79051
c lw 79084
c lw 79090
c lw 79134
c lw 79183
c lw 79803
c lw 79950
c lw 80041
c lw 80060
c lw 80093
c lw 80105
c lw 80115
c lw 80182
c lw 80726
c lw 80754
c lw 80960
c lw 81028
c lw 81379
c lw 81412
c lw 81585
c lw 81671
c lw 81763
c lw 81892
c lw 82249
c lw 82293
c lw 82491
c lw 83646
c lw 83848
c lw 85040
c lw 85131
c lw 86268
c lw 86375
c lw 87342
c lw 87611
c lw 87882
c lw 88165
c lw 88313
c lw 88678
c lw 88682
c lw 88850
c lw 88902
c lw 88907
c lw 88960
c lw 89010
c lw 89014
c lw 89088
c lw 89093
c lw 89724
c lw 90601
c lw 91128
c lw 91159
c lw 91277
c lw 91308
c lw 91342
c lw 91596
c lw 91652
c lw 91982
c lw 92165
c lw 92272
c lw 92303
c lw 92337
c lw 92393
c lw 93226
c lw 93233
c lw 94060
c lw 94130
c lw 94902
c lw 95009
c lw 95045
c lw 95110
c lw 95128
c lw 95237
c lw 95290
c lw 95341
c lw 95492
c lw 96318
c lw 96612
c lw 97350
c lw 97355
c lw 97439
c lw 98320
c lw 98520
c lw 98529
c lw 99685
c lw 99873
c lw 100042
c lw 100053
c lw 100096
c lw 100448
c lw 101286
c lw 101985
c lw 102656
c lw 102663
c lw 102675
c lw 102677
c lw 102686
c lw 102789
c lw 102791
c lw 102806
c lw 102822
c lw 102830
c lw 102835
c lw 102841
c lw 102843
c lw 102890
c lw 102895
c lw 102897
c lw 102908
c lw 102960
c lw 103034
c lw 103048
c lw 103053
c lw 103205
c lw 103269
c lw 103275
c lw 103277
c lw 103282
c lw 103283
c lw 103288
c lw 103289
c lw 103294
c lw 103298
c lw 103303
c lw 103312
c lw 103313
c lw 103323
c lw 103331
c lw 103358
c lw 103360
c lw 103372
c lw 103396
c lw 103439
c lw 103441
c lw 103446
c lw 103453
c lw 103464
c lw 103465
c lw 103468
c lw 103500
c lw 103574
c lw 104151
c lw 104251
c lw 104287
c lw 104458
c lw 104511
c lw 104687
c lw 104822
c lw 104827
c lw 104837
c lw 104845
c lw 104879
c lw 104880
c lw 104881
c lw 104884
c lw 104937
c lw 104975
c lw 105035
c lw 105043
c lw 105061
c lw 105064
c lw 105075
c lw 105088
c lw 105090
c lw 105093
c lw 105158
c lw 105160
c lw 105161
c lw 105162
c lw 105170
c lw 105171
c lw 105173
c lw 105174
c lw 105178
c lw 105179
c lw 105180
c lw 105182
c lw 105183
c lw 105184
c lw 105189
c lw 105190
c lw 105191
c lw 105192
c lw 105193
c lw 105194
c lw 105195
c lw 105199
c lw 105200
c lw 105202
c lw 105204
c lw 105209
c lw 105212
c lw 105213
c lw 105215
c lw 105219
c lw 105220
c lw 105221
c lw 105226
c lw 105227
c lw 105229
c lw 105230
c lw 105232
c lw 105233
c lw 105234
c lw 105235
c lw 105236
c lw 105240
c lw 105241
c lw 105243
c lw 105246
c lw 105248
c lw 105250
c lw 105252
c lw 105259
c lw 105261
c lw 105268
c lw 105275
c lw 105282
c lw 105287
c lw 105288
c lw 105290
c lw 105291
c lw 105293
c lw 105295
c lw 105297
c lw 105335
c lw 105337
c lw 105339
c lw 105344
c lw 105345
c lw 105346
c lw 105348
c lw 105349
c lw 105350
c lw 105351
c lw 105352
c lw 105353
c lw 105363
c lw 105374
c lw 105387
c lw 105389
c lw 105390
c lw 105391
c lw 105392
c lw 105393
c lw 105396
c lw 105397
c lw 105402
c lw 105407
c lw 105408
c lw 105409
c lw 105410
c lw 105411
c lw 105412
c lw 105413
c lw 105414
c lw 105415
c lw 105416
c lw 105417
c lw 105418
c lw 105419
c lw 105420
c lw 105423
c lw 105424
c lw 105425
c lw 105426
c lw 105427
c lw 105428
c lw 105429
c lw 105430
c lw 105431
c lw 105432
c lw 105433
c lw 105434
c lw 105435
c lw 105436
c lw 105437
c lw 105438
c lw 105439
c lw 105440
c lw 106260
c lw 106642
c lw 107250
c lw 107478
c lw 107549
c lw 107687
c lw 108412
c lw 108462
c lw 109237
c lw 109445
c lw 109532
c lw 109763
c lw 109850
c lw 109851
c lw 109852
c lw 109853
c lw 109854
c lw 109855
c lw 109856
c lw 109857
c lw 109858
c lw 109859
c lw 109860
c lw 109861
c lw 109862
c lw 109863
c lw 109864
c lw 109865