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_cap102.wcsp.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/min-enc/warehouses/cap102.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 371486
c lw 374160
c lw 383686
c lw 386193
c lw 404409
c lw 413492
c lw 413964
c lw 414561
c lw 415026
c lw 415491
c lw 415739
c lw 479954
c lw 485404
c lw 486033
c lw 771025
c lw 861974
c lw 889229
c lw 896025
c lw 959731
c lw 984642
c lw 1005877
c lw 1017312
c lw 1023438
c lw 1033940
c lw 1035004
c lw 1035557
c lw 1036192
c lw 1036687
c lw 1037182
c lw 1037397
c lw 1042861
c lw 1045085
c lw 1045725
c lw 1046093
c lw 1046557
c lw 1046685
c lw 1173070
c lw 1296055
c lw 1308372
c lw 1320689
c lw 1372548
c lw 1424408
c lw 1443945
c lw 1447305
c lw 1448753
c lw 1521861
c lw 1560452
c lw 1568063
c lw 1574443
c lw 1576519
c lw 1592509
c lw 1594969
c lw 1676326
c lw 1721164
c lw 1740763
c lw 1752607
c lw 1778032
c lw 1892263
c lw 1999702
c lw 2027658
c lw 2035122
c lw 2089795
c lw 2093817
c lw 2098838
c lw 2100593
c lw 2102080
c lw 2102421
c lw 2107662
c lw 2112716
c lw 2114597
c lw 2226265
c lw 2263791
c lw 2274383
c lw 2284787
c lw 2333617
c lw 2352769
c lw 2355847
c lw 2408553
c lw 2436840
c lw 2441833
c lw 2471362
c lw 2474522
c lw 3715034
c lw 3840034
c lw 3856045
c lw 3885627
c lw 3907257
c lw 3915210
c lw 3995709
c lw 4040011
c lw 4071196
c lw 4076208
c lw 4109067
c lw 4113139
c lw 4113485
c lw 4120031
c lw 4144020
c lw 4217486
c lw 4253534
c lw 4278536
c lw 5587490
c lw 5645516
c lw 5694428
c lw 5735969
c lw 6065900
c lw 6105054
c lw 6207681
c lw 6255814
c lw 6259909
c lw 6496877
c lw 6563764
c lw 6600512
c lw 6603420
c lw 6621847
c lw 6658214
c lw 6670924
c lw 6671826
c lw 6722256
c lw 6772686
c lw 6853668
c lw 6908960
c lw 6966710
c lw 6987816
c lw 7081128
c lw 7761551
c lw 7865216
c lw 8078244
c lw 8078274
c lw 8159997
c lw 8177557
c lw 8297056
c lw 8299312
c lw 8325452
c lw 8329069
c lw 8330693
c lw 8331034
c lw 8332521
c lw 8334276
c lw 8339297
c lw 8341300
c lw 8341757
c lw 8346175
c lw 8348980
c lw 8349108
c lw 8349572
c lw 8349787
c lw 8350282
c lw 8350530
c lw 8350995
c lw 8357791
c lw 8376007
c lw 8378514
c lw 8388040
c lw 8390714
c lw 8396840
c lw 8397129
c lw 8399629
c lw 8399934
c lw 8401741
c lw 8401754
c lw 8404314
c lw 8408384
c lw 8418991
c lw 8426811
c lw 8429719
c lw 8442621
c lw 8449836
c lw 8450213
c lw 8451746
c lw 8452518
c lw 8453551
c lw 8454562
c lw 8460083
c lw 8463245
c lw 8464158
c lw 8464683
c lw 8482374
c lw 8484881
c lw 8494407
c lw 8497081
c lw 8505353
c lw 8506614
c lw 8506742
c lw 8506905
c lw 8507206
c lw 8507384
c lw 8507421
c lw 8507669
c lw 8508675
c lw 8508981
c lw 8509353
c lw 8510125
c lw 8510605
c lw 8511175
c lw 8511656
c lw 8511658
c lw 8511821
c lw 8511829
c lw 8511949
c lw 8511997
c lw 8512177
c lw 8512483
c lw 8513489
c lw 8513667
c lw 8513968
c lw 8514216
c lw 8514222
c lw 8514253
c lw 8514828
c lw 8515851
c lw 8515928
c lw 8516084
c lw 8516308
c lw 8516458
c lw 8517475
c lw 8517545
c lw 8517850
c lw 8517983
c lw 8518323
c lw 8519430
c lw 8520684
c lw 8523191
c lw 8523456
c lw 8524241
c lw 8524517
c lw 8524662
c lw 8524782
c lw 8524894
c lw 8525042
c lw 8525187
c lw 8527289
c lw 8527482
c lw 8528205
c lw 8528470
c lw 8530977
c lw 8532231
c lw 8534693
c lw 8535754
c lw 8535866
c lw 8536960
c lw 8537208
c lw 8537245
c lw 8537332
c lw 8537423
c lw 8537724
c lw 8537887
c lw 8537993
c lw 8538015
c lw 8538104
c lw 8538220
c lw 8538584
c lw 8538585
c lw 8538586
c lw 8538622
c lw 8538666
c lw 8538822
c lw 8538899
c lw 8539004
c lw 8539009
c lw 8539065
c lw 8539248
c lw 8539328
c lw 8539334
c lw 8539664
c lw 8539673
c lw 8539686
c lw 8539799
c lw 8539837
c lw 8539992
c lw 8540058
c lw 8540062
c lw 8540197
c lw 8540201
c lw 8540209
c lw 8540229
c lw 8540251
c lw 8540294
c lw 8540299
c lw 8540364
c lw 8540419
c lw 8540427
c lw 8540470
c lw 8540515
c lw 8540590
c lw 8540705
c lw 8540763
c lw 8540764
c lw 8540793
c lw 8540817
c lw 8540932
c lw 8541133
c lw 8541138
c lw 8541213
c lw 8541266
c lw 8541348
c lw 8541352
c lw 8541362
c lw 8541418
c lw 8541428
c lw 8541571
c lw 8541847
c lw 8541860
c lw 8542175
c lw 8542294
c lw 8542320
c lw 8542487
c lw 8542570
c lw 8542632
c lw 8542777
c lw 8543079
c lw 8543693
c lw 8546018
c lw 8546020
c lw 8546040
c lw 8546058
c lw 8546059
c lw 8546060
c lw 8546129
c lw 8546171
c lw 8546176
c lw 8546184
c lw 8546193
c lw 8546212
c lw 8546214
c lw 8546221
c lw 8546239
c lw 8546244
c lw 8546298
c lw 8546463
c lw 8546498
c lw 8546516
c lw 8546517
c lw 8546518
c lw 8546520
c lw 8546523
c lw 8546529
c lw 8546538
c lw 8546540
c lw 8546542
c lw 8546543
c lw 8546545
c lw 8546548
c lw 8546549
c lw 8546551
c lw 8546560
c lw 8546564
c lw 8546566
c lw 8546570
c lw 8546572
c lw 8546573
c lw 8546574
c lw 8546576
c lw 8546582
c lw 8546584
c lw 8546586
c lw 8546587
c lw 8546588
c lw 8546589
c lw 8546590
c lw 8546591
c lw 8546592
c lw 8546593
c lw 8546594
c lw 8546597
c lw 8546598
c lw 8546599
c lw 8546600
c lw 8546601
c lw 8546602
c lw 8546603
c lw 8546604
c lw 8546605
c lw 8546606
c lw 8546607
c lw 8546608
c lw 8546609
c lw 8546610
c lw 8546611
c lw 8546612
c lw 8546666
c lw 8546667
c lw 8546668
c lw 8546669
c lw 8546670
c lw 8546671
c lw 8546672
c lw 8546673
c lw 8546674
c lw 8546675
c lw 8546676
c lw 8546677
c lw 8546678
c lw 8546679
c lw 8546680
c lw 8546681
c lw 8546682
c lw 8546683
c lw 8546684
c lw 8546685
c lw 8546686
c lw 8546687
c lw 8546688
c lw 8546689
c lw 8546690
c lw 8546691
c lw 8546692
c lw 8546693
c lw 8546694
c lw 8546695
c lw 8546696
c lw 8546697
c lw 8546698
c lw 8546699
c lw 8546700
c lw 8546701
c lw 8546702
c lw 8546703
c lw 8546704
c lw 8546705
c lw 8546706
c lw 8546707
c lw 8546708
c lw 8546709
c lw 8546710
c lw 8546711
c lw 8546712
c lw 8546713
c lw 8546714
c lw 8546715
c lw 8546716
c lw 8546717
c lw 8546718
c lw 8546719
c lw 8546720
c lw 8546721
c lw 8546722
c lw 8546723
c lw 8546724
c lw 8546725
c lw 8546726
c lw 8546727
c lw 8546728
c lw 8546730
c lw 8546731
c lw 8546732
c lw 8546733
c lw 8546734
c lw 8546735
c lw 8546736
c lw 8546737
c lw 8546738
c lw 8546739
c lw 8546740
c lw 8546741
c lw 8546742
c lw 8546743
c lw 8546744
c lw 8546745
c lw 8546746
c lw 8546747
c lw 8546748
c lw 8546749
c lw 8546750
c lw 8546751
c lw 8546752
c lw 8546753
c lw 8546754
c lw 8546755
c lw 8546756
c lw 8546757
c lw 8546760
c lw 8546761
c lw 8546785
c lw 8546786
c lw 8546787
c lw 8546788
c lw 8546789
c lw 8546790
c lw 8546791
Killed
1814.265u 5.498s 30:20.42 99.9%	0+0k 0+0io 0pf+0w