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-10.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-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 237 1717 3364035
WARNING: Ubcsat not found.
o 3364035
o 273541
o 272936
o 270667
o 269647
o 268879
o 268715
o 268536
o 267768
o 267067
o 266903
o 266724
o 265956
o 265610
o 264938
o 264774
o 264595
o 263827
o 263481
o 263237
o 262536
o 262372
o 262193
o 261425
o 261079
o 260739
o 260376
o 260030
o 259786
o 259448
o 259085
o 258921
o 258742
o 258337
o 257974
o 257628
o 257421
o 257326
o 257159
o 256813
o 256569
o 256231
o 255868
o 255704
o 255525
o 255120
o 254757
o 254411
o 254316
o 253970
o 253758
o 253551
o 253456
o 253289
o 252943
o 252699
o 252361
o 251998
o 251834
o 251655
o 251648
o 251250
o 250887
o 250541
o 250446
o 250100
o 249933
o 249570
o 249533
o 249128
o 248765
o 248419
o 248324
o 247978
o 247766
o 247559
o 247464
o 247297
o 246951
o 246707
o 246647
o 246468
o 246461
o 246063
o 245700
o 245663
o 245656
o 245258
o 244895
o 244549
o 244454
o 244108
o 243783
o 243437
o 243342
o 242996
o 242974
o 242967
o 242569
o 242206
o 242169
o 242162
o 241764
o 241401
o 241055
o 240960
o 240614
o 240528
o 240165
o 239819
o 239724
o 239378
o 239310
o 238964
o 238869
o 238523
o 238501
o 238494
o 238096
o 237733
o 237696
o 237689
o 237291
o 236928
o 236582
o 236487
o 236141
o 235935
o 235788
o 235589
o 235442
o 235347
o 235148
o 235001
o 234699
o 234552
o 234353
o 234206
o 234111
o 233912
o 233765
o 233697
o 233498
o 233351
o 233256
o 233057
o 232910
o 232630
o 232267
o 232120
o 231825
o 231462
o 231315
o 231116
o 230969
o 230874
o 230675
o 230528
o 230444
o 230245
o 230098
o 230075
o 229796
o 229649
o 229450
o 229303
o 229208
o 229009
o 228862
o 228794
o 228595
o 228448
o 228353
o 228154
o 228007
o 227790
o 227643
o 227348
o 226985
o 226838
o 226559
o 226412
o 226213
o 226066
o 225971
o 225772
o 225625
o 225533
o 225316
o 225169
o 224874
o 224511
o 224364
o 224085
o 223938
o 223739
o 223592
o 223497
o 223298
o 223151
o 223037
o 222890
o 222595
o 222232
o 222085
o 221806
o 221659
o 221460
o 221313
o 221218
o 221019
o 220872
o 220790
o 220495
o 220132
o 219985
o 219706
o 219559
o 219360
o 219213
o 219118
o 218919
o 218772
o 218658
o 218511
o 218216
o 217853
o 217706
o 217427
o 217280
o 217081
o 216934
o 216839
o 216640
o 216493
o 216457
o 216258
o 216111
o 215909
o 215546
o 215399
o 215120
o 214973
o 214774
o 214627
o 214532
o 214333
o 214186
o 214072
o 213925
o 213630
o 213267
o 213120
o 212841
o 212694
o 212495
o 212348
o 212253
o 212054
o 211907
o 211871
o 211672
o 211525
o 211427
o 211280
o 211185
o 210986
o 210839
o 210803
o 210604
o 210457
o 210185
o 210038
o 209759
o 209612
o 209413
o 209266
o 209171
o 208972
o 208825
o 208789
o 208590
o 208443
o 208345
o 208198
o 208103
o 207904
o 207757
o 207721
o 207522
o 207375
o 207188
o 206825
o 206678
o 206399
o 206252
o 206053
o 205906
o 205811
o 205612
o 205465
o 205429
o 205230
o 205083
o 204985
o 204838
o 204743
o 204544
o 204397
o 204361
o 204162
o 204015
o 203878
o 203842
o 203643
o 203496
o 203398
o 203251
o 203156
o 202957
o 202810
o 202774
o 202575
o 202428
o 202241
o 201878
o 201731
o 201452
o 201305
o 201106
o 200959
o 200864
o 200665
o 200518
o 200482
o 200283
o 200136
o 200038
o 199891
o 199796
o 199597
o 199450
o 199414
o 199215
o 199068
o 199042
o 199006
o 198807
o 198660
o 198655
o 198562
o 198415
o 198320
o 198121
o 197974
o 197938
o 197739
o 197592
o 197576
o 197297
o 197150
o 196951
o 196804
o 196709
o 196510
o 196363
o 196270
o 196123
o 196028
o 195829
o 195682
o 195646
o 195447
o 195300
o 195295
o 195202
o 195055
o 194960
o 194761
o 194614
o 194578
o 194379
o 194232
o 194086
o 193939
o 193844
o 193645
o 193498
o 193462
o 193263
o 193116
o 193018
o 192871
o 192776
o 192577
o 192430
o 192394
o 192195
o 192048
o 192022
o 191986
o 191787
o 191640
o 191635
o 191542
o 191395
o 191300
o 191101
o 190954
o 190918
o 190719
o 190572
o 190556
o 190277
o 190130
o 189931
o 189784
o 189689
o 189490
o 189343
o 189250
o 189103
o 189008
o 188809
o 188662
o 188626
o 188427
o 188280
o 188275
o 188182
o 188035
o 187940
o 187741
o 187594
o 187558
o 187359
o 187212
o 187154
o 187007
o 186912
o 186713
o 186566
o 186473
o 186326
o 186231
o 186032
o 185885
o 185849
o 185650
o 185503
o 185498
o 185405
o 185258
o 185163
o 184964
o 184817
o 184781
o 184582
o 184435
o 184299
o 184152
o 184136
o 183857
o 183710
o 183511
o 183364
o 183269
o 183070
o 182923
o 182830
o 182683
o 182588
o 182389
o 182242
o 182206
o 182007
o 181860
o 181855
o 181762
o 181615
o 181520
o 181321
o 181174
o 181138
o 180939
o 180792
o 180756
o 180609
o 180514
o 180315
o 180168
o 180075
o 179928
o 179833
o 179634
o 179487
o 179451
o 179252
o 179105
o 179100
o 179007
o 178860
o 178765
o 178566
o 178419
o 178383
o 178184
o 178037
o 177979
o 177832
o 177737
o 177538
o 177391
o 177298
o 177151
o 177056
o 176857
o 176710
o 176674
o 176475
o 176328
o 176323
o 176230
o 176083
o 175988
o 175789
o 175642
o 175606
o 175407
o 175260
o 175124
o 174977
o 174961
o 174682
o 174535
o 174336
o 174189
o 174094
o 173895
o 173748
o 173655
o 173508
o 173413
o 173214
o 173067
o 173031
o 172832
o 172685
o 172680
o 172587
o 172440
o 172345
o 172146
o 171999
o 171963
o 171764
o 171617
o 171599
o 171400
o 171253
o 171217
o 171018
o 170871
o 170795
o 170648
o 170553
o 170354
o 170207
o 170114
o 169967
o 169872
o 169673
o 169526
o 169490
o 169291
o 169144
o 169139
o 169046
o 168899
o 168804
o 168605
o 168458
o 168422
o 168223
o 168076
o 168040
o 167893
o 167798
o 167599
o 167452
o 167359
o 167212
o 167117
o 166918
o 166771
o 166735
o 166536
o 166389
o 166384
o 166291
o 166144
o 166049
o 165850
o 165703
o 165667
o 165468
o 165321
o 165263
o 165116
o 165021
o 164822
o 164675
o 164582
o 164435
o 164340
o 164141
o 163994
o 163958
o 163759
o 163612
o 163607
o 163514
o 163367
o 163272
o 163073
o 162926
o 162890
o 162691
o 162544
o 162408
o 162261
o 162245
o 161966
o 161819
o 161620
o 161473
o 161378
o 161179
o 161032
o 160939
o 160792
o 160697
o 160498
o 160351
o 160315
o 160116
o 159969
o 159964
o 159871
o 159724
o 159629
o 159430
o 159283
o 159247
o 159048
o 158901
o 158883
o 158684
o 158537
o 158501
o 158302
o 158155
o 158072
o 157979
o 157832
o 157737
o 157538
o 157391
o 157355
o 157156
o 157009
o 157004
o 156911
o 156764
o 156669
o 156470
o 156323
o 156287
o 156088
o 155941
o 155905
o 155758
o 155663
o 155464
o 155317
o 155224
o 155077
o 154982
o 154783
o 154636
o 154600
o 154401
o 154254
o 154249
o 154156
o 154009
o 153914
o 153715
o 153568
o 153532
o 153333
o 153186
o 153128
o 152981
o 152886
o 152687
o 152540
o 152447
o 152300
o 152205
o 152006
o 151859
o 151823
o 151624
o 151477
o 151472
o 151379
o 151232
o 151137
o 150938
o 150791
o 150755
o 150556
o 150409
o 150273
o 150126
o 150110
o 149831
o 149684
o 149485
o 149338
o 149243
o 149044
o 148897
o 148804
o 148657
o 148562
o 148363
o 148216
o 148180
o 147981
o 147834
o 147829
o 147736
o 147589
o 147494
o 147295
o 147148
o 147112
o 146913
o 146766
o 146748
o 146549
o 146402
o 146366
o 146167
o 146020
o 145999
o 145806
o 145659
o 145623
o 145424
o 145277
o 145222
o 145023
o 144876
o 144681
o 144534
o 144342
o 144195
o 144000
o 143853
o 143813
o 143618
o 143471
o 143466
o 143274
o 143127
o 142932
o 142785
o 142745
o 142550
o 142403
o 142381
o 142186
o 142039
o 141999
o 141804
o 141657
o 141636
o 141607
o 141558
o 141372
o 141225
o 141194
o 141008
o 140861
o 140812
o 140626
o 140479
o 140458
o 140409
o 140373
o 140313
o 140174
o 140166
o 140027
o 140006
o 139895
o 139748
o 139717
o 139531
o 139384
o 139335
o 139149
o 139002
o 138981
o 138932
o 138896
o 138836
o 138697
o 138689
o 138550
o 138529
o 138361
o 138214
o 138193
o 138164
o 138115
o 137929
o 137782
o 137751
o 137565
o 137418
o 137369
o 137183
o 137036
o 137015
o 136966
o 136930
o 136870
o 136731
o 136723
o 136584
o 136563
o 136471
o 136450
o 136401
o 136365
o 136305
o 136166
o 136158
o 136019
o 135998
o 135941
o 135892
o 135706
o 135559
o 135538
o 135489
o 135453
o 135393
o 135254
o 135246
o 135107
o 135086
o 134994
o 134973
o 134924
o 134888
o 134828
o 134689
o 134681
o 134542
o 134521
o 134519
o 134380
o 134372
o 134233
o 134212
o 134131
o 134123
o 133984
o 133963
o 133871
o 133850
o 133793
o 133744
o 133558
o 133411
o 133390
o 133341
o Killed
1979.603u 0.096s 33:00.86 99.9%	0+0k 0+0io 0pf+0w