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-5.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-50-2_network-5.net.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 2183930
o 177599
o 177329
o 177105
o 176193
o 175829
o 174402
o 174132
o 173908
o 172996
o 172638
o 172612
o 172254
o 170923
o 170653
o 170429
o 169517
o 169159
o 168749
o 168391
o 168365
o 168007
o 167147
o 166676
o 166653
o 165741
o 165270
o 164912
o 164114
o 163643
o 163373
o 163149
o 162708
o 162237
o 161879
o 161740
o 161269
o 160911
o 160500
o 160029
o 159671
o 158873
o 158402
o 158132
o 157908
o 157467
o 156996
o 156638
o 156582
o 156499
o 156028
o 155670
o 155619
o 155349
o 155125
o 154684
o 154213
o 153855
o 153799
o 153716
o 153245
o 152887
o 152001
o 151530
o 151172
o 151116
o 151033
o 150562
o 150204
o 150005
o 149954
o 149684
o 149460
o 149019
o 148548
o 148190
o 148051
o 147580
o 147222
o 146979
o 146621
o 145735
o 145264
o 144906
o 144850
o 144767
o 144296
o 143938
o 143688
o 143418
o 143194
o 142753
o 142282
o 141924
o 141868
o 141785
o 141314
o 140956
o 140788
o 140430
o 139544
o 139073
o 138715
o 138659
o 138576
o 138105
o 137747
o 137497
o 137227
o 137003
o 136562
o 136091
o 135733
o 135677
o 135594
o 135123
o 134765
o 134716
o 134245
o 133887
o 133553
o 133195
o 133027
o 132669
o 131783
o 131312
o 130954
o 130898
o 130815
o 130344
o 129986
o 129736
o 129466
o 129242
o 128801
o 128330
o 127972
o 127916
o 127833
o 127362
o 127004
o 126955
o 126484
o 126126
o 125909
o 125575
o 125217
o 125049
o 124691
o 124372
o 124233
o 123762
o 123404
o 123334
o 122976
o 122920
o 122837
o 122366
o 122008
o 121748
o 121390
o 121251
o 120780
o 120422
o 120352
o 119994
o 119938
o 119855
o 119384
o 119026
o 118977
o 118506
o 118148
o 117838
o 117480
o 117440
o 117082
o 117012
o 116654
o 116515
o 116044
o 115686
o 115191
o 114720
o 114362
o 114306
o 114223
o 113752
o 113394
o 113324
o 112966
o 112910
o 112827
o 112356
o 111998
o 111647
o 111289
o 111120
o 110769
o 110411
o 109959
o 109601
o 109552
o 109081
o 108723
o 108717
o 108413
o 108055
o 108015
o 107657
o 107587
o 107229
o 107090
o 106619
o 106261
o 105957
o 105766
o 105295
o 104937
o 104881
o 104798
o 104327
o 103969
o 103593
o 103235
o 102931
o 102573
o 102526
o 102222
o 101864
o 101695
o 101648
o 101344
o 100986
o 100645
o 100506
o 100035
o 99677
o 99326
o 98968
o 98799
o 98448
o 98090
o 97798
o 97535
o 97422
o 97064
o 96760
o 96402
o 96396
o 96092
o 95734
o 95694
o 95336
o 95266
o 94908
o 94769
o 94298
o 93940
o 93636
o 93445
o 92974
o 92616
o 92560
o 92477
o 92006
o 91648
o 91272
o 90914
o 90610
o 90252
o 90205
o 89901
o 89543
o 89374
o 89327
o 89023
o 88665
o 88490
o 88377
o 88019
o 87845
o 87668
o 87494
o 87310
o 87136
o 86967
o 86903
o 86790
o 86432
o 86258
o 86140
o 85966
o 85764
o 85406
o 85102
o 84744
o 84570
o 84542
o 84071
o 83713
o 83362
o 83004
o 82773
o 82703
o 82345
o 82206
o 81735
o 81377
o 81330
o 81026
o 80668
o 80607
o 80249
o 79990
o 79943
o 79639
o 79281
o 79256
o 78952
o 78594
o 78547
o 78243
o 77885
o 77716
o 77669
o 77365
o 77007
o 76833
o 76823
o 76352
o 76161
o 75690
o 75516
o 75469
o 75452
o 74981
o 74807
o 74751
o 74445
o 74254
o 74089
o 73783
o 73609
o 73562
o 73545
o 73380
o 73074
o 72900
o 72731
o 72684
o 72667
o 72502
o 72196
o 72022
o 72021
o 71830
o 71665
o 71359
o 71185
o 71121
o 70956
o 70650
o 70476
o 70448
o 70274
o 70201
o 70027
o 69963
o 69716
o 69542
o 69509
o 69502
o 69255
o 69081
o 68996
o 68822
o 68736
o 68534
o 68287
o 68113
o 67887
o 67713
o 67616
o 67369
o 67195
o 67188
o 66941
o 66767
o 66682
o 66422
o 66220
o 65973
o 65799
o 65552
o 65350
o 65103
o 64929
o 64923
o 64749
o 64686
o 64515
o 64268
o 64094
o 64088
o 63914
o 63798
o 63624
o 63485
o 63431
o 63238
o 63184
o 62995
o 62748
o 62574
o 62515
o 62393
o 62255
o 62179
o 61988
o 61517
o 61343
o 61274
o 61100
o 60936
o 60682
o 60508
o 60392
o 60218
o 60120
o 59813
o 59778
o 59772
o 59649
o 59342
o 59168
o 59109
o 59076
o 59017
o 58982
o 58878
o 58731
o 58641
o 58494
o 58467
o 58320
o 58209
o 58150
o 58065
o 58049
o 57742
o 57568
o 57509
o 57382
o 57352
o 57325
o 57178
o 57127
o 56947
o 56800
o 56773
o 56626
o 56470
o 56411
o 56284
o 56227
o 56080
o 55982
o 55855
o 55675
o 5Killed
1979.636u 0.062s 33:09.62 99.5%	0+0k 0+0io 0pf+0w