Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz+-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_random-net_random-net-60-2_network-2.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-2.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 175 1400 2618995
WARNING: Ubcsat not found.
o 2618995
o 186518
o 185434
o 184818
o 184805
o 183299
o 182973
o 182532
o 181916
o 181590
o 181569
o 180953
o 180627
o 180397
o 180071
o 179943
o 179617
o 179176
o 178560
o 178234
o 178213
o 177597
o 177271
o 177042
o 176716
o 176569
o 176548
o 175932
o 175606
o 175384
o 175363
o 174747
o 174421
o 173946
o 173620
o 173599
o 173591
o 172983
o 172657
o 172428
o 172102
o 171955
o 171934
o 171926
o 171318
o 170992
o 170770
o 170749
o 170741
o 170133
o 169807
o 169429
o 169103
o 168874
o 168548
o 168401
o 168380
o 168372
o 167764
o 167438
o 167216
o 167195
o 167187
o 166579
o 166253
o 165947
o 165621
o 165399
o 165378
o 165370
o 164762
o 164436
o 164264
o 164125
o 163799
o 163414
o 163088
o 162866
o 162845
o 162837
o 162229
o 161903
o 161597
o 161271
o 161049
o 161028
o 161020
o 160412
o 160086
o 159770
o 159516
o 159294
o 159273
o 159265
o 158657
o 158331
o 158150
o 158129
o 158121
o 157513
o 157187
o 156962
o 156868
o 156614
o 156392
o 156371
o 156363
o 155755
o 155429
o 155248
o 155227
o 155219
o 154611
o 154285
o 154123
o 153942
o 153921
o 153913
o 153305
o 152979
o 152799
o 152658
o 152332
o 151981
o 151655
o 151514
o 151188
o 150963
o 150869
o 150860
o 150839
o 150831
o 150223
o 149897
o 149756
o 149430
o 149079
o 148753
o 148612
o 148286
o 148124
o 147773
o 147447
o 147306
o 146980
o 146810
o 146648
o 146609
o 146467
o 146446
o 146438
o 145830
o 145504
o 145324
o 145183
o 144857
o 144506
o 144180
o 144039
o 143713
o 143488
o 143394
o 143385
o 143364
o 143356
o 142748
o 142422
o 142281
o 141955
o 141604
o 141278
o 141137
o 140811
o 140649
o 140298
o 139972
o 139831
o 139505
o 139370
o 139072
o 138721
o 138395
o 138254
o 137928
o 137766
o 137415
o 137089
o 136948
o 136622
o 136442
o 136301
o 135975
o 135813
o 135462
o 135136
o 134995
o 134669
o 134474
o 134312
o 134143
o 133961
o 133635
o 133494
o 133168
o 133033
o 132735
o 132566
o 132384
o 132058
o 131917
o 131591
o 131429
o 131260
o 131078
o 130752
o 130611
o 130285
o 130105
o 129964
o 129638
o 129476
o 129307
o 129125
o 128799
o 128658
o 128332
o 128290
o 128095
o 127933
o 127764
o 127582
o 127256
o 127115
o 126789
o 126654
o 126356
o 126187
o 126005
o 125679
o 125538
o 125212
o 125050
o 124881
o 124699
o 124373
o 124232
o 123906
o 123726
o 123585
o 123259
o 123097
o 122928
o 122746
o 122420
o 122279
o 121953
o 121733
o 121592
o 121266
o 121224
o 121144
o 121003
o 120677
o 120516
o 120190
o 120049
o 119723
o 119588
o 119567
o 119426
o 119100
o 118938
o 118769
o 118587
o 118261
o 118120
o 117794
o 117633
o 117307
o 117166
o 116840
o 116816
o 116634
o 116308
o 116167
o 115841
o 115680
o 115354
o 115213
o 114887
o 114860
o 114534
o 114372
o 114203
o 114021
o 113695
o 113554
o 113228
o 113008
o 112867
o 112541
o 112499
o 112419
o 112278
o 111952
o 111791
o 111465
o 111324
o 110998
o 110863
o 110842
o 110701
o 110375
o 110213
o 110044
o 109862
o 109536
o 109395
o 109069
o 108908
o 108582
o 108441
o 108115
o 108091
o 107909
o 107583
o 107442
o 107116
o 106955
o 106629
o 106488
o 106162
o 106101
o 105940
o 105614
o 105473
o 105147
o 104922
o 104761
o 104435
o 104294
o 103968
o 103944
o 103762
o 103436
o 103295
o 102969
o 102808
o 102482
o 102341
o 102015
o 101954
o 101793
o 101467
o 101326
o 101000
o 100822
o 100681
o 100355
o 100160
o 99868
o 99727
o 99401
o 99340
o 99145
o 98853
o 98712
o 98386
o 98308
o 98207
o 98146
o 98086
o 97760
o 97659
o 97619
o 97293
o 97192
o 97115
o 97014
o 96974
o 96648
o 96547
o 96453
o 96352
o 96161
o 96060
o 96020
o 95694
o 95593
o 95532
o 95438
o 95337
o 95146
o 95045
o 95005
o 94679
o 94578
o 94433
o 94419
o 94278
o 93952
o 93788
o 93757
o 93593
o 93465
o 93324
o 92998
o 92834
o 92773
o 92742
o 92578
o 92450
o 92309
o 91983
o 91819
o 91728
o 91564
o 91484
o 91441
o 91380
o 91349
o 91185
o 91098
o 90916
o 90590
o 90426
o 90335
o 90171
o 89986
o 89822
o 89731
o 89567
o 89516
o 89331
o 89167
o 89076
o 88912
o 88890
o 88839
o 88825
o 88810
o 88654
o 88490
o 88399
o 88235
o 88222
o 8805Killed
1979.688u 0.011s 33:00.64 99.9%	0+0k 0+0io 0pf+0w