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-7.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-7.net.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 1919796
o 174870
o 173975
o 172711
o 172560
o 171296
o 170808
o 170562
o 170532
o 170488
o 170458
o 170246
o 170000
o 169970
o 169861
o 169373
o 168597
o 168109
o 167863
o 167833
o 167805
o 167775
o 167672
o 167474
o 167275
o 167228
o 167029
o 166999
o 166986
o 166787
o 166740
o 166541
o 166511
o 166482
o 166307
o 166277
o 166094
o 166064
o 166024
o 165994
o 165819
o 165789
o 165606
o 165576
o 165500
o 165470
o 165430
o 165400
o 165225
o 165195
o 165012
o 164982
o 164973
o 164943
o 164760
o 164730
o 164690
o 164660
o 164485
o 164455
o 164272
o 164242
o 164144
o 164114
o 163931
o 163901
o 163772
o 163742
o 163573
o 163543
o 163368
o 163338
o 163155
o 163125
o 163085
o 163055
o 162880
o 162850
o 162667
o 162637
o 162605
o 162575
o 162392
o 162362
o 162212
o 162182
o 162007
o 161977
o 161794
o 161764
o 161724
o 161694
o 161519
o 161489
o 161306
o 161276
o 161230
o 161031
o 161001
o 160826
o 160796
o 160613
o 160583
o 160543
o 160513
o 160338
o 160308
o 160125
o 160095
o 160063
o 160033
o 159850
o 159820
o 159763
o 159733
o 159550
o 159520
o 159465
o 159435
o 159252
o 159222
o 159182
o 159152
o 158977
o 158947
o 158764
o 158734
o 158713
o 158704
o 158521
o 158491
o 158341
o 158311
o 158136
o 158106
o 157923
o 157893
o 157853
o 157823
o 157648
o 157618
o 157435
o 157405
o 157372
o 157342
o 157287
o 157257
o 157074
o 157044
o 157004
o 156974
o 156799
o 156769
o 156586
o 156556
o 156460
o 156430
o 156409
o 156400
o 156217
o 156187
o 156037
o 156007
o 155832
o 155802
o 155619
o 155589
o 155549
o 155519
o 155344
o 155314
o 155131
o 155101
o 155068
o 155038
o 154983
o 154953
o 154770
o 154740
o 154700
o 154670
o 154495
o 154465
o 154282
o 154252
o 154225
o 154195
o 154140
o 154110
o 153927
o 153897
o 153857
o 153827
o 153652
o 153622
o 153439
o 153409
o 153376
o 153346
o 153291
o 153261
o 153078
o 153048
o 153008
o 152978
o 152803
o 152773
o 152590
o 152560
o 152460
o 152430
o 152375
o 152345
o 152162
o 152132
o 152092
o 152062
o 151887
o 151857
o 151674
o 151644
o 151548
o 151518
o 151463
o 151433
o 151393
o 151363
o 151188
o 151158
o 150975
o 150945
o 150865
o 150835
o 150802
o 150772
o 150717
o 150687
o 150504
o 150474
o 150434
o 150404
o 150229
o 150199
o 150016
o 149986
o 149858
o 149828
o 149788
o 149758
o 149583
o 149553
o 149370
o 149340
o 149173
o 149143
o 149110
o 149080
o 149025
o 148995
o 148812
o 148782
o 148742
o 148712
o 148537
o 148507
o 148324
o 148294
o 148166
o 148136
o 148096
o 148066
o 147891
o 147861
o 147678
o 147648
o 147578
o 147548
o 147508
o 147478
o 147303
o 147273
o 147090
o 147060
o 147036
o 147006
o 146878
o 146848
o 146808
o 146778
o 146603
o 146573
o 146390
o 146360
o 146303
o 146273
o 146193
o 146163
o 146130
o 146100
o 146045
o 146015
o 145832
o 145802
o 145762
o 145732
o 145557
o 145527
o 145344
o 145314
o 145186
o 145156
o 145116
o 145086
o 144911
o 144881
o 144698
o 144668
o 144646
o 144463
o 144433
o 144376
o 144346
o 144266
o 144236
o 144203
o 144173
o 144118
o 144088
o 143905
o 143875
o 143835
o 143805
o 143630
o 143600
o 143417
o 143387
o 143259
o 143229
o 143189
o 143159
o 142984
o 142954
o 142771
o 142741
o 142671
o 142641
o 142601
o 142571
o 142396
o 142366
o 142183
o 142153
o 142129
o 142099
o 141971
o 141941
o 141901
o 141871
o 141696
o 141666
o 141483
o 141453
o 141396
o 141366
o 141286
o 141256
o 141223
o 141193
o 141138
o 141108
o 140925
o 140895
o 140855
o 140825
o 140650
o 140620
o 140437
o 140407
o 140279
o 140249
o 140209
o 140179
o 140004
o 139974
o 139791
o 139761
o 139738
o 139555
o 139525
o 139485
o 139455
o 139280
o 139250
o 139067
o 139037
o 138909
o 138879
o 138839
o 138809
o 138634
o 138604
o 138421
o 138391
o 138334
o 138304
o 138224
o 138194
o 138161
o 138131
o 138076
o 138046
o 137863
o 137833
o 137793
o 137763
o 137588
o 137558
o 137375
o 137345
o 137217
o 137187
o 137147
o 137117
o 136942
o 136912
o 136729
o 136699
o 136694
o 136511
o 136481
o 136448
o 136418
o 136308
o 136278
o 136150
o 136120
o 136080
o 136050
o 135875
o 135845
o 135662
o 135632
o 135575
o 135545
o 135465
o 135435
o 135402
o 135372
o 135317
o 135287
o 135104
o 135074
o 135034
o 135004
o 134829
o 134799
o 134616
o 134586
o 134458
o 134428
o 134388
o 134358
o 134183
o 134153
o 133970
o 133940
o 133779
o 133749
o 133692
o 133662
o 133582
o 133552
o 133519
o 133489
o 133434
o 133404
o 133221
o 133191
o 133151
o 133121
o 132946
o 132916
o 132733
o 132703
o 132575
o 132545
o 132505
o 132475
o 132300
o 132270
o 132087
o 132057
o 132043
o 131860
o 131830
o 131663
o 131633
o 131600
o 131570
o 131515
o 131485
o 131302
o 131272
o 131232
o 131202
o 131027
o 130997
o 130814
o 130784
o 130656
o 130626
o 130586
o 130556
o 130381
o 130351
o 130168
o 130138
o 130133
o 129950
o 129920
o 129887
o 129857
o 129747
o 129717
o 129589
o 129559
o 129519
o 129489
o 129314
o 129284
o 129101
o 129071
o 129014
o 128984
o 128904
o 128874
o 128841
o 128811
o 128756
o 128726
o 128543
o 128513
o 128473
o 128443
o 128268
o 128238
o 128055
o 128025
o 127897
o 127867
o 127827
o 127797
o 127622
o 127592
o 127409
o 127379
o 127344
o 127314
o 127131
o 127101
o 127068
o 127038
o 126928
o 126898
o 126770
o 126740
o 126700
o 126670
o 126495
o 126465
o 126282
o 126252
o 126128
o 126098
o 125915
o 125885
o 125861
o 125831
o 125703
o 125673
o 125633
o 125603
o 125428
o 125398
o 125215
o 125185
o 125128
o 125098
o 125018
o 124988
o 124955
o 124925
o 124870
o 124840
o 124657
o 124627
o 124587
o 124557
o 124382
o 124352
o 124169
o 124139
o 124011
o 123981
o 123941
o 123911
o 123736
o 123706
o 123523
o 123493
o 123464
o 123424
o 123394
o 123219
o 123189
o 123006
o 122976
o 122870
o 122840
o 122657
o 122627
o 122554
o 122524
o 122495
o 122455
o 122425
o 122250
o 122220
o 122037
o 122007
o 121883
o 121853
o 121670
o 121640
o 121616
o 121586
o 121487
o 121457
o 121428
o 121388
o 121358
o 121183
o 121153
o 120970
o 120940
o 120857
o 120827
o 120644
o 120614
o 120581
o 120551
o 120441
o 120411
o 120283
o 120253
o 120213
o 120183
o 120008
o 119978
o 119795
o 119765
o 119736
o 119696
o 119666
o 119491
o 119461
o 119278
o 119248
o 119115
o 119085
o 118902
o 118872
o 118744
o 118714
o 118674
o 118644
o 118469
o 118439
o 118256
o 118226
o 118197
o 118157
o 118127
o 117952
o 117922
o 117739
o 117709
o 117652
o 117622
o 117542
o 117512
o 117423
o 117393
o 117210
o 117180
o 117151
o 117111
o 117081
o 116906
o 116876
o 116693
o 116663
o 116564
o 116534
o 116505
o 116465
o 116435
o 116260
o 116230
o 116047
o 116017
o 115908
o 115878
o 115849
o 115809
o 115779
o 115604
o 115574
o 115391
o 115361
o 115255
o 115225
o 115042
o 115012
o 114934
o 114904
o 114721
o 114691
o 114658
o 114628
o 114518
o 114488
o 114360
o 114330
o 114290
o 114260
o 114085
o 114055
o 113872
o 113842
o 113785
o 113755
o 113675
o 113645
o 113612
o 113582
o 113527
o 113497
o 113314
o 113284
o 113244
o 113214
o 113039
o 113009
o 112826
o 112796
o 112732
o 112702
o 112668
o 112638
o 112598
o 112568
o 112393
o 112363
o 112180
o 112150
o 112121
o 112081
o 112051
o 111876
o 111846
o 111663
o 111633
o 111490
o 111460
o 111427
o 111397
o 111287
o 111257
o 111129
o 111099
o 111059
o 111029
o 110854
o 110824
o 110641
o 110611
o 110554
o 110524
o 110444
o 110414
o 110381
o 110351
o 110296
o 110266
o 110083
o 110053
o 110013
o 109983
o 109808
o 109778
o 109595
o 109565
o 109501
o 109471
o 109437
o 109407
o 109367
o 109337
o 109162
o 109132
o 108949
o 108919
o 108890
o 108850
o 108820
o 108645
o 108615
o 108432
o 108402
o 108347
o 108317
o 108134
o 108104
o 108016
o 107986
o 107803
o 107773
o 107701
o 107671
o 107488
o 107458
o 107370
o 107340
o 107157
o 107127
o 106971
o 106941
o 106853
o 106823
o 106640
o 106610
o 106467
o 106437
o 106407
o 106367
o 106337
o 106162
o 106132
o 105949
o 105919
o 105831
o 105801
o 105618
o 105588
o 105531
o 105501
o 105421
o 105391
o 105361
o 105321
o 105291
o 105116
o 105086
o 104903
o 104873
o 104785
o 104755
o 104572
o 104542
o 104470
o 104440
o 104257
o 104227
o 104139
o 104109
o 103926
o 103896
o 103740
o 103710
o 103622
o 103592
o 103409
o 103379
o 103273
o 103243
o 103060
o 103030
o 103006
o 102976
o 102793
o 102763
o 102657
o 102627
o 102444
o 102414
o 102356
o 102352
o 102153
o 102Killed
1979.682u 0.016s 33:09.84 99.4%	0+0k 0+0io 0pf+0w