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_min-enc_warehouses_cap101.wcsp.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/min-enc/warehouses/cap101.wcsp.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 38471
c lw 41829
c lw 43745
c lw 47815
c lw 50388
c lw 52195
c lw 69986
c lw 70584
c lw 72553
c lw 74086
c lw 74858
c lw 75163
c lw 124303
c lw 166639
c lw 173443
c lw 295277
c lw 325359
c lw 345080
c lw 370277
c lw 379360
c lw 379832
c lw 380429
c lw 380894
c lw 381359
c lw 381607
c lw 445822
c lw 451272
c lw 451901
c lw 736893
c lw 811893
c lw 875599
c lw 900510
c lw 921745
c lw 933180
c lw 939306
c lw 949808
c lw 950872
c lw 951425
c lw 952060
c lw 952555
c lw 953050
c lw 953265
c lw 958729
c lw 960953
c lw 961593
c lw 961961
c lw 962425
c lw 962553
c lw 1088938
c lw 1161923
c lw 1174240
c lw 1186557
c lw 1238416
c lw 1274620
c lw 1294157
c lw 1297517
c lw 1298965
c lw 1372073
c lw 1410664
c lw 1418275
c lw 1424655
c lw 1426731
c lw 1434044
c lw 1515401
c lw 1560239
c lw 1568933
c lw 1594358
c lw 1708589
c lw 1766028
c lw 1793984
c lw 1801448
c lw 1856121
c lw 1861175
c lw 1863056
c lw 1974724
c lw 2012250
c lw 2061080
c lw 2076053
c lw 2128759
c lw 2157046
c lw 2159770
c lw 2189299
c lw 2192459
c lw 3432971
c lw 3507971
c lw 3523982
c lw 3553564
c lw 3575194
c lw 3583147
c lw 3663646
c lw 3707948
c lw 3740807
c lw 3744879
c lw 3745225
c lw 3769214
c lw 3842680
c lw 3878728
c lw 3896906
c lw 5205860
c lw 5280860
c lw 5329772
c lw 5371313
c lw 5701244
c lw 5731326
c lw 5833953
c lw 5877630
c lw 6114598
c lw 6181485
c lw 6189598
c lw 6225965
c lw 6276395
c lw 6324992
c lw 6405974
c lw 6461266
c lw 6519016
c lw 6540122
c lw 6633434
c lw 7313857
c lw 7388857
c lw 7601885
c lw 7683608
c lw 7701168
c lw 7820667
c lw 7846807
c lw 7852933
c lw 7862463
c lw 7866485
c lw 7869287
c lw 7869776
c lw 7871852
c lw 7874162
c lw 7877077
c lw 7878232
c lw 7878360
c lw 7878824
c lw 7879039
c lw 7879534
c lw 7879782
c lw 7880247
c lw 7880552
c lw 7881324
c lw 7881482
c lw 7885938
c lw 7898648
c lw 7900023
c lw 7900481
c lw 7901830
c lw 7904403
c lw 7905790
c lw 7907915
c lw 7908473
c lw 7916504
c lw 7936225
c lw 7943440
c lw 7945345
c lw 7945473
c lw 7945937
c lw 7946305
c lw 7946520
c lw 7946768
c lw 7946824
c lw 7947073
c lw 7947464
c lw 7947531
c lw 7947959
c lw 7948026
c lw 7948424
c lw 7948491
c lw 7951042
c lw 7951200
c lw 7951972
c lw 7952891
c lw 7954545
c lw 7954860
c lw 7954866
c lw 7955040
c lw 7955516
c lw 7956241
c lw 7956870
c lw 7957835
c lw 7957987
c lw 7958998
c lw 7959043
c lw 7959140
c lw 7959456
c lw 7960014
c lw 7960259
c lw 7960843
c lw 7961368
c lw 7961978
c lw 7962139
c lw 7962170
c lw 7963030
c lw 7963065
c lw 7964970
c lw 7964976
c lw 7965067
c lw 7965275
c lw 7965338
c lw 7965523
c lw 7965729
c lw 7965738
c lw 7965796
c lw 7965841
c lw 7965889
c lw 7965948
c lw 7966202
c lw 7966289
c lw 7966330
c lw 7966336
c lw 7966354
c lw 7966371
c lw 7966375
c lw 7966391
c lw 7966421
c lw 7966427
c lw 7966431
c lw 7966444
c lw 7966445
c lw 7966448
c lw 7966449
c lw 7966450
c lw 7966451
c lw 7966452
c lw 7966453
c lw 7966461
c lw 7966462
c lw 7966463
c lw 7966464
c lw 7966465
c lw 7966466
c lw 7966467
c lw 7966468