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-100-2_network-4.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-100-2_network-4.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 318832
o 317570
o 316606
o 315109
o 315076
o 313814
o 313806
o 312544
o 312495
o 312105
o 312072
o 310810
o 310802
o 309540
o 309510
o 309502
o 308240
o 307469
o 306788
o 306017
o 305324
o 305294
o 305286
o 304024
o 303253
o 302725
o 302483
o 301712
o 301184
o 301017
o 300592
o 300159
o 299388
o 298860
o 298618
o 297847
o 297319
o 297152
o 296626
o 296447
o 295919
o 295613
o 295085
o 294906
o 294378
o 294211
o 293915
o 293748
o 293492
o 292995
o 292288
o 291760
o 291454
o 290747
o 290219
o 290052
o 289628
o 289461
o 288941
o 288413
o 288246
o 288209
o 287502
o 286974
o 286807
o 286542
o 286045
o 285338
o 284810
o 284504
o 283797
o 283269
o 283102
o 282678
o 282511
o 281991
o 281463
o 281296
o 281259
o 280552
o 280024
o 279857
o 279525
o 279219
o 278512
o 277984
o 277817
o 277393
o 277226
o 276706
o 276178
o 276011
o 275974
o 275267
o 274739
o 274572
o 274442
o 274275
o 274238
o 273531
o 273003
o 272836
o 272383
o 271676
o 271148
o 270842
o 270135
o 269607
o 269440
o 269016
o 268849
o 268329
o 267801
o 267634
o 267597
o 266890
o 266362
o 266195
o 266081
o 265553
o 265247
o 264540
o 264012
o 263845
o 263421
o 263254
o 262734
o 262206
o 262039
o 262002
o 261295
o 260767
o 260600
o 260333
o 260166
o 259742
o 259575
o 259055
o 258527
o 258360
o 258323
o 258289
o 257616
o 257088
o 256921
o 256547
o 256380
o 256262
o 255636
o 255108
o 254941
o 254739
o 254211
o 254044
o 253970
o 253819
o 253450
o 252922
o 252755
o 252380
o 252011
o 251483
o 251316
o 250971
o 250660
o 250132
o 249763
o 249235
o 249119
o 248591
o 248222
o 247694
o 247527
o 247103
o 246936
o 246785
o 246416
o 245888
o 245721
o 245346
o 244977
o 244449
o 244282
o 244055
o 243686
o 243158
o 242991
o 242567
o 242400
o 242249
o 241880
o 241352
o 241185
o 240810
o 240441
o 239913
o 239746
o 239707
o 239540
o 238958
o 238430
o 238061
o 237533
o 237498
o 236970
o 236694
o 236325
o 235797
o 235762
o 235234
o 235028
o 234784
o 234256
o 234221
o 233693
o 233487
o 233320
o 233102
o 232896
o 232729
o 232450
o 232415
o 231887
o 231681
o 231514
o 231011
o 230976
o 230448
o 230242
o 230075
o 229954
o 229787
o 229508
o 229473
o 228945
o 228739
o 228572
o 228069
o 228034
o 227506
o 227300
o 227133
o 226997
o 226603
o 226568
o 226040
o 225834
o 225590
o 225062
o 225027
o 224499
o 224293
o 224126
o 223990
o 223908
o 223702
o 223535
o 223256
o 223221
o 222693
o 222487
o 222320
o 221817
o 221782
o 221254
o 221048
o 220881
o 220745
o 220628
o 220125
o 220090
o 219562
o 219356
o 219189
o 219053
o 218724
o 218518
o 218351
o 218215
o 217900
o 217735
o 217694
o 217529
o 217527
o 217362
o 217024
o 216859
o 216824
o 216461
o 216296
o 216255
o 216090
o 216088
o 215923
o 215787
o 215670
o 215332
o 215167
o 215132
o 214769
o 214604
o 214563
o 214398
o 214396
o 214231
o 214095
o 214073
o 213867
o 213700
o 213564
o 213447
o 212944
o 212909
o 212381
o 212175
o 212008
o 211872
o 211382
o 211176
o 211009
o 210873
o 210692
o 210527
o 210486
o 210321
o 210319
o 210154
o 210018
o 209789
o 209624
o 209589
o 209226
o 209061
o 209020
o 208855
o 208776
o 208611
o 208248
o 208083
o 208048
o 207685
o 207520
o 207479
o 207314
o 207312
o 207147
o 207011
o 206929
o 206888
o 206723
o 206721
o 206556
o 206442
o 206277
o 206242
o 205879
o 205714
o 205673
o 205508
o 205506
o 205341
o 205003
o 204838
o 204803
o 204440
o 204275
o 204234
o 204069
o 204067
o 203902
o 203766
o 203649
o 203311
o 203146
o 203111
o 202748
o 202583
o 202542
o 202377
o 202375
o 202210
o 202074
o 202052
o 201846
o 201679
o 201543
o 201426
o 200923
o 200888
o 200360
o 200154
o 199987
o 199851
o 199773
o 199732
o 199567
o 199565
o 199400
o 199264
o 199147
o 198809
o 198644
o 198609
o 198246
o 198081
o 198040
o 197875
o 197873
o 197708
o 197572
o 197550
o 197344
o 197177
o 197041
o 197006
o 196839
o 196421
o 196386
o 195858
o 195652
o 195485
o 195349
o 195205
o 195191
o 195038
o 194902
o 194874
o 194709
o 194556
o 194503
o 194350
o 194336
o 194183
o 194047
o 193971
o 193806
o 193771
o 193408
o 193243
o 193090
o 193037
o 192884
o 192793
o 192430
o 192265
o 192230
o 191867
o 191702
o 191549
o 191496
o 191343
o 191329
o 191176
o 191040
o 190958
o 190905
o 190752
o 190738
o 190585
o 190459
o 190424
o 190061
o 189896
o 189743
o 189690
o 189537
o 189523
o 189370
o 189185
o 189020
o 188985
o 188622
o 188457
o 188304
o 188251
o 188098
o 188084
o 187931
o 187795
o 187678
o 187493
o 187328
o 187293
o 186930
o 186765
o 186612
o 186559
o 186406
o 186392
o 186239
o 186103
o 186081
o 186028
o 185875
o 185861
o 185708
o 185572
o 185537
o 185523
o 185370
o 185105
o 185070
o 184542
o 184389
o 184336
o 184183
o 184169
o 184016
o 183880
o 183805
o 183640
o 183605
o 183242
o 183077
o 182924
o 182871
o 182718
o 182704
o 182551
o 182415
o 182393
o 182340
o 182187
o 182173
o 182020
o 181884
o 181849
o 181835
o 181682
o 181417
o 181382
o 180854
o 180701
o 180648
o 180495
o 180481
o 180328
o 180192
o 180190
o 180137
o 179984
o 179970
o 179817
o 179632
o 179467
o 179432
o 179069
o 178904
o 178751
o 178698
o 178545
o 178531
o 178378
o 178242
o 178125
o 177940
o 177775
o 177740
o 177377
o 177212
o 177059
o 177006
o 176853
o 176839
o 176686
o 176550
o 176528
o 176475
o 176322
o 176308
o 176155
o 176019
o 175984
o 175970
o 175817
o 175552
o 175517
o 174989
o 174836
o 174783
o 174630
o 174616
o 174463
o 174327
o 174272
o 174219
o 174066
o 174052
o 173899
o 173763
o 173624
o 173488
o 173466
o 173313
o 173299
o 173146
o 173010
o 172975
o 172961
o 172808
o 172543
o 172508
o 172259
o 171980
o 171827
o 171774
o 171621
o 171607
o 171454
o 171318
o 171263
o 171210
o 171057
o 171043
o 170890
o 170754
o 170654
o 170601
o 170448
o 170434
o 170281
o 170145
o 170090
o 170037
o 169884
o 169870
o 169717
o 169581
o 169528
o 169363
o 169328
o 169206
o 168965
o 168800
o 168647
o 168594
o 168441
o 168427
o 168274
o 168138
o 168116
o 168063
o 167910
o 167896
o 167743
o 167607
o 167572
o 167558
o 167405
o 167140
o 167105
o 166983
o 166577
o 166424
o 166371
o 166218
o 166204
o 166051
o 165915
o 165860
o 165807
o 165654
o 165640
o 165487
o 165351
o 165212
o 165076
o 165054
o 164901
o 164887
o 164734
o 164598
o 164563
o 164549
o 164396
o 164131
o 164096
o 163974
o 163847
o 163568
o 163415
o 163362
o 163209
o 163195
o 163042
o 162906
o 162851
o 162798
o 162645
o 162631
o 162478
o 162342
o 162198
o 162062
o 162050
o 161997
o 161844
o 161830
o 161677
o 161541
o 161397
o 161261
o 161130
o 161116
o 160963
o 160827
o 160772
o 160719
o 160566
o 160552
o 160399
o 160263
o 160124
o 159988
o 159966
o 159813
o 159799
o 159646
o 159510
o 159475
o 159461
o 159308
o 159043
o 159008
o 158886
o 158759
o 158480
o 158327
o 158274
o 158121
o 158107
o 157954
o 157818
o 157763
o 157710
o 157557
o 157543
o 157390
o 157254
o 157110
o 156974
o 156862
o 156840
o 156687
o 156673
o 156520
o 156384
o 156349
o 156335
o 156182
o 155917
o 155882
o 155760
o 155633
o 155354
o 155201
o 155148
o 154995
o 154981
o 154828
o 154692
o 154637
o 154584
o 154431
o 154417
o 154264
o 154128
o 153984
o 153848
o 153792
o 153648
o 153512
o 153498
o 153362
o 153218
o 153082
o 153026
o 152882
o 152746
o 152676
o 152523
o 152509
o 152356
o 152220
o 152112
o 151959
o 151945
o 151792
o 151656
o 151512
o 151376
o 151346
o 151193
o 151179
o 151026
o 150890
o 150746
o 150610
o 150554
o 150410
o 150274
o 150221
o 150077
o 149941
o 149911
o 149758
o 149744
o 149591
o 149455
o 149311
o 149175
o 149119
o 148975
o 148839
o 148597
o 148444
o 148430
o 148277
o 148141
o 148033
o 147880
o 147866
o 147713
o 147577
o 147433
o 147297
o 147267
o 147114
o 147100
o 146947
o 146811
o 146667
o 146531
o 146475
o 146331
o 146195
o 146142
o 145998
o 145862
o 145832
o 145679
o 145665
o 145512
o 145376
o 145232
o 145096
o 145040
o 144896
o 144760
o 144622
o 144469
o 144455
o 144302
o 144189
o 144175
o 144022
o 143966
o 143853
o 143839
o 143686
o 143633
o 143520
o 143506
o 143353
o 143187
o 143034
o 143020
o 142867
o 142754
o 142740
o 142587
o 142531
o 142418
o 142404
o 142251
o 142244
o 142091
o 141978
o 141964
o 141811
o 141755
o 141642
o 141628
o 141475
o 141426
o 141313
o 141299
o 141146
o 140996
o 140922
o 140830
o 140677
o 140663
o 140510
o 140397
o 140383
o 140230
o 140174
o 140061
o 140047
o 139894
o 139887
o 139734
o 139621
o 139607
o 139454
o 139398
o 139285
o 139271
o 139118
o 139069
o 138956
o 138942
o 138789
o 138654
o 138640
o 138487
o 138374
o 138360
o 138207
o 138151
o 138038
o 138024
o 137871
o 137864
o 137711
o 137598
o 137584
o 137431
o 137375
o 137262
o 137248
o 137095
o 137046
o 136933
o 136919
o 136766
o 136616
o 136542
o 136450
o 136297
o 136283
o 136130
o 136017
o 136003
o 135850
o 135794
o 135681
o 135667
o 135514
o 135507
o 135354
o 135241
o 135227
o 135074
o 135018
o 134905
o 134891
o 134738
o 134689
o 134576
o 134562
o 134409
o 134345
o 134331
o 134178
o 134065
o 134051
o 133898
o 133842
o 133729
o 133715
o 133562
o 133555
o 133402
o 133289
o 133275
o 133122
o 133066
o 132953
o 132939
o 132786
o 132737
o 132624
o 132610
o 132457
o 132404
o 132390
o 132237
o 132170
o 132017
o 131950
o 131797
o 131778
o 131625
o 131618
o 131465
o 131338
o 131185
o 131129
o 131002
o 130849
o 130800
o 130673
o 130520
o 130442
o 130289
o 130162
o 130009
o 129953
o 129826
o 129673
o 129666
o 129513
o 129386
o 129233
o 129177
o 129050
o 128897
o 128848
o 128721
o 128568
o 128501
o 128348
o 128289
o 128136
o 128052
o 128014
o 127849
o 127696
o 127678
o 127513
o 127360
o 127349
o 127184
o 127031
o 126964
o 126811
o 126721
o 126665
o 126538
o 126385
o 126336
o 126209
o 126056
o 125989
o 125836
o 125777
o 125624
o 125540
o 125502
o 125337
o 125184
o 125166
o 125001
o 124848
o 124837
o 124672
o 124519
o 124452
o 124299
o 124269
o 124164
o 124116
o 124011
o 123944
o 123896
o 123791
o 123738
o 123671
o 123518
o 123489
o 123336
o 123271
o 123172
o 123101
o 122996
o 122948
o 122843
o 122723
o 122570
o 122503
o 122350
o 122321
o 122168
o 122152
o 121999
o 121977
o 121857
o 121704
o 121637
o 121484
o 121455
o 121302
o 121263
o 121245
o 121140
o 121051
o 120987
o 120898
o 120867
o 120778
o 120714
o 120625
o 120558
o 120494
o 120405
o 120376
o 120312
o 120223
o 120201
o 120170
o 120081
o 120017
o 119928
o 119861
o 119797
o 119708
o 119679
o 119615
o 119526
o 119522
o 119433
o 119366
o 119302
o 119213
o 119184
o 119120
o 119031
o 118981
o 118917
o 118828
o 118761
o 118697
o 118608
o 118579
o 118515
o 118426
o 118420
o 118331
o 118302
o 118238
o 118149
o 118100
o 118036
o 117947
o 117918
o 117854
o 117765
o 117715
o 117651
o 117562
o 117495
o 117431
o 117342
o 117313
o 117249
o 117160
o 117134
o 117105
o 117041
o 116952
o 116902
o 116838
o 116749
o 116682
o 116618
o 116529
o 116500
o 116436
o 116347
o 116264
o 116235
o 116171
o 116082
o 116031
o 116013
o 115949
o 115860
o 115823
o 115740
o 115673
o 115609
o 115520
o 115475
o 115408
o 115344
o 115255
o 115226
o 115162
o 115073
o 115067
o 114978
o 114949
o 114885
o 114796
o 114747
o 114683
o 114594
o 114557
o 114474
o 114407
o 114343
o 114254
o 114209
o 114142
o 114078
o 113989
o 113960
o 113896
o 113807
o 113756
o 113748
o 113684
o 113595
o 113503
o 113470
o 113365
o 113317
o 113298
o 113250
o 113145
o 113097
o 113052
o 113033
o 112985
o 112880
o 112832
o 112803
o 112698
o 112650
o 112586
o 112577
o 112497
o 112488
o 112335
o 112290
o 112223
o 112070
o 111987
o 111964
o 111875
o 111811
o 111722
o 111655
o 111591
o 111502
o 111473
o 111409
o 111320
o 111290
o 111267
o 111178
o 111114
o 111025
o 110958
o 110894
o 110805
o 110776
o 110712
o 110623
o 110572
o 110509
o 110356
o 110273
o 110206
o 110142
o 110053
o 110008
o 109941
o 109877
o 109788
o 109759
o 109695
o 109606
o 109576
o 109553
o 109464
o 109400
o 109311
o 109244
o 109180
o 109091
o 109062
o 108998
o 108909
o 108858
o 108829
o 108765
o 108676
o 108647
o 108583
o 108494
o 108448
o 108439
o 108375
o 108286
o 108257
o 108193
o 108104
o 108086
o 108022
o 107933
o 107904
o 107840
o 107751
o 107700
o 107654
o 107590
o 107501
o 107486
o 107483
o 107419
o 107330
o 107265
o 107218
o 107154
o 107065
o 107050
o 106986
o 106971
o 106913
o 106849
o 106760
o 106745
o 106706
o 106639
o 106575
o 106486
o 106457
o 106393
o 106304
o 106253
o 106236
o 106221
o 106185
o 106138
o 106074
o 105985
o 105981
o 105892
o 105828
o 105739
o 105692
o 105628
o 105539
o 105524
o 105466
o 105402
o 105313
o 105298
o 105271
o 105246
o 105231
o 105171
o 105082
o 105067
o 105018
o 104929
o 104920
o 104818
o 104729
o 104714
o 104694
o 104592
o 104503
o 104488
o 104420
o 104331
o 104316
o 104261
o 104172
o 104136
o 104072
o 103983
o 103961
o 103910
o 103808
o 103775
o 103686
o 103682
o 103593
o 103529
o 103440
o 103393
o 103329
o 103240
o 103167
o 103103
o 103014
Killed
1979.662u 0.036s 33:05.86 99.6%	0+0k 0+0io 0pf+0w