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-1.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-1.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 2202845
o 2202781
o 2202276
o 2200772
o 2200708
o 2200306
o 2199818
o 2199375
o 2199040
o 2198757
o 2198564
o 2198542
o 2198500
o 2197794
o 2197727
o 2197349
o 2197320
o 2197229
o 2195946
o 2195892
o 2195584
o 2195480
o 2195371
o 2195263
o 2195151
o 2195101
o 2195029
o 2194225
o 2194179
o 2194072
o 2194047
o 2194018
o 2193868
o 2193807
o 2193788
o 2193781
o 2193553
o 2193130
o 2193072
o 2192579
o 2192521
o 2191991
o 2191902
o 2191689
o 2191603
o 2191596
o 2191578
o 2191432
o 2191397
o 2190759
o 2190588
o 2190553
o 2190524
o 2190414
o 2189313
o 2188570
o 2188553
o 2187004
o 2187001
o 2186904
o 2186678
o 2186514
o 2186380
o 2185746
o 2185600
o 2185473
o 2184398
o 2183954
o 2183912
o 2183866
o 2183740
o 2183668
o 2183664
o 2183640
o 2183324
o 2183017
o 2182975
o 2182791
o 2182781
o 2182686
o 2182441
o 2182353
o 2182305
o 2182292
o 2182265
o 2182147
o 2182128
o 2182067
o 2181917
o 2181821
o 2181783
o 2181644
o 2181589
o 2181571
o 2181378
o 2181129
o 2180972
o 2180721
o 2180530
o 2180322
o 2179982
o 2179934
o 2179553
o 2179470
o 2179443
o 2179032
o 2178904
o 2178692
o 2178655
o 2178632
o 2178456
o 2178130
o 2177736
o 2177702
o 2177472
o 2177238
o 2177069
o 2176934
o 2176900
o 2176790
o 2176742
o 2176716
o 2176653
o 2176581
o 2176481
o 2176371
o 2176353
o 2176314
o 2176233
o 2176073
o 2175932
o 2175830
o 2175671
o 2175642
o 2175341
o 2175188
o 2174854
o 2174790
o 2174694
o 2174640
o 2174452
o 2174286
o 2174252
o 2173984
o 2173942
o 2173837
o 2173598
o 2173209
o 2173075
o 2172700
o 2172465
o 2172420
o 2172210
o 2171961
o 2171758
o 2171376
o 2171279
o 2171149
o 2170968
o 2170925
o 2170857
o 2170752
o 2170729
o 2170377
o 2170287
o 2170016
o 2170008
o 2169991
o 2169961
o 2169958
o 2169885
o 2169690
o 2169516
o 2169379
o 2169354
o 2168990
o 2168923
o 2168622
o 2168426
o 2168274
o 2168272
o 2168093
o 2167905
o 2167494
o 2167249
o 2167233
o 2167088
o 2167041
o 2167012
o 2166979
o 2166817
o 2166811
o 2166578
o 2166548
o 2166515
o 2166144
o 2165912
o 2165709
o 2165502
o 2165305
o 2165296
o 2165186
o 2165128
o 2164904
o 2164734
o 2164364
o 2164025
o 2163999
o 2163793
o 2163751
o 2163393
o 2163312
o 2163255
o 2162862
o 2162798
o 2162420
o 2162378
o 2162350
o 2162112
o 2162035
o 2161837
o 2161526
o 2161432
o 2161333
o 2161197
o 2161181
o 2161107
o 2160952
o 2160917
o 2160875
o 2160796
o 2160600
o 2160283
o 2160257
o 2160198
o 2160082
o 2159845
o 2159814
o 2159672
o 2159472
o 2159338
o 2159247
o 2159222
o 2159009
o 2158753
o 2158593
o 2158590
o 2158527
o 2158502
o 2158224
o 2158181
o 2157770
o 2157735
o 2157465
o 2157085
o 2156972
o 2156806
o 2156795
o 2156593
o 2156518
o 2156458
o 2156443
o 2156193
o 2155778
o 2155388
o 2155374
o 2155297
o 2154921
o 2154611
o 2154572
o 2154381
o 2154100
o 2154093
o 2154054
o 2153899
o 2153879
o 2153859
o 2153456
o 2153174
o 2152881
o 2152530
o 2152458
o 2152011
o 2151840
c core #1
c 
c 
c Core size: 3	Core Weight: 536	Total Weight: 536
c
c
c core #2
c 
c 
c Core size: 4	Core Weight: 1489	Total Weight: 2025
c
c
c core #3
c 
c 
c Core size: 4	Core Weight: 1142	Total Weight: 3167
c
c
c core #4
c 
c 
c Core size: 5	Core Weight: 1707	Total Weight: 4874
c
c
c core #5
c 
c 
c Core size: 5	Core Weight: 1524	Total Weight: 6398
c
c
c core #6
c 
c 
c Core size: 3	Core Weight: 639	Total Weight: 7037
c
c
c core #7
c 
c 
c Core size: 3	Core Weight: 441	Total Weight: 7478
c
c
c core #8
c 
c 
c Core size: 5	Core Weight: 1374	Total Weight: 8852
c
c
c core #9
c 
c 
c Core size: 14	Core Weight: 29	Total Weight: 8881
c
c
c core #10
c 
c 
c Core size: 9	Core Weight: 329	Total Weight: 9210
c
c
c core #11
c 
c 
c Core size: 16	Core Weight: 42	Total Weight: 9252
c
c
c core #12
c 
c 
c Core size: 14	Core Weight: 7	Total Weight: 9259
c
c
c core #13
c 
c 
c Core size: 4	Core Weight: 1596	Total Weight: 10855
c
c
c core #14
c 
c 
c Core size: 10	Core Weight: 940	Total Weight: 11795
c
c
c core #15
c 
c 
c Core size: 13	Core Weight: 498	Total Weight: 12293
c
c
c core #16
c 
c 
c Core size: 12	Core Weight: 197	Total Weight: 12490
c
c
c core #17
c 
c 
c Core size: 12	Core Weight: 11	Total Weight: 12501
c
c
c core #18
c 
c 
c Core size: 15	Core Weight: 903	Total Weight: 13404
c
c
c core #19
c 
c 
c Core size: 21	Core Weight: 6	Total Weight: 13410
c
c
c core #20
c 
c 
c Core size: 17	Core Weight: 4	Total Weight: 13414
c
c
c core #21
c 
c 
c Core size: 15	Core Weight: 19	Total Weight: 13433
c
c
c core #22
c 
c 
c Core size: 16	Core Weight: 98	Total Weight: 13531
c
c
c core #23
c 
c 
c Core size: 21	Core Weight: 414	Total Weight: 13945
c
c
c core #24
c 
c 
c Core size: 22	Core Weight: 253	Total Weight: 14198
c
c
c core #25
c 
c 
c Core size: 25	Core Weight: 19	Total Weight: 14217
c
c
c core #26
c 
c 
c Core size: 27	Core Weight: 23	Total Weight: 14240
c
c
c core #27
c 
c 
c Core size: 24	Core Weight: 120	Total Weight: 14360
c
c
c core #28
c 
c 
c Core size: 26	Core Weight: 190	Total Weight: 14550
c
c
c core #29
c 
c 
c Core size: 28	Core Weight: 247	Total Weight: 14797
c
c
c core #30
c 
c 
c Core size: 30	Core Weight: 33	Total Weight: 14830
c
c
c core #31
c 
c 
c Core size: 23	Core Weight: 704	Total Weight: 15534
c
c
c core #32
c 
c 
c Core size: 14	Core Weight: 753	Total Weight: 16287
c
c
c core #33
c 
c 
c Core size: 32	Core Weight: 121	Total Weight: 16408
c
c
c core #34
c 
c 
c Core size: 14	Core Weight: 81	Total Weight: 16489
c
c
c core #35
c 
c 
c Core size: 38	Core Weight: 29	Total Weight: 16518
c
c
c core #36
c 
c 
c Core size: 35	Core Weight: 7	Total Weight: 16525
c
c
c core #37
c 
c 
c Core size: 22	Core Weight: 262	Total Weight: 16787
c
c
c core #38
c 
c 
c Core size: 23	Core Weight: 1	Total Weight: 16788
c
c
c core #39
c 
c 
c Core size: 39	Core Weight: 19	Total Weight: 16807
c
c
c core #40
c 
c 
c Core size: 16	Core Weight: 35	Total Weight: 16842
c
c
c core #41
c 
c 
c Core size: 17	Core Weight: 398	Total Weight: 17240
c
c
c core #42
c 
c 
c Core size: 22	Core Weight: 48	Total Weight: 17288
c
c
c core #43
c 
c 
c Core size: 38	Core Weight: 105	Total Weight: 17393
c
c
c core #44
c 
c 
c Core size: 21	Core Weight: 16	Total Weight: 17409
c
c
c core #45
c 
c 
c Core size: 10	Core Weight: 141	Total Weight: 17550
c
c
c core #46
c 
c 
c Core size: 16	Core Weight: 127	Total Weight: 17677
c
c
c core #47
c 
c 
c Core size: 21	Core Weight: 29	Total Weight: 17706
c
c
c core #48
c 
c 
c Core size: 17	Core Weight: 8	Total Weight: 17714
c
c
c core #49
c 
c 
c Core size: 25	Core Weight: 394	Total Weight: 18108
c
c
c core #50
c 
c 
c Core size: 10	Core Weight: 251	Total Weight: 18359
c
c
c core #51
c 
c 
c Core size: 14	Core Weight: 266	Total Weight: 18625
c
c
c core #52
c 
c 
c Core size: 15	Core Weight: 82	Total Weight: 18707
c
c
c core #53
c 
c 
c Core size: 13	Core Weight: 1054	Total Weight: 19761
c
c
c core #54
c 
c 
c Core size: 14	Core Weight: 1331	Total Weight: 21092
c
c
c core #55
c 
c 
c Core size: 28	Core Weight: 142	Total Weight: 21234
c
c
c core #56
c 
c 
c Core size: 11	Core Weight: 2	Total Weight: 21236
c
c
c core #57
c 
c 
c Core size: 17	Core Weight: 96	Total Weight: 21332
c
c
c core #58
c 
c 
c Core size: 25	Core Weight: 593	Total Weight: 21925
c
c
c core #59
c 
c 
c Core size: 18	Core Weight: 390	Total Weight: 22315
c
c
c core #60
c 
c 
c Core size: 27	Core Weight: 82	Total Weight: 22397
c
c
c core #61
c 
c 
c Core size: 27	Core Weight: 29	Total Weight: 22426
c
c
c core #62
c 
c 
c Core size: 28	Core Weight: 154	Total Weight: 22580
c
c
c core #63
c 
c 
c Core size: 28	Core Weight: 129	Total Weight: 22709
c
c
c core #64
c 
c 
c Core size: 19	Core Weight: 78	Total Weight: 22787
c
c
c core #65
c 
c 
c Core size: 11	Core Weight: 696	Total Weight: 23483
c
c
c core #66
c 
c 
c Core size: 11	Core Weight: 286	Total Weight: 23769
c
c
c core #67
c 
c 
c Core size: 20	Core Weight: 312	Total Weight: 24081
c
c
c core #68
c 
c 
c Core size: 17	Core Weight: 81	Total Weight: 24162
c
c
c core #69
c 
c 
c Core size: 16	Core Weight: 141	Total Weight: 24303
c
c
c core #70
c 
c 
c Core size: 18	Core Weight: 18	Total Weight: 24321
c
c
c core #71
c 
c 
c Core size: 35	Core Weight: 29	Total Weight: 24350
c
c
c core #72
c 
c 
c Core size: 21	Core Weight: 6	Total Weight: 24356
c
c
c core #73
c 
c 
c Core size: 23	Core Weight: 262	Total Weight: 24618
c
c
c core #74
c 
c 
c Core size: 13	Core Weight: 359	Total Weight: 24977
c
c
c core #75
c 
c 
c Core size: 21	Core Weight: 83	Total Weight: 25060
c
c
c core #76
c 
c 
c Core size: 26	Core Weight: 276	Total Weight: 25336
c
c
c core #77
c 
c 
c Core size: 40	Core Weight: 243	Total Weight: 25579
c
c
c core #78
c 
c 
c Core size: 33	Core Weight: 45	Total Weight: 25624
c
c
c core #79
c 
c 
c Core size: 18	Core Weight: 115	Total Weight: 25739
c
c
c core #80
c 
c 
c Core size: 28	Core Weight: 87	Total Weight: 25826
c
c
c core #81
c 
c 
c Core size: 39	Core Weight: 21	Total Weight: 25847
c
c
c core #82
c 
c 
c Core size: 18	Core Weight: 115	Total Weight: 25962
c
c
c core #83
c 
c 
c Core size: 53	Core Weight: 83	Total Weight: 26045
c
c
c core #84
c 
c 
c Core size: 44	Core Weight: 8	Total Weight: 26053
c
c
c core #85
c 
c 
c Core size: 33	Core Weight: 668	Total Weight: 26721
c
c
c core #86
c 
c 
c Core size: 51	Core Weight: 240	Total Weight: 26961
c
c
c core #87
c 
c 
c Core size: 36	Core Weight: 68	Total Weight: 27029
c
c
c core #88
c 
c 
c Core size: 37	Core Weight: 62	Total Weight: 27091
c
c
c core #89
c 
c 
c Core size: 22	Core Weight: 799	Total Weight: 27890
c
c
c core #90
c 
c 
c Core size: 27	Core Weight: 168	Total Weight: 28058
c
c
c core #91
c 
c 
c Core size: 28	Core Weight: 45	Total Weight: 28103
c
c
c core #92
c 
c 
c Core size: 29	Core Weight: 48	Total Weight: 28151
c
c
c core #93
c 
c 
c Core size: 30	Core Weight: 228	Total Weight: 28379
c
c
c core #94
c 
c 
c Core size: 30	Core Weight: 3	Total Weight: 28382
c
c
c core #95
c 
c 
c Core size: 25	Core Weight: 92	Total Weight: 28474
c
c
c core #96
c 
c 
c Core size: 47	Core Weight: 8	Total Weight: 28482
c
c
c core #97
c 
c 
c Core size: 45	Core Weight: 37	Total Weight: 28519
c
c
c core #98
c 
c 
c Core size: 45	Core Weight: 48	Total Weight: 28567
c
c
c core #99
c 
c 
c Core size: 45	Core Weight: 149	Total Weight: 28716
c
c
c core #100
c 
c 
c Core size: 56	Core Weight: 79	Total Weight: 28795
c
c
c core #101
c 
c 
c Core size: 41	Core Weight: 3	Total Weight: 28798
c
c
c core #102
c 
c 
c Core size: 34	Core Weight: 113	Total Weight: 28911
c
c
c core #103
c 
c 
c Core size: 41	Core Weight: 38	Total Weight: 28949
c
c
c core #104
c 
c 
c Core size: 18	Core Weight: 12	Total Weight: 28961
c
c
c core #105
c 
c 
c Core size: 55	Core Weight: 10	Total Weight: 28971
c
c
c core #106
c 
c 
c Core size: 28	Core Weight: 46	Total Weight: 29017
c
c
c core #107
c 
c 
c Core size: 38	Core Weight: 247	Total Weight: 29264
c
c
c core #108
c 
c 
c Core size: 33	Core Weight: 26	Total Weight: 29290
c
c
c core #109
c 
c 
c Core size: 40	Core Weight: 21	Total Weight: 29311
c
c
c core #110
c 
c 
c Core size: 25	Core Weight: 952	Total Weight: 30263
c
c
c core #111
c 
c 
c Core size: 30	Core Weight: 35	Total Weight: 30298
c
c
c core #112
c 
c 
c Core size: 98	Core Weight: 29	Total Weight: 30327
c
c
c core #113
c 
c 
c Core size: 13	Core Weight: 145	Total Weight: 30472
c
c
c core #114
c 
c 
c Core size: 33	Core Weight: 34	Total Weight: 30506
c
c
c core #115
c 
c 
c Core size: 40	Core Weight: 31	Total Weight: 30537
c
c
c core #116
c 
c 
c Core size: 103	Core Weight: 44	Total Weight: 30581
c
c
c core #117
c 
c 
c Core size: 98	Core Weight: 4	Total Weight: 30585
c
c
c core #118
c 
c 
c Core size: 15	Core Weight: 624	Total Weight: 31209
c
c
c core #119
c 
c 
c Core size: 24	Core Weight: 83	Total Weight: 31292
c
c
c core #120
c 
c 
c Core size: 22	Core Weight: 247	Total Weight: 31539
c
c
c core #121
c 
c 
c Core size: 22	Core Weight: 13	Total Weight: 31552
c
c
c core #122
c 
c 
c Core size: 16	Core Weight: 534	Total Weight: 32086
c
c
c core #123
c 
c 
c Core size: 18	Core Weight: 87	Total Weight: 32173
c
c
c core #124
c 
c 
c Core size: 36	Core Weight: 12	Total Weight: 32185
c
c