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-9.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-9.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 1753986
o 1753828
o 1753313
o 1752863
o 1751836
o 1751468
o 1751454
o 1751386
o 1751121
o 1750921
o 1750126
o 1749718
o 1748869
o 1747062
o 1747031
o 1746974
o 1746668
o 1746490
o 1746169
o 1745692
o 1745193
o 1744995
o 1744897
o 1744604
o 1744507
o 1744476
o 1743738
o 1743370
o 1742722
o 1742293
o 1741865
o 1741233
o 1740157
o 1740126
o 1738941
o 1738662
o 1738254
o 1737597
o 1737437
o 1737409
o 1737381
o 1737351
o 1737323
o 1737315
o 1737160
o 1737149
o 1737142
o 1737092
o 1736935
o 1736928
o 1736884
o 1736868
o 1736809
o 1736309
o 1736254
o 1736176
o 1736006
o 1735988
o 1735934
o 1735706
o 1735451
o 1735262
o 1734819
o 1734747
o 1734544
o 1734542
o 1734485
o 1734321
o 1733961
o 1733769
o 1733746
o 1733409
o 1733311
o 1733238
o 1733192
o 1733062
o 1733034
o 1732987
o 1732916
o 1732578
o 1732421
o 1732303
o 1732207
o 1732127
o 1731954
o 1731765
o 1731697
o 1731667
o 1731523
o 1731175
o 1730891
o 1730823
o 1730417
o 1729889
o 1729864
o 1729730
o 1729671
o 1729636
o 1729536
o 1729534
o 1729533
o 1729507
o 1729263
o 1728632
o 1728585
o 1728340
o 1728333
o 1728327
o 1728242
o 1728082
o 1728054
o 1727910
o 1727870
o 1727756
o 1727595
o 1727541
o 1727484
o 1727465
o 1727451
o 1727253
o 1727198
o 1727066
o 1727007
o 1726835
o 1726725
o 1726633
o 1726607
o 1726511
o 1726357
o 1726054
o 1726031
o 1725961
o 1725722
o 1725683
o 1725674
o 1725639
o 1725545
o 1725124
o 1725113
o 1724932
o 1724829
o 1724781
o 1724728
o 1724684
o 1724597
o 1724589
o 1724476
o 1724417
o 1724409
o 1724362
o 1724294
o 1724293
o 1724235
o 1724165
o 1723938
o 1723853
o 1723814
o 1723807
o 1723746
o 1723653
o 1723567
o 1723518
o 1723377
o 1723349
o 1723315
o 1723188
o 1723000
o 1722943
o 1722899
o 1722886
o 1722767
o 1722721
o 1722688
o 1722604
o 1722539
o 1722496
o 1722395
o 1722328
o 1722296
o 1722131
o 1722127
o 1722125
o 1722043
o 1721840
o 1721797
o 1721697
o 1721668
o 1721533
o 1721519
o 1721330
o 1721321
o 1721302
o 1721285
o 1721252
o 1721082
o 1721061
o 1721047
o 1721010
o 1720962
o 1720759
o 1720491
o 1720448
o 1720447
o 1720388
o 1720200
o 1720141
o 1719888
o 1719851
o 1719475
o 1719448
o 1719329
o 1719327
o 1719270
o 1719206
o 1719186
o 1719099
o 1719072
o 1718739
o 1718702
o 1718586
o 1718156
o 1718115
o 1718106
o 1718101
o 1717668
o 1717631
o 1717607
o 1717595
o 1717558
o 1717531
o 1717373
o 1717367
o 1717353
o 1717293
o 1717262
o 1717261
o 1717249
o 1717147
o 1717093
o 1716975
o 1716946
o 1716911
o 1716841
o 1716782
o 1716638
o 1716573
o 1716441
o 1716439
o 1716412
o 1716382
o 1716363
o 1716289
o 1716230
o 1716211
o 1716177
o 1716078
o 1716008
o 1715996
o 1715869
o 1715839
o 1715820
o 1715767
o 1715723
o 1715695
o 1715664
o 1715561
o 1715425
o 1715400
o 1715399
o 1715381
o 1715331
o 1715294
o 1715268
o 1715186
o 1715170
o 1715164
o 1715023
o 1715010
o 1714969
o 1714685
o 1714645
o 1714500
o 1714489
o 1714135
o 1714066
o 1713917
o 1713801
o 1713703
o 1713682
o 1713510
o 1713382
o 1713163
o 1713113
o 1713108
o 1713038
o 1712892
o 1712865
o 1712853
o 1712689
o 1712649
o 1712615
o 1712566
o 1712508
o 1712474
o 1712394
o 1712372
o 1712179
o 1712142
o 1712081
o 1711813
o 1711781
o 1711741
o 1711682
o 1711474
o 1711334
o 1711327
o 1711049
o 1711047
o 1711001
o 1710840
o 1710827
o 1710810
o 1710751
o 1710701
o 1710586
o 1710462
o 1710285
o 1710206
o 1710147
o 1710127
o 1710066
o 1710042
o 1709975
o 1709904
o 1709883
o 1709743
o 1709716
o 1709645
o 1709528
o 1709490
o 1709453
o 1709359
o 1709165
o 1709158
o 1709119
o 1708817
o 1708774
o 1708683
o 1708631
o 1708423
o 1708340
o 1708336
o 1708322
o 1708257
o 1708215
o 1708159
o 1708121
o 1708111
o 1708095
o 1708080
o 1707938
o 1707767
o 1707695
o 1707670
o 1707477
o 1707470
o 1707211
o 1707159
o 1706891
o 1706854
o 1706839
o 1706806
o 1706734
o 1706729
o 1706705
o 1706683
o 1706626
o 1706625
o 1706494
o 1706461
o 1706406
o 1706391
o 1706333
o 1706249
o 1706221
o 1706115
o 1706037
o 1705988
o 1705909
o 1705876
o 1705773
o 1705642
o 1705585
o 1705569
o 1705440
o 1705435
o 1705403
o 1705342
o 1705338
o 1705330
o 1705262
o 1705145
o 1705131
o 1705072
o 1705044
o 1704963
o 1704878
o 1704762
o 1704745
o 1704723
o 1704708
o 1704675
o 1704637
o 1704612
o 1704552
o 1704335
o 1704308
o 1704296
o 1704264
o 1704176
o 1704175
o 1704026
o 1703874
o 1703873
o 1703740
o 1703604
o 1703520
o 1703482
o 1703353
o 1703255
o 1703226
o 1703186
o 1703090
o 1703008
o 1702890
o 1702810
o 1702629
o 1702613
o 1702579
o 1702532
o 1702509
o 1702413
o 1702261
o 1702239
o 1702166
o 1702151
o 1702060
o 1702024
o 1701914
o 1701732
o 1701715
o 1701692
o 1701531
o 1701516
o 1701476
o 1701340
o 1700984
o 1700752
o 1700606
o 1700508
o 1700501
o 1700469
o 1700412
o 1700411
o 1700340
o 1700248
o 1700177
o 1700006
o 1699974
o 1699895
o 1699772
o 1699596
o 1699524
o 1699393
o 1699279
o 1699267
o 1699164
o 1699048
o 1698854
o 1698853
o 1698753
o 1698634
o 1698584
o 1698481
o 1698424
o 1698365
o 1698193
o 1698109
o 1698065
o 1698016
o 1697954
o 1697851
o 1697795
o 1697683
o 1697499
o 1697486
o 1697331
o 1697299
o 1697236
o 1697219
o 1697125
o 1697031
o 1696858
o 1696764
o 1696562
o 1696529
o 1696409
o 1696342
o 1696185
o 1695971
o 1695840
o 1695779
o 1695535
o 1695443
o 1695386
o 1695183
o 1695142
o 1695111
o 1694909
o 1694822
o 1694777
o 1694664
o 1694552
o 1694467
o 1694431
o 1694402
o 1694377
o 1694357
o 1694283
o 1694109
o 1694056
o 1693938
o 1693892
o 1693596
o 1693584
o 1693560
o 1693543
c core #1
c 
c 
c Core size: 3	Core Weight: 964	Total Weight: 964
c
c
c core #2
c 
c 
c Core size: 5	Core Weight: 1390	Total Weight: 2354
c
c
c core #3
c 
c 
c Core size: 4	Core Weight: 1099	Total Weight: 3453
c
c
c core #4
c 
c 
c Core size: 5	Core Weight: 1497	Total Weight: 4950
c
c
c core #5
c 
c 
c Core size: 3	Core Weight: 450	Total Weight: 5400
c
c
c core #6
c 
c 
c Core size: 4	Core Weight: 268	Total Weight: 5668
c
c
c core #7
c 
c 
c Core size: 9	Core Weight: 515	Total Weight: 6183
c
c
c core #8
c 
c 
c Core size: 10	Core Weight: 31	Total Weight: 6214
c
c
c core #9
c 
c 
c Core size: 5	Core Weight: 822	Total Weight: 7036
c
c
c core #10
c 
c 
c Core size: 9	Core Weight: 514	Total Weight: 7550
c
c
c core #11
c 
c 
c Core size: 3	Core Weight: 834	Total Weight: 8384
c
c
c core #12
c 
c 
c Core size: 9	Core Weight: 57	Total Weight: 8441
c
c
c core #13
c 
c 
c Core size: 10	Core Weight: 30	Total Weight: 8471
c
c
c core #14
c 
c 
c Core size: 16	Core Weight: 128	Total Weight: 8599
c
c
c core #15
c 
c 
c Core size: 13	Core Weight: 261	Total Weight: 8860
c
c
c core #16
c 
c 
c Core size: 12	Core Weight: 135	Total Weight: 8995
c
c
c core #17
c 
c 
c Core size: 11	Core Weight: 533	Total Weight: 9528
c
c
c core #18
c 
c 
c Core size: 11	Core Weight: 802	Total Weight: 10330
c
c
c core #19
c 
c 
c Core size: 11	Core Weight: 114	Total Weight: 10444
c
c
c core #20
c 
c 
c Core size: 11	Core Weight: 406	Total Weight: 10850
c
c
c core #21
c 
c 
c Core size: 12	Core Weight: 243	Total Weight: 11093
c
c
c core #22
c 
c 
c Core size: 13	Core Weight: 253	Total Weight: 11346
c
c
c core #23
c 
c 
c Core size: 14	Core Weight: 624	Total Weight: 11970
c
c
c core #24
c 
c 
c Core size: 19	Core Weight: 781	Total Weight: 12751
c
c
c core #25
c 
c 
c Core size: 19	Core Weight: 94	Total Weight: 12845
c
c
c core #26
c 
c 
c Core size: 26	Core Weight: 94	Total Weight: 12939
c
c
c core #27
c 
c 
c Core size: 18	Core Weight: 173	Total Weight: 13112
c
c
c core #28
c 
c 
c Core size: 8	Core Weight: 1162	Total Weight: 14274
c
c
c core #29
c 
c 
c Core size: 13	Core Weight: 334	Total Weight: 14608
c
c
c core #30
c 
c 
c Core size: 11	Core Weight: 1076	Total Weight: 15684
c
c
c core #31
c 
c 
c Core size: 16	Core Weight: 59	Total Weight: 15743
c
c
c core #32
c 
c 
c Core size: 19	Core Weight: 199	Total Weight: 15942
c
c
c core #33
c 
c 
c Core size: 19	Core Weight: 43	Total Weight: 15985
c
c
c core #34
c 
c 
c Core size: 22	Core Weight: 21	Total Weight: 16006
c
c
c core #35
c 
c 
c Core size: 26	Core Weight: 59	Total Weight: 16065
c
c
c core #36
c 
c 
c Core size: 22	Core Weight: 126	Total Weight: 16191
c
c
c core #37
c 
c 
c Core size: 25	Core Weight: 13	Total Weight: 16204
c
c
c core #38
c 
c 
c Core size: 30	Core Weight: 58	Total Weight: 16262
c
c
c core #39
c 
c 
c Core size: 28	Core Weight: 98	Total Weight: 16360
c
c
c core #40
c 
c 
c Core size: 41	Core Weight: 59	Total Weight: 16419
c
c
c core #41
c 
c 
c Core size: 34	Core Weight: 11	Total Weight: 16430
c
c
c core #42
c 
c 
c Core size: 41	Core Weight: 58	Total Weight: 16488
c
c
c core #43
c 
c 
c Core size: 33	Core Weight: 71	Total Weight: 16559
c
c
c core #44
c 
c 
c Core size: 29	Core Weight: 266	Total Weight: 16825
c
c
c core #45
c 
c 
c Core size: 45	Core Weight: 71	Total Weight: 16896
c
c
c core #46
c 
c 
c Core size: 30	Core Weight: 5	Total Weight: 16901
c
c
c core #47
c 
c 
c Core size: 44	Core Weight: 43	Total Weight: 16944
c
c
c core #48
c 
c 
c Core size: 36	Core Weight: 21	Total Weight: 16965
c
c
c core #49
c 
c 
c Core size: 38	Core Weight: 72	Total Weight: 17037
c
c
c core #50
c 
c 
c Core size: 10	Core Weight: 408	Total Weight: 17445
c
c
c core #51
c 
c 
c Core size: 12	Core Weight: 751	Total Weight: 18196
c
c
c core #52
c 
c 
c Core size: 37	Core Weight: 89	Total Weight: 18285
c
c
c core #53
c 
c 
c Core size: 62	Core Weight: 21	Total Weight: 18306
c
c
c core #54
c 
c 
c Core size: 11	Core Weight: 245	Total Weight: 18551
c
c
c core #55
c 
c 
c Core size: 41	Core Weight: 58	Total Weight: 18609
c
c
c core #56
c 
c 
c Core size: 14	Core Weight: 279	Total Weight: 18888
c
c
c core #57
c 
c 
c Core size: 11	Core Weight: 163	Total Weight: 19051
c
c
c core #58
c 
c 
c Core size: 16	Core Weight: 100	Total Weight: 19151
c
c
c core #59
c 
c 
c Core size: 23	Core Weight: 193	Total Weight: 19344
c
c
c core #60
c 
c 
c Core size: 34	Core Weight: 70	Total Weight: 19414
c
c
c core #61
c 
c 
c Core size: 10	Core Weight: 72	Total Weight: 19486
c
c
c core #62
c 
c 
c Core size: 38	Core Weight: 28	Total Weight: 19514
c
c
c core #63
c 
c 
c Core size: 40	Core Weight: 12	Total Weight: 19526
c
c
c core #64
c 
c 
c Core size: 54	Core Weight: 30	Total Weight: 19556
c
c
c core #65
c 
c 
c Core size: 49	Core Weight: 60	Total Weight: 19616
c
c
c core #66
c 
c 
c Core size: 16	Core Weight: 424	Total Weight: 20040
c
c
c core #67
c 
c 
c Core size: 22	Core Weight: 314	Total Weight: 20354
c
c
c core #68
c 
c 
c Core size: 26	Core Weight: 153	Total Weight: 20507
c
c
c core #69
c 
c 
c Core size: 27	Core Weight: 4	Total Weight: 20511
c
c
c core #70
c 
c 
c Core size: 14	Core Weight: 163	Total Weight: 20674
c
c
c core #71
c 
c 
c Core size: 19	Core Weight: 300	Total Weight: 20974
c
c
c core #72
c 
c 
c Core size: 62	Core Weight: 14	Total Weight: 20988
c
c
c core #73
c 
c 
c Core size: 25	Core Weight: 122	Total Weight: 21110
c
c
c core #74
c 
c 
c Core size: 25	Core Weight: 112	Total Weight: 21222
c
c
c core #75
c 
c 
c Core size: 23	Core Weight: 529	Total Weight: 21751
c
c
c core #76
c 
c 
c Core size: 38	Core Weight: 11	Total Weight: 21762
c
c
c core #77
c 
c 
c Core size: 11	Core Weight: 369	Total Weight: 22131
c
c
c core #78
c 
c 
c Core size: 15	Core Weight: 63	Total Weight: 22194
c
c
c core #79
c 
c 
c Core size: 11	Core Weight: 321	Total Weight: 22515
c
c
c core #80
c 
c 
c Core size: 15	Core Weight: 513	Total Weight: 23028
c
c
c core #81
c 
c 
c Core size: 25	Core Weight: 75	Total Weight: 23103
c
c
c core #82
c 
c 
c Core size: 22	Core Weight: 358	Total Weight: 23461
c
c
c core #83
c 
c 
c Core size: 63	Core Weight: 1	Total Weight: 23462
c
c
c core #84
c 
c 
c Core size: 23	Core Weight: 325	Total Weight: 23787
c
c
c core #85
c 
c 
c Core size: 51	Core Weight: 89	Total Weight: 23876
c
c
c core #86
c 
c 
c Core size: 42	Core Weight: 241	Total Weight: 24117
c
c
c core #87
c 
c 
c Core size: 53	Core Weight: 59	Total Weight: 24176
c
c
c core #88
c 
c 
c Core size: 30	Core Weight: 313	Total Weight: 24489
c
c
c core #89
c 
c 
c Core size: 55	Core Weight: 66	Total Weight: 24555
c
c
c core #90
c 
c 
c Core size: 20	Core Weight: 292	Total Weight: 24847
c
c
c core #91
c 
c 
c Core size: 9	Core Weight: 929	Total Weight: 25776
c
c
c core #92
c 
c 
c Core size: 24	Core Weight: 442	Total Weight: 26218
c
c
c core #93
c 
c 
c Core size: 15	Core Weight: 144	Total Weight: 26362
c
c
c core #94
c 
c 
c Core size: 26	Core Weight: 11	Total Weight: 26373
c
c
c core #95
c 
c 
c Core size: 13	Core Weight: 333	Total Weight: 26706
c
c
c core #96
c 
c 
c Core size: 38	Core Weight: 68	Total Weight: 26774
c
c
c core #97
c 
c 
c Core size: 41	Core Weight: 364	Total Weight: 27138
c
c
c core #98
c 
c 
c Core size: 50	Core Weight: 51	Total Weight: 27189
c
c
c core #99
c 
c 
c Core size: 11	Core Weight: 366	Total Weight: 27555
c
c
c core #100
c 
c 
c Core size: 11	Core Weight: 643	Total Weight: 28198
c
c
c core #101
c 
c 
c Core size: 21	Core Weight: 333	Total Weight: 28531
c
c
c core #102
c 
c 
c Core size: 25	Core Weight: 150	Total Weight: 28681
c
c
c core #103
c 
c 
c Core size: 30	Core Weight: 257	Total Weight: 28938
c
c
c core #104
c 
c 
c Core size: 30	Core Weight: 371	Total Weight: 29309
c
c
c core #105
c 
c 
c Core size: 30	Core Weight: 87	Total Weight: 29396
c
c
c core #106
c 
c 
c Core size: 68	Core Weight: 8	Total Weight: 29404
c
c
c core #107
c 
c 
c Core size: 38	Core Weight: 23	Total Weight: 29427
c
c
c core #108
c 
c 
c Core size: 29	Core Weight: 28	Total Weight: 29455
c
c
c core #109
c 
c 
c Core size: 36	Core Weight: 4	Total Weight: 29459
c
c
c core #110
c 
c 
c Core size: 24	Core Weight: 71	Total Weight: 29530
c
c
c core #111
c 
c 
c Core size: 33	Core Weight: 63	Total Weight: 29593
c
c
c core #112
c 
c 
c Core size: 27	Core Weight: 31	Total Weight: 29624
c
c
c core #113
c 
c 
c Core size: 29	Core Weight: 259	Total Weight: 29883
c
c
c core #114
c 
c 
c Core size: 34	Core Weight: 71	Total Weight: 29954
c
c
c core #115
c 
c 
c Core size: 28	Core Weight: 103	Total Weight: 30057
c
c
c core #116
c 
c 
c Core size: 28	Core Weight: 190	Total Weight: 30247
c
c
c core #117
c 
c 
c Core size: 29	Core Weight: 234	Total Weight: 30481
c
c
c core #118
c 
c 
c Core size: 39	Core Weight: 5	Total Weight: 30486
c
c
c core #119
c 
c 
c Core size: 14	Core Weight: 495	Total Weight: 30981
c
c
c core #120
c 
c 
c Core size: 29	Core Weight: 363	Total Weight: 31344
c
c
c core #121
c 
c 
c Core size: 36	Core Weight: 274	Total Weight: 31618
c
c
c core #122
c 
c 
c Core size: 34	Core Weight: 87	Total Weight: 31705
c
c
c core #123
c 
c 
c Core size: 41	Core Weight: 75	Total Weight: 31780
c
c
c core #124
c 
c 
c Core size: 25	Core Weight: 109	Total Weight: 31889
c
c
c core #125
c 
c 
c Core size: 31	Core Weight: 267	Total Weight: 32156
c
c
c core #126
c 
c 
c Core size: 39	Core Weight: 57	Total Weight: 32213
c
c
c core #127
c 
c 
c Core size: 42	Core Weight: 103	Total Weight: 32316
c
c
c core #128
c 
c 
c Core size: 64	Core Weight: 28	Total Weight: 32344
c
c
c core #129
c 
c 
c Core size: 64	Core Weight: 51	Total Weight: 32395
c
c
c core #130
c 
c 
c Core size: 59	Core Weight: 20	Total Weight: 32415
c
c
c core #131
c 
c 
c Core size: 53	Core Weight: 63	Total Weight: 32478
c
c
c core #132
c 
c 
c Core size: 53	Core Weight: 31	Total Weight: 32509
c
c
c core #133
c 
c 
c Core size: 53	Core Weight: 6	Total Weight: 32515
c
c
c core #134
c 
c 
c Core size: 54	Core Weight: 38	Total Weight: 32553
c
c
c core #135
c 
c 
c Core size: 53	Core Weight: 23	Total Weight: 32576
c
c
c core #136
c 
c 
c Core size: 50	Core Weight: 19	Total Weight: 32595
c
c
c core #137
c 
c 
c Core size: 55	Core Weight: 5	Total Weight: 32600
c
c
c core #138
c 
c 
c Core size: 60	Core Weight: 8	Total Weight: 32608
c
c
c core #139
c 
c 
c Core size: 60	Core Weight: 1	Total Weight: 32609
c
c
c core #140
c 
c 
c Core size: 62	Core Weight: 61	Total Weight: 32670
c
c
c core #141
c 
c 
c Core size: 52	Core Weight: 36	Total Weight: 32706
c
c
c core #142
c 
c 
c Core size: 53	Core Weight: 144	Total Weight: 32850
c
c
c core #143
c 
c 
c Core size: 16	Core Weight: 636	Total Weight: 33486
c
c
c core #144
c 
c 
c Core size: 13	Core Weight: 42	Total Weight: 33528
c
c
c core #145
c 
c 
c Core size: 22	Core Weight: 135	Total Weight: 33663
c
c
c core #146
c 
c 
c Core size: 27	Core Weight: 136	Total Weight: 33799
c
c
c core #147
c 
c 
c Core size: 70	Core Weight: 51	Total Weight: 33850
c
c
c core #148
c 
c 
c Core size: 85	Core Weight: 5	Total Weight: 33855
c
c
c core #149
c 
c 
c Core size: 58	Core Weight: 4	Total Weight: 33859
c
c
c core #150
c 
c 
c Core size: 55	Core Weight: 1	Total Weight: 33860
c
c
c core #151
c 
c 
c Core size: 17	Core Weight: 478	Total Weight: 34338
c
c
c core #152
c 
c 
c Core size: 33	Core Weight: 116	Total Weight: 34454
c
c