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-10.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-10.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz-2009/WMaxSatz-2009
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 161 1068 2033802
WARNING: Ubcsat not found.
o 2033802
o 210473
o 210425
o 209005
o 208978
o 208664
o 208637
o 208542
o 208515
o 208164
o 208137
o 205563
o 205515
o 204095
o 204068
o 203754
o 203727
o 203632
o 203605
o 203254
o 203227
o 203222
o 201860
o 201812
o 200392
o 200365
o 200051
o 200024
o 199929
o 199902
o 199551
o 199524
o 199519
o 198597
o 198570
o 198256
o 198229
o 198134
o 198107
o 197756
o 197729
o 197724
o 197352
o 197304
o 195884
o 195857
o 195543
o 195516
o 195421
o 195394
o 195043
o 195016
o 195011
o 194089
o 194062
o 193748
o 193721
o 193626
o 193599
o 193248
o 193221
o 193216
o 193019
o 192992
o 192897
o 192870
o 192519
o 192492
o 192487
o 191465
o 191438
o 191124
o 191097
o 191002
o 190975
o 190624
o 190597
o 190592
o 189670
o 189643
o 189329
o 189302
o 189207
o 189180
o 188829
o 188802
o 188797
o 188600
o 188573
o 188478
o 188451
o 188100
o 188073
o 188068
o 187998
o 187971
o 187620
o 187593
o 187588
o 187565
o 187391
o 187364
o 187269
o 187242
o 186891
o 186864
o 186859
o 186538
o 186511
o 186197
o 186170
o 186075
o 186048
o 185697
o 185670
o 185496
o 185469
o 185374
o 185347
o 184996
o 184969
o 184964
o 184743
o 184716
o 184402
o 184375
o 184280
o 184253
o 183902
o 183875
o 183701
o 183674
o 183579
o 183552
o 183201
o 183174
o 183169
o 183146
o 182972
o 182945
o 182850
o 182823
o 182472
o 182445
o 182440
o 182425
o 182398
o 182393
o 182323
o 182296
o 181945
o 181918
o 181913
o 181890
o 181716
o 181689
o 181594
o 181567
o 181216
o 181189
o 181184
o 180863
o 180836
o 180522
o 180495
o 180400
o 180373
o 180022
o 179995
o 179821
o 179794
o 179699
o 179672
o 179321
o 179294
o 179289
o 179068
o 179041
o 178727
o 178700
o 178605
o 178578
o 178227
o 178200
o 178026
o 177999
o 177904
o 177877
o 177526
o 177499
o 177494
o 177471
o 177297
o 177270
o 177175
o 177148
o 176797
o 176770
o 176765
o 176707
o 176680
o 176329
o 176302
o 176073
o 176046
o 176041
o 175976
o 175949
o 175635
o 175608
o 175513
o 175486
o 175135
o 175108
o 174934
o 174907
o 174812
o 174785
o 174434
o 174407
o 174178
o 174151
o 174146
o 173840
o 173813
o 173718
o 173691
o 173340
o 173313
o 173139
o 173112
o 173017
o 172990
o 172639
o 172612
o 172383
o 172356
o 172351
o 172288
o 172261
o 171910
o 171883
o 171654
o 171627
o 171622
o 171318
o 171291
o 171196
o 171169
o 170818
o 170791
o 170617
o 170590
o 170495
o 170468
o 170117
o 170090
o 169861
o 169834
o 169829
o 169766
o 169739
o 169388
o 169361
o 169132
o 169105
o 169100
o 168925
o 168898
o 168724
o 168697
o 168602
o 168575
o 168224
o 168197
o 167968
o 167941
o 167936
o 167630
o 167603
o 167508
o 167481
o 167130
o 167103
o 166929
o 166902
o 166807
o 166780
o 166429
o 166402
o 166173
o 166146
o 166141
o 166078
o 166051
o 165700
o 165673
o 165444
o 165417
o 165412
o 165130
o 165103
o 165008
o 164981
o 164630
o 164603
o 164429
o 164402
o 164307
o 164280
o 163929
o 163902
o 163673
o 163646
o 163641
o 163578
o 163551
o 163200
o 163173
o 162944
o 162917
o 162912
o 162691
o 162664
o 162659
o 162596
o 162569
o 162218
o 162191
o 161962
o 161935
o 161930
o 161901
o 161874
o 161869
o 161806
o 161779
o 161428
o 161401
o 161172
o 161145
o 161140
o 160965
o 160938
o 160764
o 160737
o 160642
o 160615
o 160264
o 160237
o 160008
o 159981
o 159976
o 159670
o 159643
o 159548
o 159521
o 159170
o 159143
o 158969
o 158942
o 158847
o 158820
o 158469
o 158442
o 158213
o 158186
o 158181
o 158118
o 158091
o 157740
o 157713
o 157484
o 157457
o 157452
o 157170
o 157143
o 157048
o 157021
o 156670
o 156643
o 156469
o 156442
o 156347
o 156320
o 155969
o 155942
o 155713
o 155686
o 155681
o 155618
o 155591
o 155240
o 155213
o 154984
o 154957
o 154952
o 154731
o 154704
o 154699
o 154636
o 154609
o 154258
o 154231
o 154002
o 153975
o 153970
o 153807
o 153780
o 153551
o 153524
o 153519
o 153213
o 153186
o 153091
o 153064
o 152713
o 152686
o 152512
o 152485
o 152390
o 152363
o 152012
o 151985
o 151756
o 151729
o 151724
o 151661
o 151634
o 151283
o 151256
o 151027
o 151000
o 150995
o 150713
o 150686
o 150591
o 150564
o 150213
o 150186
o 150012
o 149985
o 149890
o 149863
o 149512
o 149485
o 149256
o 149229
o 149224
o 149161
o 149134
o 148783
o 148756
o 148527
o 148500
o 148495
o 148274
o 148247
o 148242
o 148179
o 148152
o 147801
o 147774
o 147545
o 147518
o 147513
o 147474
o 147447
o 147442
o 147379
o 147352
o 147001
o 146974
o 146745
o 146718
o 146713
o 146708
o 146679
o 146652
o 146479
o 146452
o 146447
o 146384
o 146357
o 146206
o 146179
o 146006
o 145979
o 145950
o 145923
o 145750
o 145723
o 145718
o 145697
o 145670
o 145497
o 145470
o 145465
o 145402
o 145375
o 145224
o 145197
o 145024
o 144997
o 144968
o 144941
o 144768
o 144741
o 144736
o 144573
o 144546
o 144517
o 144490
o 144317
o 144290
o 144285
o 144179
o 144152
o 143979
o 143952
o 143857
o 143830
o 143679
o 143652
o 143479
o 143452
o 143451
o 143278
o 143251
o 143156
o 143129
o 142978
o 142951
o 142778
o 142751
o 142722
o 142695
o 142522
o 142495
o 142490
o 142427
o 142400
o 142249
o 142222
o 142049
o 142022
o 141993
o 141966
o 141793
o 141766
o 141761
o 141679
o 141652
o 141479
o 141452
o 141357
o 141330
o 141179
o 141152
o 140979
o 140952
o 140951
o 140778
o 140751
o 140656
o 140629
o 140478
o 140451
o 140278
o 140251
o 140222
o 140195
o 140022
o 139995
o 139990
o 139927
o 139900
o 139749
o 139722
o 139549
o 139522
o 139493
o 139466
o 139293
o 139266
o 139261
o 139240
o 139213
o 139040
o 139013
o 139008
o 138945
o 138918
o 138767
o 138740
o 138567
o 138540
o 138511
o 138484
o 138311
o 138284
o 138279
o 138240
o 138213
o 138208
o 138145
o 138118
o 137967
o 137940
o 137767
o 137740
o 137711
o 137684
o 137511
o 137484
o 137479
o 137399
o 137372
o 137343
o 137316
o 137143
o 137116
o 137111
o 137048
o 137021
o 136870
o 136843
o 136670
o 136643
o 136614
o 136587
o 136414
o 136387
o 136382
o 136361
o 136334
o 136161
o 136134
o 136129
o 136066
o 136039
o 135888
o 135861
o 135688
o 135661
o 135632
o 135605
o 135432
o 135405
o 135400
o 135233
o 135206
o 135201
o 135138
o 135111
o 134960
o 134933
o 134760
o 134733
o 134704
o 134677
o 134504
o 134477
o 134472
o 134323
o 134296
o 134123
o 134096
o 134067
o 134040
o 133867
o 133840
o 133835
o 133772
o 133745
o 133594
o 133567
o 133394
o 133367
o 133338
o 133311
o 133138
o 133111
o 133106
o 133085
o 133058
o 132885
o 132858
o 132853
o 132790
o 132763
o 132612
o 132585
o 132412
o 132385
o 132356
o 132329
o 132156
o 132129
o 132124
o 132085
o 132058
o 132053
o 131990
o 131963
o 131812
o 131785
o 131612
o 131585
o 131556
o 131529
o 131356
o 131329
o 131324
o 131222
o 131195
o 130966
o 130939
o 130934
o 130928
o 130899
o 130872
o 130699
o 130672
o 130667
o 130646
o 130619
o 130446
o 130419
o 130414
o 130351
o 130324
o 130173
o 130146
o 129973
o 129946
o 129917
o 129890
o 129717
o 129690
o 129685
o 129623
o 129596
o 129445
o 129418
o 129245
o 129218
o 129189
o 129162
o 128989
o 128962
o 128957
o 128928
o 128901
o 128806
o 128779
o 128628
o 128601
o 128428
o 128401
o 128400
o 128227
o 128200
o 128105
o 128078
o 127927
o 127900
o 127727
o 127700
o 127671
o 127644
o 127471
o 127444
o 127439
o 127376
o 127349
o 127198
o 127171
o 126998
o 126971
o 126942
o 126915
o 126742
o 126715
o 126710
o 126628
o 126601
o 126428
o 126401
o 126306
o 126279
o 126128
o 126101
o 125928
o 125901
o 125900
o 125727
o 125700
o 125605
o 125578
o 125427
o 125400
o 125227
o 125200
o 125171
o 125144
o 124971
o 124944
o 124939
o 124876
o 124849
o 124698
o 124671
o 124498
o 124471
o 124442
o 124415
o 124242
o 124215
o 124210
o 124189
o 124162
o 123989
o 123962
o 123957
o 123894
o 123867
o 123716
o 123689
o 123516
o 123489
o 123460
o 123433
o 123260
o 123233
o 123228
o 123166
o 123139
o 122988
o 122961
o 122788
o 122761
o 122732
o 122705
o 122532
o 122505
o 122500
o 122460
o 122433
o 122428
o 122366
o 122339
o 122188
o 122161
o 121988
o 121961
o 121932
o 121905
o 121732
o 121705
o 121700
o 121619
o 121592
o 121563
o 121536
o 121363
o 121336
o 121331
o 121310
o 121283
o 121110
o 121083
o 121078
o 121015
o 120988
o 120837
o 120810
o 120637
o 120610
o 120581
o 120554
o 120381
o 120354
o 120349
o 120287
o 120260
o 120109
o 120082
o 119909
o 119882
o 119853
o 119826
o 119653
o 119626
o 119621
o 119453
o 119426
o 119421
o 119359
o 119332
o 119181
o 119154
o 118981
o 118954
o 118925
o 118898
o 118725
o 118698
o 118693
o 118543
o 118516
o 118343
o 118316
o 118287
o 118260
o 118087
o 118060
o 118055
o 118034
o 118007
o 117834
o 117807
o 117802
o 117739
o 117712
o 117561
o 117534
o 117361
o 117334
o 117305
o 117278
o 117105
o 117078
o 117073
o 117011
o 116984
o 116833
o 116806
o 116633
o 116606
o 116577
o 116550
o 116377
o 116350
o 116345
o 116305
o 116278
o 116273
o 116211
o 116184
o 116033
o 116006
o 115833
o 115806
o 115777
o 115750
o 115577
o 115550
o 115545
o 115474
o 115426
o 115399
o 115370
o 115343
o 115218
o 115170
o 115143
o 115138
o 115098
o 115050
o 115023
o 114994
o 114967
o 114842
o 114794
o 114767
o 114762
o 114634
o 114607
o 114578
o 114551
o 114378
o 114351
o 114346
o 114284
o 114257
o 114106
o 114079
o 113906
o 113879
o 113850
o 113823
o 113650
o 113623
o 113618
o 113578
o 113551
o 113546
o 113484
o 113457
o 113306
o 113279
o 113106
o 113079
o 113050
o 113023
o 112850
o 112823
o 112818
o 112747
o 112699
o 112672
o 112643
o 112616
o 112491
o 112443
o 112416
o 112411
o 112371
o 112323
o 112296
o 112267
o 112240
o 112115
o 112067
o 112040
o 112035
o 111903
o 111847
o 111647
o 111642
o 111544
o 111496
o 111488
o 111440
o 111288
o 111240
o 111235
o 111168
o 111120
o 111112
o 111064
o 110912
o 110864
o 110859
o 110777
o 110750
o 110721
o 110694
o 110521
o 110494
o 110489
o 110418
o 110370
o 110343
o 110314
o 110287
o 110162
o 110114
o 110087
o 110082
o 110042
o 109994
o 109967
o 109938
o 109911
o 109786
o 109738
o 109711
o 109706
o 109578
o 109551
o 109522
o 109495
o 109322
o 109295
o 109290
o 109228
o 109201
o 109050
o 109023
o 108850
o 108823
o 108794
o 108767
o 108594
o 108567
o 108562
o 108522
o 108495
o 108490
o 108428
o 108401
o 108250
o 108223
o 108050
o 108023
o 107994
o 107967
o 107794
o 107767
o 107762
o 107691
o 107643
o 107616
o 107587
o 107560
o 107435
o 107387
o 107360
o 107355
o 107315
o 107267
o 107240
o 107211
o 107184
o 107059
o 107011
o 106984
o 106979
o 106847
o 106791
o 106591
o 106586
o 106488
o 106440
o 106432
o 106384
o 106232
o 106184
o 106179
o 106112
o 106064
o 106056
o 106008
o 105856
o 105808
o 105803
o 105795
o 105595
o 105492
o 105444
o 105436
o 105388
o 105236
o 105188
o 105116
o 105068
o 105060
o 105012
o 104860
o 104812
o 104797
o 104789
o 104741
o 104589
o 104541
o 104400
o 104395
o 104297
o 104249
o 104241
o 104193
o 104041
o 103993
o 103988
o 103860
o 103660
o 103604
o 103404
o 103301
o 103253
o 103245
o 103197
o 103045
o 102997
o 102894
o 102791
o 102743
o 102735
o 102687
o 102535
o 102487
o 102468
o 102424
o 102376
o 102371
o 102304
o 102256
o 102248
o 102200
o 102048
o 102000
o 101995
o 101987
o 101787
o 101684
o 101636
o 101628
o 101580
o 101428
o 101380
o 101308
o 101260
o 101252
o 101204
o 101052
o 101004
o 100989
o 100981
o 100933
o 100781
o 100733
o 100592
o 100587
o 100489
o 100441
o 100433
o 100385
o 100233
o 100185
o 100180
o 100052
o 99852
o 99796
o 99596
o 99493
o 99445
o 99437
o 99389
o 99237
o 99189
o 99086
o 98983
o 98935
o 98927
o 98879
o 98727
o 98679
o 98660
o 98527
o 98479
o 98338
o 98333
o 98309
o 98179
o 98131
o 97979
o 97931
o 97926
o 97842
o 97720
o 97542
o 97342
o 97313
o 97183
o 97135
o 96983
o 96935
o 96832
o 96803
o 96673
o 96625
o 96473
o 96425
o 96406
o 96362
o 96314
o 96309
o 96186
o 96138
o 95986
o 95938
o 95933
o 95925
o 95725
o 95696
o 95566
o 95518
o 95366
o 95318
o 95190
o 95142
o 94990
o 94942
o 94919
o 94871
o 94719
o 94671
o 94530
o 94525
o 94501
o 94371
o 94323
o 94171
o 94123
o 94118
o 94034
o 93912
o 93734
o 93534
o 93505
o 93375
o 93327
o 93175
o 93127
o 93024
o 92995
o 92865
o 92817
o 92665
o 92617
o 92598
o 92574
o 92526
o 92521
o 92437
o 92315
o 92137
o 91937
o 91908
o 91778
o 91730
o 91578
o 91530
o 91427
o 91398
o 91268
o 91220
o 91068
o 91020
o 91001
o 90936
o 90907
o 90777
o 90729
o 90577
o 90529
o 90401
o 90353
o 90201
o 90153
o 90130
o 90082
o 89930
o 89882
o 89741
o 89736
o 89712
o 89582
o 89534
o 89382
o 89334
o 89329
o 89245
o 89123
o 88945
o 88745
o 88716
o 88586
o 88538
o 88386
o 88338Killed
1979.600u 0.099s 33:12.05 99.3%	0+0k 0+0io 0pf+0w