0.00/0.00	c 2016-06-18T04:30:26+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-4100745-1466217025.opb"]
0.00/0.01	c use --random-gen="2174298269 295085173 1948828965 3057576005 2711740909 248700357 2736818168 637319102 1662936794 1463780374 2361542939 3636887573 3988241958 1482850841 1804608024 2054870735 509111074 1055832661 1090501896 936974005 2516520788 3075987967 74853536 3122229432 2108652028 2602787317 1311456190 1283629693 3424578923 3932141956 2836292504 2235864654 624250560 4187251333 2526562540 1811077922 3488812817 383682201 4108311867 2024337857 3962939816 492155060 2357902129 3172868720 2899243474 267986418 2133479615 3120868151 2598433081 2654021586 1765843772 3900890836 3943856671 3369087995 1172812663 2373587247 3079502997 1400930533 1592154591 807288776 783154522 3225683742 2283319520 1549819056 3723957876 625514219 1113923395 1538893152 623876562 2473821710 2499640624 3366895126 2662726646 846478069 2418423243 3652811432 2898284121 480892579 3557669728 3440940906 3457994367 3104695556 3611569916 2366507899 1723367876 3503657511 1281848376 273448479 3203760349 2621226709 910249763 1730773287 1244417298 573412528 404924302 1597747453 1137206719 1583186262 3166741843 2196047175 2144839246 1290121934 719311665 3329002553 4196432008 2287764744 3987370837 3702063474 3630385253 3176701323 593728547 1600721585 4290368817 350221936 3595659642 1425710740 26433344 913027596 4150780897 1492989327 2181527400 3871281822 2916262097 2595033120 704579493 2762566181 1566932582 3294241193 3849215967 36065483 3009488996 3940959009 3354675749 296165275 2968697073 189003192 3562326036 2778740865 2369090518 88598683 4039929954 266902524 855824714 3911762737 144132964 3491275531 2538396561 1750643183 658697756 591860839 1243204460 2226223772 1606503392 2119311884 2191765733 2028488430 2480257939 3502990114 2581385715 4089363342 1294434400 1868441359 683118921 4072781180 2747417411 3319693975 2625383177 3069852889 2081055159 2118667861 2822626539 1097174364 1504680896 14810907 1846168446 2785034452 3263641315 806608033 3446404069 1332970939 1288674113 3247157489 3891891302 2438415891 366837162 3576919563 491317543 2258212050 2080450109 1604803310 2919394758 525563957 1217931047 4189577951 933624105 1382857013 2125242670 959844014 3963851978 3092544729 1026802726 1437206445 488319995 1009116917 363804579 165218212 1380840870 2463063343 2887278688 2375061192 3851021192 1751677914 1161031777 2341330224 2477733930 3223937805 2668957893 3017196739 320264817 2332404774 3777699719 2072535271 136649907 209133651 2831755761 3941113230 3887140676 2484144795 2568228329 2498243199 1351154786 1623750321 1568755014 2336034891 2811092608 3739339155 2629280810 48875900 2779860525 3011889317 3275743036 2138118988 4240020885 2366212543 3138866756 2377073149 674471718 920191037 1334011943 2917939114 1935497778 2094054705 22980055 2246761643 4103518164 1436566062 255 362436" option to reproduce the execution
0.09/0.14	c #vars 14400
0.09/0.14	c #constraints 284
0.29/0.39	c BCD2: Hardening is enabled.
0.29/0.39	c BCD2: BiasedSearch is enabled.
0.29/0.39	c Solving starts ...
0.29/0.39	c ============================[ Search Statistics ]============================
0.29/0.39	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.29/0.39	c       |         |          |          |    Limit     GC | Var      | Constra 
0.29/0.39	c =============================================================================
0.39/0.43	c  0.0s |       0 |        0 |        0 |     4934      0 |     6120 |        0
0.49/0.51	c  0.1s |       1 |     3874 |      100 |     4934      0 |     6120 |        0
0.49/0.59	c  0.2s |       2 |     7982 |      250 |     5428      0 |     6120 |        0
0.69/0.74	c  0.3s |       3 |    12611 |      475 |     5971      0 |     6120 |        0
1.09/1.13	c  0.7s |       4 |    16149 |      813 |     6569      0 |     6120 |        0
1.79/1.83	c  1.4s |       5 |    20520 |     1320 |     7226      0 |     6120 |        0
3.39/3.43	c  3.0s |       6 |    28568 |     2081 |     8744      0 |     6120 |        0
4.09/4.11	c  3.7s |       7 |    30784 |     3223 |     9619      0 |     6120 |        0
6.09/6.11	c  5.7s |       7 |    37707 |     4123 |     9619      0 |     6120 |        0
7.79/7.80	c  7.4s |       8 |    38519 |     4936 |    10581      0 |     6120 |        0
9.79/9.81	c  9.4s |       8 |    42131 |     7336 |    10581      0 |     6120 |        0
9.89/9.94	c  9.5s |       9 |    42298 |     7506 |    11640      0 |     6120 |        0
10.09/10.15	c  9.7s |       9 |    47029 |     7643 |    11640      0 |     6120 |        0
10.09/10.15	c #cpu_time = 9.684s
10.09/10.15	c #wall_clock_time = 9.709s
10.09/10.15	c #decision = 47029
10.09/10.15	c #random_decision = 130
10.09/10.15	c #conflict = 7643
10.09/10.15	c #restart = 9
10.09/10.15	o 12702
10.09/10.16	c BCD2: updating upper bound: 533080 -> 12701
10.09/10.18	c BCD2: 0 <= obj <= 12701
10.09/10.18	c BCD2: #cores=0, #unrelaxed=10800, #relaxed=0, #hardened=0
10.09/10.18	c BCD2: #sat=1 #unsat=1 bias=1/2
10.09/10.18	c Solving starts ...
10.09/10.18	c ============================[ Search Statistics ]============================
10.09/10.18	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
10.09/10.18	c       |         |          |          |    Limit     GC | Var      | Constra 
10.09/10.18	c =============================================================================
10.09/10.18	c  0.0s |       0 |        0 |        0 |    11640      0 |     6120 |        0
10.19/10.29	c  0.1s |       0 |     4687 |        0 |    11640      0 |     6120 |        0
10.19/10.29	c #cpu_time = 0.106s
10.19/10.29	c #wall_clock_time = 0.107s
10.19/10.29	c #decision = 4687
10.19/10.29	c #random_decision = 0
10.19/10.29	c #conflict = 0
10.19/10.29	c #restart = 0
10.19/10.29	c BCD2: found a new core of size 119: cost of the new core is >=1
10.19/10.29	c lower bound updated to 1
10.29/10.30	c BCD2: 1 <= obj <= 12701
10.29/10.30	c BCD2: #cores=1, #unrelaxed=10681, #relaxed=119, #hardened=0
10.29/10.30	c BCD2: #sat=1 #unsat=2 bias=2/3
10.29/10.30	c Solving starts ...
10.29/10.30	c ============================[ Search Statistics ]============================
10.29/10.30	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
10.29/10.30	c       |         |          |          |    Limit     GC | Var      | Constra 
10.29/10.30	c =============================================================================
10.29/10.30	c  0.0s |       0 |        0 |        0 |    11640      0 |     6120 |        0
10.39/10.41	c  0.1s |       0 |     4597 |        0 |    11640      0 |     6120 |        0
10.39/10.41	c #cpu_time = 0.102s
10.39/10.41	c #wall_clock_time = 0.102s
10.39/10.41	c #decision = 4597
10.39/10.41	c #random_decision = 0
10.39/10.41	c #conflict = 0
10.39/10.41	c #restart = 0
10.39/10.41	c BCD2: found a new core of size 59: cost of the new core is >=1
10.39/10.41	c lower bound updated to 2
10.39/10.41	c BCD2: 2 <= obj <= 12701
10.39/10.41	c BCD2: #cores=2, #unrelaxed=10622, #relaxed=178, #hardened=0
10.39/10.41	c BCD2: #sat=1 #unsat=3 bias=3/4
10.39/10.41	c Solving starts ...
10.39/10.41	c ============================[ Search Statistics ]============================
10.39/10.41	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
10.39/10.41	c       |         |          |          |    Limit     GC | Var      | Constra 
10.39/10.41	c =============================================================================
10.39/10.42	c  0.0s |       0 |        0 |        0 |    11640      0 |     6120 |        0
10.49/10.52	c  0.1s |       0 |     4564 |        0 |    11640      0 |     6120 |        0
10.49/10.52	c #cpu_time = 0.102s
10.49/10.52	c #wall_clock_time = 0.102s
10.49/10.52	c #decision = 4564
10.49/10.52	c #random_decision = 0
10.49/10.52	c #conflict = 0
10.49/10.52	c #restart = 0
10.49/10.52	c BCD2: found a new core of size 59: cost of the new core is >=1
10.49/10.52	c lower bound updated to 3
10.49/10.52	c BCD2: 3 <= obj <= 12701
10.49/10.52	c BCD2: #cores=3, #unrelaxed=10563, #relaxed=237, #hardened=0
10.49/10.52	c BCD2: #sat=1 #unsat=4 bias=4/5
10.49/10.52	c Solving starts ...
10.49/10.52	c ============================[ Search Statistics ]============================
10.49/10.52	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
10.49/10.52	c       |         |          |          |    Limit     GC | Var      | Constra 
10.49/10.52	c =============================================================================
10.49/10.53	c  0.0s |       0 |        0 |        0 |    11640      0 |     6120 |        0
10.59/10.63	c  0.1s |       0 |     4531 |        0 |    11640      0 |     6120 |        0
10.59/10.63	c #cpu_time = 0.102s
10.59/10.63	c #wall_clock_time = 0.102s
10.59/10.63	c #decision = 4531
10.59/10.63	c #random_decision = 0
10.59/10.63	c #conflict = 0
10.59/10.63	c #restart = 0
10.59/10.63	c BCD2: found a new core of size 59: cost of the new core is >=1
10.59/10.63	c lower bound updated to 4
10.59/10.64	c BCD2: 4 <= obj <= 12701
10.59/10.64	c BCD2: #cores=4, #unrelaxed=10504, #relaxed=296, #hardened=0
10.59/10.64	c BCD2: #sat=1 #unsat=5 bias=5/6
10.59/10.64	c Solving starts ...
10.59/10.64	c ============================[ Search Statistics ]============================
10.59/10.64	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
10.59/10.64	c       |         |          |          |    Limit     GC | Var      | Constra 
10.59/10.64	c =============================================================================
10.59/10.64	c  0.0s |       0 |        0 |        0 |    11640      0 |     6120 |        0
10.69/10.75	c  0.1s |       0 |     4498 |        0 |    11640      0 |     6120 |        0
10.69/10.75	c #cpu_time = 0.102s
10.69/10.75	c #wall_clock_time = 0.102s
10.69/10.75	c #decision = 4498
10.69/10.75	c #random_decision = 0
10.69/10.75	c #conflict = 0
10.69/10.75	c #restart = 0
10.69/10.75	c BCD2: found a new core of size 59: cost of the new core is >=1
10.69/10.75	c lower bound updated to 5
10.69/10.75	c BCD2: 5 <= obj <= 12701
10.69/10.75	c BCD2: #cores=5, #unrelaxed=10445, #relaxed=355, #hardened=0
10.69/10.75	c BCD2: #sat=1 #unsat=6 bias=6/7
10.69/10.75	c Solving starts ...
10.69/10.75	c ============================[ Search Statistics ]============================
10.69/10.75	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
10.69/10.75	c       |         |          |          |    Limit     GC | Var      | Constra 
10.69/10.75	c =============================================================================
10.69/10.75	c  0.0s |       0 |        0 |        0 |    11640      0 |     6120 |        0
10.79/10.87	c  0.1s |       0 |     4882 |        1 |    11640      0 |     6120 |        0
10.79/10.87	c #cpu_time = 0.112s
10.79/10.87	c #wall_clock_time = 0.113s
10.79/10.87	c #decision = 4882
10.79/10.87	c #random_decision = 0
10.79/10.87	c #conflict = 1
10.79/10.87	c #restart = 0
10.79/10.87	c BCD2: found a new core of size 670: cost of the new core is >=1
10.79/10.87	c lower bound updated to 6
10.79/10.88	c BCD2: 6 <= obj <= 12701
10.79/10.88	c BCD2: #cores=6, #unrelaxed=9775, #relaxed=1025, #hardened=0
10.79/10.88	c BCD2: #sat=1 #unsat=7 bias=7/8
10.79/10.88	c Solving starts ...
10.79/10.88	c ============================[ Search Statistics ]============================
10.79/10.88	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
10.79/10.88	c       |         |          |          |    Limit     GC | Var      | Constra 
10.79/10.88	c =============================================================================
10.79/10.88	c  0.0s |       0 |        0 |        0 |    11640      0 |     6120 |        0
10.99/11.01	c  0.1s |       0 |     4450 |       13 |    11640      0 |     6120 |        0
10.99/11.01	c #cpu_time = 0.129s
10.99/11.01	c #wall_clock_time = 0.129s
10.99/11.01	c #decision = 4450
10.99/11.01	c #random_decision = 0
10.99/11.01	c #conflict = 13
10.99/11.01	c #restart = 0
10.99/11.01	c BCD2: found a new core of size 412: cost of the new core is >=1
10.99/11.01	c lower bound updated to 7
10.99/11.02	c BCD2: 7 <= obj <= 12701
10.99/11.02	c BCD2: #cores=7, #unrelaxed=9363, #relaxed=1437, #hardened=0
10.99/11.02	c BCD2: #sat=1 #unsat=8 bias=8/9
10.99/11.03	c Solving starts ...
10.99/11.03	c ============================[ Search Statistics ]============================
10.99/11.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
10.99/11.03	c       |         |          |          |    Limit     GC | Var      | Constra 
10.99/11.03	c =============================================================================
10.99/11.07	c  0.0s |       0 |        0 |        0 |    11640      0 |     6120 |        0
11.19/11.20	c  0.1s |       0 |     4121 |       13 |    11640      0 |     6120 |        0
11.19/11.20	c #cpu_time = 0.131s
11.19/11.20	c #wall_clock_time = 0.132s
11.19/11.20	c #decision = 4121
11.19/11.20	c #random_decision = 0
11.19/11.20	c #conflict = 13
11.19/11.20	c #restart = 0
11.19/11.20	c BCD2: found a new core of size 324: cost of the new core is >=1
11.19/11.20	c lower bound updated to 8
11.19/11.20	c BCD2: 8 <= obj <= 12701
11.19/11.20	c BCD2: #cores=8, #unrelaxed=9039, #relaxed=1761, #hardened=0
11.19/11.20	c BCD2: #sat=1 #unsat=9 bias=9/10
11.19/11.21	c Solving starts ...
11.19/11.21	c ============================[ Search Statistics ]============================
11.19/11.21	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
11.19/11.21	c       |         |          |          |    Limit     GC | Var      | Constra 
11.19/11.21	c =============================================================================
11.19/11.21	c  0.0s |       0 |        0 |        0 |    11640      0 |     6120 |        0
11.29/11.35	c  0.1s |       0 |     3876 |       13 |    11640      0 |     6120 |        0
11.29/11.35	c #cpu_time = 0.130s
11.29/11.35	c #wall_clock_time = 0.130s
11.29/11.35	c #decision = 3876
11.29/11.35	c #random_decision = 0
11.29/11.35	c #conflict = 13
11.29/11.35	c #restart = 0
11.29/11.35	c BCD2: found a new core of size 325: cost of the new core is >=1
11.29/11.35	c lower bound updated to 9
11.29/11.36	c BCD2: 9 <= obj <= 12701
11.29/11.36	c BCD2: #cores=9, #unrelaxed=8714, #relaxed=2086, #hardened=0
11.29/11.36	c BCD2: #sat=1 #unsat=10 bias=10/11
11.29/11.36	c Solving starts ...
11.29/11.36	c ============================[ Search Statistics ]============================
11.29/11.36	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
11.29/11.36	c       |         |          |          |    Limit     GC | Var      | Constra 
11.29/11.36	c =============================================================================
11.29/11.36	c  0.0s |       0 |        0 |        0 |    11640      0 |     6120 |        0
11.39/11.49	c  0.1s |       0 |     3630 |       13 |    11640      0 |     6120 |        0
11.39/11.49	c #cpu_time = 0.128s
11.39/11.49	c #wall_clock_time = 0.128s
11.39/11.49	c #decision = 3630
11.39/11.49	c #random_decision = 0
11.39/11.49	c #conflict = 13
11.39/11.49	c #restart = 0
11.39/11.49	c BCD2: found a new core of size 324: cost of the new core is >=1
11.39/11.49	c lower bound updated to 10
11.49/11.50	c BCD2: 10 <= obj <= 12701
11.49/11.50	c BCD2: #cores=10, #unrelaxed=8390, #relaxed=2410, #hardened=0
11.49/11.50	c BCD2: #sat=1 #unsat=11 bias=11/12
11.49/11.51	c Solving starts ...
11.49/11.51	c ============================[ Search Statistics ]============================
11.49/11.51	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
11.49/11.51	c       |         |          |          |    Limit     GC | Var      | Constra 
11.49/11.51	c =============================================================================
11.49/11.51	c  0.0s |       0 |        0 |        0 |    11640      0 |     6120 |        0
11.59/11.64	c  0.1s |       0 |     3385 |       13 |    11640      0 |     6120 |        0
11.59/11.64	c #cpu_time = 0.125s
11.59/11.64	c #wall_clock_time = 0.125s
11.59/11.64	c #decision = 3385
11.59/11.64	c #random_decision = 0
11.59/11.64	c #conflict = 13
11.59/11.64	c #restart = 0
11.59/11.64	c BCD2: found a new core of size 324: cost of the new core is >=1
11.59/11.64	c lower bound updated to 11
11.59/11.65	c BCD2: 11 <= obj <= 12701
11.59/11.65	c BCD2: #cores=11, #unrelaxed=8066, #relaxed=2734, #hardened=0
11.59/11.65	c BCD2: #sat=1 #unsat=12 bias=12/13
11.59/11.65	c Solving starts ...
11.59/11.65	c ============================[ Search Statistics ]============================
11.59/11.65	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
11.59/11.65	c       |         |          |          |    Limit     GC | Var      | Constra 
11.59/11.65	c =============================================================================
11.59/11.65	c  0.0s |       0 |        0 |        0 |    11640      0 |     6120 |        0
11.69/11.76	c  0.1s |       0 |     3128 |        0 |    11640      0 |     6120 |        0
11.69/11.76	c #cpu_time = 0.101s
11.69/11.76	c #wall_clock_time = 0.101s
11.69/11.76	c #decision = 3128
11.69/11.76	c #random_decision = 0
11.69/11.76	c #conflict = 0
11.69/11.76	c #restart = 0
11.69/11.76	c BCD2: found a new core of size 232: cost of the new core is >=1
11.69/11.76	c lower bound updated to 12
11.69/11.77	c BCD2: 12 <= obj <= 12701
11.69/11.77	c BCD2: #cores=12, #unrelaxed=7834, #relaxed=2966, #hardened=0
11.69/11.77	c BCD2: #sat=1 #unsat=13 bias=13/14
11.69/11.78	c Solving starts ...
11.69/11.78	c ============================[ Search Statistics ]============================
11.69/11.78	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
11.69/11.78	c       |         |          |          |    Limit     GC | Var      | Constra 
11.69/11.78	c =============================================================================
11.69/11.78	c  0.0s |       0 |        0 |        0 |    11640      0 |     6120 |        0
11.79/11.89	c  0.1s |       0 |     3076 |        0 |    11640      0 |     6120 |        0
11.79/11.89	c #cpu_time = 0.107s
11.79/11.89	c #wall_clock_time = 0.107s
11.79/11.89	c #decision = 3076
11.79/11.89	c #random_decision = 0
11.79/11.89	c #conflict = 0
11.79/11.89	c #restart = 0
11.79/11.89	c BCD2: found a new core of size 164: cost of the new core is >=1
11.79/11.89	c lower bound updated to 13
11.79/11.89	c BCD2: 13 <= obj <= 12701
11.79/11.89	c BCD2: #cores=13, #unrelaxed=7670, #relaxed=3130, #hardened=0
11.79/11.89	c BCD2: #sat=1 #unsat=14 bias=14/15
11.89/11.90	c Solving starts ...
11.89/11.90	c ============================[ Search Statistics ]============================
11.89/11.90	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
11.89/11.90	c       |         |          |          |    Limit     GC | Var      | Constra 
11.89/11.90	c =============================================================================
11.89/11.90	c  0.0s |       0 |        0 |        0 |    11640      0 |     6120 |        0
11.99/12.01	c  0.1s |       0 |     2946 |        0 |    11640      0 |     6120 |        0
11.99/12.01	c #cpu_time = 0.104s
11.99/12.01	c #wall_clock_time = 0.104s
11.99/12.01	c #decision = 2946
11.99/12.01	c #random_decision = 0
11.99/12.01	c #conflict = 0
11.99/12.01	c #restart = 0
11.99/12.01	c BCD2: found a new core of size 116: cost of the new core is >=1
11.99/12.01	c lower bound updated to 14
11.99/12.02	c BCD2: 14 <= obj <= 12701
11.99/12.02	c BCD2: #cores=14, #unrelaxed=7554, #relaxed=3246, #hardened=0
11.99/12.02	c BCD2: #sat=1 #unsat=15 bias=15/16
11.99/12.03	c Solving starts ...
11.99/12.03	c ============================[ Search Statistics ]============================
11.99/12.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
11.99/12.03	c       |         |          |          |    Limit     GC | Var      | Constra 
11.99/12.03	c =============================================================================
11.99/12.03	c  0.0s |       0 |        0 |        0 |    11640      0 |     6120 |        0
12.09/12.14	c  0.1s |       0 |     2862 |        0 |    11640      0 |     6120 |        0
12.09/12.14	c #cpu_time = 0.111s
12.09/12.14	c #wall_clock_time = 0.111s
12.09/12.14	c #decision = 2862
12.09/12.14	c #random_decision = 0
12.09/12.14	c #conflict = 0
12.09/12.14	c #restart = 0
12.09/12.14	c BCD2: found a new core of size 116: cost of the new core is >=1
12.09/12.14	c lower bound updated to 15
12.09/12.14	c BCD2: 15 <= obj <= 12701
12.09/12.14	c BCD2: #cores=15, #unrelaxed=7438, #relaxed=3362, #hardened=0
12.09/12.14	c BCD2: #sat=1 #unsat=16 bias=16/17
12.09/12.16	c Solving starts ...
12.09/12.16	c ============================[ Search Statistics ]============================
12.09/12.16	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
12.09/12.16	c       |         |          |          |    Limit     GC | Var      | Constra 
12.09/12.16	c =============================================================================
12.09/12.16	c  0.0s |       0 |        0 |        0 |    11640      0 |     6120 |        0
12.19/12.27	c  0.1s |       0 |     2778 |        0 |    11640      0 |     6120 |        0
12.19/12.27	c #cpu_time = 0.104s
12.19/12.27	c #wall_clock_time = 0.105s
12.19/12.27	c #decision = 2778
12.19/12.27	c #random_decision = 0
12.19/12.27	c #conflict = 0
12.19/12.27	c #restart = 0
12.19/12.27	c BCD2: found a new core of size 116: cost of the new core is >=1
12.19/12.27	c lower bound updated to 16
12.19/12.27	c BCD2: 16 <= obj <= 12701
12.19/12.27	c BCD2: #cores=16, #unrelaxed=7322, #relaxed=3478, #hardened=0
12.19/12.27	c BCD2: #sat=1 #unsat=17 bias=17/18
12.19/12.28	c Solving starts ...
12.19/12.28	c ============================[ Search Statistics ]============================
12.19/12.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
12.19/12.28	c       |         |          |          |    Limit     GC | Var      | Constra 
12.19/12.28	c =============================================================================
12.19/12.28	c  0.0s |       0 |        0 |        0 |    11640      0 |     6120 |        0
12.29/12.39	c  0.1s |       0 |     2694 |        0 |    11640      0 |     6120 |        0
12.29/12.39	c #cpu_time = 0.105s
12.29/12.39	c #wall_clock_time = 0.105s
12.29/12.39	c #decision = 2694
12.29/12.39	c #random_decision = 0
12.29/12.39	c #conflict = 0
12.29/12.39	c #restart = 0
12.29/12.39	c BCD2: found a new core of size 116: cost of the new core is >=1
12.29/12.39	c lower bound updated to 17
12.39/12.40	c BCD2: 17 <= obj <= 12701
12.39/12.40	c BCD2: #cores=17, #unrelaxed=7206, #relaxed=3594, #hardened=0
12.39/12.40	c BCD2: #sat=1 #unsat=18 bias=18/19
12.39/12.41	c Solving starts ...
12.39/12.41	c ============================[ Search Statistics ]============================
12.39/12.41	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
12.39/12.41	c       |         |          |          |    Limit     GC | Var      | Constra 
12.39/12.41	c =============================================================================
12.39/12.41	c  0.0s |       0 |        0 |        0 |    11640      0 |     6120 |        0
12.49/12.53	c  0.1s |       0 |     2649 |       13 |    11640      0 |     6120 |        0
12.49/12.53	c #cpu_time = 0.114s
12.49/12.53	c #wall_clock_time = 0.115s
12.49/12.53	c #decision = 2649
12.49/12.53	c #random_decision = 0
12.49/12.53	c #conflict = 13
12.49/12.53	c #restart = 0
12.49/12.53	c BCD2: found a new core of size 166: cost of the new core is >=1
12.49/12.53	c lower bound updated to 18
12.49/12.54	c BCD2: 18 <= obj <= 12701
12.49/12.54	c BCD2: #cores=18, #unrelaxed=7040, #relaxed=3760, #hardened=0
12.49/12.54	c BCD2: #sat=1 #unsat=19 bias=19/20
12.49/12.54	c Solving starts ...
12.49/12.54	c ============================[ Search Statistics ]============================
12.49/12.54	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
12.49/12.54	c       |         |          |          |    Limit     GC | Var      | Constra 
12.49/12.54	c =============================================================================
12.49/12.54	c  0.0s |       0 |        0 |        0 |    11640      0 |     6120 |        0
12.59/12.66	c  0.1s |       0 |     2524 |       13 |    11640      0 |     6120 |        0
12.59/12.66	c #cpu_time = 0.115s
12.59/12.66	c #wall_clock_time = 0.115s
12.59/12.66	c #decision = 2524
12.59/12.66	c #random_decision = 0
12.59/12.66	c #conflict = 13
12.59/12.66	c #restart = 0
12.59/12.66	c BCD2: found a new core of size 144: cost of the new core is >=1
12.59/12.66	c lower bound updated to 19
12.59/12.67	c BCD2: 19 <= obj <= 12701
12.59/12.67	c BCD2: #cores=19, #unrelaxed=6896, #relaxed=3904, #hardened=0
12.59/12.67	c BCD2: #sat=1 #unsat=20 bias=20/21
12.59/12.68	c Solving starts ...
12.59/12.68	c ============================[ Search Statistics ]============================
12.59/12.68	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
12.59/12.68	c       |         |          |          |    Limit     GC | Var      | Constra 
12.59/12.68	c =============================================================================
12.59/12.68	c  0.0s |       0 |        0 |        0 |    11640      0 |     6120 |        0
12.79/12.80	c  0.1s |       0 |     2420 |       13 |    11640      0 |     6120 |        0
12.79/12.80	c #cpu_time = 0.115s
12.79/12.80	c #wall_clock_time = 0.116s
12.79/12.80	c #decision = 2420
12.79/12.80	c #random_decision = 0
12.79/12.80	c #conflict = 13
12.79/12.80	c #restart = 0
12.79/12.80	c BCD2: found a new core of size 144: cost of the new core is >=1
12.79/12.80	c lower bound updated to 20
12.79/12.81	c BCD2: 20 <= obj <= 12701
12.79/12.81	c BCD2: #cores=20, #unrelaxed=6752, #relaxed=4048, #hardened=0
12.79/12.81	c BCD2: #sat=1 #unsat=21 bias=21/22
12.79/12.82	c Solving starts ...
12.79/12.82	c ============================[ Search Statistics ]============================
12.79/12.82	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
12.79/12.82	c       |         |          |          |    Limit     GC | Var      | Constra 
12.79/12.82	c =============================================================================
12.79/12.82	c  0.0s |       0 |        0 |        0 |    11640      0 |     6120 |        0
12.89/12.94	c  0.1s |       0 |     2316 |       13 |    11640      0 |     6120 |        0
12.89/12.94	c #cpu_time = 0.116s
12.89/12.94	c #wall_clock_time = 0.116s
12.89/12.94	c #decision = 2316
12.89/12.94	c #random_decision = 0
12.89/12.94	c #conflict = 13
12.89/12.94	c #restart = 0
12.89/12.94	c BCD2: found a new core of size 144: cost of the new core is >=1
12.89/12.94	c lower bound updated to 21
12.89/12.95	c BCD2: 21 <= obj <= 12701
12.89/12.95	c BCD2: #cores=21, #unrelaxed=6608, #relaxed=4192, #hardened=0
12.89/12.95	c BCD2: #sat=1 #unsat=22 bias=22/23
12.89/12.96	c Solving starts ...
12.89/12.96	c ============================[ Search Statistics ]============================
12.89/12.96	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
12.89/12.96	c       |         |          |          |    Limit     GC | Var      | Constra 
12.89/12.96	c =============================================================================
12.89/12.96	c  0.0s |       0 |        0 |        0 |    11640      0 |     6120 |        0
12.99/13.08	c  0.1s |       0 |     2212 |       13 |    11640      0 |     6120 |        0
12.99/13.08	c #cpu_time = 0.116s
12.99/13.08	c #wall_clock_time = 0.117s
12.99/13.08	c #decision = 2212
12.99/13.08	c #random_decision = 0
12.99/13.08	c #conflict = 13
12.99/13.08	c #restart = 0
12.99/13.08	c BCD2: found a new core of size 144: cost of the new core is >=1
12.99/13.08	c lower bound updated to 22
12.99/13.09	c BCD2: 22 <= obj <= 12701
12.99/13.09	c BCD2: #cores=22, #unrelaxed=6464, #relaxed=4336, #hardened=0
12.99/13.09	c BCD2: #sat=1 #unsat=23 bias=23/24
13.09/13.10	c Solving starts ...
13.09/13.10	c ============================[ Search Statistics ]============================
13.09/13.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
13.09/13.10	c       |         |          |          |    Limit     GC | Var      | Constra 
13.09/13.10	c =============================================================================
13.09/13.10	c  0.0s |       0 |        0 |        0 |    11640      0 |     6120 |        0
13.19/13.21	c  0.1s |       0 |     2109 |        1 |    11640      0 |     6120 |        0
13.19/13.21	c #cpu_time = 0.107s
13.19/13.21	c #wall_clock_time = 0.108s
13.19/13.21	c #decision = 2109
13.19/13.21	c #random_decision = 0
13.19/13.21	c #conflict = 1
13.19/13.21	c #restart = 0
13.19/13.21	c BCD2: found a new core of size 157: cost of the new core is >=1
13.19/13.21	c lower bound updated to 23
13.19/13.22	c BCD2: 23 <= obj <= 12701
13.19/13.22	c BCD2: #cores=23, #unrelaxed=6307, #relaxed=4493, #hardened=0
13.19/13.22	c BCD2: #sat=1 #unsat=24 bias=24/25
13.19/13.23	c Solving starts ...
13.19/13.23	c ============================[ Search Statistics ]============================
13.19/13.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
13.19/13.23	c       |         |          |          |    Limit     GC | Var      | Constra 
13.19/13.23	c =============================================================================
13.19/13.23	c  0.0s |       0 |        0 |        0 |    11640      0 |     6120 |        0
13.29/13.34	c  0.1s |       0 |     1992 |        1 |    11640      0 |     6120 |        0
13.29/13.34	c #cpu_time = 0.107s
13.29/13.34	c #wall_clock_time = 0.107s
13.29/13.34	c #decision = 1992
13.29/13.34	c #random_decision = 0
13.29/13.34	c #conflict = 1
13.29/13.34	c #restart = 0
13.29/13.34	c BCD2: found a new core of size 157: cost of the new core is >=1
13.29/13.34	c lower bound updated to 24
13.29/13.35	c BCD2: 24 <= obj <= 12701
13.29/13.35	c BCD2: #cores=24, #unrelaxed=6150, #relaxed=4650, #hardened=0
13.29/13.35	c BCD2: #sat=1 #unsat=25 bias=25/26
13.29/13.36	c Solving starts ...
13.29/13.36	c ============================[ Search Statistics ]============================
13.29/13.36	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
13.29/13.36	c       |         |          |          |    Limit     GC | Var      | Constra 
13.29/13.36	c =============================================================================
13.29/13.36	c  0.0s |       0 |        0 |        0 |    11640      0 |     6120 |        0
13.39/13.47	c  0.1s |       0 |     1901 |        1 |    11640      0 |     6120 |        0
13.39/13.47	c #cpu_time = 0.108s
13.39/13.47	c #wall_clock_time = 0.108s
13.39/13.47	c #decision = 1901
13.39/13.47	c #random_decision = 0
13.39/13.47	c #conflict = 1
13.39/13.47	c #restart = 0
13.39/13.47	c BCD2: found a new core of size 69: cost of the new core is >=1
13.39/13.47	c lower bound updated to 25
13.39/13.48	c BCD2: 25 <= obj <= 12701
13.39/13.48	c BCD2: #cores=25, #unrelaxed=6081, #relaxed=4719, #hardened=0
13.39/13.48	c BCD2: #sat=1 #unsat=26 bias=26/27
13.39/13.49	c Solving starts ...
13.39/13.49	c ============================[ Search Statistics ]============================
13.39/13.49	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
13.39/13.49	c       |         |          |          |    Limit     GC | Var      | Constra 
13.39/13.49	c =============================================================================
13.39/13.49	c  0.0s |       0 |        0 |        0 |    11640      0 |     6120 |        0
13.59/13.61	c  0.1s |       0 |     1950 |        1 |    11640      0 |     6120 |        0
13.59/13.61	c #cpu_time = 0.111s
13.59/13.61	c #wall_clock_time = 0.112s
13.59/13.61	c #decision = 1950
13.59/13.61	c #random_decision = 0
13.59/13.61	c #conflict = 1
13.59/13.61	c #restart = 0
13.59/13.61	c BCD2: found a new core of size 376: cost of the new core is >=1
13.59/13.61	c lower bound updated to 26
13.59/13.61	c BCD2: 26 <= obj <= 12701
13.59/13.61	c BCD2: #cores=26, #unrelaxed=5705, #relaxed=5095, #hardened=0
13.59/13.61	c BCD2: #sat=1 #unsat=27 bias=27/28
13.59/13.63	c Solving starts ...
13.59/13.63	c ============================[ Search Statistics ]============================
13.59/13.63	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
13.59/13.63	c       |         |          |          |    Limit     GC | Var      | Constra 
13.59/13.63	c =============================================================================
13.59/13.63	c  0.0s |       0 |        0 |        0 |    11640      0 |     6120 |        0
13.69/13.78	c  0.1s |       1 |     2206 |      100 |    11640      0 |     6120 |        0
13.89/13.92	c  0.3s |       2 |     4019 |      250 |    11640      0 |     6120 |        0
14.09/14.11	c  0.5s |       3 |     6217 |      475 |    11640      0 |     6120 |        0
14.49/14.51	c  0.9s |       4 |     8964 |      813 |    11640      0 |     6120 |        0
14.79/14.88	c  1.2s |       5 |    11608 |     1320 |    11640      0 |     6120 |        0
15.19/15.28	c  1.7s |       6 |    18504 |     2081 |    11640      0 |     6120 |        0
16.09/16.18	c  2.6s |       7 |    28685 |     3223 |    11640      0 |     6120 |        0
18.19/18.26	c  4.6s |       7 |    34261 |     4623 |    12805      0 |     6120 |        0
18.79/18.83	c  5.2s |       8 |    34579 |     4936 |    12805      0 |     6120 |        0
20.18/20.23	c  6.6s |       9 |    42132 |     7506 |    12805      0 |     6120 |        0
22.18/22.29	c  8.7s |       9 |    49422 |    10406 |    14086      0 |     6120 |        0
22.98/23.04	c  9.4s |      10 |    50375 |    11361 |    14086      0 |     6120 |        0
24.98/25.07	c 11.4s |      10 |    58817 |    12661 |    14086      0 |     6120 |        0
27.08/27.17	c 13.5s |      10 |    60827 |    14461 |    14086      0 |     6120 |        0
27.98/28.05	c 14.4s |      10 |    65480 |    15155 |    14086      0 |     6120 |        0
27.98/28.05	c #cpu_time = 14.369s
27.98/28.05	c #wall_clock_time = 14.406s
27.98/28.05	c #decision = 65480
27.98/28.05	c #random_decision = 137
27.98/28.05	c #conflict = 15155
27.98/28.05	c #restart = 10
27.98/28.05	o 952
27.98/28.05	c BCD2: hardening fixes 120 literals
27.98/28.05	c BCD2: updating upper bound: 12701 -> 951
27.98/28.08	c BCD2: 26 <= obj <= 951
27.98/28.08	c BCD2: #cores=26, #unrelaxed=5585, #relaxed=5095, #hardened=120
27.98/28.08	c BCD2: #sat=2 #unsat=27 bias=27/29
28.08/28.10	c Solving starts ...
28.08/28.10	c ============================[ Search Statistics ]============================
28.08/28.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
28.08/28.10	c       |         |          |          |    Limit     GC | Var      | Constra 
28.08/28.10	c =============================================================================
28.08/28.10	c  0.0s |       0 |        0 |        0 |    14086      0 |     6120 |        1
28.59/28.61	c  0.5s |       1 |     2307 |      100 |    14086      1 |     6120 |        1
28.69/28.79	c  0.7s |       1 |     6714 |      169 |    14086      1 |     6120 |        1
28.69/28.79	c #cpu_time = 0.681s
28.69/28.79	c #wall_clock_time = 0.683s
28.69/28.79	c #decision = 6714
28.69/28.79	c #random_decision = 8
28.69/28.79	c #conflict = 169
28.69/28.79	c #restart = 1
28.69/28.79	c BCD2: relaxing 26 and merging with 2 cores into a new core of size 327: cost of the new core is >=3
28.69/28.79	c lower bound updated to 27
28.78/28.80	c BCD2: 27 <= obj <= 951
28.78/28.80	c BCD2: #cores=25, #unrelaxed=5559, #relaxed=5121, #hardened=120
28.78/28.80	c BCD2: #sat=2 #unsat=28 bias=28/30
28.78/28.81	c Solving starts ...
28.78/28.81	c ============================[ Search Statistics ]============================
28.78/28.81	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
28.78/28.81	c       |         |          |          |    Limit     GC | Var      | Constra 
28.78/28.81	c =============================================================================
28.78/28.81	c  0.0s |       0 |        0 |        0 |    14086      0 |     6128 |        1
28.98/29.05	c  0.2s |       1 |     2799 |      100 |    14086      0 |     6128 |       15
29.28/29.31	c  0.5s |       2 |     4472 |      250 |    14086      0 |     6128 |       15
29.48/29.56	c  0.8s |       3 |     7189 |      475 |    14086      0 |     6128 |       15
30.08/30.18	c  1.4s |       4 |    12321 |      813 |    14086      0 |     6128 |       15
30.48/30.51	c  1.7s |       5 |    16958 |     1320 |    14086      0 |     6128 |       15
30.58/30.66	c  1.9s |       5 |    21078 |     1330 |    14086      0 |     6128 |       15
30.58/30.66	c #cpu_time = 1.837s
30.58/30.66	c #wall_clock_time = 1.842s
30.58/30.66	c #decision = 21078
30.58/30.66	c #random_decision = 30
30.58/30.66	c #conflict = 1330
30.58/30.66	c #restart = 5
30.58/30.66	o 617
30.58/30.67	c BCD2: hardening fixes 140 literals
30.58/30.67	c BCD2: updating upper bound: 951 -> 616
30.58/30.69	c BCD2: 27 <= obj <= 616
30.58/30.69	c BCD2: #cores=25, #unrelaxed=5419, #relaxed=5121, #hardened=260
30.58/30.69	c BCD2: #sat=3 #unsat=28 bias=28/31
30.68/30.71	c Solving starts ...
30.68/30.71	c ============================[ Search Statistics ]============================
30.68/30.71	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
30.68/30.71	c       |         |          |          |    Limit     GC | Var      | Constra 
30.68/30.71	c =============================================================================
30.68/30.71	c  0.0s |       0 |        0 |        0 |    14086      0 |     6128 |       16
31.08/31.12	c  0.4s |       1 |     5961 |      100 |    14086      0 |     6128 |       16
31.38/31.42	c  0.7s |       1 |     9073 |      229 |    14086      0 |     6128 |       16
31.38/31.42	c #cpu_time = 0.704s
31.38/31.42	c #wall_clock_time = 0.706s
31.38/31.42	c #decision = 9073
31.38/31.42	c #random_decision = 11
31.38/31.42	c #conflict = 229
31.38/31.42	c #restart = 1
31.38/31.42	c BCD2: relaxing 557 and merging with 7 cores into a new core of size 3168: cost of the new core is >=8
31.38/31.42	c lower bound updated to 28
31.38/31.43	c BCD2: 28 <= obj <= 616
31.38/31.43	c BCD2: #cores=19, #unrelaxed=4862, #relaxed=5678, #hardened=260
31.38/31.43	c BCD2: #sat=3 #unsat=29 bias=29/32
31.38/31.45	c Solving starts ...
31.38/31.45	c ============================[ Search Statistics ]============================
31.38/31.45	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
31.38/31.45	c       |         |          |          |    Limit     GC | Var      | Constra 
31.38/31.45	c =============================================================================
31.38/31.45	c  0.0s |       0 |        0 |        0 |    14086      0 |     6266 |       16
31.89/31.94	c  0.5s |       1 |     2883 |      100 |    14086      0 |     6266 |      285
32.88/33.00	c  1.6s |       2 |     6079 |      250 |    14086      0 |     6266 |      285
33.98/34.00	c  2.6s |       3 |     8107 |      475 |    14086      0 |     6266 |      285
35.29/35.31	c  3.9s |       4 |    11197 |      813 |    14086      0 |     6266 |      285
36.98/37.06	c  5.6s |       5 |    13253 |     1320 |    15495      0 |     6266 |      285
39.48/39.51	c  8.1s |       5 |    19184 |     1820 |    15495      0 |     6266 |      285
40.69/40.79	c  9.3s |       6 |    20660 |     2081 |    15495      0 |     6266 |      285
43.18/43.21	c 11.8s |       6 |    23910 |     2581 |    15495      0 |     6266 |      285
45.38/45.45	c 14.0s |       6 |    26140 |     3081 |    15495      0 |     6266 |      285
45.98/46.09	c 14.6s |       7 |    27526 |     3223 |    15495      0 |     6266 |      285
48.08/48.18	c 16.7s |       7 |    30967 |     3723 |    15495      0 |     6266 |      285
50.38/50.45	c 19.0s |       7 |    31988 |     4123 |    15495      0 |     6266 |      285
52.48/52.57	c 21.1s |       7 |    34646 |     4523 |    15495      0 |     6266 |      285
54.18/54.21	c 22.8s |       8 |    37945 |     4936 |    15495      0 |     6266 |      285
56.58/56.63	c 25.2s |       8 |    40691 |     5536 |    15495      0 |     6266 |      285
58.98/59.02	c 27.6s |       8 |    43439 |     6036 |    15495      0 |     6266 |      285
60.98/61.09	c 29.6s |       8 |    46022 |     6536 |    15495      0 |     6266 |      285
63.08/63.13	c 31.7s |       8 |    49648 |     7136 |    15495      0 |     6266 |      285
64.18/64.29	c 32.8s |       9 |    50468 |     7506 |    15495      0 |     6266 |      285
66.58/66.60	c 35.2s |       9 |    53300 |     8006 |    15495      0 |     6266 |      285
68.78/68.80	c 37.4s |       9 |    56060 |     8606 |    15495      0 |     6266 |      285
71.08/71.13	c 39.7s |       9 |    58294 |     9206 |    15495      0 |     6266 |      285
73.18/73.27	c 41.8s |       9 |    60084 |     9806 |    15495      0 |     6266 |      285
75.28/75.37	c 43.9s |       9 |    62365 |    10406 |    15495      0 |     6266 |      285
77.68/77.71	c 46.3s |       9 |    64098 |    10806 |    15495      1 |     6266 |      285
79.77/79.81	c 48.4s |      10 |    65800 |    11361 |    15495      1 |     6266 |      285
82.07/82.14	c 50.7s |      10 |    67900 |    11961 |    15495      1 |     6266 |      285
84.47/84.53	c 53.1s |      10 |    71715 |    12361 |    15495      1 |     6266 |      285
86.67/86.73	c 55.3s |      10 |    74374 |    12761 |    15495      1 |     6266 |      285
89.18/89.28	c 57.8s |      10 |    77932 |    13061 |    15495      1 |     6266 |      285
91.28/91.40	c 59.9s |      10 |    79734 |    13361 |    15495      1 |     6266 |      285
93.48/93.60	c 62.2s |      10 |    86162 |    13661 |    15495      1 |     6266 |      285
95.87/95.93	c 64.5s |      10 |    87669 |    13961 |    17045      1 |     6266 |      285
98.37/98.41	c 67.0s |      10 |    91931 |    14261 |    17045      1 |     6266 |      285
100.77/100.88	c 69.4s |      10 |    95069 |    14561 |    17045      1 |     6266 |      285
103.17/103.28	c 71.8s |      10 |    98143 |    14861 |    17045      1 |     6266 |      285
105.37/105.44	c 74.0s |      10 |   101609 |    15161 |    17045      1 |     6266 |      285
107.88/107.94	c 76.5s |      10 |   103545 |    15561 |    17045      1 |     6266 |      285
109.98/110.01	c 78.6s |      10 |   109420 |    15761 |    17045      1 |     6266 |      285
112.67/112.73	c 81.3s |      10 |   122108 |    15961 |    17045      1 |     6266 |      285
114.67/114.75	c 83.3s |      10 |   124412 |    16161 |    17045      1 |     6266 |      285
117.47/117.51	c 86.1s |      10 |   128074 |    16461 |    17045      1 |     6266 |      285
119.98/120.03	c 88.6s |      10 |   130617 |    16761 |    17045      1 |     6266 |      285
122.57/122.62	c 91.2s |      10 |   132904 |    17061 |    17045      1 |     6266 |      285
123.77/123.86	c 92.4s |      11 |   135634 |    17144 |    17045      1 |     6266 |      285
125.77/125.87	c 94.4s |      11 |   140562 |    17444 |    17045      1 |     6266 |      285
127.87/127.97	c 96.5s |      11 |   143610 |    17744 |    17045      1 |     6266 |      285
131.07/131.14	c 99.7s |      11 |   147035 |    18044 |    17045      1 |     6266 |      285
133.77/133.89	c  102s |      11 |   157271 |    18444 |    17045      1 |     6266 |      285
135.97/136.01	c  104s |      11 |   159832 |    18644 |    17045      1 |     6266 |      285
138.77/138.83	c  107s |      11 |   163944 |    18944 |    17045      1 |     6266 |      285
141.67/141.72	c  110s |      11 |   173077 |    19144 |    17045      1 |     6266 |      285
143.87/143.97	c  112s |      11 |   182475 |    19344 |    17045      1 |     6266 |      285
146.76/146.87	c  115s |      11 |   187403 |    19644 |    17045      1 |     6266 |      285
148.76/148.89	c  117s |      11 |   191183 |    19944 |    17045      1 |     6266 |      285
152.56/152.60	c  121s |      11 |   200039 |    20244 |    17045      1 |     6266 |      285
155.07/155.15	c  123s |      11 |   215716 |    20444 |    17045      1 |     6266 |      285
157.76/157.88	c  126s |      11 |   228157 |    20744 |    17045      1 |     6266 |      285
159.86/159.96	c  128s |      11 |   237550 |    20944 |    17045      1 |     6266 |      285
162.26/162.32	c  130s |      11 |   241786 |    21144 |    17045      1 |     6266 |      285
164.46/164.53	c  133s |      11 |   246657 |    21344 |    17045      1 |     6266 |      285
167.56/167.69	c  136s |      11 |   255236 |    21644 |    17045      1 |     6266 |      285
170.36/170.41	c  138s |      11 |   263512 |    21944 |    17045      1 |     6266 |      285
172.67/172.71	c  141s |      11 |   273570 |    22144 |    17045      1 |     6266 |      285
175.36/175.43	c  143s |      11 |   291340 |    22344 |    17045      1 |     6266 |      285
177.56/177.67	c  146s |      11 |   300477 |    22544 |    17045      1 |     6266 |      285
180.06/180.18	c  148s |      11 |   303288 |    22744 |    17045      1 |     6266 |      285
182.36/182.49	c  151s |      11 |   305928 |    22944 |    17045      1 |     6266 |      285
184.87/184.90	c  153s |      11 |   307809 |    23144 |    17045      1 |     6266 |      285
187.76/187.88	c  156s |      11 |   309652 |    23344 |    17045      1 |     6266 |      285
190.16/190.25	c  158s |      11 |   311356 |    23544 |    17045      1 |     6266 |      285
192.66/192.75	c  161s |      11 |   318241 |    23944 |    17045      1 |     6266 |      285
194.76/194.84	c  163s |      11 |   322426 |    24244 |    17045      2 |     6266 |      285
196.86/196.97	c  165s |      11 |   326684 |    24544 |    17045      2 |     6266 |      285
199.46/199.50	c  168s |      11 |   330260 |    24944 |    17045      2 |     6266 |      285
201.96/202.07	c  170s |      11 |   343208 |    25244 |    17045      2 |     6266 |      285
204.16/204.28	c  172s |      11 |   348982 |    25544 |    17045      2 |     6266 |      285
206.36/206.42	c  174s |      12 |   351475 |    25819 |    17045      2 |     6266 |      285
208.66/208.77	c  177s |      12 |   357342 |    26119 |    17045      2 |     6266 |      285
211.26/211.37	c  179s |      12 |   359967 |    26519 |    17045      2 |     6266 |      285
213.46/213.52	c  182s |      12 |   361133 |    27019 |    17045      2 |     6266 |      285
215.85/215.93	c  184s |      12 |   362981 |    27419 |    17045      2 |     6266 |      285
218.05/218.14	c  186s |      12 |   364067 |    28019 |    17045      2 |     6266 |      285
220.06/220.15	c  188s |      12 |   366593 |    28519 |    17045      2 |     6266 |      285
222.16/222.24	c  190s |      12 |   368656 |    28919 |    17045      2 |     6266 |      285
224.36/224.45	c  193s |      12 |   371382 |    29419 |    17045      2 |     6266 |      285
226.66/226.78	c  195s |      12 |   373509 |    30019 |    17045      2 |     6266 |      285
228.87/228.95	c  197s |      12 |   375836 |    30519 |    17045      2 |     6266 |      285
231.26/231.34	c  199s |      12 |   378152 |    31119 |    17045      2 |     6266 |      285
233.66/233.71	c  202s |      12 |   380247 |    31719 |    17045      2 |     6266 |      285
235.76/235.86	c  204s |      12 |   382044 |    32219 |    17045      2 |     6266 |      285
238.06/238.14	c  206s |      12 |   384424 |    32819 |    17045      2 |     6266 |      285
240.36/240.46	c  209s |      12 |   386197 |    33419 |    18750      2 |     6266 |      285
242.36/242.48	c  211s |      12 |   387654 |    33919 |    18750      2 |     6266 |      285
244.56/244.68	c  213s |      12 |   388923 |    34419 |    18750      2 |     6266 |      285
246.86/246.94	c  215s |      12 |   390367 |    34919 |    18750      2 |     6266 |      285
249.16/249.20	c  217s |      12 |   392153 |    35419 |    18750      2 |     6266 |      285
251.15/251.22	c  219s |      12 |   394116 |    35919 |    18750      2 |     6266 |      285
253.35/253.48	c  222s |      12 |   395936 |    36419 |    18750      2 |     6266 |      285
255.45/255.57	c  224s |      12 |   397029 |    36919 |    18750      2 |     6266 |      285
257.65/257.79	c  226s |      12 |   397799 |    37419 |    18750      2 |     6266 |      285
259.85/259.97	c  228s |      12 |   398909 |    37919 |    18750      2 |     6266 |      285
262.25/262.34	c  230s |      12 |   400129 |    38419 |    18750      3 |     6266 |      285
264.15/264.20	c  232s |      13 |   401246 |    38832 |    18750      3 |     6266 |      285
266.16/266.28	c  234s |      13 |   403672 |    39332 |    18750      3 |     6266 |      285
268.25/268.35	c  236s |      13 |   404968 |    39832 |    18750      3 |     6266 |      285
270.35/270.48	c  239s |      13 |   406674 |    40332 |    18750      3 |     6266 |      285
272.76/272.88	c  241s |      13 |   408439 |    40932 |    18750      3 |     6266 |      285
274.75/274.89	c  243s |      13 |   409722 |    41432 |    18750      3 |     6266 |      285
277.26/277.31	c  245s |      13 |   411486 |    42032 |    18750      3 |     6266 |      285
279.46/279.54	c  248s |      13 |   412386 |    42632 |    18750      3 |     6266 |      285
281.56/281.62	c  250s |      13 |   413377 |    43132 |    18750      3 |     6266 |      285
283.76/283.88	c  252s |      13 |   414178 |    43632 |    18750      3 |     6266 |      285
286.35/286.40	c  254s |      13 |   415886 |    44232 |    18750      3 |     6266 |      285
288.85/288.91	c  257s |      13 |   418691 |    44732 |    18750      3 |     6266 |      285
291.24/291.30	c  259s |      13 |   420153 |    45232 |    18750      3 |     6266 |      285
293.34/293.42	c  261s |      13 |   421806 |    45732 |    18750      3 |     6266 |      285
295.64/295.76	c  264s |      13 |   423897 |    46232 |    18750      3 |     6266 |      285
297.94/298.01	c  266s |      13 |   424936 |    46732 |    18750      3 |     6266 |      285
300.14/300.21	c  268s |      13 |   426637 |    47232 |    18750      3 |     6266 |      285
302.14/302.27	c  270s |      13 |   427921 |    47732 |    18750      3 |     6266 |      285
304.44/304.50	c  273s |      13 |   430087 |    48332 |    18750      3 |     6266 |      285
306.44/306.56	c  275s |      13 |   431064 |    48832 |    18750      3 |     6266 |      285
308.54/308.60	c  277s |      13 |   432023 |    49332 |    18750      3 |     6266 |      285
310.84/310.95	c  279s |      13 |   433617 |    49932 |    18750      3 |     6266 |      285
313.04/313.11	c  281s |      13 |   435139 |    50432 |    18750      3 |     6266 |      285
315.04/315.13	c  283s |      13 |   436157 |    50932 |    18750      3 |     6266 |      285
317.14/317.20	c  285s |      13 |   437255 |    51432 |    18750      3 |     6266 |      285
319.14/319.21	c  287s |      13 |   437850 |    51832 |    18750      4 |     6266 |      285
321.15/321.23	c  289s |      13 |   439123 |    52332 |    18750      4 |     6266 |      285
323.34/323.40	c  291s |      13 |   440095 |    52832 |    18750      4 |     6266 |      285
325.33/325.43	c  293s |      13 |   441148 |    53332 |    18750      4 |     6266 |      285
327.53/327.62	c  296s |      13 |   442681 |    53832 |    18750      4 |     6266 |      285
329.94/330.02	c  298s |      13 |   444096 |    54432 |    18750      4 |     6266 |      285
332.03/332.13	c  300s |      13 |   445286 |    54932 |    18750      4 |     6266 |      285
334.44/334.54	c  303s |      13 |   447022 |    55432 |    18750      4 |     6266 |      285
336.63/336.72	c  305s |      13 |   448622 |    55932 |    18750      4 |     6266 |      285
338.63/338.72	c  307s |      13 |   449861 |    56432 |    18750      4 |     6266 |      285
340.93/341.09	c  309s |      13 |   451752 |    57032 |    18750      4 |     6266 |      285
343.13/343.21	c  311s |      13 |   452377 |    57532 |    18750      4 |     6266 |      285
345.22/345.40	c  313s |      13 |   453650 |    58032 |    18750      4 |     6266 |      285
346.53/346.66	c  315s |      14 |   454290 |    58352 |    18750      4 |     6266 |      285
348.92/349.07	c  317s |      14 |   456790 |    58852 |    18750      4 |     6266 |      285
351.22/351.36	c  319s |      14 |   458887 |    59452 |    18750      4 |     6266 |      285
353.32/353.48	c  322s |      14 |   460881 |    59952 |    18750      4 |     6266 |      285
355.52/355.63	c  324s |      14 |   462331 |    60352 |    18750      4 |     6266 |      285
357.72/357.89	c  326s |      14 |   463981 |    60852 |    18750      4 |     6266 |      285
359.73/359.90	c  328s |      14 |   464746 |    61252 |    18750      4 |     6266 |      285
362.22/362.30	c  330s |      14 |   466427 |    61752 |    18750      4 |     6266 |      285
364.22/364.35	c  332s |      14 |   469011 |    62252 |    18750      4 |     6266 |      285
366.61/366.79	c  335s |      14 |   470796 |    62852 |    20625      4 |     6266 |      285
368.91/369.09	c  337s |      14 |   472740 |    63352 |    20625      4 |     6266 |      285
371.01/371.16	c  339s |      14 |   474952 |    63852 |    20625      4 |     6266 |      285
373.11/373.27	c  341s |      14 |   476985 |    64352 |    20625      4 |     6266 |      285
375.21/375.39	c  343s |      14 |   478246 |    64952 |    20625      4 |     6266 |      285
377.31/377.44	c  345s |      14 |   479424 |    65552 |    20625      4 |     6266 |      285
379.31/379.45	c  348s |      14 |   480632 |    66052 |    20625      4 |     6266 |      285
381.51/381.70	c  350s |      14 |   482636 |    66652 |    20625      4 |     6266 |      285
383.91/384.07	c  352s |      14 |   484446 |    67252 |    20625      5 |     6266 |      285
386.01/386.19	c  354s |      14 |   486170 |    67852 |    20625      5 |     6266 |      285
388.21/388.33	c  356s |      14 |   488259 |    68452 |    20625      5 |     6266 |      285
390.30/390.45	c  359s |      14 |   489912 |    69052 |    20625      5 |     6266 |      285
392.61/392.76	c  361s |      14 |   491969 |    69752 |    20625      5 |     6266 |      285
395.00/395.11	c  363s |      14 |   493632 |    70452 |    20625      5 |     6266 |      285
397.00/397.18	c  365s |      14 |   495134 |    71052 |    20625      5 |     6266 |      285
399.20/399.35	c  367s |      14 |   496396 |    71652 |    20625      5 |     6266 |      285
401.20/401.39	c  369s |      14 |   497759 |    72252 |    20625      5 |     6266 |      285
403.30/403.42	c  371s |      14 |   499173 |    72852 |    20625      5 |     6266 |      285
405.69/405.83	c  374s |      14 |   500239 |    73452 |    20625      5 |     6266 |      285
408.00/408.15	c  376s |      14 |   501491 |    73952 |    20625      5 |     6266 |      285
410.30/410.46	c  379s |      14 |   502558 |    74452 |    20625      5 |     6266 |      285
412.50/412.67	c  381s |      14 |   503639 |    74952 |    20625      5 |     6266 |      285
414.60/414.74	c  383s |      14 |   504916 |    75452 |    20625      5 |     6266 |      285
416.80/416.94	c  385s |      14 |   505596 |    75852 |    20625      5 |     6266 |      285
419.10/419.22	c  387s |      14 |   506892 |    76352 |    20625      5 |     6266 |      285
421.49/421.66	c  390s |      14 |   507652 |    76852 |    20625      5 |     6266 |      285
423.79/423.99	c  392s |      14 |   508309 |    77252 |    20625      5 |     6266 |      285
425.99/426.18	c  394s |      14 |   509438 |    77852 |    20625      5 |     6266 |      285
428.48/428.65	c  397s |      14 |   510908 |    78352 |    20625      5 |     6266 |      285
430.78/430.95	c  399s |      14 |   511769 |    78752 |    20625      5 |     6266 |      285
433.39/433.55	c  402s |      14 |   512722 |    79252 |    20625      5 |     6266 |      285
435.49/435.67	c  404s |      14 |   513358 |    79652 |    20625      5 |     6266 |      285
438.18/438.31	c  406s |      14 |   514338 |    80152 |    20625      5 |     6266 |      285
440.18/440.33	c  408s |      14 |   515256 |    80552 |    20625      5 |     6266 |      285
442.58/442.76	c  411s |      14 |   516569 |    81052 |    20625      5 |     6266 |      285
444.88/445.08	c  413s |      14 |   517697 |    81552 |    20625      6 |     6266 |      285
446.88/447.08	c  415s |      14 |   518715 |    82052 |    20625      6 |     6266 |      285
449.18/449.38	c  417s |      14 |   519222 |    82452 |    20625      6 |     6266 |      285
451.68/451.89	c  420s |      14 |   519743 |    82852 |    20625      6 |     6266 |      285
453.88/454.00	c  422s |      14 |   520737 |    83352 |    20625      6 |     6266 |      285
456.08/456.27	c  424s |      14 |   521704 |    83652 |    20625      6 |     6266 |      285
458.08/458.29	c  426s |      14 |   522411 |    84052 |    20625      6 |     6266 |      285
460.48/460.66	c  429s |      14 |   523321 |    84552 |    20625      6 |     6266 |      285
462.58/462.70	c  431s |      14 |   524586 |    85052 |    20625      6 |     6266 |      285
464.58/464.76	c  433s |      14 |   525595 |    85552 |    20625      6 |     6266 |      285
466.78/466.98	c  435s |      14 |   526634 |    86052 |    20625      6 |     6266 |      285
469.28/469.40	c  437s |      14 |   528017 |    86652 |    20625      6 |     6266 |      285
471.28/471.45	c  440s |      14 |   529004 |    87152 |    20625      6 |     6266 |      285
473.48/473.61	c  442s |      15 |   530617 |    87632 |    20625      6 |     6266 |      285
475.57/475.72	c  444s |      15 |   532773 |    88132 |    20625      6 |     6266 |      285
477.67/477.81	c  446s |      15 |   533740 |    88632 |    20625      6 |     6266 |      285
479.87/480.04	c  448s |      15 |   534688 |    89132 |    20625      6 |     6266 |      285
481.97/482.18	c  450s |      15 |   535291 |    89532 |    20625      6 |     6266 |      285
484.17/484.37	c  452s |      15 |   536033 |    90032 |    20625      6 |     6266 |      285
486.67/486.81	c  455s |      15 |   537052 |    90532 |    20625      6 |     6266 |      285
488.97/489.14	c  457s |      15 |   537992 |    91032 |    20625      6 |     6266 |      285
491.07/491.24	c  459s |      15 |   538857 |    91532 |    20625      6 |     6266 |      285
493.37/493.54	c  462s |      15 |   540185 |    92032 |    20625      6 |     6266 |      285
495.98/496.11	c  464s |      15 |   541071 |    92532 |    20625      6 |     6266 |      285
498.07/498.20	c  466s |      15 |   542103 |    93032 |    20625      6 |     6266 |      285
500.07/500.23	c  468s |      15 |   543058 |    93532 |    20625      6 |     6266 |      285
502.17/502.34	c  470s |      15 |   543995 |    94032 |    20625      6 |     6266 |      285
504.27/504.43	c  472s |      15 |   544933 |    94532 |    20625      6 |     6266 |      285
506.37/506.52	c  475s |      15 |   545878 |    95032 |    20625      6 |     6266 |      285
508.87/509.08	c  477s |      15 |   546818 |    95532 |    20625      7 |     6266 |      285
511.17/511.38	c  479s |      15 |   547769 |    96032 |    20625      7 |     6266 |      285
513.27/513.49	c  482s |      15 |   548753 |    96532 |    20625      7 |     6266 |      285
515.36/515.51	c  484s |      15 |   549777 |    97032 |    20625      7 |     6266 |      285
517.76/517.90	c  486s |      15 |   551031 |    97632 |    20625      7 |     6266 |      285
519.96/520.14	c  488s |      15 |   552100 |    98132 |    20625      7 |     6266 |      285
522.26/522.49	c  491s |      15 |   553813 |    98732 |    20625      7 |     6266 |      285
524.56/524.76	c  493s |      15 |   555154 |    99332 |    20625      7 |     6266 |      285
527.16/527.34	c  495s |      15 |   556317 |    99932 |    20625      7 |     6266 |      285
529.36/529.56	c  498s |      15 |   557539 |   100532 |    20625      7 |     6266 |      285
531.76/531.94	c  500s |      15 |   558970 |   101132 |    20625      7 |     6266 |      285
534.16/534.35	c  502s |      15 |   560625 |   101732 |    20625      7 |     6266 |      285
536.25/536.43	c  504s |      15 |   561644 |   102232 |    20625      7 |     6266 |      285
538.25/538.49	c  507s |      15 |   562783 |   102732 |    20625      7 |     6266 |      285
540.55/540.75	c  509s |      15 |   564001 |   103332 |    20625      7 |     6266 |      285
542.95/543.11	c  511s |      15 |   565021 |   103932 |    20625      7 |     6266 |      285
544.95/545.12	c  513s |      15 |   565800 |   104432 |    20625      7 |     6266 |      285
546.95/547.14	c  515s |      15 |   566680 |   104932 |    20625      7 |     6266 |      285
549.15/549.33	c  517s |      15 |   567586 |   105532 |    20625      7 |     6266 |      285
551.45/551.60	c  520s |      15 |   568590 |   106132 |    22688      7 |     6266 |      285
553.75/553.99	c  522s |      15 |   569701 |   106732 |    22688      7 |     6266 |      285
556.05/556.28	c  524s |      15 |   570818 |   107332 |    22688      7 |     6266 |      285
558.25/558.48	c  527s |      15 |   571328 |   107832 |    22688      7 |     6266 |      285
560.45/560.69	c  529s |      15 |   571964 |   108332 |    22688      7 |     6266 |      285
562.65/562.80	c  531s |      15 |   572676 |   108832 |    22688      7 |     6266 |      285
565.05/565.21	c  533s |      15 |   573556 |   109432 |    22688      7 |     6266 |      285
567.15/567.34	c  535s |      15 |   574225 |   109932 |    22688      7 |     6266 |      285
569.15/569.36	c  537s |      15 |   574673 |   110332 |    22688      7 |     6266 |      285
571.45/571.66	c  540s |      15 |   575295 |   110832 |    22688      7 |     6266 |      285
573.65/573.86	c  542s |      15 |   576008 |   111332 |    22688      7 |     6266 |      285
575.74/575.91	c  544s |      15 |   576556 |   111732 |    22688      7 |     6266 |      285
577.74/577.95	c  546s |      15 |   576996 |   112132 |    22688      8 |     6266 |      285
580.14/580.34	c  548s |      15 |   578305 |   112732 |    22688      8 |     6266 |      285
582.24/582.42	c  550s |      15 |   579197 |   113132 |    22688      8 |     6266 |      285
584.24/584.47	c  553s |      15 |   580529 |   113532 |    22688      8 |     6266 |      285
586.64/586.86	c  555s |      15 |   582026 |   114032 |    22688      8 |     6266 |      285
588.94/589.18	c  557s |      15 |   584730 |   114632 |    22688      8 |     6266 |      285
591.24/591.50	c  560s |      15 |   586847 |   115232 |    22688      8 |     6266 |      285
593.54/593.76	c  562s |      15 |   587582 |   115732 |    22688      8 |     6266 |      285
595.83/596.01	c  564s |      15 |   588233 |   116232 |    22688      8 |     6266 |      285
598.13/598.33	c  566s |      15 |   589563 |   116832 |    22688      8 |     6266 |      285
600.23/600.43	c  568s |      15 |   590622 |   117332 |    22688      8 |     6266 |      285
602.53/602.74	c  571s |      15 |   591614 |   117832 |    22688      8 |     6266 |      285
604.63/604.84	c  573s |      15 |   592344 |   118232 |    22688      8 |     6266 |      285
606.73/606.93	c  575s |      15 |   593149 |   118732 |    22688      8 |     6266 |      285
609.23/609.46	c  578s |      15 |   594346 |   119332 |    22688      8 |     6266 |      285
611.32/611.53	c  580s |      15 |   595355 |   119832 |    22688      8 |     6266 |      285
613.63/613.90	c  582s |      15 |   596830 |   120532 |    22688      8 |     6266 |      285
615.72/615.91	c  584s |      15 |   597978 |   121032 |    22688      8 |     6266 |      285
618.03/618.22	c  586s |      15 |   599137 |   121632 |    22688      8 |     6266 |      285
620.23/620.42	c  588s |      15 |   600068 |   122132 |    22688      8 |     6266 |      285
622.22/622.44	c  590s |      15 |   600866 |   122532 |    22688      8 |     6266 |      285
624.52/624.71	c  593s |      15 |   601894 |   123032 |    22688      8 |     6266 |      285
626.72/627.00	c  595s |      15 |   603208 |   123632 |    22688      8 |     6266 |      285
629.22/629.48	c  598s |      15 |   604167 |   124132 |    22688      8 |     6266 |      285
631.62/631.81	c  600s |      15 |   605035 |   124632 |    22688      8 |     6266 |      285
634.01/634.22	c  602s |      15 |   606030 |   125132 |    22688      8 |     6266 |      285
636.41/636.60	c  605s |      15 |   607114 |   125632 |    22688      8 |     6266 |      285
638.61/638.81	c  607s |      15 |   608134 |   126032 |    22688      8 |     6266 |      285
640.91/641.14	c  609s |      15 |   610421 |   126532 |    22688      8 |     6266 |      285
643.32/643.53	c  612s |      15 |   611414 |   127032 |    22688      8 |     6266 |      285
645.41/645.68	c  614s |      15 |   612397 |   127432 |    22688      9 |     6266 |      285
647.72/647.92	c  616s |      15 |   615128 |   127832 |    22688      9 |     6266 |      285
649.81/650.01	c  618s |      15 |   616052 |   128232 |    22688      9 |     6266 |      285
651.81/652.06	c  620s |      15 |   617758 |   128732 |    22688      9 |     6266 |      285
654.11/654.34	c  622s |      15 |   618950 |   129332 |    22688      9 |     6266 |      285
656.41/656.69	c  625s |      15 |   620488 |   129832 |    22688      9 |     6266 |      285
658.61/658.84	c  627s |      15 |   623436 |   130332 |    22688      9 |     6266 |      285
660.71/660.92	c  629s |      15 |   624424 |   130832 |    22688      9 |     6266 |      285
662.91/663.19	c  631s |      15 |   625527 |   131332 |    22688      9 |     6266 |      285
664.01/664.21	c  632s |      16 |   625952 |   131552 |    22688      9 |     6266 |      285
666.21/666.46	c  635s |      16 |   627691 |   131952 |    22688      9 |     6266 |      285
668.61/668.83	c  637s |      16 |   628588 |   132452 |    22688      9 |     6266 |      285
671.01/671.20	c  639s |      16 |   629807 |   132952 |    22688      9 |     6266 |      285
673.30/673.55	c  642s |      16 |   631119 |   133552 |    22688      9 |     6266 |      285
675.60/675.86	c  644s |      16 |   632647 |   134152 |    22688      9 |     6266 |      285
677.90/678.19	c  646s |      16 |   633835 |   134752 |    22688      9 |     6266 |      285
680.20/680.44	c  648s |      16 |   635074 |   135352 |    22688      9 |     6266 |      285
682.20/682.47	c  651s |      16 |   636007 |   135952 |    22688      9 |     6266 |      285
684.30/684.59	c  653s |      16 |   636975 |   136552 |    22688      9 |     6266 |      285
686.60/686.83	c  655s |      16 |   638281 |   137152 |    22688      9 |     6266 |      285
688.90/689.12	c  657s |      16 |   639272 |   137752 |    22688      9 |     6266 |      285
691.10/691.35	c  659s |      16 |   640491 |   138452 |    22688      9 |     6266 |      285
693.40/693.67	c  662s |      16 |   641394 |   139052 |    22688      9 |     6266 |      285
695.60/695.84	c  664s |      16 |   642388 |   139552 |    22688      9 |     6266 |      285
697.90/698.19	c  666s |      16 |   643297 |   140152 |    22688      9 |     6266 |      285
700.30/700.58	c  669s |      16 |   644360 |   140752 |    22688      9 |     6266 |      285
702.80/703.02	c  671s |      16 |   645444 |   141352 |    22688      9 |     6266 |      285
704.79/705.09	c  673s |      16 |   646201 |   141852 |    22688      9 |     6266 |      285
707.29/707.58	c  676s |      16 |   647224 |   142452 |    22688      9 |     6266 |      285
709.99/710.23	c  678s |      16 |   647957 |   142852 |    22688     10 |     6266 |      285
712.39/712.63	c  681s |      16 |   649063 |   143452 |    22688     10 |     6266 |      285
714.59/714.83	c  683s |      16 |   650547 |   144052 |    22688     10 |     6266 |      285
717.00/717.24	c  685s |      16 |   651775 |   144652 |    22688     10 |     6266 |      285
719.09/719.32	c  687s |      16 |   652292 |   144952 |    22688     10 |     6266 |      285
721.09/721.36	c  689s |      16 |   653198 |   145352 |    22688     10 |     6266 |      285
723.29/723.50	c  692s |      16 |   654205 |   145952 |    22688     10 |     6266 |      285
725.59/725.85	c  694s |      16 |   655157 |   146652 |    22688     10 |     6266 |      285
727.79/728.04	c  696s |      16 |   656081 |   147152 |    22688     10 |     6266 |      285
730.29/730.52	c  699s |      16 |   656948 |   147652 |    22688     10 |     6266 |      285
732.49/732.74	c  701s |      16 |   657807 |   148152 |    22688     10 |     6266 |      285
734.48/734.79	c  703s |      16 |   658866 |   148552 |    22688     10 |     6266 |      285
736.89/737.17	c  705s |      16 |   660578 |   149152 |    22688     10 |     6266 |      285
738.88/739.19	c  707s |      16 |   661501 |   149652 |    22688     10 |     6266 |      285
741.68/741.91	c  710s |      16 |   663908 |   150252 |    22688     10 |     6266 |      285
743.78/744.03	c  712s |      16 |   670335 |   150752 |    22688     10 |     6266 |      285
745.98/746.26	c  714s |      16 |   672556 |   151152 |    22688     10 |     6266 |      285
748.28/748.51	c  717s |      16 |   674258 |   151652 |    22688     10 |     6266 |      285
750.68/750.97	c  719s |      16 |   675223 |   152152 |    22688     10 |     6266 |      285
752.78/753.03	c  721s |      16 |   676032 |   152552 |    22688     10 |     6266 |      285
754.98/755.21	c  723s |      16 |   677264 |   153052 |    22688     10 |     6266 |      285
757.08/757.31	c  725s |      16 |   678106 |   153452 |    22688     10 |     6266 |      285
759.18/759.45	c  727s |      16 |   679378 |   153952 |    22688     10 |     6266 |      285
761.58/761.88	c  730s |      16 |   681049 |   154552 |    22688     10 |     6266 |      285
763.78/764.05	c  732s |      16 |   681788 |   154952 |    22688     10 |     6266 |      285
766.07/766.35	c  734s |      16 |   682648 |   155452 |    22688     10 |     6266 |      285
768.57/768.80	c  737s |      16 |   684024 |   155952 |    22688     10 |     6266 |      285
770.77/771.02	c  739s |      16 |   685204 |   156452 |    22688     10 |     6266 |      285
772.87/773.17	c  741s |      16 |   686255 |   156952 |    22688     10 |     6266 |      285
775.07/775.34	c  743s |      16 |   688196 |   157452 |    22688     10 |     6266 |      285
777.37/777.60	c  746s |      16 |   689251 |   158052 |    22688     11 |     6266 |      285
779.67/779.92	c  748s |      16 |   690503 |   158652 |    22688     11 |     6266 |      285
782.07/782.38	c  750s |      16 |   691567 |   159152 |    22688     11 |     6266 |      285
784.46/784.75	c  753s |      16 |   692695 |   159752 |    22688     11 |     6266 |      285
786.46/786.76	c  755s |      16 |   694533 |   160152 |    22688     11 |     6266 |      285
788.86/789.11	c  757s |      16 |   697843 |   160652 |    22688     11 |     6266 |      285
791.16/791.41	c  759s |      16 |   699561 |   161252 |    22688     11 |     6266 |      285
793.36/793.68	c  762s |      16 |   700835 |   161852 |    22688     11 |     6266 |      285
795.46/795.71	c  764s |      16 |   702012 |   162352 |    22688     11 |     6266 |      285
797.56/797.82	c  766s |      16 |   702713 |   162852 |    22688     11 |     6266 |      285
799.86/800.10	c  768s |      16 |   703480 |   163352 |    22688     11 |     6266 |      285
802.26/802.59	c  771s |      16 |   704395 |   163852 |    22688     11 |     6266 |      285
804.75/805.01	c  773s |      16 |   705367 |   164352 |    22688     11 |     6266 |      285
806.85/807.15	c  775s |      16 |   706456 |   164952 |    22688     11 |     6266 |      285
808.95/809.29	c  777s |      16 |   710081 |   165452 |    22688     11 |     6266 |      285
811.15/811.42	c  779s |      16 |   712025 |   165952 |    22688     11 |     6266 |      285
813.45/813.79	c  782s |      16 |   715588 |   166352 |    22688     11 |     6266 |      285
815.75/816.08	c  784s |      16 |   716797 |   166852 |    22688     11 |     6266 |      285
817.85/818.12	c  786s |      16 |   717658 |   167352 |    22688     11 |     6266 |      285
819.95/820.29	c  788s |      16 |   718449 |   167852 |    22688     11 |     6266 |      285
822.35/822.67	c  791s |      16 |   719884 |   168452 |    22688     11 |     6266 |      285
824.44/824.78	c  793s |      16 |   720482 |   168852 |    22688     11 |     6266 |      285
826.44/826.78	c  795s |      16 |   721384 |   169352 |    22688     11 |     6266 |      285
829.04/829.30	c  797s |      16 |   722552 |   169852 |    22688     11 |     6266 |      285
831.45/831.73	c  800s |      16 |   723785 |   170352 |    22688     11 |     6266 |      285
834.04/834.36	c  802s |      16 |   724446 |   170752 |    22688     11 |     6266 |      285
836.14/836.41	c  804s |      16 |   725441 |   171052 |    22688     11 |     6266 |      285
838.44/838.73	c  807s |      16 |   727058 |   171652 |    24957     11 |     6266 |      285
840.74/841.01	c  809s |      16 |   728225 |   172252 |    24957     11 |     6266 |      285
842.94/843.25	c  811s |      16 |   729324 |   172852 |    24957     11 |     6266 |      285
845.24/845.50	c  814s |      16 |   729552 |   172952 |    24957     11 |     6266 |      285
847.54/847.81	c  816s |      16 |   730720 |   173352 |    24957     11 |     6266 |      285
849.84/850.10	c  818s |      16 |   732019 |   173952 |    24957     11 |     6266 |      285
852.25/852.57	c  821s |      16 |   733770 |   174452 |    24957     11 |     6266 |      285
854.73/855.01	c  823s |      16 |   734765 |   174952 |    24957     11 |     6266 |      285
857.13/857.40	c  825s |      16 |   736203 |   175452 |    24957     12 |     6266 |      285
859.43/859.70	c  828s |      16 |   739001 |   175952 |    24957     12 |     6266 |      285
861.73/862.02	c  830s |      16 |   739844 |   176552 |    24957     12 |     6266 |      285
864.13/864.45	c  833s |      16 |   744371 |   177052 |    24957     12 |     6266 |      285
866.23/866.55	c  835s |      16 |   748636 |   177452 |    24957     12 |     6266 |      285
868.53/868.85	c  837s |      16 |   750261 |   178152 |    24957     12 |     6266 |      285
870.53/870.89	c  839s |      16 |   751397 |   178652 |    24957     12 |     6266 |      285
872.73/873.07	c  841s |      16 |   752286 |   179252 |    24957     12 |     6266 |      285
874.83/875.19	c  843s |      16 |   754278 |   179752 |    24957     12 |     6266 |      285
876.92/877.22	c  845s |      16 |   755621 |   180352 |    24957     12 |     6266 |      285
879.22/879.51	c  848s |      16 |   757000 |   181052 |    24957     12 |     6266 |      285
881.52/881.90	c  850s |      16 |   757536 |   181352 |    24957     12 |     6266 |      285
883.62/883.99	c  852s |      16 |   758393 |   181752 |    24957     12 |     6266 |      285
885.82/886.12	c  854s |      16 |   759292 |   182252 |    24957     12 |     6266 |      285
887.82/888.20	c  856s |      16 |   760463 |   182752 |    24957     12 |     6266 |      285
890.02/890.36	c  858s |      16 |   761476 |   183252 |    24957     12 |     6266 |      285
892.02/892.39	c  860s |      16 |   762573 |   183752 |    24957     12 |     6266 |      285
894.42/894.75	c  863s |      16 |   763742 |   184352 |    24957     12 |     6266 |      285
896.52/896.84	c  865s |      16 |   764662 |   184852 |    24957     12 |     6266 |      285
898.72/899.01	c  867s |      16 |   765608 |   185352 |    24957     12 |     6266 |      285
900.73/901.09	c  869s |      16 |   766733 |   185852 |    24957     12 |     6266 |      285
902.93/903.26	c  871s |      16 |   767530 |   186352 |    24957     12 |     6266 |      285
905.03/905.31	c  873s |      16 |   768356 |   186852 |    24957     12 |     6266 |      285
907.42/907.76	c  876s |      16 |   769708 |   187352 |    24957     12 |     6266 |      285
909.42/909.78	c  878s |      16 |   770793 |   187752 |    24957     12 |     6266 |      285
911.62/911.96	c  880s |      16 |   771894 |   188252 |    24957     12 |     6266 |      285
913.82/914.15	c  882s |      16 |   772738 |   188752 |    24957     12 |     6266 |      285
915.81/916.18	c  884s |      16 |   773301 |   189252 |    24957     12 |     6266 |      285
918.11/918.44	c  886s |      16 |   774075 |   189752 |    24957     12 |     6266 |      285
920.52/920.86	c  889s |      16 |   774871 |   190252 |    24957     12 |     6266 |      285
922.81/923.16	c  891s |      16 |   775604 |   190752 |    24957     12 |     6266 |      285
925.01/925.38	c  893s |      16 |   776288 |   191252 |    24957     12 |     6266 |      285
927.12/927.43	c  895s |      16 |   777110 |   191652 |    24957     12 |     6266 |      285
929.51/929.82	c  898s |      16 |   777903 |   192152 |    24957     13 |     6266 |      285
931.52/931.85	c  900s |      16 |   778727 |   192652 |    24957     13 |     6266 |      285
933.91/934.21	c  902s |      16 |   779831 |   193252 |    24957     13 |     6266 |      285
935.91/936.21	c  904s |      16 |   780460 |   193752 |    24957     13 |     6266 |      285
938.01/938.35	c  906s |      16 |   781152 |   194252 |    24957     13 |     6266 |      285
940.11/940.40	c  908s |      16 |   781757 |   194752 |    24957     13 |     6266 |      285
946.11/946.49	c  915s |      16 |   783239 |   195152 |    24957     13 |     6266 |      285
948.61/948.96	c  917s |      16 |   784518 |   195652 |    24957     13 |     6266 |      285
950.81/951.15	c  919s |      16 |   785333 |   196052 |    24957     13 |     6266 |      285
953.71/954.07	c  922s |      16 |   786135 |   196352 |    24957     13 |     6266 |      285
956.01/956.34	c  924s |      16 |   787115 |   196752 |    24957     13 |     6266 |      285
958.11/958.47	c  927s |      16 |   788145 |   197152 |    24957     13 |     6266 |      285
959.51/959.85	c  928s |      17 |   788771 |   197432 |    24957     13 |     6266 |      285
961.60/961.97	c  930s |      17 |   790945 |   197832 |    24957     13 |     6266 |      285
963.70/964.08	c  932s |      17 |   793630 |   198232 |    24957     13 |     6266 |      285
966.20/966.58	c  935s |      17 |   796473 |   198732 |    24957     13 |     6266 |      285
968.40/968.72	c  937s |      17 |   797427 |   199132 |    24957     13 |     6266 |      285
970.50/970.90	c  939s |      17 |   798359 |   199532 |    24957     13 |     6266 |      285
973.00/973.40	c  941s |      17 |   799280 |   199932 |    24957     13 |     6266 |      285
975.51/975.89	c  944s |      17 |   801101 |   200432 |    24957     13 |     6266 |      285
978.00/978.31	c  946s |      17 |   802322 |   200832 |    24957     13 |     6266 |      285
980.30/980.62	c  949s |      17 |   803910 |   201232 |    24957     13 |     6266 |      285
982.70/983.00	c  951s |      17 |   804857 |   201632 |    24957     13 |     6266 |      285
984.90/985.20	c  953s |      17 |   805889 |   202032 |    24957     13 |     6266 |      285
987.00/987.36	c  955s |      17 |   807224 |   202432 |    24957     13 |     6266 |      285
989.20/989.54	c  958s |      17 |   809166 |   202832 |    24957     13 |     6266 |      285
991.20/991.60	c  960s |      17 |   810896 |   203232 |    24957     13 |     6266 |      285
993.30/993.66	c  962s |      17 |   812364 |   203632 |    24957     13 |     6266 |      285
995.40/995.78	c  964s |      17 |   813170 |   204032 |    24957     13 |     6266 |      285
997.60/997.99	c  966s |      17 |   814394 |   204432 |    24957     13 |     6266 |      285
999.71/1000.07	c  968s |      17 |   816118 |   204832 |    24957     13 |     6266 |      285
1001.90/1002.27	c  970s |      17 |   817979 |   205232 |    24957     13 |     6266 |      285
1004.10/1004.42	c  972s |      17 |   819434 |   205632 |    24957     13 |     6266 |      285
1006.10/1006.44	c  974s |      17 |   820759 |   206032 |    24957     13 |     6266 |      285
1008.60/1008.98	c  977s |      17 |   822099 |   206432 |    24957     13 |     6266 |      285
1010.80/1011.10	c  979s |      17 |   822850 |   206832 |    24957     13 |     6266 |      285
1013.20/1013.52	c  982s |      17 |   823898 |   207332 |    24957     13 |     6266 |      285
1015.60/1015.99	c  984s |      17 |   825469 |   207732 |    24957     13 |     6266 |      285
1017.70/1018.00	c  986s |      17 |   826683 |   208132 |    24957     13 |     6266 |      285
1020.29/1020.62	c  989s |      17 |   828456 |   208532 |    24957     14 |     6266 |      285
1022.39/1022.76	c  991s |      17 |   829122 |   208932 |    24957     14 |     6266 |      285
1024.59/1024.90	c  993s |      17 |   830777 |   209432 |    24957     14 |     6266 |      285
1027.20/1027.50	c  996s |      17 |   833932 |   210032 |    24957     14 |     6266 |      285
1029.59/1029.99	c  998s |      17 |   837567 |   210432 |    24957     14 |     6266 |      285
1032.09/1032.42	c 1000s |      17 |   840787 |   210732 |    24957     14 |     6266 |      285
1034.59/1034.91	c 1003s |      17 |   843014 |   211132 |    24957     14 |     6266 |      285
1036.79/1037.10	c 1005s |      17 |   845095 |   211632 |    24957     14 |     6266 |      285
1038.99/1039.34	c 1007s |      17 |   846250 |   212132 |    24957     14 |     6266 |      285
1041.29/1041.64	c 1010s |      17 |   847687 |   212632 |    24957     14 |     6266 |      285
1043.60/1043.95	c 1012s |      17 |   849607 |   213132 |    24957     14 |     6266 |      285
1045.99/1046.36	c 1014s |      17 |   850736 |   213732 |    24957     14 |     6266 |      285
1048.29/1048.68	c 1017s |      17 |   855379 |   214132 |    24957     14 |     6266 |      285
1050.99/1051.34	c 1019s |      17 |   858240 |   214532 |    24957     14 |     6266 |      285
1052.99/1053.37	c 1021s |      17 |   859860 |   214832 |    24957     14 |     6266 |      285
1054.99/1055.39	c 1023s |      17 |   861878 |   215132 |    24957     14 |     6266 |      285
1057.59/1057.93	c 1026s |      17 |   865218 |   215532 |    24957     14 |     6266 |      285
1059.79/1060.18	c 1028s |      17 |   867302 |   215932 |    24957     14 |     6266 |      285
1061.99/1062.36	c 1030s |      17 |   869942 |   216332 |    24957     14 |     6266 |      285
1064.19/1064.52	c 1033s |      17 |   872520 |   216732 |    24957     14 |     6266 |      285
1066.89/1067.20	c 1035s |      17 |   876183 |   217132 |    24957     14 |     6266 |      285
1069.29/1069.63	c 1038s |      17 |   879855 |   217432 |    24957     14 |     6266 |      285
1072.29/1072.65	c 1041s |      17 |   884340 |   217832 |    24957     14 |     6266 |      285
1074.69/1075.02	c 1043s |      17 |   887430 |   218232 |    24957     14 |     6266 |      285
1076.99/1077.36	c 1045s |      17 |   889292 |   218732 |    24957     14 |     6266 |      285
1079.28/1079.62	c 1048s |      17 |   890483 |   219232 |    24957     14 |     6266 |      285
1081.98/1082.37	c 1050s |      17 |   892799 |   219532 |    24957     14 |     6266 |      285
1084.08/1084.40	c 1052s |      17 |   893498 |   219632 |    24957     14 |     6266 |      285
1086.28/1086.60	c 1055s |      17 |   897396 |   219932 |    24957     14 |     6266 |      285
1088.88/1089.22	c 1057s |      17 |   900648 |   220332 |    24957     14 |     6266 |      285
1090.99/1091.38	c 1059s |      17 |   903991 |   220732 |    24957     14 |     6266 |      285
1093.38/1093.75	c 1062s |      17 |   909053 |   221032 |    24957     14 |     6266 |      285
1095.48/1095.82	c 1064s |      17 |   912404 |   221332 |    24957     14 |     6266 |      285
1097.49/1097.87	c 1066s |      17 |   914564 |   221632 |    24957     14 |     6266 |      285
1099.79/1100.15	c 1068s |      17 |   916618 |   222032 |    24957     14 |     6266 |      285
1102.08/1102.49	c 1071s |      17 |   918225 |   222532 |    24957     14 |     6266 |      285
1104.19/1104.54	c 1073s |      17 |   921879 |   222932 |    24957     14 |     6266 |      285
1106.58/1106.94	c 1075s |      17 |   927807 |   223332 |    24957     14 |     6266 |      285
1108.98/1109.34	c 1077s |      17 |   933071 |   223832 |    24957     14 |     6266 |      285
1110.98/1111.37	c 1079s |      17 |   934471 |   224132 |    24957     14 |     6266 |      285
1113.18/1113.57	c 1082s |      17 |   935865 |   224532 |    24957     14 |     6266 |      285
1115.58/1115.99	c 1084s |      17 |   938622 |   224932 |    24957     15 |     6266 |      285
1117.98/1118.35	c 1086s |      17 |   942522 |   225332 |    24957     15 |     6266 |      285
1120.48/1120.89	c 1089s |      17 |   943280 |   225832 |    24957     15 |     6266 |      285
1122.98/1123.38	c 1091s |      17 |   945521 |   226232 |    24957     15 |     6266 |      285
1125.38/1125.74	c 1094s |      17 |   947768 |   226632 |    24957     15 |     6266 |      285
1127.48/1127.88	c 1096s |      17 |   949495 |   227132 |    24957     15 |     6266 |      285
1129.68/1130.03	c 1098s |      17 |   953082 |   227532 |    24957     15 |     6266 |      285
1131.78/1132.12	c 1100s |      17 |   954574 |   227832 |    24957     15 |     6266 |      285
1134.38/1134.72	c 1103s |      17 |   958253 |   228232 |    24957     15 |     6266 |      285
1136.58/1136.98	c 1105s |      17 |   960164 |   228532 |    24957     15 |     6266 |      285
1138.67/1139.01	c 1107s |      17 |   963983 |   228832 |    24957     15 |     6266 |      285
1141.77/1142.13	c 1110s |      17 |   968690 |   229232 |    24957     15 |     6266 |      285
1144.27/1144.60	c 1113s |      17 |   971785 |   229632 |    24957     15 |     6266 |      285
1146.37/1146.76	c 1115s |      17 |   975176 |   229932 |    24957     15 |     6266 |      285
1148.77/1149.19	c 1117s |      17 |   978002 |   230332 |    24957     15 |     6266 |      285
1151.07/1151.45	c 1119s |      17 |   980143 |   230732 |    24957     15 |     6266 |      285
1153.87/1154.25	c 1122s |      17 |   981916 |   231132 |    24957     15 |     6266 |      285
1156.57/1156.95	c 1125s |      17 |   985778 |   231532 |    24957     15 |     6266 |      285
1158.67/1159.06	c 1127s |      17 |   988474 |   231832 |    24957     15 |     6266 |      285
1161.28/1161.66	c 1130s |      17 |   992118 |   232232 |    24957     15 |     6266 |      285
1163.58/1163.94	c 1132s |      17 |   993745 |   232532 |    24957     15 |     6266 |      285
1165.78/1166.14	c 1134s |      17 |   996093 |   232832 |    24957     15 |     6266 |      285
1168.07/1168.46	c 1137s |      17 |   999400 |   233232 |    24957     15 |     6266 |      285
1170.37/1170.73	c 1139s |      17 |  1004279 |   233632 |    24957     15 |     6266 |      285
1172.97/1173.30	c 1141s |      17 |  1007970 |   234032 |    24957     15 |     6266 |      285
1175.58/1175.99	c 1144s |      17 |  1011651 |   234432 |    24957     15 |     6266 |      285
1178.57/1178.96	c 1147s |      17 |  1014154 |   234732 |    24957     15 |     6266 |      285
1180.87/1181.21	c 1149s |      17 |  1018084 |   235132 |    24957     15 |     6266 |      285
1182.87/1183.25	c 1151s |      17 |  1021756 |   235432 |    24957     15 |     6266 |      285
1184.97/1185.34	c 1153s |      17 |  1022517 |   235632 |    24957     15 |     6266 |      285
1187.37/1187.70	c 1156s |      17 |  1025482 |   235932 |    24957     15 |     6266 |      285
1190.17/1190.56	c 1159s |      17 |  1029102 |   236332 |    24957     15 |     6266 |      285
1192.27/1192.65	c 1161s |      17 |  1031448 |   236632 |    24957     15 |     6266 |      285
1194.27/1194.67	c 1163s |      17 |  1034547 |   236932 |    24957     15 |     6266 |      285
1196.67/1197.05	c 1165s |      17 |  1038479 |   237332 |    24957     15 |     6266 |      285
1198.97/1199.32	c 1167s |      17 |  1044186 |   237632 |    24957     15 |     6266 |      285
1201.17/1201.51	c 1170s |      17 |  1046245 |   237832 |    24957     15 |     6266 |      285
1203.47/1203.88	c 1172s |      17 |  1051805 |   238132 |    24957     15 |     6266 |      285
1206.06/1206.48	c 1175s |      17 |  1055554 |   238532 |    24957     15 |     6266 |      285
1208.16/1208.50	c 1177s |      17 |  1059186 |   238832 |    24957     15 |     6266 |      285
1210.77/1211.16	c 1179s |      17 |  1062507 |   239132 |    24957     15 |     6266 |      285
1212.97/1213.34	c 1181s |      17 |  1066238 |   239432 |    24957     15 |     6266 |      285
1215.06/1215.40	c 1183s |      17 |  1067958 |   239732 |    24957     15 |     6266 |      285
1217.86/1218.22	c 1186s |      17 |  1072890 |   240132 |    24957     15 |     6266 |      285
1219.96/1220.36	c 1188s |      17 |  1074640 |   240432 |    24957     15 |     6266 |      285
1222.06/1222.46	c 1191s |      17 |  1077771 |   240732 |    24957     15 |     6266 |      285
1224.46/1224.89	c 1193s |      17 |  1081973 |   241132 |    24957     15 |     6266 |      285
1226.76/1227.17	c 1195s |      17 |  1084154 |   241432 |    24957     16 |     6266 |      285
1229.16/1229.59	c 1198s |      17 |  1087888 |   241832 |    24957     16 |     6266 |      285
1231.77/1232.17	c 1200s |      17 |  1090317 |   242232 |    24957     16 |     6266 |      285
1234.16/1234.53	c 1203s |      17 |  1093750 |   242632 |    24957     16 |     6266 |      285
1236.26/1236.62	c 1205s |      17 |  1095249 |   242832 |    24957     16 |     6266 |      285
1238.56/1238.95	c 1207s |      17 |  1098764 |   243132 |    24957     16 |     6266 |      285
1240.96/1241.36	c 1209s |      17 |  1100756 |   243532 |    24957     16 |     6266 |      285
1243.07/1243.43	c 1211s |      17 |  1102865 |   243832 |    24957     16 |     6266 |      285
1245.27/1245.64	c 1214s |      17 |  1104232 |   244332 |    24957     16 |     6266 |      285
1247.57/1247.95	c 1216s |      17 |  1105522 |   244932 |    24957     16 |     6266 |      285
1251.57/1251.91	c 1220s |      17 |  1106372 |   245332 |    24957     16 |     6266 |      285
1253.67/1254.05	c 1222s |      17 |  1107453 |   245632 |    24957     16 |     6266 |      285
1255.97/1256.36	c 1224s |      17 |  1108949 |   246132 |    24957     16 |     6266 |      285
1258.07/1258.49	c 1227s |      17 |  1110398 |   246632 |    24957     16 |     6266 |      285
1260.27/1260.61	c 1229s |      17 |  1112207 |   247132 |    24957     16 |     6266 |      285
1262.47/1262.84	c 1231s |      17 |  1114196 |   247632 |    24957     16 |     6266 |      285
1264.67/1265.03	c 1233s |      17 |  1115848 |   248132 |    24957     16 |     6266 |      285
1266.97/1267.34	c 1235s |      17 |  1117365 |   248632 |    24957     16 |     6266 |      285
1269.56/1269.93	c 1238s |      17 |  1119449 |   249132 |    24957     16 |     6266 |      285
1271.86/1272.24	c 1240s |      17 |  1120671 |   249532 |    24957     16 |     6266 |      285
1273.86/1274.25	c 1242s |      17 |  1121922 |   249932 |    24957     16 |     6266 |      285
1275.96/1276.32	c 1244s |      17 |  1123007 |   250332 |    24957     16 |     6266 |      285
1277.97/1278.36	c 1246s |      17 |  1124239 |   250732 |    24957     16 |     6266 |      285
1280.46/1280.88	c 1249s |      17 |  1126285 |   251232 |    24957     16 |     6266 |      285
1282.96/1283.31	c 1251s |      17 |  1127525 |   251632 |    24957     16 |     6266 |      285
1286.36/1286.76	c 1255s |      17 |  1129233 |   252132 |    24957     16 |     6266 |      285
1288.46/1288.89	c 1257s |      17 |  1130100 |   252632 |    24957     16 |     6266 |      285
1290.95/1291.37	c 1259s |      17 |  1131087 |   253132 |    24957     16 |     6266 |      285
1293.05/1293.42	c 1261s |      17 |  1133423 |   253532 |    24957     16 |     6266 |      285
1295.15/1295.52	c 1264s |      17 |  1137016 |   253932 |    24957     16 |     6266 |      285
1297.15/1297.57	c 1266s |      17 |  1138125 |   254432 |    24957     16 |     6266 |      285
1299.35/1299.78	c 1268s |      17 |  1139394 |   254832 |    24957     16 |     6266 |      285
1301.75/1302.13	c 1270s |      17 |  1141845 |   255232 |    24957     16 |     6266 |      285
1303.95/1304.36	c 1272s |      17 |  1144026 |   255632 |    24957     16 |     6266 |      285
1306.25/1306.68	c 1275s |      17 |  1146170 |   256232 |    24957     16 |     6266 |      285
1308.85/1309.20	c 1277s |      17 |  1154849 |   256432 |    24957     16 |     6266 |      285
1311.55/1311.90	c 1280s |      17 |  1156561 |   256832 |    24957     16 |     6266 |      285
1314.45/1314.88	c 1283s |      17 |  1167304 |   257032 |    24957     16 |     6266 |      285
1317.75/1318.15	c 1286s |      17 |  1176573 |   257332 |    24957     16 |     6266 |      285
1320.25/1320.63	c 1289s |      17 |  1181486 |   257532 |    24957     16 |     6266 |      285
1322.55/1322.99	c 1291s |      17 |  1182891 |   257832 |    24957     17 |     6266 |      285
1325.16/1325.54	c 1294s |      17 |  1189533 |   258132 |    24957     17 |     6266 |      285
1327.36/1327.76	c 1296s |      17 |  1193712 |   258432 |    24957     17 |     6266 |      285
1330.45/1330.84	c 1299s |      17 |  1199181 |   258732 |    24957     17 |     6266 |      285
1332.85/1333.24	c 1301s |      17 |  1203281 |   258932 |    24957     17 |     6266 |      285
1335.85/1336.23	c 1304s |      17 |  1206295 |   259132 |    24957     17 |     6266 |      285
1338.55/1338.92	c 1307s |      17 |  1210460 |   259332 |    24957     17 |     6266 |      285
1341.05/1341.41	c 1309s |      17 |  1213448 |   259632 |    24957     17 |     6266 |      285
1343.05/1343.46	c 1312s |      17 |  1216250 |   259932 |    24957     17 |     6266 |      285
1345.35/1345.71	c 1314s |      17 |  1217967 |   260132 |    24957     17 |     6266 |      285
1347.55/1347.97	c 1316s |      17 |  1222571 |   260432 |    24957     17 |     6266 |      285
1349.74/1350.17	c 1318s |      17 |  1230314 |   260832 |    24957     17 |     6266 |      285
1352.54/1352.91	c 1321s |      17 |  1234430 |   261232 |    24957     17 |     6266 |      285
1354.85/1355.27	c 1323s |      17 |  1238603 |   261632 |    24957     17 |     6266 |      285
1357.44/1357.81	c 1326s |      17 |  1247644 |   261832 |    24957     17 |     6266 |      285
1359.64/1360.02	c 1328s |      17 |  1254618 |   262132 |    24957     17 |     6266 |      285
1361.94/1362.32	c 1330s |      17 |  1259660 |   262332 |    24957     17 |     6266 |      285
1363.94/1364.35	c 1332s |      17 |  1261272 |   262532 |    24957     17 |     6266 |      285
1366.24/1366.65	c 1335s |      17 |  1267839 |   262732 |    24957     17 |     6266 |      285
1368.24/1368.65	c 1337s |      17 |  1270044 |   262932 |    24957     17 |     6266 |      285
1371.24/1371.67	c 1340s |      17 |  1273031 |   263232 |    24957     17 |     6266 |      285
1373.65/1374.05	c 1342s |      17 |  1279931 |   263432 |    24957     17 |     6266 |      285
1376.14/1376.50	c 1345s |      17 |  1281042 |   263632 |    24957     17 |     6266 |      285
1378.94/1379.34	c 1347s |      17 |  1286657 |   263932 |    24957     17 |     6266 |      285
1381.04/1381.48	c 1350s |      17 |  1292093 |   264132 |    24957     17 |     6266 |      285
1384.14/1384.54	c 1353s |      17 |  1303500 |   264432 |    24957     17 |     6266 |      285
1386.24/1386.65	c 1355s |      17 |  1305685 |   264632 |    24957     17 |     6266 |      285
1389.04/1389.45	c 1358s |      17 |  1311894 |   264932 |    24957     17 |     6266 |      285
1392.24/1392.64	c 1361s |      17 |  1315421 |   265232 |    24957     17 |     6266 |      285
1395.04/1395.44	c 1363s |      17 |  1317285 |   265532 |    24957     17 |     6266 |      285
1397.24/1397.60	c 1366s |      17 |  1319278 |   265732 |    24957     17 |     6266 |      285
1400.74/1401.13	c 1369s |      17 |  1325620 |   266032 |    24957     17 |     6266 |      285
1403.64/1404.04	c 1372s |      17 |  1330619 |   266332 |    24957     17 |     6266 |      285
1406.14/1406.57	c 1375s |      17 |  1336780 |   266632 |    24957     17 |     6266 |      285
1408.93/1409.39	c 1377s |      17 |  1339145 |   266932 |    24957     17 |     6266 |      285
1411.73/1412.17	c 1380s |      17 |  1340793 |   267232 |    24957     17 |     6266 |      285
1414.13/1414.53	c 1383s |      17 |  1344575 |   267432 |    24957     17 |     6266 |      285
1416.63/1417.08	c 1385s |      17 |  1347672 |   267732 |    24957     17 |     6266 |      285
1419.53/1419.96	c 1388s |      17 |  1350842 |   268032 |    24957     17 |     6266 |      285
1422.33/1422.72	c 1391s |      17 |  1355804 |   268332 |    24957     17 |     6266 |      285
1425.53/1425.99	c 1394s |      17 |  1356865 |   268632 |    24957     17 |     6266 |      285
1427.63/1428.05	c 1396s |      17 |  1357432 |   268732 |    24957     17 |     6266 |      285
1430.84/1431.29	c 1399s |      17 |  1366956 |   268932 |    24957     17 |     6266 |      285
1434.04/1434.43	c 1402s |      17 |  1372512 |   269132 |    24957     17 |     6266 |      285
1436.63/1437.07	c 1405s |      17 |  1374928 |   269332 |    24957     17 |     6266 |      285
1439.73/1440.13	c 1408s |      17 |  1375921 |   269432 |    24957     17 |     6266 |      285
1443.53/1443.90	c 1412s |      17 |  1376863 |   269532 |    27453     17 |     6266 |      285
1445.93/1446.34	c 1414s |      17 |  1388737 |   269732 |    27453     17 |     6266 |      285
1447.93/1448.38	c 1416s |      17 |  1390131 |   269932 |    27453     17 |     6266 |      285
1450.13/1450.50	c 1419s |      17 |  1391646 |   270132 |    27453     17 |     6266 |      285
1452.84/1453.23	c 1421s |      17 |  1400177 |   270432 |    27453     17 |     6266 |      285
1455.83/1456.28	c 1424s |      17 |  1407941 |   270732 |    27453     17 |     6266 |      285
1458.73/1459.17	c 1427s |      17 |  1410827 |   270932 |    27453     17 |     6266 |      285
1461.43/1461.83	c 1430s |      17 |  1415000 |   271232 |    27453     17 |     6266 |      285
1463.73/1464.18	c 1432s |      17 |  1421333 |   271432 |    27453     17 |     6266 |      285
1465.83/1466.20	c 1434s |      17 |  1425597 |   271632 |    27453     17 |     6266 |      285
1467.83/1468.23	c 1436s |      17 |  1430432 |   271832 |    27453     17 |     6266 |      285
1470.43/1470.88	c 1439s |      17 |  1432871 |   272132 |    27453     17 |     6266 |      285
1472.93/1473.34	c 1441s |      17 |  1436713 |   272432 |    27453     17 |     6266 |      285
1475.52/1475.95	c 1444s |      17 |  1445849 |   272632 |    27453     17 |     6266 |      285
1478.22/1478.61	c 1447s |      17 |  1447943 |   272832 |    27453     17 |     6266 |      285
1480.23/1480.65	c 1449s |      17 |  1454428 |   273032 |    27453     17 |     6266 |      285
1482.82/1483.25	c 1451s |      17 |  1459638 |   273332 |    27453     17 |     6266 |      285
1485.22/1485.70	c 1454s |      17 |  1463884 |   273532 |    27453     17 |     6266 |      285
1487.93/1488.36	c 1456s |      17 |  1470640 |   273832 |    27453     17 |     6266 |      285
1490.42/1490.82	c 1459s |      17 |  1474730 |   274132 |    27453     17 |     6266 |      285
1492.92/1493.36	c 1461s |      17 |  1479067 |   274632 |    27453     17 |     6266 |      285
1495.02/1495.46	c 1464s |      17 |  1482115 |   274932 |    27453     17 |     6266 |      285
1497.52/1497.97	c 1466s |      17 |  1485635 |   275232 |    27453     17 |     6266 |      285
1500.62/1501.08	c 1469s |      17 |  1490817 |   275532 |    27453     17 |     6266 |      285
1502.82/1503.22	c 1471s |      17 |  1496075 |   275832 |    27453     17 |     6266 |      285
1505.72/1506.12	c 1474s |      17 |  1501596 |   276232 |    27453     17 |     6266 |      285
1508.12/1508.50	c 1477s |      17 |  1505334 |   276532 |    27453     17 |     6266 |      285
1510.82/1511.22	c 1479s |      17 |  1509295 |   276932 |    27453     18 |     6266 |      285
1513.23/1513.70	c 1482s |      17 |  1512466 |   277332 |    27453     18 |     6266 |      285
1515.62/1516.00	c 1484s |      17 |  1518133 |   277732 |    27453     18 |     6266 |      285
1518.12/1518.54	c 1487s |      17 |  1523573 |   278132 |    27453     18 |     6266 |      285
1520.52/1520.96	c 1489s |      17 |  1527830 |   278432 |    27453     18 |     6266 |      285
1523.22/1523.67	c 1492s |      17 |  1533270 |   278832 |    27453     18 |     6266 |      285
1525.92/1526.37	c 1494s |      17 |  1538411 |   279232 |    27453     18 |     6266 |      285
1528.52/1528.92	c 1497s |      17 |  1543206 |   279632 |    27453     18 |     6266 |      285
1531.22/1531.62	c 1500s |      17 |  1548973 |   280032 |    27453     18 |     6266 |      285
1533.22/1533.66	c 1502s |      17 |  1553935 |   280332 |    27453     18 |     6266 |      285
1535.42/1535.88	c 1504s |      17 |  1559022 |   280732 |    27453     18 |     6266 |      285
1538.12/1538.56	c 1507s |      17 |  1563653 |   281132 |    27453     18 |     6266 |      285
1540.41/1540.80	c 1509s |      17 |  1566700 |   281432 |    27453     18 |     6266 |      285
1542.81/1543.29	c 1511s |      17 |  1571460 |   281832 |    27453     18 |     6266 |      285
1545.01/1545.45	c 1514s |      17 |  1574618 |   282132 |    27453     18 |     6266 |      285
1547.91/1548.39	c 1516s |      17 |  1577373 |   282432 |    27453     18 |     6266 |      285
1549.91/1550.39	c 1518s |      17 |  1582616 |   282532 |    27453     18 |     6266 |      285
1552.51/1552.90	c 1521s |      17 |  1586542 |   282832 |    27453     18 |     6266 |      285
1554.81/1555.27	c 1523s |      17 |  1591231 |   283032 |    27453     18 |     6266 |      285
1557.11/1557.60	c 1526s |      17 |  1599062 |   283332 |    27453     18 |     6266 |      285
1559.71/1560.15	c 1528s |      17 |  1604009 |   283632 |    27453     18 |     6266 |      285
1562.01/1562.47	c 1531s |      17 |  1614302 |   283932 |    27453     18 |     6266 |      285
1564.71/1565.18	c 1533s |      17 |  1622302 |   284232 |    27453     18 |     6266 |      285
1567.71/1568.10	c 1536s |      17 |  1627750 |   284532 |    27453     18 |     6266 |      285
1570.31/1570.75	c 1539s |      17 |  1631381 |   284832 |    27453     18 |     6266 |      285
1572.41/1572.81	c 1541s |      17 |  1635647 |   285032 |    27453     18 |     6266 |      285
1574.71/1575.17	c 1543s |      17 |  1640200 |   285232 |    27453     18 |     6266 |      285
1577.21/1577.67	c 1546s |      17 |  1642015 |   285532 |    27453     18 |     6266 |      285
1579.41/1579.84	c 1548s |      17 |  1649173 |   285732 |    27453     18 |     6266 |      285
1581.81/1582.23	c 1550s |      17 |  1650711 |   286032 |    27453     18 |     6266 |      285
1583.81/1584.23	c 1552s |      17 |  1654703 |   286232 |    27453     18 |     6266 |      285
1586.81/1587.27	c 1555s |      17 |  1658185 |   286532 |    27453     18 |     6266 |      285
1589.11/1589.51	c 1558s |      17 |  1661916 |   286732 |    27453     18 |     6266 |      285
1591.61/1592.03	c 1560s |      17 |  1670830 |   286932 |    27453     18 |     6266 |      285
1594.01/1594.44	c 1562s |      17 |  1673562 |   287232 |    27453     18 |     6266 |      285
1596.01/1596.47	c 1565s |      17 |  1678391 |   287432 |    27453     18 |     6266 |      285
1598.71/1599.11	c 1567s |      17 |  1681325 |   287732 |    27453     18 |     6266 |      285
1601.31/1601.78	c 1570s |      17 |  1689755 |   288032 |    27453     18 |     6266 |      285
1603.41/1603.82	c 1572s |      17 |  1694798 |   288232 |    27453     18 |     6266 |      285
1605.50/1605.98	c 1574s |      17 |  1699590 |   288432 |    27453     18 |     6266 |      285
1608.50/1608.97	c 1577s |      17 |  1703381 |   288732 |    27453     18 |     6266 |      285
1611.40/1611.89	c 1580s |      17 |  1706419 |   289032 |    27453     18 |     6266 |      285
1613.90/1614.32	c 1582s |      17 |  1710022 |   289332 |    27453     18 |     6266 |      285
1616.20/1616.61	c 1585s |      17 |  1712004 |   289632 |    27453     18 |     6266 |      285
1618.81/1619.27	c 1587s |      17 |  1714549 |   289932 |    27453     18 |     6266 |      285
1622.11/1622.53	c 1591s |      17 |  1717058 |   290132 |    27453     18 |     6266 |      285
1624.80/1625.24	c 1593s |      17 |  1718100 |   290332 |    27453     18 |     6266 |      285
1627.61/1628.04	c 1596s |      17 |  1718583 |   290532 |    27453     18 |     6266 |      285
1630.40/1630.82	c 1599s |      17 |  1720321 |   290732 |    27453     18 |     6266 |      285
1633.60/1634.05	c 1602s |      17 |  1723168 |   291132 |    27453     18 |     6266 |      285
1635.90/1636.30	c 1604s |      17 |  1730108 |   291332 |    27453     18 |     6266 |      285
1638.50/1638.91	c 1607s |      17 |  1732445 |   291632 |    27453     18 |     6266 |      285
1641.80/1642.23	c 1610s |      17 |  1745456 |   291932 |    27453     18 |     6266 |      285
1643.90/1644.31	c 1612s |      17 |  1746087 |   292132 |    27453     18 |     6266 |      285
1647.20/1647.63	c 1616s |      17 |  1760259 |   292432 |    27453     18 |     6266 |      285
1649.61/1650.07	c 1618s |      17 |  1761516 |   292732 |    27453     18 |     6266 |      285
1652.20/1652.62	c 1621s |      17 |  1768425 |   292932 |    27453     18 |     6266 |      285
1654.20/1654.68	c 1623s |      17 |  1773132 |   293132 |    27453     18 |     6266 |      285
1656.60/1657.01	c 1625s |      17 |  1774918 |   293332 |    27453     18 |     6266 |      285
1659.60/1660.07	c 1628s |      17 |  1781137 |   293632 |    27453     18 |     6266 |      285
1662.60/1663.01	c 1631s |      17 |  1785678 |   293932 |    27453     18 |     6266 |      285
1665.30/1665.78	c 1634s |      17 |  1789609 |   294232 |    27453     18 |     6266 |      285
1668.20/1668.60	c 1637s |      17 |  1796306 |   294532 |    27453     19 |     6266 |      285
1670.30/1670.79	c 1639s |      17 |  1797386 |   294732 |    27453     19 |     6266 |      285
1672.70/1673.15	c 1641s |      17 |  1805903 |   294932 |    27453     19 |     6266 |      285
1675.09/1675.59	c 1644s |      17 |  1808928 |   295232 |    27453     19 |     6266 |      285
1677.90/1678.38	c 1646s |      17 |  1811260 |   295432 |    27453     19 |     6266 |      285
1680.00/1680.48	c 1649s |      17 |  1813011 |   295732 |    27453     19 |     6266 |      285
1682.61/1683.04	c 1651s |      17 |  1816605 |   296132 |    27453     19 |     6266 |      285
1683.50/1683.94	c 1652s |      18 |  1817139 |   296252 |    27453     19 |     6266 |      285
1686.01/1686.48	c 1655s |      18 |  1818750 |   296452 |    27453     19 |     6266 |      285
1688.50/1688.97	c 1657s |      18 |  1819652 |   296852 |    27453     19 |     6266 |      285
1690.90/1691.39	c 1659s |      18 |  1823426 |   297252 |    27453     19 |     6266 |      285
1693.60/1694.02	c 1662s |      18 |  1826660 |   297652 |    27453     19 |     6266 |      285
1695.80/1696.29	c 1664s |      18 |  1832057 |   297852 |    27453     19 |     6266 |      285
1698.30/1698.72	c 1667s |      18 |  1836077 |   298052 |    27453     19 |     6266 |      285
1700.60/1701.08	c 1669s |      18 |  1839068 |   298252 |    27453     19 |     6266 |      285
1703.00/1703.49	c 1672s |      18 |  1840098 |   298552 |    27453     19 |     6266 |      285
1705.10/1705.55	c 1674s |      18 |  1842261 |   298752 |    27453     19 |     6266 |      285
1707.40/1707.85	c 1676s |      18 |  1851871 |   298952 |    27453     19 |     6266 |      285
1710.50/1710.94	c 1679s |      18 |  1859449 |   299252 |    27453     19 |     6266 |      285
1712.69/1713.15	c 1681s |      18 |  1863532 |   299452 |    27453     19 |     6266 |      285
1716.09/1716.57	c 1685s |      18 |  1872636 |   299852 |    27453     19 |     6266 |      285
1718.29/1718.72	c 1687s |      18 |  1875468 |   300152 |    27453     19 |     6266 |      285
1720.69/1721.15	c 1689s |      18 |  1880367 |   300352 |    27453     19 |     6266 |      285
1723.69/1724.15	c 1692s |      18 |  1889471 |   300652 |    27453     19 |     6266 |      285
1726.39/1726.83	c 1695s |      18 |  1891637 |   301052 |    27453     19 |     6266 |      285
1728.90/1729.34	c 1697s |      18 |  1897196 |   301252 |    27453     19 |     6266 |      285
1731.79/1732.25	c 1700s |      18 |  1904005 |   301552 |    27453     19 |     6266 |      285
1734.69/1735.11	c 1703s |      18 |  1913483 |   301852 |    27453     19 |     6266 |      285
1736.99/1737.47	c 1706s |      18 |  1917573 |   302152 |    27453     19 |     6266 |      285
1739.69/1740.12	c 1708s |      18 |  1924887 |   302352 |    27453     19 |     6266 |      285
1742.39/1742.81	c 1711s |      18 |  1928097 |   302652 |    27453     19 |     6266 |      285
1744.39/1744.82	c 1713s |      18 |  1930241 |   302952 |    27453     19 |     6266 |      285
1746.50/1746.96	c 1715s |      18 |  1933320 |   303252 |    27453     19 |     6266 |      285
1748.60/1749.02	c 1717s |      18 |  1935761 |   303552 |    27453     19 |     6266 |      285
1750.80/1751.29	c 1719s |      18 |  1938195 |   303852 |    27453     19 |     6266 |      285
1753.00/1753.43	c 1721s |      18 |  1939193 |   304152 |    27453     19 |     6266 |      285
1755.39/1755.89	c 1724s |      18 |  1940561 |   304552 |    27453     19 |     6266 |      285
1757.49/1757.94	c 1726s |      18 |  1941431 |   304952 |    27453     19 |     6266 |      285
1759.49/1760.00	c 1728s |      18 |  1944209 |   305352 |    27453     19 |     6266 |      285
1761.89/1762.32	c 1730s |      18 |  1946096 |   305852 |    27453     19 |     6266 |      285
1764.29/1764.71	c 1733s |      18 |  1949846 |   306352 |    27453     19 |     6266 |      285
1766.49/1766.99	c 1735s |      18 |  1953503 |   306752 |    27453     19 |     6266 |      285
1768.59/1769.09	c 1737s |      18 |  1956527 |   307152 |    27453     19 |     6266 |      285
1770.79/1771.23	c 1739s |      18 |  1958047 |   307752 |    27453     19 |     6266 |      285
1772.79/1773.24	c 1741s |      18 |  1960766 |   308052 |    27453     19 |     6266 |      285
1775.49/1775.91	c 1744s |      18 |  1966955 |   308452 |    27453     19 |     6266 |      285
1777.48/1777.97	c 1746s |      18 |  1969507 |   308752 |    27453     19 |     6266 |      285
1779.98/1780.41	c 1748s |      18 |  1971824 |   309152 |    27453     19 |     6266 |      285
1782.08/1782.55	c 1751s |      18 |  1972603 |   309552 |    27453     19 |     6266 |      285
1784.08/1784.55	c 1753s |      18 |  1973431 |   309952 |    27453     19 |     6266 |      285
1786.38/1786.88	c 1755s |      18 |  1974724 |   310452 |    27453     19 |     6266 |      285
1788.88/1789.34	c 1757s |      18 |  1975928 |   310952 |    27453     19 |     6266 |      285
1790.88/1791.39	c 1759s |      18 |  1976565 |   311352 |    27453     19 |     6266 |      285
1792.98/1793.40	c 1761s |      18 |  1977558 |   311752 |    27453     19 |     6266 |      285
1794.98/1795.46	c 1764s |      18 |  1980902 |   312152 |    27453     20 |     6266 |      285
1797.28/1797.75	c 1766s |      18 |  1982590 |   312652 |    27453     20 |     6266 |      285
1799.48/1799.96	c 1768s |      18 |  1984165 |   313252 |    27453     20 |     6266 |      285

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-4100745-1466217025/watcher-4100745-1466217025 -o /tmp/evaluation-result-4100745-1466217025/solver-4100745-1466217025 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466206081-596 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100745-1466217025.opb 

pid=2793
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.17 2.19 2.19 3/180 2796
/proc/meminfo: memFree=26843244/32872528 swapFree=17888/1798212
[pid=2796] ppid=2793 vsize=705980 CPUtime=0 cores=1,3,5,7
/proc/2796/stat : 2796 (toysat) R 2793 2796 579 0 -1 4202496 2630 0 0 0 0 0 0 0 20 0 4 0 23749698 722923520 3502 33554432000 4194304 16246674 140735592803536 140735592802960 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2796/statm: 177263 3511 441 2943 0 174157 0
[pid=2796/tid=2797] ppid=2793 vsize=724412 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2797/stat : 2797 (toysat) S 2793 2796 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23749698 741797888 3571 33554432000 4194304 16246674 140735592803536 139768935460080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2796/tid=2798] ppid=2793 vsize=728508 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2798/stat : 2798 (toysat) S 2793 2796 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23749698 745992192 3589 33554432000 4194304 16246674 140735592803536 139768924970224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2796/tid=2799] ppid=2793 vsize=732604 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2799/stat : 2799 (toysat) S 2793 2796 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23749698 750186496 3605 33554432000 4194304 16246674 140735592803536 139768839007408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100158 s]
/proc/loadavg: 2.17 2.19 2.19 3/180 2796
/proc/meminfo: memFree=26843244/32872528 swapFree=17888/1798212
[pid=2796] ppid=2793 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/2796/stat : 2796 (toysat) R 2793 2796 579 0 -1 4202496 29176 0 0 0 5 4 0 0 20 0 4 0 23749698 1333334016 29987 33554432000 4194304 16246674 140735592803536 140735592802848 7889646 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2796/statm: 325521 30003 801 2943 0 322415 0
[pid=2796/tid=2797] ppid=2793 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2797/stat : 2797 (toysat) S 2793 2796 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23749698 1333334016 30014 33554432000 4194304 16246674 140735592803536 139768935460080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2796/tid=2798] ppid=2793 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2798/stat : 2798 (toysat) S 2793 2796 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23749698 1333334016 30024 33554432000 4194304 16246674 140735592803536 139768924970224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2796/tid=2799] ppid=2793 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2799/stat : 2799 (toysat) S 2793 2796 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23749698 1333334016 30035 33554432000 4194304 16246674 140735592803536 139768839007408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200534 s]
/proc/loadavg: 2.17 2.19 2.19 3/180 2796
/proc/meminfo: memFree=26843244/32872528 swapFree=17888/1798212
[pid=2796] ppid=2793 vsize=1309252 CPUtime=0.19 cores=1,3,5,7
/proc/2796/stat : 2796 (toysat) R 2793 2796 579 0 -1 4202496 45178 0 0 0 13 6 0 0 20 0 4 0 23749698 1340674048 45988 33554432000 4194304 16246674 140735592803536 140735592802848 6955548 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2796/statm: 327313 45988 832 2943 0 324207 0
[pid=2796/tid=2797] ppid=2793 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2797/stat : 2797 (toysat) S 2793 2796 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23749698 1340674048 45988 33554432000 4194304 16246674 140735592803536 139768935460080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2796/tid=2798] ppid=2793 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2798/stat : 2798 (toysat) S 2793 2796 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23749698 1340674048 45988 33554432000 4194304 16246674 140735592803536 139768924970224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2796/tid=2799] ppid=2793 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2799/stat : 2799 (toysat) S 2793 2796 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23749698 1340674048 45988 33554432000 4194304 16246674 140735592803536 139768839007408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1309252

[startup+0.300505 s]
/proc/loadavg: 2.17 2.19 2.19 3/180 2796
/proc/meminfo: memFree=26843244/32872528 swapFree=17888/1798212
[pid=2796] ppid=2793 vsize=1309252 CPUtime=0.29 cores=1,3,5,7
/proc/2796/stat : 2796 (toysat) R 2793 2796 579 0 -1 4202496 69518 0 0 0 20 9 0 0 20 0 4 0 23749698 1340674048 70329 33554432000 4194304 16246674 140735592803536 140735592802848 5589077 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2796/statm: 327313 70347 842 2943 0 324207 0
[pid=2796/tid=2797] ppid=2793 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2797/stat : 2797 (toysat) S 2793 2796 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23749698 1340674048 70355 33554432000 4194304 16246674 140735592803536 139768935460080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2796/tid=2798] ppid=2793 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2798/stat : 2798 (toysat) S 2793 2796 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23749698 1340674048 70362 33554432000 4194304 16246674 140735592803536 139768924970224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2796/tid=2799] ppid=2793 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2799/stat : 2799 (toysat) S 2793 2796 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23749698 1340674048 70370 33554432000 4194304 16246674 140735592803536 139768839007408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1309252

[startup+0.700412 s]
/proc/loadavg: 2.17 2.19 2.19 3/180 2796
/proc/meminfo: memFree=26843244/32872528 swapFree=17888/1798212
[pid=2796] ppid=2793 vsize=1321540 CPUtime=0.69 cores=1,3,5,7
/proc/2796/stat : 2796 (toysat) R 2793 2796 579 0 -1 4202496 97741 0 0 0 56 13 0 0 20 0 4 0 23749698 1353256960 98551 33554432000 4194304 16246674 140735592803536 140735592802848 5711636 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2796/statm: 330385 98551 889 2943 0 327279 0
[pid=2796/tid=2797] ppid=2793 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2797/stat : 2797 (toysat) S 2793 2796 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23749698 1353256960 98551 33554432000 4194304 16246674 140735592803536 139768935460080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2796/tid=2798] ppid=2793 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2798/stat : 2798 (toysat) S 2793 2796 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23749698 1353256960 98551 33554432000 4194304 16246674 140735592803536 139768924970224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2796/tid=2799] ppid=2793 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2799/stat : 2799 (toysat) S 2793 2796 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23749698 1353256960 98551 33554432000 4194304 16246674 140735592803536 139768839007408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1321540

[startup+1.50041 s]
/proc/loadavg: 2.24 2.20 2.19 3/184 2800
/proc/meminfo: memFree=26289532/32872528 swapFree=17888/1798212
[pid=2796] ppid=2793 vsize=1321540 CPUtime=1.49 cores=1,3,5,7
/proc/2796/stat : 2796 (toysat) R 2793 2796 579 0 -1 4202496 208445 0 0 0 122 27 0 0 20 0 4 0 23749698 1353256960 209255 33554432000 4194304 16246674 140735592803536 140735592785408 5712452 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2796/statm: 330385 209263 889 2943 0 327279 0
[pid=2796/tid=2797] ppid=2793 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2797/stat : 2797 (toysat) S 2793 2796 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23749698 1353256960 209267 33554432000 4194304 16246674 140735592803536 139768935460080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2796/tid=2798] ppid=2793 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2798/stat : 2798 (toysat) S 2793 2796 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23749698 1353256960 209271 33554432000 4194304 16246674 140735592803536 139768924970224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2796/tid=2799] ppid=2793 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2799/stat : 2799 (toysat) S 2793 2796 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23749698 1353256960 209275 33554432000 4194304 16246674 140735592803536 139768839007408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1321540

[startup+3.1004 s]
/proc/loadavg: 2.24 2.20 2.19 3/184 2800
/proc/meminfo: memFree=25754844/32872528 swapFree=17888/1798212
[pid=2796] ppid=2793 vsize=1321540 CPUtime=3.09 cores=1,3,5,7
/proc/2796/stat : 2796 (toysat) R 2793 2796 579 0 -1 4202496 271577 0 0 0 274 35 0 0 20 0 4 0 23749698 1353256960 272387 33554432000 4194304 16246674 140735592803536 140735592785408 13943600 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2796/statm: 330385 272387 896 2943 0 327279 0
[pid=2796/tid=2797] ppid=2793 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2797/stat : 2797 (toysat) S 2793 2796 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23749698 1353256960 272387 33554432000 4194304 16246674 140735592803536 139768935460080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2796/tid=2798] ppid=2793 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2798/stat : 2798 (toysat) S 2793 2796 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23749698 1353256960 272387 33554432000 4194304 16246674 140735592803536 139768924970224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2796/tid=2799] ppid=2793 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2799/stat : 2799 (toysat) S 2793 2796 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23749698 1353256960 272387 33554432000 4194304 16246674 140735592803536 139768839007408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1321540

[startup+6.30038 s]
/proc/loadavg: 2.24 2.20 2.19 3/184 2800
/proc/meminfo: memFree=25740492/32872528 swapFree=17888/1798212
[pid=2796] ppid=2793 vsize=1321540 CPUtime=6.29 cores=1,3,5,7
/proc/2796/stat : 2796 (toysat) R 2793 2796 579 0 -1 4202496 271577 0 0 0 594 35 0 0 20 0 4 0 23749698 1353256960 272387 33554432000 4194304 16246674 140735592803536 140735592785408 5754796 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2796/statm: 330385 272387 896 2943 0 327279 0
[pid=2796/tid=2797] ppid=2793 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2797/stat : 2797 (toysat) S 2793 2796 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23749698 1353256960 272387 33554432000 4194304 16246674 140735592803536 139768935460080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2796/tid=2798] ppid=2793 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2798/stat : 2798 (toysat) S 2793 2796 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23749698 1353256960 272387 33554432000 4194304 16246674 140735592803536 139768924970224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2796/tid=2799] ppid=2793 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2799/stat : 2799 (toysat) S 2793 2796 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23749698 1353256960 272387 33554432000 4194304 16246674 140735592803536 139768839007408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1321540

[startup+12.7004 s]
/proc/loadavg: 2.20 2.20 2.19 3/184 2800
/proc/meminfo: memFree=25740672/32872528 swapFree=17888/1798212
[pid=2796] ppid=2793 vsize=1321540 CPUtime=12.69 cores=1,3,5,7
/proc/2796/stat : 2796 (toysat) R 2793 2796 579 0 -1 4202496 271596 0 0 0 1234 35 0 0 20 0 4 0 23749698 1353256960 272406 33554432000 4194304 16246674 140735592803536 140735592785408 5530736 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2796/statm: 330385 272406 915 2943 0 327279 0
[pid=2796/tid=2797] ppid=2793 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2797/stat : 2797 (toysat) S 2793 2796 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23749698 1353256960 272406 33554432000 4194304 16246674 140735592803536 139768935460080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2796/tid=2798] ppid=2793 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2798/stat : 2798 (toysat) S 2793 2796 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23749698 1353256960 272406 33554432000 4194304 16246674 140735592803536 139768924970224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2796/tid=2799] ppid=2793 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2799/stat : 2799 (toysat) S 2793 2796 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23749698 1353256960 272406 33554432000 4194304 16246674 140735592803536 139768839007408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1321540

[startup+25.5005 s]
/proc/loadavg: 2.32 2.22 2.20 3/184 2800
/proc/meminfo: memFree=25724600/32872528 swapFree=17888/1798212
[pid=2796] ppid=2793 vsize=1321540 CPUtime=25.48 cores=1,3,5,7
/proc/2796/stat : 2796 (toysat) R 2793 2796 579 0 -1 4202496 271596 0 0 0 2513 35 0 0 20 0 4 0 23749698 1353256960 272406 33554432000 4194304 16246674 140735592803536 140735592786536 5822488 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2796/statm: 330385 272406 915 2943 0 327279 0
[pid=2796/tid=2797] ppid=2793 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2797/stat : 2797 (toysat) S 2793 2796 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23749698 1353256960 272406 33554432000 4194304 16246674 140735592803536 139768935460080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2796/tid=2798] ppid=2793 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2798/stat : 2798 (toysat) S 2793 2796 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23749698 1353256960 272406 33554432000 4194304 16246674 140735592803536 139768924970224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2796/tid=2799] ppid=2793 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2799/stat : 2799 (toysat) S 2793 2796 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23749698 1353256960 272406 33554432000 4194304 16246674 140735592803536 139768839007408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1321540

[startup+51.1005 s]
/proc/loadavg: 2.26 2.22 2.19 3/183 2800
/proc/meminfo: memFree=25707968/32872528 swapFree=17888/1798212
[pid=2796] ppid=2793 vsize=1321540 CPUtime=51.08 cores=1,3,5,7
/proc/2796/stat : 2796 (toysat) R 2793 2796 579 0 -1 4202496 271602 0 0 0 5073 35 0 0 20 0 4 0 23749698 1353256960 272412 33554432000 4194304 16246674 140735592803536 140735592785408 5600395 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2796/statm: 330385 272412 921 2943 0 327279 0
[pid=2796/tid=2797] ppid=2793 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2797/stat : 2797 (toysat) S 2793 2796 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23749698 1353256960 272412 33554432000 4194304 16246674 140735592803536 139768935460080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2796/tid=2798] ppid=2793 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2798/stat : 2798 (toysat) S 2793 2796 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23749698 1353256960 272412 33554432000 4194304 16246674 140735592803536 139768924970224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2796/tid=2799] ppid=2793 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2799/stat : 2799 (toysat) S 2793 2796 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23749698 1353256960 272412 33554432000 4194304 16246674 140735592803536 139768839007408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1321540

[startup+102.3 s]
/proc/loadavg: 2.26 2.23 2.20 4/183 2801
/proc/meminfo: memFree=25663660/32872528 swapFree=17888/1798212
[pid=2796] ppid=2793 vsize=1321540 CPUtime=102.28 cores=1,3,5,7
/proc/2796/stat : 2796 (toysat) R 2793 2796 579 0 -1 4202496 271603 0 0 0 10193 35 0 0 20 0 4 0 23749698 1353256960 272413 33554432000 4194304 16246674 140735592803536 140735592785408 5711697 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2796/statm: 330385 272413 922 2943 0 327279 0
[pid=2796/tid=2797] ppid=2793 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2797/stat : 2797 (toysat) S 2793 2796 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23749698 1353256960 272413 33554432000 4194304 16246674 140735592803536 139768935460080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2796/tid=2798] ppid=2793 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2798/stat : 2798 (toysat) S 2793 2796 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23749698 1353256960 272413 33554432000 4194304 16246674 140735592803536 139768924970224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2796/tid=2799] ppid=2793 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2799/stat : 2799 (toysat) S 2793 2796 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23749698 1353256960 272413 33554432000 4194304 16246674 140735592803536 139768839007408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1321540


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

/proc/2796/task/2799/stat : 2799 (toysat) S 2793 2796 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23749698 1406734336 285469 33554432000 4194304 16246674 140735592803536 139768839007408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1373764

[startup+1362.3 s]
/proc/loadavg: 2.16 2.23 2.18 3/183 2882
/proc/meminfo: memFree=27736460/32872528 swapFree=17888/1798212
[pid=2796] ppid=2793 vsize=1373764 CPUtime=1361.94 cores=1,3,5,7
/proc/2796/stat : 2796 (toysat) R 2793 2796 579 0 -1 4202496 284918 0 0 0 136154 40 0 0 20 0 4 0 23749698 1406734336 285469 33554432000 4194304 16246674 140735592803536 140735592785408 12415815 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2796/statm: 343441 285469 922 2943 0 340335 0
[pid=2796/tid=2797] ppid=2793 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2797/stat : 2797 (toysat) S 2793 2796 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23749698 1406734336 285469 33554432000 4194304 16246674 140735592803536 139768935460080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2796/tid=2798] ppid=2793 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2798/stat : 2798 (toysat) S 2793 2796 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23749698 1406734336 285469 33554432000 4194304 16246674 140735592803536 139768924970224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2796/tid=2799] ppid=2793 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2799/stat : 2799 (toysat) S 2793 2796 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23749698 1406734336 285469 33554432000 4194304 16246674 140735592803536 139768839007408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1373764

[startup+1422.3 s]
/proc/loadavg: 2.30 2.26 2.19 3/183 2883
/proc/meminfo: memFree=27736112/32872528 swapFree=17888/1798212
[pid=2796] ppid=2793 vsize=1373764 CPUtime=1421.94 cores=1,3,5,7
/proc/2796/stat : 2796 (toysat) R 2793 2796 579 0 -1 4202496 284918 0 0 0 142154 40 0 0 20 0 4 0 23749698 1406734336 285469 33554432000 4194304 16246674 140735592803536 140735592785408 5722381 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2796/statm: 343441 285469 922 2943 0 340335 0
[pid=2796/tid=2797] ppid=2793 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2797/stat : 2797 (toysat) S 2793 2796 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23749698 1406734336 285469 33554432000 4194304 16246674 140735592803536 139768935460080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2796/tid=2798] ppid=2793 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2798/stat : 2798 (toysat) S 2793 2796 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23749698 1406734336 285469 33554432000 4194304 16246674 140735592803536 139768924970224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2796/tid=2799] ppid=2793 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2799/stat : 2799 (toysat) S 2793 2796 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23749698 1406734336 285469 33554432000 4194304 16246674 140735592803536 139768839007408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1373764

[startup+1482.3 s]
/proc/loadavg: 2.36 2.27 2.20 3/183 2884
/proc/meminfo: memFree=27736260/32872528 swapFree=17888/1798212
[pid=2796] ppid=2793 vsize=1373764 CPUtime=1481.92 cores=1,3,5,7
/proc/2796/stat : 2796 (toysat) R 2793 2796 579 0 -1 4202496 284918 0 0 0 148152 40 0 0 20 0 4 0 23749698 1406734336 285469 33554432000 4194304 16246674 140735592803536 140735592785408 12415672 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2796/statm: 343441 285469 922 2943 0 340335 0
[pid=2796/tid=2797] ppid=2793 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2797/stat : 2797 (toysat) S 2793 2796 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23749698 1406734336 285469 33554432000 4194304 16246674 140735592803536 139768935460080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2796/tid=2798] ppid=2793 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2798/stat : 2798 (toysat) S 2793 2796 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23749698 1406734336 285469 33554432000 4194304 16246674 140735592803536 139768924970224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2796/tid=2799] ppid=2793 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2799/stat : 2799 (toysat) S 2793 2796 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23749698 1406734336 285469 33554432000 4194304 16246674 140735592803536 139768839007408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1373764

[startup+1542.31 s]
/proc/loadavg: 2.29 2.27 2.20 4/183 2885
/proc/meminfo: memFree=27736348/32872528 swapFree=17888/1798212
[pid=2796] ppid=2793 vsize=1373764 CPUtime=1541.92 cores=1,3,5,7
/proc/2796/stat : 2796 (toysat) R 2793 2796 579 0 -1 4202496 284918 0 0 0 154152 40 0 0 20 0 4 0 23749698 1406734336 285469 33554432000 4194304 16246674 140735592803536 140735592785408 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2796/statm: 343441 285469 922 2943 0 340335 0
[pid=2796/tid=2797] ppid=2793 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2797/stat : 2797 (toysat) S 2793 2796 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23749698 1406734336 285469 33554432000 4194304 16246674 140735592803536 139768935460080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2796/tid=2798] ppid=2793 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2798/stat : 2798 (toysat) S 2793 2796 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23749698 1406734336 285469 33554432000 4194304 16246674 140735592803536 139768924970224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2796/tid=2799] ppid=2793 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2799/stat : 2799 (toysat) S 2793 2796 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23749698 1406734336 285469 33554432000 4194304 16246674 140735592803536 139768839007408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 1373764

[startup+1602.3 s]
/proc/loadavg: 2.29 2.26 2.19 3/183 2886
/proc/meminfo: memFree=27736128/32872528 swapFree=17888/1798212
[pid=2796] ppid=2793 vsize=1373764 CPUtime=1601.91 cores=1,3,5,7
/proc/2796/stat : 2796 (toysat) R 2793 2796 579 0 -1 4202496 284918 0 0 0 160151 40 0 0 20 0 4 0 23749698 1406734336 285469 33554432000 4194304 16246674 140735592803536 140735592785408 5600808 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2796/statm: 343441 285469 922 2943 0 340335 0
[pid=2796/tid=2797] ppid=2793 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2797/stat : 2797 (toysat) S 2793 2796 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23749698 1406734336 285469 33554432000 4194304 16246674 140735592803536 139768935460080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2796/tid=2798] ppid=2793 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2798/stat : 2798 (toysat) S 2793 2796 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23749698 1406734336 285469 33554432000 4194304 16246674 140735592803536 139768924970224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2796/tid=2799] ppid=2793 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2799/stat : 2799 (toysat) S 2793 2796 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23749698 1406734336 285469 33554432000 4194304 16246674 140735592803536 139768839007408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 1373764

[startup+1662.3 s]
/proc/loadavg: 2.23 2.24 2.19 3/183 2888
/proc/meminfo: memFree=27736272/32872528 swapFree=17888/1798212
[pid=2796] ppid=2793 vsize=1373764 CPUtime=1661.9 cores=1,3,5,7
/proc/2796/stat : 2796 (toysat) R 2793 2796 579 0 -1 4202496 284918 0 0 0 166150 40 0 0 20 0 4 0 23749698 1406734336 285469 33554432000 4194304 16246674 140735592803536 140735592785408 5600808 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2796/statm: 343441 285469 922 2943 0 340335 0
[pid=2796/tid=2797] ppid=2793 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2797/stat : 2797 (toysat) S 2793 2796 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23749698 1406734336 285469 33554432000 4194304 16246674 140735592803536 139768935460080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2796/tid=2798] ppid=2793 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2798/stat : 2798 (toysat) S 2793 2796 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23749698 1406734336 285469 33554432000 4194304 16246674 140735592803536 139768924970224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2796/tid=2799] ppid=2793 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2799/stat : 2799 (toysat) S 2793 2796 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23749698 1406734336 285469 33554432000 4194304 16246674 140735592803536 139768839007408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 1373764

[startup+1722.3 s]
/proc/loadavg: 2.29 2.26 2.19 3/183 2889
/proc/meminfo: memFree=27731164/32872528 swapFree=17888/1798212
[pid=2796] ppid=2793 vsize=1378884 CPUtime=1721.89 cores=1,3,5,7
/proc/2796/stat : 2796 (toysat) R 2793 2796 579 0 -1 4202496 286198 0 0 0 172148 41 0 0 20 0 4 0 23749698 1411977216 286749 33554432000 4194304 16246674 140735592803536 140735592785408 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2796/statm: 344721 286749 922 2943 0 341615 0
[pid=2796/tid=2797] ppid=2793 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2797/stat : 2797 (toysat) S 2793 2796 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23749698 1411977216 286749 33554432000 4194304 16246674 140735592803536 139768935460080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2796/tid=2798] ppid=2793 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2798/stat : 2798 (toysat) S 2793 2796 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23749698 1411977216 286749 33554432000 4194304 16246674 140735592803536 139768924970224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2796/tid=2799] ppid=2793 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2799/stat : 2799 (toysat) S 2793 2796 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23749698 1411977216 286749 33554432000 4194304 16246674 140735592803536 139768839007408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 1378884

[startup+1782.3 s]
/proc/loadavg: 2.37 2.28 2.20 3/184 2893
/proc/meminfo: memFree=27730936/32872528 swapFree=17888/1798212
[pid=2796] ppid=2793 vsize=1378884 CPUtime=1781.88 cores=1,3,5,7
/proc/2796/stat : 2796 (toysat) R 2793 2796 579 0 -1 4202496 286198 0 0 0 178147 41 0 0 20 0 4 0 23749698 1411977216 286749 33554432000 4194304 16246674 140735592803536 140735592785408 5599912 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2796/statm: 344721 286749 922 2943 0 341615 0
[pid=2796/tid=2797] ppid=2793 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2797/stat : 2797 (toysat) S 2793 2796 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23749698 1411977216 286749 33554432000 4194304 16246674 140735592803536 139768935460080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2796/tid=2798] ppid=2793 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2798/stat : 2798 (toysat) S 2793 2796 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23749698 1411977216 286749 33554432000 4194304 16246674 140735592803536 139768924970224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2796/tid=2799] ppid=2793 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2799/stat : 2799 (toysat) S 2793 2796 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23749698 1411977216 286749 33554432000 4194304 16246674 140735592803536 139768839007408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 1378884



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.29 2.27 2.20 3/184 2893
/proc/meminfo: memFree=27731552/32872528 swapFree=17888/1798212
[pid=2796] ppid=2793 vsize=1378884 CPUtime=1800.08 cores=1,3,5,7
/proc/2796/stat : 2796 (toysat) R 2793 2796 579 0 -1 4202496 286198 0 0 0 179967 41 0 0 20 0 4 0 23749698 1411977216 286749 33554432000 4194304 16246674 140735592803536 140735592785408 5523460 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2796/statm: 344721 286749 922 2943 0 341615 0
[pid=2796/tid=2797] ppid=2793 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2797/stat : 2797 (toysat) S 2793 2796 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23749698 1411977216 286749 33554432000 4194304 16246674 140735592803536 139768935460080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2796/tid=2798] ppid=2793 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2798/stat : 2798 (toysat) S 2793 2796 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23749698 1411977216 286749 33554432000 4194304 16246674 140735592803536 139768924970224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2796/tid=2799] ppid=2793 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2799/stat : 2799 (toysat) S 2793 2796 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23749698 1411977216 286749 33554432000 4194304 16246674 140735592803536 139768839007408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1378884

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 2796 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.29 2.27 2.20 3/184 2893
/proc/meminfo: memFree=27731552/32872528 swapFree=17888/1798212
[pid=2796] ppid=2793 vsize=1378884 CPUtime=1800.08 cores=1,3,5,7
/proc/2796/stat : 2796 (toysat) R 2793 2796 579 0 -1 4202496 286198 0 0 0 179967 41 0 0 20 0 4 0 23749698 1411977216 286749 33554432000 4194304 16246674 140735592803536 140735592785408 5523460 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2796/statm: 344721 286749 922 2943 0 341615 0
[pid=2796/tid=2797] ppid=2793 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2797/stat : 2797 (toysat) S 2793 2796 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23749698 1411977216 286749 33554432000 4194304 16246674 140735592803536 139768935460080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2796/tid=2798] ppid=2793 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2798/stat : 2798 (toysat) S 2793 2796 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23749698 1411977216 286749 33554432000 4194304 16246674 140735592803536 139768924970224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2796/tid=2799] ppid=2793 vsize=1378884 CPUtime=0 cores=1,3,5,7
/proc/2796/task/2799/stat : 2799 (toysat) S 2793 2796 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23749698 1411977216 286749 33554432000 4194304 16246674 140735592803536 139768839007408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1378884

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.09
CPU user time (s): 1799.68
CPU system time (s): 0.412937
CPU usage (%): 99.977
Max. virtual memory (cumulated for all children) (KiB): 1378884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.68
system time used= 0.412937
maximum resident set size= 1146996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 286198
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= 275
involuntary context switches= 1834

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.61215 second user time and 7.63984 second system time

The end

Begin job on node123 at 2016-06-18 04:30:25
IDJOB=4100745
IDBENCH=1656
IDSOLVER=2542
FILE ID=node123/4100745-1466217025
RUNJOBID= node123-1466206081-596
PBS_JOBID= 19918154
Free space on /tmp= 71608 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sctap1.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100745-1466217025/watcher-4100745-1466217025 -o /tmp/evaluation-result-4100745-1466217025/solver-4100745-1466217025 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466206081-596 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100745-1466217025.opb

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

MD5SUM BENCH= 316ef86af78984fda235f0f35011b2ab
RANDOM SEED=761761852

node123.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.791
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.58
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.791
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.791
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.791
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.57
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.791
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.56
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.791
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.791
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.56
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.791
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:        26843432 kB
Buffers:          105588 kB
Cached:           181636 kB
SwapCached:         1648 kB
Active:          3307944 kB
Inactive:         179652 kB
Active(anon):    3201580 kB
Inactive(anon):     1152 kB
Active(file):     106364 kB
Inactive(file):   178500 kB
Unevictable:     1798212 kB
Mlocked:           17888 kB
SwapTotal:      67108856 kB
SwapFree:       67099316 kB
Dirty:             17104 kB
Writeback:             0 kB
AnonPages:       4998056 kB
Mapped:            10732 kB
Shmem:                 0 kB
Slab:             603292 kB
SReclaimable:      46472 kB
SUnreclaim:       556820 kB
KernelStack:        1456 kB
PageTables:        13808 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5139600 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1789952 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= 71604 MiB
End job on node123 at 2016-06-18 05:00:26