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-6.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-6.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 29657
o 182307
o 182163
o 182055
o 181836
o 181208
o 180890
o 176330
o 176186
o 176078
o 175859
o 174905
o 174761
o 174653
o 174434
o 172231
o 172087
o 171979
o 171760
o 171169
o 171025
o 170917
o 170698
o 169939
o 169795
o 169687
o 169468
o 169394
o 169286
o 169067
o 169047
o 168939
o 168720
o 168476
o 168332
o 168224
o 168005
o 167961
o 167817
o 167709
o 167490
o 167246
o 167102
o 166994
o 166775
o 166580
o 166536
o 166392
o 166284
o 166065
o 165821
o 165677
o 165569
o 165350
o 165243
o 165199
o 165055
o 164947
o 164728
o 164484
o 164340
o 164232
o 164013
o 163939
o 163795
o 163687
o 163468
o 163424
o 163280
o 163172
o 162953
o 162709
o 162565
o 162457
o 162238
o 162043
o 161999
o 161855
o 161747
o 161528
o 161284
o 161140
o 161032
o 160813
o 160706
o 160662
o 160518
o 160410
o 160191
o 159947
o 159803
o 159695
o 159476
o 159293
o 159049
o 158905
o 158797
o 158578
o 158383
o 158341
o 158339
o 158195
o 158087
o 157868
o 157624
o 157480
o 157372
o 157153
o 157046
o 157004
o 157002
o 156858
o 156750
o 156531
o 156287
o 156143
o 156035
o 155816
o 155801
o 155799
o 155655
o 155547
o 155328
o 155084
o 154940
o 154832
o 154613
o 154506
o 154464
o 154462
o 154318
o 154210
o 153991
o 153747
o 153603
o 153495
o 153276
o 153050
o 152906
o 152798
o 152579
o 152365
o 152121
o 151977
o 151869
o 151650
o 151543
o 151501
o 151499
o 151355
o 151247
o 151028
o 150784
o 150640
o 150532
o 150313
o 150087
o 149943
o 149835
o 149616
o 149426
o 149182
o 149038
o 148930
o 148711
o 148604
o 148562
o 148560
o 148416
o 148308
o 148089
o 147845
o 147701
o 147593
o 147374
o 147148
o 147004
o 146896
o 146677
o 146531
o 146424
o 146382
o 146380
o 146236
o 146128
o 145909
o 145665
o 145521
o 145413
o 145194
o 144968
o 144824
o 144716
o 144497
o 144436
o 144328
o 144109
o 143883
o 143739
o 143631
o 143412
o 143355
o 143211
o 143103
o 142884
o 142777
o 142735
o 142733
o 142589
o 142481
o 142262
o 142018
o 141874
o 141766
o 141547
o 141321
o 141177
o 141069
o 140850
o 140704
o 140597
o 140555
o 140553
o 140409
o 140301
o 140082
o 139838
o 139694
o 139586
o 139367
o 139141
o 138997
o 138889
o 138670
o 138609
o 138501
o 138282
o 138056
o 137912
o 137804
o 137585
o 137457
o 137349
o 137130
o 137037
o 136961
o 136742
o 136516
o 136372
o 136264
o 136045
o 135952
o 135844
o 135736
o 135517
o 135410
o 135368
o 135366
o 135222
o 135114
o 134895
o 134651
o 134507
o 134399
o 134180
o 133954
o 133810
o 133702
o 133483
o 133390
o 133337
o 133230
o 133188
o 133186
o 133042
o 132934
o 132715
o 132471
o 132327
o 132219
o 132000
o 131774
o 131630
o 131522
o 131303
o 131210
o 131134
o 130915
o 130689
o 130545
o 130437
o 130218
o 130125
o 130067
o 130014
o 129907
o 129865
o 129863
o 129719
o 129611
o 129392
o 129148
o 129004
o 128896
o 128677
o 128451
o 128307
o 128199
o 127980
o 127887
o 127811
o 127592
o 127366
o 127222
o 127114
o 126895
o 126802
o 126632
o 126406
o 126262
o 126154
o 125935
o 125842
o 125789
o 125682
o 125640
o 125638
o 125494
o 125386
o 125167
o 124923
o 124779
o 124671
o 124452
o 124226
o 124082
o 123974
o 123755
o 123662
o 123586
o 123367
o 123141
o 122997
o 122889
o 122670
o 122577
o 122459
o 122351
o 122132
o 122039
o 121963
o 121744
o 121518
o 121374
o 121266
o 121047
o 120954
o 120816
o 120723
o 120647
o 120428
o 120202
o 120058
o 119950
o 119731
o 119638
o 119583
o 119490
o 119400
o 119292
o 119073
o 118980
o 118764
o 118671
o 118618
o 118511
o 118469
o 118467
o 118323
o 118215
o 117996
o 117752
o 117608
o 117500
o 117281
o 117055
o 116911
o 116803
o 116584
o 116491
o 116415
o 116196
o 115970
o 115826
o 115718
o 115499
o 115406
o 115319
o 115175
o 115067
o 114848
o 114755
o 114573
o 114347
o 114203
o 114095
o 113876
o 113783
o 113645
o 113552
o 113476
o 113257
o 113031
o 112887
o 112779
o 112560
o 112467
o 112412
o 112319
o 112236
o 112128
o 111909
o 111816
o 111761
o 111668
o 111588
o 111512
o 111293
o 111067
o 110923
o 110815
o 110596
o 110503
o 110448
o 110355
o 110265
o 110157
o 109938
o 109845
o 109629
o 109536
o 109483
o 109301
o 109188
o 109080
o 108861
o 108617
o 108473
o 108365
o 108146
o 107920
o 107776
o 107668
o 107449
o 107356
o 107280
o 107061
o 106835
o 106691
o 106583
o 106364
o 106271
o 106184
o 106040
o 105932
o 105713
o 105620
o 105438
o 105212
o 105068
o 104960
o 104741
o 104648
o 104510
o 104417
o 104341
o 104122
o 103896
o 103752
o 103644
o 103425
o 103332
o 103277
o 103184
o 103101
o 102993
o 102774
o 102681
o 102626
o 102533
o 102485
o 102392
o 102316
o 102097
o 101871
o 101727
o 101619
o 101400
o 101307
o 101252
o 101159
o 101076
o 100968
o 100749
o 100656
o 100601
o 100508
o 100458
o 100382
o 100163
o 99937
o 99793
o 99685
o 99466
o 99373
o 99318
o 99225
o 99142
o 99034
o 98815
o 98722
o 98667
o 98574
o 98561
o 98453
o 98234
o 98141
o 98086
o 97993
o 97988
o 97933
o 97840
o 97757
o 97649
o 97430
o 97337
o 97282
o 97189
o 97176
o 97068
o 96849
o 96756
o 96701
o 96608
o 96591
o 96498
o 96443
o 96350
o 96337
o 96229
o 96010
o 95917
o 95862
o 95769
o 95728
o 95673
o 95580
o 95497
o 95389
o 95170
o 95077
o 95022
o 94929
o 94872
o 94710
o 94617
o 94562
o 94469
o 94386
o 94278
o 94059
o 93966
o 93911
o 93818
o 93796
o 93703
o 93648
o 93555
o 93472
o 93364
o 93145
o 93052
o 92997
o 92904
o 92847
o 92685
o 92592
o 92537
o 92444
o 92361
o 92253
o 92034
o 91941
o 91886
o 91793
o 91769
o 91714
o 91621
o 91538
o 91430
o 91211
o 91118
o 91063
o 90970
o 90913
o 90751
o 90658
o 90603
o 90510
o 90427
o 90319
o 90100
o 90007
o 89952
o 89859
o 89846
o 89738
o 89519
o 89426
o 89371
o 89278
o 89273
o 89218
o 89125
o 89042
o 88934
o 88715
o 88622
o 88567
o 88474
o 88461
o 88353
o 88134
o 88041
o 87986
o 87893
o 87876
o 87783
o 87728
o 87635
o 87622
o 87514
o 87295
o 87202
o 87147
o 87054
o 87037
o 86944
o 86741
o 86648
o 86593
o 86500
o 86456
o 86363
o 86270
o 86122
o 85985
o 85944
o 85807
o 85758
o 85665
o 85610
o 85517
o 85500
o 85407
o 85204
o 85111
o 85056
o 84963
o 84919
o 84826
o 84733
o 84585
o 84448
o 84393
o 84274
o 84181
o 84126
o 84033
o 83989
o 83896
o 83803
o 83655
o 83518
o 83477
o 83340
o 83291
o 83198
o 83143
o 83050
o 82956
o 82737
o 82644
o 82589
o 82496
o 82452
o 82359
o 82266
o 82118
o 81981
o 81926
o 81862
o 81807
o 81714
o 81670
o 81577
o 81484
o 81336
o 81199
o 81158
o 81021
o 80972
o 80879
o 80824
o 80731
o 80637
o 80418
o 80325
o 80270
o 80177
o 80133
o 80040
o 79947
o 79799
o 79662
o 79607
o 79550
o 79533
o 79440
o 79237
o 79144
o 79089
o 78996
o 78952
o 78859
o 78766
o 78618
o 78481
o 78426
o 78307
o 78214
o 78159
o 78066
o 78022
o 77929
o 77836
o 77688
o 77551
o 77510
o 77373
o 77324
o 77231
o 77176
o 77083
o 76989
o 76770
o 76677
o 76622
o 76529
o 76485
o 76392
o 76299
o 76151
o 76014
o 75959
o 75856
o 75801
o 75782
o 75645
o 75590
o 75473
o 75336
o 75281
o 75278
o 75059
o 74922
o 74867
o 74821
o 74684
o 74629
o 74604
o 74511
o 74375
o 74270
o 74238
o 74133
o 74078
o 73968
o 73863
o 73831
o 73726
o 73671
o 73581
o 73526
o 73480
o 73343
o 73288
o 73253
o 73034
o 72929
o 72897
o 72792
o 72737
o 72730
o 72647
o 72592
o 72428
o 72323
o 72240
o 72185
o 72178
o 72095
o 72040
o 71940
o 71857
o 71802
o 71713
o 71494
o 71389
o 71306
o 71251
o 71206
o 71055
o 70950
o 70918
o 70813
o 70758
o 70734
o 70515
o 70410
o 70327
o 70272
o 70129
o 70024
o 69941
o 69886
o 69841
o 69690
o 69585
o 69553
o 69448
o 69393
o 69369
o 69150
o 69045
o 68962
o 68907
o 68795
o 68690
o 68635
o 68612
o 68507
o 68475
o 68370
o 68315
o 68291
o 68072
o 67967
o 67884
o 67829
o 67717
o 67612
o 67557
o 67503
o 67426
o 67321
o 67238
o 67183
o 67138
o 66987
o 66882
o 66850
o 66745
o 66690
o 66666
o 66447
o 66342
o 66259
o 66204
o 66092
o 65987
o 65932
o 65909
o 65804
o 65772
o 65667
o 65612
o 65588
o 65369
o 65264
o 65181
o 65126
o 65014
o 64909
o 64854
o 64755
o 64700
o 64646
o 64581
o 64527
o 64501
o 64446
o 64392
o 64327
o 64273
Killed
1979.195u 0.503s 33:07.99 99.5%	0+0k 0+0io 0pf+0w