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-4.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-4.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 172729
o 171991
o 171873
o 171801
o 171746
o 171008
o 170890
o 170888
o 170770
o 169117
o 168379
o 168261
o 167828
o 167710
o 167638
o 167396
o 167278
o 166845
o 166727
o 166725
o 166607
o 166234
o 166116
o 166044
o 165802
o 165684
o 165251
o 165133
o 165131
o 165013
o 164723
o 164605
o 164172
o 164054
o 163982
o 163740
o 163622
o 163189
o 163071
o 163069
o 162951
o 162862
o 162835
o 162593
o 162475
o 162042
o 161924
o 161922
o 161804
o 161477
o 161359
o 161287
o 161045
o 160927
o 160494
o 160376
o 160374
o 160256
o 160226
o 160224
o 160106
o 160017
o 159990
o 159748
o 159630
o 159197
o 159079
o 159077
o 158959
o 158632
o 158514
o 158442
o 158200
o 158082
o 157649
o 157531
o 157529
o 157411
o 157263
o 157145
o 156712
o 156594
o 156592
o 156474
o 156469
o 156421
o 155988
o 155870
o 155868
o 155750
o 155539
o 155421
o 154988
o 154870
o 154868
o 154750
o 154602
o 154484
o 154051
o 153933
o 153931
o 153813
o 153808
o 153760
o 153327
o 153209
o 153207
o 153089
o 153078
o 152960
o 152958
o 152840
o 152835
o 152787
o 152354
o 152236
o 152234
o 152116
o 152078
o 151930
o 151812
o 151379
o 151261
o 151259
o 151141
o 151136
o 151088
o 150655
o 150537
o 150535
o 150417
o 150206
o 150088
o 149655
o 149537
o 149535
o 149417
o 149269
o 149151
o 148718
o 148600
o 148598
o 148480
o 148475
o 148427
o 147994
o 147876
o 147874
o 147756
o 147745
o 147627
o 147625
o 147507
o 147502
o 147454
o 147021
o 146903
o 146901
o 146783
o 146735
o 146617
o 146615
o 146497
o 146492
o 146444
o 146011
o 145893
o 145891
o 145773
o 145562
o 145444
o 145011
o 144893
o 144891
o 144773
o 144625
o 144507
o 144074
o 143956
o 143954
o 143836
o 143831
o 143783
o 143350
o 143232
o 143230
o 143112
o 143101
o 142983
o 142981
o 142863
o 142858
o 142810
o 142377
o 142259
o 142257
o 142139
o 142105
o 141987
o 141554
o 141436
o 141434
o 141316
o 141311
o 141263
o 140830
o 140712
o 140710
o 140592
o 140581
o 140463
o 140461
o 140343
o 140338
o 140290
o 139857
o 139739
o 139737
o 139619
o 139607
o 139597
o 139586
o 139468
o 139466
o 139348
o 139343
o 139295
o 138862
o 138744
o 138742
o 138624
o 138600
o 138598
o 138480
o 138475
o 138427
o 137994
o 137876
o 137874
o 137756
o 137745
o 137627
o 137625
o 137507
o 137502
o 137454
o 137021
o 136903
o 136901
o 136783
o 136772
o 136654
o 136652
o 136534
o 136529
o 136481
o 136048
o 135930
o 135928
o 135810
o 135558
o 135440
o 135438
o 135320
o 135225
o 135107
o 135105
o 134987
o 134982
o 134934
o 134501
o 134383
o 134381
o 134263
o 134252
o 134134
o 134132
o 134014
o 134009
o 133961
o 133528
o 133410
o 133408
o 133290
o 133278
o 133268
o 133257
o 133139
o 133137
o 133019
o 133014
o 132966
o 132533
o 132415
o 132413
o 132295
o 132271
o 132269
o 132151
o 132146
o 132098
o 131665
o 131547
o 131545
o 131427
o 131416
o 131298
o 131296
o 131178
o 131173
o 131125
o 130692
o 130574
o 130572
o 130454
o 130451
o 130449
o 130331
o 130307
o 130305
o 130187
o 130182
o 130134
o 129701
o 129583
o 129581
o 129463
o 129452
o 129334
o 129332
o 129214
o 129209
o 129161
o 128728
o 128610
o 128608
o 128490
o 128476
o 128358
o 128356
o 128238
o 128211
o 128200
o 128082
o 128080
o 127962
o 127957
o 127909
o 127476
o 127358
o 127356
o 127238
o 127224
o 127106
o 127104
o 126986
o 126945
o 126942
o 126940
o 126822
o 126798
o 126796
o 126678
o 126673
o 126625
o 126192
o 126074
o 126072
o 125954
o 125943
o 125825
o 125823
o 125705
o 125700
o 125652
o 125219
o 125101
o 125099
o 124981
o 124967
o 124849
o 124847
o 124729
o 124641
o 124639
o 124521
o 124418
o 124416
o 124298
o 124293
o 124245
o 123812
o 123694
o 123692
o 123574
o 123560
o 123442
o 123440
o 123322
o 123234
o 123232
o 123114
o 123016
o 122913
o 122911
o 122793
o 122779
o 122661
o 122659
o 122541
o 122514
o 122503
o 122385
o 122383
o 122265
o 122260
o 122212
o 121779
o 121661
o 121659
o 121541
o 121527
o 121409
o 121407
o 121289
o 121248
o 121245
o 121243
o 121125
o 121101
o 121099
o 120981
o 120976
o 120928
o 120495
o 120377
o 120375
o 120257
o 120246
o 120128
o 120126
o 120008
o 120003
o 119955
o 119522
o 119404
o 119402
o 119284
o 119270
o 119152
o 119150
o 119032
o 118944
o 118942
o 118824
o 118800
o 118712
o 118710
o 118592
o 118583
o 118495
o 118493
o 118375
o 118307
o 118293
o 118175
o 118173
o 118055
o 117967
o 117965
o 117847
o 117830
o 117828
o 117710
o 117707
o 117705
o 117587
o 117396
o 117278
o 117276
o 117158
o 117147
o 117029
o 117027
o 116909
o 116904
o 116856
o 116423
o 116305
o 116303
o 116185
o 115984
o 115866
o 115864
o 115746
o 115732
o 115614
o 115612
o 115494
o 115171
o 115053
o 115051
o 114933
o 114732
o 114614
o 114612
o 114494
o 114480
o 114362
o 114360
o 114242
o 114201
o 114198
o 114196
o 114078
o 113887
o 113769
o 113767
o 113649
o 113638
o 113520
o 113518
o 113400
o 113395
o 113347
o 112914
o 112796
o 112794
o 112676
o 112475
o 112357
o 112355
o 112237
o 112223
o 112105
o 112103
o 111985
o 111897
o 111895
o 111777
o 111507
o 111389
o 111387
o 111269
o 111068
o 110950
o 110948
o 110830
o 110816
o 110698
o 110696
o 110578
o 110490
o 110488
o 110370
o 110272
o 110169
o 110167
o 110049
o 110035
o 109917
o 109915
o 109797
o 109474
o 109356
o 109354
o 109236
o 109035
o 108917
o 108915
o 108797
o 108783
o 108665
o 108663
o 108545
o 108504
o 108501
o 108499
o 108381
o 108190
o 108072
o 108070
o 107952
o 107941
o 107823
o 107821
o 107703
o 107698
o 107650
o 107217
o 107099
o 107097
o 106979
o 106778
o 106660
o 106658
o 106540
o 106526
o 106408
o 106406
o 106288
o 106200
o 106198
o 106080
o 106056
o 105968
o 105966
o 105848
o 105839
o 105751
o 105749
o 105631
o 105563
o 105549
o 105431
o 105429
o 105311
o 105223
o 105221
o 105103
o 105084
o 104996
o 104994
o 104876
o 104867
o 104779
o 104777
o 104659
o 104591
o 104577
o 104459
o 104457
o 104339
o 104251
o 104249
o 104131
o 103893
o 103775
o 103773
o 103655
o 103454
o 103336
o 103334
o 103216
o 103202
o 103084
o 103082
o 102964
o 102876
o 102874
o 102756
o 102732
o 102644
o 102642
o 102524
o 102515
o 102427
o 102425
o 102307
o 102239
o 102225
o 102107
o 102105
o 101987
o 101899
o 101897
o 101779
o 101707
o 101625
o 101507
o 101505
o 101387
o 101299
o 101297
o 101179
o 101175
o 101170
o 101122
o 100689
o 100571
o 100569
o 100451
o 100250
o 100132
o 100130
o 100012
o 99924
o 99922
o 99804
o 99780
o 99692
o 99690
o 99572
o 99563
o 99475
o 99473
o 99355
o 99273
o 99155
o 99153
o 99035
o 98947
o 98945
o 98827
o 98679
o 98561
o 98559
o 98441
o 98353
o 98351
o 98233
o 98209
o 98121
o 98119
o 98001
o 97992
o 97904
o 97902
o 97784
o 97702
o 97584
o 97582
o 97464
o 97376
o 97374
o 97256
o 97155
o 97037
o 97035
o 96917
o 96842
o 96724
o 96722
o 96604
o 96492
o 96490
o 96372
o 96275
o 96273
o 96155
o 96060
o 96058
o 95940
o 95865
o 95747
o 95745
o 95627
o 95584
o 95466
o 95464
o 95346
o 95271
o 95153
o 95151
o 95033
o 94921
o 94919
o 94801
o 94704
o 94702
o 94584
o 94489
o 94487
o 94369
o 94294
o 94176
o 94174
o 94056
o 94052
o 94017
o 94015
o 93897
o 93696
o 93578
o 93576
o 93458
o 93346
o 93344
o 93226
o 93129
o 93127
o 93009
o 92920
o 92719
o 92601
o 92599
o 92481
o 92443
o 92441
o 92323
o 92301
o 92241
o 92123
o 92121
o 92003
o 91915
o 91913
o 91795
o 91754
o 91694
o 91576
o 91574
o 91456
o 91441
o 91381
o 91263
o 91261
o 91143
o 91031
o 91029
o 90911
o 90814
o 90812
o 90694
o 90599
o 90597
o 90479
o 90464
o 90404
o 90286
o 90284
o 90166
o 90123
o 90005
o 90003
o 89885
o 89870
o 89810
o 89692
o 89690
o 89572
o 89460
o 89458
o 89340
o 89243
o 89241
o 89123
o 89028
o 89026
o 88908
o 88893
o 88833
o 88715
o 88713
o 88595
o 88591
o 88556
o 88554
o 88436
o 88415
o 88413
o 88295
o 88235
o 88117
o 88115
o 87997
o 87885
o 87883
o 87765
o 87668
o 87666
o 87548
o 87459
o 87438
o 87436
o 87318
o 87258
o 87140
o 87138
o 87020
o 86996
o 86994
o 86876
o 86779
o 86777
o 86659
o 86564
o 86562
o 86444
o 86429
o 86369
o 86251
o 86249
o 86131
o 86088
o 85970
o 85968
o 85850
o 85835
o 85775
o 85657
o 85655
o 85537
o 85425
o 85423
o 85305
o 85208
o 85206
o 85088
o 84993
o 84991
o 84873
o 84858
o 84798
o 84680
o 84678
o 84560
o 84556
o 84521
o 84519
o 84401
o 84380
o 84378
o 84260
o 84200
o 84082
o 84080
o 83962
o 83850
o 83848
o 83730
o 83633
o 83631
o 83513
o 83424
o 83403
o 83401
o 83283
o 83223
o 83105
o 83103
o 82985
o 82962
o 82842
o 82801
o 82683
o 82681
o 82563
o 82535
o 82533
o 82415
o 82392
o 82272
o 82174
o 82062
o 82060
o 81942
o 81927
o 81867
o 81749
o 81747
o 81629
o 81574
o 81456
o 81454
o 81336
o 81276
o 81158
o 81156
o 81038
o 81017
o 81015
o 80897
o 80837
o 80719
o 80717
o 80599
o 80493
o 80472
o 80470
o 80352
o 80292
o 80174
o 80172
o 80054
o 80031
o 79911
o 79870
o 79752
o 79750
o 79632
o 79604
o 79602
o 79484
o 79461
o 79341
o 79337
o 79335
o 79217
o 79157
o 79039
o 79037
o 78919
o 78896
o 78776
o 78735
o 78617
o 78615
o 78497
o 78469
o 78467
o 78349
o 78326
o 78206
o 78014
o 77896
o 77894
o 77776
o 77753
o 77633
o 77592
o 77474
o 77472
o 77354
o 77326
o 77324
o 77206
o 77183
o 77063
o 76954
o 76708
o 76590
o 76588
o 76470
o 76269
o 76151
o 76149
o 76031
o 76008
o 75888
o 75847
o 75729
o 75727
o 75609
o 75581
o 75579
o 75461
o 75438
o 75318
o 75209
o 75204
o 75095
o 75000
o 74998
o 74880
o 74679
o 74561
o 74559
o 74441
o 74418
o 74298
o 74257
o 74139
o 74137
o 74019
o 73991
o 73989
o 73871
o 73848
o 73728
o 73614
o 73505
o 73504
o 73386
o 73363
o 73243
o 73129
o 73020
o 72975
o 72866
o 72843
o 72752
o 72724
o 72604
o 72490
o 72381
o 72225
o 72105
o 72094
o 71974
o 71803
o 71683
o 71655
o 71535
o 71421
o 71312
o 71198
o 71170
o 71050
o 70936
o 70827
o 70772
o 70702
o 70658
o 70588
o 70549
o 70479
o 70435
o 70365
o 70287
o 70217
o 70173
o 70103
o 70064
o 69994
o 69926
o 69812
o 69703
o 69683
o 69633
o 69566
o 69452
o 69343
o 69239
o 69119
o 69091
o 68971
o 68857
o 68748
o 68634
o 68606
o 68486
o 68372
o 68263
o 68160
o 68132
o 68012
o 67898
o 67789
o 67764
o 67747
o 67655
o 67638
o 67627
o 67541
o 67393
o 67376
o 67279
o 67262
o 67170
o 67153
o 67150
o 67082
o 67036
o 67008
o 66888
o 66774
o 66665
o 66613
o 66465
o 66448
o 66351
o 66334
o 66242
o 66225
o 66139
o 65991
o 65974
o 65877
o 65860
o 65768
o 65751
o 65698
o 65681
o 65658
o 65510
o 65493
o 65396
o 65379
o 65287
o 65270
o 65184
o 65036
o 65019
o 64922
o 64905
o 64813
o 64796
o 64743
o 64726
o 64678
o 64661
o 64660
o 64586
o 64466
o 64352
o 64243
o 64054
o 64037
o 63940
o 63923
o 63831
o 63814
o 63739
o 63569
o 63552
o 63455
o 63438
o 63346
o 63329
o 63276
o 63259
o 63213
o 63139
o 63019
o 62905
o 62894
o 62854
o 62814
o 62644
o 62627
o 62530
o 62513
o 62502
o 62482
o 62465
o 62292
o 62122
o 62105
o 62008
o 61991
o 61980
o 61938
o 61921
o 61910
o 61905
o 61888
o 61842
o 61841
o 61721
o 61648
o 61607
o 61534
o 61523
o 61236
o 61219
o 61122
o 61105
o 60921
o 60751
o 60734
o 60637
o 60620
o 60609
o 60567
o 60550
o 60539
o 60411
o 60297
o 60158
o 60096
o 59926
o 59812
o 59801
o 59699
o 59560
o 59498
o 59328
o 59214
o 59203
o 59150
o 58980
o 58866
o 58855
o 58753
o 58691
o 58521
o 58407
o 58382
o 58268
o 58257
o 58130
o 58119
o 58045
o 58034
o 58010
o 57937
o 57926
o 57914
o 57889
o 57775
o 57764
o 57637
o 57626
o 57568
o 57557
o 57521
o 57510
o 57383
o 57372
o 57314
o 57303
o 57298
o 57287
o 57129
o 57118
o 57102
Killed
1979.688u 0.010s 33:01.38 99.9%	0+0k 0+0io 0pf+0w