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-8.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-8.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 2018601
o 2017238
o 2016690
o 2014680
o 2014345
o 2013432
o 2013213
o 2013019
o 2012569
o 2012549
o 2012476
o 2012300
o 2011535
o 2011531
o 2011425
o 2011346
o 2010679
o 2010373
o 2010251
o 2010242
o 2010171
o 2010106
o 2009796
o 2009592
o 2009508
o 2009458
o 2008926
o 2008791
o 2008594
o 2008458
o 2008384
o 2008226
o 2008117
o 2007888
o 2007755
o 2007751
o 2007604
o 2007292
o 2007106
o 2006917
o 2006737
o 2006669
o 2006655
o 2006590
o 2006549
o 2006260
o 2006202
o 2006120
o 2005833
o 2005767
o 2005633
o 2005555
o 2005478
o 2005307
o 2005016
o 2004945
o 2004806
o 2004699
o 2004400
o 2004101
o 2003959
o 2003921
o 2003802
o 2003756
o 2003735
o 2003650
o 2003403
o 2003135
o 2003124
o 2002877
o 2002816
o 2002692
o 2002688
o 2002683
o 2002599
o 2002567
o 2002400
o 2002320
o 2002181
o 2002094
o 2001936
o 2001639
o 2001635
o 2001610
o 2001605
o 2001322
o 2001188
o 2000906
o 2000017
o 1998944
o 1998811
o 1998609
o 1998451
o 1998384
o 1998256
o 1998181
o 1998141
o 1998057
o 1997958
o 1997825
o 1997687
o 1997666
o 1997595
o 1997487
o 1997353
o 1997054
o 1997047
o 1996914
o 1996821
o 1996594
o 1996556
o 1996499
o 1996380
o 1996372
o 1996167
o 1996092
o 1996084
o 1995892
o 1995815
o 1995785
o 1995736
o 1995702
o 1995614
o 1995587
o 1995405
o 1995188
c core #1
c 
c 
c Core size: 3	Core Weight: 363	Total Weight: 363
c
c
c core #2
c 
c 
c Core size: 3	Core Weight: 474	Total Weight: 837
c
c
c core #3
c 
c 
c Core size: 5	Core Weight: 1017	Total Weight: 1854
c
c
c core #4
c 
c 
c Core size: 3	Core Weight: 912	Total Weight: 2766
c
c
c core #5
c 
c 
c Core size: 3	Core Weight: 752	Total Weight: 3518
c
c
c core #6
c 
c 
c Core size: 4	Core Weight: 882	Total Weight: 4400
c
c
c core #7
c 
c 
c Core size: 4	Core Weight: 1360	Total Weight: 5760
c
c
c core #8
c 
c 
c Core size: 5	Core Weight: 860	Total Weight: 6620
c
c
c core #9
c 
c 
c Core size: 5	Core Weight: 1186	Total Weight: 7806
c
c
c core #10
c 
c 
c Core size: 4	Core Weight: 1100	Total Weight: 8906
c
c
c core #11
c 
c 
c Core size: 5	Core Weight: 1343	Total Weight: 10249
c
c
c core #12
c 
c 
c Core size: 4	Core Weight: 1246	Total Weight: 11495
c
c
c core #13
c 
c 
c Core size: 9	Core Weight: 1080	Total Weight: 12575
c
c
c core #14
c 
c 
c Core size: 9	Core Weight: 226	Total Weight: 12801
c
c
c core #15
c 
c 
c Core size: 12	Core Weight: 291	Total Weight: 13092
c
c
c core #16
c 
c 
c Core size: 9	Core Weight: 766	Total Weight: 13858
c
c
c core #17
c 
c 
c Core size: 9	Core Weight: 601	Total Weight: 14459
c
c
c core #18
c 
c 
c Core size: 14	Core Weight: 133	Total Weight: 14592
c
c
c core #19
c 
c 
c Core size: 12	Core Weight: 420	Total Weight: 15012
c
c
c core #20
c 
c 
c Core size: 5	Core Weight: 7	Total Weight: 15019
c
c
c core #21
c 
c 
c Core size: 13	Core Weight: 15	Total Weight: 15034
c
c
c core #22
c 
c 
c Core size: 9	Core Weight: 1140	Total Weight: 16174
c
c
c core #23
c 
c 
c Core size: 4	Core Weight: 361	Total Weight: 16535
c
c
c core #24
c 
c 
c Core size: 10	Core Weight: 765	Total Weight: 17300
c
c
c core #25
c 
c 
c Core size: 10	Core Weight: 117	Total Weight: 17417
c
c
c core #26
c 
c 
c Core size: 18	Core Weight: 374	Total Weight: 17791
c
c
c core #27
c 
c 
c Core size: 14	Core Weight: 311	Total Weight: 18102
c
c
c core #28
c 
c 
c Core size: 17	Core Weight: 418	Total Weight: 18520
c
c
c core #29
c 
c 
c Core size: 17	Core Weight: 128	Total Weight: 18648
c
c
c core #30
c 
c 
c Core size: 18	Core Weight: 15	Total Weight: 18663
c
c
c core #31
c 
c 
c Core size: 19	Core Weight: 117	Total Weight: 18780
c
c
c core #32
c 
c 
c Core size: 20	Core Weight: 595	Total Weight: 19375
c
c
c core #33
c 
c 
c Core size: 21	Core Weight: 304	Total Weight: 19679
c
c
c core #34
c 
c 
c Core size: 26	Core Weight: 23	Total Weight: 19702
c
c
c core #35
c 
c 
c Core size: 12	Core Weight: 14	Total Weight: 19716
c
c
c core #36
c 
c 
c Core size: 12	Core Weight: 394	Total Weight: 20110
c
c
c core #37
c 
c 
c Core size: 30	Core Weight: 142	Total Weight: 20252
c
c
c core #38
c 
c 
c Core size: 14	Core Weight: 231	Total Weight: 20483
c
c
c core #39
c 
c 
c Core size: 11	Core Weight: 244	Total Weight: 20727
c
c
c core #40
c 
c 
c Core size: 13	Core Weight: 664	Total Weight: 21391
c
c
c core #41
c 
c 
c Core size: 15	Core Weight: 266	Total Weight: 21657
c
c
c core #42
c 
c 
c Core size: 11	Core Weight: 114	Total Weight: 21771
c
c
c core #43
c 
c 
c Core size: 17	Core Weight: 84	Total Weight: 21855
c
c
c core #44
c 
c 
c Core size: 22	Core Weight: 30	Total Weight: 21885
c
c
c core #45
c 
c 
c Core size: 10	Core Weight: 175	Total Weight: 22060
c
c
c core #46
c 
c 
c Core size: 12	Core Weight: 84	Total Weight: 22144
c
c
c core #47
c 
c 
c Core size: 14	Core Weight: 590	Total Weight: 22734
c
c
c core #48
c 
c 
c Core size: 16	Core Weight: 415	Total Weight: 23149
c
c
c core #49
c 
c 
c Core size: 17	Core Weight: 139	Total Weight: 23288
c
c
c core #50
c 
c 
c Core size: 16	Core Weight: 83	Total Weight: 23371
c
c
c core #51
c 
c 
c Core size: 16	Core Weight: 577	Total Weight: 23948
c
c
c core #52
c 
c 
c Core size: 16	Core Weight: 39	Total Weight: 23987
c
c
c core #53
c 
c 
c Core size: 17	Core Weight: 51	Total Weight: 24038
c
c
c core #54
c 
c 
c Core size: 29	Core Weight: 133	Total Weight: 24171
c
c
c core #55
c 
c 
c Core size: 12	Core Weight: 246	Total Weight: 24417
c
c
c core #56
c 
c 
c Core size: 14	Core Weight: 58	Total Weight: 24475
c
c
c core #57
c 
c 
c Core size: 29	Core Weight: 76	Total Weight: 24551
c
c
c core #58
c 
c 
c Core size: 31	Core Weight: 30	Total Weight: 24581
c
c
c core #59
c 
c 
c Core size: 28	Core Weight: 306	Total Weight: 24887
c
c
c core #60
c 
c 
c Core size: 10	Core Weight: 122	Total Weight: 25009
c
c
c core #61
c 
c 
c Core size: 26	Core Weight: 78	Total Weight: 25087
c
c
c core #62
c 
c 
c Core size: 22	Core Weight: 120	Total Weight: 25207
c
c
c core #63
c 
c 
c Core size: 22	Core Weight: 310	Total Weight: 25517
c
c
c core #64
c 
c 
c Core size: 20	Core Weight: 506	Total Weight: 26023
c
c
c core #65
c 
c 
c Core size: 8	Core Weight: 1371	Total Weight: 27394
c
c
c core #66
c 
c 
c Core size: 14	Core Weight: 302	Total Weight: 27696
c
c
c core #67
c 
c 
c Core size: 15	Core Weight: 445	Total Weight: 28141
c
c
c core #68
c 
c 
c Core size: 39	Core Weight: 133	Total Weight: 28274
c
c
c core #69
c 
c 
c Core size: 13	Core Weight: 196	Total Weight: 28470
c
c
c core #70
c 
c 
c Core size: 32	Core Weight: 452	Total Weight: 28922
c
c
c core #71
c 
c 
c Core size: 32	Core Weight: 134	Total Weight: 29056
c
c
c core #72
c 
c 
c Core size: 31	Core Weight: 177	Total Weight: 29233
c
c
c core #73
c 
c 
c Core size: 37	Core Weight: 16	Total Weight: 29249
c
c
c core #74
c 
c 
c Core size: 35	Core Weight: 117	Total Weight: 29366
c
c
c core #75
c 
c 
c Core size: 38	Core Weight: 103	Total Weight: 29469
c
c
c core #76
c 
c 
c Core size: 41	Core Weight: 67	Total Weight: 29536
c
c
c core #77
c 
c 
c Core size: 11	Core Weight: 635	Total Weight: 30171
c
c
c core #78
c 
c 
c Core size: 44	Core Weight: 54	Total Weight: 30225
c
c
c core #79
c 
c 
c Core size: 41	Core Weight: 355	Total Weight: 30580
c
c
c core #80
c 
c 
c Core size: 16	Core Weight: 228	Total Weight: 30808
c
c
c core #81
c 
c 
c Core size: 8	Core Weight: 1233	Total Weight: 32041
c
c
c core #82
c 
c 
c Core size: 11	Core Weight: 906	Total Weight: 32947
c
c
c core #83
c 
c 
c Core size: 12	Core Weight: 408	Total Weight: 33355
c
c
c core #84
c 
c 
c Core size: 19	Core Weight: 50	Total Weight: 33405
c
c
c core #85
c 
c 
c Core size: 15	Core Weight: 54	Total Weight: 33459
c
c
c core #86
c 
c 
c Core size: 22	Core Weight: 10	Total Weight: 33469
c
c
c core #87
c 
c 
c Core size: 26	Core Weight: 220	Total Weight: 33689
c
c
c core #88
c 
c 
c Core size: 24	Core Weight: 72	Total Weight: 33761
c
c
c core #89
c 
c 
c Core size: 21	Core Weight: 23	Total Weight: 33784
c
c
c core #90
c 
c 
c Core size: 43	Core Weight: 27	Total Weight: 33811
c
c
c core #91
c 
c 
c Core size: 19	Core Weight: 622	Total Weight: 34433
c
c
c core #92
c 
c 
c Core size: 16	Core Weight: 225	Total Weight: 34658
c
c
c core #93
c 
c 
c Core size: 17	Core Weight: 89	Total Weight: 34747
c
c
c core #94
c 
c 
c Core size: 14	Core Weight: 465	Total Weight: 35212
c
c