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-10.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-10.net.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 2033802
o 201686
o 201638
o 200218
o 200191
o 199877
o 199850
o 199755
o 199728
o 199377
o 199350
o 199334
o 199307
o 198956
o 198929
o 197657
o 197630
o 197316
o 197289
o 197194
o 197167
o 196816
o 196789
o 196776
o 196728
o 195308
o 195281
o 194967
o 194940
o 194845
o 194818
o 194467
o 194440
o 194424
o 194397
o 194046
o 194019
o 192747
o 192720
o 192406
o 192379
o 192284
o 192257
o 191906
o 191879
o 191874
o 191605
o 191578
o 191264
o 191237
o 191142
o 191115
o 190764
o 190737
o 190721
o 190694
o 190343
o 190316
o 189044
o 189017
o 188703
o 188676
o 188581
o 188554
o 188203
o 188176
o 188171
o 187249
o 187222
o 186908
o 186881
o 186786
o 186759
o 186408
o 186381
o 186376
o 186256
o 186229
o 186213
o 186186
o 185835
o 185808
o 184536
o 184509
o 184195
o 184168
o 184073
o 184046
o 183695
o 183668
o 183663
o 182741
o 182714
o 182400
o 182373
o 182278
o 182251
o 181900
o 181873
o 181868
o 181671
o 181549
o 181171
o 181144
o 181139
o 181126
o 180775
o 180748
o 180117
o 180090
o 179776
o 179749
o 179654
o 179627
o 179276
o 179249
o 179244
o 178980
o 178975
o 178953
o 178948
o 178322
o 178295
o 177981
o 177954
o 177859
o 177832
o 177481
o 177454
o 177449
o 177252
o 177225
o 177130
o 177103
o 176752
o 176725
o 176720
o 176650
o 176645
o 176623
o 176618
o 176272
o 176267
o 176245
o 176240
o 176239
o 176217
o 176212
o 176043
o 175921
o 175543
o 175538
o 175516
o 175511
o 175498
o 175493
o 175147
o 175120
o 175115
o 174849
o 174822
o 174727
o 174700
o 174349
o 174322
o 174148
o 174026
o 173648
o 173621
o 173616
o 173352
o 173347
o 173325
o 173320
o 173054
o 173027
o 172932
o 172905
o 172554
o 172527
o 172522
o 172353
o 172231
o 171853
o 171848
o 171826
o 171821
o 171798
o 171793
o 171624
o 171502
o 171124
o 171119
o 171097
o 171092
o 171077
o 171050
o 171045
o 170975
o 170970
o 170948
o 170943
o 170597
o 170570
o 170565
o 170564
o 170542
o 170537
o 170368
o 170246
o 169868
o 169863
o 169841
o 169836
o 169515
o 169488
o 169174
o 169147
o 169052
o 169025
o 168674
o 168647
o 168642
o 168473
o 168351
o 167973
o 167946
o 167941
o 167940
o 167918
o 167913
o 167744
o 167622
o 167244
o 167217
o 167212
o 166948
o 166921
o 166916
o 166879
o 166874
o 166852
o 166847
o 166678
o 166556
o 166178
o 166173
o 166151
o 166146
o 166145
o 165949
o 165827
o 165449
o 165444
o 165422
o 165417
o 165359
o 164981
o 164976
o 164954
o 164949
o 164725
o 164720
o 164698
o 164693
o 164497
o 164470
o 164465
o 164287
o 164165
o 163787
o 163760
o 163755
o 163586
o 163464
o 163086
o 163059
o 163054
o 163053
o 163031
o 163026
o 162857
o 162735
o 162357
o 162330
o 162325
o 162101
o 162074
o 162069
o 162061
o 162056
o 162034
o 162029
o 161805
o 161800
o 161778
o 161773
o 161669
o 161291
o 161286
o 161264
o 161259
o 161258
o 161062
o 160940
o 160562
o 160557
o 160535
o 160530
o 160306
o 160301
o 160279
o 160274
o 160213
o 159835
o 159830
o 159808
o 159803
o 159579
o 159552
o 159547
o 159539
o 159534
o 159512
o 159507
o 159283
o 159278
o 159256
o 159251
o 159147
o 158769
o 158764
o 158742
o 158737
o 158736
o 158540
o 158418
o 158040
o 158035
o 158013
o 158008
o 157784
o 157779
o 157757
o 157752
o 157646
o 157641
o 157619
o 157614
o 157390
o 157363
o 157358
o 157254
o 156876
o 156849
o 156848
o 156647
o 156525
o 156147
o 156120
o 155891
o 155864
o 155859
o 155851
o 155846
o 155824
o 155819
o 155595
o 155590
o 155568
o 155563
o 155459
o 155081
o 155076
o 155054
o 155049
o 155048
o 154852
o 154730
o 154352
o 154347
o 154325
o 154320
o 154096
o 154091
o 154069
o 154064
o 153992
o 153987
o 153965
o 153960
o 153736
o 153731
o 153709
o 153704
o 153660
o 153282
o 153277
o 153255
o 153250
o 153026
o 153021
o 152999
o 152994
o 152959
o 152581
o 152576
o 152554
o 152549
o 152325
o 152320
o 152298
o 152293
o 152292
o 152270
o 152265
o 152230
o 151852
o 151847
o 151825
o 151820
o 151596
o 151591
o 151569
o 151564
o 151544
o 151539
o 151370
o 151248
o 150870
o 150843
o 150838
o 150614
o 150587
o 150582
o 150166
o 150139
o 149825
o 149798
o 149703
o 149676
o 149325
o 149298
o 149293
o 149124
o 149002
o 148624
o 148619
o 148597
o 148592
o 148591
o 148569
o 148564
o 148395
o 148273
o 147895
o 147890
o 147868
o 147863
o 147639
o 147634
o 147612
o 147607
o 147535
o 147530
o 147508
o 147503
o 147279
o 147252
o 147247
o 147190
o 147163
o 147158
o 146825
o 146820
o 146798
o 146793
o 146624
o 146502
o 146124
o 146097
o 146092
o 146091
o 146069
o 146064
o 145895
o 145773
o 145395
o 145368
o 145363
o 145139
o 145112
o 145107
o 145087
o 145082
o 144913
o 144791
o 144413
o 144386
o 144381
o 144157
o 144152
o 144130
o 144125
o 144113
o 143991
o 143613
o 143608
o 143586
o 143581
o 143357
o 143352
o 143330
o 143325
o 143318
o 143196
o 142818
o 142813
o 142791
o 142786
o 142618
o 142591
o 142586
o 142562
o 142362
o 142335
o 142330
o 142214
o 141836
o 141831
o 141809
o 141804
o 141636
o 141631
o 141609
o 141604
o 141580
o 141575
o 141380
o 141375
o 141353
o 141348
o 141132
o 140932
o 140905
o 140791
o 140669
o 140291
o 140264
o 140091
o 140064
o 140059
o 139968
o 139590
o 139585
o 139390
o 139385
o 139363
o 139358
o 139357
o 139335
o 139330
o 139239
o 138861
o 138856
o 138661
o 138656
o 138634
o 138629
o 138605
o 138600
o 138405
o 138400
o 138378
o 138373
o 138301
o 138296
o 138274
o 138269
o 138245
o 138045
o 138018
o 138013
o 137956
o 137929
o 137924
o 137791
o 137786
o 137591
o 137586
o 137564
o 137559
o 137468
o 137090
o 136890
o 136863
o 136858
o 136857
o 136835
o 136830
o 136739
o 136361
o 136161
o 136134
o 136129
o 136105
o 135905
o 135878
o 135873
o 135757
o 135379
o 135374
o 135352
o 135347
o 135179
o 135174
o 135152
o 135147
o 135123
o 135118
o 134923
o 134918
o 134896
o 134891
o 134579
o 134574
o 134552
o 134547
o 134379
o 134374
o 134352
o 134347
o 134323
o 134318
o 134123
o 134118
o 134096
o 134091
o 134011
o 133984
o 133979
o 133978
o 133956
o 133951
o 133860
o 133482
o 133282
o 133255
o 133250
o 133226
o 133026
o 132999
o 132994
o 132878
o 132500
o 132495
o 132473
o 132468
o 132300
o 132295
o 132273
o 132268
o 132244
o 132239
o 132044
o 132039
o 132017
o 132012
o 131950
o 131572
o 131567
o 131545
o 131540
o 131372
o 131345
o 131340
o 131316
o 131116
o 131089
o 131084
o 130907
o 130902
o 130707
o 130702
o 130680
o 130675
o 130651
o 130646
o 130451
o 130446
o 130424
o 130419
o 130206
o 130201
o 130006
o 130001
o 129979
o 129974
o 129950
o 129945
o 129750
o 129745
o 129723
o 129718
o 129602
o 129224
o 129219
o 129197
o 129192
o 129024
o 129019
o 128997
o 128992
o 128968
o 128963
o 128768
o 128763
o 128741
o 128736
o 128424
o 128419
o 128397
o 128392
o 128224
o 128219
o 128197
o 128192
o 128168
o 128163
o 127968
o 127963
o 127941
o 127936
o 127834
o 127829
o 127807
o 127802
o 127578
o 127573
o 127551
o 127546
o 127539
o 127417
o 127039
o 127034
o 127012
o 127007
o 126839
o 126812
o 126807
o 126783
o 126583
o 126556
o 126551
o 126435
o 126057
o 126052
o 126030
o 126025
o 125857
o 125852
o 125830
o 125825
o 125801
o 125796
o 125601
o 125596
o 125574
o 125569
o 125494
o 125467
o 125462
o 125405
o 125400
o 125378
o 125373
o 125349
o 125344
o 125149
o 125144
o 125122
o 125117
o 125053
o 125048
o 125026
o 125021
o 124853
o 124848
o 124826
o 124821
o 124539
o 124534
o 124512
o 124507
o 124506
o 124310
o 124188
o 123810
o 123805
o 123783
o 123778
o 123610
o 123605
o 123583
o 123578
o 123554
o 123549
o 123354
o 123349
o 123327
o 123322
o 123250
o 123245
o 123223
o 123218
o 123194
o 122994
o 122967
o 122962
o 122905
o 122878
o 122873
o 122740
o 122540
o 122535
o 122513
o 122508
o 122417
o 122039
o 121839
o 121812
o 121807
o 121806
o 121784
o 121779
o 121688
o 121310
o 121110
o 121083
o 121078
o 121054
o 120854
o 120827
o 120822
o 120706
o 120328
o 120323
o 120301
o 120296
o 120128
o 120123
o 120101
o 120096
o 120072
o 120067
o 119872
o 119867
o 119845
o 119840
o 119600
o 119595
o 119400
o 119395
o 119373
o 119368
o 119344
o 119339
o 119144
o 119139
o 119117
o 119112
o 118800
o 118795
o 118773
o 118768
o 118600
o 118573
o 118568
o 118544
o 118539
o 118344
o 118339
o 118317
o 118312
o 118117
o 118112
o 118090
o 118085
o 118061
o 117861
o 117834
o 117829
o 117679
o 117652
o 117423
o 117396
o 117329
o 116951
o 116924
o 116Killed
1979.694u 0.004s 33:00.44 99.9%	0+0k 0+0io 0pf+0w