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
o 19934816
o 19914458
o 19902688
o 19887171
o 19866813
o 19840698
o 19813411
o 19793053
o 19780280
o 19773143
o 19752785
o 19743209
o 19736072
o 19715714
o 19702941
o 19692216
o 19497888
o 19462013
o 19434518
o 19410675
o 19390525
o 19386873
o 19383388
o 19363030
o 19349061
o 19340681
o 19333544
o 19313186
o 19300413
o 19287959
o 19275186
o 19264461
o 19259705
o 19255757
o 19228262
o 19204419
o 19191646
o 19179192
o 19166419
o 19155694
o 19144307
o 19133582
o 19123949
o 19113224
o 19108715
o 19100770
o 19087997
o 19077272
o 19065131
o 19054406
o 19052358
o 19041633
o 19040821
o 19030096
o 19016127
o 19004095
o 18980252
o 18963482
o 18952757
o 18950709
o 18939984
o 18932039
o 18921314
o 18919266
o 18908541
o 18888183
o 18878558
o 18854715
o 18850767
o 18823272
o 18812547
o 18802914
o 18792189
o 18790141
o 18779416
o 18779339
o 18776595
o 18766962
o 18756237
o 18743464
o 18731323
o 18718550
o 18707825
o 18700994
o 18688540
o 18675767
o 18665042
o 18653246
o 18649761
o 18629403
o 18622222
o 18617666
o 18597308
o 18586583
o 18579752
o 18571608
o 18567611
o 18556886
o 18554838
o 18544113
o 18543800
o 18541292
o 18539244
o 18528519
o 18520934
o 18518886
o 18508161
o 18507722
o 18504070
o 18493000
o 18480227
o 18476527
o 18475456
o 18471756
o 18462257
o 18458557
o 18457486
o 18453786
o 18438414
o 18433643
o 18429943
o 18427029
o 18422258
o 18418558
o 18416084
o 18413150
o 18409059
o 18385216
o 18380445
o 18376745
o 18375323
o 18370552
o 18366852
o 18364253
o 18351480
o 18346709
o 18343009
o 18339796
o 18337226
o 18333526
o 18326147
o 18322638
o 18294704
o 18289933
o 18282563
o 18269790
o 18259065
o 18254294
o 18250594
o 18241506
o 18236735
o 18233362
o 18226225
o 18218640
o 18205867
o 18201096
o 18197396
o 18194797
o 18182024
o 18177253
o 18173553
o 18172064
o 18170340
o 18168364
o 18162850
o 18159283
o 18158079
o 18155583
o 18154379
o 18152984
o 18140211
o 18139007
o 18135440
o 18134236
o 18131740
o 18130536
o 18130251
o 18126551
o 18125547
o 18121847
o 18119248
o 18106475
o 18101704
o 18098004
o 18096515
o 18094791
o 18092815
o 18092221
o 18088521
o 18078377
o 18073606
o 18069906
o 18067690
o 18062783
o 18055198
o 18042425
o 18037654
o 18033954
o 18032465
o 18030741
o 18028765
o 18028171
o 18024471
o 18023463
o 18022869
o 18019169
o 18017004
o 18012233
o 18008533
o 17999445
o 17992209
o 17990121
o 17977348
o 17976579
o 17963806
o 17960106
o 17959035
o 17955335
o 17942843
o 17930070
o 17926370
o 17925299
o 17921599
o 17912529
o 17899756
o 17896056
o 17894985
o 17891285
o 17886378
o 17866020
o 17861249
o 17857549
o 17853172
o 17849472
o 17847705
o 17836980
o 17834932
o 17824207
o 17819436
o 17815736
o 17812523
o 17809953
o 17806253
o 17804651
o 17800951
o 17799296
o 17794525
o 17790825
o 17789336
o 17787612
o 17785636
o 17785523
o 17784034
o 17782310
o 17780334
o 17779740
o 17776040
o 17775406
o 17773804
o 17770104
o 17766105
o 17761334
o 17757634
o 17754421
o 17751851
o 17748151
o 17746549
o 17742849
o 17742380
o 17741701
o 17737702
o 17734002
o 17732931
o 17729231
o 17726018
o 17724519
o 17723448
o 17719748
o 17719217
o 17718146
o 17714446
o 17712791
o 17709091
o 17708020
o 17704320
o 17701107
o 17699608
o 17698537
o 17694837
o 17694306
o 17693235
o 17689535
o 17689039
o 17687315
o 17685339
o 17684677
o 17675156
o 17673952
o 17670385
o 17669181
o 17666685
o 17665481
o 17665196
o 17661496
o 17660428
o 17649041
o 17645474
o 17644270
o 17641774
o 17640570
o 17640285
o 17636585
o 17635268
o 17634983
o 17631283
o 17630814
o 17620638
o 17617071
o 17615867
o 17613371
o 17612167
o 17611882
o 17608182
o 17606865
o 17606580
o 17602880
o 17602286
o 17598586
o 17586765
o 17581994
o 17578294
o 17577450
o 17566380
o 17553607
o 17548836
o 17542755
o 17537984
o 17531370
o 17526173
o 17502330
o 17489557
o 17484786
o 17483316
o 17479664
o 17455821
o 17451050
o 17449147
o 17447677
o 17440540
o 17420182
o 17415411
o 17411711
o 17411135
o 17406364
o 17388269
o 17375496
o 17370725
o 17367025
o 17362118
o 17341760
o 17336989
o 17333289
o 17326599
o 17313826
o 17309055
o 17305355
o 17301688
o 17288915
o 17284144
o 17280444
o 17278842
o 17275142
o 17271929
o 17270961
o 17269359
o 17265659
o 17251759
o 17248192
o 17246988
o 17243288
o 17242890
o 17241686
o 17237986
o 17237701
o 17234001
o 17233407
o 17229707
o 17222542
o 17209769
o 17208565
o 17203794
o 17203528
o 17196391
o 17176033
o 17174829
o 17171262
o 17170058
o 17166358
o 17151122
o 17149918
o 17146351
o 17145147
o 17142651
o 17141447
o 17139845
o 17137349
o 17136145
o 17135310
o 17134106
o 17131610
o 17130406
o 17127943
o 17126739
o 17115170
o 17113966
o 17110399
o 17109195
o 17106699
o 17105495
o 17105097
o 17103893
o 17101397
o 17100193
o 17097905
o 17096701
o 17086767
o 17085563
o 17081996
o 17080792
o 17080261
o 17076694
o 17075490
o 17072994
o 17071790
o 17067211
o 17063511
o 17061842
o 17061557
o 17057857
o 17057263
o 17053563
o 17053032
o 17051961
o 17048261
o 17047675
o 17043975
o 17040483
o 17038828
o 17037624
o 17035128
o 17033924
o 17032853
o 17030357
o 17029153
o 17028868
o 17025168
o 17024574
o 17020874
o 17019866
o 17019272
o 17015572
o 17013506
o 17013319
o 17012007
o 17011820
o 17010936
o 17010749
o 17007236
o 17007049
o 17005036
o 17003965
o 17001469
o 17000265
o 16999980
o 16996280
o 16995686
o 16991986
o 16991455
o 16990384
o 16986684
o 16985985
o 16982285
o 16981277
o 16980683
o 16976983
o 16976371
o 16976157
o 16972671
o 16971746
Killed
1979.688u 0.010s 33:01.71 99.8%	0+0k 0+0io 0pf+0w