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-7.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-7.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 34349
o 176404
o 175316
o 174547
o 173590
o 172821
o 172619
o 172617
o 172190
o 172025
o 171823
o 171821
o 171394
o 171032
o 170830
o 170828
o 170401
o 170271
o 170072
o 169905
o 169903
o 169476
o 169278
o 169079
o 168946
o 168781
o 168579
o 168577
o 168150
o 167788
o 167586
o 167584
o 167157
o 167027
o 166828
o 166661
o 166659
o 166232
o 166034
o 165835
o 165536
o 165334
o 165332
o 164905
o 164775
o 164576
o 164409
o 164407
o 163980
o 163782
o 163583
o 163218
o 163020
o 162821
o 162522
o 162320
o 162318
o 161891
o 161761
o 161562
o 161395
o 161393
o 160966
o 160768
o 160569
o 160425
o 160295
o 160096
o 159929
o 159927
o 159500
o 159302
o 159103
o 159092
o 158894
o 158695
o 158551
o 158421
o 158222
o 158055
o 158053
o 157626
o 157428
o 157229
o 157197
o 157067
o 156868
o 156701
o 156699
o 156272
o 156074
o 155875
o 155799
o 155600
o 155507
o 155340
o 155338
o 154911
o 154713
o 154514
o 154390
o 154191
o 154155
o 153956
o 153789
o 153787
o 153360
o 153162
o 152963
o 152714
o 152516
o 152317
o 152006
o 151808
o 151609
o 151360
o 151162
o 150963
o 150887
o 150688
o 150645
o 150447
o 150248
o 149999
o 149801
o 149602
o 149504
o 149305
o 149056
o 148858
o 148659
o 148583
o 148384
o 148341
o 148143
o 147944
o 147695
o 147497
o 147298
o 147166
o 146967
o 146891
o 146692
o 146649
o 146451
o 146252
o 146003
o 145805
o 145606
o 145542
o 145402
o 145153
o 144955
o 144756
o 144624
o 144425
o 144349
o 144150
o 144049
o 143850
o 143710
o 143461
o 143263
o 143064
o 142873
o 142675
o 142476
o 142422
o 142173
o 141975
o 141776
o 141644
o 141445
o 141369
o 141170
o 141069
o 140870
o 140730
o 140481
o 140283
o 140084
o 140075
o 139935
o 139686
o 139488
o 139289
o 139192
o 138993
o 138853
o 138604
o 138406
o 138207
o 138016
o 137818
o 137619
o 137594
o 137395
o 137294
o 137095
o 136955
o 136706
o 136508
o 136309
o 136212
o 136013
o 135873
o 135624
o 135426
o 135227
o 135185
o 134986
o 134795
o 134597
o 134398
o 134344
o 134095
o 133897
o 133698
o 133566
o 133367
o 133291
o 133092
o 132991
o 132792
o 132652
o 132403
o 132205
o 132006
o 131997
o 131857
o 131608
o 131410
o 131211
o 131114
o 130915
o 130775
o 130526
o 130328
o 130129
o 129938
o 129740
o 129541
o 129516
o 129317
o 129216
o 129017
o 128877
o 128628
o 128430
o 128231
o 128134
o 127935
o 127795
o 127546
o 127348
o 127149
o 127128
o 127101
o 126902
o 126805
o 126606
o 126466
o 126217
o 126019
o 125820
o 125757
o 125617
o 125368
o 125170
o 124971
o 124797
o 124598
o 124501
o 124302
o 124162
o 123913
o 123715
o 123516
o 123495
o 123468
o 123269
o 123172
o 122973
o 122833
o 122584
o 122386
o 122187
o 122124
o 121984
o 121735
o 121537
o 121338
o 121302
o 121103
o 121082
o 121055
o 120856
o 120759
o 120560
o 120420
o 120171
o 119973
o 119774
o 119711
o 119571
o 119322
o 119124
o 118925
o 118856
o 118658
o 118459
o 118396
o 118256
o 118007
o 117809
o 117610
o 117542
o 117343
o 117203
o 116954
o 116756
o 116557
o 116536
o 116509
o 116310
o 116213
o 116014
o 115874
o 115625
o 115427
o 115228
o 115165
o 115025
o 114776
o 114578
o 114379
o 114343
o 114144
o 114123
o 114096
o 113897
o 113800
o 113601
o 113461
o 113212
o 113014
o 112815
o 112752
o 112612
o 112363
o 112165
o 111966
o 111934
o 111736
o 111537
o 111502
o 111481
o 111290
o 111255
o 111125
o 110926
o 110854
o 110605
o 110407
o 110208
o 110173
o 110077
o 110005
o 109756
o 109558
o 109359
o 109324
o 109323
o 109124
o 109089
o 109068
o 108877
o 108842
o 108712
o 108513
o 108441
o 108192
o 107994
o 107795
o 107760
o 107664
o 107592
o 107343
o 107145
o 106946
o 106911
o 106782
o 106583
o 106511
o 106262
o 106064
o 105865
o 105830
o 105734
o 105662
o 105413
o 105215
o 105016
o 104981
o 104807
o 104608
o 104573
o 104477
o 104405
o 104156
o 103958
o 103759
o 103724
o 103629
o 103430
o 103395
o 103299
o 103227
o 102978
o 102780
o 102581
o 102546
o 102417
o 102218
o 102146
o 101897
o 101699
o 101500
o 101465
o 101369
o 101297
o 101048
o 100850
o 100651
o 100616
o 100442
o 100243
o 100208
o 100112
o 100040
o 99791
o 99593
o 99394
o 99359
o 99263
o 99075
o 99040
o 98944
o 98872
o 98811
o 98613
o 98414
o 98226
o 98191
o 98006
o 97818
o 97783
o 97687
o 97615
o 97554
o 97356
o 97157
o 96969
o 96934
o 96921
o 96723
o 96524
o 96489
o 96327
o 96128
o 96093
o 96072
o 95874
o 95675
o 95640
o 95478
o 95279
o 95244
o 95232
o 95070
o 94871
o 94836
o 94815
o 94617
o 94418
o 94383
o 94221
o 94022
o 93987
o 93891
o 93703
o 93668
o 93637
o 93438
o 93250
o 93215
o 93042
o 92854
o 92819
o 92807
o 92634
o 92446
o 92411
o 92380
o 92181
o 91993
o 91958
o 91785
o 91597
o 91562
o 91377
o 91342
o 91169
o 90981
o 90946
o 90837
o 90816
o 90628
o 90593
o 90441
o 90420
o 90232
o 90197
o 90176
o 89988
o 89967
o 89779
o 89744
o 89592
o 89571
o 89383
o 89348
o 89163
o 89128
o 88976
o 88955
o 88767
o 88732
o 88579
o 88544
o 88523
o 88335
o 88314
o 88126
o 88091
o 87939
o 87918
o 87730
o 87695
o 87510
o 87475
o 87323
o 87302
o 87114
o 87079
o 86943
o 86908
o 86756
o 86547
o 86512
o 86509
o 86474
o 86322
o 86301
o 86113
o 86078
o 85942
o 85907
o 85755
o 85546
o 85511
o 85468
o 85363
o 85259
o 85224
o 85045
o 85010
o 84874
o 84839
o 84687
o 84478
o 84443
o 84428
o 84393
o 84371
o 84214
o 84179
o 84043
o 84008
o 83839
o 83804
o 83647
o 83612
o 83505
o 83470
o 83318
o 83296
o 83109
o 83074
o 83031
o 82926
o 82822
o 82787
o 82608
o 82573
o 82437
o 82402
o 82250
o 82228
o 82041
o 82006
o 81983
o 81839
o 81812
o 81668
o 81608
o 81464
o 81416
o 81272
o 81130
o 81087
o 80943
o 80878
o 80734
o 80656
o 80551
o 80447
o 80442
o 80421
o 80377
o 80233
o 80206
o 80062
o 80019
o 79875
o 79810
o 79666
o 79509
o 79322
o 79300
o 79113
o 79083
o 78939
o 78782
o 78573
o 78386
o 78295
o 78108
o 78086
o 77899
o 77869
o 77725
o 77568
o 77359
o 77172
o 77080
o 76936
o 76779
o 76570
o 76383
o 76341
o 76248
o 76213
o 76198
o 76163
o 76068
o 76033
o 75889
o 75854
o 75813
o 75778
o 75702
o 75609
o 75574
o 75510
o 75417
o 75382
o 75284
o 75249
o 75128
o 75093
o 74941
o 74905
o 74732
o 74697
o 74696
o 74685
o 74592
o 74557
o 74462
o 74427
o 74283
o 74248
o 74207
o 74172
o 74113
o 74020
o 73904
o 73811
o 73776
o 73693
o 73658
o 73514
o 73438
o 73327
o 73234
o 73135
o 73042
o 72909
o 72897
o 72753
o 72739
o 72710
o 72566
o 72530
o 72501
o 72357
o 72321
o 72310
o 72217
o 72087
o 72052
o 71908
o 71832
o 71738
o 71645
o 71529
o 71436
o 71372
o 71329
o 71185
o 71120
o 70976
o 70883
o 70819
o 70632
o 70610
o 70423
o 70393
o 70249
o 70156
o 70092
o 69913
o 69883
o 69696
o 69669
o 69605
o 69418
o 69396
o 69209
o 69179
o 69035
o 68942
o 68878
o 68699
o 68669
o 68482
o 68390
o 68246
o 68153
o 68089
o 67910
o 67880
o 67693
o 67665
o 67572
o 67443
o 67329
o 67299
o 67112
o 67082
o 66953
o 66947
o 66839
o 66809
o 66622
o 66595
o 66451
o 66358
o 66229
o 66115
o 66085
o 65898
o 65833
o 65806
o 65662
o 65569
o 65440
o 65326
o 65296
o 65109
o 65088
o 65058
o 64871
o 64842
o 64655
o 64642
o 64463
o 64247
o 64234
o 64176
o 64146
o 63959
o 63867
o 63723
o 63630
o 63516
o 63387
o 63357
o 63170
o 63108
o 62979
o 62762
o 62681
o 62537
o 62444
o 62367
o 62201
o 62171
o 61984
o 61959
o 61793
o 61576
o 61497
o 61454
o 61237
o 61089
o 61048
o 61017
o 60986
o 60857
o 60640
o 60559
o 60415
o 60322
o 60239
o 60079
o 60049
o 59862
o 59831
o 59671
o 59454
o 59375
o 59344
o 59332
o 59115
o 58967
o 58944
o 58757
o 58726
o 58566
o 58349
o 58270
o 58239
o 58227
o 58010
o 57862
o 57745
o 57597
o 57594
o 57365
o 57217
o 57100
o 56952
Killed
1978.354u 1.344s 33:05.48 99.7%	0+0k 0+0io 0pf+0w