Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_min-enc_warehouses_cap131.wcsp.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/min-enc/warehouses/cap131.wcsp.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 17213362
o 17202637
o 17174703
o 17150860
o 17144194
o 17135945
o 17127842
o 17123476
o 17115227
o 17104502
o 17096399
o 17084316
o 17073591
o 17064631
o 17053906
o 17045657
o 17037554
o 17030888
o 17030742
o 17022639
o 17017868
o 16995981
o 16987732
o 16981066
o 16972817
o 16970341
o 16962092
o 16953989
o 16949218
o 16924356
o 16809150
o 16777707
o 16753864
o 16747198
o 16738949
o 16712196
o 16703947
o 16688353
o 16680104
o 16673438
o 16665189
o 16661329
o 16653080
o 16637486
o 16629237
o 16618512
o 16610409
o 16605638
o 16601554
o 16594063
o 16585814
o 16577711
o 16575502
o 16573026
o 16564777
o 16556674
o 16549862
o 16541759
o 16536988
o 16531020
o 16530874
o 16522771
o 16518000
o 16493978
o 16485875
o 16477857
o 16458026
o 16449923
o 16443111
o 16435008
o 16434183
o 16426080
o 16419268
o 16411165
o 16408543
o 16400440
o 16392191
o 16374461
o 16350618
o 16339893
o 16331644
o 16323541
o 16318770
o 16312802
o 16312656
o 16304553
o 16299782
o 16297500
o 16292729
o 16286615
o 16278512
o 16273741
o 16270343
o 16265572
o 16259458
o 16251355
o 16246584
o 16244302
o 16239531
o 16233417
o 16225314
o 16220543
o 16216843
o 16209542
o 16202489
o 16198416
o 16191604
o 16183501
o 16178730
o 16175030
o 16167259
o 16152344
o 16152198
o 16144095
o 16140089
o 16131986
o 16124495
o 16116246
o 16108143
o 16098454
o 16090205
o 16082102
o 16071297
o 16063194
o 16063048
o 16054945
o 16052747
o 16051922
o 16037007
o 16028904
o 16026268
o 16018165
o 16018019
o 16009916
o 16005145
o 16001445
o 15994758
o 15986509
o 15981593
o 15966678
o 15958575
o 15951362
o 15943259
o 15940783
o 15940637
o 15932534
o 15924493
o 15921871
o 15913768
o 15908899
o 15908753
o 15900650
o 15898174
o 15898028
o 15889925
o 15887727
o 15882858
o 15882712
o 15874609
o 15872133
o 15871987
o 15863884
o 15859113
o 15855621
o 15852999
o 15844896
o 15840125
o 15836425
o 15833704
o 15818789
o 15810686
o 15805915
o 15799801
o 15791698
o 15786927
o 15783227
o 15777941
o 15773170
o 15769470
o 15765328
o 15763046
o 15758275
o 15754783
o 15752307
o 15752161
o 15744058
o 15739287
o 15735587
o 15716747
o 15715129
o 15691286
o 15683037
o 15674934
o 15668876
o 15660773
o 15647231
o 15647085
o 15638982
o 15632316
o 15624067
o 15613182
o 15605079
o 15598026
o 15595390
o 15587141
o 15579038
o 15574267
o 15570567
o 15566796
o 15559984
o 15551881
o 15544828
o 15542192
o 15533943
o 15525840
o 15521069
o 15517369
o 15510468
o 15510322
o 15502219
o 15499342
o 15499196
o 15491093
o 15486903
o 15484427
o 15484281
o 15476178
o 15471407
o 15467707
o 15465293
o 15457190
o 15452419
o 15448719
o 15443433
o 15438662
o 15434962
o 15431039
o 15430638
o 15415723
o 15413101
o 15404998
o 15400227
o 15396527
o 15386010
o 15381239
o 15377539
o 15371288
o 15363185
o 15358414
o 15354714
o 15352300
o 15344197
o 15339426
o 15335726
o 15332708
o 15322191
o 15317420
o 15313720
o 15311037
o 15306266
o 15302566
o 15297280
o 15292509
o 15288809
o 15285879
o 15282179
o 15275738
o 15267635
o 15262864
o 15259372
o 15256750
o 15248647
o 15243876
o 15241594
o 15236823
o 15230709
o 15222606
o 15217835
o 15214135
o 15211414
o 15203311
o 15201938
o 15196499
o 15188396
o 15182950
o 15177511
o 15169408
o 15164637
o 15160937
o 15159412
o 15144497
o 15139726
o 15136026
o 15133008
o 15122491
o 15117720
o 15114020
o 15107845
o 15103074
o 15099374
o 15094088
o 15090388
o 15089317
o 15085617
o 15082472
o 15080249
o 15076549
o 15074135
o 15066032
o 15061261
o 15057561
o 15052275
o 15047504
o 15043804
o 15037816
o 15033045
o 15026931
o 15018828
o 15014057
o 15009413
o 15004642
o 14990425
o 14985654
o 14981954
o 14979731
o 14973617
o 14965514
o 14960743
o 14957043
o 14951611
o 14943508
o 14938737
o 14935037
o 14931824
o 14931175
o 14929961
o 14922908
o 14912023
o 14903920
o 14900220
o 14899149
o 14895449
o 14887112
o 14879009
o 14875309
o 14874238
o 14870538
o 14865106
o 14857003
o 14853303
o 14852232
o 14848532
o 14845319
o 14841374
o 14833125
o 14829425
o 14828354
o 14824654
o 14821441
o 14816317
o 14808214
o 14804514
o 14803443
o 14799743
o 14796530
o 14796251
o 14793038
o 14791886
o 14787914
o 14779811
o 14776111
o 14772898
o 14771340
o 14768127
o 14766054
o 14762354
o 14759141
o 14757583
o 14754370
o 14752584
o 14751026
o 14747813
o 14741432
o 14737732
o 14734519
o 14732961
o 14729748
o 14729020
o 14725807
o 14722902
o 14716521
o 14712821
o 14709608
o 14708050
o 14704837
o 14704109
o 14700896
o 14698867
o 14695654
o 14694096
o 14690883
o 14690396
o 14687183
o 14681075
o 14672826
o 14669613
o 14668055
o 14664842
o 14664355
o 14661142
o 14659797
o 14658239
o 14655026
o 14654539
o 14651326
o 14651085
o 14650598
o 14647385
o 14643144
o 14639931
o 14639444
o 14636231
o 14634158
o 14629387
o 14626174
o 14625687
o 14622474
o 14621016
o 14620775
o 14620288
o 14617075
o 14614633
o 14613562
o 14609862
o 14606649
o 14605921
o 14602708
o 14601446
o 14591124
o 14587424
o 14586353
o 14582653
o 14579440
o 14570154
o 14565383
o 14562170
o 14561683
o 14558470
o 14558229
o 14557742
o 14554529
o 14550737
o 14547524
o 14547037
o 14543824
o 14543583
o 14543096
o 14539883
o 14537810
o 14533039
o 14529826
o 14529339
o 14526126
o 14521262
o 14516491
o 14513278
o 14512791
o 14509578
o 14507008
o 14503308
o 14499822
Killed
1979.670u 0.028s 33:09.47 99.5%	0+0k 0+0io 0pf+0w