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
c first lower bound: 46610
o 314268
o 313276
o 311434
o 310851
o 310520
o 309528
o 307686
o 307500
o 306917
o 306702
o 306217
o 305594
o 303752
o 302130
o 301283
o 301097
o 300514
o 300299
o 299814
o 299191
o 297349
o 296680
o 295469
o 294825
o 293614
o 293536
o 292913
o 291071
o 290402
o 289191
o 288624
o 288297
o 287808
o 286597
o 286030
o 285703
o 285583
o 285016
o 284689
o 284051
o 283484
o 283157
o 282668
o 282373
o 281457
o 280890
o 280563
o 280443
o 279876
o 279549
o 279461
o 278894
o 278567
o 277929
o 277362
o 277035
o 276546
o 276340
o 276251
o 275335
o 274768
o 274441
o 274321
o 273754
o 273427
o 273343
o 273223
o 272656
o 272329
o 272241
o 271674
o 271347
o 270709
o 270142
o 269815
o 269064
o 269031
o 268115
o 267548
o 267221
o 267101
o 266534
o 266207
o 265963
o 265212
o 265179
o 264263
o 263696
o 263369
o 263249
o 262682
o 262355
o 262244
o 262211
o 261295
o 260728
o 260401
o 260281
o 259714
o 259387
o 259028
o 258701
o 258233
o 257906
o 257786
o 257219
o 256892
o 256533
o 256206
o 256150
o 255999
o 255823
o 255703
o 255312
o 255136
o 254985
o 254809
o 254698
o 254665
o 253925
o 253749
o 253358
o 253182
o 253031
o 252855
o 252735
o 252344
o 252168
o 252017
o 251841
o 251658
o 251482
o 251331
o 251155
o 250863
o 250687
o 250536
o 250360
o 250240
o 249849
o 249673
o 249522
o 249346
o 249163
o 248987
o 248836
o 248660
o 248594
o 248591
o 248415
o 248232
o 248056
o 247905
o 247729
o 247580
o 247397
o 247221
o 247070
o 246894
o 246845
o 246553
o 246377
o 246226
o 246050
o 245930
o 245539
o 245363
o 245212
o 245036
o 244853
o 244677
o 244526
o 244350
o 244302
o 244126
o 244006
o 243615
o 243439
o 243288
o 243112
o 242929
o 242753
o 242602
o 242426
o 242360
o 242357
o 242181
o 241998
o 241822
o 241671
o 241495
o 241346
o 241163
o 240987
o 240836
o 240660
o 240628
o 240479
o 240296
o 240120
o 239969
o 239793
o 239744
o 239452
o 239276
o 239125
o 238949
o 238829
o 238438
o 238262
o 238111
o 237935
o 237752
o 237576
o 237425
o 237249
o 237201
o 237025
o 236905
o 236514
o 236338
o 236187
o 236011
o 235828
o 235652
o 235501
o 235325
o 235259
o 235256
o 235080
o 234897
o 234721
o 234570
o 234394
o 234245
o 234062
o 233886
o 233735
o 233559
o 233513
o 233337
o 233217
o 232826
o 232650
o 232499
o 232323
o 232140
o 231964
o 231813
o 231637
o 231589
o 231413
o 231293
o 230902
o 230726
o 230575
o 230399
o 230216
o 230040
o 229889
o 229713
o 229647
o 229644
o 229468
o 229285
o 229109
o 228958
o 228782
o 228633
o 228450
o 228274
o 228123
o 227947
o 227931
o 227755
o 227572
o 227396
o 227245
o 227069
o 227021
o 226845
o 226725
o 226334
o 226158
o 226007
o 225831
o 225648
o 225472
o 225321
o 225145
o 225079
o 225076
o 224900
o 224717
o 224541
o 224390
o 224214
o 224065
o 223882
o 223706
o 223555
o 223379
o 223240
o 223064
o 222998
o 222995
o 222819
o 222636
o 222460
o 222309
o 222133
o 221984
o 221801
o 221625
o 221474
o 221298
o 221181
o 220998
o 220822
o 220671
o 220495
o 220346
o 220163
o 219987
o 219836
o 219660
o 219521
o 219345
o 219279
o 219276
o 219100
o 218917
o 218741
o 218590
o 218414
o 218265
o 218082
o 217906
o 217755
o 217579
o 217438
o 217287
o 217111
o 216972
o 216796
o 216730
o 216727
o 216551
o 216368
o 216192
o 216041
o 215865
o 215716
o 215533
o 215357
o 215206
o 215030
o 214982
o 214806
o 214657
o 214474
o 214298
o 214147
o 213971
o 213832
o 213656
o 213590
o 213587
o 213411
o 213228
o 213052
o 212901
o 212725
o 212576
o 212393
o 212217
o 212066
o 211890
o 211749
o 211598
o 211422
o 211283
o 211107
o 211041
o 211038
o 210862
o 210679
o 210503
o 210352
o 210176
o 210027
o 209844
o 209668
o 209517
o 209341
o 209218
o 209067
o 208891
o 208742
o 208559
o 208383
o 208232
o 208056
o 207915
o 207764
o 207588
o 207449
o 207273
o 207207
o 207204
o 207028
o 206845
o 206669
o 206518
o 206342
o 206193
o 206010
o 205834
o 205683
o 205507
o 205502
o 205319
o 205143
o 204992
o 204816
o 204667
o 204484
o 204308
o 204157
o 203981
o 203933
o 203757
o 203608
o 203425
o 203249
o 203098
o 202922
o 202783
o 202607
o 202541
o 202538
o 202362
o 202179
o 202003
o 201852
o 201676
o 201527
o 201344
o 201168
o 201017
o 200841
o 200700
o 200549
o 200373
o 200234
o 200058
o 199992
o 199989
o 199813
o 199630
o 199454
o 199303
o 199127
o 198978
o 198795
o 198619
o 198468
o 198292
o 198169
o 198018
o 197842
o 197693
o 197510
o 197334
o 197183
o 197007
o 196866
o 196715
o 196539
o 196400
o 196224
o 196158
o 196155
o 195979
o 195796
o 195620
o 195469
o 195293
o 195144
o 194961
o 194785
o 194634
o 194458
o 194418
o 194415
o 194239
o 194056
o 193880
o 193729
o 193553
o 193404
o 193221
o 193045
o 192894
o 192718
o 192577
o 192426
o 192250
o 192111
o 191935
o 191869
o 191866
o 191690
o 191507
o 191331
o 191180
o 191004
o 190855
o 190672
o 190496
o 190345
o 190169
o 190046
o 189895
o 189719
o 189570
o 189387
o 189211
o 189060
o 188884
o 188743
o 188592
o 188416
o 188277
o 188101
o 188035
o 188032
o 187856
o 187673
o 187497
o 187346
o 187170
o 187021
o 186838
o 186662
o 186511
o 186335
o 186197
o 186014
o 185838
o 185687
o 185511
o 185471
o 185468
o 185292
o 185109
o 184933
o 184782
o 184606
o 184457
o 184274
o 184098
o 183947
o 183771
o 183630
o 183479
o 183303
o 183164
o 182988
o 182922
o 182919
o 182743
o 182560
o 182384
o 182233
o 182057
o 181908
o 181725
o 181549
o 181398
o 181222
o 181099
o 180948
o 180772
o 180623
o 180440
o 180264
o 180113
o 179937
o 179796
o 179645
o 179469
o 179330
o 179154
o 179088
o 179085
o 178909
o 178726
o 178550
o 178399
o 178223
o 178074
o 177891
o 177715
o 177564
o 177388
o 177324
o 177141
o 176965
o 176814
o 176638
o 176489
o 176306
o 176130
o 175979
o 175803
o 175665
o 175482
o 175306
o 175155
o 174979
o 174939
o 174936
o 174760
o 174577
o 174401
o 174250
o 174074
o 173925
o 173742
o 173566
o 173415
o 173239
o 173098
o 172947
o 172771
o 172632
o 172456
o 172390
o 172387
o 172211
o 172028
o 171852
o 171701
o 171525
o 171376
o 171193
o 171017
o 170866
o 170690
o 170567
o 170416
o 170240
o 170091
o 169908
o 169732
o 169581
o 169405
o 169264
o 169113
o 168937
o 168798
o 168622
o 168556
o 168553
o 168377
o 168194
o 168018
o 167867
o 167691
o 167542
o 167359
o 167183
o 167032
o 166856
o 166700
o 166662
o 166549
o 166373
o 166335
o 166309
o 166271
o 166126
o 165950
o 165912
o 165799
o 165623
o 165585
o 165474
o 165436
o 165291
o 165115
o 165077
o 164964
o 164788
o 164750
o 164650
o 164612
o 164467
o 164291
o 164253
o 164140
o 163964
o 163926
o 163924
o 163886
o 163745
o 163707
o 163562
o 163386
o 163348
o 163235
o 163059
o 163021
o 162910
o 162872
o 162727
o 162551
o 162513
o 162400
o 162224
o 162186
o 162083
o 162045
o 161932
o 161756
o 161718
o 161617
o 161441
o 161403
o 161375
o 161337
o 161196
o 161158
o 161013
o 160837
o 160799
o 160686
o 160510
o 160472
o 160361
o 160323
o 160178
o 160002
o 159964
o 159851
o 159675
o 159637
o 159552
o 159514
o 159401
o 159225
o 159187
o 159076
o 159038
o 158893
o 158717
o 158679
o 158566
o 158390
o 158352
o 158249
o 158211
o 158098
o 157922
o 157884
o 157783
o 157607
o 157569
o 157541
o 157503
o 157362
o 157324
o 157179
o 157003
o 156965
o 156852
o 156676
o 156638
o 156527
o 156489
o 156344
o 156168
o 156130
o 156017
o 155841
o 155803
o 155671
o 155633
o 155520
o 155344
o 155306
o 155221
o 155183
o 155070
o 154894
o 154856
o 154745
o 154707
o 154562
o 154386
o 154348
o 154235
o 154059
o 154021
o 153918
o 153880
o 153767
o 153591
o 153553
o 153452
o 153276
o 153238
o 153210
o 153172
o 153031
o 152993
o 152848
o 152672
o 152634
o 152521
o 152345
o 152307
o 152196
o 152158
o 152013
o 151837
o 151799
o 151686
o 151510
o 151472
o 151304
o 151266
o 151165
o 150989
o 150951
o 150923
o 150885
o 150744
o 150706
o 150561
o 150385
o 150347
o 150234
o 150058
o 150020
o 149909
o 149871
o 149726
o 149550
o 149512
o 149399
o 149223
o 149185
o 149100
o 149062
o 148949
o 148773
o 148735
o 148624
o 148586
o 148441
o 148265
o 148227
o 148114
o 147938
o 147900
o 147797
o 147759
o 147646
o 147470
o 147432
o 147331
o 147155
o 147117
o 147089
o 147051
o 146910
o 146872
o 146727
o 146551
o 146513
o 146400
o 146224
o 146186
o 146075
o 146037
o 145892
o 145716
o 145678
o 145565
o 145389
o 145351
o 145323
o 145285
o 145172
o 144996
o 144958
o 144855
o 144817
o 144704
o 144528
o 144490
o 144389
o 144213
o 144175
o 144147
o 144109
o 143968
o 143930
o 143785
o 143609
o 143571
o 143458
o 143282
o 143244
o 143133
o 143095
o 142950
o 142774
o 142736
o 142623
o 142447
o 142409
o 142241
o 142203
o 142102
o 141926
o 141888
o 141860
o 141822
o 141681
o 141643
o 141498
o 141322
o 141284
o 141171
o 140995
o 140957
o 140846
o 140808
o 140663
o 140487
o 140449
o 140336
o 140160
o 140122
o 140037
o 139999
o 139886
o 139710
o 139672
o 139561
o 139523
o 139378
o 139202
o 139164
o 139051
o 138875
o 138837
o 138734
o 138696
o 138583
o 138407
o 138369
o 138268
o 138092
o 138054
o 138026
o 137988
o 137847
o 137809
o 137664
o 137488
o 137450
o 137337
o 137161
o 137123
o 137012
o 136974
o 136829
o 136653
o 136615
o 136502
o 136326
o 136288
o 136172
o 136134
o 136031
o 135993
o 135880
o 135704
o 135666
o 135565
o 135389
o 135351
o 135323
o 135285
o 135144
o 135106
o 134961
o 134785
o 134747
o 134634
o 134458
o 134420
o 134309
o 134271
o 134126
o 133950
o 133912
o 133799
o 133623
o 133585
o 133562
o 133501
o 133463
o 133318
o 133142
o 133104
o 132991
o 132815
o 132777
o 132666
o 132628
o 132483
o 132307
o 132269
o 132156
o 131980
o 131942
o 131919
o 131813
o 131775
o 131664
o 131626
o 131481
o 131305
o 131267
o 131154
o 130978
o 130940
o 130917
o 130856
o 130818
o 130673
o 130497
o 130459
o 130346
o 130170
o 130132
o 130021
o 129983
o 129838
o 129662
o 129624
o 129511
o 129335
o 129297
o 129274
o 129130
o 129092
o 128979
o 128803
o 128765
o 128654
o 128616
o 128471
o 128295
o 128257
o 128144
o 127968
o 127930
o 127907
o 127833
o 127795
o 127682
o 127506
o 127468
o 127445
o 127301
o 127263
o 127150
o 126974
o 126936
o 126825
o 126787
o 126642
o 126466
o 126428
o 126315
o 126139
o 126101
o 126078
o 125984
o 125946
o 125801
o 125625
o 125587
o 125474
o 125298
o 125260
o 125237
o 125221
o 125127
o 125089
o 124944
o 124768
o 124730
o 124617
o 124441
o 124403
o 124380
o 124211
o 124173
o 124060
o 123884
o 123846
o 123823
o 123649
o 123611
o 123588
o 123559
o 123521
o 123498
o 123365
o 123178
o 123002
o 122964
o 122941
o 122767
o 122729
o 122706
o 122680
o 122642
o 122486
o 122299
o 122123
o 122085
o 122064
o 121888
o 121850
o 121720
o 121682
o 121671
o 121633
o 121520
o 121344
o 121306
o 121283
o 121109
o 121071
o 121048
o 121019
o 120981
o 120958
o 120825
o 120638
o 120462
o 120424
o 120401
o 120227
o 120189
o 120166
o 120140
o 120102
o 119946
o 119759
o 119583
o 119545
o 119524
o 119348
o 119310
o 119193
o 119155
o 119099
o 118912
o 118736
o 118698
o 118677
o 118501
o 118463
o 118346
o 118308
o 118160
o 118122
o 118099
o 117966
o 117779
o 117603
o 117565
o 117542
o 117368
o 117330
o 117307
o 117281
o 117243
o 117087
o 116900
o 116724
o 116686
o 116665
o 116489
o 116451
o 116334
o 116296
o 116261
o 116223
o 116202
o 116026
o 115988
o 115871
o 115833
Killed
1979.675u 0.023s 33:09.35 99.5%	0+0k 0+0io 0pf+0w