Trace number 4116469

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.09 1800.61

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size144-round22-4.opb
MD5SUM684f6855c1ee33724b7a5e32b76a4f80
Bench CategoryDEC-SMALLINT-LIN (no 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 FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4128
Total number of constraints8720
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)432
Number of constraints which are nor clauses,nor cardinality constraints864
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
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-26T20:47:45+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-4116469-1466966864.opb"]
0.00/0.01	c use --random-gen="1869060023 2073296055 3868589623 940080736 1515387423 1156516971 2699266076 2250254763 2605481370 3845238564 230840377 303452518 3483695407 3089076373 1795967161 1099120858 1300641590 1612952708 4261423649 1395108850 1894729534 1495696831 3771904049 3216803265 1592788612 2963834625 1886869738 867242419 329540423 2446004341 2758011246 206741944 3112773028 1145060265 1192134280 1741272249 270589789 1872967898 2239075880 2882128062 4222928975 2041389535 2820266301 287888330 2587500043 3421491997 2234533551 3100140347 4021684498 4050148502 3752986280 521870280 3942013379 1521432081 2060098395 673331989 4244690021 761618915 398087252 489017172 2173979218 247348976 2665211342 905741186 3874833123 1760680810 3630014440 1606801910 611769864 3686833266 2952248802 3191244096 3500225308 3231320971 593358629 2592848906 641540330 4161960593 3158873620 687470103 4281958174 528732958 4107914941 3501948325 677589159 97271974 4245143114 1937838874 827428994 1092330260 3106872697 4145425784 1458347223 3842359440 4027999888 2218830587 333087100 1596808668 1280172019 189319325 2840695997 3550009206 1703550103 340790492 3053577669 2039239426 93387931 1421466096 3546655583 292484631 3002683086 3305107551 44507051 1683861300 1804715459 1113768412 2047532934 3631946963 2158733476 1923999025 3352660965 2007510269 3328471282 3727496152 1438218882 3146624766 2343882260 2842784070 610144778 3121308209 418336412 1256846379 614554565 3827614438 3692071317 2963178982 1156057452 4025328629 3184933776 527806280 1645281137 409029936 3425954250 1726753145 1890551093 31493726 128511730 1600836950 1756961674 2500409901 1522396867 2694321625 4022683414 1202360897 918753178 599084706 394458417 526879744 463775449 552287950 316919759 599304721 3700877480 2276073675 2410714271 1194781338 438463240 3101191062 1407633270 4006108534 473638892 3036455148 684722752 2750239859 4009833965 813910137 1639513465 4111705490 1430879683 3739942986 750934167 2205070374 364380030 4269040687 2627850687 2263652822 413442797 3352590837 3205938627 2252296055 2120585619 2176061820 4221636356 3291842915 3044991768 632475716 1852642762 1078786065 2465773363 1590838576 2557671202 3615551607 265057331 2563754806 537597997 1571336618 3041954866 3076912188 3409642571 3377169779 3771684254 882792074 228109254 1513307350 1361421061 3802590983 2786096909 1973511985 2231583355 2472322585 4223115775 2555810263 2329956394 197773283 558903531 1477242118 3217152238 1213090140 2716412169 1339943020 1981974208 3430761691 3631188146 4007932719 3740710417 555782576 2730535482 1636114351 907764898 2603188855 460046286 2782133077 1836885813 1295739094 813588699 2665068540 445143288 1130088789 4169792103 2541277209 685450925 4129930967 875347503 1977136221 3405468652 3227812115 255 362436" option to reproduce the execution
0.09/0.10	c #vars 4128
0.09/0.10	c #constraints 8720
0.19/0.25	c Solving starts ...
0.19/0.25	c ============================[ Search Statistics ]============================
0.19/0.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.25	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.25	c =============================================================================
0.19/0.25	c  0.0s |       0 |        0 |        0 |     4234      0 |      831 |        0
0.29/0.32	c  0.1s |       1 |      596 |      100 |     4234      0 |      832 |      790
0.39/0.40	c  0.1s |       2 |     1722 |      250 |     4658      0 |      832 |      790
0.49/0.56	c  0.3s |       3 |     3276 |      475 |     5124      0 |      832 |      790
0.79/0.82	c  0.6s |       4 |     7065 |      813 |     5637      0 |      833 |      790
1.20/1.26	c  1.0s |       5 |     9369 |     1320 |     6201      0 |      833 |      790
1.98/2.08	c  1.8s |       6 |    13215 |     2081 |     7505      0 |      833 |      790
2.78/2.85	c  2.6s |       7 |    18105 |     3223 |     8256      0 |      833 |      790
4.29/4.30	c  4.0s |       8 |    24101 |     4936 |     9082      0 |      833 |      790
6.39/6.44	c  6.2s |       8 |    27352 |     6436 |     9082      0 |      833 |      790
7.79/7.86	c  7.6s |       9 |    28747 |     7506 |     9991      0 |      833 |      790
9.79/9.86	c  9.6s |       9 |    32785 |     9506 |     9991      0 |      833 |      790
11.79/11.87	c 11.6s |       9 |    35101 |    11206 |     9991      0 |      833 |      790
11.99/12.07	c 11.8s |      10 |    35313 |    11361 |    10991      0 |      833 |      790
14.09/14.12	c 13.9s |      10 |    43764 |    13661 |    10991      0 |      833 |      790
16.19/16.21	c 16.0s |      10 |    46607 |    15561 |    10991      1 |      833 |      790
17.99/18.06	c 17.8s |      11 |    49061 |    17144 |    12091      1 |      833 |      790
19.99/20.09	c 19.8s |      11 |    58950 |    19344 |    12091      1 |      833 |      790
22.19/22.23	c 22.0s |      11 |    64699 |    21544 |    12091      1 |      833 |      790
24.29/24.38	c 24.1s |      11 |    67014 |    23044 |    12091      2 |      833 |      790
26.39/26.45	c 26.2s |      11 |    69044 |    24644 |    12091      2 |      833 |      790
28.28/28.33	c 28.1s |      12 |    70825 |    25819 |    13301      2 |      833 |      790
30.48/30.50	c 30.3s |      12 |    75391 |    27719 |    13301      2 |      833 |      790
32.48/32.58	c 32.3s |      12 |    78656 |    29219 |    13301      2 |      833 |      790
34.68/34.76	c 34.5s |      12 |    80309 |    30519 |    13301      2 |      833 |      790
36.78/36.86	c 36.6s |      12 |    81493 |    31519 |    13301      2 |      833 |      790
38.98/39.09	c 38.8s |      12 |    82630 |    32519 |    13301      3 |      833 |      790
41.18/41.21	c 41.0s |      12 |    83598 |    33419 |    13301      3 |      833 |      790
43.18/43.27	c 43.0s |      12 |    84608 |    34319 |    13301      3 |      833 |      790
45.28/45.31	c 45.1s |      12 |    85694 |    35219 |    13301      3 |      833 |      790
47.39/47.41	c 47.2s |      12 |    86725 |    36119 |    13301      3 |      833 |      790
49.38/49.49	c 49.2s |      12 |    87804 |    37019 |    13301      3 |      833 |      790
51.58/51.61	c 51.4s |      12 |    88700 |    37819 |    13301      3 |      833 |      790
53.58/53.67	c 53.4s |      12 |    89476 |    38519 |    13301      3 |      833 |      790
54.58/54.61	c 54.4s |      13 |    89834 |    38832 |    14632      3 |      833 |      790
56.58/56.69	c 56.4s |      13 |   103662 |    41532 |    14632      4 |      833 |      790
58.68/58.79	c 58.5s |      13 |   106221 |    43232 |    14632      4 |      833 |      790
60.78/60.82	c 60.6s |      13 |   112433 |    45032 |    14632      4 |      833 |      790
62.79/62.84	c 62.6s |      13 |   114211 |    46332 |    14632      4 |      833 |      790
64.89/65.00	c 64.7s |      13 |   115546 |    47432 |    14632      4 |      833 |      790
67.08/67.11	c 66.9s |      13 |   116806 |    48432 |    14632      4 |      833 |      790
69.18/69.21	c 69.0s |      13 |   117894 |    49332 |    14632      5 |      833 |      790
71.38/71.44	c 71.2s |      13 |   118907 |    50232 |    14632      5 |      833 |      790
73.48/73.51	c 73.3s |      13 |   119798 |    51032 |    14632      5 |      833 |      790
75.48/75.57	c 75.3s |      13 |   120729 |    51832 |    14632      5 |      833 |      790
77.58/77.68	c 77.4s |      13 |   121900 |    52732 |    14632      5 |      833 |      790
79.78/79.80	c 79.5s |      13 |   123251 |    53732 |    14632      5 |      833 |      790
81.87/81.90	c 81.6s |      13 |   125539 |    55232 |    14632      5 |      833 |      790
83.97/84.06	c 83.8s |      13 |   126916 |    56432 |    14632      5 |      833 |      790
86.07/86.16	c 85.9s |      13 |   129560 |    57632 |    14632      6 |      833 |      790
86.98/87.02	c 86.8s |      14 |   130777 |    58352 |    16096      6 |      833 |      790
89.08/89.11	c 88.9s |      14 |   136309 |    60452 |    16096      6 |      833 |      790
91.07/91.12	c 90.9s |      14 |   138195 |    61752 |    16096      6 |      833 |      790
93.07/93.15	c 92.9s |      14 |   139860 |    62852 |    16096      6 |      833 |      790
95.17/95.29	c 95.0s |      14 |   142689 |    64352 |    16096      6 |      833 |      790
97.27/97.38	c 97.1s |      14 |   143803 |    65252 |    16096      6 |      833 |      790
99.47/99.55	c 99.3s |      14 |   146816 |    66552 |    16096      6 |      833 |      790
101.47/101.55	c  101s |      14 |   150612 |    67952 |    16096      7 |      833 |      790
103.67/103.75	c  103s |      14 |   151905 |    69052 |    16096      7 |      833 |      790
105.77/105.82	c  105s |      14 |   152892 |    69952 |    16096      7 |      833 |      790
107.88/107.95	c  107s |      14 |   154702 |    71152 |    16096      7 |      833 |      790
110.08/110.12	c  109s |      14 |   156200 |    72252 |    16096      7 |      833 |      790
112.18/112.29	c  112s |      14 |   157448 |    73252 |    16096      7 |      833 |      790
114.27/114.35	c  114s |      14 |   158424 |    74052 |    16096      7 |      833 |      790
116.37/116.49	c  116s |      14 |   159269 |    74752 |    16096      7 |      833 |      790
118.57/118.65	c  118s |      14 |   160115 |    75452 |    16096      7 |      833 |      790
120.57/120.66	c  120s |      14 |   160776 |    76052 |    16096      7 |      833 |      790
122.87/122.92	c  122s |      14 |   161442 |    76652 |    16096      7 |      833 |      790
125.07/125.15	c  124s |      14 |   162253 |    77352 |    16096      7 |      833 |      790
127.17/127.22	c  126s |      14 |   162924 |    77952 |    16096      8 |      833 |      790
129.17/129.25	c  128s |      14 |   163706 |    78652 |    16096      8 |      833 |      790
131.27/131.38	c  131s |      14 |   164653 |    79452 |    16096      8 |      833 |      790
133.47/133.52	c  133s |      14 |   165768 |    80352 |    16096      8 |      833 |      790
135.57/135.68	c  135s |      14 |   166847 |    81252 |    16096      8 |      833 |      790
137.77/137.85	c  137s |      14 |   167817 |    82052 |    16096      8 |      833 |      790
139.77/139.88	c  139s |      14 |   168792 |    82852 |    16096      8 |      833 |      790
141.76/141.89	c  141s |      14 |   174154 |    84752 |    16096      8 |      833 |      790
143.87/143.99	c  143s |      14 |   177023 |    86552 |    16096      8 |      833 |      790
145.47/145.50	c  145s |      15 |   178647 |    87632 |    17706      8 |      833 |      790
147.48/147.52	c  147s |      15 |   183616 |    88832 |    17706      9 |      833 |      790
149.58/149.66	c  149s |      15 |   185665 |    90232 |    17706      9 |      833 |      790
151.67/151.75	c  151s |      15 |   187278 |    91532 |    17706      9 |      833 |      790
153.77/153.89	c  153s |      15 |   188548 |    92632 |    17706      9 |      833 |      790
155.87/155.95	c  155s |      15 |   189694 |    93632 |    17706      9 |      833 |      790
157.97/158.06	c  157s |      15 |   190733 |    94532 |    17706      9 |      833 |      790
160.07/160.11	c  159s |      15 |   191843 |    95532 |    17706      9 |      833 |      790
162.17/162.30	c  162s |      15 |   192887 |    96432 |    17706      9 |      833 |      790
164.27/164.39	c  164s |      15 |   194113 |    97432 |    17706      9 |      833 |      790
166.47/166.50	c  166s |      15 |   195113 |    98332 |    17706      9 |      833 |      790
168.47/168.54	c  168s |      15 |   198641 |    99432 |    17706     10 |      833 |      790
170.47/170.56	c  170s |      15 |   200261 |   100832 |    17706     10 |      833 |      790
172.57/172.69	c  172s |      15 |   201663 |   102032 |    17706     10 |      833 |      790
174.67/174.72	c  174s |      15 |   202892 |   103132 |    17706     10 |      833 |      790
176.77/176.87	c  176s |      15 |   203993 |   104132 |    17706     10 |      833 |      790
178.86/178.97	c  178s |      15 |   204950 |   105032 |    17706     10 |      833 |      790
181.06/181.14	c  180s |      15 |   206078 |   106032 |    17706     10 |      833 |      790
183.16/183.27	c  183s |      15 |   207136 |   107032 |    17706     10 |      833 |      790
185.26/185.32	c  185s |      15 |   208099 |   107932 |    17706     10 |      833 |      790
187.36/187.44	c  187s |      15 |   209092 |   108832 |    17706     10 |      833 |      790
189.36/189.45	c  189s |      15 |   209876 |   109532 |    17706     11 |      833 |      790
191.47/191.51	c  191s |      15 |   210734 |   110332 |    17706     11 |      833 |      790
193.57/193.61	c  193s |      15 |   211602 |   111132 |    17706     11 |      833 |      790
195.66/195.74	c  195s |      15 |   212455 |   111932 |    17706     11 |      833 |      790
197.76/197.89	c  197s |      15 |   213185 |   112632 |    17706     11 |      833 |      790
199.86/199.93	c  199s |      15 |   213917 |   113332 |    17706     11 |      833 |      790
202.06/202.13	c  201s |      15 |   214781 |   114132 |    17706     11 |      833 |      790
204.26/204.33	c  204s |      15 |   215519 |   114832 |    17706     11 |      833 |      790
206.46/206.52	c  206s |      15 |   216385 |   115632 |    17706     11 |      833 |      790
208.56/208.64	c  208s |      15 |   217124 |   116332 |    17706     11 |      833 |      790
210.66/210.74	c  210s |      15 |   217885 |   117032 |    17706     11 |      833 |      790
212.76/212.83	c  212s |      15 |   218637 |   117732 |    17706     11 |      833 |      790
214.96/215.07	c  214s |      15 |   219371 |   118432 |    17706     11 |      833 |      790
217.26/217.33	c  217s |      15 |   220101 |   119132 |    17706     11 |      833 |      790
219.56/219.63	c  219s |      15 |   220732 |   119732 |    17706     12 |      833 |      790
221.66/221.78	c  221s |      15 |   221593 |   120532 |    17706     12 |      833 |      790
223.66/223.78	c  223s |      15 |   222446 |   121332 |    17706     12 |      833 |      790
225.86/225.91	c  225s |      15 |   223290 |   122132 |    17706     12 |      833 |      790
227.96/228.05	c  227s |      15 |   224140 |   122932 |    17706     12 |      833 |      790
229.96/230.09	c  229s |      15 |   224879 |   123632 |    17706     12 |      833 |      790
232.16/232.25	c  231s |      15 |   225620 |   124332 |    17706     12 |      833 |      790
234.36/234.44	c  234s |      15 |   226445 |   125032 |    17706     12 |      833 |      790
236.46/236.59	c  236s |      15 |   227582 |   125932 |    17706     12 |      833 |      790
238.66/238.74	c  238s |      15 |   228789 |   126832 |    17706     12 |      833 |      790
240.75/240.87	c  240s |      15 |   229718 |   127632 |    17706     12 |      833 |      790
242.95/243.02	c  242s |      15 |   230811 |   128432 |    17706     12 |      833 |      790
245.05/245.10	c  244s |      15 |   232026 |   129332 |    17706     12 |      833 |      790
247.15/247.23	c  246s |      15 |   232885 |   130032 |    17706     13 |      833 |      790
249.35/249.44	c  249s |      15 |   233905 |   130932 |    19477     13 |      833 |      790
251.05/251.10	c  250s |      16 |   234596 |   131552 |    19477     13 |      833 |      790
253.06/253.19	c  252s |      16 |   242219 |   134152 |    19477     13 |      833 |      790
255.16/255.23	c  254s |      16 |   244387 |   135752 |    19477     13 |      833 |      790
257.25/257.34	c  257s |      16 |   247068 |   137452 |    19477     13 |      833 |      790
259.35/259.44	c  259s |      16 |   248631 |   138652 |    19477     13 |      833 |      790
261.45/261.52	c  261s |      16 |   250185 |   139852 |    19477     13 |      833 |      790
263.55/263.69	c  263s |      16 |   251543 |   140952 |    19477     13 |      833 |      790
265.65/265.79	c  265s |      16 |   252767 |   141952 |    19477     13 |      833 |      790
267.75/267.85	c  267s |      16 |   254012 |   142852 |    19477     14 |      833 |      790
269.75/269.88	c  269s |      16 |   255414 |   143952 |    19477     14 |      833 |      790
271.95/272.05	c  271s |      16 |   256559 |   144852 |    19477     14 |      833 |      790
274.05/274.19	c  273s |      16 |   257543 |   145652 |    19477     14 |      833 |      790
276.35/276.46	c  276s |      16 |   258653 |   146552 |    19477     14 |      833 |      790
278.65/278.75	c  278s |      16 |   259774 |   147452 |    19477     14 |      833 |      790
280.65/280.79	c  280s |      16 |   260589 |   148152 |    19477     14 |      833 |      790
283.05/283.14	c  282s |      16 |   261543 |   148952 |    19477     14 |      833 |      790
285.05/285.17	c  284s |      16 |   262329 |   149652 |    19477     14 |      833 |      790
287.15/287.28	c  287s |      16 |   263129 |   150352 |    19477     14 |      833 |      790
289.35/289.41	c  289s |      16 |   263983 |   151052 |    19477     14 |      833 |      790
291.55/291.62	c  291s |      16 |   264808 |   151752 |    19477     14 |      833 |      790
293.54/293.62	c  293s |      16 |   265637 |   152452 |    19477     14 |      833 |      790
295.74/295.87	c  295s |      16 |   266430 |   153152 |    19477     14 |      833 |      790
297.94/298.04	c  297s |      16 |   267093 |   153752 |    19477     15 |      833 |      790
300.14/300.20	c  299s |      16 |   267986 |   154552 |    19477     15 |      833 |      790
302.14/302.23	c  301s |      16 |   268781 |   155252 |    19477     15 |      833 |      790
304.34/304.47	c  304s |      16 |   269739 |   156052 |    19477     15 |      833 |      790
306.44/306.53	c  306s |      16 |   270518 |   156752 |    19477     15 |      833 |      790
308.54/308.68	c  308s |      16 |   271336 |   157452 |    19477     15 |      833 |      790
310.64/310.70	c  310s |      16 |   272000 |   158052 |    19477     15 |      833 |      790
312.84/312.97	c  312s |      16 |   272783 |   158752 |    19477     15 |      833 |      790
315.14/315.29	c  315s |      16 |   273473 |   159352 |    19477     15 |      833 |      790
317.14/317.29	c  317s |      16 |   274011 |   159852 |    19477     15 |      833 |      790
319.44/319.55	c  319s |      16 |   274729 |   160452 |    19477     15 |      833 |      790
321.54/321.66	c  321s |      16 |   275571 |   161152 |    19477     15 |      833 |      790
323.74/323.85	c  323s |      16 |   276371 |   161852 |    19477     15 |      833 |      790
325.84/325.98	c  325s |      16 |   277209 |   162552 |    19477     15 |      833 |      790
328.14/328.21	c  327s |      16 |   278013 |   163252 |    19477     15 |      833 |      790
330.34/330.41	c  330s |      16 |   278700 |   163852 |    19477     15 |      833 |      790
332.44/332.56	c  332s |      16 |   279424 |   164452 |    19477     15 |      833 |      790
334.94/335.07	c  334s |      16 |   279993 |   164952 |    19477     16 |      833 |      790
337.23/337.36	c  337s |      16 |   280850 |   165652 |    19477     16 |      833 |      790
339.33/339.44	c  339s |      16 |   281646 |   166352 |    19477     16 |      833 |      790
341.63/341.71	c  341s |      16 |   282424 |   167052 |    19477     16 |      833 |      790
343.63/343.78	c  343s |      16 |   283103 |   167652 |    19477     16 |      833 |      790
345.73/345.89	c  345s |      16 |   283791 |   168252 |    19477     16 |      833 |      790
348.03/348.18	c  347s |      16 |   284582 |   168952 |    19477     16 |      833 |      790
350.23/350.31	c  350s |      16 |   285290 |   169552 |    19477     16 |      833 |      790
352.43/352.50	c  352s |      16 |   286080 |   170252 |    19477     16 |      833 |      790
354.63/354.74	c  354s |      16 |   286794 |   170852 |    19477     16 |      833 |      790
356.83/356.93	c  356s |      16 |   287550 |   171452 |    19477     16 |      833 |      790
359.04/359.14	c  358s |      16 |   288467 |   172152 |    19477     16 |      833 |      790
361.24/361.33	c  361s |      16 |   289309 |   172852 |    19477     16 |      833 |      790
363.34/363.44	c  363s |      16 |   290180 |   173552 |    19477     16 |      833 |      790
365.44/365.56	c  365s |      16 |   290893 |   174152 |    19477     16 |      833 |      790
367.54/367.64	c  367s |      16 |   291584 |   174752 |    19477     16 |      833 |      790
369.74/369.88	c  369s |      16 |   292269 |   175352 |    19477     16 |      833 |      790
372.04/372.18	c  371s |      16 |   292956 |   175952 |    19477     16 |      833 |      790
374.34/374.40	c  374s |      16 |   293553 |   176452 |    19477     17 |      833 |      790
376.44/376.51	c  376s |      16 |   294495 |   177252 |    19477     17 |      833 |      790
378.44/378.56	c  378s |      16 |   295335 |   177952 |    19477     17 |      833 |      790
380.44/380.60	c  380s |      16 |   296105 |   178652 |    19477     17 |      833 |      790
382.64/382.70	c  382s |      16 |   296918 |   179352 |    19477     17 |      833 |      790
384.84/384.91	c  384s |      16 |   297719 |   180052 |    19477     17 |      833 |      790
387.14/387.22	c  386s |      16 |   298520 |   180752 |    19477     17 |      833 |      790
389.23/389.34	c  389s |      16 |   299179 |   181352 |    19477     17 |      833 |      790
391.54/391.68	c  391s |      16 |   299829 |   181952 |    19477     17 |      833 |      790
393.63/393.78	c  393s |      16 |   300498 |   182552 |    19477     17 |      833 |      790
395.83/395.94	c  395s |      16 |   301331 |   183252 |    19477     17 |      833 |      790
398.03/398.18	c  397s |      16 |   302128 |   183952 |    19477     17 |      833 |      790
400.23/400.35	c  400s |      16 |   302872 |   184552 |    19477     17 |      833 |      790
402.54/402.63	c  402s |      16 |   303543 |   185152 |    19477     17 |      833 |      790
404.53/404.68	c  404s |      16 |   304240 |   185752 |    19477     17 |      833 |      790
406.73/406.88	c  406s |      16 |   305067 |   186452 |    19477     17 |      833 |      790
408.73/408.88	c  408s |      16 |   305753 |   187052 |    19477     17 |      833 |      790
410.83/410.97	c  410s |      16 |   306414 |   187652 |    19477     17 |      833 |      790
412.93/413.06	c  412s |      16 |   306977 |   188152 |    19477     18 |      833 |      790
415.03/415.18	c  414s |      16 |   307992 |   188952 |    19477     18 |      833 |      790
417.13/417.28	c  417s |      16 |   308800 |   189652 |    19477     18 |      833 |      790
419.43/419.50	c  419s |      16 |   309611 |   190352 |    19477     18 |      833 |      790
421.63/421.74	c  421s |      16 |   310406 |   191052 |    19477     18 |      833 |      790
423.73/423.89	c  423s |      16 |   311218 |   191752 |    19477     18 |      833 |      790
425.93/426.03	c  425s |      16 |   313434 |   192852 |    19477     18 |      833 |      790
428.02/428.17	c  427s |      16 |   315679 |   194052 |    19477     18 |      833 |      790
430.13/430.21	c  429s |      16 |   317247 |   195152 |    19477     18 |      833 |      790
432.23/432.31	c  432s |      16 |   318537 |   196052 |    19477     18 |      833 |      790
434.32/434.50	c  434s |      16 |   319734 |   196952 |    21425     18 |      833 |      790
435.53/435.70	c  435s |      17 |   320370 |   197432 |    21425     18 |      833 |      790
437.62/437.73	c  437s |      17 |   324094 |   199132 |    21425     18 |      833 |      790
440.03/440.18	c  439s |      17 |   326535 |   201032 |    21425     19 |      833 |      790
442.13/442.23	c  441s |      17 |   328560 |   202732 |    21425     19 |      833 |      790
444.12/444.27	c  444s |      17 |   330587 |   204332 |    21425     19 |      833 |      790
446.22/446.34	c  446s |      17 |   332701 |   205932 |    21425     19 |      833 |      790
448.32/448.44	c  448s |      17 |   334352 |   207332 |    21425     19 |      833 |      790
450.52/450.61	c  450s |      17 |   335731 |   208532 |    21425     19 |      833 |      790
452.52/452.65	c  452s |      17 |   336993 |   209632 |    21425     19 |      833 |      790
454.62/454.73	c  454s |      17 |   338323 |   210732 |    21425     19 |      833 |      790
456.72/456.81	c  456s |      17 |   339690 |   211832 |    21425     19 |      833 |      790
458.92/459.02	c  458s |      17 |   341112 |   212932 |    21425     19 |      833 |      790
461.12/461.23	c  460s |      17 |   342149 |   213832 |    21425     20 |      833 |      790
463.13/463.23	c  462s |      17 |   343356 |   214832 |    21425     20 |      833 |      790
465.33/465.47	c  465s |      17 |   344429 |   215732 |    21425     20 |      833 |      790
467.42/467.55	c  467s |      17 |   345263 |   216432 |    21425     20 |      833 |      790
469.52/469.66	c  469s |      17 |   346056 |   217132 |    21425     20 |      833 |      790
471.62/471.75	c  471s |      17 |   346854 |   217832 |    21425     20 |      833 |      790
473.72/473.84	c  473s |      17 |   347551 |   218432 |    21425     20 |      833 |      790
475.82/476.00	c  475s |      17 |   348234 |   219032 |    21425     20 |      833 |      790
477.92/478.06	c  477s |      17 |   348925 |   219632 |    21425     20 |      833 |      790
480.12/480.24	c  479s |      17 |   349738 |   220332 |    21425     20 |      833 |      790
482.21/482.34	c  482s |      17 |   350415 |   220932 |    21425     20 |      833 |      790
484.51/484.65	c  484s |      17 |   351227 |   221632 |    21425     20 |      833 |      790
486.51/486.65	c  486s |      17 |   351926 |   222232 |    21425     20 |      833 |      790
488.71/488.81	c  488s |      17 |   352602 |   222832 |    21425     20 |      833 |      790
490.91/491.07	c  490s |      17 |   353280 |   223432 |    21425     20 |      833 |      790
493.11/493.26	c  493s |      17 |   353951 |   224032 |    21425     20 |      833 |      790
495.41/495.58	c  495s |      17 |   354637 |   224632 |    21425     20 |      833 |      790
497.81/497.95	c  497s |      17 |   355335 |   225232 |    21425     20 |      833 |      790
499.81/499.99	c  499s |      17 |   355781 |   225632 |    21425     21 |      833 |      790
501.91/502.06	c  501s |      17 |   356457 |   226232 |    21425     21 |      833 |      790
504.11/504.24	c  503s |      17 |   357144 |   226832 |    21425     21 |      833 |      790
506.21/506.33	c  506s |      17 |   357826 |   227432 |    21425     21 |      833 |      790
508.31/508.48	c  508s |      17 |   359106 |   228432 |    21425     21 |      833 |      790
510.51/510.60	c  510s |      17 |   360480 |   229532 |    21425     21 |      833 |      790
512.62/512.78	c  512s |      17 |   361885 |   230632 |    21425     21 |      833 |      790
514.82/514.96	c  514s |      17 |   363791 |   231932 |    21425     21 |      833 |      790
516.92/517.09	c  516s |      17 |   365476 |   233532 |    21425     21 |      833 |      790
519.12/519.25	c  518s |      17 |   367107 |   235032 |    21425     21 |      833 |      790
521.21/521.32	c  521s |      17 |   368556 |   236232 |    21425     21 |      833 |      790
523.21/523.38	c  523s |      17 |   370584 |   237432 |    21425     21 |      833 |      790
525.41/525.55	c  525s |      17 |   371697 |   238332 |    21425     22 |      833 |      790
527.51/527.63	c  527s |      17 |   372939 |   239332 |    21425     22 |      833 |      790
529.61/529.75	c  529s |      17 |   374157 |   240332 |    21425     22 |      833 |      790
531.81/531.92	c  531s |      17 |   375164 |   241232 |    21425     22 |      833 |      790
533.80/533.93	c  533s |      17 |   375977 |   241932 |    21425     22 |      833 |      790
535.90/536.00	c  535s |      17 |   376822 |   242632 |    21425     22 |      833 |      790
538.10/538.22	c  537s |      17 |   377823 |   243432 |    21425     22 |      833 |      790
540.11/540.25	c  540s |      17 |   378629 |   244132 |    21425     22 |      833 |      790
542.21/542.35	c  542s |      17 |   379466 |   244832 |    21425     22 |      833 |      790
544.41/544.51	c  544s |      17 |   380895 |   245832 |    21425     22 |      833 |      790
546.41/546.54	c  546s |      17 |   382643 |   247032 |    21425     22 |      833 |      790
548.61/548.74	c  548s |      17 |   383897 |   248032 |    21425     22 |      833 |      790
550.71/550.82	c  550s |      17 |   385060 |   248932 |    21425     22 |      833 |      790
553.01/553.10	c  552s |      17 |   386212 |   249832 |    21425     22 |      833 |      790
555.21/555.30	c  555s |      17 |   387169 |   250632 |    21425     23 |      833 |      790
557.31/557.45	c  557s |      17 |   388241 |   251532 |    21425     23 |      833 |      790
559.61/559.72	c  559s |      17 |   389454 |   252532 |    21425     23 |      833 |      790
561.61/561.80	c  561s |      17 |   390394 |   253332 |    21425     23 |      833 |      790
563.91/564.05	c  563s |      17 |   391457 |   254232 |    21425     23 |      833 |      790
566.11/566.26	c  566s |      17 |   392547 |   255132 |    21425     23 |      833 |      790
568.21/568.34	c  568s |      17 |   393652 |   256032 |    21425     23 |      833 |      790
570.41/570.54	c  570s |      17 |   394623 |   256832 |    21425     23 |      833 |      790
572.51/572.66	c  572s |      17 |   395463 |   257532 |    21425     23 |      833 |      790
574.61/574.79	c  574s |      17 |   396319 |   258232 |    21425     23 |      833 |      790
576.71/576.88	c  576s |      17 |   397198 |   258932 |    21425     23 |      833 |      790
578.81/578.90	c  578s |      17 |   398037 |   259632 |    21425     23 |      833 |      790
581.10/581.23	c  580s |      17 |   399048 |   260432 |    21425     23 |      833 |      790
583.10/583.28	c  583s |      17 |   399780 |   261032 |    21425     23 |      833 |      790
585.30/585.40	c  585s |      17 |   400477 |   261632 |    21425     23 |      833 |      790
587.31/587.42	c  587s |      17 |   401223 |   262232 |    21425     23 |      833 |      790
589.30/589.48	c  589s |      17 |   401946 |   262832 |    21425     24 |      833 |      790
591.40/591.57	c  591s |      17 |   402943 |   263632 |    21425     24 |      833 |      790
593.50/593.67	c  593s |      17 |   404048 |   264532 |    21425     24 |      833 |      790
595.80/595.98	c  595s |      17 |   404999 |   265332 |    21425     24 |      833 |      790
598.00/598.11	c  597s |      17 |   405971 |   266132 |    21425     24 |      833 |      790
600.00/600.13	c  599s |      17 |   406859 |   266832 |    21425     24 |      833 |      790
602.10/602.24	c  601s |      17 |   407703 |   267532 |    21425     24 |      833 |      790
604.40/604.57	c  604s |      17 |   408652 |   268332 |    21425     24 |      833 |      790
606.50/606.66	c  606s |      17 |   409349 |   268932 |    21425     24 |      833 |      790
608.80/608.93	c  608s |      17 |   410358 |   269732 |    21425     24 |      833 |      790
611.00/611.16	c  610s |      17 |   411197 |   270432 |    21425     24 |      833 |      790
613.00/613.18	c  612s |      17 |   412065 |   271132 |    21425     24 |      833 |      790
615.10/615.27	c  615s |      17 |   412740 |   271732 |    21425     24 |      833 |      790
617.11/617.28	c  617s |      17 |   413476 |   272332 |    21425     24 |      833 |      790
619.21/619.38	c  619s |      17 |   414352 |   273032 |    21425     24 |      833 |      790
621.51/621.64	c  621s |      17 |   415226 |   273732 |    21425     24 |      833 |      790
623.71/623.86	c  623s |      17 |   415914 |   274332 |    21425     24 |      833 |      790
625.90/626.06	c  625s |      17 |   416493 |   274832 |    21425     25 |      833 |      790
628.10/628.27	c  628s |      17 |   417399 |   275632 |    21425     25 |      833 |      790
630.10/630.27	c  630s |      17 |   418260 |   276332 |    21425     25 |      833 |      790
632.20/632.32	c  632s |      17 |   419038 |   277032 |    21425     25 |      833 |      790
634.20/634.33	c  634s |      17 |   419842 |   277732 |    21425     25 |      833 |      790
636.50/636.66	c  636s |      17 |   420677 |   278432 |    21425     25 |      833 |      790
638.59/638.75	c  638s |      17 |   421534 |   279132 |    21425     25 |      833 |      790
640.69/640.81	c  640s |      17 |   422190 |   279732 |    21425     25 |      833 |      790
642.69/642.87	c  642s |      17 |   422892 |   280332 |    21425     25 |      833 |      790
644.79/644.94	c  644s |      17 |   423627 |   280932 |    21425     25 |      833 |      790
647.09/647.21	c  646s |      17 |   424285 |   281532 |    21425     25 |      833 |      790
649.09/649.22	c  648s |      17 |   424825 |   282032 |    21425     25 |      833 |      790
651.29/651.41	c  651s |      17 |   425773 |   282832 |    21425     25 |      833 |      790
653.49/653.62	c  653s |      17 |   426712 |   283632 |    21425     25 |      833 |      790
655.50/655.69	c  655s |      17 |   427544 |   284332 |    21425     25 |      833 |      790
657.59/657.70	c  657s |      17 |   428256 |   284932 |    21425     25 |      833 |      790
659.69/659.85	c  659s |      17 |   429101 |   285632 |    21425     25 |      833 |      790
661.79/661.94	c  661s |      17 |   430043 |   286432 |    21425     25 |      833 |      790
663.99/664.10	c  663s |      17 |   430756 |   287032 |    21425     26 |      833 |      790
665.99/666.11	c  665s |      17 |   431745 |   287832 |    21425     26 |      833 |      790
668.09/668.22	c  667s |      17 |   432903 |   288732 |    21425     26 |      833 |      790
670.19/670.30	c  670s |      17 |   434068 |   289632 |    21425     26 |      833 |      790
672.28/672.42	c  672s |      17 |   435140 |   290532 |    21425     26 |      833 |      790
674.38/674.53	c  674s |      17 |   436102 |   291332 |    21425     26 |      833 |      790
676.58/676.76	c  676s |      17 |   437087 |   292132 |    21425     26 |      833 |      790
678.69/678.88	c  678s |      17 |   437902 |   292832 |    21425     26 |      833 |      790
680.89/681.06	c  680s |      17 |   438875 |   293632 |    21425     26 |      833 |      790
683.09/683.25	c  682s |      17 |   439738 |   294332 |    23568     26 |      833 |      790
685.19/685.33	c  685s |      17 |   440587 |   295032 |    23568     26 |      833 |      790
687.28/687.45	c  687s |      17 |   441470 |   295732 |    23568     26 |      833 |      790
689.08/689.23	c  688s |      18 |   442075 |   296252 |    23568     26 |      833 |      790
691.07/691.26	c  691s |      18 |   448449 |   297952 |    23568     26 |      833 |      790
693.07/693.29	c  693s |      18 |   450746 |   299652 |    23568     26 |      833 |      790
695.27/695.42	c  695s |      18 |   453004 |   301352 |    23568     26 |      833 |      790
697.28/697.45	c  697s |      18 |   454212 |   302352 |    23568     27 |      833 |      790
699.27/699.48	c  699s |      18 |   455917 |   303652 |    23568     27 |      833 |      790
701.37/701.52	c  701s |      18 |   457292 |   304752 |    23568     27 |      833 |      790
703.47/703.64	c  703s |      18 |   458729 |   305952 |    23568     27 |      833 |      790
705.57/705.77	c  705s |      18 |   459997 |   307052 |    23568     27 |      833 |      790
707.77/707.90	c  707s |      18 |   461143 |   308052 |    23568     27 |      833 |      790
709.77/709.98	c  709s |      18 |   462197 |   308952 |    23568     27 |      833 |      790
711.97/712.16	c  711s |      18 |   463122 |   309752 |    23568     27 |      833 |      790
714.07/714.25	c  713s |      18 |   464074 |   310552 |    23568     27 |      833 |      790
716.07/716.26	c  716s |      18 |   464908 |   311252 |    23568     27 |      833 |      790
718.17/718.30	c  718s |      18 |   465841 |   312052 |    23568     27 |      833 |      790
720.16/720.33	c  720s |      18 |   466678 |   312752 |    23568     27 |      833 |      790
722.26/722.48	c  722s |      18 |   467489 |   313452 |    23568     27 |      833 |      790
724.47/724.66	c  724s |      18 |   468446 |   314252 |    23568     27 |      833 |      790
726.98/727.13	c  726s |      18 |   469414 |   315052 |    23568     28 |      833 |      790
729.07/729.25	c  729s |      18 |   470516 |   315952 |    23568     28 |      833 |      790
731.26/731.42	c  731s |      18 |   471555 |   316852 |    23568     28 |      833 |      790
733.26/733.46	c  733s |      18 |   472478 |   317652 |    23568     28 |      833 |      790
735.36/735.57	c  735s |      18 |   473256 |   318352 |    23568     28 |      833 |      790
737.46/737.60	c  737s |      18 |   474858 |   319352 |    23568     28 |      833 |      790
739.56/739.70	c  739s |      18 |   476060 |   320252 |    23568     28 |      833 |      790
741.66/741.86	c  741s |      18 |   477574 |   321252 |    23568     28 |      833 |      790
743.76/743.93	c  743s |      18 |   479097 |   322352 |    23568     28 |      833 |      790
745.86/746.04	c  745s |      18 |   480477 |   323352 |    23568     28 |      833 |      790
747.97/748.18	c  747s |      18 |   481727 |   324252 |    23568     28 |      833 |      790
750.07/750.21	c  749s |      18 |   482868 |   325052 |    23568     28 |      833 |      790
752.05/752.27	c  752s |      18 |   484190 |   325952 |    23568     28 |      833 |      790
754.15/754.35	c  754s |      18 |   485182 |   326752 |    23568     28 |      833 |      790
756.35/756.54	c  756s |      18 |   486144 |   327552 |    23568     28 |      833 |      790
758.45/758.68	c  758s |      18 |   486961 |   328252 |    23568     28 |      833 |      790
760.65/760.84	c  760s |      18 |   487679 |   328852 |    23568     29 |      833 |      790
762.75/762.90	c  762s |      18 |   488771 |   329752 |    23568     29 |      833 |      790
764.85/765.01	c  764s |      18 |   489933 |   330652 |    23568     29 |      833 |      790
766.85/767.08	c  766s |      18 |   490921 |   331452 |    23568     29 |      833 |      790
769.15/769.31	c  769s |      18 |   491853 |   332252 |    23568     29 |      833 |      790
771.35/771.54	c  771s |      18 |   492958 |   333152 |    23568     29 |      833 |      790
773.45/773.65	c  773s |      18 |   493887 |   333952 |    23568     29 |      833 |      790
775.45/775.67	c  775s |      18 |   494780 |   334652 |    23568     29 |      833 |      790
777.75/777.90	c  777s |      18 |   495597 |   335352 |    23568     29 |      833 |      790
779.75/779.96	c  779s |      18 |   496423 |   336052 |    23568     29 |      833 |      790
781.95/782.17	c  781s |      18 |   497282 |   336752 |    23568     29 |      833 |      790
784.04/784.25	c  783s |      18 |   498135 |   337452 |    23568     29 |      833 |      790
786.14/786.36	c  786s |      18 |   498818 |   338052 |    23568     29 |      833 |      790
788.24/788.49	c  788s |      18 |   499526 |   338652 |    23568     29 |      833 |      790
790.44/790.67	c  790s |      18 |   500396 |   339352 |    23568     29 |      833 |      790
792.54/792.74	c  792s |      18 |   501090 |   339952 |    23568     29 |      833 |      790
794.64/794.90	c  794s |      18 |   501822 |   340552 |    23568     29 |      833 |      790
796.74/796.96	c  796s |      18 |   502543 |   341152 |    23568     29 |      833 |      790
799.04/799.27	c  799s |      18 |   503235 |   341752 |    23568     29 |      833 |      790
801.23/801.44	c  801s |      18 |   503969 |   342352 |    23568     30 |      833 |      790
803.43/803.68	c  803s |      18 |   504743 |   343052 |    23568     30 |      833 |      790
805.63/805.87	c  805s |      18 |   505582 |   343752 |    23568     30 |      833 |      790
807.83/808.02	c  807s |      18 |   506789 |   344652 |    23568     30 |      833 |      790
809.93/810.13	c  809s |      18 |   507927 |   345552 |    23568     30 |      833 |      790
812.03/812.23	c  811s |      18 |   508904 |   346352 |    23568     30 |      833 |      790
814.03/814.24	c  813s |      18 |   509738 |   347052 |    23568     30 |      833 |      790
816.33/816.54	c  816s |      18 |   510679 |   347852 |    23568     30 |      833 |      790
818.53/818.78	c  818s |      18 |   511487 |   348552 |    23568     30 |      833 |      790
820.63/820.85	c  820s |      18 |   512191 |   349152 |    23568     30 |      833 |      790
822.73/822.92	c  822s |      18 |   512850 |   349752 |    23568     30 |      833 |      790
824.93/825.12	c  824s |      18 |   514049 |   350552 |    23568     30 |      833 |      790
827.13/827.36	c  827s |      18 |   514873 |   351252 |    23568     30 |      833 |      790
829.23/829.47	c  829s |      18 |   515541 |   351852 |    23568     30 |      833 |      790
831.22/831.49	c  831s |      18 |   516215 |   352452 |    23568     30 |      833 |      790
833.42/833.66	c  833s |      18 |   516936 |   353052 |    23568     30 |      833 |      790
835.72/835.93	c  835s |      18 |   517689 |   353652 |    23568     30 |      833 |      790
837.92/838.18	c  837s |      18 |   518398 |   354252 |    23568     30 |      833 |      790
840.02/840.25	c  839s |      18 |   519081 |   354852 |    23568     30 |      833 |      790
842.32/842.53	c  842s |      18 |   519643 |   355352 |    23568     31 |      833 |      790
844.52/844.76	c  844s |      18 |   520458 |   356052 |    23568     31 |      833 |      790
846.82/847.02	c  846s |      18 |   521229 |   356752 |    23568     31 |      833 |      790
848.82/849.02	c  848s |      18 |   522011 |   357452 |    23568     31 |      833 |      790
851.11/851.32	c  851s |      18 |   522926 |   358252 |    23568     31 |      833 |      790
853.31/853.52	c  853s |      18 |   523734 |   358952 |    23568     31 |      833 |      790
855.62/855.87	c  855s |      18 |   524532 |   359652 |    23568     31 |      833 |      790
857.71/857.92	c  857s |      18 |   525194 |   360252 |    23568     31 |      833 |      790
859.71/859.93	c  859s |      18 |   525878 |   360852 |    23568     31 |      833 |      790
862.01/862.20	c  861s |      18 |   526515 |   361452 |    23568     31 |      833 |      790
864.20/864.42	c  864s |      18 |   527180 |   362052 |    23568     31 |      833 |      790
866.40/866.60	c  866s |      18 |   528105 |   362752 |    23568     31 |      833 |      790
868.40/868.65	c  868s |      18 |   528957 |   363452 |    23568     31 |      833 |      790
870.70/870.91	c  870s |      18 |   529827 |   364152 |    23568     31 |      833 |      790
872.70/872.99	c  872s |      18 |   530532 |   364752 |    23568     31 |      833 |      790
875.00/875.26	c  875s |      18 |   531221 |   365352 |    23568     31 |      833 |      790
877.00/877.26	c  877s |      18 |   531904 |   365952 |    23568     31 |      833 |      790
879.40/879.63	c  879s |      18 |   532554 |   366552 |    23568     31 |      833 |      790
881.50/881.73	c  881s |      18 |   533146 |   367052 |    23568     31 |      833 |      790
883.59/883.84	c  883s |      18 |   533714 |   367552 |    23568     31 |      833 |      790
885.69/885.91	c  885s |      18 |   534272 |   368052 |    23568     31 |      833 |      790
887.69/887.93	c  887s |      18 |   534835 |   368552 |    23568     31 |      833 |      790
889.70/889.99	c  889s |      18 |   535504 |   369052 |    23568     32 |      833 |      790
891.79/892.09	c  891s |      18 |   536724 |   369952 |    23568     32 |      833 |      790
893.89/894.15	c  893s |      18 |   537746 |   370752 |    23568     32 |      833 |      790
895.99/896.29	c  896s |      18 |   538777 |   371552 |    23568     32 |      833 |      790
898.19/898.46	c  898s |      18 |   540117 |   372552 |    23568     32 |      833 |      790
900.28/900.53	c  900s |      18 |   540826 |   373152 |    23568     32 |      833 |      790
902.48/902.74	c  902s |      18 |   541656 |   373852 |    23568     32 |      833 |      790
904.48/904.78	c  904s |      18 |   542601 |   374552 |    23568     32 |      833 |      790
906.88/907.10	c  906s |      18 |   543633 |   375352 |    23568     32 |      833 |      790
909.08/909.35	c  909s |      18 |   544490 |   376052 |    23568     32 |      833 |      790
911.28/911.50	c  911s |      18 |   545208 |   376652 |    23568     32 |      833 |      790
913.28/913.60	c  913s |      18 |   546088 |   377352 |    23568     32 |      833 |      790
915.48/915.71	c  915s |      18 |   546947 |   378052 |    23568     32 |      833 |      790
917.78/918.00	c  917s |      18 |   547757 |   378752 |    23568     32 |      833 |      790
919.78/920.08	c  919s |      18 |   548472 |   379352 |    23568     32 |      833 |      790
921.97/922.29	c  922s |      18 |   549152 |   379952 |    23568     32 |      833 |      790
924.07/924.39	c  924s |      18 |   550375 |   380752 |    23568     32 |      833 |      790
926.37/926.64	c  926s |      18 |   551270 |   381452 |    23568     32 |      833 |      790
928.87/929.11	c  928s |      18 |   552017 |   382052 |    23568     33 |      833 |      790
930.97/931.21	c  930s |      18 |   553039 |   382852 |    23568     33 |      833 |      790
933.27/933.55	c  933s |      18 |   554004 |   383652 |    23568     33 |      833 |      790
935.37/935.63	c  935s |      18 |   554986 |   384452 |    23568     33 |      833 |      790
937.37/937.69	c  937s |      18 |   555902 |   385152 |    23568     33 |      833 |      790
939.57/939.83	c  939s |      18 |   556743 |   385852 |    23568     33 |      833 |      790
941.76/942.07	c  941s |      18 |   557695 |   386652 |    23568     33 |      833 |      790
943.96/944.25	c  944s |      18 |   558568 |   387352 |    23568     33 |      833 |      790
945.96/946.27	c  946s |      18 |   559483 |   388052 |    23568     33 |      833 |      790
948.07/948.38	c  948s |      18 |   560309 |   388752 |    23568     33 |      833 |      790
950.26/950.53	c  950s |      18 |   561141 |   389452 |    23568     33 |      833 |      790
952.26/952.55	c  952s |      18 |   561846 |   390052 |    23568     33 |      833 |      790
954.56/954.87	c  954s |      18 |   562645 |   390752 |    23568     33 |      833 |      790
956.76/957.07	c  956s |      18 |   563337 |   391352 |    23568     33 |      833 |      790
958.85/959.14	c  958s |      18 |   564051 |   391952 |    23568     33 |      833 |      790
961.16/961.42	c  961s |      18 |   564718 |   392552 |    23568     33 |      833 |      790
963.15/963.44	c  963s |      18 |   565266 |   393052 |    23568     33 |      833 |      790
965.35/965.67	c  965s |      18 |   565961 |   393652 |    23568     33 |      833 |      790
967.35/967.68	c  967s |      18 |   566537 |   394152 |    23568     33 |      833 |      790
969.45/969.73	c  969s |      18 |   567442 |   394852 |    23568     33 |      833 |      790
971.84/972.15	c  971s |      18 |   568054 |   395352 |    23568     34 |      833 |      790
974.14/974.49	c  974s |      18 |   568876 |   396052 |    23568     34 |      833 |      790
976.24/976.54	c  976s |      18 |   569702 |   396752 |    23568     34 |      833 |      790
978.44/978.72	c  978s |      18 |   570499 |   397452 |    23568     34 |      833 |      790
980.64/980.93	c  980s |      18 |   571290 |   398152 |    23568     34 |      833 |      790
982.84/983.19	c  982s |      18 |   572064 |   398852 |    23568     34 |      833 |      790
985.14/985.44	c  985s |      18 |   572866 |   399552 |    23568     34 |      833 |      790
987.14/987.46	c  987s |      18 |   573417 |   400052 |    23568     34 |      833 |      790
989.24/989.51	c  989s |      18 |   574140 |   400652 |    23568     34 |      833 |      790
991.53/991.84	c  991s |      18 |   574961 |   401352 |    23568     34 |      833 |      790
993.73/994.07	c  993s |      18 |   575616 |   401952 |    23568     34 |      833 |      790
995.84/996.19	c  995s |      18 |   576313 |   402552 |    23568     34 |      833 |      790
998.14/998.46	c  998s |      18 |   577136 |   403252 |    23568     34 |      833 |      790
1000.24/1000.59	c 1000s |      18 |   577837 |   403852 |    23568     34 |      833 |      790
1002.34/1002.69	c 1002s |      18 |   578510 |   404452 |    23568     34 |      833 |      790
1004.44/1004.79	c 1004s |      18 |   579517 |   405152 |    23568     34 |      833 |      790
1006.64/1006.98	c 1006s |      18 |   580443 |   405852 |    23568     34 |      833 |      790
1008.73/1009.03	c 1008s |      18 |   581414 |   406552 |    23568     34 |      833 |      790
1010.83/1011.19	c 1010s |      18 |   582255 |   407252 |    23568     34 |      833 |      790
1013.13/1013.44	c 1013s |      18 |   583242 |   408052 |    23568     34 |      833 |      790
1015.43/1015.71	c 1015s |      18 |   584056 |   408752 |    23568     34 |      833 |      790
1017.53/1017.82	c 1017s |      18 |   584760 |   409352 |    23568     35 |      833 |      790
1019.73/1020.02	c 1019s |      18 |   585817 |   410252 |    23568     35 |      833 |      790
1021.92/1022.27	c 1022s |      18 |   586766 |   411052 |    23568     35 |      833 |      790
1024.12/1024.42	c 1024s |      18 |   587717 |   411852 |    23568     35 |      833 |      790
1026.22/1026.57	c 1026s |      18 |   588508 |   412552 |    23568     35 |      833 |      790
1028.33/1028.61	c 1028s |      18 |   589201 |   413152 |    23568     35 |      833 |      790
1030.52/1030.89	c 1030s |      18 |   590009 |   413852 |    23568     35 |      833 |      790
1032.72/1033.02	c 1032s |      18 |   590757 |   414452 |    23568     35 |      833 |      790
1034.72/1035.08	c 1034s |      18 |   591466 |   415052 |    23568     35 |      833 |      790
1036.82/1037.14	c 1036s |      18 |   592307 |   415752 |    23568     35 |      833 |      790
1038.82/1039.15	c 1038s |      18 |   592988 |   416352 |    23568     35 |      833 |      790
1040.91/1041.21	c 1040s |      18 |   593684 |   416952 |    23568     35 |      833 |      790
1043.01/1043.31	c 1043s |      18 |   594377 |   417552 |    23568     35 |      833 |      790
1045.21/1045.55	c 1045s |      18 |   595032 |   418152 |    23568     35 |      833 |      790
1047.51/1047.83	c 1047s |      18 |   595701 |   418752 |    23568     35 |      833 |      790
1049.71/1050.02	c 1049s |      18 |   596414 |   419352 |    23568     35 |      833 |      790
1051.80/1052.10	c 1051s |      18 |   597129 |   419952 |    23568     35 |      833 |      790
1054.10/1054.40	c 1054s |      18 |   597815 |   420552 |    23568     35 |      833 |      790
1056.10/1056.41	c 1056s |      18 |   598405 |   421052 |    23568     35 |      833 |      790
1058.10/1058.48	c 1058s |      18 |   598962 |   421552 |    23568     35 |      833 |      790
1060.60/1060.92	c 1060s |      18 |   599559 |   422052 |    23568     36 |      833 |      790
1062.80/1063.13	c 1062s |      18 |   600337 |   422752 |    23568     36 |      833 |      790
1064.80/1065.17	c 1064s |      18 |   601026 |   423352 |    23568     36 |      833 |      790
1067.19/1067.54	c 1067s |      18 |   601810 |   424052 |    23568     36 |      833 |      790
1069.19/1069.54	c 1069s |      18 |   602504 |   424652 |    23568     36 |      833 |      790
1071.29/1071.62	c 1071s |      18 |   603179 |   425252 |    23568     36 |      833 |      790
1073.59/1073.95	c 1073s |      18 |   603832 |   425852 |    23568     36 |      833 |      790
1075.99/1076.32	c 1076s |      18 |   604483 |   426452 |    23568     36 |      833 |      790
1078.19/1078.58	c 1078s |      18 |   605145 |   427052 |    23568     36 |      833 |      790
1080.48/1080.87	c 1080s |      18 |   605852 |   427652 |    23568     36 |      833 |      790
1082.68/1083.04	c 1082s |      18 |   606516 |   428252 |    23568     36 |      833 |      790
1084.98/1085.37	c 1085s |      18 |   607218 |   428852 |    23568     36 |      833 |      790
1087.38/1087.78	c 1087s |      18 |   607893 |   429452 |    23568     36 |      833 |      790
1089.48/1089.82	c 1089s |      18 |   608442 |   429952 |    23568     36 |      833 |      790
1091.78/1092.18	c 1091s |      18 |   609122 |   430552 |    23568     36 |      833 |      790
1093.88/1094.21	c 1093s |      18 |   609688 |   431052 |    23568     36 |      833 |      790
1096.08/1096.42	c 1096s |      18 |   610250 |   431552 |    23568     36 |      833 |      790
1098.08/1098.49	c 1098s |      18 |   610809 |   432052 |    23568     36 |      833 |      790
1100.27/1100.67	c 1100s |      18 |   611355 |   432552 |    23568     36 |      833 |      790
1102.47/1102.85	c 1102s |      18 |   611920 |   433052 |    23568     36 |      833 |      790
1104.57/1104.91	c 1104s |      18 |   612490 |   433552 |    23568     36 |      833 |      790
1106.87/1107.20	c 1106s |      18 |   613030 |   434052 |    23568     36 |      833 |      790
1108.87/1109.23	c 1108s |      18 |   613480 |   434452 |    23568     36 |      833 |      790
1111.26/1111.65	c 1111s |      18 |   614012 |   434952 |    23568     36 |      833 |      790
1113.36/1113.76	c 1113s |      18 |   614450 |   435352 |    23568     36 |      833 |      790
1115.66/1116.02	c 1115s |      18 |   614879 |   435752 |    23568     37 |      833 |      790
1117.96/1118.30	c 1118s |      18 |   615646 |   436452 |    23568     37 |      833 |      790
1119.96/1120.34	c 1120s |      18 |   616302 |   437052 |    23568     37 |      833 |      790
1122.16/1122.53	c 1122s |      18 |   616951 |   437652 |    23568     37 |      833 |      790
1124.36/1124.78	c 1124s |      18 |   617608 |   438252 |    23568     37 |      833 |      790
1126.46/1126.82	c 1126s |      18 |   618319 |   438852 |    23568     37 |      833 |      790
1128.66/1129.01	c 1128s |      18 |   619141 |   439552 |    23568     37 |      833 |      790
1130.75/1131.18	c 1130s |      18 |   619950 |   440252 |    23568     37 |      833 |      790
1132.85/1133.26	c 1133s |      18 |   620640 |   440852 |    23568     37 |      833 |      790
1135.05/1135.41	c 1135s |      18 |   621320 |   441452 |    25925     37 |      833 |      790
1137.15/1137.54	c 1137s |      18 |   622096 |   442052 |    25925     37 |      833 |      790
1139.25/1139.61	c 1139s |      18 |   623143 |   442752 |    25925     37 |      833 |      790
1141.24/1141.64	c 1141s |      18 |   623837 |   443352 |    25925     37 |      833 |      790
1143.44/1143.85	c 1143s |      18 |   624663 |   444052 |    25925     37 |      833 |      790
1144.75/1145.17	c 1144s |      19 |   625212 |   444482 |    25925     37 |      833 |      790
1146.84/1147.22	c 1146s |      19 |   630634 |   446082 |    25925     37 |      833 |      790
1148.84/1149.26	c 1149s |      19 |   634465 |   447782 |    25925     37 |      833 |      790
1150.94/1151.36	c 1151s |      19 |   637356 |   449582 |    25925     37 |      833 |      790
1152.94/1153.39	c 1153s |      19 |   640833 |   450982 |    25925     38 |      833 |      790
1155.14/1155.54	c 1155s |      19 |   644757 |   452782 |    25925     38 |      833 |      790
1157.14/1157.58	c 1157s |      19 |   646309 |   453882 |    25925     38 |      833 |      790
1159.24/1159.64	c 1159s |      19 |   647550 |   454882 |    25925     38 |      833 |      790
1161.43/1161.83	c 1161s |      19 |   648764 |   455882 |    25925     38 |      833 |      790
1163.54/1163.96	c 1163s |      19 |   649788 |   456682 |    25925     38 |      833 |      790
1165.64/1166.07	c 1165s |      19 |   650583 |   457382 |    25925     38 |      833 |      790
1167.94/1168.36	c 1168s |      19 |   651557 |   458182 |    25925     38 |      833 |      790
1170.04/1170.40	c 1170s |      19 |   652254 |   458782 |    25925     38 |      833 |      790
1172.23/1172.69	c 1172s |      19 |   653079 |   459482 |    25925     38 |      833 |      790
1174.63/1175.01	c 1174s |      19 |   653896 |   460182 |    25925     38 |      833 |      790
1176.83/1177.21	c 1176s |      19 |   654653 |   460782 |    25925     38 |      833 |      790
1179.03/1179.49	c 1179s |      19 |   655349 |   461382 |    25925     38 |      833 |      790
1181.42/1181.84	c 1181s |      19 |   656022 |   461982 |    25925     38 |      833 |      790
1183.62/1184.02	c 1183s |      19 |   656709 |   462582 |    25925     38 |      833 |      790
1185.92/1186.39	c 1186s |      19 |   657512 |   463282 |    25925     38 |      833 |      790
1188.42/1188.82	c 1188s |      19 |   658252 |   463882 |    25925     38 |      833 |      790
1190.71/1191.11	c 1190s |      19 |   658800 |   464382 |    25925     38 |      833 |      790
1192.91/1193.33	c 1193s |      19 |   659369 |   464882 |    25925     38 |      833 |      790
1195.11/1195.51	c 1195s |      19 |   659825 |   465282 |    25925     39 |      833 |      790
1197.41/1197.88	c 1197s |      19 |   660514 |   465882 |    25925     39 |      833 |      790
1199.72/1200.20	c 1199s |      19 |   661216 |   466482 |    25925     39 |      833 |      790
1202.12/1202.55	c 1202s |      19 |   661889 |   467082 |    25925     39 |      833 |      790
1204.52/1204.90	c 1204s |      19 |   662452 |   467582 |    25925     39 |      833 |      790
1206.71/1207.13	c 1206s |      19 |   662875 |   467982 |    25925     39 |      833 |      790
1208.91/1209.36	c 1209s |      19 |   663468 |   468482 |    25925     39 |      833 |      790
1211.31/1211.71	c 1211s |      19 |   664137 |   469082 |    25925     39 |      833 |      790
1213.41/1213.82	c 1213s |      19 |   664572 |   469482 |    25925     39 |      833 |      790
1215.61/1216.01	c 1215s |      19 |   665133 |   469982 |    25925     39 |      833 |      790
1217.81/1218.22	c 1217s |      19 |   665726 |   470482 |    25925     39 |      833 |      790
1220.11/1220.54	c 1220s |      19 |   666191 |   470882 |    25925     39 |      833 |      790
1222.20/1222.66	c 1222s |      19 |   666660 |   471282 |    25925     39 |      833 |      790
1224.60/1225.07	c 1224s |      19 |   667095 |   471682 |    25925     39 |      833 |      790
1226.80/1227.26	c 1227s |      19 |   667529 |   472082 |    25925     39 |      833 |      790
1229.20/1229.65	c 1229s |      19 |   668081 |   472582 |    25925     39 |      833 |      790
1231.29/1231.77	c 1231s |      19 |   668535 |   472982 |    25925     39 |      833 |      790
1233.69/1234.19	c 1233s |      19 |   669104 |   473482 |    25925     39 |      833 |      790
1235.89/1236.31	c 1236s |      19 |   669527 |   473882 |    25925     39 |      833 |      790
1237.99/1238.48	c 1238s |      19 |   669975 |   474282 |    25925     39 |      833 |      790
1240.58/1241.05	c 1240s |      19 |   670539 |   474782 |    25925     39 |      833 |      790
1242.88/1243.39	c 1243s |      19 |   670973 |   475182 |    25925     39 |      833 |      790
1245.08/1245.57	c 1245s |      19 |   671397 |   475582 |    25925     39 |      833 |      790
1247.58/1248.03	c 1247s |      19 |   671959 |   476082 |    25925     39 |      833 |      790
1249.68/1250.17	c 1249s |      19 |   672392 |   476482 |    25925     39 |      833 |      790
1252.18/1252.67	c 1252s |      19 |   672836 |   476882 |    25925     39 |      833 |      790
1254.18/1254.68	c 1254s |      19 |   673165 |   477182 |    25925     39 |      833 |      790
1256.28/1256.78	c 1256s |      19 |   673483 |   477482 |    25925     39 |      833 |      790
1258.77/1259.30	c 1259s |      19 |   673917 |   477882 |    25925     39 |      833 |      790
1261.17/1261.68	c 1261s |      19 |   674359 |   478282 |    25925     39 |      833 |      790
1263.67/1264.17	c 1263s |      19 |   674800 |   478682 |    25925     39 |      833 |      790
1266.07/1266.56	c 1266s |      19 |   675246 |   479082 |    25925     39 |      833 |      790
1268.47/1268.98	c 1268s |      19 |   675688 |   479482 |    25925     39 |      833 |      790
1270.86/1271.38	c 1271s |      19 |   676030 |   479782 |    25925     40 |      833 |      790
1273.26/1273.78	c 1273s |      19 |   676605 |   480282 |    25925     40 |      833 |      790
1275.46/1275.96	c 1275s |      19 |   677368 |   480882 |    25925     40 |      833 |      790
1277.77/1278.27	c 1278s |      19 |   677953 |   481382 |    25925     40 |      833 |      790
1279.86/1280.34	c 1280s |      19 |   678392 |   481782 |    25925     40 |      833 |      790
1282.36/1282.85	c 1282s |      19 |   678953 |   482282 |    25925     40 |      833 |      790
1284.76/1285.24	c 1284s |      19 |   679514 |   482782 |    25925     40 |      833 |      790
1286.96/1287.48	c 1287s |      19 |   680082 |   483282 |    25925     40 |      833 |      790
1289.46/1289.91	c 1289s |      19 |   680627 |   483782 |    25925     40 |      833 |      790
1291.56/1292.09	c 1291s |      19 |   681061 |   484182 |    25925     40 |      833 |      790
1293.86/1294.37	c 1294s |      19 |   681506 |   484582 |    25925     40 |      833 |      790
1296.26/1296.74	c 1296s |      19 |   681947 |   484982 |    25925     40 |      833 |      790
1298.46/1298.94	c 1298s |      19 |   682414 |   485382 |    25925     40 |      833 |      790
1300.56/1301.03	c 1300s |      19 |   682871 |   485782 |    25925     40 |      833 |      790
1302.96/1303.46	c 1303s |      19 |   683449 |   486282 |    25925     40 |      833 |      790
1305.16/1305.63	c 1305s |      19 |   683881 |   486682 |    25925     40 |      833 |      790
1307.26/1307.75	c 1307s |      19 |   684315 |   487082 |    25925     40 |      833 |      790
1309.46/1309.97	c 1309s |      19 |   684766 |   487482 |    25925     40 |      833 |      790
1311.75/1312.25	c 1311s |      19 |   685198 |   487882 |    25925     40 |      833 |      790
1313.75/1314.29	c 1314s |      19 |   685526 |   488182 |    25925     40 |      833 |      790
1315.95/1316.49	c 1316s |      19 |   685972 |   488582 |    25925     40 |      833 |      790
1318.35/1318.87	c 1318s |      19 |   686418 |   488982 |    25925     40 |      833 |      790
1320.66/1321.16	c 1320s |      19 |   686861 |   489382 |    25925     40 |      833 |      790
1323.35/1323.83	c 1323s |      19 |   687313 |   489782 |    25925     40 |      833 |      790
1325.85/1326.35	c 1326s |      19 |   687752 |   490182 |    25925     40 |      833 |      790
1328.25/1328.79	c 1328s |      19 |   688201 |   490582 |    25925     40 |      833 |      790
1330.55/1331.10	c 1330s |      19 |   688652 |   490982 |    25925     40 |      833 |      790
1332.85/1333.37	c 1333s |      19 |   689115 |   491382 |    25925     40 |      833 |      790
1335.35/1335.88	c 1335s |      19 |   689579 |   491782 |    25925     40 |      833 |      790
1337.95/1338.44	c 1338s |      19 |   690056 |   492182 |    25925     40 |      833 |      790
1340.45/1341.00	c 1340s |      19 |   690495 |   492582 |    25925     40 |      833 |      790
1342.84/1343.37	c 1343s |      19 |   690846 |   492882 |    25925     40 |      833 |      790
1345.04/1345.51	c 1345s |      19 |   691171 |   493182 |    25925     40 |      833 |      790
1347.34/1347.82	c 1347s |      19 |   691487 |   493482 |    25925     40 |      833 |      790
1349.35/1349.85	c 1349s |      19 |   691807 |   493782 |    25925     40 |      833 |      790
1351.84/1352.31	c 1352s |      19 |   692031 |   493982 |    25925     41 |      833 |      790
1354.14/1354.66	c 1354s |      19 |   692475 |   494382 |    25925     41 |      833 |      790
1356.34/1356.81	c 1356s |      19 |   692949 |   494782 |    25925     41 |      833 |      790
1358.54/1359.06	c 1358s |      19 |   693704 |   495382 |    25925     41 |      833 |      790
1360.54/1361.08	c 1360s |      19 |   694289 |   495882 |    25925     41 |      833 |      790
1362.94/1363.41	c 1363s |      19 |   694851 |   496382 |    25925     41 |      833 |      790
1365.24/1365.74	c 1365s |      19 |   695399 |   496882 |    25925     41 |      833 |      790
1367.44/1367.92	c 1367s |      19 |   695954 |   497382 |    25925     41 |      833 |      790
1369.54/1370.03	c 1369s |      19 |   696513 |   497882 |    25925     41 |      833 |      790
1371.64/1372.15	c 1371s |      19 |   697064 |   498382 |    25925     41 |      833 |      790
1373.84/1374.39	c 1374s |      19 |   697660 |   498882 |    25925     41 |      833 |      790
1376.34/1376.84	c 1376s |      19 |   698196 |   499382 |    25925     41 |      833 |      790
1378.44/1378.90	c 1378s |      19 |   698636 |   499782 |    25925     41 |      833 |      790
1380.44/1380.91	c 1380s |      19 |   699080 |   500182 |    25925     41 |      833 |      790
1382.44/1382.91	c 1382s |      19 |   699526 |   500582 |    25925     41 |      833 |      790
1384.84/1385.30	c 1385s |      19 |   700071 |   501082 |    25925     41 |      833 |      790
1386.94/1387.43	c 1387s |      19 |   700512 |   501482 |    25925     41 |      833 |      790
1389.44/1389.91	c 1389s |      19 |   700935 |   501882 |    25925     41 |      833 |      790
1391.44/1391.93	c 1391s |      19 |   701388 |   502282 |    25925     41 |      833 |      790
1393.64/1394.10	c 1393s |      19 |   701820 |   502682 |    25925     41 |      833 |      790
1395.63/1396.13	c 1395s |      19 |   702256 |   503082 |    25925     41 |      833 |      790
1397.74/1398.24	c 1397s |      19 |   702710 |   503482 |    25925     41 |      833 |      790
1399.94/1400.41	c 1400s |      19 |   703139 |   503882 |    25925     41 |      833 |      790
1402.14/1402.61	c 1402s |      19 |   703578 |   504282 |    25925     41 |      833 |      790
1404.34/1404.87	c 1404s |      19 |   704027 |   504682 |    25925     41 |      833 |      790
1406.63/1407.13	c 1406s |      19 |   704471 |   505082 |    25925     41 |      833 |      790
1409.03/1409.51	c 1409s |      19 |   704906 |   505482 |    25925     41 |      833 |      790
1411.33/1411.84	c 1411s |      19 |   705344 |   505882 |    25925     41 |      833 |      790
1413.63/1414.16	c 1413s |      19 |   705766 |   506282 |    25925     41 |      833 |      790
1416.13/1416.67	c 1416s |      19 |   706211 |   506682 |    25925     41 |      833 |      790
1418.64/1419.13	c 1418s |      19 |   706644 |   507082 |    25925     41 |      833 |      790
1421.03/1421.50	c 1421s |      19 |   707104 |   507482 |    25925     41 |      833 |      790
1423.13/1423.66	c 1423s |      19 |   707574 |   507882 |    25925     41 |      833 |      790
1425.53/1426.00	c 1425s |      19 |   708001 |   508282 |    25925     41 |      833 |      790
1427.93/1428.42	c 1428s |      19 |   708337 |   508582 |    25925     42 |      833 |      790
1430.33/1430.81	c 1430s |      19 |   708865 |   509082 |    25925     42 |      833 |      790
1432.63/1433.10	c 1432s |      19 |   709413 |   509582 |    25925     42 |      833 |      790
1434.83/1435.31	c 1435s |      19 |   709978 |   510082 |    25925     42 |      833 |      790
1437.13/1437.64	c 1437s |      19 |   710505 |   510582 |    25925     42 |      833 |      790
1439.73/1440.28	c 1440s |      19 |   711056 |   511082 |    25925     42 |      833 |      790
1442.03/1442.52	c 1442s |      19 |   711483 |   511482 |    25925     42 |      833 |      790
1444.03/1444.54	c 1444s |      19 |   711922 |   511882 |    25925     42 |      833 |      790
1446.23/1446.71	c 1446s |      19 |   712474 |   512382 |    25925     42 |      833 |      790
1448.63/1449.13	c 1448s |      19 |   713007 |   512882 |    25925     42 |      833 |      790
1450.73/1451.25	c 1450s |      19 |   713437 |   513282 |    25925     42 |      833 |      790
1452.93/1453.47	c 1453s |      19 |   713990 |   513782 |    25925     42 |      833 |      790
1455.33/1455.87	c 1455s |      19 |   714543 |   514282 |    25925     42 |      833 |      790
1457.53/1458.07	c 1457s |      19 |   715108 |   514782 |    25925     42 |      833 |      790
1459.83/1460.37	c 1460s |      19 |   715655 |   515282 |    25925     42 |      833 |      790
1461.93/1462.41	c 1462s |      19 |   716095 |   515682 |    25925     42 |      833 |      790
1463.93/1464.45	c 1464s |      19 |   716521 |   516082 |    25925     42 |      833 |      790
1466.23/1466.76	c 1466s |      19 |   716997 |   516482 |    25925     42 |      833 |      790
1468.53/1469.08	c 1468s |      19 |   717538 |   516982 |    25925     42 |      833 |      790
1471.13/1471.63	c 1471s |      19 |   718097 |   517482 |    25925     42 |      833 |      790
1473.13/1473.66	c 1473s |      19 |   718405 |   517782 |    25925     42 |      833 |      790
1475.23/1475.78	c 1475s |      19 |   719197 |   518282 |    25925     42 |      833 |      790
1477.43/1477.92	c 1477s |      19 |   721534 |   519282 |    25925     42 |      833 |      790
1479.53/1480.05	c 1479s |      19 |   722617 |   520082 |    25925     42 |      833 |      790
1481.73/1482.24	c 1481s |      19 |   723629 |   520882 |    25925     42 |      833 |      790
1483.83/1484.36	c 1484s |      19 |   724863 |   521682 |    25925     42 |      833 |      790
1485.93/1486.46	c 1486s |      19 |   725447 |   522182 |    25925     42 |      833 |      790
1488.33/1488.85	c 1488s |      19 |   725950 |   522582 |    25925     43 |      833 |      790
1490.33/1490.87	c 1490s |      19 |   729341 |   523882 |    25925     43 |      833 |      790
1492.43/1492.98	c 1492s |      19 |   731222 |   524982 |    25925     43 |      833 |      790
1494.43/1494.99	c 1494s |      19 |   734543 |   526082 |    25925     43 |      833 |      790
1496.63/1497.15	c 1496s |      19 |   737120 |   527282 |    25925     43 |      833 |      790
1498.63/1499.19	c 1498s |      19 |   741769 |   528882 |    25925     43 |      833 |      790
1500.72/1501.22	c 1500s |      19 |   743667 |   529882 |    25925     43 |      833 |      790
1502.82/1503.37	c 1503s |      19 |   745213 |   530882 |    25925     43 |      833 |      790
1505.02/1505.59	c 1505s |      19 |   746107 |   531682 |    25925     43 |      833 |      790
1507.32/1507.83	c 1507s |      19 |   747339 |   532582 |    25925     43 |      833 |      790
1509.32/1509.89	c 1509s |      19 |   748163 |   533182 |    25925     43 |      833 |      790
1511.52/1512.05	c 1511s |      19 |   748977 |   533782 |    25925     43 |      833 |      790
1513.62/1514.14	c 1513s |      19 |   749700 |   534382 |    25925     43 |      833 |      790
1516.12/1516.68	c 1516s |      19 |   750430 |   534982 |    25925     43 |      833 |      790
1518.22/1518.72	c 1518s |      19 |   751035 |   535482 |    25925     43 |      833 |      790
1520.52/1521.07	c 1520s |      19 |   751791 |   536082 |    25925     43 |      833 |      790
1522.82/1523.30	c 1523s |      19 |   752363 |   536582 |    25925     43 |      833 |      790
1524.82/1525.34	c 1525s |      19 |   752919 |   537082 |    25925     43 |      833 |      790
1527.12/1527.64	c 1527s |      19 |   753568 |   537582 |    25925     44 |      833 |      790
1529.12/1529.68	c 1529s |      19 |   754436 |   538282 |    25925     44 |      833 |      790
1531.12/1531.68	c 1531s |      19 |   755373 |   538982 |    25925     44 |      833 |      790
1533.52/1534.08	c 1533s |      19 |   756069 |   539582 |    25925     44 |      833 |      790
1535.72/1536.23	c 1535s |      19 |   756641 |   540082 |    25925     44 |      833 |      790
1538.32/1538.83	c 1538s |      19 |   757210 |   540582 |    25925     44 |      833 |      790
1540.52/1541.10	c 1540s |      19 |   757781 |   541082 |    25925     44 |      833 |      790
1542.62/1543.13	c 1542s |      19 |   758878 |   541782 |    25925     44 |      833 |      790
1544.62/1545.16	c 1544s |      19 |   760217 |   542682 |    25925     44 |      833 |      790
1546.91/1547.46	c 1547s |      19 |   761179 |   543482 |    25925     44 |      833 |      790
1549.01/1549.58	c 1549s |      19 |   761949 |   544182 |    25925     44 |      833 |      790
1551.21/1551.79	c 1551s |      19 |   762911 |   544882 |    25925     44 |      833 |      790
1553.31/1553.89	c 1553s |      19 |   763867 |   545582 |    25925     44 |      833 |      790
1555.61/1556.11	c 1555s |      19 |   764838 |   546282 |    25925     44 |      833 |      790
1557.71/1558.24	c 1557s |      19 |   765819 |   546982 |    25925     44 |      833 |      790
1560.11/1560.63	c 1560s |      19 |   766713 |   547682 |    25925     44 |      833 |      790
1562.21/1562.76	c 1562s |      19 |   767326 |   548182 |    25925     44 |      833 |      790
1564.61/1565.10	c 1564s |      19 |   768054 |   548782 |    25925     44 |      833 |      790
1566.81/1567.36	c 1567s |      19 |   768786 |   549382 |    25925     44 |      833 |      790
1569.11/1569.65	c 1569s |      19 |   769354 |   549882 |    25925     44 |      833 |      790
1571.42/1571.97	c 1571s |      19 |   770064 |   550482 |    25925     44 |      833 |      790
1573.61/1574.16	c 1573s |      19 |   770846 |   551082 |    25925     44 |      833 |      790
1575.71/1576.22	c 1575s |      19 |   771574 |   551682 |    25925     44 |      833 |      790
1577.91/1578.45	c 1578s |      19 |   772280 |   552282 |    25925     45 |      833 |      790
1579.91/1580.48	c 1580s |      19 |   773114 |   552982 |    25925     45 |      833 |      790
1582.01/1582.58	c 1582s |      19 |   774025 |   553682 |    25925     45 |      833 |      790
1584.11/1584.69	c 1584s |      19 |   774863 |   554382 |    25925     45 |      833 |      790
1586.21/1586.71	c 1586s |      19 |   775594 |   554982 |    25925     45 |      833 |      790
1588.30/1588.80	c 1588s |      19 |   776341 |   555582 |    25925     45 |      833 |      790
1590.40/1590.92	c 1590s |      19 |   777120 |   556182 |    25925     45 |      833 |      790
1592.60/1593.16	c 1592s |      19 |   777827 |   556782 |    25925     45 |      833 |      790
1594.90/1595.46	c 1595s |      19 |   778548 |   557382 |    25925     45 |      833 |      790
1597.00/1597.50	c 1597s |      19 |   779118 |   557882 |    25925     45 |      833 |      790
1599.20/1599.78	c 1599s |      19 |   779851 |   558482 |    25925     45 |      833 |      790
1601.40/1601.93	c 1601s |      19 |   780300 |   558882 |    25925     45 |      833 |      790
1603.50/1604.04	c 1603s |      19 |   780880 |   559382 |    25925     45 |      833 |      790
1605.80/1606.33	c 1606s |      19 |   781590 |   559982 |    25925     45 |      833 |      790
1608.10/1608.60	c 1608s |      19 |   782148 |   560482 |    25925     45 |      833 |      790
1610.20/1610.79	c 1610s |      19 |   782695 |   560982 |    25925     45 |      833 |      790
1612.40/1612.95	c 1612s |      19 |   783248 |   561482 |    25925     45 |      833 |      790
1614.90/1615.40	c 1615s |      19 |   783834 |   561982 |    25925     45 |      833 |      790
1616.91/1617.45	c 1617s |      19 |   784303 |   562382 |    25925     45 |      833 |      790
1619.01/1619.54	c 1619s |      19 |   784909 |   562882 |    25925     45 |      833 |      790
1621.01/1621.56	c 1621s |      19 |   785395 |   563282 |    25925     45 |      833 |      790
1623.50/1624.02	c 1623s |      19 |   785845 |   563682 |    25925     45 |      833 |      790
1625.70/1626.23	c 1625s |      19 |   786301 |   564082 |    25925     45 |      833 |      790
1627.80/1628.36	c 1628s |      19 |   786764 |   564482 |    25925     45 |      833 |      790
1630.00/1630.59	c 1630s |      19 |   787230 |   564882 |    25925     45 |      833 |      790
1632.30/1632.82	c 1632s |      19 |   787705 |   565282 |    25925     45 |      833 |      790
1634.60/1635.11	c 1634s |      19 |   788327 |   565782 |    25925     45 |      833 |      790
1637.10/1637.66	c 1637s |      19 |   788872 |   566282 |    25925     45 |      833 |      790
1639.40/1639.96	c 1639s |      19 |   789344 |   566682 |    25925     46 |      833 |      790
1641.60/1642.18	c 1641s |      19 |   790085 |   567282 |    25925     46 |      833 |      790
1643.70/1644.27	c 1644s |      19 |   790624 |   567782 |    25925     46 |      833 |      790
1645.80/1646.31	c 1646s |      19 |   791170 |   568282 |    25925     46 |      833 |      790
1647.90/1648.43	c 1648s |      19 |   791760 |   568782 |    25925     46 |      833 |      790
1650.10/1650.69	c 1650s |      19 |   792325 |   569282 |    25925     46 |      833 |      790
1652.20/1652.75	c 1652s |      19 |   792793 |   569682 |    25925     46 |      833 |      790
1654.60/1655.16	c 1654s |      19 |   793348 |   570182 |    25925     46 |      833 |      790
1656.70/1657.22	c 1656s |      19 |   793819 |   570582 |    25925     46 |      833 |      790
1658.80/1659.35	c 1659s |      19 |   794402 |   571082 |    25925     46 |      833 |      790
1661.20/1661.77	c 1661s |      19 |   795002 |   571582 |    25925     46 |      833 |      790
1663.20/1663.79	c 1663s |      19 |   795478 |   571982 |    25925     46 |      833 |      790
1665.60/1666.14	c 1665s |      19 |   796078 |   572482 |    25925     46 |      833 |      790
1667.70/1668.25	c 1667s |      19 |   796541 |   572882 |    25925     46 |      833 |      790
1670.10/1670.68	c 1670s |      19 |   797123 |   573382 |    25925     46 |      833 |      790
1672.49/1673.00	c 1672s |      19 |   797578 |   573782 |    25925     46 |      833 |      790
1674.49/1675.01	c 1674s |      19 |   798061 |   574182 |    25925     46 |      833 |      790
1676.89/1677.48	c 1677s |      19 |   798618 |   574682 |    25925     46 |      833 |      790
1678.99/1679.50	c 1679s |      19 |   799097 |   575082 |    25925     46 |      833 |      790
1681.29/1681.88	c 1681s |      19 |   799679 |   575582 |    25925     46 |      833 |      790
1683.79/1684.36	c 1684s |      19 |   800259 |   576082 |    25925     46 |      833 |      790
1686.09/1686.62	c 1686s |      19 |   800720 |   576482 |    25925     46 |      833 |      790
1688.39/1688.93	c 1688s |      19 |   801176 |   576882 |    25925     46 |      833 |      790
1690.89/1691.44	c 1691s |      19 |   801638 |   577282 |    25925     46 |      833 |      790
1692.89/1693.44	c 1693s |      19 |   801977 |   577582 |    25925     46 |      833 |      790
1695.09/1695.63	c 1695s |      19 |   802447 |   577982 |    25925     46 |      833 |      790
1697.19/1697.79	c 1697s |      19 |   802889 |   578382 |    25925     46 |      833 |      790
1699.69/1700.21	c 1699s |      19 |   803359 |   578782 |    25925     46 |      833 |      790
1702.09/1702.62	c 1702s |      19 |   803809 |   579182 |    25925     46 |      833 |      790
1704.60/1705.14	c 1704s |      19 |   804279 |   579582 |    25925     46 |      833 |      790
1706.59/1707.19	c 1706s |      19 |   804806 |   579982 |    25925     46 |      833 |      790
1709.00/1709.59	c 1709s |      19 |   805443 |   580482 |    25925     46 |      833 |      790
1711.39/1711.97	c 1711s |      19 |   805802 |   580782 |    25925     47 |      833 |      790
1713.39/1713.97	c 1713s |      19 |   806261 |   581182 |    25925     47 |      833 |      790
1715.69/1716.29	c 1716s |      19 |   806864 |   581682 |    25925     47 |      833 |      790
1718.09/1718.61	c 1718s |      19 |   807462 |   582182 |    25925     47 |      833 |      790
1720.19/1720.73	c 1720s |      19 |   808082 |   582682 |    25925     47 |      833 |      790
1722.49/1723.08	c 1722s |      19 |   808655 |   583182 |    25925     47 |      833 |      790
1724.98/1725.53	c 1725s |      19 |   809234 |   583682 |    25925     47 |      833 |      790
1727.48/1728.01	c 1727s |      19 |   809810 |   584182 |    25925     47 |      833 |      790
1729.68/1730.24	c 1729s |      19 |   810294 |   584582 |    25925     47 |      833 |      790
1732.09/1732.65	c 1732s |      19 |   810879 |   585082 |    25925     47 |      833 |      790
1734.29/1734.84	c 1734s |      19 |   811332 |   585482 |    25925     47 |      833 |      790
1736.39/1736.92	c 1736s |      19 |   811762 |   585882 |    25925     47 |      833 |      790
1738.59/1739.16	c 1738s |      19 |   812197 |   586282 |    25925     47 |      833 |      790
1741.08/1741.60	c 1741s |      19 |   812799 |   586782 |    25925     47 |      833 |      790
1743.28/1743.89	c 1743s |      19 |   813233 |   587182 |    25925     47 |      833 |      790
1745.88/1746.44	c 1746s |      19 |   813679 |   587582 |    25925     47 |      833 |      790
1748.18/1748.70	c 1748s |      19 |   814150 |   587982 |    25925     47 |      833 |      790
1750.38/1750.98	c 1750s |      19 |   814599 |   588382 |    25925     47 |      833 |      790
1752.68/1753.24	c 1752s |      19 |   815066 |   588782 |    25925     47 |      833 |      790
1755.08/1755.63	c 1755s |      19 |   815535 |   589182 |    25925     47 |      833 |      790
1757.38/1757.97	c 1757s |      19 |   816018 |   589582 |    25925     47 |      833 |      790
1759.88/1760.41	c 1760s |      19 |   816474 |   589982 |    25925     47 |      833 |      790
1762.19/1762.78	c 1762s |      19 |   816937 |   590382 |    25925     47 |      833 |      790
1764.38/1764.92	c 1764s |      19 |   817282 |   590682 |    25925     47 |      833 |      790
1766.88/1767.40	c 1767s |      19 |   817730 |   591082 |    25925     47 |      833 |      790
1769.39/1769.99	c 1769s |      19 |   818190 |   591482 |    25925     47 |      833 |      790
1771.78/1772.40	c 1772s |      19 |   818643 |   591882 |    25925     47 |      833 |      790
1774.18/1774.73	c 1774s |      19 |   819118 |   592282 |    25925     47 |      833 |      790
1776.18/1776.78	c 1776s |      19 |   819453 |   592582 |    25925     47 |      833 |      790
1778.78/1779.31	c 1779s |      19 |   819894 |   592982 |    25925     47 |      833 |      790
1780.88/1781.44	c 1781s |      19 |   820235 |   593282 |    25925     47 |      833 |      790
1783.28/1783.83	c 1783s |      19 |   820702 |   593682 |    25925     47 |      833 |      790
1785.78/1786.33	c 1786s |      19 |   821263 |   594082 |    25925     47 |      833 |      790
1787.88/1788.46	c 1788s |      19 |   821852 |   594582 |    25925     47 |      833 |      790
1790.39/1790.97	c 1790s |      19 |   822371 |   594982 |    25925     47 |      833 |      790
1792.88/1793.42	c 1793s |      19 |   822733 |   595282 |    25925     48 |      833 |      790
1795.08/1795.65	c 1795s |      19 |   823284 |   595782 |    25925     48 |      833 |      790
1797.18/1797.78	c 1797s |      19 |   823874 |   596282 |    25925     48 |      833 |      790
1799.58/1800.10	c 1799s |      19 |   824602 |   596882 |    25925     48 |      833 |      790

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

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

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


[startup+0 s]
/proc/loadavg: 2.34 2.21 2.18 3/179 24082
/proc/meminfo: memFree=29613012/32872528 swapFree=1085692/1157232
[pid=24082] ppid=24079 vsize=838076 CPUtime=0 cores=0,2,4,6
/proc/24082/stat : 24082 (toysat) R 24079 24082 21062 0 -1 4202496 3144 0 0 0 0 0 0 0 20 0 4 0 29726086 858189824 2994 33554432000 4194304 16246674 140736701676160 140736701675584 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24082/statm: 210031 3003 441 2943 0 206925 0
[pid=24082/tid=24083] ppid=24079 vsize=855484 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24083/stat : 24083 (toysat) S 24079 24082 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29726086 876015616 3062 33554432000 4194304 16246674 140736701676160 140652464549104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24082/tid=24084] ppid=24079 vsize=859580 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24084/stat : 24084 (toysat) S 24079 24082 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29726086 880209920 3080 33554432000 4194304 16246674 140736701676160 140652454059248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24082/tid=24085] ppid=24079 vsize=863676 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24085/stat : 24085 (toysat) S 24079 24082 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29726086 884404224 3096 33554432000 4194304 16246674 140736701676160 140652443585712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 2.34 2.21 2.18 3/179 24082
/proc/meminfo: memFree=29613012/32872528 swapFree=1085692/1157232
[pid=24082] ppid=24079 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/24082/stat : 24082 (toysat) R 24079 24082 21062 0 -1 4202496 28276 0 0 0 6 3 0 0 20 0 4 0 29726086 1249447936 28064 33554432000 4194304 16246674 140736701676160 140736701675472 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24082/statm: 305041 28064 801 2943 0 301935 0
[pid=24082/tid=24083] ppid=24079 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24083/stat : 24083 (toysat) S 24079 24082 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29726086 1249447936 28064 33554432000 4194304 16246674 140736701676160 140652464549104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24082/tid=24084] ppid=24079 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24084/stat : 24084 (toysat) S 24079 24082 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29726086 1249447936 28064 33554432000 4194304 16246674 140736701676160 140652454059248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24082/tid=24085] ppid=24079 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24085/stat : 24085 (toysat) S 24079 24082 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29726086 1249447936 28064 33554432000 4194304 16246674 140736701676160 140652443585712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200499 s]
/proc/loadavg: 2.34 2.21 2.18 3/179 24082
/proc/meminfo: memFree=29613012/32872528 swapFree=1085692/1157232
[pid=24082] ppid=24079 vsize=1301060 CPUtime=0.19 cores=0,2,4,6
/proc/24082/stat : 24082 (toysat) R 24079 24082 21062 0 -1 4202496 48483 0 0 0 13 6 0 0 20 0 4 0 29726086 1332285440 48271 33554432000 4194304 16246674 140736701676160 140736701675472 13195617 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24082/statm: 325265 48271 842 2943 0 322159 0
[pid=24082/tid=24083] ppid=24079 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24083/stat : 24083 (toysat) S 24079 24082 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29726086 1332285440 48271 33554432000 4194304 16246674 140736701676160 140652464549104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24082/tid=24084] ppid=24079 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24084/stat : 24084 (toysat) S 24079 24082 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29726086 1332285440 48271 33554432000 4194304 16246674 140736701676160 140652454059248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24082/tid=24085] ppid=24079 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24085/stat : 24085 (toysat) S 24079 24082 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29726086 1332285440 48271 33554432000 4194304 16246674 140736701676160 140652443585712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300467 s]
/proc/loadavg: 2.34 2.21 2.18 3/179 24082
/proc/meminfo: memFree=29613012/32872528 swapFree=1085692/1157232
[pid=24082] ppid=24079 vsize=1301060 CPUtime=0.29 cores=0,2,4,6
/proc/24082/stat : 24082 (toysat) R 24079 24082 21062 0 -1 4202496 51167 0 0 0 23 6 0 0 20 0 4 0 29726086 1332285440 50955 33554432000 4194304 16246674 140736701676160 140736701675472 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24082/statm: 325265 50960 882 2943 0 322159 0
[pid=24082/tid=24083] ppid=24079 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24083/stat : 24083 (toysat) S 24079 24082 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29726086 1332285440 50962 33554432000 4194304 16246674 140736701676160 140652464549104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24082/tid=24084] ppid=24079 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24084/stat : 24084 (toysat) S 24079 24082 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29726086 1332285440 50965 33554432000 4194304 16246674 140736701676160 140652454059248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24082/tid=24085] ppid=24079 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24085/stat : 24085 (toysat) S 24079 24082 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29726086 1332285440 50967 33554432000 4194304 16246674 140736701676160 140652443585712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700385 s]
/proc/loadavg: 2.34 2.21 2.18 3/179 24082
/proc/meminfo: memFree=29613012/32872528 swapFree=1085692/1157232
[pid=24082] ppid=24079 vsize=1301060 CPUtime=0.69 cores=0,2,4,6
/proc/24082/stat : 24082 (toysat) R 24079 24082 21062 0 -1 4202496 102005 0 0 0 57 12 0 0 20 0 4 0 29726086 1332285440 101793 33554432000 4194304 16246674 140736701676160 140736701675472 5662075 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24082/statm: 325265 101795 882 2943 0 322159 0
[pid=24082/tid=24083] ppid=24079 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24083/stat : 24083 (toysat) S 24079 24082 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29726086 1332285440 101797 33554432000 4194304 16246674 140736701676160 140652464549104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24082/tid=24084] ppid=24079 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24084/stat : 24084 (toysat) S 24079 24082 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29726086 1332285440 101800 33554432000 4194304 16246674 140736701676160 140652454059248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24082/tid=24085] ppid=24079 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24085/stat : 24085 (toysat) S 24079 24082 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29726086 1332285440 101802 33554432000 4194304 16246674 140736701676160 140652443585712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50037 s]
/proc/loadavg: 2.34 2.21 2.18 3/183 24086
/proc/meminfo: memFree=29002512/32872528 swapFree=1085692/1157232
[pid=24082] ppid=24079 vsize=1301060 CPUtime=1.49 cores=0,2,4,6
/proc/24082/stat : 24082 (toysat) R 24079 24082 21062 0 -1 4202496 204887 0 0 0 123 26 0 0 20 0 4 0 29726086 1332285440 204675 33554432000 4194304 16246674 140736701676160 140736701658048 5677541 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24082/statm: 325265 204680 882 2943 0 322159 0
[pid=24082/tid=24083] ppid=24079 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24083/stat : 24083 (toysat) S 24079 24082 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29726086 1332285440 204682 33554432000 4194304 16246674 140736701676160 140652464549104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24082/tid=24084] ppid=24079 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24084/stat : 24084 (toysat) S 24079 24082 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29726086 1332285440 204685 33554432000 4194304 16246674 140736701676160 140652454059248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24082/tid=24085] ppid=24079 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24085/stat : 24085 (toysat) S 24079 24082 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29726086 1332285440 204688 33554432000 4194304 16246674 140736701676160 140652443585712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10039 s]
/proc/loadavg: 2.34 2.21 2.18 3/183 24086
/proc/meminfo: memFree=28573596/32872528 swapFree=1085692/1157232
[pid=24082] ppid=24079 vsize=1312324 CPUtime=3.08 cores=0,2,4,6
/proc/24082/stat : 24082 (toysat) R 24079 24082 21062 0 -1 4202496 260428 0 0 0 275 33 0 0 20 0 4 0 29726086 1343819776 260216 33554432000 4194304 16246674 140736701676160 140736701658048 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24082/statm: 328081 260216 888 2943 0 324975 0
[pid=24082/tid=24083] ppid=24079 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24083/stat : 24083 (toysat) S 24079 24082 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29726086 1343819776 260216 33554432000 4194304 16246674 140736701676160 140652464549104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24082/tid=24084] ppid=24079 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24084/stat : 24084 (toysat) S 24079 24082 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29726086 1343819776 260216 33554432000 4194304 16246674 140736701676160 140652454059248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24082/tid=24085] ppid=24079 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24085/stat : 24085 (toysat) S 24079 24082 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29726086 1343819776 260216 33554432000 4194304 16246674 140736701676160 140652443585712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1312324

[startup+6.3004 s]
/proc/loadavg: 2.31 2.21 2.18 3/183 24086
/proc/meminfo: memFree=28538136/32872528 swapFree=1085692/1157232
[pid=24082] ppid=24079 vsize=1312324 CPUtime=6.29 cores=0,2,4,6
/proc/24082/stat : 24082 (toysat) R 24079 24082 21062 0 -1 4202496 269267 0 0 0 595 34 0 0 20 0 4 0 29726086 1343819776 269055 33554432000 4194304 16246674 140736701676160 140736701658048 5673015 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24082/statm: 328081 269055 888 2943 0 324975 0
[pid=24082/tid=24083] ppid=24079 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24083/stat : 24083 (toysat) S 24079 24082 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29726086 1343819776 269055 33554432000 4194304 16246674 140736701676160 140652464549104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24082/tid=24084] ppid=24079 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24084/stat : 24084 (toysat) S 24079 24082 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29726086 1343819776 269055 33554432000 4194304 16246674 140736701676160 140652454059248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24082/tid=24085] ppid=24079 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24085/stat : 24085 (toysat) S 24079 24082 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29726086 1343819776 269055 33554432000 4194304 16246674 140736701676160 140652443585712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.37 2.22 2.18 3/183 24086
/proc/meminfo: memFree=28538660/32872528 swapFree=1085692/1157232
[pid=24082] ppid=24079 vsize=1312324 CPUtime=12.69 cores=0,2,4,6
/proc/24082/stat : 24082 (toysat) R 24079 24082 21062 0 -1 4202496 269270 0 0 0 1235 34 0 0 20 0 4 0 29726086 1343819776 269058 33554432000 4194304 16246674 140736701676160 140736701658048 13943604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24082/statm: 328081 269058 890 2943 0 324975 0
[pid=24082/tid=24083] ppid=24079 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24083/stat : 24083 (toysat) S 24079 24082 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29726086 1343819776 269058 33554432000 4194304 16246674 140736701676160 140652464549104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24082/tid=24084] ppid=24079 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24084/stat : 24084 (toysat) S 24079 24082 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29726086 1343819776 269058 33554432000 4194304 16246674 140736701676160 140652454059248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24082/tid=24085] ppid=24079 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24085/stat : 24085 (toysat) S 24079 24082 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29726086 1343819776 269058 33554432000 4194304 16246674 140736701676160 140652443585712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.29 2.21 2.18 3/183 24086
/proc/meminfo: memFree=28538868/32872528 swapFree=1085692/1157232
[pid=24082] ppid=24079 vsize=1312324 CPUtime=25.49 cores=0,2,4,6
/proc/24082/stat : 24082 (toysat) R 24079 24082 21062 0 -1 4202496 269270 0 0 0 2515 34 0 0 20 0 4 0 29726086 1343819776 269058 33554432000 4194304 16246674 140736701676160 140736701658048 6021332 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24082/statm: 328081 269058 890 2943 0 324975 0
[pid=24082/tid=24083] ppid=24079 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24083/stat : 24083 (toysat) S 24079 24082 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29726086 1343819776 269058 33554432000 4194304 16246674 140736701676160 140652464549104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24082/tid=24084] ppid=24079 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24084/stat : 24084 (toysat) S 24079 24082 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29726086 1343819776 269058 33554432000 4194304 16246674 140736701676160 140652454059248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24082/tid=24085] ppid=24079 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24085/stat : 24085 (toysat) S 24079 24082 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29726086 1343819776 269058 33554432000 4194304 16246674 140736701676160 140652443585712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.33 2.22 2.18 3/183 24135
/proc/meminfo: memFree=28558348/32872528 swapFree=1085692/1157232
[pid=24082] ppid=24079 vsize=1312324 CPUtime=51.08 cores=0,2,4,6
/proc/24082/stat : 24082 (toysat) R 24079 24082 21062 0 -1 4202496 269271 0 0 0 5074 34 0 0 20 0 4 0 29726086 1343819776 269059 33554432000 4194304 16246674 140736701676160 140736701675336 5754796 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24082/statm: 328081 269059 891 2943 0 324975 0
[pid=24082/tid=24083] ppid=24079 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24083/stat : 24083 (toysat) S 24079 24082 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29726086 1343819776 269059 33554432000 4194304 16246674 140736701676160 140652464549104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24082/tid=24084] ppid=24079 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24084/stat : 24084 (toysat) S 24079 24082 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29726086 1343819776 269059 33554432000 4194304 16246674 140736701676160 140652454059248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24082/tid=24085] ppid=24079 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24085/stat : 24085 (toysat) S 24079 24082 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29726086 1343819776 269059 33554432000 4194304 16246674 140736701676160 140652443585712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324

[startup+102.3 s]
/proc/loadavg: 2.32 2.23 2.19 3/183 24136
/proc/meminfo: memFree=28554728/32872528 swapFree=1085692/1157232
[pid=24082] ppid=24079 vsize=1313348 CPUtime=102.28 cores=0,2,4,6
/proc/24082/stat : 24082 (toysat) R 24079 24082 21062 0 -1 4202496 269435 0 0 0 10194 34 0 0 20 0 4 0 29726086 1344868352 269223 33554432000 4194304 16246674 140736701676160 140736701658048 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24082/statm: 328337 269223 892 2943 0 325231 0
[pid=24082/tid=24083] ppid=24079 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24083/stat : 24083 (toysat) S 24079 24082 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29726086 1344868352 269223 33554432000 4194304 16246674 140736701676160 140652464549104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24082/tid=24084] ppid=24079 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24084/stat : 24084 (toysat) S 24079 24082 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29726086 1344868352 269223 33554432000 4194304 16246674 140736701676160 140652454059248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24082/tid=24085] ppid=24079 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24085/stat : 24085 (toysat) S 24079 24082 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29726086 1344868352 269223 33554432000 4194304 16246674 140736701676160 140652443585712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1313348


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

/proc/24082/task/24085/stat : 24085 (toysat) S 24079 24082 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29726086 1380519936 278099 33554432000 4194304 16246674 140736701676160 140652443585712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 1348164

[startup+1302.3 s]
/proc/loadavg: 2.30 2.21 2.18 3/183 24189
/proc/meminfo: memFree=28491060/32872528 swapFree=1085692/1157232
[pid=24082] ppid=24079 vsize=1348164 CPUtime=1301.86 cores=0,2,4,6
/proc/24082/stat : 24082 (toysat) R 24079 24082 21062 0 -1 4202496 278466 0 0 0 130145 41 0 0 20 0 4 0 29726086 1380519936 278099 33554432000 4194304 16246674 140736701676160 140736701658048 5717503 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24082/statm: 337041 278099 892 2943 0 333935 0
[pid=24082/tid=24083] ppid=24079 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24083/stat : 24083 (toysat) S 24079 24082 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29726086 1380519936 278099 33554432000 4194304 16246674 140736701676160 140652464549104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24082/tid=24084] ppid=24079 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24084/stat : 24084 (toysat) S 24079 24082 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29726086 1380519936 278099 33554432000 4194304 16246674 140736701676160 140652454059248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24082/tid=24085] ppid=24079 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24085/stat : 24085 (toysat) S 24079 24082 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29726086 1380519936 278099 33554432000 4194304 16246674 140736701676160 140652443585712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1348164

[startup+1362.3 s]
/proc/loadavg: 2.33 2.22 2.19 4/183 24193
/proc/meminfo: memFree=28489720/32872528 swapFree=1085692/1157232
[pid=24082] ppid=24079 vsize=1348164 CPUtime=1361.84 cores=0,2,4,6
/proc/24082/stat : 24082 (toysat) R 24079 24082 21062 0 -1 4202496 278646 0 0 0 136143 41 0 0 20 0 4 0 29726086 1380519936 278276 33554432000 4194304 16246674 140736701676160 140736701658048 4220880 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24082/statm: 337041 278276 892 2943 0 333935 0
[pid=24082/tid=24083] ppid=24079 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24083/stat : 24083 (toysat) S 24079 24082 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29726086 1380519936 278276 33554432000 4194304 16246674 140736701676160 140652464549104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24082/tid=24084] ppid=24079 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24084/stat : 24084 (toysat) S 24079 24082 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29726086 1380519936 278276 33554432000 4194304 16246674 140736701676160 140652454059248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24082/tid=24085] ppid=24079 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24085/stat : 24085 (toysat) S 24079 24082 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29726086 1380519936 278276 33554432000 4194304 16246674 140736701676160 140652443585712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1348164

[startup+1422.3 s]
/proc/loadavg: 2.30 2.24 2.19 3/183 24195
/proc/meminfo: memFree=28489504/32872528 swapFree=1085692/1157232
[pid=24082] ppid=24079 vsize=1348164 CPUtime=1421.84 cores=0,2,4,6
/proc/24082/stat : 24082 (toysat) R 24079 24082 21062 0 -1 4202496 278646 0 0 0 142143 41 0 0 20 0 4 0 29726086 1380519936 278276 33554432000 4194304 16246674 140736701676160 140736701658048 6021024 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24082/statm: 337041 278276 892 2943 0 333935 0
[pid=24082/tid=24083] ppid=24079 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24083/stat : 24083 (toysat) S 24079 24082 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29726086 1380519936 278276 33554432000 4194304 16246674 140736701676160 140652464549104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24082/tid=24084] ppid=24079 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24084/stat : 24084 (toysat) S 24079 24082 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29726086 1380519936 278276 33554432000 4194304 16246674 140736701676160 140652454059248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24082/tid=24085] ppid=24079 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24085/stat : 24085 (toysat) S 24079 24082 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29726086 1380519936 278276 33554432000 4194304 16246674 140736701676160 140652443585712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1348164

[startup+1482.3 s]
/proc/loadavg: 2.23 2.22 2.19 3/183 24196
/proc/meminfo: memFree=28489536/32872528 swapFree=1085692/1157232
[pid=24082] ppid=24079 vsize=1348164 CPUtime=1481.83 cores=0,2,4,6
/proc/24082/stat : 24082 (toysat) R 24079 24082 21062 0 -1 4202496 278646 0 0 0 148141 42 0 0 20 0 4 0 29726086 1380519936 278276 33554432000 4194304 16246674 140736701676160 140736701658048 5823116 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24082/statm: 337041 278276 892 2943 0 333935 0
[pid=24082/tid=24083] ppid=24079 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24083/stat : 24083 (toysat) S 24079 24082 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29726086 1380519936 278276 33554432000 4194304 16246674 140736701676160 140652464549104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24082/tid=24084] ppid=24079 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24084/stat : 24084 (toysat) S 24079 24082 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29726086 1380519936 278276 33554432000 4194304 16246674 140736701676160 140652454059248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24082/tid=24085] ppid=24079 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24085/stat : 24085 (toysat) S 24079 24082 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29726086 1380519936 278276 33554432000 4194304 16246674 140736701676160 140652443585712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1348164

[startup+1542.31 s]
/proc/loadavg: 2.25 2.22 2.19 3/183 24197
/proc/meminfo: memFree=28489188/32872528 swapFree=1085692/1157232
[pid=24082] ppid=24079 vsize=1348164 CPUtime=1541.82 cores=0,2,4,6
/proc/24082/stat : 24082 (toysat) R 24079 24082 21062 0 -1 4202496 278646 0 0 0 154140 42 0 0 20 0 4 0 29726086 1380519936 278276 33554432000 4194304 16246674 140736701676160 140736701658048 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24082/statm: 337041 278276 892 2943 0 333935 0
[pid=24082/tid=24083] ppid=24079 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24083/stat : 24083 (toysat) S 24079 24082 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29726086 1380519936 278276 33554432000 4194304 16246674 140736701676160 140652464549104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24082/tid=24084] ppid=24079 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24084/stat : 24084 (toysat) S 24079 24082 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29726086 1380519936 278276 33554432000 4194304 16246674 140736701676160 140652454059248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24082/tid=24085] ppid=24079 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24085/stat : 24085 (toysat) S 24079 24082 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29726086 1380519936 278276 33554432000 4194304 16246674 140736701676160 140652443585712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1348164

[startup+1602.3 s]
/proc/loadavg: 2.27 2.23 2.19 3/183 24197
/proc/meminfo: memFree=28489352/32872528 swapFree=1085692/1157232
[pid=24082] ppid=24079 vsize=1348164 CPUtime=1601.8 cores=0,2,4,6
/proc/24082/stat : 24082 (toysat) R 24079 24082 21062 0 -1 4202496 278646 0 0 0 160138 42 0 0 20 0 4 0 29726086 1380519936 278276 33554432000 4194304 16246674 140736701676160 140736701658048 5822687 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24082/statm: 337041 278276 892 2943 0 333935 0
[pid=24082/tid=24083] ppid=24079 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24083/stat : 24083 (toysat) S 24079 24082 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29726086 1380519936 278276 33554432000 4194304 16246674 140736701676160 140652464549104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24082/tid=24084] ppid=24079 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24084/stat : 24084 (toysat) S 24079 24082 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29726086 1380519936 278276 33554432000 4194304 16246674 140736701676160 140652454059248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24082/tid=24085] ppid=24079 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24085/stat : 24085 (toysat) S 24079 24082 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29726086 1380519936 278276 33554432000 4194304 16246674 140736701676160 140652443585712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1348164

[startup+1662.3 s]
/proc/loadavg: 2.32 2.25 2.19 3/183 24199
/proc/meminfo: memFree=28489476/32872528 swapFree=1085692/1157232
[pid=24082] ppid=24079 vsize=1348164 CPUtime=1661.8 cores=0,2,4,6
/proc/24082/stat : 24082 (toysat) R 24079 24082 21062 0 -1 4202496 278646 0 0 0 166137 43 0 0 20 0 4 0 29726086 1380519936 278276 33554432000 4194304 16246674 140736701676160 140736701675336 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24082/statm: 337041 278276 892 2943 0 333935 0
[pid=24082/tid=24083] ppid=24079 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24083/stat : 24083 (toysat) S 24079 24082 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29726086 1380519936 278276 33554432000 4194304 16246674 140736701676160 140652464549104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24082/tid=24084] ppid=24079 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24084/stat : 24084 (toysat) S 24079 24082 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29726086 1380519936 278276 33554432000 4194304 16246674 140736701676160 140652454059248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24082/tid=24085] ppid=24079 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24085/stat : 24085 (toysat) S 24079 24082 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29726086 1380519936 278276 33554432000 4194304 16246674 140736701676160 140652443585712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1348164

[startup+1722.3 s]
/proc/loadavg: 2.22 2.23 2.18 3/183 24200
/proc/meminfo: memFree=28489024/32872528 swapFree=1085692/1157232
[pid=24082] ppid=24079 vsize=1348164 CPUtime=1721.79 cores=0,2,4,6
/proc/24082/stat : 24082 (toysat) R 24079 24082 21062 0 -1 4202496 278646 0 0 0 172136 43 0 0 20 0 4 0 29726086 1380519936 278276 33554432000 4194304 16246674 140736701676160 140736701658048 5675521 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24082/statm: 337041 278276 892 2943 0 333935 0
[pid=24082/tid=24083] ppid=24079 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24083/stat : 24083 (toysat) S 24079 24082 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29726086 1380519936 278276 33554432000 4194304 16246674 140736701676160 140652464549104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24082/tid=24084] ppid=24079 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24084/stat : 24084 (toysat) S 24079 24082 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29726086 1380519936 278276 33554432000 4194304 16246674 140736701676160 140652454059248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24082/tid=24085] ppid=24079 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24085/stat : 24085 (toysat) S 24079 24082 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29726086 1380519936 278276 33554432000 4194304 16246674 140736701676160 140652443585712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1348164

[startup+1782.3 s]
/proc/loadavg: 2.33 2.26 2.19 3/183 24202
/proc/meminfo: memFree=28488916/32872528 swapFree=1085692/1157232
[pid=24082] ppid=24079 vsize=1348164 CPUtime=1781.78 cores=0,2,4,6
/proc/24082/stat : 24082 (toysat) R 24079 24082 21062 0 -1 4202496 278646 0 0 0 178134 44 0 0 20 0 4 0 29726086 1380519936 278276 33554432000 4194304 16246674 140736701676160 140736701658048 5823723 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24082/statm: 337041 278276 892 2943 0 333935 0
[pid=24082/tid=24083] ppid=24079 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24083/stat : 24083 (toysat) S 24079 24082 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29726086 1380519936 278276 33554432000 4194304 16246674 140736701676160 140652464549104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24082/tid=24084] ppid=24079 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24084/stat : 24084 (toysat) S 24079 24082 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29726086 1380519936 278276 33554432000 4194304 16246674 140736701676160 140652454059248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24082/tid=24085] ppid=24079 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24085/stat : 24085 (toysat) S 24079 24082 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29726086 1380519936 278276 33554432000 4194304 16246674 140736701676160 140652443585712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1348164



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.31 2.26 2.19 3/183 24202
/proc/meminfo: memFree=28489292/32872528 swapFree=1085692/1157232
[pid=24082] ppid=24079 vsize=1348164 CPUtime=1800.08 cores=0,2,4,6
/proc/24082/stat : 24082 (toysat) R 24079 24082 21062 0 -1 4202496 278646 0 0 0 179964 44 0 0 20 0 4 0 29726086 1380519936 278276 33554432000 4194304 16246674 140736701676160 140736701675336 6021072 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24082/statm: 337041 278276 892 2943 0 333935 0
[pid=24082/tid=24083] ppid=24079 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24083/stat : 24083 (toysat) S 24079 24082 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29726086 1380519936 278276 33554432000 4194304 16246674 140736701676160 140652464549104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24082/tid=24084] ppid=24079 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24084/stat : 24084 (toysat) S 24079 24082 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29726086 1380519936 278276 33554432000 4194304 16246674 140736701676160 140652454059248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24082/tid=24085] ppid=24079 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/24082/task/24085/stat : 24085 (toysat) S 24079 24082 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29726086 1380519936 278276 33554432000 4194304 16246674 140736701676160 140652443585712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1348164

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 24082 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.09
CPU user time (s): 1799.65
CPU system time (s): 0.442932
CPU usage (%): 99.9712
Max. virtual memory (cumulated for all children) (KiB): 1348164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.65
system time used= 0.442932
maximum resident set size= 1113104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278646
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= 430
involuntary context switches= 1837

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.65329 second user time and 6.85896 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-26 20:47:44
IDJOB=4116469
IDBENCH=109474
IDSOLVER=2542
FILE ID=node114/4116469-1466966864
RUNJOBID= node114-1466944456-21078
PBS_JOBID= 19976359
Free space on /tmp= 71640 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size144-round22-4.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116469-1466966864/watcher-4116469-1466966864 -o /tmp/evaluation-result-4116469-1466966864/solver-4116469-1466966864 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1466944456-21078 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4116469-1466966864.opb

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

MD5SUM BENCH= 684f6855c1ee33724b7a5e32b76a4f80
RANDOM SEED=7258106

node114.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.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.70
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.852
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.852
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.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29613792 kB
Buffers:           40572 kB
Cached:           223296 kB
SwapCached:        38928 kB
Active:          1162168 kB
Inactive:         236460 kB
Active(anon):    1099256 kB
Inactive(anon):    37760 kB
Active(file):      62912 kB
Inactive(file):   198700 kB
Unevictable:     1157232 kB
Mlocked:         1085692 kB
SwapTotal:      67108856 kB
SwapFree:       67061384 kB
Dirty:             16716 kB
Writeback:             0 kB
AnonPages:       2253756 kB
Mapped:            10660 kB
Shmem:                 0 kB
Slab:             567548 kB
SReclaimable:      11808 kB
SUnreclaim:       555740 kB
KernelStack:        1520 kB
PageTables:         8232 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2397684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1161216 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= 71624 MiB
End job on node114 at 2016-06-26 21:17:45