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-60-2_network-4.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-4.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 1842946
o 1842492
o 1840361
o 1840219
o 1839408
o 1839160
o 1839098
o 1838192
o 1838119
o 1838069
o 1837302
o 1837039
o 1836783
o 1836634
o 1836561
o 1836371
o 1836119
o 1835000
o 1834853
o 1834721
o 1834720
o 1834343
o 1834251
o 1834158
o 1834018
o 1833968
o 1833524
o 1833436
o 1833154
o 1833097
o 1833068
o 1833013
o 1832764
o 1832503
o 1832496
o 1832393
o 1832269
o 1832097
o 1832081
o 1831754
o 1831216
o 1830952
o 1830937
o 1830909
o 1830887
o 1830704
o 1830694
o 1830398
o 1830390
o 1830323
o 1830108
o 1830028
o 1829988
o 1829899
o 1829895
o 1829842
o 1829784
o 1829664
o 1829656
o 1829395
o 1829242
o 1828481
o 1828391
o 1828267
o 1828260
o 1828120
o 1826678
o 1826614
o 1826604
o 1826589
o 1826524
o 1826474
o 1826225
o 1826210
o 1826208
o 1826200
o 1826122
o 1825797
o 1825766
o 1825508
o 1825475
o 1825387
o 1825385
o 1825266
o 1825230
o 1825117
o 1825040
o 1824530
o 1824386
o 1824262
o 1823554
o 1823546
o 1823427
o 1822812
o 1822694
o 1822673
o 1822338
o 1822004
o 1821974
o 1821967
o 1821880
o 1821776
o 1821747
o 1821702
o 1821693
o 1821655
o 1821614
o 1821590
o 1821322
o 1821295
o 1821257
o 1821197
o 1821130
o 1820288
o 1819499
o 1819359
o 1819318
o 1818949
o 1818928
o 1818866
o 1818155
o 1818098
o 1818058
o 1817908
o 1817901
o 1817893
o 1817843
o 1817735
o 1817466
o 1817416
o 1817341
o 1816964
o 1816898
o 1816894
o 1816890
o 1816841
o 1816588
o 1816553
o 1816311
o 1816290
o 1816261
o 1816240
o 1815743
o 1815553
o 1815372
o 1814862
o 1814821
o 1814716
o 1814680
o 1814635
o 1814622
o 1814482
o 1814442
o 1813981
o 1813617
o 1813416
o 1812526
o 1812191
o 1811938
o 1811690
o 1811615
o 1811583
o 1811163
o 1810838
o 1810723
o 1810049
o 1809946
o 1809880
o 1809687
o 1809295
o 1809264
o 1808841
o 1808694
o 1808646
o 1808575
o 1808460
o 1808395
o 1808310
o 1807989
o 1807849
o 1807747
o 1807691
o 1807470
o 1807124
o 1807084
o 1806780
o 1806659
o 1806448
o 1806321
o 1806197
o 1806027
o 1805975
o 1805797
o 1805745
o 1805732
o 1805682
o 1805543
o 1805438
o 1805356
o 1805330
o 1805327
o 1805122
o 1804916
o 1804816
o 1804754
o 1804537
o 1804528
o 1804479
o 1804335
o 1804139
o 1804005
o 1803912
o 1803780
o 1803737
o 1803622
o 1803454
o 1803450
o 1803125
o 1803075
o 1802985
o 1802979
o 1802943
o 1802916
o 1802824
o 1802801
o 1802778
o 1802622
o 1802364
o 1802290
o 1802054
o 1801965
o 1801647
o 1801360
o 1801155
o 1801115
o 1800945
o 1800887
o 1800661
o 1800627
o 1800524
o 1800507
o 1800472
o 1800382
o 1800119
o 1799718
o 1799397
o 1799166
o 1799076
o 1799002
o 1798957
o 1798943
o 1798893
o 1798824
o 1798805
o 1798772
o 1798713
o 1798558
o 1798401
o 1798264
o 1798251
o 1798137
o 1798092
o 1797966
o 1797883
o 1797801
o 1797639
o 1797562
o 1797513
o 1797339
o 1797332
o 1797241
o 1797101
o 1797021
o 1796989
o 1796918
o 1796844
o 1796807
o 1796702
o 1796699
o 1796695
o 1796628
o 1796602
o 1796574
o 1796547
o 1796479
o 1796411
o 1796222
o 1796217
o 1796207
o 1796142
o 1796135
o 1796012
o 1796000
o 1795945
o 1795894
o 1795892
o 1795884
o 1795827
o 1795752
o 1795679
o 1795629
o 1795579
o 1795540
o 1795493
o 1795395
o 1795352
o 1795211
o 1795194
o 1795103
o 1794966
o 1794880
o 1794794
o 1794630
o 1794507
o 1794456
o 1794330
o 1794232
o 1794109
o 1794046
o 1793873
o 1793823
o 1793613
o 1793594
c core #1
c 
c 
c Core size: 3	Core Weight: 968	Total Weight: 968
c
c
c core #2
c 
c 
c Core size: 5	Core Weight: 1402	Total Weight: 2370
c
c
c core #3
c 
c 
c Core size: 3	Core Weight: 932	Total Weight: 3302
c
c
c core #4
c 
c 
c Core size: 4	Core Weight: 1549	Total Weight: 4851
c
c
c core #5
c 
c 
c Core size: 3	Core Weight: 652	Total Weight: 5503
c
c
c core #6
c 
c 
c Core size: 5	Core Weight: 882	Total Weight: 6385
c
c
c core #7
c 
c 
c Core size: 4	Core Weight: 819	Total Weight: 7204
c
c
c core #8
c 
c 
c Core size: 5	Core Weight: 1606	Total Weight: 8810
c
c
c core #9
c 
c 
c Core size: 13	Core Weight: 454	Total Weight: 9264
c
c
c core #10
c 
c 
c Core size: 8	Core Weight: 50	Total Weight: 9314
c
c
c core #11
c 
c 
c Core size: 11	Core Weight: 140	Total Weight: 9454
c
c
c core #12
c 
c 
c Core size: 11	Core Weight: 687	Total Weight: 10141
c
c
c core #13
c 
c 
c Core size: 12	Core Weight: 14	Total Weight: 10155
c
c
c core #14
c 
c 
c Core size: 15	Core Weight: 109	Total Weight: 10264
c
c
c core #15
c 
c 
c Core size: 16	Core Weight: 253	Total Weight: 10517
c
c
c core #16
c 
c 
c Core size: 15	Core Weight: 586	Total Weight: 11103
c
c
c core #17
c 
c 
c Core size: 8	Core Weight: 464	Total Weight: 11567
c
c
c core #18
c 
c 
c Core size: 15	Core Weight: 11	Total Weight: 11578
c
c
c core #19
c 
c 
c Core size: 16	Core Weight: 459	Total Weight: 12037
c
c
c core #20
c 
c 
c Core size: 13	Core Weight: 8	Total Weight: 12045
c
c
c core #21
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 12046
c
c
c core #22
c 
c 
c Core size: 11	Core Weight: 1206	Total Weight: 13252
c
c
c core #23
c 
c 
c Core size: 14	Core Weight: 245	Total Weight: 13497
c
c
c core #24
c 
c 
c Core size: 10	Core Weight: 622	Total Weight: 14119
c
c
c core #25
c 
c 
c Core size: 11	Core Weight: 63	Total Weight: 14182
c
c
c core #26
c 
c 
c Core size: 14	Core Weight: 40	Total Weight: 14222
c
c
c core #27
c 
c 
c Core size: 18	Core Weight: 323	Total Weight: 14545
c
c
c core #28
c 
c 
c Core size: 11	Core Weight: 672	Total Weight: 15217
c
c
c core #29
c 
c 
c Core size: 9	Core Weight: 584	Total Weight: 15801
c
c
c core #30
c 
c 
c Core size: 8	Core Weight: 396	Total Weight: 16197
c
c
c core #31
c 
c 
c Core size: 13	Core Weight: 427	Total Weight: 16624
c
c
c core #32
c 
c 
c Core size: 10	Core Weight: 247	Total Weight: 16871
c
c
c core #33
c 
c 
c Core size: 9	Core Weight: 40	Total Weight: 16911
c
c
c core #34
c 
c 
c Core size: 11	Core Weight: 865	Total Weight: 17776
c
c
c core #35
c 
c 
c Core size: 14	Core Weight: 501	Total Weight: 18277
c
c
c core #36
c 
c 
c Core size: 15	Core Weight: 105	Total Weight: 18382
c
c
c core #37
c 
c 
c Core size: 15	Core Weight: 82	Total Weight: 18464
c
c
c core #38
c 
c 
c Core size: 19	Core Weight: 114	Total Weight: 18578
c
c
c core #39
c 
c 
c Core size: 8	Core Weight: 278	Total Weight: 18856
c
c
c core #40
c 
c 
c Core size: 15	Core Weight: 678	Total Weight: 19534
c
c
c core #41
c 
c 
c Core size: 18	Core Weight: 89	Total Weight: 19623
c
c
c core #42
c 
c 
c Core size: 23	Core Weight: 223	Total Weight: 19846
c
c
c core #43
c 
c 
c Core size: 21	Core Weight: 690	Total Weight: 20536
c
c
c core #44
c 
c 
c Core size: 23	Core Weight: 199	Total Weight: 20735
c
c
c core #45
c 
c 
c Core size: 23	Core Weight: 65	Total Weight: 20800
c
c
c core #46
c 
c 
c Core size: 24	Core Weight: 258	Total Weight: 21058
c
c
c core #47
c 
c 
c Core size: 29	Core Weight: 19	Total Weight: 21077
c
c
c core #48
c 
c 
c Core size: 35	Core Weight: 21	Total Weight: 21098
c
c
c core #49
c 
c 
c Core size: 22	Core Weight: 44	Total Weight: 21142
c
c
c core #50
c 
c 
c Core size: 43	Core Weight: 58	Total Weight: 21200
c
c
c core #51
c 
c 
c Core size: 29	Core Weight: 57	Total Weight: 21257
c
c
c core #52
c 
c 
c Core size: 32	Core Weight: 223	Total Weight: 21480
c
c
c core #53
c 
c 
c Core size: 18	Core Weight: 895	Total Weight: 22375
c
c
c core #54
c 
c 
c Core size: 32	Core Weight: 24	Total Weight: 22399
c
c
c core #55
c 
c 
c Core size: 33	Core Weight: 152	Total Weight: 22551
c
c
c core #56
c 
c 
c Core size: 28	Core Weight: 1	Total Weight: 22552
c
c
c core #57
c 
c 
c Core size: 19	Core Weight: 452	Total Weight: 23004
c
c
c core #58
c 
c 
c Core size: 31	Core Weight: 62	Total Weight: 23066
c
c
c core #59
c 
c 
c Core size: 29	Core Weight: 238	Total Weight: 23304
c
c
c core #60
c 
c 
c Core size: 21	Core Weight: 144	Total Weight: 23448
c
c
c core #61
c 
c 
c Core size: 31	Core Weight: 84	Total Weight: 23532
c
c
c core #62
c 
c 
c Core size: 30	Core Weight: 189	Total Weight: 23721
c
c
c core #63
c 
c 
c Core size: 34	Core Weight: 10	Total Weight: 23731
c
c
c core #64
c 
c 
c Core size: 33	Core Weight: 75	Total Weight: 23806
c
c
c core #65
c 
c 
c Core size: 34	Core Weight: 15	Total Weight: 23821
c
c
c core #66
c 
c 
c Core size: 13	Core Weight: 668	Total Weight: 24489
c
c
c core #67
c 
c 
c Core size: 13	Core Weight: 595	Total Weight: 25084
c
c
c core #68
c 
c 
c Core size: 39	Core Weight: 21	Total Weight: 25105
c
c
c core #69
c 
c 
c Core size: 24	Core Weight: 91	Total Weight: 25196
c
c
c core #70
c 
c 
c Core size: 26	Core Weight: 263	Total Weight: 25459
c
c
c core #71
c 
c 
c Core size: 50	Core Weight: 36	Total Weight: 25495
c
c
c core #72
c 
c 
c Core size: 43	Core Weight: 61	Total Weight: 25556
c
c
c core #73
c 
c 
c Core size: 61	Core Weight: 22	Total Weight: 25578
c
c
c core #74
c 
c 
c Core size: 41	Core Weight: 44	Total Weight: 25622
c
c
c core #75
c 
c 
c Core size: 34	Core Weight: 45	Total Weight: 25667
c
c
c core #76
c 
c 
c Core size: 39	Core Weight: 15	Total Weight: 25682
c
c
c core #77
c 
c 
c Core size: 15	Core Weight: 293	Total Weight: 25975
c
c
c core #78
c 
c 
c Core size: 30	Core Weight: 90	Total Weight: 26065
c
c
c core #79
c 
c 
c Core size: 11	Core Weight: 36	Total Weight: 26101
c
c
c core #80
c 
c 
c Core size: 18	Core Weight: 7	Total Weight: 26108
c
c
c core #81
c 
c 
c Core size: 15	Core Weight: 65	Total Weight: 26173
c
c
c core #82
c 
c 
c Core size: 34	Core Weight: 136	Total Weight: 26309
c
c
c core #83
c 
c 
c Core size: 13	Core Weight: 277	Total Weight: 26586
c
c
c core #84
c 
c 
c Core size: 14	Core Weight: 304	Total Weight: 26890
c
c
c core #85
c 
c 
c Core size: 15	Core Weight: 140	Total Weight: 27030
c
c
c core #86
c 
c 
c Core size: 38	Core Weight: 81	Total Weight: 27111
c
c
c core #87
c 
c 
c Core size: 14	Core Weight: 1139	Total Weight: 28250
c
c
c core #88
c 
c 
c Core size: 21	Core Weight: 7	Total Weight: 28257
c
c
c core #89
c 
c 
c Core size: 17	Core Weight: 568	Total Weight: 28825
c
c
c core #90
c 
c 
c Core size: 17	Core Weight: 647	Total Weight: 29472
c
c
c core #91
c 
c 
c Core size: 14	Core Weight: 227	Total Weight: 29699
c
c
c core #92
c 
c 
c Core size: 17	Core Weight: 206	Total Weight: 29905
c
c
c core #93
c 
c 
c Core size: 18	Core Weight: 43	Total Weight: 29948
c
c
c core #94
c 
c 
c Core size: 21	Core Weight: 313	Total Weight: 30261
c
c
c core #95
c 
c 
c Core size: 21	Core Weight: 129	Total Weight: 30390
c
c
c core #96
c 
c 
c Core size: 19	Core Weight: 127	Total Weight: 30517
c
c
c core #97
c 
c 
c Core size: 16	Core Weight: 309	Total Weight: 30826
c
c
c core #98
c 
c 
c Core size: 17	Core Weight: 410	Total Weight: 31236
c
c
c core #99
c 
c 
c Core size: 25	Core Weight: 149	Total Weight: 31385
c
c
c core #100
c 
c 
c Core size: 21	Core Weight: 445	Total Weight: 31830
c
c
c core #101
c 
c 
c Core size: 33	Core Weight: 75	Total Weight: 31905
c
c
c core #102
c 
c 
c Core size: 30	Core Weight: 4	Total Weight: 31909
c
c
c core #103
c 
c 
c Core size: 36	Core Weight: 146	Total Weight: 32055
c
c
c core #104
c 
c 
c Core size: 34	Core Weight: 52	Total Weight: 32107
c
c
c core #105
c 
c 
c Core size: 25	Core Weight: 6	Total Weight: 32113
c
c
c core #106
c 
c 
c Core size: 38	Core Weight: 11	Total Weight: 32124
c
c
c core #107
c 
c 
c Core size: 38	Core Weight: 123	Total Weight: 32247
c
c
c core #108
c 
c 
c Core size: 32	Core Weight: 6	Total Weight: 32253
c
c
c core #109
c 
c 
c Core size: 29	Core Weight: 59	Total Weight: 32312
c
c
c core #110
c 
c 
c Core size: 39	Core Weight: 5	Total Weight: 32317
c
c
c core #111
c 
c 
c Core size: 31	Core Weight: 110	Total Weight: 32427
c
c
c core #112
c 
c 
c Core size: 36	Core Weight: 56	Total Weight: 32483
c
c
c core #113
c 
c 
c Core size: 27	Core Weight: 44	Total Weight: 32527
c
c
c core #114
c 
c 
c Core size: 29	Core Weight: 200	Total Weight: 32727
c
c
c core #115
c 
c 
c Core size: 40	Core Weight: 24	Total Weight: 32751
c
c
c core #116
c 
c 
c Core size: 32	Core Weight: 138	Total Weight: 32889
c
c
c core #117
c 
c 
c Core size: 57	Core Weight: 34	Total Weight: 32923
c
c
c core #118
c 
c 
c Core size: 27	Core Weight: 11	Total Weight: 32934
c
c
c core #119
c 
c 
c Core size: 53	Core Weight: 41	Total Weight: 32975
c
c
c core #120
c 
c 
c Core size: 83	Core Weight: 4	Total Weight: 32979
c
c
c core #121
c 
c 
c Core size: 76	Core Weight: 7	Total Weight: 32986
c
c
c core #122
c 
c 
c Core size: 59	Core Weight: 39	Total Weight: 33025
c
c
c core #123
c 
c 
c Core size: 45	Core Weight: 80	Total Weight: 33105
c
c
c core #124
c 
c 
c Core size: 38	Core Weight: 2	Total Weight: 33107
c
c
c core #125
c 
c 
c Core size: 35	Core Weight: 9	Total Weight: 33116
c
c
c core #126
c 
c 
c Core size: 88	Core Weight: 2	Total Weight: 33118
c
c
c core #127
c 
c 
c Core size: 47	Core Weight: 2	Total Weight: 33120
c
c
c core #128
c 
c 
c Core size: 35	Core Weight: 93	Total Weight: 33213
c
c
c core #129
c 
c 
c Core size: 48	Core Weight: 4	Total Weight: 33217
c
c
c core #130
c 
c 
c Core size: 23	Core Weight: 64	Total Weight: 33281
c
c
c core #131
c 
c 
c Core size: 26	Core Weight: 228	Total Weight: 33509
c
c
c core #132
c 
c 
c Core size: 86	Core Weight: 4	Total Weight: 33513
c
c
c core #133
c 
c 
c Core size: 27	Core Weight: 923	Total Weight: 34436
c
c
c core #134
c 
c 
c Core size: 45	Core Weight: 1	Total Weight: 34437
c
c
c core #135
c 
c 
c Core size: 38	Core Weight: 590	Total Weight: 35027
c
c
c core #136
c 
c 
c Core size: 50	Core Weight: 41	Total Weight: 35068
c
c
c core #137
c 
c 
c Core size: 37	Core Weight: 47	Total Weight: 35115
c
c
c core #138
c 
c 
c Core size: 35	Core Weight: 321	Total Weight: 35436
c
c
c core #139
c 
c 
c Core size: 44	Core Weight: 297	Total Weight: 35733
c
c
c core #140
c 
c 
c Core size: 35	Core Weight: 97	Total Weight: 35830
c
c
c core #141
c 
c 
c Core size: 39	Core Weight: 50	Total Weight: 35880
c
c
c core #142
c 
c 
c Core size: 41	Core Weight: 116	Total Weight: 35996
c
c
c core #143
c 
c 
c Core size: 39	Core Weight: 85	Total Weight: 36081
c
c
c core #144
c 
c 
c Core size: 35	Core Weight: 100	Total Weight: 36181
c
c
c core #145
c 
c 
c Core size: 29	Core Weight: 182	Total Weight: 36363
c
c