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-2.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-2.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 171463
o 170379
o 169763
o 168996
o 168380
o 168033
o 167417
o 167404
o 166861
o 166514
o 165898
o 165572
o 165311
o 164695
o 164348
o 163732
o 163719
o 163176
o 162829
o 162213
o 161887
o 161331
o 161005
o 160794
o 160178
o 160165
o 159622
o 159275
o 158659
o 158333
o 157777
o 157451
o 156842
o 156516
o 155960
o 155634
o 155564
o 155551
o 155008
o 154661
o 154653
o 154045
o 153719
o 153163
o 152837
o 152836
o 152228
o 151902
o 151346
o 151020
o 150791
o 150465
o 150237
o 149681
o 149355
o 149052
o 148496
o 148170
o 147730
o 147404
o 146848
o 146522
o 146293
o 145967
o 145739
o 145183
o 144857
o 144554
o 143998
o 143672
o 143508
o 143356
o 142964
o 142638
o 142497
o 142171
o 141872
o 141316
o 140990
o 140849
o 140523
o 140435
o 140294
o 139968
o 139651
o 139325
o 139184
o 138858
o 138466
o 138140
o 137999
o 137673
o 137509
o 137357
o 137193
o 137103
o 136711
o 136385
o 136244
o 135918
o 135754
o 135567
o 135241
o 135100
o 134774
o 134610
o 134445
o 134281
o 134135
o 134022
o 133881
o 133555
o 133391
o 133014
o 132688
o 132547
o 132221
o 131922
o 131366
o 131040
o 130899
o 130573
o 130485
o 130344
o 130018
o 129701
o 129375
o 129234
o 128908
o 128516
o 128190
o 128049
o 127723
o 127559
o 127407
o 127243
o 127153
o 126761
o 126435
o 126294
o 125968
o 125804
o 125617
o 125291
o 125150
o 124824
o 124660
o 124495
o 124331
o 124185
o 124072
o 123931
o 123605
o 123441
o 123380
o 123216
o 123066
o 122902
o 122715
o 122389
o 122248
o 121922
o 121758
o 121593
o 121429
o 121283
o 121170
o 121029
o 120703
o 120539
o 120452
o 120287
o 120123
o 119977
o 119864
o 119723
o 119397
o 119233
o 119117
o 118825
o 118661
o 118574
o 118409
o 118245
o 118099
o 117986
o 117845
o 117519
o 117355
o 117254
o 117113
o 116787
o 116623
o 116536
o 116371
o 116207
o 116061
o 115948
o 115807
o 115481
o 115317
o 115256
o 115092
o 114946
o 114874
o 114833
o 114692
o 114366
o 114202
o 114115
o 113950
o 113786
o 113640
o 113568
o 113527
o 113386
o 113060
o 112896
o 112780
o 112488
o 112324
o 112237
o 112072
o 111908
o 111762
o 111690
o 111649
o 111508
o 111182
o 111018
o 110958
o 110917
o 110776
o 110450
o 110286
o 110199
o 110034
o 109870
o 109724
o 109652
o 109611
o 109470
o 109144
o 108980
o 108870
o 108724
o 108652
o 108611
o 108470
o 108144
o 107980
o 107893
o 107728
o 107564
o 107418
o 107346
o 107305
o 107164
o 106838
o 106674
o 106558
o 106266
o 106102
o 106015
o 105850
o 105686
o 105540
o 105468
o 105427
o 105286
o 104960
o 104796
o 104736
o 104695
o 104554
o 104228
o 104064
o 103977
o 103812
o 103648
o 103502
o 103430
o 103389
o 103248
o 102922
o 102758
o 102658
o 102586
o 102545
o 102404
o 102078
o 101914
o 101868
o 101804
o 101658
o 101586
o 101545
o 101404
o 101078
o 100914
o 100726
o 100562
o 100498
o 100352
o 100280
o 100239
o 100098
o 99772
o 99608
o 99492
o 99200
o 99036
o 98848
o 98684
o 98620
o 98474
o 98402
o 98361
o 98220
o 97894
o 97730
o 97670
o 97629
o 97488
o 97162
o 96998
o 96810
o 96646
o 96582
o 96436
o 96364
o 96323
o 96182
o 95856
o 95692
o 95631
o 95567
o 95421
o 95349
o 95308
o 95167
o 94841
o 94677
o 94517
o 94353
o 94237
o 93945
o 93781
o 93694
o 93529
o 93365
o 93219
o 93147
o 93106
o 92965
o 92639
o 92475
o 92415
o 92374
o 92233
o 91907
o 91743
o 91656
o 91491
o 91327
o 91181
o 91109
o 91068
o 90927
o 90601
o 90437
o 90337
o 90265
o 90224
o 90083
o 89757
o 89593
o 89547
o 89483
o 89337
o 89265
o 89224
o 89083
o 88757
o 88593
o 88405
o 88241
o 88177
o 88031
o 87959
o 87918
o 87777
o 87451
o 87287
o 87171
o 86879
o 86715
o 86527
o 86363
o 86299
o 86153
o 86081
o 86040
o 85899
o 85573
o 85409
o 85349
o 85308
o 85167
o 84841
o 84677
o 84489
o 84325
o 84261
o 84115
o 84043
o 84002
o 83861
o 83535
o 83371
o 83310
o 83246
o 83100
o 83028
o 82987
o 82846
o 82520
o 82356
o 82265
o 82101
o 81972
o 81911
o 81847
o 81701
o 81629
o 81588
o 81447
o 81121
o 80957
o 80866
o 80702
o 80679
o 80466
o 80302
o 80211
o 80047
o 79967
o 79830
o 79786
o 79705
o 79677
o 79513
o 79488
o 79469
o 79444
o 79434
o 79415
o 79390
o 79371
o 79309
o 79290
o 79229
o 79210
o 79117
o 79098
o 79092
o 79073
o 79054
o 79048
o 79029
o 78972
o 78808
o 78717
o 78553
o 78473
o 78336
o 78292
o 78211
o 78131
o 78019
o 77994
o 77975
o 77950
o 77595
o 77431
o 77340
o 77176
o 77165
o 77074
o 76910
o 76781
o 76720
o 76656
o 76510
o 76438
o 76397
o 75930
o 75766
o 75675
o 75511
o 75375
o 75238
o 75194
o 75169
o 75033
o 74921
o 74896
o 74877
o 74852
o 74842
o 74823
o 74798
o 74779
o 74773
o 74754
o 74637
o 74618
o 74525
o 74506
o 74500
o 74481
o 74462
o 74456
o 74437
o 74436
o 74272
o 74181
o 74017
o 73881
o 73744
o 73700
o 73675
o 73591
o 73427
o 73402
o 73383
o 73358
o 73334
o 73309
o 73290
o 73265
o 73255
o 73236
o 73211
o 73192
o 73186
o 73167
o 73050
o 73031
o 72938
o 72919
o 72913
o 72894
o 72875
o 72869
o 72850
o 72849
o 72685
o 72594
o 72430
o 72294
o 72157
o 72113
o 72088
o 71952
o 71840
o 71815
o 71796
o 71771
o 71653
o 71517
o 71380
o 71336
o 71311
o 71175
o 71063
o 71038
o 71019
o 70994
o 70959
o 70823
o 70686
o 70642
o 70617
o 70481
o 70369
o 70344
o 70325
o 70300
o 70180
o 70136
o 70111
o 69975
o 69863
o 69838
o 69819
o 69794
o 69676
o 69540
o 69403
o 69359
o 69334
o 69198
o 69086
o 69061
o 69042
o 69017
o 68920
o 68895
o 68876
o 68851
o 68850
o 68714
o 68602
o 68577
o 68558
o 68533
o 68515
o 68490
o 68471
o 68446
o 68441
o 68305
o 68193
o 68168
o 68149
o 68124
o 68123
o 67987
o 67875
o 67850
o 67831
o 67806
o 67738
o 67713
o 67694
o 67669
o 67664
o 67580
o 67416
o 67391
o 67372
o 67347
o 67346
o 67210
o 67098
o 67073
o 67054
o 67029
o 66936
o 66892
o 66867
o 66731
o 66619
o 66594
o 66575
o 66550
o 66440
o 66304
o 66167
o 66123
o 66098
o 65962
o 65850
o 65825
o 65806
o 65781
o 65780
o 65644
o 65532
o 65507
o 65488
o 65463
o 65390
o 65346
o 65321
o 65185
o 65073
o 65048
o 65029
o 65004
o 65003
o 64867
o 64755
o 64730
o 64711
o 64686
o 64523
o 64479
o 64370
o 64206
o 64181
o 64162
o 64137
o 64040
o 64015
o 63996
o 63971
o 63892
o 63886
o 63722
o 63697
o 63678
o 63653
o 63647
o 63622
o 63603
o 63578
o 63577
o 63552
o 63473
o 63467
o 63303
o 63278
o 63259
o 63234
o 63162
o 63156
o 62992
o 62948
o 62849
o 62824
o 62805
o 62780
o 62701
o 62695
o 62531
o 62506
o 62487
o 62462
o 62327
o 62302
o 62186
o 62180
o 62016
o 61927
o 61784
o 61759
o 61636
o 61630
o 61466
o 61441
o 61374
o 61349
o 61208
o 61183
o 61060
o 61054
o 60890
o 60865
o 60815
o 60790
o 60789
o 60764
o 60641
o 60635
o 60471
o 60446
o 60330
o 60324
o 60160
o 60158
o 60017
o 59992
o 59869
o 59863
o 59699
o 59674
o 59525
o 59500
o 59390
o 59365
o 59249
o 59243
o 59079
o 59077
o 58936
o 58911
o 58788
o 58782
o 58618
o 58593
o 58567
o 58564
o 58539
o 58416
o 58410
o 58246
o 58221
o 58106
o 58081
Killed
1979.661u 0.037s 33:07.07 99.6%	0+0k 0+0io 0pf+0w