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-80-2_network-1.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-1.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz-2009/WMaxSatz-2009
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 223 1512 2757422
WARNING: Ubcsat not found.
o 2757422
o 241918
o 240747
o 238535
o 236965
o 235330
o 235269
o 233634
o 232849
o 232601
o 232420
o 231450
o 230905
o 230665
o 230120
o 229437
o 229189
o 229008
o 228038
o 227493
o 227253
o 226708
o 226279
o 226172
o 225932
o 225908
o 225387
o 225225
o 224704
o 224456
o 224275
o 223826
o 223305
o 223281
o 222760
o 222520
o 222496
o 221975
o 221546
o 221255
o 221231
o 220710
o 220470
o 220446
o 219925
o 219861
o 219837
o 219316
o 218887
o 218831
o 218829
o 218308
o 217879
o 217588
o 217564
o 217043
o 216803
o 216779
o 216258
o 216194
o 216170
o 215649
o 215220
o 215047
o 214983
o 214959
o 214438
o 214009
o 213761
o 213729
o 213300
o 213009
o 212985
o 212464
o 212224
o 212200
o 211679
o 211615
o 211591
o 211070
o 210641
o 210468
o 210404
o 210380
o 209859
o 209430
o 209133
o 209085
o 208794
o 208770
o 208701
o 208686
o 208249
o 208009
o 207985
o 207916
o 207901
o 207464
o 207400
o 207376
o 207307
o 207292
o 206855
o 206426
o 206253
o 206189
o 206165
o 206096
o 206081
o 205644
o 205215
o 204918
o 204897
o 204833
o 204809
o 204484
o 204288
o 204055
o 203859
o 203758
o 203562
o 203514
o 203419
o 203223
o 203199
o 203130
o 203115
o 202874
o 202678
o 202634
o 202438
o 202414
o 202345
o 202330
o 202089
o 201893
o 201829
o 201805
o 201736
o 201721
o 201480
o 201284
o 201051
o 200855
o 200682
o 200618
o 200594
o 200525
o 200510
o 200269
o 200073
o 199840
o 199644
o 199543
o 199347
o 199153
o 199132
o 199068
o 199044
o 198719
o 198523
o 198290
o 198094
o 197993
o 197797
o 197749
o 197654
o 197458
o 197434
o 197365
o 197350
o 197109
o 196913
o 196869
o 196673
o 196649
o 196580
o 196565
o 196324
o 196128
o 196064
o 196040
o 195971
o 195956
o 195715
o 195519
o 195286
o 195090
o 194917
o 194853
o 194829
o 194760
o 194745
o 194504
o 194308
o 194075
o 193879
o 193778
o 193582
o 193537
o 193522
o 193281
o 193085
o 192852
o 192656
o 192483
o 192419
o 192395
o 192326
o 192311
o 192070
o 191874
o 191641
o 191445
o 191344
o 191148
o 191126
o 191102
o 191033
o 191018
o 190777
o 190581
o 190537
o 190341
o 190317
o 190248
o 190233
o 189992
o 189796
o 189732
o 189708
o 189639
o 189624
o 189383
o 189187
o 188954
o 188758
o 188585
o 188521
o 188497
o 188428
o 188413
o 188172
o 187976
o 187743
o 187547
o 187446
o 187250
o 187244
o 187143
o 186947
o 186902
o 186887
o 186646
o 186450
o 186217
o 186021
o 185848
o 185784
o 185760
o 185691
o 185676
o 185435
o 185239
o 185006
o 184810
o 184709
o 184513
o 184491
o 184467
o 184398
o 184383
o 184142
o 183946
o 183902
o 183706
o 183682
o 183613
o 183598
o 183357
o 183161
o 183097
o 183073
o 183004
o 182989
o 182748
o 182552
o 182319
o 182123
o 181950
o 181886
o 181862
o 181793
o 181778
o 181537
o 181341
o 181108
o 180912
o 180811
o 180615
o 180569
o 180377
o 180181
o 180080
o 179884
o 179711
o 179515
o 179414
o 179218
o 179196
o 179172
o 179103
o 179088
o 178847
o 178651
o 178607
o 178411
o 178387
o 178318
o 178303
o 178062
o 177866
o 177802
o 177778
o 177709
o 177694
o 177453
o 177257
o 177024
o 176828
o 176655
o 176591
o 176567
o 176498
o 176483
o 176242
o 176046
o 175813
o 175617
o 175516
o 175320
o 175210
o 175037
o 174973
o 174949
o 174880
o 174865
o 174624
o 174428
o 174195
o 173999
o 173898
o 173702
o 173643
o 173447
o 173437
o 173373
o 173349
o 173280
o 173265
o 173024
o 172828
o 172595
o 172399
o 172298
o 172102
o 172079
o 172064
o 171823
o 171627
o 171563
o 171539
o 171470
o 171455
o 171214
o 171018
o 170785
o 170589
o 170416
o 170352
o 170328
o 170259
o 170244
o 170003
o 169807
o 169574
o 169378
o 169277
o 169081
o 168971
o 168798
o 168734
o 168710
o 168641
o 168626
o 168385
o 168189
o 167956
o 167760
o 167659
o 167463
o 167404
o 167208
o 167198
o 167134
o 167110
o 167041
o 167026
o 166785
o 166589
o 166356
o 166160
o 166059
o 165863
o 165667
o 165471
o 165370
o 165174
o 165129
o 165119
o 165055
o 165031
o 164962
o 164947
o 164706
o 164510
o 164277
o 164081
o 163980
o 163784
o 163588
o 163392
o 163291
o 163095
o 163079
o 163010
o 162995
o 162754
o 162558
o 162325
o 162129
o 162028
o 161832
o 161773
o 161577
o 161567
o 161503
o 161479
o 161410
o 161395
o 161154
o 160958
o 160725
o 160529
o 160428
o 160232
o 160036
o 159840
o 159739
o 159543
o 159535
o 159525
o 159461
o 159437
o 159368
o 159353
o 159112
o 158916
o 158683
o 158487
o 158386
o 158190
o 157994
o 157798
o 157697
o 157501
o 157456
o 157446
o 157382
o 157358
o 157289
o 157274
o 157033
o 156837
o 156604
o 156408
o 156307
o 156111
o 155915
o 155719
o 155618
o 155422
o 155406
o 155337
o 155322
o 155081
o 154885
o 154652
o 154456
o 154355
o 154159
o 154100
o 153904
o 153894
o 153830
o 153806
o 153737
o 153722
o 153481
o 153285
o 153052
o 152856
o 152755
o 152559
o 152363
o 152167
o 152066
o 151870
o 151697
o 151591
o 151418
o 151393
o 151197
o 151001
o 150805
o 150704
o 150508
o 150335
o 150254
o 150153
o 149957
o 149912
o 149902
o 149838
o 149814
o 149745
o 149730
o 149489
o 149293
o 149060
o 148864
o 148763
o 148567
o 148371
o 148175
o 148074
o 147878
o 147862
o 147793
o 147778
o 147537
o 147341
o 147108
o 146912
o 146811
o 146615
o 146556
o 146360
o 146350
o 146286
o 146262
o 146193
o 146178
o 145937
o 145741
o 145508
o 145312
o 145211
o 145015
o 144819
o 144623
o 144522
o 144326
o 144153
o 144105
o 144004
o 143808
o 143792
o 143723
o 143708
o 143467
o 143271
o 143038
o 142842
o 142741
o 142545
o 142486
o 142290
o 142280
o 142216
o 142192
o 142123
o 142108
o 141867
o 141671
o 141438
o 141242
o 141141
o 140945
o 140749
o 140553
o 140452
o 140256
o 140083
o 139977
o 139804
o 139779
o 139583
o 139387
o 139191
o 139090
o 138894
o 138721
o 138640
o 138539
o 138343
o 138298
o 138288
o 138224
o 138200
o 138131
o 138116
o 137875
o 137679
o 137446
o 137250
o 137149
o 136953
o 136757
o 136561
o 136460
o 136264
o 136248
o 136179
o 136164
o 135923
o 135727
o 135494
o 135298
o 135197
o 135001
o 134942
o 134746
o 134736
o 134672
o 134648
o 134579
o 134564
o 134323
o 134127
o 133894
o 133698
o 133597
o 133401
o 133205
o 133009
o 132908
o 132712
o 132539
o 132464
o 132363
o 132167
o 131971
o 131775
o 131674
o 131478
o 131305
o 131126
o 130930
o 130829
o 130633
o 130460
o 130446
o 130345
o 130149
o 129976
o 129901
o 129800
o 129604
o 129408
o 129212
o 129111
o 128915
o 128742
o 128563
o 128367
o 128266
o 128070
o 127897
o 127877
o 127850
o 127654
o 127606
o 127553
o 127357
o 127184
o 127058
o 127005
o 126809
o 126761
o 126708
o 126512
o 126339
o 126319
o 126159
o 125986
o 125966
o 125939
o 125743
o 125695
o 125642
o 125446
o 125273
o 125147
o 125094
o 124898
o 124850
o 124797
o 124601
o 124428
o 124408
o 124386
o 124338
o 124285
o 124089
o 123916
o 123896
o 123840
o 123820
o 123660
o 123487
o 123467
o 123440
o 123244
o 123196
o 123143
o 122947
o 122774
o 122648
o 122595
o 122399
o 122351
o 122298
o 122102
o 121929
o 121909
o 121887
o 121839
o 121786
o 121590
o 121417
o 121397
o 121235
o 121187
o 121134
o 120938
o 120918
o 120786
o 120738
o 120685
o 120489
o 120316
o 120296
o 120274
o 120226
o 120173
o 119977
o 119804
o 119784
o 119622
o 119574
o 119521
o 119325
o 119305
o 119276
o 119103
o 119083
o 119061
o 119013
o 118960
o 118764
o 118591
o 118571
o 118409
o 118361
o 118308
o 118112
o 118092
o 117999
o 117930
o 117826
o 117806
o 117784
o 117736
o 117683
o 117591
o 117487
o 117418
o 117314
o 117294
o 117238
o 117218
o 117162
o 117058
o 116989
o 116885
o 116865
o 116838
o 116746
o 116642
o 116594
o 116541
o 116449
o 116345
o 116276
o 116172
o 116150
o 116046
o 115993
o 115901
o 115797
o 115749
o 115696
o 115604
o 115500
o 115431
o 115327
o 115307
o 115285
o 115237
o 115184
o 115092
o 114988
o 114919
o 114815
o 114795
o 114737
o 114633
o 114585
o 114532
o 114440
o 114336
o 114316
o 114288
o 114184
o 114136
o 114083
o 113991
o 113887
o 113818
o 113714
o 113694
o 113672
o 113624
o 113571
o 113479
o 113375
o 113306
o 113202
o 113182
o 113124
o 113020
o 112972
o 112919
o 112827
o 112723
o 112703
o 112674
o 112605
o 112501
o 112481
o 112459
o 112411
o 112358
o 112266
o 112162
o 112093
o 111989
o 111969
o 111911
o 111807
o 111759
o 111706
o 111614
o 111510
o 111490
o 111427
o 111407
o 111349
o 111245
o 111197
o 111144
o Killed
1979.683u 0.016s 33:01.71 99.8%	0+0k 0+0io 0pf+0w