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-50-2_network-3.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-50-2_network-3.net.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 1540016
o 150345
o 148831
o 148804
o 147458
o 146884
o 146070
o 145944
o 145370
o 144556
o 144529
o 144472
o 143898
o 143084
o 143057
o 142880
o 142066
o 142039
o 141846
o 141819
o 141148
o 141121
o 140374
o 140347
o 140130
o 140103
o 139356
o 139329
o 138669
o 138642
o 138632
o 138465
o 137651
o 137641
o 137624
o 137614
o 137431
o 137404
o 137394
o 136733
o 136723
o 136706
o 136696
o 135959
o 135932
o 135922
o 135715
o 135705
o 135688
o 135678
o 134941
o 134914
o 134904
o 134875
o 134417
o 134406
o 134396
o 134390
o 134380
o 134379
o 134369
o 134101
o 133643
o 133632
o 133616
o 133605
o 133595
o 133399
o 133388
o 133378
o 133372
o 133362
o 133361
o 133351
o 133083
o 132625
o 132614
o 132598
o 132587
o 132577
o 132317
o 131859
o 131848
o 131832
o 131821
o 131811
o 131721
o 131263
o 131252
o 131236
o 131225
o 131215
o 130947
o 130489
o 130478
o 130462
o 130451
o 130441
o 130377
o 129919
o 129908
o 129892
o 129881
o 129871
o 129603
o 129145
o 129134
o 129118
o 129107
o 129097
o 128663
o 128652
o 128642
o 128636
o 128626
o 128625
o 128615
o 128525
o 128067
o 128056
o 128040
o 128029
o 128019
o 127751
o 127293
o 127282
o 127266
o 127255
o 127245
o 127181
o 126723
o 126712
o 126696
o 126685
o 126675
o 126407
o 125949
o 125938
o 125922
o 125911
o 125901
o 125587
o 125560
o 125550
o 125549
o 125539
o 125279
o 124821
o 124810
o 124794
o 124783
o 124773
o 124683
o 124225
o 124214
o 124198
o 124187
o 124177
o 123909
o 123451
o 123440
o 123424
o 123413
o 123403
o 123339
o 122881
o 122870
o 122854
o 122843
o 122833
o 122565
o 122107
o 122096
o 122080
o 122069
o 122059
o 121765
o 121738
o 121728
o 121727
o 121717
o 121449
o 120991
o 120980
o 120964
o 120953
o 120943
o 120629
o 120602
o 120592
o 120591
o 120581
o 120321
o 119863
o 119852
o 119842
o 119836
o 119826
o 119825
o 119815
o 119511
o 119484
o 119474
o 119473
o 119463
o 119267
o 119240
o 119230
o 119229
o 119219
o 118951
o 118493
o 118482
o 118466
o 118455
o 118445
o 118167
o 118140
o 118130
o 118129
o 118119
o 117923
o 117896
o 117886
o 117885
o 117875
o 117607
o 117149
o 117138
o 117122
o 117111
o 117101
o 117097
o 117087
o 117086
o 117076
o 117012
o 116554
o 116543
o 116533
o 116527
o 116517
o 116516
o 116506
o 116238
o 115780
o 115769
o 115753
o 115742
o 115732
o 115568
o 115541
o 115531
o 115530
o 115520
o 115324
o 115297
o 115287
o 115286
o 115276
o 115008
o 114550
o 114539
o 114523
o 114512
o 114502
o 114224
o 114197
o 114187
o 114186
o 114176
o 113980
o 113953
o 113943
o 113942
o 113932
o 113664
o 113206
o 113195
o 113179
o 113168
o 113158
o 113069
o 112611
o 112600
o 112584
o 112573
o 112563
o 112295
o 111837
o 111826
o 111810
o 111799
o 111789
o 111718
o 111691
o 111681
o 111680
o 111670
o 111366
o 111339
o 111329
o 111328
o 111318
o 111122
o 111095
o 111085
o 111084
o 111074
o 110806
o 110348
o 110337
o 110321
o 110310
o 110300
o 110022
o 109995
o 109985
o 109984
o 109974
o 109778
o 109751
o 109741
o 109740
o 109730
o 109462
o 109004
o 108993
o 108977
o 108966
o 108956
o 108867
o 108409
o 108398
o 108382
o 108371
o 108361
o 108093
o 107635
o 107624
o 107608
o 107597
o 107587
o 107375
o 106917
o 106906
o 106890
o 106879
o 106869
o 106865
o 106855
o 106854
o 106844
o 106566
o 106539
o 106529
o 106528
o 106518
o 106322
o 106295
o 106285
o 106284
o 106274
o 106006
o 105548
o 105537
o 105521
o 105510
o 105500
o 105188
o 105161
o 105151
o 105150
o 105140
o 105077
o 105050
o 105040
o 105039
o 105029
o 104833
o 104806
o 104796
o 104795
o 104785
o 104517
o 104059
o 104048
o 104032
o 104021
o 104011
o 103733
o 103706
o 103696
o 103695
o 103685
o 103489
o 103462
o 103452
o 103451
o 103441
o 103173
o 102715
o 102704
o 102688
o 102677
o 102667
o 102578
o 102120
o 102109
o 102093
o 102082
o 102072
o 101804
o 101346
o 101335
o 101319
o 101308
o 101298
o 101294
o 101283
o 101273
o 101210
o 101183
o 101173
o 101172
o 101162
o 100966
o 100939
o 100929
o 100928
o 100918
o 100650
o 100192
o 100181
o 100165
o 100154
o 100144
o 99866
o 99839
o 99829
o 99828
o 99818
o 99622
o 99595
o 99585
o 99584
o 99574
o 99306
o 98848
o 98837
o 98821
o 98810
o 98800
o 98711
o 98253
o 98242
o 98226
o 98215
o 98205
o 97937
o 97479
o 97468
o 97452
o 97441
o 97431
o 97338
o 97311
o 97301
o 97300
o 97290
o 97211
o 97184
o 97174
o 97173
o 97163
o 96885
o 96858
o 96848
o 96847
o 96837
o 96325
o 96315
o 95867
o 95857
o 95856
o 95846
o 95840
o 95830
o 95829
o 95819
o 95551
o 95093
o 95082
o 95066
o 95055
o 95045
o 94865
o 94838
o 94828
o 94827
o 94817
o 94498
o 94471
o 94460
o 94450
o 94270
o 94243
o 94233
o 94232
o 94222
o 94182
o 93724
o 93713
o 93496
o 93485
o 93469
o 93458
o 93448
o 93444
o 93434
o 93433
o 93423
o 93344
o 93317
o 93307
o 93306
o 93296
o 93018
o 92991
o 92981
o 92980
o 92970
o 92458
o 92448
o 92000
o 91990
o 91989
o 91979
o 91973
o 91963
o 91962
o 91952
o 91684
o 91226
o 91215
o 91199
o 91188
o 91178
o 90998
o 90971
o 90961
o 90960
o 90950
o 90631
o 90604
o 90593
o 90583
o 90403
o 90376
o 90366
o 90365
o 90355
o 90315
o 89857
o 89846
o 89629
o 89618
o 89602
o 89591
o 89581
o 89226
o 89199
o 89188
o 89178
o 88998
o 88971
o 88961
o 88960
o 88950
o 88880
o 88422
o 88411
o 88401
o 88395
o 88385
o 88384
o 88374
o 88194
o 88167
o 88157
o 88156
o 88146
o 87827
o 87800
o 87790
o 87789
o 87779
o 87599
o 87572
o 87562
o 87561
o 87551
o 87511
o 87053
o 87042
o 87026
o 87015
o 86825
o 86798
o 86787
o 86777
o 86606
o 86579
o 86569
o 86378
o 86368
o 86351
o 86341
o 86340
o 86330
o 86162
o 86135
o 86125
o 86124
o 86114
o 85832
o 85805
o 85795
o 85794
o 85784
o 85604
o 85577
o 85567
o 85566
o 85556
o 85388
o 85361
o 85351
o 85350
o 85340
o 85237
o 85210
o 85200
o 85009
o 84999
o 84982
o 84972
o 84971
o 84961
o 84793
o 84766
o 84756
o 84755
o 84745
o 84463
o 84436
o 84426
o 84425
o 84415
o 84235
o 84208
o 84198
o 84197
o 84187
o 84019
o 83992
o 83982
o 83981
o 83971
o 83808
o 83781
o 83771
o 83770
o 83760
o 83665
o 83654
o 83492
o 83034
o 83023
o 83013
o 83007
o 82997
o 82996
o 82986
o 82806
o 82779
o 82769
o 82768
o 82758
o 82439
o 82412
o 82402
o 82401
o 82391
o 82296
o 82285
o 82123
o 81665
o 81654
o 81644
o 81638
o 81628
o 81627
o 81617
o 81437
o 81410
o 81400
o 81399
o 81389
o 81271
o 81043
o 81016
o 81006
o 81005
o 80995
o 80955
o 80497
o 80486
o 80269
o 80258
o 80248
o 80242
o 80232
o 80231
o 80221
o 79941
o 79914
o 79904
o 79903
o 79893
o 79713
o 79686
o 79676
o 79675
o 79665
o 79661
o 79651
o 79650
o 79640
o 79418
o 79391
o 79381
o 79380
o 79370
o 79346
o 79336
o 78532
o 78522
o 78074
o 78064
o 78063
o 78053
o 78047
o 78037
o 78036
o 78026
o 77901
o 77443
o 77432
o 77416
o 77405
o 77395
o 77215
o 77188
o 77178
o 77177
o 77167
o 77163
o 76705
o 76694
o 76678
o 76667
o 76657
o 76532
o 76074
o 76063
o 76053
o 76047
o 76037
o 76036
o 76026
o 75846
o 75819
o 75809
o 75808
o 75798
o 75537
o 75527
o 75526
o 75516
o 75364
o 74906
o 74895
o 74885
o 74879
o 74869
o 74868
o 74858
o 74678
o 74651
o 74641
o 74640
o 74630
o 74244
o 74217
o 74207
o 74206
o 74196
o 74193
o 73735
o 73724
o 73708
o 73697
o 73687
o 73507
o 73497
o 73480
o 73470
o 73469
o 73459
o 73440
o 73430
o 73429
o 73419
o 73377
o 73158
o 73148
o 73147
o 73137
o 72746
o 72735
o 72725
o 72527
o 72517
o 72516
o 72506
o 72299
o 72289
o 72288
o 72278
o 72272
o 72262
o 72261
o 72251
o 72084
o 71865
o 71838
o 71828
o 71827
o 71817
o 71730
o 71719
o 71557
o 71099
o 71088
o 71078
o 71072
o 71062
o 71061
o 71051
o 70665
o 70638
o 70628
o 70627
o 70617
o 70571
o 70544
o 70534
o 70352
o 70342
o 70325
o 70315
o 70293
o 70283
o 70217
o 70190
o 70180
o 69586
o 69576
o 69559
o 69549
o 69152
o 69125
o 69115
o 68847
o 68413
o 68403
o 68386
o 68376
o 68326
o 68299
o 68289
o 68288
o 68278
o 67998
o 67971
o 67961
o 67960
o 67950
o 67727
o 67700
o 67690
o 67689
o 67679
o 67592
o 67565
o 67555
o 67554
o 67544
o 67537
o 67526
o 67516
o 67293
o 67283
o 67266
o 67256
o 67255
o 67245
o 67158
o 67131
o 67121
o 67120
o 67110
o 66988
o 66961
o 66951
o 66950
o 66940
o 66936
o 66717
o 66690
o 66680
o 66679
o 66669
o 66582
o 66555
o 66545
o 66544
o 66534
o 66527
o 66516
o 66506
o 66502
o 66283
o 66273
o 66256
o 66246
o 66245
o 66235
o 66148
o 66121
o 66111
o 66110
o 66100
o 66095
o 66085
o 66084
o 6Killed
1979.659u 0.039s 33:02.92 99.8%	0+0k 0+0io 0pf+0w