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-2.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-100-2_network-2.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 303470
o 302145
o 301945
o 301531
o 301095
o 300877
o 299900
o 299312
o 298575
o 297987
o 297787
o 297188
o 296600
o 296400
o 295939
o 295351
o 294443
o 293855
o 293056
o 292468
o 291731
o 291143
o 290943
o 290622
o 290034
o 289834
o 289517
o 289317
o 288951
o 288152
o 287564
o 286827
o 286239
o 286039
o 285880
o 285559
o 284971
o 284771
o 284454
o 284254
o 283888
o 283739
o 283089
o 282501
o 282414
o 281764
o 281176
o 280976
o 280604
o 280404
o 280236
o 280149
o 279499
o 278911
o 278711
o 278274
o 278074
o 277757
o 277557
o 277442
o 277242
o 277191
o 277042
o 276392
o 275804
o 275717
o 275067
o 274479
o 274279
o 273781
o 273581
o 273074
o 272486
o 272286
o 271965
o 271377
o 271177
o 270860
o 270660
o 270294
o 270145
o 269495
o 268907
o 268820
o 268170
o 267582
o 267382
o 267340
o 267219
o 267023
o 267019
o 266823
o 266653
o 266457
o 266308
o 265854
o 265266
o 265070
o 264983
o 264529
o 263941
o 263745
o 263741
o 263545
o 263498
o 263302
o 263179
o 262983
o 262979
o 262783
o 262662
o 262466
o 262462
o 262266
o 262219
o 262096
o 261900
o 261616
o 261028
o 260832
o 260709
o 260513
o 260291
o 259703
o 259507
o 259384
o 259188
o 259184
o 258988
o 258907
o 258784
o 258588
o 258584
o 258388
o 258209
o 258086
o 257890
o 257886
o 257690
o 257110
o 256914
o 256791
o 256595
o 256591
o 256395
o 256001
o 255805
o 255682
o 255486
o 255482
o 255286
o 255165
o 254969
o 254965
o 254769
o 254722
o 254599
o 254403
o 254119
o 253531
o 253335
o 253212
o 253016
o 252794
o 252206
o 252010
o 251887
o 251691
o 251687
o 251491
o 251127
o 250931
o 250808
o 250612
o 250608
o 250412
o 250208
o 250012
o 249889
o 249693
o 249689
o 249493
o 249435
o 249239
o 249116
o 248920
o 248916
o 248720
o 248616
o 248420
o 248136
o 247548
o 247352
o 247229
o 247033
o 246811
o 246223
o 246027
o 245904
o 245708
o 245704
o 245508
o 245482
o 245359
o 245163
o 244941
o 244353
o 244157
o 244034
o 243838
o 243834
o 243638
o 243274
o 243078
o 242955
o 242759
o 242755
o 242559
o 242355
o 242159
o 242036
o 241840
o 241836
o 241640
o 241582
o 241386
o 241263
o 241067
o 241063
o 240867
o 240763
o 240567
o 240283
o 239695
o 239499
o 239376
o 239180
o 238958
o 238370
o 238174
o 238051
o 237855
o 237851
o 237655
o 237135
o 236939
o 236816
o 236620
o 236616
o 236420
o 236056
o 235860
o 235737
o 235541
o 235537
o 235341
o 235137
o 234941
o 234818
o 234622
o 234618
o 234422
o 234364
o 234168
o 234045
o 233849
o 233845
o 233649
o 233545
o 233349
o 233065
o 232477
o 232281
o 232158
o 231962
o 231740
o 231152
o 230956
o 230833
o 230637
o 230633
o 230437
o 230416
o 230220
o 229936
o 229348
o 229152
o 229029
o 228833
o 228611
o 228023
o 227827
o 227704
o 227508
o 227504
o 227308
o 227203
o 227080
o 226884
o 226880
o 226684
o 226493
o 226297
o 226174
o 225978
o 225756
o 225168
o 224972
o 224849
o 224653
o 224649
o 224453
o 224441
o 224284
o 224280
o 224084
o 224072
o 223927
o 223923
o 223727
o 223622
o 223499
o 223303
o 223299
o 223103
o 222912
o 222716
o 222593
o 222397
o 222175
o 221587
o 221391
o 221268
o 221072
o 221068
o 220872
o 220860
o 220713
o 220590
o 220394
o 220390
o 220194
o 220182
o 220136
o 219940
o 219817
o 219621
o 219617
o 219421
o 219409
o 219264
o 219260
o 219064
o 218959
o 218836
o 218640
o 218636
o 218440
o 218249
o 218053
o 217930
o 217734
o 217512
o 216924
o 216728
o 216605
o 216409
o 216405
o 216209
o 216197
o 216118
o 216106
o 216094
o 215971
o 215775
o 215771
o 215575
o 215563
o 215399
o 215395
o 215199
o 215187
o 215175
o 215052
o 214856
o 214852
o 214656
o 214644
o 214626
o 214622
o 214426
o 214414
o 214402
o 214279
o 214083
o 214079
o 213883
o 213871
o 213726
o 213722
o 213526
o 213445
o 213254
o 213058
o 212935
o 212739
o 212517
o 211929
o 211733
o 211610
o 211414
o 211410
o 211214
o 211202
o 211190
o 211067
o 210871
o 210867
o 210671
o 210659
o 210079
o 209883
o 209760
o 209564
o 209560
o 209364
o 209352
o 209340
o 209217
o 209021
o 209017
o 208821
o 208809
o 208761
o 208749
o 208585
o 208446
o 208136
o 207775
o 207579
o 207456
o 207260
o 207256
o 207060
o 207048
o 207036
o 206913
o 206717
o 206713
o 206517
o 206505
o 206455
o 206259
o 206255
o 206059
o 206047
o 205999
o 205987
o 205925
o 205729
o 205606
o 205410
o 205406
o 205210
o 205198
o 205186
o 205063
o 204867
o 204863
o 204667
o 204655
o 204605
o 204409
o 204405
o 204209
o 204197
o 204149
o 204137
o 203949
o 203945
o 203749
o 203737
o 203687
o 203491
o 203487
o 203291
o 203279
o 203231
o 203219
o 203185
o 203173
o 203123
o 202927
o 202923
o 202727
o 202715
o 202667
o 202655
o 202612
o 202608
o 202412
o 202400
o 202350
o 202154
o 202150
o 201954
o 201942
o 201894
o 201882
o 201783
o 201587
o 201464
o 201268
o 201129
o 200819
o 200458
o 200262
o 200139
o 199943
o 199939
o 199743
o 199731
o 199719
o 199596
o 199400
o 199396
o 199200
o 199188
o 199138
o 198942
o 198938
o 198742
o 198730
o 198682
o 198670
o 198608
o 198412
o 198289
o 198093
o 198089
o 197893
o 197881
o 197869
o 197746
o 197550
o 197546
o 197350
o 197338
o 197288
o 197092
o 197088
o 196892
o 196880
o 196832
o 196820
o 196673
o 196661
o 196613
o 196601
o 196504
o 196492
o 196442
o 196246
o 196242
o 196046
o 196034
o 195986
o 195974
o 195931
o 195927
o 195731
o 195719
o 195669
o 195473
o 195469
o 195273
o 195261
o 195213
o 195201
o 195102
o 194906
o 194783
o 194587
o 194448
o 194138
o 193777
o 193581
o 193458
o 193262
o 193258
o 193062
o 193050
o 193038
o 192915
o 192719
o 192715
o 192519
o 192507
o 192457
o 192261
o 192257
o 192061
o 192049
o 192001
o 191989
o 191927
o 191731
o 191608
o 191412
o 191408
o 191212
o 191200
o 191188
o 191065
o 190869
o 190865
o 190669
o 190657
o 190607
o 190411
o 190407
o 190211
o 190199
o 190151
o 190139
o 190075
o 190063
o 190015
o 190003
o 189906
o 189894
o 189844
o 189648
o 189644
o 189448
o 189436
o 189388
o 189376
o 189333
o 189329
o 189133
o 189121
o 189071
o 188875
o 188871
o 188675
o 188663
o 188615
o 188603
o 188504
o 188308
o 188185
o 187989
o 187850
o 187540
o 187179
o 186983
o 186860
o 186664
o 186660
o 186464
o 186452
o 186440
o 186317
o 186121
o 186117
o 185921
o 185909
o 185859
o 185663
o 185659
o 185463
o 185451
o 185403
o 185391
o 185329
o 185133
o 185010
o 184814
o 184810
o 184614
o 184602
o 184590
o 184467
o 184271
o 184267
o 184071
o 184059
o 184009
o 183813
o 183809
o 183613
o 183601
o 183553
o 183541
o 183532
o 183520
o 183397
o 183201
o 183197
o 183001
o 182989
o 182939
o 182743
o 182739
o 182543
o 182531
o 182483
o 182471
o 182466
o 182454
o 182331
o 182135
o 182131
o 181935
o 181923
o 181873
o 181677
o 181673
o 181477
o 181465
o 181417
o 181405
o 181343
o 181331
o 181281
o 181085
o 181081
o 180885
o 180873
o 180825
o 180813
o 180719
o 180715
o 180519
o 180507
o 180495
o 180372
o 180176
o 180172
o 179976
o 179964
o 179914
o 179718
o 179714
o 179518
o 179506
o 179458
o 179446
o 179384
o 179188
o 179065
o 178869
o 178865
o 178669
o 178657
o 178645
o 178522
o 178326
o 178322
o 178126
o 178114
o 178064
o 177868
o 177864
o 177668
o 177656
o 177608
o 177596
o 177402
o 177390
o 177342
o 177330
o 177268
o 177072
o 176949
o 176753
o 176749
o 176553
o 176541
o 176529
o 176406
o 176210
o 176206
o 176010
o 175998
o 175948
o 175752
o 175748
o 175552
o 175540
o 175492
o 175480
o 175427
o 175231
o 175227
o 175031
o 175019
o 174969
o 174773
o 174769
o 174573
o 174561
o 174513
o 174501
o 174492
o 174480
o 174357
o 174161
o 174157
o 173961
o 173949
o 173899
o 173703
o 173699
o 173503
o 173491
o 173443
o 173431
o 173426
o 173414
o 173291
o 173095
o 173091
o 172895
o 172883
o 172833
o 172637
o 172633
o 172437
o 172425
o 172377
o 172365
o 172364
o 172241
o 172045
o 172041
o 171845
o 171833
o 171783
o 171587
o 171583
o 171387
o 171375
o 171327
o 171315
o 171310
o 171298
o 171175
o 170979
o 170975
o 170779
o 170767
o 170717
o 170521
o 170517
o 170321
o 170309
o 170261
o 170249
o 170187
o 170175
o 170125
o 169929
o 169925
o 169729
o 169717
o 169669
o 169657
o 169543
o 169531
o 169483
o 169471
o 169397
o 169201
o 169078
o 168882
o 168870
o 168854
o 168658
o 168535
o 168339
o 168327
o 168200
o 168077
o 167881
o 167869
o 167821
o 167809
o 167615
o 167603
o 167555
o 167543
o 167427
o 167415
o 167367
o 167355
o 167281
o 167085
o 166962
o 166766
o 166754
o 166738
o 166542
o 166419
o 166223
o 166211
o 166084
o 165961
o 165765
o 165753
o 165705
o 165693
o 165563
o 165440
o 165244
o 165232
o 165105
o 164982
o 164786
o 164774
o 164726
o 164714
o 164705
o 164689
o 164493
o 164370
o 164174
o 164162
o 164035
o 163912
o 163716
o 163704
o 163656
o 163644
o 163639
o 163623
o 163427
o 163304
o 163108
o 163096
o 162969
o 162846
o 162650
o 162638
o 162590
o 162578
o 162573
o 162377
o 162254
o 162058
o 162046
o 161919
o 161796
o 161600
o 161588
o 161540
o 161528
o 161523
o 161507
o 161311
o 161188
o 160992
o 160980
o 160853
o 160730
o 160534
o 160522
o 160474
o 160462
o 160427
o 160231
o 160219
o 160092
o 159969
o 159773
o 159761
o 159713
o 159701
o 159696
o 159500
o 159377
o 159181
o 159169
o 159042
o 158919
o 158723
o 158711
o 158663
o 158651
o 158646
o 158630
o 158434
o 158311
o 158115
o 158103
o 157976
o 157853
o 157657
o 157645
o 157597
o 157585
o 157523
o 157511
o 157384
o 157261
o 157065
o 157053
o 157005
o 156993
o 156902
o 156779
o 156583
o 156571
o 156523
o 156511
o 156502
o 156486
o 156290
o 156167
o 155971
o 155959
o 155832
o 155709
o 155513
o 155501
o 155453
o 155441
o 155436
o 155420
o 155224
o 155101
o 154905
o 154893
o 154766
o 154643
o 154447
o 154435
o 154387
o 154375
o 154370
o 154174
o 154051
o 153855
o 153843
o 153716
o 153593
o 153397
o 153385
o 153337
o 153325
o 153320
o 153304
o 153108
o 152985
o 152789
o 152777
o 152650
o 152527
o 152331
o 152319
o 152271
o 152259
o 152224
o 152028
o 152016
o 151889
o 151766
o 151570
o 151558
o 151510
o 151498
o 151493
o 151297
o 151174
o 150978
o 150966
o 150839
o 150716
o 150520
o 150508
o 150460
o 150448
o 150443
o 150427
o 150231
o 150108
o 149912
o 149900
o 149773
o 149650
o 149454
o 149442
o 149394
o 149382
o 149320
o 149308
o 149181
o 149058
o 148862
o 148850
o 148802
o 148790
o 148651
o 148639
o 148591
o 148579
o 148508
o 148312
o 148300
o 148284
o 148088
o 147965
o 147769
o 147757
o 147720
o 147708
o 147692
o 147496
o 147373
o 147177
o 147165
o 147162
o 146966
o 146954
o 146902
o 146890
o 146887
o 146691
o 146679
o 146670
o 146658
o 146511
o 146446
o 146323
o 146127
o 146115
o 146104
o 146092
o 145921
o 145909
o 145762
o 145697
o 145574
o 145378
o 145366
o 145329
o 145317
o 145170
o 145105
o 144982
o 144786
o 144774
o 144771
o 144575
o 144563
o 144511
o 144499
o 144496
o 144300
o 144288
o 144163
o 144151
o 144099
o 144087
o 144084
o 143888
o 143876
o 143813
o 143617
o 143605
o 143594
o 143582
o 143571
o 143448
o 143252
o 143187
o 143064
o 142868
o 142856
o 142660
o 142595
o 142472
o 142276
o 142264
o 142261
o 142065
o 142053
o 141864
o 141852
o 141849
o 141653
o 141641
o 141589
o 141577
o 141574
o 141378
o 141366
o 141199
o 141187
o 141184
o 140988
o 140976
o 140814
o 140802
o 140716
o 140528
o 140332
o 140320
o 140124
o 139936
o 139740
o 139728
o 139725
o 139529
o 139517
o 139353
o 139165
o 138969
o 138957
o 138954
o 138758
o 138746
o 138557
o 138545
o 138542
o 138346
o 138334
o 138233
o 138221
o 138073
o 138061
o 138058
o 137862
o 137850
o 137839
o 137686
o 137498
o 137302
o 137290
o 137287
o 137091
o 137079
o 136890
o 136878
o 136875
o 136679
o 136667
o 136533
o 136521
o 136332
o 136320
o 136317
o 136121
o 136109
o 135947
o 135935
o 135849
o 135661
o 135465
o 135453
o 135422
o 135410
o 135257
o 135069
o 134873
o 134861
o 134858
o 134662
o 134650
o 134639
o 134486
o 134298
o 134102
o 134090
o 134087
o 133891
o 133879
o 133690
o 133678
o 133675
o 133479
o 133467
o 133263
o 133251
o 133052
o 133040
o 133029
o 132957
o 132743
o 132731
o 132706
o 132492
o 132480
o 132281
o 132269
o 132080
o 132068
o 131869
o 131857
o 131691
o 131679
o 131490
o 131478
o 131279
o 131267
o 131099
o 131087
o 130921
o 130909
o 130720
o 130708
o 130509
o 130497
o 130342
o 130146
o 130134
o 130103
o 130091
o 129938
o 129750
o 129554
o 129542
o 129386
o 129338
o 129142
o 129130
o 129015
o 128819
o 128783
o 128771
o 128615
o 128567
o 128371
o 128359
o 128195
o 128183
o 128158
o 127944
o 127932
o 127765
o 127753
o 127722
o 127710
o 127638
o 127424
o 127412
o 127387
o 127173
o 127161
o 127012
o 127000
o 126975
o 126761
o 126749
o 126583
o 126571
o 126422
o 126410
o 126385
o 126171
o 126159
o 125952
o 125940
o 125774
o 125762
o 125613
o 125601
o 125576
o 125362
o 125350
o 125284
o 125272
o 125269
o 125244
o 125030
o 125018
o 124852
o 124840
o 124694
o 124682
o 124679
o 124654
o 124440
o 124428
o 124281
o 124224
o 124212
o 124204
o 124022
o 123965
o 123953
o 123822
o 123765
o 123753
o 123683
o 123626
o 123614
o 123432
o 123375
o 123363
o 123359
o 123302
o 123290
o 123182
o 123170
o 123087
o 123075
o 123050
o 122836
o 122824
o 122770
o 122758
o 122675
o 122663
o 122638
o 122424
o 122412
o 122356
o 122344
o 122319
o 122105
o 122093
o 122079
o 121865
o 121853
o 121766
o 121754
o 121729
o 121515
o 121503
o 121489
o 121275
o 121263
o 121248
o 121236
o 121139
o 121127
o 121102
o 120888
o 120876
o 120862
o 120648
o 120636
o 120549
o 120537
o 120512
o 120298
o 120286
o 120272
o 120058
o 120046
o 119901
o 119889
o 119849
o 119837
o 119740
o 119728
o 119703
o 119489
o 119477
o 119469
o 119444
o 119230
o 119218
o 119052
o 119040
o 119000
o 118988
o 118891
o 118879
o 118854
o 118640
o 118628
o 118567
o 118555
o 118509
o 118452
o 118440
o 118400
o 118343
o 118331
o 118149
o 118092
o 118080
o 118076
o 118019
o 118007
o 117919
o 117862
o 117850
o 117810
o 117753
o 117741
o 117559
o 117502
o 117490
o 117486
o 117429
o 117417
o 117415
o 117403
o 117399
o 117342
o 117330
o 117243
o 117186
o 117175
o 117118
o 116924
o 116867
o 116851
o 116794
o 116780
o 116764
o 116707
o 116703
o 116657
o 116600
o 116548
o 116491
o 116297
o 116240
o 116067
o 116010
o 115958
o 115901
o 115707
o 115650
o 115634
o 115577
o 115563
o 115547
o 115490
o 115352
o 115295
o 115122
o 115065
o 115013
o 114956
o 114762
o 114705
o 114689
o 114632
o 114618
o 114602
o 114545
o 114408
o 114351
o 114346
o 114289
o 114278
o 114273
o 114216
o 114202
o 114191
o 114186
o 114129
o 114127
o 114038
o 113824
o 113767
o 113646
o 113589
o 113573
o 113516
o 113502
o 113486
o 113429
o 113427
o 113416
o 113411
o 113354
o 113348
o 113166
o 113109
o 113004
o 112947
o 112890
o 112887
o 112734
o 112677
o 112648
o 112495
o 112438
o 112415
o 112358
o 112176
o 112119
o 112076
o 112019
o 111825
o 111768
o 111586
o 111529
o 111513
o 111456
o 111438
o 111422
o 111365
o 111238
o 111181
o 111060
o 111003
o 110967
o 110910
o 110887
o 110830
o 110648
o 110591
o 110470
o 110413
o 110397
o 110340
o 110326
o 110310
o 110253
o 110249
o 110239
o 110203
o 110069
o 110021
o 110012
o 109964
o 109843
o 109786
o 109670
o 109634
o 109431
o 109374
o 109253
o 109196
o 109180
o 109123
o 109109
o 109093
o 109036
o 109034
o 109023
o 109018
o 108961
o 108892
o 108835
o 108819
o 108762
o 108653
o 108596
o 108593
o 108440
o 108383
o 108354
o 108201
o 108144
o 108121
o 108064
o 107882
o 107825
o 107809
o 107752
o 107738
o 107722
o 107665
o 107661
o 107632
o 107628
o 107502
o 107445
o 107416
o 107263
o 107206
o 107183
o 107126
o 106944
o 106887
o 106766
o 106709
o 106679
o 106622
o 106618
o 106606
o 106549
o 106545
o 106535
o 106502
o 106486
o 106429
o 106398
o 106341
o 106326
o 106290
o 106087
o 105966
o 105930
o 105727
o 105670
o 105549
o 105492
o 105476
o 105419
o 105405
o 105389
o 105332
o 105330
o 105319
o 105314
o 105257
o 105159
o 105102
o 105086
o 105029
o 105015
o 104999
o 104942
o 104938
o 104924
o 104867
o 104863
o 104838
o 104824
o 104808
o 104751
o 104732
o 104629
o 104572
o 104542
o 104390
o 104333
o 104269
o 104212
o 104182
o 104030
o 103973
o 103852
o 103795
o 103779
o 103722
o 103708
o 103692
o 103635
o 103633
o 103622
o 103617
o 103560
o 103462
o 103405
o 103389
o 103332
o 103318
o 103302
o 103245
o 103241
o 103232
o 103227
o 103170
o 103166
o 103165
o 103129
o 103115
o 103078
o 103042
o 103038
o 103029
o 103003
o 102967
o 102963
o 102947
o 102933
o 102917
o 102860
o 102856
o 102854
o 102847
o 102842
o 102785
o 102781
o 102753
o 102655
o 102598
o 102582
o 102525
o 102511
o 102495
o 102438
o 102434
o 102425
o 102420
o 102363
o 102359
o 102358
o 102322
o 102308
o 102271
o 102235
o 102231
o 102222
o 102196
o 102160
o 102156
o 102144
o 102133
o 102128
o 102116
o 102071
o 102067
o 102064
o 102028
o 102017
o 101991
o 101955
o 101941
o 101930
o 101904
o 101868
o 101864
o 101853
o 101808
o 101803
o 101777
o 101741
o 101714
o 101678
o 101641
o 101605
o 101558
o 101540
o 101483
o 101472
o 101467
o 101410
o 101396
o 101385
o 101380
o 101323
o 101225
o 101168
o 101155
o 101150
o 101093
o 101082
o 101077
o 101020
o 101006
o 100990
o 100933
o 100929
o 100901
o 100803
o 100746
o 100733
o 100728
o 100671
o 100660
o 100655
o 100598
o 100584
o 100573
o 100568
o 100511
o 100507
o 100457
o 100446
o 100441
o 100384
o 100378
o 100321
o 100305
o 100248
o 100199
o 100153
o 99996
o 99939
o 99921
o 99864
o 99848
o 99791
o 99777
o 99761
o 99704
o 99574
o 99517
o 99499
o 99442
o 99426
o 99369
o 99355
o 99339
o 99282
o 99184
o 99127
o 99109
o 99052
o 99036
o 98979
o 98965
o 98949
o 98892
o 98888
o 98838
o 98822
o 98765
o 98759
o 98702
o 98686
o 98629
o 98600
o 98596
o 98591
o 98546
o 98535
o 98530
o 98518
o 98473
o 98467
o 98455
o 98410
o 98394
o 98382
o 98337
o 98332
o 98306
o 98270
o 98243
o 98207
o 98170
o 98134
o 98078
o 98067
o 98062
o 98005
o 97991
o 97980
o 97975
o 97918
o 97820
o 97763
o 97745
o 97688
o 97672
o 97615
o 97601
o 97585
o 97528
o 97524
o 97474
o 97463
o 97458
o 97401
o 97400
o 97395
o 97338
o 97327
o 97322
o 97265
o 97236
o 97232
o 97227
o 97182
o 97166
o 97154
o 97109
o 97103
o 97091
o 97046
o 97030
o 97018
o 96973
o 96968
o 96942
o 96906
o 96905
o 96879
o 96843
o 96832
o 96806
o 96770
o 96737
o 96726
o 96709
o 96664
Killed
1979.630u 0.068s 33:01.93 99.8%	0+0k 0+0io 0pf+0w