Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-wbo-1.4b-wcnf-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_random-net_random-net-50-2_network-2.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-50-2_network-2.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 1787312
o 1783676
o 1782086
o 1781916
o 1781577
o 1781058
o 1780011
o 1779657
o 1779166
o 1779114
o 1779104
o 1778498
o 1778152
o 1776948
o 1776566
o 1775519
o 1775376
o 1775318
o 1775258
o 1775248
o 1775188
o 1775175
o 1775115
o 1775028
o 1774822
o 1774668
o 1774608
o 1774596
o 1774584
o 1774543
o 1774526
o 1774524
o 1774470
o 1774412
o 1774407
o 1774342
o 1774329
o 1773781
o 1773509
o 1773457
o 1773346
o 1772915
o 1772270
o 1771840
o 1771797
o 1771435
o 1771219
o 1770850
o 1770344
o 1769882
o 1769716
o 1769462
o 1769439
o 1769367
o 1769357
o 1769297
o 1769285
o 1769280
o 1769185
o 1769019
o 1768830
o 1768748
o 1768688
o 1768551
o 1768475
o 1768215
o 1768208
o 1767938
o 1767784
o 1767571
o 1767338
o 1767330
o 1767102
o 1766483
o 1766454
o 1766334
o 1765960
o 1765649
o 1765383
o 1765149
o 1764940
o 1764831
o 1764701
o 1764612
o 1764517
o 1764464
o 1763707
o 1763616
o 1763607
o 1763417
o 1763405
o 1762871
o 1762617
o 1762600
o 1762515
o 1762391
o 1762127
o 1761988
o 1761530
o 1761259
o 1760698
o 1760643
o 1760297
o 1759735
o 1759373
o 1759299
o 1759219
o 1758373
o 1758316
o 1758251
o 1758247
o 1758147
o 1758094
o 1758091
o 1758054
o 1757978
o 1757837
o 1757695
o 1757691
o 1757581
o 1757545
o 1757332
o 1757233
o 1757197
o 1756510
o 1756288
o 1755874
o 1755858
o 1755846
o 1755823
o 1755810
o 1755786
o 1755762
o 1755681
o 1755448
o 1755177
o 1755117
o 1755048
o 1755038
o 1755012
o 1755011
o 1755007
o 1754991
o 1754934
o 1754931
o 1754849
o 1754688
o 1754528
o 1754497
o 1754005
o 1753611
o 1753316
o 1753137
o 1753133
o 1753095
o 1753004
o 1752811
o 1752599
o 1752391
o 1752357
o 1752276
o 1752265
o 1752190
o 1752061
o 1752036
o 1751435
o 1751418
o 1751078
o 1750673
o 1750446
o 1750353
o 1750283
o 1749981
o 1749952
o 1749727
o 1749712
o 1749669
o 1749642
o 1749638
o 1749637
o 1749621
o 1749463
o 1749231
o 1749056
o 1748926
o 1748863
o 1748761
o 1748731
o 1748695
o 1748379
o 1748356
o 1747974
o 1747756
o 1747739
o 1747607
o 1747564
o 1747492
o 1747424
o 1747269
o 1747261
o 1747101
o 1746884
o 1746768
o 1746757
o 1746745
o 1746709
o 1746624
o 1746399
o 1746341
o 1746162
o 1746005
o 1745992
o 1745911
o 1745778
o 1745738
o 1745715
o 1745630
o 1745383
o 1745371
o 1745370
o 1745109
o 1745028
o 1744974
o 1744825
o 1744774
o 1744712
o 1744680
o 1744558
o 1744540
o 1744297
o 1744206
o 1743914
o 1743855
o 1743847
o 1743826
o 1743720
o 1743709
o 1743618
o 1743602
o 1743595
o 1743580
o 1743562
o 1743550
o 1743478
o 1743228
o 1743147
o 1742929
o 1742921
o 1742906
o 1742692
o 1742330
o 1742019
o 1742014
o 1741885
o 1741656
o 1741398
o 1741129
o 1741103
o 1740858
o 1740822
o 1740604
o 1740532
o 1740520
o 1740325
o 1740280
o 1740026
o 1739743
o 1739608
o 1739331
o 1739111
o 1739060
o 1739018
o 1738747
o 1738726
o 1738598
o 1738364
o 1738227
o 1738114
o 1738097
o 1737960
o 1737739
o 1737735
o 1737617
o 1737413
o 1737254
o 1737126
o 1737120
o 1736909
o 1736898
o 1736769
o 1736736
o 1736633
o 1736606
o 1736579
o 1736562
o 1736555
o 1736528
o 1736510
o 1736499
o 1736445
o 1736417
o 1736328
o 1736170
o 1736143
o 1736139
o 1735963
o 1735957
o 1735921
o 1735897
o 1735777
o 1735742
o 1735706
o 1735552
o 1735327
o 1735281
o 1735248
o 1735043
o 1735011
o 1735009
o 1735002
o 1734981
o 1734945
o 1734801
o 1734721
o 1734710
o 1734681
o 1734552
o 1734449
o 1734429
o 1734407
o 1734345
o 1734337
o 1734316
o 1734133
o 1734117
o 1734094
o 1734027
o 1733976
o 1733965
o 1733868
o 1733852
o 1733847
o 1733787
o 1733764
o 1733673
o 1733635
o 1733507
o 1733495
o 1733454
o 1733436
o 1733413
o 1733411
o 1733357
o 1733333
o 1733290
o 1733275
o 1733250
o 1733108
o 1733017
o 1732921
o 1732898
o 1732871
o 1732865
o 1732857
o 1732854
o 1732689
o 1732671
o 1732658
o 1732643
o 1732633
o 1732568
o 1732561
o 1732441
o 1732329
o 1732302
o 1732285
o 1732254
o 1732069
o 1731995
o 1731986
o 1731967
o 1731949
o 1731883
o 1731855
o 1731822
o 1731746
o 1731706
o 1731589
o 1731517
o 1731305
o 1731273
o 1731128
o 1731123
o 1730938
o 1730894
o 1730841
o 1730834
o 1730814
o 1730765
o 1730617
o 1730609
o 1730488
o 1730476
o 1730320
o 1730301
o 1730168
o 1730141
o 1730119
o 1730083
o 1730082
o 1730058
o 1729982
o 1729909
o 1729892
o 1729675
o 1729417
o 1729211
o 1729193
o 1729192
o 1729066
o 1728965
o 1728957
o 1728924
o 1728856
o 1728772
o 1728628
o 1728604
o 1728466
o 1728346
o 1728344
o 1728195
o 1728107
o 1728098
o 1728013
o 1727991
o 1727837
o 1727740
o 1727707
o 1727643
o 1727583
o 1727545
o 1727527
o 1727439
o 1727407
o 1727390
o 1727179
o 1727149
o 1727038
o 1726866
o 1726849
o 1726822
o 1726790
o 1726727
o 1726580
o 1726563
o 1726529
o 1726481
o 1726130
o 1726067
o 1726060
o 1726022
o 1725972
o 1725967
o 1725904
o 1725802
o 1725788
o 1725775
o 1725719
o 1725694
o 1725684
o 1725646
o 1725586
o 1725480
o 1725316
o 1725310
o 1725288
o 1725106
o 1725018
o 1724992
o 1724961
o 1724858
o 1724525
c core #1
c 
c 
c Core size: 3	Core Weight: 138	Total Weight: 138
c
c
c core #2
c 
c 
c Core size: 4	Core Weight: 1317	Total Weight: 1455
c
c
c core #3
c 
c 
c Core size: 5	Core Weight: 1606	Total Weight: 3061
c
c
c core #4
c 
c 
c Core size: 4	Core Weight: 867	Total Weight: 3928
c
c
c core #5
c 
c 
c Core size: 5	Core Weight: 1495	Total Weight: 5423
c
c
c core #6
c 
c 
c Core size: 3	Core Weight: 970	Total Weight: 6393
c
c
c core #7
c 
c 
c Core size: 5	Core Weight: 1435	Total Weight: 7828
c
c
c core #8
c 
c 
c Core size: 10	Core Weight: 350	Total Weight: 8178
c
c
c core #9
c 
c 
c Core size: 16	Core Weight: 254	Total Weight: 8432
c
c
c core #10
c 
c 
c Core size: 11	Core Weight: 36	Total Weight: 8468
c
c
c core #11
c 
c 
c Core size: 16	Core Weight: 829	Total Weight: 9297
c
c
c core #12
c 
c 
c Core size: 11	Core Weight: 277	Total Weight: 9574
c
c
c core #13
c 
c 
c Core size: 19	Core Weight: 161	Total Weight: 9735
c
c
c core #14
c 
c 
c Core size: 21	Core Weight: 117	Total Weight: 9852
c
c
c core #15
c 
c 
c Core size: 26	Core Weight: 84	Total Weight: 9936
c
c
c core #16
c 
c 
c Core size: 35	Core Weight: 53	Total Weight: 9989
c
c
c core #17
c 
c 
c Core size: 47	Core Weight: 64	Total Weight: 10053
c
c
c core #18
c 
c 
c Core size: 47	Core Weight: 97	Total Weight: 10150
c
c
c core #19
c 
c 
c Core size: 61	Core Weight: 20	Total Weight: 10170
c
c
c core #20
c 
c 
c Core size: 55	Core Weight: 529	Total Weight: 10699
c
c
c core #21
c 
c 
c Core size: 13	Core Weight: 143	Total Weight: 10842
c
c
c core #22
c 
c 
c Core size: 28	Core Weight: 83	Total Weight: 10925
c
c
c core #23
c 
c 
c Core size: 44	Core Weight: 84	Total Weight: 11009
c
c
c core #24
c 
c 
c Core size: 46	Core Weight: 263	Total Weight: 11272
c
c
c core #25
c 
c 
c Core size: 49	Core Weight: 102	Total Weight: 11374
c
c
c core #26
c 
c 
c Core size: 54	Core Weight: 64	Total Weight: 11438
c
c
c core #27
c 
c 
c Core size: 53	Core Weight: 38	Total Weight: 11476
c
c
c core #28
c 
c 
c Core size: 14	Core Weight: 736	Total Weight: 12212
c
c
c core #29
c 
c 
c Core size: 53	Core Weight: 3	Total Weight: 12215
c
c
c core #30
c 
c 
c Core size: 58	Core Weight: 13	Total Weight: 12228
c
c
c core #31
c 
c 
c Core size: 12	Core Weight: 722	Total Weight: 12950
c
c
c core #32
c 
c 
c Core size: 73	Core Weight: 33	Total Weight: 12983
c
c
c core #33
c 
c 
c Core size: 11	Core Weight: 417	Total Weight: 13400
c
c
c core #34
c 
c 
c Core size: 69	Core Weight: 29	Total Weight: 13429
c
c
c core #35
c 
c 
c Core size: 14	Core Weight: 545	Total Weight: 13974
c
c
c core #36
c 
c 
c Core size: 23	Core Weight: 288	Total Weight: 14262
c
c
c core #37
c 
c 
c Core size: 14	Core Weight: 395	Total Weight: 14657
c
c
c core #38
c 
c 
c Core size: 13	Core Weight: 123	Total Weight: 14780
c
c
c core #39
c 
c 
c Core size: 16	Core Weight: 386	Total Weight: 15166
c
c
c core #40
c 
c 
c Core size: 30	Core Weight: 87	Total Weight: 15253
c
c
c core #41
c 
c 
c Core size: 73	Core Weight: 20	Total Weight: 15273
c
c
c core #42
c 
c 
c Core size: 25	Core Weight: 121	Total Weight: 15394
c
c
c core #43
c 
c 
c Core size: 70	Core Weight: 3	Total Weight: 15397
c
c
c core #44
c 
c 
c Core size: 20	Core Weight: 31	Total Weight: 15428
c
c
c core #45
c 
c 
c Core size: 20	Core Weight: 563	Total Weight: 15991
c
c
c core #46
c 
c 
c Core size: 13	Core Weight: 119	Total Weight: 16110
c
c
c core #47
c 
c 
c Core size: 14	Core Weight: 341	Total Weight: 16451
c
c
c core #48
c 
c 
c Core size: 17	Core Weight: 38	Total Weight: 16489
c
c
c core #49
c 
c 
c Core size: 17	Core Weight: 139	Total Weight: 16628
c
c
c core #50
c 
c 
c Core size: 18	Core Weight: 799	Total Weight: 17427
c
c
c core #51
c 
c 
c Core size: 23	Core Weight: 21	Total Weight: 17448
c
c
c core #52
c 
c 
c Core size: 18	Core Weight: 606	Total Weight: 18054
c
c
c core #53
c 
c 
c Core size: 18	Core Weight: 87	Total Weight: 18141
c
c
c core #54
c 
c 
c Core size: 20	Core Weight: 167	Total Weight: 18308
c
c
c core #55
c 
c 
c Core size: 21	Core Weight: 544	Total Weight: 18852
c
c
c core #56
c 
c 
c Core size: 22	Core Weight: 158	Total Weight: 19010
c
c
c core #57
c 
c 
c Core size: 28	Core Weight: 22	Total Weight: 19032
c
c
c core #58
c 
c 
c Core size: 22	Core Weight: 87	Total Weight: 19119
c
c
c core #59
c 
c 
c Core size: 24	Core Weight: 598	Total Weight: 19717
c
c
c core #60
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 19718
c
c
c core #61
c 
c 
c Core size: 25	Core Weight: 139	Total Weight: 19857
c
c
c core #62
c 
c 
c Core size: 26	Core Weight: 27	Total Weight: 19884
c
c
c core #63
c 
c 
c Core size: 22	Core Weight: 186	Total Weight: 20070
c
c
c core #64
c 
c 
c Core size: 25	Core Weight: 529	Total Weight: 20599
c
c
c core #65
c 
c 
c Core size: 40	Core Weight: 109	Total Weight: 20708
c
c
c core #66
c 
c 
c Core size: 41	Core Weight: 21	Total Weight: 20729
c
c
c core #67
c 
c 
c Core size: 25	Core Weight: 74	Total Weight: 20803
c
c
c core #68
c 
c 
c Core size: 25	Core Weight: 70	Total Weight: 20873
c
c
c core #69
c 
c 
c Core size: 13	Core Weight: 120	Total Weight: 20993
c
c
c core #70
c 
c 
c Core size: 17	Core Weight: 756	Total Weight: 21749
c
c
c core #71
c 
c 
c Core size: 11	Core Weight: 599	Total Weight: 22348
c
c
c core #72
c 
c 
c Core size: 18	Core Weight: 156	Total Weight: 22504
c
c
c core #73
c 
c 
c Core size: 21	Core Weight: 197	Total Weight: 22701
c
c
c core #74
c 
c 
c Core size: 21	Core Weight: 377	Total Weight: 23078
c
c
c core #75
c 
c 
c Core size: 24	Core Weight: 229	Total Weight: 23307
c
c
c core #76
c 
c 
c Core size: 27	Core Weight: 68	Total Weight: 23375
c
c
c core #77
c 
c 
c Core size: 31	Core Weight: 21	Total Weight: 23396
c
c
c core #78
c 
c 
c Core size: 30	Core Weight: 161	Total Weight: 23557
c
c
c core #79
c 
c 
c Core size: 34	Core Weight: 81	Total Weight: 23638
c
c
c core #80
c 
c 
c Core size: 41	Core Weight: 75	Total Weight: 23713
c
c
c core #81
c 
c 
c Core size: 38	Core Weight: 6	Total Weight: 23719
c
c
c core #82
c 
c 
c Core size: 41	Core Weight: 48	Total Weight: 23767
c
c
c core #83
c 
c 
c Core size: 33	Core Weight: 54	Total Weight: 23821
c
c
c core #84
c 
c 
c Core size: 47	Core Weight: 81	Total Weight: 23902
c
c
c core #85
c 
c 
c Core size: 47	Core Weight: 4	Total Weight: 23906
c
c
c core #86
c 
c 
c Core size: 30	Core Weight: 54	Total Weight: 23960
c
c
c core #87
c 
c 
c Core size: 36	Core Weight: 15	Total Weight: 23975
c
c
c core #88
c 
c 
c Core size: 33	Core Weight: 57	Total Weight: 24032
c
c
c core #89
c 
c 
c Core size: 47	Core Weight: 4	Total Weight: 24036
c
c
c core #90
c 
c 
c Core size: 36	Core Weight: 11	Total Weight: 24047
c
c
c core #91
c 
c 
c Core size: 37	Core Weight: 6	Total Weight: 24053
c
c
c core #92
c 
c 
c Core size: 47	Core Weight: 4	Total Weight: 24057
c
c
c core #93
c 
c 
c Core size: 34	Core Weight: 32	Total Weight: 24089
c
c
c core #94
c 
c 
c Core size: 39	Core Weight: 23	Total Weight: 24112
c
c
c core #95
c 
c 
c Core size: 48	Core Weight: 6	Total Weight: 24118
c
c
c core #96
c 
c 
c Core size: 31	Core Weight: 15	Total Weight: 24133
c
c
c core #97
c 
c 
c Core size: 31	Core Weight: 138	Total Weight: 24271
c
c
c core #98
c 
c 
c Core size: 11	Core Weight: 924	Total Weight: 25195
c
c
c core #99
c 
c 
c Core size: 14	Core Weight: 417	Total Weight: 25612
c
c
c core #100
c 
c 
c Core size: 35	Core Weight: 42	Total Weight: 25654
c
c
c core #101
c 
c 
c Core size: 74	Core Weight: 1	Total Weight: 25655
c
c
c core #102
c 
c 
c Core size: 62	Core Weight: 30	Total Weight: 25685
c
c
c core #103
c 
c 
c Core size: 29	Core Weight: 21	Total Weight: 25706
c
c
c core #104
c 
c 
c Core size: 12	Core Weight: 215	Total Weight: 25921
c
c
c core #105
c 
c 
c Core size: 19	Core Weight: 254	Total Weight: 26175
c
c
c core #106
c 
c 
c Core size: 27	Core Weight: 72	Total Weight: 26247
c
c
c core #107
c 
c 
c Core size: 78	Core Weight: 174	Total Weight: 26421
c
c
c core #108
c 
c 
c Core size: 18	Core Weight: 685	Total Weight: 27106
c
c
c core #109
c 
c 
c Core size: 19	Core Weight: 412	Total Weight: 27518
c
c
c core #110
c 
c 
c Core size: 26	Core Weight: 6	Total Weight: 27524
c
c
c core #111
c 
c 
c Core size: 20	Core Weight: 11	Total Weight: 27535
c
c
c core #112
c 
c 
c Core size: 23	Core Weight: 81	Total Weight: 27616
c
c
c core #113
c 
c 
c Core size: 21	Core Weight: 670	Total Weight: 28286
c
c
c core #114
c 
c 
c Core size: 21	Core Weight: 233	Total Weight: 28519
c
c
c core #115
c 
c 
c Core size: 25	Core Weight: 201	Total Weight: 28720
c
c
c core #116
c 
c 
c Core size: 28	Core Weight: 111	Total Weight: 28831
c
c
c core #117
c 
c 
c Core size: 35	Core Weight: 124	Total Weight: 28955
c
c
c core #118
c 
c 
c Core size: 38	Core Weight: 77	Total Weight: 29032
c
c
c core #119
c 
c 
c Core size: 37	Core Weight: 167	Total Weight: 29199
c
c
c core #120
c 
c 
c Core size: 36	Core Weight: 1	Total Weight: 29200
c
c
c core #121
c 
c 
c Core size: 39	Core Weight: 111	Total Weight: 29311
c
c
c core #122
c 
c 
c Core size: 52	Core Weight: 12	Total Weight: 29323
c
c
c core #123
c 
c 
c Core size: 37	Core Weight: 29	Total Weight: 29352
c
c
c core #124
c 
c 
c Core size: 49	Core Weight: 4	Total Weight: 29356
c
c
c core #125
c 
c 
c Core size: 41	Core Weight: 4	Total Weight: 29360
c
c
c core #126
c 
c 
c Core size: 55	Core Weight: 28	Total Weight: 29388
c
c
c core #127
c 
c 
c Core size: 54	Core Weight: 393	Total Weight: 29781
c
c
c core #128
c 
c 
c Core size: 28	Core Weight: 281	Total Weight: 30062
c
c
c core #129
c 
c 
c Core size: 54	Core Weight: 62	Total Weight: 30124
c
c
c core #130
c 
c 
c Core size: 53	Core Weight: 315	Total Weight: 30439
c
c
c core #131
c 
c 
c Core size: 66	Core Weight: 80	Total Weight: 30519
c
c
c core #132
c 
c 
c Core size: 58	Core Weight: 58	Total Weight: 30577
c
c
c core #133
c 
c 
c Core size: 23	Core Weight: 37	Total Weight: 30614
c
c
c core #134
c 
c 
c Core size: 73	Core Weight: 17	Total Weight: 30631
c
c
c core #135
c 
c 
c Core size: 75	Core Weight: 4	Total Weight: 30635
c
c
c core #136
c 
c 
c Core size: 56	Core Weight: 1	Total Weight: 30636
c
c
c core #137
c 
c 
c Core size: 53	Core Weight: 97	Total Weight: 30733
c
c
c core #138
c 
c 
c Core size: 28	Core Weight: 27	Total Weight: 30760
c
c
c core #139
c 
c 
c Core size: 26	Core Weight: 280	Total Weight: 31040
c
c
c core #140
c 
c 
c Core size: 25	Core Weight: 129	Total Weight: 31169
c
c
c core #141
c 
c 
c Core size: 53	Core Weight: 7	Total Weight: 31176
c
c
c core #142
c 
c 
c Core size: 29	Core Weight: 37	Total Weight: 31213
c
c
c core #143
c 
c 
c Core size: 55	Core Weight: 33	Total Weight: 31246
c
c
c core #144
c 
c 
c Core size: 56	Core Weight: 23	Total Weight: 31269
c
c
c core #145
c 
c 
c Core size: 28	Core Weight: 19	Total Weight: 31288
c
c
c core #146
c 
c 
c Core size: 59	Core Weight: 5	Total Weight: 31293
c
c
c core #147
c 
c 
c Core size: 69	Core Weight: 4	Total Weight: 31297
c
c
c core #148
c 
c 
c Core size: 63	Core Weight: 12	Total Weight: 31309
c
c
c core #149
c 
c 
c Core size: 56	Core Weight: 232	Total Weight: 31541
c
c
c core #150
c 
c 
c Core size: 70	Core Weight: 52	Total Weight: 31593
c
c
c core #151
c 
c 
c Core size: 87	Core Weight: 16	Total Weight: 31609
c
c
c core #152
c 
c 
c Core size: 137	Core Weight: 22	Total Weight: 31631
c
c
c core #153
c 
c 
c Core size: 22	Core Weight: 99	Total Weight: 31730
c
c
c core #154
c 
c 
c Core size: 67	Core Weight: 145	Total Weight: 31875
c
c
c core #155
c 
c 
c Core size: 28	Core Weight: 95	Total Weight: 31970
c
c
c core #156
c 
c 
c Core size: 56	Core Weight: 95	Total Weight: 32065
c
c
c core #157
c 
c 
c Core size: 77	Core Weight: 8	Total Weight: 32073
c
c
c core #158
c 
c 
c Core size: 55	Core Weight: 36	Total Weight: 32109
c
c