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-5.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-50-2_network-5.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 2153520
o 2151263
o 2150763
o 2150642
o 2149998
o 2149758
o 2149562
o 2148829
o 2148815
o 2148372
o 2148272
o 2148271
o 2148102
o 2147883
o 2147841
o 2147781
o 2147707
o 2147348
o 2147301
o 2147115
o 2146278
o 2145944
o 2145842
o 2145795
o 2145741
o 2145740
o 2145714
o 2145359
o 2145101
o 2145057
o 2144976
o 2144699
o 2144547
o 2144518
o 2144445
o 2144218
o 2144168
o 2143641
o 2143630
o 2143523
o 2143452
o 2143367
o 2143364
o 2142992
o 2142988
o 2142974
o 2142720
o 2142568
o 2142381
o 2141993
o 2141600
o 2141550
o 2141090
o 2140914
o 2140517
o 2140322
o 2139785
o 2139683
o 2139633
o 2139409
o 2139138
o 2138968
o 2138319
o 2138053
o 2137961
o 2137883
o 2137826
o 2137820
o 2137600
o 2137595
o 2137214
o 2137207
o 2137055
o 2137024
o 2136926
o 2136906
o 2136903
o 2136659
o 2136277
o 2135920
o 2135635
o 2135179
o 2135098
o 2134927
o 2134817
o 2134440
o 2134130
o 2134114
o 2133576
o 2133349
o 2133055
o 2132235
o 2132181
o 2132111
o 2131909
o 2131838
o 2131479
o 2131381
o 2130777
o 2130003
o 2129623
o 2129561
o 2129512
o 2128864
o 2128509
o 2128290
o 2128248
o 2128043
o 2127865
o 2127861
o 2127461
o 2127455
o 2127433
o 2127413
o 2127363
o 2127324
o 2127289
o 2127023
o 2126143
o 2126050
o 2125962
o 2125239
o 2125215
o 2124826
o 2124672
o 2124652
o 2124557
o 2124435
o 2124249
o 2124085
o 2123995
o 2123893
o 2123839
o 2123802
o 2123726
o 2123700
o 2123698
o 2123532
o 2123496
o 2123492
o 2123125
o 2123077
o 2122950
o 2122848
o 2122663
o 2122587
o 2122298
o 2122134
o 2121978
o 2121742
o 2121342
o 2121279
o 2121066
o 2121032
o 2120640
o 2120571
o 2120210
o 2119904
o 2119742
o 2119515
o 2119221
o 2119199
o 2118906
o 2118804
o 2118764
o 2118710
o 2118612
o 2118608
o 2118546
o 2118385
o 2118247
o 2118113
o 2117844
o 2117672
o 2117348
o 2117021
o 2116953
o 2116854
o 2116330
o 2116057
o 2115904
o 2115845
o 2115748
o 2115597
o 2115579
o 2115567
o 2115228
o 2115095
o 2114870
o 2114320
o 2113515
o 2113025
o 2112402
o 2112020
o 2111794
o 2111767
o 2111740
o 2111708
o 2111671
o 2111549
o 2111522
o 2111272
o 2111189
o 2111165
o 2111123
o 2111040
o 2110920
o 2110903
o 2110724
o 2110558
o 2110349
o 2110330
o 2110107
o 2109955
o 2109945
o 2109918
o 2109878
o 2109618
o 2109577
o 2109573
o 2109505
o 2109485
o 2109217
o 2109111
o 2108923
o 2108918
o 2108847
o 2108733
o 2108556
o 2108310
o 2107496
o 2107386
o 2107323
o 2107285
o 2106979
o 2106910
o 2106906
o 2106679
o 2106645
o 2106543
o 2106380
o 2106172
o 2106144
o 2105891
o 2105697
o 2105689
o 2105626
o 2105317
o 2105262
o 2105129
o 2104999
o 2104946
o 2104851
o 2104752
o 2104730
o 2104578
o 2104526
o 2104506
o 2104221
o 2104202
o 2104130
o 2104087
o 2104020
o 2103984
o 2103974
o 2103733
o 2103534
o 2103476
o 2103365
o 2103310
o 2103172
o 2103118
o 2102953
o 2102859
o 2102816
o 2102798
o 2102589
o 2102515
o 2102251
o 2101941
o 2101513
o 2101390
o 2100867
o 2100795
o 2100491
o 2100445
o 2100252
o 2100231
o 2100220
o 2100120
o 2100075
o 2100043
o 2099974
o 2099954
o 2099896
o 2099818
o 2099801
o 2099707
o 2099467
o 2099369
o 2099319
o 2099290
o 2099253
o 2099131
o 2099095
o 2099037
o 2098970
o 2098910
o 2098894
o 2098812
o 2098808
o 2098773
o 2098704
o 2098299
o 2098276
o 2098215
o 2098033
c core #1
c 
c 
c Core size: 4	Core Weight: 867	Total Weight: 867
c
c
c core #2
c 
c 
c Core size: 3	Core Weight: 263	Total Weight: 1130
c
c
c core #3
c 
c 
c Core size: 3	Core Weight: 950	Total Weight: 2080
c
c
c core #4
c 
c 
c Core size: 3	Core Weight: 715	Total Weight: 2795
c
c
c core #5
c 
c 
c Core size: 4	Core Weight: 1050	Total Weight: 3845
c
c
c core #6
c 
c 
c Core size: 4	Core Weight: 1354	Total Weight: 5199
c
c
c core #7
c 
c 
c Core size: 3	Core Weight: 926	Total Weight: 6125
c
c
c core #8
c 
c 
c Core size: 11	Core Weight: 1301	Total Weight: 7426
c
c
c core #9
c 
c 
c Core size: 5	Core Weight: 1146	Total Weight: 8572
c
c
c core #10
c 
c 
c Core size: 8	Core Weight: 640	Total Weight: 9212
c
c
c core #11
c 
c 
c Core size: 9	Core Weight: 480	Total Weight: 9692
c
c
c core #12
c 
c 
c Core size: 18	Core Weight: 518	Total Weight: 10210
c
c
c core #13
c 
c 
c Core size: 4	Core Weight: 1633	Total Weight: 11843
c
c
c core #14
c 
c 
c Core size: 10	Core Weight: 379	Total Weight: 12222
c
c
c core #15
c 
c 
c Core size: 10	Core Weight: 848	Total Weight: 13070
c
c
c core #16
c 
c 
c Core size: 12	Core Weight: 92	Total Weight: 13162
c
c
c core #17
c 
c 
c Core size: 12	Core Weight: 648	Total Weight: 13810
c
c
c core #18
c 
c 
c Core size: 15	Core Weight: 125	Total Weight: 13935
c
c
c core #19
c 
c 
c Core size: 16	Core Weight: 152	Total Weight: 14087
c
c
c core #20
c 
c 
c Core size: 21	Core Weight: 73	Total Weight: 14160
c
c
c core #21
c 
c 
c Core size: 22	Core Weight: 394	Total Weight: 14554
c
c
c core #22
c 
c 
c Core size: 23	Core Weight: 204	Total Weight: 14758
c
c
c core #23
c 
c 
c Core size: 19	Core Weight: 140	Total Weight: 14898
c
c
c core #24
c 
c 
c Core size: 23	Core Weight: 410	Total Weight: 15308
c
c
c core #25
c 
c 
c Core size: 18	Core Weight: 179	Total Weight: 15487
c
c
c core #26
c 
c 
c Core size: 20	Core Weight: 67	Total Weight: 15554
c
c
c core #27
c 
c 
c Core size: 22	Core Weight: 363	Total Weight: 15917
c
c
c core #28
c 
c 
c Core size: 20	Core Weight: 455	Total Weight: 16372
c
c
c core #29
c 
c 
c Core size: 18	Core Weight: 1029	Total Weight: 17401
c
c
c core #30
c 
c 
c Core size: 20	Core Weight: 80	Total Weight: 17481
c
c
c core #31
c 
c 
c Core size: 27	Core Weight: 73	Total Weight: 17554
c
c
c core #32
c 
c 
c Core size: 25	Core Weight: 19	Total Weight: 17573
c
c
c core #33
c 
c 
c Core size: 32	Core Weight: 150	Total Weight: 17723
c
c
c core #34
c 
c 
c Core size: 30	Core Weight: 29	Total Weight: 17752
c
c
c core #35
c 
c 
c Core size: 33	Core Weight: 65	Total Weight: 17817
c
c
c core #36
c 
c 
c Core size: 31	Core Weight: 60	Total Weight: 17877
c
c
c core #37
c 
c 
c Core size: 39	Core Weight: 53	Total Weight: 17930
c
c
c core #38
c 
c 
c Core size: 41	Core Weight: 31	Total Weight: 17961
c
c
c core #39
c 
c 
c Core size: 37	Core Weight: 112	Total Weight: 18073
c
c
c core #40
c 
c 
c Core size: 40	Core Weight: 42	Total Weight: 18115
c
c
c core #41
c 
c 
c Core size: 39	Core Weight: 150	Total Weight: 18265
c
c
c core #42
c 
c 
c Core size: 45	Core Weight: 29	Total Weight: 18294
c
c
c core #43
c 
c 
c Core size: 41	Core Weight: 29	Total Weight: 18323
c
c
c core #44
c 
c 
c Core size: 21	Core Weight: 47	Total Weight: 18370
c
c
c core #45
c 
c 
c Core size: 38	Core Weight: 171	Total Weight: 18541
c
c
c core #46
c 
c 
c Core size: 38	Core Weight: 93	Total Weight: 18634
c
c
c core #47
c 
c 
c Core size: 11	Core Weight: 279	Total Weight: 18913
c
c
c core #48
c 
c 
c Core size: 37	Core Weight: 7	Total Weight: 18920
c
c
c core #49
c 
c 
c Core size: 45	Core Weight: 18	Total Weight: 18938
c
c
c core #50
c 
c 
c Core size: 23	Core Weight: 541	Total Weight: 19479
c
c
c core #51
c 
c 
c Core size: 42	Core Weight: 80	Total Weight: 19559
c
c
c core #52
c 
c 
c Core size: 42	Core Weight: 388	Total Weight: 19947
c
c
c core #53
c 
c 
c Core size: 24	Core Weight: 328	Total Weight: 20275
c
c
c core #54
c 
c 
c Core size: 18	Core Weight: 514	Total Weight: 20789
c
c
c core #55
c 
c 
c Core size: 16	Core Weight: 152	Total Weight: 20941
c
c
c core #56
c 
c 
c Core size: 25	Core Weight: 31	Total Weight: 20972
c
c
c core #57
c 
c 
c Core size: 28	Core Weight: 44	Total Weight: 21016
c
c
c core #58
c 
c 
c Core size: 32	Core Weight: 42	Total Weight: 21058
c
c
c core #59
c 
c 
c Core size: 21	Core Weight: 269	Total Weight: 21327
c
c
c core #60
c 
c 
c Core size: 31	Core Weight: 30	Total Weight: 21357
c
c
c core #61
c 
c 
c Core size: 40	Core Weight: 429	Total Weight: 21786
c
c
c core #62
c 
c 
c Core size: 56	Core Weight: 31	Total Weight: 21817
c
c
c core #63
c 
c 
c Core size: 45	Core Weight: 19	Total Weight: 21836
c
c
c core #64
c 
c 
c Core size: 32	Core Weight: 53	Total Weight: 21889
c
c
c core #65
c 
c 
c Core size: 38	Core Weight: 19	Total Weight: 21908
c
c
c core #66
c 
c 
c Core size: 52	Core Weight: 36	Total Weight: 21944
c
c
c core #67
c 
c 
c Core size: 43	Core Weight: 230	Total Weight: 22174
c
c
c core #68
c 
c 
c Core size: 22	Core Weight: 82	Total Weight: 22256
c
c
c core #69
c 
c 
c Core size: 45	Core Weight: 20	Total Weight: 22276
c
c
c core #70
c 
c 
c Core size: 42	Core Weight: 35	Total Weight: 22311
c
c
c core #71
c 
c 
c Core size: 48	Core Weight: 87	Total Weight: 22398
c
c
c core #72
c 
c 
c Core size: 55	Core Weight: 62	Total Weight: 22460
c
c
c core #73
c 
c 
c Core size: 42	Core Weight: 195	Total Weight: 22655
c
c
c core #74
c 
c 
c Core size: 46	Core Weight: 81	Total Weight: 22736
c
c
c core #75
c 
c 
c Core size: 26	Core Weight: 135	Total Weight: 22871
c
c
c core #76
c 
c 
c Core size: 46	Core Weight: 9	Total Weight: 22880
c
c
c core #77
c 
c 
c Core size: 38	Core Weight: 21	Total Weight: 22901
c
c
c core #78
c 
c 
c Core size: 40	Core Weight: 279	Total Weight: 23180
c
c
c core #79
c 
c 
c Core size: 44	Core Weight: 37	Total Weight: 23217
c
c
c core #80
c 
c 
c Core size: 39	Core Weight: 459	Total Weight: 23676
c
c
c core #81
c 
c 
c Core size: 28	Core Weight: 141	Total Weight: 23817
c
c
c core #82
c 
c 
c Core size: 41	Core Weight: 30	Total Weight: 23847
c
c
c core #83
c 
c 
c Core size: 38	Core Weight: 32	Total Weight: 23879
c
c
c core #84
c 
c 
c Core size: 53	Core Weight: 8	Total Weight: 23887
c
c
c core #85
c 
c 
c Core size: 77	Core Weight: 21	Total Weight: 23908
c
c
c core #86
c 
c 
c Core size: 42	Core Weight: 5	Total Weight: 23913
c
c
c core #87
c 
c 
c Core size: 44	Core Weight: 54	Total Weight: 23967
c
c
c core #88
c 
c 
c Core size: 38	Core Weight: 41	Total Weight: 24008
c
c
c core #89
c 
c 
c Core size: 46	Core Weight: 53	Total Weight: 24061
c
c
c core #90
c 
c 
c Core size: 41	Core Weight: 39	Total Weight: 24100
c
c
c core #91
c 
c 
c Core size: 49	Core Weight: 68	Total Weight: 24168
c
c
c core #92
c 
c 
c Core size: 22	Core Weight: 809	Total Weight: 24977
c
c
c core #93
c 
c 
c Core size: 23	Core Weight: 9	Total Weight: 24986
c
c
c core #94
c 
c 
c Core size: 24	Core Weight: 50	Total Weight: 25036
c
c
c core #95
c 
c 
c Core size: 37	Core Weight: 110	Total Weight: 25146
c
c
c core #96
c 
c 
c Core size: 19	Core Weight: 93	Total Weight: 25239
c
c
c core #97
c 
c 
c Core size: 45	Core Weight: 11	Total Weight: 25250
c
c
c core #98
c 
c 
c Core size: 53	Core Weight: 59	Total Weight: 25309
c
c
c core #99
c 
c 
c Core size: 38	Core Weight: 22	Total Weight: 25331
c
c
c core #100
c 
c 
c Core size: 45	Core Weight: 60	Total Weight: 25391
c
c
c core #101
c 
c 
c Core size: 48	Core Weight: 111	Total Weight: 25502
c
c
c core #102
c 
c 
c Core size: 44	Core Weight: 53	Total Weight: 25555
c
c
c core #103
c 
c 
c Core size: 55	Core Weight: 15	Total Weight: 25570
c
c
c core #104
c 
c 
c Core size: 49	Core Weight: 42	Total Weight: 25612
c
c
c core #105
c 
c 
c Core size: 22	Core Weight: 111	Total Weight: 25723
c
c
c core #106
c 
c 
c Core size: 48	Core Weight: 54	Total Weight: 25777
c
c
c core #107
c 
c 
c Core size: 33	Core Weight: 61	Total Weight: 25838
c
c
c core #108
c 
c 
c Core size: 53	Core Weight: 76	Total Weight: 25914
c
c
c core #109
c 
c 
c Core size: 18	Core Weight: 446	Total Weight: 26360
c
c
c core #110
c 
c 
c Core size: 16	Core Weight: 6	Total Weight: 26366
c
c
c core #111
c 
c 
c Core size: 23	Core Weight: 69	Total Weight: 26435
c
c
c core #112
c 
c 
c Core size: 55	Core Weight: 14	Total Weight: 26449
c
c
c core #113
c 
c 
c Core size: 74	Core Weight: 1	Total Weight: 26450
c
c
c core #114
c 
c 
c Core size: 59	Core Weight: 22	Total Weight: 26472
c
c
c core #115
c 
c 
c Core size: 21	Core Weight: 54	Total Weight: 26526
c
c
c core #116
c 
c 
c Core size: 17	Core Weight: 882	Total Weight: 27408
c
c
c core #117
c 
c 
c Core size: 48	Core Weight: 14	Total Weight: 27422
c
c
c core #118
c 
c 
c Core size: 23	Core Weight: 14	Total Weight: 27436
c
c
c core #119
c 
c 
c Core size: 28	Core Weight: 6	Total Weight: 27442
c
c
c core #120
c 
c 
c Core size: 28	Core Weight: 45	Total Weight: 27487
c
c
c core #121
c 
c 
c Core size: 22	Core Weight: 111	Total Weight: 27598
c
c
c core #122
c 
c 
c Core size: 23	Core Weight: 16	Total Weight: 27614
c
c
c core #123
c 
c 
c Core size: 22	Core Weight: 24	Total Weight: 27638
c
c
c core #124
c 
c 
c Core size: 59	Core Weight: 83	Total Weight: 27721
c
c
c core #125
c 
c 
c Core size: 17	Core Weight: 382	Total Weight: 28103
c
c
c core #126
c 
c 
c Core size: 24	Core Weight: 713	Total Weight: 28816
c
c
c core #127
c 
c 
c Core size: 27	Core Weight: 433	Total Weight: 29249
c
c
c core #128
c 
c 
c Core size: 24	Core Weight: 22	Total Weight: 29271
c
c
c core #129
c 
c 
c Core size: 30	Core Weight: 193	Total Weight: 29464
c
c
c core #130
c 
c 
c Core size: 26	Core Weight: 189	Total Weight: 29653
c
c
c core #131
c 
c 
c Core size: 47	Core Weight: 36	Total Weight: 29689
c
c
c core #132
c 
c 
c Core size: 17	Core Weight: 1057	Total Weight: 30746
c
c
c core #133
c 
c 
c Core size: 26	Core Weight: 4	Total Weight: 30750
c
c
c core #134
c 
c 
c Core size: 27	Core Weight: 408	Total Weight: 31158
c
c
c core #135
c 
c 
c Core size: 60	Core Weight: 5	Total Weight: 31163
c
c
c core #136
c 
c 
c Core size: 22	Core Weight: 4	Total Weight: 31167
c
c
c core #137
c 
c 
c Core size: 80	Core Weight: 7	Total Weight: 31174
c
c
c core #138
c 
c 
c Core size: 30	Core Weight: 141	Total Weight: 31315
c
c
c core #139
c 
c 
c Core size: 53	Core Weight: 43	Total Weight: 31358
c
c
c core #140
c 
c 
c Core size: 13	Core Weight: 348	Total Weight: 31706
c
c
c core #141
c 
c 
c Core size: 55	Core Weight: 11	Total Weight: 31717
c
c
c core #142
c 
c 
c Core size: 32	Core Weight: 138	Total Weight: 31855
c
c
c core #143
c 
c 
c Core size: 46	Core Weight: 324	Total Weight: 32179
c
c
c core #144
c 
c 
c Core size: 57	Core Weight: 1	Total Weight: 32180
c
c
c core #145
c 
c 
c Core size: 21	Core Weight: 77	Total Weight: 32257
c
c
c core #146
c 
c 
c Core size: 20	Core Weight: 188	Total Weight: 32445
c
c
c core #147
c 
c 
c Core size: 21	Core Weight: 446	Total Weight: 32891
c
c
c core #148
c 
c 
c Core size: 31	Core Weight: 549	Total Weight: 33440
c
c
c core #149
c 
c 
c Core size: 37	Core Weight: 74	Total Weight: 33514
c
c
c core #150
c 
c 
c Core size: 57	Core Weight: 3	Total Weight: 33517
c
c
c core #151
c 
c 
c Core size: 38	Core Weight: 42	Total Weight: 33559
c
c
c core #152
c 
c 
c Core size: 22	Core Weight: 40	Total Weight: 33599
c
c
c core #153
c 
c 
c Core size: 34	Core Weight: 128	Total Weight: 33727
c
c
c core #154
c 
c 
c Core size: 45	Core Weight: 91	Total Weight: 33818
c
c
c core #155
c 
c 
c Core size: 31	Core Weight: 9	Total Weight: 33827
c
c