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-2.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-2.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 246874
o 246762
o 246433
o 246219
o 245410
o 245298
o 244969
o 244662
o 242558
o 241890
o 240959
o 240652
o 240438
o 240426
o 239495
o 239188
o 239076
o 239054
o 238747
o 238658
o 238646
o 237715
o 237408
o 237296
o 237274
o 236967
o 236921
o 236909
o 235978
o 235671
o 235559
o 235537
o 235230
o 234446
o 234139
o 234077
o 233770
o 233640
o 232709
o 232402
o 232340
o 232033
o 231819
o 231245
o 230938
o 230876
o 230569
o 230457
o 230435
o 230128
o 230019
o 229912
o 229712
o 229650
o 229543
o 229343
o 229213
o 228614
o 228482
o 228282
o 228175
o 227975
o 227913
o 227806
o 227606
o 227592
o 227392
o 227150
o 227018
o 226818
o 226711
o 226511
o 226449
o 226342
o 226142
o 226030
o 226008
o 225901
o 225701
o 225672
o 225472
o 225410
o 225303
o 225103
o 224991
o 224969
o 224862
o 224662
o 224544
o 224344
o 224237
o 224037
o 223975
o 223868
o 223668
o 223556
o 223534
o 223427
o 223227
o 223137
o 223005
o 222805
o 222698
o 222498
o 222436
o 222329
o 222129
o 222017
o 221995
o 221888
o 221688
o 221661
o 221599
o 221492
o 221292
o 221180
o 221158
o 221051
o 220851
o 220733
o 220621
o 220599
o 220492
o 220292
o 220170
o 220063
o 219863
o 219801
o 219694
o 219494
o 219304
o 219242
o 219135
o 218935
o 218921
o 218721
o 218706
o 218599
o 218399
o 218337
o 218230
o 218030
o 217840
o 217778
o 217671
o 217471
o 217375
o 217175
o 217063
o 217030
o 216934
o 216734
o 216632
o 216432
o 216336
o 216136
o 216024
o 215991
o 215895
o 215695
o 215556
o 215366
o 215304
o 215197
o 214997
o 214901
o 214701
o 214589
o 214556
o 214460
o 214260
o 214217
o 214017
o 213827
o 213765
o 213658
o 213458
o 213362
o 213162
o 213050
o 213017
o 212921
o 212721
o 212623
o 212561
o 212454
o 212254
o 212163
o 211963
o 211949
o 211842
o 211642
o 211452
o 211390
o 211283
o 211083
o 210987
o 210787
o 210675
o 210642
o 210546
o 210346
o 210244
o 210044
o 209948
o 209748
o 209636
o 209603
o 209507
o 209307
o 209168
o 208978
o 208916
o 208809
o 208609
o 208513
o 208313
o 208201
o 208168
o 208072
o 207872
o 207829
o 207629
o 207439
o 207377
o 207270
o 207070
o 206974
o 206774
o 206662
o 206629
o 206533
o 206333
o 206139
o 206048
o 205848
o 205834
o 205727
o 205527
o 205337
o 205275
o 205168
o 204968
o 204872
o 204672
o 204560
o 204527
o 204431
o 204231
o 204108
o 203918
o 203856
o 203749
o 203549
o 203453
o 203253
o 203141
o 203108
o 203012
o 202812
o 202801
o 202694
o 202494
o 202398
o 202198
o 202086
o 202053
o 201957
o 201757
o 201714
o 201514
o 201324
o 201262
o 201155
o 200955
o 200859
o 200659
o 200547
o 200514
o 200418
o 200218
o 200202
o 200002
o 199944
o 199936
o 199840
o 199640
o 199528
o 199495
o 199399
o 199199
o 199123
o 198923
o 198733
o 198671
o 198564
o 198364
o 198268
o 198068
o 197956
o 197923
o 197827
o 197627
o 197569
o 197462
o 197366
o 197166
o 197054
o 197021
o 196925
o 196725
o 196682
o 196482
o 196292
o 196230
o 196123
o 195923
o 195827
o 195627
o 195515
o 195482
o 195386
o 195186
o 195153
o 195110
o 194910
o 194720
o 194658
o 194551
o 194351
o 194255
o 194055
o 193943
o 193910
o 193814
o 193614
o 193556
o 193367
o 193177
o 193115
o 193008
o 192808
o 192712
o 192512
o 192400
o 192367
o 192271
o 192071
o 192038
o 191995
o 191795
o 191605
o 191543
o 191436
o 191236
o 191140
o 190940
o 190828
o 190795
o 190699
o 190499
o 190441
o 190405
o 190298
o 190098
o 190002
o 189802
o 189690
o 189657
o 189561
o 189361
o 189303
o 189209
o 189019
o 188957
o 188850
o 188650
o 188554
o 188354
o 188242
o 188209
o 188113
o 187913
o 187897
o 187697
o 187639
o 187631
o 187535
o 187335
o 187223
o 187190
o 187094
o 186894
o 186818
o 186618
o 186428
o 186366
o 186259
o 186059
o 185963
o 185763
o 185651
o 185618
o 185522
o 185322
o 185264
o 185157
o 185061
o 184861
o 184749
o 184716
o 184620
o 184420
o 184377
o 184177
o 183987
o 183925
o 183818
o 183618
o 183522
o 183322
o 183210
o 183177
o 183081
o 182881
o 182848
o 182805
o 182605
o 182415
o 182353
o 182246
o 182046
o 181950
o 181750
o 181638
o 181605
o 181509
o 181309
o 181251
o 181227
o 181131
o 180931
o 180855
o 180655
o 180465
o 180403
o 180296
o 180096
o 180000
o 179800
o 179688
o 179655
o 179559
o 179359
o 179301
o 179194
o 179098
o 178898
o 178786
o 178753
o 178657
o 178457
o 178414
o 178214
o 178024
o 177962
o 177855
o 177655
o 177559
o 177359
o 177247
o 177214
o 177118
o 176918
o 176885
o 176842
o 176642
o 176452
o 176390
o 176283
o 176083
o 175987
o 175787
o 175675
o 175642
o 175546
o 175346
o 175288
o 175213
o 175166
o 175158
o 174970
o 174968
o 174780
o 174607
o 174599
o 174411
o 174311
o 174303
o 174115
o 174003
o 173970
o 173870
o 173862
o 173674
o 173654
o 173646
o 173458
o 173400
o 173392
o 173292
o 173284
o 173096
o 172984
o 172951
o 172851
o 172843
o 172655
o 172575
o 172567
o 172379
o 172377
o 172189
o 172016
o 172008
o 171820
o 171720
o 171712
o 171524
o 171412
o 171379
o 171279
o 171271
o 171083
o 171025
o 170918
o 170818
o 170810
o 170622
o 170510
o 170477
o 170377
o 170369
o 170181
o 170134
o 170126
o 169938
o 169936
o 169748
o 169575
o 169567
o 169379
o 169279
o 169271
o 169083
o 168971
o 168938
o 168838
o 168830
o 168642
o 168609
o 168562
o 168554
o 168366
o 168364
o 168176
o 168003
o 167995
o 167807
o 167707
o 167699
o 167511
o 167399
o 167366
o 167266
o 167258
o 167070
o 167012
o 166872
o 166852
o 166844
o 166656
o 166598
o 166590
o 166490
o 166482
o 166294
o 166182
o 166149
o 166049
o 166041
o 165853
o 165773
o 165765
o 165577
o 165575
o 165387
o 165214
o 165206
o 165018
o 164918
o 164910
o 164722
o 164610
o 164577
o 164477
o 164469
o 164281
o 164223
o 164116
o 164016
o 164008
o 163820
o 163708
o 163675
o 163575
o 163567
o 163379
o 163332
o 163324
o 163136
o 163134
o 162946
o 162773
o 162765
o 162577
o 162477
o 162469
o 162281
o 162169
o 162136
o 162036
o 162028
o 161840
o 161807
o 161760
o 161752
o 161564
o 161562
o 161374
o 161201
o 161193
o 161005
o 160905
o 160897
o 160709
o 160597
o 160564
o 160464
o 160456
o 160268
o 160210
o 160173
o 160165
o 159977
o 159975
o 159787
o 159614
o 159606
o 159418
o 159318
o 159310
o 159122
o 159010
o 158977
o 158877
o 158869
o 158681
o 158648
o 158601
o 158593
o 158405
o 158403
o 158215
o 158042
o 158034
o 157846
o 157746
o 157738
o 157550
o 157438
o 157405
o 157305
o 157297
o 157109
o 157051
o 156970
o 156968
o 156780
o 156607
o 156599
o 156411
o 156311
o 156303
o 156115
o 156003
o 155970
o 155870
o 155862
o 155674
o 155616
o 155570
o 155562
o 155374
o 155341
o 155294
o 155286
o 155098
o 155096
o 154908
o 154735
o 154727
o 154539
o 154439
o 154431
o 154243
o 154131
o 154098
o 153998
o 153990
o 153802
o 153744
o 153683
o 153675
o 153487
o 153375
o 153342
o 153242
o 153234
o 153046
o 153013
o 152966
o 152958
o 152770
o 152768
o 152580
o 152407
o 152399
o 152211
o 152111
o 152103
o 151915
o 151803
o 151770
o 151670
o 151662
o 151474
o 151416
o 151395
o 151387
o 151199
o 151197
o 151009
o 150836
o 150828
o 150640
o 150540
o 150532
o 150344
o 150232
o 150199
o 150099
o 150091
o 149903
o 149845
o 149749
o 149602
o 149453
o 149341
o 149308
o 149161
o 149012
o 148954
o 148847
o 148700
o 148551
o 148439
o 148406
o 148259
o 148110
o 148016
o 148014
o 147826
o 147653
o 147645
o 147457
o 147308
o 147161
o 147012
o 146900
o 146867
o 146720
o 146571
o 146538
o 146444
o 146442
o 146254
o 146081
o 146073
o 145885
o 145736
o 145589
o 145440
o 145328
o 145295
o 145148
o 144999
o 144941
o 144849
o 144702
o 144553
o 144441
o 144408
o 144261
o 144112
o 144018
o 144016
o 143828
o 143655
o 143647
o 143459
o 143310
o 143163
o 143014
o 142902
o 142869
o 142722
o 142573
o 142506
o 142357
o 142299
o 142291
o 142144
o 141995
o 141883
o 141850
o 141703
o 141554
o 141553
o 141552
o 141427
o 141425
o 141237
o 141064
o 141056
o 140868
o 140719
o 140572
o 140423
o 140311
o 140278
o 140131
o 139982
o 139924
o 139817
o 139670
o 139521
o 139409
o 139376
o 139229
o 139080
o 138986
o 138984
o 138796
o 138623
o 138615
o 138427
o 138278
o 138131
o 137982
o 137870
o 137837
o 137690
o 137541
o 137508
o 137414
o 137412
o 137224
o 137051
o 137043
o 136855
o 136706
o 136559
o 136410
o 136298
o 136265
o 136118
o 135969
o 135911
o 135810
o 135777
o 135683
o 135681
o 135493
o 135320
o 135312
o 135124
o 134975
o 134828
o 134679
o 134567
o 134534
o 134387
o 134238
o 134180
o 134090
o 133978
o 133945
o 133798
o 133649
o 133591
o 133484
o 133337
o 133188
o 133076
o 133043
o 132896
o 132747
o 132653
o 132651
o 132463
o 132290
o 132282
o 132094
o 131945
o 131798
o 131649
o 131537
o 131504
o 131357
o 131208
o 131175
o 131081
o 131079
o 130891
o 130718
o 130710
o 130522
o 130373
o 130226
o 130077
o 129965
o 129932
o 129785
o 129636
o 129578
o 129562
o 129415
o 129266
o 129212
o 129154
o 129100
o 128974
o 128825
o 128771
o 128731
o 128729
o 128541
o 128368
o 128360
o 128172
o 128023
o 127876
o 127727
o 127673
o 127615
o 127561
o 127435
o 127286
o 127232
o 127199
o 127159
o 127157
o 126969
o 126796
o 126788
o 126600
o 126451
o 126304
o 126155
o 126101
o 126043
o 125989
o 125863
o 125714
o 125660
o 125656
o 125602
o 125570
o 125530
o 125528
o 125340
o 125167
o 125159
o 124971
o 124822
o 124675
o 124526
o 124472
o 124414
o 124360
o 124234
o 124085
o 124031
o 124027
o 123973
o 123884
o 123735
o 123623
o 123590
o 123443
o 123294
o 123218
o 123069
o 122922
o 122773
o 122661
o 122628
o 122481
o 122332
o 122274
o 122167
o 122020
o 121871
o 121759
o 121726
o 121579
o 121430
o 121336
o 121334
o 121146
o 120973
o 120965
o 120777
o 120628
o 120481
o 120332
o 120220
o 120187
o 120040
o 119891
o 119858
o 119764
o 119762
o 119574
o 119401
o 119393
o 119205
o 119056
o 118909
o 118760
o 118648
o 118615
o 118468
o 118319
o 118261
o 118229
o 118135
o 118133
o 117945
o 117772
o 117764
o 117576
o 117427
o 117280
o 117131
o 117019
o 116986
o 116839
o 116690
o 116632
o 116559
o 116410
o 116356
o 116298
o 116244
o 116118
o 115969
o 115915
o 115882
o 115842
o 115840
o 115652
o 115479
o 115471
o 115283
o 115134
o 114987
o 114838
o 114784
o 114726
o 114672
o 114546
o 114397
o 114343
o 114339
o 114285
o 114253
o 114213
o 114211
o 114023
o 113850
o 113842
o 113654
o 113505
o 113358
o 113209
o 113155
o 113097
o 113043
o 112917
o 112768
o 112714
o 112710
o 112656
o 112511
o 112448
o 112301
o 112152
o 112098
o 112040
o 111986
o 111860
o 111711
o 111657
o 111653
o 111599
o 111567
o 111523
o 111515
o 111327
o 111178
o 111031
o 110882
o 110819
o 110672
o 110523
o 110469
o 110411
o 110357
o 110231
o 110082
o 110028
o 110024
o 109970
o 109868
o 109719
o 109665
o 109607
o 109553
o 109427
o 109278
o 109224
o 109220
o 109166
o 109133
o 109079
o 109075
o 109021
o 109018
o 108960
o 108906
o 108780
o 108631
o 108577
o 108573
o 108519
o 108417
o 108268
o 108214
o 108156
o 108102
o 107976
o 107827
o 107773
o 107769
o 107715
o 107684
o 107535
o 107481
o 107477
o 107423
o 107390
o 107336
o 107332
o 107278
o 107275
o 107217
o 107163
o 107037
o 106888
o 106834
o 106830
o 106776
o 106674
o 106525
o 106471
o 106413
o 106359
o 106233
o 106084
o 106030
o 106026
o 105972
o 105942
o 105938
o 105884
o 105818
o 105764
o 105760
o 105706
o 105679
o 105530
o 105467
o 105320
o 105171
o 105117
o 105113
o 105059
o 105008
o 105000
o 104812
o 104663
o 104516
o 104367
o 104313
o 104309
o 104255
o 104253
o 104199
o 104195
o 104141
o 104098
o 104044
o 104040
o 103986
o 103957
o 103810
o 103661
o 103607
o 103603
o 103549
o 103518
o 103455
o 103308
o 103159
o 103105
o 103101
o 103047
o 102996
o 102988
o 102800
o 102651
o 102504
o 102355
o 102301
o 102297
o 102243
o 102098
o 101951
o 101802
o 101729
o 101582
o 101433
o 101379
o 101375
o 101321
o 101176
o 101027
o 100880
o 100731
o 100677
o 100673
o 100619
o 100601
o 100452
o 100398
o 100394
o 100340
o 100247
o 100193
o 100189
o 100135
o 99952
o 99803
o 99745
o 99673
o 99524
o 99466
o 99344
o 99195
o 99067
o 99058
o 99043
o 99035
o 98847
o 98698
o 98640
o 98493
o 98356
o 98341
o 98333
o 98145
o 97996
o 97938
o 97866
o 97717
o 97659
o 97636
o 97582
o 97578
o 97524
o 97520
o 97332
o 97183
o 97129
o 97125
o 97071
o 96934
o 96880
o 96876
o 96822
o 96792
o 96655
o 96601
o 96597
o 96543
o 96504
o 96376
o 96367
o 96356
o 96156
o 96007
o 95949
o 95802
o 95665
o 95654
o 95454
o 95305
o 95247
o 95175
o 95026
o 94968
o 94945
o 94891
o 94887
o 94833
o 94641
o 94492
o 94438
o 94434
o 94380
o 94243
o 94189
o 94185
o 94131
o 94101
o 93964
o 93910
o 93906
o 93852
o 93754
o 93744
o 93544
o 93395
o 93337
o 93327
o 93178
o 93120
o 93088
o 92951
o 92940
o 92740
o 92591
o 92533
o 92528
o 92524
o 92470
o 92365
o 92311
o 92307
o 92253
o 92138
o 92127
o 91927
o 91778
o 91724
o 91720
o 91666
o 91529
o 91475
o 91471
o 91417
o 91410
o 91352
o 91333
o 91184
o 91130
o 91126
o 91072
o 90946
o 90746
o 90597
o 90543
o 90539
o 90485
o 90348
o 90294
o 90290
o 90236
o 90206
o 90202
o 90148
o 90011
o 89957
o 89953
o 89899
o 89879
o 89875
o 89858
o 89821
o 89770
o 89716
o 89712
o 89658
o 89596
o 89542
o 89538
o 89484
o 89465
o 89428
o 89411
o 89374
o 89370
o 89353
o 89316
o 89202
o 89148
o 89144
o 89090
o 88972
o 88918
o 88914
o 88860
o 88746
o 88692
o 88688
o 88634
o 88544
o 88486
o 88458
o 88454
o 88400
o 88389
o 88372
o 88335
o 88331
o 88314
o 88277
o 88260
o 88232
o 88228
o 88174
o 88163
o 88146
o 88109
o 88105
o 88088
o 88051
o 87994
o 87940
o 87936
o 87882
o 87868
o 87826
o 87772
o 87768
o 87714
o 87515
o 87366
o 87308
o 87212
o 87063
o 87005
o 86922
o 86911
o 86711
o 86562
o 86504
o 86336
o 86278
o 86181
o 86127
o 86123
o 86069
o 85979
o 85921
o 85753
o 85695
o 85598
o 85544
o 85540
o 85486
o 85381
o 85323
o 85155
o 85097
o 85000
o 84946
o 84942
o 84888
o 84798
o 84740
o 84572
o 84514
o 84417
o 84363
o 84359
o 84305
o 84252
o 84248
o 84194
o 84080
o 84026
o 84022
o 83968
o 83947
o 83779
o 83721
o 83624
o 83570
o 83566
o 83512
o 83422
o 83364
o 83196
o 83138
o 83041
o 82987
o 82983
o 82929
o 82876
o 82872
o 82818
o 82704
o 82650
o 82646
o 82592
o 82583
o 82432
o 82378
o 82169
o 82140
o 81989
o 81935
o 81820
o 81766
o 81752
o 81652
o 81598
o 81573
o 81544
o 81393
o 81339
o 81224
o 81170
o 81156
o 81056
o 81002
o 80793
o 80764
o 80613
o 80559
o 80444
o 80390
o 80376
o 80276
o 80222
o 80043
o 80014
o 79863
o 79809
o 79694
o 79640
o 79626
o 79526
o 79472
o 79456
o 79305
o 79251
o 79247
o 79220
o 79166
o 79123
o 79083
o 79051
o 78997
o 78983
o 78955
o 78915
o 78883
o 78829
o 78788
o 78734
o 78694
o 78662
o 78608
o 78570
o 78364
o 78328
o 78296
o 78150
o 78114
o 78085
o 77970
o 77934
o 77916
o 77880
o 77813
o 77777
o 77748
o 77633
o 77597
o 77579
o 77543
o 77527
o 77412
o 77376
o 77358
o 77322
o 77318
o 77291
o 77273
o 77237
o 77116
o 77080
o 77062
o 77026
o 77022
o 76986
o 76954
o 76936
o 76900
o 76895
o 76859
o 76841
o 76805
o 76801
o 76765
o 76733
o 76715
o 76679
o 76654
o 76628
o 76614
o 76550
o 76514
o 76496
o 76460
o 76419
o 76213
o 76177
o 76159
o 76123
o 76106
o 76070
o 75992
o 75956
o 75938
o 75902
Killed
1979.688u 0.010s 33:13.32 99.3%	0+0k 0+0io 0pf+0w