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_ped2.G.recomb5-0.01-2.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/haplotyping-pedigrees/ped2.G.recomb5-0.01-2.wcnf
Job solver: /home/maxsat/solvers/wbo1.6/wbo1.6
c core #1
c 
c 
c Core size: 60	Core Weight: 581	Total Weight: 1167
c Current CPU time: 3.64745 s
c
c core #2
c 
c 
c Core size: 12	Core Weight: 581	Total Weight: 1748
c Current CPU time: 4.19836 s
c
c core #3
c 
c 
c Core size: 26	Core Weight: 581	Total Weight: 2329
c Current CPU time: 4.75028 s
c
c core #4
c 
c 
c Core size: 24	Core Weight: 581	Total Weight: 2910
c Current CPU time: 5.29819 s
c
c core #5
c 
c 
c Core size: 48	Core Weight: 581	Total Weight: 3491
c Current CPU time: 5.84411 s
c
c core #6
c 
c 
c Core size: 24	Core Weight: 581	Total Weight: 4072
c Current CPU time: 6.40003 s
c
c core #7
c 
c 
c Core size: 34	Core Weight: 581	Total Weight: 4653
c Current CPU time: 6.94594 s
c
c core #8
c 
c 
c Core size: 20	Core Weight: 581	Total Weight: 5234
c Current CPU time: 7.49786 s
c
c core #9
c 
c 
c Core size: 4	Core Weight: 581	Total Weight: 5815
c Current CPU time: 8.03978 s
c
c core #10
c 
c 
c Core size: 20	Core Weight: 581	Total Weight: 6396
c Current CPU time: 8.5727 s
c
c core #11
c 
c 
c Core size: 4	Core Weight: 581	Total Weight: 6977
c Current CPU time: 9.12461 s
c
c core #12
c 
c 
c Core size: 8	Core Weight: 581	Total Weight: 7558
c Current CPU time: 9.65353 s
c
c core #13
c 
c 
c Core size: 10	Core Weight: 581	Total Weight: 8139
c Current CPU time: 10.1954 s
c
c core #14
c 
c 
c Core size: 8	Core Weight: 581	Total Weight: 8720
c Current CPU time: 10.7304 s
c
c core #15
c 
c 
c Core size: 28	Core Weight: 581	Total Weight: 9301
c Current CPU time: 11.2753 s
c
c core #16
c 
c 
c Core size: 12	Core Weight: 581	Total Weight: 9882
c Current CPU time: 11.8302 s
c
c core #17
c 
c 
c Core size: 54	Core Weight: 581	Total Weight: 10463
c Current CPU time: 12.3651 s
c
c core #18
c 
c 
c Core size: 37	Core Weight: 1	Total Weight: 10464
c Current CPU time: 12.921 s
c
c core #19
c 
c 
c Core size: 18	Core Weight: 1	Total Weight: 10465
c Current CPU time: 13.4789 s
c
c core #20
c 
c 
c Core size: 58	Core Weight: 1	Total Weight: 10466
c Current CPU time: 14.0269 s
c
c core #21
c 
c 
c Core size: 173	Core Weight: 1	Total Weight: 10467
c Current CPU time: 14.6038 s
c
c core #22
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 10468
c Current CPU time: 15.1977 s
c
c core #23
c 
c 
c Core size: 233	Core Weight: 1	Total Weight: 10469
c Current CPU time: 15.7456 s
c
c core #24
c 
c 
c Core size: 69	Core Weight: 581	Total Weight: 11050
c Current CPU time: 16.3465 s
c
c core #25
c 
c 
c Core size: 133	Core Weight: 1	Total Weight: 11051
c Current CPU time: 16.9394 s
c
c core #26
c 
c 
c Core size: 44	Core Weight: 581	Total Weight: 11632
c Current CPU time: 17.5263 s
c
c core #27
c 
c 
c Core size: 19	Core Weight: 1	Total Weight: 11633
c Current CPU time: 18.0922 s
c
c core #28
c 
c 
c Core size: 8	Core Weight: 581	Total Weight: 12214
c Current CPU time: 18.6512 s
c
c core #29
c 
c 
c Core size: 155	Core Weight: 1	Total Weight: 12215
c Current CPU time: 19.2201 s
c
c core #30
c 
c 
c Core size: 329	Core Weight: 1	Total Weight: 12216
c Current CPU time: 19.808 s
c
c core #31
c 
c 
c Core size: 311	Core Weight: 1	Total Weight: 12217
c Current CPU time: 20.4129 s
c
c core #32
c 
c 
c Core size: 24	Core Weight: 581	Total Weight: 12798
c Current CPU time: 21.0068 s
c
c core #33
c 
c 
c Core size: 36	Core Weight: 581	Total Weight: 13379
c Current CPU time: 21.5617 s
c
c core #34
c 
c 
c Core size: 40	Core Weight: 581	Total Weight: 13960
c Current CPU time: 22.1216 s
c
c core #35
c 
c 
c Core size: 16	Core Weight: 1	Total Weight: 13961
c Current CPU time: 22.7025 s
c
c core #36
c 
c 
c Core size: 237	Core Weight: 1	Total Weight: 13962
c Current CPU time: 23.2705 s
c
c core #37
c 
c 
c Core size: 12	Core Weight: 581	Total Weight: 14543
c Current CPU time: 23.8764 s
c
c core #38
c 
c 
c Core size: 24	Core Weight: 580	Total Weight: 15123
c Current CPU time: 24.4433 s
c
c core #39
c 
c 
c Core size: 6	Core Weight: 1	Total Weight: 15124
c Current CPU time: 24.9972 s
c
c core #40
c 
c 
c Core size: 4	Core Weight: 580	Total Weight: 15704
c Current CPU time: 25.5451 s
c
c core #41
c 
c 
c Core size: 4	Core Weight: 1	Total Weight: 15705
c Current CPU time: 26.093 s
c
c core #42
c 
c 
c Core size: 8	Core Weight: 581	Total Weight: 16286
c Current CPU time: 26.6399 s
c
c core #43
c 
c 
c Core size: 75	Core Weight: 580	Total Weight: 16866
c Current CPU time: 27.2029 s
c
c core #44
c 
c 
c Core size: 135	Core Weight: 581	Total Weight: 17447
c Current CPU time: 27.7838 s
c
c core #45
c 
c 
c Core size: 24	Core Weight: 581	Total Weight: 18028
c Current CPU time: 28.3937 s
c
c core #46
c 
c 
c Core size: 24	Core Weight: 1	Total Weight: 18029
c Current CPU time: 28.9666 s
c
c core #47
c 
c 
c Core size: 4	Core Weight: 581	Total Weight: 18610
c Current CPU time: 29.5325 s
c
c core #48
c 
c 
c Core size: 127	Core Weight: 1	Total Weight: 18611
c Current CPU time: 30.1054 s
c
c core #49
c 
c 
c Core size: 16	Core Weight: 581	Total Weight: 19192
c Current CPU time: 30.7143 s
c
c core #50
c 
c 
c Core size: 58	Core Weight: 581	Total Weight: 19773
c Current CPU time: 31.2692 s
c
c core #51
c 
c 
c Core size: 97	Core Weight: 581	Total Weight: 20354
c Current CPU time: 31.8472 s
c
c core #52
c 
c 
c Core size: 6	Core Weight: 1	Total Weight: 20355
c Current CPU time: 32.4361 s
c
c core #53
c 
c 
c Core size: 4	Core Weight: 580	Total Weight: 20935
c Current CPU time: 32.989 s
c
c core #54
c 
c 
c Core size: 4	Core Weight: 1	Total Weight: 20936
c Current CPU time: 33.5459 s
c
c core #55
c 
c 
c Core size: 85	Core Weight: 1	Total Weight: 20937
c Current CPU time: 34.1248 s
c
c core #56
c 
c 
c Core size: 4	Core Weight: 581	Total Weight: 21518
c Current CPU time: 34.6957 s
c
c core #57
c 
c 
c Core size: 28	Core Weight: 581	Total Weight: 22099
c Current CPU time: 35.2556 s
c
c core #58
c 
c 
c Core size: 60	Core Weight: 1	Total Weight: 22100
c Current CPU time: 35.8486 s
c
c core #59
c 
c 
c Core size: 118	Core Weight: 1	Total Weight: 22101
c Current CPU time: 36.4605 s
c
c core #60
c 
c 
c Core size: 24	Core Weight: 581	Total Weight: 22682
c Current CPU time: 37.0414 s
c
c core #61
c 
c 
c Core size: 67	Core Weight: 581	Total Weight: 23263
c Current CPU time: 37.6213 s
c
c core #62
c 
c 
c Core size: 81	Core Weight: 581	Total Weight: 23844
c Current CPU time: 38.2042 s
c
c core #63
c 
c 
c Core size: 75	Core Weight: 572	Total Weight: 24416
c Current CPU time: 38.8301 s
c
c core #64
c 
c 
c Core size: 172	Core Weight: 581	Total Weight: 24997
c Current CPU time: 39.449 s
c
c core #65
c 
c 
c Core size: 96	Core Weight: 581	Total Weight: 25578
c Current CPU time: 40.0649 s
c
c core #66
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 25579
c Current CPU time: 40.6858 s
c
c core #67
c 
c 
c Core size: 24	Core Weight: 1	Total Weight: 25580
c Current CPU time: 41.2617 s
c
c core #68
c 
c 
c Core size: 18	Core Weight: 1	Total Weight: 25581
c Current CPU time: 41.8366 s
c
c core #69
c 
c 
c Core size: 46	Core Weight: 1	Total Weight: 25582
c Current CPU time: 42.4106 s
c
c core #70
c 
c 
c Core size: 28	Core Weight: 579	Total Weight: 26161
c Current CPU time: 42.9935 s
c
c core #71
c 
c 
c Core size: 20	Core Weight: 581	Total Weight: 26742
c Current CPU time: 43.5714 s
c
c core #72
c 
c 
c Core size: 110	Core Weight: 1	Total Weight: 26743
c Current CPU time: 44.1413 s
c
c core #73
c 
c 
c Core size: 304	Core Weight: 1	Total Weight: 26744
c Current CPU time: 44.7752 s
c
c core #74
c 
c 
c Core size: 467	Core Weight: 1	Total Weight: 26745
c Current CPU time: 45.4351 s
c
c core #75
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 26746
c Current CPU time: 46.113 s
c
c core #76
c 
c 
c Core size: 321	Core Weight: 1	Total Weight: 26747
c Current CPU time: 46.7019 s
c
c core #77
c 
c 
c Core size: 37	Core Weight: 1	Total Weight: 26748
c Current CPU time: 47.3528 s
c
c core #78
c 
c 
c Core size: 41	Core Weight: 1	Total Weight: 26749
c Current CPU time: 47.9547 s
c
c core #79
c 
c 
c Core size: 43	Core Weight: 581	Total Weight: 27330
c Current CPU time: 48.5296 s
c
c core #80
c 
c 
c Core size: 4	Core Weight: 581	Total Weight: 27911
c Current CPU time: 49.1285 s
c
c core #81
c 
c 
c Core size: 83	Core Weight: 2	Total Weight: 27913
c Current CPU time: 49.7384 s
c
c core #82
c 
c 
c Core size: 31	Core Weight: 581	Total Weight: 28494
c Current CPU time: 50.3393 s
c
c core #83
c 
c 
c Core size: 32	Core Weight: 581	Total Weight: 29075
c Current CPU time: 50.9523 s
c
c core #84
c 
c 
c Core size: 584	Core Weight: 1	Total Weight: 29076
c Current CPU time: 51.5792 s
c
c core #85
c 
c 
c Core size: 137	Core Weight: 2	Total Weight: 29078
c Current CPU time: 52.2531 s
c
c core #86
c 
c 
c Core size: 144	Core Weight: 581	Total Weight: 29659
c Current CPU time: 52.869 s
c
c core #87
c 
c 
c Core size: 50	Core Weight: 5	Total Weight: 29664
c Current CPU time: 53.5229 s
c
c core #88
c 
c 
c Core size: 50	Core Weight: 1	Total Weight: 29665
c Current CPU time: 54.2308 s
c
c core #89
c 
c 
c Core size: 49	Core Weight: 1	Total Weight: 29666
c Current CPU time: 54.8637 s
c
c core #90
c 
c 
c Core size: 137	Core Weight: 1	Total Weight: 29667
c Current CPU time: 55.5156 s
c
c core #91
c 
c 
c Core size: 72	Core Weight: 581	Total Weight: 30248
c Current CPU time: 56.1695 s
c
c core #92
c 
c 
c Core size: 156	Core Weight: 1	Total Weight: 30249
c Current CPU time: 56.8044 s
c
c core #93
c 
c 
c Core size: 40	Core Weight: 1	Total Weight: 30250
c Current CPU time: 57.4623 s
c
c core #94
c 
c 
c Core size: 12	Core Weight: 580	Total Weight: 30830
c Current CPU time: 58.1252 s
c
c core #95
c 
c 
c Core size: 129	Core Weight: 1	Total Weight: 30831
c Current CPU time: 58.7741 s
c
c core #96
c 
c 
c Core size: 131	Core Weight: 1	Total Weight: 30832
c Current CPU time: 59.433 s
c
c core #97
c 
c 
c Core size: 430	Core Weight: 1	Total Weight: 30833
c Current CPU time: 60.0859 s
c
c core #98
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 30834
c Current CPU time: 60.7908 s
c
c core #99
c 
c 
c Core size: 32	Core Weight: 581	Total Weight: 31415
c Current CPU time: 61.3977 s
c
c core #100
c 
c 
c Core size: 28	Core Weight: 1	Total Weight: 31416
c Current CPU time: 62.0666 s
c
c core #101
c 
c 
c Core size: 12	Core Weight: 579	Total Weight: 31995
c Current CPU time: 62.7595 s
c
c core #102
c 
c 
c Core size: 206	Core Weight: 1	Total Weight: 31996
c Current CPU time: 63.5713 s
c
c core #103
c 
c 
c Core size: 24	Core Weight: 1	Total Weight: 31997
c Current CPU time: 64.2252 s
c
c core #104
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 31998
c Current CPU time: 64.8251 s
c
c core #105
c 
c 
c Core size: 40	Core Weight: 581	Total Weight: 32579
c Current CPU time: 65.4211 s
c
c core #106
c 
c 
c Core size: 114	Core Weight: 1	Total Weight: 32580
c Current CPU time: 66.2789 s
c
c core #107
c 
c 
c Core size: 385	Core Weight: 1	Total Weight: 32581
c Current CPU time: 67.0198 s
c
c core #108
c 
c 
c Core size: 468	Core Weight: 1	Total Weight: 32582
c Current CPU time: 67.8887 s
c
c core #109
c 
c 
c Core size: 25	Core Weight: 1	Total Weight: 32583
c Current CPU time: 68.5976 s
c
c core #110
c 
c 
c Core size: 136	Core Weight: 1	Total Weight: 32584
c Current CPU time: 69.2215 s
c
c core #111
c 
c 
c Core size: 109	Core Weight: 1	Total Weight: 32585
c Current CPU time: 69.9534 s
c
c core #112
c 
c 
c Core size: 13	Core Weight: 1	Total Weight: 32586
c Current CPU time: 70.6363 s
c
c core #113
c 
c 
c Core size: 502	Core Weight: 1	Total Weight: 32587
c Current CPU time: 71.5401 s
c
c core #114
c 
c 
c Core size: 92	Core Weight: 581	Total Weight: 33168
c Current CPU time: 72.552 s
c
c core #115
c 
c 
c Core size: 15	Core Weight: 1	Total Weight: 33169
c Current CPU time: 73.2599 s
c
c core #116
c 
c 
c Core size: 262	Core Weight: 1	Total Weight: 33170
c Current CPU time: 74.1417 s
c
c core #117
c 
c 
c Core size: 413	Core Weight: 1	Total Weight: 33171
c Current CPU time: 75.1006 s
c
c core #118
c 
c 
c Core size: 102	Core Weight: 1	Total Weight: 33172
c Current CPU time: 75.8815 s
c
c core #119
c 
c 
c Core size: 287	Core Weight: 1	Total Weight: 33173
c Current CPU time: 77.0313 s
c
c core #120
c 
c 
c Core size: 383	Core Weight: 1	Total Weight: 33174
c Current CPU time: 77.8742 s
c
c core #121
c 
c 
c Core size: 178	Core Weight: 1	Total Weight: 33175
c Current CPU time: 78.901 s
c
c core #122
c 
c 
c Core size: 610	Core Weight: 1	Total Weight: 33176
c Current CPU time: 80.1278 s
c
c core #123
c 
c 
c Core size: 646	Core Weight: 1	Total Weight: 33177
c Current CPU time: 81.6606 s
c
c core #124
c 
c 
c Core size: 58	Core Weight: 1	Total Weight: 33178
c Current CPU time: 82.9304 s
c
c core #125
c 
c 
c Core size: 272	Core Weight: 1	Total Weight: 33179
c Current CPU time: 84.5851 s
c
c core #126
c 
c 
c Core size: 17	Core Weight: 1	Total Weight: 33180
c Current CPU time: 85.761 s
c
c core #127
c 
c 
c Core size: 740	Core Weight: 1	Total Weight: 33181
c Current CPU time: 88.5805 s
c
c core #128
c 
c 
c Core size: 859	Core Weight: 1	Total Weight: 33182
c Current CPU time: 90.6272 s
c
c core #129
c 
c 
c Core size: 759	Core Weight: 1	Total Weight: 33183
c Current CPU time: 91.788 s
c
c core #130
c 
c 
c Core size: 80	Core Weight: 1	Total Weight: 33184
c Current CPU time: 93.4048 s
c
c core #131
c 
c 
c Core size: 837	Core Weight: 1	Total Weight: 33185
c Current CPU time: 94.7776 s
c
c core #132
c 
c 
c Core size: 1075	Core Weight: 1	Total Weight: 33186
c Current CPU time: 96.0254 s
c
c core #133
c 
c 
c Core size: 773	Core Weight: 1	Total Weight: 33187
c Current CPU time: 97.9421 s
c
c core #134
c 
c 
c Core size: 201	Core Weight: 1	Total Weight: 33188
c Current CPU time: 99.8238 s
c
c core #135
c 
c 
c Core size: 2514	Core Weight: 1	Total Weight: 33189
c Current CPU time: 107.344 s
c
c core #136
c 
c 
c Core size: 51	Core Weight: 1	Total Weight: 33190
c Current CPU time: 108.633 s
c
c core #137
c 
c 
c Core size: 167	Core Weight: 578	Total Weight: 33768
c Current CPU time: 110.51 s
c
c core #138
c 
c 
c Core size: 260	Core Weight: 1	Total Weight: 33769
c Current CPU time: 112.613 s
c
c core #139
c 
c 
c Core size: 2229	Core Weight: 1	Total Weight: 33770
c Current CPU time: 119.233 s
c
c core #140
c 
c 
c Core size: 753	Core Weight: 1	Total Weight: 33771
c Current CPU time: 122.206 s
c
c core #141
c 
c 
c Core size: 2543	Core Weight: 1	Total Weight: 33772
c Current CPU time: 131.461 s
c
c core #142
c 
c 
c Core size: 1030	Core Weight: 1	Total Weight: 33773
c Current CPU time: 139.809 s
c
c core #143
c 
c 
c Core size: 121	Core Weight: 580	Total Weight: 34353
c Current CPU time: 142.515 s
c
c core #144
c 
c 
c Core size: 3261	Core Weight: 1	Total Weight: 34354
c Current CPU time: 152.784 s
c
c core #145
c 
c 
c Core size: 3937	Core Weight: 1	Total Weight: 34355
c Current CPU time: 178.502 s
c
c core #146
c 
c 
c Core size: 2745	Core Weight: 1	Total Weight: 34356
c Current CPU time: 198.538 s
c
c core #147
c 
c 
c Core size: 4312	Core Weight: 1	Total Weight: 34357
c Current CPU time: 252.419 s
c
c core #148
c 
c 
c Core size: 139	Core Weight: 576	Total Weight: 34933
c Current CPU time: 267.262 s
c
c core #149
c 
c 
c Core size: 211	Core Weight: 1	Total Weight: 34934
c Current CPU time: 277.879 s
c