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-1.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-1.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 2722570
o 2720949
o 2718257
o 2716335
o 2712639
o 2712467
o 2712358
o 2712258
o 2712121
o 2712008
o 2711944
o 2711942
o 2711775
o 2711645
o 2711399
o 2711297
o 2711228
o 2711193
o 2711022
o 2710845
o 2710694
o 2710571
o 2710528
o 2710450
o 2710348
o 2710200
o 2710191
o 2710025
o 2710018
o 2710007
o 2709981
o 2709630
o 2709543
o 2709385
o 2709139
o 2709123
o 2709031
o 2708966
o 2708921
o 2708900
o 2708226
o 2708010
o 2707872
o 2707698
o 2707627
o 2707519
o 2707517
o 2707459
o 2707399
o 2707348
o 2707107
o 2706596
o 2706343
o 2706095
o 2705866
o 2705833
o 2705715
o 2704840
o 2704838
o 2704623
o 2704461
o 2704310
o 2704230
o 2704094
o 2703946
o 2703625
o 2703587
o 2703456
o 2703451
o 2702808
o 2702793
o 2702754
o 2702665
o 2702582
o 2702520
o 2702386
o 2702298
o 2702278
o 2702245
o 2702036
o 2701859
o 2701850
o 2701472
o 2701184
o 2700643
o 2700496
o 2700459
o 2700365
o 2700053
o 2699999
o 2699825
o 2699759
o 2699531
o 2699432
o 2699328
o 2699279
o 2699109
o 2699107
o 2699068
o 2698969
o 2698925
o 2698856
o 2698684
o 2698644
o 2698387
o 2698292
o 2698061
o 2697992
o 2697805
o 2697713
o 2697711
o 2697364
o 2697182
o 2697136
o 2696852
o 2696790
o 2696759
o 2696639
o 2696637
o 2696595
o 2696422
o 2696172
o 2695729
o 2695666
o 2695604
o 2695508
o 2695499
o 2695442
o 2695211
o 2695210
o 2695203
o 2695154
o 2695145
o 2694788
o 2694771
o 2694742
o 2694728
o 2694509
o 2694144
o 2693503
o 2693321
o 2693270
o 2693259
o 2692988
o 2692881
o 2692772
o 2692769
o 2692488
o 2692479
o 2692431
c core #1
c 
c 
c Core size: 5	Core Weight: 1452	Total Weight: 1452
c
c
c core #2
c 
c 
c Core size: 3	Core Weight: 553	Total Weight: 2005
c
c
c core #3
c 
c 
c Core size: 3	Core Weight: 338	Total Weight: 2343
c
c
c core #4
c 
c 
c Core size: 3	Core Weight: 690	Total Weight: 3033
c
c
c core #5
c 
c 
c Core size: 5	Core Weight: 1283	Total Weight: 4316
c
c
c core #6
c 
c 
c Core size: 4	Core Weight: 964	Total Weight: 5280
c
c
c core #7
c 
c 
c Core size: 5	Core Weight: 1673	Total Weight: 6953
c
c
c core #8
c 
c 
c Core size: 5	Core Weight: 1526	Total Weight: 8479
c
c
c core #9
c 
c 
c Core size: 3	Core Weight: 636	Total Weight: 9115
c
c
c core #10
c 
c 
c Core size: 4	Core Weight: 1335	Total Weight: 10450
c
c
c core #11
c 
c 
c Core size: 7	Core Weight: 788	Total Weight: 11238
c
c
c core #12
c 
c 
c Core size: 7	Core Weight: 674	Total Weight: 11912
c
c
c core #13
c 
c 
c Core size: 13	Core Weight: 284	Total Weight: 12196
c
c
c core #14
c 
c 
c Core size: 10	Core Weight: 397	Total Weight: 12593
c
c
c core #15
c 
c 
c Core size: 3	Core Weight: 415	Total Weight: 13008
c
c
c core #16
c 
c 
c Core size: 9	Core Weight: 31	Total Weight: 13039
c
c
c core #17
c 
c 
c Core size: 7	Core Weight: 691	Total Weight: 13730
c
c
c core #18
c 
c 
c Core size: 16	Core Weight: 619	Total Weight: 14349
c
c
c core #19
c 
c 
c Core size: 18	Core Weight: 589	Total Weight: 14938
c
c
c core #20
c 
c 
c Core size: 23	Core Weight: 208	Total Weight: 15146
c
c
c core #21
c 
c 
c Core size: 25	Core Weight: 217	Total Weight: 15363
c
c
c core #22
c 
c 
c Core size: 27	Core Weight: 64	Total Weight: 15427
c
c
c core #23
c 
c 
c Core size: 29	Core Weight: 346	Total Weight: 15773
c
c
c core #24
c 
c 
c Core size: 32	Core Weight: 16	Total Weight: 15789
c
c
c core #25
c 
c 
c Core size: 33	Core Weight: 22	Total Weight: 15811
c
c
c core #26
c 
c 
c Core size: 14	Core Weight: 9	Total Weight: 15820
c
c
c core #27
c 
c 
c Core size: 29	Core Weight: 71	Total Weight: 15891
c
c
c core #28
c 
c 
c Core size: 39	Core Weight: 53	Total Weight: 15944
c
c
c core #29
c 
c 
c Core size: 37	Core Weight: 105	Total Weight: 16049
c
c
c core #30
c 
c 
c Core size: 40	Core Weight: 17	Total Weight: 16066
c
c
c core #31
c 
c 
c Core size: 41	Core Weight: 10	Total Weight: 16076
c
c
c core #32
c 
c 
c Core size: 48	Core Weight: 39	Total Weight: 16115
c
c
c core #33
c 
c 
c Core size: 44	Core Weight: 21	Total Weight: 16136
c
c
c core #34
c 
c 
c Core size: 12	Core Weight: 627	Total Weight: 16763
c
c
c core #35
c 
c 
c Core size: 51	Core Weight: 98	Total Weight: 16861
c
c
c core #36
c 
c 
c Core size: 15	Core Weight: 23	Total Weight: 16884
c
c
c core #37
c 
c 
c Core size: 48	Core Weight: 130	Total Weight: 17014
c
c
c core #38
c 
c 
c Core size: 57	Core Weight: 16	Total Weight: 17030
c
c
c core #39
c 
c 
c Core size: 49	Core Weight: 382	Total Weight: 17412
c
c
c core #40
c 
c 
c Core size: 48	Core Weight: 24	Total Weight: 17436
c
c
c core #41
c 
c 
c Core size: 53	Core Weight: 111	Total Weight: 17547
c
c
c core #42
c 
c 
c Core size: 17	Core Weight: 382	Total Weight: 17929
c
c
c core #43
c 
c 
c Core size: 8	Core Weight: 661	Total Weight: 18590
c
c
c core #44
c 
c 
c Core size: 10	Core Weight: 295	Total Weight: 18885
c
c
c core #45
c 
c 
c Core size: 10	Core Weight: 540	Total Weight: 19425
c
c
c core #46
c 
c 
c Core size: 13	Core Weight: 16	Total Weight: 19441
c
c
c core #47
c 
c 
c Core size: 17	Core Weight: 120	Total Weight: 19561
c
c
c core #48
c 
c 
c Core size: 21	Core Weight: 56	Total Weight: 19617
c
c
c core #49
c 
c 
c Core size: 17	Core Weight: 111	Total Weight: 19728
c
c
c core #50
c 
c 
c Core size: 21	Core Weight: 8	Total Weight: 19736
c
c
c core #51
c 
c 
c Core size: 21	Core Weight: 140	Total Weight: 19876
c
c
c core #52
c 
c 
c Core size: 13	Core Weight: 290	Total Weight: 20166
c
c
c core #53
c 
c 
c Core size: 21	Core Weight: 1	Total Weight: 20167
c
c
c core #54
c 
c 
c Core size: 20	Core Weight: 67	Total Weight: 20234
c
c
c core #55
c 
c 
c Core size: 16	Core Weight: 140	Total Weight: 20374
c
c
c core #56
c 
c 
c Core size: 24	Core Weight: 1	Total Weight: 20375
c
c
c core #57
c 
c 
c Core size: 30	Core Weight: 139	Total Weight: 20514
c
c
c core #58
c 
c 
c Core size: 25	Core Weight: 67	Total Weight: 20581
c
c
c core #59
c 
c 
c Core size: 22	Core Weight: 351	Total Weight: 20932
c
c
c core #60
c 
c 
c Core size: 43	Core Weight: 1	Total Weight: 20933
c
c
c core #61
c 
c 
c Core size: 41	Core Weight: 7	Total Weight: 20940
c
c
c core #62
c 
c 
c Core size: 29	Core Weight: 73	Total Weight: 21013
c
c
c core #63
c 
c 
c Core size: 32	Core Weight: 277	Total Weight: 21290
c
c