Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-wbo1.6-wpms_industrial-_home_maxsat_benchmarks_wpms_industrial_haplotyping-pedigrees_ped3.E.recomb10-0.20-14.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/haplotyping-pedigrees/ped3.E.recomb10-0.20-14.wcnf
Job solver: /home/maxsat/solvers/wbo1.6/wbo1.6
c core #1
c 
c 
c Core size: 67	Core Weight: 341	Total Weight: 343
c Current CPU time: 2.13767 s
c
c core #2
c 
c 
c Core size: 16	Core Weight: 341	Total Weight: 684
c Current CPU time: 2.6496 s
c
c core #3
c 
c 
c Core size: 81	Core Weight: 341	Total Weight: 1025
c Current CPU time: 3.13952 s
c
c core #4
c 
c 
c Core size: 153	Core Weight: 341	Total Weight: 1366
c Current CPU time: 3.64845 s
c
c core #5
c 
c 
c Core size: 8	Core Weight: 341	Total Weight: 1707
c Current CPU time: 4.17337 s
c
c core #6
c 
c 
c Core size: 24	Core Weight: 341	Total Weight: 2048
c Current CPU time: 4.67929 s
c
c core #7
c 
c 
c Core size: 4	Core Weight: 341	Total Weight: 2389
c Current CPU time: 5.17521 s
c
c core #8
c 
c 
c Core size: 34	Core Weight: 341	Total Weight: 2730
c Current CPU time: 5.67714 s
c
c core #9
c 
c 
c Core size: 28	Core Weight: 341	Total Weight: 3071
c Current CPU time: 6.18706 s
c
c core #10
c 
c 
c Core size: 14	Core Weight: 341	Total Weight: 3412
c Current CPU time: 6.70098 s
c
c core #11
c 
c 
c Core size: 6	Core Weight: 341	Total Weight: 3753
c Current CPU time: 7.2109 s
c
c core #12
c 
c 
c Core size: 10	Core Weight: 341	Total Weight: 4094
c Current CPU time: 7.71983 s
c
c core #13
c 
c 
c Core size: 28	Core Weight: 341	Total Weight: 4435
c Current CPU time: 8.24275 s
c
c core #14
c 
c 
c Core size: 34	Core Weight: 1	Total Weight: 4436
c Current CPU time: 8.79666 s
c
c core #15
c 
c 
c Core size: 13	Core Weight: 1	Total Weight: 4437
c Current CPU time: 9.35658 s
c
c core #16
c 
c 
c Core size: 62	Core Weight: 341	Total Weight: 4778
c Current CPU time: 9.90049 s
c
c core #17
c 
c 
c Core size: 24	Core Weight: 341	Total Weight: 5119
c Current CPU time: 10.4444 s
c
c core #18
c 
c 
c Core size: 24	Core Weight: 341	Total Weight: 5460
c Current CPU time: 11.0093 s
c
c core #19
c 
c 
c Core size: 101	Core Weight: 341	Total Weight: 5801
c Current CPU time: 11.5842 s
c
c core #20
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 5802
c Current CPU time: 12.1941 s
c
c core #21
c 
c 
c Core size: 48	Core Weight: 1	Total Weight: 5803
c Current CPU time: 12.7501 s
c
c core #22
c 
c 
c Core size: 8	Core Weight: 341	Total Weight: 6144
c Current CPU time: 13.332 s
c
c core #23
c 
c 
c Core size: 73	Core Weight: 1	Total Weight: 6145
c Current CPU time: 13.9629 s
c
c core #24
c 
c 
c Core size: 75	Core Weight: 339	Total Weight: 6484
c Current CPU time: 14.5848 s
c
c core #25
c 
c 
c Core size: 93	Core Weight: 1	Total Weight: 6485
c Current CPU time: 15.2497 s
c
c core #26
c 
c 
c Core size: 54	Core Weight: 341	Total Weight: 6826
c Current CPU time: 15.8716 s
c
c core #27
c 
c 
c Core size: 191	Core Weight: 341	Total Weight: 7167
c Current CPU time: 16.4915 s
c
c core #28
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 7168
c Current CPU time: 17.2384 s
c
c core #29
c 
c 
c Core size: 233	Core Weight: 1	Total Weight: 7169
c Current CPU time: 17.8743 s
c
c core #30
c 
c 
c Core size: 155	Core Weight: 341	Total Weight: 7510
c Current CPU time: 18.7112 s
c
c core #31
c 
c 
c Core size: 104	Core Weight: 1	Total Weight: 7511
c Current CPU time: 19.472 s
c
c core #32
c 
c 
c Core size: 291	Core Weight: 1	Total Weight: 7512
c Current CPU time: 20.1559 s
c
c core #33
c 
c 
c Core size: 444	Core Weight: 1	Total Weight: 7513
c Current CPU time: 20.9628 s
c
c core #34
c 
c 
c Core size: 361	Core Weight: 1	Total Weight: 7514
c Current CPU time: 21.7407 s
c
c core #35
c 
c 
c Core size: 241	Core Weight: 1	Total Weight: 7515
c Current CPU time: 22.4756 s
c
c core #36
c 
c 
c Core size: 56	Core Weight: 341	Total Weight: 7856
c Current CPU time: 23.2675 s
c
c core #37
c 
c 
c Core size: 603	Core Weight: 1	Total Weight: 7857
c Current CPU time: 24.1113 s
c
c core #38
c 
c 
c Core size: 164	Core Weight: 1	Total Weight: 7858
c Current CPU time: 25.3771 s
c
c core #39
c 
c 
c Core size: 363	Core Weight: 1	Total Weight: 7859
c Current CPU time: 26.421 s
c
c core #40
c 
c 
c Core size: 1020	Core Weight: 1	Total Weight: 7860
c Current CPU time: 28.5857 s
c
c core #41
c 
c 
c Core size: 492	Core Weight: 1	Total Weight: 7861
c Current CPU time: 30.4974 s
c
c core #42
c 
c 
c Core size: 786	Core Weight: 1	Total Weight: 7862
c Current CPU time: 32.4601 s
c
c core #43
c 
c 
c Core size: 140	Core Weight: 341	Total Weight: 8203
c Current CPU time: 33.3779 s
c
c core #44
c 
c 
c Core size: 164	Core Weight: 341	Total Weight: 8544
c Current CPU time: 34.1108 s
c
c core #45
c 
c 
c Core size: 1191	Core Weight: 1	Total Weight: 8545
c Current CPU time: 36.7934 s
c
c core #46
c 
c 
c Core size: 1616	Core Weight: 1	Total Weight: 8546
c Current CPU time: 48.3976 s
c
c core #47
c 
c 
c Core size: 1438	Core Weight: 1	Total Weight: 8547
c Current CPU time: 54.1308 s
c
c core #48
c 
c 
c Core size: 305	Core Weight: 1	Total Weight: 8548
c Current CPU time: 55.6445 s
c
c core #49
c 
c 
c Core size: 1830	Core Weight: 1	Total Weight: 8549
c Current CPU time: 69.3115 s
c
c core #50
c 
c 
c Core size: 1698	Core Weight: 1	Total Weight: 8550
c Current CPU time: 92.094 s
c
c core #51
c 
c 
c Core size: 465	Core Weight: 1	Total Weight: 8551
c Current CPU time: 93.7188 s
c