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-13.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/haplotyping-pedigrees/ped3.G.recomb10-0.20-13.wcnf
Job solver: /home/maxsat/solvers/wbo1.6/wbo1.6
c core #1
c 
c 
c Core size: 12	Core Weight: 341	Total Weight: 343
c Current CPU time: 2.35164 s
c
c core #2
c 
c 
c Core size: 29	Core Weight: 341	Total Weight: 684
c Current CPU time: 2.80657 s
c
c core #3
c 
c 
c Core size: 18	Core Weight: 341	Total Weight: 1025
c Current CPU time: 3.2705 s
c
c core #4
c 
c 
c Core size: 24	Core Weight: 341	Total Weight: 1366
c Current CPU time: 3.74343 s
c
c core #5
c 
c 
c Core size: 22	Core Weight: 341	Total Weight: 1707
c Current CPU time: 4.22436 s
c
c core #6
c 
c 
c Core size: 26	Core Weight: 341	Total Weight: 2048
c Current CPU time: 4.71228 s
c
c core #7
c 
c 
c Core size: 31	Core Weight: 341	Total Weight: 2389
c Current CPU time: 5.20121 s
c
c core #8
c 
c 
c Core size: 62	Core Weight: 341	Total Weight: 2730
c Current CPU time: 5.68914 s
c
c core #9
c 
c 
c Core size: 65	Core Weight: 341	Total Weight: 3071
c Current CPU time: 6.19506 s
c
c core #10
c 
c 
c Core size: 16	Core Weight: 341	Total Weight: 3412
c Current CPU time: 6.69398 s
c
c core #11
c 
c 
c Core size: 92	Core Weight: 341	Total Weight: 3753
c Current CPU time: 7.18391 s
c
c core #12
c 
c 
c Core size: 60	Core Weight: 341	Total Weight: 4094
c Current CPU time: 7.69183 s
c
c core #13
c 
c 
c Core size: 159	Core Weight: 341	Total Weight: 4435
c Current CPU time: 8.20975 s
c
c core #14
c 
c 
c Core size: 127	Core Weight: 341	Total Weight: 4776
c Current CPU time: 8.73067 s
c
c core #15
c 
c 
c Core size: 57	Core Weight: 341	Total Weight: 5117
c Current CPU time: 9.26159 s
c
c core #16
c 
c 
c Core size: 40	Core Weight: 341	Total Weight: 5458
c Current CPU time: 9.77851 s
c
c core #17
c 
c 
c Core size: 48	Core Weight: 341	Total Weight: 5799
c Current CPU time: 10.3224 s
c
c core #18
c 
c 
c Core size: 6	Core Weight: 341	Total Weight: 6140
c Current CPU time: 10.8593 s
c
c core #19
c 
c 
c Core size: 32	Core Weight: 341	Total Weight: 6481
c Current CPU time: 11.3823 s
c
c core #20
c 
c 
c Core size: 8	Core Weight: 341	Total Weight: 6822
c Current CPU time: 11.9192 s
c
c core #21
c 
c 
c Core size: 22	Core Weight: 341	Total Weight: 7163
c Current CPU time: 12.4471 s
c
c core #22
c 
c 
c Core size: 50	Core Weight: 341	Total Weight: 7504
c Current CPU time: 12.995 s
c
c core #23
c 
c 
c Core size: 58	Core Weight: 341	Total Weight: 7845
c Current CPU time: 13.5489 s
c
c core #24
c 
c 
c Core size: 82	Core Weight: 341	Total Weight: 8186
c Current CPU time: 14.0949 s
c
c core #25
c 
c 
c Core size: 20	Core Weight: 341	Total Weight: 8527
c Current CPU time: 14.6708 s
c
c core #26
c 
c 
c Core size: 20	Core Weight: 341	Total Weight: 8868
c Current CPU time: 15.2137 s
c
c core #27
c 
c 
c Core size: 26	Core Weight: 341	Total Weight: 9209
c Current CPU time: 15.7656 s
c
c core #28
c 
c 
c Core size: 18	Core Weight: 341	Total Weight: 9550
c Current CPU time: 16.3175 s
c
c core #29
c 
c 
c Core size: 38	Core Weight: 341	Total Weight: 9891
c Current CPU time: 16.8684 s
c
c core #30
c 
c 
c Core size: 19	Core Weight: 341	Total Weight: 10232
c Current CPU time: 17.4343 s
c
c core #31
c 
c 
c Core size: 11	Core Weight: 341	Total Weight: 10573
c Current CPU time: 18.0023 s
c
c core #32
c 
c 
c Core size: 28	Core Weight: 1	Total Weight: 10574
c Current CPU time: 18.5632 s
c
c core #33
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 10575
c Current CPU time: 19.1421 s
c
c core #34
c 
c 
c Core size: 20	Core Weight: 341	Total Weight: 10916
c Current CPU time: 19.722 s
c
c core #35
c 
c 
c Core size: 211	Core Weight: 1	Total Weight: 10917
c Current CPU time: 20.2989 s
c
c core #36
c 
c 
c Core size: 16	Core Weight: 341	Total Weight: 11258
c Current CPU time: 20.9018 s
c
c core #37
c 
c 
c Core size: 4	Core Weight: 1	Total Weight: 11259
c Current CPU time: 21.4887 s
c
c core #38
c 
c 
c Core size: 47	Core Weight: 1	Total Weight: 11260
c Current CPU time: 22.0796 s
c
c core #39
c 
c 
c Core size: 54	Core Weight: 1	Total Weight: 11261
c Current CPU time: 22.6806 s
c
c core #40
c 
c 
c Core size: 74	Core Weight: 1	Total Weight: 11262
c Current CPU time: 23.2865 s
c
c core #41
c 
c 
c Core size: 193	Core Weight: 1	Total Weight: 11263
c Current CPU time: 23.8964 s
c
c core #42
c 
c 
c Core size: 77	Core Weight: 1	Total Weight: 11264
c Current CPU time: 24.5253 s
c
c core #43
c 
c 
c Core size: 96	Core Weight: 341	Total Weight: 11605
c Current CPU time: 25.1442 s
c
c core #44
c 
c 
c Core size: 44	Core Weight: 341	Total Weight: 11946
c Current CPU time: 25.7631 s
c
c core #45
c 
c 
c Core size: 32	Core Weight: 341	Total Weight: 12287
c Current CPU time: 26.386 s
c
c core #46
c 
c 
c Core size: 132	Core Weight: 341	Total Weight: 12628
c Current CPU time: 27.0159 s
c
c core #47
c 
c 
c Core size: 225	Core Weight: 1	Total Weight: 12629
c Current CPU time: 27.6508 s
c
c core #48
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 12630
c Current CPU time: 28.2787 s
c
c core #49
c 
c 
c Core size: 16	Core Weight: 1	Total Weight: 12631
c Current CPU time: 28.8886 s
c
c core #50
c 
c 
c Core size: 295	Core Weight: 1	Total Weight: 12632
c Current CPU time: 29.5115 s
c
c core #51
c 
c 
c Core size: 196	Core Weight: 1	Total Weight: 12633
c Current CPU time: 30.1374 s
c
c core #52
c 
c 
c Core size: 5	Core Weight: 1	Total Weight: 12634
c Current CPU time: 30.7753 s
c
c core #53
c 
c 
c Core size: 14	Core Weight: 1	Total Weight: 12635
c Current CPU time: 31.3852 s
c
c core #54
c 
c 
c Core size: 8	Core Weight: 1	Total Weight: 12636
c Current CPU time: 32.0071 s
c
c core #55
c 
c 
c Core size: 112	Core Weight: 341	Total Weight: 12977
c Current CPU time: 32.628 s
c
c core #56
c 
c 
c Core size: 185	Core Weight: 1	Total Weight: 12978
c Current CPU time: 33.2779 s
c
c core #57
c 
c 
c Core size: 220	Core Weight: 341	Total Weight: 13319
c Current CPU time: 33.9378 s
c
c core #58
c 
c 
c Core size: 37	Core Weight: 340	Total Weight: 13659
c Current CPU time: 34.6187 s
c
c core #59
c 
c 
c Core size: 40	Core Weight: 1	Total Weight: 13660
c Current CPU time: 35.2896 s
c
c core #60
c 
c 
c Core size: 118	Core Weight: 1	Total Weight: 13661
c Current CPU time: 35.9535 s
c
c core #61
c 
c 
c Core size: 184	Core Weight: 1	Total Weight: 13662
c Current CPU time: 36.6404 s
c
c core #62
c 
c 
c Core size: 76	Core Weight: 338	Total Weight: 14000
c Current CPU time: 37.3063 s
c
c core #63
c 
c 
c Core size: 155	Core Weight: 1	Total Weight: 14001
c Current CPU time: 37.9612 s
c
c core #64
c 
c 
c Core size: 99	Core Weight: 1	Total Weight: 14002
c Current CPU time: 38.6231 s
c
c core #65
c 
c 
c Core size: 10	Core Weight: 1	Total Weight: 14003
c Current CPU time: 39.262 s
c
c core #66
c 
c 
c Core size: 260	Core Weight: 1	Total Weight: 14004
c Current CPU time: 39.9149 s
c
c core #67
c 
c 
c Core size: 19	Core Weight: 1	Total Weight: 14005
c Current CPU time: 40.6018 s
c
c core #68
c 
c 
c Core size: 49	Core Weight: 3	Total Weight: 14008
c Current CPU time: 41.2657 s
c
c core #69
c 
c 
c Core size: 24	Core Weight: 340	Total Weight: 14348
c Current CPU time: 41.9416 s
c
c core #70
c 
c 
c Core size: 16	Core Weight: 1	Total Weight: 14349
c Current CPU time: 42.5735 s
c
c core #71
c 
c 
c Core size: 99	Core Weight: 1	Total Weight: 14350
c Current CPU time: 43.2664 s
c
c core #72
c 
c 
c Core size: 551	Core Weight: 1	Total Weight: 14351
c Current CPU time: 43.9843 s
c
c core #73
c 
c 
c Core size: 75	Core Weight: 341	Total Weight: 14692
c Current CPU time: 44.7472 s
c
c core #74
c 
c 
c Core size: 401	Core Weight: 1	Total Weight: 14693
c Current CPU time: 45.4341 s
c
c core #75
c 
c 
c Core size: 83	Core Weight: 1	Total Weight: 14694
c Current CPU time: 46.146 s
c
c core #76
c 
c 
c Core size: 77	Core Weight: 341	Total Weight: 15035
c Current CPU time: 46.8379 s
c
c core #77
c 
c 
c Core size: 239	Core Weight: 1	Total Weight: 15036
c Current CPU time: 47.4998 s
c
c core #78
c 
c 
c Core size: 32	Core Weight: 341	Total Weight: 15377
c Current CPU time: 48.1887 s
c
c core #79
c 
c 
c Core size: 82	Core Weight: 339	Total Weight: 15716
c Current CPU time: 48.8256 s
c
c core #80
c 
c 
c Core size: 4	Core Weight: 341	Total Weight: 16057
c Current CPU time: 49.5325 s
c
c core #81
c 
c 
c Core size: 48	Core Weight: 341	Total Weight: 16398
c Current CPU time: 50.1534 s
c
c core #82
c 
c 
c Core size: 147	Core Weight: 2	Total Weight: 16400
c Current CPU time: 50.8443 s
c
c core #83
c 
c 
c Core size: 349	Core Weight: 1	Total Weight: 16401
c Current CPU time: 51.5312 s
c
c core #84
c 
c 
c Core size: 275	Core Weight: 1	Total Weight: 16402
c Current CPU time: 52.2661 s
c
c core #85
c 
c 
c Core size: 88	Core Weight: 340	Total Weight: 16742
c Current CPU time: 52.9849 s
c
c core #86
c 
c 
c Core size: 7	Core Weight: 1	Total Weight: 16743
c Current CPU time: 53.6898 s
c
c core #87
c 
c 
c Core size: 164	Core Weight: 1	Total Weight: 16744
c Current CPU time: 54.3537 s
c
c core #88
c 
c 
c Core size: 103	Core Weight: 1	Total Weight: 16745
c Current CPU time: 55.0696 s
c
c core #89
c 
c 
c Core size: 289	Core Weight: 1	Total Weight: 16746
c Current CPU time: 55.8325 s
c
c core #90
c 
c 
c Core size: 492	Core Weight: 1	Total Weight: 16747
c Current CPU time: 56.6024 s
c
c core #91
c 
c 
c Core size: 374	Core Weight: 1	Total Weight: 16748
c Current CPU time: 57.3223 s
c
c core #92
c 
c 
c Core size: 68	Core Weight: 340	Total Weight: 17088
c Current CPU time: 58.0412 s
c
c core #93
c 
c 
c Core size: 453	Core Weight: 1	Total Weight: 17089
c Current CPU time: 58.7911 s
c
c core #94
c 
c 
c Core size: 273	Core Weight: 1	Total Weight: 17090
c Current CPU time: 59.487 s
c
c core #95
c 
c 
c Core size: 374	Core Weight: 1	Total Weight: 17091
c Current CPU time: 60.3198 s
c
c core #96
c 
c 
c Core size: 363	Core Weight: 1	Total Weight: 17092
c Current CPU time: 61.0347 s
c
c core #97
c 
c 
c Core size: 390	Core Weight: 1	Total Weight: 17093
c Current CPU time: 61.7706 s
c
c core #98
c 
c 
c Core size: 163	Core Weight: 1	Total Weight: 17094
c Current CPU time: 62.6295 s
c
c core #99
c 
c 
c Core size: 423	Core Weight: 1	Total Weight: 17095
c Current CPU time: 63.4004 s
c
c core #100
c 
c 
c Core size: 138	Core Weight: 1	Total Weight: 17096
c Current CPU time: 64.1322 s
c
c core #101
c 
c 
c Core size: 94	Core Weight: 1	Total Weight: 17097
c Current CPU time: 64.9021 s
c
c core #102
c 
c 
c Core size: 661	Core Weight: 1	Total Weight: 17098
c Current CPU time: 65.776 s
c
c core #103
c 
c 
c Core size: 237	Core Weight: 1	Total Weight: 17099
c Current CPU time: 66.5689 s
c
c core #104
c 
c 
c Core size: 459	Core Weight: 1	Total Weight: 17100
c Current CPU time: 67.2938 s
c
c core #105
c 
c 
c Core size: 598	Core Weight: 1	Total Weight: 17101
c Current CPU time: 68.1736 s
c
c core #106
c 
c 
c Core size: 98	Core Weight: 1	Total Weight: 17102
c Current CPU time: 69.0875 s
c
c core #107
c 
c 
c Core size: 584	Core Weight: 1	Total Weight: 17103
c Current CPU time: 70.1293 s
c
c core #108
c 
c 
c Core size: 827	Core Weight: 1	Total Weight: 17104
c Current CPU time: 71.0762 s
c
c core #109
c 
c 
c Core size: 128	Core Weight: 1	Total Weight: 17105
c Current CPU time: 72.0091 s
c
c core #110
c 
c 
c Core size: 556	Core Weight: 1	Total Weight: 17106
c Current CPU time: 72.9369 s
c
c core #111
c 
c 
c Core size: 1182	Core Weight: 1	Total Weight: 17107
c Current CPU time: 74.2317 s
c
c core #112
c 
c 
c Core size: 1070	Core Weight: 1	Total Weight: 17108
c Current CPU time: 76.0474 s
c
c core #113
c 
c 
c Core size: 58	Core Weight: 1	Total Weight: 17109
c Current CPU time: 76.9743 s
c
c core #114
c 
c 
c Core size: 711	Core Weight: 1	Total Weight: 17110
c Current CPU time: 78.0231 s
c
c core #115
c 
c 
c Core size: 964	Core Weight: 1	Total Weight: 17111
c Current CPU time: 79.002 s
c
c core #116
c 
c 
c Core size: 1975	Core Weight: 1	Total Weight: 17112
c Current CPU time: 81.7556 s
c
c core #117
c 
c 
c Core size: 258	Core Weight: 1	Total Weight: 17113
c Current CPU time: 82.7844 s
c
c core #118
c 
c 
c Core size: 182	Core Weight: 1	Total Weight: 17114
c Current CPU time: 83.8922 s
c
c core #119
c 
c 
c Core size: 861	Core Weight: 1	Total Weight: 17115
c Current CPU time: 85.266 s
c
c core #120
c 
c 
c Core size: 2574	Core Weight: 1	Total Weight: 17116
c Current CPU time: 90.8112 s
c
c core #121
c 
c 
c Core size: 245	Core Weight: 1	Total Weight: 17117
c Current CPU time: 91.887 s
c
c core #122
c 
c 
c Core size: 2240	Core Weight: 1	Total Weight: 17118
c Current CPU time: 105.737 s
c
c core #123
c 
c 
c Core size: 2938	Core Weight: 1	Total Weight: 17119
c Current CPU time: 198.65 s
c
c core #124
c 
c 
c Core size: 188	Core Weight: 1	Total Weight: 17120
c Current CPU time: 200.349 s
c
c core #125
c 
c 
c Core size: 3181	Core Weight: 1	Total Weight: 17121
c Current CPU time: 224.565 s
c
c core #126
c 
c 
c Core size: 81	Core Weight: 1	Total Weight: 17122
c Current CPU time: 225.356 s
c
c core #127
c 
c 
c Core size: 115	Core Weight: 334	Total Weight: 17456
c Current CPU time: 226.097 s
c
c core #128
c 
c 
c Core size: 1358	Core Weight: 1	Total Weight: 17457
c Current CPU time: 232.722 s
c
c core #129
c 
c 
c Core size: 3268	Core Weight: 1	Total Weight: 17458
c Current CPU time: 250.514 s
c
c core #130
c 
c 
c Core size: 3649	Core Weight: 1	Total Weight: 17459
c Current CPU time: 303.739 s
c