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-5.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-5.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 2366182
o 2366062
o 2364276
o 2363807
o 2363225
o 2362323
o 2362209
o 2362208
o 2362193
o 2361361
o 2361300
o 2361280
o 2360622
o 2360521
o 2360109
o 2359980
o 2359603
o 2359534
o 2359487
o 2359053
o 2359030
o 2358730
o 2358328
o 2358156
o 2357964
o 2357788
o 2357712
o 2357399
o 2357248
o 2357158
o 2357111
o 2357100
o 2356331
o 2356193
o 2356142
o 2356027
o 2355747
o 2355039
o 2354665
o 2354552
o 2354217
o 2354030
o 2353852
o 2353848
o 2353590
o 2353385
o 2353333
o 2352956
o 2352899
o 2352795
o 2352714
o 2352585
o 2352434
o 2351936
o 2351772
o 2351443
o 2351435
o 2351359
o 2351283
o 2350964
o 2350748
o 2350573
o 2350334
o 2350217
o 2350117
o 2349446
o 2348818
o 2348386
o 2348240
o 2347500
o 2346904
o 2346567
o 2345719
o 2345525
o 2344588
o 2343955
o 2343796
o 2343687
o 2343654
o 2343548
o 2343493
o 2342556
o 2342549
o 2342527
o 2342079
o 2341963
o 2341840
o 2341756
o 2341730
o 2341607
o 2341460
o 2341442
o 2341259
o 2341195
o 2340784
o 2340670
o 2340433
o 2340038
o 2339587
o 2339522
o 2339488
o 2339362
o 2339138
o 2339096
o 2339069
o 2338609
o 2338576
o 2338399
o 2338365
o 2338276
o 2338139
o 2338094
o 2337751
o 2337538
o 2337181
o 2336904
o 2336747
o 2336727
o 2336173
o 2336139
o 2336067
o 2335975
o 2335756
o 2335640
o 2335603
o 2335273
o 2335024
o 2334976
o 2334856
o 2334844
o 2334757
o 2334339
o 2334163
o 2333628
o 2333483
o 2333464
o 2333270
o 2332881
o 2332837
o 2332797
o 2332687
o 2332414
o 2332378
o 2332364
o 2331565
o 2331409
o 2331367
o 2331333
o 2331208
o 2331177
o 2331058
o 2330713
o 2330651
o 2330438
o 2330352
o 2330228
o 2330176
o 2330120
o 2329736
o 2329196
o 2329029
o 2328988
o 2328849
o 2328671
o 2328373
o 2328272
o 2328248
o 2328098
o 2327883
o 2327876
o 2327868
o 2327846
o 2327681
o 2327409
o 2327301
o 2327284
o 2327256
o 2327124
o 2327075
o 2326921
o 2326748
o 2326316
o 2326094
o 2325837
o 2325670
o 2325341
o 2325327
o 2325305
o 2325224
o 2325186
o 2325085
o 2325078
c core #1
c 
c 
c Core size: 5	Core Weight: 1130	Total Weight: 1130
c
c
c core #2
c 
c 
c Core size: 5	Core Weight: 1680	Total Weight: 2810
c
c
c core #3
c 
c 
c Core size: 3	Core Weight: 558	Total Weight: 3368
c
c
c core #4
c 
c 
c Core size: 4	Core Weight: 1255	Total Weight: 4623
c
c
c core #5
c 
c 
c Core size: 4	Core Weight: 764	Total Weight: 5387
c
c
c core #6
c 
c 
c Core size: 4	Core Weight: 696	Total Weight: 6083
c
c
c core #7
c 
c 
c Core size: 4	Core Weight: 886	Total Weight: 6969
c
c
c core #8
c 
c 
c Core size: 5	Core Weight: 1297	Total Weight: 8266
c
c
c core #9
c 
c 
c Core size: 5	Core Weight: 1553	Total Weight: 9819
c
c
c core #10
c 
c 
c Core size: 3	Core Weight: 122	Total Weight: 9941
c
c
c core #11
c 
c 
c Core size: 12	Core Weight: 337	Total Weight: 10278
c
c
c core #12
c 
c 
c Core size: 8	Core Weight: 965	Total Weight: 11243
c
c
c core #13
c 
c 
c Core size: 11	Core Weight: 213	Total Weight: 11456
c
c
c core #14
c 
c 
c Core size: 11	Core Weight: 116	Total Weight: 11572
c
c
c core #15
c 
c 
c Core size: 15	Core Weight: 71	Total Weight: 11643
c
c
c core #16
c 
c 
c Core size: 11	Core Weight: 928	Total Weight: 12571
c
c
c core #17
c 
c 
c Core size: 13	Core Weight: 199	Total Weight: 12770
c
c
c core #18
c 
c 
c Core size: 14	Core Weight: 19	Total Weight: 12789
c
c
c core #19
c 
c 
c Core size: 15	Core Weight: 408	Total Weight: 13197
c
c
c core #20
c 
c 
c Core size: 20	Core Weight: 5	Total Weight: 13202
c
c
c core #21
c 
c 
c Core size: 22	Core Weight: 74	Total Weight: 13276
c
c
c core #22
c 
c 
c Core size: 20	Core Weight: 466	Total Weight: 13742
c
c
c core #23
c 
c 
c Core size: 17	Core Weight: 95	Total Weight: 13837
c
c
c core #24
c 
c 
c Core size: 22	Core Weight: 325	Total Weight: 14162
c
c
c core #25
c 
c 
c Core size: 22	Core Weight: 989	Total Weight: 15151
c
c
c core #26
c 
c 
c Core size: 27	Core Weight: 128	Total Weight: 15279
c
c
c core #27
c 
c 
c Core size: 28	Core Weight: 27	Total Weight: 15306
c
c
c core #28
c 
c 
c Core size: 27	Core Weight: 15	Total Weight: 15321
c
c
c core #29
c 
c 
c Core size: 13	Core Weight: 735	Total Weight: 16056
c
c
c core #30
c 
c 
c Core size: 8	Core Weight: 292	Total Weight: 16348
c
c
c core #31
c 
c 
c Core size: 26	Core Weight: 186	Total Weight: 16534
c
c
c core #32
c 
c 
c Core size: 14	Core Weight: 403	Total Weight: 16937
c
c
c core #33
c 
c 
c Core size: 37	Core Weight: 105	Total Weight: 17042
c
c
c core #34
c 
c 
c Core size: 36	Core Weight: 189	Total Weight: 17231
c
c
c core #35
c 
c 
c Core size: 18	Core Weight: 282	Total Weight: 17513
c
c
c core #36
c 
c 
c Core size: 17	Core Weight: 184	Total Weight: 17697
c
c
c core #37
c 
c 
c Core size: 11	Core Weight: 19	Total Weight: 17716
c
c
c core #38
c 
c 
c Core size: 32	Core Weight: 551	Total Weight: 18267
c
c
c core #39
c 
c 
c Core size: 37	Core Weight: 187	Total Weight: 18454
c
c
c core #40
c 
c 
c Core size: 18	Core Weight: 52	Total Weight: 18506
c
c
c core #41
c 
c 
c Core size: 16	Core Weight: 204	Total Weight: 18710
c
c
c core #42
c 
c 
c Core size: 14	Core Weight: 261	Total Weight: 18971
c
c
c core #43
c 
c 
c Core size: 33	Core Weight: 42	Total Weight: 19013
c
c
c core #44
c 
c 
c Core size: 21	Core Weight: 10	Total Weight: 19023
c
c
c core #45
c 
c 
c Core size: 14	Core Weight: 961	Total Weight: 19984
c
c
c core #46
c 
c 
c Core size: 23	Core Weight: 34	Total Weight: 20018
c
c
c core #47
c 
c 
c Core size: 13	Core Weight: 315	Total Weight: 20333
c
c
c core #48
c 
c 
c Core size: 20	Core Weight: 338	Total Weight: 20671
c
c
c core #49
c 
c 
c Core size: 36	Core Weight: 128	Total Weight: 20799
c
c
c core #50
c 
c 
c Core size: 44	Core Weight: 29	Total Weight: 20828
c
c
c core #51
c 
c 
c Core size: 24	Core Weight: 150	Total Weight: 20978
c
c
c core #52
c 
c 
c Core size: 19	Core Weight: 788	Total Weight: 21766
c
c
c core #53
c 
c 
c Core size: 14	Core Weight: 153	Total Weight: 21919
c
c
c core #54
c 
c 
c Core size: 18	Core Weight: 269	Total Weight: 22188
c
c
c core #55
c 
c 
c Core size: 13	Core Weight: 1330	Total Weight: 23518
c
c
c core #56
c 
c 
c Core size: 19	Core Weight: 178	Total Weight: 23696
c
c
c core #57
c 
c 
c Core size: 20	Core Weight: 69	Total Weight: 23765
c
c
c core #58
c 
c 
c Core size: 17	Core Weight: 802	Total Weight: 24567
c
c
c core #59
c 
c 
c Core size: 11	Core Weight: 479	Total Weight: 25046
c
c
c core #60
c 
c 
c Core size: 38	Core Weight: 10	Total Weight: 25056
c
c
c core #61
c 
c 
c Core size: 22	Core Weight: 55	Total Weight: 25111
c
c
c core #62
c 
c 
c Core size: 39	Core Weight: 6	Total Weight: 25117
c
c
c core #63
c 
c 
c Core size: 54	Core Weight: 56	Total Weight: 25173
c
c
c core #64
c 
c 
c Core size: 18	Core Weight: 481	Total Weight: 25654
c
c
c core #65
c 
c 
c Core size: 34	Core Weight: 73	Total Weight: 25727
c
c
c core #66
c 
c 
c Core size: 25	Core Weight: 38	Total Weight: 25765
c
c
c core #67
c 
c 
c Core size: 24	Core Weight: 14	Total Weight: 25779
c
c
c core #68
c 
c 
c Core size: 19	Core Weight: 70	Total Weight: 25849
c
c
c core #69
c 
c 
c Core size: 22	Core Weight: 867	Total Weight: 26716
c
c
c core #70
c 
c 
c Core size: 16	Core Weight: 209	Total Weight: 26925
c
c
c core #71
c 
c 
c Core size: 18	Core Weight: 41	Total Weight: 26966
c
c
c core #72
c 
c 
c Core size: 16	Core Weight: 805	Total Weight: 27771
c
c
c core #73
c 
c 
c Core size: 14	Core Weight: 228	Total Weight: 27999
c
c
c core #74
c 
c 
c Core size: 14	Core Weight: 191	Total Weight: 28190
c
c
c core #75
c 
c 
c Core size: 18	Core Weight: 2	Total Weight: 28192
c
c
c core #76
c 
c 
c Core size: 16	Core Weight: 780	Total Weight: 28972
c
c
c core #77
c 
c 
c Core size: 21	Core Weight: 178	Total Weight: 29150
c
c
c core #78
c 
c 
c Core size: 65	Core Weight: 15	Total Weight: 29165
c
c
c core #79
c 
c 
c Core size: 23	Core Weight: 351	Total Weight: 29516
c
c
c core #80
c 
c 
c Core size: 57	Core Weight: 6	Total Weight: 29522
c
c
c core #81
c 
c 
c Core size: 37	Core Weight: 35	Total Weight: 29557
c
c
c core #82
c 
c 
c Core size: 44	Core Weight: 94	Total Weight: 29651
c
c
c core #83
c 
c 
c Core size: 46	Core Weight: 11	Total Weight: 29662
c
c
c core #84
c 
c 
c Core size: 17	Core Weight: 422	Total Weight: 30084
c
c
c core #85
c 
c 
c Core size: 22	Core Weight: 81	Total Weight: 30165
c
c
c core #86
c 
c 
c Core size: 20	Core Weight: 259	Total Weight: 30424
c
c
c core #87
c 
c 
c Core size: 19	Core Weight: 122	Total Weight: 30546
c
c
c core #88
c 
c 
c Core size: 26	Core Weight: 14	Total Weight: 30560
c
c
c core #89
c 
c 
c Core size: 15	Core Weight: 308	Total Weight: 30868
c
c