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-10.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-50-2_network-10.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 1575625
o 1574005
o 1573687
o 1568663
o 1560558
o 1560447
o 1559174
o 1559107
o 1559077
o 1558961
o 1558937
o 1558931
o 1558841
o 1558741
o 1558572
o 1557816
o 1557272
o 1557059
o 1556660
o 1556618
o 1556543
o 1556532
o 1556507
o 1556449
o 1556394
o 1555925
o 1555772
o 1555631
o 1555442
o 1555386
o 1555297
o 1555150
o 1554503
o 1554307
o 1554146
o 1554097
o 1553984
o 1553869
o 1553696
o 1553645
o 1553522
o 1553223
o 1552836
o 1552476
o 1551633
o 1551583
o 1551416
o 1551351
o 1551040
o 1551030
o 1550978
o 1550468
o 1550453
o 1550432
o 1550315
o 1549943
o 1549830
o 1549624
o 1549599
o 1549587
o 1549517
o 1549483
o 1549444
o 1549391
o 1549386
o 1549254
o 1549134
o 1548796
o 1548742
o 1548453
o 1548357
o 1548349
o 1548262
o 1548203
o 1548158
o 1548083
o 1547864
o 1547691
o 1547511
o 1547470
o 1547431
o 1547392
o 1547191
o 1547118
o 1547109
o 1546697
o 1546662
o 1546657
o 1546372
o 1546289
o 1546252
o 1546103
o 1546052
o 1546036
o 1545971
o 1545674
o 1545401
o 1545228
o 1544828
o 1544487
o 1544312
o 1544062
o 1543904
o 1543769
o 1543520
o 1543499
o 1543125
o 1543087
o 1543084
o 1543076
o 1542924
o 1542864
o 1542665
o 1542643
o 1542467
o 1542105
o 1542066
o 1541969
o 1541737
o 1541520
o 1541514
o 1541445
o 1541410
o 1541249
o 1541143
o 1540977
o 1540849
o 1540469
o 1540450
o 1540377
o 1540201
o 1540009
o 1539902
o 1539891
o 1539888
o 1539579
o 1539418
o 1539405
o 1539166
o 1538863
o 1538712
o 1538393
o 1538348
o 1537989
o 1537869
o 1537547
o 1537291
o 1537281
o 1537221
o 1537009
o 1536971
o 1536884
o 1536750
o 1536737
o 1536620
o 1536146
o 1536086
o 1536065
o 1535961
o 1535949
o 1535763
o 1535615
o 1535340
o 1535328
o 1535016
o 1535011
o 1534960
o 1534952
o 1534927
o 1534900
o 1534790
o 1534750
o 1534723
o 1534684
o 1534651
o 1534548
o 1534527
o 1534465
o 1534457
o 1534353
o 1533837
o 1533762
o 1533732
o 1533685
o 1533535
o 1533267
o 1533127
o 1532768
o 1532307
o 1532292
o 1532146
o 1532097
o 1531967
o 1531899
o 1531739
o 1531574
o 1531518
o 1531414
o 1531095
o 1530968
o 1530532
o 1530447
o 1530434
o 1530280
o 1530272
o 1529955
o 1529705
o 1529425
o 1529297
o 1529216
o 1529203
o 1528961
o 1528741
o 1528658
o 1528517
o 1528513
o 1528422
o 1528280
o 1528166
o 1528145
o 1528123
o 1528077
o 1528001
o 1527922
o 1527722
o 1527419
o 1527389
o 1527040
o 1526879
o 1526473
o 1526025
o 1525989
o 1525887
o 1525337
o 1525201
o 1524968
o 1524869
o 1524642
o 1524580
o 1524542
o 1524424
o 1524286
o 1524068
o 1523957
o 1523874
o 1523746
o 1523656
o 1523403
o 1522980
o 1522962
o 1522840
o 1522787
o 1522780
o 1522753
o 1522617
o 1522289
o 1522161
o 1522159
o 1522078
o 1522049
o 1521947
o 1521792
o 1521760
o 1521577
o 1521502
o 1521474
o 1521209
o 1521198
o 1521082
o 1520858
o 1520745
o 1520699
o 1520687
o 1520556
o 1520465
o 1520013
o 1519944
c core #1
c 
c 
c Core size: 5	Core Weight: 1327	Total Weight: 1327
c
c
c core #2
c 
c 
c Core size: 4	Core Weight: 1118	Total Weight: 2445
c
c
c core #3
c 
c 
c Core size: 3	Core Weight: 837	Total Weight: 3282
c
c
c core #4
c 
c 
c Core size: 5	Core Weight: 1602	Total Weight: 4884
c
c
c core #5
c 
c 
c Core size: 3	Core Weight: 916	Total Weight: 5800
c
c
c core #6
c 
c 
c Core size: 5	Core Weight: 1165	Total Weight: 6965
c
c
c core #7
c 
c 
c Core size: 5	Core Weight: 1288	Total Weight: 8253
c
c
c core #8
c 
c 
c Core size: 3	Core Weight: 149	Total Weight: 8402
c
c
c core #9
c 
c 
c Core size: 3	Core Weight: 996	Total Weight: 9398
c
c
c core #10
c 
c 
c Core size: 4	Core Weight: 243	Total Weight: 9641
c
c
c core #11
c 
c 
c Core size: 11	Core Weight: 756	Total Weight: 10397
c
c
c core #12
c 
c 
c Core size: 9	Core Weight: 8	Total Weight: 10405
c
c
c core #13
c 
c 
c Core size: 12	Core Weight: 1635	Total Weight: 12040
c
c
c core #14
c 
c 
c Core size: 19	Core Weight: 158	Total Weight: 12198
c
c
c core #15
c 
c 
c Core size: 7	Core Weight: 173	Total Weight: 12371
c
c
c core #16
c 
c 
c Core size: 9	Core Weight: 194	Total Weight: 12565
c
c
c core #17
c 
c 
c Core size: 10	Core Weight: 282	Total Weight: 12847
c
c
c core #18
c 
c 
c Core size: 8	Core Weight: 91	Total Weight: 12938
c
c
c core #19
c 
c 
c Core size: 11	Core Weight: 244	Total Weight: 13182
c
c
c core #20
c 
c 
c Core size: 12	Core Weight: 64	Total Weight: 13246
c
c
c core #21
c 
c 
c Core size: 8	Core Weight: 832	Total Weight: 14078
c
c
c core #22
c 
c 
c Core size: 12	Core Weight: 282	Total Weight: 14360
c
c
c core #23
c 
c 
c Core size: 12	Core Weight: 155	Total Weight: 14515
c
c
c core #24
c 
c 
c Core size: 11	Core Weight: 489	Total Weight: 15004
c
c
c core #25
c 
c 
c Core size: 14	Core Weight: 13	Total Weight: 15017
c
c
c core #26
c 
c 
c Core size: 12	Core Weight: 169	Total Weight: 15186
c
c
c core #27
c 
c 
c Core size: 21	Core Weight: 556	Total Weight: 15742
c
c
c core #28
c 
c 
c Core size: 14	Core Weight: 1041	Total Weight: 16783
c
c
c core #29
c 
c 
c Core size: 18	Core Weight: 198	Total Weight: 16981
c
c
c core #30
c 
c 
c Core size: 22	Core Weight: 23	Total Weight: 17004
c
c
c core #31
c 
c 
c Core size: 23	Core Weight: 206	Total Weight: 17210
c
c
c core #32
c 
c 
c Core size: 27	Core Weight: 523	Total Weight: 17733
c
c
c core #33
c 
c 
c Core size: 44	Core Weight: 158	Total Weight: 17891
c
c
c core #34
c 
c 
c Core size: 41	Core Weight: 48	Total Weight: 17939
c
c
c core #35
c 
c 
c Core size: 17	Core Weight: 131	Total Weight: 18070
c
c
c core #36
c 
c 
c Core size: 13	Core Weight: 29	Total Weight: 18099
c
c
c core #37
c 
c 
c Core size: 33	Core Weight: 180	Total Weight: 18279
c
c
c core #38
c 
c 
c Core size: 13	Core Weight: 199	Total Weight: 18478
c
c
c core #39
c 
c 
c Core size: 19	Core Weight: 347	Total Weight: 18825
c
c
c core #40
c 
c 
c Core size: 11	Core Weight: 470	Total Weight: 19295
c
c
c core #41
c 
c 
c Core size: 17	Core Weight: 138	Total Weight: 19433
c
c
c core #42
c 
c 
c Core size: 13	Core Weight: 260	Total Weight: 19693
c
c
c core #43
c 
c 
c Core size: 17	Core Weight: 43	Total Weight: 19736
c
c
c core #44
c 
c 
c Core size: 29	Core Weight: 17	Total Weight: 19753
c
c
c core #45
c 
c 
c Core size: 18	Core Weight: 65	Total Weight: 19818
c
c
c core #46
c 
c 
c Core size: 20	Core Weight: 642	Total Weight: 20460
c
c
c core #47
c 
c 
c Core size: 16	Core Weight: 929	Total Weight: 21389
c
c
c core #48
c 
c 
c Core size: 12	Core Weight: 697	Total Weight: 22086
c
c
c core #49
c 
c 
c Core size: 21	Core Weight: 113	Total Weight: 22199
c
c
c core #50
c 
c 
c Core size: 14	Core Weight: 318	Total Weight: 22517
c
c
c core #51
c 
c 
c Core size: 20	Core Weight: 17	Total Weight: 22534
c
c
c core #52
c 
c 
c Core size: 22	Core Weight: 133	Total Weight: 22667
c
c
c core #53
c 
c 
c Core size: 29	Core Weight: 246	Total Weight: 22913
c
c
c core #54
c 
c 
c Core size: 18	Core Weight: 52	Total Weight: 22965
c
c
c core #55
c 
c 
c Core size: 21	Core Weight: 64	Total Weight: 23029
c
c
c core #56
c 
c 
c Core size: 24	Core Weight: 176	Total Weight: 23205
c
c
c core #57
c 
c 
c Core size: 27	Core Weight: 555	Total Weight: 23760
c
c
c core #58
c 
c 
c Core size: 28	Core Weight: 166	Total Weight: 23926
c
c
c core #59
c 
c 
c Core size: 33	Core Weight: 998	Total Weight: 24924
c
c
c core #60
c 
c 
c Core size: 36	Core Weight: 78	Total Weight: 25002
c
c
c core #61
c 
c 
c Core size: 53	Core Weight: 9	Total Weight: 25011
c
c
c core #62
c 
c 
c Core size: 32	Core Weight: 91	Total Weight: 25102
c
c
c core #63
c 
c 
c Core size: 35	Core Weight: 75	Total Weight: 25177
c
c
c core #64
c 
c 
c Core size: 36	Core Weight: 91	Total Weight: 25268
c
c
c core #65
c 
c 
c Core size: 34	Core Weight: 116	Total Weight: 25384
c
c
c core #66
c 
c 
c Core size: 39	Core Weight: 33	Total Weight: 25417
c
c
c core #67
c 
c 
c Core size: 23	Core Weight: 101	Total Weight: 25518
c
c
c core #68
c 
c 
c Core size: 43	Core Weight: 375	Total Weight: 25893
c
c
c core #69
c 
c 
c Core size: 37	Core Weight: 248	Total Weight: 26141
c
c
c core #70
c 
c 
c Core size: 18	Core Weight: 111	Total Weight: 26252
c
c
c core #71
c 
c 
c Core size: 37	Core Weight: 2	Total Weight: 26254
c
c
c core #72
c 
c 
c Core size: 36	Core Weight: 4	Total Weight: 26258
c
c
c core #73
c 
c 
c Core size: 39	Core Weight: 66	Total Weight: 26324
c
c
c core #74
c 
c 
c Core size: 70	Core Weight: 9	Total Weight: 26333
c
c
c core #75
c 
c 
c Core size: 40	Core Weight: 5	Total Weight: 26338
c
c
c core #76
c 
c 
c Core size: 16	Core Weight: 5	Total Weight: 26343
c
c
c core #77
c 
c 
c Core size: 22	Core Weight: 333	Total Weight: 26676
c
c
c core #78
c 
c 
c Core size: 29	Core Weight: 141	Total Weight: 26817
c
c
c core #79
c 
c 
c Core size: 39	Core Weight: 3	Total Weight: 26820
c
c
c core #80
c 
c 
c Core size: 35	Core Weight: 113	Total Weight: 26933
c
c
c core #81
c 
c 
c Core size: 42	Core Weight: 56	Total Weight: 26989
c
c
c core #82
c 
c 
c Core size: 8	Core Weight: 204	Total Weight: 27193
c
c
c core #83
c 
c 
c Core size: 14	Core Weight: 193	Total Weight: 27386
c
c
c core #84
c 
c 
c Core size: 24	Core Weight: 517	Total Weight: 27903
c
c
c core #85
c 
c 
c Core size: 28	Core Weight: 6	Total Weight: 27909
c
c
c core #86
c 
c 
c Core size: 40	Core Weight: 20	Total Weight: 27929
c
c
c core #87
c 
c 
c Core size: 48	Core Weight: 33	Total Weight: 27962
c
c
c core #88
c 
c 
c Core size: 21	Core Weight: 10	Total Weight: 27972
c
c
c core #89
c 
c 
c Core size: 24	Core Weight: 15	Total Weight: 27987
c
c
c core #90
c 
c 
c Core size: 16	Core Weight: 543	Total Weight: 28530
c
c
c core #91
c 
c 
c Core size: 21	Core Weight: 469	Total Weight: 28999
c
c
c core #92
c 
c 
c Core size: 24	Core Weight: 77	Total Weight: 29076
c
c
c core #93
c 
c 
c Core size: 22	Core Weight: 635	Total Weight: 29711
c
c
c core #94
c 
c 
c Core size: 26	Core Weight: 76	Total Weight: 29787
c
c
c core #95
c 
c 
c Core size: 32	Core Weight: 21	Total Weight: 29808
c
c
c core #96
c 
c 
c Core size: 37	Core Weight: 34	Total Weight: 29842
c
c
c core #97
c 
c 
c Core size: 33	Core Weight: 313	Total Weight: 30155
c
c
c core #98
c 
c 
c Core size: 28	Core Weight: 31	Total Weight: 30186
c
c
c core #99
c 
c 
c Core size: 36	Core Weight: 55	Total Weight: 30241
c
c
c core #100
c 
c 
c Core size: 34	Core Weight: 488	Total Weight: 30729
c
c
c core #101
c 
c 
c Core size: 34	Core Weight: 304	Total Weight: 31033
c
c
c core #102
c 
c 
c Core size: 35	Core Weight: 65	Total Weight: 31098
c
c
c core #103
c 
c 
c Core size: 34	Core Weight: 2	Total Weight: 31100
c
c
c core #104
c 
c 
c Core size: 51	Core Weight: 63	Total Weight: 31163
c
c
c core #105
c 
c 
c Core size: 51	Core Weight: 3	Total Weight: 31166
c
c
c core #106
c 
c 
c Core size: 58	Core Weight: 91	Total Weight: 31257
c
c
c core #107
c 
c 
c Core size: 61	Core Weight: 3	Total Weight: 31260
c
c
c core #108
c 
c 
c Core size: 64	Core Weight: 32	Total Weight: 31292
c
c
c core #109
c 
c 
c Core size: 61	Core Weight: 23	Total Weight: 31315
c
c
c core #110
c 
c 
c Core size: 57	Core Weight: 30	Total Weight: 31345
c
c
c core #111
c 
c 
c Core size: 49	Core Weight: 36	Total Weight: 31381
c
c
c core #112
c 
c 
c Core size: 55	Core Weight: 114	Total Weight: 31495
c
c
c core #113
c 
c 
c Core size: 65	Core Weight: 3	Total Weight: 31498
c
c
c core #114
c 
c 
c Core size: 47	Core Weight: 57	Total Weight: 31555
c
c
c core #115
c 
c 
c Core size: 37	Core Weight: 263	Total Weight: 31818
c
c
c core #116
c 
c 
c Core size: 59	Core Weight: 86	Total Weight: 31904
c
c
c core #117
c 
c 
c Core size: 50	Core Weight: 3	Total Weight: 31907
c
c
c core #118
c 
c 
c Core size: 33	Core Weight: 479	Total Weight: 32386
c
c
c core #119
c 
c 
c Core size: 51	Core Weight: 70	Total Weight: 32456
c
c
c core #120
c 
c 
c Core size: 47	Core Weight: 7	Total Weight: 32463
c
c
c core #121
c 
c 
c Core size: 41	Core Weight: 6	Total Weight: 32469
c
c
c core #122
c 
c 
c Core size: 56	Core Weight: 91	Total Weight: 32560
c
c
c core #123
c 
c 
c Core size: 55	Core Weight: 109	Total Weight: 32669
c
c
c core #124
c 
c 
c Core size: 66	Core Weight: 23	Total Weight: 32692
c
c
c core #125
c 
c 
c Core size: 50	Core Weight: 45	Total Weight: 32737
c
c
c core #126
c 
c 
c Core size: 53	Core Weight: 40	Total Weight: 32777
c
c
c core #127
c 
c 
c Core size: 58	Core Weight: 62	Total Weight: 32839
c
c
c core #128
c 
c 
c Core size: 52	Core Weight: 10	Total Weight: 32849
c
c
c core #129
c 
c 
c Core size: 46	Core Weight: 358	Total Weight: 33207
c
c
c core #130
c 
c 
c Core size: 57	Core Weight: 3	Total Weight: 33210
c
c
c core #131
c 
c 
c Core size: 72	Core Weight: 64	Total Weight: 33274
c
c
c core #132
c 
c 
c Core size: 73	Core Weight: 40	Total Weight: 33314
c
c
c core #133
c 
c 
c Core size: 54	Core Weight: 144	Total Weight: 33458
c
c
c core #134
c 
c 
c Core size: 50	Core Weight: 165	Total Weight: 33623
c
c
c core #135
c 
c 
c Core size: 70	Core Weight: 5	Total Weight: 33628
c
c
c core #136
c 
c 
c Core size: 56	Core Weight: 144	Total Weight: 33772
c
c
c core #137
c 
c 
c Core size: 23	Core Weight: 784	Total Weight: 34556
c
c
c core #138
c 
c 
c Core size: 27	Core Weight: 290	Total Weight: 34846
c
c
c core #139
c 
c 
c Core size: 29	Core Weight: 31	Total Weight: 34877
c
c
c core #140
c 
c 
c Core size: 93	Core Weight: 2	Total Weight: 34879
c
c
c core #141
c 
c 
c Core size: 43	Core Weight: 9	Total Weight: 34888
c
c
c core #142
c 
c 
c Core size: 38	Core Weight: 23	Total Weight: 34911
c
c
c core #143
c 
c 
c Core size: 58	Core Weight: 138	Total Weight: 35049
c
c
c core #144
c 
c 
c Core size: 22	Core Weight: 120	Total Weight: 35169
c
c
c core #145
c 
c 
c Core size: 38	Core Weight: 161	Total Weight: 35330
c
c
c core #146
c 
c 
c Core size: 34	Core Weight: 511	Total Weight: 35841
c
c
c core #147
c 
c 
c Core size: 118	Core Weight: 1	Total Weight: 35842
c
c
c core #148
c 
c 
c Core size: 27	Core Weight: 157	Total Weight: 35999
c
c
c core #149
c 
c 
c Core size: 39	Core Weight: 130	Total Weight: 36129
c
c
c core #150
c 
c 
c Core size: 23	Core Weight: 192	Total Weight: 36321
c
c
c core #151
c 
c 
c Core size: 88	Core Weight: 20	Total Weight: 36341
c
c
c core #152
c 
c 
c Core size: 104	Core Weight: 32	Total Weight: 36373
c
c
c core #153
c 
c 
c Core size: 14	Core Weight: 131	Total Weight: 36504
c
c
c core #154
c 
c 
c Core size: 46	Core Weight: 68	Total Weight: 36572
c
c
c core #155
c 
c 
c Core size: 40	Core Weight: 188	Total Weight: 36760
c
c
c core #156
c 
c 
c Core size: 128	Core Weight: 2	Total Weight: 36762
c
c
c core #157
c 
c 
c Core size: 25	Core Weight: 263	Total Weight: 37025
c
c
c core #158
c 
c 
c Core size: 24	Core Weight: 574	Total Weight: 37599
c
c
c core #159
c 
c 
c Core size: 93	Core Weight: 10	Total Weight: 37609
c
c
c core #160
c 
c 
c Core size: 93	Core Weight: 9	Total Weight: 37618
c
c
c core #161
c 
c 
c Core size: 108	Core Weight: 3	Total Weight: 37621
c
c
c core #162
c 
c 
c Core size: 38	Core Weight: 46	Total Weight: 37667
c
c
c core #163
c 
c 
c Core size: 73	Core Weight: 10	Total Weight: 37677
c
c
c core #164
c 
c 
c Core size: 27	Core Weight: 63	Total Weight: 37740
c
c
c core #165
c 
c 
c Core size: 52	Core Weight: 3	Total Weight: 37743
c
c
c core #166
c 
c 
c Core size: 119	Core Weight: 2	Total Weight: 37745
c
c