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_cap122.wcsp.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/min-enc/warehouses/cap122.wcsp.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 26097
c lw 32923
c lw 44407
c lw 47386
c lw 48311
c lw 50714
c lw 51312
c lw 53281
c lw 54814
c lw 55586
c lw 55782
c lw 55891
c lw 105031
c lw 121579
c lw 126199
c lw 129307
c lw 144847
c lw 147367
c lw 154171
c lw 269654
c lw 276005
c lw 306087
c lw 321296
c lw 325808
c lw 352214
c lw 354888
c lw 364414
c lw 366921
c lw 385137
c lw 390802
c lw 393282
c lw 393522
c lw 393898
c lw 394220
c lw 394615
c lw 394630
c lw 394692
c lw 395289
c lw 395305
c lw 395754
c lw 396219
c lw 396467
c lw 431614
c lw 445938
c lw 459005
c lw 459075
c lw 460682
c lw 466132
c lw 466761
c lw 751753
c lw 842702
c lw 869957
c lw 876753
c lw 940459
c lw 965370
c lw 986605
c lw 998040
c lw 1004166
c lw 1011145
c lw 1012143
c lw 1014668
c lw 1014783
c lw 1015423
c lw 1015439
c lw 1015732
c lw 1016202
c lw 1016219
c lw 1016285
c lw 1016920
c lw 1017415
c lw 1017762
c lw 1017910
c lw 1018125
c lw 1022769
c lw 1023589
c lw 1024797
c lw 1025509
c lw 1025813
c lw 1026453
c lw 1026497
c lw 1026821
c lw 1026917
c lw 1027285
c lw 1027413
c lw 1153798
c lw 1276783
c lw 1289100
c lw 1301417
c lw 1353276
c lw 1405136
c lw 1417308
c lw 1422546
c lw 1424673
c lw 1427890
c lw 1428033
c lw 1428659
c lw 1429142
c lw 1429481
c lw 1502589
c lw 1525882
c lw 1541180
c lw 1547637
c lw 1548791
c lw 1555171
c lw 1557247
c lw 1560629
c lw 1563089
c lw 1567548
c lw 1569316
c lw 1570392
c lw 1573237
c lw 1575697
c lw 1657054
c lw 1672493
c lw 1697662
c lw 1701892
c lw 1708307
c lw 1710211
c lw 1715710
c lw 1721491
c lw 1733335
c lw 1748646
c lw 1758760
c lw 1872991
c lw 1980430
c lw 2001049
c lw 2008386
c lw 2015850
c lw 2052412
c lw 2063040
c lw 2063235
c lw 2067139
c lw 2068289
c lw 2068792
c lw 2070170
c lw 2181838
c lw 2219364
c lw 2229956
c lw 2243977
c lw 2249223
c lw 2249929
c lw 2265766
c lw 2266677
c lw 2302207
c lw 2313835
c lw 2315507
c lw 2319079
c lw 2322993
c lw 2326413
c lw 2331771
c lw 2333519
c lw 2334659
c lw 2337737
c lw 2390443
c lw 2418730
c lw 2437859
c lw 2443150
c lw 2459494
c lw 2471163
c lw 2472679
c lw 2473901
c lw 2475839
c lw 3716351
c lw 3841351
c lw 3849356
c lw 3857362
c lw 3886944
c lw 3904116
c lw 3908574
c lw 3909839
c lw 3916527
c lw 3997026
c lw 4019672
c lw 4038606
c lw 4041328
c lw 4047145
c lw 4053518
c lw 4059087
c lw 4067811
c lw 4070657
c lw 4072513
c lw 4077525
c lw 4099729
c lw 4107410
c lw 4110384
c lw 4112622
c lw 4124616
c lw 4132143
c lw 4136611
c lw 4210077
c lw 4226431
c lw 4240474
c lw 5549428
c lw 5607454
c lw 5639222
c lw 5650719
c lw 5656366
c lw 5661150
c lw 5691070
c lw 5699214
c lw 5702691
c lw 6032622
c lw 6071776
c lw 6174403
c lw 6222536
c lw 6226631
c lw 6440510
c lw 6463599
c lw 6469062
c lw 6503519
c lw 6524846
c lw 6530486
c lw 6552076
c lw 6565510
c lw 6593800
c lw 6601877
c lw 6606551
c lw 6614587
c lw 6615489
c lw 6665919
c lw 6716349
c lw 6797331
c lw 6849830
c lw 6852623
c lw 6910373
c lw 6928213
c lw 6931479
c lw 6940554
c lw 6945641
c lw 6948873
c lw 6951760
c lw 6952138
c lw 6953341
c lw 7026091
c lw 7046653
c lw 7727076
c lw 7852076
c lw 8065104
c lw 8088193
c lw 8144109
c lw 8154959
c lw 8161675
c lw 8169916
c lw 8180787
c lw 8182925
c lw 8185596
c lw 8185645
c lw 8305144
c lw 8307400
c lw 8327407
c lw 8333540
c lw 8335218
c lw 8335371
c lw 8342049
c lw 8342659
c lw 8346345
c lw 8347659
c lw 8348207
c lw 8349210
c lw 8351565
c lw 8351656
c lw 8352273
c lw 8353399
c lw 8353745
c lw 8354025
c lw 8355678
c lw 8356870
c lw 8357672
c lw 8357701
c lw 8357946
c lw 8358074
c lw 8358442
c lw 8358538
c lw 8358753
c lw 8358901
c lw 8359248
c lw 8359496
c lw 8359961
c lw 8366757
c lw 8384973
c lw 8387480
c lw 8395144
c lw 8395723
c lw 8401849
c lw 8402138
c lw 8403049
c lw 8404263
c lw 8404817
c lw 8406086
c lw 8409276
c lw 8409934
c lw 8411736
c lw 8412409
c lw 8413692
c lw 8416366
c lw 8419075
c lw 8421151
c lw 8421472
c lw 8423581
c lw 8425033
c lw 8427531
c lw 8427638
c lw 8427640
c lw 8427836
c lw 8427855
c lw 8428222
c lw 8428276
c lw 8428608
c lw 8428804
c lw 8428866
c lw 8429554
c lw 8429931
c lw 8444203
c lw 8444790
c lw 8444977
c lw 8445866
c lw 8446759
c lw 8447039
c lw 8447293
c lw 8447317
c lw 8447385
c lw 8447537
c lw 8448193
c lw 8448448
c lw 8448511
c lw 8448798
c lw 8449031
c lw 8449128
c lw 8449138
c lw 8449219
c lw 8449662
c lw 8449920
c lw 8450216
c lw 8450353
c lw 8450393
c lw 8451330
c lw 8452980
c lw 8453067
c lw 8453505
c lw 8454350
c lw 8454929
c lw 8455306
c lw 8462593
c lw 8465100
c lw 8471196
c lw 8473058
c lw 8473703
c lw 8475920
c lw 8477203
c lw 8479124
c lw 8480084
c lw 8481367
c lw 8481712
c lw 8483229
c lw 8483316
c lw 8483841
c lw 8486261
c lw 8486281
c lw 8488935
c lw 8489325
c lw 8489412
c lw 8489701
c lw 8489789
c lw 8489807
c lw 8490259
c lw 8490422
c lw 8490682
c lw 8490834
c lw 8490902
c lw 8490926
c lw 8491180
c lw 8491460
c lw 8491641
c lw 8491662
c lw 8491958
c lw 8492305
c lw 8492348
c lw 8492435
c lw 8492537
c lw 8492743
c lw 8492830
c lw 8492945
c lw 8492968
c lw 8493018
c lw 8493207
c lw 8493388
c lw 8494535
c lw 8494622
c lw 8494724
c lw 8494867
c lw 8494960
c lw 8496150
c lw 8496243
c lw 8496822
c lw 8497042
c lw 8497063
c lw 8497110
c lw 8497209
c lw 8497324
c lw 8497526
c lw 8497854
c lw 8498108
c lw 8498164
c lw 8498171
c lw 8498289
c lw 8498307
c lw 8498310
c lw 8498585
c lw 8498635
c lw 8498687
c lw 8498708
c lw 8498747
c lw 8498992
c lw 8499021
c lw 8499511
c lw 8499636
c lw 8499823
c lw 8499829
c lw 8499841
c lw 8499856
c lw 8499882
c lw 8499910
c lw 8499917
c lw 8499949
c lw 8499959
c lw 8499972
c lw 8499993
c lw 8500004
c lw 8500010
c lw 8500014
c lw 8500025
c lw 8500031
c lw 8500042
c lw 8500046
c lw 8500053
c lw 8500054
c lw 8500056
c lw 8500079
c lw 8500082
c lw 8500088
c lw 8500100
c lw 8500125
c lw 8500139
c lw 8500143
c lw 8500168
c lw 8500170
c lw 8500171
c lw 8500172
c lw 8500174
c lw 8500181
c lw 8500184
c lw 8500216
c lw 8500217
c lw 8500222
c lw 8500223
c lw 8500230
c lw 8500233
c lw 8500251
c lw 8500252
c lw 8500258
c lw 8500266
c lw 8500272
c lw 8500273
c lw 8500277
c lw 8500282
c lw 8500289
c lw 8500302
c lw 8500317
c lw 8500321
c lw 8500326
c lw 8500332
c lw 8500384
c lw 8500394
c lw 8500405
c lw 8500407
c lw 8500420
c lw 8500424
c lw 8500428
c lw 8500430
c lw 8500438
c lw 8500440
c lw 8500451
c lw 8500452
c lw 8500458
c lw 8500468
c lw 8500470
c lw 8500471
c lw 8500475
c lw 8500476
c lw 8500479
c lw 8500481
c lw 8500485
c lw 8500486
c lw 8500487
c lw 8500493
c lw 8500494
c lw 8500495
c lw 8500499
c lw 8500512
c lw 8500515
c lw 8500522
c lw 8500523
c lw 8500529
c lw 8500537
c lw 8500538
c lw 8500541
c lw 8500544
c lw 8500545
c lw 8500547
c lw 8500549
c lw 8500558
c lw 8500560
c lw 8500564
c lw 8500565
c lw 8500567
c lw 8500571
c lw 8500577
c lw 8500581
c lw 8500583
c lw 8500586
c lw 8500587
c lw 8500596
c lw 8500600
c lw 8500603
c lw 8500605
c lw 8500607
c lw 8500608
c lw 8500612
c lw 8500614
c lw 8500615
c lw 8500616
c lw 8500619
c lw 8500620
c lw 8500624
c lw 8500625
c lw 8500626
c lw 8500632
c lw 8500633
c lw 8500634
c lw 8500636
c lw 8500638
c lw 8500639
c lw 8500642
c lw 8500644
c lw 8500645
c lw 8500646
c lw 8500647
c lw 8500651
c lw 8500652
c lw 8500653
c lw 8500654
c lw 8500658
c lw 8500660
c lw 8500662
c lw 8500665
c lw 8500666
c lw 8500690
c lw 8500698
c lw 8500701
c lw 8500708
c lw 8500718
c lw 8500719
c lw 8500721
c lw 8500725
c lw 8500735
c lw 8500741
c lw 8500745
c lw 8500746
c lw 8500749
c lw 8500751
c lw 8500772
c lw 8500775
c lw 8500795
c lw 8500801
c lw 8500807
c lw 8500810
c lw 8500812
c lw 8500816
c lw 8500822
c lw 8500823
c lw 8500824
c lw 8500825
c lw 8500826
c lw 8500827
c lw 8500828
c lw 8500833
c lw 8500836
c lw 8500837
c lw 8500840
c lw 8500842
c lw 8500843
c lw 8500848
c lw 8500850
c lw 8500853
c lw 8500859
c lw 8500865
c lw 8500867
c lw 8500883
c lw 8500885
c lw 8500904
c lw 8500923
c lw 8500939
c lw 8500953
c lw 8500960
c lw 8500966
c lw 8500981
c lw 8500985
c lw 8500988
c lw 8500993
c lw 8500997
c lw 8500998
c lw 8501008
c lw 8501024
c lw 8501035
c lw 8501036
c lw 8501037
c lw 8501048
c lw 8501062
c lw 8501064
c lw 8501068
c lw 8501073
c lw 8501080
c lw 8501091
c lw 8501108
c lw 8501118
c lw 8501133
c lw 8501138
c lw 8501160
c lw 8501163
c lw 8501180
c lw 8501210
c lw 8501225
c lw 8501267
c lw 8501276
c lw 8501287
c lw 8501297
c lw 8501328
c lw 8501329
c lw 8501330
c lw 8501332
c lw 8501335
c lw 8501336
c lw 8501337
c lw 8501338
c lw 8501379
c lw 8501384
c lw 8501391
c lw 8501393
c lw 8501411
c lw 8501414
c lw 8501426
c lw 8501436
c lw 8501448
c lw 8501464
c lw 8501466
c lw 8501468
c lw 8501470
c lw 8501472
c lw 8501473
c lw 8501474
c lw 8501476
c lw 8501478
c lw 8501480
c lw 8501483
c lw 8501520
c lw 8501523
c lw 8501524
c lw 8501542
c lw 8501543
c lw 8501547
c lw 8501549
c lw 8501550
c lw 8501552
c lw 8501554
c lw 8501555
c lw 8501564
c lw 8501581
c lw 8501587
c lw 8501589
c lw 8501597
c lw 8501618
c lw 8501626
c lw 8501631
c lw 8501633
c lw 8501634
c lw 8501639
c lw 8501643
c lw 8501651
c lw 8501692
c lw 8501696
c lw 8501697
c lw 8501702
c lw 8501703
c lw 8501706
c lw 8501707
c lw 8501708
c lw 8501709
c lw 8501710
c lw 8501712
c lw 8501715
c lw 8501719
c lw 8501725
c lw 8501727
c lw 8501729
c lw 8501731
c lw 8501732
c lw 8501733
c lw 8501734
c lw 8501735
Killed
1803.514u 16.228s 30:21.00 99.9%	0+0k 0+0io 0pf+0w