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-80-1_network-10.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-1_network-10.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 886
c lw 1404
c lw 2849
c lw 4287
c lw 5294
c lw 6411
c lw 6767
c lw 7276
c lw 7868
c lw 8473
c lw 8667
c lw 8943
c lw 9446
c lw 9657
c lw 9733
c lw 10338
c lw 10628
c lw 10955
c lw 11068
c lw 11825
c lw 11847
c lw 12016
c lw 12044
c lw 12124
c lw 12804
c lw 13899
c lw 14314
c lw 14410
c lw 14944
c lw 15459
c lw 15506
c lw 16786
c lw 16917
c lw 16942
c lw 17120
c lw 17434
c lw 17578
c lw 17645
c lw 17756
c lw 18026
c lw 18158
c lw 19543
c lw 19703
c lw 20365
c lw 21071
c lw 22462
c lw 22651
c lw 22901
c lw 23540
c lw 23621
c lw 23876
c lw 24741
c lw 25125
c lw 25870
c lw 26055
c lw 26723
c lw 26803
c lw 27070
c lw 27130
c lw 27820
c lw 27922
c lw 28909
c lw 28941
c lw 29047
c lw 29167
c lw 29421
c lw 29541
c lw 29616
c lw 29631
c lw 29793
c lw 30031
c lw 30210
c lw 30497
c lw 30541
c lw 30698
c lw 31426
c lw 31489
c lw 31519
c lw 31556
c lw 31741
c lw 32037
c lw 32312
c lw 32702
c lw 32746
c lw 32790
c lw 32867
c lw 33314
c lw 33654
c lw 34185
c lw 34309
c lw 34338
c lw 34548
c lw 34624
c lw 35463
c lw 35524
c lw 35806
c lw 35853
c lw 35896
c lw 36244
c lw 36302
c lw 36452
c lw 36496
c lw 36557
c lw 36574
c lw 36602
c lw 36670
c lw 37090
c lw 37105
c lw 37445
c lw 37999
c lw 38404
c lw 38698
c lw 39566
c lw 39631
c lw 39727
c lw 39947
c lw 40216
c lw 40235
c lw 40568
c lw 40597
c lw 40613
c lw 40689
c lw 40711
c lw 40747
c lw 40751
c lw 40851
c lw 41196
c lw 41442
c lw 41580
c lw 41690
c lw 41724
c lw 41828
c lw 42444
c lw 42450
c lw 42518
c lw 42533
c lw 42568
c lw 43037
c lw 43298
c lw 43636
c lw 43934
c lw 43949
c lw 43973
c lw 44129
c lw 44131
c lw 44406
c lw 44466
c lw 45307
c lw 45507
c lw 46224
c lw 46316
c lw 46322
c lw 46366
c lw 46382
c lw 46385
c lw 46389
c lw 46407
c lw 46411
c lw 46429
c lw 46433
c lw 46440
c lw 46472
c lw 46478
c lw 46488
c lw 46587
c lw 47069
c lw 47075
c lw 47163
c lw 47167
c lw 47519
c lw 48030
c lw 48149
c lw 48505
c lw 49036
c lw 49407
c lw 49605
c lw 49969
c lw 49987
c lw 50133
c lw 50437
c lw 50455
c lw 50580
c lw 50648
c lw 50655
c lw 50700
c lw 51465
c lw 51543
c lw 51601
c lw 51622
c lw 51712
c lw 51802
c lw 51803
c lw 51806
c lw 51812
c lw 51842
c lw 51845
c lw 51854
c lw 52079
c lw 52090
c lw 52094
c lw 52635
c lw 52691
c lw 52698
c lw 52704
c lw 52713
c lw 52742
c lw 52758
c lw 52773
c lw 52796
c lw 52811
c lw 52832
c lw 52838
c lw 52867
c lw 52996
c lw 53027
c lw 53030
c lw 53031
c lw 53032
c lw 53034
c lw 53043
c lw 53044
c lw 53046
c lw 53047
c lw 53048
c lw 53050
c lw 53073
c lw 53076
c lw 53141
c lw 53160
c lw 53163
c lw 53164
c lw 53169
c lw 53172
c lw 53173
c lw 53176
c lw 53201
c lw 53218
c lw 53232
c lw 53234
c lw 53237
c lw 53238
c lw 53240
c lw 53249
c lw 53250
c lw 53251
c lw 53253
c lw 53256
c lw 53261
c lw 53263
c lw 53264
c lw 53265
c lw 53266
c lw 53267
c lw 53269
c lw 53270
c lw 53279
c lw 53280
c lw 53281
c lw 53282
c lw 53283
c lw 53285
c lw 53288
c lw 53289
c lw 53290
c lw 53295
c lw 53297
c lw 53298
c lw 53299
c lw 53302
c lw 53303
c lw 53304
c lw 53305
c lw 53306
c lw 53307
c lw 53309
c lw 53310
c lw 53312
c lw 53313
c lw 53314
c lw 53315
c lw 53316
c lw 53317
c lw 53318
c lw 53319
c lw 53320
c lw 53321
c lw 53322
c lw 53323
c lw 53324
c lw 53325
c lw 53326
c lw 53327
c lw 53328
c lw 53329
c lw 53330
c lw 53331
c lw 53332
c lw 53333
c lw 53335
c lw 53336
c lw 53389
c lw 53392
c lw 53396
c lw 53800
c lw 54534
c lw 54599
c lw 55097
c lw 55272
c lw 55337
c lw 55716
c lw 55900
c lw 56117
c lw 56284
c lw 57212
c lw 57233
c lw 57282
c lw 57286
c lw 57288
c lw 57289
c lw 57291
c lw 57296
c lw 57297
c lw 57299
c lw 57300
c lw 57303
c lw 57304
c lw 57305
c lw 57306
c lw 57315
c lw 57330
c lw 57331
c lw 57332
c lw 57336
c lw 57339
c lw 57348
c lw 57349
c lw 58170
c lw 58494
c lw 58808
c lw 59675
c lw 60143
c lw 60213
c lw 60236
c lw 60386
c lw 60446
c lw 60448
c lw 60449
c lw 60450
c lw 60451
c lw 60452
c lw 60453
c lw 60454
c lw 60455
c lw 60456
c lw 60457
c lw 60458
c lw 60459
c lw 60460
c lw 60461
c lw 60483
c lw 60621
c lw 60636
c lw 60677
c lw 60768
c lw 60842
c lw 61080
c lw 61246
c lw 61410
c lw 61940
c lw 62111
c lw 62183
c lw 62362
c lw 62850
c lw 63676
c lw 63949
c lw 64165
c lw 64438
c lw 64515
c lw 64534
c lw 64776
c lw 65045
c lw 65194
c lw 65476
c lw 65705
c lw 65718
c lw 65836
c lw 65870
c lw 65897
c lw 65911
c lw 66000
c lw 66007
c lw 66020
c lw 66054
c lw 66067
c lw 66096
c lw 66138
c lw 66204
c lw 66216
c lw 66229
c lw 66242
c lw 66851
c lw 66961
c lw 67639
c lw 67649
c lw 68295
c lw 68510
c lw 68773
c lw 69112
c lw 69470
c lw 70255
c lw 70265
c lw 70820
c lw 70981
c lw 71160
c lw 71161
c lw 71162
c lw 71163
c lw 71164
c lw 71165
c lw 71166
c lw 71167
c lw 71168
c lw 71169
c lw 71170
c lw 71171
c lw 71172
c lw 71173
c lw 71174
c lw 71175
c lw 71176
c lw 71177
c lw 71178