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_cap132.wcsp.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/min-enc/warehouses/cap132.wcsp.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 7631881
o 21200108
o 20030576
o 19941693
o 19919367
o 19902475
o 19844577
o 19805359
o 19772586
o 19755694
o 19733368
o 19716476
o 19713630
o 19673696
o 19527631
o 19487697
o 19477966
o 19438748
o 19438032
o 19398814
o 19338517
o 19299299
o 19298583
o 19276257
o 19259365
o 19248411
o 19205006
o 19165072
o 19148180
o 19125854
o 19108962
o 19105690
o 19098848
o 19097967
o 19091125
o 19083793
o 19081075
o 19074233
o 19073743
o 19066901
o 19063629
o 19056787
o 19052262
o 19042702
o 19035370
o 19028528
o 19025685
o 19017533
o 19000641
o 18993309
o 18986467
o 18983685
o 18983195
o 18976353
o 18969843
o 18963001
o 18952951
o 18946109
o 18945619
o 18938777
o 18935505
o 18928663
o 18923592
o 18923102
o 18916260
o 18913478
o 18906146
o 18900517
o 18888928
o 18868570
o 18858456
o 18851172
o 18838769
o 18828655
o 18823026
o 18811437
o 18791079
o 18780965
o 18773968
o 18763854
o 18756191
o 18735833
o 18725719
o 18714130
o 18693772
o 18683658
o 18665626
o 18655512
o 18651255
o 18643923
o 18630897
o 18623565
o 18613451
o 18588135
o 18578021
o 18546074
o 18535960
o 18510564
o 18507292
o 18500450
o 18496111
o 18495621
o 18488779
o 18482595
o 18475263
o 18468421
o 18465149
o 18458307
o 18447085
o 18439753
o 18432911
o 18429639
o 18422797
o 18422443
o 18415601
o 18414100
o 18393742
o 18383628
o 18376296
o 18369100
o 18366529
o 18353676
o 18343562
o 18343109
o 18336230
o 18329083
o 18329034
o 18325239
o 18318043
o 18316735
o 18299843
o 18289729
o 18282533
o 18279962
o 18278154
o 18276776
o 18259884
o 18249770
o 18242438
o 18235242
o 18233934
o 18217042
o 18209499
o 18206928
o 18202352
o 18199781
o 18199732
o 18196028
o 18193457
o 18191698
o 18191649
o 18191212
o 18184370
o 18183880
o 18177038
o 18173766
o 18166924
o 18165346
o 18158504
o 18157091
o 18150249
o 18150000
o 18133108
o 18122994
o 18120423
o 18115798
o 18113227
o 18112275
o 18105079
o 18102508
o 18099322
o 18082430
o 18072316
o 18071826
o 18064984
o 18057788
o 18046430
o 18039588
o 18036316
o 18029474
o 18024898
o 18024849
o 18022327
o 18022278
o 18010431
o 18009941
o 18003099
o 18000317
o 17999827
o 17992985
o 17990414
o 17985789
o 17983218
o 17979487
o 17979438
o 17976867
o 17976775
o 17969933
o 17966661
o 17959819
o 17959329
o 17952487
o 17952133
o 17945291
o 17942720
o 17938989
o 17938940
o 17936369
o 17933888
o 17931106
o 17923774
o 17916578
o 17914007
o 17910484
o 17903288
o 17900199
o 17897628
o 17886760
o 17876646
o 17871885
o 17869314
o 17864689
o 17862118
o 17861139
o 17858568
o 17857113
o 17854542
o 17850271
o 17847700
o 17846999
o 17840157
o 17837586
o 17837096
o 17830254
o 17829900
o 17825629
o 17823058
o 17819278
o 17816707
o 17813659
o 17813610
o 17811088
o 17811039
o 17807489
o 17806034
o 17799192
o 17796621
o 17795920
o 17789078
o 17786507
o 17786017
o 17781746
o 17779175
o 17778821
o 17774550
o 17771979
o 17768154
o 17758040
o 17750893
o 17750844
o 17748273
o 17748028
o 17743403
o 17740832
o 17739853
o 17737282
o 17728985
o 17718871
o 17716300
o 17711539
o 17708968
o 17704343
o 17701772
o 17695131
o 17687799
o 17680603
o 17678032
o 17677990
o 17677500
o 17670658
o 17667876
o 17667386
o 17660544
o 17660190
o 17653348
o 17650826
o 17650777
o 17646578
o 17623530
o 17616198
o 17613416
o 17606084
o 17605730
o 17598888
o 17591312
o 17584470
o 17583769
o 17581198
o 17576927
o 17574356
o 17573903
o 17569595
o 17567024
o 17566719
o 17566670
o 17562448
o 17562399
o 17559877
o 17559828
o 17558373
o 17551531
o 17548960
o 17548259
o 17541417
o 17538846
o 17534085
o 17531514
o 17531160
o 17524318
o 17518842
o 17512000
o 17509429
o 17508728
o 17501886
o 17499315
o 17494739
o 17494690
o 17492168
o 17492119
o 17492077
o 17489506
o 17488805
o 17481963
o 17479392
o 17474631
o 17472060
o 17471706
o 17464864
o 17460546
o 17457080
o 17440188
o 17430074
o 17427503
o 17426524
o 17423953
o 17407970
o 17405399
o 17401128
o 17398557
o 17397856
o 17391014
o 17388443
o 17381111
o 17376486
o 17373915
o 17372107
o 17357387
o 17347273
o 17346294
o 17343723
o 17318327
o 17308213
o 17303452
o 17300881
o 17296256
o 17293685
o 17287334
o 17280400
o 17270286
o 17269833
o 17262954
o 17260383
o 17255807
o 17253236
o 17253187
o 17249407
o 17246836
o 17244355
o 17241573
o 17241083
o 17234241
o 17231670
o 17227045
o 17224474
o 17218123
o 17204069
o 17197227
o 17193955
o 17187113
o 17185270
o 17182699
o 17182352
o 17179781
o 17172585
o 17171606
o 17169035
o 17160738
o 17153406
o 17150624
o 17143292
o 17140721
o 17136096
o 17133525
o 17129745
o 17127174
o 17125276
o 17122705
o 17121247
o 17116778
o 17114896
o 17112998
o 17110427
o 17106160
o 17096046
o 17088850
o 17086279
o 17082499
o 17079928
o 17079154
o 17076583
o 17072007
o 17071958
o 17069436
o 17069387
o 17063036
o 17061138
o 17058567
o 17057412
o 17057363
o 17054841
o 17054792
o 17047667
o 17045096
o 17040471
o 17037900
o 17036002
o 17033431
o 17033042
o 17032831
o 17030260
o 17025499
o 17022928
o 17015732
o 17013368
o 17006036
o 17001567
o 16998840
o 16994371
o 16992489
o 16990591
o 16988020
o 16986562
o 16982831
o 16982782
o 16980260
o 16980211
o 16978313
o 16975742
o 16973811
o 16973762
o 16971864
o 16969293
o 16966122
o 16958790
o 16954165
o 16951594
o 16944469
o 16937273
o 16934751
o 16934702
o 16932804
o 16930233
o 16928351
o 16923882
o 16923277
o 16918808
o 16917085
o 16914514
o 16913237
o 16910734
o 16908163
o 16907917
o 16905346
o 16904069
o 16903464
o 16901566
o 16898995
o 16896241
o 16893670
o 16889045
o 16886474
o 16884576
o 16882005
o 16880123
o 16878225
o 16875654
o 16874874
o 16870580
o 16869478
o 16867580
o 16865009
o 16864229
o 16859935
o 16859868
o 16857297
o 16855399
o 16852828
o 16850946
o 16846477
o 16844803
o 16844754
o 16842183
o 16840301
o 16838403
o 16835832
o 16835052
o 16830758
o 16828495
o 16827890
o 16825992
o 16823421
o 16823377
o 16821721
o 16820513
o 16819693
o 16815811
o 16813240
o 16811342
o 16808771
o 16808727
o 16808615
o 16804146
o 16801575
o 16801531
o 16797795
o 16795224
o 16795180
o 16792721
o 16790150
o 16790106
o 16788450
o 16787242
o 16786422
o 16782813
o 16782769
o 16781113
o 16779905
o 16779085
o 16778211
o 16778167
o 16776511
o 16775303
o 16774532
o 16774483
o 16770601
o 16768030
o 16766132
o 16763561
o 16759781
o 16757210
o 16756365
o 16754483
o 16752585
o 16750014
o 16749409
o 16749234
o 16744940
o 16743954
o 16742677
o 16742072
o 16741897
o 16737603
o 16737559
o 16735952
o 16735903
o 16734695
o 16733875
o 16732593
o 16731385
o 16730565
o 16729993
o 16722081
o 16719510
o 16717612
o 16715041
o 16713159
o 16711261
o 16708690
o 16707704
o 16705822
o 16703924
o 16701353
o 16700557
o 16700508
o 16698675
o 16698626
o 16694206
o 16694157
o 16693377
o 16691654
o 16689083
o 16689039
o 16687383
o 16686175
o 16685355
o 16681295
o 16678724
o 16676826
o 16674255
o 16671392
o 16666923
o 16666767
o 16662298
o 16659727
o 16657845
o 16655996
o 16655947
o 16653425
o 16653376
o 16650873
o 16648302
o 16648258
o 16646602
o 16645394
o 16644574
o 16640965
o 16640921
o 16639265
o 16638057
o 16637237
o 16636182
o 16633611
o 16632334
o 16629831
o 16627260
o 16627216
o 16625560
o 16624352
o 16623532
o 16623391
o 16622494
o 16619923
o 16619879
o 16618223
o 16617015
o 16616195
o 16614614
o 16613406
o 16612586
o 16608977
o 16608933
o 16607277
o 16606069
o 16605249
o 16603903
o 16603859
o 16602203
o 16600995
o 16600175
o 16596115
o 16595662
o 16588783
o 16584314
o 16581636
o 16581587
o 16577167
o 16577118
o 16574547
o 16574503
o 16572847
o 16572665
o 16568196
o 16568152
o 16566496
o 16565288
o 16564468
o 16563430
o 16560859
o 16560815
o 16559159
o 16557951
o 16557131
o 16556400
o 16556351
o 16555785
o 16555741
o 16554085
o 16552926
o 16552877
o 16552057
o 16551099
o 16550113
o 16548033
o 16545462
o 16545418
o 16543762
o 16542982
o 16542959
o 16540388
o 16540344
o 16538688
o 16537529
o 16537480
o 16536709
o 16536660
o 16536132
o 16535312
o 16533783
o 16529314
o 16526792
o 16526743
o 16524861
o 16522963
o 16520392
o 16519612
o 16517889
o 16515318
o 16513055
o 16512275
o 16510552
o 16507981
o 16507566
o 16504995
o 16504390
o 16502492
o 16499921
o 16497658
o 16496878
o 16495204
o 16495155
o 16492584
o 16491236
o 16491192
o 16490884
o 16489536
o 16488328
o 16487508
o 16486827
o 16485479
o 16482061
o 16480713
o 16479490
o 16478142
o 16477362
o 16476987
o 16475639
o 16474416
o 16473068
o 16473024
o 16472716
o 16471368
o 16470160
o 16469340
o 16469081
o 16467733
o 16465707
o 16464359
o 16464315
o 16464007
o 16462659
o 16462096
o 16462052
o 16461744
o 16460396
o 16458370
o 16457022
o 16456978
o 16456670
o 16455322
o 16454036
o 16453684
o 16452336
o 16450310
o 16448962
o 16448918
o 16448610
o 16447262
o 16446699
o 16446655
o 16446347
o 16444999
o 16444219
o 16442973
o 16442929
o 16441625
o 16441581
o 16441273
o 16439925
o 16438717
o 16437897
o 16437446
o 16437443
o 16436095
o 16434940
o 16432369
o 16431021
o 16429242
o 16427894
o 16424617
o 16422046
o 16420698
o 16419918
o 16419543
o 16416972
o 16415624
o 16414347
o 16413192
o 16410621
o 16409273
o 16408287
o 16407010
o 16405855
o 16403284
o 16401936
o 16401892
o 16401584
o 16400236
o 16399028
o 16398208
o 16397163
o 16396558
o 16395137
o 16393789
o 16393745
o 16393437
o 16392089
o 16390881
o 16390061
o 16385647
o 16384299
o 16380017
o 16377446
o 16372870
o 16370299
o 16370250
o 16368902
o 16366470
o 16363899
o 16362551
o 16358825
o 16357477
o 16356562
o 16355214
o 16354434
o 16354059
o 16351488
o 16350140
o 16350096
o 16349788
o 16348440
o 16347232
o 16346412
o 16345671
o 16345627
o 16345319
o 16343971
o 16342763
o 16341943
o 16341888
o 16339317
o 16337969
o 16337311
o 16335963
o 16334740
o 16333392
o 16332842
o 16331543
o 16331494
o 16330271
o 16328923
o 16328389
o 16327041
o 16326491
o 16323920
o 16322572
o 16321967
o 16321417
o 16318846
o 16317498
o 16316583
o 16315284
o 16315235
o 16314679
o 16314630
o 16314080
o 16311509
o 16310161
o 16310117
o 16309858
o 16309809
o 16308461
o 16307253
o 16306433
o 16303952
o 16303903
o 16302555
o 16302021
o 16300673
o 16300123
o 16297552
o 16296204
o 16295546
o 16292975
o 16291077
o 16288506
o 16287158
o 16286624
o 16284726
o 16282155
o 16280807
o 16280202
o 16279652
o 16277081
o 16275733
o 16274867
o 16274818
o 16273519
o 16273470
o 16272865
o 16272315
o 16269744
o 16268396
o 16268352
o 16268044
o 16266696
o 16265488
o 16264668
o 16262551
o 16259980
o 16258632
o 16257852
o 16254906
o 16253558
o 16252281
o 16251501
o 16251126
o 16248555
o 16247207
o 16247154
o 16245806
o 16244583
o 16243235
o 16242455
o 16242080
o 16239509
o 16238210
o 16238161
o 16236933
o 16236884
o 16236153
o 16236104
o 16235729
o 16234381
o 16233158
o 16231810
o 16230824
o 16229547
o 16228392
o 16227044
o 16225821
o 16224473
o 16224429
o 16224170
o 16224121
o 16222773
o 16221565
o 16220745
o 16220337
o 16218989
o 16217054
o 16215706
o 16212585
o 16211237
o 16210014
o 16208666
o 16207511
o 16206163
o 16204940
o 16203592
o 16201160
o 16199812
o 16198589
o 16197241
o 16196396
o 16193964
o 16192616
o 16191393
o 16190045
o 16189130
o 16187782
o 16187226
o 16187177
o 16186627
o 16185279
o 16184056
o 16182708
o 16182664
o 16182356
o 16181008
o 16179800
o 16178980
o 16178860
o 16178811
o 16177512
o 16177463
o 16176240
o 16174892
o 16174848
o 16174540
o 16173192
o 16171984
o 16171164
o 16169818
o 16169774
o 16169466
o 16168118
o 16166910
o 16166090
o 16165895
o 16165846
o 16165312
o 16163964
o 16163414
o 16160843
o 16159495
o 16159451
o 16159143
o 16157795
o 16156587
o 16155767
o 16154421
o 16154377
o 16154069
o 16152721
o 16151513
o 16150742
o 16150693
o 16150267
o 16146541
o 16145193
o 16145149
o 16144841
o 16143493
o 16142334
o 16142285
o 16141465
o 16140137
o 16139587
o 16137016
o 16135668
o 16134513
o 16133165
o 16131942
o 16130594
o 16129679
o 16128331
o 16127551
o 16127176
o 16124605
o 16123257
o 16121980
o 16121200
o 16118254
o 16116906
o 16116862
o 16116554
o 16115206
o 16114047
o 16113998
o 16113227
o 16113178
o 16111708
o 16110360
o 16109137
o 16107789
o 16107255
o 16102786
o 16101438
o 16101394
o 16101086
o 16099738
o 16098530
o 16097710
o 16095383
o 16095227
o 16092656
o 16090758
o 16088187
o 16086888
o 16086839
o 16086305
o 16084407
o 16081836
o 16080488
o 16079502
o 16078968
o 16077669
o 16077620
o 16077070
o 16074499
o 16073151
o 16073107
o 16072799
o 16071451
o 16070243
o 16069423
o 16068077
o 16068033
o 16067725
o 16066377
o 16065169
o 16064349
o 16060084
o 16058736
o 16057956
o 16057581
o 16055010
o 16053662
o 16053618
o 16053359
o 16053310
o 16052011
o 16051962
o 16050754
o 16049934
o 16049899
o 16048671
o 16048622
o 16047467
o 16046119
o 16044896
o 16043548
o 16043504
o 16043196
o 16041848
o 16040689
o 16040640
o 16039820
o 16038497
o 16038453
o 16037149
o 16035634
o 16034286
o 16033736
o 16031165
o 16029817
o 16029661
o 16026540
o 16025192
o 16023969
o 16022621
o 16021466
o 16020118
o 16018895
o 16017547
o 16017503
o 16016632
o 16015284
o 16015240
o 16014504
o 16014129
o 16011558
o 16010210
o 16010166
o 16008933
o 16008889
o 16008328
o 16007778
o 16005207
o 16003859
o 16003815
o 16003507
o 16002159
o 16001479
o 16000951
o 16000131
o 15999498
o 15998727
o 15998678
o 15998210
o 15998161
o 15997905
o 15997125
o 15996750
o 15994179
o 15992880
o 15992831
o 15989757
o 15988409
o 15983698
o 15979229
o 15977881
o 15976658
o 15975310
o 15973584
o 15971013
o 15969665
o 15969115
o 15966544
o 15965196
o 15964090
o 15964041
o 15961470
o 15960122
o 15958845
o 15957690
o 15955119
o 15953771
o 15953727
o 15953419
o 15952071
o 15950863
o 15950043
o 15949808
o 15947782
o 15946434
o 15946390
o 15946131
o 15946082
o 15944783
o 15944734
o 15943526
o 15942706
o 15941966
o 15939705
o 15938357
o 15938313
o 15938005
o 15936657
o 15935449
o 15934629
o 15933898
o 15933078
o 15932584
o 15931764
o 15931285
o 15930465
o 15930346
o 15929187
o 15929138
o 15928318
o 15927890
o 15927337
o 15924766
o 15923418
o 15923215
o 15921867
o 15920553
o 15920509
o 15920167
o 15918853
o 15917645
o 15916874
o 15916825
o 15916682
o 15914111
o 15912763
o 15912719
o 15912411
o 15911063
o 15909855
o 15909035
o 15908304
o 15907484
o 15907039
o 15906990
o 15906170
o 15905073
o 15903759
o 15903715
o 15903373
o 15902108
o 15902059
o 15900851
o 15900031
o 15899525
o 15898654
o 15898505
o 15898302
o 15896954
o 15895640
o 15894432
o 15893612
o 15892832
o 15892266
o 15892222
o 15891880
o 15890566
o 15889358
o 15888538
o 15887999
o 15886685
o 15886641
o 15886299
o 15884985
o 15883826
o 15883777
o 15882957
o 15882177
o 15881611
o 15881567
o 15881225
o 15879911
o 15878703
o 15877883
o 15877096
o 15877047
o 15877003
o 15876695
o 15876661
o 15875347
o 15874909
o 15873561
o 15873358
o 15872010
o 15870696
o 15870652
o 15870310
o 15868996
o 15868216
o 15866936
o 15865622
o 15865578
o 15865236
o 15863922
o 15862632
o 15861318
o 15861274
o 15860041
o 15859997
o 15859261
o 15859217
o 15859180
o 15857832
o 15857629
o 15856281
o 15854967
o 15854923
o 15854581
o 15853267
o 15852059
o 15851239
o 15851152
o 15851103
o 15849755
o 15849552
o 15848204
o 15846890
o 15846846
o 15846504
o 15845190
o 15843982
o 15843162
o 15842532
Killed
1979.672u 0.026s 33:12.53 99.3%	0+0k 0+0io 0pf+0w