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_cap121.wcsp.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/min-enc/warehouses/cap121.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 344654
c lw 350319
c lw 352799
c lw 353039
c lw 353415
c lw 353737
c lw 354132
c lw 354147
c lw 354209
c lw 354806
c lw 354822
c lw 355271
c lw 355736
c lw 355984
c lw 391131
c lw 405455
c lw 418522
c lw 418592
c lw 420199
c lw 425649
c lw 426278
c lw 711270
c lw 786270
c lw 849976
c lw 874887
c lw 896122
c lw 907557
c lw 913683
c lw 920662
c lw 921660
c lw 924185
c lw 924300
c lw 924940
c lw 924956
c lw 925249
c lw 925719
c lw 925736
c lw 925802
c lw 926437
c lw 926932
c lw 927279
c lw 927427
c lw 927642
c lw 932286
c lw 933106
c lw 934314
c lw 935026
c lw 935330
c lw 935970
c lw 936014
c lw 936338
c lw 936434
c lw 936802
c lw 936930
c lw 1063315
c lw 1136300
c lw 1148617
c lw 1160934
c lw 1212793
c lw 1248997
c lw 1261169
c lw 1266407
c lw 1268534
c lw 1271751
c lw 1271894
c lw 1272520
c lw 1273003
c lw 1273342
c lw 1346450
c lw 1369743
c lw 1385041
c lw 1391498
c lw 1392652
c lw 1399032
c lw 1401108
c lw 1404490
c lw 1406950
c lw 1411409
c lw 1413177
c lw 1414253
c lw 1416871
c lw 1498228
c lw 1513667
c lw 1538836
c lw 1543066
c lw 1549481
c lw 1551385
c lw 1556884
c lw 1562665
c lw 1565484
c lw 1580795
c lw 1590909
c lw 1705140
c lw 1762579
c lw 1783198
c lw 1790535
c lw 1797999
c lw 1834561
c lw 1845189
c lw 1845384
c lw 1849288
c lw 1850438
c lw 1850941
c lw 1852319
c lw 1963987
c lw 2001513
c lw 2037043
c lw 2048671
c lw 2050343
c lw 2053915
c lw 2057829
c lw 2061249
c lw 2061763
c lw 2114469
c lw 2133672
c lw 2150016
c lw 2161685
c lw 2163201
c lw 2164423
c lw 2166361
c lw 3406873
c lw 3481873
c lw 3489878
c lw 3497884
c lw 3527466
c lw 3544638
c lw 3549096
c lw 3550361
c lw 3557049
c lw 3637548
c lw 3660194
c lw 3679128
c lw 3681850
c lw 3685403
c lw 3707607
c lw 3715288
c lw 3727282
c lw 3730989
c lw 3804455
c lw 3820809
c lw 3834852
c lw 5143806
c lw 5218806
c lw 5250574
c lw 5262071
c lw 5267718
c lw 5297638
c lw 5305782
c lw 5309259
c lw 5639190
c lw 5675623
c lw 5778250
c lw 5826383
c lw 6040262
c lw 6063351
c lw 6068814
c lw 6103271
c lw 6115262
c lw 6143552
c lw 6151629
c lw 6156303
c lw 6206733
c lw 6251165
c lw 6332147
c lw 6384646
c lw 6387439
c lw 6445189
c lw 6463029
c lw 6466295
c lw 6539045
c lw 6559607
c lw 7240030
c lw 7315030
c lw 7528058
c lw 7551147
c lw 7607063
c lw 7617913
c lw 7624629
c lw 7632870
c lw 7643741
c lw 7645879
c lw 7648550
c lw 7648599
c lw 7768098
c lw 7769775
c lw 7789782
c lw 7795915
c lw 7797593
c lw 7797746
c lw 7804424
c lw 7805034
c lw 7808720
c lw 7810034
c lw 7810582
c lw 7816708
c lw 7826238
c lw 7828856
c lw 7829932
c lw 7831700
c lw 7835322
c lw 7835836
c lw 7837586
c lw 7838296
c lw 7840204
c lw 7841242
c lw 7841406
c lw 7842079
c lw 7842117
c lw 7842456
c lw 7843085
c lw 7845874
c lw 7846545
c lw 7846786
c lw 7848334
c lw 7851716
c lw 7853792
c lw 7854106
c lw 7856001
c lw 7856129
c lw 7856497
c lw 7856593
c lw 7856808
c lw 7857056
c lw 7857165
c lw 7857361
c lw 7858133
c lw 7858538
c lw 7861357
c lw 7861681
c lw 7861725
c lw 7861873
c lw 7862220
c lw 7862685
c lw 7862959
c lw 7881805
c lw 7882144
c lw 7887072
c lw 7887250
c lw 7891423
c lw 7902459
c lw 7902655
c lw 7902764
c lw 7903224
c lw 7904568
c lw 7904615
c lw 7904625
c lw 7904789
c lw 7905462
c lw 7905663
c lw 7905701
c lw 7906481
c lw 7907571
c lw 7908281
c lw 7908409
c lw 7908429
c lw 7908776
c lw 7908777
c lw 7908873
c lw 7909088
c lw 7909241
c lw 7909336
c lw 7909374
c lw 7909419
c lw 7909420
c lw 7909701
c lw 7909810
c lw 7910006
c lw 7910759
c lw 7911142
c lw 7911255
c lw 7911434
c lw 7912060
c lw 7912198
c lw 7912384
c lw 7912425
c lw 7912428
c lw 7912490
c lw 7912920
c lw 7913299
c lw 7914085
c lw 7914106
c lw 7914347
c lw 7915350
c lw 7915657
c lw 7915835
c lw 7916408
c lw 7916489
c lw 7916510
c lw 7916649
c lw 7916921
c lw 7917320
c lw 7917703
c lw 7917705
c lw 7917981
c lw 7918343
c lw 7918456
c lw 7918544
c lw 7918621
c lw 7918652
c lw 7918689
c lw 7918727
c lw 7918868
c lw 7919705
c lw 7919765
c lw 7920072
c lw 7920654
c lw 7920716
c lw 7921238
c lw 7921363
c lw 7921384
c lw 7921417
c lw 7921742
c lw 7922170
c lw 7922172
c lw 7922232
c lw 7922235
c lw 7922276
c lw 7922345
c lw 7922392
c lw 7922430
c lw 7922442
c lw 7922462
c lw 7922581
c lw 7922600
c lw 7922602
c lw 7922683
c lw 7922720
c lw 7922751
c lw 7922755
c lw 7922828
c lw 7922916
c lw 7922925
c lw 7923264
c lw 7926435
c lw 7927098
c lw 7927189
c lw 7927202
c lw 7927255
c lw 7927313
c lw 7927330
c lw 7927367
c lw 7927374
c lw 7927376
c lw 7927398
c lw 7927434
c lw 7927451
c lw 7927460
c lw 7927638
c lw 7927676
c lw 7927701
c lw 7927729
c lw 7927742
c lw 7927770
c lw 7927779
c lw 7927787
c lw 7927788
c lw 7927810
c lw 7927814
c lw 7927822
c lw 7927833
c lw 7927891
c lw 7927906
c lw 7927964
c lw 7927980
c lw 7927994
c lw 7927995
c lw 7928055
c lw 7928084
c lw 7928100
c lw 7928107
c lw 7928173
c lw 7928235
c lw 7928286
c lw 7928301
c lw 7928360
c lw 7928403
c lw 7928429
c lw 7928430
c lw 7928482
c lw 7928526
c lw 7928637
c lw 7928639
c lw 7928669
c lw 7928681
c lw 7928730
c lw 7928741
c lw 7928754
c lw 7928794
c lw 7928801
c lw 7928813
c lw 7928894
c lw 7928932
c lw 7928939
c lw 7928941
c lw 7928947
c lw 7928948
c lw 7928959
c lw 7928969
c lw 7928973
c lw 7928974
c lw 7928976
c lw 7928981
c lw 7928990
c lw 7928997
c lw 7928999
c lw 7929000
c lw 7929003
c lw 7929019
c lw 7929050
c lw 7929054
c lw 7929057
c lw 7929070
c lw 7929071
c lw 7929075
c lw 7929077
c lw 7929082
c lw 7929087
c lw 7929089
c lw 7929090
c lw 7929094
c lw 7929097
c lw 7929101
c lw 7929103
c lw 7929106
c lw 7929118
c lw 7929134
c lw 7929158
c lw 7929171
c lw 7929175
c lw 7929183
c lw 7929185
c lw 7929248
c lw 7929310
c lw 7929351
c lw 7929386
c lw 7929390
c lw 7929393
c lw 7929399
c lw 7929402
c lw 7929403
c lw 7929406
c lw 7929426
c lw 7929437
c lw 7929440
c lw 7929443
c lw 7929453
c lw 7929456
c lw 7929457
c lw 7929459
c lw 7929466
c lw 7929475
c lw 7929480
c lw 7929482
c lw 7929502
c lw 7929506
c lw 7929509
c lw 7929510
c lw 7929511
c lw 7929512
c lw 7929513
c lw 7929514
c lw 7929515
c lw 7929516
c lw 7929517
c lw 7929521
c lw 7929523
c lw 7929529
c lw 7929530
c lw 7929532
c lw 7929534
c lw 7929538
c lw 7929540
c lw 7929544
c lw 7929546
c lw 7929549
c lw 7929551
c lw 7929552
c lw 7929554
c lw 7929555
c lw 7929557
c lw 7929560
c lw 7929561
c lw 7929562
c lw 7929567
c lw 7929569
c lw 7929570
c lw 7929571
c lw 7929572
c lw 7929575
c lw 7929576
c lw 7929577
c lw 7929578
c lw 7929580
c lw 7929581
c lw 7929582
c lw 7929583
c lw 7929585
c lw 7929586
c lw 7929588
c lw 7929589
c lw 7929590
c lw 7929591
c lw 7929592
c lw 7929593
c lw 7929596
c lw 7929598
c lw 7929599
c lw 7929602
c lw 7929603
c lw 7929604
c lw 7929609
c lw 7929610
c lw 7929613
c lw 7929615
c lw 7929616
c lw 7929617
c lw 7929618
c lw 7929619
c lw 7929621
c lw 7929625
c lw 7929629
c lw 7929631
c lw 7929633
c lw 7929637
c lw 7929638
c lw 7929639
c lw 7929640
c lw 7929641
c lw 7929642
c lw 7929643
c lw 7929644
c lw 7929652
c lw 7929653
c lw 7929661
c lw 7929666
c lw 7929669
c lw 7929670
c lw 7929671
c lw 7929672
c lw 7929673
c lw 7929674
c lw 7929675
c lw 7929676
c lw 7929677
c lw 7929689
c lw 7929690
c lw 7929691
c lw 7929711
c lw 7929713
c lw 7929715
c lw 7929720
c lw 7929739
c lw 7929745
c lw 7929749
c lw 7929750
c lw 7929751
c lw 7929753
c lw 7929755
c lw 7929757
c lw 7929758
c lw 7929760
c lw 7929762
c lw 7929764
c lw 7929765
c lw 7929769
c lw 7929774
c lw 7929781
c lw 7929798
c lw 7929800
c lw 7929802
c lw 7929806
c lw 7929809
c lw 7929813
c lw 7929815
c lw 7929816
c lw 7929818
c lw 7929830
c lw 7929831
c lw 7929832
c lw 7929833
c lw 7929834
c lw 7929837
c lw 7929838
c lw 7929839
c lw 7929840
c lw 7929841
c lw 7929844
c lw 7929845
c lw 7929846
c lw 7929849
c lw 7929850
c lw 7929853
c lw 7929854
c lw 7929864
c lw 7929868
c lw 7929869
c lw 7929871
c lw 7929872
c lw 7929873
c lw 7929874
c lw 7929875
c lw 7929879
c lw 7929880
c lw 7929881
c lw 7929883
c lw 7929884
c lw 7929885
c lw 7929887
c lw 7929888
c lw 7929889
c lw 7929896
c lw 7929897
c lw 7929898
c lw 7929911
c lw 7929923
c lw 7929928
c lw 7929934
c lw 7929947
c lw 7929954
c lw 7929962
c lw 7929998
c lw 7929999
c lw 7930000
c lw 7930001
c lw 7930002
c lw 7930003
c lw 7930004
c lw 7930005
c lw 7930006
c lw 7930007
c lw 7930008
c lw 7930009
c lw 7930010
c lw 7930011
c lw 7930012
c lw 7930013
c lw 7930014
c lw 7930015
c lw 7930016
c lw 7930017
c lw 7930018
c lw 7930019
c lw 7930020
c lw 7930021
c lw 7930022
c lw 7930023
c lw 7930024
c lw 7930025
c lw 7930027
c lw 7930028
c lw 7930029
c lw 7930030
c lw 7930032
c lw 7930033
c lw 7930034
c lw 7930036
c lw 7930038
c lw 7930039
c lw 7930040
c lw 7930044
c lw 7930045
c lw 7930049
c lw 7930050
c lw 7930051
c lw 7930052
c lw 7930054
c lw 7930055
c lw 7930057
c lw 7930058
c lw 7930059
c lw 7930061
c lw 7930062
c lw 7930063
c lw 7930064
c lw 7930065
c lw 7930066
c lw 7930067
c lw 7930068
c lw 7930069
c lw 7930070
c lw 7930071
c lw 7930072
c lw 7930073
c lw 7930074
c lw 7930075
c lw 7930076
c lw 7930077
c lw 7930079
c lw 7930081
c lw 7930082
c lw 7930083
c lw 7930084
c lw 7930085
c lw 7930086
c lw 7930087
c lw 7930088
c lw 7930089
c lw 7930090
c lw 7930091
c lw 7930092
c lw 7930093
c lw 7930094
c lw 7930095
c lw 7930096
c lw 7930097
c lw 7930098
c lw 7930099
c lw 7930100
c lw 7930101
c lw 7930102
c lw 7930103
c lw 7930104
c lw 7930105
c lw 7930106
c lw 7930107
c lw 7930108
c lw 7930109
c lw 7930110
c lw 7930112
c lw 7930113
c lw 7930114
c lw 7930115
c lw 7930116
c lw 7930117
c lw 7930118
c lw 7930119
c lw 7930120
c lw 7930121
c lw 7930122
c lw 7930123
c lw 7930124
c lw 7930125
c lw 7930126
c lw 7930127
c lw 7930128
c lw 7930129
c lw 7930130
c lw 7930131
c lw 7930132
c lw 7930133
c lw 7930134
c lw 7930135
c lw 7930136
c lw 7930137
c lw 7930138
c lw 7930139
c lw 7930140
c lw 7930141
c lw 7930142
c lw 7930143
c lw 7930144
c lw 7930146
c lw 7930148
c lw 7930150
c lw 7930151
c lw 7930152
c lw 7930153
c lw 7930154
c lw 7930155
c lw 7930156
c lw 7930157
c lw 7930158
c lw 7930159
c lw 7930160
c lw 7930161
c lw 7930162
c lw 7930163
c lw 7930164
c lw 7930165
c lw 7930166
c lw 7930167
c lw 7930168
c lw 7930169
c lw 7930170
c lw 7930171
c lw 7930172
c lw 7930173
c lw 7930174
c lw 7930175
c lw 7930176
c lw 7930177
c lw 7930178
c lw 7930179
c lw 7930180
c lw 7930181
c lw 7930182
c lw 7930183
c lw 7930184
c lw 7930185
c lw 7930186
c lw 7930187
c lw 7930188
c lw 7930189
c lw 7930190
c lw 7930191
c lw 7930192
c lw 7930193
c lw 7930194
c lw 7930195
c lw 7930196
c lw 7930197
c lw 7930198
c lw 7930199
c lw 7930200
c lw 7930201
c lw 7930202
c lw 7930203
c lw 7930204
c lw 7930205
c lw 7930206
c lw 7930207
c lw 7930208
c lw 7930209
c lw 7930210
c lw 7930211
c lw 7930212
c lw 7930213
c lw 7930214
c lw 7930215
c lw 7930216
c lw 7930217
c lw 7930218
c lw 7930219
c lw 7930220
c lw 7930221
c lw 7930222
c lw 7930223
c lw 7930224
c lw 7930225
c lw 7930226
c lw 7930227
c lw 7930228
c lw 7930229
c lw 7930230
c lw 7930231
c lw 7930232
c lw 7930233
c lw 7930234
c lw 7930235
c lw 7930236
c lw 7930237
c lw 7930238
c lw 7930239
c lw 7930240
Killed
1776.687u 43.059s 30:20.68 99.9%	0+0k 0+0io 0pf+0w