Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-IncWMaxSatz-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_random-net_random-net-60-2_network-1.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-1.net.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 2240595
o 190665
o 190659
o 190060
o 188952
o 188677
o 188671
o 188072
o 186964
o 186409
o 186387
o 185558
o 185372
o 185279
o 185003
o 184817
o 184724
o 184023
o 183837
o 183744
o 183468
o 183282
o 183189
o 183029
o 183007
o 182178
o 181992
o 181899
o 181623
o 181437
o 181344
o 181327
o 181141
o 181048
o 181002
o 180772
o 180586
o 180493
o 180301
o 180115
o 180022
o 179792
o 179606
o 179513
o 179467
o 179237
o 179051
o 178958
o 178798
o 178776
o 178456
o 178270
o 178177
o 177947
o 177761
o 177668
o 177622
o 177392
o 177206
o 177113
o 177035
o 176849
o 176756
o 176743
o 176557
o 176464
o 176447
o 176261
o 176168
o 176122
o 175892
o 175706
o 175613
o 175421
o 175235
o 175142
o 174912
o 174726
o 174633
o 174587
o 174357
o 174171
o 174078
o 173576
o 173390
o 173297
o 173067
o 172881
o 172788
o 172742
o 172512
o 172326
o 172233
o 172163
o 172070
o 172022
o 171992
o 171806
o 171713
o 171700
o 171514
o 171421
o 171404
o 171218
o 171125
o 170972
o 170879
o 170849
o 170663
o 170570
o 170501
o 170408
o 170378
o 170192
o 170099
o 169992
o 169899
o 169869
o 169683
o 169590
o 169437
o 169344
o 169314
o 169128
o 169035
o 168842
o 168656
o 168563
o 168533
o 168347
o 168254
o 168147
o 168054
o 168024
o 167838
o 167745
o 167592
o 167499
o 167469
o 167283
o 167190
o 167136
o 167043
o 166936
o 166843
o 166813
o 166627
o 166534
o 166381
o 166288
o 166258
o 166072
o 165979
o 165786
o 165600
o 165507
o 165477
o 165291
o 165198
o 165091
o 164998
o 164968
o 164782
o 164689
o 164536
o 164443
o 164413
o 164227
o 164134
o 164082
o 164057
o 163871
o 163778
o 163732
o 163625
o 163532
o 163502
o 163316
o 163223
o 163169
o 163076
o 162969
o 162876
o 162846
o 162660
o 162567
o 162414
o 162321
o 162291
o 162105
o 162012
o 161819
o 161633
o 161540
o 161510
o 161324
o 161231
o 161124
o 161031
o 161001
o 160815
o 160722
o 160569
o 160476
o 160446
o 160260
o 160167
o 160115
o 160038
o 159945
o 159893
o 159868
o 159682
o 159589
o 159543
o 159436
o 159343
o 159313
o 159127
o 159034
o 158980
o 158887
o 158780
o 158687
o 158657
o 158471
o 158378
o 158225
o 158132
o 158102
o 157916
o 157823
o 157630
o 157444
o 157351
o 157321
o 157135
o 157042
o 156935
o 156842
o 156812
o 156626
o 156533
o 156380
o 156287
o 156257
o 156071
o 155978
o 155926
o 155897
o 155711
o 155618
o 155588
o 155402
o 155309
o 155202
o 155109
o 155079
o 154893
o 154800
o 154647
o 154554
o 154524
o 154338
o 154245
o 154193
o 154131
o 154038
o 154008
o 153822
o 153729
o 153675
o 153582
o 153475
o 153382
o 153352
o 153166
o 153073
o 152920
o 152827
o 152797
o 152611
o 152518
o 152325
o 152139
o 152046
o 152016
o 151830
o 151737
o 151630
o 151537
o 151507
o 151321
o 151228
o 151075
o 150982
o 150952
o 150766
o 150673
o 150621
o 150592
o 150406
o 150313
o 150283
o 150097
o 150004
o 149851
o 149758
o 149728
o 149542
o 149449
o 149342
o 149249
o 149219
o 149033
o 148940
o 148888
o 148748
o 148655
o 148603
o 148550
o 148498
o 148321
o 148135
o 148042
o 148012
o 147826
o 147733
o 147580
o 147487
o 147457
o 147271
o 147178
o 147126
o 147124
o 146938
o 146845
o 146799
o 146706
o 146676
o 146490
o 146397
o 146290
o 146197
o 146167
o 145981
o 145888
o 145842
o 145735
o 145642
o 145612
o 145426
o 145333
o 145281
o 145205
o 145112
o 145066
o 144973
o 144943
o 144757
o 144664
o 144557
o 144464
o 144434
o 144248
o 144155
o 144109
o 144002
o 143909
o 143879
o 143693
o 143600
o 143548
o 143408
o 143315
o 143263
o 143229
o 143136
o 143130
o 142944
o 142851
o 142827
o 142821
o 142635
o 142542
o 142490
o 142488
o 142302
o 142209
o 142139
o 142046
o 141939
o 141846
o 141816
o 141630
o 141537
o 141531
o 141345
o 141252
o 141075
o 140982
o 140976
o 140790
o 140697
o 140645
o 140569
o 140476
o 140429
o 140336
o 140313
o 140307
o 140121
o 140028
o 139875
o 139782
o 139758
o 139752
o 139566
o 139473
o 139366
o 139273
o 139249
o 139243
o 139057
o 138964
o 138912
o 138871
o 138865
o 138679
o 138586
o 138562
o 138556
o 138370
o 138277
o 138225
o 138146
o 138053
o 138001
o 137861
o 137768
o 137716
o 137686
o 137593
o 137541
o 137486
o 137393
o 137240
o 137147
o 137123
o 137117
o 136931
o 136838
o 136786
o 136724
o 136700
o 136694
o 136508
o 136415
o 136238
o 136145
o 136139
o 135953
o 135860
o 135808
o 135792
o 135699
o 135693
o 135507
o 135414
o 135390
o 135384
o 135198
o 135105
o 135053
o 134973
o 134949
o 134943
o 134757
o 134664
o 134612
o 134596
o 134503
o 134451
o 134287
o 134194
o 134142
o 134002
o 133909
o 133857
o 133814
o 133721
o 133669
o 133623
o 133568
o 133475
o 133451
o 133445
o 133259
o 133166
o 133114
o 133098
o 133005
o 132999
o 132813
o 132720
o 132696
o 132690
o 132504
o 132411
o 132359
o 132313
o 132307
o 132121
o 132028
o 132004
o 131998
o 131812
o 131719
o 131667
o 131651
o 131558
o 131552
o 131366
o 131273
o 131249
o 131243
o 131057
o 130964
o 130912
o 130832
o 130808
o 130802
o 130616
o 130523
o 130471
o 130455
o 130362
o 130356
o 130170
o 130077
o 130053
o 130047
o 129861
o 129768
o 129716
o 129680
o 129587
o 129535
o 129430
o 129337
o 129331
o 129145
o 129052
o 128875
o 128782
o 128776
o 128590
o 128497
o 128429
o 128336
o 128306
o 128120
o 128027
o 128021
o 127835
o 127742
o 127690
o 127533
o 127440
o 127388
o 127308
o 127284
o 127278
o 127092
o 126999
o 126947
o 126931
o 126838
o 126786
o 126622
o 126529
o 126477
o 126337
o 126244
o 126192
o 126149
o 126094
o 126001
o 125848
o 125755
o 125731
o 125725
o 125539
o 125446
o 125394
o 125289
o 125196
o 125190
o 125004
o 124911
o 124734
o 124641
o 124635
o 124449
o 124356
o 124304
o 124288
o 124195
o 124189
o 124003
o 123910
o 123886
o 123880
o 123694
o 123601
o 123549
o 123464
o 123371
o 123264
o 123171
o 122994
o 122901
o 122895
o 122709
o 122616
o 122564
o 122425
o 122332
o 122326
o 122140
o 122047
o 121870
o 121777
o 121771
o 121585
o 121492
o 121440
o 121424
o 121331
o 121325
o 121139
o 121046
o 121022
o 121016
o 120830
o 120737
o 120685
o 120605
o 120581
o 120575
o 120389
o 120296
o 120244
o 120228
o 120135
o 120129
o 119943
o 119850
o 119826
o 119820
o 119634
o 119541
o 119489
o 119404
o 119311
o 119259
o 119243
o 119150
o 119144
o 118958
o 118865
o 118841
o 118835
o 118649
o 118556
o 118504
o 118347
o 118254
o 118230
o 118224
o 118038
o 117945
o 117926
o 117833
o 117728
o 117542
o 117449
o 117419
o 117233
o 117140
o 117134
o 116948
o 116855
o 116787
o 116694
o 116664
o 116478
o 116385
o 116379
o 116193
o 116100
o 116048
o 115968
o 115944
o 115938
o 115752
o 115659
o 115607
o 115591
o 115498
o 115492
o 115306
o 115213
o 115189
o 115183
o 114997
o 114904
o 114852
o 114767
o 114674
o 114622
o 114606
o 114513
o 114507
o 114321
o 114228
o 114204
o 114198
o 114012
o 113919
o 113867
o 113862
o 113783
o 113690
o 113684
o 113498
o 113405
o 113353
o 113307
o 113228
o 113135
o 113129
o 112943
o 112850
o 112798
o 112782
o 112689
o 112683
o 112497
o 112404
o 112380
o 112374
o 112188
o 112095
o 112043
o 112004
o 111911
o 111859
o 111843
o 111750
o 111744
o 111558
o 111465
o 111441
o 111435
o 111249
o 111156
o 111104
o 111061
o 111006
o 110913
o 110760
o 110667
o 110643
o 110637
o 110451
o 110358
o 110306
o 110296
o 110203
o 110135
o 110042
o 110036
o 109850
o 109757
o 109733
o 109727
o 109541
o 109448
o 109396
o 109334
o 109310
o 109304
o 109118
o 109025
o 108973
o 108848
o 108755
o 108703
o 108563
o 108470
o 108418
o 108402
o 108309
o 108303
o 108117
o 108024
o 108000
o 107994
o 107808
o 107715
o 107663
o 107583
o 107559
o 107553
o 107367
o 107274
o 107222
o 107206
o 107113
o 107107
o 106921
o 106828
o 106804
o 106798
o 106612
o 106519
o 106467
o 106386
o 106293
o 106287
o 106101
o 106008
o 105901
o 105808
o 105631
o 105538
o 105532
o 105346
o 105253
o 105201
o 105165
o 105141
o 105135
o 104949
o 104856
o 104804
o 104788
o 104695
o 104689
o 104503
o 104410
o 104386
o 104380
o 104194
o 104101
o 104049
o 103992
o 103899
o 103875
o 103869
o 103683
o 103590
o 103538
o 103522
o 103429
o 103423
o 103237
o 103144
o 103120
o 103114
o 102928
o 102835
o 102783
o 102756
o 102732
o 102726
o 102540
o 102447
o 102395
o 102393
o 102314
o 102221
o 102215
o 102029
o 101936
o 101884
o 101868
o 101775
o 101769
o 101583
o 101490
o 101466
o 101460
o 101274
o 101181
o 101129
o 101042
o 100949
o 100Killed
1979.619u 0.079s 33:12.39 99.3%	0+0k 0+0io 0pf+0w