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-10.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-100-2_network-10.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 309185
o 308618
o 308291
o 308035
o 307708
o 305437
o 304870
o 304543
o 303311
o 302728
o 301940
o 300899
o 299563
o 298996
o 298669
o 298579
o 298094
o 298006
o 296965
o 295629
o 295062
o 294735
o 294452
o 294237
o 293752
o 293664
o 292623
o 291287
o 291045
o 290017
o 289450
o 289123
o 288409
o 287842
o 287515
o 287481
o 287393
o 286352
o 285016
o 284774
o 283746
o 282797
o 282230
o 281903
o 281805
o 281238
o 280911
o 279963
o 279396
o 279069
o 278400
o 278094
o 277468
o 276901
o 276574
o 276362
o 275795
o 275468
o 274799
o 274493
o 273867
o 273300
o 272973
o 272767
o 272440
o 271942
o 271615
o 271549
o 271544
o 271011
o 270684
o 270176
o 269849
o 269392
o 269358
o 268825
o 268498
o 268362
o 267829
o 267523
o 267430
o 266897
o 266863
o 266330
o 266003
o 265937
o 265932
o 265399
o 265072
o 264564
o 264237
o 263903
o 263576
o 263048
o 262742
o 262649
o 262116
o 262082
o 261549
o 261222
o 261156
o 261151
o 260618
o 260291
o 259783
o 259456
o 259122
o 258795
o 258557
o 258230
o 257724
o 257418
o 257325
o 256792
o 256758
o 256225
o 255898
o 255832
o 255827
o 255294
o 254967
o 254459
o 254132
o 253798
o 253471
o 253059
o 252732
o 252666
o 252661
o 252128
o 251801
o 251293
o 250966
o 250632
o 250305
o 250209
o 250143
o 250138
o 249605
o 249278
o 248770
o 248443
o 248109
o 247782
o 247370
o 247043
o 246977
o 246972
o 246439
o 246112
o 245604
o 245277
o 244943
o 244616
o 244609
o 244275
o 243948
o 243536
o 243209
o 243143
o 243138
o 242605
o 242278
o 241770
o 241443
o 241109
o 240782
o 240464
o 240137
o 239803
o 239476
o 239469
o 239135
o 238808
o 238396
o 238069
o 238003
o 237998
o 237465
o 237138
o 236630
o 236303
o 235969
o 235642
o 235610
o 235283
o 234775
o 234448
o 234114
o 233787
o 233525
o 233198
o 233191
o 232857
o 232530
o 232118
o 231791
o 231725
o 231720
o 231187
o 230860
o 230352
o 230025
o 229691
o 229364
o 229150
o 228823
o 228757
o 228752
o 228219
o 227892
o 227384
o 227057
o 226723
o 226396
o 226371
o 226037
o 225710
o 225604
o 225245
o 224918
o 224769
o 224410
o 224083
o 223749
o 223422
o 223415
o 223081
o 222754
o 222701
o 222342
o 222015
o 221949
o 221770
o 221411
o 221084
o 220935
o 220576
o 220249
o 219915
o 219588
o 219580
o 219246
o 218919
o 218696
o 218369
o 218035
o 217708
o 217573
o 217246
o 216912
o 216585
o 216532
o 216173
o 215846
o 215780
o 215601
o 215242
o 214915
o 214766
o 214407
o 214080
o 213746
o 213419
o 213412
o 213078
o 212751
o 212698
o 212339
o 212012
o 211946
o 211767
o 211408
o 211081
o 210932
o 210573
o 210246
o 209912
o 209585
o 209415
o 209088
o 209081
o 208747
o 208420
o 208367
o 208008
o 207681
o 207615
o 207436
o 207077
o 206750
o 206601
o 206242
o 205915
o 205581
o 205254
o 205149
o 204790
o 204463
o 204314
o 203955
o 203628
o 203294
o 202967
o 202960
o 202626
o 202299
o 202246
o 201887
o 201560
o 201494
o 201315
o 200956
o 200629
o 200480
o 200121
o 199794
o 199460
o 199133
o 199115
o 199108
o 198774
o 198447
o 198394
o 198035
o 197708
o 197642
o 197463
o 197104
o 196777
o 196628
o 196269
o 195942
o 195608
o 195281
o 195045
o 195007
o 194718
o 194680
o 194548
o 194510
o 194221
o 194183
o 194176
o 193880
o 193842
o 193553
o 193515
o 193500
o 193462
o 193141
o 193103
o 192814
o 192776
o 192748
o 192710
o 192569
o 192531
o 192210
o 192172
o 191883
o 191845
o 191734
o 191696
o 191375
o 191337
o 191048
o 191010
o 190714
o 190676
o 190387
o 190349
o 190282
o 190244
o 189923
o 189885
o 189596
o 189558
o 189447
o 189409
o 189088
o 189050
o 188761
o 188723
o 188427
o 188389
o 188100
o 188062
o 188055
o 187759
o 187721
o 187432
o 187394
o 187379
o 187341
o 187020
o 186982
o 186693
o 186655
o 186627
o 186589
o 186448
o 186410
o 186089
o 186051
o 185762
o 185724
o 185613
o 185575
o 185254
o 185216
o 184927
o 184889
o 184593
o 184555
o 184266
o 184228
o 183941
o 183903
o 183614
o 183576
o 183548
o 183510
o 183369
o 183331
o 183010
o 182972
o 182683
o 182645
o 182534
o 182496
o 182175
o 182137
o 181848
o 181810
o 181514
o 181476
o 181187
o 181149
o 181082
o 181044
o 180723
o 180685
o 180396
o 180358
o 180247
o 180209
o 179888
o 179850
o 179561
o 179523
o 179227
o 179189
o 178900
o 178862
o 178855
o 178559
o 178521
o 178232
o 178194
o 178179
o 178141
o 177820
o 177782
o 177493
o 177455
o 177427
o 177389
o 177248
o 177210
o 176889
o 176851
o 176562
o 176524
o 176413
o 176375
o 176054
o 176016
o 175727
o 175689
o 175393
o 175355
o 175066
o 175028
o 174993
o 174955
o 174659
o 174621
o 174332
o 174294
o 174287
o 173991
o 173953
o 173664
o 173626
o 173611
o 173573
o 173252
o 173214
o 172925
o 172887
o 172859
o 172821
o 172680
o 172642
o 172321
o 172283
o 171994
o 171956
o 171845
o 171807
o 171486
o 171448
o 171159
o 171121
o 170825
o 170787
o 170498
o 170460
o 170240
o 170202
o 169913
o 169875
o 169764
o 169726
o 169405
o 169367
o 169078
o 169040
o 168744
o 168706
o 168417
o 168379
o 168217
o 168179
o 167902
o 167864
o 167836
o 167798
o 167657
o 167619
o 167298
o 167260
o 166971
o 166933
o 166822
o 166784
o 166463
o 166425
o 166136
o 166098
o 165802
o 165764
o 165475
o 165437
o 165370
o 165332
o 165011
o 164973
o 164684
o 164646
o 164535
o 164497
o 164176
o 164138
o 163849
o 163811
o 163515
o 163477
o 163188
o 163150
o 163143
o 162847
o 162809
o 162520
o 162482
o 162423
o 162385
o 162096
o 162058
o 161781
o 161743
o 161715
o 161677
o 161536
o 161498
o 161177
o 161139
o 160850
o 160812
o 160701
o 160663
o 160342
o 160304
o 160015
o 159977
o 159681
o 159643
o 159354
o 159316
o 159046
o 159008
o 158731
o 158693
o 158665
o 158627
o 158486
o 158448
o 158127
o 158089
o 157800
o 157762
o 157651
o 157613
o 157292
o 157254
o 156965
o 156927
o 156631
o 156593
o 156304
o 156266
o 155985
o 155947
o 155651
o 155613
o 155324
o 155286
o 155219
o 155181
o 154860
o 154822
o 154533
o 154495
o 154384
o 154346
o 154025
o 153987
o 153698
o 153660
o 153364
o 153326
o 153037
o 152999
o 152992
o 152696
o 152658
o 152369
o 152331
o 152272
o 152234
o 151945
o 151907
o 151630
o 151592
o 151564
o 151526
o 151385
o 151347
o 151026
o 150988
o 150699
o 150661
o 150550
o 150512
o 150191
o 150153
o 149864
o 149826
o 149530
o 149492
o 149203
o 149165
o 149081
o 149043
o 148722
o 148684
o 148395
o 148357
o 148061
o 148023
o 147734
o 147696
o 147534
o 147496
o 147219
o 147181
o 147153
o 147115
o 146974
o 146936
o 146615
o 146577
o 146288
o 146250
o 146139
o 146101
o 145780
o 145742
o 145453
o 145415
o 145119
o 145081
o 144792
o 144754
o 144687
o 144649
o 144328
o 144290
o 144001
o 143963
o 143852
o 143814
o 143493
o 143455
o 143166
o 143128
o 142832
o 142794
o 142505
o 142467
o 142460
o 142164
o 142126
o 141837
o 141799
o 141740
o 141702
o 141413
o 141375
o 141098
o 141060
o 141032
o 140994
o 140853
o 140815
o 140494
o 140456
o 140167
o 140129
o 140018
o 139980
o 139659
o 139621
o 139332
o 139294
o 138998
o 138960
o 138671
o 138633
o 138395
o 138357
o 138329
o 138291
o 138150
o 138112
o 137791
o 137753
o 137464
o 137426
o 137315
o 137277
o 136956
o 136918
o 136629
o 136591
o 136295
o 136257
o 135968
o 135930
o 135907
o 135821
o 135783
o 135672
o 135634
o 135313
o 135275
o 134986
o 134948
o 134652
o 134614
o 134325
o 134287
o 134264
o 134258
o 134220
o 133931
o 133893
o 133870
o 133650
o 133612
o 133323
o 133285
o 133262
o 133176
o 133138
o 133027
o 132989
o 132668
o 132630
o 132341
o 132303
o 132007
o 131969
o 131680
o 131642
o 131619
o 131613
o 131575
o 131286
o 131248
o 131225
o 130974
o 130936
o 130640
o 130602
o 130313
o 130275
o 130252
o 130246
o 130208
o 129919
o 129881
o 129858
o 129856
o 129818
o 129795
o 129789
o 129751
o 129462
o 129424
o 129401
o 129291
o 129253
o 129140
o 128964
o 128926
o 128806
o 128630
o 128592
o 128479
o 128303
o 128265
o 128242
o 128085
o 128047
o 127927
o 127751
o 127713
o 127600
o 127424
o 127386
o 127235
o 127197
o 127107
o 127069
o 126750
o 126574
o 126536
o 126513
o 126356
o 126318
o 126228
o 126190
o 125871
o 125695
o 125657
o 125646
o 125608
o 125585
o 125460
o 125284
o 125246
o 125223
o 124754
o 124578
o 124540
o 124093
o 123917
o 123879
o 123856
o 123699
o 123661
o 123214
o 123038
o 123000
o 122999
o 122914
o 122738
o 122700
o 122544
o 122357
o 122181
o 122143
o 122013
o 121975
o 121934
o 121896
o 121873
o 121738
o 121700
o 121616
o 121440
o 121253
o 121077
o 121039
o 121016
o 120883
o 120696
o 120520
o 120482
o 120459
o 120374
o 120198
o 120160
o 120004
o 119817
o 119641
o 119603
o 119486
o 119448
o 119155
o 118979
o 118941
o 118940
o 118855
o 118679
o 118641
o 118485
o 118298
o 118122
o 118084
o 117967
o 117929
o 117838
o 117800
o 117644
o 117457
o 117281
o 117243
o 117126
o 117088
o 116787
o 116611
o 116573
o 116572
o 116487
o 116311
o 116273
o 116117
o 115930
o 115754
o 115716
o 115599
o 115561
o 115150
o 115112
o 115111
o 114850
o 114812
o 114656
o 114293
o 114255
o 114138
o 114100
o 114052
o 113689
o 113651
o 113534
o 113496
o 113214
o 113176
o 113059
o 113021
o 112965
o 112927
o 112810
o 112772
o 112724
o 112361
o 112323
o 112206
o 112168
o 111886
o 111848
o 111731
o 111693
o 111677
o 111639
o 111522
o 111484
o 111202
o 111164
o 111047
o 111009
o 110953
o 110915
o 110798
o 110760
o 110712
o 110349
o 110311
o 110194
o 110156
o 109874
o 109836
o 109719
o 109681
o 109411
o 109373
o 109256
o 109218
o 109214
o 108944
o 108906
o 108789
o 108751
o 108730
o 108692
o 108659
o 108542
o 108504
o 108451
o 108429
o 108421
o 108266
o 108165
o 108010
o 108002
o 107847
o 107791
o 107690
o 107535
o 107527
o 107372
o 107324
o 107223
o 107068
o 107060
o 106905
o 106821
o 106813
o 106658
o 106656
o 106618
o 106392
o 106354
o 106237
o 106199
o 106156
o 106100
o 105999
o 105844
o 105836
o 105681
o 105595
o 105587
o 105432
o 105410
o 105402
o 105247
o 105146
o 104991
o 104983
o 104828
o 104772
o 104671
o 104516
o 104508
o 104353
o 104305
o 104204
o 104049
o 104041
o 103886
o 103802
o 103794
o 103639
o 103587
o 103463
o 103436
o 103308
o 103275
o 103248
o 103120
o 103028
o 103001
o 102873
o 102732
o 102684
o 102556
o 102529
o 102401
o 102309
o 102282
o 102154
o 102121
o 102094
o 101966
Killed
1979.663u 0.035s 33:06.41 99.6%	0+0k 0+0io 0pf+0w