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_random-net_random-net-60-2_network-9.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-9.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 30568
o 177283
o 177230
o 176079
o 174782
o 174729
o 173578
o 173089
o 173036
o 171885
o 171122
o 170631
o 170580
o 169429
o 169240
o 168508
o 168017
o 167966
o 166815
o 166508
o 165745
o 165254
o 165203
o 164052
o 163863
o 163131
o 162640
o 162589
o 161438
o 161248
o 161197
o 160046
o 159291
o 159237
o 159186
o 158035
o 157944
o 157754
o 157703
o 156552
o 156348
o 156257
o 156067
o 156016
o 154865
o 154125
o 154034
o 153844
o 153793
o 152642
o 152009
o 151980
o 151929
o 150778
o 150463
o 150293
o 150242
o 149091
o 148240
o 148070
o 148019
o 146868
o 146235
o 145988
o 145355
o 145204
o 144889
o 144719
o 144668
o 143517
o 142666
o 142496
o 142445
o 141294
o 140214
o 139581
o 138960
o 138819
o 138649
o 138598
o 137447
o 136367
o 135734
o 135186
o 134856
o 134333
o 133776
o 133253
o 133143
o 132620
o 132522
o 131999
o 131858
o 131009
o 130486
o 129929
o 129406
o 129296
o 128773
o 128748
o 128225
o 127979
o 127456
o 126899
o 126376
o 126266
o 125743
o 125718
o 125195
o 124883
o 124742
o 123893
o 123370
o 122813
o 122290
o 122180
o 121657
o 121632
o 121109
o 120475
o 119952
o 119395
o 118872
o 118762
o 118239
o 118214
o 117691
o 117164
o 116641
o 116531
o 116008
o 115983
o 115460
o 114983
o 114829
o 114808
o 114698
o 114175
o 114150
o 113627
o 113454
o 113429
o 112906
o 112577
o 112467
o 111944
o 111919
o 111396
o 110919
o 110765
o 110376
o 110351
o 109828
o 109351
o 109197
o 109176
o 109066
o 108543
o 108518
o 107995
o 107822
o 107797
o 107274
o 106945
o 106835
o 106312
o 106287
o 105764
o 105287
o 105133
o 104744
o 104590
o 104493
o 104016
o 103862
o 103473
o 103448
o 102925
o 102448
o 102294
o 102273
o 102163
o 101640
o 101615
o 101092
o 100919
o 100894
o 100371
o 100042
o 99932
o 99409
o 99384
o 98861
o 98384
o 98230
o 97841
o 97687
o 97611
o 97134
o 96980
o 96591
o 96437
o 96125
o 95971
o 95895
o 95418
o 95264
o 94875
o 94721
o 94554
o 94359
o 94205
o 93730
o 93705
o 93182
o 93009
o 92984
o 92461
o 92132
o 92022
o 91499
o 91474
o 90951
o 90474
o 90320
o 89931
o 89777
o 89701
o 89224
o 89070
o 88681
o 88527
o 88215
o 88061
o 87985
o 87508
o 87354
o 86965
o 86811
o 86644
o 86449
o 86295
o 86216
o 86159
o 86134
o 85732
o 85611
o 85403
o 85282
o 85172
o 84770
o 84649
o 84624
o 84222
o 84101
o 83745
o 83624
o 83591
o 83470
o 83202
o 83081
o 83048
o 82927
o 82851
o 82495
o 82374
o 82341
o 82220
o 81952
o 81831
o 81798
o 81677
o 81631
o 81510
o 81436
o 81315
o 81282
o 81161
o 81082
o 81050
o 80929
o 80661
o 80540
o 80507
o 80386
o 80301
o 80268
o 80147
o 80080
o 79959
o 79879
o 79758
o 79725
o 79604
o 79528
o 79373
o 79252
o 79172
o 79051
o 79018
o 78897
o 78830
o 78709
o 78629
o 78508
o 78475
o 78354
o 78308
o 78187
o 78113
o 77992
o 77959
o 77838
o 77759
o 77732
o 77611
o 77353
o 77232
o 77212
o 76810
o 76689
o 76489
o 76368
o 76294
o 76173
o 76094
o 76062
o 75941
o 75921
o 75519
o 75398
o 75198
o 75077
o 75003
o 74882
o 74831
o 74811
o 74610
o 74489
o 74409
o 74288
o 74231
o 74110
o 74030
o 73909
o 73889
o 73688
o 73567
o 73487
o 73366
o 73246
o 73166
o 73045
o 72971
o 72850
o 72771
o 72740
o 72700
o 72579
o 72540
o 72419
o 72345
o 72224
o 72145
o 72116
o 72037
o 72006
o 71966
o 71845
o 71806
o 71685
o 71611
o 71490
o 71411
o 71311
o 71231
o 71110
o 70889
o 70768
o 70688
o 70567
o 70447
o 70367
o 70246
o 70172
o 70051
o 69972
o 69941
o 69901
o 69780
o 69741
o 69620
o 69546
o 69425
o 69346
o 69317
o 69238
o 69207
o 69167
o 69046
o 69007
o 68886
o 68812
o 68691
o 68612
o 68495
o 68458
o 68337
o 68332
o 68211
o 68137
o 68016
o 67894
o 67773
o 67693
o 67572
o 67452
o 67372
o 67251
o 67177
o 67056
o 66946
o 66906
o 66785
o 66746
o 66625
o 66551
o 66430
o 66322
o 66212
o 66172
o 66051
o 66012
o 65891
o 65817
o 65696
o 65575
o 65495
o 65374
o 65263
o 65254
o 65174
o 65053
o 64942
o 64858
o 64747
o 64637
o 64587
o 64476
o 64427
o 64316
o 64232
o 64121
o 64013
o 63903
o 63853
o 63742
o 63693
o 63582
o 63498
o 63387
o 63283
o 63281
o 63172
o 63170
o 63088
o 63086
o 62977
o 62975
o 62867
o 62865
o 62817
o 62815
o 62706
o 62704
o 62657
o 62655
o 62546
o 62544
o 62462
o 62460
o 62351
o 62349
o 62243
o 62241
o 62133
o 62131
o 62083
o 62081
o 61972
o 61970
o 61923
o 61921
o 61812
o 61810
o 61728
o 61726
o 61617
o 61615
o 61547
o 61545
o 61436
o 61434
o 61352
o 61350
o 61241
o 61239
o 61143
o 61119
o 60998
o 60996
o 60887
o 60885
o 60790
o 60788
o 60706
o 60704
o 60595
o 60593
o 60497
o 60473
o 60352
o 60350
o 60241
o 60239
o 60158
o 60156
o 60155
o 60083
o 59962
o 59960
o 59866
o 59864
o 59753
o 59729
o 59608
o 59606
o 59512
o 59510
o 59414
o 59412
o 59326
o 59205
o 59181
o 59060
o 59058
o 58990
o 58988
o 58902
o 58781
o 58757
o 58636
o 58634
o 58618
o 58616
o 58530
o 58409
o 58385
o 58264
o 58262
o 58222
o 58198
o 58077
o 58075
o 58016
o 57931
o 57918
o 57910
o 57886
o 57765
o 57709
o 57685
o 57564
o 57479
o 57409
o 57401
o 57377
o 57256
o 57200
o 57176
o 57055
o 57037
o 57029
o 57005
o 56884
o 56828
o 56804
o 56683
o 56624
o 56491
o 56421
o 56401
o 56268
o 56200
o 56067
o 56049
o 56029
o 55896
o 55828
o 55695
o 55643
o 55632
o 55562
o 55542
o 55409
o 55341
o 55208
o 55190
o 55170
o 55037
o 54969
o 54836
Killed
1979.694u 0.004s 33:00.41 99.9%	0+0k 0+0io 0pf+0w