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-9.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-50-2_network-9.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 1952581
o 1952283
o 1952194
o 1951546
o 1951242
o 1951214
o 1951002
o 1950913
o 1950521
o 1950414
o 1949936
o 1949773
o 1949691
o 1949239
o 1949130
o 1948686
o 1948665
o 1948606
o 1948320
o 1948047
o 1948041
o 1947668
o 1947217
o 1947139
o 1946565
o 1946548
o 1946054
o 1946006
o 1945718
o 1945386
o 1944384
o 1943851
o 1943680
o 1943229
o 1942945
o 1942797
o 1942460
o 1942302
o 1941300
o 1940849
o 1940822
o 1940774
o 1940742
o 1940715
o 1940562
o 1940261
o 1939870
o 1939822
o 1939541
o 1939256
o 1938805
o 1938676
o 1938231
o 1937905
o 1937755
o 1937354
o 1937277
o 1937274
o 1937255
o 1937229
o 1937100
o 1936796
o 1936748
o 1936640
o 1936632
o 1936584
o 1936342
o 1936309
o 1936273
o 1935876
o 1935840
o 1935654
o 1935598
o 1935496
o 1935106
o 1934742
o 1934730
o 1934600
o 1934173
o 1933942
o 1933591
o 1933345
o 1933309
o 1932638
o 1932616
o 1932237
o 1932112
o 1932082
o 1931751
o 1931679
o 1931676
o 1931273
o 1931088
o 1930989
o 1930449
o 1929652
o 1929588
o 1929579
o 1929569
o 1929195
o 1929166
o 1929059
o 1928885
o 1928823
o 1928586
o 1928466
o 1928302
o 1928237
o 1927451
o 1927117
o 1926826
o 1926722
o 1926442
o 1926235
o 1925608
o 1925455
o 1925312
o 1925035
o 1924960
o 1924878
o 1924857
o 1924846
o 1924790
o 1924518
o 1924501
o 1924186
o 1923799
o 1923682
o 1923403
o 1923042
o 1922736
o 1922727
o 1922374
o 1922309
o 1922215
o 1921807
o 1921780
o 1921756
o 1921498
o 1921465
o 1921287
o 1920879
o 1920627
o 1920410
o 1920022
o 1919718
o 1919670
o 1919611
o 1919563
o 1919512
o 1919479
o 1919232
o 1919158
o 1919124
o 1919089
o 1919003
o 1918985
o 1918905
o 1918759
o 1918713
o 1918516
o 1918454
o 1918348
o 1918330
o 1918329
o 1918077
o 1918055
o 1918028
o 1917980
o 1917658
o 1917531
o 1917485
o 1917321
o 1917257
o 1917117
o 1917009
o 1916864
o 1916863
o 1916840
o 1916795
o 1916793
o 1916609
o 1916589
o 1916499
o 1916359
o 1916196
o 1916182
o 1916023
o 1915772
o 1915732
o 1915650
o 1915631
o 1915605
o 1915468
o 1915285
o 1915247
o 1915159
o 1914808
o 1914802
o 1914791
o 1914668
o 1914521
o 1914517
o 1914492
o 1914423
o 1914310
o 1914281
o 1914261
o 1914260
o 1914194
o 1914080
o 1913962
o 1913832
o 1913786
o 1913756
o 1913628
o 1913578
o 1913577
o 1913462
o 1913188
o 1913171
o 1913041
o 1913016
o 1913011
o 1912968
o 1912720
o 1912523
o 1912517
o 1912480
o 1912429
o 1912394
o 1912303
o 1912056
o 1911926
o 1911839
o 1911800
o 1911560
o 1911250
o 1911031
o 1910929
o 1910854
o 1910823
o 1910653
o 1910581
o 1910541
o 1910510
o 1910441
o 1910400
o 1910284
o 1910243
o 1909998
o 1909980
o 1909928
o 1909844
o 1909614
o 1909535
o 1909510
o 1909275
o 1909225
o 1908973
o 1908843
o 1908738
o 1908547
o 1908417
o 1908413
o 1908216
o 1907813
o 1907683
o 1907657
o 1907633
o 1907602
o 1907506
o 1907489
o 1907279
o 1907077
o 1906996
o 1906929
o 1906913
o 1906717
o 1906601
o 1906576
o 1906490
o 1906458
o 1906442
o 1906325
o 1906187
o 1906060
o 1905981
o 1905875
o 1905745
o 1905656
o 1905476
o 1905092
o 1905041
o 1904996
o 1904869
o 1904753
o 1904730
o 1904702
o 1904646
o 1904388
o 1904271
o 1904242
o 1904213
o 1904146
o 1904065
o 1903983
o 1903935
o 1903809
o 1903613
o 1903483
o 1903260
o 1903220
o 1903105
o 1902863
o 1902519
o 1902433
o 1902393
o 1902141
o 1902093
o 1901700
o 1901678
o 1901459
o 1901385
o 1901139
o 1901134
o 1900782
o 1900677
o 1900434
o 1900317
o 1900189
o 1899924
o 1899904
o 1899814
o 1899792
o 1899662
o 1899557
o 1899433
o 1899117
o 1899033
o 1898968
o 1898854
o 1898738
o 1898690
o 1898640
o 1898561
o 1898316
o 1898206
o 1898176
o 1898058
o 1897806
o 1897740
o 1897584
o 1897458
o 1897262
o 1897239
o 1897087
o 1897008
o 1896759
o 1896758
o 1896668
o 1896646
o 1896602
o 1896593
o 1896465
o 1896120
o 1896013
o 1895985
o 1895661
o 1895355
o 1895129
o 1895044
o 1895030
o 1894920
o 1894893
o 1894686
o 1894441
o 1894347
o 1894197
o 1894058
o 1894018
o 1894011
o 1893782
o 1893619
o 1893615
o 1893337
o 1893106
o 1893078
o 1892812
o 1892551
o 1892446
o 1892383
o 1892182
o 1892037
o 1891961
o 1891880
o 1891745
o 1891577
o 1891550
o 1891192
o 1890939
o 1890773
o 1890587
o 1890300
o 1890014
o 1889997
o 1889752
o 1889608
o 1889547
o 1889281
o 1889038
o 1888979
c core #1
c 
c 
c Core size: 4	Core Weight: 991	Total Weight: 991
c
c
c core #2
c 
c 
c Core size: 3	Core Weight: 792	Total Weight: 1783
c
c
c core #3
c 
c 
c Core size: 4	Core Weight: 1238	Total Weight: 3021
c
c
c core #4
c 
c 
c Core size: 5	Core Weight: 1540	Total Weight: 4561
c
c
c core #5
c 
c 
c Core size: 3	Core Weight: 293	Total Weight: 4854
c
c
c core #6
c 
c 
c Core size: 8	Core Weight: 478	Total Weight: 5332
c
c
c core #7
c 
c 
c Core size: 4	Core Weight: 1666	Total Weight: 6998
c
c
c core #8
c 
c 
c Core size: 12	Core Weight: 107	Total Weight: 7105
c
c
c core #9
c 
c 
c Core size: 4	Core Weight: 1779	Total Weight: 8884
c
c
c core #10
c 
c 
c Core size: 9	Core Weight: 352	Total Weight: 9236
c
c
c core #11
c 
c 
c Core size: 9	Core Weight: 427	Total Weight: 9663
c
c
c core #12
c 
c 
c Core size: 3	Core Weight: 1513	Total Weight: 11176
c
c
c core #13
c 
c 
c Core size: 9	Core Weight: 238	Total Weight: 11414
c
c
c core #14
c 
c 
c Core size: 17	Core Weight: 78	Total Weight: 11492
c
c
c core #15
c 
c 
c Core size: 14	Core Weight: 1302	Total Weight: 12794
c
c
c core #16
c 
c 
c Core size: 13	Core Weight: 56	Total Weight: 12850
c
c
c core #17
c 
c 
c Core size: 11	Core Weight: 674	Total Weight: 13524
c
c
c core #18
c 
c 
c Core size: 16	Core Weight: 451	Total Weight: 13975
c
c
c core #19
c 
c 
c Core size: 12	Core Weight: 781	Total Weight: 14756
c
c
c core #20
c 
c 
c Core size: 17	Core Weight: 439	Total Weight: 15195
c
c
c core #21
c 
c 
c Core size: 17	Core Weight: 209	Total Weight: 15404
c
c
c core #22
c 
c 
c Core size: 16	Core Weight: 259	Total Weight: 15663
c
c
c core #23
c 
c 
c Core size: 19	Core Weight: 66	Total Weight: 15729
c
c
c core #24
c 
c 
c Core size: 16	Core Weight: 1097	Total Weight: 16826
c
c
c core #25
c 
c 
c Core size: 16	Core Weight: 246	Total Weight: 17072
c
c
c core #26
c 
c 
c Core size: 16	Core Weight: 15	Total Weight: 17087
c
c
c core #27
c 
c 
c Core size: 21	Core Weight: 30	Total Weight: 17117
c
c
c core #28
c 
c 
c Core size: 20	Core Weight: 50	Total Weight: 17167
c
c
c core #29
c 
c 
c Core size: 17	Core Weight: 92	Total Weight: 17259
c
c
c core #30
c 
c 
c Core size: 14	Core Weight: 129	Total Weight: 17388
c
c
c core #31
c 
c 
c Core size: 11	Core Weight: 129	Total Weight: 17517
c
c
c core #32
c 
c 
c Core size: 17	Core Weight: 181	Total Weight: 17698
c
c
c core #33
c 
c 
c Core size: 14	Core Weight: 75	Total Weight: 17773
c
c
c core #34
c 
c 
c Core size: 12	Core Weight: 373	Total Weight: 18146
c
c
c core #35
c 
c 
c Core size: 24	Core Weight: 32	Total Weight: 18178
c
c
c core #36
c 
c 
c Core size: 24	Core Weight: 31	Total Weight: 18209
c
c
c core #37
c 
c 
c Core size: 22	Core Weight: 33	Total Weight: 18242
c
c
c core #38
c 
c 
c Core size: 22	Core Weight: 404	Total Weight: 18646
c
c
c core #39
c 
c 
c Core size: 11	Core Weight: 1024	Total Weight: 19670
c
c
c core #40
c 
c 
c Core size: 19	Core Weight: 173	Total Weight: 19843
c
c
c core #41
c 
c 
c Core size: 23	Core Weight: 121	Total Weight: 19964
c
c
c core #42
c 
c 
c Core size: 25	Core Weight: 151	Total Weight: 20115
c
c
c core #43
c 
c 
c Core size: 17	Core Weight: 227	Total Weight: 20342
c
c
c core #44
c 
c 
c Core size: 26	Core Weight: 3	Total Weight: 20345
c
c
c core #45
c 
c 
c Core size: 20	Core Weight: 30	Total Weight: 20375
c
c
c core #46
c 
c 
c Core size: 14	Core Weight: 83	Total Weight: 20458
c
c
c core #47
c 
c 
c Core size: 14	Core Weight: 239	Total Weight: 20697
c
c
c core #48
c 
c 
c Core size: 32	Core Weight: 56	Total Weight: 20753
c
c
c core #49
c 
c 
c Core size: 31	Core Weight: 115	Total Weight: 20868
c
c
c core #50
c 
c 
c Core size: 35	Core Weight: 66	Total Weight: 20934
c
c
c core #51
c 
c 
c Core size: 42	Core Weight: 25	Total Weight: 20959
c
c
c core #52
c 
c 
c Core size: 42	Core Weight: 7	Total Weight: 20966
c
c
c core #53
c 
c 
c Core size: 17	Core Weight: 526	Total Weight: 21492
c
c
c core #54
c 
c 
c Core size: 32	Core Weight: 78	Total Weight: 21570
c
c
c core #55
c 
c 
c Core size: 49	Core Weight: 30	Total Weight: 21600
c
c
c core #56
c 
c 
c Core size: 27	Core Weight: 227	Total Weight: 21827
c
c
c core #57
c 
c 
c Core size: 32	Core Weight: 101	Total Weight: 21928
c
c
c core #58
c 
c 
c Core size: 36	Core Weight: 55	Total Weight: 21983
c
c
c core #59
c 
c 
c Core size: 11	Core Weight: 1137	Total Weight: 23120
c
c
c core #60
c 
c 
c Core size: 34	Core Weight: 100	Total Weight: 23220
c
c
c core #61
c 
c 
c Core size: 30	Core Weight: 127	Total Weight: 23347
c
c
c core #62
c 
c 
c Core size: 41	Core Weight: 30	Total Weight: 23377
c
c
c core #63
c 
c 
c Core size: 34	Core Weight: 47	Total Weight: 23424
c
c
c core #64
c 
c 
c Core size: 13	Core Weight: 421	Total Weight: 23845
c
c
c core #65
c 
c 
c Core size: 41	Core Weight: 3	Total Weight: 23848
c
c
c core #66
c 
c 
c Core size: 38	Core Weight: 50	Total Weight: 23898
c
c
c core #67
c 
c 
c Core size: 44	Core Weight: 67	Total Weight: 23965
c
c
c core #68
c 
c 
c Core size: 45	Core Weight: 140	Total Weight: 24105
c
c
c core #69
c 
c 
c Core size: 46	Core Weight: 28	Total Weight: 24133
c
c
c core #70
c 
c 
c Core size: 32	Core Weight: 11	Total Weight: 24144
c
c
c core #71
c 
c 
c Core size: 23	Core Weight: 43	Total Weight: 24187
c
c
c core #72
c 
c 
c Core size: 22	Core Weight: 489	Total Weight: 24676
c
c
c core #73
c 
c 
c Core size: 26	Core Weight: 199	Total Weight: 24875
c
c
c core #74
c 
c 
c Core size: 23	Core Weight: 72	Total Weight: 24947
c
c
c core #75
c 
c 
c Core size: 25	Core Weight: 186	Total Weight: 25133
c
c
c core #76
c 
c 
c Core size: 50	Core Weight: 24	Total Weight: 25157
c
c
c core #77
c 
c 
c Core size: 26	Core Weight: 115	Total Weight: 25272
c
c
c core #78
c 
c 
c Core size: 47	Core Weight: 1	Total Weight: 25273
c
c
c core #79
c 
c 
c Core size: 26	Core Weight: 134	Total Weight: 25407
c
c
c core #80
c 
c 
c Core size: 36	Core Weight: 69	Total Weight: 25476
c
c
c core #81
c 
c 
c Core size: 17	Core Weight: 245	Total Weight: 25721
c
c
c core #82
c 
c 
c Core size: 34	Core Weight: 13	Total Weight: 25734
c
c
c core #83
c 
c 
c Core size: 72	Core Weight: 8	Total Weight: 25742
c
c
c core #84
c 
c 
c Core size: 50	Core Weight: 21	Total Weight: 25763
c
c
c core #85
c 
c 
c Core size: 29	Core Weight: 170	Total Weight: 25933
c
c
c core #86
c 
c 
c Core size: 17	Core Weight: 49	Total Weight: 25982
c
c
c core #87
c 
c 
c Core size: 27	Core Weight: 8	Total Weight: 25990
c
c
c core #88
c 
c 
c Core size: 66	Core Weight: 19	Total Weight: 26009
c
c
c core #89
c 
c 
c Core size: 48	Core Weight: 2	Total Weight: 26011
c
c
c core #90
c 
c 
c Core size: 32	Core Weight: 528	Total Weight: 26539
c
c
c core #91
c 
c 
c Core size: 25	Core Weight: 203	Total Weight: 26742
c
c
c core #92
c 
c 
c Core size: 32	Core Weight: 169	Total Weight: 26911
c
c
c core #93
c 
c 
c Core size: 34	Core Weight: 75	Total Weight: 26986
c
c
c core #94
c 
c 
c Core size: 27	Core Weight: 2	Total Weight: 26988
c
c
c core #95
c 
c 
c Core size: 29	Core Weight: 47	Total Weight: 27035
c
c
c core #96
c 
c 
c Core size: 44	Core Weight: 3	Total Weight: 27038
c
c
c core #97
c 
c 
c Core size: 39	Core Weight: 22	Total Weight: 27060
c
c
c core #98
c 
c 
c Core size: 25	Core Weight: 71	Total Weight: 27131
c
c
c core #99
c 
c 
c Core size: 24	Core Weight: 37	Total Weight: 27168
c
c
c core #100
c 
c 
c Core size: 42	Core Weight: 139	Total Weight: 27307
c
c
c core #101
c 
c 
c Core size: 64	Core Weight: 11	Total Weight: 27318
c
c
c core #102
c 
c 
c Core size: 37	Core Weight: 19	Total Weight: 27337
c
c
c core #103
c 
c 
c Core size: 49	Core Weight: 5	Total Weight: 27342
c
c
c core #104
c 
c 
c Core size: 36	Core Weight: 53	Total Weight: 27395
c
c
c core #105
c 
c 
c Core size: 44	Core Weight: 85	Total Weight: 27480
c
c
c core #106
c 
c 
c Core size: 52	Core Weight: 18	Total Weight: 27498
c
c
c core #107
c 
c 
c Core size: 61	Core Weight: 13	Total Weight: 27511
c
c
c core #108
c 
c 
c Core size: 32	Core Weight: 45	Total Weight: 27556
c
c
c core #109
c 
c 
c Core size: 48	Core Weight: 18	Total Weight: 27574
c
c
c core #110
c 
c 
c Core size: 34	Core Weight: 33	Total Weight: 27607
c
c
c core #111
c 
c 
c Core size: 23	Core Weight: 65	Total Weight: 27672
c
c
c core #112
c 
c 
c Core size: 38	Core Weight: 282	Total Weight: 27954
c
c
c core #113
c 
c 
c Core size: 16	Core Weight: 476	Total Weight: 28430
c
c
c core #114
c 
c 
c Core size: 20	Core Weight: 132	Total Weight: 28562
c
c
c core #115
c 
c 
c Core size: 60	Core Weight: 3	Total Weight: 28565
c
c
c core #116
c 
c 
c Core size: 50	Core Weight: 2	Total Weight: 28567
c
c
c core #117
c 
c 
c Core size: 67	Core Weight: 8	Total Weight: 28575
c
c
c core #118
c 
c 
c Core size: 28	Core Weight: 135	Total Weight: 28710
c
c
c core #119
c 
c 
c Core size: 40	Core Weight: 134	Total Weight: 28844
c
c
c core #120
c 
c 
c Core size: 94	Core Weight: 11	Total Weight: 28855
c
c
c core #121
c 
c 
c Core size: 16	Core Weight: 938	Total Weight: 29793
c
c
c core #122
c 
c 
c Core size: 55	Core Weight: 22	Total Weight: 29815
c
c
c core #123
c 
c 
c Core size: 35	Core Weight: 45	Total Weight: 29860
c
c
c core #124
c 
c 
c Core size: 69	Core Weight: 17	Total Weight: 29877
c
c
c core #125
c 
c 
c Core size: 25	Core Weight: 210	Total Weight: 30087
c
c
c core #126
c 
c 
c Core size: 46	Core Weight: 3	Total Weight: 30090
c
c
c core #127
c 
c 
c Core size: 53	Core Weight: 303	Total Weight: 30393
c
c
c core #128
c 
c 
c Core size: 57	Core Weight: 110	Total Weight: 30503
c
c
c core #129
c 
c 
c Core size: 52	Core Weight: 252	Total Weight: 30755
c
c
c core #130
c 
c 
c Core size: 45	Core Weight: 78	Total Weight: 30833
c
c
c core #131
c 
c 
c Core size: 37	Core Weight: 31	Total Weight: 30864
c
c
c core #132
c 
c 
c Core size: 13	Core Weight: 871	Total Weight: 31735
c
c
c core #133
c 
c 
c Core size: 17	Core Weight: 391	Total Weight: 32126
c
c
c core #134
c 
c 
c Core size: 22	Core Weight: 183	Total Weight: 32309
c
c
c core #135
c 
c 
c Core size: 41	Core Weight: 97	Total Weight: 32406
c
c
c core #136
c 
c 
c Core size: 45	Core Weight: 35	Total Weight: 32441
c
c
c core #137
c 
c 
c Core size: 40	Core Weight: 86	Total Weight: 32527
c
c
c core #138
c 
c 
c Core size: 71	Core Weight: 2	Total Weight: 32529
c
c
c core #139
c 
c 
c Core size: 24	Core Weight: 266	Total Weight: 32795
c
c
c core #140
c 
c 
c Core size: 20	Core Weight: 531	Total Weight: 33326
c
c
c core #141
c 
c 
c Core size: 19	Core Weight: 297	Total Weight: 33623
c
c
c core #142
c 
c 
c Core size: 90	Core Weight: 5	Total Weight: 33628
c
c
c core #143
c 
c 
c Core size: 22	Core Weight: 1291	Total Weight: 34919
c
c
c core #144
c 
c 
c Core size: 38	Core Weight: 133	Total Weight: 35052
c
c
c core #145
c 
c 
c Core size: 17	Core Weight: 316	Total Weight: 35368
c
c
c core #146
c 
c 
c Core size: 23	Core Weight: 276	Total Weight: 35644
c
c
c core #147
c 
c 
c Core size: 42	Core Weight: 8	Total Weight: 35652
c
c
c core #148
c 
c 
c Core size: 62	Core Weight: 33	Total Weight: 35685
c
c
c core #149
c 
c 
c Core size: 24	Core Weight: 54	Total Weight: 35739
c
c
c core #150
c 
c 
c Core size: 32	Core Weight: 140	Total Weight: 35879
c
c
c core #151
c 
c 
c Core size: 42	Core Weight: 129	Total Weight: 36008
c
c
c core #152
c 
c 
c Core size: 62	Core Weight: 3	Total Weight: 36011
c
c
c core #153
c 
c 
c Core size: 39	Core Weight: 20	Total Weight: 36031
c
c
c core #154
c 
c 
c Core size: 54	Core Weight: 191	Total Weight: 36222
c
c
c core #155
c 
c 
c Core size: 19	Core Weight: 142	Total Weight: 36364
c
c
c core #156
c 
c 
c Core size: 60	Core Weight: 66	Total Weight: 36430
c
c
c core #157
c 
c 
c Core size: 47	Core Weight: 95	Total Weight: 36525
c
c