Trace number 4079885

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.03 1800.61

General information on the benchmark

Name/OPT-SMALLINT-LIN/flexray/
normalized-fx49.opb
MD5SUMe08af5097f76b1d4e2b0ba1d8a42ed5a
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2130
Total number of constraints2495
Number of constraints which are clauses2125
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints320
Minimum length of a constraint2
Maximum length of a constraint320
Number of terms in the objective function 5
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 5
Number of bits of the sum of numbers in the objective function 3
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 636
Number of bits of the biggest sum of numbers10
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-07T04:23:19+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-4079885-1465266199.opb"]
0.00/0.01	c use --random-gen="3505661931 816285729 1503667418 3144337905 2767348738 1954198867 53907232 3371668158 2055850111 2466546589 937985839 2567372508 3795680275 367267953 2592345743 229391728 1106063490 4223190791 4135161791 2361481903 2956333054 402619698 3237166020 2620579568 1835442976 2305856165 51726412 2470317123 520630549 1423253964 821549802 3745958232 1969536207 1612255740 1140980399 2735022494 3577664152 2811242826 2000363321 109047221 231577149 1723720406 3743453181 3414906223 3906777381 4123554179 4054020431 3055305525 3961028170 1617170346 2497935714 636552503 4212167691 2838072340 1550564180 2345362455 1659523947 3185230779 453024382 1808443532 2116075611 2338240190 420188087 58442521 2732425178 2024714252 884311583 3771557675 961120990 989361589 3248304599 1722014255 2010972006 3791053880 3579621503 2499755292 2209530413 2183337710 81080374 1896442434 3239737415 3118028827 282452626 3580848655 2492596664 4219090505 1104709774 3625899240 838821014 3929914189 3004709484 2206484016 2884350163 4177796927 829919787 2617673401 3424002899 1755927248 4004248339 2170022513 2591382580 676397889 1750937116 47588649 2001992192 2243530833 313497586 2869190922 4017630478 3506397993 1013766196 3352806947 735387429 2531122420 864061143 1301914113 1107548677 1139759483 1663534056 3298152251 4252930010 2764179600 2751788654 1314019760 3179343221 2030332468 2163339443 2751403544 786702803 3238828704 1106106561 3928911554 2016144281 1536483343 522260966 3650588452 2784236601 2304866355 3605770386 97263006 1014953058 1541674631 496620747 460849224 4294216019 4041533855 2964688487 3012304268 3740453000 447355617 2296958639 1089262233 4252869703 548629312 3277628451 1172558740 112460131 4054290012 421231247 1306316051 1835603360 3992911547 694556291 3404029149 1579650759 3306885893 2080177088 1107074978 3772952784 4180157669 3761634396 3503366123 2166440301 3403894957 1663856126 2132432548 4248129275 2160642096 1044627746 1455737677 3841244891 4217163660 232085835 4290553398 3620336746 3275777382 4147349365 3810483091 2827803397 1862148257 269073709 2144285302 2024902826 2199316770 1497005025 3594467607 4262751308 3735832718 4198595579 1821144546 3314163391 1565807282 2750959661 1461776381 1256183812 3453428649 4208967664 311595036 3905957579 3053032170 2527389183 1499397932 2570770939 3101277970 130709609 1984752098 3566038342 731052383 1523526597 4177974209 4013515028 862784929 3006441951 827446382 4116803792 2886388475 2930252415 1143910396 4271909269 590897064 1609387157 1602765533 3393032031 2950676824 2228314493 2550635693 3044510920 2429209416 364169364 924261816 889734485 1935313540 1907562201 2775408569 1813476171 427650894 4256566750 3165114211 2351407411 1878566858 4108978898 3477621199 1935877203 1811337949 2951663693 3996441288 255 362436" option to reproduce the execution
0.00/0.06	c #vars 2130
0.00/0.06	c #constraints 2495
0.08/0.14	c BCD2: Hardening is enabled.
0.08/0.14	c BCD2: BiasedSearch is enabled.
0.08/0.14	c Solving starts ...
0.08/0.14	c ============================[ Search Statistics ]============================
0.08/0.14	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.14	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.14	c =============================================================================
0.08/0.14	c  0.0s |       0 |        0 |        0 |     1557      0 |        5 |        0
0.19/0.20	c  0.1s |       1 |      138 |      100 |     1557      0 |        5 |     2125
0.29/0.34	c  0.2s |       2 |      586 |      250 |     1713      0 |        5 |     2125
0.78/0.81	c  0.7s |       3 |     1586 |      475 |     1885      0 |        5 |     2125
1.09/1.19	c  1.0s |       4 |     2600 |      813 |     2074      0 |        5 |     2125
1.89/1.90	c  1.8s |       5 |     3361 |     1320 |     2282      0 |        5 |     2125
2.39/2.41	c  2.3s |       6 |     5293 |     2081 |     2763      0 |        5 |     2125
4.59/4.64	c  4.5s |       6 |     8031 |     3181 |     2763      0 |        5 |     2125
4.69/4.77	c  4.6s |       7 |     8090 |     3223 |     3040      0 |        5 |     2125
6.79/6.89	c  6.7s |       7 |    14493 |     4923 |     3345      2 |        5 |     2125
6.89/6.90	c  6.8s |       8 |    14698 |     4936 |     3345      2 |        5 |     2125
8.89/8.96	c  8.8s |       8 |    20486 |     6136 |     3345      2 |        5 |     2125
10.99/11.07	c 10.9s |       8 |    23118 |     7436 |     3345      3 |        5 |     2125
11.18/11.22	c 11.1s |       9 |    23193 |     7506 |     3680      3 |        5 |     2125
13.38/13.41	c 13.3s |       9 |    26451 |     9806 |     3680      4 |        5 |     2125
15.28/15.38	c 15.2s |      10 |    28497 |    11361 |     4049      4 |        5 |     2125
17.38/17.44	c 17.3s |      10 |    31626 |    13061 |     4049      5 |        5 |     2125
19.38/19.49	c 19.4s |      10 |    33887 |    14561 |     4049      5 |        5 |     2125
21.48/21.58	c 21.4s |      10 |    37697 |    16461 |     4049      6 |        5 |     2125
22.18/22.26	c 22.1s |      11 |    39152 |    17144 |     4454      6 |        5 |     2125
24.19/24.26	c 24.1s |      11 |    43233 |    18944 |     4454      7 |        5 |     2125
26.18/26.27	c 26.1s |      11 |    45455 |    20344 |     4454      8 |        5 |     2125
28.38/28.49	c 28.3s |      11 |    46749 |    21444 |     4454      8 |        5 |     2125
30.38/30.49	c 30.3s |      11 |    48418 |    22744 |     4454      8 |        5 |     2125
32.48/32.54	c 32.4s |      11 |    50091 |    24044 |     4454      9 |        5 |     2125
34.68/34.73	c 34.6s |      11 |    51822 |    25344 |     4454      9 |        5 |     2125
35.68/35.71	c 35.6s |      12 |    52437 |    25819 |     4900     10 |        5 |     2125
37.78/37.80	c 37.7s |      12 |    56067 |    27119 |     4900     10 |        5 |     2125
39.78/39.89	c 39.8s |      12 |    58812 |    28419 |     4900     10 |        5 |     2125
41.89/41.96	c 41.8s |      12 |    60541 |    29719 |     4900     11 |        5 |     2125
43.88/44.00	c 43.9s |      12 |    62950 |    31219 |     4900     11 |        5 |     2125
46.08/46.12	c 46.0s |      12 |    64852 |    32619 |     4900     12 |        5 |     2125
48.08/48.16	c 48.0s |      12 |    67077 |    34119 |     4900     13 |        5 |     2125
50.08/50.19	c 50.1s |      12 |    69508 |    35719 |     4900     13 |        5 |     2125
52.18/52.23	c 52.1s |      12 |    70911 |    36719 |     4900     14 |        5 |     2125
54.28/54.40	c 54.3s |      12 |    72433 |    37719 |     4900     14 |        5 |     2125
56.38/56.47	c 56.3s |      12 |    73510 |    38519 |     4900     14 |        5 |     2125
57.18/57.29	c 57.1s |      13 |    73910 |    38832 |     5390     14 |        5 |     2125
59.48/59.58	c 59.4s |      13 |    75791 |    39832 |     5390     14 |        5 |     2125
61.58/61.65	c 61.5s |      13 |    77222 |    40632 |     5390     15 |        5 |     2125
63.57/63.65	c 63.5s |      13 |    79334 |    41932 |     5390     15 |        5 |     2125
65.67/65.78	c 65.6s |      13 |    80799 |    42932 |     5390     15 |        5 |     2125
67.87/67.91	c 67.8s |      13 |    82005 |    43932 |     5390     16 |        5 |     2125
69.97/70.07	c 69.9s |      13 |    83307 |    44832 |     5390     16 |        5 |     2125
71.97/72.08	c 71.9s |      13 |    84965 |    45832 |     5390     17 |        5 |     2125
74.17/74.24	c 74.1s |      13 |    86981 |    46932 |     5390     17 |        5 |     2125
76.17/76.26	c 76.1s |      13 |    88999 |    48332 |     5390     17 |        5 |     2125
78.27/78.37	c 78.2s |      13 |    92924 |    49732 |     5390     18 |        5 |     2125
80.47/80.54	c 80.4s |      13 |    95460 |    50832 |     5390     18 |        5 |     2125
82.58/82.63	c 82.5s |      13 |    97385 |    52132 |     5390     18 |        5 |     2125
84.68/84.74	c 84.6s |      13 |    99148 |    53032 |     5390     19 |        5 |     2125
86.67/86.75	c 86.6s |      13 |   101469 |    53932 |     5390     19 |        5 |     2125
88.97/89.06	c 88.9s |      13 |   102804 |    54732 |     5390     19 |        5 |     2125
91.28/91.39	c 91.2s |      13 |   104251 |    55432 |     5390     20 |        5 |     2125
93.37/93.49	c 93.4s |      13 |   105589 |    56332 |     5390     20 |        5 |     2125
95.57/95.62	c 95.5s |      13 |   106771 |    57132 |     5390     20 |        5 |     2125
97.57/97.69	c 97.5s |      13 |   107643 |    57832 |     5390     20 |        5 |     2125
98.97/99.03	c 98.9s |      14 |   110542 |    58352 |     5930     21 |        5 |     2125
101.08/101.14	c  101s |      14 |   113421 |    59652 |     5930     21 |        5 |     2125
103.18/103.21	c  103s |      14 |   115435 |    60652 |     5930     21 |        5 |     2125
105.18/105.22	c  105s |      14 |   117948 |    61652 |     5930     22 |        5 |     2125
107.27/107.39	c  107s |      14 |   120712 |    62652 |     5930     22 |        5 |     2125
109.47/109.55	c  109s |      14 |   124839 |    64152 |     5930     22 |        5 |     2125
111.57/111.67	c  111s |      14 |   127156 |    65152 |     5930     23 |        5 |     2125
113.67/113.71	c  113s |      14 |   130640 |    66952 |     5930     23 |        5 |     2125
115.87/115.91	c  115s |      14 |   132367 |    67852 |     5930     24 |        5 |     2125
117.97/118.06	c  117s |      14 |   133337 |    68452 |     5930     24 |        5 |     2125
120.07/120.13	c  119s |      14 |   134792 |    69352 |     5930     24 |        5 |     2125
122.27/122.37	c  122s |      14 |   135973 |    70152 |     5930     24 |        5 |     2125
124.28/124.38	c  124s |      14 |   138402 |    71152 |     5930     25 |        5 |     2125
126.48/126.51	c  126s |      14 |   140466 |    72352 |     5930     25 |        5 |     2125
128.47/128.53	c  128s |      14 |   142113 |    73352 |     5930     25 |        5 |     2125
130.57/130.61	c  130s |      14 |   144230 |    74552 |     5930     26 |        5 |     2125
132.67/132.74	c  132s |      14 |   146338 |    75552 |     5930     26 |        5 |     2125
134.67/134.75	c  134s |      14 |   152369 |    76952 |     5930     26 |        5 |     2125
136.77/136.81	c  136s |      14 |   153909 |    78252 |     5930     27 |        5 |     2125
138.86/138.91	c  138s |      14 |   155489 |    79352 |     5930     27 |        5 |     2125
140.87/140.93	c  140s |      14 |   157328 |    80552 |     5930     27 |        5 |     2125
142.97/143.01	c  142s |      14 |   159042 |    81652 |     5930     28 |        5 |     2125
145.06/145.17	c  145s |      14 |   160303 |    82752 |     5930     28 |        5 |     2125
147.06/147.18	c  147s |      14 |   161332 |    83652 |     5930     28 |        5 |     2125
149.26/149.37	c  149s |      14 |   162493 |    84652 |     5930     29 |        5 |     2125
151.26/151.37	c  151s |      14 |   163599 |    85552 |     5930     29 |        5 |     2125
153.36/153.48	c  153s |      14 |   165293 |    86552 |     5930     29 |        5 |     2125
155.66/155.73	c  155s |      14 |   166253 |    87452 |     6524     30 |        5 |     2125
156.06/156.19	c  156s |      15 |   166452 |    87632 |     6524     30 |        5 |     2125
158.16/158.23	c  158s |      15 |   169141 |    89032 |     6524     30 |        5 |     2125
160.16/160.29	c  160s |      15 |   171459 |    90132 |     6524     30 |        5 |     2125
162.26/162.34	c  162s |      15 |   173329 |    91432 |     6524     31 |        5 |     2125
164.26/164.39	c  164s |      15 |   175281 |    92732 |     6524     31 |        5 |     2125
166.36/166.43	c  166s |      15 |   177309 |    94132 |     6524     31 |        5 |     2125
168.46/168.52	c  168s |      15 |   179078 |    95532 |     6524     32 |        5 |     2125
170.47/170.56	c  170s |      15 |   180815 |    96932 |     6524     32 |        5 |     2125
172.56/172.70	c  172s |      15 |   183151 |    98232 |     6524     33 |        5 |     2125
174.66/174.76	c  174s |      15 |   185163 |    99632 |     6524     33 |        5 |     2125
176.76/176.86	c  176s |      15 |   187274 |   101132 |     6524     33 |        5 |     2125
178.96/179.01	c  178s |      15 |   189033 |   102432 |     6524     34 |        5 |     2125
180.96/181.03	c  180s |      15 |   190586 |   103632 |     6524     34 |        5 |     2125
183.06/183.12	c  182s |      15 |   192480 |   104832 |     6524     35 |        5 |     2125
185.16/185.24	c  185s |      15 |   194255 |   106132 |     6524     35 |        5 |     2125
187.26/187.36	c  187s |      15 |   195762 |   107332 |     6524     35 |        5 |     2125
189.26/189.37	c  189s |      15 |   196976 |   108332 |     6524     36 |        5 |     2125
191.46/191.59	c  191s |      15 |   198328 |   109532 |     6524     36 |        5 |     2125
193.66/193.78	c  193s |      15 |   199384 |   110432 |     6524     36 |        5 |     2125
195.86/195.95	c  195s |      15 |   200645 |   111532 |     6524     36 |        5 |     2125
197.96/198.06	c  197s |      15 |   201841 |   112532 |     6524     37 |        5 |     2125
200.05/200.12	c  199s |      15 |   204861 |   113632 |     6524     37 |        5 |     2125
202.25/202.33	c  202s |      15 |   206594 |   114832 |     6524     37 |        5 |     2125
204.35/204.47	c  204s |      15 |   208143 |   115932 |     6524     38 |        5 |     2125
206.45/206.57	c  206s |      15 |   209913 |   117232 |     6524     38 |        5 |     2125
208.55/208.64	c  208s |      15 |   211343 |   118332 |     6524     38 |        5 |     2125
210.65/210.71	c  210s |      15 |   213655 |   119632 |     6524     39 |        5 |     2125
212.65/212.75	c  212s |      15 |   215683 |   120732 |     6524     39 |        5 |     2125
214.75/214.81	c  214s |      15 |   217640 |   121732 |     6524     39 |        5 |     2125
216.85/216.92	c  216s |      15 |   218850 |   122632 |     6524     40 |        5 |     2125
218.86/218.97	c  218s |      15 |   220773 |   123732 |     6524     40 |        5 |     2125
220.95/221.03	c  220s |      15 |   223778 |   125032 |     6524     40 |        5 |     2125
222.95/223.03	c  222s |      15 |   225640 |   126432 |     6524     41 |        5 |     2125
225.05/225.16	c  225s |      15 |   227711 |   127932 |     6524     41 |        5 |     2125
227.15/227.28	c  227s |      15 |   229385 |   129232 |     6524     42 |        5 |     2125
229.25/229.31	c  229s |      15 |   230884 |   130232 |     6524     42 |        5 |     2125
231.25/231.40	c  231s |      15 |   232688 |   131432 |     7177     42 |        5 |     2125
231.85/231.94	c  231s |      16 |   232830 |   131552 |     7177     42 |        5 |     2125
233.95/234.02	c  233s |      16 |   235446 |   132652 |     7177     42 |        5 |     2125
235.95/236.06	c  235s |      16 |   237061 |   133952 |     7177     43 |        5 |     2125
238.14/238.24	c  238s |      16 |   238888 |   135352 |     7177     43 |        5 |     2125
240.24/240.35	c  240s |      16 |   240875 |   136752 |     7177     43 |        5 |     2125
242.24/242.37	c  242s |      16 |   243176 |   137952 |     7177     44 |        5 |     2125
244.34/244.42	c  244s |      16 |   244637 |   139052 |     7177     44 |        5 |     2125
246.35/246.49	c  246s |      16 |   246205 |   140352 |     7177     44 |        5 |     2125
248.55/248.61	c  248s |      16 |   247568 |   141552 |     7177     45 |        5 |     2125
250.54/250.67	c  250s |      16 |   248907 |   142752 |     7177     45 |        5 |     2125
252.74/252.82	c  252s |      16 |   250521 |   144152 |     7177     45 |        5 |     2125
254.84/254.99	c  254s |      16 |   252085 |   145352 |     7177     46 |        5 |     2125
256.84/256.99	c  256s |      16 |   253649 |   146552 |     7177     46 |        5 |     2125
259.14/259.24	c  259s |      16 |   255237 |   147752 |     7177     46 |        5 |     2125
261.14/261.27	c  261s |      16 |   256454 |   148852 |     7177     46 |        5 |     2125
263.24/263.38	c  263s |      16 |   258056 |   150052 |     7177     47 |        5 |     2125
265.24/265.38	c  265s |      16 |   259590 |   151252 |     7177     47 |        5 |     2125
267.35/267.46	c  267s |      16 |   261638 |   152652 |     7177     47 |        5 |     2125
269.34/269.47	c  269s |      16 |   263000 |   153852 |     7177     48 |        5 |     2125
271.44/271.51	c  271s |      16 |   264375 |   155052 |     7177     48 |        5 |     2125
273.44/273.53	c  273s |      16 |   266768 |   156752 |     7177     48 |        5 |     2125
275.54/275.68	c  275s |      16 |   268322 |   158152 |     7177     49 |        5 |     2125
277.64/277.74	c  277s |      16 |   270167 |   159552 |     7177     49 |        5 |     2125
279.74/279.83	c  279s |      16 |   271910 |   160852 |     7177     49 |        5 |     2125
281.74/281.83	c  281s |      16 |   273549 |   162152 |     7177     50 |        5 |     2125
283.84/283.95	c  283s |      16 |   275374 |   163552 |     7177     50 |        5 |     2125
285.94/286.04	c  285s |      16 |   277249 |   164852 |     7177     50 |        5 |     2125
288.04/288.18	c  288s |      16 |   279075 |   166252 |     7177     51 |        5 |     2125
290.13/290.29	c  290s |      16 |   280786 |   167552 |     7177     51 |        5 |     2125
292.23/292.35	c  292s |      16 |   282197 |   168752 |     7177     51 |        5 |     2125
294.24/294.38	c  294s |      16 |   283719 |   169952 |     7177     52 |        5 |     2125
296.34/296.45	c  296s |      16 |   285276 |   171252 |     7177     52 |        5 |     2125
298.44/298.50	c  298s |      16 |   287233 |   172452 |     7177     52 |        5 |     2125
300.44/300.58	c  300s |      16 |   289068 |   173852 |     7177     53 |        5 |     2125
302.55/302.69	c  302s |      16 |   290681 |   175152 |     7177     53 |        5 |     2125
304.54/304.70	c  304s |      16 |   292191 |   176352 |     7177     53 |        5 |     2125
306.64/306.79	c  306s |      16 |   294113 |   177652 |     7177     54 |        5 |     2125
308.74/308.89	c  308s |      16 |   295705 |   178952 |     7177     54 |        5 |     2125
310.84/310.97	c  310s |      16 |   297624 |   180352 |     7177     54 |        5 |     2125
312.94/313.09	c  312s |      16 |   299510 |   181752 |     7177     55 |        5 |     2125
315.04/315.12	c  314s |      16 |   301534 |   183152 |     7177     55 |        5 |     2125
317.04/317.16	c  317s |      16 |   303140 |   184352 |     7177     56 |        5 |     2125
319.05/319.19	c  319s |      16 |   304784 |   185552 |     7177     56 |        5 |     2125
321.15/321.20	c  321s |      16 |   306413 |   186852 |     7177     56 |        5 |     2125
323.24/323.35	c  323s |      16 |   308052 |   188252 |     7177     56 |        5 |     2125
325.34/325.49	c  325s |      16 |   309744 |   189652 |     7177     57 |        5 |     2125
327.44/327.59	c  327s |      16 |   311454 |   190952 |     7177     57 |        5 |     2125
329.53/329.68	c  329s |      16 |   312967 |   192152 |     7177     57 |        5 |     2125
331.53/331.68	c  331s |      16 |   314429 |   193352 |     7177     58 |        5 |     2125
333.53/333.68	c  333s |      16 |   315882 |   194552 |     7177     58 |        5 |     2125
335.73/335.85	c  335s |      16 |   317688 |   195852 |     7177     58 |        5 |     2125
337.74/337.86	c  337s |      16 |   319513 |   197052 |     7895     59 |        5 |     2125
338.33/338.47	c  338s |      17 |   320026 |   197432 |     7895     59 |        5 |     2125
340.43/340.55	c  340s |      17 |   323381 |   198832 |     7895     59 |        5 |     2125
342.53/342.68	c  342s |      17 |   325231 |   200032 |     7895     59 |        5 |     2125
344.63/344.75	c  344s |      17 |   326930 |   201132 |     7895     60 |        5 |     2125
346.83/346.90	c  346s |      17 |   328495 |   202232 |     7895     60 |        5 |     2125
348.93/349.01	c  348s |      17 |   330285 |   203332 |     7895     60 |        5 |     2125
350.94/351.06	c  350s |      17 |   331788 |   204332 |     7895     60 |        5 |     2125
353.04/353.11	c  352s |      17 |   332822 |   205232 |     7895     60 |        5 |     2125
355.13/355.24	c  355s |      17 |   334472 |   206232 |     7895     61 |        5 |     2125
357.13/357.26	c  357s |      17 |   335995 |   207232 |     7895     61 |        5 |     2125
359.33/359.45	c  359s |      17 |   337893 |   208332 |     7895     61 |        5 |     2125
361.43/361.52	c  361s |      17 |   339833 |   209332 |     7895     61 |        5 |     2125
363.43/363.58	c  363s |      17 |   341407 |   210232 |     7895     62 |        5 |     2125
365.53/365.64	c  365s |      17 |   342410 |   211032 |     7895     62 |        5 |     2125
367.63/367.75	c  367s |      17 |   344663 |   212032 |     7895     62 |        5 |     2125
369.73/369.87	c  369s |      17 |   347149 |   213332 |     7895     62 |        5 |     2125
371.73/371.88	c  371s |      17 |   349300 |   214732 |     7895     63 |        5 |     2125
373.83/373.90	c  373s |      17 |   351723 |   216232 |     7895     63 |        5 |     2125
375.93/376.03	c  375s |      17 |   353768 |   217632 |     7895     63 |        5 |     2125
378.03/378.16	c  378s |      17 |   356096 |   218832 |     7895     64 |        5 |     2125
380.13/380.26	c  380s |      17 |   358057 |   220132 |     7895     64 |        5 |     2125
382.12/382.28	c  382s |      17 |   359933 |   221432 |     7895     64 |        5 |     2125
384.22/384.36	c  384s |      17 |   362116 |   222732 |     7895     65 |        5 |     2125
386.42/386.51	c  386s |      17 |   364344 |   224232 |     7895     65 |        5 |     2125
388.42/388.60	c  388s |      17 |   366226 |   225632 |     7895     65 |        5 |     2125
390.53/390.64	c  390s |      17 |   367834 |   226732 |     7895     66 |        5 |     2125
392.52/392.68	c  392s |      17 |   369127 |   227832 |     7895     66 |        5 |     2125
394.62/394.79	c  394s |      17 |   370752 |   229032 |     7895     66 |        5 |     2125
396.62/396.79	c  396s |      17 |   372334 |   230232 |     7895     67 |        5 |     2125
398.72/398.90	c  398s |      17 |   374043 |   231432 |     7895     67 |        5 |     2125
400.82/400.99	c  400s |      17 |   375715 |   232832 |     7895     67 |        5 |     2125
403.02/403.12	c  402s |      17 |   377910 |   234032 |     7895     67 |        5 |     2125
405.12/405.27	c  405s |      17 |   380831 |   235432 |     7895     68 |        5 |     2125
407.22/407.32	c  407s |      17 |   383507 |   236732 |     7895     68 |        5 |     2125
409.32/409.40	c  409s |      17 |   385479 |   237932 |     7895     68 |        5 |     2125
411.62/411.75	c  411s |      17 |   386468 |   238632 |     7895     68 |        5 |     2125
413.92/414.05	c  413s |      17 |   387361 |   239232 |     7895     69 |        5 |     2125
416.12/416.23	c  416s |      17 |   388301 |   239832 |     7895     69 |        5 |     2125
418.32/418.49	c  418s |      17 |   388874 |   240232 |     7895     69 |        5 |     2125
420.52/420.69	c  420s |      17 |   389691 |   240832 |     7895     69 |        5 |     2125
422.82/422.93	c  422s |      17 |   390269 |   241232 |     7895     69 |        5 |     2125
424.92/425.05	c  424s |      17 |   391407 |   242032 |     7895     69 |        5 |     2125
427.12/427.22	c  427s |      17 |   392545 |   242932 |     7895     69 |        5 |     2125
429.12/429.25	c  429s |      17 |   393654 |   243632 |     7895     70 |        5 |     2125
431.12/431.25	c  431s |      17 |   394500 |   244132 |     7895     70 |        5 |     2125
433.72/433.83	c  433s |      17 |   395218 |   244632 |     7895     70 |        5 |     2125
435.82/435.94	c  435s |      17 |   396360 |   245332 |     7895     70 |        5 |     2125
437.92/438.01	c  437s |      17 |   397360 |   246132 |     7895     70 |        5 |     2125
439.92/440.04	c  439s |      17 |   398852 |   247132 |     7895     71 |        5 |     2125
442.01/442.14	c  442s |      17 |   400864 |   248532 |     7895     71 |        5 |     2125
444.11/444.23	c  444s |      17 |   402609 |   249832 |     7895     71 |        5 |     2125
446.11/446.28	c  446s |      17 |   404242 |   251032 |     7895     71 |        5 |     2125
448.31/448.46	c  448s |      17 |   405746 |   252132 |     7895     72 |        5 |     2125
450.41/450.58	c  450s |      17 |   407168 |   253132 |     7895     72 |        5 |     2125
452.51/452.64	c  452s |      17 |   407965 |   253732 |     7895     72 |        5 |     2125
454.81/454.99	c  454s |      17 |   408803 |   254332 |     7895     72 |        5 |     2125
457.01/457.13	c  456s |      17 |   409830 |   255032 |     7895     72 |        5 |     2125
459.21/459.32	c  459s |      17 |   410704 |   255632 |     7895     73 |        5 |     2125
461.31/461.47	c  461s |      17 |   411716 |   256432 |     7895     73 |        5 |     2125
463.41/463.55	c  463s |      17 |   413434 |   257632 |     7895     73 |        5 |     2125
465.51/465.66	c  465s |      17 |   414987 |   258832 |     7895     73 |        5 |     2125
467.61/467.78	c  467s |      17 |   416190 |   259832 |     7895     73 |        5 |     2125
469.71/469.84	c  469s |      17 |   417460 |   260832 |     7895     74 |        5 |     2125
471.71/471.90	c  471s |      17 |   418594 |   261732 |     7895     74 |        5 |     2125
473.81/473.95	c  473s |      17 |   419926 |   262832 |     7895     74 |        5 |     2125
475.91/476.03	c  475s |      17 |   421324 |   264032 |     7895     74 |        5 |     2125
478.01/478.16	c  478s |      17 |   423427 |   265332 |     7895     75 |        5 |     2125
480.11/480.24	c  480s |      17 |   425777 |   266732 |     7895     75 |        5 |     2125
482.11/482.27	c  482s |      17 |   427447 |   267932 |     7895     75 |        5 |     2125
484.21/484.35	c  484s |      17 |   428946 |   269132 |     7895     76 |        5 |     2125
486.41/486.51	c  486s |      17 |   430701 |   270332 |     7895     76 |        5 |     2125
488.51/488.64	c  488s |      17 |   431882 |   271232 |     7895     76 |        5 |     2125
490.71/490.83	c  490s |      17 |   433281 |   272232 |     7895     77 |        5 |     2125
492.82/492.95	c  492s |      17 |   434582 |   273332 |     7895     77 |        5 |     2125
494.81/494.99	c  494s |      17 |   435831 |   274432 |     7895     77 |        5 |     2125
497.01/497.10	c  496s |      17 |   436941 |   275432 |     7895     77 |        5 |     2125
499.11/499.27	c  499s |      17 |   438100 |   276432 |     7895     77 |        5 |     2125
501.31/501.43	c  501s |      17 |   439523 |   277632 |     7895     78 |        5 |     2125
503.31/503.44	c  503s |      17 |   440855 |   278732 |     7895     78 |        5 |     2125
505.41/505.54	c  505s |      17 |   441924 |   279632 |     7895     78 |        5 |     2125
507.71/507.88	c  507s |      17 |   442814 |   280432 |     7895     79 |        5 |     2125
509.81/509.92	c  509s |      17 |   444083 |   281332 |     7895     79 |        5 |     2125
511.81/511.99	c  511s |      17 |   445222 |   282032 |     7895     79 |        5 |     2125
513.91/514.06	c  513s |      17 |   446415 |   282632 |     7895     79 |        5 |     2125
516.21/516.39	c  516s |      17 |   447148 |   283232 |     7895     79 |        5 |     2125
518.41/518.56	c  518s |      17 |   448483 |   284132 |     7895     79 |        5 |     2125
520.50/520.63	c  520s |      17 |   449459 |   285032 |     7895     80 |        5 |     2125
522.60/522.73	c  522s |      17 |   450619 |   286032 |     7895     80 |        5 |     2125
524.71/524.83	c  524s |      17 |   452080 |   287232 |     7895     80 |        5 |     2125
526.70/526.85	c  526s |      17 |   453259 |   288132 |     7895     80 |        5 |     2125
528.90/529.04	c  528s |      17 |   454429 |   289132 |     7895     81 |        5 |     2125
530.90/531.09	c  530s |      17 |   455526 |   290032 |     7895     81 |        5 |     2125
533.10/533.23	c  533s |      17 |   456507 |   290932 |     7895     81 |        5 |     2125
535.20/535.40	c  535s |      17 |   458097 |   292132 |     7895     81 |        5 |     2125
537.40/537.55	c  537s |      17 |   459314 |   293132 |     7895     82 |        5 |     2125
539.50/539.69	c  539s |      17 |   460636 |   294032 |     7895     82 |        5 |     2125
541.70/541.80	c  541s |      17 |   461628 |   294932 |     8685     82 |        5 |     2125
543.70/543.80	c  543s |      17 |   464078 |   296032 |     8685     82 |        5 |     2125
544.10/544.20	c  544s |      18 |   464442 |   296252 |     8685     82 |        5 |     2125
546.10/546.25	c  546s |      18 |   468081 |   297752 |     8685     82 |        5 |     2125
548.20/548.38	c  548s |      18 |   471191 |   299452 |     8685     83 |        5 |     2125
550.30/550.48	c  550s |      18 |   473472 |   300952 |     8685     83 |        5 |     2125
552.40/552.52	c  552s |      18 |   475286 |   302352 |     8685     83 |        5 |     2125
554.50/554.65	c  554s |      18 |   476710 |   303552 |     8685     84 |        5 |     2125
556.61/556.73	c  556s |      18 |   478159 |   304752 |     8685     84 |        5 |     2125
558.60/558.78	c  558s |      18 |   479468 |   305952 |     8685     84 |        5 |     2125
560.70/560.81	c  560s |      18 |   480683 |   307052 |     8685     85 |        5 |     2125
562.80/562.91	c  562s |      18 |   482113 |   308352 |     8685     85 |        5 |     2125
564.80/564.99	c  564s |      18 |   485203 |   310152 |     8685     85 |        5 |     2125
566.90/567.04	c  566s |      18 |   487238 |   311452 |     8685     85 |        5 |     2125
568.90/569.05	c  568s |      18 |   489459 |   312852 |     8685     86 |        5 |     2125
571.00/571.15	c  571s |      18 |   491271 |   314152 |     8685     86 |        5 |     2125
573.00/573.20	c  573s |      18 |   494358 |   315652 |     8685     86 |        5 |     2125
575.20/575.32	c  575s |      18 |   497179 |   316952 |     8685     87 |        5 |     2125
577.30/577.40	c  577s |      18 |   499715 |   318452 |     8685     87 |        5 |     2125
579.29/579.48	c  579s |      18 |   502262 |   320052 |     8685     87 |        5 |     2125
581.39/581.55	c  581s |      18 |   503550 |   321252 |     8685     88 |        5 |     2125
583.39/583.57	c  583s |      18 |   505418 |   322652 |     8685     88 |        5 |     2125
585.49/585.62	c  585s |      18 |   507217 |   324052 |     8685     88 |        5 |     2125
587.49/587.62	c  587s |      18 |   508894 |   325252 |     8685     88 |        5 |     2125
589.60/589.76	c  589s |      18 |   510629 |   326552 |     8685     89 |        5 |     2125
591.70/591.83	c  591s |      18 |   512403 |   327952 |     8685     89 |        5 |     2125
593.79/593.96	c  593s |      18 |   513816 |   329252 |     8685     89 |        5 |     2125
595.89/596.01	c  595s |      18 |   515140 |   330452 |     8685     90 |        5 |     2125
597.99/598.17	c  598s |      18 |   517889 |   332252 |     8685     90 |        5 |     2125
600.09/600.26	c  600s |      18 |   519440 |   333352 |     8685     90 |        5 |     2125
602.09/602.26	c  602s |      18 |   520637 |   334352 |     8685     90 |        5 |     2125
604.29/604.42	c  604s |      18 |   522059 |   335552 |     8685     91 |        5 |     2125
606.39/606.55	c  606s |      18 |   523612 |   336952 |     8685     91 |        5 |     2125
608.49/608.67	c  608s |      18 |   524676 |   337952 |     8685     91 |        5 |     2125
610.69/610.86	c  610s |      18 |   525892 |   339052 |     8685     91 |        5 |     2125
612.89/613.03	c  612s |      18 |   526978 |   340052 |     8685     92 |        5 |     2125
614.89/615.06	c  614s |      18 |   528725 |   341252 |     8685     92 |        5 |     2125
616.89/617.10	c  616s |      18 |   529853 |   342252 |     8685     92 |        5 |     2125
619.19/619.33	c  619s |      18 |   530883 |   343152 |     8685     92 |        5 |     2125
621.29/621.45	c  621s |      18 |   533594 |   344452 |     8685     93 |        5 |     2125
623.29/623.49	c  623s |      18 |   535591 |   345752 |     8685     93 |        5 |     2125
625.49/625.60	c  625s |      18 |   537111 |   346952 |     8685     93 |        5 |     2125
627.48/627.62	c  627s |      18 |   538703 |   348152 |     8685     93 |        5 |     2125
629.58/629.70	c  629s |      18 |   540257 |   349152 |     8685     94 |        5 |     2125
631.68/631.85	c  631s |      18 |   542003 |   350552 |     8685     94 |        5 |     2125
633.88/634.02	c  633s |      18 |   543341 |   351552 |     8685     94 |        5 |     2125
635.98/636.19	c  636s |      18 |   544603 |   352552 |     8685     94 |        5 |     2125
638.08/638.25	c  638s |      18 |   545830 |   353452 |     8685     95 |        5 |     2125
640.09/640.28	c  640s |      18 |   547464 |   354552 |     8685     95 |        5 |     2125
642.18/642.36	c  642s |      18 |   549053 |   355852 |     8685     95 |        5 |     2125
644.28/644.44	c  644s |      18 |   550622 |   357052 |     8685     95 |        5 |     2125
646.28/646.45	c  646s |      18 |   551741 |   358052 |     8685     96 |        5 |     2125
648.38/648.53	c  648s |      18 |   553731 |   359852 |     8685     96 |        5 |     2125
650.48/650.60	c  650s |      18 |   555989 |   361352 |     8685     96 |        5 |     2125
652.58/652.75	c  652s |      18 |   558197 |   362552 |     8685     97 |        5 |     2125
654.78/654.90	c  654s |      18 |   560073 |   363752 |     8685     97 |        5 |     2125
656.88/657.09	c  656s |      18 |   561979 |   365052 |     8685     97 |        5 |     2125
659.08/659.21	c  659s |      18 |   563813 |   366352 |     8685     97 |        5 |     2125
661.09/661.22	c  661s |      18 |   565888 |   367552 |     8685     98 |        5 |     2125
663.19/663.33	c  663s |      18 |   567485 |   368752 |     8685     98 |        5 |     2125
665.28/665.48	c  665s |      18 |   573621 |   369952 |     8685     98 |        5 |     2125
667.38/667.51	c  667s |      18 |   574889 |   370752 |     8685     98 |        5 |     2125
669.58/669.78	c  669s |      18 |   576707 |   371752 |     8685     99 |        5 |     2125
671.78/671.93	c  671s |      18 |   578278 |   372652 |     8685     99 |        5 |     2125
673.78/673.95	c  673s |      18 |   580208 |   373552 |     8685     99 |        5 |     2125
676.08/676.20	c  676s |      18 |   581621 |   374452 |     8685     99 |        5 |     2125
678.18/678.37	c  678s |      18 |   582362 |   375052 |     8685     99 |        5 |     2125
680.38/680.57	c  680s |      18 |   583249 |   375852 |     8685    100 |        5 |     2125
682.57/682.73	c  682s |      18 |   584353 |   376752 |     8685    100 |        5 |     2125
684.77/684.94	c  684s |      18 |   585747 |   377752 |     8685    100 |        5 |     2125
686.87/687.03	c  686s |      18 |   587132 |   378952 |     8685    100 |        5 |     2125
689.08/689.21	c  689s |      18 |   588290 |   379952 |     8685    100 |        5 |     2125
691.08/691.28	c  691s |      18 |   589730 |   381052 |     8685    101 |        5 |     2125
693.18/693.32	c  693s |      18 |   591196 |   382152 |     8685    101 |        5 |     2125
695.38/695.58	c  695s |      18 |   592740 |   383352 |     8685    101 |        5 |     2125
697.48/697.65	c  697s |      18 |   593879 |   384252 |     8685    101 |        5 |     2125
699.49/699.68	c  699s |      18 |   595390 |   385352 |     8685    102 |        5 |     2125
701.69/701.81	c  701s |      18 |   596998 |   386452 |     8685    102 |        5 |     2125
703.78/703.91	c  703s |      18 |   598604 |   387652 |     8685    102 |        5 |     2125
705.88/706.02	c  705s |      18 |   599863 |   388752 |     8685    102 |        5 |     2125
708.08/708.23	c  708s |      18 |   601194 |   389752 |     8685    103 |        5 |     2125
710.28/710.42	c  710s |      18 |   602567 |   390652 |     8685    103 |        5 |     2125
712.38/712.53	c  712s |      18 |   603684 |   391552 |     8685    103 |        5 |     2125
714.48/714.64	c  714s |      18 |   604676 |   392352 |     8685    103 |        5 |     2125
716.58/716.72	c  716s |      18 |   605870 |   393152 |     8685    103 |        5 |     2125
718.67/718.84	c  718s |      18 |   607132 |   393952 |     8685    104 |        5 |     2125
720.87/721.01	c  720s |      18 |   608493 |   394852 |     8685    104 |        5 |     2125
723.07/723.28	c  723s |      18 |   609359 |   395652 |     8685    104 |        5 |     2125
725.17/725.35	c  725s |      18 |   610275 |   396452 |     8685    104 |        5 |     2125
727.37/727.54	c  727s |      18 |   612044 |   397552 |     8685    104 |        5 |     2125
729.67/729.83	c  729s |      18 |   613042 |   398352 |     8685    105 |        5 |     2125
731.67/731.88	c  731s |      18 |   614407 |   399352 |     8685    105 |        5 |     2125
733.87/734.01	c  733s |      18 |   615779 |   400352 |     8685    105 |        5 |     2125
735.97/736.14	c  736s |      18 |   616865 |   401252 |     8685    105 |        5 |     2125
737.97/738.18	c  738s |      18 |   617815 |   402052 |     8685    105 |        5 |     2125
740.17/740.33	c  740s |      18 |   619962 |   402852 |     8685    106 |        5 |     2125
742.16/742.34	c  742s |      18 |   622994 |   404452 |     8685    106 |        5 |     2125
744.36/744.59	c  744s |      18 |   625098 |   405652 |     8685    106 |        5 |     2125
746.46/746.65	c  746s |      18 |   626208 |   406452 |     8685    106 |        5 |     2125
748.65/748.89	c  748s |      18 |   627133 |   407152 |     8685    106 |        5 |     2125
750.85/751.01	c  750s |      18 |   628011 |   407652 |     8685    107 |        5 |     2125
752.85/753.07	c  752s |      18 |   629499 |   408352 |     8685    107 |        5 |     2125
755.45/755.68	c  755s |      18 |   630478 |   408952 |     8685    107 |        5 |     2125
757.54/757.73	c  757s |      18 |   631553 |   409552 |     8685    107 |        5 |     2125
759.64/759.86	c  759s |      18 |   633527 |   410152 |     8685    107 |        5 |     2125
761.84/762.02	c  761s |      18 |   635538 |   410752 |     8685    107 |        5 |     2125
764.04/764.24	c  764s |      18 |   636558 |   411352 |     8685    107 |        5 |     2125
766.14/766.35	c  766s |      18 |   637343 |   411952 |     8685    108 |        5 |     2125
768.34/768.59	c  768s |      18 |   638371 |   412552 |     8685    108 |        5 |     2125
770.34/770.59	c  770s |      18 |   639936 |   413152 |     8685    108 |        5 |     2125
772.44/772.60	c  772s |      18 |   640951 |   413852 |     8685    108 |        5 |     2125
774.44/774.61	c  774s |      18 |   641892 |   414452 |     8685    108 |        5 |     2125
776.54/776.79	c  776s |      18 |   642865 |   415252 |     8685    108 |        5 |     2125
778.74/778.92	c  778s |      18 |   644207 |   416052 |     8685    108 |        5 |     2125
780.84/781.01	c  780s |      18 |   644934 |   416652 |     8685    109 |        5 |     2125
783.14/783.34	c  783s |      18 |   646739 |   417452 |     8685    109 |        5 |     2125
785.24/785.47	c  785s |      18 |   648118 |   418252 |     8685    109 |        5 |     2125
787.32/787.56	c  787s |      18 |   649573 |   419052 |     8685    109 |        5 |     2125
789.63/789.83	c  789s |      18 |   650879 |   419852 |     8685    109 |        5 |     2125
791.93/792.11	c  791s |      18 |   651531 |   420452 |     8685    109 |        5 |     2125
794.13/794.38	c  794s |      18 |   652292 |   421052 |     8685    110 |        5 |     2125
796.42/796.68	c  796s |      18 |   652885 |   421552 |     8685    110 |        5 |     2125
798.92/799.12	c  798s |      18 |   653609 |   422152 |     8685    110 |        5 |     2125
801.32/801.55	c  801s |      18 |   654184 |   422552 |     8685    110 |        5 |     2125
803.52/803.76	c  803s |      18 |   654627 |   422952 |     8685    110 |        5 |     2125
805.82/806.04	c  805s |      18 |   655065 |   423352 |     8685    110 |        5 |     2125
808.01/808.30	c  808s |      18 |   655546 |   423752 |     8685    110 |        5 |     2125
810.21/810.46	c  810s |      18 |   657052 |   424652 |     8685    110 |        5 |     2125
812.41/812.61	c  812s |      18 |   657730 |   425252 |     8685    110 |        5 |     2125
814.51/814.70	c  814s |      18 |   658450 |   425852 |     8685    111 |        5 |     2125
816.71/816.90	c  816s |      18 |   659478 |   426452 |     8685    111 |        5 |     2125
818.71/818.97	c  818s |      18 |   660891 |   427452 |     8685    111 |        5 |     2125
820.81/821.05	c  820s |      18 |   661964 |   428152 |     8685    111 |        5 |     2125
822.91/823.12	c  822s |      18 |   663048 |   428952 |     8685    111 |        5 |     2125
824.91/825.18	c  825s |      18 |   663909 |   429652 |     8685    111 |        5 |     2125
827.01/827.28	c  827s |      18 |   665498 |   430552 |     8685    112 |        5 |     2125
829.21/829.42	c  829s |      18 |   667012 |   431552 |     8685    112 |        5 |     2125
831.41/831.63	c  831s |      18 |   668104 |   432352 |     8685    112 |        5 |     2125
833.61/833.84	c  833s |      18 |   669109 |   433152 |     8685    112 |        5 |     2125
835.60/835.87	c  835s |      18 |   670361 |   433852 |     8685    112 |        5 |     2125
837.69/837.98	c  837s |      18 |   671428 |   434652 |     8685    113 |        5 |     2125
839.79/840.07	c  839s |      18 |   672639 |   435452 |     8685    113 |        5 |     2125
841.99/842.23	c  842s |      18 |   673770 |   436252 |     8685    113 |        5 |     2125
844.29/844.50	c  844s |      18 |   674699 |   436952 |     8685    113 |        5 |     2125
846.49/846.71	c  846s |      18 |   675359 |   437552 |     8685    113 |        5 |     2125
848.59/848.88	c  848s |      18 |   676395 |   438252 |     8685    113 |        5 |     2125
850.69/850.95	c  850s |      18 |   677167 |   438852 |     8685    113 |        5 |     2125
852.99/853.26	c  853s |      18 |   677883 |   439452 |     8685    114 |        5 |     2125
854.99/855.28	c  855s |      18 |   678617 |   440052 |     8685    114 |        5 |     2125
857.28/857.56	c  857s |      18 |   679301 |   440652 |     8685    114 |        5 |     2125
859.38/859.62	c  859s |      18 |   680030 |   441152 |     8685    114 |        5 |     2125
861.48/861.72	c  861s |      18 |   683117 |   442052 |     9554    114 |        5 |     2125
863.48/863.74	c  863s |      18 |   686878 |   443652 |     9554    114 |        5 |     2125
864.79/865.05	c  864s |      19 |   688459 |   444482 |     9554    114 |        5 |     2125
866.98/867.20	c  867s |      19 |   693548 |   446082 |     9554    115 |        5 |     2125
868.98/869.25	c  869s |      19 |   695174 |   447382 |     9554    115 |        5 |     2125
871.09/871.35	c  871s |      19 |   696774 |   448682 |     9554    115 |        5 |     2125
873.29/873.54	c  873s |      19 |   698036 |   449682 |     9554    115 |        5 |     2125
875.28/875.54	c  875s |      19 |   701734 |   450582 |     9554    116 |        5 |     2125
877.48/877.72	c  877s |      19 |   703138 |   451482 |     9554    116 |        5 |     2125
879.48/879.78	c  879s |      19 |   704242 |   452282 |     9554    116 |        5 |     2125
881.58/881.89	c  881s |      19 |   705465 |   453182 |     9554    116 |        5 |     2125
883.68/883.93	c  883s |      19 |   706960 |   454282 |     9554    116 |        5 |     2125
885.78/886.05	c  885s |      19 |   708325 |   455182 |     9554    117 |        5 |     2125
887.97/888.21	c  888s |      19 |   709790 |   456282 |     9554    117 |        5 |     2125
890.07/890.35	c  890s |      19 |   711191 |   457382 |     9554    117 |        5 |     2125
892.17/892.46	c  892s |      19 |   712166 |   458282 |     9554    117 |        5 |     2125
894.27/894.50	c  894s |      19 |   713213 |   459182 |     9554    117 |        5 |     2125
896.38/896.69	c  896s |      19 |   714491 |   460182 |     9554    117 |        5 |     2125
898.47/898.75	c  898s |      19 |   715868 |   461182 |     9554    118 |        5 |     2125
900.56/900.83	c  900s |      19 |   717411 |   462282 |     9554    118 |        5 |     2125
902.66/902.91	c  902s |      19 |   719043 |   463382 |     9554    118 |        5 |     2125
904.76/905.05	c  904s |      19 |   720272 |   464382 |     9554    118 |        5 |     2125
906.96/907.21	c  907s |      19 |   721552 |   465482 |     9554    119 |        5 |     2125
908.96/909.24	c  909s |      19 |   722777 |   466582 |     9554    119 |        5 |     2125
911.06/911.36	c  911s |      19 |   723954 |   467582 |     9554    119 |        5 |     2125
913.06/913.37	c  913s |      19 |   725294 |   468582 |     9554    119 |        5 |     2125
915.15/915.43	c  915s |      19 |   726833 |   469582 |     9554    119 |        5 |     2125
917.26/917.51	c  917s |      19 |   727993 |   470582 |     9554    119 |        5 |     2125
919.36/919.67	c  919s |      19 |   729083 |   471582 |     9554    120 |        5 |     2125
921.45/921.73	c  921s |      19 |   730440 |   472682 |     9554    120 |        5 |     2125
923.55/923.89	c  923s |      19 |   731772 |   473782 |     9554    120 |        5 |     2125
925.65/925.92	c  925s |      19 |   732859 |   474682 |     9554    120 |        5 |     2125
927.85/928.15	c  928s |      19 |   733778 |   475482 |     9554    120 |        5 |     2125
930.14/930.41	c  930s |      19 |   734789 |   476282 |     9554    121 |        5 |     2125
932.14/932.44	c  932s |      19 |   735941 |   477282 |     9554    121 |        5 |     2125
934.14/934.46	c  934s |      19 |   737184 |   478282 |     9554    121 |        5 |     2125
936.24/936.58	c  936s |      19 |   738405 |   479182 |     9554    121 |        5 |     2125
938.34/938.69	c  938s |      19 |   739693 |   480182 |     9554    121 |        5 |     2125
940.44/940.73	c  940s |      19 |   740831 |   481182 |     9554    122 |        5 |     2125
942.64/942.90	c  942s |      19 |   742083 |   482282 |     9554    122 |        5 |     2125
944.64/944.95	c  944s |      19 |   743360 |   483282 |     9554    122 |        5 |     2125
946.63/946.97	c  946s |      19 |   744517 |   484282 |     9554    122 |        5 |     2125
948.73/949.08	c  948s |      19 |   745710 |   485282 |     9554    122 |        5 |     2125
950.93/951.26	c  951s |      19 |   746688 |   486082 |     9554    123 |        5 |     2125
952.93/953.26	c  953s |      19 |   747880 |   486982 |     9554    123 |        5 |     2125
955.13/955.47	c  955s |      19 |   748970 |   487982 |     9554    123 |        5 |     2125
957.12/957.47	c  957s |      19 |   749987 |   488882 |     9554    123 |        5 |     2125
959.22/959.58	c  959s |      19 |   750967 |   489782 |     9554    123 |        5 |     2125
961.32/961.65	c  961s |      19 |   752044 |   490682 |     9554    123 |        5 |     2125
963.33/963.67	c  963s |      19 |   752928 |   491482 |     9554    124 |        5 |     2125
965.42/965.80	c  965s |      19 |   754410 |   492382 |     9554    124 |        5 |     2125
967.51/967.84	c  967s |      19 |   757429 |   493482 |     9554    124 |        5 |     2125
969.61/969.90	c  969s |      19 |   758908 |   494582 |     9554    124 |        5 |     2125
971.71/972.08	c  971s |      19 |   760155 |   495482 |     9554    124 |        5 |     2125
974.01/974.39	c  974s |      19 |   761060 |   496282 |     9554    124 |        5 |     2125
976.31/976.63	c  976s |      19 |   762152 |   496982 |     9554    125 |        5 |     2125
978.41/978.76	c  978s |      19 |   763036 |   497682 |     9554    125 |        5 |     2125
980.52/980.82	c  980s |      19 |   764232 |   498282 |     9554    125 |        5 |     2125
982.71/983.06	c  982s |      19 |   765235 |   498882 |     9554    125 |        5 |     2125
984.71/985.07	c  984s |      19 |   766043 |   499482 |     9554    125 |        5 |     2125
986.81/987.13	c  986s |      19 |   766829 |   500182 |     9554    125 |        5 |     2125
988.81/989.14	c  988s |      19 |   767623 |   500782 |     9554    125 |        5 |     2125
991.21/991.55	c  991s |      19 |   768691 |   501582 |     9554    126 |        5 |     2125
993.21/993.57	c  993s |      19 |   769481 |   502282 |     9554    126 |        5 |     2125
995.31/995.66	c  995s |      19 |   770553 |   503082 |     9554    126 |        5 |     2125
997.41/997.71	c  997s |      19 |   771456 |   503882 |     9554    126 |        5 |     2125
999.50/999.85	c  999s |      19 |   772217 |   504582 |     9554    126 |        5 |     2125
1001.91/1002.22	c 1002s |      19 |   773267 |   505482 |     9554    126 |        5 |     2125
1003.90/1004.24	c 1004s |      19 |   774088 |   506082 |     9554    126 |        5 |     2125
1006.10/1006.44	c 1006s |      19 |   774830 |   506682 |     9554    126 |        5 |     2125
1008.09/1008.45	c 1008s |      19 |   775666 |   507282 |     9554    127 |        5 |     2125
1010.09/1010.46	c 1010s |      19 |   776429 |   507882 |     9554    127 |        5 |     2125
1012.29/1012.68	c 1012s |      19 |   777151 |   508482 |     9554    127 |        5 |     2125
1014.69/1015.05	c 1014s |      19 |   777849 |   509082 |     9554    127 |        5 |     2125
1016.99/1017.36	c 1017s |      19 |   778589 |   509682 |     9554    127 |        5 |     2125
1019.19/1019.59	c 1019s |      19 |   779639 |   510382 |     9554    127 |        5 |     2125
1021.49/1021.82	c 1021s |      19 |   780854 |   511182 |     9554    127 |        5 |     2125
1023.69/1024.06	c 1023s |      19 |   781713 |   511882 |     9554    128 |        5 |     2125
1025.99/1026.32	c 1026s |      19 |   782717 |   512682 |     9554    128 |        5 |     2125
1027.98/1028.39	c 1028s |      19 |   783572 |   513382 |     9554    128 |        5 |     2125
1030.28/1030.60	c 1030s |      19 |   784411 |   514082 |     9554    128 |        5 |     2125
1032.69/1033.07	c 1032s |      19 |   785274 |   514782 |     9554    128 |        5 |     2125
1035.08/1035.47	c 1035s |      19 |   785904 |   515382 |     9554    128 |        5 |     2125
1037.57/1037.94	c 1037s |      19 |   786667 |   515982 |     9554    128 |        5 |     2125
1039.77/1040.12	c 1039s |      19 |   788629 |   517182 |     9554    129 |        5 |     2125
1041.77/1042.19	c 1042s |      19 |   789949 |   518182 |     9554    129 |        5 |     2125
1043.97/1044.39	c 1044s |      19 |   791340 |   519282 |     9554    129 |        5 |     2125
1046.07/1046.45	c 1046s |      19 |   792357 |   520182 |     9554    129 |        5 |     2125
1048.07/1048.45	c 1048s |      19 |   793279 |   520982 |     9554    129 |        5 |     2125
1050.06/1050.45	c 1050s |      19 |   794245 |   521782 |     9554    129 |        5 |     2125
1052.06/1052.48	c 1052s |      19 |   795072 |   522482 |     9554    130 |        5 |     2125
1054.26/1054.69	c 1054s |      19 |   796084 |   523382 |     9554    130 |        5 |     2125
1056.36/1056.77	c 1056s |      19 |   797041 |   524182 |     9554    130 |        5 |     2125
1058.56/1058.92	c 1058s |      19 |   798369 |   524882 |     9554    130 |        5 |     2125
1060.86/1061.28	c 1061s |      19 |   799199 |   525482 |     9554    130 |        5 |     2125
1062.96/1063.31	c 1063s |      19 |   799748 |   525982 |     9554    130 |        5 |     2125
1065.16/1065.58	c 1065s |      19 |   800593 |   526582 |     9554    130 |        5 |     2125
1067.65/1068.02	c 1067s |      19 |   801345 |   527182 |     9554    130 |        5 |     2125
1069.85/1070.22	c 1070s |      19 |   801847 |   527582 |     9554    131 |        5 |     2125
1072.05/1072.42	c 1072s |      19 |   802522 |   528082 |     9554    131 |        5 |     2125
1074.25/1074.65	c 1074s |      19 |   803921 |   528982 |     9554    131 |        5 |     2125
1076.35/1076.71	c 1076s |      19 |   804415 |   529382 |     9554    131 |        5 |     2125
1078.55/1078.90	c 1078s |      19 |   805128 |   529982 |     9554    131 |        5 |     2125
1080.65/1081.02	c 1080s |      19 |   805888 |   530482 |     9554    131 |        5 |     2125
1082.75/1083.15	c 1083s |      19 |   806523 |   530882 |     9554    131 |        5 |     2125
1085.15/1085.50	c 1085s |      19 |   807043 |   531282 |     9554    131 |        5 |     2125
1087.55/1087.94	c 1087s |      19 |   807544 |   531682 |     9554    131 |        5 |     2125
1089.54/1089.95	c 1089s |      19 |   807904 |   531982 |     9554    131 |        5 |     2125
1091.84/1092.27	c 1092s |      19 |   808924 |   532382 |     9554    131 |        5 |     2125
1094.04/1094.42	c 1094s |      19 |   809732 |   532982 |     9554    132 |        5 |     2125
1096.04/1096.49	c 1096s |      19 |   811249 |   533682 |     9554    132 |        5 |     2125
1098.23/1098.62	c 1098s |      19 |   811880 |   534182 |     9554    132 |        5 |     2125
1100.53/1100.91	c 1100s |      19 |   812610 |   534782 |     9554    132 |        5 |     2125
1102.83/1103.27	c 1103s |      19 |   813318 |   535382 |     9554    132 |        5 |     2125
1104.93/1105.38	c 1105s |      19 |   814129 |   535982 |     9554    132 |        5 |     2125
1107.23/1107.69	c 1107s |      19 |   814719 |   536482 |     9554    132 |        5 |     2125
1109.33/1109.78	c 1109s |      19 |   815314 |   536982 |     9554    132 |        5 |     2125
1111.63/1112.07	c 1111s |      19 |   816102 |   537582 |     9554    132 |        5 |     2125
1113.93/1114.32	c 1114s |      19 |   816868 |   538182 |     9554    133 |        5 |     2125
1115.92/1116.37	c 1116s |      19 |   817498 |   538682 |     9554    133 |        5 |     2125
1118.12/1118.54	c 1118s |      19 |   818135 |   539182 |     9554    133 |        5 |     2125
1120.22/1120.60	c 1120s |      19 |   819462 |   539982 |     9554    133 |        5 |     2125
1122.42/1122.82	c 1122s |      19 |   820701 |   540982 |     9554    133 |        5 |     2125
1124.52/1124.94	c 1124s |      19 |   822307 |   541782 |     9554    133 |        5 |     2125
1126.71/1127.14	c 1126s |      19 |   823560 |   542782 |     9554    133 |        5 |     2125
1128.81/1129.29	c 1129s |      19 |   824533 |   543582 |     9554    134 |        5 |     2125
1131.11/1131.52	c 1131s |      19 |   825493 |   544382 |     9554    134 |        5 |     2125
1133.11/1133.53	c 1133s |      19 |   826268 |   545082 |     9554    134 |        5 |     2125
1135.21/1135.65	c 1135s |      19 |   827209 |   545882 |     9554    134 |        5 |     2125
1137.21/1137.69	c 1137s |      19 |   828347 |   546682 |     9554    134 |        5 |     2125
1139.41/1139.85	c 1139s |      19 |   829294 |   547382 |     9554    134 |        5 |     2125
1141.41/1141.86	c 1141s |      19 |   830284 |   548082 |     9554    135 |        5 |     2125
1143.81/1144.21	c 1144s |      19 |   831032 |   548782 |     9554    135 |        5 |     2125
1146.01/1146.41	c 1146s |      19 |   832060 |   549582 |     9554    135 |        5 |     2125
1148.11/1148.53	c 1148s |      19 |   832915 |   550182 |     9554    135 |        5 |     2125
1150.21/1150.65	c 1150s |      19 |   833580 |   550782 |     9554    135 |        5 |     2125
1152.30/1152.76	c 1152s |      19 |   834353 |   551282 |     9554    135 |        5 |     2125
1154.50/1154.96	c 1154s |      19 |   835254 |   551982 |     9554    135 |        5 |     2125
1156.70/1157.15	c 1157s |      19 |   836100 |   552582 |     9554    135 |        5 |     2125
1158.80/1159.23	c 1159s |      19 |   837040 |   553382 |     9554    136 |        5 |     2125
1160.90/1161.38	c 1161s |      19 |   838042 |   554082 |     9554    136 |        5 |     2125
1163.10/1163.50	c 1163s |      19 |   838781 |   554682 |     9554    136 |        5 |     2125
1165.10/1165.51	c 1165s |      19 |   839650 |   555382 |     9554    136 |        5 |     2125
1167.09/1167.58	c 1167s |      19 |   841251 |   556082 |     9554    136 |        5 |     2125
1169.29/1169.75	c 1169s |      19 |   841998 |   556682 |     9554    136 |        5 |     2125
1171.49/1171.92	c 1171s |      19 |   842731 |   557282 |     9554    136 |        5 |     2125
1173.59/1174.06	c 1173s |      19 |   843336 |   557782 |     9554    136 |        5 |     2125
1175.79/1176.25	c 1176s |      19 |   843988 |   558282 |     9554    137 |        5 |     2125
1177.88/1178.34	c 1178s |      19 |   844874 |   558982 |     9554    137 |        5 |     2125
1180.18/1180.63	c 1180s |      19 |   845614 |   559582 |     9554    137 |        5 |     2125
1182.28/1182.74	c 1182s |      19 |   846760 |   560282 |     9554    137 |        5 |     2125
1184.39/1184.85	c 1184s |      19 |   847550 |   560782 |     9554    137 |        5 |     2125
1186.38/1186.89	c 1186s |      19 |   848840 |   561682 |     9554    137 |        5 |     2125
1188.57/1189.06	c 1188s |      19 |   850381 |   562782 |     9554    137 |        5 |     2125
1190.67/1191.11	c 1190s |      19 |   851659 |   563682 |     9554    138 |        5 |     2125
1192.77/1193.28	c 1193s |      19 |   853392 |   564482 |     9554    138 |        5 |     2125
1195.07/1195.50	c 1195s |      19 |   854453 |   565282 |     9554    138 |        5 |     2125
1197.17/1197.63	c 1197s |      19 |   855717 |   566282 |     9554    138 |        5 |     2125
1199.27/1199.79	c 1199s |      19 |   857123 |   567282 |     9554    138 |        5 |     2125
1201.37/1201.80	c 1201s |      19 |   858069 |   568082 |     9554    138 |        5 |     2125
1203.47/1203.97	c 1203s |      19 |   859593 |   568982 |     9554    139 |        5 |     2125
1205.67/1206.18	c 1206s |      19 |   860854 |   569982 |     9554    139 |        5 |     2125
1207.76/1208.23	c 1208s |      19 |   862764 |   570882 |     9554    139 |        5 |     2125
1209.96/1210.46	c 1210s |      19 |   864395 |   571782 |     9554    139 |        5 |     2125
1212.16/1212.65	c 1212s |      19 |   865883 |   572582 |     9554    139 |        5 |     2125
1214.36/1214.80	c 1214s |      19 |   867074 |   573382 |     9554    139 |        5 |     2125
1216.36/1216.81	c 1216s |      19 |   867921 |   574082 |     9554    140 |        5 |     2125
1218.36/1218.84	c 1218s |      19 |   869302 |   574982 |     9554    140 |        5 |     2125
1220.45/1220.92	c 1220s |      19 |   870581 |   575682 |     9554    140 |        5 |     2125
1222.55/1223.08	c 1222s |      19 |   871631 |   576482 |     9554    140 |        5 |     2125
1224.65/1225.17	c 1225s |      19 |   872449 |   577182 |     9554    140 |        5 |     2125
1226.65/1227.20	c 1227s |      19 |   873420 |   577782 |     9554    140 |        5 |     2125
1229.05/1229.56	c 1229s |      19 |   875351 |   578482 |     9554    140 |        5 |     2125
1231.15/1231.67	c 1231s |      19 |   876185 |   579082 |     9554    141 |        5 |     2125
1233.25/1233.74	c 1233s |      19 |   876915 |   579682 |     9554    141 |        5 |     2125
1235.45/1235.94	c 1235s |      19 |   877871 |   580382 |     9554    141 |        5 |     2125
1237.84/1238.36	c 1238s |      19 |   878974 |   581082 |     9554    141 |        5 |     2125
1239.84/1240.39	c 1240s |      19 |   880109 |   581782 |     9554    141 |        5 |     2125
1242.14/1242.68	c 1242s |      19 |   881081 |   582482 |     9554    141 |        5 |     2125
1244.34/1244.80	c 1244s |      19 |   882002 |   583082 |     9554    141 |        5 |     2125
1246.44/1246.93	c 1246s |      19 |   884286 |   584082 |     9554    142 |        5 |     2125
1248.64/1249.10	c 1248s |      19 |   885582 |   585282 |     9554    142 |        5 |     2125
1250.84/1251.38	c 1251s |      19 |   886890 |   586282 |     9554    142 |        5 |     2125
1252.94/1253.48	c 1253s |      19 |   888164 |   587182 |     9554    142 |        5 |     2125
1255.04/1255.59	c 1255s |      19 |   890254 |   588182 |     9554    142 |        5 |     2125
1257.33/1257.82	c 1257s |      19 |   891783 |   589082 |     9554    143 |        5 |     2125
1259.33/1259.84	c 1259s |      19 |   892551 |   589782 |     9554    143 |        5 |     2125
1261.53/1262.06	c 1261s |      19 |   893492 |   590582 |     9554    143 |        5 |     2125
1263.93/1264.44	c 1264s |      19 |   894297 |   591282 |     9554    143 |        5 |     2125
1266.03/1266.52	c 1266s |      19 |   895503 |   591882 |     9554    143 |        5 |     2125
1268.22/1268.72	c 1268s |      19 |   896264 |   592482 |     9554    143 |        5 |     2125
1270.32/1270.80	c 1270s |      19 |   897160 |   593182 |     9554    143 |        5 |     2125
1272.42/1272.90	c 1272s |      19 |   897875 |   593782 |     9554    143 |        5 |     2125
1274.53/1275.09	c 1274s |      19 |   898745 |   594482 |     9554    144 |        5 |     2125
1276.72/1277.26	c 1277s |      19 |   900101 |   595582 |     9554    144 |        5 |     2125
1278.92/1279.43	c 1279s |      19 |   901655 |   596882 |     9554    144 |        5 |     2125
1281.02/1281.57	c 1281s |      19 |   903196 |   597982 |     9554    144 |        5 |     2125
1283.01/1283.59	c 1283s |      19 |   904191 |   598782 |     9554    144 |        5 |     2125
1285.11/1285.65	c 1285s |      19 |   904853 |   599382 |     9554    145 |        5 |     2125
1287.31/1287.82	c 1287s |      19 |   905730 |   600182 |     9554    145 |        5 |     2125
1289.51/1290.01	c 1289s |      19 |   906496 |   600882 |     9554    145 |        5 |     2125
1291.61/1292.10	c 1291s |      19 |   907575 |   601682 |     9554    145 |        5 |     2125
1293.71/1294.21	c 1294s |      19 |   908762 |   602582 |     9554    145 |        5 |     2125
1295.71/1296.25	c 1296s |      19 |   910590 |   603482 |     9554    145 |        5 |     2125
1297.90/1298.48	c 1298s |      19 |   912065 |   604382 |     9554    146 |        5 |     2125
1300.00/1300.56	c 1300s |      19 |   914210 |   605382 |     9554    146 |        5 |     2125
1302.10/1302.68	c 1302s |      19 |   915550 |   606382 |     9554    146 |        5 |     2125
1304.30/1304.81	c 1304s |      19 |   917230 |   607382 |     9554    146 |        5 |     2125
1306.50/1307.07	c 1306s |      19 |   918547 |   608282 |     9554    146 |        5 |     2125
1308.70/1309.29	c 1309s |      19 |   919944 |   609182 |     9554    146 |        5 |     2125
1310.80/1311.31	c 1311s |      19 |   921274 |   610082 |     9554    147 |        5 |     2125
1312.90/1313.41	c 1313s |      19 |   922728 |   611082 |     9554    147 |        5 |     2125
1315.10/1315.61	c 1315s |      19 |   924040 |   612082 |     9554    147 |        5 |     2125
1317.09/1317.67	c 1317s |      19 |   924977 |   612882 |     9554    147 |        5 |     2125
1319.19/1319.78	c 1319s |      19 |   925842 |   613582 |     9554    147 |        5 |     2125
1321.49/1322.03	c 1321s |      19 |   927030 |   614382 |     9554    147 |        5 |     2125
1323.59/1324.12	c 1323s |      19 |   927956 |   615082 |     9554    148 |        5 |     2125
1325.59/1326.17	c 1326s |      19 |   929443 |   615982 |     9554    148 |        5 |     2125
1327.69/1328.28	c 1328s |      19 |   930444 |   616782 |     9554    148 |        5 |     2125
1329.88/1330.44	c 1330s |      19 |   931837 |   617782 |     9554    148 |        5 |     2125
1331.98/1332.57	c 1332s |      19 |   933006 |   618682 |     9554    148 |        5 |     2125
1334.08/1334.61	c 1334s |      19 |   933879 |   619382 |     9554    148 |        5 |     2125
1336.18/1336.73	c 1336s |      19 |   934723 |   619982 |     9554    149 |        5 |     2125
1338.19/1338.75	c 1338s |      19 |   935761 |   620682 |     9554    149 |        5 |     2125
1340.18/1340.78	c 1340s |      19 |   936809 |   621382 |     9554    149 |        5 |     2125
1342.38/1342.98	c 1342s |      19 |   938384 |   622382 |     9554    149 |        5 |     2125
1344.68/1345.21	c 1345s |      19 |   939653 |   623282 |     9554    149 |        5 |     2125
1346.78/1347.38	c 1347s |      19 |   940769 |   624082 |     9554    149 |        5 |     2125
1348.98/1349.52	c 1349s |      19 |   942159 |   625082 |     9554    150 |        5 |     2125
1350.98/1351.53	c 1351s |      19 |   943503 |   625982 |     9554    150 |        5 |     2125
1352.98/1353.58	c 1353s |      19 |   944702 |   626882 |     9554    150 |        5 |     2125
1355.18/1355.70	c 1355s |      19 |   945783 |   627782 |     9554    150 |        5 |     2125
1357.18/1357.76	c 1357s |      19 |   947052 |   628582 |     9554    150 |        5 |     2125
1359.48/1360.04	c 1359s |      19 |   948414 |   629482 |     9554    150 |        5 |     2125
1361.58/1362.15	c 1362s |      19 |   949394 |   630182 |     9554    151 |        5 |     2125
1363.59/1364.19	c 1364s |      19 |   950337 |   630882 |     9554    151 |        5 |     2125
1365.88/1366.43	c 1366s |      19 |   952131 |   631782 |     9554    151 |        5 |     2125
1368.08/1368.64	c 1368s |      19 |   953049 |   632582 |     9554    151 |        5 |     2125
1370.08/1370.67	c 1370s |      19 |   954726 |   633482 |     9554    151 |        5 |     2125
1372.19/1372.79	c 1372s |      19 |   955799 |   634282 |     9554    151 |        5 |     2125
1374.29/1374.88	c 1374s |      19 |   956673 |   634982 |     9554    151 |        5 |     2125
1376.58/1377.13	c 1376s |      19 |   957563 |   635682 |     9554    152 |        5 |     2125
1378.68/1379.21	c 1379s |      19 |   959205 |   636582 |     9554    152 |        5 |     2125
1380.68/1381.23	c 1381s |      19 |   960711 |   637582 |     9554    152 |        5 |     2125
1382.98/1383.53	c 1383s |      19 |   961751 |   638382 |     9554    152 |        5 |     2125
1385.08/1385.68	c 1385s |      19 |   962941 |   639282 |     9554    152 |        5 |     2125
1387.18/1387.71	c 1387s |      19 |   963799 |   640082 |     9554    152 |        5 |     2125
1389.38/1389.97	c 1389s |      19 |   964937 |   640882 |     9554    153 |        5 |     2125
1391.48/1392.08	c 1391s |      19 |   965948 |   641682 |     9554    153 |        5 |     2125
1393.68/1394.23	c 1394s |      19 |   966956 |   642482 |     9554    153 |        5 |     2125
1395.78/1396.35	c 1396s |      19 |   968210 |   643282 |     9554    153 |        5 |     2125
1397.78/1398.37	c 1398s |      19 |   969071 |   643982 |     9554    153 |        5 |     2125
1399.89/1400.45	c 1400s |      19 |   969832 |   644682 |     9554    153 |        5 |     2125
1402.09/1402.64	c 1402s |      19 |   970653 |   645382 |     9554    153 |        5 |     2125
1404.08/1404.67	c 1404s |      19 |   971643 |   646082 |     9554    154 |        5 |     2125
1406.28/1406.89	c 1406s |      19 |   972715 |   646882 |     9554    154 |        5 |     2125
1408.48/1409.09	c 1408s |      19 |   973547 |   647582 |     9554    154 |        5 |     2125
1410.68/1411.24	c 1411s |      19 |   975193 |   648682 |     9554    154 |        5 |     2125
1412.88/1413.49	c 1413s |      19 |   976825 |   649682 |     9554    154 |        5 |     2125
1415.18/1415.74	c 1415s |      19 |   978274 |   650482 |     9554    154 |        5 |     2125
1417.28/1417.82	c 1417s |      19 |   979643 |   651182 |     9554    155 |        5 |     2125
1419.58/1420.16	c 1420s |      19 |   981191 |   651982 |     9554    155 |        5 |     2125
1421.88/1422.45	c 1422s |      19 |   981910 |   652582 |     9554    155 |        5 |     2125
1424.28/1424.85	c 1424s |      19 |   983096 |   653282 |     9554    155 |        5 |     2125
1426.58/1427.14	c 1426s |      19 |   983884 |   653882 |     9554    155 |        5 |     2125
1428.67/1429.24	c 1429s |      19 |   984506 |   654382 |     9554    155 |        5 |     2125
1430.97/1431.52	c 1431s |      19 |   986657 |   655182 |     9554    155 |        5 |     2125
1433.17/1433.71	c 1433s |      19 |   987965 |   655982 |     9554    156 |        5 |     2125
1435.17/1435.78	c 1435s |      19 |   989228 |   656982 |     9554    156 |        5 |     2125
1437.28/1437.87	c 1437s |      19 |   990594 |   657982 |     9554    156 |        5 |     2125
1439.38/1439.97	c 1439s |      19 |   991908 |   659182 |     9554    156 |        5 |     2125
1441.68/1442.23	c 1442s |      19 |   993122 |   660082 |     9554    156 |        5 |     2125
1443.78/1444.31	c 1444s |      19 |   994266 |   660782 |     9554    157 |        5 |     2125
1445.77/1446.35	c 1446s |      19 |   995508 |   661482 |     9554    157 |        5 |     2125
1447.97/1448.52	c 1448s |      19 |   996636 |   662282 |    10510    157 |        5 |     2125
1450.27/1450.82	c 1450s |      19 |   998140 |   663082 |    10510    157 |        5 |     2125
1452.47/1453.09	c 1452s |      19 |   999390 |   663882 |    10510    157 |        5 |     2125
1454.77/1455.38	c 1455s |      19 |  1000633 |   664682 |    10510    157 |        5 |     2125
1456.97/1457.53	c 1457s |      19 |  1001696 |   665382 |    10510    157 |        5 |     2125
1459.17/1459.77	c 1459s |      19 |  1002629 |   666082 |    10510    157 |        5 |     2125
1461.27/1461.82	c 1461s |      19 |  1003419 |   666682 |    10510    157 |        5 |     2125
1461.87/1462.41	c 1462s |      20 |  1003572 |   666827 |    10510    157 |        5 |     2125
1463.86/1464.48	c 1464s |      20 |  1014119 |   667527 |    10510    158 |        5 |     2125
1466.16/1466.71	c 1466s |      20 |  1015179 |   668127 |    10510    158 |        5 |     2125
1468.36/1468.96	c 1468s |      20 |  1015681 |   668527 |    10510    158 |        5 |     2125
1470.86/1471.40	c 1471s |      20 |  1016286 |   669027 |    10510    158 |        5 |     2125
1473.16/1473.76	c 1473s |      20 |  1016757 |   669427 |    10510    158 |        5 |     2125
1475.46/1476.08	c 1475s |      20 |  1017220 |   669827 |    10510    158 |        5 |     2125
1477.56/1478.11	c 1477s |      20 |  1018094 |   670227 |    10510    158 |        5 |     2125
1479.76/1480.37	c 1480s |      20 |  1018599 |   670627 |    10510    158 |        5 |     2125
1481.86/1482.41	c 1482s |      20 |  1019479 |   671127 |    10510    158 |        5 |     2125
1484.16/1484.74	c 1484s |      20 |  1020126 |   671527 |    10510    158 |        5 |     2125
1486.46/1487.05	c 1486s |      20 |  1021281 |   672027 |    10510    158 |        5 |     2125
1488.76/1489.31	c 1489s |      20 |  1022096 |   672427 |    10510    158 |        5 |     2125
1491.07/1491.68	c 1491s |      20 |  1023451 |   673027 |    10510    159 |        5 |     2125
1493.27/1493.84	c 1493s |      20 |  1024196 |   673427 |    10510    159 |        5 |     2125
1495.76/1496.33	c 1496s |      20 |  1024806 |   673827 |    10510    159 |        5 |     2125
1497.96/1498.60	c 1498s |      20 |  1025475 |   674227 |    10510    159 |        5 |     2125
1500.06/1500.61	c 1500s |      20 |  1027878 |   674927 |    10510    159 |        5 |     2125
1502.16/1502.71	c 1502s |      20 |  1028988 |   675727 |    10510    159 |        5 |     2125
1504.16/1504.73	c 1504s |      20 |  1030561 |   676727 |    10510    159 |        5 |     2125
1506.36/1506.90	c 1506s |      20 |  1031762 |   677727 |    10510    159 |        5 |     2125
1508.46/1509.06	c 1508s |      20 |  1032972 |   678727 |    10510    160 |        5 |     2125
1510.56/1511.15	c 1511s |      20 |  1033962 |   679527 |    10510    160 |        5 |     2125
1512.66/1513.27	c 1513s |      20 |  1034976 |   680227 |    10510    160 |        5 |     2125
1514.96/1515.58	c 1515s |      20 |  1036116 |   681027 |    10510    160 |        5 |     2125
1517.26/1517.80	c 1517s |      20 |  1037018 |   681827 |    10510    160 |        5 |     2125
1519.56/1520.16	c 1520s |      20 |  1038155 |   682727 |    10510    160 |        5 |     2125
1521.65/1522.26	c 1522s |      20 |  1039436 |   683527 |    10510    160 |        5 |     2125
1523.85/1524.41	c 1524s |      20 |  1040460 |   684327 |    10510    161 |        5 |     2125
1525.95/1526.51	c 1526s |      20 |  1041561 |   685127 |    10510    161 |        5 |     2125
1528.05/1528.63	c 1528s |      20 |  1042987 |   686027 |    10510    161 |        5 |     2125
1530.15/1530.75	c 1530s |      20 |  1044380 |   686827 |    10510    161 |        5 |     2125
1532.25/1532.82	c 1532s |      20 |  1046684 |   687327 |    10510    161 |        5 |     2125
1534.55/1535.10	c 1534s |      20 |  1047477 |   687727 |    10510    161 |        5 |     2125
1536.55/1537.18	c 1537s |      20 |  1048242 |   688327 |    10510    161 |        5 |     2125
1538.65/1539.23	c 1539s |      20 |  1048998 |   688927 |    10510    161 |        5 |     2125
1540.66/1541.28	c 1541s |      20 |  1049787 |   689527 |    10510    162 |        5 |     2125
1542.86/1543.42	c 1543s |      20 |  1050973 |   690327 |    10510    162 |        5 |     2125
1545.06/1545.62	c 1545s |      20 |  1052113 |   691127 |    10510    162 |        5 |     2125
1547.26/1547.87	c 1547s |      20 |  1052966 |   691827 |    10510    162 |        5 |     2125
1549.25/1549.89	c 1549s |      20 |  1053936 |   692527 |    10510    162 |        5 |     2125
1551.45/1552.03	c 1551s |      20 |  1054992 |   693327 |    10510    162 |        5 |     2125
1553.65/1554.23	c 1554s |      20 |  1055875 |   694127 |    10510    162 |        5 |     2125
1555.85/1556.44	c 1556s |      20 |  1056671 |   694827 |    10510    163 |        5 |     2125
1557.85/1558.47	c 1558s |      20 |  1057473 |   695427 |    10510    163 |        5 |     2125
1559.95/1560.57	c 1560s |      20 |  1058138 |   696027 |    10510    163 |        5 |     2125
1562.25/1562.85	c 1562s |      20 |  1058912 |   696627 |    10510    163 |        5 |     2125
1564.55/1565.13	c 1564s |      20 |  1059575 |   697227 |    10510    163 |        5 |     2125
1566.56/1567.14	c 1566s |      20 |  1060140 |   697727 |    10510    163 |        5 |     2125
1568.96/1569.57	c 1569s |      20 |  1060812 |   698327 |    10510    163 |        5 |     2125
1571.16/1571.74	c 1571s |      20 |  1061487 |   698927 |    10510    163 |        5 |     2125
1573.25/1573.80	c 1573s |      20 |  1062328 |   699627 |    10510    163 |        5 |     2125
1575.35/1575.92	c 1575s |      20 |  1063176 |   700327 |    10510    163 |        5 |     2125
1577.35/1577.94	c 1577s |      20 |  1063963 |   700927 |    10510    164 |        5 |     2125
1579.45/1580.05	c 1579s |      20 |  1064999 |   701727 |    10510    164 |        5 |     2125
1581.75/1582.30	c 1582s |      20 |  1065917 |   702427 |    10510    164 |        5 |     2125
1583.75/1584.30	c 1584s |      20 |  1066586 |   702927 |    10510    164 |        5 |     2125
1585.95/1586.53	c 1586s |      20 |  1067394 |   703427 |    10510    164 |        5 |     2125
1588.15/1588.73	c 1588s |      20 |  1068926 |   704127 |    10510    164 |        5 |     2125
1590.25/1590.89	c 1590s |      20 |  1069740 |   704727 |    10510    164 |        5 |     2125
1592.36/1592.99	c 1592s |      20 |  1070585 |   705227 |    10510    164 |        5 |     2125
1595.05/1595.68	c 1595s |      20 |  1071720 |   705727 |    10510    164 |        5 |     2125
1597.65/1598.26	c 1598s |      20 |  1072805 |   706227 |    10510    165 |        5 |     2125
1599.85/1600.42	c 1600s |      20 |  1073463 |   706727 |    10510    165 |        5 |     2125
1602.35/1602.94	c 1602s |      20 |  1074097 |   707227 |    10510    165 |        5 |     2125
1604.75/1605.33	c 1605s |      20 |  1074559 |   707627 |    10510    165 |        5 |     2125
1606.95/1607.53	c 1607s |      20 |  1075603 |   708027 |    10510    165 |        5 |     2125
1609.15/1609.75	c 1609s |      20 |  1075981 |   708327 |    10510    165 |        5 |     2125
1611.55/1612.16	c 1612s |      20 |  1076313 |   708627 |    10510    165 |        5 |     2125
1614.15/1614.78	c 1614s |      20 |  1076939 |   709027 |    10510    165 |        5 |     2125
1616.85/1617.44	c 1617s |      20 |  1077384 |   709327 |    10510    165 |        5 |     2125
1618.95/1619.55	c 1619s |      20 |  1077645 |   709527 |    10510    165 |        5 |     2125
1621.65/1622.25	c 1622s |      20 |  1078026 |   709727 |    10510    165 |        5 |     2125
1624.85/1625.47	c 1625s |      20 |  1078549 |   710027 |    10510    165 |        5 |     2125
1627.95/1628.54	c 1628s |      20 |  1078966 |   710327 |    10510    165 |        5 |     2125
1630.05/1630.68	c 1630s |      20 |  1079183 |   710527 |    10510    165 |        5 |     2125
1632.44/1633.02	c 1632s |      20 |  1079393 |   710727 |    10510    165 |        5 |     2125
1634.84/1635.40	c 1635s |      20 |  1079609 |   710927 |    10510    165 |        5 |     2125
1637.35/1637.95	c 1637s |      20 |  1079923 |   711227 |    10510    165 |        5 |     2125
1639.84/1640.46	c 1640s |      20 |  1080388 |   711627 |    10510    166 |        5 |     2125
1642.34/1642.95	c 1642s |      20 |  1080987 |   712127 |    10510    166 |        5 |     2125
1644.94/1645.56	c 1645s |      20 |  1081551 |   712527 |    10510    166 |        5 |     2125
1647.74/1648.35	c 1648s |      20 |  1082060 |   712927 |    10510    166 |        5 |     2125
1649.84/1650.43	c 1650s |      20 |  1082286 |   713127 |    10510    166 |        5 |     2125
1652.54/1653.13	c 1652s |      20 |  1082710 |   713427 |    10510    166 |        5 |     2125
1654.64/1655.20	c 1655s |      20 |  1083044 |   713727 |    10510    166 |        5 |     2125
1656.74/1657.33	c 1657s |      20 |  1083460 |   714027 |    10510    166 |        5 |     2125
1659.35/1659.94	c 1659s |      20 |  1083817 |   714327 |    10510    166 |        5 |     2125
1662.44/1663.02	c 1662s |      20 |  1084183 |   714627 |    10510    166 |        5 |     2125
1665.04/1665.67	c 1665s |      20 |  1084514 |   714927 |    10510    166 |        5 |     2125
1667.84/1668.43	c 1668s |      20 |  1084828 |   715227 |    10510    166 |        5 |     2125
1669.94/1670.54	c 1670s |      20 |  1085084 |   715427 |    10510    166 |        5 |     2125
1672.24/1672.87	c 1672s |      20 |  1085430 |   715727 |    10510    166 |        5 |     2125
1674.34/1674.94	c 1674s |      20 |  1085777 |   716027 |    10510    166 |        5 |     2125
1676.74/1677.34	c 1677s |      20 |  1086103 |   716327 |    10510    166 |        5 |     2125
1679.04/1679.66	c 1679s |      20 |  1086449 |   716627 |    10510    166 |        5 |     2125
1681.84/1682.49	c 1682s |      20 |  1086772 |   716927 |    10510    166 |        5 |     2125
1684.24/1684.85	c 1684s |      20 |  1086989 |   717127 |    10510    167 |        5 |     2125
1686.34/1686.98	c 1686s |      20 |  1087202 |   717327 |    10510    167 |        5 |     2125
1688.54/1689.14	c 1688s |      20 |  1087635 |   717627 |    10510    167 |        5 |     2125
1690.64/1691.25	c 1691s |      20 |  1087961 |   717927 |    10510    167 |        5 |     2125
1693.34/1693.97	c 1693s |      20 |  1088339 |   718227 |    10510    167 |        5 |     2125
1695.74/1696.33	c 1696s |      20 |  1088905 |   718527 |    10510    167 |        5 |     2125
1698.33/1698.91	c 1698s |      20 |  1089282 |   718827 |    10510    167 |        5 |     2125
1700.73/1701.39	c 1701s |      20 |  1089632 |   719127 |    10510    167 |        5 |     2125
1702.93/1703.59	c 1703s |      20 |  1090015 |   719427 |    10510    167 |        5 |     2125
1705.03/1705.69	c 1705s |      20 |  1090310 |   719627 |    10510    167 |        5 |     2125
1707.33/1707.98	c 1707s |      20 |  1091249 |   720027 |    10510    167 |        5 |     2125
1710.04/1710.66	c 1710s |      20 |  1091599 |   720327 |    10510    167 |        5 |     2125
1713.24/1713.90	c 1713s |      20 |  1091915 |   720627 |    10510    167 |        5 |     2125
1715.73/1716.31	c 1716s |      20 |  1092156 |   720827 |    10510    167 |        5 |     2125
1718.03/1718.68	c 1718s |      20 |  1092411 |   721027 |    10510    167 |        5 |     2125
1720.43/1721.03	c 1720s |      20 |  1092953 |   721327 |    10510    167 |        5 |     2125
1722.73/1723.36	c 1723s |      20 |  1093163 |   721527 |    10510    167 |        5 |     2125
1725.63/1726.23	c 1726s |      20 |  1093520 |   721827 |    10510    167 |        5 |     2125
1728.33/1728.93	c 1728s |      20 |  1093858 |   722127 |    10510    167 |        5 |     2125
1730.53/1731.19	c 1731s |      20 |  1094090 |   722327 |    10510    167 |        5 |     2125
1732.73/1733.37	c 1733s |      20 |  1094423 |   722627 |    10510    168 |        5 |     2125
1735.83/1736.47	c 1736s |      20 |  1094743 |   722927 |    10510    168 |        5 |     2125
1738.23/1738.87	c 1738s |      20 |  1094962 |   723127 |    10510    168 |        5 |     2125
1741.23/1741.85	c 1741s |      20 |  1095296 |   723427 |    10510    168 |        5 |     2125
1744.03/1744.63	c 1744s |      20 |  1095513 |   723627 |    10510    168 |        5 |     2125
1746.13/1746.78	c 1746s |      20 |  1096675 |   724327 |    10510    168 |        5 |     2125
1748.33/1748.99	c 1748s |      20 |  1097826 |   725127 |    10510    168 |        5 |     2125
1750.52/1751.15	c 1751s |      20 |  1098425 |   725627 |    10510    168 |        5 |     2125
1752.62/1753.25	c 1753s |      20 |  1099147 |   726227 |    10510    168 |        5 |     2125
1754.72/1755.30	c 1755s |      20 |  1100357 |   726827 |    10510    168 |        5 |     2125
1757.12/1757.77	c 1757s |      20 |  1100999 |   727427 |    10510    168 |        5 |     2125
1759.43/1760.10	c 1759s |      20 |  1101837 |   727927 |    10510    168 |        5 |     2125
1761.82/1762.41	c 1762s |      20 |  1102604 |   728427 |    10510    169 |        5 |     2125
1764.32/1764.95	c 1764s |      20 |  1103219 |   728927 |    10510    169 |        5 |     2125
1766.62/1767.30	c 1767s |      20 |  1103741 |   729327 |    10510    169 |        5 |     2125
1769.02/1769.64	c 1769s |      20 |  1104068 |   729627 |    10510    169 |        5 |     2125
1771.22/1771.86	c 1771s |      20 |  1104416 |   729927 |    10510    169 |        5 |     2125
1773.22/1773.89	c 1773s |      20 |  1104764 |   730227 |    10510    169 |        5 |     2125
1775.52/1776.17	c 1776s |      20 |  1105200 |   730627 |    10510    169 |        5 |     2125
1777.82/1778.41	c 1778s |      20 |  1105562 |   730927 |    10510    169 |        5 |     2125
1780.22/1780.83	c 1780s |      20 |  1105906 |   731227 |    10510    169 |        5 |     2125
1782.53/1783.11	c 1782s |      20 |  1107081 |   731727 |    10510    169 |        5 |     2125
1784.83/1785.44	c 1785s |      20 |  1107695 |   732227 |    10510    169 |        5 |     2125
1786.82/1787.46	c 1787s |      20 |  1108130 |   732627 |    10510    169 |        5 |     2125
1789.02/1789.60	c 1789s |      20 |  1108464 |   732927 |    10510    169 |        5 |     2125
1791.42/1792.02	c 1791s |      20 |  1109065 |   733427 |    10510    169 |        5 |     2125
1793.92/1794.59	c 1794s |      20 |  1109532 |   733827 |    10510    170 |        5 |     2125
1796.32/1796.94	c 1796s |      20 |  1110154 |   734327 |    10510    170 |        5 |     2125
1798.41/1799.03	c 1798s |      20 |  1110602 |   734727 |    10510    170 |        5 |     2125

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

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

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


[startup+0 s]
/proc/loadavg: 2.20 2.18 2.18 3/179 6141
/proc/meminfo: memFree=29101188/32872528 swapFree=15644/1722384
[pid=6141] ppid=6138 vsize=338364 CPUtime=0 cores=1,3,5,7
/proc/6141/stat : 6141 (toysat) R 6138 6141 4315 0 -1 4202496 1193 0 0 0 0 0 0 0 20 0 4 0 108553518 346484736 1554 33554432000 4194304 16246674 140733611912640 140733611912064 13880264 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6141/statm: 85103 1564 441 2943 0 81997 0
[pid=6141/tid=6142] ppid=6138 vsize=352700 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6142/stat : 6142 (toysat) S 6138 6141 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108553519 361164800 1612 33554432000 4194304 16246674 140733611912640 139704040140016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6141/tid=6143] ppid=6138 vsize=357820 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6143/stat : 6143 (toysat) S 6138 6141 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108553519 366407680 1632 33554432000 4194304 16246674 140733611912640 139704029650160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6141/tid=6144] ppid=6138 vsize=361916 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6144/stat : 6144 (toysat) S 6138 6141 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108553519 370601984 1648 33554432000 4194304 16246674 140733611912640 139703944735920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100176 s]
/proc/loadavg: 2.20 2.18 2.18 3/179 6141
/proc/meminfo: memFree=29101188/32872528 swapFree=15644/1722384
[pid=6141] ppid=6138 vsize=1220164 CPUtime=0.08 cores=1,3,5,7
/proc/6141/stat : 6141 (toysat) R 6138 6141 4315 0 -1 4202496 23128 0 0 0 6 2 0 0 20 0 4 0 108553518 1249447936 23427 33554432000 4194304 16246674 140733611912640 140733611911952 13780501 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6141/statm: 305041 23438 844 2943 0 301935 0
[pid=6141/tid=6142] ppid=6138 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6142/stat : 6142 (toysat) S 6138 6141 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108553519 1249447936 23445 33554432000 4194304 16246674 140733611912640 139704040140016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6141/tid=6143] ppid=6138 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6143/stat : 6143 (toysat) S 6138 6141 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108553519 1249447936 23451 33554432000 4194304 16246674 140733611912640 139704029650160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6141/tid=6144] ppid=6138 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6144/stat : 6144 (toysat) S 6138 6141 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108553519 1249447936 23458 33554432000 4194304 16246674 140733611912640 139703944735920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1220164

[startup+0.200535 s]
/proc/loadavg: 2.20 2.18 2.18 3/179 6141
/proc/meminfo: memFree=29101188/32872528 swapFree=15644/1722384
[pid=6141] ppid=6138 vsize=1220164 CPUtime=0.19 cores=1,3,5,7
/proc/6141/stat : 6141 (toysat) R 6138 6141 4315 0 -1 4202496 37877 0 0 0 15 4 0 0 20 0 4 0 108553518 1249447936 38176 33554432000 4194304 16246674 140733611912640 140733611911952 5828874 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6141/statm: 305041 38177 894 2943 0 301935 0
[pid=6141/tid=6142] ppid=6138 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6142/stat : 6142 (toysat) S 6138 6141 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108553519 1249447936 38178 33554432000 4194304 16246674 140733611912640 139704040140016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6141/tid=6143] ppid=6138 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6143/stat : 6143 (toysat) S 6138 6141 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108553519 1249447936 38181 33554432000 4194304 16246674 140733611912640 139704029650160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6141/tid=6144] ppid=6138 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6144/stat : 6144 (toysat) S 6138 6141 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108553519 1249447936 38183 33554432000 4194304 16246674 140733611912640 139703944735920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1220164

[startup+0.30049 s]
/proc/loadavg: 2.20 2.18 2.18 3/179 6141
/proc/meminfo: memFree=29101188/32872528 swapFree=15644/1722384
[pid=6141] ppid=6138 vsize=1220164 CPUtime=0.29 cores=1,3,5,7
/proc/6141/stat : 6141 (toysat) R 6138 6141 4315 0 -1 4202496 47162 0 0 0 24 5 0 0 20 0 4 0 108553518 1249447936 47461 33554432000 4194304 16246674 140733611912640 140733611911952 6843278 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6141/statm: 305041 47468 894 2943 0 301935 0
[pid=6141/tid=6142] ppid=6138 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6142/stat : 6142 (toysat) S 6138 6141 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108553519 1249447936 47473 33554432000 4194304 16246674 140733611912640 139704040140016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6141/tid=6143] ppid=6138 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6143/stat : 6143 (toysat) S 6138 6141 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108553519 1249447936 47476 33554432000 4194304 16246674 140733611912640 139704029650160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6141/tid=6144] ppid=6138 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6144/stat : 6144 (toysat) S 6138 6141 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108553519 1249447936 47484 33554432000 4194304 16246674 140733611912640 139703944735920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1220164

[startup+0.700416 s]
/proc/loadavg: 2.20 2.18 2.18 3/179 6141
/proc/meminfo: memFree=29101188/32872528 swapFree=15644/1722384
[pid=6141] ppid=6138 vsize=1220164 CPUtime=0.68 cores=1,3,5,7
/proc/6141/stat : 6141 (toysat) R 6138 6141 4315 0 -1 4202496 105815 0 0 0 55 13 0 0 20 0 4 0 108553518 1249447936 106114 33554432000 4194304 16246674 140733611912640 140733611894528 5711820 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6141/statm: 305041 106117 894 2943 0 301935 0
[pid=6141/tid=6142] ppid=6138 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6142/stat : 6142 (toysat) S 6138 6141 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108553519 1249447936 106120 33554432000 4194304 16246674 140733611912640 139704040140016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6141/tid=6143] ppid=6138 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6143/stat : 6143 (toysat) S 6138 6141 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108553519 1249447936 106125 33554432000 4194304 16246674 140733611912640 139704029650160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6141/tid=6144] ppid=6138 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6144/stat : 6144 (toysat) S 6138 6141 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108553519 1249447936 106129 33554432000 4194304 16246674 140733611912640 139703944735920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1220164

[startup+1.50041 s]
/proc/loadavg: 2.20 2.18 2.18 3/183 6145
/proc/meminfo: memFree=28444008/32872528 swapFree=15644/1722384
[pid=6141] ppid=6138 vsize=1220164 CPUtime=1.48 cores=1,3,5,7
/proc/6141/stat : 6141 (toysat) R 6138 6141 4315 0 -1 4202496 221869 0 0 0 119 29 0 0 20 0 4 0 108553518 1249447936 222168 33554432000 4194304 16246674 140733611912640 140733611894528 5546181 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6141/statm: 305041 222176 894 2943 0 301935 0
[pid=6141/tid=6142] ppid=6138 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6142/stat : 6142 (toysat) S 6138 6141 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108553519 1249447936 222182 33554432000 4194304 16246674 140733611912640 139704040140016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6141/tid=6143] ppid=6138 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6143/stat : 6143 (toysat) S 6138 6141 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108553519 1249447936 222187 33554432000 4194304 16246674 140733611912640 139704029650160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6141/tid=6144] ppid=6138 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6144/stat : 6144 (toysat) S 6138 6141 4315 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108553519 1249447936 222191 33554432000 4194304 16246674 140733611912640 139703944735920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1220164

[startup+3.10044 s]
/proc/loadavg: 2.18 2.17 2.17 3/183 6145
/proc/meminfo: memFree=28037908/32872528 swapFree=15644/1722384
[pid=6141] ppid=6138 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/6141/stat : 6141 (toysat) R 6138 6141 4315 0 -1 4202496 267968 0 0 0 274 35 0 0 20 0 4 0 108553518 1338576896 268267 33554432000 4194304 16246674 140733611912640 140733611894528 13759557 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6141/statm: 326801 268267 899 2943 0 323695 0
[pid=6141/tid=6142] ppid=6138 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6142/stat : 6142 (toysat) S 6138 6141 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108553519 1338576896 268267 33554432000 4194304 16246674 140733611912640 139704040140016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6141/tid=6143] ppid=6138 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6143/stat : 6143 (toysat) S 6138 6141 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108553519 1338576896 268267 33554432000 4194304 16246674 140733611912640 139704029650160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6141/tid=6144] ppid=6138 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6144/stat : 6144 (toysat) S 6138 6141 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108553519 1338576896 268267 33554432000 4194304 16246674 140733611912640 139703944735920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30042 s]
/proc/loadavg: 2.18 2.17 2.17 3/183 6145
/proc/meminfo: memFree=28029236/32872528 swapFree=15644/1722384
[pid=6141] ppid=6138 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/6141/stat : 6141 (toysat) R 6138 6141 4315 0 -1 4202496 268002 0 0 0 594 35 0 0 20 0 4 0 108553518 1338576896 268301 33554432000 4194304 16246674 140733611912640 140733611894528 5546098 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6141/statm: 326801 268301 904 2943 0 323695 0
[pid=6141/tid=6142] ppid=6138 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6142/stat : 6142 (toysat) S 6138 6141 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108553519 1338576896 268301 33554432000 4194304 16246674 140733611912640 139704040140016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6141/tid=6143] ppid=6138 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6143/stat : 6143 (toysat) S 6138 6141 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108553519 1338576896 268301 33554432000 4194304 16246674 140733611912640 139704029650160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6141/tid=6144] ppid=6138 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6144/stat : 6144 (toysat) S 6138 6141 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108553519 1338576896 268301 33554432000 4194304 16246674 140733611912640 139703944735920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.24 2.18 2.18 4/183 6145
/proc/meminfo: memFree=28028624/32872528 swapFree=15644/1722384
[pid=6141] ppid=6138 vsize=1308228 CPUtime=12.68 cores=1,3,5,7
/proc/6141/stat : 6141 (toysat) R 6138 6141 4315 0 -1 4202496 268258 0 0 0 1233 35 0 0 20 0 4 0 108553518 1339625472 268557 33554432000 4194304 16246674 140733611912640 140733611894528 5523464 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6141/statm: 327057 268557 904 2943 0 323951 0
[pid=6141/tid=6142] ppid=6138 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6142/stat : 6142 (toysat) S 6138 6141 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108553519 1339625472 268557 33554432000 4194304 16246674 140733611912640 139704040140016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6141/tid=6143] ppid=6138 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6143/stat : 6143 (toysat) S 6138 6141 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108553519 1339625472 268557 33554432000 4194304 16246674 140733611912640 139704029650160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6141/tid=6144] ppid=6138 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6144/stat : 6144 (toysat) S 6138 6141 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108553519 1339625472 268557 33554432000 4194304 16246674 140733611912640 139703944735920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.20 2.18 2.18 3/183 6145
/proc/meminfo: memFree=28025352/32872528 swapFree=15644/1722384
[pid=6141] ppid=6138 vsize=1310276 CPUtime=25.48 cores=1,3,5,7
/proc/6141/stat : 6141 (toysat) R 6138 6141 4315 0 -1 4202496 268683 0 0 0 2513 35 0 0 20 0 4 0 108553518 1341722624 268982 33554432000 4194304 16246674 140733611912640 140733611894528 5721677 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6141/statm: 327569 268982 904 2943 0 324463 0
[pid=6141/tid=6142] ppid=6138 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6142/stat : 6142 (toysat) S 6138 6141 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108553519 1341722624 268982 33554432000 4194304 16246674 140733611912640 139704040140016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6141/tid=6143] ppid=6138 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6143/stat : 6143 (toysat) S 6138 6141 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108553519 1341722624 268982 33554432000 4194304 16246674 140733611912640 139704029650160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6141/tid=6144] ppid=6138 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6144/stat : 6144 (toysat) S 6138 6141 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108553519 1341722624 268982 33554432000 4194304 16246674 140733611912640 139703944735920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1310276

[startup+51.1005 s]
/proc/loadavg: 2.26 2.19 2.18 3/183 6145
/proc/meminfo: memFree=28022156/32872528 swapFree=15644/1722384
[pid=6141] ppid=6138 vsize=1310276 CPUtime=51.08 cores=1,3,5,7
/proc/6141/stat : 6141 (toysat) R 6138 6141 4315 0 -1 4202496 268770 0 0 0 5073 35 0 0 20 0 4 0 108553518 1341722624 269069 33554432000 4194304 16246674 140733611912640 140733611894528 5822604 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6141/statm: 327569 269069 904 2943 0 324463 0
[pid=6141/tid=6142] ppid=6138 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6142/stat : 6142 (toysat) S 6138 6141 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108553519 1341722624 269069 33554432000 4194304 16246674 140733611912640 139704040140016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6141/tid=6143] ppid=6138 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6143/stat : 6143 (toysat) S 6138 6141 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108553519 1341722624 269069 33554432000 4194304 16246674 140733611912640 139704029650160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6141/tid=6144] ppid=6138 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6144/stat : 6144 (toysat) S 6138 6141 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108553519 1341722624 269069 33554432000 4194304 16246674 140733611912640 139703944735920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1310276

[startup+102.301 s]
/proc/loadavg: 2.28 2.21 2.18 4/183 6146
/proc/meminfo: memFree=28016644/32872528 swapFree=15644/1722384
[pid=6141] ppid=6138 vsize=1315396 CPUtime=102.28 cores=1,3,5,7
/proc/6141/stat : 6141 (toysat) R 6138 6141 4315 0 -1 4202496 270050 0 0 0 10192 36 0 0 20 0 4 0 108553518 1346965504 270349 33554432000 4194304 16246674 140733611912640 140733611894528 13752941 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6141/statm: 328849 270349 904 2943 0 325743 0
[pid=6141/tid=6142] ppid=6138 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6142/stat : 6142 (toysat) S 6138 6141 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108553519 1346965504 270349 33554432000 4194304 16246674 140733611912640 139704040140016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6141/tid=6143] ppid=6138 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6143/stat : 6143 (toysat) S 6138 6141 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108553519 1346965504 270349 33554432000 4194304 16246674 140733611912640 139704029650160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6141/tid=6144] ppid=6138 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6144/stat : 6144 (toysat) S 6138 6141 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108553519 1346965504 270349 33554432000 4194304 16246674 140733611912640 139703944735920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1315396


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

/proc/6141/task/6144/stat : 6144 (toysat) S 6138 6141 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108553519 1356402688 272910 33554432000 4194304 16246674 140733611912640 139703944735920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 1324612

[startup+1302.3 s]
/proc/loadavg: 2.20 2.20 2.18 3/183 6177
/proc/meminfo: memFree=27995868/32872528 swapFree=15644/1722384
[pid=6141] ppid=6138 vsize=1324612 CPUtime=1301.8 cores=1,3,5,7
/proc/6141/stat : 6141 (toysat) R 6138 6141 4315 0 -1 4202496 272754 0 0 0 130139 41 0 0 20 0 4 0 108553518 1356402688 272910 33554432000 4194304 16246674 140733611912640 140733611894528 12474627 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6141/statm: 331153 272910 905 2943 0 328047 0
[pid=6141/tid=6142] ppid=6138 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6142/stat : 6142 (toysat) S 6138 6141 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108553519 1356402688 272910 33554432000 4194304 16246674 140733611912640 139704040140016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6141/tid=6143] ppid=6138 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6143/stat : 6143 (toysat) S 6138 6141 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108553519 1356402688 272910 33554432000 4194304 16246674 140733611912640 139704029650160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6141/tid=6144] ppid=6138 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6144/stat : 6144 (toysat) S 6138 6141 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108553519 1356402688 272910 33554432000 4194304 16246674 140733611912640 139703944735920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 1324612

[startup+1362.3 s]
/proc/loadavg: 2.11 2.18 2.17 3/183 6178
/proc/meminfo: memFree=27995916/32872528 swapFree=15644/1722384
[pid=6141] ppid=6138 vsize=1324612 CPUtime=1361.78 cores=1,3,5,7
/proc/6141/stat : 6141 (toysat) R 6138 6141 4315 0 -1 4202496 272777 0 0 0 136137 41 0 0 20 0 4 0 108553518 1356402688 272910 33554432000 4194304 16246674 140733611912640 140733611894528 5545784 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6141/statm: 331153 272910 905 2943 0 328047 0
[pid=6141/tid=6142] ppid=6138 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6142/stat : 6142 (toysat) S 6138 6141 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108553519 1356402688 272910 33554432000 4194304 16246674 140733611912640 139704040140016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6141/tid=6143] ppid=6138 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6143/stat : 6143 (toysat) S 6138 6141 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108553519 1356402688 272910 33554432000 4194304 16246674 140733611912640 139704029650160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6141/tid=6144] ppid=6138 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6144/stat : 6144 (toysat) S 6138 6141 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108553519 1356402688 272910 33554432000 4194304 16246674 140733611912640 139703944735920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 1324612

[startup+1422.3 s]
/proc/loadavg: 2.17 2.18 2.18 3/183 6179
/proc/meminfo: memFree=27996292/32872528 swapFree=15644/1722384
[pid=6141] ppid=6138 vsize=1324612 CPUtime=1421.78 cores=1,3,5,7
/proc/6141/stat : 6141 (toysat) R 6138 6141 4315 0 -1 4202496 272780 0 0 0 142136 42 0 0 20 0 4 0 108553518 1356402688 272910 33554432000 4194304 16246674 140733611912640 140733611894528 5822964 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6141/statm: 331153 272910 905 2943 0 328047 0
[pid=6141/tid=6142] ppid=6138 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6142/stat : 6142 (toysat) S 6138 6141 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108553519 1356402688 272910 33554432000 4194304 16246674 140733611912640 139704040140016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6141/tid=6143] ppid=6138 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6143/stat : 6143 (toysat) S 6138 6141 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108553519 1356402688 272910 33554432000 4194304 16246674 140733611912640 139704029650160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6141/tid=6144] ppid=6138 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6144/stat : 6144 (toysat) S 6138 6141 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108553519 1356402688 272910 33554432000 4194304 16246674 140733611912640 139703944735920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 1324612

[startup+1482.3 s]
/proc/loadavg: 2.25 2.20 2.18 3/183 6180
/proc/meminfo: memFree=27990188/32872528 swapFree=15644/1722384
[pid=6141] ppid=6138 vsize=1324612 CPUtime=1481.76 cores=1,3,5,7
/proc/6141/stat : 6141 (toysat) R 6138 6141 4315 0 -1 4202496 272780 0 0 0 148134 42 0 0 20 0 4 0 108553518 1356402688 272910 33554432000 4194304 16246674 140733611912640 140733611894528 13780664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6141/statm: 331153 272910 905 2943 0 328047 0
[pid=6141/tid=6142] ppid=6138 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6142/stat : 6142 (toysat) S 6138 6141 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108553519 1356402688 272910 33554432000 4194304 16246674 140733611912640 139704040140016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6141/tid=6143] ppid=6138 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6143/stat : 6143 (toysat) S 6138 6141 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108553519 1356402688 272910 33554432000 4194304 16246674 140733611912640 139704029650160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6141/tid=6144] ppid=6138 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6144/stat : 6144 (toysat) S 6138 6141 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108553519 1356402688 272910 33554432000 4194304 16246674 140733611912640 139703944735920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 1324612

[startup+1542.31 s]
/proc/loadavg: 2.23 2.20 2.18 3/183 6182
/proc/meminfo: memFree=27986868/32872528 swapFree=15644/1722384
[pid=6141] ppid=6138 vsize=1327684 CPUtime=1541.76 cores=1,3,5,7
/proc/6141/stat : 6141 (toysat) R 6138 6141 4315 0 -1 4202496 273548 0 0 0 154134 42 0 0 20 0 4 0 108553518 1359548416 273678 33554432000 4194304 16246674 140733611912640 140733611894528 5711496 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6141/statm: 331921 273678 905 2943 0 328815 0
[pid=6141/tid=6142] ppid=6138 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6142/stat : 6142 (toysat) S 6138 6141 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108553519 1359548416 273678 33554432000 4194304 16246674 140733611912640 139704040140016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6141/tid=6143] ppid=6138 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6143/stat : 6143 (toysat) S 6138 6141 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108553519 1359548416 273678 33554432000 4194304 16246674 140733611912640 139704029650160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6141/tid=6144] ppid=6138 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6144/stat : 6144 (toysat) S 6138 6141 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108553519 1359548416 273678 33554432000 4194304 16246674 140733611912640 139703944735920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 1327684

[startup+1602.3 s]
/proc/loadavg: 2.32 2.23 2.19 3/184 6186
/proc/meminfo: memFree=27986024/32872528 swapFree=15644/1722384
[pid=6141] ppid=6138 vsize=1327684 CPUtime=1601.75 cores=1,3,5,7
/proc/6141/stat : 6141 (toysat) R 6138 6141 4315 0 -1 4202496 273548 0 0 0 160132 43 0 0 20 0 4 0 108553518 1359548416 273678 33554432000 4194304 16246674 140733611912640 140733611894528 5711580 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6141/statm: 331921 273678 905 2943 0 328815 0
[pid=6141/tid=6142] ppid=6138 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6142/stat : 6142 (toysat) S 6138 6141 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108553519 1359548416 273678 33554432000 4194304 16246674 140733611912640 139704040140016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6141/tid=6143] ppid=6138 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6143/stat : 6143 (toysat) S 6138 6141 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108553519 1359548416 273678 33554432000 4194304 16246674 140733611912640 139704029650160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6141/tid=6144] ppid=6138 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6144/stat : 6144 (toysat) S 6138 6141 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108553519 1359548416 273678 33554432000 4194304 16246674 140733611912640 139703944735920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 1327684

[startup+1662.3 s]
/proc/loadavg: 2.20 2.21 2.18 4/183 6187
/proc/meminfo: memFree=27986312/32872528 swapFree=15644/1722384
[pid=6141] ppid=6138 vsize=1327684 CPUtime=1661.74 cores=1,3,5,7
/proc/6141/stat : 6141 (toysat) R 6138 6141 4315 0 -1 4202496 273548 0 0 0 166131 43 0 0 20 0 4 0 108553518 1359548416 273678 33554432000 4194304 16246674 140733611912640 140733611894528 12477791 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6141/statm: 331921 273678 905 2943 0 328815 0
[pid=6141/tid=6142] ppid=6138 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6142/stat : 6142 (toysat) S 6138 6141 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108553519 1359548416 273678 33554432000 4194304 16246674 140733611912640 139704040140016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6141/tid=6143] ppid=6138 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6143/stat : 6143 (toysat) S 6138 6141 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108553519 1359548416 273678 33554432000 4194304 16246674 140733611912640 139704029650160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6141/tid=6144] ppid=6138 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6144/stat : 6144 (toysat) S 6138 6141 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108553519 1359548416 273678 33554432000 4194304 16246674 140733611912640 139703944735920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 1327684

[startup+1722.3 s]
/proc/loadavg: 2.12 2.18 2.17 4/183 6188
/proc/meminfo: memFree=27986212/32872528 swapFree=15644/1722384
[pid=6141] ppid=6138 vsize=1327684 CPUtime=1721.73 cores=1,3,5,7
/proc/6141/stat : 6141 (toysat) R 6138 6141 4315 0 -1 4202496 273548 0 0 0 172130 43 0 0 20 0 4 0 108553518 1359548416 273678 33554432000 4194304 16246674 140733611912640 140733611894528 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6141/statm: 331921 273678 905 2943 0 328815 0
[pid=6141/tid=6142] ppid=6138 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6142/stat : 6142 (toysat) S 6138 6141 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108553519 1359548416 273678 33554432000 4194304 16246674 140733611912640 139704040140016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6141/tid=6143] ppid=6138 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6143/stat : 6143 (toysat) S 6138 6141 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108553519 1359548416 273678 33554432000 4194304 16246674 140733611912640 139704029650160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6141/tid=6144] ppid=6138 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6144/stat : 6144 (toysat) S 6138 6141 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108553519 1359548416 273678 33554432000 4194304 16246674 140733611912640 139703944735920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 1327684

[startup+1782.3 s]
/proc/loadavg: 2.15 2.18 2.17 3/183 6238
/proc/meminfo: memFree=28024672/32872528 swapFree=15644/1722384
[pid=6141] ppid=6138 vsize=1327684 CPUtime=1781.72 cores=1,3,5,7
/proc/6141/stat : 6141 (toysat) R 6138 6141 4315 0 -1 4202496 273548 0 0 0 178129 43 0 0 20 0 4 0 108553518 1359548416 273678 33554432000 4194304 16246674 140733611912640 140733611894528 12483326 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6141/statm: 331921 273678 905 2943 0 328815 0
[pid=6141/tid=6142] ppid=6138 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6142/stat : 6142 (toysat) S 6138 6141 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108553519 1359548416 273678 33554432000 4194304 16246674 140733611912640 139704040140016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6141/tid=6143] ppid=6138 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6143/stat : 6143 (toysat) S 6138 6141 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108553519 1359548416 273678 33554432000 4194304 16246674 140733611912640 139704029650160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6141/tid=6144] ppid=6138 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6144/stat : 6144 (toysat) S 6138 6141 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108553519 1359548416 273678 33554432000 4194304 16246674 140733611912640 139703944735920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 1327684



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.17 2.18 2.18 3/183 6239
/proc/meminfo: memFree=27795156/32872528 swapFree=15644/1722384
[pid=6141] ppid=6138 vsize=1327684 CPUtime=1800.01 cores=1,3,5,7
/proc/6141/stat : 6141 (toysat) R 6138 6141 4315 0 -1 4202496 273548 0 0 0 179958 43 0 0 20 0 4 0 108553518 1359548416 273678 33554432000 4194304 16246674 140733611912640 140733611894528 13927401 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6141/statm: 331921 273678 905 2943 0 328815 0
[pid=6141/tid=6142] ppid=6138 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6142/stat : 6142 (toysat) S 6138 6141 4315 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108553519 1359548416 273678 33554432000 4194304 16246674 140733611912640 139704040140016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6141/tid=6143] ppid=6138 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6143/stat : 6143 (toysat) S 6138 6141 4315 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108553519 1359548416 273678 33554432000 4194304 16246674 140733611912640 139704029650160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6141/tid=6144] ppid=6138 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/6141/task/6144/stat : 6144 (toysat) S 6138 6141 4315 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108553519 1359548416 273678 33554432000 4194304 16246674 140733611912640 139703944735920 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1327684

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.03
CPU user time (s): 1799.6
CPU system time (s): 0.436933
CPU usage (%): 99.9679
Max. virtual memory (cumulated for all children) (KiB): 1327684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.6
system time used= 0.436933
maximum resident set size= 1094712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273548
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= 440
involuntary context switches= 2385

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.23336 second user time and 7.28589 second system time

The end

Launcher Data 

Begin job on node120 at 2016-06-07 04:23:19
IDJOB=4079885
IDBENCH=71848
IDSOLVER=2542
FILE ID=node120/4079885-1465266199
RUNJOBID= node120-1465256721-4332
PBS_JOBID= 19843284
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/flexray/normalized-fx49.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079885-1465266199/watcher-4079885-1465266199 -o /tmp/evaluation-result-4079885-1465266199/solver-4079885-1465266199 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1465256721-4332 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079885-1465266199.opb

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

MD5SUM BENCH= e08af5097f76b1d4e2b0ba1d8a42ed5a
RANDOM SEED=376164113

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.425
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	: 5332.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.425
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.425
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:        29101452 kB
Buffers:           95512 kB
Cached:           124060 kB
SwapCached:         1476 kB
Active:          1191388 kB
Inactive:         105024 kB
Active(anon):    1075860 kB
Inactive(anon):     3252 kB
Active(file):     115528 kB
Inactive(file):   101772 kB
Unevictable:     1722384 kB
Mlocked:           15644 kB
SwapTotal:      67108856 kB
SwapFree:       67099668 kB
Dirty:             16452 kB
Writeback:             0 kB
AnonPages:       2797504 kB
Mapped:            11880 kB
Shmem:                 0 kB
Slab:             615332 kB
SReclaimable:      59156 kB
SUnreclaim:       556176 kB
KernelStack:        1520 kB
PageTables:         9516 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2943256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1712128 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= 71708 MiB
End job on node120 at 2016-06-07 04:53:20