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.G.recomb10-0.20-11.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/haplotyping-pedigrees/ped3.G.recomb10-0.20-11.wcnf
Job solver: /home/maxsat/solvers/wbo1.6/wbo1.6
c core #1
c 
c 
c Core size: 68	Core Weight: 341	Total Weight: 685
c Current CPU time: 2.46962 s
c
c core #2
c 
c 
c Core size: 8	Core Weight: 341	Total Weight: 1026
c Current CPU time: 2.98555 s
c
c core #3
c 
c 
c Core size: 6	Core Weight: 341	Total Weight: 1367
c Current CPU time: 3.48547 s
c
c core #4
c 
c 
c Core size: 38	Core Weight: 341	Total Weight: 1708
c Current CPU time: 3.98839 s
c
c core #5
c 
c 
c Core size: 181	Core Weight: 341	Total Weight: 2049
c Current CPU time: 4.49932 s
c
c core #6
c 
c 
c Core size: 14	Core Weight: 341	Total Weight: 2390
c Current CPU time: 5.04023 s
c
c core #7
c 
c 
c Core size: 48	Core Weight: 341	Total Weight: 2731
c Current CPU time: 5.54616 s
c
c core #8
c 
c 
c Core size: 34	Core Weight: 341	Total Weight: 3072
c Current CPU time: 6.06708 s
c
c core #9
c 
c 
c Core size: 12	Core Weight: 341	Total Weight: 3413
c Current CPU time: 6.578 s
c
c core #10
c 
c 
c Core size: 20	Core Weight: 341	Total Weight: 3754
c Current CPU time: 7.09692 s
c
c core #11
c 
c 
c Core size: 64	Core Weight: 341	Total Weight: 4095
c Current CPU time: 7.61284 s
c
c core #12
c 
c 
c Core size: 24	Core Weight: 341	Total Weight: 4436
c Current CPU time: 8.14776 s
c
c core #13
c 
c 
c Core size: 38	Core Weight: 341	Total Weight: 4777
c Current CPU time: 8.67968 s
c
c core #14
c 
c 
c Core size: 64	Core Weight: 341	Total Weight: 5118
c Current CPU time: 9.2256 s
c
c core #15
c 
c 
c Core size: 34	Core Weight: 341	Total Weight: 5459
c Current CPU time: 9.78051 s
c
c core #16
c 
c 
c Core size: 14	Core Weight: 341	Total Weight: 5800
c Current CPU time: 10.3324 s
c
c core #17
c 
c 
c Core size: 108	Core Weight: 341	Total Weight: 6141
c Current CPU time: 10.8713 s
c
c core #18
c 
c 
c Core size: 38	Core Weight: 341	Total Weight: 6482
c Current CPU time: 11.4423 s
c
c core #19
c 
c 
c Core size: 12	Core Weight: 341	Total Weight: 6823
c Current CPU time: 11.9982 s
c
c core #20
c 
c 
c Core size: 12	Core Weight: 341	Total Weight: 7164
c Current CPU time: 12.5491 s
c
c core #21
c 
c 
c Core size: 10	Core Weight: 341	Total Weight: 7505
c Current CPU time: 13.106 s
c
c core #22
c 
c 
c Core size: 44	Core Weight: 341	Total Weight: 7846
c Current CPU time: 13.6699 s
c
c core #23
c 
c 
c Core size: 24	Core Weight: 341	Total Weight: 8187
c Current CPU time: 14.2488 s
c
c core #24
c 
c 
c Core size: 127	Core Weight: 1	Total Weight: 8188
c Current CPU time: 14.8217 s
c
c core #25
c 
c 
c Core size: 547	Core Weight: 1	Total Weight: 8189
c Current CPU time: 15.4407 s
c
c core #26
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 8190
c Current CPU time: 16.0726 s
c
c core #27
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 8191
c Current CPU time: 16.6475 s
c
c core #28
c 
c 
c Core size: 84	Core Weight: 341	Total Weight: 8532
c Current CPU time: 17.2354 s
c
c core #29
c 
c 
c Core size: 95	Core Weight: 340	Total Weight: 8872
c Current CPU time: 17.8383 s
c
c core #30
c 
c 
c Core size: 112	Core Weight: 340	Total Weight: 9212
c Current CPU time: 18.4532 s
c
c core #31
c 
c 
c Core size: 156	Core Weight: 341	Total Weight: 9553
c Current CPU time: 19.1081 s
c
c core #32
c 
c 
c Core size: 95	Core Weight: 341	Total Weight: 9894
c Current CPU time: 19.741 s
c
c core #33
c 
c 
c Core size: 62	Core Weight: 341	Total Weight: 10235
c Current CPU time: 20.3569 s
c
c core #34
c 
c 
c Core size: 135	Core Weight: 1	Total Weight: 10236
c Current CPU time: 21.0028 s
c
c core #35
c 
c 
c Core size: 17	Core Weight: 341	Total Weight: 10577
c Current CPU time: 21.6527 s
c
c core #36
c 
c 
c Core size: 53	Core Weight: 1	Total Weight: 10578
c Current CPU time: 22.2946 s
c
c core #37
c 
c 
c Core size: 28	Core Weight: 341	Total Weight: 10919
c Current CPU time: 22.9145 s
c
c core #38
c 
c 
c Core size: 377	Core Weight: 1	Total Weight: 10920
c Current CPU time: 23.5634 s
c
c core #39
c 
c 
c Core size: 43	Core Weight: 1	Total Weight: 10921
c Current CPU time: 24.2413 s
c
c core #40
c 
c 
c Core size: 101	Core Weight: 1	Total Weight: 10922
c Current CPU time: 24.9002 s
c
c core #41
c 
c 
c Core size: 93	Core Weight: 341	Total Weight: 11263
c Current CPU time: 25.5421 s
c
c core #42
c 
c 
c Core size: 61	Core Weight: 341	Total Weight: 11604
c Current CPU time: 26.19 s
c
c core #43
c 
c 
c Core size: 111	Core Weight: 1	Total Weight: 11605
c Current CPU time: 26.8609 s
c
c core #44
c 
c 
c Core size: 142	Core Weight: 341	Total Weight: 11946
c Current CPU time: 27.5198 s
c
c core #45
c 
c 
c Core size: 40	Core Weight: 1	Total Weight: 11947
c Current CPU time: 28.1947 s
c
c core #46
c 
c 
c Core size: 20	Core Weight: 341	Total Weight: 12288
c Current CPU time: 28.8496 s
c
c core #47
c 
c 
c Core size: 44	Core Weight: 341	Total Weight: 12629
c Current CPU time: 29.5195 s
c
c core #48
c 
c 
c Core size: 234	Core Weight: 1	Total Weight: 12630
c Current CPU time: 30.1974 s
c
c core #49
c 
c 
c Core size: 113	Core Weight: 1	Total Weight: 12631
c Current CPU time: 30.9003 s
c
c core #50
c 
c 
c Core size: 44	Core Weight: 1	Total Weight: 12632
c Current CPU time: 31.5822 s
c
c core #51
c 
c 
c Core size: 88	Core Weight: 1	Total Weight: 12633
c Current CPU time: 32.2691 s
c
c core #52
c 
c 
c Core size: 317	Core Weight: 1	Total Weight: 12634
c Current CPU time: 32.986 s
c
c core #53
c 
c 
c Core size: 18	Core Weight: 1	Total Weight: 12635
c Current CPU time: 33.6769 s
c
c core #54
c 
c 
c Core size: 307	Core Weight: 1	Total Weight: 12636
c Current CPU time: 34.3578 s
c
c core #55
c 
c 
c Core size: 492	Core Weight: 1	Total Weight: 12637
c Current CPU time: 35.0767 s
c
c core #56
c 
c 
c Core size: 136	Core Weight: 338	Total Weight: 12975
c Current CPU time: 35.7806 s
c
c core #57
c 
c 
c Core size: 66	Core Weight: 1	Total Weight: 12976
c Current CPU time: 36.5035 s
c
c core #58
c 
c 
c Core size: 144	Core Weight: 2	Total Weight: 12978
c Current CPU time: 37.2043 s
c
c core #59
c 
c 
c Core size: 20	Core Weight: 340	Total Weight: 13318
c Current CPU time: 37.8852 s
c
c core #60
c 
c 
c Core size: 80	Core Weight: 1	Total Weight: 13319
c Current CPU time: 38.5951 s
c
c core #61
c 
c 
c Core size: 96	Core Weight: 1	Total Weight: 13320
c Current CPU time: 39.275 s
c
c core #62
c 
c 
c Core size: 93	Core Weight: 1	Total Weight: 13321
c Current CPU time: 39.9949 s
c
c core #63
c 
c 
c Core size: 100	Core Weight: 341	Total Weight: 13662
c Current CPU time: 40.7248 s
c
c core #64
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 13663
c Current CPU time: 41.4267 s
c
c core #65
c 
c 
c Core size: 104	Core Weight: 340	Total Weight: 14003
c Current CPU time: 42.1426 s
c
c core #66
c 
c 
c Core size: 171	Core Weight: 1	Total Weight: 14004
c Current CPU time: 42.8475 s
c
c core #67
c 
c 
c Core size: 685	Core Weight: 1	Total Weight: 14005
c Current CPU time: 43.5564 s
c
c core #68
c 
c 
c Core size: 50	Core Weight: 1	Total Weight: 14006
c Current CPU time: 44.3163 s
c
c core #69
c 
c 
c Core size: 222	Core Weight: 339	Total Weight: 14345
c Current CPU time: 45.0062 s
c
c core #70
c 
c 
c Core size: 216	Core Weight: 1	Total Weight: 14346
c Current CPU time: 45.839 s
c
c core #71
c 
c 
c Core size: 84	Core Weight: 340	Total Weight: 14686
c Current CPU time: 46.5599 s
c
c core #72
c 
c 
c Core size: 68	Core Weight: 341	Total Weight: 15027
c Current CPU time: 47.3058 s
c
c core #73
c 
c 
c Core size: 207	Core Weight: 1	Total Weight: 15028
c Current CPU time: 47.9857 s
c
c core #74
c 
c 
c Core size: 16	Core Weight: 1	Total Weight: 15029
c Current CPU time: 48.7816 s
c
c core #75
c 
c 
c Core size: 124	Core Weight: 1	Total Weight: 15030
c Current CPU time: 49.5065 s
c
c core #76
c 
c 
c Core size: 257	Core Weight: 1	Total Weight: 15031
c Current CPU time: 50.2384 s
c
c core #77
c 
c 
c Core size: 155	Core Weight: 1	Total Weight: 15032
c Current CPU time: 50.9713 s
c
c core #78
c 
c 
c Core size: 547	Core Weight: 1	Total Weight: 15033
c Current CPU time: 51.7171 s
c
c core #79
c 
c 
c Core size: 310	Core Weight: 1	Total Weight: 15034
c Current CPU time: 52.522 s
c
c core #80
c 
c 
c Core size: 365	Core Weight: 1	Total Weight: 15035
c Current CPU time: 53.3889 s
c
c core #81
c 
c 
c Core size: 123	Core Weight: 1	Total Weight: 15036
c Current CPU time: 54.1208 s
c
c core #82
c 
c 
c Core size: 144	Core Weight: 1	Total Weight: 15037
c Current CPU time: 54.8057 s
c
c core #83
c 
c 
c Core size: 37	Core Weight: 1	Total Weight: 15038
c Current CPU time: 55.5945 s
c
c core #84
c 
c 
c Core size: 262	Core Weight: 1	Total Weight: 15039
c Current CPU time: 56.3334 s
c
c core #85
c 
c 
c Core size: 217	Core Weight: 1	Total Weight: 15040
c Current CPU time: 57.1293 s
c
c core #86
c 
c 
c Core size: 393	Core Weight: 1	Total Weight: 15041
c Current CPU time: 57.9822 s
c
c core #87
c 
c 
c Core size: 946	Core Weight: 1	Total Weight: 15042
c Current CPU time: 58.915 s
c
c core #88
c 
c 
c Core size: 261	Core Weight: 1	Total Weight: 15043
c Current CPU time: 59.6939 s
c
c core #89
c 
c 
c Core size: 1156	Core Weight: 1	Total Weight: 15044
c Current CPU time: 60.8198 s
c
c core #90
c 
c 
c Core size: 1244	Core Weight: 1	Total Weight: 15045
c Current CPU time: 62.1496 s
c
c core #91
c 
c 
c Core size: 423	Core Weight: 1	Total Weight: 15046
c Current CPU time: 63.0714 s
c
c core #92
c 
c 
c Core size: 629	Core Weight: 1	Total Weight: 15047
c Current CPU time: 63.9853 s
c
c core #93
c 
c 
c Core size: 525	Core Weight: 1	Total Weight: 15048
c Current CPU time: 65.0251 s
c
c core #94
c 
c 
c Core size: 925	Core Weight: 1	Total Weight: 15049
c Current CPU time: 66.085 s
c
c core #95
c 
c 
c Core size: 1640	Core Weight: 1	Total Weight: 15050
c Current CPU time: 67.8497 s
c
c core #96
c 
c 
c Core size: 2027	Core Weight: 1	Total Weight: 15051
c Current CPU time: 71.2882 s
c
c core #97
c 
c 
c Core size: 302	Core Weight: 1	Total Weight: 15052
c Current CPU time: 72.331 s
c
c core #98
c 
c 
c Core size: 2096	Core Weight: 1	Total Weight: 15053
c Current CPU time: 89.6354 s
c
c core #99
c 
c 
c Core size: 2336	Core Weight: 1	Total Weight: 15054
c Current CPU time: 118.171 s
c
c core #100
c 
c 
c Core size: 1473	Core Weight: 1	Total Weight: 15055
c Current CPU time: 119.984 s
c