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-10.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/haplotyping-pedigrees/ped3.G.recomb10-0.10-10.wcnf
Job solver: /home/maxsat/solvers/wbo1.6/wbo1.6
c core #1
c 
c 
c Core size: 22	Core Weight: 341	Total Weight: 692
c Current CPU time: 1.73673 s
c
c core #2
c 
c 
c Core size: 30	Core Weight: 341	Total Weight: 1033
c Current CPU time: 2.07568 s
c
c core #3
c 
c 
c Core size: 20	Core Weight: 341	Total Weight: 1374
c Current CPU time: 2.41063 s
c
c core #4
c 
c 
c Core size: 30	Core Weight: 341	Total Weight: 1715
c Current CPU time: 2.74158 s
c
c core #5
c 
c 
c Core size: 12	Core Weight: 341	Total Weight: 2056
c Current CPU time: 3.07553 s
c
c core #6
c 
c 
c Core size: 30	Core Weight: 341	Total Weight: 2397
c Current CPU time: 3.40248 s
c
c core #7
c 
c 
c Core size: 47	Core Weight: 341	Total Weight: 2738
c Current CPU time: 3.73343 s
c
c core #8
c 
c 
c Core size: 40	Core Weight: 341	Total Weight: 3079
c Current CPU time: 4.06838 s
c
c core #9
c 
c 
c Core size: 38	Core Weight: 341	Total Weight: 3420
c Current CPU time: 4.39933 s
c
c core #10
c 
c 
c Core size: 14	Core Weight: 341	Total Weight: 3761
c Current CPU time: 4.73628 s
c
c core #11
c 
c 
c Core size: 41	Core Weight: 341	Total Weight: 4102
c Current CPU time: 5.06623 s
c
c core #12
c 
c 
c Core size: 14	Core Weight: 341	Total Weight: 4443
c Current CPU time: 5.40518 s
c
c core #13
c 
c 
c Core size: 6	Core Weight: 341	Total Weight: 4784
c Current CPU time: 5.73313 s
c
c core #14
c 
c 
c Core size: 6	Core Weight: 341	Total Weight: 5125
c Current CPU time: 6.06308 s
c
c core #15
c 
c 
c Core size: 33	Core Weight: 341	Total Weight: 5466
c Current CPU time: 6.39603 s
c
c core #16
c 
c 
c Core size: 10	Core Weight: 341	Total Weight: 5807
c Current CPU time: 6.73498 s
c
c core #17
c 
c 
c Core size: 26	Core Weight: 341	Total Weight: 6148
c Current CPU time: 7.07392 s
c
c core #18
c 
c 
c Core size: 28	Core Weight: 341	Total Weight: 6489
c Current CPU time: 7.41087 s
c
c core #19
c 
c 
c Core size: 46	Core Weight: 341	Total Weight: 6830
c Current CPU time: 7.74082 s
c
c core #20
c 
c 
c Core size: 22	Core Weight: 341	Total Weight: 7171
c Current CPU time: 8.07377 s
c
c core #21
c 
c 
c Core size: 42	Core Weight: 341	Total Weight: 7512
c Current CPU time: 8.40772 s
c
c core #22
c 
c 
c Core size: 14	Core Weight: 341	Total Weight: 7853
c Current CPU time: 8.74967 s
c
c core #23
c 
c 
c Core size: 34	Core Weight: 341	Total Weight: 8194
c Current CPU time: 9.08562 s
c
c core #24
c 
c 
c Core size: 70	Core Weight: 341	Total Weight: 8535
c Current CPU time: 9.42057 s
c
c core #25
c 
c 
c Core size: 8	Core Weight: 341	Total Weight: 8876
c Current CPU time: 9.76451 s
c
c core #26
c 
c 
c Core size: 12	Core Weight: 341	Total Weight: 9217
c Current CPU time: 10.1005 s
c
c core #27
c 
c 
c Core size: 93	Core Weight: 341	Total Weight: 9558
c Current CPU time: 10.4454 s
c
c core #28
c 
c 
c Core size: 50	Core Weight: 341	Total Weight: 9899
c Current CPU time: 10.8024 s
c
c core #29
c 
c 
c Core size: 50	Core Weight: 341	Total Weight: 10240
c Current CPU time: 11.1583 s
c
c core #30
c 
c 
c Core size: 10	Core Weight: 341	Total Weight: 10581
c Current CPU time: 11.5132 s
c
c core #31
c 
c 
c Core size: 23	Core Weight: 341	Total Weight: 10922
c Current CPU time: 11.8632 s
c
c core #32
c 
c 
c Core size: 38	Core Weight: 1	Total Weight: 10923
c Current CPU time: 12.2191 s
c
c core #33
c 
c 
c Core size: 4	Core Weight: 341	Total Weight: 11264
c Current CPU time: 12.5911 s
c
c core #34
c 
c 
c Core size: 9	Core Weight: 1	Total Weight: 11265
c Current CPU time: 12.94 s
c
c core #35
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 11266
c Current CPU time: 13.296 s
c
c core #36
c 
c 
c Core size: 37	Core Weight: 1	Total Weight: 11267
c Current CPU time: 13.6519 s
c
c core #37
c 
c 
c Core size: 68	Core Weight: 340	Total Weight: 11607
c Current CPU time: 14.0179 s
c
c core #38
c 
c 
c Core size: 4	Core Weight: 1	Total Weight: 11608
c Current CPU time: 14.4048 s
c
c core #39
c 
c 
c Core size: 4	Core Weight: 341	Total Weight: 11949
c Current CPU time: 14.7648 s
c
c core #40
c 
c 
c Core size: 107	Core Weight: 1	Total Weight: 11950
c Current CPU time: 15.1257 s
c
c core #41
c 
c 
c Core size: 172	Core Weight: 1	Total Weight: 11951
c Current CPU time: 15.5036 s
c
c core #42
c 
c 
c Core size: 18	Core Weight: 1	Total Weight: 11952
c Current CPU time: 15.8986 s
c
c core #43
c 
c 
c Core size: 49	Core Weight: 1	Total Weight: 11953
c Current CPU time: 16.2685 s
c
c core #44
c 
c 
c Core size: 416	Core Weight: 1	Total Weight: 11954
c Current CPU time: 16.6435 s
c
c core #45
c 
c 
c Core size: 49	Core Weight: 341	Total Weight: 12295
c Current CPU time: 17.0384 s
c
c core #46
c 
c 
c Core size: 24	Core Weight: 341	Total Weight: 12636
c Current CPU time: 17.4323 s
c
c core #47
c 
c 
c Core size: 546	Core Weight: 1	Total Weight: 12637
c Current CPU time: 17.8133 s
c
c core #48
c 
c 
c Core size: 121	Core Weight: 341	Total Weight: 12978
c Current CPU time: 18.2132 s
c
c core #49
c 
c 
c Core size: 8	Core Weight: 341	Total Weight: 13319
c Current CPU time: 18.6062 s
c
c core #50
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 13320
c Current CPU time: 18.9811 s
c
c core #51
c 
c 
c Core size: 8	Core Weight: 340	Total Weight: 13660
c Current CPU time: 19.3511 s
c
c core #52
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 13661
c Current CPU time: 19.724 s
c
c core #53
c 
c 
c Core size: 19	Core Weight: 1	Total Weight: 13662
c Current CPU time: 20.0959 s
c
c core #54
c 
c 
c Core size: 24	Core Weight: 341	Total Weight: 14003
c Current CPU time: 20.4749 s
c
c core #55
c 
c 
c Core size: 44	Core Weight: 341	Total Weight: 14344
c Current CPU time: 20.8638 s
c
c core #56
c 
c 
c Core size: 36	Core Weight: 1	Total Weight: 14345
c Current CPU time: 21.2468 s
c
c core #57
c 
c 
c Core size: 48	Core Weight: 341	Total Weight: 14686
c Current CPU time: 21.6307 s
c
c core #58
c 
c 
c Core size: 28	Core Weight: 341	Total Weight: 15027
c Current CPU time: 22.0177 s
c
c core #59
c 
c 
c Core size: 21	Core Weight: 341	Total Weight: 15368
c Current CPU time: 22.4086 s
c
c core #60
c 
c 
c Core size: 64	Core Weight: 341	Total Weight: 15709
c Current CPU time: 22.7975 s
c
c core #61
c 
c 
c Core size: 60	Core Weight: 341	Total Weight: 16050
c Current CPU time: 23.1975 s
c
c core #62
c 
c 
c Core size: 108	Core Weight: 1	Total Weight: 16051
c Current CPU time: 23.5894 s
c
c core #63
c 
c 
c Core size: 167	Core Weight: 1	Total Weight: 16052
c Current CPU time: 23.9944 s
c
c core #64
c 
c 
c Core size: 869	Core Weight: 1	Total Weight: 16053
c Current CPU time: 24.4153 s
c
c core #65
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 16054
c Current CPU time: 24.8322 s
c
c core #66
c 
c 
c Core size: 55	Core Weight: 339	Total Weight: 16393
c Current CPU time: 25.2102 s
c
c core #67
c 
c 
c Core size: 17	Core Weight: 2	Total Weight: 16395
c Current CPU time: 25.5961 s
c
c core #68
c 
c 
c Core size: 125	Core Weight: 1	Total Weight: 16396
c Current CPU time: 25.9791 s
c
c core #69
c 
c 
c Core size: 24	Core Weight: 341	Total Weight: 16737
c Current CPU time: 26.382 s
c
c core #70
c 
c 
c Core size: 24	Core Weight: 341	Total Weight: 17078
c Current CPU time: 26.7649 s
c
c core #71
c 
c 
c Core size: 99	Core Weight: 1	Total Weight: 17079
c Current CPU time: 27.1639 s
c
c core #72
c 
c 
c Core size: 101	Core Weight: 1	Total Weight: 17080
c Current CPU time: 27.5718 s
c
c core #73
c 
c 
c Core size: 24	Core Weight: 341	Total Weight: 17421
c Current CPU time: 27.9937 s
c
c core #74
c 
c 
c Core size: 157	Core Weight: 1	Total Weight: 17422
c Current CPU time: 28.3877 s
c
c core #75
c 
c 
c Core size: 62	Core Weight: 1	Total Weight: 17423
c Current CPU time: 28.7936 s
c
c core #76
c 
c 
c Core size: 76	Core Weight: 339	Total Weight: 17762
c Current CPU time: 29.2056 s
c
c core #77
c 
c 
c Core size: 58	Core Weight: 1	Total Weight: 17763
c Current CPU time: 29.6475 s
c
c core #78
c 
c 
c Core size: 308	Core Weight: 1	Total Weight: 17764
c Current CPU time: 30.0544 s
c
c core #79
c 
c 
c Core size: 28	Core Weight: 1	Total Weight: 17765
c Current CPU time: 30.4824 s
c
c core #80
c 
c 
c Core size: 52	Core Weight: 1	Total Weight: 17766
c Current CPU time: 30.9013 s
c
c core #81
c 
c 
c Core size: 362	Core Weight: 1	Total Weight: 17767
c Current CPU time: 31.3742 s
c
c core #82
c 
c 
c Core size: 324	Core Weight: 1	Total Weight: 17768
c Current CPU time: 31.8082 s
c
c core #83
c 
c 
c Core size: 4	Core Weight: 341	Total Weight: 18109
c Current CPU time: 32.2511 s
c
c core #84
c 
c 
c Core size: 61	Core Weight: 1	Total Weight: 18110
c Current CPU time: 32.637 s
c
c core #85
c 
c 
c Core size: 245	Core Weight: 1	Total Weight: 18111
c Current CPU time: 33.128 s
c
c core #86
c 
c 
c Core size: 41	Core Weight: 1	Total Weight: 18112
c Current CPU time: 33.5929 s
c
c core #87
c 
c 
c Core size: 132	Core Weight: 338	Total Weight: 18450
c Current CPU time: 34.0158 s
c
c core #88
c 
c 
c Core size: 108	Core Weight: 3	Total Weight: 18453
c Current CPU time: 34.4368 s
c
c core #89
c 
c 
c Core size: 112	Core Weight: 1	Total Weight: 18454
c Current CPU time: 34.8837 s
c
c core #90
c 
c 
c Core size: 346	Core Weight: 1	Total Weight: 18455
c Current CPU time: 35.4306 s
c
c core #91
c 
c 
c Core size: 117	Core Weight: 1	Total Weight: 18456
c Current CPU time: 35.8935 s
c
c core #92
c 
c 
c Core size: 351	Core Weight: 1	Total Weight: 18457
c Current CPU time: 36.3785 s
c
c core #93
c 
c 
c Core size: 352	Core Weight: 1	Total Weight: 18458
c Current CPU time: 36.8774 s
c
c core #94
c 
c 
c Core size: 240	Core Weight: 1	Total Weight: 18459
c Current CPU time: 37.4073 s
c
c core #95
c 
c 
c Core size: 234	Core Weight: 1	Total Weight: 18460
c Current CPU time: 37.9522 s
c
c core #96
c 
c 
c Core size: 608	Core Weight: 1	Total Weight: 18461
c Current CPU time: 38.4492 s
c
c core #97
c 
c 
c Core size: 240	Core Weight: 1	Total Weight: 18462
c Current CPU time: 39.0121 s
c
c core #98
c 
c 
c Core size: 478	Core Weight: 1	Total Weight: 18463
c Current CPU time: 39.584 s
c
c core #99
c 
c 
c Core size: 606	Core Weight: 1	Total Weight: 18464
c Current CPU time: 40.2689 s
c
c core #100
c 
c 
c Core size: 809	Core Weight: 1	Total Weight: 18465
c Current CPU time: 41.0108 s
c
c core #101
c 
c 
c Core size: 308	Core Weight: 1	Total Weight: 18466
c Current CPU time: 41.5427 s
c
c core #102
c 
c 
c Core size: 558	Core Weight: 1	Total Weight: 18467
c Current CPU time: 42.0246 s
c
c core #103
c 
c 
c Core size: 910	Core Weight: 1	Total Weight: 18468
c Current CPU time: 42.6495 s
c
c core #104
c 
c 
c Core size: 499	Core Weight: 1	Total Weight: 18469
c Current CPU time: 43.2964 s
c
c core #105
c 
c 
c Core size: 1164	Core Weight: 1	Total Weight: 18470
c Current CPU time: 44.1223 s
c
c core #106
c 
c 
c Core size: 456	Core Weight: 1	Total Weight: 18471
c Current CPU time: 44.8742 s
c
c core #107
c 
c 
c Core size: 55	Core Weight: 1	Total Weight: 18472
c Current CPU time: 45.6581 s
c
c core #108
c 
c 
c Core size: 1324	Core Weight: 1	Total Weight: 18473
c Current CPU time: 47.2038 s
c
c core #109
c 
c 
c Core size: 104	Core Weight: 1	Total Weight: 18474
c Current CPU time: 48.2707 s
c
c core #110
c 
c 
c Core size: 1471	Core Weight: 1	Total Weight: 18475
c Current CPU time: 49.1885 s
c
c core #111
c 
c 
c Core size: 323	Core Weight: 1	Total Weight: 18476
c Current CPU time: 50.3313 s
c
c core #112
c 
c 
c Core size: 1683	Core Weight: 1	Total Weight: 18477
c Current CPU time: 51.5102 s
c
c core #113
c 
c 
c Core size: 291	Core Weight: 1	Total Weight: 18478
c Current CPU time: 54.0758 s
c
c core #114
c 
c 
c Core size: 1188	Core Weight: 1	Total Weight: 18479
c Current CPU time: 56.1215 s
c
c core #115
c 
c 
c Core size: 558	Core Weight: 1	Total Weight: 18480
c Current CPU time: 57.2203 s
c
c core #116
c 
c 
c Core size: 1423	Core Weight: 1	Total Weight: 18481
c Current CPU time: 59.11 s
c
c core #117
c 
c 
c Core size: 2140	Core Weight: 1	Total Weight: 18482
c Current CPU time: 69.1265 s
c
c core #118
c 
c 
c Core size: 2106	Core Weight: 1	Total Weight: 18483
c Current CPU time: 159.281 s
c