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.F.recomb10-0.20-14.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/haplotyping-pedigrees/ped3.F.recomb10-0.20-14.wcnf
Job solver: /home/maxsat/solvers/wbo1.6/wbo1.6
c core #1
c 
c 
c Core size: 16	Core Weight: 341	Total Weight: 348
c Current CPU time: 1.51177 s
c
c core #2
c 
c 
c Core size: 99	Core Weight: 341	Total Weight: 689
c Current CPU time: 1.82572 s
c
c core #3
c 
c 
c Core size: 26	Core Weight: 341	Total Weight: 1030
c Current CPU time: 2.15067 s
c
c core #4
c 
c 
c Core size: 20	Core Weight: 341	Total Weight: 1371
c Current CPU time: 2.46263 s
c
c core #5
c 
c 
c Core size: 18	Core Weight: 341	Total Weight: 1712
c Current CPU time: 2.76458 s
c
c core #6
c 
c 
c Core size: 6	Core Weight: 341	Total Weight: 2053
c Current CPU time: 3.06653 s
c
c core #7
c 
c 
c Core size: 14	Core Weight: 341	Total Weight: 2394
c Current CPU time: 3.36749 s
c
c core #8
c 
c 
c Core size: 113	Core Weight: 341	Total Weight: 2735
c Current CPU time: 3.67344 s
c
c core #9
c 
c 
c Core size: 25	Core Weight: 341	Total Weight: 3076
c Current CPU time: 4.02639 s
c
c core #10
c 
c 
c Core size: 88	Core Weight: 341	Total Weight: 3417
c Current CPU time: 4.33934 s
c
c core #11
c 
c 
c Core size: 127	Core Weight: 341	Total Weight: 3758
c Current CPU time: 4.66329 s
c
c core #12
c 
c 
c Core size: 308	Core Weight: 1	Total Weight: 3759
c Current CPU time: 5.01124 s
c
c core #13
c 
c 
c Core size: 43	Core Weight: 1	Total Weight: 3760
c Current CPU time: 5.35219 s
c
c core #14
c 
c 
c Core size: 112	Core Weight: 341	Total Weight: 4101
c Current CPU time: 5.67214 s
c
c core #15
c 
c 
c Core size: 28	Core Weight: 341	Total Weight: 4442
c Current CPU time: 6.02208 s
c
c core #16
c 
c 
c Core size: 83	Core Weight: 1	Total Weight: 4443
c Current CPU time: 6.35803 s
c
c core #17
c 
c 
c Core size: 67	Core Weight: 340	Total Weight: 4783
c Current CPU time: 6.70098 s
c
c core #18
c 
c 
c Core size: 134	Core Weight: 1	Total Weight: 4784
c Current CPU time: 7.04293 s
c
c core #19
c 
c 
c Core size: 55	Core Weight: 341	Total Weight: 5125
c Current CPU time: 7.38988 s
c
c core #20
c 
c 
c Core size: 62	Core Weight: 1	Total Weight: 5126
c Current CPU time: 7.76782 s
c
c core #21
c 
c 
c Core size: 475	Core Weight: 1	Total Weight: 5127
c Current CPU time: 8.17176 s
c
c core #22
c 
c 
c Core size: 123	Core Weight: 1	Total Weight: 5128
c Current CPU time: 8.61569 s
c
c core #23
c 
c 
c Core size: 194	Core Weight: 1	Total Weight: 5129
c Current CPU time: 9.00663 s
c
c core #24
c 
c 
c Core size: 798	Core Weight: 1	Total Weight: 5130
c Current CPU time: 9.71452 s
c
c core #25
c 
c 
c Core size: 90	Core Weight: 341	Total Weight: 5471
c Current CPU time: 10.2114 s
c
c core #26
c 
c 
c Core size: 541	Core Weight: 1	Total Weight: 5472
c Current CPU time: 10.6364 s
c
c core #27
c 
c 
c Core size: 877	Core Weight: 1	Total Weight: 5473
c Current CPU time: 11.2763 s
c
c core #28
c 
c 
c Core size: 193	Core Weight: 1	Total Weight: 5474
c Current CPU time: 11.9552 s
c
c core #29
c 
c 
c Core size: 270	Core Weight: 1	Total Weight: 5475
c Current CPU time: 12.5391 s
c
c core #30
c 
c 
c Core size: 1684	Core Weight: 1	Total Weight: 5476
c Current CPU time: 15.4087 s
c
c core #31
c 
c 
c Core size: 901	Core Weight: 1	Total Weight: 5477
c Current CPU time: 17.0524 s
c
c core #32
c 
c 
c Core size: 1224	Core Weight: 1	Total Weight: 5478
c Current CPU time: 19.2551 s
c
c core #33
c 
c 
c Core size: 534	Core Weight: 1	Total Weight: 5479
c Current CPU time: 20.1759 s
c
c core #34
c 
c 
c Core size: 91	Core Weight: 1	Total Weight: 5480
c Current CPU time: 25.0182 s
c
c core #35
c 
c 
c Core size: 2109	Core Weight: 1	Total Weight: 5481
c Current CPU time: 39.561 s
c
c core #36
c 
c 
c Core size: 2505	Core Weight: 1	Total Weight: 5482
c Current CPU time: 94.2957 s
c