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
o 182238
o 179992
o 179222
o 177683
o 177539
o 177431
o 177212
o 176261
o 174015
o 173245
o 171706
o 171562
o 171454
o 171235
o 170281
o 170137
o 170029
o 169810
o 169146
o 167607
o 167463
o 167355
o 167136
o 166545
o 166401
o 166293
o 166074
o 165315
o 165171
o 165063
o 164844
o 164770
o 164662
o 164443
o 164423
o 164315
o 164096
o 163852
o 163708
o 163600
o 163381
o 163337
o 163193
o 163085
o 162866
o 162622
o 162478
o 162370
o 162151
o 161655
o 161511
o 161403
o 161184
o 161110
o 161002
o 160783
o 160763
o 160655
o 160436
o 160192
o 160048
o 159940
o 159721
o 159679
o 159677
o 159533
o 159425
o 159206
o 158962
o 158818
o 158710
o 158491
o 158462
o 158243
o 158223
o 158115
o 157896
o 157652
o 157508
o 157400
o 157181
o 157139
o 157137
o 156993
o 156885
o 156666
o 156422
o 156278
o 156170
o 155951
o 155725
o 155581
o 155473
o 155254
o 155134
o 154890
o 154746
o 154638
o 154419
o 154377
o 154375
o 154231
o 154123
o 153904
o 153660
o 153516
o 153408
o 153189
o 152963
o 152819
o 152711
o 152492
o 152384
o 152140
o 151996
o 151888
o 151669
o 151443
o 151299
o 151191
o 150972
o 150941
o 150697
o 150553
o 150445
o 150226
o 150000
o 149856
o 149748
o 149529
o 149421
o 149177
o 149033
o 148925
o 148706
o 148480
o 148336
o 148228
o 148009
o 148002
o 147758
o 147614
o 147506
o 147287
o 147061
o 146917
o 146809
o 146590
o 146482
o 146238
o 146094
o 145986
o 145767
o 145541
o 145397
o 145289
o 145070
o 144881
o 144737
o 144629
o 144410
o 144302
o 144058
o 143914
o 143806
o 143587
o 143361
o 143217
o 143109
o 142890
o 142829
o 142721
o 142502
o 142276
o 142132
o 142024
o 141805
o 141787
o 141679
o 141460
o 141234
o 141090
o 140982
o 140763
o 140655
o 140411
o 140267
o 140159
o 139940
o 139714
o 139570
o 139462
o 139243
o 139054
o 138910
o 138802
o 138583
o 138475
o 138231
o 138087
o 137979
o 137760
o 137534
o 137390
o 137282
o 137063
o 137002
o 136894
o 136675
o 136449
o 136305
o 136197
o 135978
o 135850
o 135742
o 135523
o 135430
o 135354
o 135135
o 134909
o 134765
o 134657
o 134438
o 134345
o 134312
o 134093
o 133867
o 133723
o 133615
o 133396
o 133288
o 133044
o 132900
o 132792
o 132573
o 132347
o 132203
o 132095
o 131876
o 131783
o 131687
o 131543
o 131435
o 131216
o 131108
o 130864
o 130720
o 130612
o 130393
o 130167
o 130023
o 129915
o 129696
o 129603
o 129527
o 129308
o 129082
o 128938
o 128830
o 128611
o 128518
o 128460
o 128364
o 128220
o 128112
o 127893
o 127785
o 127541
o 127397
o 127289
o 127070
o 126844
o 126700
o 126592
o 126373
o 126280
o 126204
o 125985
o 125759
o 125615
o 125507
o 125288
o 125195
o 125025
o 124799
o 124655
o 124547
o 124328
o 124235
o 124139
o 123995
o 123887
o 123668
o 123560
o 123316
o 123172
o 123064
o 122845
o 122619
o 122475
o 122367
o 122148
o 122055
o 121979
o 121760
o 121534
o 121390
o 121282
o 121063
o 120970
o 120852
o 120744
o 120525
o 120432
o 120356
o 120137
o 119911
o 119767
o 119659
o 119440
o 119347
o 119209
o 119116
o 119040
o 118821
o 118595
o 118451
o 118343
o 118124
o 118031
o 117976
o 117883
o 117793
o 117685
o 117466
o 117373
o 117157
o 117064
o 116968
o 116824
o 116716
o 116497
o 116389
o 116145
o 116001
o 115893
o 115674
o 115448
o 115304
o 115196
o 114977
o 114884
o 114808
o 114589
o 114363
o 114219
o 114111
o 113892
o 113799
o 113712
o 113568
o 113460
o 113241
o 113148
o 112966
o 112740
o 112596
o 112488
o 112269
o 112176
o 112038
o 111945
o 111869
o 111650
o 111424
o 111280
o 111172
o 110953
o 110860
o 110805
o 110712
o 110629
o 110521
o 110302
o 110209
o 110154
o 110061
o 109981
o 109905
o 109686
o 109460
o 109316
o 109208
o 108989
o 108896
o 108841
o 108748
o 108658
o 108550
o 108331
o 108238
o 108022
o 107929
o 107833
o 107689
o 107581
o 107362
o 107254
o 107010
o 106866
o 106758
o 106539
o 106313
o 106169
o 106061
o 105842
o 105749
o 105673
o 105454
o 105228
o 105084
o 104976
o 104757
o 104664
o 104577
o 104433
o 104325
o 104106
o 104013
o 103831
o 103605
o 103461
o 103353
o 103134
o 103041
o 102903
o 102810
o 102734
o 102515
o 102289
o 102145
o 102037
o 101818
o 101725
o 101670
o 101577
o 101494
o 101386
o 101167
o 101074
o 101019
o 100926
o 100878
o 100785
o 100709
o 100490
o 100264
o 100120
o 100012
o 99793
o 99700
o 99645
o 99552
o 99469
o 99361
o 99142
o 99049
o 98994
o 98901
o 98851
o 98775
o 98556
o 98330
o 98186
o 98078
o 97859
o 97766
o 97711
o 97618
o 97535
o 97427
o 97208
o 97115
o 97060
o 96967
o 96954
o 96846
o 96627
o 96534
o 96479
o 96386
o 96381
o 96326
o 96233
o 96150
o 96042
o 95823
o 95730
o 95675
o 95582
o 95569
o 95461
o 95242
o 95149
o 95094
o 95001
o 94984
o 94891
o 94836
o 94743
o 94730
o 94622
o 94403
o 94310
o 94255
o 94162
o 94121
o 94066
o 93973
o 93890
o 93782
o 93563
o 93470
o 93415
o 93322
o 93265
o 93103
o 93010
o 92955
o 92862
o 92779
o 92671
o 92452
o 92359
o 92304
o 92211
o 92189
o 92096
o 92041
o 91948
o 91865
o 91757
o 91538
o 91445
o 91390
o 91297
o 91240
o 91078
o 90985
o 90930
o 90837
o 90754
o 90646
o 90427
o 90334
o 90279
o 90186
o 90162
o 90107
o 90014
o 89931
o 89823
o 89604
o 89511
o 89456
o 89363
o 89306
o 89144
o 89051
o 88996
o 88903
o 88820
o 88712
o 88493
o 88400
o 88345
o 88252
o 88239
o 88131
o 87912
o 87819
o 87764
o 87671
o 87666
o 87611
o 87518
o 87435
o 87327
o 87108
o 87015
o 86960
o 86867
o 86854
o 86746
o 86527
o 86434
o 86379
o 86286
o 86269
o 86176
o 86121
o 86028
o 86015
o 85907
o 85688
o 85595
o 85540
o 85447
o 85430
o 85337
o 85134
o 85041
o 84986
o 84893
o 84849
o 84756
o 84663
o 84515
o 84378
o 84323
o 84279
o 84060
o 83967
o 83912
o 83819
o 83739
o 83684
o 83591
o 83548
o 83440
o 83221
o 83128
o 83073
o 82980
o 82886
o 82667
o 82574
o 82519
o 82426
o 82382
o 82289
o 82196
o 82048
o 81911
o 81856
o 81733
o 81678
o 81591
o 81536
o 81443
o 81349
o 81130
o 81037
o 80982
o 80889
o 80845
o 80752
o 80659
o 80511
o 80374
o 80319
o 80255
o 80200
o 80107
o 80063
o 79970
o 79877
o 79729
o 79592
o 79537
o 79480
o 79463
o 79370
o 79167
o 79074
o 79019
o 78926
o 78882
o 78789
o 78696
o 78548
o 78411
o 78356
o 78312
o 78093
o 78000
o 77945
o 77852
o 77772
o 77717
o 77624
o 77581
o 77473
o 77254
o 77161
o 77106
o 77013
o 76919
o 76700
o 76607
o 76552
o 76459
o 76415
o 76322
o 76229
o 76081
o 75944
o 75889
o 75766
o 75711
o 75624
o 75569
o 75476
o 75382
o 75163
o 75070
o 75015
o 74922
o 74878
o 74785
o 74692
o 74544
o 74407
o 74352
o 74337
o 74244
o 74200
o 74107
o 74085
o 73866
o 73729
o 73674
o 73592
o 73548
o 73455
o 73433
o 73214
o 73077
o 73022
o 72893
o 72838
o 72756
o 72712
o 72619
o 72597
o 72378
o 72241
o 72186
o 72161
o 72068
o 71932
o 71827
o 71795
o 71690
o 71635
o 71525
o 71420
o 71388
o 71283
o 71228
o 71037
o 70900
o 70845
o 70810
o 70591
o 70486
o 70454
o 70349
o 70294
o 70262
o 70207
o 70154
o 70078
o 69859
o 69776
o 69721
o 69711
o 69656
o 69603
o 69413
o 69308
o 69225
o 69170
o 69006
o 68901
o 68818
o 68763
o 68737
o 68518
o 68435
o 68380
o 68370
o 68315
o 68291
o 68072
o 67967
o 67884
o 67829
o 67717
o 67612
o 67557
o 67503
o 67461
o 67378
o 67323
o 67315
o 67260
o 67106
o 67051
o 67043
o 66988
o 66953
o 66900
o 66710
o 66605
o 66522
o 66467
o 66303
o 66198
o 66115
o 66060
o 66034
o 65815
o 65732
o 65677
o 65667
o 65612
o 65588
o 65369
o 65264
o 65181
o 65126
o 65072
o 65014
o 64909
o 64854
o 64800
o 64755
o 64700
o 64646
o 64620
o 64612
o 64557
o 64403
o 64348
o 64340
o 64285
o 64249
o 64194
o 64186
o 64131
o 64075
o 64012
o 64001
o 63782
o 63699
o 63644
o 63624
o 63541
o 63486
o 63413
o 63330
o 63275
o 63262
o 63179
o 63124
o 63058
o 63003
o 62907
o 62852
o 62798
o 62753
o 62698
o 62644
o 62579
o 62525
o 62471
o 62416
o 62362
o 62357
o 62274
o 62219
o 62162
o 61943
o 61860
o 61805
o 61751
o 61588
o 61533
o 61479
o 61434
o 61379
o 61325
o 61260
o 61206
o 61180
o 61125
o 61071
o 61006
o 60952
o 60920
o 60855
o 60801
o 60774
o 60719
o 60665
o 60502
o 60447
o 60393
o 60348
o 60293
o 60239
o 60174
o 60120
o 60094
o 60039
o 59985
o 59920
o 59866
o 59847
o 59793
o 59728
o 59674
o 59668
o 59614
o 59577
o 59497
o 59442
o 59388
o 59323
o 59269
o 59259
o 59205
o 59042
o 58987
o 58933
o 58896
o 58816
o 58761
o 58707
o 58642
o 58588
o 58577
o 58540
o 58405
o 58351
o 58312
o 58266
o 58212
o 58167
o 58112
o 58058
o 57993
o 57939
o 57896
o 57842
o 57777
o 57723
o 57717
o 57663
o 57650
o 57501
o 57447
o 57330
o 57275
o 57221
o 57156
o 57102
o 56919
o 56865
o 56826
o 56767
o 56766
o 56713
o 56712
o 56530
o 56529
o 56476
o 56475
o 56437
o 56436
Killed
1979.577u 0.121s 33:09.97 99.4%	0+0k 0+0io 0pf+0w