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-10.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-50-2_network-10.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 837
c lw 1753
c lw 1902
c lw 2898
c lw 4225
c lw 5343
c lw 6945
c lw 8110
c lw 9398
c lw 9641
c lw 9814
c lw 10008
c lw 10016
c lw 10772
c lw 12407
c lw 12565
c lw 12847
c lw 12938
c lw 13182
c lw 13410
c lw 13690
c lw 14475
c lw 14586
c lw 15142
c lw 15165
c lw 15371
c lw 15435
c lw 16267
c lw 16549
c lw 16704
c lw 16873
c lw 17106
c lw 17375
c lw 17383
c lw 17750
c lw 18173
c lw 18228
c lw 18279
c lw 18708
c lw 19040
c lw 19048
c lw 19225
c lw 19934
c lw 19951
c lw 20454
c lw 20992
c lw 21009
c lw 21190
c lw 21569
c lw 21870
c lw 22020
c lw 22318
c lw 22382
c lw 22521
c lw 22530
c lw 22547
c lw 22592
c lw 22600
c lw 22710
c lw 22725
c lw 22883
c lw 23248
c lw 23251
c lw 23256
c lw 23335
c lw 23359
c lw 23565
c lw 23722
c lw 23794
c lw 23814
c lw 23829
c lw 23832
c lw 23837
c lw 23861
c lw 23881
c lw 24074
c lw 24140
c lw 24160
c lw 24270
c lw 24279
c lw 24303
c lw 24382
c lw 24387
c lw 24390
c lw 24396
c lw 24406
c lw 24421
c lw 24980
c lw 24995
c lw 25005
c lw 25011
c lw 25133
c lw 25264
c lw 25824
c lw 26167
c lw 26710
c lw 26857
c lw 27179
c lw 27235
c lw 27256
c lw 27591
c lw 27920
c lw 27973
c lw 28076
c lw 28089
c lw 28240
c lw 28295
c lw 28358
c lw 28404
c lw 28663
c lw 28716
c lw 28752
c lw 28910
c lw 28919
c lw 28946
c lw 29047
c lw 29055
c lw 29143
c lw 29154
c lw 29176
c lw 29241
c lw 29390
c lw 29420
c lw 29455
c lw 29459
c lw 29467
c lw 29499
c lw 29659
c lw 29765
c lw 29823
c lw 30214
c lw 30486
c lw 30491
c lw 30833
c lw 30837
c lw 30838
c lw 31489
c lw 31514
c lw 31580
c lw 32058
c lw 32075
c lw 32108
c lw 32802
c lw 32823
c lw 32994
c lw 33151
c lw 33185
c lw 33242
c lw 33261
c lw 33320
c lw 33442
c lw 33494
c lw 33514
c lw 33743
c lw 33947
c lw 34239
c lw 34301
c lw 34388
c lw 34411
c lw 34463
c lw 34467
c lw 34647
c lw 34734
c lw 34740
c lw 34754
c lw 34804
c lw 34810
c lw 34948
c lw 34963
c lw 35280
c lw 35290
c lw 35295
c lw 35387
c lw 35418
c lw 36250
c lw 36503
c lw 36516
c lw 36633
c lw 36710
c lw 36723
c lw 36826
c lw 36900
c lw 36912
c lw 36945
c lw 36957
c lw 37043
c lw 37063
c lw 37083
c lw 37112
c lw 37174
c lw 37184
c lw 37194
c lw 37246
c lw 37265
c lw 37456
c lw 37507
c lw 37572
c lw 37686
c lw 37735
c lw 37894
c lw 37928
c lw 37975
c lw 38043
c lw 38226
c lw 38229
c lw 38231
c lw 38248
c lw 38249
c lw 38251
c lw 38268
c lw 38316
c lw 38382
c lw 38399
c lw 38405
c lw 38407
c lw 38424
c lw 38428
c lw 38958
c lw 39123
c lw 39129
c lw 39133
c lw 39146
c lw 39148
c lw 39152
c lw 39153
c lw 39162
c lw 39165
c lw 39169
c lw 39171
c lw 39175
c lw 39182
c lw 39185
c lw 39191
c lw 39194
c lw 39195
c lw 39197
c lw 39198
c lw 39208
c lw 39210
c lw 39216
c lw 39224
c lw 39226
c lw 39234
c lw 39236
c lw 39250
c lw 39252
c lw 39254
c lw 39260
c lw 39263
c lw 39270
c lw 39275
c lw 39277
c lw 39288
c lw 39325
c lw 39335
c lw 39361
c lw 39367
c lw 39397
c lw 39502
c lw 39512
c lw 39514
c lw 39520
c lw 39521
c lw 39528
c lw 39530
c lw 39538
c lw 39540
c lw 39548
c lw 39651
c lw 39740
c lw 40015
c lw 40153
c lw 40154
c lw 40155
c lw 40161
c lw 40163
c lw 40169
c lw 40171
c lw 40181
c lw 40182
c lw 40186
c lw 40199
c lw 40200
c lw 40202
c lw 40206
c lw 40208
c lw 40210
c lw 40211
c lw 40212
c lw 40218
c lw 40220
c lw 40224
c lw 40226
c lw 40228
c lw 40229
c lw 40230
c lw 40231
c lw 40236
c lw 40244
c lw 40247
c lw 40248
c lw 40249
c lw 40250
c lw 40251
c lw 40253
c lw 40255
c lw 40256
c lw 40257
c lw 40261
c lw 40263
c lw 40265
c lw 40269
c lw 40270
c lw 40271
c lw 40275
c lw 40276
c lw 40277
c lw 40285
c lw 40289
c lw 40290
c lw 41364
c lw 41410
c lw 41649
c lw 41754
c lw 41820
c lw 42052
c lw 42083
c lw 42150
c lw 42270
c lw 42310
c lw 42311
c lw 42312
c lw 42313
c lw 42314
c lw 42315
c lw 42316
c lw 42318
c lw 42319
c lw 42321
c lw 42323
c lw 42324
c lw 42325
c lw 42326
c lw 42327
c lw 42328
c lw 42329
c lw 42330
c lw 42331
c lw 42488
c lw 42542
c lw 42673
c lw 42675
c lw 42676
c lw 42677
c lw 42678
c lw 42679
c lw 42681
c lw 42682
c lw 42683
c lw 42686
c lw 42690
c lw 42691
c lw 42693
c lw 42695
c lw 42696
c lw 42697
c lw 42698
c lw 42700
c lw 42701
c lw 42702
c lw 42703
c lw 42704
c lw 42705
c lw 42706
c lw 42708
c lw 42709
c lw 42710
c lw 42711
c lw 42712
c lw 42713
c lw 42714
c lw 42718
c lw 42719
c lw 42720
c lw 42721
c lw 42722
c lw 42723
c lw 42724
c lw 42727
c lw 42728
c lw 42729
c lw 42730
c lw 42731
c lw 42732
c lw 42733
c lw 42734
c lw 42735
c lw 42736
c lw 42737
c lw 42738
c lw 42739
c lw 42740
c lw 42763
c lw 42775
c lw 42788
c lw 42796
c lw 42809
c lw 42814
c lw 43025
c lw 43043
c lw 43059
c lw 43075
c lw 43129
c lw 43160
c lw 43260
c lw 43300
c lw 43310
c lw 43324
c lw 43328
c lw 43364
c lw 43367
c lw 43371
c lw 43392
c lw 43398
c lw 43418
c lw 43437
c lw 43446
c lw 43467
c lw 43477
c lw 43496
c lw 43499
c lw 43504
c lw 43524
c lw 43548
c lw 43553
c lw 43556
c lw 43571
c lw 43578
c lw 43583
c lw 43591
c lw 43598
c lw 43599
c lw 43783
c lw 43820
c lw 43885
c lw 44133
c lw 44151
c lw 44215
c lw 44329
c lw 44451
c lw 44453
c lw 44456
c lw 44458
c lw 44461
c lw 44481
c lw 44505
c lw 44510
c lw 44513
c lw 44528
c lw 44548
c lw 44630
c lw 44665
c lw 44674
c lw 44705
c lw 44717
c lw 44723
c lw 44778
c lw 44781
c lw 44785
c lw 44787
c lw 44795
c lw 44802
c lw 44857
c lw 44859
c lw 44863
c lw 44869
c lw 44929
c lw 44940
c lw 44949
c lw 45002
c lw 45003
c lw 45004
c lw 45005
c lw 45006
c lw 45007
c lw 45008
c lw 45009
c lw 45010
c lw 45011
c lw 45012