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-4.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-40-2_network-4.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 440
c lw 845
c lw 1722
c lw 2627
c lw 3613
c lw 4936
c lw 6150
c lw 7004
c lw 8045
c lw 9500
c lw 10979
c lw 11203
c lw 11903
c lw 12466
c lw 12637
c lw 12671
c lw 12895
c lw 13442
c lw 13877
c lw 14470
c lw 14488
c lw 14502
c lw 14673
c lw 15633
c lw 15687
c lw 15751
c lw 15875
c lw 15880
c lw 15927
c lw 15945
c lw 16211
c lw 16349
c lw 16384
c lw 16402
c lw 16563
c lw 16610
c lw 16953
c lw 17769
c lw 18037
c lw 18536
c lw 18697
c lw 18787
c lw 19059
c lw 19185
c lw 19187
c lw 19436
c lw 19616
c lw 19672
c lw 19706
c lw 19731
c lw 19829
c lw 19930
c lw 19963
c lw 20260
c lw 20285
c lw 20383
c lw 20389
c lw 20463
c lw 20484
c lw 20518
c lw 20579
c lw 20609
c lw 20654
c lw 20678
c lw 20786
c lw 20870
c lw 21323
c lw 21334
c lw 21592
c lw 21905
c lw 21929
c lw 21966
c lw 22155
c lw 22186
c lw 22292
c lw 22577
c lw 22592
c lw 22614
c lw 22682
c lw 22686
c lw 22697
c lw 22719
c lw 22723
c lw 22750
c lw 22791
c lw 22792
c lw 22802
c lw 22803
c lw 22823
c lw 22828
c lw 22852
c lw 22871
c lw 22912
c lw 22984
c lw 22988
c lw 23111
c lw 23141
c lw 23219
c lw 23450
c lw 23837
c lw 23976
c lw 24000
c lw 24019
c lw 24055
c lw 24159
c lw 24808
c lw 24969
c lw 24977
c lw 25051
c lw 25151
c lw 25253
c lw 25549
c lw 25617
c lw 26409
c lw 26413
c lw 27105
c lw 27206
c lw 27358
c lw 27646
c lw 27652
c lw 28092
c lw 28124
c lw 28306
c lw 28517
c lw 28522
c lw 28531
c lw 28660
c lw 28702
c lw 28719
c lw 28824
c lw 29156
c lw 29198
c lw 29215
c lw 29247
c lw 29389
c lw 30154
c lw 30310
c lw 30336
c lw 30512
c lw 30560
c lw 30783
c lw 30931
c lw 31083
c lw 31467
c lw 31524
c lw 31575
c lw 32145
c lw 32202
c lw 32244
c lw 32261
c lw 32264
c lw 32276
c lw 32277
c lw 32278
c lw 32290
c lw 32293
c lw 32301
c lw 32303
c lw 32310
c lw 32585
c lw 32733
c lw 32826
c lw 32982
c lw 33128
c lw 33129
c lw 33215
c lw 33257
c lw 33453
c lw 33601
c lw 33740
c lw 33748
c lw 33915
c lw 33923
c lw 34050
c lw 34093
c lw 34094
c lw 34095
c lw 34097
c lw 34103
c lw 34106
c lw 34118
c lw 34143
c lw 34156
c lw 34171
c lw 34177
c lw 34184
c lw 34194
c lw 34226
c lw 34227
c lw 34228
c lw 34229
c lw 34232
c lw 34233
c lw 34234
c lw 34239
c lw 34242
c lw 34243
c lw 34244
c lw 34245
c lw 34246
c lw 34247
c lw 34248
c lw 34249
c lw 34250
c lw 34251
c lw 34259
c lw 34267
c lw 34268
c lw 34269
c lw 34271
c lw 34272
c lw 34273
c lw 34274
c lw 34275
c lw 34277
c lw 34278
c lw 34282
c lw 34283
c lw 34284
c lw 34287
c lw 34288
c lw 34289
c lw 34290
c lw 34291
c lw 34292
c lw 34293
c lw 34294
c lw 34295
c lw 34300
c lw 34344
c lw 34511
c lw 34725
c lw 34876
c lw 34988
c lw 34999
c lw 35139
c lw 35262
c lw 35323
c lw 35367
c lw 35495
c lw 35606
c lw 35854
c lw 35879
c lw 36193
c lw 36194
c lw 36195
c lw 36196
c lw 36197
c lw 36198
c lw 36201
c lw 36202
c lw 36203
c lw 36204
c lw 36205
c lw 36210
c lw 36211
c lw 36214
c lw 36219
c lw 36220
c lw 36223
c lw 36233
c lw 36243
c lw 36244
c lw 36245
c lw 36246
c lw 36247
c lw 36248
c lw 36249
c lw 36250
c lw 36251
c lw 36252
c lw 36253
c lw 36254
c lw 36256
c lw 36257
c lw 36258
c lw 36259
c lw 36395
c lw 36430
c lw 36516
c lw 36970
c lw 37034
c lw 37088
c lw 37431
c lw 37583
c lw 37591
c lw 37592
c lw 37593
c lw 37594
c lw 37595
c lw 37596
c lw 37599
c lw 37600
c lw 37601
c lw 37602
c lw 37603
c lw 37604
c lw 37605
c lw 37606
c lw 37607
c lw 37608
c lw 37609
c lw 37610
c lw 37611
c lw 37612
c lw 37613
c lw 37614
c lw 37615
c lw 37618
c lw 37620
c lw 37621
c lw 37622
c lw 37623
c lw 37624
c lw 37625
c lw 37626
c lw 37627
c lw 37628
c lw 37629
c lw 37630
c lw 37631
c lw 37632
c lw 37633
c lw 37634
c lw 37635
c lw 37636