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-15.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/haplotyping-pedigrees/ped3.E.recomb10-0.20-15.wcnf
Job solver: /home/maxsat/solvers/wbo1.6/wbo1.6
c core #1
c 
c 
c Core size: 38	Core Weight: 341	Total Weight: 685
c Current CPU time: 1.62975 s
c
c core #2
c 
c 
c Core size: 26	Core Weight: 341	Total Weight: 1026
c Current CPU time: 1.9977 s
c
c core #3
c 
c 
c Core size: 12	Core Weight: 341	Total Weight: 1367
c Current CPU time: 2.35264 s
c
c core #4
c 
c 
c Core size: 24	Core Weight: 341	Total Weight: 1708
c Current CPU time: 2.70059 s
c
c core #5
c 
c 
c Core size: 19	Core Weight: 341	Total Weight: 2049
c Current CPU time: 3.05354 s
c
c core #6
c 
c 
c Core size: 24	Core Weight: 341	Total Weight: 2390
c Current CPU time: 3.40248 s
c
c core #7
c 
c 
c Core size: 40	Core Weight: 341	Total Weight: 2731
c Current CPU time: 3.75343 s
c
c core #8
c 
c 
c Core size: 157	Core Weight: 341	Total Weight: 3072
c Current CPU time: 4.10538 s
c
c core #9
c 
c 
c Core size: 279	Core Weight: 1	Total Weight: 3073
c Current CPU time: 4.49132 s
c
c core #10
c 
c 
c Core size: 295	Core Weight: 1	Total Weight: 3074
c Current CPU time: 4.86626 s
c
c core #11
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 3075
c Current CPU time: 5.2402 s
c
c core #12
c 
c 
c Core size: 584	Core Weight: 1	Total Weight: 3076
c Current CPU time: 5.60215 s
c
c core #13
c 
c 
c Core size: 110	Core Weight: 1	Total Weight: 3077
c Current CPU time: 5.98509 s
c
c core #14
c 
c 
c Core size: 16	Core Weight: 341	Total Weight: 3418
c Current CPU time: 6.34703 s
c
c core #15
c 
c 
c Core size: 23	Core Weight: 1	Total Weight: 3419
c Current CPU time: 6.71998 s
c
c core #16
c 
c 
c Core size: 38	Core Weight: 341	Total Weight: 3760
c Current CPU time: 7.11392 s
c
c core #17
c 
c 
c Core size: 131	Core Weight: 1	Total Weight: 3761
c Current CPU time: 7.51786 s
c
c core #18
c 
c 
c Core size: 226	Core Weight: 1	Total Weight: 3762
c Current CPU time: 7.93479 s
c
c core #19
c 
c 
c Core size: 132	Core Weight: 1	Total Weight: 3763
c Current CPU time: 8.36573 s
c
c core #20
c 
c 
c Core size: 306	Core Weight: 1	Total Weight: 3764
c Current CPU time: 8.84266 s
c
c core #21
c 
c 
c Core size: 340	Core Weight: 1	Total Weight: 3765
c Current CPU time: 9.27659 s
c
c core #22
c 
c 
c Core size: 640	Core Weight: 1	Total Weight: 3766
c Current CPU time: 9.81551 s
c
c core #23
c 
c 
c Core size: 285	Core Weight: 1	Total Weight: 3767
c Current CPU time: 10.3224 s
c
c core #24
c 
c 
c Core size: 393	Core Weight: 1	Total Weight: 3768
c Current CPU time: 10.8973 s
c
c core #25
c 
c 
c Core size: 685	Core Weight: 1	Total Weight: 3769
c Current CPU time: 11.6042 s
c
c core #26
c 
c 
c Core size: 628	Core Weight: 1	Total Weight: 3770
c Current CPU time: 12.2031 s
c
c core #27
c 
c 
c Core size: 276	Core Weight: 1	Total Weight: 3771
c Current CPU time: 12.6981 s
c
c core #28
c 
c 
c Core size: 1019	Core Weight: 1	Total Weight: 3772
c Current CPU time: 13.8959 s
c
c core #29
c 
c 
c Core size: 872	Core Weight: 1	Total Weight: 3773
c Current CPU time: 14.6468 s
c
c core #30
c 
c 
c Core size: 344	Core Weight: 1	Total Weight: 3774
c Current CPU time: 16.4435 s
c
c core #31
c 
c 
c Core size: 1192	Core Weight: 1	Total Weight: 3775
c Current CPU time: 19.3691 s
c
c core #32
c 
c 
c Core size: 842	Core Weight: 1	Total Weight: 3776
c Current CPU time: 20.1159 s
c
c core #33
c 
c 
c Core size: 1342	Core Weight: 1	Total Weight: 3777
c Current CPU time: 35.3746 s
c