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.10-9.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/haplotyping-pedigrees/ped2.G.recomb5-0.10-9.wcnf
Job solver: /home/maxsat/solvers/wbo1.6/wbo1.6
c core #1
c 
c 
c Core size: 92	Core Weight: 581	Total Weight: 587
c Current CPU time: 4.83427 s
c
c core #2
c 
c 
c Core size: 22	Core Weight: 581	Total Weight: 1168
c Current CPU time: 5.63914 s
c
c core #3
c 
c 
c Core size: 22	Core Weight: 581	Total Weight: 1749
c Current CPU time: 6.42102 s
c
c core #4
c 
c 
c Core size: 10	Core Weight: 581	Total Weight: 2330
c Current CPU time: 7.2089 s
c
c core #5
c 
c 
c Core size: 6	Core Weight: 581	Total Weight: 2911
c Current CPU time: 7.99378 s
c
c core #6
c 
c 
c Core size: 35	Core Weight: 581	Total Weight: 3492
c Current CPU time: 8.77167 s
c
c core #7
c 
c 
c Core size: 22	Core Weight: 581	Total Weight: 4073
c Current CPU time: 9.56255 s
c
c core #8
c 
c 
c Core size: 43	Core Weight: 581	Total Weight: 4654
c Current CPU time: 10.3584 s
c
c core #9
c 
c 
c Core size: 52	Core Weight: 581	Total Weight: 5235
c Current CPU time: 11.1493 s
c
c core #10
c 
c 
c Core size: 52	Core Weight: 581	Total Weight: 5816
c Current CPU time: 11.9682 s
c
c core #11
c 
c 
c Core size: 8	Core Weight: 581	Total Weight: 6397
c Current CPU time: 12.7791 s
c
c core #12
c 
c 
c Core size: 36	Core Weight: 581	Total Weight: 6978
c Current CPU time: 13.5529 s
c
c core #13
c 
c 
c Core size: 38	Core Weight: 581	Total Weight: 7559
c Current CPU time: 14.3428 s
c
c core #14
c 
c 
c Core size: 54	Core Weight: 581	Total Weight: 8140
c Current CPU time: 15.1437 s
c
c core #15
c 
c 
c Core size: 71	Core Weight: 581	Total Weight: 8721
c Current CPU time: 15.9666 s
c
c core #16
c 
c 
c Core size: 30	Core Weight: 581	Total Weight: 9302
c Current CPU time: 16.7715 s
c
c core #17
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 9303
c Current CPU time: 17.5553 s
c
c core #18
c 
c 
c Core size: 40	Core Weight: 581	Total Weight: 9884
c Current CPU time: 18.3342 s
c
c core #19
c 
c 
c Core size: 65	Core Weight: 581	Total Weight: 10465
c Current CPU time: 19.1621 s
c
c core #20
c 
c 
c Core size: 110	Core Weight: 581	Total Weight: 11046
c Current CPU time: 19.974 s
c
c core #21
c 
c 
c Core size: 36	Core Weight: 581	Total Weight: 11627
c Current CPU time: 20.8218 s
c
c core #22
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 11628
c Current CPU time: 21.6387 s
c
c core #23
c 
c 
c Core size: 357	Core Weight: 1	Total Weight: 11629
c Current CPU time: 22.4336 s
c
c core #24
c 
c 
c Core size: 12	Core Weight: 581	Total Weight: 12210
c Current CPU time: 23.3115 s
c
c core #25
c 
c 
c Core size: 64	Core Weight: 581	Total Weight: 12791
c Current CPU time: 24.0933 s
c
c core #26
c 
c 
c Core size: 60	Core Weight: 1	Total Weight: 12792
c Current CPU time: 24.9002 s
c
c core #27
c 
c 
c Core size: 280	Core Weight: 1	Total Weight: 12793
c Current CPU time: 25.7161 s
c
c core #28
c 
c 
c Core size: 168	Core Weight: 580	Total Weight: 13373
c Current CPU time: 26.555 s
c
c core #29
c 
c 
c Core size: 20	Core Weight: 581	Total Weight: 13954
c Current CPU time: 27.4728 s
c
c core #30
c 
c 
c Core size: 56	Core Weight: 581	Total Weight: 14535
c Current CPU time: 28.2707 s
c
c core #31
c 
c 
c Core size: 81	Core Weight: 1	Total Weight: 14536
c Current CPU time: 29.1106 s
c
c core #32
c 
c 
c Core size: 40	Core Weight: 581	Total Weight: 15117
c Current CPU time: 29.9514 s
c
c core #33
c 
c 
c Core size: 13	Core Weight: 1	Total Weight: 15118
c Current CPU time: 30.7803 s
c
c core #34
c 
c 
c Core size: 39	Core Weight: 1	Total Weight: 15119
c Current CPU time: 31.5762 s
c
c core #35
c 
c 
c Core size: 20	Core Weight: 581	Total Weight: 15700
c Current CPU time: 32.3831 s
c
c core #36
c 
c 
c Core size: 161	Core Weight: 1	Total Weight: 15701
c Current CPU time: 33.196 s
c
c core #37
c 
c 
c Core size: 93	Core Weight: 1	Total Weight: 15702
c Current CPU time: 34.0458 s
c
c core #38
c 
c 
c Core size: 36	Core Weight: 581	Total Weight: 16283
c Current CPU time: 34.8787 s
c
c core #39
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 16284
c Current CPU time: 35.6886 s
c
c core #40
c 
c 
c Core size: 44	Core Weight: 581	Total Weight: 16865
c Current CPU time: 36.4965 s
c
c core #41
c 
c 
c Core size: 143	Core Weight: 1	Total Weight: 16866
c Current CPU time: 37.3523 s
c
c core #42
c 
c 
c Core size: 4	Core Weight: 581	Total Weight: 17447
c Current CPU time: 38.2032 s
c
c core #43
c 
c 
c Core size: 123	Core Weight: 581	Total Weight: 18028
c Current CPU time: 38.9971 s
c
c core #44
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 18029
c Current CPU time: 39.8779 s
c
c core #45
c 
c 
c Core size: 22	Core Weight: 1	Total Weight: 18030
c Current CPU time: 40.6838 s
c
c core #46
c 
c 
c Core size: 84	Core Weight: 581	Total Weight: 18611
c Current CPU time: 41.5107 s
c
c core #47
c 
c 
c Core size: 84	Core Weight: 581	Total Weight: 19192
c Current CPU time: 42.3706 s
c
c core #48
c 
c 
c Core size: 24	Core Weight: 581	Total Weight: 19773
c Current CPU time: 43.2294 s
c
c core #49
c 
c 
c Core size: 28	Core Weight: 1	Total Weight: 19774
c Current CPU time: 44.0523 s
c
c core #50
c 
c 
c Core size: 24	Core Weight: 1	Total Weight: 19775
c Current CPU time: 44.8702 s
c
c core #51
c 
c 
c Core size: 241	Core Weight: 1	Total Weight: 19776
c Current CPU time: 45.7001 s
c
c core #52
c 
c 
c Core size: 17	Core Weight: 579	Total Weight: 20355
c Current CPU time: 46.5859 s
c
c core #53
c 
c 
c Core size: 16	Core Weight: 580	Total Weight: 20935
c Current CPU time: 47.3958 s
c
c core #54
c 
c 
c Core size: 40	Core Weight: 580	Total Weight: 21515
c Current CPU time: 48.2367 s
c
c core #55
c 
c 
c Core size: 64	Core Weight: 581	Total Weight: 22096
c Current CPU time: 49.0705 s
c
c core #56
c 
c 
c Core size: 80	Core Weight: 581	Total Weight: 22677
c Current CPU time: 49.9464 s
c
c core #57
c 
c 
c Core size: 40	Core Weight: 1	Total Weight: 22678
c Current CPU time: 50.8093 s
c
c core #58
c 
c 
c Core size: 64	Core Weight: 581	Total Weight: 23259
c Current CPU time: 51.6311 s
c
c core #59
c 
c 
c Core size: 124	Core Weight: 1	Total Weight: 23260
c Current CPU time: 52.541 s
c
c core #60
c 
c 
c Core size: 86	Core Weight: 581	Total Weight: 23841
c Current CPU time: 53.4409 s
c
c core #61
c 
c 
c Core size: 17	Core Weight: 1	Total Weight: 23842
c Current CPU time: 54.2897 s
c
c core #62
c 
c 
c Core size: 17	Core Weight: 1	Total Weight: 23843
c Current CPU time: 55.1186 s
c
c core #63
c 
c 
c Core size: 179	Core Weight: 1	Total Weight: 23844
c Current CPU time: 55.9615 s
c
c core #64
c 
c 
c Core size: 36	Core Weight: 580	Total Weight: 24424
c Current CPU time: 56.8444 s
c
c core #65
c 
c 
c Core size: 65	Core Weight: 581	Total Weight: 25005
c Current CPU time: 57.6952 s
c
c core #66
c 
c 
c Core size: 196	Core Weight: 1	Total Weight: 25006
c Current CPU time: 58.5631 s
c
c core #67
c 
c 
c Core size: 416	Core Weight: 1	Total Weight: 25007
c Current CPU time: 59.451 s
c
c core #68
c 
c 
c Core size: 138	Core Weight: 580	Total Weight: 25587
c Current CPU time: 60.3568 s
c
c core #69
c 
c 
c Core size: 142	Core Weight: 1	Total Weight: 25588
c Current CPU time: 61.2387 s
c
c core #70
c 
c 
c Core size: 32	Core Weight: 581	Total Weight: 26169
c Current CPU time: 62.1356 s
c
c core #71
c 
c 
c Core size: 77	Core Weight: 581	Total Weight: 26750
c Current CPU time: 62.9964 s
c
c core #72
c 
c 
c Core size: 62	Core Weight: 580	Total Weight: 27330
c Current CPU time: 63.8723 s
c
c core #73
c 
c 
c Core size: 31	Core Weight: 581	Total Weight: 27911
c Current CPU time: 64.7482 s
c
c core #74
c 
c 
c Core size: 116	Core Weight: 1	Total Weight: 27912
c Current CPU time: 65.62 s
c
c core #75
c 
c 
c Core size: 155	Core Weight: 1	Total Weight: 27913
c Current CPU time: 66.5109 s
c
c core #76
c 
c 
c Core size: 85	Core Weight: 580	Total Weight: 28493
c Current CPU time: 67.4397 s
c
c core #77
c 
c 
c Core size: 104	Core Weight: 581	Total Weight: 29074
c Current CPU time: 68.4216 s
c
c core #78
c 
c 
c Core size: 232	Core Weight: 1	Total Weight: 29075
c Current CPU time: 69.3125 s
c
c core #79
c 
c 
c Core size: 173	Core Weight: 574	Total Weight: 29649
c Current CPU time: 70.2603 s
c
c core #80
c 
c 
c Core size: 102	Core Weight: 1	Total Weight: 29650
c Current CPU time: 71.1972 s
c
c core #81
c 
c 
c Core size: 20	Core Weight: 581	Total Weight: 30231
c Current CPU time: 72.095 s
c
c core #82
c 
c 
c Core size: 197	Core Weight: 1	Total Weight: 30232
c Current CPU time: 73.0329 s
c
c core #83
c 
c 
c Core size: 13	Core Weight: 1	Total Weight: 30233
c Current CPU time: 74.0127 s
c
c core #84
c 
c 
c Core size: 89	Core Weight: 1	Total Weight: 30234
c Current CPU time: 74.9336 s
c
c core #85
c 
c 
c Core size: 16	Core Weight: 1	Total Weight: 30235
c Current CPU time: 75.8715 s
c
c core #86
c 
c 
c Core size: 197	Core Weight: 1	Total Weight: 30236
c Current CPU time: 76.7933 s
c
c core #87
c 
c 
c Core size: 497	Core Weight: 1	Total Weight: 30237
c Current CPU time: 77.7802 s
c
c core #88
c 
c 
c Core size: 24	Core Weight: 1	Total Weight: 30238
c Current CPU time: 78.753 s
c
c core #89
c 
c 
c Core size: 450	Core Weight: 1	Total Weight: 30239
c Current CPU time: 79.8279 s
c
c core #90
c 
c 
c Core size: 726	Core Weight: 1	Total Weight: 30240
c Current CPU time: 80.8427 s
c
c core #91
c 
c 
c Core size: 223	Core Weight: 1	Total Weight: 30241
c Current CPU time: 81.8846 s
c
c core #92
c 
c 
c Core size: 441	Core Weight: 1	Total Weight: 30242
c Current CPU time: 82.8734 s
c
c core #93
c 
c 
c Core size: 171	Core Weight: 1	Total Weight: 30243
c Current CPU time: 83.8523 s
c
c core #94
c 
c 
c Core size: 84	Core Weight: 1	Total Weight: 30244
c Current CPU time: 84.8971 s
c
c core #95
c 
c 
c Core size: 181	Core Weight: 1	Total Weight: 30245
c Current CPU time: 85.9149 s
c
c core #96
c 
c 
c Core size: 167	Core Weight: 1	Total Weight: 30246
c Current CPU time: 86.9528 s
c
c core #97
c 
c 
c Core size: 142	Core Weight: 1	Total Weight: 30247
c Current CPU time: 87.9416 s
c
c core #98
c 
c 
c Core size: 44	Core Weight: 579	Total Weight: 30826
c Current CPU time: 88.9685 s
c
c core #99
c 
c 
c Core size: 202	Core Weight: 1	Total Weight: 30827
c Current CPU time: 89.9523 s
c
c core #100
c 
c 
c Core size: 1134	Core Weight: 1	Total Weight: 30828
c Current CPU time: 90.9992 s
c
c core #101
c 
c 
c Core size: 712	Core Weight: 1	Total Weight: 30829
c Current CPU time: 92.082 s
c
c core #102
c 
c 
c Core size: 684	Core Weight: 1	Total Weight: 30830
c Current CPU time: 93.3368 s
c
c core #103
c 
c 
c Core size: 50	Core Weight: 1	Total Weight: 30831
c Current CPU time: 94.3867 s
c
c core #104
c 
c 
c Core size: 294	Core Weight: 1	Total Weight: 30832
c Current CPU time: 95.4075 s
c
c core #105
c 
c 
c Core size: 366	Core Weight: 1	Total Weight: 30833
c Current CPU time: 96.5963 s
c
c core #106
c 
c 
c Core size: 162	Core Weight: 580	Total Weight: 31413
c Current CPU time: 97.6442 s
c
c core #107
c 
c 
c Core size: 108	Core Weight: 1	Total Weight: 31414
c Current CPU time: 98.74 s
c
c core #108
c 
c 
c Core size: 221	Core Weight: 1	Total Weight: 31415
c Current CPU time: 99.8928 s
c
c core #109
c 
c 
c Core size: 990	Core Weight: 1	Total Weight: 31416
c Current CPU time: 101.166 s
c
c core #110
c 
c 
c Core size: 627	Core Weight: 1	Total Weight: 31417
c Current CPU time: 102.469 s
c
c core #111
c 
c 
c Core size: 396	Core Weight: 1	Total Weight: 31418
c Current CPU time: 103.858 s
c
c core #112
c 
c 
c Core size: 210	Core Weight: 1	Total Weight: 31419
c Current CPU time: 104.946 s
c
c core #113
c 
c 
c Core size: 79	Core Weight: 1	Total Weight: 31420
c Current CPU time: 106.233 s
c
c core #114
c 
c 
c Core size: 226	Core Weight: 1	Total Weight: 31421
c Current CPU time: 107.96 s
c
c core #115
c 
c 
c Core size: 947	Core Weight: 1	Total Weight: 31422
c Current CPU time: 109.931 s
c
c core #116
c 
c 
c Core size: 715	Core Weight: 1	Total Weight: 31423
c Current CPU time: 111.346 s
c
c core #117
c 
c 
c Core size: 96	Core Weight: 1	Total Weight: 31424
c Current CPU time: 112.676 s
c
c core #118
c 
c 
c Core size: 879	Core Weight: 1	Total Weight: 31425
c Current CPU time: 114.684 s
c
c core #119
c 
c 
c Core size: 642	Core Weight: 1	Total Weight: 31426
c Current CPU time: 116.18 s
c
c core #120
c 
c 
c Core size: 256	Core Weight: 1	Total Weight: 31427
c Current CPU time: 118.513 s
c
c core #121
c 
c 
c Core size: 1377	Core Weight: 1	Total Weight: 31428
c Current CPU time: 120.273 s
c
c core #122
c 
c 
c Core size: 1027	Core Weight: 1	Total Weight: 31429
c Current CPU time: 123.216 s
c
c core #123
c 
c 
c Core size: 587	Core Weight: 1	Total Weight: 31430
c Current CPU time: 124.742 s
c
c core #124
c 
c 
c Core size: 466	Core Weight: 1	Total Weight: 31431
c Current CPU time: 126.705 s
c
c core #125
c 
c 
c Core size: 734	Core Weight: 1	Total Weight: 31432
c Current CPU time: 129.097 s
c
c core #126
c 
c 
c Core size: 88	Core Weight: 1	Total Weight: 31433
c Current CPU time: 131.062 s
c
c core #127
c 
c 
c Core size: 144	Core Weight: 1	Total Weight: 31434
c Current CPU time: 132.618 s
c
c core #128
c 
c 
c Core size: 662	Core Weight: 1	Total Weight: 31435
c Current CPU time: 134.583 s
c
c core #129
c 
c 
c Core size: 1651	Core Weight: 1	Total Weight: 31436
c Current CPU time: 136.303 s
c
c core #130
c 
c 
c Core size: 1688	Core Weight: 1	Total Weight: 31437
c Current CPU time: 140.371 s
c
c core #131
c 
c 
c Core size: 2624	Core Weight: 1	Total Weight: 31438
c Current CPU time: 148.394 s
c
c core #132
c 
c 
c Core size: 412	Core Weight: 1	Total Weight: 31439
c Current CPU time: 152.686 s
c
c core #133
c 
c 
c Core size: 726	Core Weight: 1	Total Weight: 31440
c Current CPU time: 155.167 s
c
c core #134
c 
c 
c Core size: 1973	Core Weight: 1	Total Weight: 31441
c Current CPU time: 168.084 s
c
c core #135
c 
c 
c Core size: 3584	Core Weight: 1	Total Weight: 31442
c Current CPU time: 197.317 s
c
c core #136
c 
c 
c Core size: 5093	Core Weight: 1	Total Weight: 31443
c Current CPU time: 280.866 s
c