0.00/0.00	c 2016-06-06T23:09:28+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4079695-1465247368.opb"]
0.00/0.01	c use --random-gen="4018588926 184496081 690751746 3712847399 57890944 916646971 1676846482 2762644457 222927283 3392408152 1557482562 2247648891 3878084896 4111509131 4207238773 1646131988 780543618 2158658441 1273586470 586494343 4111123375 1907790231 3844782964 2337533987 2538774137 2660946020 1788282300 2245049051 3463295442 3340631568 4222160538 3844894265 3368774982 3526802645 849530830 3550259456 1558012474 774561294 98898940 2018597233 835953570 505146268 1486345914 3571762339 5933137 940517827 3135691259 2417701228 2952019980 160539431 1898178407 1234378468 502299996 899435703 3655840245 2900679340 4176245335 3395228490 3333786442 4281192715 2957402798 2883908248 2059378618 4172406270 1380526780 171645713 3729011071 240887084 3721100709 1106998614 4241773743 1437854577 2069165838 1439462146 4075146659 2747144700 1330455108 2874369456 175924023 499937133 2647678039 3357224732 456897444 198479636 2382846687 3199197 3849599517 3378361582 75657347 3987220148 4124643531 2727501194 2559877602 3581524941 2576387101 1268478118 860167897 1391802127 2408748536 796708173 3957044461 980415366 3604925123 515452344 1072369415 1251867291 3951382619 1083165386 1651041928 37383061 1519895416 571355114 3118714409 568256954 254177213 3929179618 3372126863 1860808473 1335195830 3537961414 3053349655 3459375325 1528770147 2299302428 3008567388 372921191 2144201807 1120323576 3589319684 1764272212 1808816753 891906866 3691804347 4184621395 3644871676 2421923093 1422720255 4139748024 348406841 257658233 2406385124 2508418542 3140568274 1437782703 2939070106 2457868511 407909297 137221768 3301757825 1451121459 3917421685 228116136 3735158410 1427547922 2716309852 1486337454 2294282080 722199041 1280172734 2951503366 270378609 610445417 350929466 1606712118 2036934287 4176765982 1027807172 534694186 2547223068 1781021238 1148466543 1326777670 3641477423 1922781133 3141597985 745625586 108927769 2882420820 2128626647 355630376 90293935 3606334065 3543219482 1988305757 2976119142 3371067150 860916603 1611482651 828107338 3896641702 3475310472 231386561 3318716517 1620854906 638677113 1333567167 2104609470 794547748 2099274690 2280927068 1141293375 220193022 1655551 264816961 2386520165 2078839 1175860275 854668455 443102405 1036527655 3701918223 1692268077 3931914988 133326472 2137736418 635020100 3575050604 332476579 3473758543 3996412953 1260647235 334677446 294837934 989167207 2491231632 3925585368 3557342321 259409971 1297642397 2252831916 2660243462 3022569244 2072090666 1596611034 1525039787 290113156 292196725 876464254 1230321295 1305927897 2399736812 2499753457 4162157477 4136180943 2224315558 2807952087 2453951313 3272441766 3119659772 2743130923 749677037 3195581525 3532361992 4009419894 2401689550 3761071291 255 362436" option to reproduce the execution
2.39/2.45	c #vars 8601
2.39/2.45	c #constraints 386810
3.68/3.79	c BCD2: Hardening is enabled.
3.68/3.79	c BCD2: BiasedSearch is enabled.
3.68/3.79	c Solving starts ...
3.68/3.79	c ============================[ Search Statistics ]============================
3.68/3.79	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.68/3.79	c       |         |          |          |    Limit     GC | Var      | Constra 
3.68/3.79	c =============================================================================
3.68/3.79	c  0.0s |       0 |        0 |        0 |    16839      0 |     4945 |        0
3.79/3.83	c  0.0s |       0 |      789 |        0 |    16839      0 |     4945 |     3428
3.79/3.83	c #cpu_time = 0.037s
3.79/3.83	c #wall_clock_time = 0.037s
3.79/3.83	c #decision = 789
3.79/3.83	c #random_decision = 0
3.79/3.83	c #conflict = 0
3.79/3.83	c #restart = 0
3.79/3.83	o 94
3.79/3.83	c BCD2: updating upper bound: 94 -> 93
3.79/3.83	c BCD2: 0 <= obj <= 93
3.79/3.83	c BCD2: #cores=0, #unrelaxed=94, #relaxed=0, #hardened=0
3.79/3.83	c BCD2: #sat=1 #unsat=1 bias=1/2
3.79/3.83	c Solving starts ...
3.79/3.83	c ============================[ Search Statistics ]============================
3.79/3.83	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.79/3.83	c       |         |          |          |    Limit     GC | Var      | Constra 
3.79/3.83	c =============================================================================
3.79/3.83	c  0.0s |       0 |        0 |        0 |    16839      0 |     4945 |     3428
3.79/3.84	c  0.0s |       0 |       45 |        0 |    16839      0 |     4945 |     3428
3.79/3.84	c #cpu_time = 0.017s
3.79/3.84	c #wall_clock_time = 0.017s
3.79/3.84	c #decision = 45
3.79/3.84	c #random_decision = 0
3.79/3.84	c #conflict = 0
3.79/3.84	c #restart = 0
3.79/3.84	c BCD2: found a new core of size 1: cost of the new core is >=1
3.79/3.84	c lower bound updated to 1
3.79/3.84	c BCD2: 1 <= obj <= 93
3.79/3.84	c BCD2: #cores=1, #unrelaxed=93, #relaxed=1, #hardened=0
3.79/3.84	c BCD2: #sat=1 #unsat=2 bias=2/3
3.79/3.84	c Solving starts ...
3.79/3.84	c ============================[ Search Statistics ]============================
3.79/3.84	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.79/3.84	c       |         |          |          |    Limit     GC | Var      | Constra 
3.79/3.84	c =============================================================================
3.79/3.84	c  0.0s |       0 |        0 |        0 |    16839      0 |     4945 |     3428
3.79/3.86	c  0.0s |       0 |       47 |        0 |    16839      0 |     4945 |     3428
3.79/3.86	c #cpu_time = 0.016s
3.79/3.86	c #wall_clock_time = 0.016s
3.79/3.86	c #decision = 47
3.79/3.86	c #random_decision = 0
3.79/3.86	c #conflict = 0
3.79/3.86	c #restart = 0
3.79/3.86	c BCD2: found a new core of size 1: cost of the new core is >=1
3.79/3.86	c lower bound updated to 2
3.79/3.86	c BCD2: 2 <= obj <= 93
3.79/3.86	c BCD2: #cores=2, #unrelaxed=92, #relaxed=2, #hardened=0
3.79/3.86	c BCD2: #sat=1 #unsat=3 bias=3/4
3.79/3.86	c Solving starts ...
3.79/3.86	c ============================[ Search Statistics ]============================
3.79/3.86	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.79/3.86	c       |         |          |          |    Limit     GC | Var      | Constra 
3.79/3.86	c =============================================================================
3.79/3.86	c  0.0s |       0 |        0 |        0 |    16839      0 |     4945 |     3428
3.79/3.88	c  0.0s |       0 |       77 |        0 |    16839      0 |     4945 |     3428
3.79/3.88	c #cpu_time = 0.017s
3.79/3.88	c #wall_clock_time = 0.017s
3.79/3.88	c #decision = 77
3.79/3.88	c #random_decision = 0
3.79/3.88	c #conflict = 0
3.79/3.88	c #restart = 0
3.79/3.88	c BCD2: found a new core of size 1: cost of the new core is >=1
3.79/3.88	c lower bound updated to 3
3.79/3.88	c BCD2: 3 <= obj <= 93
3.79/3.88	c BCD2: #cores=3, #unrelaxed=91, #relaxed=3, #hardened=0
3.79/3.88	c BCD2: #sat=1 #unsat=4 bias=4/5
3.79/3.88	c Solving starts ...
3.79/3.88	c ============================[ Search Statistics ]============================
3.79/3.88	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.79/3.88	c       |         |          |          |    Limit     GC | Var      | Constra 
3.79/3.88	c =============================================================================
3.79/3.88	c  0.0s |       0 |        0 |        0 |    16839      0 |     4945 |     3428
3.79/3.89	c  0.0s |       0 |       91 |        0 |    16839      0 |     4945 |     3428
3.79/3.89	c #cpu_time = 0.016s
3.79/3.89	c #wall_clock_time = 0.016s
3.79/3.89	c #decision = 91
3.79/3.89	c #random_decision = 0
3.79/3.89	c #conflict = 0
3.79/3.89	c #restart = 0
3.79/3.89	c BCD2: found a new core of size 1: cost of the new core is >=1
3.79/3.89	c lower bound updated to 4
3.79/3.89	c BCD2: 4 <= obj <= 93
3.79/3.89	c BCD2: #cores=4, #unrelaxed=90, #relaxed=4, #hardened=0
3.79/3.89	c BCD2: #sat=1 #unsat=5 bias=5/6
3.79/3.89	c Solving starts ...
3.79/3.89	c ============================[ Search Statistics ]============================
3.79/3.89	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.79/3.89	c       |         |          |          |    Limit     GC | Var      | Constra 
3.79/3.89	c =============================================================================
3.89/3.97	c  0.0s |       0 |        0 |        0 |    16839      0 |     4945 |     3428
3.89/3.99	c  0.0s |       0 |       93 |        0 |    16839      0 |     4945 |     3428
3.89/3.99	c #cpu_time = 0.011s
3.89/3.99	c #wall_clock_time = 0.011s
3.89/3.99	c #decision = 93
3.89/3.99	c #random_decision = 0
3.89/3.99	c #conflict = 0
3.89/3.99	c #restart = 0
3.89/3.99	c BCD2: found a new core of size 1: cost of the new core is >=1
3.89/3.99	c lower bound updated to 5
3.89/3.99	c BCD2: 5 <= obj <= 93
3.89/3.99	c BCD2: #cores=5, #unrelaxed=89, #relaxed=5, #hardened=0
3.89/3.99	c BCD2: #sat=1 #unsat=6 bias=6/7
3.89/3.99	c Solving starts ...
3.89/3.99	c ============================[ Search Statistics ]============================
3.89/3.99	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.89/3.99	c       |         |          |          |    Limit     GC | Var      | Constra 
3.89/3.99	c =============================================================================
3.89/3.99	c  0.0s |       0 |        0 |        0 |    16839      0 |     4945 |     3428
3.98/4.00	c  0.0s |       0 |      110 |        6 |    16839      0 |     4945 |     3428
3.98/4.00	c #cpu_time = 0.013s
3.98/4.00	c #wall_clock_time = 0.013s
3.98/4.00	c #decision = 110
3.98/4.00	c #random_decision = 0
3.98/4.00	c #conflict = 6
3.98/4.00	c #restart = 0
3.98/4.00	c BCD2: found a new core of size 2: cost of the new core is >=1
3.98/4.00	c lower bound updated to 6
3.98/4.00	c BCD2: 6 <= obj <= 93
3.98/4.00	c BCD2: #cores=6, #unrelaxed=87, #relaxed=7, #hardened=0
3.98/4.00	c BCD2: #sat=1 #unsat=7 bias=7/8
3.98/4.00	c Solving starts ...
3.98/4.00	c ============================[ Search Statistics ]============================
3.98/4.00	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.98/4.00	c       |         |          |          |    Limit     GC | Var      | Constra 
3.98/4.00	c =============================================================================
3.98/4.00	c  0.0s |       0 |        0 |        0 |    16839      0 |     4945 |     3428
3.98/4.01	c  0.0s |       0 |      101 |        1 |    16839      0 |     4945 |     3428
3.98/4.01	c #cpu_time = 0.012s
3.98/4.01	c #wall_clock_time = 0.012s
3.98/4.01	c #decision = 101
3.98/4.01	c #random_decision = 0
3.98/4.01	c #conflict = 1
3.98/4.01	c #restart = 0
3.98/4.01	c BCD2: found a new core of size 2: cost of the new core is >=1
3.98/4.01	c lower bound updated to 7
3.98/4.01	c BCD2: 7 <= obj <= 93
3.98/4.01	c BCD2: #cores=7, #unrelaxed=85, #relaxed=9, #hardened=0
3.98/4.01	c BCD2: #sat=1 #unsat=8 bias=8/9
3.98/4.01	c Solving starts ...
3.98/4.01	c ============================[ Search Statistics ]============================
3.98/4.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.98/4.01	c       |         |          |          |    Limit     GC | Var      | Constra 
3.98/4.01	c =============================================================================
3.98/4.01	c  0.0s |       0 |        0 |        0 |    16839      0 |     4945 |     3428
3.98/4.02	c  0.0s |       0 |      101 |        4 |    16839      0 |     4945 |     3428
3.98/4.02	c #cpu_time = 0.013s
3.98/4.02	c #wall_clock_time = 0.013s
3.98/4.02	c #decision = 101
3.98/4.02	c #random_decision = 0
3.98/4.02	c #conflict = 4
3.98/4.02	c #restart = 0
3.98/4.02	c BCD2: found a new core of size 2: cost of the new core is >=1
3.98/4.02	c lower bound updated to 8
3.98/4.02	c BCD2: 8 <= obj <= 93
3.98/4.02	c BCD2: #cores=8, #unrelaxed=83, #relaxed=11, #hardened=0
3.98/4.02	c BCD2: #sat=1 #unsat=9 bias=9/10
3.98/4.02	c Solving starts ...
3.98/4.02	c ============================[ Search Statistics ]============================
3.98/4.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.98/4.02	c       |         |          |          |    Limit     GC | Var      | Constra 
3.98/4.02	c =============================================================================
3.98/4.02	c  0.0s |       0 |        0 |        0 |    16839      0 |     4945 |     3428
3.98/4.04	c  0.0s |       0 |      189 |       21 |    16839      0 |     4945 |     3428
3.98/4.04	c #cpu_time = 0.018s
3.98/4.04	c #wall_clock_time = 0.018s
3.98/4.04	c #decision = 189
3.98/4.04	c #random_decision = 0
3.98/4.04	c #conflict = 21
3.98/4.04	c #restart = 0
3.98/4.04	c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2
3.98/4.04	c lower bound updated to 9
3.98/4.04	c BCD2: 9 <= obj <= 93
3.98/4.04	c BCD2: #cores=8, #unrelaxed=81, #relaxed=13, #hardened=0
3.98/4.04	c BCD2: #sat=1 #unsat=10 bias=10/11
3.98/4.04	c Solving starts ...
3.98/4.04	c ============================[ Search Statistics ]============================
3.98/4.04	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.98/4.04	c       |         |          |          |    Limit     GC | Var      | Constra 
3.98/4.04	c =============================================================================
3.98/4.04	c  0.0s |       0 |        0 |        0 |    16839      0 |     4946 |     3428
3.98/4.06	c  0.0s |       0 |      295 |       30 |    16839      0 |     4946 |     3429
3.98/4.06	c #cpu_time = 0.020s
3.98/4.06	c #wall_clock_time = 0.020s
3.98/4.06	c #decision = 295
3.98/4.06	c #random_decision = 0
3.98/4.06	c #conflict = 30
3.98/4.06	c #restart = 0
3.98/4.06	c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2
3.98/4.06	c lower bound updated to 10
3.98/4.06	c BCD2: 10 <= obj <= 93
3.98/4.06	c BCD2: #cores=8, #unrelaxed=79, #relaxed=15, #hardened=0
3.98/4.06	c BCD2: #sat=1 #unsat=11 bias=11/12
3.98/4.06	c Solving starts ...
3.98/4.06	c ============================[ Search Statistics ]============================
3.98/4.06	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.98/4.06	c       |         |          |          |    Limit     GC | Var      | Constra 
3.98/4.06	c =============================================================================
3.98/4.06	c  0.0s |       0 |        0 |        0 |    16839      0 |     4947 |     3429
3.98/4.08	c  0.0s |       0 |      191 |       28 |    16839      0 |     4947 |     3430
3.98/4.08	c #cpu_time = 0.019s
3.98/4.08	c #wall_clock_time = 0.019s
3.98/4.08	c #decision = 191
3.98/4.08	c #random_decision = 0
3.98/4.08	c #conflict = 28
3.98/4.08	c #restart = 0
3.98/4.08	c BCD2: found a new core of size 2: cost of the new core is >=1
3.98/4.08	c lower bound updated to 11
3.98/4.08	c BCD2: 11 <= obj <= 93
3.98/4.08	c BCD2: #cores=9, #unrelaxed=77, #relaxed=17, #hardened=0
3.98/4.08	c BCD2: #sat=1 #unsat=12 bias=12/13
3.98/4.08	c Solving starts ...
3.98/4.08	c ============================[ Search Statistics ]============================
3.98/4.08	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.98/4.08	c       |         |          |          |    Limit     GC | Var      | Constra 
3.98/4.08	c =============================================================================
3.98/4.08	c  0.0s |       0 |        0 |        0 |    16839      0 |     4947 |     3430
4.09/4.11	c  0.0s |       0 |      258 |        6 |    16839      0 |     4949 |     3439
4.09/4.11	c #cpu_time = 0.027s
4.09/4.11	c #wall_clock_time = 0.027s
4.09/4.11	c #decision = 258
4.09/4.11	c #random_decision = 2
4.09/4.11	c #conflict = 6
4.09/4.11	c #restart = 0
4.09/4.11	c BCD2: found a new core of size 1: cost of the new core is >=1
4.09/4.11	c lower bound updated to 12
4.09/4.11	c BCD2: 12 <= obj <= 93
4.09/4.11	c BCD2: #cores=10, #unrelaxed=76, #relaxed=18, #hardened=0
4.09/4.11	c BCD2: #sat=1 #unsat=13 bias=13/14
4.09/4.11	c Solving starts ...
4.09/4.11	c ============================[ Search Statistics ]============================
4.09/4.11	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.09/4.11	c       |         |          |          |    Limit     GC | Var      | Constra 
4.09/4.11	c =============================================================================
4.09/4.16	c  0.0s |       0 |        0 |        0 |    16839      0 |     4949 |     3439
4.09/4.18	c  0.0s |       0 |      130 |       11 |    18523      0 |     4949 |     3439
4.09/4.18	c #cpu_time = 0.020s
4.09/4.18	c #wall_clock_time = 0.023s
4.09/4.18	c #decision = 130
4.09/4.18	c #random_decision = 0
4.09/4.18	c #conflict = 11
4.49/4.54	c #restart = 0
4.49/4.54	c BCD2: found a new core of size 2: cost of the new core is >=1
4.49/4.54	c lower bound updated to 13
4.49/4.54	c BCD2: 13 <= obj <= 93
4.49/4.54	c BCD2: #cores=11, #unrelaxed=74, #relaxed=20, #hardened=0
4.49/4.54	c BCD2: #sat=1 #unsat=14 bias=14/15
4.49/4.54	c Solving starts ...
4.49/4.54	c ============================[ Search Statistics ]============================
4.49/4.54	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.49/4.54	c       |         |          |          |    Limit     GC | Var      | Constra 
4.49/4.54	c =============================================================================
4.49/4.54	c  0.0s |       0 |        0 |        0 |    18523      0 |     4949 |     3439
4.49/4.54	c  0.0s |       0 |      132 |       13 |    18523      0 |     4949 |     3439
4.49/4.54	c #cpu_time = 0.021s
4.49/4.54	c #wall_clock_time = 0.021s
4.49/4.54	c #decision = 132
4.49/4.54	c #random_decision = 0
4.49/4.54	c #conflict = 13
4.49/4.54	c #restart = 0
4.49/4.54	c BCD2: found a new core of size 2: cost of the new core is >=1
4.49/4.54	c lower bound updated to 14
4.49/4.54	c BCD2: 14 <= obj <= 93
4.49/4.54	c BCD2: #cores=12, #unrelaxed=72, #relaxed=22, #hardened=0
4.49/4.54	c BCD2: #sat=1 #unsat=15 bias=15/16
4.49/4.54	c Solving starts ...
4.49/4.54	c ============================[ Search Statistics ]============================
4.49/4.54	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.49/4.54	c       |         |          |          |    Limit     GC | Var      | Constra 
4.49/4.54	c =============================================================================
4.49/4.54	c  0.0s |       0 |        0 |        0 |    18523      0 |     4949 |     3439
4.49/4.54	c  0.0s |       0 |      116 |        4 |    18523      0 |     4949 |     3439
4.49/4.54	c #cpu_time = 0.020s
4.49/4.54	c #wall_clock_time = 0.020s
4.49/4.54	c #decision = 116
4.49/4.54	c #random_decision = 0
4.49/4.54	c #conflict = 4
4.49/4.54	c #restart = 0
4.49/4.54	c BCD2: found a new core of size 2: cost of the new core is >=1
4.49/4.54	c lower bound updated to 15
4.49/4.54	c BCD2: 15 <= obj <= 93
4.49/4.54	c BCD2: #cores=13, #unrelaxed=70, #relaxed=24, #hardened=0
4.49/4.54	c BCD2: #sat=1 #unsat=16 bias=16/17
4.49/4.54	c Solving starts ...
4.49/4.54	c ============================[ Search Statistics ]============================
4.49/4.54	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.49/4.54	c       |         |          |          |    Limit     GC | Var      | Constra 
4.49/4.54	c =============================================================================
4.49/4.54	c  0.0s |       0 |        0 |        0 |    18523      0 |     4949 |     3439
4.49/4.54	c  0.0s |       0 |      185 |       12 |    18523      0 |     4949 |     3439
4.49/4.54	c #cpu_time = 0.022s
4.49/4.54	c #wall_clock_time = 0.022s
4.49/4.54	c #decision = 185
4.49/4.54	c #random_decision = 0
4.49/4.54	c #conflict = 12
4.49/4.54	c #restart = 0
4.49/4.54	c BCD2: found a new core of size 2: cost of the new core is >=1
4.49/4.54	c lower bound updated to 16
4.49/4.54	c BCD2: 16 <= obj <= 93
4.49/4.54	c BCD2: #cores=14, #unrelaxed=68, #relaxed=26, #hardened=0
4.49/4.54	c BCD2: #sat=1 #unsat=17 bias=17/18
4.49/4.54	c Solving starts ...
4.49/4.54	c ============================[ Search Statistics ]============================
4.49/4.54	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.49/4.54	c       |         |          |          |    Limit     GC | Var      | Constra 
4.49/4.54	c =============================================================================
4.49/4.54	c  0.0s |       0 |        0 |        0 |    18523      0 |     4949 |     3439
4.49/4.54	c  0.0s |       0 |      284 |       26 |    18523      0 |     4951 |     3442
4.49/4.54	c #cpu_time = 0.045s
4.49/4.54	c #wall_clock_time = 0.045s
4.49/4.54	c #decision = 284
4.49/4.54	c #random_decision = 0
4.49/4.54	c #conflict = 26
4.49/4.54	c #restart = 0
4.49/4.54	c BCD2: found a new core of size 1: cost of the new core is >=1
4.49/4.54	c lower bound updated to 17
4.49/4.54	c BCD2: 17 <= obj <= 93
4.49/4.54	c BCD2: #cores=15, #unrelaxed=67, #relaxed=27, #hardened=0
4.49/4.54	c BCD2: #sat=1 #unsat=18 bias=18/19
4.49/4.54	c Solving starts ...
4.49/4.54	c ============================[ Search Statistics ]============================
4.49/4.54	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.49/4.54	c       |         |          |          |    Limit     GC | Var      | Constra 
4.49/4.54	c =============================================================================
4.49/4.54	c  0.0s |       0 |        0 |        0 |    18523      0 |     4951 |     3442
4.49/4.54	c  0.0s |       0 |      104 |        9 |    18523      0 |     4951 |     3442
4.49/4.54	c #cpu_time = 0.021s
4.49/4.54	c #wall_clock_time = 0.021s
4.49/4.54	c #decision = 104
4.49/4.54	c #random_decision = 0
4.49/4.54	c #conflict = 9
4.49/4.54	c #restart = 0
4.49/4.54	c BCD2: found a new core of size 4: cost of the new core is >=1
4.49/4.54	c lower bound updated to 18
4.49/4.54	c BCD2: 18 <= obj <= 93
4.49/4.54	c BCD2: #cores=16, #unrelaxed=63, #relaxed=31, #hardened=0
4.49/4.54	c BCD2: #sat=1 #unsat=19 bias=19/20
4.49/4.54	c Solving starts ...
4.49/4.54	c ============================[ Search Statistics ]============================
4.49/4.54	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.49/4.54	c       |         |          |          |    Limit     GC | Var      | Constra 
4.49/4.54	c =============================================================================
4.49/4.54	c  0.0s |       0 |        0 |        0 |    18523      0 |     4951 |     3442
4.49/4.54	c  0.0s |       0 |      148 |       20 |    18523      0 |     4951 |     3442
4.49/4.54	c #cpu_time = 0.024s
4.49/4.54	c #wall_clock_time = 0.024s
4.49/4.54	c #decision = 148
4.49/4.54	c #random_decision = 0
4.49/4.54	c #conflict = 20
4.49/4.54	c #restart = 0
4.49/4.54	c BCD2: found a new core of size 2: cost of the new core is >=1
4.49/4.54	c lower bound updated to 19
4.49/4.54	c BCD2: 19 <= obj <= 93
4.49/4.54	c BCD2: #cores=17, #unrelaxed=61, #relaxed=33, #hardened=0
4.49/4.54	c BCD2: #sat=1 #unsat=20 bias=20/21
4.49/4.54	c Solving starts ...
4.49/4.54	c ============================[ Search Statistics ]============================
4.49/4.54	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.49/4.54	c       |         |          |          |    Limit     GC | Var      | Constra 
4.49/4.54	c =============================================================================
4.49/4.54	c  0.0s |       0 |        0 |        0 |    18523      0 |     4951 |     3442
4.49/4.54	c  0.0s |       0 |      110 |       25 |    18523      0 |     4951 |     3442
4.49/4.54	c #cpu_time = 0.023s
4.49/4.54	c #wall_clock_time = 0.023s
4.49/4.54	c #decision = 110
4.49/4.54	c #random_decision = 0
4.49/4.54	c #conflict = 25
4.49/4.54	c #restart = 0
4.49/4.54	c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2
4.49/4.54	c lower bound updated to 20
4.49/4.54	c BCD2: 20 <= obj <= 93
4.49/4.54	c BCD2: #cores=17, #unrelaxed=59, #relaxed=35, #hardened=0
4.49/4.54	c BCD2: #sat=1 #unsat=21 bias=21/22
4.49/4.54	c Solving starts ...
4.49/4.54	c ============================[ Search Statistics ]============================
4.49/4.54	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.49/4.54	c       |         |          |          |    Limit     GC | Var      | Constra 
4.49/4.54	c =============================================================================
4.49/4.54	c  0.0s |       0 |        0 |        0 |    18523      0 |     4952 |     3442
4.49/4.54	c  0.0s |       0 |      196 |       30 |    18523      0 |     4952 |     3443
4.49/4.54	c #cpu_time = 0.034s
4.49/4.54	c #wall_clock_time = 0.034s
4.49/4.54	c #decision = 196
4.49/4.54	c #random_decision = 1
4.49/4.54	c #conflict = 30
4.49/4.54	c #restart = 0
4.49/4.54	c BCD2: found a new core of size 2: cost of the new core is >=1
4.49/4.54	c lower bound updated to 21
4.49/4.54	c BCD2: 21 <= obj <= 93
4.49/4.54	c BCD2: #cores=18, #unrelaxed=57, #relaxed=37, #hardened=0
4.49/4.54	c BCD2: #sat=1 #unsat=22 bias=22/23
4.49/4.54	c Solving starts ...
4.49/4.54	c ============================[ Search Statistics ]============================
4.49/4.54	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.49/4.54	c       |         |          |          |    Limit     GC | Var      | Constra 
4.49/4.54	c =============================================================================
4.49/4.54	c  0.0s |       0 |        0 |        0 |    18523      0 |     4952 |     3443
4.49/4.54	c  0.1s |       1 |      292 |      100 |    20376      0 |     4952 |     3443
4.49/4.54	c  0.1s |       1 |      700 |      208 |    20376      0 |     4952 |     3443
4.49/4.54	c #cpu_time = 0.118s
4.49/4.54	c #wall_clock_time = 0.118s
4.49/4.54	c #decision = 700
4.49/4.54	c #random_decision = 1
4.49/4.54	c #conflict = 208
4.49/4.54	c #restart = 1
4.49/4.54	c BCD2: relaxing 2 and merging with 2 cores into a new core of size 6: cost of the new core is >=3
4.49/4.54	c lower bound updated to 22
4.49/4.54	c BCD2: 22 <= obj <= 93
4.49/4.54	c BCD2: #cores=17, #unrelaxed=55, #relaxed=39, #hardened=0
4.49/4.54	c BCD2: #sat=1 #unsat=23 bias=23/24
4.49/4.54	c Solving starts ...
4.49/4.54	c ============================[ Search Statistics ]============================
4.49/4.54	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.49/4.54	c       |         |          |          |    Limit     GC | Var      | Constra 
4.49/4.54	c =============================================================================
4.49/4.54	c  0.0s |       0 |        0 |        0 |    20376      0 |     4954 |     3443
4.49/4.59	c  0.1s |       1 |      382 |      100 |    22414      0 |     4954 |     3445
4.59/4.64	c  0.1s |       1 |      723 |      115 |    22414      0 |     4956 |     3456
4.59/4.64	c #cpu_time = 0.123s
4.59/4.64	c #wall_clock_time = 0.123s
4.59/4.64	c #decision = 723
4.59/4.64	c #random_decision = 2
4.59/4.64	c #conflict = 115
4.59/4.64	c #restart = 1
4.59/4.64	c BCD2: found a new core of size 1: cost of the new core is >=1
4.59/4.64	c lower bound updated to 23
4.59/4.64	c BCD2: 23 <= obj <= 93
4.59/4.64	c BCD2: #cores=18, #unrelaxed=54, #relaxed=40, #hardened=0
4.59/4.64	c BCD2: #sat=1 #unsat=24 bias=24/25
4.59/4.64	c Solving starts ...
4.59/4.64	c ============================[ Search Statistics ]============================
4.59/4.64	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.59/4.64	c       |         |          |          |    Limit     GC | Var      | Constra 
4.59/4.64	c =============================================================================
4.59/4.64	c  0.0s |       0 |        0 |        0 |    22414      0 |     4956 |     3456
4.59/4.67	c  0.0s |       0 |      112 |        2 |    22414      0 |     4956 |     3456
4.59/4.67	c #cpu_time = 0.023s
4.59/4.67	c #wall_clock_time = 0.023s
4.59/4.67	c #decision = 112
4.59/4.67	c #random_decision = 0
4.59/4.67	c #conflict = 2
4.59/4.67	c #restart = 0
4.59/4.67	c BCD2: found a new core of size 2: cost of the new core is >=1
4.59/4.67	c lower bound updated to 24
4.59/4.67	c BCD2: 24 <= obj <= 93
4.59/4.67	c BCD2: #cores=19, #unrelaxed=52, #relaxed=42, #hardened=0
4.59/4.67	c BCD2: #sat=1 #unsat=25 bias=25/26
4.59/4.67	c Solving starts ...
4.59/4.67	c ============================[ Search Statistics ]============================
4.59/4.67	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.59/4.67	c       |         |          |          |    Limit     GC | Var      | Constra 
4.59/4.67	c =============================================================================
4.59/4.67	c  0.0s |       0 |        0 |        0 |    22414      0 |     4956 |     3456
4.59/4.70	c  0.0s |       0 |      202 |       38 |    22414      0 |     4956 |     3456
4.59/4.70	c #cpu_time = 0.030s
4.59/4.70	c #wall_clock_time = 0.030s
4.59/4.70	c #decision = 202
4.59/4.70	c #random_decision = 1
4.59/4.70	c #conflict = 38
4.59/4.70	c #restart = 0
4.59/4.70	c BCD2: found a new core of size 2: cost of the new core is >=1
4.59/4.70	c lower bound updated to 25
4.59/4.70	c BCD2: 25 <= obj <= 93
4.59/4.70	c BCD2: #cores=20, #unrelaxed=50, #relaxed=44, #hardened=0
4.59/4.70	c BCD2: #sat=1 #unsat=26 bias=26/27
4.59/4.70	c Solving starts ...
4.59/4.70	c ============================[ Search Statistics ]============================
4.59/4.70	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.59/4.70	c       |         |          |          |    Limit     GC | Var      | Constra 
4.59/4.70	c =============================================================================
4.69/4.70	c  0.0s |       0 |        0 |        0 |    22414      0 |     4956 |     3456
4.69/4.74	c  0.0s |       0 |      319 |       53 |    22414      0 |     4956 |     3456
4.69/4.74	c #cpu_time = 0.047s
4.69/4.74	c #wall_clock_time = 0.047s
4.69/4.74	c #decision = 319
4.69/4.74	c #random_decision = 1
4.69/4.74	c #conflict = 53
4.69/4.74	c #restart = 0
4.69/4.74	c BCD2: relaxing 2 and merging with 1 cores into a new core of size 4: cost of the new core is >=2
4.69/4.74	c lower bound updated to 26
4.69/4.74	c BCD2: 26 <= obj <= 93
4.69/4.74	c BCD2: #cores=20, #unrelaxed=48, #relaxed=46, #hardened=0
4.69/4.74	c BCD2: #sat=1 #unsat=27 bias=27/28
4.69/4.74	c Solving starts ...
4.69/4.74	c ============================[ Search Statistics ]============================
4.69/4.74	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.69/4.74	c       |         |          |          |    Limit     GC | Var      | Constra 
4.69/4.74	c =============================================================================
4.69/4.74	c  0.0s |       0 |        0 |        0 |    22414      0 |     4957 |     3456
4.69/4.78	c  0.0s |       0 |      183 |       34 |    22414      0 |     4957 |     3457
4.69/4.78	c #cpu_time = 0.032s
4.69/4.78	c #wall_clock_time = 0.032s
4.69/4.78	c #decision = 183
4.69/4.78	c #random_decision = 0
4.69/4.78	c #conflict = 34
4.69/4.78	c #restart = 0
4.69/4.78	c BCD2: found a new core of size 3: cost of the new core is >=1
4.69/4.78	c lower bound updated to 27
4.69/4.78	c BCD2: 27 <= obj <= 93
4.69/4.78	c BCD2: #cores=21, #unrelaxed=45, #relaxed=49, #hardened=0
4.69/4.78	c BCD2: #sat=1 #unsat=28 bias=28/29
4.69/4.78	c Solving starts ...
4.69/4.78	c ============================[ Search Statistics ]============================
4.69/4.78	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.69/4.78	c       |         |          |          |    Limit     GC | Var      | Constra 
4.69/4.78	c =============================================================================
4.69/4.78	c  0.0s |       0 |        0 |        0 |    22414      0 |     4957 |     3457
4.79/4.86	c  0.1s |       1 |      489 |      100 |    22414      0 |     4957 |     3457
4.89/4.94	c  0.2s |       1 |     1103 |      226 |    24656      0 |     4957 |     3457
4.89/4.94	c #cpu_time = 0.162s
4.89/4.94	c #wall_clock_time = 0.163s
4.89/4.94	c #decision = 1103
4.89/4.94	c #random_decision = 1
4.89/4.94	c #conflict = 226
4.89/4.94	c #restart = 1
4.89/4.94	c BCD2: found a new core of size 2: cost of the new core is >=1
4.89/4.94	c lower bound updated to 28
4.89/4.94	c BCD2: 28 <= obj <= 93
4.89/4.94	c BCD2: #cores=22, #unrelaxed=43, #relaxed=51, #hardened=0
4.89/4.94	c BCD2: #sat=1 #unsat=29 bias=29/30
4.89/4.94	c Solving starts ...
4.89/4.94	c ============================[ Search Statistics ]============================
4.89/4.94	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.89/4.94	c       |         |          |          |    Limit     GC | Var      | Constra 
4.89/4.94	c =============================================================================
4.89/4.95	c  0.0s |       0 |        0 |        0 |    24656      0 |     4957 |     3457
4.99/5.03	c  0.1s |       1 |      719 |      100 |    24656      0 |     4957 |     3457
5.09/5.14	c  0.2s |       2 |     1357 |      250 |    24656      0 |     4957 |     3457
5.29/5.36	c  0.4s |       3 |     3196 |      475 |    27122      0 |     4958 |     3465
5.39/5.49	c  0.5s |       3 |     3956 |      641 |    27122      0 |     4958 |     3465
5.39/5.49	c #cpu_time = 0.544s
5.39/5.49	c #wall_clock_time = 0.546s
5.39/5.49	c #decision = 3956
5.39/5.49	c #random_decision = 9
5.39/5.49	c #conflict = 641
5.39/5.49	c #restart = 3
5.39/5.49	c BCD2: relaxing 11 and merging with 2 cores into a new core of size 17: cost of the new core is >=4
5.39/5.49	c lower bound updated to 29
5.39/5.49	c BCD2: 29 <= obj <= 93
5.39/5.49	c BCD2: #cores=21, #unrelaxed=32, #relaxed=62, #hardened=0
5.39/5.49	c BCD2: #sat=1 #unsat=30 bias=30/31
5.39/5.49	c Solving starts ...
5.39/5.49	c ============================[ Search Statistics ]============================
5.39/5.49	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
5.39/5.49	c       |         |          |          |    Limit     GC | Var      | Constra 
5.39/5.49	c =============================================================================
5.39/5.49	c  0.0s |       0 |        0 |        0 |    27122      0 |     4960 |     3465
5.49/5.58	c  0.1s |       0 |      482 |       89 |    27122      0 |     4960 |     3467
5.49/5.58	c #cpu_time = 0.082s
5.49/5.58	c #wall_clock_time = 0.082s
5.49/5.58	c #decision = 482
5.49/5.58	c #random_decision = 3
5.49/5.58	c #conflict = 89
5.49/5.58	c #restart = 0
5.49/5.58	o 40
5.49/5.58	c BCD2: updating upper bound: 93 -> 39
5.49/5.58	c BCD2: 29 <= obj <= 39
5.49/5.58	c BCD2: #cores=21, #unrelaxed=32, #relaxed=62, #hardened=0
5.49/5.58	c BCD2: #sat=2 #unsat=30 bias=30/32
5.49/5.58	c Solving starts ...
5.49/5.58	c ============================[ Search Statistics ]============================
5.49/5.58	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
5.49/5.58	c       |         |          |          |    Limit     GC | Var      | Constra 
5.49/5.58	c =============================================================================
5.49/5.58	c  0.0s |       0 |        0 |        0 |    27122      0 |     4960 |     3468
5.59/5.66	c  0.1s |       1 |      321 |      100 |    27122      0 |     4961 |     3482
5.59/5.69	c  0.1s |       1 |      400 |      113 |    27122      0 |     4961 |     3482
5.59/5.69	c #cpu_time = 0.106s
5.59/5.69	c #wall_clock_time = 0.107s
5.59/5.69	c #decision = 400
5.59/5.69	c #random_decision = 1
5.59/5.69	c #conflict = 113
5.59/5.69	c #restart = 1
5.59/5.69	c BCD2: relaxing 2 and merging with 2 cores into a new core of size 10: cost of the new core is >=5
5.59/5.69	c lower bound updated to 30
5.59/5.69	c BCD2: 30 <= obj <= 39
5.59/5.69	c BCD2: #cores=20, #unrelaxed=30, #relaxed=64, #hardened=0
5.59/5.69	c BCD2: #sat=2 #unsat=31 bias=31/33
5.59/5.69	c Solving starts ...
5.59/5.69	c ============================[ Search Statistics ]============================
5.59/5.69	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
5.59/5.69	c       |         |          |          |    Limit     GC | Var      | Constra 
5.59/5.69	c =============================================================================
5.59/5.69	c  0.0s |       0 |        0 |        0 |    27122      0 |     4965 |     3482
5.69/5.76	c  0.1s |       1 |      341 |      100 |    27122      0 |     4965 |     3488
5.79/5.83	c  0.1s |       2 |      716 |      250 |    27122      0 |     4965 |     3488
5.89/5.96	c  0.3s |       3 |     1280 |      475 |    29835      0 |     4965 |     3488
5.99/6.09	c  0.4s |       4 |     1716 |      813 |    29835      0 |     4965 |     3488
6.29/6.35	c  0.7s |       5 |     2506 |     1320 |    29835      0 |     4965 |     3488
6.39/6.42	c  0.7s |       5 |     2747 |     1460 |    32819      0 |     4965 |     3488
6.39/6.42	c #cpu_time = 0.726s
6.39/6.42	c #wall_clock_time = 0.728s
6.39/6.42	c #decision = 2747
6.39/6.42	c #random_decision = 8
6.39/6.42	c #conflict = 1460
6.39/6.42	c #restart = 5
6.39/6.42	c BCD2: relaxing 2 and merging with 4 cores into a new core of size 21: cost of the new core is >=10
6.39/6.42	c lower bound updated to 31
6.39/6.42	c BCD2: 31 <= obj <= 39
6.39/6.42	c BCD2: #cores=17, #unrelaxed=28, #relaxed=66, #hardened=0
6.39/6.42	c BCD2: #sat=2 #unsat=32 bias=32/34
6.39/6.42	c Solving starts ...
6.39/6.42	c ============================[ Search Statistics ]============================
6.39/6.42	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
6.39/6.42	c       |         |          |          |    Limit     GC | Var      | Constra 
6.39/6.42	c =============================================================================
6.39/6.42	c  0.0s |       0 |        0 |        0 |    32819      0 |     4971 |     3488
6.49/6.50	c  0.1s |       1 |      439 |      100 |    32819      0 |     4971 |     3496
6.59/6.63	c  0.2s |       2 |      887 |      250 |    32819      0 |     4971 |     3496
6.79/6.81	c  0.4s |       3 |     1703 |      475 |    32819      0 |     4972 |     3508
6.99/7.03	c  0.6s |       4 |     2770 |      813 |    32819      0 |     4973 |     3518
7.29/7.37	c  0.9s |       5 |     5146 |     1320 |    32819      0 |     4973 |     3518
7.69/7.74	c  1.3s |       6 |     7505 |     2081 |    36101      0 |     4973 |     3518
8.39/8.40	c  2.0s |       7 |     9657 |     3223 |    36101      0 |     4973 |     3518
9.59/9.61	c  3.2s |       7 |    14974 |     4915 |    39712      0 |     4974 |     3532
9.59/9.61	c #cpu_time = 3.185s
9.59/9.61	c #wall_clock_time = 3.193s
9.59/9.61	c #decision = 14974
9.59/9.61	c #random_decision = 51
9.59/9.61	c #conflict = 4915
9.59/9.61	c #restart = 7
9.59/9.61	o 36
9.59/9.61	c BCD2: updating upper bound: 39 -> 35
9.59/9.62	c BCD2: 31 <= obj <= 35
9.59/9.62	c BCD2: #cores=17, #unrelaxed=28, #relaxed=66, #hardened=0
9.59/9.62	c BCD2: #sat=3 #unsat=32 bias=32/35
9.59/9.62	c Solving starts ...
9.59/9.62	c ============================[ Search Statistics ]============================
9.59/9.62	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
9.59/9.62	c       |         |          |          |    Limit     GC | Var      | Constra 
9.59/9.62	c =============================================================================
9.59/9.62	c  0.0s |       0 |        0 |        0 |    39712      0 |     4974 |     3533
9.69/9.70	c  0.1s |       1 |      294 |      100 |    39712      0 |     4974 |     3533
9.79/9.83	c  0.2s |       2 |      587 |      250 |    39712      0 |     4974 |     3533
9.89/9.96	c  0.3s |       3 |     1150 |      475 |    39712      0 |     4974 |     3533
10.09/10.14	c  0.5s |       4 |     1831 |      813 |    39712      0 |     4974 |     3533
10.39/10.40	c  0.8s |       5 |     2684 |     1320 |    39712      0 |     4974 |     3533
10.89/10.97	c  1.4s |       6 |     4644 |     2081 |    39712      0 |     4977 |     3569
11.69/11.71	c  2.1s |       7 |     6731 |     3223 |    43684      0 |     4977 |     3569
12.89/12.96	c  3.3s |       8 |     9614 |     4936 |    43684      0 |     4977 |     3569
14.39/14.46	c  4.8s |       8 |    12755 |     6865 |    43684      0 |     4977 |     3569
14.39/14.46	c #cpu_time = 4.829s
14.39/14.46	c #wall_clock_time = 4.843s
14.39/14.46	c #decision = 12755
14.39/14.46	c #random_decision = 58
14.39/14.46	c #conflict = 6865
14.39/14.46	c #restart = 8
14.39/14.46	c BCD2: relaxing 6 and merging with 5 cores into a new core of size 41: cost of the new core is >=17
14.39/14.46	c lower bound updated to 32
14.39/14.46	c BCD2: 32 <= obj <= 35
14.39/14.46	c BCD2: #cores=13, #unrelaxed=22, #relaxed=72, #hardened=0
14.39/14.46	c BCD2: #sat=3 #unsat=33 bias=33/36
14.39/14.46	c Solving starts ...
14.39/14.46	c ============================[ Search Statistics ]============================
14.39/14.46	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
14.39/14.46	c       |         |          |          |    Limit     GC | Var      | Constra 
14.39/14.46	c =============================================================================
14.39/14.46	c  0.0s |       0 |        0 |        0 |    43684      0 |     4987 |     3569
14.58/14.64	c  0.2s |       1 |      384 |      100 |    43684      0 |     4987 |     3584
14.68/14.78	c  0.3s |       2 |      938 |      250 |    43684      0 |     4987 |     3584
14.88/14.94	c  0.5s |       3 |     1236 |      475 |    43684      0 |     4987 |     3584
15.08/15.14	c  0.7s |       4 |     1810 |      813 |    43684      0 |     4987 |     3584
15.28/15.40	c  0.9s |       5 |     2908 |     1320 |    43684      0 |     4987 |     3584
15.58/15.64	c  1.2s |       6 |     4056 |     2081 |    48053      0 |     4987 |     3584
16.38/16.48	c  2.0s |       7 |     6061 |     3223 |    48053      0 |     4987 |     3584
17.48/17.54	c  3.1s |       8 |     9581 |     4936 |    48053      0 |     4988 |     3596
19.48/19.56	c  5.1s |       9 |    14596 |     7506 |    48053      0 |     4988 |     3596
21.48/21.57	c  7.1s |       9 |    17856 |     9706 |    48053      0 |     4989 |     3608
22.58/22.64	c  8.2s |      10 |    20492 |    11361 |    52859      0 |     4989 |     3608
24.68/24.74	c 10.3s |      10 |    23496 |    12961 |    52859      0 |     4989 |     3608
26.78/26.81	c 12.3s |      10 |    25765 |    14361 |    52859      0 |     4989 |     3608
28.78/28.84	c 14.4s |      10 |    27532 |    15561 |    52859      0 |     4989 |     3608
30.58/30.69	c 16.2s |      11 |    30674 |    17144 |    52859      0 |     4989 |     3608
32.68/32.73	c 18.3s |      11 |    32996 |    18644 |    52859      0 |     4989 |     3608
34.78/34.83	c 20.4s |      11 |    35058 |    20044 |    52859      0 |     4989 |     3608
36.78/36.86	c 22.4s |      11 |    38009 |    21944 |    52859      0 |     4989 |     3608
38.88/38.97	c 24.5s |      11 |    40222 |    23544 |    52859      0 |     4989 |     3608
40.97/41.00	c 26.5s |      11 |    42364 |    25144 |    58145      0 |     4989 |     3608
41.78/41.84	c 27.4s |      12 |    43384 |    25819 |    58145      0 |     4989 |     3608
43.77/43.86	c 29.4s |      12 |    45888 |    27619 |    58145      0 |     4989 |     3608
45.87/45.90	c 31.4s |      12 |    47981 |    29319 |    58145      0 |     4989 |     3608
47.87/48.00	c 33.5s |      12 |    50555 |    31219 |    58145      0 |     4989 |     3608
50.07/50.12	c 35.7s |      12 |    53054 |    33019 |    58145      0 |     4990 |     3618
52.07/52.17	c 37.7s |      12 |    55449 |    34719 |    58145      0 |     4990 |     3618
54.17/54.27	c 39.8s |      12 |    58234 |    36519 |    58145      0 |     4990 |     3618
56.27/56.38	c 41.9s |      12 |    60426 |    38119 |    58145      0 |     4990 |     3618
57.17/57.29	c 42.8s |      13 |    61374 |    38832 |    58145      0 |     4990 |     3618
59.26/59.39	c 44.9s |      13 |    63302 |    40232 |    58145      0 |     4990 |     3618
61.36/61.44	c 47.0s |      13 |    65594 |    41732 |    58145      0 |     4990 |     3618
63.36/63.45	c 49.0s |      13 |    67804 |    43232 |    63960      0 |     4990 |     3618
65.06/65.14	c 50.7s |      13 |    70544 |    44414 |    63960      0 |     4990 |     3618
65.06/65.14	c #cpu_time = 50.535s
65.06/65.14	c #wall_clock_time = 50.680s
65.06/65.14	c #decision = 70544
65.06/65.14	c #random_decision = 292
65.06/65.14	c #conflict = 44414
65.06/65.14	c #restart = 13
65.06/65.14	o 34
65.06/65.14	c BCD2: updating upper bound: 35 -> 33
65.06/65.15	c BCD2: 32 <= obj <= 33
65.06/65.15	c BCD2: #cores=13, #unrelaxed=22, #relaxed=72, #hardened=0
65.06/65.15	c BCD2: #sat=4 #unsat=33 bias=33/37
65.06/65.15	c Solving starts ...
65.06/65.15	c ============================[ Search Statistics ]============================
65.06/65.15	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
65.06/65.15	c       |         |          |          |    Limit     GC | Var      | Constra 
65.06/65.15	c =============================================================================
65.06/65.15	c  0.0s |       0 |        0 |        0 |    63960      0 |     4990 |     3619
65.46/65.53	c  0.4s |       1 |      188 |      100 |    63960      0 |     4990 |     3619
65.86/65.95	c  0.8s |       2 |      471 |      250 |    63960      0 |     4990 |     3619
66.36/66.41	c  1.3s |       3 |      892 |      475 |    63960      0 |     4990 |     3619
66.96/67.10	c  2.0s |       4 |     1423 |      813 |    63960      0 |     4990 |     3619
67.86/67.98	c  2.8s |       5 |     2192 |     1320 |    63960      0 |     4990 |     3619
69.06/69.10	c  4.0s |       6 |     3359 |     2081 |    63960      0 |     4990 |     3619
70.66/70.74	c  5.6s |       7 |     4825 |     3223 |    63960      0 |     4990 |     3619
72.76/72.81	c  7.7s |       7 |     7137 |     4723 |    63960      0 |     4990 |     3619
72.96/73.08	c  7.9s |       8 |     7432 |     4936 |    63960      0 |     4990 |     3619
75.06/75.18	c 10.0s |       8 |     9628 |     6336 |    63960      0 |     4990 |     3619
76.56/76.63	c 11.5s |       9 |    11247 |     7506 |    63960      0 |     4990 |     3619
78.56/78.69	c 13.5s |       9 |    12968 |     8706 |    63960      0 |     4990 |     3619
80.76/80.82	c 15.7s |       9 |    14970 |    10106 |    63960      0 |     4990 |     3619
82.26/82.36	c 17.2s |      10 |    16693 |    11361 |    63960      0 |     4990 |     3619
84.26/84.38	c 19.2s |      10 |    18854 |    12961 |    63960      0 |     4990 |     3619
86.35/86.46	c 21.3s |      10 |    21816 |    14961 |    63960      0 |     4990 |     3619
88.45/88.58	c 23.4s |      10 |    24599 |    17061 |    63960      0 |     4990 |     3619
88.55/88.68	c 23.5s |      11 |    24707 |    17144 |    63960      0 |     4990 |     3619
90.65/90.74	c 25.6s |      11 |    26360 |    18344 |    63960      0 |     4990 |     3619
92.65/92.78	c 27.6s |      11 |    28389 |    19844 |    63960      0 |     4990 |     3619
95.35/95.49	c 30.3s |      11 |    30231 |    21244 |    63960      1 |     4990 |     3619
99.06/99.11	c 34.0s |      11 |    30619 |    21544 |    63960      1 |     4990 |     3619
101.06/101.19	c 36.0s |      11 |    32428 |    22844 |    63960      1 |     4990 |     3619
103.15/103.22	c 38.1s |      11 |    34053 |    23944 |    63960      1 |     4990 |     3619
105.25/105.30	c 40.2s |      11 |    36551 |    25544 |    63960      1 |     4990 |     3619
105.56/105.62	c 40.5s |      12 |    37122 |    25819 |    63960      1 |     4990 |     3619
107.65/107.74	c 42.6s |      12 |    39724 |    27519 |    63960      1 |     4990 |     3619
109.75/109.87	c 44.7s |      12 |    41802 |    29019 |    70356      1 |     4990 |     3619
111.85/111.97	c 46.8s |      12 |    43834 |    30419 |    70356      1 |     4990 |     3619
113.85/113.98	c 48.8s |      12 |    46338 |    32019 |    70356      1 |     4990 |     3619
115.95/116.04	c 50.9s |      12 |    48945 |    33819 |    70356      1 |     4990 |     3619
117.95/118.06	c 52.9s |      12 |    51552 |    35619 |    70356      1 |     4990 |     3619
119.96/120.07	c 54.9s |      12 |    53596 |    37119 |    70356      1 |     4990 |     3619
121.95/122.10	c 57.0s |      12 |    55869 |    38819 |    70356      1 |     4990 |     3619
122.05/122.12	c 57.0s |      13 |    55886 |    38832 |    70356      1 |     4990 |     3619
124.14/124.20	c 59.1s |      13 |    58021 |    40332 |    70356      1 |     4990 |     3619
126.14/126.23	c 61.1s |      13 |    60321 |    41932 |    70356      1 |     4990 |     3619
128.14/128.23	c 63.1s |      13 |    62625 |    43532 |    70356      1 |     4990 |     3619
130.24/130.30	c 65.2s |      13 |    64521 |    44932 |    70356      1 |     4990 |     3619
132.24/132.34	c 67.2s |      13 |    66324 |    46332 |    70356      1 |     4990 |     3619
134.25/134.39	c 69.2s |      13 |    68393 |    47732 |    70356      1 |     4990 |     3619
136.54/136.62	c 71.5s |      13 |    69829 |    48832 |    70356      1 |     4990 |     3619
138.65/138.71	c 73.6s |      13 |    71496 |    49932 |    70356      1 |     4990 |     3619
140.64/140.76	c 75.6s |      13 |    72822 |    50832 |    70356      1 |     4990 |     3619
142.64/142.78	c 77.6s |      13 |    74049 |    51832 |    70356      1 |     4990 |     3619
144.84/144.91	c 79.8s |      13 |    75412 |    52832 |    70356      1 |     4990 |     3619
147.04/147.11	c 82.0s |      13 |    76796 |    53932 |    70356      1 |     4990 |     3619
149.14/149.20	c 84.1s |      13 |    77993 |    54932 |    70356      1 |     4990 |     3619
151.34/151.40	c 86.3s |      13 |    79490 |    56032 |    70356      1 |     4990 |     3619
153.33/153.46	c 88.3s |      13 |    80706 |    56932 |    70356      1 |     4990 |     3619
155.53/155.69	c 90.5s |      13 |    82014 |    57832 |    70356      1 |     4990 |     3619
156.73/156.86	c 91.7s |      14 |    82766 |    58352 |    70356      1 |     4990 |     3619
158.83/158.96	c 93.8s |      14 |    83719 |    59152 |    70356      1 |     4990 |     3619
161.03/161.18	c 96.0s |      14 |    84775 |    60052 |    70356      1 |     4990 |     3619
163.13/163.29	c 98.1s |      14 |    86063 |    61052 |    70356      1 |     4990 |     3619
165.33/165.40	c  100s |      14 |    87134 |    61952 |    70356      1 |     4990 |     3619
168.43/168.51	c  103s |      14 |    87305 |    62052 |    70356      2 |     4990 |     3619
170.44/170.54	c  105s |      14 |    88452 |    62952 |    70356      2 |     4990 |     3619
172.43/172.54	c  107s |      14 |    90446 |    64552 |    70356      2 |     4990 |     3619
175.73/175.84	c  110s |      14 |    91583 |    65452 |    70356      2 |     4990 |     3619
178.63/178.79	c  113s |      14 |    94264 |    67552 |    70356      2 |     4990 |     3619
180.72/180.80	c  115s |      14 |    96202 |    68952 |    70356      2 |     4990 |     3619
182.72/182.87	c  117s |      14 |    98316 |    70652 |    70356      2 |     4990 |     3619
184.73/184.88	c  119s |      14 |   100758 |    72552 |    77392      2 |     4990 |     3619
186.72/186.89	c  121s |      14 |   102655 |    74152 |    77392      2 |     4990 |     3619
188.82/188.97	c  123s |      14 |   105136 |    76152 |    77392      2 |     4990 |     3619
190.92/191.08	c  125s |      14 |   106698 |    77352 |    77392      2 |     4990 |     3619
193.02/193.10	c  127s |      14 |   108127 |    78552 |    77392      2 |     4990 |     3619
195.02/195.12	c  129s |      14 |   110086 |    80152 |    77392      2 |     4990 |     3619
197.12/197.22	c  132s |      14 |   112047 |    81652 |    77392      2 |     4990 |     3619
199.22/199.31	c  134s |      14 |   114170 |    82952 |    77392      2 |     4990 |     3619
201.23/201.33	c  136s |      14 |   116437 |    84252 |    77392      2 |     4990 |     3619
203.32/203.43	c  138s |      14 |   118112 |    85352 |    77392      2 |     4990 |     3619
205.32/205.46	c  140s |      14 |   120361 |    86752 |    77392      2 |     4990 |     3619
206.83/206.99	c  141s |      15 |   121670 |    87632 |    77392      2 |     4990 |     3619
208.93/209.03	c  143s |      15 |   123607 |    88732 |    77392      2 |     4990 |     3619
210.92/211.08	c  145s |      15 |   125226 |    89732 |    77392      2 |     4990 |     3619
213.12/213.24	c  148s |      15 |   127227 |    90932 |    77392      2 |     4990 |     3619
215.12/215.26	c  150s |      15 |   129336 |    92332 |    77392      2 |     4990 |     3619
217.22/217.30	c  152s |      15 |   131468 |    93632 |    77392      2 |     4990 |     3619
219.22/219.34	c  154s |      15 |   133157 |    94732 |    77392      2 |     4990 |     3619
221.22/221.39	c  156s |      15 |   135467 |    96032 |    77392      2 |     4990 |     3619
223.32/223.45	c  158s |      15 |   137616 |    97332 |    77392      2 |     4990 |     3619
225.42/225.55	c  160s |      15 |   140548 |    99032 |    77392      2 |     4990 |     3619
227.51/227.63	c  162s |      15 |   142250 |   100132 |    77392      2 |     4990 |     3619
229.61/229.78	c  164s |      15 |   144110 |   101232 |    77392      2 |     4990 |     3619
231.61/231.79	c  166s |      15 |   145463 |   102132 |    77392      2 |     4990 |     3619
233.71/233.84	c  168s |      15 |   147468 |   103332 |    77392      2 |     4990 |     3619
235.71/235.88	c  170s |      15 |   149189 |   104432 |    77392      2 |     4990 |     3619
237.91/238.00	c  172s |      15 |   150978 |   105532 |    77392      2 |     4990 |     3619
239.91/240.07	c  174s |      15 |   152194 |   106432 |    77392      2 |     4990 |     3619
242.61/242.72	c  177s |      15 |   153152 |   107132 |    77392      3 |     4990 |     3619
253.02/253.19	c  188s |      15 |   153596 |   107432 |    77392      3 |     4990 |     3619
255.11/255.24	c  190s |      15 |   155798 |   108832 |    77392      3 |     4990 |     3619
257.11/257.27	c  192s |      15 |   158675 |   110732 |    77392      3 |     4990 |     3619
260.80/260.91	c  195s |      15 |   160661 |   112332 |    77392      3 |     4990 |     3619
262.81/262.93	c  197s |      15 |   162891 |   113932 |    77392      3 |     4990 |     3619
264.90/265.06	c  199s |      15 |   165062 |   115532 |    77392      3 |     4990 |     3619
266.90/267.07	c  201s |      15 |   167234 |   117132 |    77392      3 |     4990 |     3619
269.00/269.11	c  203s |      15 |   169325 |   118632 |    77392      3 |     4990 |     3619
271.09/271.22	c  206s |      15 |   172050 |   120432 |    77392      3 |     4990 |     3619
275.00/275.15	c  210s |      15 |   174490 |   122132 |    77392      3 |     4990 |     3619
277.10/277.27	c  212s |      15 |   176681 |   123532 |    77392      3 |     4990 |     3619
279.19/279.38	c  214s |      15 |   178818 |   125032 |    77392      3 |     4990 |     3619
281.39/281.51	c  216s |      15 |   180815 |   126432 |    77392      3 |     4990 |     3619
283.49/283.62	c  218s |      15 |   182343 |   127632 |    77392      3 |     4990 |     3619
285.49/285.70	c  220s |      15 |   184611 |   129032 |    77392      3 |     4990 |     3619
287.69/287.84	c  222s |      15 |   186710 |   130432 |    77392      3 |     4990 |     3619
289.59/289.70	c  224s |      16 |   188346 |   131552 |    77392      3 |     4990 |     3619
291.59/291.73	c  226s |      16 |   189777 |   132552 |    77392      3 |     4990 |     3619
293.69/293.85	c  228s |      16 |   191367 |   133752 |    77392      3 |     4990 |     3619
295.79/295.92	c  230s |      16 |   192688 |   134652 |    77392      3 |     4990 |     3619
297.89/298.01	c  232s |      16 |   194111 |   135652 |    77392      3 |     4990 |     3619
299.99/300.15	c  235s |      16 |   196247 |   136952 |    85132      3 |     4990 |     3619
301.98/302.18	c  237s |      16 |   198030 |   138152 |    85132      3 |     4990 |     3619
304.08/304.24	c  239s |      16 |   200051 |   139352 |    85132      3 |     4990 |     3619
306.18/306.33	c  241s |      16 |   201519 |   140352 |    85132      3 |     4990 |     3619
308.38/308.52	c  243s |      16 |   202601 |   141152 |    85132      3 |     4990 |     3619
310.48/310.68	c  245s |      16 |   203855 |   142052 |    85132      3 |     4990 |     3619
312.68/312.84	c  247s |      16 |   205004 |   142952 |    85132      3 |     4990 |     3619
314.88/315.04	c  249s |      16 |   206240 |   143852 |    85132      3 |     4990 |     3619
317.07/317.20	c  252s |      16 |   207194 |   144652 |    85132      3 |     4990 |     3619
319.27/319.40	c  254s |      16 |   208319 |   145552 |    85132      3 |     4990 |     3619
321.27/321.41	c  256s |      16 |   209198 |   146252 |    85132      3 |     4990 |     3619
323.37/323.57	c  258s |      16 |   210146 |   147052 |    85132      3 |     4990 |     3619
325.57/325.73	c  260s |      16 |   210986 |   147752 |    85132      3 |     4990 |     3619
327.67/327.83	c  262s |      16 |   212129 |   148652 |    85132      3 |     4990 |     3619
329.77/329.90	c  264s |      16 |   212860 |   149252 |    85132      3 |     4990 |     3619
331.97/332.11	c  266s |      16 |   213720 |   149952 |    85132      3 |     4990 |     3619
334.07/334.26	c  269s |      16 |   214549 |   150652 |    85132      3 |     4990 |     3619
336.37/336.53	c  271s |      16 |   215417 |   151352 |    85132      3 |     4990 |     3619
338.57/338.76	c  273s |      16 |   216437 |   152152 |    85132      3 |     4990 |     3619
342.96/343.13	c  277s |      16 |   217474 |   152852 |    85132      3 |     4990 |     3619
345.06/345.27	c  280s |      16 |   218923 |   153752 |    85132      3 |     4990 |     3619
347.36/347.53	c  282s |      16 |   220463 |   154752 |    85132      3 |     4990 |     3619
349.46/349.61	c  284s |      16 |   221781 |   155652 |    85132      3 |     4990 |     3619
353.35/353.58	c  288s |      16 |   222415 |   156152 |    85132      4 |     4990 |     3619
355.76/355.95	c  290s |      16 |   222672 |   156352 |    85132      4 |     4990 |     3619
357.86/358.06	c  292s |      16 |   223899 |   157252 |    85132      4 |     4990 |     3619
360.35/360.59	c  295s |      16 |   224501 |   157652 |    85132      4 |     4990 |     3619
362.45/362.65	c  297s |      16 |   226679 |   159052 |    85132      4 |     4990 |     3619
364.85/365.05	c  299s |      16 |   227684 |   159652 |    85132      4 |     4990 |     3619
366.95/367.11	c  301s |      16 |   229740 |   161252 |    85132      4 |     4990 |     3619
369.05/369.20	c  304s |      16 |   231898 |   162852 |    85132      4 |     4990 |     3619
371.05/371.21	c  306s |      16 |   233997 |   164352 |    85132      4 |     4990 |     3619
373.15/373.32	c  308s |      16 |   236249 |   166052 |    85132      4 |     4990 |     3619
375.15/375.39	c  310s |      16 |   238208 |   167652 |    85132      4 |     4990 |     3619
377.25/377.41	c  312s |      16 |   240090 |   169052 |    85132      4 |     4990 |     3619
382.85/383.06	c  317s |      16 |   241474 |   170152 |    85132      4 |     4990 |     3619
384.86/385.08	c  319s |      16 |   243087 |   171252 |    85132      4 |     4990 |     3619
386.95/387.15	c  322s |      16 |   244759 |   172452 |    85132      4 |     4990 |     3619
389.05/389.29	c  324s |      16 |   246443 |   173652 |    85132      4 |     4990 |     3619
391.24/391.42	c  326s |      16 |   247826 |   174752 |    85132      4 |     4990 |     3619
393.24/393.42	c  328s |      16 |   249206 |   175752 |    85132      4 |     4990 |     3619
395.34/395.58	c  330s |      16 |   250731 |   176952 |    85132      4 |     4990 |     3619
397.54/397.72	c  332s |      16 |   252149 |   178052 |    85132      4 |     4990 |     3619
399.64/399.88	c  334s |      16 |   253638 |   179152 |    85132      4 |     4990 |     3619
401.74/401.91	c  336s |      16 |   255273 |   180452 |    85132      4 |     4990 |     3619
403.84/404.02	c  338s |      16 |   256912 |   181652 |    85132      4 |     4990 |     3619
407.83/408.00	c  342s |      16 |   257591 |   182152 |    85132      4 |     4990 |     3619
409.83/410.02	c  344s |      16 |   259494 |   183452 |    85132      4 |     4990 |     3619
411.83/412.05	c  346s |      16 |   260802 |   184452 |    85132      4 |     4990 |     3619
413.93/414.11	c  348s |      16 |   262013 |   185352 |    85132      4 |     4990 |     3619
416.03/416.22	c  351s |      16 |   263313 |   186252 |    85132      4 |     4990 |     3619
420.53/420.74	c  355s |      16 |   264556 |   187152 |    85132      4 |     4990 |     3619
422.73/422.92	c  357s |      16 |   265811 |   188052 |    85132      4 |     4990 |     3619
424.73/424.99	c  359s |      16 |   266972 |   188952 |    85132      4 |     4990 |     3619
426.83/427.05	c  361s |      16 |   268165 |   189852 |    85132      4 |     4990 |     3619
428.94/429.19	c  364s |      16 |   269769 |   191152 |    85132      4 |     4990 |     3619
430.93/431.20	c  366s |      16 |   271547 |   192552 |    85132      4 |     4990 |     3619
433.13/433.34	c  368s |      16 |   272910 |   193552 |    85132      4 |     4990 |     3619
435.23/435.41	c  370s |      16 |   274585 |   194752 |    85132      4 |     4990 |     3619
437.33/437.51	c  372s |      16 |   275924 |   195752 |    85132      4 |     4990 |     3619
439.43/439.63	c  374s |      16 |   277147 |   196652 |    85132      4 |     4990 |     3619
441.22/441.41	c  376s |      17 |   278093 |   197432 |    85132      4 |     4990 |     3619
443.32/443.53	c  378s |      17 |   279098 |   198132 |    85132      4 |     4990 |     3619
445.43/445.62	c  380s |      17 |   280490 |   199032 |    85132      4 |     4990 |     3619
447.53/447.71	c  382s |      17 |   281844 |   200032 |    85132      4 |     4990 |     3619
449.62/449.87	c  384s |      17 |   283307 |   201132 |    85132      4 |     4990 |     3619
453.71/453.94	c  388s |      17 |   283708 |   201432 |    85132      5 |     4990 |     3619
455.82/456.03	c  390s |      17 |   285134 |   202332 |    85132      5 |     4990 |     3619
463.72/463.97	c  398s |      17 |   287879 |   204032 |    85132      5 |     4990 |     3619
465.82/466.01	c  400s |      17 |   290294 |   205532 |    85132      5 |     4990 |     3619
467.91/468.13	c  402s |      17 |   291473 |   206332 |    85132      5 |     4990 |     3619
470.01/470.25	c  405s |      17 |   293614 |   207632 |    85132      5 |     4990 |     3619
475.11/475.36	c  410s |      17 |   294226 |   208032 |    85132      5 |     4990 |     3619
477.21/477.41	c  412s |      17 |   295752 |   209132 |    85132      5 |     4990 |     3619
479.30/479.52	c  414s |      17 |   297602 |   210432 |    85132      5 |     4990 |     3619
481.30/481.57	c  416s |      17 |   299549 |   211732 |    85132      5 |     4990 |     3619
483.50/483.75	c  418s |      17 |   301351 |   212932 |    85132      5 |     4990 |     3619
485.60/485.89	c  420s |      17 |   302835 |   214032 |    85132      5 |     4990 |     3619
488.10/488.38	c  423s |      17 |   303066 |   214232 |    85132      5 |     4990 |     3619
490.41/490.64	c  425s |      17 |   304533 |   215432 |    85132      5 |     4990 |     3619
492.50/492.72	c  427s |      17 |   306202 |   216632 |    85132      5 |     4990 |     3619
494.50/494.76	c  429s |      17 |   307933 |   217832 |    85132      5 |     4990 |     3619
496.50/496.76	c  431s |      17 |   309045 |   218632 |    85132      5 |     4990 |     3619
498.60/498.80	c  433s |      17 |   310410 |   219732 |    85132      5 |     4990 |     3619
500.59/500.82	c  435s |      17 |   312085 |   220932 |    85132      5 |     4990 |     3619
502.60/502.85	c  437s |      17 |   313710 |   222032 |    85132      5 |     4990 |     3619
504.59/504.87	c  439s |      17 |   315148 |   223132 |    85132      5 |     4990 |     3619
506.69/506.99	c  441s |      17 |   317293 |   224532 |    85132      5 |     4990 |     3619
508.89/509.13	c  443s |      17 |   318768 |   225632 |    85132      5 |     4990 |     3619
510.99/511.25	c  446s |      17 |   320393 |   226932 |    85132      5 |     4990 |     3619
512.99/513.28	c  448s |      17 |   321889 |   228032 |    85132      5 |     4990 |     3619
515.18/515.40	c  450s |      17 |   323414 |   229232 |    85132      5 |     4990 |     3619
517.18/517.49	c  452s |      17 |   325055 |   230432 |    85132      5 |     4990 |     3619
519.38/519.68	c  454s |      17 |   326787 |   231632 |    85132      5 |     4990 |     3619
521.38/521.68	c  456s |      17 |   328751 |   232932 |    85132      5 |     4990 |     3619
523.38/523.68	c  458s |      17 |   330231 |   234032 |    85132      5 |     4990 |     3619
525.48/525.74	c  460s |      17 |   331658 |   235132 |    93646      5 |     4990 |     3619
527.48/527.78	c  462s |      17 |   332500 |   235832 |    93646      5 |     4990 |     3619
529.68/529.90	c  464s |      17 |   333620 |   236732 |    93646      5 |     4990 |     3619
531.88/532.13	c  466s |      17 |   334836 |   237732 |    93646      5 |     4990 |     3619
533.97/534.23	c  469s |      17 |   335957 |   238632 |    93646      5 |     4990 |     3619
536.17/536.41	c  471s |      17 |   336834 |   239332 |    93646      5 |     4990 |     3619
538.17/538.49	c  473s |      17 |   338063 |   240232 |    93646      5 |     4990 |     3619
540.27/540.56	c  475s |      17 |   339196 |   241032 |    93646      5 |     4990 |     3619
542.27/542.59	c  477s |      17 |   340349 |   241932 |    93646      5 |     4990 |     3619
544.38/544.62	c  479s |      17 |   341447 |   242832 |    93646      5 |     4990 |     3619
546.48/546.71	c  481s |      17 |   342639 |   243732 |    93646      5 |     4990 |     3619
548.68/548.94	c  483s |      17 |   343725 |   244632 |    93646      5 |     4990 |     3619
550.67/550.95	c  485s |      17 |   344664 |   245432 |    93646      5 |     4990 |     3619
552.67/552.98	c  487s |      17 |   345800 |   246332 |    93646      5 |     4990 |     3619
554.97/555.21	c  490s |      17 |   346797 |   247132 |    93646      5 |     4990 |     3619
557.17/557.41	c  492s |      17 |   347848 |   247932 |    93646      5 |     4990 |     3619
559.17/559.49	c  494s |      17 |   348953 |   248732 |    93646      5 |     4990 |     3619
561.36/561.67	c  496s |      17 |   349994 |   249532 |    93646      5 |     4990 |     3619
563.36/563.68	c  498s |      17 |   350714 |   250132 |    93646      5 |     4990 |     3619
565.56/565.86	c  500s |      17 |   351568 |   250832 |    93646      5 |     4990 |     3619
567.76/568.02	c  502s |      17 |   352711 |   251732 |    93646      5 |     4990 |     3619
570.06/570.35	c  505s |      17 |   353943 |   252632 |    93646      5 |     4991 |     3625
572.16/572.45	c  507s |      17 |   355106 |   253532 |    93646      5 |     4991 |     3625
574.15/574.48	c  509s |      17 |   356380 |   254532 |    93646      5 |     4991 |     3625
576.35/576.69	c  511s |      17 |   357241 |   255232 |    93646      6 |     4991 |     3625
578.46/578.71	c  513s |      17 |   357481 |   255432 |    93646      6 |     4991 |     3625
590.35/590.64	c  525s |      17 |   359028 |   256632 |    93646      6 |     4991 |     3625
592.45/592.72	c  527s |      17 |   360178 |   257432 |    93646      6 |     4991 |     3625
594.45/594.77	c  529s |      17 |   361962 |   258832 |    93646      6 |     4991 |     3625
596.55/596.83	c  531s |      17 |   364232 |   260532 |    93646      6 |     4991 |     3625
598.55/598.89	c  533s |      17 |   366163 |   261932 |    93646      6 |     4991 |     3625
600.64/600.95	c  535s |      17 |   368162 |   263332 |    93646      6 |     4991 |     3625
602.74/603.03	c  537s |      17 |   370135 |   264732 |    93646      6 |     4991 |     3625
604.75/605.05	c  539s |      17 |   371987 |   266032 |    93646      6 |     4991 |     3625
606.84/607.14	c  541s |      17 |   374212 |   267632 |    93646      6 |     4991 |     3625
608.94/609.26	c  544s |      17 |   375976 |   269032 |    93646      6 |     4991 |     3625
618.94/619.22	c  554s |      17 |   377516 |   270332 |    93646      6 |     4991 |     3625
621.04/621.34	c  556s |      17 |   378832 |   271332 |    93646      6 |     4991 |     3625
623.14/623.48	c  558s |      17 |   380306 |   272432 |    93646      6 |     4991 |     3625
625.34/625.66	c  560s |      17 |   381693 |   273532 |    93646      6 |     4991 |     3625
627.44/627.75	c  562s |      17 |   382787 |   274432 |    93646      6 |     4991 |     3625
629.54/629.88	c  564s |      17 |   384142 |   275532 |    93646      6 |     4991 |     3625
631.74/632.06	c  566s |      17 |   385542 |   276632 |    93646      6 |     4991 |     3625
633.73/634.08	c  568s |      17 |   387042 |   277732 |    93646      6 |     4991 |     3625
635.83/636.14	c  570s |      17 |   388436 |   278832 |    93646      6 |     4991 |     3625
637.93/638.22	c  573s |      17 |   389394 |   279632 |    93646      6 |     4991 |     3625
640.04/640.35	c  575s |      17 |   390479 |   280532 |    93646      6 |     4991 |     3625
642.14/642.44	c  577s |      17 |   391756 |   281532 |    93646      6 |     4991 |     3625
644.34/644.62	c  579s |      17 |   393104 |   282632 |    93646      6 |     4991 |     3625
646.54/646.81	c  581s |      17 |   394566 |   283732 |    93646      6 |     4991 |     3625
648.74/649.08	c  583s |      17 |   395852 |   284832 |    93646      6 |     4991 |     3625
650.93/651.24	c  586s |      17 |   397272 |   285932 |    93646      6 |     4991 |     3625
653.13/653.47	c  588s |      17 |   398451 |   286932 |    93646      6 |     4991 |     3625
655.33/655.66	c  590s |      17 |   399447 |   287732 |    93646      6 |     4991 |     3625
657.43/657.71	c  592s |      17 |   400779 |   288832 |    93646      6 |     4991 |     3625
659.52/659.81	c  594s |      17 |   402149 |   289932 |    93646      6 |     4991 |     3625
661.62/661.93	c  596s |      17 |   403395 |   290832 |    93646      6 |     4991 |     3625
663.72/664.04	c  598s |      17 |   404966 |   292032 |    93646      6 |     4991 |     3625
665.82/666.11	c  600s |      17 |   406575 |   293332 |    93646      6 |     4991 |     3625
667.92/668.24	c  603s |      17 |   408265 |   294632 |    93646      6 |     4991 |     3625
669.92/670.24	c  605s |      17 |   409747 |   295632 |    93646      6 |     4991 |     3625
670.91/671.24	c  606s |      18 |   410555 |   296252 |    93646      6 |     4991 |     3625
673.02/673.30	c  608s |      18 |   411301 |   296852 |    93646      6 |     4991 |     3625
675.12/675.43	c  610s |      18 |   412135 |   297552 |    93646      6 |     4991 |     3625
677.32/677.61	c  612s |      18 |   412965 |   298252 |    93646      6 |     4991 |     3625
679.31/679.61	c  614s |      18 |   413838 |   298952 |    93646      6 |     4991 |     3625
681.30/681.65	c  616s |      18 |   415305 |   300052 |    93646      6 |     4991 |     3625
683.40/683.70	c  618s |      18 |   416702 |   301152 |    93646      6 |     4991 |     3625
685.40/685.77	c  620s |      18 |   417967 |   302152 |    93646      6 |     4991 |     3625
687.50/687.87	c  622s |      18 |   419532 |   303352 |    93646      6 |     4991 |     3625
689.60/689.94	c  624s |      18 |   420506 |   304152 |    93646      6 |     4991 |     3625
691.90/692.20	c  627s |      18 |   421135 |   304652 |    93646      7 |     4991 |     3625
694.30/694.61	c  629s |      18 |   421447 |   304852 |    93646      7 |     4991 |     3625
702.61/702.93	c  637s |      18 |   422494 |   305652 |    93646      7 |     4991 |     3625
704.70/705.06	c  639s |      18 |   422916 |   305952 |    93646      7 |     4991 |     3625
706.69/707.08	c  641s |      18 |   424569 |   307152 |    93646      7 |     4991 |     3625
708.79/709.11	c  643s |      18 |   426581 |   308652 |    93646      7 |     4991 |     3625
710.89/711.25	c  646s |      18 |   428583 |   310152 |    93646      7 |     4991 |     3625
712.99/713.37	c  648s |      18 |   429885 |   311152 |    93646      7 |     4991 |     3625
715.19/715.50	c  650s |      18 |   431699 |   312552 |    93646      7 |     4991 |     3625
717.29/717.67	c  652s |      18 |   433580 |   313952 |    93646      7 |     4991 |     3625
734.69/735.00	c  669s |      18 |   434397 |   314552 |    93646      7 |     4991 |     3625
736.69/737.02	c  671s |      18 |   435743 |   315652 |    93646      7 |     4991 |     3625
738.89/739.22	c  674s |      18 |   437520 |   316952 |    93646      7 |     4991 |     3625
740.89/741.27	c  676s |      18 |   439221 |   318252 |    93646      7 |     4991 |     3625
756.69/757.05	c  691s |      18 |   440154 |   318852 |    93646      7 |     4991 |     3625
758.80/759.19	c  694s |      18 |   442202 |   320252 |    93646      7 |     4991 |     3625
761.00/761.37	c  696s |      18 |   443904 |   321552 |    93646      7 |     4991 |     3625
763.10/763.46	c  698s |      18 |   445627 |   322752 |    93646      7 |     4991 |     3625
765.19/765.57	c  700s |      18 |   447713 |   324052 |    93646      7 |     4991 |     3625
767.29/767.66	c  702s |      18 |   449423 |   325252 |    93646      7 |     4991 |     3625
769.39/769.79	c  704s |      18 |   451290 |   326552 |    93646      7 |     4991 |     3625
771.49/771.84	c  706s |      18 |   452988 |   327752 |    93646      7 |     4991 |     3625
775.48/775.86	c  710s |      18 |   453658 |   328252 |    93646      7 |     4991 |     3625
777.68/778.00	c  712s |      18 |   455329 |   329252 |    93646      7 |     4991 |     3625
779.69/780.07	c  714s |      18 |   456895 |   330352 |    93646      7 |     4991 |     3625
781.89/782.23	c  717s |      18 |   458433 |   331452 |    93646      7 |     4991 |     3625
783.88/784.27	c  719s |      18 |   459818 |   332452 |    93646      7 |     4991 |     3625
785.98/786.36	c  721s |      18 |   461041 |   333452 |    93646      7 |     4991 |     3625
788.18/788.56	c  723s |      18 |   462753 |   334652 |    93646      7 |     4991 |     3625
790.38/790.72	c  725s |      18 |   464437 |   335752 |    93646      7 |     4991 |     3625
792.48/792.80	c  727s |      18 |   466154 |   336852 |    93646      7 |     4991 |     3625
794.58/794.92	c  729s |      18 |   468044 |   337952 |    93646      7 |     4991 |     3625
796.58/796.92	c  731s |      18 |   469417 |   338952 |    93646      7 |     4991 |     3625
798.78/799.13	c  733s |      18 |   470936 |   339952 |    93646      7 |     4991 |     3625
800.78/801.16	c  736s |      18 |   472127 |   340852 |    93646      7 |     4991 |     3625
802.88/803.25	c  738s |      18 |   473788 |   342052 |    93646      7 |     4991 |     3625
804.98/805.33	c  740s |      18 |   475177 |   343152 |    93646      7 |     4991 |     3625
807.08/807.47	c  742s |      18 |   476922 |   344452 |    93646      7 |     4991 |     3625
809.18/809.52	c  744s |      18 |   478197 |   345452 |    93646      7 |     4991 |     3625
811.27/811.61	c  746s |      18 |   479642 |   346552 |    93646      7 |     4991 |     3625
813.37/813.70	c  748s |      18 |   481037 |   347652 |    93646      7 |     4991 |     3625
815.37/815.75	c  750s |      18 |   482430 |   348752 |    93646      7 |     4991 |     3625
817.47/817.83	c  752s |      18 |   483864 |   349852 |    93646      7 |     4991 |     3625
819.67/820.04	c  754s |      18 |   485291 |   350952 |    93646      7 |     4991 |     3625
821.77/822.17	c  757s |      18 |   486197 |   351652 |    93646      7 |     4991 |     3625
823.87/824.25	c  759s |      18 |   487265 |   352452 |    93646      7 |     4991 |     3625
826.07/826.48	c  761s |      18 |   488343 |   353252 |    93646      7 |     4991 |     3625
828.27/828.67	c  763s |      18 |   489455 |   354152 |    93646      7 |     4991 |     3625
833.07/833.47	c  768s |      18 |   489582 |   354252 |    93646      8 |     4991 |     3625
836.88/837.25	c  772s |      18 |   490002 |   354552 |    93646      8 |     4991 |     3625
838.87/839.27	c  774s |      18 |   490630 |   355052 |    93646      8 |     4991 |     3625
840.97/841.30	c  776s |      18 |   492548 |   356552 |    93646      8 |     4991 |     3625
850.08/850.46	c  785s |      18 |   494600 |   358152 |    93646      8 |     4991 |     3625
861.57/861.96	c  796s |      18 |   495748 |   358952 |    93646      8 |     4991 |     3625
866.37/866.75	c  801s |      18 |   497928 |   360652 |    93646      8 |     4991 |     3625
868.47/868.85	c  803s |      18 |   499356 |   361752 |    93646      8 |     4991 |     3625
870.57/871.00	c  805s |      18 |   500855 |   362852 |    93646      8 |     4991 |     3625
872.87/873.21	c  808s |      18 |   502382 |   363952 |    93646      8 |     4991 |     3625
874.87/875.29	c  810s |      18 |   503943 |   365152 |    93646      8 |     4991 |     3625
877.07/877.43	c  812s |      18 |   505666 |   366452 |    93646      8 |     4991 |     3625
879.27/879.60	c  814s |      18 |   507673 |   367852 |    93646      8 |     4991 |     3625
881.27/881.65	c  816s |      18 |   509642 |   369352 |    93646      8 |     4991 |     3625
883.36/883.72	c  818s |      18 |   511649 |   370852 |    93646      8 |     4991 |     3625
885.36/885.76	c  820s |      18 |   513257 |   372052 |    93646      8 |     4991 |     3625
887.47/887.85	c  822s |      18 |   514900 |   373252 |    93646      8 |     4991 |     3625
889.67/890.05	c  824s |      18 |   516498 |   374452 |    93646      8 |     4991 |     3625
891.77/892.13	c  826s |      18 |   518153 |   375552 |    93646      8 |     4991 |     3625
893.97/894.32	c  829s |      18 |   519787 |   376652 |    93646      8 |     4991 |     3625
896.06/896.42	c  831s |      18 |   521395 |   377752 |    93646      8 |     4991 |     3625
898.06/898.42	c  833s |      18 |   522593 |   378652 |    93646      8 |     4991 |     3625
900.06/900.46	c  835s |      18 |   523790 |   379552 |    93646      8 |     4991 |     3625
902.26/902.62	c  837s |      18 |   525081 |   380552 |    93646      8 |     4991 |     3625
904.26/904.66	c  839s |      18 |   526541 |   381652 |    93646      8 |     4991 |     3625
906.36/906.74	c  841s |      18 |   527941 |   382752 |   103011      8 |     4991 |     3625
908.46/908.87	c  843s |      18 |   529313 |   383852 |   103011      8 |     4991 |     3625
910.57/911.00	c  845s |      18 |   530354 |   384652 |   103011      8 |     4991 |     3625
912.77/913.12	c  847s |      18 |   531653 |   385652 |   103011      8 |     4991 |     3625
914.87/915.29	c  850s |      18 |   532646 |   386452 |   103011      8 |     4991 |     3625
916.96/917.33	c  852s |      18 |   533653 |   387252 |   103011      8 |     4991 |     3625
919.06/919.48	c  854s |      18 |   534600 |   388052 |   103011      8 |     4991 |     3625
921.36/921.73	c  856s |      18 |   535730 |   388952 |   103011      8 |     4991 |     3625
923.46/923.80	c  858s |      18 |   537025 |   390052 |   103011      8 |     4991 |     3625
925.56/925.96	c  860s |      18 |   538324 |   391152 |   103011      8 |     4991 |     3625
927.66/928.06	c  862s |      18 |   539508 |   392152 |   103011      8 |     4991 |     3625
931.25/931.64	c  866s |      18 |   540012 |   392552 |   103011      8 |     4991 |     3625
933.35/933.70	c  868s |      18 |   541275 |   393452 |   103011      8 |     4991 |     3625
935.45/935.85	c  870s |      18 |   542555 |   394452 |   103011      8 |     4991 |     3625
937.85/938.25	c  873s |      18 |   543912 |   395452 |   103011      8 |     4991 |     3625
940.05/940.41	c  875s |      18 |   544958 |   396252 |   103011      8 |     4991 |     3625
942.15/942.55	c  877s |      18 |   546045 |   397052 |   103011      8 |     4991 |     3625
944.35/944.73	c  879s |      18 |   547345 |   397952 |   103011      8 |     4991 |     3625
946.45/946.87	c  881s |      18 |   548427 |   398752 |   103011      8 |     4991 |     3625
948.55/948.96	c  883s |      18 |   549368 |   399452 |   103011      8 |     4991 |     3625
950.65/951.00	c  885s |      18 |   550260 |   400152 |   103011      8 |     4991 |     3625
952.65/953.06	c  887s |      18 |   551290 |   400952 |   103011      8 |     4991 |     3625
957.26/957.67	c  892s |      18 |   551971 |   401452 |   103011      8 |     4991 |     3625
959.56/959.94	c  894s |      18 |   553278 |   402352 |   103011      8 |     4991 |     3625
961.66/962.04	c  896s |      18 |   554118 |   403052 |   103011      8 |     4991 |     3625
963.85/964.25	c  899s |      18 |   555320 |   404052 |   103011      8 |     4991 |     3625
965.95/966.33	c  901s |      18 |   556349 |   404852 |   103011      8 |     4991 |     3625
968.15/968.56	c  903s |      18 |   557412 |   405652 |   103011      8 |     4991 |     3625
970.15/970.59	c  905s |      18 |   558414 |   406452 |   103011      8 |     4991 |     3625
972.35/972.78	c  907s |      18 |   559373 |   407252 |   103011      8 |     4991 |     3625
974.45/974.80	c  909s |      18 |   560483 |   408052 |   103011      8 |     4991 |     3625
976.46/976.82	c  911s |      18 |   561610 |   408852 |   103011      8 |     4991 |     3625
978.55/978.97	c  913s |      18 |   562613 |   409652 |   103011      8 |     4991 |     3625
980.65/981.06	c  915s |      18 |   563484 |   410352 |   103011      8 |     4991 |     3625
982.85/983.21	c  918s |      18 |   564309 |   411052 |   103011      8 |     4991 |     3625
985.15/985.57	c  920s |      18 |   565478 |   411952 |   103011      8 |     4991 |     3625
987.15/987.58	c  922s |      18 |   566488 |   412752 |   103011      8 |     4991 |     3625
989.45/989.82	c  924s |      18 |   566808 |   413052 |   103011      9 |     4991 |     3625
1061.54/1061.93	c  996s |      18 |   567730 |   413752 |   103011      9 |     4991 |     3625
1063.74/1064.10	c  998s |      18 |   569689 |   415152 |   103011      9 |     4991 |     3625
1065.74/1066.16	c 1001s |      18 |   571325 |   416352 |   103011      9 |     4991 |     3625
1067.94/1068.35	c 1003s |      18 |   572441 |   417252 |   103011      9 |     4991 |     3625
1069.94/1070.38	c 1005s |      18 |   574022 |   418552 |   103011      9 |     4991 |     3625
1072.14/1072.52	c 1007s |      18 |   575699 |   419952 |   103011      9 |     4991 |     3625
1074.14/1074.58	c 1009s |      18 |   577257 |   421252 |   103011      9 |     4991 |     3625
1076.13/1076.59	c 1011s |      18 |   578540 |   422352 |   103011      9 |     4991 |     3625
1086.24/1086.63	c 1021s |      18 |   579255 |   422952 |   103011      9 |     4991 |     3625
1088.23/1088.64	c 1023s |      18 |   580207 |   423652 |   103011      9 |     4991 |     3625
1090.43/1090.89	c 1025s |      18 |   581753 |   424752 |   103011      9 |     4991 |     3625
1092.63/1093.08	c 1027s |      18 |   583138 |   425752 |   103011      9 |     4991 |     3625
1094.73/1095.12	c 1029s |      18 |   584325 |   426652 |   103011      9 |     4991 |     3625
1096.73/1097.15	c 1032s |      18 |   585653 |   427652 |   103011      9 |     4991 |     3625
1098.73/1099.17	c 1034s |      18 |   586770 |   428552 |   103011      9 |     4991 |     3625
1100.93/1101.30	c 1036s |      18 |   588067 |   429552 |   103011      9 |     4991 |     3625
1102.94/1103.34	c 1038s |      18 |   589398 |   430552 |   103011      9 |     4991 |     3625
1105.03/1105.41	c 1040s |      18 |   590702 |   431552 |   103011      9 |     4991 |     3625
1107.13/1107.58	c 1042s |      18 |   592086 |   432652 |   103011      9 |     4991 |     3625
1113.13/1113.52	c 1048s |      18 |   592385 |   432852 |   103011      9 |     4991 |     3625
1115.33/1115.70	c 1050s |      18 |   593536 |   433652 |   103011      9 |     4991 |     3625
1117.34/1117.73	c 1052s |      18 |   594560 |   434452 |   103011      9 |     4991 |     3625
1119.54/1119.91	c 1054s |      18 |   595793 |   435352 |   103011      9 |     4991 |     3625
1129.02/1129.48	c 1064s |      18 |   597106 |   436252 |   103011      9 |     4991 |     3625
1131.22/1131.62	c 1066s |      18 |   598239 |   437152 |   103011      9 |     4991 |     3625
1133.22/1133.65	c 1068s |      18 |   599345 |   438052 |   103011      9 |     4991 |     3625
1135.22/1135.68	c 1070s |      18 |   600566 |   438952 |   103011      9 |     4991 |     3625
1137.32/1137.79	c 1072s |      18 |   602145 |   440052 |   103011      9 |     4991 |     3625
1139.42/1139.81	c 1074s |      18 |   603338 |   440852 |   103011      9 |     4991 |     3625
1141.53/1141.99	c 1076s |      18 |   604263 |   441552 |   103011      9 |     4991 |     3625
1143.82/1144.23	c 1079s |      18 |   605139 |   442252 |   103011      9 |     4991 |     3625
1145.93/1146.39	c 1081s |      18 |   606073 |   443052 |   103011      9 |     4991 |     3625
1148.13/1148.59	c 1083s |      18 |   607427 |   444052 |   103011      9 |     4991 |     3625
1148.92/1149.37	c 1084s |      19 |   607970 |   444482 |   103011      9 |     4991 |     3625
1151.12/1151.59	c 1086s |      19 |   608962 |   445282 |   103011      9 |     4991 |     3625
1153.42/1153.86	c 1088s |      19 |   610128 |   446182 |   103011      9 |     4991 |     3625
1155.52/1155.94	c 1090s |      19 |   611335 |   447082 |   103011      9 |     4991 |     3625
1157.62/1158.02	c 1092s |      19 |   612415 |   447882 |   103011      9 |     4991 |     3625
1159.62/1160.03	c 1094s |      19 |   613489 |   448682 |   103011      9 |     4991 |     3625
1161.62/1162.03	c 1096s |      19 |   614224 |   449282 |   103011      9 |     4991 |     3625
1163.72/1164.13	c 1098s |      19 |   615073 |   449982 |   103011      9 |     4991 |     3625
1165.83/1166.21	c 1101s |      19 |   616029 |   450782 |   103011      9 |     4991 |     3625
1168.03/1168.42	c 1103s |      19 |   617243 |   451682 |   103011      9 |     4991 |     3625
1170.03/1170.47	c 1105s |      19 |   618253 |   452482 |   103011      9 |     4991 |     3625
1172.13/1172.55	c 1107s |      19 |   619259 |   453282 |   103011      9 |     4991 |     3625
1174.13/1174.59	c 1109s |      19 |   619977 |   453882 |   103011      9 |     4991 |     3625
1176.33/1176.70	c 1111s |      19 |   620851 |   454582 |   103011      9 |     4991 |     3625
1178.33/1178.77	c 1113s |      19 |   621842 |   455382 |   103011      9 |     4991 |     3625
1180.32/1180.77	c 1115s |      19 |   622770 |   456182 |   103011      9 |     4991 |     3625
1182.42/1182.85	c 1117s |      19 |   623520 |   456782 |   103011      9 |     4991 |     3625
1184.43/1184.87	c 1119s |      19 |   624676 |   457582 |   103011      9 |     4991 |     3625
1186.63/1187.08	c 1121s |      19 |   625798 |   458382 |   103011      9 |     4991 |     3625
1188.83/1189.23	c 1124s |      19 |   627146 |   459382 |   103011      9 |     4991 |     3625
1190.93/1191.35	c 1126s |      19 |   628476 |   460382 |   103011      9 |     4991 |     3625
1193.02/1193.45	c 1128s |      19 |   629422 |   461082 |   103011      9 |     4991 |     3625
1195.12/1195.60	c 1130s |      19 |   630623 |   461982 |   103011      9 |     4991 |     3625
1197.53/1197.94	c 1132s |      19 |   631708 |   462782 |   103011      9 |     4991 |     3625
1199.62/1200.03	c 1134s |      19 |   632614 |   463482 |   103011      9 |     4991 |     3625
1201.82/1202.26	c 1137s |      19 |   633555 |   464182 |   103011      9 |     4991 |     3625
1204.02/1204.44	c 1139s |      19 |   634316 |   464782 |   103011      9 |     4991 |     3625
1206.22/1206.67	c 1141s |      19 |   635638 |   465682 |   103011      9 |     4991 |     3625
1208.42/1208.85	c 1143s |      19 |   636813 |   466582 |   103011      9 |     4991 |     3625
1211.42/1211.82	c 1146s |      19 |   637507 |   467082 |   103011     10 |     4991 |     3625
1214.62/1215.07	c 1149s |      19 |   637627 |   467182 |   103011     10 |     4991 |     3625
1223.02/1223.44	c 1158s |      19 |   637784 |   467282 |   103011     10 |     4991 |     3625
1225.12/1225.59	c 1160s |      19 |   638754 |   467982 |   103011     10 |     4991 |     3625
1227.22/1227.69	c 1162s |      19 |   639858 |   468782 |   103011     10 |     4991 |     3625
1229.31/1229.75	c 1164s |      19 |   641730 |   470182 |   103011     10 |     4991 |     3625
1231.41/1231.84	c 1166s |      19 |   643427 |   471482 |   103011     10 |     4991 |     3625
1233.51/1233.92	c 1168s |      19 |   645295 |   472882 |   103011     10 |     4991 |     3625
1238.71/1239.19	c 1174s |      19 |   647141 |   474182 |   103011     10 |     4991 |     3625
1241.52/1241.95	c 1176s |      19 |   648879 |   475382 |   103011     10 |     4991 |     3625
1243.72/1244.11	c 1178s |      19 |   650240 |   476382 |   103011     10 |     4991 |     3625
1246.21/1246.60	c 1181s |      19 |   651051 |   476982 |   103011     10 |     4991 |     3625
1248.22/1248.68	c 1183s |      19 |   652711 |   478282 |   103011     10 |     4991 |     3625
1252.10/1252.51	c 1187s |      19 |   653477 |   478882 |   103011     10 |     4991 |     3625
1254.20/1254.70	c 1189s |      19 |   655066 |   480182 |   103011     10 |     4991 |     3625
1256.40/1256.82	c 1191s |      19 |   656733 |   481482 |   103011     10 |     4991 |     3625
1258.50/1258.98	c 1193s |      19 |   658731 |   482982 |   103011     10 |     4991 |     3625
1260.60/1261.01	c 1195s |      19 |   660363 |   484282 |   103011     10 |     4991 |     3625
1262.70/1263.12	c 1197s |      19 |   661693 |   485282 |   103011     10 |     4991 |     3625
1264.71/1265.15	c 1200s |      19 |   662774 |   486182 |   103011     10 |     4991 |     3625
1266.70/1267.17	c 1202s |      19 |   664125 |   487282 |   103011     10 |     4991 |     3625
1268.70/1269.19	c 1204s |      19 |   665199 |   488182 |   103011     10 |     4991 |     3625
1270.90/1271.30	c 1206s |      19 |   666530 |   489282 |   103011     10 |     4991 |     3625
1273.00/1273.46	c 1208s |      19 |   668197 |   490482 |   103011     10 |     4991 |     3625
1275.20/1275.60	c 1210s |      19 |   669397 |   491482 |   103011     10 |     4991 |     3625
1277.30/1277.73	c 1212s |      19 |   670720 |   492482 |   103011     10 |     4991 |     3625
1279.40/1279.85	c 1214s |      19 |   672450 |   493782 |   103011     10 |     4991 |     3625
1281.51/1281.92	c 1216s |      19 |   673964 |   494882 |   103011     10 |     4991 |     3625
1283.61/1284.05	c 1218s |      19 |   675345 |   496082 |   103011     10 |     4991 |     3625
1285.71/1286.14	c 1220s |      19 |   676474 |   496982 |   103011     10 |     4991 |     3625
1287.82/1288.24	c 1223s |      19 |   677912 |   498082 |   103011     10 |     4991 |     3625
1289.81/1290.28	c 1225s |      19 |   679274 |   499182 |   103011     10 |     4991 |     3625
1291.91/1292.30	c 1227s |      19 |   680527 |   500182 |   103011     10 |     4991 |     3625
1294.01/1294.41	c 1229s |      19 |   682028 |   501382 |   103011     10 |     4991 |     3625
1296.21/1296.61	c 1231s |      19 |   683344 |   502482 |   103011     10 |     4991 |     3625
1298.31/1298.76	c 1233s |      19 |   684546 |   503482 |   103011     10 |     4991 |     3625
1300.51/1300.95	c 1235s |      19 |   686073 |   504682 |   103011     10 |     4991 |     3625
1302.51/1302.95	c 1237s |      19 |   686975 |   505382 |   103011     10 |     4991 |     3625
1304.60/1305.09	c 1239s |      19 |   688073 |   506182 |   103011     10 |     4991 |     3625
1306.80/1307.24	c 1242s |      19 |   689278 |   507082 |   103011     10 |     4991 |     3625
1309.10/1309.54	c 1244s |      19 |   690454 |   507982 |   103011     10 |     4991 |     3625
1311.20/1311.64	c 1246s |      19 |   691513 |   508882 |   103011     10 |     4991 |     3625
1313.40/1313.86	c 1248s |      19 |   692707 |   509882 |   103011     10 |     4991 |     3625
1315.40/1315.89	c 1250s |      19 |   693711 |   510682 |   103011     10 |     4991 |     3625
1317.41/1317.89	c 1252s |      19 |   694898 |   511582 |   103011     10 |     4991 |     3625
1319.61/1320.04	c 1254s |      19 |   696336 |   512782 |   103011     10 |     4991 |     3625
1321.81/1322.26	c 1257s |      19 |   697272 |   513582 |   103011     10 |     4991 |     3625
1324.11/1324.54	c 1259s |      19 |   698262 |   514382 |   103011     10 |     4991 |     3625
1326.40/1326.84	c 1261s |      19 |   699379 |   515282 |   103011     10 |     4991 |     3625
1328.51/1328.92	c 1263s |      19 |   700327 |   516082 |   103011     10 |     4991 |     3625
1330.50/1330.97	c 1265s |      19 |   701490 |   516982 |   103011     10 |     4991 |     3625
1332.60/1333.03	c 1267s |      19 |   702367 |   517682 |   103011     10 |     4991 |     3625
1334.70/1335.16	c 1270s |      19 |   703421 |   518482 |   103011     10 |     4991 |     3625
1337.00/1337.44	c 1272s |      19 |   704555 |   519382 |   103011     10 |     4991 |     3625
1339.00/1339.46	c 1274s |      19 |   705688 |   520282 |   103011     10 |     4991 |     3625
1341.20/1341.67	c 1276s |      19 |   707187 |   521382 |   103011     10 |     4991 |     3625
1344.69/1345.15	c 1280s |      19 |   707328 |   521482 |   103011     11 |     4991 |     3625
1379.09/1379.58	c 1314s |      19 |   708067 |   521982 |   103011     11 |     4991 |     3625
1381.29/1381.71	c 1316s |      19 |   709946 |   523382 |   103011     11 |     4991 |     3625
1383.29/1383.76	c 1318s |      19 |   711770 |   524782 |   103011     11 |     4991 |     3625
1385.39/1385.89	c 1320s |      19 |   714279 |   526682 |   103011     11 |     4991 |     3625
1387.49/1387.93	c 1322s |      19 |   716315 |   528282 |   103011     11 |     4991 |     3625
1390.48/1390.97	c 1325s |      19 |   718729 |   530082 |   103011     11 |     4991 |     3625
1392.58/1393.06	c 1327s |      19 |   720004 |   531082 |   103011     11 |     4991 |     3625
1394.68/1395.12	c 1329s |      19 |   721670 |   532482 |   103011     11 |     4991 |     3625
1396.69/1397.18	c 1332s |      19 |   723526 |   533982 |   103011     11 |     4991 |     3625
1398.89/1399.34	c 1334s |      19 |   725322 |   535382 |   103011     11 |     4991 |     3625
1400.89/1401.37	c 1336s |      19 |   727032 |   536782 |   103011     11 |     4991 |     3625
1402.99/1403.48	c 1338s |      19 |   728523 |   537982 |   103011     11 |     4991 |     3625
1405.09/1405.52	c 1340s |      19 |   730134 |   539182 |   103011     11 |     4991 |     3625
1407.09/1407.57	c 1342s |      19 |   731832 |   540582 |   103011     11 |     4991 |     3625
1409.29/1409.74	c 1344s |      19 |   733495 |   541982 |   103011     11 |     4991 |     3625
1411.39/1411.82	c 1346s |      19 |   735059 |   543182 |   103011     11 |     4991 |     3625
1413.49/1413.90	c 1348s |      19 |   736713 |   544482 |   103011     11 |     4991 |     3625
1415.49/1415.94	c 1350s |      19 |   738125 |   545682 |   103011     11 |     4991 |     3625
1417.69/1418.11	c 1352s |      19 |   739689 |   547082 |   103011     11 |     4991 |     3625
1419.79/1420.20	c 1355s |      19 |   740840 |   547782 |   103011     11 |     4991 |     3625
1421.79/1422.22	c 1357s |      19 |   742159 |   548582 |   103011     11 |     4991 |     3625
1425.19/1425.61	c 1360s |      19 |   743588 |   549382 |   103011     11 |     4991 |     3625
1427.18/1427.66	c 1362s |      19 |   744948 |   550282 |   103011     11 |     4991 |     3625
1429.28/1429.79	c 1364s |      19 |   746028 |   551082 |   103011     11 |     4991 |     3625
1431.58/1432.03	c 1366s |      19 |   746980 |   551882 |   103011     11 |     4991 |     3625
1433.78/1434.21	c 1369s |      19 |   748108 |   552682 |   103011     11 |     4991 |     3625
1435.88/1436.35	c 1371s |      19 |   749486 |   553682 |   103011     11 |     4991 |     3625
1437.98/1438.48	c 1373s |      19 |   750582 |   554582 |   103011     11 |     4991 |     3625
1440.08/1440.53	c 1375s |      19 |   751581 |   555382 |   103011     11 |     4991 |     3625
1442.18/1442.69	c 1377s |      19 |   752646 |   556282 |   103011     11 |     4991 |     3625
1444.28/1444.76	c 1379s |      19 |   753876 |   557082 |   103011     11 |     4991 |     3625
1446.28/1446.78	c 1381s |      19 |   755276 |   557982 |   103011     11 |     4991 |     3625
1448.39/1448.81	c 1383s |      19 |   756370 |   558782 |   103011     11 |     4991 |     3625
1450.59/1451.06	c 1385s |      19 |   757956 |   559982 |   103011     11 |     4991 |     3625
1452.79/1453.28	c 1388s |      19 |   759348 |   560982 |   103011     11 |     4991 |     3625
1454.88/1455.39	c 1390s |      19 |   760662 |   561782 |   103011     11 |     4991 |     3625
1456.98/1457.47	c 1392s |      19 |   761576 |   562382 |   103011     11 |     4991 |     3625
1459.28/1459.75	c 1394s |      19 |   762493 |   563082 |   103011     11 |     4991 |     3625
1461.58/1462.09	c 1396s |      19 |   763299 |   563782 |   103011     11 |     4991 |     3625
1463.78/1464.28	c 1399s |      19 |   764156 |   564482 |   103011     11 |     4991 |     3625
1465.98/1466.49	c 1401s |      19 |   765238 |   565182 |   103011     11 |     4991 |     3625
1468.18/1468.67	c 1403s |      19 |   766305 |   565982 |   103011     11 |     4991 |     3625
1470.28/1470.71	c 1405s |      19 |   767545 |   566882 |   103011     11 |     4991 |     3625
1472.38/1472.85	c 1407s |      19 |   768828 |   567782 |   103011     11 |     4991 |     3625
1474.57/1475.08	c 1409s |      19 |   770032 |   568582 |   103011     11 |     4991 |     3625
1476.77/1477.22	c 1412s |      19 |   771229 |   569382 |   103011     11 |     4991 |     3625
1478.87/1479.33	c 1414s |      19 |   772201 |   570182 |   103011     11 |     4991 |     3625
1481.07/1481.58	c 1416s |      19 |   773146 |   570882 |   103011     11 |     4991 |     3625
1483.17/1483.67	c 1418s |      19 |   774229 |   571782 |   103011     11 |     4991 |     3625
1485.27/1485.77	c 1420s |      19 |   775286 |   572682 |   103011     11 |     4991 |     3625
1487.37/1487.82	c 1422s |      19 |   776559 |   573682 |   103011     11 |     4991 |     3625
1489.47/1489.93	c 1424s |      19 |   777582 |   574482 |   103011     11 |     4991 |     3625
1491.57/1492.04	c 1426s |      19 |   778618 |   575282 |   103011     11 |     4991 |     3625
1495.77/1496.26	c 1431s |      19 |   779315 |   575882 |   103011     12 |     4991 |     3625
1499.58/1500.05	c 1434s |      19 |   780510 |   576782 |   103011     12 |     4991 |     3625
1515.17/1515.69	c 1450s |      19 |   782040 |   577982 |   103011     12 |     4991 |     3625
1552.87/1553.34	c 1488s |      19 |   782289 |   578182 |   103011     12 |     4991 |     3625
1554.86/1555.35	c 1490s |      19 |   783442 |   579082 |   103011     12 |     4991 |     3625
1556.96/1557.48	c 1492s |      19 |   784837 |   580182 |   103011     12 |     4991 |     3625
1559.06/1559.52	c 1494s |      19 |   786049 |   581182 |   103011     12 |     4991 |     3625
1561.06/1561.54	c 1496s |      19 |   787092 |   581982 |   103011     12 |     4991 |     3625
1563.16/1563.67	c 1498s |      19 |   788453 |   583082 |   103011     12 |     4991 |     3625
1565.36/1565.83	c 1500s |      19 |   789919 |   584282 |   103011     12 |     4991 |     3625
1567.36/1567.88	c 1502s |      19 |   791240 |   585382 |   103011     12 |     4991 |     3625
1569.46/1569.92	c 1504s |      19 |   792822 |   586582 |   103011     12 |     4991 |     3625
1571.57/1572.04	c 1506s |      19 |   794110 |   587582 |   103011     12 |     4991 |     3625
1573.56/1574.10	c 1508s |      19 |   795369 |   588582 |   103011     12 |     4991 |     3625
1575.76/1576.25	c 1511s |      19 |   796521 |   589482 |   103011     12 |     4991 |     3625
1577.76/1578.26	c 1513s |      19 |   797490 |   590282 |   103011     12 |     4991 |     3625
1579.86/1580.31	c 1515s |      19 |   798587 |   591082 |   103011     12 |     4991 |     3625
1581.86/1582.34	c 1517s |      19 |   799896 |   592082 |   103011     12 |     4991 |     3625
1583.96/1584.41	c 1519s |      19 |   801140 |   593082 |   103011     12 |     4991 |     3625
1586.16/1586.60	c 1521s |      19 |   802397 |   594082 |   103011     12 |     4991 |     3625
1588.26/1588.78	c 1523s |      19 |   803820 |   595182 |   103011     12 |     4991 |     3625
1590.46/1590.96	c 1525s |      19 |   805318 |   596282 |   103011     12 |     4991 |     3625
1592.56/1593.03	c 1527s |      19 |   806728 |   597282 |   103011     12 |     4991 |     3625
1594.76/1595.21	c 1530s |      19 |   808026 |   598282 |   103011     12 |     4991 |     3625
1596.76/1597.28	c 1532s |      19 |   809308 |   599282 |   103011     12 |     4991 |     3625
1598.96/1599.44	c 1534s |      19 |   810713 |   600382 |   103011     12 |     4991 |     3625
1601.06/1601.58	c 1536s |      19 |   811886 |   601282 |   103011     12 |     4991 |     3625
1603.16/1603.63	c 1538s |      19 |   813027 |   602182 |   103011     12 |     4991 |     3625
1605.16/1605.65	c 1540s |      19 |   813998 |   602982 |   113313     12 |     4991 |     3625
1607.45/1607.90	c 1542s |      19 |   815167 |   603982 |   113313     12 |     4991 |     3625
1609.55/1610.03	c 1544s |      19 |   816293 |   604882 |   113313     12 |     4991 |     3625
1611.75/1612.23	c 1547s |      19 |   818034 |   606182 |   113313     12 |     4991 |     3625
1613.95/1614.40	c 1549s |      19 |   819377 |   607282 |   113313     12 |     4991 |     3625
1615.95/1616.44	c 1551s |      19 |   820599 |   608282 |   113313     12 |     4991 |     3625
1618.15/1618.60	c 1553s |      19 |   821801 |   609282 |   113313     12 |     4991 |     3625
1620.35/1620.80	c 1555s |      19 |   823356 |   610482 |   113313     12 |     4991 |     3625
1622.45/1622.95	c 1557s |      19 |   824440 |   611382 |   113313     12 |     4991 |     3625
1624.45/1624.98	c 1559s |      19 |   825935 |   612482 |   113313     12 |     4991 |     3625
1626.46/1627.00	c 1561s |      19 |   827368 |   613582 |   113313     12 |     4991 |     3625
1628.66/1629.20	c 1564s |      19 |   828533 |   614482 |   113313     12 |     4991 |     3625
1630.75/1631.26	c 1566s |      19 |   829724 |   615382 |   113313     12 |     4991 |     3625
1632.85/1633.31	c 1568s |      19 |   830788 |   616182 |   113313     12 |     4991 |     3625
1635.05/1635.53	c 1570s |      19 |   831774 |   616982 |   113313     12 |     4991 |     3625
1640.86/1641.36	c 1576s |      19 |   832086 |   617182 |   113313     12 |     4991 |     3625
1643.06/1643.53	c 1578s |      19 |   833342 |   617982 |   113313     12 |     4991 |     3625
1645.26/1645.75	c 1580s |      19 |   834422 |   618782 |   113313     12 |     4991 |     3625
1647.25/1647.76	c 1582s |      19 |   835252 |   619382 |   113313     12 |     4991 |     3625
1649.45/1649.92	c 1584s |      19 |   836409 |   620182 |   113313     12 |     4991 |     3625
1651.65/1652.10	c 1586s |      19 |   837675 |   621082 |   113313     12 |     4991 |     3625
1653.85/1654.33	c 1589s |      19 |   838777 |   621882 |   113313     12 |     4991 |     3625
1655.95/1656.46	c 1591s |      19 |   840037 |   622782 |   113313     12 |     4991 |     3625
1658.05/1658.55	c 1593s |      19 |   841395 |   623782 |   113313     12 |     4991 |     3625
1660.15/1660.62	c 1595s |      19 |   842585 |   624582 |   113313     12 |     4991 |     3625
1662.35/1662.82	c 1597s |      19 |   843602 |   625382 |   113313     12 |     4991 |     3625
1664.45/1664.92	c 1599s |      19 |   844612 |   626182 |   113313     12 |     4991 |     3625
1666.65/1667.14	c 1601s |      19 |   845622 |   626982 |   113313     12 |     4991 |     3625
1668.85/1669.31	c 1604s |      19 |   846903 |   627982 |   113313     12 |     4991 |     3625
1671.25/1671.70	c 1606s |      19 |   848197 |   628982 |   113313     12 |     4991 |     3625
1673.45/1673.94	c 1608s |      19 |   849266 |   629782 |   113313     12 |     4991 |     3625
1675.45/1675.96	c 1610s |      19 |   850208 |   630482 |   113313     12 |     4991 |     3625
1677.75/1678.22	c 1613s |      19 |   851261 |   631282 |   113313     12 |     4991 |     3625
1679.85/1680.34	c 1615s |      19 |   852377 |   632082 |   113313     12 |     4991 |     3625
1682.15/1682.61	c 1617s |      19 |   853496 |   632882 |   113313     12 |     4991 |     3625
1684.15/1684.67	c 1619s |      19 |   854556 |   633682 |   113313     12 |     4991 |     3625
1686.25/1686.73	c 1621s |      19 |   855658 |   634482 |   113313     12 |     4991 |     3625
1688.55/1689.01	c 1623s |      19 |   856623 |   635282 |   113313     12 |     4991 |     3625
1690.55/1691.02	c 1625s |      19 |   857411 |   635882 |   113313     12 |     4991 |     3625
1692.55/1693.04	c 1627s |      19 |   858501 |   636682 |   113313     12 |     4991 |     3625
1694.75/1695.25	c 1630s |      19 |   859488 |   637482 |   113313     12 |     4991 |     3625
1696.85/1697.37	c 1632s |      19 |   860547 |   638282 |   113313     12 |     4991 |     3625
1699.24/1699.79	c 1634s |      19 |   861679 |   639182 |   113313     12 |     4991 |     3625
1701.54/1702.00	c 1636s |      19 |   862413 |   639782 |   113313     12 |     4991 |     3625
1705.44/1705.96	c 1640s |      19 |   863056 |   640282 |   113313     13 |     4991 |     3625
1731.23/1731.78	c 1666s |      19 |   863445 |   640582 |   113313     13 |     4991 |     3625
1733.44/1733.92	c 1668s |      19 |   864108 |   641082 |   113313     13 |     4991 |     3625
1741.53/1742.09	c 1676s |      19 |   865893 |   642382 |   113313     13 |     4991 |     3625
1743.73/1744.25	c 1679s |      19 |   867179 |   643382 |   113313     13 |     4991 |     3625
1745.83/1746.36	c 1681s |      19 |   868646 |   644482 |   113313     13 |     4991 |     3625
1748.03/1748.53	c 1683s |      19 |   870012 |   645582 |   113313     13 |     4991 |     3625
1750.03/1750.58	c 1685s |      19 |   871336 |   646682 |   113313     13 |     4991 |     3625
1752.13/1752.69	c 1687s |      19 |   873295 |   648182 |   113313     13 |     4991 |     3625
1754.33/1754.80	c 1689s |      19 |   874886 |   649382 |   113313     13 |     4991 |     3625
1756.53/1757.05	c 1691s |      19 |   876291 |   650482 |   113313     13 |     4991 |     3625
1758.63/1759.18	c 1694s |      19 |   877534 |   651482 |   113313     13 |     4991 |     3625
1760.83/1761.32	c 1696s |      19 |   879006 |   652582 |   113313     13 |     4991 |     3625
1762.84/1763.38	c 1698s |      19 |   880439 |   653682 |   113313     13 |     4991 |     3625
1765.04/1765.50	c 1700s |      19 |   882191 |   654982 |   113313     13 |     4991 |     3625
1767.03/1767.58	c 1702s |      19 |   883914 |   656382 |   113313     13 |     4991 |     3625
1769.13/1769.64	c 1704s |      19 |   885361 |   657482 |   113313     13 |     4991 |     3625
1779.63/1780.13	c 1714s |      19 |   886287 |   658182 |   113313     13 |     4991 |     3625
1781.83/1782.30	c 1717s |      19 |   887535 |   659182 |   113313     13 |     4991 |     3625
1783.93/1784.50	c 1719s |      19 |   888810 |   660182 |   113313     13 |     4991 |     3625
1786.04/1786.52	c 1721s |      19 |   890181 |   661282 |   113313     13 |     4991 |     3625
1788.03/1788.54	c 1723s |      19 |   891688 |   662382 |   113313     13 |     4991 |     3625
1791.93/1792.47	c 1727s |      19 |   893133 |   663582 |   113313     13 |     4991 |     3625
1794.23/1794.73	c 1729s |      19 |   894378 |   664582 |   113313     13 |     4991 |     3625
1796.23/1796.79	c 1731s |      19 |   895373 |   665382 |   113313     13 |     4991 |     3625
1798.33/1798.86	c 1733s |      19 |   896295 |   666182 |   113313     13 |     4991 |     3625
1799.72/1800.28	c 1735s |      20 |   897055 |   666827 |   113313     13 |     4991 |     3625

ERROR: no interpretation found !

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4079695-1465247368/watcher-4079695-1465247368 -o /tmp/evaluation-result-4079695-1465247368/solver-4079695-1465247368 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1465219870-1859 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079695-1465247368.opb 

pid=6083
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.12 2.14 2.10 3/174 6086
/proc/meminfo: memFree=31344428/32872528 swapFree=13600/559348
[pid=6086] ppid=6083 vsize=738748 CPUtime=0 cores=1,3,5,7
/proc/6086/stat : 6086 (toysat) R 6083 6086 1842 0 -1 4202496 2755 0 0 0 0 0 0 0 20 0 4 0 106671768 756477952 3627 33554432000 4194304 16246674 140733941534736 140733941534160 13880264 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6086/statm: 185199 3638 441 2943 0 182093 0
[pid=6086/tid=6087] ppid=6083 vsize=756156 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6087/stat : 6087 (toysat) S 6083 6086 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106671768 774303744 3696 33554432000 4194304 16246674 140733941534736 140587523091696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6086/tid=6088] ppid=6083 vsize=760252 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6088/stat : 6088 (toysat) S 6083 6086 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106671768 778498048 3713 33554432000 4194304 16246674 140733941534736 140587512601840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6086/tid=6089] ppid=6083 vsize=764348 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6089/stat : 6089 (toysat) S 6083 6086 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106671768 782692352 3730 33554432000 4194304 16246674 140733941534736 140587432930480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100181 s]
/proc/loadavg: 2.12 2.14 2.10 3/174 6086
/proc/meminfo: memFree=31344428/32872528 swapFree=13600/559348
[pid=6086] ppid=6083 vsize=1221188 CPUtime=0.09 cores=1,3,5,7
/proc/6086/stat : 6086 (toysat) R 6083 6086 1842 0 -1 4202496 28123 0 0 0 5 4 0 0 20 0 4 0 106671768 1250496512 28932 33554432000 4194304 16246674 140733941534736 140733941534048 4223718 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6086/statm: 305297 28939 801 2943 0 302191 0
[pid=6086/tid=6087] ppid=6083 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6087/stat : 6087 (toysat) S 6083 6086 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106671768 1250496512 28944 33554432000 4194304 16246674 140733941534736 140587523091696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6086/tid=6088] ppid=6083 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6088/stat : 6088 (toysat) S 6083 6086 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106671768 1250496512 28950 33554432000 4194304 16246674 140733941534736 140587512601840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6086/tid=6089] ppid=6083 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6089/stat : 6089 (toysat) S 6083 6086 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106671768 1250496512 28955 33554432000 4194304 16246674 140733941534736 140587432930480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.20052 s]
/proc/loadavg: 2.12 2.14 2.10 3/174 6086
/proc/meminfo: memFree=31344428/32872528 swapFree=13600/559348
[pid=6086] ppid=6083 vsize=1314372 CPUtime=0.19 cores=1,3,5,7
/proc/6086/stat : 6086 (toysat) R 6083 6086 1842 0 -1 4202496 50713 0 0 0 12 7 0 0 20 0 4 0 106671768 1345916928 52033 33554432000 4194304 16246674 140733941534736 140733941516480 14073329 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6086/statm: 328593 52033 801 2943 0 325487 0
[pid=6086/tid=6087] ppid=6083 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6087/stat : 6087 (toysat) S 6083 6086 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106671768 1345916928 52033 33554432000 4194304 16246674 140733941534736 140587523091696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6086/tid=6088] ppid=6083 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6088/stat : 6088 (toysat) S 6083 6086 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106671768 1345916928 52033 33554432000 4194304 16246674 140733941534736 140587512601840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6086/tid=6089] ppid=6083 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6089/stat : 6089 (toysat) S 6083 6086 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106671768 1345916928 52033 33554432000 4194304 16246674 140733941534736 140587432930480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1314372

[startup+0.300438 s]
/proc/loadavg: 2.12 2.14 2.10 3/174 6086
/proc/meminfo: memFree=31344428/32872528 swapFree=13600/559348
[pid=6086] ppid=6083 vsize=1314372 CPUtime=0.29 cores=1,3,5,7
/proc/6086/stat : 6086 (toysat) R 6083 6086 1842 0 -1 4202496 60506 0 0 0 20 9 0 0 20 0 4 0 106671768 1345916928 61826 33554432000 4194304 16246674 140733941534736 140733941516480 8058592 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6086/statm: 328593 61826 801 2943 0 325487 0
[pid=6086/tid=6087] ppid=6083 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6087/stat : 6087 (toysat) S 6083 6086 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106671768 1345916928 61826 33554432000 4194304 16246674 140733941534736 140587523091696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6086/tid=6088] ppid=6083 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6088/stat : 6088 (toysat) S 6083 6086 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106671768 1345916928 61826 33554432000 4194304 16246674 140733941534736 140587512601840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6086/tid=6089] ppid=6083 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6089/stat : 6089 (toysat) S 6083 6086 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106671768 1345916928 61826 33554432000 4194304 16246674 140733941534736 140587432930480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700411 s]
/proc/loadavg: 2.12 2.14 2.10 3/174 6086
/proc/meminfo: memFree=31344428/32872528 swapFree=13600/559348
[pid=6086] ppid=6083 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/6086/stat : 6086 (toysat) R 6083 6086 1842 0 -1 4202496 70387 0 0 0 55 14 0 0 20 0 4 0 106671768 1345916928 71707 33554432000 4194304 16246674 140733941534736 140733941516480 7889646 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6086/statm: 328593 71726 801 2943 0 325487 0
[pid=6086/tid=6087] ppid=6083 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6087/stat : 6087 (toysat) S 6083 6086 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106671768 1345916928 71738 33554432000 4194304 16246674 140733941534736 140587523091696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6086/tid=6088] ppid=6083 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6088/stat : 6088 (toysat) S 6083 6086 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106671768 1345916928 71748 33554432000 4194304 16246674 140733941534736 140587512601840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6086/tid=6089] ppid=6083 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6089/stat : 6089 (toysat) S 6083 6086 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106671768 1345916928 71760 33554432000 4194304 16246674 140733941534736 140587432930480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50043 s]
/proc/loadavg: 2.19 2.15 2.10 4/178 6090
/proc/meminfo: memFree=30956960/32872528 swapFree=13600/559348
[pid=6086] ppid=6083 vsize=1326660 CPUtime=1.49 cores=1,3,5,7
/proc/6086/stat : 6086 (toysat) R 6083 6086 1842 0 -1 4202496 96232 0 0 0 125 24 0 0 20 0 4 0 106671768 1358499840 99596 33554432000 4194304 16246674 140733941534736 140733941516608 7364068 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6086/statm: 331665 99596 802 2943 0 328559 0
[pid=6086/tid=6087] ppid=6083 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6087/stat : 6087 (toysat) S 6083 6086 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106671768 1358499840 99596 33554432000 4194304 16246674 140733941534736 140587523091696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6086/tid=6088] ppid=6083 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6088/stat : 6088 (toysat) S 6083 6086 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106671768 1358499840 99596 33554432000 4194304 16246674 140733941534736 140587512601840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6086/tid=6089] ppid=6083 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6089/stat : 6089 (toysat) S 6083 6086 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106671768 1358499840 99596 33554432000 4194304 16246674 140733941534736 140587432930480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1326660

[startup+3.10039 s]
/proc/loadavg: 2.19 2.15 2.10 3/178 6090
/proc/meminfo: memFree=30832644/32872528 swapFree=13600/559348
[pid=6086] ppid=6083 vsize=1351236 CPUtime=3.09 cores=1,3,5,7
/proc/6086/stat : 6086 (toysat) R 6083 6086 1842 0 -1 4202496 215082 0 0 0 255 54 0 0 20 0 4 0 106671768 1383665664 222023 33554432000 4194304 16246674 140733941534736 140733941516608 6156545 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6086/statm: 337809 222032 838 2943 0 334703 0
[pid=6086/tid=6087] ppid=6083 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6087/stat : 6087 (toysat) S 6083 6086 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106671768 1383665664 222039 33554432000 4194304 16246674 140733941534736 140587523091696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6086/tid=6088] ppid=6083 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6088/stat : 6088 (toysat) S 6083 6086 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106671768 1383665664 222044 33554432000 4194304 16246674 140733941534736 140587512601840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6086/tid=6089] ppid=6083 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6089/stat : 6089 (toysat) S 6083 6086 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106671768 1383665664 222050 33554432000 4194304 16246674 140733941534736 140587432930480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1351236

[startup+6.30042 s]
/proc/loadavg: 2.19 2.15 2.10 3/183 6125
/proc/meminfo: memFree=29885276/32872528 swapFree=13600/559348
[pid=6086] ppid=6083 vsize=1351236 CPUtime=6.29 cores=1,3,5,7
/proc/6086/stat : 6086 (toysat) R 6083 6086 1842 0 -1 4202496 270332 0 0 0 558 71 0 0 20 0 4 0 106671768 1383665664 279828 33554432000 4194304 16246674 140733941534736 140733941516608 5661247 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6086/statm: 337809 279828 913 2943 0 334703 0
[pid=6086/tid=6087] ppid=6083 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6087/stat : 6087 (toysat) S 6083 6086 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106671768 1383665664 279828 33554432000 4194304 16246674 140733941534736 140587523091696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6086/tid=6088] ppid=6083 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6088/stat : 6088 (toysat) S 6083 6086 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106671768 1383665664 279828 33554432000 4194304 16246674 140733941534736 140587512601840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6086/tid=6089] ppid=6083 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6089/stat : 6089 (toysat) S 6083 6086 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106671768 1383665664 279828 33554432000 4194304 16246674 140733941534736 140587432930480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1351236

[startup+12.7004 s]
/proc/loadavg: 2.23 2.16 2.10 3/183 6125
/proc/meminfo: memFree=29013364/32872528 swapFree=13600/559348
[pid=6086] ppid=6083 vsize=1351236 CPUtime=12.69 cores=1,3,5,7
/proc/6086/stat : 6086 (toysat) R 6083 6086 1842 0 -1 4202496 270332 0 0 0 1198 71 0 0 20 0 4 0 106671768 1383665664 279828 33554432000 4194304 16246674 140733941534736 140733941516608 13954476 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6086/statm: 337809 279828 913 2943 0 334703 0
[pid=6086/tid=6087] ppid=6083 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6087/stat : 6087 (toysat) S 6083 6086 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106671768 1383665664 279828 33554432000 4194304 16246674 140733941534736 140587523091696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6086/tid=6088] ppid=6083 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6088/stat : 6088 (toysat) S 6083 6086 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106671768 1383665664 279828 33554432000 4194304 16246674 140733941534736 140587512601840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6086/tid=6089] ppid=6083 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6089/stat : 6089 (toysat) S 6083 6086 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106671768 1383665664 279828 33554432000 4194304 16246674 140733941534736 140587432930480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1351236

[startup+25.5005 s]
/proc/loadavg: 2.20 2.16 2.10 3/183 6125
/proc/meminfo: memFree=26592372/32872528 swapFree=13600/559348
[pid=6086] ppid=6083 vsize=1351236 CPUtime=25.48 cores=1,3,5,7
/proc/6086/stat : 6086 (toysat) R 6083 6086 1842 0 -1 4202496 270337 0 0 0 2477 71 0 0 20 0 4 0 106671768 1383665664 279833 33554432000 4194304 16246674 140733941534736 140733941516608 12477688 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6086/statm: 337809 279833 917 2943 0 334703 0
[pid=6086/tid=6087] ppid=6083 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6087/stat : 6087 (toysat) S 6083 6086 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106671768 1383665664 279833 33554432000 4194304 16246674 140733941534736 140587523091696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6086/tid=6088] ppid=6083 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6088/stat : 6088 (toysat) S 6083 6086 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106671768 1383665664 279833 33554432000 4194304 16246674 140733941534736 140587512601840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6086/tid=6089] ppid=6083 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6089/stat : 6089 (toysat) S 6083 6086 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106671768 1383665664 279833 33554432000 4194304 16246674 140733941534736 140587432930480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1351236

[startup+51.1005 s]
/proc/loadavg: 2.29 2.18 2.11 4/184 6128
/proc/meminfo: memFree=21950008/32872528 swapFree=13600/559348
[pid=6086] ppid=6083 vsize=1351236 CPUtime=51.07 cores=1,3,5,7
/proc/6086/stat : 6086 (toysat) R 6083 6086 1842 0 -1 4202496 270348 0 0 0 5036 71 0 0 20 0 4 0 106671768 1383665664 279833 33554432000 4194304 16246674 140733941534736 140733941516608 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6086/statm: 337809 279833 917 2943 0 334703 0
[pid=6086/tid=6087] ppid=6083 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6087/stat : 6087 (toysat) S 6083 6086 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106671768 1383665664 279833 33554432000 4194304 16246674 140733941534736 140587523091696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6086/tid=6088] ppid=6083 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6088/stat : 6088 (toysat) S 6083 6086 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106671768 1383665664 279833 33554432000 4194304 16246674 140733941534736 140587512601840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6086/tid=6089] ppid=6083 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6089/stat : 6089 (toysat) S 6083 6086 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106671768 1383665664 279833 33554432000 4194304 16246674 140733941534736 140587432930480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1351236

[startup+102.301 s]
/proc/loadavg: 2.18 2.16 2.10 3/183 6129
/proc/meminfo: memFree=17487064/32872528 swapFree=13600/559348
[pid=6086] ppid=6083 vsize=1351236 CPUtime=102.26 cores=1,3,5,7
/proc/6086/stat : 6086 (toysat) R 6083 6086 1842 0 -1 4202496 270361 0 0 0 10154 72 0 0 20 0 4 0 106671768 1383665664 279833 33554432000 4194304 16246674 140733941534736 140733941532544 5823254 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6086/statm: 337809 279833 917 2943 0 334703 0
[pid=6086/tid=6087] ppid=6083 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6087/stat : 6087 (toysat) S 6083 6086 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106671768 1383665664 279833 33554432000 4194304 16246674 140733941534736 140587523091696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6086/tid=6088] ppid=6083 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6088/stat : 6088 (toysat) S 6083 6086 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106671768 1383665664 279833 33554432000 4194304 16246674 140733941534736 140587512601840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6086/tid=6089] ppid=6083 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6089/stat : 6089 (toysat) S 6083 6086 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106671768 1383665664 279833 33554432000 4194304 16246674 140733941534736 140587432930480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1351236


################
# More data... #
################

/proc/6086/task/6089/stat : 6089 (toysat) S 6083 6086 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106671768 1469648896 300825 33554432000 4194304 16246674 140733941534736 140587432930480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1435204

[startup+1362.3 s]
/proc/loadavg: 2.14 2.08 2.08 3/182 6354
/proc/meminfo: memFree=29113144/32872528 swapFree=13600/559348
[pid=6086] ppid=6083 vsize=1435204 CPUtime=1361.89 cores=1,3,5,7
/proc/6086/stat : 6086 (toysat) R 6083 6086 1842 0 -1 4202496 291580 0 0 0 136079 110 0 0 20 0 4 0 106671768 1469648896 300825 33554432000 4194304 16246674 140733941534736 140733941533912 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6086/statm: 358801 300825 917 2943 0 355695 0
[pid=6086/tid=6087] ppid=6083 vsize=1435204 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6087/stat : 6087 (toysat) S 6083 6086 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106671768 1469648896 300825 33554432000 4194304 16246674 140733941534736 140587523091696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6086/tid=6088] ppid=6083 vsize=1435204 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6088/stat : 6088 (toysat) S 6083 6086 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106671768 1469648896 300825 33554432000 4194304 16246674 140733941534736 140587512601840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6086/tid=6089] ppid=6083 vsize=1435204 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6089/stat : 6089 (toysat) S 6083 6086 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106671768 1469648896 300825 33554432000 4194304 16246674 140733941534736 140587432930480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1435204

[startup+1422.3 s]
/proc/loadavg: 2.24 2.11 2.09 3/183 6356
/proc/meminfo: memFree=29111408/32872528 swapFree=13600/559348
[pid=6086] ppid=6083 vsize=1435204 CPUtime=1421.89 cores=1,3,5,7
/proc/6086/stat : 6086 (toysat) R 6083 6086 1842 0 -1 4202496 291580 0 0 0 142076 113 0 0 20 0 4 0 106671768 1469648896 300825 33554432000 4194304 16246674 140733941534736 140733941517736 5673867 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6086/statm: 358801 300825 917 2943 0 355695 0
[pid=6086/tid=6087] ppid=6083 vsize=1435204 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6087/stat : 6087 (toysat) S 6083 6086 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106671768 1469648896 300825 33554432000 4194304 16246674 140733941534736 140587523091696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6086/tid=6088] ppid=6083 vsize=1435204 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6088/stat : 6088 (toysat) S 6083 6086 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106671768 1469648896 300825 33554432000 4194304 16246674 140733941534736 140587512601840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6086/tid=6089] ppid=6083 vsize=1435204 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6089/stat : 6089 (toysat) S 6083 6086 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106671768 1469648896 300825 33554432000 4194304 16246674 140733941534736 140587432930480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1435204

[startup+1482.3 s]
/proc/loadavg: 2.17 2.12 2.09 3/183 6357
/proc/meminfo: memFree=29111552/32872528 swapFree=13600/559348
[pid=6086] ppid=6083 vsize=1435204 CPUtime=1481.87 cores=1,3,5,7
/proc/6086/stat : 6086 (toysat) R 6083 6086 1842 0 -1 4202496 291580 0 0 0 148074 113 0 0 20 0 4 0 106671768 1469648896 300825 33554432000 4194304 16246674 140733941534736 140733941516608 5822648 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6086/statm: 358801 300825 917 2943 0 355695 0
[pid=6086/tid=6087] ppid=6083 vsize=1435204 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6087/stat : 6087 (toysat) S 6083 6086 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106671768 1469648896 300825 33554432000 4194304 16246674 140733941534736 140587523091696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6086/tid=6088] ppid=6083 vsize=1435204 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6088/stat : 6088 (toysat) S 6083 6086 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106671768 1469648896 300825 33554432000 4194304 16246674 140733941534736 140587512601840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6086/tid=6089] ppid=6083 vsize=1435204 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6089/stat : 6089 (toysat) S 6083 6086 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106671768 1469648896 300825 33554432000 4194304 16246674 140733941534736 140587432930480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1435204

[startup+1542.31 s]
/proc/loadavg: 2.18 2.12 2.09 3/183 6359
/proc/meminfo: memFree=29111640/32872528 swapFree=13600/559348
[pid=6086] ppid=6083 vsize=1435204 CPUtime=1541.88 cores=1,3,5,7
/proc/6086/stat : 6086 (toysat) R 6083 6086 1842 0 -1 4202496 291580 0 0 0 154070 118 0 0 20 0 4 0 106671768 1469648896 300825 33554432000 4194304 16246674 140733941534736 140733941532608 13885029 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6086/statm: 358801 300825 917 2943 0 355695 0
[pid=6086/tid=6087] ppid=6083 vsize=1435204 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6087/stat : 6087 (toysat) S 6083 6086 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106671768 1469648896 300825 33554432000 4194304 16246674 140733941534736 140587523091696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6086/tid=6088] ppid=6083 vsize=1435204 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6088/stat : 6088 (toysat) S 6083 6086 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106671768 1469648896 300825 33554432000 4194304 16246674 140733941534736 140587512601840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6086/tid=6089] ppid=6083 vsize=1435204 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6089/stat : 6089 (toysat) S 6083 6086 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106671768 1469648896 300825 33554432000 4194304 16246674 140733941534736 140587432930480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1435204

[startup+1602.3 s]
/proc/loadavg: 2.16 2.13 2.09 3/183 6360
/proc/meminfo: memFree=29111732/32872528 swapFree=13600/559348
[pid=6086] ppid=6083 vsize=1435204 CPUtime=1601.86 cores=1,3,5,7
/proc/6086/stat : 6086 (toysat) R 6083 6086 1842 0 -1 4202496 291580 0 0 0 160067 119 0 0 20 0 4 0 106671768 1469648896 300825 33554432000 4194304 16246674 140733941534736 140733941516608 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6086/statm: 358801 300825 917 2943 0 355695 0
[pid=6086/tid=6087] ppid=6083 vsize=1435204 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6087/stat : 6087 (toysat) S 6083 6086 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106671768 1469648896 300825 33554432000 4194304 16246674 140733941534736 140587523091696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6086/tid=6088] ppid=6083 vsize=1435204 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6088/stat : 6088 (toysat) S 6083 6086 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106671768 1469648896 300825 33554432000 4194304 16246674 140733941534736 140587512601840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6086/tid=6089] ppid=6083 vsize=1435204 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6089/stat : 6089 (toysat) S 6083 6086 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106671768 1469648896 300825 33554432000 4194304 16246674 140733941534736 140587432930480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1435204

[startup+1662.3 s]
/proc/loadavg: 2.10 2.12 2.09 3/183 6361
/proc/meminfo: memFree=29111624/32872528 swapFree=13600/559348
[pid=6086] ppid=6083 vsize=1435204 CPUtime=1661.85 cores=1,3,5,7
/proc/6086/stat : 6086 (toysat) R 6083 6086 1842 0 -1 4202496 291580 0 0 0 166065 120 0 0 20 0 4 0 106671768 1469648896 300825 33554432000 4194304 16246674 140733941534736 140733941516608 5823355 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6086/statm: 358801 300825 917 2943 0 355695 0
[pid=6086/tid=6087] ppid=6083 vsize=1435204 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6087/stat : 6087 (toysat) S 6083 6086 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106671768 1469648896 300825 33554432000 4194304 16246674 140733941534736 140587523091696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6086/tid=6088] ppid=6083 vsize=1435204 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6088/stat : 6088 (toysat) S 6083 6086 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106671768 1469648896 300825 33554432000 4194304 16246674 140733941534736 140587512601840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6086/tid=6089] ppid=6083 vsize=1435204 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6089/stat : 6089 (toysat) S 6083 6086 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106671768 1469648896 300825 33554432000 4194304 16246674 140733941534736 140587432930480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1435204

[startup+1722.3 s]
/proc/loadavg: 2.23 2.14 2.10 3/183 6362
/proc/meminfo: memFree=29110592/32872528 swapFree=13600/559348
[pid=6086] ppid=6083 vsize=1435204 CPUtime=1721.84 cores=1,3,5,7
/proc/6086/stat : 6086 (toysat) R 6083 6086 1842 0 -1 4202496 291580 0 0 0 172063 121 0 0 20 0 4 0 106671768 1469648896 300825 33554432000 4194304 16246674 140733941534736 140733941532544 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6086/statm: 358801 300825 917 2943 0 355695 0
[pid=6086/tid=6087] ppid=6083 vsize=1435204 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6087/stat : 6087 (toysat) S 6083 6086 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106671768 1469648896 300825 33554432000 4194304 16246674 140733941534736 140587523091696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6086/tid=6088] ppid=6083 vsize=1435204 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6088/stat : 6088 (toysat) S 6083 6086 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106671768 1469648896 300825 33554432000 4194304 16246674 140733941534736 140587512601840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6086/tid=6089] ppid=6083 vsize=1435204 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6089/stat : 6089 (toysat) S 6083 6086 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106671768 1469648896 300825 33554432000 4194304 16246674 140733941534736 140587432930480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1435204

[startup+1782.3 s]
/proc/loadavg: 2.22 2.15 2.10 4/183 6363
/proc/meminfo: memFree=29110316/32872528 swapFree=13600/559348
[pid=6086] ppid=6083 vsize=1435204 CPUtime=1781.83 cores=1,3,5,7
/proc/6086/stat : 6086 (toysat) R 6083 6086 1842 0 -1 4202496 291580 0 0 0 178059 124 0 0 20 0 4 0 106671768 1469648896 300825 33554432000 4194304 16246674 140733941534736 140733941516608 12474720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6086/statm: 358801 300825 917 2943 0 355695 0
[pid=6086/tid=6087] ppid=6083 vsize=1435204 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6087/stat : 6087 (toysat) S 6083 6086 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106671768 1469648896 300825 33554432000 4194304 16246674 140733941534736 140587523091696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6086/tid=6088] ppid=6083 vsize=1435204 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6088/stat : 6088 (toysat) S 6083 6086 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106671768 1469648896 300825 33554432000 4194304 16246674 140733941534736 140587512601840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6086/tid=6089] ppid=6083 vsize=1435204 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6089/stat : 6089 (toysat) S 6083 6086 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106671768 1469648896 300825 33554432000 4194304 16246674 140733941534736 140587432930480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1435204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.17 2.14 2.09 4/183 6364
/proc/meminfo: memFree=29110316/32872528 swapFree=13600/559348
[pid=6086] ppid=6083 vsize=1435204 CPUtime=1800.02 cores=1,3,5,7
/proc/6086/stat : 6086 (toysat) R 6083 6086 1842 0 -1 4202496 291580 0 0 0 179878 124 0 0 20 0 4 0 106671768 1469648896 300825 33554432000 4194304 16246674 140733941534736 140733941516608 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6086/statm: 358801 300825 917 2943 0 355695 0
[pid=6086/tid=6087] ppid=6083 vsize=1435204 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6087/stat : 6087 (toysat) S 6083 6086 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106671768 1469648896 300825 33554432000 4194304 16246674 140733941534736 140587523091696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6086/tid=6088] ppid=6083 vsize=1435204 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6088/stat : 6088 (toysat) S 6083 6086 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106671768 1469648896 300825 33554432000 4194304 16246674 140733941534736 140587512601840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6086/tid=6089] ppid=6083 vsize=1435204 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6089/stat : 6089 (toysat) S 6083 6086 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106671768 1469648896 300825 33554432000 4194304 16246674 140733941534736 140587432930480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1435204

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6086 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.17 2.14 2.09 4/183 6364
/proc/meminfo: memFree=29110316/32872528 swapFree=13600/559348
[pid=6086] ppid=6083 vsize=1435204 CPUtime=1800.02 cores=1,3,5,7
/proc/6086/stat : 6086 (toysat) R 6083 6086 1842 0 -1 4202496 291580 0 0 0 179878 124 0 0 20 0 4 0 106671768 1469648896 300825 33554432000 4194304 16246674 140733941534736 140733941516608 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6086/statm: 358801 300825 917 2943 0 355695 0
[pid=6086/tid=6087] ppid=6083 vsize=1435204 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6087/stat : 6087 (toysat) S 6083 6086 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106671768 1469648896 300825 33554432000 4194304 16246674 140733941534736 140587523091696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6086/tid=6088] ppid=6083 vsize=1435204 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6088/stat : 6088 (toysat) S 6083 6086 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106671768 1469648896 300825 33554432000 4194304 16246674 140733941534736 140587512601840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6086/tid=6089] ppid=6083 vsize=1435204 CPUtime=0 cores=1,3,5,7
/proc/6086/task/6089/stat : 6089 (toysat) S 6083 6086 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106671768 1469648896 300825 33554432000 4194304 16246674 140733941534736 140587432930480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1435204

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1798.79
CPU system time (s): 1.24681
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 1435204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.79
system time used= 1.24681
maximum resident set size= 1203300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 291580
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 269
involuntary context switches= 2458

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.29019 second user time and 6.97794 second system time

The end

Begin job on node106 at 2016-06-06 23:09:28
IDJOB=4079695
IDBENCH=2957
IDSOLVER=2542
FILE ID=node106/4079695-1465247368
RUNJOBID= node106-1465219870-1859
PBS_JOBID= 19843217
Free space on /tmp= 71656 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-unif-100_100.00.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079695-1465247368/watcher-4079695-1465247368 -o /tmp/evaluation-result-4079695-1465247368/solver-4079695-1465247368 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1465219870-1859 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079695-1465247368.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 9e8d546df5cfe52cfb5a29d8ae802e41
RANDOM SEED=1086019779

node106.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.775
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.775
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.775
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.775
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.775
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.64
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.775
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.775
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.775
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31344716 kB
Buffers:           50868 kB
Cached:           209900 kB
SwapCached:         1844 kB
Active:           155380 kB
Inactive:         111408 kB
Active(anon):       6624 kB
Inactive(anon):     1280 kB
Active(file):     148756 kB
Inactive(file):   110128 kB
Unevictable:      559348 kB
Mlocked:           13600 kB
SwapTotal:      67108856 kB
SwapFree:       67098536 kB
Dirty:            101360 kB
Writeback:             0 kB
AnonPages:        563884 kB
Mapped:             7644 kB
Shmem:                 0 kB
Slab:             571288 kB
SReclaimable:      15428 kB
SUnreclaim:       555860 kB
KernelStack:        1440 kB
PageTables:         4820 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     669856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    546816 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71696 MiB
End job on node106 at 2016-06-06 23:39:29