Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz-2009-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_random-net_random-net-60-2_network-3.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-3.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz-2009/WMaxSatz-2009
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 170 1228 2337541
WARNING: Ubcsat not found.
o 2337541
o 185784
o 185733
o 184217
o 184044
o 183610
o 183085
o 182747
o 182222
o 182205
o 181771
o 181246
o 180900
o 180727
o 180293
o 179768
o 179712
o 179695
o 179261
o 178736
o 178390
o 178217
o 177783
o 177258
o 177108
o 176762
o 176589
o 176155
o 175630
o 175615
o 175090
o 175078
o 174732
o 174559
o 174125
o 173600
o 173539
o 173105
o 172580
o 172497
o 171972
o 171911
o 171477
o 170952
o 170477
o 170462
o 169937
o 169780
o 169255
o 168972
o 168447
o 168235
o 167952
o 167427
o 167344
o 166819
o 166607
o 166324
o 165799
o 165384
o 165172
o 164889
o 164364
o 164322
o 163797
o 163756
o 163544
o 163261
o 162736
o 162694
o 162169
o 161835
o 161623
o 161505
o 161340
o 160815
o 160400
o 160188
o 160070
o 159905
o 159380
o 159338
o 158813
o 158772
o 158560
o 158442
o 158277
o 157752
o 157710
o 157185
o 156942
o 156527
o 156315
o 156197
o 156032
o 155507
o 155465
o 154940
o 154899
o 154687
o 154569
o 154404
o 153879
o 153837
o 153312
o 153054
o 153012
o 152487
o 152167
o 152125
o 151600
o 151569
o 151528
o 151316
o 151198
o 151033
o 150508
o 150466
o 149941
o 149698
o 149355
o 149314
o 149102
o 148984
o 148819
o 148294
o 148252
o 147727
o 147696
o 147655
o 147443
o 147325
o 147160
o 146635
o 146593
o 146068
o 145810
o 145768
o 145243
o 145072
o 145030
o 144505
o 144030
o 143566
o 143524
o 142999
o 142858
o 142816
o 142291
o 142260
o 142219
o 142007
o 141889
o 141724
o 141199
o 141157
o 140632
o 140374
o 140332
o 139807
o 139429
o 139055
o 138691
o 138317
o 138216
o 137842
o 137752
o 137710
o 137185
o 136811
o 136477
o 136103
o 136072
o 135910
o 135385
o 135343
o 134818
o 134444
o 133993
o 133619
o 133425
o 133047
o 132673
o 132226
o 132184
o 131659
o 131285
o 130834
o 130460
o 130429
o 130095
o 129721
o 129690
o 129528
o 129003
o 128961
o 128436
o 128062
o 127611
o 127237
o 126804
o 126430
o 126250
o 125876
o 125845
o 125511
o 125137
o 125106
o 124944
o 124419
o 124377
o 123852
o 123478
o 123027
o 122653
o 122648
o 122197
o 121823
o 121634
o 121201
o 120827
o 120647
o 120273
o 120013
o 119939
o 119897
o 119372
o 118998
o 118816
o 118774
o 118249
o 117875
o 117424
o 117050
o 117045
o 116594
o 116220
o 116023
o 115763
o 115689
o 115647
o 115122
o 114748
o 114566
o 114524
o 113999
o 113625
o 113174
o 112800
o 112795
o 112344
o 111970
o 111782
o 111408
o 110957
o 110583
o 110578
o 110127
o 109753
o 109670
o 109628
o 109103
o 108729
o 108278
o 107904
o 107899
o 107448
o 107074
o 106915
o 106910
o 106459
o 106085
o 106061
o 105687
o 105682
o 105231
o 104857
o 104698
o 104693
o 104242
o 103868
o 103539
o 103380
o 103375
o 102924
o 102550
o 102221
o 102178
o 102078
o 101704
o 101690
o 101685
o 101277
o 101234
o 100903
o 100860
o 100676
o 100220
o 99846
o 99687
o 99231
o 98857
o 98528
o 98369
o 97913
o 97539
o 97210
o 97167
o 97067
o 96693
o 96679
o 96266
o 96223
o 95892
o 95849
o 95595
o 95552
o 95221
o 95178
o 94813
o 94799
o 94386
o 94343
o 94012
o 93969
o 93715
o 93672
o 93341
o 93298
o 93150
o 93107
o 92853
o 92810
o 92479
o 92436
o 92173
o 92130
o 91799
o 91756
o 91520
o 91477
o 91214
o 91171
o 90840
o 90797
o 90771
o 90440
o 90397
o 90180
o 90137
o 90006
o 89963
o 89746
o 89703
o 89665
o 89652
o 89609
o 89355
o 89312
o 88981
o 88938
o 88675
o 88632
o 88301
o 88258
o 88022
o 87979
o 87716
o 87673
o 87342
o 87299
o 87197
o 87154
o 86823
o 86780
o 86732
o 86689
o 86358
o 86315
o 86079
o 86036
o 85773
o 85730
o 85399
o 85356
o 85326
o 85283
o 85210
o 85167
o 84931
o 84888
o 84625
o 84582
o 84251
o 84208
o 84106
o 84063
o 83732
o 83689
o 83641
o 83598
o 83267
o 83224
o 82988
o 82945
o 82682
o 82639
o 82308
o 82265
o 82235
o 82192
o 81938
o 81895
o 81847
o 81804
o 81473
o 81430
o 81194
o 81151
o 80888
o 80845
o 80514
o 80471
o 80441
o 80398
o 80289
o 80246
o 80201
o 80158
o 80144
o 80101
o 79770
o 79727
o 79693
o 79679
o 79636
o 79305
o 79262
o 79026
o 78983
o 78777
o 78734
o 78720
o 78677
o 78346
o 78303
o 78273
o 78230
o 78153
o 78080
o 78074
o 77928
o 77840
o 77783
o 77Killed
1979.631u 0.068s 33:00.71 99.9%	0+0k 0+0io 0pf+0w