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.10-9.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/haplotyping-pedigrees/ped3.G.recomb10-0.10-9.wcnf
Job solver: /home/maxsat/solvers/wbo1.6/wbo1.6
c core #1
c 
c 
c Core size: 16	Core Weight: 341	Total Weight: 687
c Current CPU time: 1.86972 s
c
c core #2
c 
c 
c Core size: 24	Core Weight: 341	Total Weight: 1028
c Current CPU time: 2.26865 s
c
c core #3
c 
c 
c Core size: 48	Core Weight: 341	Total Weight: 1369
c Current CPU time: 2.68059 s
c
c core #4
c 
c 
c Core size: 48	Core Weight: 341	Total Weight: 1710
c Current CPU time: 3.08453 s
c
c core #5
c 
c 
c Core size: 62	Core Weight: 341	Total Weight: 2051
c Current CPU time: 3.48947 s
c
c core #6
c 
c 
c Core size: 22	Core Weight: 341	Total Weight: 2392
c Current CPU time: 3.89941 s
c
c core #7
c 
c 
c Core size: 8	Core Weight: 341	Total Weight: 2733
c Current CPU time: 4.29235 s
c
c core #8
c 
c 
c Core size: 67	Core Weight: 341	Total Weight: 3074
c Current CPU time: 4.68329 s
c
c core #9
c 
c 
c Core size: 26	Core Weight: 341	Total Weight: 3415
c Current CPU time: 5.08723 s
c
c core #10
c 
c 
c Core size: 12	Core Weight: 341	Total Weight: 3756
c Current CPU time: 5.48817 s
c
c core #11
c 
c 
c Core size: 46	Core Weight: 341	Total Weight: 4097
c Current CPU time: 5.88311 s
c
c core #12
c 
c 
c Core size: 26	Core Weight: 341	Total Weight: 4438
c Current CPU time: 6.30304 s
c
c core #13
c 
c 
c Core size: 102	Core Weight: 341	Total Weight: 4779
c Current CPU time: 6.70198 s
c
c core #14
c 
c 
c Core size: 66	Core Weight: 341	Total Weight: 5120
c Current CPU time: 7.13291 s
c
c core #15
c 
c 
c Core size: 56	Core Weight: 341	Total Weight: 5461
c Current CPU time: 7.54585 s
c
c core #16
c 
c 
c Core size: 28	Core Weight: 341	Total Weight: 5802
c Current CPU time: 7.96079 s
c
c core #17
c 
c 
c Core size: 58	Core Weight: 341	Total Weight: 6143
c Current CPU time: 8.37573 s
c
c core #18
c 
c 
c Core size: 24	Core Weight: 341	Total Weight: 6484
c Current CPU time: 8.78566 s
c
c core #19
c 
c 
c Core size: 4	Core Weight: 341	Total Weight: 6825
c Current CPU time: 9.2066 s
c
c core #20
c 
c 
c Core size: 111	Core Weight: 341	Total Weight: 7166
c Current CPU time: 9.62454 s
c
c core #21
c 
c 
c Core size: 32	Core Weight: 341	Total Weight: 7507
c Current CPU time: 10.0475 s
c
c core #22
c 
c 
c Core size: 67	Core Weight: 341	Total Weight: 7848
c Current CPU time: 10.4654 s
c
c core #23
c 
c 
c Core size: 28	Core Weight: 1	Total Weight: 7849
c Current CPU time: 10.8893 s
c
c core #24
c 
c 
c Core size: 129	Core Weight: 1	Total Weight: 7850
c Current CPU time: 11.3273 s
c
c core #25
c 
c 
c Core size: 29	Core Weight: 1	Total Weight: 7851
c Current CPU time: 11.7542 s
c
c core #26
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 7852
c Current CPU time: 12.1891 s
c
c core #27
c 
c 
c Core size: 24	Core Weight: 341	Total Weight: 8193
c Current CPU time: 12.6261 s
c
c core #28
c 
c 
c Core size: 70	Core Weight: 341	Total Weight: 8534
c Current CPU time: 13.051 s
c
c core #29
c 
c 
c Core size: 305	Core Weight: 1	Total Weight: 8535
c Current CPU time: 13.5189 s
c
c core #30
c 
c 
c Core size: 120	Core Weight: 341	Total Weight: 8876
c Current CPU time: 13.9849 s
c
c core #31
c 
c 
c Core size: 24	Core Weight: 341	Total Weight: 9217
c Current CPU time: 14.4458 s
c
c core #32
c 
c 
c Core size: 93	Core Weight: 341	Total Weight: 9558
c Current CPU time: 14.9047 s
c
c core #33
c 
c 
c Core size: 52	Core Weight: 341	Total Weight: 9899
c Current CPU time: 15.3667 s
c
c core #34
c 
c 
c Core size: 296	Core Weight: 1	Total Weight: 9900
c Current CPU time: 15.8146 s
c
c core #35
c 
c 
c Core size: 523	Core Weight: 1	Total Weight: 9901
c Current CPU time: 16.2985 s
c
c core #36
c 
c 
c Core size: 156	Core Weight: 1	Total Weight: 9902
c Current CPU time: 16.7904 s
c
c core #37
c 
c 
c Core size: 87	Core Weight: 340	Total Weight: 10242
c Current CPU time: 17.2814 s
c
c core #38
c 
c 
c Core size: 50	Core Weight: 340	Total Weight: 10582
c Current CPU time: 17.7663 s
c
c core #39
c 
c 
c Core size: 120	Core Weight: 1	Total Weight: 10583
c Current CPU time: 18.2672 s
c
c core #40
c 
c 
c Core size: 21	Core Weight: 1	Total Weight: 10584
c Current CPU time: 18.7811 s
c
c core #41
c 
c 
c Core size: 18	Core Weight: 1	Total Weight: 10585
c Current CPU time: 19.2551 s
c
c core #42
c 
c 
c Core size: 28	Core Weight: 340	Total Weight: 10925
c Current CPU time: 19.724 s
c
c core #43
c 
c 
c Core size: 33	Core Weight: 1	Total Weight: 10926
c Current CPU time: 20.2049 s
c
c core #44
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 10927
c Current CPU time: 20.6859 s
c
c core #45
c 
c 
c Core size: 52	Core Weight: 1	Total Weight: 10928
c Current CPU time: 21.1548 s
c
c core #46
c 
c 
c Core size: 43	Core Weight: 1	Total Weight: 10929
c Current CPU time: 21.6537 s
c
c core #47
c 
c 
c Core size: 36	Core Weight: 341	Total Weight: 11270
c Current CPU time: 22.1426 s
c
c core #48
c 
c 
c Core size: 22	Core Weight: 1	Total Weight: 11271
c Current CPU time: 22.6466 s
c
c core #49
c 
c 
c Core size: 110	Core Weight: 339	Total Weight: 11610
c Current CPU time: 23.1465 s
c
c core #50
c 
c 
c Core size: 74	Core Weight: 1	Total Weight: 11611
c Current CPU time: 23.6494 s
c
c core #51
c 
c 
c Core size: 5	Core Weight: 1	Total Weight: 11612
c Current CPU time: 24.1663 s
c
c core #52
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 11613
c Current CPU time: 24.6563 s
c
c core #53
c 
c 
c Core size: 26	Core Weight: 1	Total Weight: 11614
c Current CPU time: 25.1552 s
c
c core #54
c 
c 
c Core size: 19	Core Weight: 1	Total Weight: 11615
c Current CPU time: 25.6911 s
c
c core #55
c 
c 
c Core size: 329	Core Weight: 1	Total Weight: 11616
c Current CPU time: 26.192 s
c
c core #56
c 
c 
c Core size: 23	Core Weight: 1	Total Weight: 11617
c Current CPU time: 26.7269 s
c
c core #57
c 
c 
c Core size: 322	Core Weight: 1	Total Weight: 11618
c Current CPU time: 27.2389 s
c
c core #58
c 
c 
c Core size: 90	Core Weight: 338	Total Weight: 11956
c Current CPU time: 27.7628 s
c
c core #59
c 
c 
c Core size: 61	Core Weight: 1	Total Weight: 11957
c Current CPU time: 28.2937 s
c
c core #60
c 
c 
c Core size: 130	Core Weight: 1	Total Weight: 11958
c Current CPU time: 28.8006 s
c
c core #61
c 
c 
c Core size: 378	Core Weight: 1	Total Weight: 11959
c Current CPU time: 29.3585 s
c
c core #62
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 11960
c Current CPU time: 29.9115 s
c
c core #63
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 11961
c Current CPU time: 30.4334 s
c
c core #64
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 11962
c Current CPU time: 30.9243 s
c
c core #65
c 
c 
c Core size: 92	Core Weight: 1	Total Weight: 11963
c Current CPU time: 31.4282 s
c
c core #66
c 
c 
c Core size: 808	Core Weight: 1	Total Weight: 11964
c Current CPU time: 31.9731 s
c
c core #67
c 
c 
c Core size: 112	Core Weight: 340	Total Weight: 12304
c Current CPU time: 32.5301 s
c
c core #68
c 
c 
c Core size: 49	Core Weight: 1	Total Weight: 12305
c Current CPU time: 33.083 s
c
c core #69
c 
c 
c Core size: 67	Core Weight: 1	Total Weight: 12306
c Current CPU time: 33.6109 s
c
c core #70
c 
c 
c Core size: 84	Core Weight: 340	Total Weight: 12646
c Current CPU time: 34.1788 s
c
c core #71
c 
c 
c Core size: 421	Core Weight: 1	Total Weight: 12647
c Current CPU time: 34.7627 s
c
c core #72
c 
c 
c Core size: 16	Core Weight: 341	Total Weight: 12988
c Current CPU time: 35.3386 s
c
c core #73
c 
c 
c Core size: 32	Core Weight: 341	Total Weight: 13329
c Current CPU time: 35.8595 s
c
c core #74
c 
c 
c Core size: 125	Core Weight: 1	Total Weight: 13330
c Current CPU time: 36.3965 s
c
c core #75
c 
c 
c Core size: 104	Core Weight: 340	Total Weight: 13670
c Current CPU time: 36.9394 s
c
c core #76
c 
c 
c Core size: 36	Core Weight: 1	Total Weight: 13671
c Current CPU time: 37.5353 s
c
c core #77
c 
c 
c Core size: 193	Core Weight: 1	Total Weight: 13672
c Current CPU time: 38.0762 s
c
c core #78
c 
c 
c Core size: 132	Core Weight: 2	Total Weight: 13674
c Current CPU time: 38.6631 s
c
c core #79
c 
c 
c Core size: 190	Core Weight: 1	Total Weight: 13675
c Current CPU time: 39.207 s
c
c core #80
c 
c 
c Core size: 11	Core Weight: 1	Total Weight: 13676
c Current CPU time: 39.8239 s
c
c core #81
c 
c 
c Core size: 122	Core Weight: 337	Total Weight: 14013
c Current CPU time: 40.3849 s
c
c core #82
c 
c 
c Core size: 96	Core Weight: 1	Total Weight: 14014
c Current CPU time: 40.9658 s
c
c core #83
c 
c 
c Core size: 56	Core Weight: 1	Total Weight: 14015
c Current CPU time: 41.5447 s
c
c core #84
c 
c 
c Core size: 47	Core Weight: 1	Total Weight: 14016
c Current CPU time: 42.1106 s
c
c core #85
c 
c 
c Core size: 69	Core Weight: 1	Total Weight: 14017
c Current CPU time: 42.6755 s
c
c core #86
c 
c 
c Core size: 196	Core Weight: 1	Total Weight: 14018
c Current CPU time: 43.2634 s
c
c core #87
c 
c 
c Core size: 241	Core Weight: 1	Total Weight: 14019
c Current CPU time: 43.8423 s
c
c core #88
c 
c 
c Core size: 35	Core Weight: 1	Total Weight: 14020
c Current CPU time: 44.4922 s
c
c core #89
c 
c 
c Core size: 302	Core Weight: 1	Total Weight: 14021
c Current CPU time: 45.0711 s
c
c core #90
c 
c 
c Core size: 416	Core Weight: 1	Total Weight: 14022
c Current CPU time: 45.6711 s
c
c core #91
c 
c 
c Core size: 108	Core Weight: 338	Total Weight: 14360
c Current CPU time: 46.28 s
c
c core #92
c 
c 
c Core size: 435	Core Weight: 1	Total Weight: 14361
c Current CPU time: 46.8879 s
c
c core #93
c 
c 
c Core size: 210	Core Weight: 1	Total Weight: 14362
c Current CPU time: 47.4748 s
c
c core #94
c 
c 
c Core size: 477	Core Weight: 1	Total Weight: 14363
c Current CPU time: 48.1537 s
c
c core #95
c 
c 
c Core size: 433	Core Weight: 1	Total Weight: 14364
c Current CPU time: 48.9296 s
c
c core #96
c 
c 
c Core size: 113	Core Weight: 3	Total Weight: 14367
c Current CPU time: 49.4955 s
c
c core #97
c 
c 
c Core size: 202	Core Weight: 1	Total Weight: 14368
c Current CPU time: 50.1454 s
c
c core #98
c 
c 
c Core size: 20	Core Weight: 341	Total Weight: 14709
c Current CPU time: 50.7053 s
c
c core #99
c 
c 
c Core size: 293	Core Weight: 1	Total Weight: 14710
c Current CPU time: 51.4302 s
c
c core #100
c 
c 
c Core size: 40	Core Weight: 341	Total Weight: 15051
c Current CPU time: 51.9931 s
c
c core #101
c 
c 
c Core size: 174	Core Weight: 1	Total Weight: 15052
c Current CPU time: 52.58 s
c
c core #102
c 
c 
c Core size: 189	Core Weight: 1	Total Weight: 15053
c Current CPU time: 53.2099 s
c
c core #103
c 
c 
c Core size: 353	Core Weight: 1	Total Weight: 15054
c Current CPU time: 53.8848 s
c
c core #104
c 
c 
c Core size: 505	Core Weight: 1	Total Weight: 15055
c Current CPU time: 55.0046 s
c
c core #105
c 
c 
c Core size: 155	Core Weight: 1	Total Weight: 15056
c Current CPU time: 55.7035 s
c
c core #106
c 
c 
c Core size: 150	Core Weight: 1	Total Weight: 15057
c Current CPU time: 57.0543 s
c
c core #107
c 
c 
c Core size: 1080	Core Weight: 1	Total Weight: 15058
c Current CPU time: 58.5921 s
c
c core #108
c 
c 
c Core size: 1136	Core Weight: 1	Total Weight: 15059
c Current CPU time: 59.9959 s
c
c core #109
c 
c 
c Core size: 1427	Core Weight: 1	Total Weight: 15060
c Current CPU time: 63.0104 s
c
c core #110
c 
c 
c Core size: 1222	Core Weight: 1	Total Weight: 15061
c Current CPU time: 66.5409 s
c
c core #111
c 
c 
c Core size: 2691	Core Weight: 1	Total Weight: 15062
c Current CPU time: 70.9532 s
c
c core #112
c 
c 
c Core size: 221	Core Weight: 339	Total Weight: 15401
c Current CPU time: 82.1305 s
c
c core #113
c 
c 
c Core size: 2580	Core Weight: 1	Total Weight: 15402
c Current CPU time: 89.2984 s
c
c core #114
c 
c 
c Core size: 3293	Core Weight: 1	Total Weight: 15403
c Current CPU time: 119.071 s
c
c core #115
c 
c 
c Core size: 122	Core Weight: 1	Total Weight: 15404
c Current CPU time: 132.514 s
c