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-8.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-100-2_network-8.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 309887
o 308286
o 307959
o 307237
o 307058
o 306971
o 306737
o 306015
o 305565
o 305386
o 305299
o 305065
o 304343
o 304127
o 303405
o 302846
o 302191
o 301921
o 301742
o 301655
o 301637
o 300699
o 300209
o 299993
o 299271
o 299092
o 299005
o 298987
o 298771
o 298049
o 297756
o 297380
o 297368
o 296646
o 296328
o 296149
o 296062
o 295424
o 295106
o 295062
o 294975
o 294337
o 294019
o 293607
o 293289
o 293110
o 293023
o 292385
o 292067
o 291897
o 291521
o 291509
o 290787
o 290469
o 290290
o 290203
o 289565
o 289247
o 289111
o 289099
o 288377
o 288059
o 287880
o 287793
o 287155
o 286837
o 286793
o 286706
o 286068
o 285750
o 285338
o 285020
o 284841
o 284754
o 284116
o 283798
o 283628
o 283252
o 283240
o 282518
o 282200
o 282021
o 281934
o 281296
o 280978
o 280751
o 280233
o 279915
o 279471
o 279153
o 278974
o 278887
o 278249
o 277931
o 277413
o 277095
o 276616
o 276298
o 276289
o 275971
o 275935
o 275815
o 275624
o 275297
o 274979
o 274809
o 274535
o 274217
o 274026
o 273699
o 273381
o 273202
o 273115
o 272995
o 272804
o 272477
o 272159
o 271982
o 271977
o 271659
o 271468
o 271141
o 270823
o 270644
o 270557
o 270437
o 270246
o 269919
o 269601
o 269565
o 269445
o 269254
o 268927
o 268609
o 268439
o 268165
o 267847
o 267656
o 267329
o 267011
o 266832
o 266745
o 266625
o 266434
o 266107
o 265789
o 265612
o 265356
o 265038
o 264843
o 264691
o 264364
o 264046
o 263851
o 263791
o 263473
o 263294
o 263207
o 263087
o 262896
o 262569
o 262251
o 262182
o 262062
o 261871
o 261544
o 261226
o 261031
o 260854
o 260796
o 260709
o 260589
o 260398
o 260071
o 259753
o 259752
o 259665
o 259545
o 259354
o 259027
o 258709
o 258532
o 258276
o 257958
o 257763
o 257750
o 257423
o 257105
o 256910
o 256860
o 256533
o 256215
o 256146
o 256026
o 255835
o 255508
o 255190
o 254995
o 254982
o 254791
o 254464
o 254146
o 253951
o 253774
o 253481
o 253163
o 253094
o 252974
o 252783
o 252456
o 252138
o 251943
o 251930
o 251739
o 251412
o 251094
o 250899
o 250722
o 250617
o 250426
o 250099
o 249781
o 249586
o 249573
o 249382
o 249055
o 248737
o 248542
o 248365
o 248337
o 248146
o 247819
o 247501
o 247500
o 247413
o 247293
o 247102
o 246775
o 246457
o 246280
o 246024
o 245706
o 245511
o 245498
o 245171
o 244853
o 244658
o 244608
o 244281
o 243963
o 243894
o 243774
o 243583
o 243256
o 242938
o 242743
o 242730
o 242539
o 242212
o 241894
o 241699
o 241522
o 241420
o 241354
o 241164
o 241098
o 240846
o 240780
o 240651
o 240585
o 240311
o 240245
o 239993
o 239927
o 239798
o 239732
o 239421
o 239355
o 239103
o 239037
o 239034
o 238968
o 238914
o 238848
o 238757
o 238723
o 238396
o 238330
o 238078
o 238012
o 237883
o 237817
o 237804
o 237713
o 237679
o 237352
o 237286
o 237034
o 236968
o 236839
o 236773
o 236662
o 236596
o 236390
o 236324
o 236072
o 236006
o 235895
o 235829
o 235639
o 235573
o 235321
o 235255
o 235126
o 235060
o 234786
o 234720
o 234468
o 234402
o 234273
o 234207
o 233896
o 233830
o 233578
o 233512
o 233509
o 233443
o 233389
o 233323
o 233232
o 233198
o 232871
o 232805
o 232553
o 232487
o 232358
o 232292
o 232279
o 232188
o 232154
o 231827
o 231761
o 231509
o 231443
o 231314
o 231248
o 231137
o 231071
o 231060
o 230931
o 230865
o 230591
o 230525
o 230273
o 230207
o 230078
o 230012
o 229701
o 229635
o 229383
o 229317
o 229314
o 229248
o 229194
o 229128
o 229037
o 229003
o 228676
o 228610
o 228358
o 228292
o 228163
o 228097
o 228084
o 227993
o 227959
o 227632
o 227566
o 227314
o 227248
o 227119
o 227053
o 226942
o 226876
o 226813
o 226561
o 226495
o 226366
o 226300
o 226189
o 226123
o 225945
o 225879
o 225876
o 225810
o 225756
o 225690
o 225599
o 225565
o 225238
o 225172
o 224920
o 224854
o 224725
o 224659
o 224646
o 224555
o 224521
o 224194
o 224128
o 223876
o 223810
o 223681
o 223615
o 223504
o 223438
o 223250
o 223184
o 223055
o 222989
o 222976
o 222885
o 222851
o 222524
o 222458
o 222206
o 222140
o 222011
o 221945
o 221834
o 221768
o 221727
o 221661
o 221648
o 221557
o 221523
o 221196
o 221130
o 220878
o 220812
o 220683
o 220617
o 220506
o 220440
o 220377
o 220125
o 220059
o 219930
o 219864
o 219753
o 219687
o 219509
o 219443
o 219440
o 219374
o 219320
o 219254
o 219163
o 219129
o 218802
o 218736
o 218484
o 218418
o 218289
o 218223
o 218210
o 218119
o 218085
o 217758
o 217692
o 217440
o 217374
o 217245
o 217179
o 217068
o 217002
o 216814
o 216748
o 216619
o 216553
o 216540
o 216449
o 216415
o 216088
o 216022
o 215770
o 215704
o 215575
o 215509
o 215398
o 215332
o 215326
o 215260
o 215247
o 215156
o 215122
o 214795
o 214729
o 214477
o 214411
o 214282
o 214216
o 214199
o 214070
o 214004
o 213991
o 213900
o 213866
o 213539
o 213473
o 213221
o 213155
o 213026
o 212960
o 212849
o 212783
o 212720
o 212468
o 212402
o 212273
o 212207
o 212096
o 212030
o 212017
o 211888
o 211822
o 211809
o 211718
o 211684
o 211357
o 211291
o 211039
o 210973
o 210844
o 210778
o 210761
o 210632
o 210566
o 210553
o 210462
o 210428
o 210101
o 210035
o 209783
o 209717
o 209588
o 209522
o 209411
o 209345
o 209303
o 209174
o 209108
o 209091
o 208962
o 208896
o 208883
o 208792
o 208758
o 208431
o 208365
o 208113
o 208047
o 207918
o 207852
o 207741
o 207675
o 207562
o 207496
o 207385
o 207319
o 207277
o 207148
o 207082
o 207065
o 206936
o 206870
o 206723
o 206657
o 206405
o 206339
o 206087
o 206021
o 205892
o 205826
o 205715
o 205649
o 205630
o 205564
o 205453
o 205387
o 205376
o 205247
o 205181
o 205091
o 205025
o 204969
o 204717
o 204651
o 204522
o 204456
o 204309
o 204243
o 203991
o 203925
o 203673
o 203607
o 203478
o 203412
o 203204
o 203138
o 202886
o 202820
o 202691
o 202625
o 202417
o 202351
o 202222
o 202156
o 201948
o 201882
o 201630
o 201564
o 201435
o 201369
o 201258
o 201192
o 201129
o 200877
o 200811
o 200682
o 200616
o 200505
o 200439
o 200235
o 200169
o 200040
o 199974
o 199766
o 199700
o 199448
o 199382
o 199253
o 199187
o 198979
o 198913
o 198784
o 198718
o 198510
o 198444
o 198192
o 198126
o 197997
o 197931
o 197820
o 197754
o 197712
o 197583
o 197517
o 197309
o 197243
o 197114
o 197048
o 196840
o 196774
o 196522
o 196456
o 196327
o 196261
o 196150
o 196084
o 196035
o 195969
o 195717
o 195651
o 195522
o 195456
o 195418
o 195345
o 195279
o 195241
o 195237
o 195108
o 195042
o 195004
o 194834
o 194768
o 194639
o 194573
o 194365
o 194299
o 194047
o 193981
o 193852
o 193786
o 193748
o 193675
o 193609
o 193571
o 193566
o 193500
o 193319
o 193253
o 193035
o 192969
o 192935
o 192717
o 192651
o 192522
o 192456
o 192418
o 192345
o 192279
o 192241
o 192194
o 192156
o 192083
o 192017
o 191979
o 191925
o 191796
o 191730
o 191522
o 191456
o 191327
o 191261
o 191053
o 190987
o 190953
o 190735
o 190669
o 190540
o 190474
o 190363
o 190297
o 190237
o 190108
o 190042
o 189834
o 189768
o 189734
o 189516
o 189450
o 189321
o 189255
o 189217
o 189047
o 188981
o 188852
o 188786
o 188578
o 188512
o 188478
o 188260
o 188194
o 188065
o 187999
o 187961
o 187888
o 187822
o 187784
o 187759
o 187725
o 187507
o 187441
o 187312
o 187246
o 187208
o 187135
o 187069
o 187031
o 186925
o 186859
o 186799
o 186670
o 186604
o 186396
o 186330
o 186296
o 186078
o 186012
o 185883
o 185817
o 185779
o 185609
o 185543
o 185414
o 185348
o 185140
o 185074
o 185040
o 184822
o 184756
o 184627
o 184561
o 184523
o 184450
o 184384
o 184346
o 184342
o 184213
o 184147
o 184109
o 183939
o 183873
o 183744
o 183678
o 183470
o 183404
o 183370
o 183152
o 183086
o 182957
o 182891
o 182853
o 182780
o 182714
o 182676
o 182503
o 182437
o 182403
o 182185
o 182119
o 181990
o 181924
o 181886
o 181813
o 181747
o 181709
o 181684
o 181650
o 181432
o 181366
o 181237
o 181171
o 181133
o 181060
o 180994
o 180956
o 180850
o 180784
o 180724
o 180595
o 180529
o 180321
o 180255
o 180221
o 180003
o 179937
o 179808
o 179742
o 179704
o 179534
o 179468
o 179339
o 179273
o 179065
o 178999
o 178965
o 178747
o 178681
o 178552
o 178486
o 178448
o 178375
o 178309
o 178271
o 178267
o 178138
o 178072
o 178034
o 177864
o 177798
o 177669
o 177603
o 177395
o 177329
o 177295
o 177077
o 177011
o 176882
o 176816
o 176778
o 176705
o 176639
o 176601
o 176423
o 176357
o 176228
o 176162
o 176124
o 175954
o 175888
o 175759
o 175693
o 175485
o 175419
o 175385
o 175167
o 175101
o 174972
o 174906
o 174868
o 174795
o 174729
o 174691
o 174666
o 174632
o 174414
o 174348
o 174219
o 174153
o 174115
o 174042
o 173976
o 173938
o 173832
o 173766
o 173706
o 173577
o 173511
o 173303
o 173237
o 173203
o 172985
o 172919
o 172790
o 172724
o 172686
o 172516
o 172450
o 172321
o 172255
o 172047
o 171981
o 171947
o 171729
o 171663
o 171534
o 171468
o 171430
o 171357
o 171291
o 171253
o 171249
o 171120
o 171054
o 171016
o 170846
o 170780
o 170651
o 170585
o 170377
o 170311
o 170277
o 170059
o 169993
o 169864
o 169798
o 169760
o 169687
o 169621
o 169583
o 169553
o 169487
o 169449
o 169279
o 169213
o 169084
o 169018
o 168810
o 168744
o 168710
o 168492
o 168426
o 168297
o 168231
o 168193
o 168120
o 168054
o 168016
o 167991
o 167957
o 167739
o 167673
o 167544
o 167478
o 167440
o 167367
o 167301
o 167263
o 167157
o 167091
o 167031
o 166902
o 166836
o 166628
o 166562
o 166528
o 166310
o 166244
o 166115
o 166049
o 166011
o 165841
o 165775
o 165646
o 165580
o 165372
o 165306
o 165272
o 165054
o 164988
o 164859
o 164793
o 164755
o 164682
o 164616
o 164578
o 164574
o 164445
o 164379
o 164341
o 164171
o 164105
o 163976
o 163910
o 163702
o 163636
o 163602
o 163384
o 163318
o 163189
o 163123
o 163085
o 163012
o 162946
o 162908
o 162877
o 162811
o 162773
o 162700
o 162634
o 162596
o 162593
o 162527
o 162398
o 162332
o 162124
o 162058
o 162024
o 161806
o 161740
o 161611
o 161545
o 161507
o 161434
o 161368
o 161330
o 161299
o 161233
o 161195
o 161122
o 161056
o 161018
o 160923
o 160857
o 160728
o 160662
o 160454
o 160388
o 160354
o 160136
o 160070
o 159941
o 159875
o 159837
o 159764
o 159698
o 159660
o 159629
o 159563
o 159525
o 159452
o 159386
o 159348
o 159315
o 159242
o 159176
o 159138
o 159087
o 159049
o 158943
o 158877
o 158839
o 158724
o 158658
o 158620
o 158514
o 158448
o 158410
o 158305
o 158239
o 158021
o 157955
o 157921
o 157703
o 157637
o 157508
o 157442
o 157404
o 157331
o 157265
o 157227
o 157196
o 157130
o 157092
o 157019
o 156953
o 156915
o 156882
o 156816
o 156635
o 156569
o 156351
o 156285
o 156251
o 156033
o 155967
o 155838
o 155772
o 155734
o 155661
o 155595
o 155557
o 155526
o 155460
o 155422
o 155349
o 155283
o 155245
o 155212
o 155139
o 155073
o 155035
o 154949
o 154883
o 154845
o 154772
o 154706
o 154668
o 154637
o 154571
o 154533
o 154460
o 154394
o 154356
o 154307
o 154241
o 154033
o 153967
o 153933
o 153715
o 153649
o 153520
o 153454
o 153416
o 153246
o 153180
o 153051
o 152985
o 152777
o 152711
o 152677
o 152459
o 152393
o 152264
o 152198
o 152160
o 152087
o 152021
o 151983
o 151952
o 151886
o 151848
o 151775
o 151709
o 151671
o 151576
o 151510
o 151381
o 151315
o 151107
o 151041
o 151007
o 150789
o 150723
o 150594
o 150528
o 150490
o 150417
o 150351
o 150313
o 150282
o 150216
o 150178
o 150105
o 150039
o 150001
o 149968
o 149934
o 149716
o 149650
o 149521
o 149455
o 149417
o 149344
o 149278
o 149240
o 149209
o 149143
o 149105
o 149032
o 148966
o 148928
o 148925
o 148859
o 148730
o 148664
o 148456
o 148390
o 148356
o 148138
o 148072
o 147943
o 147877
o 147839
o 147766
o 147700
o 147662
o 147631
o 147565
o 147527
o 147454
o 147388
o 147350
o 147255
o 147189
o 147060
o 146994
o 146786
o 146720
o 146686
o 146468
o 146402
o 146273
o 146207
o 146169
o 146096
o 146030
o 145992
o 145961
o 145895
o 145857
o 145784
o 145718
o 145680
o 145647
o 145574
o 145508
o 145470
o 145419
o 145381
o 145275
o 145209
o 145171
o 145056
o 144990
o 144952
o 144846
o 144780
o 144742
o 144720
o 144682
o 144543
o 144505
o 144408
o 144370
o 144231
o 144193
o 144160
o 144021
o 143983
o 143932
o 143894
o 143722
o 143684
o 143503
o 143465
o 143293
o 143255
o 143198
o 143160
o 143021
o 142983
o 142886
o 142848
o 142709
o 142671
o 142638
o 142499
o 142461
o 142410
o 142372
o 142200
o 142162
o 141981
o 141943
o 141771
o 141733
o 141723
o 141685
o 141606
o 141411
o 141373
o 141201
o 141163
o 141057
o 141019
o 140847
o 140809
o 140778
o 140606
o 140568
o 140504
o 140466
o 140451
o 140279
o 140241
o 140210
o 140038
o 140000
o 139936
o 139898
o 139885
o 139884
o 139846
o 139813
o 139674
o 139636
o 139624
o 139586
o 139585
o 139547
o 139375
o 139337
o 139195
o 139157
o 139156
o 139118
o 138946
o 138908
o 138885
o 138788
o 138750
o 138611
o 138573
o 138540
o 138401
o 138363
o 138362
o 138324
o 138291
o 138152
o 138114
o 138102
o 138064
o 138063
o 138025
o 137853
o 137815
o 137673
o 137635
o 137634
o 137596
o 137424
o 137386
o 137313
o 137275
o 137103
o 137065
o 136959
o 136921
o 136749
o 136711
o 136680
o 136508
o 136470
o 136462
o 136431
o 136259
o 136221
o 136157
o 136119
o 136116
o 136078
o 135907
o 135869
o 135805
o 135767
o 135712
o 135674
o 135532
o 135494
o 135493
o 135455
o 135283
o 135245
o 135125
o 135087
o 134948
o 134910
o 134877
o 134738
o 134700
o 134699
o 134661
o 134628
o 134489
o 134451
o 134439
o 134401
o 134400
o 134362
o 134190
o 134152
o 134010
o 133972
o 133971
o 133933
o 133761
o 133723
o 133650
o 133612
o 133440
o 133402
o 133296
o 133258
o 133086
o 133048
o 133017
o 132845
o 132807
o 132799
o 132768
o 132596
o 132558
o 132494
o 132456
o 132453
o 132415
o 132244
o 132206
o 132142
o 132104
o 132069
o 132005
o 131967
o 131964
o 131926
o 131755
o 131717
o 131653
o 131615
o 131586
o 131548
o 131427
o 131232
o 131194
o 131186
o 130991
o 130953
o 130945
o 130937
o 130742
o 130704
o 130640
o 130602
o 130599
o 130561
o 130390
o 130352
o 130288
o 130250
o 130215
o 130151
o 130113
o 130110
o 130072
o 129901
o 129863
o 129799
o 129761
o 129756
o 129617
o 129579
o 129545
o 129507
o 129368
o 129330
o 129318
o 129280
o 129264
o 129069
o 129031
o 128889
o 128851
o 128835
o 128640
o 128602
o 128514
o 128319
o 128281
o 128160
o 127965
o 127927
o 127919
o 127724
o 127686
o 127678
o 127670
o 127475
o 127437
o 127373
o 127335
o 127332
o 127294
o 127123
o 127085
o 127021
o 126983
o 126948
o 126884
o 126846
o 126843
o 126805
o 126634
o 126596
o 126532
o 126494
o 126390
o 126352
o 126213
o 126175
o 126141
o 126103
o 125964
o 125926
o 125914
o 125876
o 125860
o 125665
o 125627
o 125485
o 125447
o 125431
o 125236
o 125198
o 125110
o 124915
o 124877
o 124756
o 124561
o 124523
o 124515
o 124320
o 124282
o 124274
o 124266
o 124071
o 124033
o 123969
o 123931
o 123928
o 123890
o 123719
o 123681
o 123617
o 123579
o 123544
o 123480
o 123442
o 123439
o 123401
o 123230
o 123192
o 123128
o 123090
o 123063
o 123055
o 123047
o 122852
o 122814
o 122709
o 122671
o 122616
o 122578
o 122569
o 122514
o 122476
o 122363
o 122325
o 122220
o 122182
o 122127
o 122089
o 122080
o 122025
o 121987
o 121865
o 121857
o 121811
o 121616
o 121514
o 121363
o 121261
o 121220
o 121118
o 121025
o 120874
o 120772
o 120731
o 120629
o 120536
o 120452
o 120359
o 120345
o 120311
o 120270
o 120168
o 120075
o 120062
o 120006
o 119969
o 119913
o 119886
o 119784
o 119691
o 119615
o 119522
o 119448
o 119434
o 119359
o 119257
o 119164
o 119151
o 119095
o 119058
o 119002
o 118975
o 118873
o 118780
o 118736
o 118699
o 118643
o 118514
o 118421
o 118394
o 118357
o 118301
o 118172
o 118079
o 118049
o 117998
o 117942
o 117908
o 117821
o 117765
o 117728
o 117672
o 117656
o 117600
o 117563
o 117507
o 117479
o 117423
o 117386
o 117330
o 117310
o 117254
o 117217
o 117161
o 117138
o 117101
o 117045
o 116994
o 116938
o 116910
o 116854
o 116817
o 116761
o 116745
o 116689
o 116670
o 116568
o 116512
o 116475
o 116419
o 116402
o 116386
o 116330
o 116293
o 116237
o 116209
o 116153
o 116116
o 116060
o 116044
o 115951
o 115947
o 115938
o 115845
o 115789
o 115744
o 115660
o 115567
o 115566
o 115518
o 115477
o 115375
o 115282
o 115198
o 115105
o 115047
o 115033
o 114999
o 114958
o 114856
o 114763
o 114725
o 114643
o 114587
o 114500
o 114444
o 114407
o 114351
o 114323
o 114267
o 114230
o 114174
o 114160
o 114123
o 114067
o 114039
o 113983
o 113946
o 113890
o 113888
o 113832
o 113818
o 113781
o 113725
o 113697
o 113641
o 113604
o 113548
o 113528
o 113472
o 113435
o 113379
o 113356
o 113319
o 113263
o 113249
o 113212
o 113156
o 113128
o 113072
o 113035
o 112979
o 112977
o 112921
o 112907
o 112870
o 112814
o 112786
o 112730
o 112693
o 112637
o 112620
o 112618
o 112562
o 112548
o 112518
o 112427
o 112371
o 112334
o 112278
o 112257
o 112220
o 112164
o 112148
o 112092
o 112058
o 112032
o 111971
o 111915
o 111878
o 111822
o 111802
o 111746
o 111709
o 111653
o 111630
o 111593
o 111537
o 111523
o 111486
o 111430
o 111402
o 111346
o 111309
o 111253
o 111237
o 111181
o 111177
o 111121
o 111060
o 111004
o 110967
o 110911
o 110894
o 110878
o 110822
o 110785
o 110729
o 110701
o 110645
o 110608
o 110552
o 110539
o 110502
o 110446
o 110441
o 110385
o 110371
o 110357
o 110320
o 110264
o 110236
o 110180
o 110143
o 110087
o 110068
o 110051
o 110049
o 109993
o 109979
o 109942
o 109886
o 109858
o 109802
o 109765
o 109709
o 109674
o 109618
o 109590
o 109534
o 109497
o 109441
o 109423
o 109367
o 109359
o 109355
o 109299
o 109238
o 109182
o 109155
o 109127
o 109071
o 109034
o 108978
o 108960
o 108904
o 108896
o 108892
o 108836
o 108775
o 108719
o 108713
o 108676
o 108620
o 108602
o 108546
o 108538
o 108534
o 108478
o 108417
o 108361
o 108308
o 108306
o 108250
o 108189
o 108133
o 108096
o 108040
o 108022
o 107966
o 107954
o 107898
o 107837
o 107781
Killed
1979.665u 0.033s 33:06.91 99.6%	0+0k 0+0io 0pf+0w