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-9.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-9.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz-2009/WMaxSatz-2009
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 158 1006 1786369
WARNING: Ubcsat not found.
o 1786369
o 183596
o 183543
o 182392
o 181927
o 181138
o 181087
o 179936
o 179747
o 179313
o 178524
o 178473
o 177322
o 177246
o 176812
o 176023
o 175972
o 174821
o 174330
o 174279
o 173128
o 172028
o 171923
o 171432
o 171381
o 170230
o 169444
o 168953
o 168902
o 167751
o 166651
o 166546
o 166055
o 166004
o 164853
o 164098
o 164044
o 163993
o 162842
o 162561
o 162510
o 161359
o 160882
o 160728
o 160330
o 160176
o 159670
o 159193
o 159039
o 158673
o 158519
o 157512
o 157035
o 156881
o 156487
o 156333
o 156329
o 155935
o 155781
o 155346
o 155192
o 154798
o 154644
o 154278
o 154124
o 153896
o 153419
o 153265
o 152899
o 152745
o 151738
o 151261
o 151107
o 150713
o 150559
o 150555
o 150161
o 150007
o 149572
o 149418
o 149024
o 148870
o 148504
o 148350
o 148144
o 147990
o 147624
o 147470
o 147325
o 147171
o 146164
o 145687
o 145533
o 145139
o 144985
o 144981
o 144587
o 144433
o 143998
o 143844
o 143450
o 143296
o 142930
o 142776
o 142764
o 142370
o 142216
o 141850
o 141696
o 141567
o 141563
o 141169
o 141015
o 140580
o 140426
o 140032
o 139878
o 139512
o 139358
o 139346
o 138952
o 138798
o 138432
o 138278
o 138195
o 137801
o 137647
o 137281
o 137127
o 137115
o 136721
o 136567
o 136201
o 136047
o 135969
o 135815
o 135803
o 135409
o 135255
o 134889
o 134735
o 134606
o 134602
o 134208
o 134054
o 133619
o 133465
o 133071
o 132917
o 132551
o 132397
o 132385
o 131991
o 131837
o 131471
o 131317
o 131234
o 130840
o 130686
o 130320
o 130166
o 130154
o 129760
o 129606
o 129240
o 129086
o 128961
o 128807
o 128441
o 128287
o 128204
o 127810
o 127656
o 127290
o 127136
o 127124
o 126730
o 126576
o 126210
o 126056
o 125955
o 125801
o 125435
o 125281
o 125269
o 124875
o 124721
o 124355
o 124201
o 124118
o 123724
o 123570
o 123204
o 123050
o 123038
o 122644
o 122490
o 122124
o 121970
o 121904
o 121538
o 121384
o 121301
o 120907
o 120753
o 120387
o 120233
o 120221
o 119827
o 119673
o 119307
o 119153
o 119052
o 118898
o 118532
o 118378
o 118366
o 117972
o 117818
o 117452
o 117298
o 117215
o 116821
o 116667
o 116301
o 116147
o 116135
o 115741
o 115587
o 115221
o 115067
o 114992
o 114598
o 114444
o 114078
o 113924
o 113912
o 113518
o 113364
o 112998
o 112844
o 112677
o 112482
o 112328
o 112249
o 112187
o 112033
o 111667
o 111513
o 111501
o 111107
o 110953
o 110587
o 110433
o 110358
o 109964
o 109810
o 109444
o 109290
o 109278
o 108884
o 108730
o 108364
o 108210
o 108043
o 107848
o 107694
o 107615
o 107311
o 107157
o 107082
o 106688
o 106534
o 106168
o 106014
o 106002
o 105608
o 105454
o 105088
o 104934
o 104767
o 104572
o 104418
o 104339
o 104306
o 104111
o 103957
o 103878
o 103857
o 103574
o 103420
o 103345
o 103282
o 103234
o 102951
o 102797
o 102762
o 102714
o 102431
o 102277
o 102265
o 102202
o 102154
o 101871
o 101717
o 101682
o 101634
o 101351
o 101197
o 101030
o 100835
o 100681
o 100602
o 100550
o 100396
o 100384
o 99990
o 99836
o 99470
o 99316
o 99149
o 98954
o 98800
o 98721
o 98604
o 98359
o 98238
o 98205
o 98084
o 98038
o 97917
o 97843
o 97722
o 97689
o 97568
o 97489
o 97485
o 97406
o 97288
o 97241
o 97193
o 96910
o 96756
o 96693
o 96645
o 96362
o 96208
o 95959
o 95805
o 95743
o 95710
o 95427
o 95273
o 95195
o 95162
o 94879
o 94725
o 94558
o 94363
o 94209
o 94130
o 94078
o 93924
o 93862
o 93546
o 93392
o 93314
o 92998
o 92844
o 92677
o 92482
o 92328
o 92249
o 92160
o 92082
o 91887
o 91766
o 91733
o 91612
o 91566
o 91445
o 91371
o 91250
o 91217
o 91096
o 91017
o 90893
o 90739
o 90660
o 90571
o 90493
o 90434
o 90298
o 90177
o 90144
o 90023
o 89977
o 89856
o 89782
o 89661
o 89628
o 89507
o 89428
o 89419
o 89308
o 89224
o 89113
o 89070
o 88959
o 88880
o 88828
o 88785
o 88674
o 88612
o 88407
o 88296
o 88253
o 88142
o 88064
o 87859
o 87748
o 87705
o 87594
o 87538
o 87427
o 87343
o 87232
o 87189
o 87078
o 86999
o 86910
o 86832
o 86748
o 86627
o 86516
o 86473
o 86362
o 86306
o 86195
o 86111
o 86000
o 85957
o 85846
o 85767
o 85745
o 85689
o 85578
o 85494
o 85383
o 85340
o 85229
o 85150
o Killed
1979.617u 0.082s 33:03.81 99.7%	0+0k 0+0io 0pf+0w