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-3.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-3.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 2309334
o 2309155
o 2308543
o 2308456
o 2308051
o 2307956
o 2307894
o 2307364
o 2306943
o 2306855
o 2306807
o 2306728
o 2306266
o 2305919
o 2303970
o 2303725
o 2302625
o 2302498
o 2302062
o 2301677
o 2301457
o 2300523
o 2300467
o 2300026
o 2299660
o 2299462
o 2299431
o 2299416
o 2299384
o 2299243
o 2298036
o 2297816
o 2297803
o 2297729
o 2297698
o 2297588
o 2297476
o 2297278
o 2297167
o 2297121
o 2297050
o 2296369
o 2295791
o 2295507
o 2295452
o 2295187
o 2294893
o 2294129
o 2293348
o 2292897
o 2292835
o 2292479
o 2292342
o 2292310
o 2292309
o 2292260
o 2291952
o 2291706
o 2291658
o 2291589
o 2291565
o 2291470
o 2291342
o 2291144
o 2291058
o 2290947
o 2290675
o 2290237
o 2290124
o 2290012
o 2289780
o 2289669
o 2289218
o 2289008
o 2288639
o 2288528
o 2288523
o 2288321
o 2288263
o 2288258
o 2287482
o 2287284
o 2287230
o 2287032
o 2286857
o 2286296
o 2286230
o 2285840
o 2285389
o 2284965
o 2284836
o 2284661
o 2284415
o 2284286
o 2283866
o 2283817
o 2283656
o 2283593
o 2283556
o 2283329
o 2283237
o 2282868
o 2282577
o 2282574
o 2281922
o 2281288
o 2281148
o 2280989
o 2280711
o 2280513
o 2280122
o 2280067
o 2279318
o 2279253
o 2279205
o 2279155
o 2278483
o 2278443
o 2278363
o 2278342
o 2278064
o 2277968
o 2277896
o 2277307
o 2277266
o 2277226
o 2276963
o 2276916
o 2276805
o 2276688
o 2276676
o 2276675
o 2276444
o 2276313
o 2275891
o 2275828
o 2275815
o 2275369
o 2274929
o 2274705
o 2274656
o 2274345
o 2274235
o 2274151
o 2274136
o 2274063
o 2273429
o 2273407
o 2273386
o 2272917
o 2272649
o 2272587
o 2272452
o 2272055
o 2271632
o 2271273
o 2271211
o 2270908
o 2270615
o 2270280
o 2269703
o 2269546
o 2269545
o 2269344
o 2269330
o 2269150
o 2269122
o 2268903
o 2268728
o 2268535
o 2268285
o 2268220
o 2268077
o 2267691
o 2267575
o 2266794
o 2266133
o 2266117
o 2265657
o 2265092
o 2264930
o 2264795
o 2264737
o 2264567
o 2264480
o 2264339
o 2263930
o 2263439
o 2263409
o 2263300
o 2263138
o 2262477
o 2262406
o 2262264
o 2262182
o 2262120
o 2262100
o 2262087
o 2261908
o 2261731
o 2261692
o 2261688
o 2261578
o 2261553
o 2261417
o 2261395
o 2261072
o 2260994
o 2260455
o 2260172
o 2259938
o 2259870
o 2259632
o 2259479
o 2258698
o 2258619
o 2258519
o 2258284
o 2257882
o 2257692
o 2257458
o 2257429
o 2257371
o 2257303
o 2257099
o 2257044
o 2256984
o 2256981
o 2256951
o 2256728
o 2256530
o 2256340
o 2256144
o 2256136
o 2255869
o 2255624
o 2255580
o 2255558
o 2255195
o 2255143
o 2254983
o 2254912
o 2254792
o 2254780
o 2254613
o 2254576
o 2254523
o 2254303
o 2253580
o 2252799
o 2252784
o 2252745
o 2252704
o 2252694
o 2252362
o 2251911
o 2251776
o 2251627
o 2251578
o 2251468
o 2251467
o 2251416
o 2251175
o 2251146
o 2251049
o 2251009
o 2250858
o 2250447
o 2250388
o 2250140
o 2250124
o 2250044
o 2249680
o 2249530
o 2249494
o 2249371
o 2249310
o 2249244
o 2249182
o 2249166
o 2249103
o 2248939
o 2248769
o 2248658
o 2248588
o 2248430
o 2248412
o 2248269
o 2248228
o 2248175
o 2248125
o 2248085
o 2248084
o 2248028
o 2248011
o 2247970
o 2247834
o 2247772
o 2247653
o 2247620
o 2247597
o 2247316
o 2247016
o 2247014
o 2246932
o 2246888
o 2246728
o 2246515
o 2246318
o 2246200
o 2246134
o 2246095
o 2246072
o 2246069
o 2245824
o 2245719
o 2245687
o 2245505
o 2245438
o 2245381
o 2245367
o 2245225
o 2245034
o 2244904
o 2244832
o 2244800
o 2244694
o 2244543
o 2244368
o 2244348
o 2244346
o 2244309
o 2244234
o 2244112
o 2244052
o 2243960
o 2243848
o 2243815
o 2243736
o 2243707
o 2243685
o 2243627
o 2243555
o 2243446
o 2243167
o 2243123
o 2243019
o 2242963
o 2242946
o 2242906
o 2242692
o 2242674
o 2242572
o 2242524
o 2242517
o 2242466
o 2242356
o 2242307
o 2242020
o 2241991
o 2241986
o 2241878
o 2241791
o 2241597
o 2241418
o 2241285
o 2241202
o 2241201
o 2241108
o 2240955
o 2240719
o 2240631
o 2240628
o 2240618
o 2240525
o 2240497
o 2240433
o 2240340
o 2240281
o 2240212
o 2240205
o 2240197
o 2240092
o 2240046
o 2239978
o 2239862
o 2239814
o 2239492
o 2239459
o 2239454
o 2239023
o 2238929
o 2238881
o 2238663
o 2238618
o 2238570
o 2238502
o 2238389
o 2238337
o 2237864
o 2237806
o 2237699
o 2237315
o 2237277
o 2237266
o 2237164
o 2237127
o 2237061
o 2236913
o 2236785
o 2236674
o 2236581
o 2236506
o 2236491
o 2236478
o 2236319
o 2236203
o 2236173
o 2236093
o 2236012
o 2235980
o 2235841
o 2235792
o 2235769
o 2235740
o 2235668
o 2235513
o 2235449
o 2235277
o 2235157
o 2235127
o 2235111
o 2235101
o 2235017
o 2234909
o 2234800
o 2234798
o 2234688
o 2234577
o 2234507
o 2234309
o 2234252
o 2234218
o 2233998
o 2233871
o 2233859
o 2233737
o 2233619
o 2233517
o 2233409
o 2233380
o 2233351
o 2233260
o 2233153
o 2233135
o 2233032
o 2233026
o 2232957
o 2232950
o 2232440
o 2232405
o 2232393
o 2232328
o 2232234
o 2232187
o 2232141
o 2232079
o 2231855
o 2231844
o 2231756
o 2231699
o 2231693
o 2231601
o 2231542
o 2231503
o 2231450
o 2231391
o 2231355
o 2231354
o 2231350
o 2231316
c core #1
c 
c 
c Core size: 5	Core Weight: 1439	Total Weight: 1439
c
c
c core #2
c 
c 
c Core size: 3	Core Weight: 425	Total Weight: 1864
c
c
c core #3
c 
c 
c Core size: 5	Core Weight: 1564	Total Weight: 3428
c
c
c core #4
c 
c 
c Core size: 3	Core Weight: 607	Total Weight: 4035
c
c
c core #5
c 
c 
c Core size: 4	Core Weight: 1437	Total Weight: 5472
c
c
c core #6
c 
c 
c Core size: 4	Core Weight: 838	Total Weight: 6310
c
c
c core #7
c 
c 
c Core size: 7	Core Weight: 1545	Total Weight: 7855
c
c
c core #8
c 
c 
c Core size: 9	Core Weight: 62	Total Weight: 7917
c
c
c core #9
c 
c 
c Core size: 10	Core Weight: 451	Total Weight: 8368
c
c
c core #10
c 
c 
c Core size: 3	Core Weight: 911	Total Weight: 9279
c
c
c core #11
c 
c 
c Core size: 9	Core Weight: 198	Total Weight: 9477
c
c
c core #12
c 
c 
c Core size: 8	Core Weight: 1004	Total Weight: 10481
c
c
c core #13
c 
c 
c Core size: 10	Core Weight: 48	Total Weight: 10529
c
c
c core #14
c 
c 
c Core size: 12	Core Weight: 9	Total Weight: 10538
c
c
c core #15
c 
c 
c Core size: 14	Core Weight: 1154	Total Weight: 11692
c
c
c core #16
c 
c 
c Core size: 10	Core Weight: 123	Total Weight: 11815
c
c
c core #17
c 
c 
c Core size: 19	Core Weight: 50	Total Weight: 11865
c
c
c core #18
c 
c 
c Core size: 19	Core Weight: 599	Total Weight: 12464
c
c
c core #19
c 
c 
c Core size: 20	Core Weight: 214	Total Weight: 12678
c
c
c core #20
c 
c 
c Core size: 20	Core Weight: 326	Total Weight: 13004
c
c
c core #21
c 
c 
c Core size: 22	Core Weight: 88	Total Weight: 13092
c
c
c core #22
c 
c 
c Core size: 18	Core Weight: 422	Total Weight: 13514
c
c
c core #23
c 
c 
c Core size: 20	Core Weight: 99	Total Weight: 13613
c
c
c core #24
c 
c 
c Core size: 19	Core Weight: 280	Total Weight: 13893
c
c
c core #25
c 
c 
c Core size: 23	Core Weight: 31	Total Weight: 13924
c
c
c core #26
c 
c 
c Core size: 22	Core Weight: 161	Total Weight: 14085
c
c
c core #27
c 
c 
c Core size: 17	Core Weight: 719	Total Weight: 14804
c
c
c core #28
c 
c 
c Core size: 17	Core Weight: 136	Total Weight: 14940
c
c
c core #29
c 
c 
c Core size: 21	Core Weight: 14	Total Weight: 14954
c
c
c core #30
c 
c 
c Core size: 27	Core Weight: 186	Total Weight: 15140
c
c
c core #31
c 
c 
c Core size: 27	Core Weight: 222	Total Weight: 15362
c
c
c core #32
c 
c 
c Core size: 16	Core Weight: 521	Total Weight: 15883
c
c
c core #33
c 
c 
c Core size: 18	Core Weight: 335	Total Weight: 16218
c
c
c core #34
c 
c 
c Core size: 30	Core Weight: 120	Total Weight: 16338
c
c
c core #35
c 
c 
c Core size: 33	Core Weight: 78	Total Weight: 16416
c
c
c core #36
c 
c 
c Core size: 34	Core Weight: 5	Total Weight: 16421
c
c
c core #37
c 
c 
c Core size: 38	Core Weight: 172	Total Weight: 16593
c
c
c core #38
c 
c 
c Core size: 42	Core Weight: 6	Total Weight: 16599
c
c
c core #39
c 
c 
c Core size: 48	Core Weight: 26	Total Weight: 16625
c
c
c core #40
c 
c 
c Core size: 49	Core Weight: 14	Total Weight: 16639
c
c
c core #41
c 
c 
c Core size: 48	Core Weight: 2	Total Weight: 16641
c
c
c core #42
c 
c 
c Core size: 39	Core Weight: 46	Total Weight: 16687
c
c
c core #43
c 
c 
c Core size: 45	Core Weight: 37	Total Weight: 16724
c
c
c core #44
c 
c 
c Core size: 41	Core Weight: 20	Total Weight: 16744
c
c
c core #45
c 
c 
c Core size: 25	Core Weight: 61	Total Weight: 16805
c
c
c core #46
c 
c 
c Core size: 43	Core Weight: 24	Total Weight: 16829
c
c
c core #47
c 
c 
c Core size: 52	Core Weight: 111	Total Weight: 16940
c
c
c core #48
c 
c 
c Core size: 50	Core Weight: 40	Total Weight: 16980
c
c
c core #49
c 
c 
c Core size: 52	Core Weight: 6	Total Weight: 16986
c
c
c core #50
c 
c 
c Core size: 48	Core Weight: 155	Total Weight: 17141
c
c
c core #51
c 
c 
c Core size: 51	Core Weight: 48	Total Weight: 17189
c
c
c core #52
c 
c 
c Core size: 12	Core Weight: 135	Total Weight: 17324
c
c
c core #53
c 
c 
c Core size: 13	Core Weight: 252	Total Weight: 17576
c
c
c core #54
c 
c 
c Core size: 53	Core Weight: 151	Total Weight: 17727
c
c
c core #55
c 
c 
c Core size: 49	Core Weight: 25	Total Weight: 17752
c
c
c core #56
c 
c 
c Core size: 11	Core Weight: 780	Total Weight: 18532
c
c
c core #57
c 
c 
c Core size: 19	Core Weight: 298	Total Weight: 18830
c
c
c core #58
c 
c 
c Core size: 54	Core Weight: 210	Total Weight: 19040
c
c
c core #59
c 
c 
c Core size: 20	Core Weight: 264	Total Weight: 19304
c
c
c core #60
c 
c 
c Core size: 14	Core Weight: 360	Total Weight: 19664
c
c
c core #61
c 
c 
c Core size: 62	Core Weight: 16	Total Weight: 19680
c
c
c core #62
c 
c 
c Core size: 20	Core Weight: 420	Total Weight: 20100
c
c
c core #63
c 
c 
c Core size: 22	Core Weight: 52	Total Weight: 20152
c
c
c core #64
c 
c 
c Core size: 14	Core Weight: 831	Total Weight: 20983
c
c
c core #65
c 
c 
c Core size: 17	Core Weight: 31	Total Weight: 21014
c
c
c core #66
c 
c 
c Core size: 20	Core Weight: 80	Total Weight: 21094
c
c
c core #67
c 
c 
c Core size: 23	Core Weight: 22	Total Weight: 21116
c
c
c core #68
c 
c 
c Core size: 23	Core Weight: 29	Total Weight: 21145
c
c
c core #69
c 
c 
c Core size: 18	Core Weight: 421	Total Weight: 21566
c
c
c core #70
c 
c 
c Core size: 25	Core Weight: 372	Total Weight: 21938
c
c
c core #71
c 
c 
c Core size: 27	Core Weight: 5	Total Weight: 21943
c
c
c core #72
c 
c 
c Core size: 23	Core Weight: 416	Total Weight: 22359
c
c
c core #73
c 
c 
c Core size: 28	Core Weight: 231	Total Weight: 22590
c
c
c core #74
c 
c 
c Core size: 11	Core Weight: 179	Total Weight: 22769
c
c
c core #75
c 
c 
c Core size: 22	Core Weight: 45	Total Weight: 22814
c
c
c core #76
c 
c 
c Core size: 13	Core Weight: 33	Total Weight: 22847
c
c
c core #77
c 
c 
c Core size: 19	Core Weight: 94	Total Weight: 22941
c
c
c core #78
c 
c 
c Core size: 27	Core Weight: 111	Total Weight: 23052
c
c
c core #79
c 
c 
c Core size: 29	Core Weight: 358	Total Weight: 23410
c
c
c core #80
c 
c 
c Core size: 8	Core Weight: 1510	Total Weight: 24920
c
c
c core #81
c 
c 
c Core size: 36	Core Weight: 120	Total Weight: 25040
c
c
c core #82
c 
c 
c Core size: 41	Core Weight: 89	Total Weight: 25129
c
c
c core #83
c 
c 
c Core size: 44	Core Weight: 39	Total Weight: 25168
c
c
c core #84
c 
c 
c Core size: 19	Core Weight: 120	Total Weight: 25288
c
c
c core #85
c 
c 
c Core size: 19	Core Weight: 86	Total Weight: 25374
c
c
c core #86
c 
c 
c Core size: 21	Core Weight: 99	Total Weight: 25473
c
c
c core #87
c 
c 
c Core size: 34	Core Weight: 245	Total Weight: 25718
c
c
c core #88
c 
c 
c Core size: 35	Core Weight: 155	Total Weight: 25873
c
c
c core #89
c 
c 
c Core size: 42	Core Weight: 28	Total Weight: 25901
c
c
c core #90
c 
c 
c Core size: 45	Core Weight: 58	Total Weight: 25959
c
c
c core #91
c 
c 
c Core size: 45	Core Weight: 99	Total Weight: 26058
c
c
c core #92
c 
c 
c Core size: 40	Core Weight: 111	Total Weight: 26169
c
c
c core #93
c 
c 
c Core size: 39	Core Weight: 9	Total Weight: 26178
c
c
c core #94
c 
c 
c Core size: 52	Core Weight: 46	Total Weight: 26224
c
c
c core #95
c 
c 
c Core size: 30	Core Weight: 66	Total Weight: 26290
c
c
c core #96
c 
c 
c Core size: 52	Core Weight: 45	Total Weight: 26335
c
c
c core #97
c 
c 
c Core size: 29	Core Weight: 153	Total Weight: 26488
c
c
c core #98
c 
c 
c Core size: 42	Core Weight: 43	Total Weight: 26531
c
c
c core #99
c 
c 
c Core size: 54	Core Weight: 23	Total Weight: 26554
c
c
c core #100
c 
c 
c Core size: 34	Core Weight: 16	Total Weight: 26570
c
c
c core #101
c 
c 
c Core size: 26	Core Weight: 79	Total Weight: 26649
c
c
c core #102
c 
c 
c Core size: 59	Core Weight: 12	Total Weight: 26661
c
c
c core #103
c 
c 
c Core size: 29	Core Weight: 84	Total Weight: 26745
c
c
c core #104
c 
c 
c Core size: 59	Core Weight: 16	Total Weight: 26761
c
c
c core #105
c 
c 
c Core size: 30	Core Weight: 140	Total Weight: 26901
c
c
c core #106
c 
c 
c Core size: 35	Core Weight: 36	Total Weight: 26937
c
c
c core #107
c 
c 
c Core size: 52	Core Weight: 15	Total Weight: 26952
c
c
c core #108
c 
c 
c Core size: 55	Core Weight: 1	Total Weight: 26953
c
c
c core #109
c 
c 
c Core size: 60	Core Weight: 4	Total Weight: 26957
c
c
c core #110
c 
c 
c Core size: 62	Core Weight: 7	Total Weight: 26964
c
c
c core #111
c 
c 
c Core size: 14	Core Weight: 1246	Total Weight: 28210
c
c
c core #112
c 
c 
c Core size: 21	Core Weight: 49	Total Weight: 28259
c
c
c core #113
c 
c 
c Core size: 57	Core Weight: 62	Total Weight: 28321
c
c
c core #114
c 
c 
c Core size: 49	Core Weight: 16	Total Weight: 28337
c
c
c core #115
c 
c 
c Core size: 66	Core Weight: 12	Total Weight: 28349
c
c
c core #116
c 
c 
c Core size: 55	Core Weight: 4	Total Weight: 28353
c
c
c core #117
c 
c 
c Core size: 62	Core Weight: 23	Total Weight: 28376
c
c
c core #118
c 
c 
c Core size: 57	Core Weight: 42	Total Weight: 28418
c
c
c core #119
c 
c 
c Core size: 57	Core Weight: 12	Total Weight: 28430
c
c
c core #120
c 
c 
c Core size: 24	Core Weight: 182	Total Weight: 28612
c
c
c core #121
c 
c 
c Core size: 41	Core Weight: 46	Total Weight: 28658
c
c
c core #122
c 
c 
c Core size: 53	Core Weight: 23	Total Weight: 28681
c
c
c core #123
c 
c 
c Core size: 53	Core Weight: 4	Total Weight: 28685
c
c
c core #124
c 
c 
c Core size: 45	Core Weight: 42	Total Weight: 28727
c
c
c core #125
c 
c 
c Core size: 51	Core Weight: 22	Total Weight: 28749
c
c
c core #126
c 
c 
c Core size: 35	Core Weight: 46	Total Weight: 28795
c
c
c core #127
c 
c 
c Core size: 34	Core Weight: 28	Total Weight: 28823
c
c
c core #128
c 
c 
c Core size: 46	Core Weight: 42	Total Weight: 28865
c
c
c core #129
c 
c 
c Core size: 46	Core Weight: 4	Total Weight: 28869
c
c
c core #130
c 
c 
c Core size: 47	Core Weight: 12	Total Weight: 28881
c
c
c core #131
c 
c 
c Core size: 35	Core Weight: 20	Total Weight: 28901
c
c
c core #132
c 
c 
c Core size: 32	Core Weight: 31	Total Weight: 28932
c
c
c core #133
c 
c 
c Core size: 48	Core Weight: 46	Total Weight: 28978
c
c
c core #134
c 
c 
c Core size: 31	Core Weight: 15	Total Weight: 28993
c
c
c core #135
c 
c 
c Core size: 31	Core Weight: 23	Total Weight: 29016
c
c
c core #136
c 
c 
c Core size: 31	Core Weight: 4	Total Weight: 29020
c
c
c core #137
c 
c 
c Core size: 51	Core Weight: 15	Total Weight: 29035
c
c
c core #138
c 
c 
c Core size: 14	Core Weight: 735	Total Weight: 29770
c
c
c core #139
c 
c 
c Core size: 19	Core Weight: 396	Total Weight: 30166
c
c
c core #140
c 
c 
c Core size: 39	Core Weight: 3	Total Weight: 30169
c
c
c core #141
c 
c 
c Core size: 50	Core Weight: 1	Total Weight: 30170
c
c
c core #142
c 
c 
c Core size: 64	Core Weight: 3	Total Weight: 30173
c
c
c core #143
c 
c 
c Core size: 77	Core Weight: 1	Total Weight: 30174
c
c
c core #144
c 
c 
c Core size: 76	Core Weight: 6	Total Weight: 30180
c
c
c core #145
c 
c 
c Core size: 17	Core Weight: 1074	Total Weight: 31254
c
c
c core #146
c 
c 
c Core size: 35	Core Weight: 39	Total Weight: 31293
c
c