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-80-2_network-3.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-3.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 2967278
o 2963873
o 2963677
o 2963624
o 2963492
o 2962500
o 2962160
o 2961960
o 2961764
o 2961435
o 2961357
o 2961161
o 2960689
o 2960509
o 2960459
o 2960415
o 2960376
o 2960294
o 2960211
o 2960050
o 2960018
o 2960008
o 2959971
o 2959921
o 2959894
o 2959827
o 2959788
o 2959399
o 2959266
o 2959077
o 2958754
o 2958502
o 2958447
o 2958415
o 2957864
o 2957766
o 2957592
o 2957408
o 2957404
o 2957314
o 2957298
o 2957275
o 2957211
o 2957161
o 2957067
o 2957004
o 2956965
o 2956921
o 2956831
o 2956810
o 2956398
o 2956354
o 2955812
o 2955718
o 2955698
o 2955628
o 2955579
o 2955197
o 2954609
o 2954515
o 2953973
o 2953879
o 2953462
o 2953235
o 2952913
o 2952819
o 2952720
o 2952533
o 2952520
o 2952467
o 2952423
o 2952011
o 2951825
o 2951796
o 2951719
o 2951692
o 2951183
o 2951089
o 2951012
o 2950651
o 2950615
o 2950613
o 2950306
o 2950270
o 2950173
o 2950063
o 2949980
o 2949949
o 2949184
o 2949146
o 2949093
o 2948868
o 2948671
o 2948537
o 2948523
o 2948406
o 2948208
o 2948118
o 2947852
o 2947768
o 2947722
o 2947709
o 2947599
o 2947510
o 2947362
o 2947331
o 2946938
o 2946421
o 2946375
o 2946242
o 2946061
o 2945880
o 2945747
o 2945654
o 2945540
o 2945344
o 2945215
o 2945199
o 2945158
o 2945075
o 2945062
o 2944963
o 2944736
o 2944540
o 2944309
o 2944242
o 2944160
o 2943854
o 2943683
o 2943517
o 2943358
o 2943286
o 2943117
o 2943104
o 2943040
o 2942824
o 2942531
o 2942319
o 2942219
o 2942124
o 2942015
o 2941819
o 2941808
o 2941615
o 2941495
o 2941146
o 2941080
o 2941005
o 2940863
o 2940774
o 2940727
o 2940605
o 2940065
o 2939952
o 2939852
o 2939690
o 2939674
o 2939595
o 2939552
o 2938853
o 2938667
o 2938464
o 2937664
o 2937339
o 2937228
o 2937200
o 2937106
o 2936768
o 2936329
o 2936235
o 2936149
o 2936114
o 2935943
o 2935802
o 2935586
o 2935477
o 2935344
o 2935280
o 2934910
o 2934846
o 2934733
o 2934427
o 2934038
o 2933877
o 2933803
o 2933771
o 2933662
o 2933517
o 2933363
o 2933357
o 2933233
o 2933037
o 2933031
o 2932590
o 2932519
o 2932388
o 2932305
o 2932190
o 2932130
o 2931975
o 2931956
o 2931933
o 2931886
o 2931753
o 2931573
o 2931505
o 2931372
o 2931297
o 2931101
o 2930775
o 2930376
o 2930159
o 2929992
o 2929887
o 2929665
o 2929589
o 2929558
o 2929529
o 2928907
o 2928894
o 2928832
o 2928368
o 2928309
o 2927850
o 2927730
o 2927702
o 2927558
o 2927401
o 2927337
o 2927204
o 2927183
o 2926918
o 2926834
o 2926775
o 2926728
o 2926579
o 2926479
o 2926400
o 2926160
o 2926120
o 2926056
o 2926044
o 2926042
o 2926036
o 2925910
o 2925793
o 2925653
o 2925374
o 2925348
o 2925087
o 2924951
o 2924931
o 2924660
o 2924570
o 2924369
o 2924284
o 2924177
o 2924139
o 2924122
o 2924110
o 2923994
o 2923772
o 2923432
o 2923335
o 2923327
o 2923211
o 2923069
o 2923059
o 2922563
o 2922476
o 2922374
o 2922301
o 2922179
o 2922111
o 2922104
o 2922068
o 2922047
o 2921932
o 2921775
o 2921727
o 2921612
o 2921458
o 2921445
o 2921379
o 2921372
o 2921356
o 2921354
o 2921255
o 2921100
o 2921000
o 2920965
o 2920849
o 2920716
o 2920607
o 2920458
o 2920364
o 2920345
o 2920285
o 2920203
o 2920047
o 2920035
o 2920015
o 2919862
o 2919807
o 2919620
o 2919472
o 2919411
o 2919357
o 2919151
o 2919087
o 2918967
o 2918917
o 2918812
o 2918525
o 2918432
o 2918318
o 2918315
o 2918179
o 2918100
o 2918092
o 2917948
o 2917842
o 2917834
o 2917727
o 2917380
o 2917171
o 2917014
o 2916888
o 2916829
o 2916806
o 2916690
o 2916684
o 2916597
c core #1
c 
c 
c Core size: 5	Core Weight: 1423	Total Weight: 1423
c
c
c core #2
c 
c 
c Core size: 3	Core Weight: 141	Total Weight: 1564
c
c
c core #3
c 
c 
c Core size: 4	Core Weight: 1115	Total Weight: 2679
c
c
c core #4
c 
c 
c Core size: 3	Core Weight: 566	Total Weight: 3245
c
c
c core #5
c 
c 
c Core size: 4	Core Weight: 1168	Total Weight: 4413
c
c
c core #6
c 
c 
c Core size: 5	Core Weight: 1245	Total Weight: 5658
c
c
c core #7
c 
c 
c Core size: 9	Core Weight: 196	Total Weight: 5854
c
c
c core #8
c 
c 
c Core size: 11	Core Weight: 1058	Total Weight: 6912
c
c
c core #9
c 
c 
c Core size: 4	Core Weight: 440	Total Weight: 7352
c
c
c core #10
c 
c 
c Core size: 9	Core Weight: 133	Total Weight: 7485
c
c
c core #11
c 
c 
c Core size: 10	Core Weight: 675	Total Weight: 8160
c
c
c core #12
c 
c 
c Core size: 5	Core Weight: 841	Total Weight: 9001
c
c
c core #13
c 
c 
c Core size: 13	Core Weight: 197	Total Weight: 9198
c
c
c core #14
c 
c 
c Core size: 4	Core Weight: 280	Total Weight: 9478
c
c
c core #15
c 
c 
c Core size: 8	Core Weight: 636	Total Weight: 10114
c
c
c core #16
c 
c 
c Core size: 17	Core Weight: 73	Total Weight: 10187
c
c
c core #17
c 
c 
c Core size: 10	Core Weight: 75	Total Weight: 10262
c
c
c core #18
c 
c 
c Core size: 14	Core Weight: 42	Total Weight: 10304
c
c
c core #19
c 
c 
c Core size: 16	Core Weight: 168	Total Weight: 10472
c
c
c core #20
c 
c 
c Core size: 14	Core Weight: 229	Total Weight: 10701
c
c
c core #21
c 
c 
c Core size: 26	Core Weight: 42	Total Weight: 10743
c
c
c core #22
c 
c 
c Core size: 27	Core Weight: 168	Total Weight: 10911
c
c
c core #23
c 
c 
c Core size: 17	Core Weight: 19	Total Weight: 10930
c
c
c core #24
c 
c 
c Core size: 20	Core Weight: 196	Total Weight: 11126
c
c
c core #25
c 
c 
c Core size: 18	Core Weight: 105	Total Weight: 11231
c
c
c core #26
c 
c 
c Core size: 23	Core Weight: 196	Total Weight: 11427
c
c
c core #27
c 
c 
c Core size: 21	Core Weight: 59	Total Weight: 11486
c
c
c core #28
c 
c 
c Core size: 27	Core Weight: 89	Total Weight: 11575
c
c
c core #29
c 
c 
c Core size: 34	Core Weight: 213	Total Weight: 11788
c
c
c core #30
c 
c 
c Core size: 32	Core Weight: 42	Total Weight: 11830
c
c
c core #31
c 
c 
c Core size: 17	Core Weight: 157	Total Weight: 11987
c
c
c core #32
c 
c 
c Core size: 32	Core Weight: 168	Total Weight: 12155
c
c
c core #33
c 
c 
c Core size: 14	Core Weight: 566	Total Weight: 12721
c
c
c core #34
c 
c 
c Core size: 14	Core Weight: 1223	Total Weight: 13944
c
c
c core #35
c 
c 
c Core size: 14	Core Weight: 539	Total Weight: 14483
c
c
c core #36
c 
c 
c Core size: 32	Core Weight: 108	Total Weight: 14591
c
c
c core #37
c 
c 
c Core size: 9	Core Weight: 307	Total Weight: 14898
c
c
c core #38
c 
c 
c Core size: 11	Core Weight: 471	Total Weight: 15369
c
c
c core #39
c 
c 
c Core size: 33	Core Weight: 42	Total Weight: 15411
c
c
c core #40
c 
c 
c Core size: 34	Core Weight: 2	Total Weight: 15413
c
c
c core #41
c 
c 
c Core size: 28	Core Weight: 204	Total Weight: 15617
c
c
c core #42
c 
c 
c Core size: 29	Core Weight: 100	Total Weight: 15717
c
c
c core #43
c 
c 
c Core size: 36	Core Weight: 204	Total Weight: 15921
c
c
c core #44
c 
c 
c Core size: 32	Core Weight: 336	Total Weight: 16257
c
c
c core #45
c 
c 
c Core size: 13	Core Weight: 254	Total Weight: 16511
c
c
c core #46
c 
c 
c Core size: 33	Core Weight: 119	Total Weight: 16630
c
c
c core #47
c 
c 
c Core size: 14	Core Weight: 64	Total Weight: 16694
c
c
c core #48
c 
c 
c Core size: 47	Core Weight: 125	Total Weight: 16819
c
c
c core #49
c 
c 
c Core size: 35	Core Weight: 148	Total Weight: 16967
c
c
c core #50
c 
c 
c Core size: 36	Core Weight: 20	Total Weight: 16987
c
c
c core #51
c 
c 
c Core size: 55	Core Weight: 23	Total Weight: 17010
c
c
c core #52
c 
c 
c Core size: 54	Core Weight: 9	Total Weight: 17019
c
c
c core #53
c 
c 
c Core size: 48	Core Weight: 68	Total Weight: 17087
c
c
c core #54
c 
c 
c Core size: 51	Core Weight: 40	Total Weight: 17127
c
c
c core #55
c 
c 
c Core size: 17	Core Weight: 73	Total Weight: 17200
c
c
c core #56
c 
c 
c Core size: 17	Core Weight: 112	Total Weight: 17312
c
c
c core #57
c 
c 
c Core size: 8	Core Weight: 632	Total Weight: 17944
c
c
c core #58
c 
c 
c Core size: 19	Core Weight: 199	Total Weight: 18143
c
c
c core #59
c 
c 
c Core size: 15	Core Weight: 165	Total Weight: 18308
c
c
c core #60
c 
c 
c Core size: 16	Core Weight: 9	Total Weight: 18317
c
c
c core #61
c 
c 
c Core size: 16	Core Weight: 205	Total Weight: 18522
c
c
c core #62
c 
c 
c Core size: 19	Core Weight: 28	Total Weight: 18550
c
c
c core #63
c 
c 
c Core size: 19	Core Weight: 7	Total Weight: 18557
c
c
c core #64
c 
c 
c Core size: 26	Core Weight: 473	Total Weight: 19030
c
c
c core #65
c 
c 
c Core size: 27	Core Weight: 205	Total Weight: 19235
c
c
c core #66
c 
c 
c Core size: 21	Core Weight: 285	Total Weight: 19520
c
c
c core #67
c 
c 
c Core size: 24	Core Weight: 114	Total Weight: 19634
c
c
c core #68
c 
c 
c Core size: 33	Core Weight: 376	Total Weight: 20010
c
c
c core #69
c 
c 
c Core size: 10	Core Weight: 361	Total Weight: 20371
c
c
c core #70
c 
c 
c Core size: 14	Core Weight: 928	Total Weight: 21299
c
c
c core #71
c 
c 
c Core size: 19	Core Weight: 21	Total Weight: 21320
c
c
c core #72
c 
c 
c Core size: 42	Core Weight: 54	Total Weight: 21374
c
c
c core #73
c 
c 
c Core size: 18	Core Weight: 318	Total Weight: 21692
c
c
c core #74
c 
c 
c Core size: 14	Core Weight: 3	Total Weight: 21695
c
c
c core #75
c 
c 
c Core size: 49	Core Weight: 54	Total Weight: 21749
c
c
c core #76
c 
c 
c Core size: 47	Core Weight: 17	Total Weight: 21766
c
c
c core #77
c 
c 
c Core size: 47	Core Weight: 7	Total Weight: 21773
c
c
c core #78
c 
c 
c Core size: 50	Core Weight: 1	Total Weight: 21774
c
c
c core #79
c 
c 
c Core size: 50	Core Weight: 127	Total Weight: 21901
c
c
c core #80
c 
c 
c Core size: 50	Core Weight: 6	Total Weight: 21907
c
c
c core #81
c 
c 
c Core size: 42	Core Weight: 153	Total Weight: 22060
c
c
c core #82
c 
c 
c Core size: 52	Core Weight: 6	Total Weight: 22066
c
c
c core #83
c 
c 
c Core size: 14	Core Weight: 15	Total Weight: 22081
c
c
c core #84
c 
c 
c Core size: 53	Core Weight: 9	Total Weight: 22090
c
c
c core #85
c 
c 
c Core size: 14	Core Weight: 790	Total Weight: 22880
c
c
c core #86
c 
c 
c Core size: 53	Core Weight: 102	Total Weight: 22982
c
c
c core #87
c 
c 
c Core size: 54	Core Weight: 49	Total Weight: 23031
c
c
c core #88
c 
c 
c Core size: 44	Core Weight: 2	Total Weight: 23033
c
c
c core #89
c 
c 
c Core size: 43	Core Weight: 463	Total Weight: 23496
c
c
c core #90
c 
c 
c Core size: 17	Core Weight: 109	Total Weight: 23605
c
c
c core #91
c 
c 
c Core size: 36	Core Weight: 21	Total Weight: 23626
c
c
c core #92
c 
c 
c Core size: 41	Core Weight: 150	Total Weight: 23776
c
c
c core #93
c 
c 
c Core size: 54	Core Weight: 94	Total Weight: 23870
c
c
c core #94
c 
c 
c Core size: 17	Core Weight: 487	Total Weight: 24357
c
c
c core #95
c 
c 
c Core size: 61	Core Weight: 28	Total Weight: 24385
c
c
c core #96
c 
c 
c Core size: 36	Core Weight: 54	Total Weight: 24439
c
c
c core #97
c 
c 
c Core size: 44	Core Weight: 39	Total Weight: 24478
c
c
c core #98
c 
c 
c Core size: 28	Core Weight: 131	Total Weight: 24609
c
c
c core #99
c 
c 
c Core size: 28	Core Weight: 126	Total Weight: 24735
c
c
c core #100
c 
c 
c Core size: 27	Core Weight: 33	Total Weight: 24768
c
c
c core #101
c 
c 
c Core size: 21	Core Weight: 40	Total Weight: 24808
c
c
c core #102
c 
c 
c Core size: 56	Core Weight: 5	Total Weight: 24813
c
c
c core #103
c 
c 
c Core size: 55	Core Weight: 17	Total Weight: 24830
c
c
c core #104
c 
c 
c Core size: 46	Core Weight: 14	Total Weight: 24844
c
c
c core #105
c 
c 
c Core size: 77	Core Weight: 5	Total Weight: 24849
c
c
c core #106
c 
c 
c Core size: 14	Core Weight: 1220	Total Weight: 26069
c
c
c core #107
c 
c 
c Core size: 63	Core Weight: 16	Total Weight: 26085
c
c
c core #108
c 
c 
c Core size: 64	Core Weight: 21	Total Weight: 26106
c
c
c core #109
c 
c 
c Core size: 41	Core Weight: 28	Total Weight: 26134
c
c
c core #110
c 
c 
c Core size: 46	Core Weight: 37	Total Weight: 26171
c
c
c core #111
c 
c 
c Core size: 11	Core Weight: 526	Total Weight: 26697
c
c
c core #112
c 
c 
c Core size: 30	Core Weight: 269	Total Weight: 26966
c
c
c core #113
c 
c 
c Core size: 14	Core Weight: 171	Total Weight: 27137
c
c
c core #114
c 
c 
c Core size: 18	Core Weight: 35	Total Weight: 27172
c
c
c core #115
c 
c 
c Core size: 19	Core Weight: 170	Total Weight: 27342
c
c
c core #116
c 
c 
c Core size: 35	Core Weight: 62	Total Weight: 27404
c
c
c core #117
c 
c 
c Core size: 22	Core Weight: 599	Total Weight: 28003
c
c
c core #118
c 
c 
c Core size: 25	Core Weight: 303	Total Weight: 28306
c
c
c core #119
c 
c 
c Core size: 27	Core Weight: 79	Total Weight: 28385
c
c
c core #120
c 
c 
c Core size: 34	Core Weight: 214	Total Weight: 28599
c
c
c core #121
c 
c 
c Core size: 32	Core Weight: 68	Total Weight: 28667
c
c
c core #122
c 
c 
c Core size: 42	Core Weight: 115	Total Weight: 28782
c
c
c core #123
c 
c 
c Core size: 34	Core Weight: 80	Total Weight: 28862
c
c
c core #124
c 
c 
c Core size: 32	Core Weight: 11	Total Weight: 28873
c
c
c core #125
c 
c 
c Core size: 33	Core Weight: 35	Total Weight: 28908
c
c
c core #126
c 
c 
c Core size: 33	Core Weight: 170	Total Weight: 29078
c
c
c core #127
c 
c 
c Core size: 33	Core Weight: 499	Total Weight: 29577
c
c
c core #128
c 
c 
c Core size: 38	Core Weight: 8	Total Weight: 29585
c
c
c core #129
c 
c 
c Core size: 37	Core Weight: 28	Total Weight: 29613
c
c
c core #130
c 
c 
c Core size: 50	Core Weight: 5	Total Weight: 29618
c
c
c core #131
c 
c 
c Core size: 38	Core Weight: 107	Total Weight: 29725
c
c