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-15.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/haplotyping-pedigrees/ped3.G.recomb10-0.20-15.wcnf
Job solver: /home/maxsat/solvers/wbo1.6/wbo1.6
c core #1
c 
c 
c Core size: 60	Core Weight: 341	Total Weight: 344
c Current CPU time: 2.21566 s
c
c core #2
c 
c 
c Core size: 138	Core Weight: 341	Total Weight: 685
c Current CPU time: 2.70359 s
c
c core #3
c 
c 
c Core size: 60	Core Weight: 341	Total Weight: 1026
c Current CPU time: 3.19151 s
c
c core #4
c 
c 
c Core size: 33	Core Weight: 341	Total Weight: 1367
c Current CPU time: 3.67744 s
c
c core #5
c 
c 
c Core size: 54	Core Weight: 341	Total Weight: 1708
c Current CPU time: 4.16637 s
c
c core #6
c 
c 
c Core size: 60	Core Weight: 341	Total Weight: 2049
c Current CPU time: 4.65329 s
c
c core #7
c 
c 
c Core size: 56	Core Weight: 341	Total Weight: 2390
c Current CPU time: 5.14522 s
c
c core #8
c 
c 
c Core size: 28	Core Weight: 341	Total Weight: 2731
c Current CPU time: 5.63914 s
c
c core #9
c 
c 
c Core size: 14	Core Weight: 341	Total Weight: 3072
c Current CPU time: 6.13507 s
c
c core #10
c 
c 
c Core size: 70	Core Weight: 341	Total Weight: 3413
c Current CPU time: 6.63499 s
c
c core #11
c 
c 
c Core size: 22	Core Weight: 341	Total Weight: 3754
c Current CPU time: 7.15691 s
c
c core #12
c 
c 
c Core size: 27	Core Weight: 341	Total Weight: 4095
c Current CPU time: 7.66583 s
c
c core #13
c 
c 
c Core size: 83	Core Weight: 341	Total Weight: 4436
c Current CPU time: 8.17876 s
c
c core #14
c 
c 
c Core size: 44	Core Weight: 341	Total Weight: 4777
c Current CPU time: 8.70668 s
c
c core #15
c 
c 
c Core size: 43	Core Weight: 341	Total Weight: 5118
c Current CPU time: 9.2336 s
c
c core #16
c 
c 
c Core size: 20	Core Weight: 341	Total Weight: 5459
c Current CPU time: 9.75852 s
c
c core #17
c 
c 
c Core size: 152	Core Weight: 341	Total Weight: 5800
c Current CPU time: 10.2854 s
c
c core #18
c 
c 
c Core size: 22	Core Weight: 341	Total Weight: 6141
c Current CPU time: 10.8224 s
c
c core #19
c 
c 
c Core size: 20	Core Weight: 341	Total Weight: 6482
c Current CPU time: 11.3543 s
c
c core #20
c 
c 
c Core size: 28	Core Weight: 341	Total Weight: 6823
c Current CPU time: 11.8862 s
c
c core #21
c 
c 
c Core size: 74	Core Weight: 341	Total Weight: 7164
c Current CPU time: 12.4291 s
c
c core #22
c 
c 
c Core size: 20	Core Weight: 341	Total Weight: 7505
c Current CPU time: 12.981 s
c
c core #23
c 
c 
c Core size: 24	Core Weight: 341	Total Weight: 7846
c Current CPU time: 13.5249 s
c
c core #24
c 
c 
c Core size: 12	Core Weight: 341	Total Weight: 8187
c Current CPU time: 14.0739 s
c
c core #25
c 
c 
c Core size: 27	Core Weight: 341	Total Weight: 8528
c Current CPU time: 14.6238 s
c
c core #26
c 
c 
c Core size: 41	Core Weight: 341	Total Weight: 8869
c Current CPU time: 15.1887 s
c
c core #27
c 
c 
c Core size: 12	Core Weight: 341	Total Weight: 9210
c Current CPU time: 15.7506 s
c
c core #28
c 
c 
c Core size: 29	Core Weight: 1	Total Weight: 9211
c Current CPU time: 16.3145 s
c
c core #29
c 
c 
c Core size: 103	Core Weight: 341	Total Weight: 9552
c Current CPU time: 16.9004 s
c
c core #30
c 
c 
c Core size: 70	Core Weight: 1	Total Weight: 9553
c Current CPU time: 17.5023 s
c
c core #31
c 
c 
c Core size: 4	Core Weight: 341	Total Weight: 9894
c Current CPU time: 18.0793 s
c
c core #32
c 
c 
c Core size: 69	Core Weight: 341	Total Weight: 10235
c Current CPU time: 18.6562 s
c
c core #33
c 
c 
c Core size: 50	Core Weight: 341	Total Weight: 10576
c Current CPU time: 19.2711 s
c
c core #34
c 
c 
c Core size: 412	Core Weight: 1	Total Weight: 10577
c Current CPU time: 19.876 s
c
c core #35
c 
c 
c Core size: 312	Core Weight: 1	Total Weight: 10578
c Current CPU time: 20.5059 s
c
c core #36
c 
c 
c Core size: 220	Core Weight: 1	Total Weight: 10579
c Current CPU time: 21.1248 s
c
c core #37
c 
c 
c Core size: 193	Core Weight: 340	Total Weight: 10919
c Current CPU time: 21.7727 s
c
c core #38
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 10920
c Current CPU time: 22.4366 s
c
c core #39
c 
c 
c Core size: 5	Core Weight: 1	Total Weight: 10921
c Current CPU time: 23.0265 s
c
c core #40
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 10922
c Current CPU time: 23.6334 s
c
c core #41
c 
c 
c Core size: 32	Core Weight: 341	Total Weight: 11263
c Current CPU time: 24.2533 s
c
c core #42
c 
c 
c Core size: 150	Core Weight: 1	Total Weight: 11264
c Current CPU time: 24.8802 s
c
c core #43
c 
c 
c Core size: 20	Core Weight: 341	Total Weight: 11605
c Current CPU time: 25.5221 s
c
c core #44
c 
c 
c Core size: 184	Core Weight: 1	Total Weight: 11606
c Current CPU time: 26.178 s
c
c core #45
c 
c 
c Core size: 53	Core Weight: 341	Total Weight: 11947
c Current CPU time: 26.8179 s
c
c core #46
c 
c 
c Core size: 67	Core Weight: 1	Total Weight: 11948
c Current CPU time: 27.4928 s
c
c core #47
c 
c 
c Core size: 30	Core Weight: 1	Total Weight: 11949
c Current CPU time: 28.1277 s
c
c core #48
c 
c 
c Core size: 325	Core Weight: 1	Total Weight: 11950
c Current CPU time: 28.7916 s
c
c core #49
c 
c 
c Core size: 39	Core Weight: 340	Total Weight: 12290
c Current CPU time: 29.4435 s
c
c core #50
c 
c 
c Core size: 374	Core Weight: 1	Total Weight: 12291
c Current CPU time: 30.1124 s
c
c core #51
c 
c 
c Core size: 118	Core Weight: 1	Total Weight: 12292
c Current CPU time: 30.7713 s
c
c core #52
c 
c 
c Core size: 75	Core Weight: 1	Total Weight: 12293
c Current CPU time: 31.4362 s
c
c core #53
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 12294
c Current CPU time: 32.0961 s
c
c core #54
c 
c 
c Core size: 452	Core Weight: 1	Total Weight: 12295
c Current CPU time: 32.759 s
c
c core #55
c 
c 
c Core size: 39	Core Weight: 341	Total Weight: 12636
c Current CPU time: 33.4389 s
c
c core #56
c 
c 
c Core size: 443	Core Weight: 1	Total Weight: 12637
c Current CPU time: 34.1118 s
c
c core #57
c 
c 
c Core size: 48	Core Weight: 341	Total Weight: 12978
c Current CPU time: 34.8147 s
c
c core #58
c 
c 
c Core size: 492	Core Weight: 1	Total Weight: 12979
c Current CPU time: 35.4976 s
c
c core #59
c 
c 
c Core size: 33	Core Weight: 341	Total Weight: 13320
c Current CPU time: 36.1685 s
c
c core #60
c 
c 
c Core size: 40	Core Weight: 341	Total Weight: 13661
c Current CPU time: 36.8504 s
c
c core #61
c 
c 
c Core size: 141	Core Weight: 1	Total Weight: 13662
c Current CPU time: 37.5393 s
c
c core #62
c 
c 
c Core size: 217	Core Weight: 1	Total Weight: 13663
c Current CPU time: 38.2442 s
c
c core #63
c 
c 
c Core size: 275	Core Weight: 1	Total Weight: 13664
c Current CPU time: 38.9421 s
c
c core #64
c 
c 
c Core size: 22	Core Weight: 341	Total Weight: 14005
c Current CPU time: 39.617 s
c
c core #65
c 
c 
c Core size: 285	Core Weight: 1	Total Weight: 14006
c Current CPU time: 40.3069 s
c
c core #66
c 
c 
c Core size: 142	Core Weight: 337	Total Weight: 14343
c Current CPU time: 41.0318 s
c
c core #67
c 
c 
c Core size: 224	Core Weight: 1	Total Weight: 14344
c Current CPU time: 41.7407 s
c
c core #68
c 
c 
c Core size: 346	Core Weight: 1	Total Weight: 14345
c Current CPU time: 42.4455 s
c
c core #69
c 
c 
c Core size: 221	Core Weight: 1	Total Weight: 14346
c Current CPU time: 43.1444 s
c
c core #70
c 
c 
c Core size: 537	Core Weight: 1	Total Weight: 14347
c Current CPU time: 43.8743 s
c
c core #71
c 
c 
c Core size: 374	Core Weight: 1	Total Weight: 14348
c Current CPU time: 44.6202 s
c
c core #72
c 
c 
c Core size: 88	Core Weight: 339	Total Weight: 14687
c Current CPU time: 45.3091 s
c
c core #73
c 
c 
c Core size: 18	Core Weight: 1	Total Weight: 14688
c Current CPU time: 46.003 s
c
c core #74
c 
c 
c Core size: 606	Core Weight: 1	Total Weight: 14689
c Current CPU time: 46.6929 s
c
c core #75
c 
c 
c Core size: 73	Core Weight: 1	Total Weight: 14690
c Current CPU time: 47.3958 s
c
c core #76
c 
c 
c Core size: 511	Core Weight: 1	Total Weight: 14691
c Current CPU time: 48.0937 s
c
c core #77
c 
c 
c Core size: 32	Core Weight: 341	Total Weight: 15032
c Current CPU time: 48.8366 s
c
c core #78
c 
c 
c Core size: 299	Core Weight: 1	Total Weight: 15033
c Current CPU time: 49.5745 s
c
c core #79
c 
c 
c Core size: 119	Core Weight: 1	Total Weight: 15034
c Current CPU time: 50.3343 s
c
c core #80
c 
c 
c Core size: 656	Core Weight: 1	Total Weight: 15035
c Current CPU time: 51.1022 s
c
c core #81
c 
c 
c Core size: 35	Core Weight: 1	Total Weight: 15036
c Current CPU time: 51.8671 s
c
c core #82
c 
c 
c Core size: 349	Core Weight: 1	Total Weight: 15037
c Current CPU time: 52.632 s
c
c core #83
c 
c 
c Core size: 1090	Core Weight: 1	Total Weight: 15038
c Current CPU time: 53.4609 s
c
c core #84
c 
c 
c Core size: 689	Core Weight: 1	Total Weight: 15039
c Current CPU time: 54.2987 s
c
c core #85
c 
c 
c Core size: 584	Core Weight: 1	Total Weight: 15040
c Current CPU time: 55.3436 s
c
c core #86
c 
c 
c Core size: 620	Core Weight: 1	Total Weight: 15041
c Current CPU time: 56.1945 s
c
c core #87
c 
c 
c Core size: 457	Core Weight: 1	Total Weight: 15042
c Current CPU time: 57.0553 s
c
c core #88
c 
c 
c Core size: 413	Core Weight: 1	Total Weight: 15043
c Current CPU time: 57.9462 s
c
c core #89
c 
c 
c Core size: 291	Core Weight: 1	Total Weight: 15044
c Current CPU time: 58.7511 s
c
c core #90
c 
c 
c Core size: 510	Core Weight: 1	Total Weight: 15045
c Current CPU time: 59.6079 s
c
c core #91
c 
c 
c Core size: 1026	Core Weight: 1	Total Weight: 15046
c Current CPU time: 60.7878 s
c
c core #92
c 
c 
c Core size: 156	Core Weight: 1	Total Weight: 15047
c Current CPU time: 61.5986 s
c
c core #93
c 
c 
c Core size: 216	Core Weight: 1	Total Weight: 15048
c Current CPU time: 62.4745 s
c
c core #94
c 
c 
c Core size: 1187	Core Weight: 1	Total Weight: 15049
c Current CPU time: 64.1203 s
c
c core #95
c 
c 
c Core size: 205	Core Weight: 1	Total Weight: 15050
c Current CPU time: 64.8641 s
c
c core #96
c 
c 
c Core size: 286	Core Weight: 1	Total Weight: 15051
c Current CPU time: 66.002 s
c
c core #97
c 
c 
c Core size: 1857	Core Weight: 1	Total Weight: 15052
c Current CPU time: 67.5247 s
c
c core #98
c 
c 
c Core size: 468	Core Weight: 1	Total Weight: 15053
c Current CPU time: 68.4936 s
c
c core #99
c 
c 
c Core size: 808	Core Weight: 1	Total Weight: 15054
c Current CPU time: 69.4624 s
c
c core #100
c 
c 
c Core size: 1913	Core Weight: 1	Total Weight: 15055
c Current CPU time: 71.3552 s
c
c core #101
c 
c 
c Core size: 970	Core Weight: 1	Total Weight: 15056
c Current CPU time: 72.9639 s
c
c core #102
c 
c 
c Core size: 1940	Core Weight: 1	Total Weight: 15057
c Current CPU time: 81.4986 s
c
c core #103
c 
c 
c Core size: 2145	Core Weight: 1	Total Weight: 15058
c Current CPU time: 95.7254 s
c
c core #104
c 
c 
c Core size: 1782	Core Weight: 1	Total Weight: 15059
c Current CPU time: 105.769 s
c
c core #105
c 
c 
c Core size: 2270	Core Weight: 1	Total Weight: 15060
c Current CPU time: 108.007 s
c
c core #106
c 
c 
c Core size: 487	Core Weight: 1	Total Weight: 15061
c Current CPU time: 109.393 s
c
c core #107
c 
c 
c Core size: 979	Core Weight: 1	Total Weight: 15062
c Current CPU time: 110.445 s
c
c core #108
c 
c 
c Core size: 3081	Core Weight: 1	Total Weight: 15063
c Current CPU time: 115.977 s
c
c core #109
c 
c 
c Core size: 569	Core Weight: 1	Total Weight: 15064
c Current CPU time: 117.087 s
c
c core #110
c 
c 
c Core size: 1015	Core Weight: 1	Total Weight: 15065
c Current CPU time: 118.545 s
c
c core #111
c 
c 
c Core size: 172	Core Weight: 333	Total Weight: 15398
c Current CPU time: 164.59 s
c
c core #112
c 
c 
c Core size: 4230	Core Weight: 1	Total Weight: 15399
c Current CPU time: 219.329 s
c