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-80-2_network-3.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-3.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 266079
o 265218
o 263991
o 263878
o 262651
o 262609
o 262564
o 262119
o 262077
o 262032
o 261735
o 261203
o 261161
o 261116
o 260808
o 260766
o 260721
o 260705
o 260173
o 260131
o 260086
o 260029
o 259695
o 259163
o 259050
o 258689
o 258355
o 257823
o 257781
o 257736
o 257439
o 256907
o 256865
o 256820
o 256512
o 256470
o 256425
o 256409
o 255877
o 255835
o 255790
o 255546
o 255504
o 255459
o 255349
o 254817
o 254775
o 254730
o 254399
o 254065
o 253533
o 253491
o 253446
o 253419
o 253403
o 252871
o 252829
o 252784
o 252617
o 252575
o 252530
o 252222
o 252180
o 252135
o 252119
o 251587
o 251545
o 251500
o 251497
o 251452
o 251436
o 250904
o 250862
o 250817
o 250573
o 250531
o 250486
o 250376
o 249844
o 249802
o 249757
o 249426
o 249092
o 248560
o 248518
o 248473
o 248446
o 248430
o 247898
o 247856
o 247811
o 247644
o 247602
o 247557
o 247249
o 247207
o 247162
o 247146
o 246614
o 246572
o 246527
o 246524
o 246508
o 245976
o 245934
o 245889
o 245645
o 245603
o 245558
o 245448
o 244916
o 244874
o 244829
o 244498
o 244164
o 243632
o 243590
o 243545
o 243518
o 243502
o 242970
o 242928
o 242883
o 242716
o 242674
o 242629
o 242321
o 242279
o 242234
o 242218
o 241686
o 241644
o 241599
o 241491
o 240959
o 240815
o 240773
o 240728
o 240575
o 240043
o 239899
o 239857
o 239812
o 239648
o 239504
o 239462
o 239417
o 239013
o 238869
o 238827
o 238782
o 238682
o 238538
o 238496
o 238451
o 237953
o 237809
o 237767
o 237722
o 237535
o 237201
o 236669
o 236525
o 236483
o 236438
o 236411
o 236007
o 235863
o 235821
o 235776
o 235753
o 235609
o 235567
o 235522
o 235358
o 235214
o 235172
o 235127
o 234723
o 234579
o 234537
o 234492
o 234458
o 234413
o 234009
o 233865
o 233823
o 233778
o 233746
o 233701
o 233537
o 233393
o 233351
o 233306
o 232902
o 232758
o 232716
o 232671
o 232571
o 232427
o 232385
o 232340
o 231842
o 231698
o 231656
o 231611
o 231424
o 231090
o 230558
o 230414
o 230372
o 230327
o 230300
o 229896
o 229752
o 229710
o 229665
o 229642
o 229498
o 229456
o 229411
o 229247
o 229103
o 229061
o 229016
o 228612
o 228468
o 228426
o 228381
o 228376
o 228189
o 227855
o 227323
o 227179
o 227137
o 227092
o 227065
o 226661
o 226517
o 226475
o 226430
o 226407
o 226263
o 226221
o 226176
o 226012
o 225868
o 225826
o 225781
o 225377
o 225233
o 225191
o 225146
o 225051
o 224907
o 224865
o 224820
o 224793
o 224389
o 224245
o 224203
o 224158
o 224135
o 223991
o 223949
o 223904
o 223740
o 223596
o 223554
o 223509
o 223105
o 222961
o 222919
o 222874
o 222831
o 222687
o 222645
o 222600
o 222573
o 222169
o 222025
o 221983
o 221938
o 221915
o 221771
o 221729
o 221684
o 221520
o 221376
o 221334
o 221289
o 220885
o 220741
o 220699
o 220654
o 220559
o 220415
o 220373
o 220328
o 220301
o 219897
o 219753
o 219711
o 219666
o 219643
o 219499
o 219457
o 219412
o 219248
o 219104
o 219062
o 219017
o 218613
o 218469
o 218427
o 218382
o 218098
o 217954
o 217912
o 217867
o 217772
o 217628
o 217586
o 217541
o 217514
o 217110
o 216966
o 216924
o 216879
o 216856
o 216712
o 216670
o 216625
o 216461
o 216317
o 216275
o 216230
o 215826
o 215682
o 215640
o 215595
o 215243
o 215099
o 215057
o 215012
o 214897
o 214855
o 214810
o 214787
o 214643
o 214601
o 214556
o 214392
o 214248
o 214206
o 214161
o 213757
o 213613
o 213571
o 213526
o 213514
o 213472
o 213427
o 213023
o 212879
o 212837
o 212792
o 212677
o 212635
o 212590
o 212567
o 212423
o 212381
o 212336
o 212172
o 212028
o 211986
o 211941
o 211537
o 211393
o 211351
o 211306
o 211242
o 211200
o 211155
o 210751
o 210607
o 210565
o 210520
o 210405
o 210363
o 210318
o 210295
o 210151
o 210109
o 210064
o 209900
o 209756
o 209714
o 209669
o 209265
o 209121
o 209079
o 209034
o 208750
o 208606
o 208564
o 208519
o 208455
o 208413
o 208368
o 207964
o 207820
o 207778
o 207733
o 207618
o 207576
o 207531
o 207508
o 207364
o 207322
o 207277
o 207113
o 206969
o 206927
o 206882
o 206478
o 206334
o 206292
o 206247
o 206246
o 206131
o 206089
o 206044
o 206021
o 205877
o 205835
o 205790
o 205626
o 205482
o 205440
o 205395
o 204991
o 204847
o 204805
o 204760
o 204747
o 204343
o 204199
o 204157
o 204112
o 203997
o 203955
o 203910
o 203887
o 203743
o 203701
o 203656
o 203492
o 203348
o 203306
o 203261
o 202857
o 202713
o 202671
o 202626
o 202554
o 202410
o 202368
o 202323
o 202296
o 202224
o 202080
o 202038
o 201993
o 201868
o 201826
o 201781
o 201709
o 201565
o 201523
o 201478
o 201226
o 201082
o 201040
o 200995
o 200923
o 200779
o 200737
o 200692
o 200626
o 200584
o 200539
o 200375
o 200231
o 200189
o 200144
o 199740
o 199596
o 199554
o 199509
o 199437
o 199293
o 199251
o 199206
o 199187
o 198783
o 198639
o 198597
o 198552
o 198480
o 198336
o 198294
o 198249
o 197997
o 197853
o 197811
o 197766
o 197694
o 197550
o 197508
o 197463
o 197397
o 197355
o 197310
o 197146
o 197002
o 196960
o 196915
o 196511
o 196367
o 196325
o 196280
o 196208
o 196064
o 196022
o 195977
o 195852
o 195810
o 195765
o 195693
o 195549
o 195507
o 195462
o 195210
o 195066
o 195024
o 194979
o 194907
o 194763
o 194721
o 194676
o 194610
o 194568
o 194523
o 194359
o 194215
o 194173
o 194128
o 193724
o 193580
o 193538
o 193493
o 193421
o 193277
o 193235
o 193190
o 192970
o 192826
o 192784
o 192739
o 192667
o 192523
o 192481
o 192436
o 192370
o 192328
o 192283
o 192119
o 191975
o 191933
o 191888
o 191484
o 191340
o 191298
o 191253
o 191181
o 191037
o 190995
o 190950
o 190825
o 190783
o 190738
o 190666
o 190522
o 190480
o 190435
o 190183
o 190039
o 189997
o 189952
o 189880
o 189736
o 189694
o 189649
o 189583
o 189541
o 189496
o 189332
o 189188
o 189146
o 189101
o 188697
o 188553
o 188511
o 188466
o 188394
o 188250
o 188208
o 188163
o 188144
o 187740
o 187596
o 187554
o 187509
o 187437
o 187293
o 187251
o 187206
o 186954
o 186810
o 186768
o 186723
o 186651
o 186507
o 186465
o 186420
o 186354
o 186312
o 186267
o 186103
o 185959
o 185917
o 185872
o 185468
o 185324
o 185282
o 185237
o 185165
o 185021
o 184979
o 184934
o 184809
o 184767
o 184722
o 184650
o 184506
o 184464
o 184419
o 184167
o 184023
o 183981
o 183936
o 183864
o 183720
o 183678
o 183633
o 183567
o 183525
o 183480
o 183316
o 183172
o 183130
o 183085
o 182681
o 182537
o 182495
o 182450
o 182378
o 182234
o 182192
o 182147
o 182031
o 181989
o 181944
o 181692
o 181548
o 181506
o 181461
o 181389
o 181245
o 181203
o 181158
o 180771
o 180627
o 180585
o 180540
o 180206
o 180062
o 180020
o 179975
o 179903
o 179759
o 179717
o 179672
o 179547
o 179505
o 179460
o 179388
o 179244
o 179202
o 179157
o 178905
o 178761
o 178719
o 178674
o 178602
o 178458
o 178416
o 178371
o 177984
o 177840
o 177798
o 177753
o 177419
o 177275
o 177233
o 177188
o 177116
o 176972
o 176930
o 176885
o 176813
o 176669
o 176627
o 176582
o 176510
o 176366
o 176324
o 176279
o 176277
o 176235
o 176190
o 175856
o 175712
o 175670
o 175625
o 175553
o 175409
o 175367
o 175322
o 175070
o 174926
o 174884
o 174839
o 174767
o 174623
o 174581
o 174536
o 174149
o 174005
o 173963
o 173918
o 173584
o 173440
o 173398
o 173353
o 173281
o 173137
o 173095
o 173050
o 172925
o 172883
o 172838
o 172766
o 172622
o 172580
o 172535
o 172283
o 172139
o 172097
o 172052
o 171980
o 171836
o 171794
o 171749
o 171362
o 171218
o 171176
o 171131
o 170797
o 170653
o 170611
o 170566
o 170494
o 170350
o 170308
o 170263
o 170237
o 170112
o 170070
o 170025
o 169953
o 169809
o 169767
o 169722
o 169470
o 169326
o 169284
o 169239
o 169167
o 169023
o 168981
o 168936
o 168549
o 168405
o 168363
o 168318
o 167984
o 167840
o 167798
o 167753
o 167681
o 167537
o 167495
o 167450
o 167400
o 167358
o 167313
o 166979
o 166835
o 166793
o 166748
o 166676
o 166532
o 166490
o 166445
o 166421
o 166277
o 166235
o 166190
o 166065
o 166023
o 165978
o 165906
o 165762
o 165720
o 165675
o 165423
o 165279
o 165237
o 165192
o 165120
o 164976
o 164934
o 164889
o 164502
o 164358
o 164316
o 164271
o 163937
o 163793
o 163751
o 163706
o 163634
o 163490
o 163448
o 163403
o 163337
o 163193
o 163151
o 163106
o 162772
o 162628
o 162586
o 162541
o 162469
o 162325
o 162283
o 162238
o 161986
o 161842
o 161800
o 161755
o 161683
o 161539
o 161497
o 161452
o 161065
o 160921
o 160879
o 160834
o 160500
o 160356
o 160314
o 160269
o 160197
o 160053
o 160011
o 159966
o 159841
o 159799
o 159754
o 159682
o 159538
o 159496
o 159451
o 159199
o 159055
o 159013
o 158968
o 158896
o 158752
o 158710
o 158665
o 158278
o 158134
o 158092
o 158047
o 157713
o 157569
o 157527
o 157482
o 157410
o 157266
o 157224
o 157179
o 157177
o 157135
o 157090
o 156756
o 156612
o 156570
o 156525
o 156453
o 156309
o 156267
o 156222
o 155970
o 155826
o 155784
o 155739
o 155667
o 155523
o 155481
o 155436
o 155049
o 154905
o 154863
o 154818
o 154484
o 154340
o 154298
o 154253
o 154181
o 154037
o 153995
o 153950
o 153825
o 153783
o 153738
o 153666
o 153522
o 153480
o 153435
o 153183
o 153039
o 152997
o 152952
o 152880
o 152736
o 152694
o 152649
o 152262
o 152118
o 152076
o 152031
o 151697
o 151553
o 151511
o 151466
o 151394
o 151250
o 151208
o 151163
o 151146
o 151101
o 151029
o 150885
o 150843
o 150798
o 150546
o 150402
o 150360
o 150315
o 150243
o 150099
o 150057
o 150012
o 149625
o 149481
o 149439
o 149394
o 149060
o 148916
o 148874
o 148829
o 148757
o 148613
o 148571
o 148526
o 148401
o 148359
o 148314
o 148242
o 148098
o 148056
o 148011
o 147759
o 147615
o 147573
o 147528
o 147456
o 147312
o 147270
o 147225
o 146838
o 146694
o 146652
o 146607
o 146273
o 146129
o 146087
o 146042
o 145970
o 145826
o 145784
o 145739
o 145655
o 145613
o 145568
o 145234
o 145090
o 145048
o 145003
o 144931
o 144787
o 144745
o 144700
o 144693
o 144651
o 144606
o 144354
o 144210
o 144168
o 144123
o 144051
o 143907
o 143865
o 143820
o 143433
o 143289
o 143247
o 143202
o 142868
o 142724
o 142682
o 142637
o 142565
o 142421
o 142379
o 142334
o 142056
o 141912
o 141870
o 141825
o 141753
o 141609
o 141567
o 141522
o 141397
o 141355
o 141310
o 141238
o 141094
o 141052
o 141007
o 140755
o 140611
o 140569
o 140524
o 140452
o 140308
o 140266
o 140221
o 139834
o 139690
o 139648
o 139603
o 139269
o 139125
o 139083
o 139038
o 138966
o 138822
o 138780
o 138735
o 138733
o 138691
o 138646
o 138312
o 138168
o 138126
o 138081
o 138009
o 137865
o 137823
o 137778
o 137526
o 137382
o 137340
o 137295
o 137223
o 137079
o 137037
o 136992
o 136605
o 136461
o 136419
o 136374
o 136040
o 135896
o 135854
o 135809
o 135737
o 135593
o 135551
o 135506
o 135381
o 135339
o 135294
o 135222
o 135078
o 135036
o 134991
o 134739
o 134595
o 134553
o 134508
o 134436
o 134292
o 134250
o 134205
o 133818
o 133674
o 133632
o 133587
o 133253
o 133109
o 133067
o 133022
o 132950
o 132806
o 132764
o 132719
o 132702
o 132657
o 132585
o 132441
o 132399
o 132354
o 132102
o 131958
o 131916
o 131871
o 131799
o 131655
o 131613
o 131568
o 131181
o 131037
o 130995
o 130950
o 130616
o 130472
o 130430
o 130385
o 130313
o 130169
o 130127
o 130082
o 129957
o 129915
o 129870
o 129798
o 129654
o 129612
o 129567
o 129315
o 129171
o 129129
o 129084
o 129012
o 128868
o 128826
o 128781
o 128394
o 128250
o 128208
o 128163
o 127829
o 127685
o 127643
o 127598
o 127526
o 127382
o 127340
o 127295
o 127211
o 127169
o 127124
o 126790
o 126646
o 126604
o 126559
o 126487
o 126343
o 126301
o 126256
o 126249
o 126207
o 126162
o 125910
o 125766
o 125724
o 125679
o 125607
o 125463
o 125421
o 125376
o 124989
o 124845
o 124803
o 124758
o 124424
o 124280
o 124238
o 124193
o 124121
o 123977
o 123935
o 123890
o 123747
o 123705
o 123660
o 123636
o 123326
o 123182
o 123140
o 123095
o 123023
o 122879
o 122837
o 122792
o 122667
o 122625
o 122580
o 122508
o 122364
o 122322
o 122277
o 122025
o 121881
o 121839
o 121794
o 121722
o 121578
o 121536
o 121491
o 121459
o 121414
o 121104
o 120960
o 120918
o 120873
o 120849
o 120539
o 120395
o 120353
o 120308
o 120236
o 120092
o 120050
o 120005
o 119921
o 119879
o 119834
o 119810
o 119500
o 119356
o 119314
o 119269
o 119197
o 119053
o 119011
o 118966
o 118959
o 118917
o 118872
o 118620
o 118476
o 118434
o 118389
o 118317
o 118173
o 118131
o 118086
o 118054
o 118009
o 117699
o 117555
o 117513
o 117468
o 117444
o 117134
o 116990
o 116948
o 116903
o 116831
o 116687
o 116645
o 116600
o 116581
o 116539
o 116494
o 116422
o 116278
o 116236
o 116191
o 116184
o 116142
o 116097
o 115845
o 115701
o 115659
o 115614
o 115542
o 115398
o 115356
o 115311
o 115279
o 115234
o 114924
o 114780
o 114738
o 114693
o 114669
o 114359
o 114215
o 114173
o 114128
o 114056
o 113912
o 113870
o 113825
o 113680
o 113536
o 113494
o 113449
o 113414
o 113372
o 113327
o 113233
o 113191
o 113146
o 113111
o 113069
o 113024
o 112887
o 112845
o 112800
o 112756
o 112728
o 112584
o 112542
o 112497
o 112453
o 112438
o 112396
o 112351
o 112316
o 112274
o 112229
o 112135
o 112093
o 112048
o 112013
o 111971
o 111926
o 111923
o 111881
o 111836
o 111801
o 111759
o 111714
o 111620
o 111578
o 111533
o 111498
o 111456
o 111411
o 111281
o 111137
o 111095
o 111050
o 111015
o 110973
o 110928
o 110834
o 110792
o 110747
o 110712
o 110670
o 110625
o 110360
o 110216
o 110174
o 110129
o 110094
o 110052
o 110007
o 109795
o 109651
o 109609
o 109564
o 109529
o 109487
o 109442
o 109348
o 109306
o 109261
o 109226
o 109184
o 109139
o 109002
o 108960
o 108915
o 108871
o 108843
o 108699
o 108657
o 108612
o 108568
o 108525
o 108490
o 108448
o 108403
o 108309
o 108267
o 108222
o 108187
o 108145
o 108100
o 107963
o 107921
o 107876
o 107832
o 107804
o 107660
o 107618
o 107573
o 107529
o 107523
o 107429
o 107387
o 107342
o 107307
o 107265
o 107220
o 106955
o 106811
o 106769
o 106724
o 106689
o 106647
o 106602
o 106390
o 106246
o 106204
o 106159
o 106124
o 106082
o 106037
o 105943
o 105901
o 105856
o 105821
o 105779
o 105734
o 105597
o 105555
o 105510
o 105466
o 105438
o 105294
o 105252
o 105207
o 105163
o 105058
o 104914
o 104872
o 104827
o 104792
o 104750
o 104705
o 104611
o 104569
o 104524
o 104489
o 104447
o 104402
o 104265
o 104223
o 104178
o 104134
o 104106
o 103962
o 103920
o 103875
o 103831
o 103778
o 103765
o 103656
o 103541
o 103432
o 103388
o 103382
o 103238
o 103129
o 103085
o 103007
o 102885
o 102831
o 102709
o 102640
o 102533
o 102389
o 102267
o 102199
o 102197
o 102075
o 101968
o 101824
o 101702
o 101665
o 101521
o 101399
o 101319
o 101175
o 101131
o 101016
o 100872
o 100828
o 100803
o 100659
o 100615
o 100500
o 100356
o 100312
o 100189
o 100067
o 99987
o 99843
o 99799
o 99684
o 99540
o 99496
o 99471
o 99327
o 99283
o 99168
o 99024
o 98980
o 98948
o 98833
o 98689
o 98645
o 98522
o 98400
o 98320
o 98176
o 98132
o 98017
o 97873
o 97829
o 97804
o 97660
o 97616
o 97501
o 97357
o 97313
o 97308
o 97185
o 97063
o 96983
o 96839
o 96795
o 96680
o 96536
o 96492
o 96467
o 96323
o 96279
o 96164
o 96020
o 95976
o 95970
o 95945
o 95801
o 95757
o 95642
o 95498
o 95454
o 95331
o 95209
o 95129
o 94985
o 94941
o 94826
o 94682
o 94638
o 94613
o 94469
o 94425
o 94310
o 94166
o 94122
o 94117
o 93994
o 93872
o 93792
o 93648
o 93604
o 93489
o 93345
o 93301
o 93276
o 93132
o 93088
o 92973
o 92829
o 92785
o 92769
o 92625
o 92581
o 92576
o 92453
o 92331
o 92251
o 92107
o 92063
o 91948
o 91804
o 91760
o 91735
o 91591
o 91547
o 91432
o 91288
o 91244
o 91207
o 91079
o 90957
o 90877
o 90733
o 90689
o 90574
o 90430
o 90386
o 90361
o 90217
o 90173
o 90058
o 89914
o 89870
o 89834
o 89690
o 89646
o 89621
o 89477
o 89433
o 89318
o 89174
o 89130
o 89021
o 88977
o 88929
o 88844
o 88796
o 88699
o 88649
o 88605
o 88557
o 88525
o 88381
o 88299
o 88155
o 88009
o 87865
o 87817
o 87712
o 87664
o 87457
o 87313
o 87297
o 87253
o 87205
o 87204
o 87160
o 87144
o 87100
o 87052
o 87005
o 86861
o 86852
o 86708
o 86690
o 86597
o 86537
o 86489
o 86345
o 86285
o 86192
o 86132
o 86096
o 86094
o 86092
o 86067
o 86042
o 86012
o 86010
o 85746
o 85602
o 85537
o 85507
o 85505
o 85449
o 85384
o 85354
o 85352
o 85194
o 85050
o 84985
o 84955
o 84953
o 84925
o 84895
o 84893
o 84832
o 84802
o 84800
o 84772
o 84742
o 84740
o 84739
o 84711
o 84681
o 84679
o 84654
o 84629
o 84599
o 84597
o 84393
o 84249
o 84184
o 84154
o 84152
o 84124
o 84094
o 84092
o 84031
o 84001
o 83999
o 83971
o 83941
o 83939
o 83867
o 83753
o 83693
o 83600
o 83540
o 83523
o 83495
o 83478
o 83334
o 83220
o 83092
o 82978
o 82933
o 82916
o 82772
o 82658
o 82544
o 82505
o 82391
o 82319
o 82175
o 82110
o 82080
o 82078
o 82022
o 81957
o 81927
o 81925
o 81846
o 81801
o 81793
o 81679
o 81640
o 81526
o 81522
o 81520
o 81441
o 81396
o 81388
o 81274
o 81235
o 81121
o 81085
o 81006
o 80961
o 80946
o 80901
o 80853
o 80808
o 80793
o 80748
o 80686
o 80626
o 80533
o 80473
o 80381
o 80316
o 80286
o 80284
o 80256
o 80226
o 80224
o 80163
o 80133
o 80131
o 80103
o 80073
o 80071
o 80052
o 80007
o 79992
o 79947
o 79885
o 79825
o 79732
o 79672
o 79650
o 79635
o 79590
o 79489
o 79375
o 79315
o 79284
o 79183
o 79069
o 79009
o 78946
o 78802
o 78688
o 78628
o 78535
o 78475
o 78474
o 78414
o 78392
o 78334
o 78220
o 78145
o 78001
o 77887
o 77827
o 77734
o 77674
o 77635
o 77491
o 77377
o 77317
o 77185
o 77071
o 77011
o 76953
o 76839
o 76779
o 76722
o 76608
o 76548
o 76502
o 76370
o 76256
o 76196
o 76113
o 76053
o 76040
o 75964
o 75850
o 75790
o 75749
o 75706
o 75646
o 75619
o 75559
o 75518
o 75475
o 75415
Killed
1979.579u 0.119s 33:07.23 99.6%	0+0k 0+0io 0pf+0w