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-7.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-100-2_network-7.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 324241
o 324075
o 321784
o 320726
o 320238
o 319049
o 317991
o 317570
o 316512
o 316329
o 316265
o 315140
o 314082
o 313661
o 312603
o 311698
o 310640
o 310152
o 310088
o 308963
o 307905
o 307484
o 306426
o 305798
o 305768
o 304710
o 304319
o 304289
o 303231
o 302687
o 301629
o 301208
o 300150
o 299418
o 298997
o 297939
o 297073
o 296744
o 296709
o 295651
o 295395
o 295295
o 295043
o 294529
o 294429
o 294177
o 294100
o 293848
o 293107
o 293007
o 292755
o 292608
o 292102
o 292095
o 291543
o 291037
o 290616
o 290064
o 289558
o 289458
o 289206
o 289198
o 288692
o 288592
o 288340
o 288263
o 288011
o 287776
o 287270
o 287170
o 286918
o 286519
o 286315
o 286215
o 286167
o 285963
o 285653
o 285449
o 285349
o 285301
o 285097
o 285020
o 284972
o 284768
o 284737
o 284231
o 284027
o 283927
o 283879
o 283675
o 283288
o 283084
o 282773
o 282569
o 282376
o 282276
o 282217
o 282024
o 281907
o 281703
o 281510
o 281410
o 281351
o 281158
o 281081
o 281022
o 280829
o 280796
o 280485
o 280281
o 280088
o 279988
o 279929
o 279736
o 279639
o 279435
o 279242
o 279142
o 279083
o 278890
o 278773
o 278569
o 278376
o 278276
o 278217
o 278024
o 277947
o 277888
o 277695
o 277662
o 277531
o 277351
o 277147
o 276954
o 276854
o 276795
o 276602
o 276527
o 276396
o 276216
o 276012
o 275819
o 275620
o 275114
o 274910
o 274730
o 274526
o 274395
o 274215
o 274011
o 273818
o 273672
o 273468
o 273275
o 273076
o 272570
o 272366
o 272186
o 271982
o 271851
o 271671
o 271467
o 271274
o 271174
o 271115
o 270922
o 270805
o 270601
o 270408
o 270308
o 270249
o 270056
o 269979
o 269920
o 269727
o 269694
o 269563
o 269383
o 269179
o 268986
o 268886
o 268827
o 268634
o 268593
o 268389
o 268196
o 268050
o 267846
o 267653
o 267454
o 266948
o 266744
o 266564
o 266360
o 266229
o 266049
o 265845
o 265652
o 265552
o 265493
o 265300
o 265183
o 264979
o 264786
o 264686
o 264627
o 264434
o 264357
o 264298
o 264105
o 264072
o 263941
o 263761
o 263557
o 263364
o 263264
o 263205
o 263012
o 262929
o 262423
o 262219
o 262039
o 261835
o 261704
o 261524
o 261320
o 261127
o 261027
o 260968
o 260775
o 260679
o 260475
o 260282
o 260136
o 259932
o 259739
o 259540
o 259034
o 258830
o 258650
o 258446
o 258315
o 258135
o 257931
o 257738
o 257638
o 257579
o 257386
o 257269
o 257065
o 256872
o 256772
o 256713
o 256520
o 256443
o 256384
o 256191
o 256158
o 256027
o 255847
o 255643
o 255450
o 255350
o 255291
o 255098
o 255059
o 254855
o 254662
o 254516
o 254312
o 254119
o 253920
o 253414
o 253210
o 253030
o 252826
o 252695
o 252515
o 252311
o 252118
o 252018
o 251959
o 251766
o 251649
o 251445
o 251252
o 251152
o 251093
o 250900
o 250823
o 250764
o 250571
o 250538
o 250407
o 250227
o 250023
o 249830
o 249730
o 249671
o 249478
o 249390
o 249210
o 249006
o 248813
o 248768
o 248564
o 248433
o 248253
o 248049
o 247856
o 247565
o 247361
o 247181
o 246977
o 246846
o 246666
o 246462
o 246269
o 246169
o 246110
o 245917
o 245889
o 245709
o 245505
o 245312
o 245212
o 245153
o 244960
o 244843
o 244639
o 244446
o 244346
o 244287
o 244094
o 244017
o 243958
o 243765
o 243629
o 243601
o 243421
o 243217
o 243024
o 242924
o 242865
o 242672
o 242618
o 242518
o 242459
o 242266
o 242149
o 241945
o 241752
o 241652
o 241593
o 241400
o 241323
o 241264
o 241071
o 240935
o 240907
o 240727
o 240523
o 240330
o 240230
o 240171
o 239978
o 239850
o 239657
o 239366
o 239162
o 238982
o 238778
o 238647
o 238467
o 238263
o 238070
o 237970
o 237911
o 237718
o 237690
o 237510
o 237306
o 237113
o 237013
o 236954
o 236761
o 236644
o 236440
o 236247
o 236147
o 236088
o 235895
o 235818
o 235759
o 235566
o 235430
o 235402
o 235222
o 235018
o 234825
o 234725
o 234666
o 234473
o 234317
o 234277
o 234073
o 233942
o 233762
o 233558
o 233365
o 233166
o 232660
o 232456
o 232276
o 232072
o 231941
o 231761
o 231557
o 231364
o 231319
o 231115
o 230984
o 230804
o 230600
o 230407
o 230116
o 229912
o 229732
o 229528
o 229397
o 229217
o 229013
o 228820
o 228720
o 228661
o 228468
o 228440
o 228260
o 228056
o 227863
o 227763
o 227704
o 227511
o 227394
o 227190
o 226997
o 226897
o 226838
o 226645
o 226568
o 226509
o 226316
o 226180
o 226152
o 225972
o 225768
o 225575
o 225475
o 225416
o 225223
o 225092
o 225015
o 224956
o 224763
o 224627
o 224599
o 224419
o 224215
o 224022
o 223922
o 223863
o 223670
o 223527
o 223323
o 223130
o 222931
o 222425
o 222221
o 222041
o 221837
o 221706
o 221526
o 221322
o 221129
o 221029
o 220970
o 220777
o 220737
o 220533
o 220402
o 220222
o 220018
o 219825
o 219626
o 219120
o 218916
o 218736
o 218532
o 218401
o 218221
o 218017
o 217824
o 217779
o 217575
o 217444
o 217264
o 217060
o 216867
o 216576
o 216372
o 216192
o 215988
o 215857
o 215677
o 215473
o 215280
o 215180
o 215121
o 214928
o 214900
o 214720
o 214516
o 214323
o 214223
o 214164
o 213971
o 213854
o 213650
o 213457
o 213357
o 213298
o 213105
o 213028
o 212969
o 212776
o 212640
o 212612
o 212432
o 212228
o 212035
o 211935
o 211876
o 211683
o 211513
o 211309
o 211116
o 211016
o 210957
o 210764
o 210736
o 210556
o 210352
o 210159
o 210059
o 210000
o 209807
o 209690
o 209486
o 209293
o 209193
o 209134
o 208941
o 208864
o 208805
o 208612
o 208476
o 208448
o 208268
o 208064
o 207871
o 207771
o 207712
o 207519
o 207515
o 207415
o 207356
o 207163
o 207046
o 206842
o 206649
o 206549
o 206490
o 206297
o 206220
o 206161
o 205968
o 205832
o 205804
o 205624
o 205420
o 205227
o 205127
o 205068
o 204875
o 204824
o 204765
o 204572
o 204544
o 204364
o 204160
o 203967
o 203867
o 203808
o 203615
o 203498
o 203294
o 203101
o 203001
o 202942
o 202749
o 202672
o 202613
o 202420
o 202284
o 202256
o 202076
o 201872
o 201679
o 201579
o 201520
o 201327
o 201244
o 201113
o 200933
o 200729
o 200536
o 200245
o 200041
o 199861
o 199657
o 199526
o 199346
o 199142
o 198949
o 198849
o 198790
o 198597
o 198569
o 198389
o 198185
o 197992
o 197892
o 197833
o 197640
o 197523
o 197319
o 197126
o 197026
o 196967
o 196774
o 196697
o 196638
o 196445
o 196309
o 196281
o 196101
o 195897
o 195704
o 195604
o 195545
o 195352
o 195350
o 195170
o 194966
o 194773
o 194673
o 194614
o 194421
o 194305
o 194303
o 194123
o 193919
o 193726
o 193626
o 193567
o 193374
o 193348
o 193346
o 193166
o 192962
o 192769
o 192669
o 192610
o 192417
o 192300
o 192096
o 191903
o 191803
o 191744
o 191551
o 191474
o 191415
o 191222
o 191086
o 191060
o 191058
o 190878
o 190674
o 190481
o 190381
o 190322
o 190129
o 190110
o 189917
o 189838
o 189658
o 189454
o 189261
o 189161
o 189102
o 188909
o 188907
o 188727
o 188523
o 188330
o 188230
o 188171
o 187978
o 187952
o 187950
o 187770
o 187566
o 187373
o 187273
o 187214
o 187021
o 186904
o 186700
o 186507
o 186407
o 186348
o 186155
o 186078
o 186019
o 185826
o 185690
o 185664
o 185662
o 185482
o 185278
o 185085
o 184985
o 184926
o 184733
o 184693
o 184634
o 184441
o 184279
o 184277
o 184097
o 183893
o 183700
o 183600
o 183541
o 183348
o 183320
o 183220
o 183161
o 182968
o 182942
o 182756
o 182710
o 182556
o 182363
o 182263
o 182204
o 182011
o 181890
o 181844
o 181690
o 181497
o 181397
o 181338
o 181145
o 181068
o 181009
o 180816
o 180680
o 180654
o 180468
o 180422
o 180268
o 180075
o 179975
o 179916
o 179723
o 179683
o 179624
o 179431
o 179269
o 179083
o 179037
o 178883
o 178690
o 178590
o 178531
o 178338
o 178244
o 178185
o 177992
o 177887
o 177694
o 177594
o 177535
o 177342
o 177248
o 177189
o 176996
o 176855
o 176761
o 176702
o 176689
o 176509
o 176402
o 176325
o 176266
o 176073
o 175937
o 175911
o 175909
o 175729
o 175525
o 175332
o 175232
o 175173
o 174980
o 174891
o 174845
o 174691
o 174498
o 174398
o 174339
o 174146
o 173960
o 173914
o 173760
o 173567
o 173467
o 173408
o 173215
o 173189
o 173003
o 172957
o 172803
o 172610
o 172510
o 172451
o 172258
o 172137
o 172091
o 171937
o 171744
o 171644
o 171585
o 171392
o 171315
o 171256
o 171063
o 170927
o 170901
o 170715
o 170669
o 170515
o 170322
o 170222
o 170163
o 169970
o 169931
o 169905
o 169719
o 169673
o 169519
o 169326
o 169226
o 169167
o 168974
o 168839
o 168739
o 168680
o 168667
o 168487
o 168334
o 168288
o 168134
o 167941
o 167841
o 167782
o 167589
o 167454
o 167354
o 167295
o 167282
o 167102
o 167008
o 166949
o 166936
o 166756
o 166715
o 166702
o 166522
o 166369
o 166323
o 166169
o 165976
o 165876
o 165817
o 165624
o 165489
o 165389
o 165330
o 165317
o 165137
o 165043
o 164984
o 164971
o 164791
o 164687
o 164494
o 164394
o 164335
o 164142
o 164103
o 164077
o 163891
o 163845
o 163691
o 163498
o 163398
o 163339
o 163146
o 163011
o 162911
o 162852
o 162839
o 162659
o 162506
o 162460
o 162306
o 162113
o 162013
o 161954
o 161761
o 161626
o 161526
o 161467
o 161454
o 161274
o 161271
o 161194
o 161135
o 160942
o 160806
o 160780
o 160594
o 160548
o 160394
o 160201
o 160101
o 160042
o 159849
o 159790
o 159738
o 159638
o 159579
o 159386
o 159265
o 159219
o 159065
o 158872
o 158772
o 158713
o 158520
o 158443
o 158384
o 158191
o 158055
o 158029
o 157843
o 157797
o 157643
o 157450
o 157350
o 157291
o 157098
o 157059
o 157033
o 156847
o 156801
o 156647
o 156454
o 156354
o 156295
o 156102
o 155967
o 155867
o 155808
o 155795
o 155615
o 155462
o 155416
o 155262
o 155069
o 154969
o 154910
o 154717
o 154582
o 154482
o 154423
o 154410
o 154230
o 154137
o 154002
o 153902
o 153843
o 153830
o 153650
o 153497
o 153451
o 153297
o 153104
o 153004
o 152945
o 152752
o 152617
o 152517
o 152458
o 152445
o 152265
o 152171
o 152112
o 152099
o 151919
o 151917
o 151858
o 151817
o 151665
o 151631
o 151618
o 151438
o 151436
o 151377
o 151336
o 151184
o 151092
o 151090
o 151031
o 150990
o 150838
o 150809
o 150807
o 150748
o 150707
o 150670
o 150555
o 150463
o 150461
o 150402
o 150361
o 150324
o 150209
o 150097
o 150095
o 149995
o 149843
o 149751
o 149749
o 149649
o 149497
o 149450
o 149270
o 149268
o 149168
o 149016
o 148924
o 148922
o 148822
o 148670
o 148641
o 148502
o 148387
o 148295
o 148156
o 148041
o 148014
o 147890
o 147798
o 147796
o 147696
o 147668
o 147544
o 147515
o 147500
o 147376
o 147261
o 147169
o 147154
o 147030
o 146915
o 146876
o 146848
o 146724
o 146695
o 146680
o 146556
o 146441
o 146349
o 146334
o 146210
o 146095
o 146054
o 146026
o 145902
o 145810
o 145808
o 145749
o 145708
o 145680
o 145556
o 145493
o 145341
o 145291
o 145167
o 145067
o 144995
o 144939
o 144815
o 144813
o 144713
o 144685
o 144561
o 144469
o 144467
o 144367
o 144339
o 144215
o 144168
o 144112
o 143988
o 143986
o 143886
o 143858
o 143734
o 143642
o 143640
o 143540
o 143512
o 143388
o 143359
o 143344
o 143220
o 143105
o 143013
o 142998
o 142874
o 142759
o 142749
o 142625
o 142623
o 142523
o 142495
o 142371
o 142279
o 142277
o 142177
o 142149
o 142025
o 141996
o 141981
o 141857
o 141742
o 141650
o 141635
o 141511
o 141396
o 141337
o 141245
o 141243
o 141143
o 141115
o 140991
o 140962
o 140947
o 140823
o 140708
o 140616
o 140601
o 140477
o 140362
o 140285
o 140170
o 140159
o 140035
o 140017
o 139945
o 139889
o 139765
o 139752
o 139645
o 139521
o 139406
o 139375
o 139251
o 139136
o 139077
o 139046
o 138922
o 138807
o 138796
o 138672
o 138628
o 138504
o 138389
o 138282
o 138158
o 138043
o 138012
o 137888
o 137773
o 137750
o 137626
o 137511
o 137440
o 137402
o 137278
o 137178
o 137050
o 136926
o 136811
o 136780
o 136656
o 136541
o 136482
o 136451
o 136327
o 136212
o 136201
o 136077
o 136059
o 135987
o 135931
o 135807
o 135687
o 135563
o 135448
o 135417
o 135293
o 135178
o 135136
o 135080
o 134956
o 134836
o 134712
o 134597
o 134566
o 134442
o 134327
o 134304
o 134180
o 134065
o 134053
o 134011
o 133955
o 133831
o 133711
o 133587
o 133472
o 133441
o 133317
o 133202
o 133136
o 133055
o 133021
o 132940
o 132922
o 132802
o 132678
o 132563
o 132532
o 132408
o 132293
o 132227
o 132146
o 132112
o 132031
o 131978
o 131897
o 131863
o 131782
o 131714
o 131680
o 131599
o 131506
o 131382
o 131267
o 131236
o 131112
o 130997
o 130993
o 130920
o 130863
o 130748
o 130680
o 130565
o 130561
o 130488
o 130486
o 130418
o 130384
o 130303
o 130299
o 130226
o 130220
o 130184
o 130112
o 130108
o 130107
o 130035
o 130025
o 129998
o 129917
o 129808
o 129693
o 129662
o 129538
o 129423
o 129315
o 129311
o 129238
o 129174
o 129106
o 128991
o 128883
o 128879
o 128806
o 128729
o 128702
o 128621
o 128617
o 128544
o 128403
o 128159
o 128044
o 127889
o 127774
o 127716
o 127674
o 127494
o 127250
o 127135
o 126980
o 126865
o 126731
o 126616
o 126603
o 126550
o 126469
o 126435
o 126354
o 126286
o 126252
o 126171
o 126169
o 126088
o 126052
o 125980
o 125920
o 125812
o 125676
o 125561
o 125406
o 125291
o 125183
o 125144
o 125110
o 125029
o 125002
o 124921
o 124859
o 124751
o 124712
o 124678
o 124597
o 124570
o 124489
o 124380
o 124265
o 124110
o 123995
o 123887
o 123883
o 123810
o 123746
o 123678
o 123563
o 123455
o 123451
o 123378
o 123301
o 123274
o 123193
o 123189
o 123116
o 123110
o 123002
o 122976
o 122861
o 122793
o 122678
o 122570
o 122531
o 122497
o 122416
o 122389
o 122308
o 122199
o 122084
o 121929
o 121814
o 121706
o 121702
o 121629
o 121552
o 121525
o 121444
o 121440
o 121367
o 121274
o 121270
o 121197
o 121120
o 121093
o 121012
o 121008
o 120935
o 120911
o 120834
o 120807
o 120726
o 120722
o 120649
o 120556
o 120552
o 120479
o 120477
o 120402
o 120375
o 120294
o 120290
o 120217
o 120210
o 120206
o 120133
o 120040
o 120036
o 119963
o 119886
o 119859
o 119778
o 119774
o 119701
o 119624
o 119620
o 119547
o 119545
o 119470
o 119443
o 119362
o 119358
o 119285
o 119281
o 119173
o 119169
o 119096
o 119032
o 118924
o 118849
o 118741
o 118737
o 118664
o 118662
o 118587
o 118560
o 118479
o 118475
o 118402
o 118379
o 118291
o 118224
o 118109
o 118001
o 117997
o 117924
o 117847
o 117820
o 117739
o 117735
o 117662
o 117619
o 117615
o 117542
o 117465
o 117438
o 117357
o 117353
o 117280
o 117220
o 117012
o 116904
o 116866
o 116829
o 116758
o 116723
o 116615
o 116564
o 116476
o 116294
o 116186
o 116182
o 116109
o 116032
o 116005
o 115924
o 115920
o 115847
o 115790
o 115682
o 115678
o 115605
o 115528
o 115501
o 115420
o 115416
o 115343
o 115321
o 115317
o 115244
o 115201
o 115121
o 115006
o 114939
o 114824
o 114716
o 114625
o 114621
o 114548
o 114535
o 114454
o 114444
o 114363
o 114359
o 114286
o 114245
o 114241
o 114168
o 114166
o 114153
o 114072
o 114062
o 113981
o 113977
o 113904
o 113863
o 113859
o 113786
o 113726
o 113644
o 113553
o 113505
o 113323
o 113215
o 113124
o 113120
o 113047
o 113034
o 112953
o 112943
o 112862
o 112858
o 112785
o 112733
o 112720
o 112639
o 112629
o 112548
o 112544
o 112471
o 112430
o 112426
o 112353
o 112333
o 112266
o 112151
o 112043
o 111952
o 111948
o 111875
o 111862
o 111781
o 111771
o 111690
o 111686
o 111613
o 111570
o 111566
o 111493
o 111480
o 111399
o 111389
o 111308
o 111304
o 111231
o 111171
o 111054
o 110946
o 110855
o 110800
o 110780
o 110709
o 110606
o 110518
o 110336
o 110228
o 110137
o 110133
o 110060
o 110047
o 109966
o 109956
o 109875
o 109871
o 109798
o 109724
o 109633
o 109629
o 109556
o 109543
o 109462
o 109452
o 109371
o 109367
o 109294
o 109215
o 109211
o 109138
o 109061
o 109034
o 108953
o 108949
o 108876
o 108757
o 108666
o 108649
o 108558
o 108554
o 108481
o 108404
o 108387
o 108377
o 108296
o 108292
o 108219
o 108213
o 108155
o 108151
o 108078
o 107999
o 107995
o 107922
o 107919
o 107818
o 107737
o 107733
o 107660
o 107637
o 107615
o 107433
o 107342
o 107338
o 107265
o 107252
o 107171
o 107161
o 107080
o 107076
o 107003
o 106895
o 106713
o 106622
o 106605
o 106514
o 106504
o 106500
o 106437
o 106427
o 106421
o 106373
o 106363
o 106359
o 106296
o 106286
o 106159
o 106137
o 105955
o 105945
o 105941
o 105878
o 105868
o 105775
o 105593
o 105571
o 105389
o 105298
o 105288
o 105284
o 105221
o 105211
o 105201
o 105191
o 105187
o 105124
o 105114
o 105021
o 104839
o 104817
o 104635
o 104544
o 104534
o 104530
o 104467
o 104457
o 104409
o 104387
o 104205
o 104195
o 104191
o 104128
o 104118
o 104110
o 104025
o 103843
o 103821
o 103639
o 103548
o 103538
o 103534
o 103471
o 103461
o 103451
o 103441
o 103437
o 103374
o 103364
o 103356
o 103271
o 103089
o 103067
o 102885
o 102794
o 102784
o 102780
o 102717
o 102707
Killed
1979.645u 0.053s 33:12.15 99.3%	0+0k 0+0io 0pf+0w