Trace number 4078803

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.05 1800.51

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6029_8-unsat.opb
MD5SUMc619d5d1f14c9c14bda19749a65da87b
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1569.11
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables11712
Total number of constraints38651
Number of constraints which are clauses38271
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints380
Minimum length of a constraint1
Maximum length of a constraint60
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 24
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 368
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-07T06:25:25+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-4078803-1465273525.opb"]
0.00/0.01	c use --random-gen="1787553903 725775475 2740018078 1854558018 2423858902 3941170047 3365789400 4145040957 2384179348 960254072 3268009203 3695085171 1189347070 3720881483 3296034996 2075749592 2309948345 1714321148 3215844068 1179872978 1129645800 4270367362 2795899924 3997910452 1509625825 427563186 2015117489 1465679281 3068457881 2592936924 4017447939 1014310977 687141506 4010793065 2914945359 3545402544 2953561398 1211770511 610224106 1338503230 286093592 1071734873 1908251931 1132523248 1379380195 3515216043 3726585586 942489568 2105318702 1834637837 4250220520 545008461 3296590467 2738885901 3720430245 1614245230 627883420 3994746931 3883492460 477221384 3956420726 2074670925 1688052351 2333367677 3088149406 2918042793 1059762363 27215601 3943044568 3203835504 2615478592 3024003671 1821122079 1260623336 2827949529 3497656318 2516086641 2538414268 1957627914 3280576643 1953292238 505061467 1504792029 3524235168 3156737929 1138449934 3891363577 2710778859 251766798 3323173737 3587057163 1534823651 3154333112 1454871735 2102918345 2394891155 4112018170 2769072281 1379700024 566936030 1612097969 1615583216 2451694260 1335748422 3039338800 1854723845 755486864 1375521773 2066071811 1500407589 2723671150 2310347108 1744483070 1699658131 3540385402 2647770278 776823630 3221215344 2501211878 1564861482 680351565 999500729 19121150 2447813948 1190566182 2426637008 1939765662 1285231900 683507999 3429443164 1604796863 3117106802 2689526204 4159362384 1783145830 3844512465 1449983140 3502651146 1055841316 3527565512 512609873 3178906331 1052294101 1869408125 2476793458 3796017135 1736499173 381003782 3873429447 649791282 1349694621 305022133 1899057329 3545649733 3912795811 1603939210 2132929814 1625397817 3247680321 681314717 3048291109 726533195 2021320511 1597753750 3615975799 3647361746 465632958 3017195037 2062591295 2725069670 2575839523 3312243300 2707074455 2069090383 3542409616 3244939438 2802701936 3348986984 1375456968 4155582617 3811789368 3427744332 1610195520 17142302 2176490476 3493858942 3362480087 833645371 804308615 677021332 123291096 3079557480 220641924 1334616687 2475340347 1751507716 211419618 843440010 950383548 1941717312 560553354 862035889 2602558376 2247663691 2678282839 1090370150 986056977 3261051509 435022744 2448939866 722769678 1255217103 748618093 1434542531 4289276130 3691597624 2444288554 1076397088 2640240389 500074434 3019866761 3876029379 3368546141 3884431095 2241162402 1290502626 1785612731 1326092283 468203627 85650758 2224870578 127040469 3854799847 2163300211 181128374 2005877756 2852242095 3838347395 1815483185 3863692590 4125818221 1671105388 3497831955 314879663 3071386869 3996430312 3838970445 1245485518 728022682 944799134 3370571806 375388478 3946624425 3053121500 176443091 3894236803 255 362436" option to reproduce the execution
0.19/0.29	c #vars 11712
0.19/0.29	c #constraints 38651
0.48/0.59	c Solving starts ...
0.48/0.59	c ============================[ Search Statistics ]============================
0.48/0.59	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.48/0.59	c       |         |          |          |    Limit     GC | Var      | Constra 
0.48/0.59	c =============================================================================
0.59/0.64	c  0.0s |       0 |        0 |        0 |    10960      0 |     7097 |        0
0.69/0.72	c  0.1s |       1 |      152 |      100 |    10960      0 |     7097 |     8660
0.79/0.86	c  0.2s |       2 |      358 |      250 |    12057      0 |     7097 |     8660
1.09/1.12	c  0.5s |       3 |      721 |      475 |    13263      0 |     7097 |     8660
1.49/1.55	c  0.9s |       4 |     1197 |      813 |    14590      0 |     7097 |     8660
2.20/2.25	c  1.6s |       5 |     1857 |     1320 |    16050      0 |     7097 |     8660
2.89/2.92	c  2.3s |       6 |     2941 |     2081 |    19421      0 |     7097 |     8660
4.09/4.17	c  3.5s |       7 |     4441 |     3223 |    21364      0 |     7097 |     8660
5.99/6.03	c  5.4s |       8 |     6733 |     4936 |    23501      0 |     7097 |     8660
7.99/8.08	c  7.4s |       8 |     9186 |     6836 |    23501      0 |     7097 |     8660
8.79/8.83	c  8.2s |       9 |     9974 |     7506 |    25852      0 |     7097 |     8660
10.79/10.87	c 10.2s |       9 |    12351 |     9406 |    25852      0 |     7097 |     8660
12.89/12.90	c 12.3s |       9 |    14481 |    11206 |    25852      0 |     7097 |     8660
12.99/13.08	c 12.4s |      10 |    14652 |    11361 |    28438      0 |     7097 |     8660
15.09/15.12	c 14.5s |      10 |    16595 |    12961 |    28438      0 |     7097 |     8660
17.19/17.21	c 16.6s |      10 |    18557 |    14661 |    28438      0 |     7097 |     8660
19.19/19.26	c 18.6s |      10 |    20423 |    16261 |    28438      0 |     7097 |     8660
20.48/20.55	c 19.9s |      11 |    21435 |    17144 |    31282      0 |     7097 |     8660
22.48/22.58	c 21.9s |      11 |    23147 |    18544 |    31282      0 |     7097 |     8660
24.58/24.60	c 24.0s |      11 |    24645 |    19844 |    31282      0 |     7097 |     8660
26.68/26.77	c 26.1s |      11 |    26183 |    21144 |    31282      0 |     7097 |     8660
28.78/28.88	c 28.2s |      11 |    27473 |    22244 |    31282      0 |     7097 |     8660
30.89/30.93	c 30.3s |      11 |    28738 |    23344 |    31282      0 |     7097 |     8660
32.99/33.02	c 32.4s |      11 |    30148 |    24544 |    31282      0 |     7097 |     8660
34.98/35.07	c 34.4s |      11 |    31549 |    25744 |    34411      0 |     7097 |     8660
35.08/35.17	c 34.5s |      12 |    31644 |    25819 |    34411      0 |     7097 |     8660
37.18/37.22	c 36.6s |      12 |    32935 |    26919 |    34411      0 |     7097 |     8660
39.28/39.32	c 38.7s |      12 |    34205 |    28019 |    34411      0 |     7097 |     8660
41.48/41.53	c 40.9s |      12 |    35627 |    29119 |    34411      0 |     7097 |     8660
43.58/43.62	c 43.0s |      12 |    36930 |    30219 |    34411      0 |     7097 |     8660
45.58/45.69	c 45.1s |      12 |    38147 |    31219 |    34411      0 |     7097 |     8660
47.68/47.76	c 47.1s |      12 |    39193 |    32119 |    34411      0 |     7097 |     8660
49.78/49.84	c 49.2s |      12 |    40246 |    33019 |    34411      0 |     7097 |     8660
51.98/52.06	c 51.4s |      12 |    41472 |    34019 |    34411      0 |     7097 |     8660
54.08/54.10	c 53.5s |      12 |    42519 |    34919 |    34411      0 |     7097 |     8660
56.28/56.30	c 55.7s |      12 |    43633 |    35819 |    34411      0 |     7097 |     8660
58.39/58.47	c 57.8s |      12 |    44692 |    36719 |    34411      0 |     7097 |     8660
60.59/60.64	c 60.0s |      12 |    45746 |    37619 |    34411      0 |     7097 |     8660
62.58/62.66	c 62.0s |      12 |    46691 |    38319 |    34411      0 |     7097 |     8660
63.79/63.85	c 63.2s |      13 |    47332 |    38832 |    37853      0 |     7097 |     8660
65.99/66.02	c 65.4s |      13 |    48482 |    39732 |    37853      0 |     7097 |     8660
67.98/68.04	c 67.4s |      13 |    49488 |    40532 |    37853      0 |     7097 |     8660
69.98/70.05	c 69.4s |      13 |    50367 |    41232 |    37853      0 |     7097 |     8660
72.08/72.16	c 71.5s |      13 |    51373 |    42032 |    37853      0 |     7097 |     8660
74.08/74.16	c 73.5s |      13 |    52278 |    42732 |    37853      0 |     7097 |     8660
76.18/76.23	c 75.6s |      13 |    53304 |    43532 |    37853      0 |     7097 |     8660
78.18/78.25	c 77.6s |      13 |    54136 |    44232 |    37853      0 |     7097 |     8660
80.38/80.41	c 79.8s |      13 |    55032 |    44932 |    37853      0 |     7097 |     8660
82.48/82.50	c 81.9s |      13 |    56103 |    45732 |    37853      0 |     7097 |     8660
84.57/84.61	c 84.0s |      13 |    57383 |    46732 |    37853      1 |     7097 |     8660
86.77/86.88	c 86.2s |      13 |    58648 |    47732 |    37853      1 |     7097 |     8660
88.97/89.02	c 88.4s |      13 |    59858 |    48732 |    37853      1 |     7097 |     8660
91.07/91.14	c 90.5s |      13 |    61138 |    49732 |    37853      1 |     7097 |     8660
93.07/93.14	c 92.5s |      13 |    62286 |    50632 |    37853      1 |     7097 |     8660
95.27/95.31	c 94.7s |      13 |    63756 |    51732 |    37853      1 |     7097 |     8660
97.37/97.42	c 96.8s |      13 |    64866 |    52632 |    37853      1 |     7097 |     8660
99.57/99.60	c 99.0s |      13 |    65981 |    53532 |    37853      1 |     7097 |     8660
101.57/101.66	c  101s |      13 |    67048 |    54432 |    37853      1 |     7097 |     8660
103.77/103.86	c  103s |      13 |    68381 |    55432 |    37853      1 |     7097 |     8660
105.76/105.88	c  105s |      13 |    69559 |    56332 |    37853      1 |     7097 |     8660
107.87/107.97	c  107s |      13 |    70669 |    57132 |    37853      1 |     7097 |     8660
109.97/110.09	c  109s |      13 |    71641 |    57932 |    37853      1 |     7097 |     8660
110.76/110.83	c  110s |      14 |    72138 |    58352 |    41639      1 |     7097 |     8660
112.86/112.95	c  112s |      14 |    73374 |    59252 |    41639      1 |     7097 |     8660
115.06/115.17	c  114s |      14 |    74644 |    60252 |    41639      1 |     7097 |     8660
117.26/117.32	c  116s |      14 |    75773 |    61152 |    41639      1 |     7097 |     8660
119.36/119.42	c  118s |      14 |    76880 |    62052 |    41639      1 |     7097 |     8660
121.56/121.66	c  121s |      14 |    78098 |    63052 |    41639      1 |     7097 |     8660
123.86/123.94	c  123s |      14 |    79254 |    63952 |    41639      1 |     7097 |     8660
125.85/125.96	c  125s |      14 |    80136 |    64652 |    41639      1 |     7097 |     8660
127.95/128.05	c  127s |      14 |    81014 |    65352 |    41639      1 |     7097 |     8660
130.05/130.19	c  129s |      14 |    81863 |    66052 |    41639      1 |     7097 |     8660
132.15/132.21	c  131s |      14 |    82692 |    66752 |    41639      1 |     7097 |     8660
134.16/134.22	c  133s |      14 |    83601 |    67452 |    41639      1 |     7097 |     8660
136.25/136.35	c  135s |      14 |    84610 |    68252 |    41639      1 |     7097 |     8660
138.45/138.51	c  137s |      14 |    85611 |    69052 |    41639      1 |     7097 |     8660
140.55/140.62	c  139s |      14 |    86544 |    69752 |    41639      1 |     7097 |     8660
142.75/142.80	c  142s |      14 |    87443 |    70452 |    41639      1 |     7097 |     8660
144.85/144.96	c  144s |      14 |    88391 |    71152 |    41639      1 |     7097 |     8660
147.05/147.17	c  146s |      14 |    89245 |    71852 |    41639      1 |     7097 |     8660
149.45/149.53	c  148s |      14 |    90115 |    72552 |    41639      1 |     7097 |     8660
151.55/151.61	c  150s |      14 |    90844 |    73152 |    41639      1 |     7097 |     8660
153.65/153.72	c  153s |      14 |    91598 |    73752 |    41639      2 |     7097 |     8660
155.65/155.79	c  155s |      14 |    92578 |    74552 |    41639      2 |     7097 |     8660
157.95/158.01	c  157s |      14 |    93783 |    75452 |    41639      2 |     7097 |     8660
160.15/160.23	c  159s |      14 |    94922 |    76352 |    41639      2 |     7097 |     8660
162.15/162.24	c  161s |      14 |    95963 |    77152 |    41639      2 |     7097 |     8660
164.35/164.40	c  163s |      14 |    97068 |    78052 |    41639      2 |     7097 |     8660
166.45/166.53	c  165s |      14 |    98201 |    78952 |    41639      2 |     7097 |     8660
168.65/168.78	c  168s |      14 |    99288 |    79852 |    41639      2 |     7097 |     8660
170.85/170.92	c  170s |      14 |   100143 |    80552 |    41639      2 |     7097 |     8660
172.85/172.95	c  172s |      14 |   100996 |    81252 |    41639      2 |     7097 |     8660
174.95/175.01	c  174s |      14 |   102009 |    82052 |    41639      2 |     7097 |     8660
176.94/177.10	c  176s |      14 |   103014 |    82852 |    41639      2 |     7097 |     8660
179.04/179.19	c  178s |      14 |   103990 |    83652 |    41639      2 |     7097 |     8660
181.14/181.22	c  180s |      14 |   104975 |    84452 |    41639      2 |     7097 |     8660
183.24/183.32	c  182s |      14 |   105983 |    85252 |    41639      2 |     7097 |     8660
185.34/185.42	c  184s |      14 |   106999 |    86052 |    41639      2 |     7097 |     8660
187.54/187.64	c  187s |      14 |   108151 |    86952 |    41639      2 |     7097 |     8660
189.04/189.14	c  188s |      15 |   109066 |    87632 |    45803      2 |     7097 |     8660
191.04/191.17	c  190s |      15 |   109986 |    88332 |    45803      2 |     7097 |     8660
193.24/193.31	c  192s |      15 |   111290 |    89332 |    45803      2 |     7097 |     8660
195.23/195.39	c  194s |      15 |   112426 |    90232 |    45803      2 |     7097 |     8660
197.53/197.63	c  196s |      15 |   113516 |    91132 |    45803      2 |     7097 |     8660
199.63/199.70	c  199s |      15 |   114527 |    91932 |    45803      2 |     7097 |     8660
201.74/201.84	c  201s |      15 |   115610 |    92832 |    45803      2 |     7097 |     8660
203.94/204.00	c  203s |      15 |   116683 |    93732 |    45803      2 |     7097 |     8660
206.14/206.21	c  205s |      15 |   117679 |    94532 |    45803      2 |     7097 |     8660
208.14/208.26	c  207s |      15 |   118636 |    95332 |    45803      2 |     7097 |     8660
210.24/210.39	c  209s |      15 |   119618 |    96132 |    45803      2 |     7097 |     8660
212.44/212.55	c  211s |      15 |   120602 |    96932 |    45803      2 |     7097 |     8660
214.54/214.69	c  214s |      15 |   121586 |    97732 |    45803      2 |     7097 |     8660
216.64/216.78	c  216s |      15 |   122549 |    98532 |    45803      2 |     7097 |     8660
218.64/218.79	c  218s |      15 |   123359 |    99232 |    45803      2 |     7097 |     8660
220.74/220.80	c  220s |      15 |   124193 |    99932 |    45803      2 |     7097 |     8660
222.84/222.94	c  222s |      15 |   125177 |   100732 |    45803      2 |     7097 |     8660
224.93/225.00	c  224s |      15 |   126019 |   101432 |    45803      2 |     7097 |     8660
226.93/227.08	c  226s |      15 |   126878 |   102132 |    45803      2 |     7097 |     8660
229.23/229.35	c  228s |      15 |   127708 |   102832 |    45803      2 |     7097 |     8660
231.43/231.53	c  230s |      15 |   128422 |   103432 |    45803      3 |     7097 |     8660
233.63/233.77	c  233s |      15 |   129260 |   104132 |    45803      3 |     7097 |     8660
235.63/235.79	c  235s |      15 |   130174 |   104932 |    45803      3 |     7097 |     8660
237.93/238.04	c  237s |      15 |   131268 |   105832 |    45803      3 |     7097 |     8660
239.93/240.06	c  239s |      15 |   132185 |   106632 |    45803      3 |     7097 |     8660
242.23/242.31	c  241s |      15 |   133258 |   107532 |    45803      3 |     7097 |     8660
244.24/244.37	c  243s |      15 |   134069 |   108232 |    45803      3 |     7097 |     8660
246.34/246.47	c  245s |      15 |   134871 |   108932 |    45803      3 |     7097 |     8660
248.64/248.74	c  248s |      15 |   135790 |   109732 |    45803      3 |     7097 |     8660
250.63/250.75	c  250s |      15 |   136705 |   110532 |    45803      3 |     7097 |     8660
252.73/252.88	c  252s |      15 |   137553 |   111232 |    45803      3 |     7097 |     8660
254.83/254.90	c  254s |      15 |   138402 |   111932 |    45803      3 |     7097 |     8660
257.02/257.14	c  256s |      15 |   139361 |   112732 |    45803      3 |     7097 |     8660
259.02/259.16	c  258s |      15 |   140324 |   113532 |    45803      3 |     7097 |     8660
261.22/261.35	c  260s |      15 |   141143 |   114232 |    45803      3 |     7097 |     8660
263.52/263.63	c  262s |      15 |   142092 |   115032 |    45803      3 |     7097 |     8660
265.52/265.68	c  265s |      15 |   142984 |   115732 |    45803      3 |     7097 |     8660
267.72/267.81	c  267s |      15 |   143983 |   116532 |    45803      3 |     7097 |     8660
269.92/270.05	c  269s |      15 |   144807 |   117232 |    45803      3 |     7097 |     8660
272.12/272.21	c  271s |      15 |   145757 |   118032 |    45803      3 |     7097 |     8660
274.12/274.28	c  273s |      15 |   146593 |   118732 |    45803      3 |     7097 |     8660
276.32/276.43	c  275s |      15 |   147439 |   119432 |    45803      3 |     7097 |     8660
278.52/278.63	c  277s |      15 |   148332 |   120132 |    45803      3 |     7097 |     8660
280.62/280.71	c  280s |      15 |   149182 |   120832 |    45803      3 |     7097 |     8660
282.62/282.80	c  282s |      15 |   150108 |   121632 |    45803      3 |     7097 |     8660
284.72/284.81	c  284s |      15 |   150935 |   122332 |    45803      3 |     7097 |     8660
286.72/286.88	c  286s |      15 |   151778 |   123032 |    45803      3 |     7097 |     8660
288.82/288.97	c  288s |      15 |   152616 |   123732 |    45803      3 |     7097 |     8660
291.11/291.23	c  290s |      15 |   153598 |   124532 |    45803      3 |     7097 |     8660
293.21/293.30	c  292s |      15 |   154311 |   125132 |    45803      3 |     7097 |     8660
295.31/295.42	c  294s |      15 |   155319 |   125932 |    45803      3 |     7097 |     8660
297.41/297.55	c  296s |      15 |   156281 |   126732 |    45803      3 |     7097 |     8660
299.71/299.88	c  299s |      15 |   157115 |   127432 |    45803      3 |     7097 |     8660
302.01/302.11	c  301s |      15 |   157921 |   128132 |    45803      3 |     7097 |     8660
304.01/304.15	c  303s |      15 |   158619 |   128732 |    45803      3 |     7097 |     8660
306.21/306.33	c  305s |      15 |   159321 |   129332 |    45803      3 |     7097 |     8660
308.71/308.80	c  308s |      15 |   160156 |   130032 |    45803      4 |     7097 |     8660
310.91/311.09	c  310s |      15 |   161220 |   130932 |    50384      4 |     7097 |     8660
313.51/313.66	c  313s |      15 |   161950 |   131532 |    50384      4 |     7097 |     8660
313.60/313.74	c  313s |      16 |   161982 |   131552 |    50384      4 |     7097 |     8660
315.71/315.84	c  315s |      16 |   163098 |   132452 |    50384      4 |     7097 |     8660
317.81/317.97	c  317s |      16 |   164311 |   133452 |    50384      4 |     7097 |     8660
319.90/320.08	c  319s |      16 |   165452 |   134352 |    50384      4 |     7097 |     8660
321.90/322.09	c  321s |      16 |   166819 |   135452 |    50384      4 |     7097 |     8660
324.09/324.22	c  323s |      16 |   167905 |   136352 |    50384      4 |     7097 |     8660
326.19/326.31	c  325s |      16 |   168747 |   137052 |    50384      4 |     7097 |     8660
328.29/328.40	c  327s |      16 |   169577 |   137752 |    50384      4 |     7097 |     8660
330.29/330.40	c  329s |      16 |   170529 |   138552 |    50384      4 |     7097 |     8660
332.59/332.73	c  332s |      16 |   171682 |   139452 |    50384      4 |     7097 |     8660
334.69/334.84	c  334s |      16 |   172610 |   140252 |    50384      4 |     7097 |     8660
336.89/337.04	c  336s |      16 |   173594 |   141052 |    50384      4 |     7097 |     8660
338.89/339.06	c  338s |      16 |   174273 |   141652 |    50384      4 |     7097 |     8660
341.09/341.25	c  340s |      16 |   175175 |   142352 |    50384      4 |     7097 |     8660
343.20/343.39	c  342s |      16 |   176038 |   143052 |    50384      4 |     7097 |     8660
345.29/345.45	c  344s |      16 |   176941 |   143752 |    50384      4 |     7097 |     8660
347.38/347.58	c  346s |      16 |   177682 |   144352 |    50384      4 |     7117 |     8724
349.48/349.61	c  348s |      16 |   178537 |   145052 |    50384      4 |     7117 |     8724
351.89/352.03	c  351s |      16 |   179386 |   145752 |    50384      4 |     7117 |     8724
354.08/354.29	c  353s |      16 |   180070 |   146352 |    50384      4 |     7117 |     8724
356.18/356.36	c  355s |      16 |   180797 |   146952 |    50384      4 |     7117 |     8724
358.28/358.44	c  357s |      16 |   181532 |   147552 |    50384      4 |     7117 |     8724
360.58/360.73	c  360s |      16 |   182265 |   148152 |    50384      4 |     7117 |     8724
362.88/363.07	c  362s |      16 |   183022 |   148752 |    50384      4 |     7129 |     8762
365.18/365.37	c  364s |      16 |   183752 |   149352 |    50384      4 |     7129 |     8762
367.28/367.45	c  366s |      16 |   184494 |   149952 |    50384      4 |     7129 |     8762
369.48/369.66	c  369s |      16 |   185406 |   150652 |    50384      4 |     7129 |     8762
371.68/371.85	c  371s |      16 |   186382 |   151452 |    50384      4 |     7129 |     8762
373.77/373.92	c  373s |      16 |   187279 |   152152 |    50384      4 |     7129 |     8762
376.07/376.24	c  375s |      16 |   188157 |   152852 |    50384      4 |     7129 |     8762
378.27/378.47	c  377s |      16 |   189014 |   153552 |    50384      4 |     7129 |     8762
380.36/380.57	c  379s |      16 |   189763 |   154152 |    50384      4 |     7129 |     8762
382.67/382.88	c  382s |      16 |   190462 |   154752 |    50384      4 |     7129 |     8762
385.06/385.24	c  384s |      16 |   191217 |   155352 |    50384      4 |     7129 |     8762
387.26/387.41	c  386s |      16 |   192003 |   155952 |    50384      4 |     7129 |     8762
389.27/389.42	c  388s |      16 |   192729 |   156552 |    50384      4 |     7129 |     8762
391.26/391.47	c  390s |      16 |   193414 |   157152 |    50384      4 |     7129 |     8762
393.46/393.67	c  393s |      16 |   194149 |   157752 |    50384      4 |     7129 |     8762
395.76/395.97	c  395s |      16 |   194846 |   158352 |    50384      4 |     7129 |     8762
397.86/398.01	c  397s |      16 |   195434 |   158852 |    50384      4 |     7129 |     8762
399.96/400.10	c  399s |      16 |   196007 |   159352 |    50384      4 |     7129 |     8762
401.95/402.19	c  401s |      16 |   196568 |   159852 |    50384      4 |     7129 |     8762
404.15/404.38	c  403s |      16 |   197272 |   160452 |    50384      4 |     7129 |     8762
406.25/406.41	c  405s |      16 |   197835 |   160952 |    50384      4 |     7129 |     8762
408.25/408.44	c  407s |      16 |   198423 |   161452 |    50384      4 |     7129 |     8762
410.35/410.57	c  409s |      16 |   199018 |   161952 |    50384      4 |     7129 |     8762
412.55/412.78	c  412s |      16 |   199599 |   162452 |    50384      5 |     7129 |     8762
414.94/415.12	c  414s |      16 |   200534 |   163252 |    50384      5 |     7129 |     8762
417.24/417.41	c  416s |      16 |   201337 |   163952 |    50384      5 |     7129 |     8762
419.24/419.47	c  418s |      16 |   202151 |   164652 |    50384      5 |     7129 |     8762
421.64/421.81	c  421s |      16 |   203079 |   165452 |    50384      5 |     7129 |     8762
423.93/424.12	c  423s |      16 |   203904 |   166152 |    50384      5 |     7129 |     8762
426.23/426.41	c  425s |      16 |   204820 |   166952 |    50384      5 |     7129 |     8762
428.23/428.42	c  427s |      16 |   205534 |   167552 |    50384      5 |     7129 |     8762
430.23/430.43	c  429s |      16 |   206393 |   168252 |    50384      5 |     7129 |     8762
432.33/432.56	c  431s |      16 |   207187 |   168952 |    50384      5 |     7129 |     8762
434.53/434.76	c  434s |      16 |   208012 |   169652 |    50384      5 |     7129 |     8762
436.53/436.76	c  436s |      16 |   208868 |   170352 |    50384      5 |     7129 |     8762
438.74/438.97	c  438s |      16 |   209682 |   171052 |    50384      5 |     7129 |     8762
440.94/441.16	c  440s |      16 |   210495 |   171752 |    50384      5 |     7129 |     8762
443.24/443.44	c  442s |      16 |   211488 |   172552 |    50384      5 |     7129 |     8762
445.53/445.74	c  445s |      16 |   212375 |   173252 |    50384      5 |     7129 |     8762
447.73/447.97	c  447s |      16 |   213194 |   173952 |    50384      5 |     7129 |     8762
450.03/450.23	c  449s |      16 |   213962 |   174652 |    50384      5 |     7129 |     8762
452.04/452.27	c  451s |      16 |   214892 |   175352 |    50384      5 |     7129 |     8762
454.23/454.41	c  453s |      16 |   216053 |   176252 |    50384      5 |     7129 |     8762
456.33/456.55	c  455s |      16 |   217198 |   177152 |    50384      5 |     7129 |     8762
458.33/458.58	c  457s |      16 |   218062 |   177852 |    50384      5 |     7129 |     8762
460.43/460.62	c  459s |      16 |   218818 |   178452 |    50384      5 |     7129 |     8762
462.52/462.72	c  462s |      16 |   219719 |   179152 |    50384      5 |     7129 |     8762
464.72/464.91	c  464s |      16 |   220697 |   179952 |    50384      5 |     7129 |     8762
466.82/467.03	c  466s |      16 |   221499 |   180652 |    50384      5 |     7129 |     8762
469.22/469.44	c  468s |      16 |   222247 |   181252 |    50384      5 |     7129 |     8762
471.42/471.62	c  470s |      16 |   222953 |   181852 |    50384      5 |     7129 |     8762
473.62/473.81	c  473s |      16 |   223686 |   182452 |    50384      5 |     7129 |     8762
475.61/475.89	c  475s |      16 |   224429 |   183052 |    50384      5 |     7129 |     8762
477.81/478.06	c  477s |      16 |   225291 |   183752 |    50384      5 |     7129 |     8762
479.81/480.08	c  479s |      16 |   225980 |   184352 |    50384      5 |     7129 |     8762
482.01/482.27	c  481s |      16 |   226693 |   184952 |    50384      5 |     7129 |     8762
484.11/484.30	c  483s |      16 |   227395 |   185552 |    50384      5 |     7129 |     8762
486.31/486.55	c  485s |      16 |   228102 |   186152 |    50384      5 |     7129 |     8762
488.70/488.92	c  488s |      16 |   228824 |   186752 |    50384      5 |     7129 |     8762
490.70/490.96	c  490s |      16 |   229406 |   187252 |    50384      5 |     7129 |     8762
493.00/493.21	c  492s |      16 |   230097 |   187852 |    50384      5 |     7129 |     8762
495.00/495.24	c  494s |      16 |   230818 |   188452 |    50384      5 |     7129 |     8762
497.20/497.43	c  496s |      16 |   231656 |   189152 |    50384      5 |     7129 |     8762
499.40/499.69	c  499s |      16 |   232485 |   189852 |    50384      5 |     7129 |     8762
501.70/501.97	c  501s |      16 |   233307 |   190552 |    50384      5 |     7129 |     8762
503.99/504.26	c  503s |      16 |   234064 |   191152 |    50384      5 |     7129 |     8762
506.19/506.49	c  505s |      16 |   234645 |   191652 |    50384      6 |     7129 |     8762
508.29/508.52	c  507s |      16 |   235441 |   192352 |    50384      6 |     7129 |     8762
510.39/510.65	c  510s |      16 |   236354 |   193152 |    50384      6 |     7129 |     8762
512.50/512.75	c  512s |      16 |   237082 |   193752 |    50384      6 |     7129 |     8762
514.60/514.83	c  514s |      16 |   238187 |   194652 |    50384      6 |     7129 |     8762
516.69/516.99	c  516s |      16 |   239155 |   195452 |    50384      6 |     7129 |     8762
518.89/519.16	c  518s |      16 |   240246 |   196352 |    55423      6 |     7129 |     8762
520.99/521.27	c  520s |      16 |   241226 |   197152 |    55423      6 |     7129 |     8762
521.69/521.98	c  521s |      17 |   241585 |   197432 |    55423      6 |     7129 |     8762
523.89/524.15	c  523s |      17 |   242313 |   198032 |    55423      6 |     7129 |     8762
525.99/526.29	c  525s |      17 |   243333 |   198832 |    55423      6 |     7129 |     8762
528.09/528.32	c  527s |      17 |   244253 |   199632 |    55423      6 |     7129 |     8762
530.19/530.47	c  529s |      17 |   245203 |   200432 |    55423      6 |     7129 |     8762
532.29/532.53	c  531s |      17 |   246154 |   201232 |    55423      6 |     7129 |     8762
534.28/534.53	c  533s |      17 |   246974 |   201932 |    55423      6 |     7129 |     8762
536.48/536.76	c  536s |      17 |   248038 |   202832 |    55423      6 |     7129 |     8762
538.68/538.90	c  538s |      17 |   248843 |   203532 |    55423      6 |     7129 |     8762
540.88/541.13	c  540s |      17 |   249790 |   204332 |    55423      6 |     7129 |     8762
542.98/543.28	c  542s |      17 |   250694 |   205132 |    55423      6 |     7129 |     8762
545.18/545.45	c  544s |      17 |   251534 |   205832 |    55423      6 |     7129 |     8762
547.28/547.51	c  546s |      17 |   252374 |   206532 |    55423      6 |     7129 |     8762
549.38/549.69	c  549s |      17 |   253219 |   207232 |    55423      6 |     7129 |     8762
551.68/551.96	c  551s |      17 |   254048 |   207932 |    55423      6 |     7129 |     8762
553.78/554.04	c  553s |      17 |   254403 |   208232 |    55423      6 |     7129 |     8762
556.08/556.38	c  555s |      17 |   255210 |   208932 |    55423      6 |     7129 |     8762
558.28/558.54	c  557s |      17 |   255911 |   209532 |    55423      6 |     7129 |     8762
560.28/560.57	c  559s |      17 |   256625 |   210132 |    55423      6 |     7129 |     8762
562.38/562.62	c  561s |      17 |   257330 |   210732 |    55423      6 |     7129 |     8762
564.57/564.89	c  564s |      17 |   258171 |   211432 |    55423      6 |     7129 |     8762
566.87/567.18	c  566s |      17 |   258975 |   212132 |    55423      6 |     7129 |     8762
569.07/569.35	c  568s |      17 |   259672 |   212732 |    55423      6 |     7129 |     8762
571.17/571.41	c  570s |      17 |   260353 |   213332 |    55423      6 |     7129 |     8762
573.37/573.67	c  573s |      17 |   261147 |   214032 |    55423      6 |     7129 |     8762
575.47/575.70	c  575s |      17 |   261858 |   214632 |    55423      6 |     7129 |     8762
577.47/577.72	c  577s |      17 |   262399 |   215132 |    55423      6 |     7129 |     8762
579.77/580.09	c  579s |      17 |   263110 |   215732 |    55423      6 |     7129 |     8762
582.07/582.35	c  581s |      17 |   263847 |   216332 |    55423      6 |     7129 |     8762
584.26/584.56	c  583s |      17 |   264556 |   216932 |    55423      6 |     7129 |     8762
586.26/586.58	c  585s |      17 |   265145 |   217432 |    55423      6 |     7129 |     8762
588.46/588.72	c  588s |      17 |   265703 |   217932 |    55423      6 |     7129 |     8762
590.66/590.91	c  590s |      17 |   266293 |   218432 |    55423      6 |     7129 |     8762
592.86/593.11	c  592s |      17 |   266980 |   219032 |    55423      6 |     7129 |     8762
594.87/595.15	c  594s |      17 |   267585 |   219532 |    55423      6 |     7129 |     8762
596.96/597.28	c  596s |      17 |   268151 |   220032 |    55423      6 |     7129 |     8762
599.06/599.31	c  598s |      17 |   268714 |   220532 |    55423      6 |     7129 |     8762
601.16/601.47	c  600s |      17 |   269448 |   221132 |    55423      6 |     7129 |     8762
603.26/603.50	c  602s |      17 |   270032 |   221632 |    55423      6 |     7129 |     8762
605.46/605.75	c  605s |      17 |   270734 |   222232 |    55423      6 |     7129 |     8762
607.65/607.93	c  607s |      17 |   271436 |   222832 |    55423      6 |     7129 |     8762
609.95/610.22	c  609s |      17 |   272176 |   223432 |    55423      6 |     7129 |     8762
612.05/612.33	c  611s |      17 |   272887 |   224032 |    55423      6 |     7129 |     8762
614.25/614.52	c  613s |      17 |   273623 |   224632 |    55423      6 |     7129 |     8762
616.45/616.77	c  616s |      17 |   274293 |   225232 |    55423      6 |     7129 |     8762
618.65/618.94	c  618s |      17 |   274847 |   225732 |    55423      6 |     7129 |     8762
620.85/621.16	c  620s |      17 |   275283 |   226132 |    55423      7 |     7129 |     8762
622.95/623.26	c  622s |      17 |   275979 |   226732 |    55423      7 |     7129 |     8762
625.15/625.45	c  624s |      17 |   276783 |   227432 |    55423      7 |     7129 |     8762
627.25/627.55	c  626s |      17 |   277503 |   228032 |    55423      7 |     7129 |     8762
629.55/629.82	c  629s |      17 |   278643 |   228932 |    55423      7 |     7129 |     8762
631.75/632.02	c  631s |      17 |   279681 |   229832 |    55423      7 |     7129 |     8762
633.94/634.27	c  633s |      17 |   280620 |   230632 |    55423      7 |     7129 |     8762
636.04/636.37	c  635s |      17 |   281428 |   231332 |    55423      7 |     7129 |     8762
638.14/638.41	c  637s |      17 |   281996 |   231832 |    55423      7 |     7129 |     8762
640.24/640.56	c  639s |      17 |   282948 |   232632 |    55423      7 |     7129 |     8762
642.54/642.80	c  642s |      17 |   283873 |   233432 |    55423      7 |     7129 |     8762
644.54/644.86	c  644s |      17 |   284686 |   234132 |    55423      7 |     7129 |     8762
646.54/646.90	c  646s |      17 |   285511 |   234832 |    55423      7 |     7129 |     8762
648.64/648.93	c  648s |      17 |   286331 |   235532 |    55423      7 |     7129 |     8762
650.74/651.01	c  650s |      17 |   287124 |   236232 |    55423      7 |     7129 |     8762
652.94/653.27	c  652s |      17 |   288019 |   237032 |    55423      7 |     7129 |     8762
655.23/655.50	c  654s |      17 |   288811 |   237732 |    55423      7 |     7129 |     8762
657.43/657.70	c  657s |      17 |   289619 |   238432 |    55423      7 |     7129 |     8762
659.63/659.94	c  659s |      17 |   290444 |   239132 |    55423      7 |     7129 |     8762
661.63/661.96	c  661s |      17 |   291238 |   239832 |    55423      7 |     7129 |     8762
663.94/664.25	c  663s |      17 |   292055 |   240532 |    55423      7 |     7129 |     8762
666.14/666.40	c  665s |      17 |   292919 |   241232 |    55423      7 |     7129 |     8762
668.34/668.61	c  667s |      17 |   293735 |   241932 |    55423      7 |     7129 |     8762
670.54/670.81	c  670s |      17 |   294537 |   242632 |    55423      7 |     7129 |     8762
672.63/672.94	c  672s |      17 |   295006 |   243032 |    55423      7 |     7129 |     8762
674.73/675.03	c  674s |      17 |   295944 |   243832 |    55423      7 |     7129 |     8762
676.83/677.13	c  676s |      17 |   296645 |   244432 |    55423      7 |     7129 |     8762
678.83/679.18	c  678s |      17 |   297445 |   245132 |    55423      7 |     7129 |     8762
681.03/681.36	c  680s |      17 |   298269 |   245832 |    55423      7 |     7129 |     8762
683.03/683.39	c  682s |      17 |   299177 |   246532 |    55423      7 |     7129 |     8762
685.13/685.41	c  684s |      17 |   299916 |   247132 |    55423      7 |     7129 |     8762
687.13/687.47	c  686s |      17 |   300723 |   247832 |    55423      7 |     7129 |     8762
689.23/689.57	c  688s |      17 |   301417 |   248432 |    55423      7 |     7129 |     8762
691.43/691.77	c  691s |      17 |   302425 |   249232 |    55423      7 |     7129 |     8762
693.53/693.86	c  693s |      17 |   303271 |   249932 |    55423      7 |     7129 |     8762
695.83/696.10	c  695s |      17 |   304368 |   250832 |    55423      7 |     7129 |     8762
697.92/698.23	c  697s |      17 |   305323 |   251632 |    55423      7 |     7129 |     8762
700.02/700.36	c  699s |      17 |   306207 |   252332 |    55423      7 |     7129 |     8762
702.22/702.52	c  701s |      17 |   307144 |   253132 |    55423      7 |     7129 |     8762
704.52/704.80	c  704s |      17 |   307971 |   253832 |    55423      7 |     7129 |     8762
706.62/706.98	c  706s |      17 |   308777 |   254532 |    55423      7 |     7129 |     8762
708.82/709.15	c  708s |      17 |   309460 |   255132 |    55423      7 |     7129 |     8762
711.02/711.30	c  710s |      17 |   310074 |   255632 |    55423      7 |     7129 |     8762
713.12/713.40	c  712s |      17 |   310806 |   256232 |    55423      7 |     7129 |     8762
715.11/715.43	c  714s |      17 |   311528 |   256832 |    55423      7 |     7129 |     8762
717.31/717.66	c  717s |      17 |   312263 |   257432 |    55423      7 |     7129 |     8762
719.51/719.89	c  719s |      17 |   312965 |   258032 |    55423      7 |     7129 |     8762
721.71/722.02	c  721s |      17 |   313580 |   258532 |    55423      8 |     7129 |     8762
723.91/724.20	c  723s |      17 |   314411 |   259232 |    55423      8 |     7129 |     8762
726.01/726.38	c  725s |      17 |   315127 |   259832 |    55423      8 |     7129 |     8762
728.02/728.39	c  727s |      17 |   316008 |   260532 |    55423      8 |     7129 |     8762
730.22/730.59	c  729s |      17 |   316817 |   261232 |    55423      8 |     7129 |     8762
732.31/732.65	c  732s |      17 |   317815 |   262032 |    55423      8 |     7129 |     8762
734.41/734.71	c  734s |      17 |   318815 |   262832 |    55423      8 |     7129 |     8762
736.41/736.73	c  736s |      17 |   319772 |   263632 |    55423      8 |     7129 |     8762
738.41/738.76	c  738s |      17 |   320628 |   264332 |    55423      8 |     7129 |     8762
740.51/740.87	c  740s |      17 |   321445 |   265032 |    55423      8 |     7129 |     8762
742.71/743.00	c  742s |      17 |   322260 |   265732 |    55423      8 |     7129 |     8762
744.70/745.03	c  744s |      17 |   323142 |   266432 |    55423      8 |     7129 |     8762
746.80/747.20	c  746s |      17 |   324019 |   267232 |    55423      8 |     7129 |     8762
748.91/749.29	c  748s |      17 |   324903 |   267932 |    55423      8 |     7129 |     8762
751.30/751.60	c  750s |      17 |   325741 |   268632 |    55423      8 |     7129 |     8762
753.50/753.85	c  753s |      17 |   326693 |   269432 |    55423      8 |     7129 |     8762
755.80/756.12	c  755s |      17 |   327503 |   270132 |    55423      8 |     7129 |     8762
758.10/758.42	c  757s |      17 |   328350 |   270832 |    55423      8 |     7129 |     8762
760.20/760.52	c  759s |      17 |   329056 |   271432 |    55423      8 |     7129 |     8762
762.20/762.59	c  761s |      17 |   329801 |   272032 |    55423      8 |     7129 |     8762
764.50/764.82	c  764s |      17 |   330505 |   272632 |    55423      8 |     7129 |     8762
766.70/767.06	c  766s |      17 |   331206 |   273232 |    55423      8 |     7129 |     8762
768.90/769.27	c  768s |      17 |   332064 |   273932 |    55423      8 |     7129 |     8762
771.10/771.40	c  770s |      17 |   332881 |   274632 |    55423      8 |     7129 |     8762
773.30/773.67	c  773s |      17 |   333668 |   275332 |    55423      8 |     7129 |     8762
778.40/778.73	c  778s |      17 |   334162 |   275732 |    55423      8 |     7129 |     8762
780.70/781.04	c  780s |      17 |   335073 |   276432 |    55423      8 |     7129 |     8762
783.01/783.37	c  782s |      17 |   335953 |   277132 |    55423      8 |     7129 |     8762
785.30/785.60	c  784s |      17 |   336661 |   277732 |    55423      8 |     7129 |     8762
787.50/787.85	c  787s |      17 |   337410 |   278332 |    55423      8 |     7129 |     8762
789.60/789.99	c  789s |      17 |   338114 |   278932 |    55423      8 |     7129 |     8762
791.90/792.29	c  791s |      17 |   338833 |   279532 |    55423      8 |     7129 |     8762
794.10/794.43	c  793s |      17 |   339523 |   280132 |    55423      8 |     7129 |     8762
796.20/796.53	c  795s |      17 |   340204 |   280732 |    55423      8 |     7129 |     8762
798.50/798.87	c  798s |      17 |   340861 |   281332 |    55423      8 |     7129 |     8762
800.80/801.11	c  800s |      17 |   341584 |   281932 |    55423      8 |     7129 |     8762
803.09/803.49	c  802s |      17 |   342272 |   282532 |    55423      8 |     7129 |     8762
805.29/805.61	c  804s |      17 |   342961 |   283132 |    55423      8 |     7129 |     8762
807.59/807.93	c  807s |      17 |   343792 |   283832 |    55423      8 |     7129 |     8762
809.59/809.98	c  809s |      17 |   344350 |   284332 |    55423      8 |     7129 |     8762
811.99/812.39	c  811s |      17 |   345002 |   284932 |    55423      8 |     7129 |     8762
814.19/814.60	c  813s |      17 |   345654 |   285532 |    55423      8 |     7129 |     8762
816.49/816.80	c  816s |      17 |   346211 |   286032 |    55423      8 |     7129 |     8762
818.49/818.89	c  818s |      17 |   346781 |   286532 |    55423      8 |     7129 |     8762
820.59/820.94	c  820s |      17 |   347359 |   287032 |    55423      8 |     7129 |     8762
822.99/823.34	c  822s |      17 |   347942 |   287532 |    55423      8 |     7129 |     8762
825.09/825.43	c  824s |      17 |   348525 |   288032 |    55423      8 |     7129 |     8762
827.29/827.69	c  827s |      17 |   349102 |   288532 |    55423      8 |     7129 |     8762
829.59/829.96	c  829s |      17 |   349665 |   289032 |    55423      8 |     7129 |     8762
831.79/832.11	c  831s |      17 |   350514 |   289732 |    55423      8 |     7129 |     8762
834.49/834.82	c  834s |      17 |   351174 |   290332 |    55423      9 |     7129 |     8762
836.59/836.92	c  836s |      17 |   351807 |   290832 |    55423      9 |     7129 |     8762
838.69/839.01	c  838s |      17 |   352603 |   291532 |    55423      9 |     7129 |     8762
840.69/841.09	c  840s |      17 |   353440 |   292232 |    55423      9 |     7129 |     8762
842.99/843.39	c  842s |      17 |   354394 |   293032 |    55423      9 |     7129 |     8762
845.19/845.50	c  844s |      17 |   355122 |   293632 |    55423      9 |     7129 |     8762
847.29/847.65	c  847s |      17 |   356052 |   294432 |    60966      9 |     7129 |     8762
849.39/849.72	c  849s |      17 |   356883 |   295132 |    60966      9 |     7129 |     8762
851.58/851.95	c  851s |      17 |   357780 |   295932 |    60966      9 |     7129 |     8762
852.58/852.91	c  852s |      18 |   358155 |   296252 |    60966      9 |     7129 |     8762
858.39/858.70	c  858s |      18 |   358549 |   296552 |    60966      9 |     7129 |     8762
860.59/860.95	c  860s |      18 |   359638 |   297452 |    60966      9 |     7129 |     8762
862.79/863.16	c  862s |      18 |   360568 |   298252 |    60966      9 |     7129 |     8762
864.89/865.24	c  864s |      18 |   361415 |   298952 |    60966      9 |     7129 |     8762
866.99/867.33	c  866s |      18 |   362278 |   299652 |    60966      9 |     7129 |     8762
869.19/869.55	c  868s |      18 |   363224 |   300452 |    60966      9 |     7129 |     8762
871.49/871.86	c  871s |      18 |   364136 |   301252 |    60966      9 |     7129 |     8762
873.59/873.90	c  873s |      18 |   364976 |   301952 |    60966      9 |     7129 |     8762
875.59/875.98	c  875s |      18 |   365903 |   302752 |    60966      9 |     7129 |     8762
877.69/878.09	c  877s |      18 |   366858 |   303552 |    60966      9 |     7129 |     8762
879.79/880.14	c  879s |      18 |   367818 |   304352 |    60966      9 |     7129 |     8762
882.08/882.45	c  881s |      18 |   368746 |   305152 |    60966      9 |     7129 |     8762
884.19/884.55	c  883s |      18 |   369600 |   305852 |    60966      9 |     7129 |     8762
886.18/886.59	c  885s |      18 |   370439 |   306552 |    60966      9 |     7129 |     8762
888.49/888.87	c  888s |      18 |   371300 |   307252 |    60966      9 |     7129 |     8762
890.69/891.09	c  890s |      18 |   372144 |   307952 |    60966      9 |     7129 |     8762
892.78/893.16	c  892s |      18 |   372851 |   308552 |    60966      9 |     7129 |     8762
894.88/895.20	c  894s |      18 |   373564 |   309152 |    60966      9 |     7129 |     8762
897.08/897.46	c  896s |      18 |   374435 |   309852 |    60966      9 |     7129 |     8762
899.18/899.58	c  898s |      18 |   375318 |   310552 |    60966      9 |     7129 |     8762
901.48/901.86	c  901s |      18 |   376150 |   311252 |    60966      9 |     7129 |     8762
903.68/904.01	c  903s |      18 |   376938 |   311852 |    60966      9 |     7129 |     8762
905.88/906.28	c  905s |      18 |   377637 |   312452 |    60966      9 |     7129 |     8762
908.08/908.40	c  907s |      18 |   378430 |   313152 |    60966      9 |     7129 |     8762
910.38/910.70	c  910s |      18 |   379313 |   313852 |    60966      9 |     7129 |     8762
912.48/912.89	c  912s |      18 |   380157 |   314552 |    60966      9 |     7129 |     8762
914.58/914.97	c  914s |      18 |   381037 |   315252 |    60966      9 |     7129 |     8762
916.68/917.00	c  916s |      18 |   381903 |   315952 |    60966      9 |     7129 |     8762
918.78/919.18	c  918s |      18 |   382772 |   316652 |    60966      9 |     7129 |     8762
920.88/921.20	c  920s |      18 |   383642 |   317352 |    60966      9 |     7129 |     8762
922.98/923.31	c  922s |      18 |   384558 |   318052 |    60966      9 |     7129 |     8762
924.98/925.33	c  924s |      18 |   385197 |   318552 |    60966      9 |     7129 |     8762
927.18/927.59	c  926s |      18 |   386089 |   319252 |    60966      9 |     7129 |     8762
929.58/929.90	c  929s |      18 |   386853 |   319852 |    60966      9 |     7129 |     8762
931.58/931.96	c  931s |      18 |   387565 |   320452 |    60966      9 |     7129 |     8762
933.68/934.05	c  933s |      18 |   388263 |   321052 |    60966      9 |     7129 |     8762
935.78/936.12	c  935s |      18 |   388872 |   321552 |    60966      9 |     7129 |     8762
937.87/938.26	c  937s |      18 |   389718 |   322252 |    60966      9 |     7129 |     8762
940.07/940.40	c  939s |      18 |   390316 |   322752 |    60966      9 |     7129 |     8762
942.27/942.63	c  941s |      18 |   391147 |   323452 |    60966      9 |     7129 |     8762
944.47/944.86	c  944s |      18 |   391981 |   324152 |    60966      9 |     7129 |     8762
946.57/946.94	c  946s |      18 |   392680 |   324752 |    60966      9 |     7129 |     8762
948.57/948.99	c  948s |      18 |   393266 |   325252 |    60966      9 |     7129 |     8762
951.07/951.48	c  950s |      18 |   393979 |   325852 |    60966      9 |     7129 |     8762
953.48/953.88	c  953s |      18 |   394525 |   326352 |    60966      9 |     7129 |     8762
955.77/956.11	c  955s |      18 |   395122 |   326852 |    60966      9 |     7129 |     8762
957.88/958.24	c  957s |      18 |   395738 |   327352 |    60966      9 |     7129 |     8762
960.17/960.51	c  959s |      18 |   396535 |   328052 |    60966      9 |     7129 |     8762
962.37/962.77	c  962s |      18 |   396866 |   328352 |    60966     10 |     7129 |     8762
964.57/964.94	c  964s |      18 |   397458 |   328852 |    60966     10 |     7129 |     8762
966.77/967.10	c  966s |      18 |   398382 |   329652 |    60966     10 |     7129 |     8762
968.77/969.18	c  968s |      18 |   399496 |   330552 |    60966     10 |     7129 |     8762
971.07/971.49	c  970s |      18 |   400576 |   331452 |    60966     10 |     7129 |     8762
973.17/973.50	c  972s |      18 |   401414 |   332152 |    60966     10 |     7129 |     8762
975.16/975.59	c  974s |      18 |   402403 |   332952 |    60966     10 |     7129 |     8762
977.46/977.80	c  977s |      18 |   403382 |   333752 |    60966     10 |     7129 |     8762
979.56/979.96	c  979s |      18 |   404306 |   334552 |    60966     10 |     7129 |     8762
981.76/982.14	c  981s |      18 |   405213 |   335352 |    60966     10 |     7129 |     8762
983.76/984.16	c  983s |      18 |   406059 |   336052 |    60966     10 |     7129 |     8762
985.86/986.27	c  985s |      18 |   406987 |   336852 |    60966     10 |     7129 |     8762
987.96/988.30	c  987s |      18 |   407809 |   337552 |    60966     10 |     7129 |     8762
990.06/990.48	c  989s |      18 |   408758 |   338352 |    60966     10 |     7129 |     8762
992.26/992.61	c  991s |      18 |   409686 |   339152 |    60966     10 |     7129 |     8762
994.26/994.67	c  994s |      18 |   410497 |   339852 |    60966     10 |     7129 |     8762
996.37/996.76	c  996s |      18 |   411373 |   340552 |    60966     10 |     7129 |     8762
998.57/998.93	c  998s |      18 |   412348 |   341352 |    60966     10 |     7129 |     8762
1000.67/1001.06	c 1000s |      18 |   413172 |   342052 |    60966     10 |     7129 |     8762
1002.97/1003.31	c 1002s |      18 |   413945 |   342752 |    60966     10 |     7129 |     8762
1004.96/1005.37	c 1004s |      18 |   414791 |   343452 |    60966     10 |     7129 |     8762
1007.37/1007.71	c 1007s |      18 |   415713 |   344252 |    60966     10 |     7129 |     8762
1009.47/1009.84	c 1009s |      18 |   416590 |   344952 |    60966     10 |     7129 |     8762
1011.67/1012.04	c 1011s |      18 |   417588 |   345752 |    60966     10 |     7129 |     8762
1013.86/1014.30	c 1013s |      18 |   418436 |   346452 |    60966     10 |     7129 |     8762
1016.06/1016.44	c 1015s |      18 |   419143 |   347052 |    60966     10 |     7129 |     8762
1018.16/1018.53	c 1017s |      18 |   419869 |   347652 |    60966     10 |     7129 |     8762
1020.26/1020.62	c 1019s |      18 |   420602 |   348252 |    60966     10 |     7129 |     8762
1022.46/1022.80	c 1022s |      18 |   421312 |   348852 |    60966     10 |     7129 |     8762
1024.46/1024.86	c 1024s |      18 |   422008 |   349452 |    60966     10 |     7129 |     8762
1026.86/1027.21	c 1026s |      18 |   422899 |   350152 |    60966     10 |     7129 |     8762
1029.16/1029.59	c 1028s |      18 |   423617 |   350752 |    60966     10 |     7129 |     8762
1031.56/1031.90	c 1031s |      18 |   424458 |   351452 |    60966     10 |     7129 |     8762
1033.56/1033.97	c 1033s |      18 |   425161 |   352052 |    60966     10 |     7129 |     8762
1035.86/1036.24	c 1035s |      18 |   426167 |   352852 |    60966     10 |     7129 |     8762
1037.86/1038.25	c 1037s |      18 |   426758 |   353352 |    60966     10 |     7129 |     8762
1040.15/1040.59	c 1039s |      18 |   427458 |   353952 |    60966     10 |     7129 |     8762
1042.35/1042.73	c 1042s |      18 |   428162 |   354552 |    60966     10 |     7129 |     8762
1044.45/1044.81	c 1044s |      18 |   428864 |   355152 |    60966     10 |     7129 |     8762
1046.65/1047.06	c 1046s |      18 |   429601 |   355752 |    60966     10 |     7129 |     8762
1048.95/1049.35	c 1048s |      18 |   430300 |   356352 |    60966     10 |     7129 |     8762
1051.15/1051.54	c 1050s |      18 |   431049 |   356952 |    60966     10 |     7129 |     8762
1053.35/1053.72	c 1053s |      18 |   431641 |   357452 |    60966     10 |     7129 |     8762
1055.66/1056.00	c 1055s |      18 |   432487 |   358152 |    60966     10 |     7129 |     8762
1057.65/1058.07	c 1057s |      18 |   433189 |   358752 |    60966     10 |     7129 |     8762
1060.06/1060.41	c 1059s |      18 |   433748 |   359252 |    60966     10 |     7129 |     8762
1062.15/1062.55	c 1061s |      18 |   434357 |   359752 |    60966     10 |     7129 |     8762
1064.15/1064.59	c 1063s |      18 |   435066 |   360352 |    60966     10 |     7129 |     8762
1066.55/1066.91	c 1066s |      18 |   435814 |   360952 |    60966     10 |     7129 |     8762
1068.75/1069.14	c 1068s |      18 |   436567 |   361552 |    60966     10 |     7129 |     8762
1071.16/1071.55	c 1070s |      18 |   437383 |   362252 |    60966     10 |     7129 |     8762
1073.55/1073.90	c 1073s |      18 |   438020 |   362752 |    60966     10 |     7129 |     8762
1075.65/1076.02	c 1075s |      18 |   438627 |   363252 |    60966     11 |     7129 |     8762
1077.96/1078.34	c 1077s |      18 |   439429 |   363952 |    60966     11 |     7129 |     8762
1080.15/1080.52	c 1079s |      18 |   439952 |   364352 |    60966     11 |     7129 |     8762
1082.35/1082.73	c 1082s |      18 |   441057 |   365152 |    60966     11 |     7129 |     8762
1084.55/1084.98	c 1084s |      18 |   441923 |   365852 |    60966     11 |     7129 |     8762
1086.85/1087.28	c 1086s |      18 |   442864 |   366652 |    60966     11 |     7129 |     8762
1088.95/1089.34	c 1088s |      18 |   443732 |   367352 |    60966     11 |     7129 |     8762
1091.05/1091.45	c 1090s |      18 |   444453 |   367952 |    60966     11 |     7129 |     8762
1093.16/1093.58	c 1092s |      18 |   445298 |   368652 |    60966     11 |     7129 |     8762
1095.26/1095.61	c 1094s |      18 |   446289 |   369452 |    60966     11 |     7129 |     8762
1097.35/1097.77	c 1097s |      18 |   447128 |   370152 |    60966     11 |     7129 |     8762
1099.45/1099.88	c 1099s |      18 |   448120 |   370952 |    60966     11 |     7129 |     8762
1101.55/1101.92	c 1101s |      18 |   449099 |   371752 |    60966     11 |     7129 |     8762
1103.65/1104.02	c 1103s |      18 |   450081 |   372552 |    60966     11 |     7129 |     8762
1105.85/1106.23	c 1105s |      18 |   451081 |   373352 |    60966     11 |     7129 |     8762
1108.15/1108.50	c 1107s |      18 |   452062 |   374152 |    60966     11 |     7129 |     8762
1110.25/1110.65	c 1110s |      18 |   453054 |   374952 |    60966     11 |     7129 |     8762
1112.45/1112.88	c 1112s |      18 |   454210 |   375852 |    60966     11 |     7129 |     8762
1114.65/1115.08	c 1114s |      18 |   455400 |   376752 |    60966     11 |     7129 |     8762
1116.85/1117.21	c 1116s |      18 |   456266 |   377452 |    60966     11 |     7129 |     8762
1119.05/1119.40	c 1118s |      18 |   457252 |   378252 |    60966     11 |     7129 |     8762
1121.15/1121.56	c 1120s |      18 |   458120 |   378952 |    60966     11 |     7129 |     8762
1123.25/1123.69	c 1123s |      18 |   459126 |   379752 |    60966     11 |     7129 |     8762
1125.34/1125.76	c 1125s |      18 |   459979 |   380452 |    60966     11 |     7129 |     8762
1127.44/1127.87	c 1127s |      18 |   460781 |   381152 |    60966     11 |     7129 |     8762
1129.54/1129.98	c 1129s |      18 |   461641 |   381852 |    60966     11 |     7129 |     8762
1131.84/1132.29	c 1131s |      18 |   462516 |   382552 |    60966     11 |     7129 |     8762
1134.14/1134.55	c 1133s |      18 |   463343 |   383252 |    60966     11 |     7129 |     8762
1136.34/1136.77	c 1136s |      18 |   464152 |   383952 |    60966     11 |     7129 |     8762
1138.64/1139.01	c 1138s |      18 |   464953 |   384652 |    60966     11 |     7129 |     8762
1140.84/1141.25	c 1140s |      18 |   465790 |   385352 |    60966     11 |     7129 |     8762
1143.04/1143.44	c 1142s |      18 |   466481 |   385952 |    60966     11 |     7129 |     8762
1145.14/1145.50	c 1144s |      18 |   467167 |   386552 |    60966     11 |     7129 |     8762
1147.14/1147.52	c 1146s |      18 |   467880 |   387152 |    60966     11 |     7129 |     8762
1149.54/1149.94	c 1149s |      18 |   468590 |   387752 |    60966     11 |     7129 |     8762
1151.84/1152.24	c 1151s |      18 |   469272 |   388352 |    60966     11 |     7129 |     8762
1154.04/1154.49	c 1153s |      18 |   470029 |   388952 |    60966     11 |     7129 |     8762
1156.24/1156.68	c 1156s |      18 |   470967 |   389652 |    60966     11 |     7129 |     8762
1158.44/1158.85	c 1158s |      18 |   471648 |   390252 |    60966     11 |     7129 |     8762
1160.74/1161.14	c 1160s |      18 |   472408 |   390852 |    60966     11 |     7129 |     8762
1163.04/1163.43	c 1162s |      18 |   473141 |   391452 |    60966     11 |     7129 |     8762
1165.34/1165.75	c 1165s |      18 |   473885 |   392052 |    60966     11 |     7129 |     8762
1167.44/1167.83	c 1167s |      18 |   474666 |   392652 |    60966     11 |     7129 |     8762
1169.54/1169.96	c 1169s |      18 |   475276 |   393152 |    60966     11 |     7129 |     8762
1171.64/1172.06	c 1171s |      18 |   475909 |   393652 |    60966     11 |     7129 |     8762
1173.74/1174.10	c 1173s |      18 |   476506 |   394152 |    60966     11 |     7129 |     8762
1175.94/1176.31	c 1175s |      18 |   477127 |   394652 |    60966     11 |     7129 |     8762
1178.04/1178.46	c 1177s |      18 |   477740 |   395152 |    60966     11 |     7129 |     8762
1180.14/1180.50	c 1179s |      18 |   478361 |   395652 |    60966     11 |     7129 |     8762
1182.24/1182.69	c 1182s |      18 |   478939 |   396152 |    60966     11 |     7129 |     8762
1184.24/1184.70	c 1184s |      18 |   479401 |   396552 |    60966     11 |     7129 |     8762
1186.43/1186.82	c 1186s |      18 |   480020 |   397052 |    60966     11 |     7129 |     8762
1188.43/1188.83	c 1188s |      18 |   480613 |   397552 |    60966     11 |     7129 |     8762
1190.53/1190.94	c 1190s |      18 |   481197 |   398052 |    60966     12 |     7129 |     8762
1192.54/1192.98	c 1192s |      18 |   481903 |   398652 |    60966     12 |     7129 |     8762
1194.74/1195.14	c 1194s |      18 |   482795 |   399452 |    60966     12 |     7129 |     8762
1196.74/1197.15	c 1196s |      18 |   483750 |   400252 |    60966     12 |     7129 |     8762
1198.74/1199.16	c 1198s |      18 |   484741 |   401052 |    60966     12 |     7129 |     8762
1200.94/1201.39	c 1200s |      18 |   485611 |   401752 |    60966     12 |     7129 |     8762
1203.24/1203.67	c 1203s |      18 |   486634 |   402552 |    60966     12 |     7129 |     8762
1205.34/1205.72	c 1205s |      18 |   487477 |   403252 |    60966     12 |     7129 |     8762
1207.54/1207.92	c 1207s |      18 |   488295 |   403952 |    60966     12 |     7129 |     8762
1209.64/1210.08	c 1209s |      18 |   489158 |   404652 |    60966     12 |     7129 |     8762
1211.84/1212.29	c 1211s |      18 |   489998 |   405352 |    60966     12 |     7129 |     8762
1214.04/1214.50	c 1213s |      18 |   490954 |   406152 |    60966     12 |     7129 |     8762
1216.34/1216.75	c 1216s |      18 |   491802 |   406852 |    60966     12 |     7129 |     8762
1218.63/1219.03	c 1218s |      18 |   492807 |   407652 |    60966     12 |     7129 |     8762
1220.74/1221.10	c 1220s |      18 |   493626 |   408352 |    60966     12 |     7129 |     8762
1222.73/1223.15	c 1222s |      18 |   494334 |   408952 |    60966     12 |     7129 |     8762
1224.83/1225.22	c 1224s |      18 |   495161 |   409652 |    60966     12 |     7129 |     8762
1226.93/1227.39	c 1226s |      18 |   495900 |   410252 |    60966     12 |     7129 |     8762
1229.44/1229.85	c 1229s |      18 |   496632 |   410852 |    60966     12 |     7129 |     8762
1231.53/1231.94	c 1231s |      18 |   497357 |   411452 |    60966     12 |     7129 |     8762
1233.73/1234.18	c 1233s |      18 |   498347 |   412252 |    60966     12 |     7129 |     8762
1235.83/1236.26	c 1235s |      18 |   499032 |   412852 |    60966     12 |     7129 |     8762
1238.23/1238.64	c 1238s |      18 |   499766 |   413452 |    60966     12 |     7129 |     8762
1240.53/1240.93	c 1240s |      18 |   500471 |   414052 |    60966     12 |     7129 |     8762
1242.83/1243.21	c 1242s |      18 |   501161 |   414652 |    60966     12 |     7129 |     8762
1245.23/1245.60	c 1244s |      18 |   501884 |   415252 |    60966     12 |     7129 |     8762
1247.33/1247.71	c 1247s |      18 |   502514 |   415752 |    60966     12 |     7129 |     8762
1249.63/1250.04	c 1249s |      18 |   503357 |   416452 |    60966     12 |     7129 |     8762
1251.72/1252.13	c 1251s |      18 |   504107 |   417052 |    60966     12 |     7129 |     8762
1253.92/1254.36	c 1253s |      18 |   504687 |   417552 |    60966     12 |     7129 |     8762
1256.22/1256.70	c 1256s |      18 |   505426 |   418152 |    60966     12 |     7129 |     8762
1258.72/1259.17	c 1258s |      18 |   506117 |   418752 |    60966     12 |     7129 |     8762
1260.82/1261.20	c 1260s |      18 |   506711 |   419252 |    60966     12 |     7129 |     8762
1263.12/1263.53	c 1262s |      18 |   507324 |   419752 |    60966     12 |     7129 |     8762
1265.12/1265.56	c 1264s |      18 |   507817 |   420152 |    60966     12 |     7129 |     8762
1267.42/1267.86	c 1267s |      18 |   508524 |   420752 |    60966     12 |     7129 |     8762
1269.72/1270.16	c 1269s |      18 |   509267 |   421352 |    60966     12 |     7129 |     8762
1271.82/1272.26	c 1271s |      18 |   510011 |   421952 |    60966     12 |     7129 |     8762
1274.02/1274.43	c 1273s |      18 |   510841 |   422652 |    60966     12 |     7129 |     8762
1276.22/1276.65	c 1276s |      18 |   511566 |   423252 |    60966     12 |     7129 |     8762
1278.42/1278.88	c 1278s |      18 |   512181 |   423752 |    60966     12 |     7129 |     8762
1280.62/1281.07	c 1280s |      18 |   512796 |   424252 |    60966     12 |     7129 |     8762
1282.82/1283.26	c 1282s |      18 |   513386 |   424752 |    60966     12 |     7129 |     8762
1285.02/1285.40	c 1284s |      18 |   514010 |   425252 |    60966     12 |     7129 |     8762
1287.22/1287.65	c 1287s |      18 |   515052 |   426052 |    60966     12 |     7129 |     8762
1289.42/1289.80	c 1289s |      18 |   515631 |   426552 |    60966     12 |     7129 |     8762
1291.72/1292.12	c 1291s |      18 |   516206 |   427052 |    60966     12 |     7129 |     8762
1293.92/1294.38	c 1293s |      18 |   516799 |   427552 |    60966     12 |     7129 |     8762
1296.02/1296.45	c 1295s |      18 |   517472 |   428052 |    60966     12 |     7129 |     8762
1298.31/1298.74	c 1298s |      18 |   518304 |   428752 |    60966     12 |     7129 |     8762
1300.41/1300.89	c 1300s |      18 |   519140 |   429452 |    60966     12 |     7129 |     8762
1302.81/1303.23	c 1302s |      18 |   519983 |   430152 |    60966     12 |     7129 |     8762
1304.81/1305.27	c 1304s |      18 |   520746 |   430752 |    60966     12 |     7129 |     8762
1306.91/1307.39	c 1306s |      18 |   521448 |   431352 |    60966     12 |     7129 |     8762
1309.21/1309.66	c 1309s |      18 |   522145 |   431952 |    60966     12 |     7129 |     8762
1311.41/1311.80	c 1311s |      18 |   522976 |   432652 |    60966     13 |     7129 |     8762
1313.81/1314.21	c 1313s |      18 |   523575 |   433152 |    60966     13 |     7129 |     8762
1315.81/1316.26	c 1315s |      18 |   524419 |   433852 |    60966     13 |     7129 |     8762
1317.91/1318.34	c 1317s |      18 |   525229 |   434552 |    60966     13 |     7129 |     8762
1320.11/1320.52	c 1319s |      18 |   526159 |   435352 |    60966     13 |     7129 |     8762
1322.31/1322.75	c 1322s |      18 |   527287 |   436252 |    60966     13 |     7129 |     8762
1324.61/1325.00	c 1324s |      18 |   528228 |   437052 |    60966     13 |     7129 |     8762
1326.71/1327.13	c 1326s |      18 |   529339 |   437952 |    60966     13 |     7129 |     8762
1328.91/1329.38	c 1328s |      18 |   530587 |   438952 |    60966     13 |     7129 |     8762
1331.01/1331.44	c 1330s |      18 |   531532 |   439752 |    60966     13 |     7129 |     8762
1333.21/1333.60	c 1332s |      18 |   532548 |   440552 |    60966     13 |     7129 |     8762
1335.41/1335.85	c 1335s |      18 |   533527 |   441352 |    67063     13 |     7129 |     8762
1337.61/1338.02	c 1337s |      18 |   534549 |   442152 |    67063     13 |     7129 |     8762
1339.81/1340.27	c 1339s |      18 |   535491 |   442952 |    67063     13 |     7129 |     8762
1342.01/1342.40	c 1341s |      18 |   536332 |   443652 |    67063     13 |     7129 |     8762
1344.21/1344.65	c 1344s |      18 |   537141 |   444352 |    67063     13 |     7129 |     8762
1344.61/1345.02	c 1344s |      19 |   537305 |   444482 |    67063     13 |     7129 |     8762
1346.71/1347.11	c 1346s |      19 |   537911 |   444982 |    67063     13 |     7129 |     8762
1348.91/1349.32	c 1348s |      19 |   538795 |   445682 |    67063     13 |     7129 |     8762
1350.90/1351.34	c 1350s |      19 |   539650 |   446382 |    67063     13 |     7129 |     8762
1353.00/1353.41	c 1352s |      19 |   540363 |   446982 |    67063     13 |     7129 |     8762
1355.30/1355.75	c 1355s |      19 |   541198 |   447682 |    67063     13 |     7129 |     8762
1357.50/1357.92	c 1357s |      19 |   541904 |   448282 |    67063     13 |     7129 |     8762
1359.50/1359.96	c 1359s |      19 |   542383 |   448682 |    67063     13 |     7129 |     8762
1361.60/1362.01	c 1361s |      19 |   543391 |   449482 |    67063     13 |     7129 |     8762
1363.71/1364.19	c 1363s |      19 |   544348 |   450282 |    67063     13 |     7129 |     8762
1365.91/1366.34	c 1365s |      19 |   545146 |   450982 |    67063     13 |     7129 |     8762
1368.02/1368.46	c 1367s |      19 |   545973 |   451682 |    67063     13 |     7129 |     8762
1370.22/1370.61	c 1369s |      19 |   546932 |   452482 |    67063     13 |     7129 |     8762
1372.31/1372.78	c 1372s |      19 |   547937 |   453282 |    67063     13 |     7129 |     8762
1374.62/1375.03	c 1374s |      19 |   548798 |   453982 |    67063     13 |     7129 |     8762
1376.71/1377.16	c 1376s |      19 |   549631 |   454682 |    67063     13 |     7129 |     8762
1378.81/1379.29	c 1378s |      19 |   550376 |   455282 |    67063     13 |     7129 |     8762
1380.91/1381.30	c 1380s |      19 |   551215 |   455982 |    67063     13 |     7129 |     8762
1383.01/1383.44	c 1382s |      19 |   551929 |   456582 |    67063     13 |     7129 |     8762
1385.31/1385.71	c 1385s |      19 |   552619 |   457182 |    67063     13 |     7129 |     8762
1387.41/1387.89	c 1387s |      19 |   553309 |   457782 |    67063     13 |     7129 |     8762
1389.51/1389.91	c 1389s |      19 |   553922 |   458282 |    67063     13 |     7129 |     8762
1391.51/1391.93	c 1391s |      19 |   554684 |   458882 |    67063     13 |     7129 |     8762
1393.81/1394.27	c 1393s |      19 |   555487 |   459582 |    67063     13 |     7129 |     8762
1395.91/1396.35	c 1395s |      19 |   556213 |   460182 |    67063     13 |     7129 |     8762
1398.01/1398.45	c 1397s |      19 |   556950 |   460782 |    67063     13 |     7129 |     8762
1400.21/1400.62	c 1399s |      19 |   557817 |   461482 |    67063     13 |     7129 |     8762
1402.40/1402.88	c 1402s |      19 |   558489 |   462082 |    67063     13 |     7129 |     8762
1404.60/1405.08	c 1404s |      19 |   559194 |   462682 |    67063     13 |     7129 |     8762
1407.00/1407.40	c 1406s |      19 |   559901 |   463282 |    67063     13 |     7129 |     8762
1409.30/1409.76	c 1409s |      19 |   560645 |   463882 |    67063     13 |     7129 |     8762
1411.50/1411.90	c 1411s |      19 |   561239 |   464382 |    67063     13 |     7129 |     8762
1413.70/1414.14	c 1413s |      19 |   562105 |   465082 |    67063     13 |     7129 |     8762
1416.00/1416.49	c 1415s |      19 |   562832 |   465682 |    67063     13 |     7129 |     8762
1418.30/1418.76	c 1418s |      19 |   563589 |   466282 |    67063     13 |     7129 |     8762
1420.60/1421.02	c 1420s |      19 |   564316 |   466882 |    67063     13 |     7129 |     8762
1422.60/1423.05	c 1422s |      19 |   564917 |   467382 |    67063     13 |     7129 |     8762
1424.80/1425.24	c 1424s |      19 |   565607 |   467982 |    67063     13 |     7129 |     8762
1427.20/1427.63	c 1426s |      19 |   566460 |   468682 |    67063     13 |     7129 |     8762
1429.30/1429.73	c 1429s |      19 |   567186 |   469282 |    67063     13 |     7129 |     8762
1431.50/1431.93	c 1431s |      19 |   567750 |   469782 |    67063     13 |     7129 |     8762
1433.80/1434.27	c 1433s |      19 |   568381 |   470282 |    67063     13 |     7129 |     8762
1436.21/1436.66	c 1436s |      19 |   569131 |   470882 |    67063     13 |     7129 |     8762
1438.51/1438.99	c 1438s |      19 |   569842 |   471482 |    67063     13 |     7129 |     8762
1440.90/1441.33	c 1440s |      19 |   570614 |   472082 |    67063     13 |     7129 |     8762
1443.10/1443.52	c 1442s |      19 |   571196 |   472582 |    67063     13 |     7129 |     8762
1445.30/1445.75	c 1445s |      19 |   571799 |   473082 |    67063     13 |     7129 |     8762
1448.10/1448.51	c 1447s |      19 |   572266 |   473482 |    67063     14 |     7129 |     8762
1450.40/1450.81	c 1450s |      19 |   572970 |   474082 |    67063     14 |     7129 |     8762
1452.70/1453.12	c 1452s |      19 |   573947 |   474882 |    67063     14 |     7129 |     8762
1454.70/1455.18	c 1454s |      19 |   574645 |   475482 |    67063     14 |     7129 |     8762
1457.00/1457.45	c 1456s |      19 |   575621 |   476282 |    67063     14 |     7129 |     8762
1459.20/1459.60	c 1458s |      19 |   576364 |   476882 |    67063     14 |     7129 |     8762
1461.29/1461.74	c 1461s |      19 |   577230 |   477582 |    67063     14 |     7129 |     8762
1463.39/1463.86	c 1463s |      19 |   578102 |   478282 |    67063     14 |     7129 |     8762
1465.39/1465.89	c 1465s |      19 |   578862 |   478882 |    67063     14 |     7129 |     8762
1467.59/1468.04	c 1467s |      19 |   579590 |   479482 |    67063     14 |     7129 |     8762
1469.69/1470.15	c 1469s |      19 |   580317 |   480082 |    67063     14 |     7129 |     8762
1471.89/1472.31	c 1471s |      19 |   581166 |   480782 |    67063     14 |     7129 |     8762
1473.99/1474.46	c 1473s |      19 |   582110 |   481582 |    67063     14 |     7129 |     8762
1476.09/1476.53	c 1475s |      19 |   582919 |   482282 |    67063     14 |     7129 |     8762
1478.19/1478.61	c 1477s |      19 |   583743 |   482982 |    67063     14 |     7129 |     8762
1480.30/1480.73	c 1480s |      19 |   584581 |   483682 |    67063     14 |     7129 |     8762
1482.29/1482.79	c 1482s |      19 |   585322 |   484282 |    67063     14 |     7129 |     8762
1484.60/1485.09	c 1484s |      19 |   586037 |   484882 |    67063     14 |     7129 |     8762
1486.90/1487.35	c 1486s |      19 |   586731 |   485482 |    67063     14 |     7129 |     8762
1489.00/1489.44	c 1488s |      19 |   587444 |   486082 |    67063     14 |     7129 |     8762
1490.99/1491.49	c 1490s |      19 |   588122 |   486682 |    67063     14 |     7129 |     8762
1493.29/1493.73	c 1493s |      19 |   588730 |   487182 |    67063     14 |     7129 |     8762
1495.39/1495.83	c 1495s |      19 |   589574 |   487882 |    67063     14 |     7129 |     8762
1497.49/1497.96	c 1497s |      19 |   590409 |   488582 |    67063     14 |     7129 |     8762
1499.59/1500.03	c 1499s |      19 |   591111 |   489182 |    67063     14 |     7129 |     8762
1501.59/1502.03	c 1501s |      19 |   591825 |   489782 |    67063     14 |     7129 |     8762
1503.79/1504.23	c 1503s |      19 |   592542 |   490382 |    67063     14 |     7129 |     8762
1505.99/1506.49	c 1505s |      19 |   593383 |   491082 |    67063     14 |     7129 |     8762
1508.29/1508.79	c 1508s |      19 |   594294 |   491782 |    67063     14 |     7129 |     8762
1510.49/1510.98	c 1510s |      19 |   595001 |   492382 |    67063     14 |     7129 |     8762
1512.79/1513.27	c 1512s |      19 |   595717 |   492982 |    67063     14 |     7129 |     8762
1515.09/1515.56	c 1514s |      19 |   596602 |   493682 |    67063     14 |     7129 |     8762
1517.09/1517.56	c 1516s |      19 |   597320 |   494282 |    67063     14 |     7129 |     8762
1519.39/1519.89	c 1519s |      19 |   598066 |   494882 |    67063     14 |     7129 |     8762
1521.49/1521.90	c 1521s |      19 |   598654 |   495382 |    67063     14 |     7129 |     8762
1523.79/1524.20	c 1523s |      19 |   599479 |   496082 |    67063     14 |     7129 |     8762
1525.99/1526.44	c 1525s |      19 |   600219 |   496682 |    67063     14 |     7129 |     8762
1528.28/1528.74	c 1528s |      19 |   600895 |   497282 |    67063     14 |     7129 |     8762
1530.48/1530.94	c 1530s |      19 |   601596 |   497882 |    67063     14 |     7129 |     8762
1532.58/1533.08	c 1532s |      19 |   602327 |   498482 |    67063     14 |     7129 |     8762
1534.88/1535.35	c 1534s |      19 |   603146 |   499182 |    67063     14 |     7129 |     8762
1536.98/1537.46	c 1536s |      19 |   603969 |   499882 |    67063     14 |     7129 |     8762
1539.08/1539.53	c 1538s |      19 |   604767 |   500582 |    67063     14 |     7129 |     8762
1541.08/1541.59	c 1540s |      19 |   605642 |   501282 |    67063     14 |     7129 |     8762
1543.18/1543.67	c 1543s |      19 |   606340 |   501882 |    67063     14 |     7129 |     8762
1545.48/1545.92	c 1545s |      19 |   607204 |   502582 |    67063     14 |     7129 |     8762
1548.49/1548.96	c 1548s |      19 |   607503 |   502782 |    67063     14 |     7129 |     8762
1550.78/1551.28	c 1550s |      19 |   608263 |   503382 |    67063     14 |     7129 |     8762
1552.89/1553.32	c 1552s |      19 |   609095 |   503982 |    67063     14 |     7129 |     8762
1554.99/1555.41	c 1554s |      19 |   609901 |   504582 |    67063     14 |     7129 |     8762
1557.08/1557.58	c 1556s |      19 |   610529 |   505082 |    67063     14 |     7129 |     8762
1559.49/1559.93	c 1559s |      19 |   611289 |   505682 |    67063     14 |     7129 |     8762
1561.58/1562.04	c 1561s |      19 |   611905 |   506182 |    67063     14 |     7129 |     8762
1563.78/1564.24	c 1563s |      19 |   612562 |   506682 |    67063     14 |     7129 |     8762
1566.18/1566.64	c 1566s |      19 |   613310 |   507282 |    67063     14 |     7129 |     8762
1568.28/1568.73	c 1568s |      19 |   613908 |   507782 |    67063     14 |     7129 |     8762
1570.68/1571.17	c 1570s |      19 |   614668 |   508382 |    67063     14 |     7129 |     8762
1572.78/1573.23	c 1572s |      19 |   615271 |   508882 |    67063     14 |     7129 |     8762
1574.78/1575.24	c 1574s |      19 |   615924 |   509382 |    67063     14 |     7129 |     8762
1576.78/1577.28	c 1576s |      19 |   616752 |   509982 |    67063     14 |     7129 |     8762
1578.98/1579.45	c 1578s |      19 |   617500 |   510582 |    67063     14 |     7129 |     8762
1581.18/1581.64	c 1581s |      19 |   618277 |   511182 |    67063     14 |     7129 |     8762
1583.47/1583.99	c 1583s |      19 |   618786 |   511582 |    67063     15 |     7129 |     8762
1585.57/1586.07	c 1585s |      19 |   619789 |   512382 |    67063     15 |     7129 |     8762
1587.67/1588.17	c 1587s |      19 |   620620 |   513082 |    67063     15 |     7129 |     8762
1590.37/1590.81	c 1590s |      19 |   621564 |   513782 |    67063     15 |     7129 |     8762
1592.57/1593.01	c 1592s |      19 |   622509 |   514482 |    67063     15 |     7129 |     8762
1594.77/1595.24	c 1594s |      19 |   623384 |   515182 |    67063     15 |     7129 |     8762
1597.07/1597.53	c 1596s |      19 |   624233 |   515882 |    67063     15 |     7129 |     8762
1599.27/1599.79	c 1599s |      19 |   625082 |   516582 |    67063     15 |     7129 |     8762
1601.37/1601.82	c 1601s |      19 |   625933 |   517282 |    67063     15 |     7129 |     8762
1603.67/1604.11	c 1603s |      19 |   626770 |   517982 |    67063     15 |     7129 |     8762
1605.67/1606.16	c 1605s |      19 |   627637 |   518682 |    67063     15 |     7129 |     8762
1607.77/1608.29	c 1607s |      19 |   628486 |   519382 |    67063     15 |     7129 |     8762
1609.97/1610.49	c 1609s |      19 |   629450 |   520182 |    67063     15 |     7129 |     8762
1611.97/1612.49	c 1611s |      19 |   630320 |   520882 |    67063     15 |     7129 |     8762
1613.97/1614.49	c 1613s |      19 |   631037 |   521482 |    67063     15 |     7129 |     8762
1616.07/1616.57	c 1615s |      19 |   631878 |   522182 |    67063     15 |     7129 |     8762
1618.27/1618.70	c 1618s |      19 |   632702 |   522882 |    67063     15 |     7129 |     8762
1620.37/1620.80	c 1620s |      19 |   633499 |   523582 |    67063     15 |     7129 |     8762
1622.37/1622.86	c 1622s |      19 |   634219 |   524182 |    67063     15 |     7129 |     8762
1624.87/1625.34	c 1624s |      19 |   634940 |   524782 |    67063     15 |     7129 |     8762
1627.16/1627.61	c 1626s |      19 |   635657 |   525382 |    67063     15 |     7129 |     8762
1629.46/1629.96	c 1629s |      19 |   636385 |   525982 |    67063     15 |     7129 |     8762
1631.76/1632.27	c 1631s |      19 |   637071 |   526582 |    67063     15 |     7129 |     8762
1634.06/1634.53	c 1633s |      19 |   637776 |   527182 |    67063     15 |     7129 |     8762
1636.37/1636.85	c 1636s |      19 |   638471 |   527782 |    67063     15 |     7129 |     8762
1638.46/1638.90	c 1638s |      19 |   639060 |   528282 |    67063     15 |     7129 |     8762
1640.56/1641.05	c 1640s |      19 |   639783 |   528882 |    67063     15 |     7129 |     8762
1642.76/1643.25	c 1642s |      19 |   640381 |   529382 |    67063     15 |     7129 |     8762
1644.86/1645.39	c 1644s |      19 |   640936 |   529882 |    67063     15 |     7129 |     8762
1647.26/1647.76	c 1647s |      19 |   641493 |   530382 |    67063     15 |     7129 |     8762
1649.76/1650.20	c 1649s |      19 |   642058 |   530882 |    67063     15 |     7129 |     8762
1652.06/1652.59	c 1651s |      19 |   642685 |   531382 |    67063     15 |     7129 |     8762
1654.16/1654.66	c 1654s |      19 |   643263 |   531882 |    67063     15 |     7129 |     8762
1656.36/1656.83	c 1656s |      19 |   643865 |   532382 |    67063     15 |     7129 |     8762
1658.86/1659.30	c 1658s |      19 |   644415 |   532882 |    67063     15 |     7129 |     8762
1661.06/1661.59	c 1660s |      19 |   645011 |   533382 |    67063     15 |     7129 |     8762
1663.36/1663.83	c 1663s |      19 |   645564 |   533882 |    67063     15 |     7129 |     8762
1665.56/1666.03	c 1665s |      19 |   646162 |   534382 |    67063     15 |     7129 |     8762
1667.76/1668.25	c 1667s |      19 |   646720 |   534882 |    67063     15 |     7129 |     8762
1669.96/1670.42	c 1669s |      19 |   647288 |   535382 |    67063     15 |     7129 |     8762
1672.06/1672.56	c 1671s |      19 |   647893 |   535882 |    67063     15 |     7129 |     8762
1674.36/1674.84	c 1674s |      19 |   648434 |   536382 |    67063     15 |     7129 |     8762
1676.65/1677.19	c 1676s |      19 |   648792 |   536682 |    67063     15 |     7129 |     8762
1678.95/1679.44	c 1678s |      19 |   649424 |   537182 |    67063     15 |     7129 |     8762
1681.05/1681.53	c 1680s |      19 |   650149 |   537782 |    67063     15 |     7129 |     8762
1683.25/1683.78	c 1683s |      19 |   650751 |   538282 |    67063     15 |     7129 |     8762
1685.45/1685.99	c 1685s |      19 |   651488 |   538882 |    67063     15 |     7129 |     8762
1687.55/1688.02	c 1687s |      19 |   652059 |   539382 |    67063     15 |     7129 |     8762
1689.85/1690.31	c 1689s |      19 |   652790 |   539982 |    67063     15 |     7129 |     8762
1692.25/1692.70	c 1692s |      19 |   653498 |   540582 |    67063     15 |     7129 |     8762
1694.25/1694.71	c 1694s |      19 |   654077 |   541082 |    67063     15 |     7129 |     8762
1696.45/1696.96	c 1696s |      19 |   654669 |   541582 |    67063     15 |     7129 |     8762
1698.65/1699.15	c 1698s |      19 |   655135 |   541982 |    67063     15 |     7129 |     8762
1701.05/1701.57	c 1700s |      19 |   655731 |   542482 |    67063     15 |     7129 |     8762
1703.15/1703.68	c 1703s |      19 |   656229 |   542882 |    67063     15 |     7129 |     8762
1705.35/1705.83	c 1705s |      19 |   656681 |   543282 |    67063     15 |     7129 |     8762
1707.65/1708.17	c 1707s |      19 |   657302 |   543782 |    67063     15 |     7129 |     8762
1710.05/1710.58	c 1709s |      19 |   657907 |   544282 |    67063     15 |     7129 |     8762
1712.35/1712.88	c 1712s |      19 |   658495 |   544782 |    67063     15 |     7129 |     8762
1714.65/1715.15	c 1714s |      19 |   659093 |   545282 |    67063     15 |     7129 |     8762
1717.05/1717.50	c 1716s |      19 |   659679 |   545782 |    67063     15 |     7129 |     8762
1719.15/1719.64	c 1718s |      19 |   660125 |   546182 |    67063     15 |     7129 |     8762
1721.65/1722.18	c 1721s |      19 |   660753 |   546682 |    67063     15 |     7129 |     8762
1723.95/1724.44	c 1723s |      19 |   661320 |   547182 |    67063     15 |     7129 |     8762
1726.15/1726.67	c 1726s |      19 |   661775 |   547582 |    67063     15 |     7129 |     8762
1728.55/1729.03	c 1728s |      19 |   662243 |   547982 |    67063     15 |     7129 |     8762
1731.24/1731.73	c 1731s |      19 |   662864 |   548482 |    67063     15 |     7129 |     8762
1733.34/1733.88	c 1733s |      19 |   663317 |   548882 |    67063     15 |     7129 |     8762
1735.84/1736.37	c 1735s |      19 |   663780 |   549282 |    67063     16 |     7129 |     8762
1737.94/1738.42	c 1737s |      19 |   664464 |   549882 |    67063     16 |     7129 |     8762
1739.94/1740.45	c 1739s |      19 |   665256 |   550582 |    67063     16 |     7129 |     8762
1742.24/1742.72	c 1742s |      19 |   666103 |   551282 |    67063     16 |     7129 |     8762
1744.54/1745.01	c 1744s |      19 |   666793 |   551882 |    67063     16 |     7129 |     8762
1746.54/1747.06	c 1746s |      19 |   667487 |   552482 |    67063     16 |     7129 |     8762
1748.84/1749.35	c 1748s |      19 |   668276 |   553182 |    67063     16 |     7129 |     8762
1750.94/1751.46	c 1750s |      19 |   668864 |   553682 |    67063     16 |     7129 |     8762
1753.05/1753.52	c 1752s |      19 |   669718 |   554382 |    67063     16 |     7129 |     8762
1755.04/1755.54	c 1754s |      19 |   670682 |   555182 |    67063     16 |     7129 |     8762
1757.04/1757.59	c 1756s |      19 |   671491 |   555882 |    67063     16 |     7129 |     8762
1759.34/1759.80	c 1759s |      19 |   672439 |   556682 |    67063     16 |     7129 |     8762
1761.34/1761.82	c 1761s |      19 |   673268 |   557382 |    67063     16 |     7129 |     8762
1763.44/1763.95	c 1763s |      19 |   673957 |   557982 |    67063     16 |     7129 |     8762
1765.74/1766.28	c 1765s |      19 |   674766 |   558682 |    67063     16 |     7129 |     8762
1768.14/1768.62	c 1767s |      19 |   675735 |   559482 |    67063     16 |     7129 |     8762
1770.14/1770.65	c 1770s |      19 |   676574 |   560182 |    67063     16 |     7129 |     8762
1772.14/1772.68	c 1772s |      19 |   677308 |   560782 |    67063     16 |     7129 |     8762
1774.34/1774.81	c 1774s |      19 |   678245 |   561582 |    67063     16 |     7129 |     8762
1776.34/1776.82	c 1776s |      19 |   679069 |   562282 |    67063     16 |     7129 |     8762
1778.44/1778.94	c 1778s |      19 |   679765 |   562882 |    67063     16 |     7129 |     8762
1780.44/1780.98	c 1780s |      19 |   680470 |   563482 |    67063     16 |     7129 |     8762
1782.64/1783.19	c 1782s |      19 |   681149 |   564082 |    67063     16 |     7129 |     8762
1785.04/1785.53	c 1784s |      19 |   682004 |   564782 |    67063     16 |     7129 |     8762
1787.14/1787.69	c 1787s |      19 |   682818 |   565482 |    67063     16 |     7129 |     8762
1789.64/1790.10	c 1789s |      19 |   683637 |   566182 |    67063     16 |     7129 |     8762
1791.94/1792.41	c 1791s |      19 |   684343 |   566782 |    67063     16 |     7129 |     8762
1794.04/1794.58	c 1793s |      19 |   685028 |   567382 |    67063     16 |     7129 |     8762
1796.14/1796.61	c 1795s |      19 |   685613 |   567882 |    67063     16 |     7129 |     8762
1798.14/1798.61	c 1797s |      19 |   686323 |   568482 |    67063     16 |     7129 |     8762

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

pid=5414
running on 4 cores: 0,2,4,6

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.15 2.22 2.18 3/179 5417
/proc/meminfo: memFree=28829328/32872528 swapFree=17892/1720544
[pid=5417] ppid=5414 vsize=409020 CPUtime=0 cores=0,2,4,6
/proc/5417/stat : 5417 (toysat) R 5414 5417 3556 0 -1 4202496 1467 0 0 0 0 0 0 0 20 0 4 0 109285680 418836480 1828 33554432000 4194304 16246674 140733276707600 140733276707024 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5417/statm: 102767 1838 441 2943 0 99661 0
[pid=5417/tid=5418] ppid=5414 vsize=425404 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5418/stat : 5418 (toysat) S 5414 5417 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109285680 435613696 1895 33554432000 4194304 16246674 140733276707600 140450268687600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5417/tid=5419] ppid=5414 vsize=430524 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5419/stat : 5419 (toysat) S 5414 5417 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109285680 440856576 1912 33554432000 4194304 16246674 140733276707600 140450258197744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5417/tid=5420] ppid=5414 vsize=434620 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5420/stat : 5420 (toysat) S 5414 5417 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109285680 445050880 1928 33554432000 4194304 16246674 140733276707600 140450247724208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100124 s]
/proc/loadavg: 2.15 2.22 2.18 3/179 5417
/proc/meminfo: memFree=28829328/32872528 swapFree=17892/1720544
[pid=5417] ppid=5414 vsize=1221188 CPUtime=0.08 cores=0,2,4,6
/proc/5417/stat : 5417 (toysat) R 5414 5417 3556 0 -1 4202496 24870 0 0 0 5 3 0 0 20 0 4 0 109285680 1250496512 25169 33554432000 4194304 16246674 140733276707600 140733276706912 4220897 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5417/statm: 305297 25169 800 2943 0 302191 0
[pid=5417/tid=5418] ppid=5414 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5418/stat : 5418 (toysat) S 5414 5417 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109285680 1250496512 25169 33554432000 4194304 16246674 140733276707600 140450268687600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5417/tid=5419] ppid=5414 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5419/stat : 5419 (toysat) S 5414 5417 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109285680 1250496512 25169 33554432000 4194304 16246674 140733276707600 140450258197744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5417/tid=5420] ppid=5414 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5420/stat : 5420 (toysat) S 5414 5417 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109285680 1250496512 25169 33554432000 4194304 16246674 140733276707600 140450247724208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1221188

[startup+0.200465 s]
/proc/loadavg: 2.15 2.22 2.18 3/179 5417
/proc/meminfo: memFree=28829328/32872528 swapFree=17892/1720544
[pid=5417] ppid=5414 vsize=1311300 CPUtime=0.19 cores=0,2,4,6
/proc/5417/stat : 5417 (toysat) R 5414 5417 3556 0 -1 4202496 46855 0 0 0 12 7 0 0 20 0 4 0 109285680 1342771200 47665 33554432000 4194304 16246674 140733276707600 140733276706912 4221105 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5417/statm: 327825 47672 801 2943 0 324719 0
[pid=5417/tid=5418] ppid=5414 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5418/stat : 5418 (toysat) S 5414 5417 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109285680 1342771200 47676 33554432000 4194304 16246674 140733276707600 140450268687600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5417/tid=5419] ppid=5414 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5419/stat : 5419 (toysat) S 5414 5417 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109285680 1342771200 47680 33554432000 4194304 16246674 140733276707600 140450258197744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5417/tid=5420] ppid=5414 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5420/stat : 5420 (toysat) S 5414 5417 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109285680 1342771200 47684 33554432000 4194304 16246674 140733276707600 140450247724208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.300421 s]
/proc/loadavg: 2.15 2.22 2.18 3/179 5417
/proc/meminfo: memFree=28829328/32872528 swapFree=17892/1720544
[pid=5417] ppid=5414 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/5417/stat : 5417 (toysat) R 5414 5417 3556 0 -1 4202496 56318 0 0 0 21 8 0 0 20 0 4 0 109285680 1344868352 57128 33554432000 4194304 16246674 140733276707600 140733276706912 6779828 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5417/statm: 328337 57128 831 2943 0 325231 0
[pid=5417/tid=5418] ppid=5414 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5418/stat : 5418 (toysat) S 5414 5417 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109285680 1344868352 57128 33554432000 4194304 16246674 140733276707600 140450268687600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5417/tid=5419] ppid=5414 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5419/stat : 5419 (toysat) S 5414 5417 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109285680 1344868352 57128 33554432000 4194304 16246674 140733276707600 140450258197744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5417/tid=5420] ppid=5414 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5420/stat : 5420 (toysat) S 5414 5417 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109285680 1344868352 57128 33554432000 4194304 16246674 140733276707600 140450247724208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700347 s]
/proc/loadavg: 2.15 2.22 2.18 3/179 5417
/proc/meminfo: memFree=28829328/32872528 swapFree=17892/1720544
[pid=5417] ppid=5414 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/5417/stat : 5417 (toysat) R 5414 5417 3556 0 -1 4202496 86545 0 0 0 57 12 0 0 20 0 4 0 109285680 1344868352 87355 33554432000 4194304 16246674 140733276707600 140733276706912 5827966 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5417/statm: 328337 87355 885 2943 0 325231 0
[pid=5417/tid=5418] ppid=5414 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5418/stat : 5418 (toysat) S 5414 5417 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109285680 1344868352 87355 33554432000 4194304 16246674 140733276707600 140450268687600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5417/tid=5419] ppid=5414 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5419/stat : 5419 (toysat) S 5414 5417 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109285680 1344868352 87355 33554432000 4194304 16246674 140733276707600 140450258197744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5417/tid=5420] ppid=5414 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5420/stat : 5420 (toysat) S 5414 5417 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109285680 1344868352 87355 33554432000 4194304 16246674 140733276707600 140450247724208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50035 s]
/proc/loadavg: 2.15 2.22 2.18 3/183 5421
/proc/meminfo: memFree=28452208/32872528 swapFree=17892/1720544
[pid=5417] ppid=5414 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/5417/stat : 5417 (toysat) R 5414 5417 3556 0 -1 4202496 149201 0 0 0 127 22 0 0 20 0 4 0 109285680 1344868352 150011 33554432000 4194304 16246674 140733276707600 140733276689472 5675357 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5417/statm: 328337 150016 885 2943 0 325231 0
[pid=5417/tid=5418] ppid=5414 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5418/stat : 5418 (toysat) S 5414 5417 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109285680 1344868352 150019 33554432000 4194304 16246674 140733276707600 140450268687600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5417/tid=5419] ppid=5414 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5419/stat : 5419 (toysat) S 5414 5417 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109285680 1344868352 150023 33554432000 4194304 16246674 140733276707600 140450258197744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5417/tid=5420] ppid=5414 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5420/stat : 5420 (toysat) S 5414 5417 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109285680 1344868352 150028 33554432000 4194304 16246674 140733276707600 140450247724208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10036 s]
/proc/loadavg: 2.22 2.24 2.19 3/183 5421
/proc/meminfo: memFree=27865324/32872528 swapFree=17892/1720544
[pid=5417] ppid=5414 vsize=1313348 CPUtime=3.09 cores=0,2,4,6
/proc/5417/stat : 5417 (toysat) R 5414 5417 3556 0 -1 4202496 269005 0 0 0 271 38 0 0 20 0 4 0 109285680 1344868352 269815 33554432000 4194304 16246674 140733276707600 140733276689472 13943664 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5417/statm: 328337 269815 888 2943 0 325231 0
[pid=5417/tid=5418] ppid=5414 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5418/stat : 5418 (toysat) S 5414 5417 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109285680 1344868352 269815 33554432000 4194304 16246674 140733276707600 140450268687600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5417/tid=5419] ppid=5414 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5419/stat : 5419 (toysat) S 5414 5417 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109285680 1344868352 269815 33554432000 4194304 16246674 140733276707600 140450258197744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5417/tid=5420] ppid=5414 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5420/stat : 5420 (toysat) S 5414 5417 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109285680 1344868352 269815 33554432000 4194304 16246674 140733276707600 140450247724208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30036 s]
/proc/loadavg: 2.22 2.24 2.19 3/183 5421
/proc/meminfo: memFree=27750528/32872528 swapFree=17892/1720544
[pid=5417] ppid=5414 vsize=1313348 CPUtime=6.29 cores=0,2,4,6
/proc/5417/stat : 5417 (toysat) R 5414 5417 3556 0 -1 4202496 269009 0 0 0 591 38 0 0 20 0 4 0 109285680 1344868352 269819 33554432000 4194304 16246674 140733276707600 140733276689472 5822722 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5417/statm: 328337 269819 891 2943 0 325231 0
[pid=5417/tid=5418] ppid=5414 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5418/stat : 5418 (toysat) S 5414 5417 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109285680 1344868352 269819 33554432000 4194304 16246674 140733276707600 140450268687600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5417/tid=5419] ppid=5414 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5419/stat : 5419 (toysat) S 5414 5417 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109285680 1344868352 269819 33554432000 4194304 16246674 140733276707600 140450258197744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5417/tid=5420] ppid=5414 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5420/stat : 5420 (toysat) S 5414 5417 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109285680 1344868352 269819 33554432000 4194304 16246674 140733276707600 140450247724208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.19 2.23 2.18 3/183 5421
/proc/meminfo: memFree=27748804/32872528 swapFree=17892/1720544
[pid=5417] ppid=5414 vsize=1313348 CPUtime=12.69 cores=0,2,4,6
/proc/5417/stat : 5417 (toysat) R 5414 5417 3556 0 -1 4202496 269009 0 0 0 1231 38 0 0 20 0 4 0 109285680 1344868352 269819 33554432000 4194304 16246674 140733276707600 140733276689472 5822252 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5417/statm: 328337 269819 891 2943 0 325231 0
[pid=5417/tid=5418] ppid=5414 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5418/stat : 5418 (toysat) S 5414 5417 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109285680 1344868352 269819 33554432000 4194304 16246674 140733276707600 140450268687600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5417/tid=5419] ppid=5414 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5419/stat : 5419 (toysat) S 5414 5417 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109285680 1344868352 269819 33554432000 4194304 16246674 140733276707600 140450258197744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5417/tid=5420] ppid=5414 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5420/stat : 5420 (toysat) S 5414 5417 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109285680 1344868352 269819 33554432000 4194304 16246674 140733276707600 140450247724208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5004 s]
/proc/loadavg: 2.16 2.22 2.18 3/183 5421
/proc/meminfo: memFree=27749424/32872528 swapFree=17892/1720544
[pid=5417] ppid=5414 vsize=1313348 CPUtime=25.48 cores=0,2,4,6
/proc/5417/stat : 5417 (toysat) R 5414 5417 3556 0 -1 4202496 269009 0 0 0 2510 38 0 0 20 0 4 0 109285680 1344868352 269819 33554432000 4194304 16246674 140733276707600 140733276689472 13820947 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5417/statm: 328337 269819 891 2943 0 325231 0
[pid=5417/tid=5418] ppid=5414 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5418/stat : 5418 (toysat) S 5414 5417 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109285680 1344868352 269819 33554432000 4194304 16246674 140733276707600 140450268687600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5417/tid=5419] ppid=5414 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5419/stat : 5419 (toysat) S 5414 5417 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109285680 1344868352 269819 33554432000 4194304 16246674 140733276707600 140450258197744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5417/tid=5420] ppid=5414 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5420/stat : 5420 (toysat) S 5414 5417 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109285680 1344868352 269819 33554432000 4194304 16246674 140733276707600 140450247724208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1313348

[startup+51.1004 s]
/proc/loadavg: 2.33 2.25 2.19 4/183 5519
/proc/meminfo: memFree=28839372/32872528 swapFree=17892/1720544
[pid=5417] ppid=5414 vsize=1313348 CPUtime=51.08 cores=0,2,4,6
/proc/5417/stat : 5417 (toysat) R 5414 5417 3556 0 -1 4202496 269009 0 0 0 5070 38 0 0 20 0 4 0 109285680 1344868352 269819 33554432000 4194304 16246674 140733276707600 140733276690600 5822252 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5417/statm: 328337 269819 891 2943 0 325231 0
[pid=5417/tid=5418] ppid=5414 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5418/stat : 5418 (toysat) S 5414 5417 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109285680 1344868352 269819 33554432000 4194304 16246674 140733276707600 140450268687600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5417/tid=5419] ppid=5414 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5419/stat : 5419 (toysat) S 5414 5417 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109285680 1344868352 269819 33554432000 4194304 16246674 140733276707600 140450258197744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5417/tid=5420] ppid=5414 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5420/stat : 5420 (toysat) S 5414 5417 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109285680 1344868352 269819 33554432000 4194304 16246674 140733276707600 140450247724208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.3 s]
/proc/loadavg: 2.36 2.27 2.20 3/183 5617
/proc/meminfo: memFree=27917152/32872528 swapFree=17892/1720544
[pid=5417] ppid=5414 vsize=1350212 CPUtime=102.27 cores=0,2,4,6
/proc/5417/stat : 5417 (toysat) R 5414 5417 3556 0 -1 4202496 278128 0 0 0 10188 39 0 0 20 0 4 0 109285680 1382617088 278930 33554432000 4194304 16246674 140733276707600 140733276689472 5724032 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5417/statm: 337553 278930 891 2943 0 334447 0
[pid=5417/tid=5418] ppid=5414 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5418/stat : 5418 (toysat) S 5414 5417 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109285680 1382617088 278930 33554432000 4194304 16246674 140733276707600 140450268687600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5417/tid=5419] ppid=5414 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5419/stat : 5419 (toysat) S 5414 5417 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109285680 1382617088 278930 33554432000 4194304 16246674 140733276707600 140450258197744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5417/tid=5420] ppid=5414 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5420/stat : 5420 (toysat) S 5414 5417 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109285680 1382617088 278930 33554432000 4194304 16246674 140733276707600 140450247724208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1350212


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

/proc/5417/task/5420/stat : 5420 (toysat) S 5414 5417 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109285680 1425608704 289300 33554432000 4194304 16246674 140733276707600 140450247724208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1392196

[startup+1362.3 s]
/proc/loadavg: 2.20 2.27 2.23 3/183 5648
/proc/meminfo: memFree=27871188/32872528 swapFree=17892/1720544
[pid=5417] ppid=5414 vsize=1392196 CPUtime=1361.9 cores=0,2,4,6
/proc/5417/stat : 5417 (toysat) R 5414 5417 3556 0 -1 4202496 289048 0 0 0 136144 46 0 0 20 0 4 0 109285680 1425608704 289537 33554432000 4194304 16246674 140733276707600 140733276689472 5676626 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5417/statm: 348049 289537 892 2943 0 344943 0
[pid=5417/tid=5418] ppid=5414 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5418/stat : 5418 (toysat) S 5414 5417 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109285680 1425608704 289537 33554432000 4194304 16246674 140733276707600 140450268687600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5417/tid=5419] ppid=5414 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5419/stat : 5419 (toysat) S 5414 5417 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109285680 1425608704 289537 33554432000 4194304 16246674 140733276707600 140450258197744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5417/tid=5420] ppid=5414 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5420/stat : 5420 (toysat) S 5414 5417 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109285680 1425608704 289537 33554432000 4194304 16246674 140733276707600 140450247724208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1392196

[startup+1422.3 s]
/proc/loadavg: 2.07 2.21 2.21 3/183 5650
/proc/meminfo: memFree=27871664/32872528 swapFree=17892/1720544
[pid=5417] ppid=5414 vsize=1392196 CPUtime=1421.91 cores=0,2,4,6
/proc/5417/stat : 5417 (toysat) R 5414 5417 3556 0 -1 4202496 289048 0 0 0 142144 47 0 0 20 0 4 0 109285680 1425608704 289537 33554432000 4194304 16246674 140733276707600 140733276689472 5822428 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5417/statm: 348049 289537 892 2943 0 344943 0
[pid=5417/tid=5418] ppid=5414 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5418/stat : 5418 (toysat) S 5414 5417 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109285680 1425608704 289537 33554432000 4194304 16246674 140733276707600 140450268687600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5417/tid=5419] ppid=5414 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5419/stat : 5419 (toysat) S 5414 5417 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109285680 1425608704 289537 33554432000 4194304 16246674 140733276707600 140450258197744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5417/tid=5420] ppid=5414 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5420/stat : 5420 (toysat) S 5414 5417 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109285680 1425608704 289537 33554432000 4194304 16246674 140733276707600 140450247724208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1392196

[startup+1482.3 s]
/proc/loadavg: 2.30 2.25 2.22 4/184 5654
/proc/meminfo: memFree=27814820/32872528 swapFree=17892/1720544
[pid=5417] ppid=5414 vsize=1392196 CPUtime=1481.89 cores=0,2,4,6
/proc/5417/stat : 5417 (toysat) R 5414 5417 3556 0 -1 4202496 289048 0 0 0 148142 47 0 0 20 0 4 0 109285680 1425608704 289537 33554432000 4194304 16246674 140733276707600 140733276689472 5829044 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5417/statm: 348049 289537 892 2943 0 344943 0
[pid=5417/tid=5418] ppid=5414 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5418/stat : 5418 (toysat) S 5414 5417 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109285680 1425608704 289537 33554432000 4194304 16246674 140733276707600 140450268687600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5417/tid=5419] ppid=5414 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5419/stat : 5419 (toysat) S 5414 5417 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109285680 1425608704 289537 33554432000 4194304 16246674 140733276707600 140450258197744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5417/tid=5420] ppid=5414 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5420/stat : 5420 (toysat) S 5414 5417 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109285680 1425608704 289537 33554432000 4194304 16246674 140733276707600 140450247724208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1392196

[startup+1542.31 s]
/proc/loadavg: 2.18 2.23 2.21 3/183 5655
/proc/meminfo: memFree=27815828/32872528 swapFree=17892/1720544
[pid=5417] ppid=5414 vsize=1392196 CPUtime=1541.89 cores=0,2,4,6
/proc/5417/stat : 5417 (toysat) R 5414 5417 3556 0 -1 4202496 289048 0 0 0 154142 47 0 0 20 0 4 0 109285680 1425608704 289537 33554432000 4194304 16246674 140733276707600 140733276689472 5673687 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5417/statm: 348049 289537 892 2943 0 344943 0
[pid=5417/tid=5418] ppid=5414 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5418/stat : 5418 (toysat) S 5414 5417 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109285680 1425608704 289537 33554432000 4194304 16246674 140733276707600 140450268687600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5417/tid=5419] ppid=5414 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5419/stat : 5419 (toysat) S 5414 5417 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109285680 1425608704 289537 33554432000 4194304 16246674 140733276707600 140450258197744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5417/tid=5420] ppid=5414 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5420/stat : 5420 (toysat) S 5414 5417 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109285680 1425608704 289537 33554432000 4194304 16246674 140733276707600 140450247724208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1392196

[startup+1602.3 s]
/proc/loadavg: 2.16 2.22 2.21 3/183 5656
/proc/meminfo: memFree=27816076/32872528 swapFree=17892/1720544
[pid=5417] ppid=5414 vsize=1392196 CPUtime=1601.87 cores=0,2,4,6
/proc/5417/stat : 5417 (toysat) R 5414 5417 3556 0 -1 4202496 289048 0 0 0 160140 47 0 0 20 0 4 0 109285680 1425608704 289537 33554432000 4194304 16246674 140733276707600 140733276706696 5827966 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5417/statm: 348049 289537 892 2943 0 344943 0
[pid=5417/tid=5418] ppid=5414 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5418/stat : 5418 (toysat) S 5414 5417 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109285680 1425608704 289537 33554432000 4194304 16246674 140733276707600 140450268687600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5417/tid=5419] ppid=5414 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5419/stat : 5419 (toysat) S 5414 5417 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109285680 1425608704 289537 33554432000 4194304 16246674 140733276707600 140450258197744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5417/tid=5420] ppid=5414 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5420/stat : 5420 (toysat) S 5414 5417 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109285680 1425608704 289537 33554432000 4194304 16246674 140733276707600 140450247724208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1392196

[startup+1662.3 s]
/proc/loadavg: 2.28 2.24 2.21 3/183 5657
/proc/meminfo: memFree=27816212/32872528 swapFree=17892/1720544
[pid=5417] ppid=5414 vsize=1392196 CPUtime=1661.86 cores=0,2,4,6
/proc/5417/stat : 5417 (toysat) R 5414 5417 3556 0 -1 4202496 289048 0 0 0 166139 47 0 0 20 0 4 0 109285680 1425608704 289537 33554432000 4194304 16246674 140733276707600 140733276689472 5822484 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5417/statm: 348049 289537 892 2943 0 344943 0
[pid=5417/tid=5418] ppid=5414 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5418/stat : 5418 (toysat) S 5414 5417 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109285680 1425608704 289537 33554432000 4194304 16246674 140733276707600 140450268687600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5417/tid=5419] ppid=5414 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5419/stat : 5419 (toysat) S 5414 5417 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109285680 1425608704 289537 33554432000 4194304 16246674 140733276707600 140450258197744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5417/tid=5420] ppid=5414 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5420/stat : 5420 (toysat) S 5414 5417 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109285680 1425608704 289537 33554432000 4194304 16246674 140733276707600 140450247724208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1392196

[startup+1722.3 s]
/proc/loadavg: 2.11 2.20 2.20 3/183 5659
/proc/meminfo: memFree=27816088/32872528 swapFree=17892/1720544
[pid=5417] ppid=5414 vsize=1392196 CPUtime=1721.85 cores=0,2,4,6
/proc/5417/stat : 5417 (toysat) R 5414 5417 3556 0 -1 4202496 289048 0 0 0 172138 47 0 0 20 0 4 0 109285680 1425608704 289537 33554432000 4194304 16246674 140733276707600 140733276689472 5677716 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5417/statm: 348049 289537 892 2943 0 344943 0
[pid=5417/tid=5418] ppid=5414 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5418/stat : 5418 (toysat) S 5414 5417 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109285680 1425608704 289537 33554432000 4194304 16246674 140733276707600 140450268687600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5417/tid=5419] ppid=5414 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5419/stat : 5419 (toysat) S 5414 5417 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109285680 1425608704 289537 33554432000 4194304 16246674 140733276707600 140450258197744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5417/tid=5420] ppid=5414 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5420/stat : 5420 (toysat) S 5414 5417 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109285680 1425608704 289537 33554432000 4194304 16246674 140733276707600 140450247724208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1392196

[startup+1782.3 s]
/proc/loadavg: 2.19 2.21 2.20 3/183 5660
/proc/meminfo: memFree=27815720/32872528 swapFree=17892/1720544
[pid=5417] ppid=5414 vsize=1392196 CPUtime=1781.84 cores=0,2,4,6
/proc/5417/stat : 5417 (toysat) R 5414 5417 3556 0 -1 4202496 289048 0 0 0 178137 47 0 0 20 0 4 0 109285680 1425608704 289537 33554432000 4194304 16246674 140733276707600 140733276689472 13965672 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5417/statm: 348049 289537 892 2943 0 344943 0
[pid=5417/tid=5418] ppid=5414 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5418/stat : 5418 (toysat) S 5414 5417 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109285680 1425608704 289537 33554432000 4194304 16246674 140733276707600 140450268687600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5417/tid=5419] ppid=5414 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5419/stat : 5419 (toysat) S 5414 5417 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109285680 1425608704 289537 33554432000 4194304 16246674 140733276707600 140450258197744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5417/tid=5420] ppid=5414 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5420/stat : 5420 (toysat) S 5414 5417 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109285680 1425608704 289537 33554432000 4194304 16246674 140733276707600 140450247724208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1392196



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.29 2.22 2.20 3/183 5660
/proc/meminfo: memFree=27815724/32872528 swapFree=17892/1720544
[pid=5417] ppid=5414 vsize=1392196 CPUtime=1800.03 cores=0,2,4,6
/proc/5417/stat : 5417 (toysat) R 5414 5417 3556 0 -1 4202496 289048 0 0 0 179956 47 0 0 20 0 4 0 109285680 1425608704 289537 33554432000 4194304 16246674 140733276707600 140733276689472 12460040 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5417/statm: 348049 289537 892 2943 0 344943 0
[pid=5417/tid=5418] ppid=5414 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5418/stat : 5418 (toysat) S 5414 5417 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109285680 1425608704 289537 33554432000 4194304 16246674 140733276707600 140450268687600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5417/tid=5419] ppid=5414 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5419/stat : 5419 (toysat) S 5414 5417 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109285680 1425608704 289537 33554432000 4194304 16246674 140733276707600 140450258197744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5417/tid=5420] ppid=5414 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5420/stat : 5420 (toysat) S 5414 5417 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109285680 1425608704 289537 33554432000 4194304 16246674 140733276707600 140450247724208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1392196

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

[startup+1800.5 s]
/proc/loadavg: 2.29 2.22 2.20 3/183 5660
/proc/meminfo: memFree=27815724/32872528 swapFree=17892/1720544
[pid=5417] ppid=5414 vsize=1392196 CPUtime=1800.03 cores=0,2,4,6
/proc/5417/stat : 5417 (toysat) R 5414 5417 3556 0 -1 4202496 289048 0 0 0 179956 47 0 0 20 0 4 0 109285680 1425608704 289537 33554432000 4194304 16246674 140733276707600 140733276689472 12460040 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5417/statm: 348049 289537 892 2943 0 344943 0
[pid=5417/tid=5418] ppid=5414 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5418/stat : 5418 (toysat) S 5414 5417 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109285680 1425608704 289537 33554432000 4194304 16246674 140733276707600 140450268687600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=5417/tid=5419] ppid=5414 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5419/stat : 5419 (toysat) S 5414 5417 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109285680 1425608704 289537 33554432000 4194304 16246674 140733276707600 140450258197744 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=5417/tid=5420] ppid=5414 vsize=1392196 CPUtime=0 cores=0,2,4,6
/proc/5417/task/5420/stat : 5420 (toysat) S 5414 5417 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109285680 1425608704 289537 33554432000 4194304 16246674 140733276707600 140450247724208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1392196

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1799.57
CPU system time (s): 0.478927
CPU usage (%): 99.9746
Max. virtual memory (cumulated for all children) (KiB): 1392196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.478927
maximum resident set size= 1158148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 289048
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= 337
involuntary context switches= 2136

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.73128 second user time and 6.78797 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-07 06:25:25
IDJOB=4078803
IDBENCH=76228
IDSOLVER=2542
FILE ID=node117/4078803-1465273525
RUNJOBID= node117-1465262703-3572
PBS_JOBID= 19843298
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j60/normalized-j6029_8-unsat.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078803-1465273525/watcher-4078803-1465273525 -o /tmp/evaluation-result-4078803-1465273525/solver-4078803-1465273525 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465262703-3572 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078803-1465273525.opb

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

MD5SUM BENCH= c619d5d1f14c9c14bda19749a65da87b
RANDOM SEED=539397640

node117.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		: 2667.088
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	: 5334.17
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		: 2667.088
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		: 2667.088
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.55
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		: 2667.088
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.56
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		: 2667.088
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.54
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		: 2667.088
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.55
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		: 2667.088
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.53
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		: 2667.088
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:        28829476 kB
Buffers:           83092 kB
Cached:           109672 kB
SwapCached:        55388 kB
Active:          1418136 kB
Inactive:         165988 kB
Active(anon):    1339052 kB
Inactive(anon):    54760 kB
Active(file):      79084 kB
Inactive(file):   111228 kB
Unevictable:     1720544 kB
Mlocked:           17892 kB
SwapTotal:      67108856 kB
SwapFree:       67045084 kB
Dirty:             17776 kB
Writeback:             0 kB
AnonPages:       3061972 kB
Mapped:            11100 kB
Shmem:                 0 kB
Slab:             599552 kB
SReclaimable:      42976 kB
SUnreclaim:       556576 kB
KernelStack:        1432 kB
PageTables:        10048 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3201436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2129920 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= 71704 MiB
End job on node117 at 2016-06-07 06:55:26