Trace number 4116037

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.11 1800.61

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size160-round22-4.opb
MD5SUM344549aeea11b09ac3620105579ad4ec
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark259.892
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 constraints8736
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)448
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-26T21:17:46+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-4116037-1466968666.opb"]
0.00/0.01	c use --random-gen="4194733387 1648970128 3447648504 2722400746 1469298240 1543295131 4119075714 989928565 2787090669 6244969 1932257698 3406467880 2574061121 3946232698 1751479261 2846318059 3073653420 3595169207 2399508018 4202604059 1260442565 3209495289 2680925647 2878690699 2832221592 1228925738 3312407236 1747245808 3472819312 4069485362 3450070143 1759337584 2896946001 1567439752 1995169626 2617731609 4242328116 3439807104 3663780556 2406223602 1384519913 2771892249 396388352 2146214847 1860433610 1628281386 2683376477 1426626272 1794987051 641911260 860491820 3536840603 2868342250 1875008017 2455852272 4243939925 945870946 3465301445 3355198727 3019144932 578279487 4286414282 276235466 861087409 3294232642 1109755835 3881623144 3324014809 2490030259 3409423671 2746811626 3419838940 9177896 1129509209 3023438113 3489296689 2026898393 2934237672 3252585316 4180393801 2310232297 3153851261 3213301801 3396816836 152610187 1045501946 1851804981 3724279994 810827055 266424012 229884060 1164537326 505292099 183717124 3250803971 1723577223 4040837105 2135391065 3081908190 1502125556 2467479487 863533323 1449387320 2365243944 3233965192 3184620801 1609614059 3438931927 3311897943 1835740253 2621833901 3441811452 1690375079 2237506087 1213033797 1255539076 1189101016 3511290670 510986852 263080390 4188070713 910640974 1911801092 1236866884 174328719 13051594 3365412957 3670009715 1629014722 2427513811 2938721650 3806166655 868616746 3762151122 443523518 3397929646 46177046 3966332976 1108345222 3669372152 2831968660 2196591893 155042046 810557291 4107326756 396809322 2480561560 3144129401 1610115667 1585377214 3270153498 2532862679 4160833389 381500006 4281573089 3619986025 604944784 1929215712 1486562314 2969582762 2237489342 844596903 1016499648 1864823779 1136302679 2816336551 956501319 2002926072 1827970712 4192068692 1374550233 1407567905 2391142608 2000897835 3850224199 3357543808 3445865285 1393444773 24502468 841759826 618951908 1149304307 377864158 1227243681 323952780 3357238220 1296726117 3443973978 2373166847 3279653595 2124835459 3625522153 856805998 123391266 30756889 833950009 443609641 2332095170 593745807 1238910877 746505123 4070083853 2235208531 207409975 2771229037 2801665453 1466781991 287360507 2851355166 1953764691 2659045564 2236898659 397931461 2039090075 3562683961 3464090283 3464244169 1782754414 3751087179 121254765 1372648955 4288445359 2623453833 3800262966 2629430172 3447837632 2247397314 1481076332 3950258885 1296860159 3516112568 3802793210 2082426672 406190395 1030398714 936713891 1095021043 2413758678 281812445 3990723563 3406022793 3496941474 609879912 1384869702 2065356318 3893878231 2233731650 3722305193 2333658472 834336866 1226767625 527966259 432183124 3495778626 358580816 1851528569 255 362436" option to reproduce the execution
0.09/0.11	c #vars 4128
0.09/0.11	c #constraints 8736
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 |      907 |        0
0.29/0.34	c  0.1s |       1 |      405 |      100 |     4234      0 |      908 |      880
0.39/0.42	c  0.2s |       2 |     2176 |      250 |     4658      0 |      908 |      880
0.49/0.54	c  0.3s |       3 |     2783 |      475 |     5124      0 |      908 |      880
0.69/0.77	c  0.5s |       4 |     4963 |      813 |     5637      0 |      908 |      880
1.29/1.32	c  1.1s |       5 |     7154 |     1320 |     6201      0 |      909 |      880
1.78/1.86	c  1.6s |       6 |    11146 |     2081 |     7505      0 |      909 |      880
3.49/3.57	c  3.3s |       7 |    14784 |     3223 |     8256      0 |      909 |      880
5.49/5.58	c  5.3s |       8 |    17712 |     4936 |     9082      0 |      909 |      880
7.58/7.67	c  7.4s |       8 |    21975 |     6836 |     9082      0 |      909 |      880
8.68/8.76	c  8.5s |       9 |    22870 |     7506 |     9991      0 |      909 |      880
10.69/10.79	c 10.5s |       9 |    28527 |     9306 |     9991      0 |      910 |      880
12.69/12.79	c 12.5s |       9 |    32022 |    11006 |     9991      0 |      910 |      880
13.20/13.30	c 13.0s |      10 |    32404 |    11361 |    10991      0 |      910 |      880
15.29/15.34	c 15.1s |      10 |    34545 |    12861 |    10991      0 |      910 |      880
17.39/17.44	c 17.2s |      10 |    35933 |    14161 |    10991      1 |      910 |      880
19.49/19.57	c 19.3s |      10 |    37303 |    15461 |    10991      1 |      910 |      880
21.59/21.63	c 21.4s |      10 |    38569 |    16661 |    10991      1 |      910 |      880
22.39/22.49	c 22.2s |      11 |    39065 |    17144 |    12091      1 |      910 |      880
24.49/24.59	c 24.3s |      11 |    44231 |    19444 |    12091      1 |      910 |      880
26.59/26.62	c 26.4s |      11 |    46674 |    21144 |    12091      1 |      910 |      880
28.60/28.70	c 28.4s |      11 |    48574 |    22544 |    12091      2 |      910 |      880
30.69/30.80	c 30.5s |      11 |    50769 |    24044 |    12091      2 |      910 |      880
32.79/32.86	c 32.6s |      11 |    52145 |    25144 |    12091      2 |      910 |      880
33.99/34.03	c 33.8s |      12 |    53066 |    25819 |    13301      2 |      910 |      880
35.99/36.05	c 35.8s |      12 |    57169 |    27619 |    13301      2 |      910 |      880
38.09/38.19	c 37.9s |      12 |    58756 |    29019 |    13301      2 |      910 |      880
40.19/40.25	c 40.0s |      12 |    60103 |    30219 |    13301      2 |      910 |      880
42.39/42.40	c 42.1s |      12 |    61157 |    31219 |    13301      3 |      910 |      880
44.49/44.51	c 44.3s |      12 |    62372 |    32319 |    13301      3 |      910 |      880
46.58/46.69	c 46.4s |      12 |    63327 |    33219 |    13301      3 |      910 |      880
48.78/48.89	c 48.6s |      12 |    64595 |    34319 |    13301      3 |      910 |      880
50.88/50.90	c 50.6s |      12 |    65574 |    35219 |    13301      3 |      910 |      880
52.89/52.96	c 52.7s |      12 |    66597 |    36119 |    13301      3 |      910 |      880
54.99/55.04	c 54.8s |      12 |    67594 |    37019 |    13301      3 |      910 |      880
57.19/57.21	c 57.0s |      12 |    68562 |    37919 |    13301      3 |      910 |      880
59.28/59.33	c 59.1s |      12 |    69553 |    38819 |    14632      3 |      910 |      880
59.28/59.37	c 59.1s |      13 |    69563 |    38832 |    14632      3 |      910 |      880
61.38/61.40	c 61.1s |      13 |    75182 |    40432 |    14632      4 |      910 |      880
63.38/63.40	c 63.1s |      13 |    80029 |    42132 |    14632      4 |      910 |      880
65.48/65.50	c 65.2s |      13 |    83576 |    44032 |    14632      4 |      910 |      880
67.48/67.59	c 67.3s |      13 |    85952 |    45532 |    14632      4 |      910 |      880
69.58/69.61	c 69.4s |      13 |    89378 |    47032 |    14632      4 |      910 |      880
71.68/71.70	c 71.4s |      13 |    91365 |    48432 |    14632      4 |      910 |      880
73.68/73.72	c 73.5s |      13 |    92869 |    49532 |    14632      5 |      910 |      880
75.67/75.76	c 75.5s |      13 |    95337 |    51032 |    14632      5 |      910 |      880
77.77/77.85	c 77.6s |      13 |    96638 |    52132 |    14632      5 |      910 |      880
79.87/79.96	c 79.7s |      13 |    97786 |    53132 |    14632      5 |      910 |      880
81.87/81.97	c 81.7s |      13 |    98838 |    54032 |    14632      5 |      910 |      880
84.07/84.20	c 83.9s |      13 |    99735 |    54832 |    14632      5 |      910 |      880
86.17/86.28	c 86.0s |      13 |   101142 |    55932 |    14632      5 |      910 |      880
88.27/88.36	c 88.1s |      13 |   102186 |    56832 |    14632      5 |      910 |      880
90.37/90.42	c 90.2s |      13 |   103210 |    57732 |    14632      5 |      910 |      880
91.97/92.01	c 91.8s |      14 |   103939 |    58352 |    16096      6 |      910 |      880
94.07/94.11	c 93.9s |      14 |   110951 |    60652 |    16096      6 |      910 |      880
96.17/96.22	c 96.0s |      14 |   114732 |    62652 |    16096      6 |      910 |      880
98.37/98.41	c 98.2s |      14 |   116490 |    63852 |    16096      6 |      910 |      880
100.67/100.71	c  100s |      14 |   117249 |    64452 |    16096      6 |      910 |      880
102.67/102.78	c  102s |      14 |   120864 |    65752 |    16096      6 |      910 |      880
104.77/104.88	c  104s |      14 |   123038 |    67252 |    16096      6 |      910 |      880
106.77/106.88	c  106s |      14 |   124289 |    68252 |    16096      7 |      910 |      880
108.87/108.99	c  108s |      14 |   125754 |    69452 |    16096      7 |      910 |      880
111.07/111.18	c  110s |      14 |   126874 |    70352 |    16096      7 |      910 |      880
113.16/113.26	c  113s |      14 |   128097 |    71352 |    16096      7 |      910 |      880
115.16/115.28	c  115s |      14 |   129333 |    72352 |    16096      7 |      910 |      880
117.36/117.47	c  117s |      14 |   130445 |    73252 |    16096      7 |      910 |      880
119.46/119.59	c  119s |      14 |   131383 |    74052 |    16096      7 |      910 |      880
121.56/121.60	c  121s |      14 |   132507 |    74952 |    16096      7 |      910 |      880
123.56/123.67	c  123s |      14 |   133633 |    75852 |    16096      7 |      910 |      880
125.76/125.81	c  125s |      14 |   135100 |    76952 |    16096      7 |      910 |      880
127.96/128.04	c  127s |      14 |   136279 |    77852 |    16096      8 |      910 |      880
130.06/130.13	c  129s |      14 |   137638 |    78952 |    16096      8 |      910 |      880
132.16/132.29	c  132s |      14 |   138880 |    79952 |    16096      8 |      910 |      880
134.36/134.45	c  134s |      14 |   139920 |    80852 |    16096      8 |      910 |      880
136.47/136.58	c  136s |      14 |   141145 |    81852 |    16096      8 |      910 |      880
138.66/138.77	c  138s |      14 |   142217 |    82752 |    16096      8 |      910 |      880
140.76/140.90	c  140s |      14 |   143165 |    83552 |    16096      8 |      910 |      880
142.96/143.01	c  142s |      14 |   144076 |    84352 |    16096      8 |      910 |      880
145.06/145.18	c  144s |      14 |   145463 |    85352 |    16096      8 |      910 |      880
147.26/147.38	c  147s |      14 |   146588 |    86352 |    16096      8 |      910 |      880
149.45/149.51	c  149s |      14 |   147457 |    87152 |    17706      8 |      910 |      880
150.66/150.79	c  150s |      15 |   147988 |    87632 |    17706      8 |      910 |      880
152.75/152.86	c  152s |      15 |   151671 |    89232 |    17706      9 |      910 |      880
154.85/154.99	c  154s |      15 |   153908 |    90932 |    17706      9 |      910 |      880
156.95/157.05	c  156s |      15 |   156386 |    92732 |    17706      9 |      910 |      880
159.05/159.10	c  158s |      15 |   158901 |    94532 |    17706      9 |      910 |      880
161.05/161.18	c  160s |      15 |   160257 |    95832 |    17706      9 |      910 |      880
163.15/163.21	c  162s |      15 |   161504 |    97032 |    17706      9 |      910 |      880
165.15/165.27	c  165s |      15 |   162917 |    98232 |    17706      9 |      910 |      880
167.25/167.34	c  167s |      15 |   163913 |    99132 |    17706     10 |      910 |      880
169.25/169.38	c  169s |      15 |   165011 |   100132 |    17706     10 |      910 |      880
171.35/171.47	c  171s |      15 |   166087 |   101132 |    17706     10 |      910 |      880
173.35/173.47	c  173s |      15 |   166929 |   101932 |    17706     10 |      910 |      880
175.45/175.55	c  175s |      15 |   167779 |   102732 |    17706     10 |      910 |      880
177.55/177.68	c  177s |      15 |   168667 |   103532 |    17706     10 |      910 |      880
179.75/179.83	c  179s |      15 |   169515 |   104332 |    17706     10 |      910 |      880
181.95/182.04	c  181s |      15 |   170375 |   105132 |    17706     10 |      910 |      880
184.15/184.26	c  184s |      15 |   171237 |   105932 |    17706     10 |      910 |      880
186.44/186.57	c  186s |      15 |   172115 |   106732 |    17706     10 |      910 |      880
188.64/188.76	c  188s |      15 |   172882 |   107432 |    17706     10 |      910 |      880
190.74/190.81	c  190s |      15 |   173628 |   108132 |    17706     10 |      910 |      880
193.04/193.15	c  192s |      15 |   174370 |   108832 |    17706     10 |      910 |      880
195.04/195.17	c  194s |      15 |   174999 |   109432 |    17706     11 |      910 |      880
197.34/197.47	c  197s |      15 |   175849 |   110232 |    17706     11 |      910 |      880
199.34/199.47	c  199s |      15 |   176582 |   110932 |    17706     11 |      910 |      880
201.44/201.57	c  201s |      15 |   177323 |   111632 |    17706     11 |      910 |      880
203.64/203.79	c  203s |      15 |   178054 |   112332 |    17706     11 |      910 |      880
205.94/206.02	c  205s |      15 |   178795 |   113032 |    17706     11 |      910 |      880
208.24/208.31	c  208s |      15 |   179552 |   113732 |    17706     11 |      910 |      880
210.44/210.56	c  210s |      15 |   180283 |   114432 |    17706     11 |      910 |      880
212.63/212.77	c  212s |      15 |   181014 |   115132 |    17706     11 |      910 |      880
215.03/215.15	c  214s |      15 |   181628 |   115732 |    17706     11 |      910 |      880
217.33/217.44	c  217s |      15 |   182263 |   116332 |    17706     11 |      910 |      880
219.33/219.47	c  219s |      15 |   182786 |   116832 |    17706     11 |      910 |      880
221.43/221.60	c  221s |      15 |   183429 |   117432 |    17706     11 |      910 |      880
223.53/223.70	c  223s |      15 |   184040 |   118032 |    17706     11 |      910 |      880
225.83/225.98	c  225s |      15 |   184669 |   118632 |    17706     11 |      910 |      880
228.13/228.24	c  227s |      15 |   185286 |   119232 |    17706     11 |      910 |      880
230.23/230.33	c  230s |      15 |   185806 |   119732 |    17706     12 |      910 |      880
232.22/232.40	c  232s |      15 |   186536 |   120432 |    17706     12 |      910 |      880
234.33/234.41	c  234s |      15 |   187269 |   121132 |    17706     12 |      910 |      880
236.43/236.57	c  236s |      15 |   188000 |   121832 |    17706     12 |      910 |      880
238.52/238.62	c  238s |      15 |   188744 |   122532 |    17706     12 |      910 |      880
240.62/240.77	c  240s |      15 |   190508 |   123732 |    17706     12 |      910 |      880
242.72/242.88	c  242s |      15 |   191972 |   124832 |    17706     12 |      910 |      880
244.82/244.92	c  244s |      15 |   192942 |   125732 |    17706     12 |      910 |      880
246.92/247.03	c  246s |      15 |   195100 |   127232 |    17706     12 |      910 |      880
248.92/249.03	c  248s |      15 |   197331 |   128532 |    17706     12 |      910 |      880
251.11/251.22	c  250s |      15 |   199155 |   129632 |    17706     12 |      910 |      880
253.11/253.29	c  253s |      15 |   202081 |   130732 |    19477     13 |      910 |      880
254.02/254.16	c  253s |      16 |   204046 |   131552 |    19477     13 |      910 |      880
256.01/256.16	c  255s |      16 |   210547 |   133552 |    19477     13 |      910 |      880
258.21/258.32	c  258s |      16 |   215307 |   135752 |    19477     13 |      910 |      880
260.20/260.32	c  260s |      16 |   217312 |   137252 |    19477     13 |      910 |      880
262.20/262.35	c  262s |      16 |   219080 |   138552 |    19477     13 |      910 |      880
264.30/264.47	c  264s |      16 |   221443 |   140152 |    19477     13 |      910 |      880
266.40/266.53	c  266s |      16 |   223641 |   141552 |    19477     13 |      910 |      880
268.41/268.56	c  268s |      16 |   224971 |   142552 |    19477     14 |      910 |      880
270.70/270.82	c  270s |      16 |   226152 |   143552 |    19477     14 |      910 |      880
272.80/272.96	c  272s |      16 |   227860 |   144752 |    19477     14 |      910 |      880
275.00/275.14	c  274s |      16 |   229141 |   145752 |    19477     14 |      910 |      880
277.20/277.32	c  277s |      16 |   230416 |   146752 |    19477     14 |      910 |      880
279.40/279.51	c  279s |      16 |   231341 |   147552 |    19477     14 |      910 |      880
281.39/281.56	c  281s |      16 |   232363 |   148352 |    19477     14 |      910 |      880
283.59/283.70	c  283s |      16 |   233394 |   149152 |    19477     14 |      910 |      880
285.59/285.76	c  285s |      16 |   234498 |   149952 |    19477     14 |      910 |      880
287.79/287.96	c  287s |      16 |   235775 |   150952 |    19477     14 |      910 |      880
289.99/290.13	c  289s |      16 |   236746 |   151752 |    19477     14 |      910 |      880
292.09/292.23	c  291s |      16 |   237613 |   152452 |    19477     14 |      910 |      880
294.19/294.37	c  294s |      16 |   238422 |   153152 |    19477     14 |      910 |      880
296.49/296.64	c  296s |      16 |   239266 |   153852 |    19477     14 |      910 |      880
298.69/298.85	c  298s |      16 |   240067 |   154552 |    19477     15 |      910 |      880
300.79/300.97	c  300s |      16 |   241270 |   155452 |    19477     15 |      910 |      880
302.98/303.11	c  302s |      16 |   242589 |   156452 |    19477     15 |      910 |      880
305.08/305.23	c  304s |      16 |   243763 |   157352 |    19477     15 |      910 |      880
307.28/307.42	c  307s |      16 |   245262 |   158452 |    19477     15 |      910 |      880
309.38/309.53	c  309s |      16 |   246390 |   159352 |    19477     15 |      910 |      880
311.48/311.63	c  311s |      16 |   247360 |   160152 |    19477     15 |      910 |      880
313.58/313.73	c  313s |      16 |   248347 |   160952 |    19477     15 |      910 |      880
315.78/315.94	c  315s |      16 |   249519 |   161852 |    19477     15 |      910 |      880
317.78/317.99	c  317s |      16 |   250327 |   162552 |    19477     15 |      910 |      880
319.87/320.06	c  319s |      16 |   251172 |   163252 |    19477     15 |      910 |      880
321.97/322.18	c  321s |      16 |   252349 |   164152 |    19477     15 |      910 |      880
324.07/324.22	c  323s |      16 |   253178 |   164852 |    19477     15 |      910 |      880
326.17/326.38	c  326s |      16 |   253786 |   165352 |    19477     16 |      910 |      880
328.27/328.43	c  328s |      16 |   254749 |   166152 |    19477     16 |      910 |      880
330.37/330.51	c  330s |      16 |   255788 |   167052 |    19477     16 |      910 |      880
332.37/332.52	c  332s |      16 |   256750 |   167852 |    19477     16 |      910 |      880
334.57/334.70	c  334s |      16 |   257823 |   168752 |    19477     16 |      910 |      880
336.78/336.92	c  336s |      16 |   258764 |   169552 |    19477     16 |      910 |      880
338.88/339.02	c  338s |      16 |   259554 |   170252 |    19477     16 |      910 |      880
340.98/341.18	c  340s |      16 |   260485 |   171052 |    19477     16 |      910 |      880
343.27/343.40	c  343s |      16 |   261475 |   171852 |    19477     16 |      910 |      880
345.38/345.58	c  345s |      16 |   262280 |   172552 |    19477     16 |      910 |      880
347.48/347.68	c  347s |      16 |   263320 |   173352 |    19477     16 |      910 |      880
349.68/349.87	c  349s |      16 |   264350 |   174152 |    19477     16 |      910 |      880
351.98/352.14	c  351s |      16 |   265186 |   174852 |    19477     16 |      910 |      880
353.97/354.14	c  353s |      16 |   266091 |   175552 |    19477     16 |      910 |      880
356.17/356.32	c  356s |      16 |   267023 |   176252 |    19477     16 |      910 |      880
358.37/358.53	c  358s |      16 |   267963 |   176952 |    19477     17 |      910 |      880
360.56/360.70	c  360s |      16 |   269293 |   177952 |    19477     17 |      910 |      880
362.56/362.76	c  362s |      16 |   270461 |   178852 |    19477     17 |      910 |      880
364.76/364.93	c  364s |      16 |   271604 |   179752 |    19477     17 |      910 |      880
366.96/367.10	c  366s |      16 |   272560 |   180552 |    19477     17 |      910 |      880
368.96/369.19	c  368s |      16 |   273539 |   181352 |    19477     17 |      910 |      880
371.26/371.48	c  371s |      16 |   274620 |   182152 |    19477     17 |      910 |      880
373.56/373.70	c  373s |      16 |   275415 |   182852 |    19477     17 |      910 |      880
375.56/375.73	c  375s |      16 |   276095 |   183452 |    19477     17 |      910 |      880
377.56/377.78	c  377s |      16 |   276885 |   184152 |    19477     17 |      910 |      880
379.76/379.98	c  379s |      16 |   277805 |   184952 |    19477     17 |      910 |      880
382.05/382.29	c  382s |      16 |   278764 |   185752 |    19477     17 |      910 |      880
384.35/384.52	c  384s |      16 |   279579 |   186452 |    19477     17 |      910 |      880
386.45/386.66	c  386s |      16 |   280375 |   187152 |    19477     17 |      910 |      880
388.85/389.01	c  388s |      16 |   281247 |   187852 |    19477     17 |      910 |      880
390.85/391.06	c  390s |      16 |   282183 |   188552 |    19477     18 |      910 |      880
392.95/393.16	c  392s |      16 |   283109 |   189352 |    19477     18 |      910 |      880
395.25/395.42	c  395s |      16 |   284192 |   190252 |    19477     18 |      910 |      880
397.25/397.47	c  397s |      16 |   285056 |   190952 |    19477     18 |      910 |      880
399.45/399.64	c  399s |      16 |   285881 |   191652 |    19477     18 |      910 |      880
401.45/401.69	c  401s |      16 |   286760 |   192352 |    19477     18 |      910 |      880
403.55/403.80	c  403s |      16 |   287813 |   193152 |    19477     18 |      910 |      880
405.64/405.83	c  405s |      16 |   288704 |   193852 |    19477     18 |      910 |      880
407.74/407.98	c  407s |      16 |   289789 |   194752 |    19477     18 |      910 |      880
409.84/410.06	c  409s |      16 |   290760 |   195552 |    19477     18 |      910 |      880
411.84/412.08	c  411s |      16 |   291647 |   196252 |    21425     18 |      910 |      880
413.94/414.10	c  413s |      16 |   292405 |   196852 |    21425     18 |      910 |      880
415.74/415.95	c  415s |      17 |   293096 |   197432 |    21425     18 |      910 |      880
417.84/418.06	c  417s |      17 |   296268 |   198932 |    21425     18 |      910 |      880
419.83/420.06	c  419s |      17 |   298512 |   200432 |    21425     18 |      910 |      880
421.93/422.19	c  421s |      17 |   299897 |   201532 |    21425     19 |      910 |      880
424.03/424.27	c  424s |      17 |   301144 |   202632 |    21425     19 |      910 |      880
426.13/426.35	c  426s |      17 |   302559 |   203832 |    21425     19 |      910 |      880
428.13/428.37	c  428s |      17 |   304053 |   205032 |    21425     19 |      910 |      880
430.32/430.52	c  430s |      17 |   305475 |   206232 |    21425     19 |      910 |      880
432.42/432.60	c  432s |      17 |   306764 |   207332 |    21425     19 |      910 |      880
434.43/434.68	c  434s |      17 |   307929 |   208332 |    21425     19 |      910 |      880
436.63/436.89	c  436s |      17 |   309072 |   209332 |    21425     19 |      910 |      880
438.83/439.03	c  438s |      17 |   310125 |   210232 |    21425     19 |      910 |      880
441.02/441.22	c  440s |      17 |   311146 |   211132 |    21425     19 |      910 |      880
443.32/443.54	c  443s |      17 |   312169 |   212032 |    21425     19 |      910 |      880
445.42/445.69	c  445s |      17 |   313088 |   212832 |    21425     19 |      910 |      880
447.52/447.79	c  447s |      17 |   313887 |   213532 |    21425     19 |      910 |      880
449.62/449.84	c  449s |      17 |   314579 |   214132 |    21425     20 |      910 |      880
451.81/452.02	c  451s |      17 |   315348 |   214832 |    21425     20 |      910 |      880
454.01/454.23	c  453s |      17 |   316246 |   215632 |    21425     20 |      910 |      880
456.21/456.42	c  456s |      17 |   317037 |   216332 |    21425     20 |      910 |      880
458.41/458.68	c  458s |      17 |   317961 |   217132 |    21425     20 |      910 |      880
460.71/460.98	c  460s |      17 |   318778 |   217832 |    21425     20 |      910 |      880
462.81/463.04	c  462s |      17 |   319576 |   218532 |    21425     20 |      910 |      880
465.01/465.21	c  464s |      17 |   320245 |   219132 |    21425     20 |      910 |      880
467.01/467.24	c  466s |      17 |   320900 |   219732 |    21425     20 |      910 |      880
469.21/469.45	c  469s |      17 |   321561 |   220332 |    21425     20 |      910 |      880
471.60/471.82	c  471s |      17 |   322350 |   221032 |    21425     20 |      910 |      880
473.70/473.97	c  473s |      17 |   323022 |   221632 |    21425     20 |      910 |      880
475.80/476.04	c  475s |      17 |   323697 |   222232 |    21425     20 |      910 |      880
478.10/478.30	c  478s |      17 |   324478 |   222932 |    21425     20 |      910 |      880
480.30/480.54	c  480s |      17 |   325141 |   223532 |    21425     20 |      910 |      880
482.60/482.86	c  482s |      17 |   325817 |   224132 |    21425     20 |      910 |      880
484.70/484.96	c  484s |      17 |   326471 |   224732 |    21425     20 |      910 |      880
487.00/487.23	c  486s |      17 |   327131 |   225332 |    21425     20 |      910 |      880
489.20/489.43	c  489s |      17 |   327825 |   225932 |    21425     20 |      910 |      880
491.29/491.54	c  491s |      17 |   328421 |   226432 |    21425     21 |      910 |      880
493.39/493.62	c  493s |      17 |   329350 |   227232 |    21425     21 |      910 |      880
495.49/495.78	c  495s |      17 |   330238 |   228032 |    21425     21 |      910 |      880
497.59/497.81	c  497s |      17 |   330988 |   228732 |    21425     21 |      910 |      880
499.79/500.00	c  499s |      17 |   332071 |   229632 |    21425     21 |      910 |      880
501.79/502.04	c  501s |      17 |   332961 |   230432 |    21425     21 |      910 |      880
503.89/504.11	c  503s |      17 |   333760 |   231132 |    21425     21 |      910 |      880
505.90/506.17	c  505s |      17 |   334527 |   231832 |    21425     21 |      910 |      880
507.89/508.20	c  507s |      17 |   335362 |   232532 |    21425     21 |      910 |      880
510.29/510.52	c  510s |      17 |   336285 |   233332 |    21425     21 |      910 |      880
512.28/512.59	c  512s |      17 |   336960 |   233932 |    21425     21 |      910 |      880
514.48/514.77	c  514s |      17 |   337649 |   234532 |    21425     21 |      910 |      880
516.48/516.79	c  516s |      17 |   338326 |   235132 |    21425     21 |      910 |      880
518.88/519.10	c  518s |      17 |   338982 |   235732 |    21425     21 |      910 |      880
520.98/521.25	c  520s |      17 |   339536 |   236232 |    21425     21 |      910 |      880
523.08/523.33	c  523s |      17 |   340092 |   236732 |    21425     21 |      910 |      880
525.28/525.53	c  525s |      17 |   340764 |   237332 |    21425     21 |      910 |      880
527.38/527.69	c  527s |      17 |   341312 |   237832 |    21425     21 |      910 |      880
529.87/530.18	c  529s |      17 |   341845 |   238332 |    21425     22 |      910 |      880
532.07/532.37	c  532s |      17 |   342593 |   239032 |    21425     22 |      910 |      880
534.27/534.55	c  534s |      17 |   343253 |   239632 |    21425     22 |      910 |      880
536.27/536.55	c  536s |      17 |   343896 |   240232 |    21425     22 |      910 |      880
538.37/538.67	c  538s |      17 |   344669 |   240932 |    21425     22 |      910 |      880
540.77/541.00	c  540s |      17 |   345438 |   241632 |    21425     22 |      910 |      880
542.77/543.08	c  542s |      17 |   346108 |   242232 |    21425     22 |      910 |      880
545.07/545.33	c  545s |      17 |   346869 |   242932 |    21425     22 |      910 |      880
547.06/547.38	c  547s |      17 |   347513 |   243532 |    21425     22 |      910 |      880
549.06/549.38	c  549s |      17 |   348161 |   244132 |    21425     22 |      910 |      880
551.36/551.67	c  551s |      17 |   348962 |   244832 |    21425     22 |      910 |      880
553.46/553.77	c  553s |      17 |   349649 |   245432 |    21425     22 |      910 |      880
555.56/555.89	c  555s |      17 |   350342 |   246032 |    21425     22 |      910 |      880
557.86/558.17	c  557s |      17 |   351007 |   246632 |    21425     22 |      910 |      880
560.25/560.58	c  560s |      17 |   351541 |   247132 |    21425     22 |      910 |      880
562.55/562.80	c  562s |      17 |   352244 |   247732 |    21425     22 |      910 |      880
564.65/564.99	c  564s |      17 |   352916 |   248332 |    21425     22 |      910 |      880
566.86/567.15	c  566s |      17 |   353450 |   248832 |    21425     22 |      910 |      880
568.96/569.29	c  569s |      17 |   353991 |   249332 |    21425     22 |      910 |      880
571.16/571.45	c  571s |      17 |   354542 |   249832 |    21425     22 |      910 |      880
573.36/573.63	c  573s |      17 |   355098 |   250332 |    21425     22 |      910 |      880
576.06/576.36	c  576s |      17 |   355635 |   250832 |    21425     23 |      910 |      880
578.36/578.64	c  578s |      17 |   356399 |   251532 |    21425     23 |      910 |      880
580.45/580.74	c  580s |      17 |   357187 |   252232 |    21425     23 |      910 |      880
582.76/583.01	c  582s |      17 |   357962 |   252932 |    21425     23 |      910 |      880
584.85/585.20	c  584s |      17 |   358780 |   253632 |    21425     23 |      910 |      880
587.26/587.57	c  587s |      17 |   359561 |   254332 |    21425     23 |      910 |      880
589.55/589.82	c  589s |      17 |   360211 |   254932 |    21425     23 |      910 |      880
591.85/592.18	c  591s |      17 |   360879 |   255532 |    21425     23 |      910 |      880
594.04/594.31	c  594s |      17 |   361416 |   256032 |    21425     23 |      910 |      880
596.05/596.33	c  596s |      17 |   361965 |   256532 |    21425     23 |      910 |      880
598.04/598.35	c  598s |      17 |   362515 |   257032 |    21425     23 |      910 |      880
600.34/600.60	c  600s |      17 |   363053 |   257532 |    21425     23 |      910 |      880
602.44/602.71	c  602s |      17 |   363729 |   258132 |    21425     23 |      910 |      880
604.84/605.11	c  604s |      17 |   364407 |   258732 |    21425     23 |      910 |      880
607.04/607.37	c  607s |      17 |   364957 |   259232 |    21425     23 |      910 |      880
609.34/609.60	c  609s |      17 |   365495 |   259732 |    21425     23 |      910 |      880
611.63/611.98	c  611s |      17 |   366025 |   260232 |    21425     23 |      910 |      880
613.93/614.20	c  613s |      17 |   366570 |   260732 |    21425     23 |      910 |      880
616.03/616.38	c  616s |      17 |   366995 |   261132 |    21425     23 |      910 |      880
618.53/618.85	c  618s |      17 |   367520 |   261632 |    21425     23 |      910 |      880
620.92/621.22	c  620s |      17 |   368050 |   262132 |    21425     23 |      910 |      880
623.32/623.70	c  623s |      17 |   368599 |   262632 |    21425     23 |      910 |      880
625.42/625.77	c  625s |      17 |   369021 |   263032 |    21425     23 |      910 |      880
627.72/628.00	c  627s |      17 |   369565 |   263532 |    21425     24 |      910 |      880
629.92/630.25	c  629s |      17 |   370338 |   264232 |    21425     24 |      910 |      880
632.11/632.47	c  632s |      17 |   370976 |   264832 |    21425     24 |      910 |      880
634.42/634.80	c  634s |      17 |   371618 |   265432 |    21425     24 |      910 |      880
636.62/636.99	c  636s |      17 |   372271 |   266032 |    21425     24 |      910 |      880
638.71/639.08	c  638s |      17 |   376902 |   267732 |    21425     24 |      910 |      880
640.80/641.19	c  640s |      17 |   378514 |   269132 |    21425     24 |      910 |      880
642.90/643.30	c  643s |      17 |   380389 |   270632 |    21425     24 |      910 |      880
645.10/645.42	c  645s |      17 |   381819 |   271932 |    21425     24 |      910 |      880
647.10/647.48	c  647s |      17 |   383205 |   273132 |    21425     24 |      910 |      880
649.30/649.65	c  649s |      17 |   384734 |   274432 |    21425     24 |      910 |      880
651.40/651.77	c  651s |      17 |   385775 |   275332 |    21425     25 |      910 |      880
653.50/653.84	c  653s |      17 |   387060 |   276432 |    21425     25 |      910 |      880
655.60/655.97	c  655s |      17 |   388280 |   277532 |    21425     25 |      910 |      880
657.80/658.16	c  657s |      17 |   389410 |   278532 |    21425     25 |      910 |      880
659.80/660.18	c  659s |      17 |   390434 |   279432 |    21425     25 |      910 |      880
662.00/662.33	c  662s |      17 |   391476 |   280332 |    21425     25 |      910 |      880
664.20/664.55	c  664s |      17 |   392387 |   281132 |    21425     25 |      910 |      880
666.19/666.58	c  666s |      17 |   393448 |   282032 |    21425     25 |      910 |      880
668.39/668.73	c  668s |      17 |   394348 |   282832 |    21425     25 |      910 |      880
670.39/670.77	c  670s |      17 |   395267 |   283632 |    21425     25 |      910 |      880
672.58/672.92	c  672s |      17 |   396053 |   284332 |    21425     25 |      910 |      880
674.78/675.16	c  674s |      17 |   396990 |   285132 |    21425     25 |      910 |      880
676.88/677.29	c  677s |      17 |   397793 |   285832 |    21425     25 |      910 |      880
679.28/679.64	c  679s |      17 |   398758 |   286632 |    21425     25 |      910 |      880
681.28/681.70	c  681s |      17 |   399431 |   287232 |    21425     25 |      910 |      880
683.48/683.88	c  683s |      17 |   400257 |   287932 |    21425     26 |      910 |      880
685.58/685.90	c  685s |      17 |   401184 |   288732 |    21425     26 |      910 |      880
687.58/687.98	c  687s |      17 |   402079 |   289532 |    21425     26 |      910 |      880
689.68/690.06	c  689s |      17 |   402835 |   290232 |    21425     26 |      910 |      880
691.97/692.36	c  692s |      17 |   403730 |   291032 |    21425     26 |      910 |      880
694.07/694.43	c  694s |      17 |   404518 |   291732 |    21425     26 |      910 |      880
696.27/696.60	c  696s |      17 |   405196 |   292332 |    21425     26 |      910 |      880
698.37/698.78	c  698s |      17 |   405955 |   293032 |    21425     26 |      910 |      880
700.66/701.00	c  700s |      17 |   406759 |   293732 |    21425     26 |      910 |      880
702.76/703.16	c  702s |      17 |   407532 |   294432 |    23568     26 |      910 |      880
705.06/705.42	c  705s |      17 |   408323 |   295132 |    23568     26 |      910 |      880
707.36/707.70	c  707s |      17 |   408980 |   295732 |    23568     26 |      910 |      880
709.17/709.56	c  709s |      18 |   409544 |   296252 |    23568     26 |      910 |      880
711.26/711.67	c  711s |      18 |   414581 |   297852 |    23568     26 |      910 |      880
713.26/713.67	c  713s |      18 |   415844 |   298852 |    23568     26 |      910 |      880
715.36/715.74	c  715s |      18 |   418093 |   300252 |    23568     26 |      910 |      880
717.46/717.85	c  717s |      18 |   420328 |   301652 |    23568     26 |      910 |      880
719.55/719.97	c  719s |      18 |   421312 |   302452 |    23568     27 |      910 |      880
721.75/722.11	c  721s |      18 |   423280 |   303752 |    23568     27 |      910 |      880
723.85/724.29	c  724s |      18 |   424654 |   304752 |    23568     27 |      910 |      880
725.85/726.29	c  726s |      18 |   425877 |   305752 |    23568     27 |      910 |      880
728.05/728.42	c  728s |      18 |   427160 |   306752 |    23568     27 |      910 |      880
730.06/730.49	c  730s |      18 |   428155 |   307552 |    23568     27 |      910 |      880
732.36/732.75	c  732s |      18 |   429078 |   308352 |    23568     27 |      910 |      880
734.56/734.99	c  734s |      18 |   429989 |   309152 |    23568     27 |      910 |      880
736.85/737.22	c  736s |      18 |   430778 |   309852 |    23568     27 |      910 |      880
739.15/739.50	c  739s |      18 |   431761 |   310652 |    23568     27 |      910 |      880
741.16/741.58	c  741s |      18 |   432584 |   311352 |    23568     27 |      910 |      880
743.26/743.70	c  743s |      18 |   433261 |   311952 |    23568     27 |      910 |      880
745.56/745.93	c  745s |      18 |   433972 |   312552 |    23568     27 |      910 |      880
747.56/747.95	c  747s |      18 |   434555 |   313052 |    23568     27 |      910 |      880
749.76/750.18	c  749s |      18 |   435408 |   313752 |    23568     27 |      910 |      880
751.96/752.32	c  752s |      18 |   436152 |   314352 |    23568     27 |      910 |      880
754.16/754.60	c  754s |      18 |   436886 |   314952 |    23568     27 |      910 |      880
756.95/757.32	c  757s |      18 |   437608 |   315552 |    23568     28 |      910 |      880
759.15/759.52	c  759s |      18 |   438295 |   316152 |    23568     28 |      910 |      880
761.35/761.74	c  761s |      18 |   438985 |   316752 |    23568     28 |      910 |      880
763.45/763.80	c  763s |      18 |   439678 |   317352 |    23568     28 |      910 |      880
765.45/765.84	c  765s |      18 |   440365 |   317952 |    23568     28 |      910 |      880
767.46/767.86	c  767s |      18 |   441103 |   318552 |    23568     28 |      910 |      880
769.85/770.20	c  769s |      18 |   442071 |   319352 |    23568     28 |      910 |      880
772.05/772.45	c  772s |      18 |   442889 |   320052 |    23568     28 |      910 |      880
774.16/774.56	c  774s |      18 |   443594 |   320652 |    23568     28 |      910 |      880
776.45/776.84	c  776s |      18 |   444281 |   321252 |    23568     28 |      910 |      880
778.65/779.04	c  778s |      18 |   444952 |   321852 |    23568     28 |      910 |      880
780.85/781.20	c  780s |      18 |   445642 |   322452 |    23568     28 |      910 |      880
782.96/783.36	c  783s |      18 |   446283 |   323052 |    23568     28 |      910 |      880
785.25/785.65	c  785s |      18 |   446954 |   323652 |    23568     28 |      910 |      880
787.65/788.04	c  787s |      18 |   447669 |   324252 |    23568     28 |      910 |      880
789.95/790.39	c  790s |      18 |   448202 |   324752 |    23568     28 |      910 |      880
792.45/792.88	c  792s |      18 |   448889 |   325352 |    23568     28 |      910 |      880
794.65/795.01	c  794s |      18 |   449443 |   325852 |    23568     28 |      910 |      880
796.65/797.04	c  796s |      18 |   449911 |   326252 |    23568     28 |      910 |      880
798.75/799.16	c  798s |      18 |   450464 |   326752 |    23568     28 |      910 |      880
800.85/801.23	c  800s |      18 |   451046 |   327252 |    23568     28 |      910 |      880
802.95/803.33	c  803s |      18 |   451631 |   327752 |    23568     28 |      910 |      880
805.05/805.49	c  805s |      18 |   452215 |   328252 |    23568     28 |      910 |      880
807.25/807.63	c  807s |      18 |   452703 |   328652 |    23568     28 |      910 |      880
809.35/809.76	c  809s |      18 |   453017 |   328952 |    23568     29 |      910 |      880
811.35/811.80	c  811s |      18 |   453608 |   329452 |    23568     29 |      910 |      880
813.75/814.11	c  813s |      18 |   454340 |   330052 |    23568     29 |      910 |      880
816.04/816.42	c  816s |      18 |   455177 |   330752 |    23568     29 |      910 |      880
818.44/818.90	c  818s |      18 |   455879 |   331352 |    23568     29 |      910 |      880
820.64/821.04	c  820s |      18 |   456617 |   331952 |    23568     29 |      910 |      880
822.64/823.06	c  822s |      18 |   457312 |   332552 |    23568     29 |      910 |      880
824.94/825.32	c  825s |      18 |   458115 |   333252 |    23568     29 |      910 |      880
826.95/827.39	c  827s |      18 |   458789 |   333852 |    23568     29 |      910 |      880
829.15/829.55	c  829s |      18 |   459477 |   334452 |    23568     29 |      910 |      880
831.64/832.00	c  831s |      18 |   460052 |   334952 |    23568     29 |      910 |      880
833.94/834.39	c  834s |      18 |   460737 |   335552 |    23568     29 |      910 |      880
836.24/836.64	c  836s |      18 |   461280 |   336052 |    23568     29 |      910 |      880
838.44/838.88	c  838s |      18 |   461969 |   336652 |    23568     29 |      910 |      880
840.64/841.05	c  840s |      18 |   462657 |   337252 |    23568     29 |      910 |      880
842.94/843.31	c  843s |      18 |   463219 |   337752 |    23568     29 |      910 |      880
845.24/845.60	c  845s |      18 |   463778 |   338252 |    23568     29 |      910 |      880
847.34/847.79	c  847s |      18 |   464322 |   338752 |    23568     29 |      910 |      880
849.44/849.88	c  849s |      18 |   465022 |   339352 |    23568     29 |      910 |      880
851.84/852.23	c  851s |      18 |   465621 |   339852 |    23568     29 |      910 |      880
853.84/854.24	c  853s |      18 |   466075 |   340252 |    23568     29 |      910 |      880
856.14/856.52	c  856s |      18 |   466884 |   340852 |    23568     29 |      910 |      880
858.14/858.55	c  858s |      18 |   467514 |   341352 |    23568     29 |      910 |      880
860.34/860.72	c  860s |      18 |   468173 |   341852 |    23568     29 |      910 |      880
862.83/863.28	c  863s |      18 |   468652 |   342252 |    23568     30 |      910 |      880
864.93/865.35	c  865s |      18 |   469230 |   342752 |    23568     30 |      910 |      880
867.13/867.56	c  867s |      18 |   470103 |   343452 |    23568     30 |      910 |      880
869.23/869.61	c  869s |      18 |   470842 |   344052 |    23568     30 |      910 |      880
871.43/871.81	c  871s |      18 |   471748 |   344752 |    23568     30 |      910 |      880
873.53/873.92	c  873s |      18 |   472617 |   345452 |    23568     30 |      910 |      880
875.63/876.07	c  875s |      18 |   473307 |   346052 |    23568     30 |      910 |      880
877.73/878.14	c  877s |      18 |   473883 |   346552 |    23568     30 |      910 |      880
880.03/880.43	c  880s |      18 |   474541 |   347052 |    23568     30 |      910 |      880
882.23/882.63	c  882s |      18 |   475390 |   347752 |    23568     30 |      910 |      880
884.33/884.76	c  884s |      18 |   475978 |   348252 |    23568     30 |      910 |      880
886.63/887.05	c  886s |      18 |   476583 |   348752 |    23568     30 |      910 |      880
888.73/889.17	c  888s |      18 |   477256 |   349352 |    23568     30 |      910 |      880
890.83/891.24	c  890s |      18 |   477811 |   349852 |    23568     30 |      910 |      880
893.03/893.44	c  893s |      18 |   478386 |   350352 |    23568     30 |      910 |      880
895.23/895.61	c  895s |      18 |   478963 |   350852 |    23568     30 |      910 |      880
897.23/897.70	c  897s |      18 |   479600 |   351352 |    23568     30 |      910 |      880
899.53/899.98	c  899s |      18 |   480219 |   351852 |    23568     30 |      910 |      880
901.93/902.31	c  902s |      18 |   480834 |   352352 |    23568     30 |      910 |      880
904.13/904.54	c  904s |      18 |   481431 |   352852 |    23568     30 |      910 |      880
906.63/907.02	c  906s |      18 |   482008 |   353352 |    23568     30 |      910 |      880
909.03/909.44	c  909s |      18 |   482586 |   353852 |    23568     30 |      910 |      880
911.33/911.71	c  911s |      18 |   483157 |   354352 |    23568     30 |      910 |      880
913.63/914.05	c  913s |      18 |   483743 |   354852 |    23568     30 |      910 |      880
915.82/916.27	c  916s |      18 |   484209 |   355252 |    23568     30 |      910 |      880
918.62/919.07	c  918s |      18 |   484792 |   355752 |    23568     31 |      910 |      880
920.92/921.37	c  921s |      18 |   485474 |   356352 |    23568     31 |      910 |      880
923.12/923.50	c  923s |      18 |   486020 |   356852 |    23568     31 |      910 |      880
925.32/925.73	c  925s |      18 |   487149 |   357652 |    23568     31 |      910 |      880
927.42/927.80	c  927s |      18 |   487827 |   358252 |    23568     31 |      910 |      880
929.42/929.83	c  929s |      18 |   488666 |   358952 |    23568     31 |      910 |      880
931.43/931.84	c  931s |      18 |   489526 |   359652 |    23568     31 |      910 |      880
933.42/933.86	c  933s |      18 |   490397 |   360352 |    23568     31 |      910 |      880
935.62/936.09	c  935s |      18 |   491172 |   361052 |    23568     31 |      910 |      880
937.93/938.38	c  938s |      18 |   491975 |   361752 |    23568     31 |      910 |      880
940.32/940.76	c  940s |      18 |   492834 |   362452 |    23568     31 |      910 |      880
942.72/943.17	c  942s |      18 |   493503 |   363052 |    23568     31 |      910 |      880
945.02/945.44	c  945s |      18 |   494542 |   363752 |    23568     31 |      910 |      880
947.22/947.69	c  947s |      18 |   495413 |   364452 |    23568     31 |      910 |      880
949.62/950.05	c  949s |      18 |   496224 |   365152 |    23568     31 |      910 |      880
951.72/952.14	c  951s |      18 |   496991 |   365752 |    23568     31 |      910 |      880
954.02/954.45	c  954s |      18 |   497759 |   366352 |    23568     31 |      910 |      880
956.02/956.48	c  956s |      18 |   498356 |   366852 |    23568     31 |      910 |      880
958.42/958.84	c  958s |      18 |   499045 |   367452 |    23568     31 |      910 |      880
960.82/961.24	c  960s |      18 |   499679 |   367952 |    23568     31 |      910 |      880
963.12/963.55	c  963s |      18 |   500247 |   368452 |    23568     31 |      910 |      880
965.42/965.82	c  965s |      18 |   500838 |   368952 |    23568     31 |      910 |      880
967.72/968.17	c  967s |      18 |   501470 |   369452 |    23568     32 |      910 |      880
969.92/970.31	c  970s |      18 |   502268 |   370152 |    23568     32 |      910 |      880
971.92/972.38	c  972s |      18 |   503002 |   370752 |    23568     32 |      910 |      880
974.02/974.42	c  974s |      18 |   503555 |   371252 |    23568     32 |      910 |      880
976.32/976.70	c  976s |      18 |   504284 |   371852 |    23568     32 |      910 |      880
978.32/978.71	c  978s |      18 |   505105 |   372452 |    23568     32 |      910 |      880
980.32/980.75	c  980s |      18 |   505943 |   373152 |    23568     32 |      910 |      880
982.31/982.75	c  982s |      18 |   506641 |   373752 |    23568     32 |      910 |      880
984.31/984.79	c  984s |      18 |   507245 |   374252 |    23568     32 |      910 |      880
986.32/986.79	c  986s |      18 |   507837 |   374752 |    23568     32 |      910 |      880
988.52/988.96	c  988s |      18 |   508456 |   375252 |    23568     32 |      910 |      880
990.91/991.31	c  991s |      18 |   509033 |   375752 |    23568     32 |      910 |      880
992.92/993.36	c  993s |      18 |   509473 |   376152 |    23568     32 |      910 |      880
995.41/995.86	c  995s |      18 |   510021 |   376652 |    23568     32 |      910 |      880
997.81/998.27	c  998s |      18 |   510582 |   377152 |    23568     32 |      910 |      880
1000.41/1000.85	c 1000s |      18 |   511144 |   377652 |    23568     32 |      910 |      880
1002.82/1003.27	c 1003s |      18 |   511657 |   378152 |    23568     32 |      910 |      880
1005.21/1005.61	c 1005s |      18 |   512465 |   378752 |    23568     32 |      910 |      880
1007.22/1007.62	c 1007s |      18 |   512930 |   379152 |    23568     32 |      910 |      880
1009.21/1009.64	c 1009s |      18 |   513489 |   379652 |    23568     32 |      910 |      880
1011.41/1011.84	c 1011s |      18 |   514063 |   380152 |    23568     32 |      910 |      880
1013.81/1014.23	c 1013s |      18 |   514664 |   380652 |    23568     32 |      910 |      880
1015.91/1016.38	c 1016s |      18 |   515123 |   381052 |    23568     32 |      910 |      880
1018.41/1018.85	c 1018s |      18 |   515667 |   381552 |    23568     32 |      910 |      880
1020.81/1021.23	c 1020s |      18 |   516248 |   382052 |    23568     32 |      910 |      880
1022.91/1023.33	c 1023s |      18 |   516829 |   382552 |    23568     32 |      910 |      880
1024.91/1025.35	c 1025s |      18 |   517273 |   382952 |    23568     33 |      910 |      880
1026.91/1027.39	c 1027s |      18 |   517971 |   383552 |    23568     33 |      910 |      880
1029.21/1029.61	c 1029s |      18 |   518849 |   384252 |    23568     33 |      910 |      880
1031.21/1031.62	c 1031s |      18 |   519532 |   384852 |    23568     33 |      910 |      880
1033.40/1033.89	c 1033s |      18 |   520245 |   385452 |    23568     33 |      910 |      880
1035.51/1035.92	c 1035s |      18 |   520973 |   386052 |    23568     33 |      910 |      880
1037.61/1038.07	c 1037s |      18 |   521715 |   386652 |    23568     33 |      910 |      880
1039.91/1040.33	c 1040s |      18 |   522396 |   387252 |    23568     33 |      910 |      880
1041.91/1042.33	c 1042s |      18 |   522971 |   387752 |    23568     33 |      910 |      880
1044.21/1044.66	c 1044s |      18 |   523600 |   388252 |    23568     33 |      910 |      880
1046.41/1046.86	c 1046s |      18 |   524866 |   389052 |    23568     33 |      910 |      880
1048.71/1049.15	c 1048s |      18 |   525733 |   389752 |    23568     33 |      910 |      880
1051.01/1051.41	c 1051s |      18 |   526681 |   390452 |    23568     33 |      910 |      880
1053.21/1053.61	c 1053s |      18 |   527458 |   391052 |    23568     33 |      910 |      880
1055.31/1055.77	c 1055s |      18 |   528240 |   391652 |    23568     33 |      910 |      880
1057.31/1057.77	c 1057s |      18 |   529011 |   392252 |    23568     33 |      910 |      880
1059.41/1059.82	c 1059s |      18 |   529615 |   392752 |    23568     33 |      910 |      880
1061.71/1062.15	c 1061s |      18 |   530357 |   393352 |    23568     33 |      910 |      880
1063.91/1064.35	c 1064s |      18 |   530947 |   393852 |    23568     33 |      910 |      880
1065.91/1066.38	c 1066s |      18 |   531643 |   394352 |    23568     33 |      910 |      880
1068.01/1068.46	c 1068s |      18 |   532264 |   394852 |    23568     33 |      910 |      880
1070.11/1070.54	c 1070s |      18 |   532859 |   395352 |    23568     33 |      910 |      880
1072.11/1072.58	c 1072s |      18 |   533335 |   395752 |    23568     33 |      910 |      880
1074.31/1074.71	c 1074s |      18 |   533802 |   396152 |    23568     34 |      910 |      880
1076.51/1076.97	c 1076s |      18 |   534504 |   396752 |    23568     34 |      910 |      880
1078.71/1079.18	c 1078s |      18 |   535167 |   397352 |    23568     34 |      910 |      880
1080.71/1081.18	c 1080s |      18 |   535705 |   397852 |    23568     34 |      910 |      880
1082.81/1083.25	c 1082s |      18 |   536385 |   398452 |    23568     34 |      910 |      880
1084.81/1085.28	c 1085s |      18 |   537093 |   399052 |    23568     34 |      910 |      880
1087.11/1087.54	c 1087s |      18 |   537971 |   399752 |    23568     34 |      910 |      880
1089.21/1089.65	c 1089s |      18 |   538667 |   400352 |    23568     34 |      910 |      880
1091.51/1091.99	c 1091s |      18 |   539353 |   400952 |    23568     34 |      910 |      880
1093.70/1094.17	c 1093s |      18 |   540094 |   401552 |    23568     34 |      910 |      880
1096.00/1096.45	c 1096s |      18 |   540782 |   402152 |    23568     34 |      910 |      880
1098.10/1098.51	c 1098s |      18 |   541347 |   402652 |    23568     34 |      910 |      880
1100.30/1100.72	c 1100s |      18 |   541892 |   403152 |    23568     34 |      910 |      880
1102.50/1102.90	c 1102s |      18 |   542496 |   403652 |    23568     34 |      910 |      880
1104.70/1105.17	c 1104s |      18 |   543188 |   404252 |    23568     34 |      910 |      880
1107.00/1107.48	c 1107s |      18 |   543732 |   404752 |    23568     34 |      910 |      880
1109.10/1109.52	c 1109s |      18 |   544281 |   405252 |    23568     34 |      910 |      880
1111.10/1111.57	c 1111s |      18 |   544873 |   405752 |    23568     34 |      910 |      880
1113.50/1113.96	c 1113s |      18 |   545558 |   406352 |    23568     34 |      910 |      880
1115.80/1116.24	c 1115s |      18 |   546251 |   406952 |    23568     34 |      910 |      880
1118.20/1118.69	c 1118s |      18 |   546806 |   407452 |    23568     34 |      910 |      880
1120.51/1120.96	c 1120s |      18 |   547333 |   407952 |    23568     34 |      910 |      880
1122.81/1123.22	c 1122s |      18 |   547884 |   408452 |    23568     34 |      910 |      880
1125.10/1125.54	c 1125s |      18 |   548453 |   408952 |    23568     34 |      910 |      880
1127.50/1127.96	c 1127s |      18 |   548908 |   409352 |    23568     35 |      910 |      880
1129.70/1130.20	c 1129s |      18 |   549900 |   410052 |    23568     35 |      910 |      880
1131.90/1132.30	c 1132s |      18 |   550743 |   410752 |    23568     35 |      910 |      880
1134.30/1134.71	c 1134s |      18 |   551566 |   411452 |    23568     35 |      910 |      880
1136.40/1136.80	c 1136s |      18 |   552283 |   412052 |    23568     35 |      910 |      880
1138.40/1138.82	c 1138s |      18 |   552832 |   412552 |    23568     35 |      910 |      880
1140.40/1140.85	c 1140s |      18 |   553553 |   413152 |    23568     35 |      910 |      880
1142.70/1143.10	c 1142s |      18 |   554474 |   413852 |    23568     35 |      910 |      880
1144.70/1145.17	c 1144s |      18 |   555452 |   414552 |    23568     35 |      910 |      880
1146.79/1147.21	c 1146s |      18 |   556366 |   415252 |    23568     35 |      910 |      880
1148.79/1149.22	c 1148s |      18 |   557381 |   415952 |    23568     35 |      910 |      880
1150.99/1151.45	c 1151s |      18 |   558326 |   416652 |    23568     35 |      910 |      880
1153.29/1153.79	c 1153s |      18 |   559238 |   417352 |    23568     35 |      910 |      880
1155.39/1155.87	c 1155s |      18 |   560016 |   417952 |    23568     35 |      910 |      880
1157.69/1158.18	c 1157s |      18 |   560996 |   418652 |    23568     35 |      910 |      880
1159.79/1160.23	c 1159s |      18 |   561853 |   419252 |    23568     35 |      910 |      880
1162.09/1162.56	c 1162s |      18 |   562787 |   419952 |    23568     35 |      910 |      880
1164.19/1164.69	c 1164s |      18 |   563574 |   420552 |    23568     35 |      910 |      880
1166.39/1166.88	c 1166s |      18 |   564464 |   421252 |    23568     35 |      910 |      880
1168.59/1169.09	c 1168s |      18 |   565228 |   421852 |    23568     35 |      910 |      880
1170.69/1171.14	c 1170s |      18 |   565807 |   422352 |    23568     35 |      910 |      880
1172.69/1173.15	c 1172s |      18 |   566271 |   422752 |    23568     36 |      910 |      880
1174.89/1175.39	c 1175s |      18 |   567559 |   423652 |    23568     36 |      910 |      880
1177.09/1177.57	c 1177s |      18 |   568346 |   424352 |    23568     36 |      910 |      880
1179.39/1179.83	c 1179s |      18 |   569151 |   425052 |    23568     36 |      910 |      880
1181.49/1181.96	c 1181s |      18 |   570065 |   425752 |    23568     36 |      910 |      880
1183.49/1183.98	c 1183s |      18 |   571177 |   426552 |    23568     36 |      910 |      880
1185.79/1186.28	c 1186s |      18 |   572289 |   427352 |    23568     36 |      910 |      880
1187.89/1188.32	c 1188s |      18 |   573155 |   428052 |    23568     36 |      910 |      880
1189.99/1190.45	c 1190s |      18 |   574036 |   428752 |    23568     36 |      910 |      880
1192.19/1192.66	c 1192s |      18 |   574724 |   429352 |    23568     36 |      910 |      880
1194.19/1194.68	c 1194s |      18 |   575482 |   429952 |    23568     36 |      910 |      880
1196.49/1196.92	c 1196s |      18 |   576380 |   430652 |    23568     36 |      910 |      880
1198.49/1198.96	c 1198s |      18 |   577210 |   431352 |    23568     36 |      910 |      880
1200.48/1200.99	c 1200s |      18 |   577900 |   431952 |    23568     36 |      910 |      880
1202.48/1202.99	c 1202s |      18 |   578448 |   432452 |    23568     36 |      910 |      880
1204.68/1205.19	c 1204s |      18 |   579008 |   432952 |    23568     36 |      910 |      880
1206.88/1207.38	c 1207s |      18 |   579585 |   433452 |    23568     36 |      910 |      880
1208.98/1209.49	c 1209s |      18 |   580302 |   434052 |    23568     36 |      910 |      880
1211.18/1211.61	c 1211s |      18 |   580877 |   434552 |    23568     36 |      910 |      880
1213.28/1213.74	c 1213s |      18 |   581441 |   435052 |    23568     36 |      910 |      880
1215.28/1215.77	c 1215s |      18 |   582006 |   435552 |    23568     36 |      910 |      880
1217.48/1217.98	c 1217s |      18 |   582614 |   436052 |    23568     37 |      910 |      880
1219.78/1220.27	c 1220s |      18 |   583602 |   436852 |    23568     37 |      910 |      880
1221.98/1222.48	c 1222s |      18 |   584431 |   437552 |    23568     37 |      910 |      880
1224.28/1224.78	c 1224s |      18 |   585293 |   438252 |    23568     37 |      910 |      880
1226.58/1227.08	c 1226s |      18 |   586053 |   438952 |    23568     37 |      910 |      880
1228.68/1229.19	c 1228s |      18 |   586734 |   439552 |    23568     37 |      910 |      880
1230.98/1231.49	c 1231s |      18 |   587546 |   440252 |    23568     37 |      910 |      880
1233.28/1233.78	c 1233s |      18 |   588411 |   440952 |    23568     37 |      910 |      880
1235.58/1236.03	c 1235s |      18 |   589094 |   441552 |    25925     37 |      910 |      880
1237.98/1238.44	c 1238s |      18 |   589779 |   442152 |    25925     37 |      910 |      880
1239.98/1240.44	c 1240s |      18 |   590204 |   442552 |    25925     37 |      910 |      880
1242.08/1242.53	c 1242s |      18 |   590758 |   443052 |    25925     37 |      910 |      880
1244.08/1244.59	c 1244s |      18 |   591497 |   443652 |    25925     37 |      910 |      880
1246.38/1246.82	c 1246s |      18 |   592073 |   444152 |    25925     37 |      910 |      880
1247.88/1248.32	c 1248s |      19 |   592448 |   444482 |    25925     37 |      910 |      880
1249.98/1250.40	c 1250s |      19 |   599518 |   446282 |    25925     37 |      910 |      880
1251.97/1252.49	c 1252s |      19 |   607492 |   448582 |    25925     37 |      910 |      880
1254.17/1254.61	c 1254s |      19 |   608896 |   449482 |    25925     37 |      910 |      880
1256.37/1256.84	c 1256s |      19 |   611278 |   450882 |    25925     37 |      910 |      880
1258.37/1258.88	c 1258s |      19 |   613437 |   452082 |    25925     38 |      910 |      880
1260.57/1261.05	c 1260s |      19 |   615830 |   453482 |    25925     38 |      910 |      880
1262.67/1263.19	c 1262s |      19 |   616964 |   454282 |    25925     38 |      910 |      880
1264.87/1265.37	c 1265s |      19 |   618513 |   455382 |    25925     38 |      910 |      880
1266.88/1267.38	c 1267s |      19 |   620069 |   456482 |    25925     38 |      910 |      880
1269.17/1269.64	c 1269s |      19 |   621340 |   457482 |    25925     38 |      910 |      880
1271.18/1271.68	c 1271s |      19 |   622851 |   458482 |    25925     38 |      910 |      880
1273.38/1273.86	c 1273s |      19 |   624185 |   459482 |    25925     38 |      910 |      880
1275.58/1276.10	c 1275s |      19 |   625544 |   460482 |    25925     38 |      910 |      880
1277.78/1278.24	c 1277s |      19 |   626437 |   461182 |    25925     38 |      910 |      880
1279.98/1280.43	c 1280s |      19 |   627597 |   461982 |    25925     38 |      910 |      880
1281.97/1282.49	c 1282s |      19 |   628086 |   462382 |    25925     38 |      910 |      880
1283.98/1284.49	c 1284s |      19 |   628464 |   462682 |    25925     38 |      910 |      880
1286.08/1286.50	c 1286s |      19 |   628956 |   463082 |    25925     38 |      910 |      880
1288.28/1288.79	c 1288s |      19 |   629869 |   463782 |    25925     38 |      910 |      880
1290.57/1291.06	c 1290s |      19 |   630896 |   464582 |    25925     38 |      910 |      880
1292.77/1293.29	c 1293s |      19 |   631737 |   465282 |    25925     38 |      910 |      880
1294.97/1295.41	c 1295s |      19 |   632642 |   465982 |    25925     38 |      910 |      880
1297.07/1297.52	c 1297s |      19 |   633684 |   466682 |    25925     39 |      910 |      880
1299.07/1299.55	c 1299s |      19 |   634914 |   467582 |    25925     39 |      910 |      880
1301.17/1301.64	c 1301s |      19 |   636002 |   468382 |    25925     39 |      910 |      880
1303.18/1303.65	c 1303s |      19 |   636897 |   469082 |    25925     39 |      910 |      880
1305.38/1305.85	c 1305s |      19 |   637819 |   469782 |    25925     39 |      910 |      880
1307.48/1307.92	c 1307s |      19 |   638699 |   470482 |    25925     39 |      910 |      880
1309.57/1310.08	c 1309s |      19 |   639566 |   471182 |    25925     39 |      910 |      880
1311.88/1312.38	c 1312s |      19 |   640555 |   471982 |    25925     39 |      910 |      880
1314.07/1314.53	c 1314s |      19 |   641297 |   472582 |    25925     39 |      910 |      880
1316.37/1316.86	c 1316s |      19 |   642209 |   473282 |    25925     39 |      910 |      880
1318.77/1319.29	c 1319s |      19 |   643102 |   473882 |    25925     39 |      910 |      880
1321.17/1321.63	c 1321s |      19 |   644095 |   474582 |    25925     39 |      910 |      880
1323.47/1323.91	c 1323s |      19 |   644923 |   475182 |    25925     39 |      910 |      880
1325.57/1326.01	c 1325s |      19 |   645642 |   475782 |    25925     39 |      910 |      880
1327.67/1328.17	c 1327s |      19 |   646346 |   476382 |    25925     39 |      910 |      880
1329.77/1330.26	c 1330s |      19 |   647389 |   477082 |    25925     39 |      910 |      880
1331.87/1332.30	c 1332s |      19 |   648340 |   477682 |    25925     39 |      910 |      880
1333.87/1334.39	c 1334s |      19 |   649337 |   478282 |    25925     39 |      910 |      880
1336.26/1336.73	c 1336s |      19 |   650337 |   478982 |    25925     39 |      910 |      880
1338.37/1338.85	c 1338s |      19 |   651037 |   479482 |    25925     39 |      910 |      880
1340.57/1341.04	c 1340s |      19 |   651929 |   480182 |    25925     39 |      910 |      880
1342.77/1343.29	c 1343s |      19 |   652689 |   480782 |    25925     39 |      910 |      880
1345.06/1345.55	c 1345s |      19 |   653318 |   481282 |    25925     40 |      910 |      880
1347.26/1347.76	c 1347s |      19 |   654015 |   481882 |    25925     40 |      910 |      880
1349.56/1350.00	c 1349s |      19 |   654874 |   482582 |    25925     40 |      910 |      880
1351.86/1352.33	c 1352s |      19 |   655580 |   483182 |    25925     40 |      910 |      880
1354.06/1354.55	c 1354s |      19 |   656276 |   483782 |    25925     40 |      910 |      880
1356.26/1356.77	c 1356s |      19 |   657213 |   484482 |    25925     40 |      910 |      880
1358.66/1359.13	c 1358s |      19 |   658294 |   485282 |    25925     40 |      910 |      880
1360.96/1361.41	c 1361s |      19 |   659242 |   485982 |    25925     40 |      910 |      880
1363.16/1363.69	c 1363s |      19 |   660112 |   486682 |    25925     40 |      910 |      880
1365.16/1365.69	c 1365s |      19 |   660683 |   487182 |    25925     40 |      910 |      880
1367.46/1367.98	c 1367s |      19 |   661646 |   487882 |    25925     40 |      910 |      880
1369.56/1370.05	c 1369s |      19 |   662410 |   488482 |    25925     40 |      910 |      880
1371.76/1372.26	c 1372s |      19 |   663155 |   489082 |    25925     40 |      910 |      880
1373.96/1374.40	c 1374s |      19 |   663891 |   489682 |    25925     40 |      910 |      880
1376.15/1376.68	c 1376s |      19 |   664800 |   490382 |    25925     40 |      910 |      880
1378.25/1378.74	c 1378s |      19 |   665560 |   490982 |    25925     40 |      910 |      880
1380.55/1381.02	c 1380s |      19 |   666317 |   491582 |    25925     40 |      910 |      880
1382.65/1383.13	c 1382s |      19 |   666914 |   492082 |    25925     40 |      910 |      880
1385.05/1385.57	c 1385s |      19 |   667515 |   492582 |    25925     40 |      910 |      880
1387.35/1387.85	c 1387s |      19 |   668231 |   493082 |    25925     40 |      910 |      880
1389.65/1390.13	c 1389s |      19 |   668738 |   493482 |    25925     40 |      910 |      880
1391.75/1392.22	c 1391s |      19 |   669216 |   493882 |    25925     40 |      910 |      880
1393.95/1394.48	c 1394s |      19 |   669711 |   494282 |    25925     40 |      910 |      880
1396.45/1396.92	c 1396s |      19 |   670178 |   494682 |    25925     40 |      910 |      880
1398.86/1399.31	c 1399s |      19 |   670768 |   495082 |    25925     41 |      910 |      880
1400.96/1401.46	c 1401s |      19 |   671645 |   495782 |    25925     41 |      910 |      880
1403.26/1403.75	c 1403s |      19 |   672303 |   496382 |    25925     41 |      910 |      880
1405.55/1406.07	c 1405s |      19 |   673002 |   496982 |    25925     41 |      910 |      880
1407.66/1408.11	c 1407s |      19 |   673606 |   497482 |    25925     41 |      910 |      880
1409.76/1410.21	c 1409s |      19 |   674161 |   497982 |    25925     41 |      910 |      880
1411.75/1412.27	c 1412s |      19 |   674769 |   498482 |    25925     41 |      910 |      880
1414.05/1414.50	c 1414s |      19 |   675537 |   499082 |    25925     41 |      910 |      880
1416.25/1416.79	c 1416s |      19 |   676252 |   499682 |    25925     41 |      910 |      880
1418.35/1418.87	c 1418s |      19 |   676846 |   500182 |    25925     41 |      910 |      880
1420.65/1421.20	c 1420s |      19 |   677539 |   500782 |    25925     41 |      910 |      880
1422.95/1423.50	c 1423s |      19 |   678123 |   501282 |    25925     41 |      910 |      880
1425.35/1425.83	c 1425s |      19 |   678710 |   501782 |    25925     41 |      910 |      880
1427.55/1428.05	c 1427s |      19 |   679343 |   502282 |    25925     41 |      910 |      880
1429.75/1430.29	c 1430s |      19 |   680107 |   502882 |    25925     41 |      910 |      880
1432.05/1432.50	c 1432s |      19 |   680950 |   503482 |    25925     41 |      910 |      880
1434.15/1434.63	c 1434s |      19 |   681588 |   503982 |    25925     41 |      910 |      880
1436.64/1437.18	c 1436s |      19 |   682209 |   504482 |    25925     41 |      910 |      880
1438.94/1439.46	c 1439s |      19 |   682845 |   504982 |    25925     41 |      910 |      880
1441.24/1441.75	c 1441s |      19 |   683354 |   505382 |    25925     41 |      910 |      880
1443.64/1444.14	c 1443s |      19 |   683832 |   505782 |    25925     41 |      910 |      880
1445.94/1446.43	c 1446s |      19 |   684499 |   506282 |    25925     41 |      910 |      880
1448.25/1448.77	c 1448s |      19 |   685072 |   506782 |    25925     41 |      910 |      880
1450.55/1451.06	c 1450s |      19 |   685579 |   507182 |    25925     41 |      910 |      880
1452.84/1453.38	c 1453s |      19 |   686255 |   507682 |    25925     41 |      910 |      880
1455.04/1455.51	c 1455s |      19 |   686884 |   508182 |    25925     41 |      910 |      880
1457.54/1458.05	c 1457s |      19 |   687482 |   508682 |    25925     41 |      910 |      880
1459.74/1460.29	c 1460s |      19 |   687926 |   509082 |    25925     41 |      910 |      880
1461.84/1462.37	c 1462s |      19 |   688398 |   509482 |    25925     41 |      910 |      880
1464.14/1464.69	c 1464s |      19 |   688761 |   509782 |    25925     42 |      910 |      880
1466.34/1466.88	c 1466s |      19 |   689358 |   510282 |    25925     42 |      910 |      880
1468.65/1469.12	c 1468s |      19 |   690100 |   510882 |    25925     42 |      910 |      880
1470.85/1471.35	c 1471s |      19 |   690791 |   511482 |    25925     42 |      910 |      880
1472.95/1473.40	c 1473s |      19 |   691363 |   511982 |    25925     42 |      910 |      880
1474.95/1475.44	c 1475s |      19 |   691928 |   512482 |    25925     42 |      910 |      880
1477.25/1477.70	c 1477s |      19 |   692540 |   512982 |    25925     42 |      910 |      880
1479.45/1479.92	c 1479s |      19 |   693115 |   513482 |    25925     42 |      910 |      880
1481.54/1482.09	c 1481s |      19 |   693671 |   513982 |    25925     42 |      910 |      880
1483.74/1484.24	c 1483s |      19 |   694488 |   514582 |    25925     42 |      910 |      880
1485.94/1486.40	c 1486s |      19 |   695265 |   515182 |    25925     42 |      910 |      880
1487.95/1488.45	c 1488s |      19 |   696002 |   515782 |    25925     42 |      910 |      880
1490.05/1490.56	c 1490s |      19 |   696577 |   516282 |    25925     42 |      910 |      880
1492.14/1492.64	c 1492s |      19 |   697174 |   516782 |    25925     42 |      910 |      880
1494.24/1494.75	c 1494s |      19 |   697801 |   517282 |    25925     42 |      910 |      880
1496.65/1497.18	c 1496s |      19 |   698507 |   517882 |    25925     42 |      910 |      880
1498.85/1499.40	c 1499s |      19 |   699092 |   518382 |    25925     42 |      910 |      880
1501.05/1501.59	c 1501s |      19 |   699686 |   518882 |    25925     42 |      910 |      880
1503.25/1503.76	c 1503s |      19 |   700265 |   519382 |    25925     42 |      910 |      880
1505.55/1506.07	c 1505s |      19 |   700843 |   519882 |    25925     42 |      910 |      880
1507.75/1508.24	c 1507s |      19 |   701482 |   520382 |    25925     42 |      910 |      880
1509.84/1510.40	c 1510s |      19 |   701935 |   520782 |    25925     42 |      910 |      880
1512.24/1512.78	c 1512s |      19 |   702630 |   521282 |    25925     42 |      910 |      880
1514.74/1515.25	c 1514s |      19 |   703233 |   521782 |    25925     42 |      910 |      880
1517.04/1517.57	c 1517s |      19 |   703711 |   522182 |    25925     42 |      910 |      880
1519.34/1519.82	c 1519s |      19 |   704175 |   522582 |    25925     42 |      910 |      880
1521.53/1522.03	c 1521s |      19 |   704714 |   522982 |    25925     42 |      910 |      880
1523.73/1524.23	c 1523s |      19 |   705352 |   523482 |    25925     42 |      910 |      880
1525.83/1526.34	c 1526s |      19 |   706001 |   523982 |    25925     42 |      910 |      880
1528.94/1529.42	c 1529s |      19 |   706644 |   524482 |    25925     43 |      910 |      880
1530.94/1531.46	c 1531s |      19 |   707419 |   525082 |    25925     43 |      910 |      880
1533.14/1533.69	c 1533s |      19 |   708393 |   525782 |    25925     43 |      910 |      880
1535.24/1535.75	c 1535s |      19 |   709207 |   526382 |    25925     43 |      910 |      880
1537.34/1537.83	c 1537s |      19 |   709998 |   526982 |    25925     43 |      910 |      880
1539.34/1539.88	c 1539s |      19 |   710616 |   527482 |    25925     43 |      910 |      880
1541.64/1542.11	c 1541s |      19 |   711384 |   528082 |    25925     43 |      910 |      880
1543.74/1544.23	c 1543s |      19 |   712001 |   528582 |    25925     43 |      910 |      880
1545.94/1546.44	c 1546s |      19 |   713073 |   529282 |    25925     43 |      910 |      880
1548.04/1548.55	c 1548s |      19 |   714159 |   529982 |    25925     43 |      910 |      880
1550.14/1550.64	c 1550s |      19 |   715146 |   530682 |    25925     43 |      910 |      880
1552.34/1552.88	c 1552s |      19 |   716029 |   531382 |    25925     43 |      910 |      880
1554.63/1555.18	c 1554s |      19 |   716755 |   531982 |    25925     43 |      910 |      880
1557.03/1557.50	c 1557s |      19 |   717490 |   532582 |    25925     43 |      910 |      880
1559.13/1559.62	c 1559s |      19 |   718283 |   533182 |    25925     43 |      910 |      880
1561.33/1561.81	c 1561s |      19 |   719011 |   533782 |    25925     43 |      910 |      880
1563.43/1563.93	c 1563s |      19 |   719720 |   534382 |    25925     43 |      910 |      880
1565.43/1565.98	c 1565s |      19 |   720359 |   534882 |    25925     43 |      910 |      880
1567.53/1568.00	c 1567s |      19 |   720986 |   535382 |    25925     43 |      910 |      880
1569.63/1570.15	c 1569s |      19 |   721574 |   535882 |    25925     43 |      910 |      880
1571.83/1572.34	c 1572s |      19 |   722257 |   536382 |    25925     43 |      910 |      880
1573.83/1574.39	c 1574s |      19 |   722729 |   536782 |    25925     43 |      910 |      880
1576.33/1576.85	c 1576s |      19 |   723350 |   537282 |    25925     43 |      910 |      880
1578.63/1579.11	c 1578s |      19 |   723862 |   537682 |    25925     43 |      910 |      880
1580.83/1581.32	c 1581s |      19 |   724343 |   538082 |    25925     43 |      910 |      880
1583.03/1583.51	c 1583s |      19 |   724802 |   538482 |    25925     43 |      910 |      880
1585.33/1585.83	c 1585s |      19 |   725326 |   538882 |    25925     44 |      910 |      880
1587.63/1588.13	c 1587s |      19 |   725929 |   539382 |    25925     44 |      910 |      880
1589.83/1590.32	c 1590s |      19 |   726402 |   539782 |    25925     44 |      910 |      880
1591.93/1592.49	c 1592s |      19 |   726982 |   540282 |    25925     44 |      910 |      880
1594.13/1594.65	c 1594s |      19 |   727436 |   540682 |    25925     44 |      910 |      880
1596.43/1596.90	c 1596s |      19 |   728127 |   541282 |    25925     44 |      910 |      880
1598.53/1599.07	c 1598s |      19 |   729048 |   541982 |    25925     44 |      910 |      880
1600.82/1601.34	c 1601s |      19 |   729962 |   542682 |    25925     44 |      910 |      880
1602.82/1603.34	c 1603s |      19 |   730687 |   543282 |    25925     44 |      910 |      880
1604.92/1605.48	c 1605s |      19 |   731605 |   543982 |    25925     44 |      910 |      880
1606.92/1607.49	c 1607s |      19 |   732327 |   544582 |    25925     44 |      910 |      880
1609.12/1609.64	c 1609s |      19 |   733110 |   545182 |    25925     44 |      910 |      880
1611.13/1611.66	c 1611s |      19 |   733668 |   545682 |    25925     44 |      910 |      880
1613.33/1613.84	c 1613s |      19 |   734395 |   546282 |    25925     44 |      910 |      880
1615.32/1615.88	c 1615s |      19 |   735013 |   546782 |    25925     44 |      910 |      880
1617.73/1618.27	c 1618s |      19 |   735738 |   547382 |    25925     44 |      910 |      880
1620.12/1620.63	c 1620s |      19 |   736504 |   547982 |    25925     44 |      910 |      880
1622.22/1622.70	c 1622s |      19 |   737139 |   548482 |    25925     44 |      910 |      880
1624.23/1624.79	c 1624s |      19 |   737580 |   548882 |    25925     44 |      910 |      880
1626.32/1626.87	c 1626s |      19 |   738036 |   549282 |    25925     44 |      910 |      880
1628.82/1629.34	c 1629s |      19 |   738602 |   549782 |    25925     44 |      910 |      880
1631.12/1631.63	c 1631s |      19 |   739164 |   550282 |    25925     44 |      910 |      880
1633.62/1634.14	c 1633s |      19 |   739738 |   550782 |    25925     44 |      910 |      880
1635.72/1636.21	c 1635s |      19 |   740214 |   551182 |    25925     44 |      910 |      880
1637.72/1638.26	c 1638s |      19 |   740683 |   551582 |    25925     44 |      910 |      880
1639.82/1640.36	c 1640s |      19 |   741159 |   551982 |    25925     44 |      910 |      880
1642.22/1642.73	c 1642s |      19 |   741609 |   552382 |    25925     44 |      910 |      880
1644.52/1645.04	c 1644s |      19 |   742078 |   552782 |    25925     44 |      910 |      880
1646.71/1647.25	c 1646s |      19 |   742535 |   553182 |    25925     44 |      910 |      880
1648.91/1649.48	c 1649s |      19 |   743014 |   553582 |    25925     45 |      910 |      880
1651.11/1651.66	c 1651s |      19 |   743705 |   554182 |    25925     45 |      910 |      880
1653.51/1654.05	c 1653s |      19 |   744413 |   554782 |    25925     45 |      910 |      880
1655.51/1656.08	c 1655s |      19 |   745005 |   555282 |    25925     45 |      910 |      880
1657.61/1658.18	c 1657s |      19 |   745593 |   555782 |    25925     45 |      910 |      880
1659.81/1660.36	c 1660s |      19 |   746180 |   556282 |    25925     45 |      910 |      880
1661.91/1662.46	c 1662s |      19 |   746789 |   556782 |    25925     45 |      910 |      880
1664.11/1664.65	c 1664s |      19 |   747386 |   557282 |    25925     45 |      910 |      880
1666.21/1666.79	c 1666s |      19 |   747967 |   557782 |    25925     45 |      910 |      880
1668.41/1668.98	c 1668s |      19 |   748529 |   558282 |    25925     45 |      910 |      880
1670.61/1671.11	c 1670s |      19 |   749248 |   558882 |    25925     45 |      910 |      880
1672.81/1673.35	c 1673s |      19 |   749963 |   559482 |    25925     45 |      910 |      880
1674.92/1675.41	c 1675s |      19 |   750520 |   559982 |    25925     45 |      910 |      880
1677.01/1677.56	c 1677s |      19 |   751100 |   560482 |    25925     45 |      910 |      880
1679.31/1679.88	c 1679s |      19 |   751690 |   560982 |    25925     45 |      910 |      880
1681.71/1682.28	c 1682s |      19 |   752259 |   561482 |    25925     45 |      910 |      880
1683.91/1684.42	c 1684s |      19 |   752872 |   561982 |    25925     45 |      910 |      880
1686.11/1686.69	c 1686s |      19 |   753304 |   562382 |    25925     45 |      910 |      880
1688.41/1688.91	c 1688s |      19 |   753747 |   562782 |    25925     45 |      910 |      880
1690.41/1690.99	c 1690s |      19 |   754202 |   563182 |    25925     45 |      910 |      880
1692.90/1693.40	c 1693s |      19 |   754812 |   563682 |    25925     45 |      910 |      880
1695.31/1695.84	c 1695s |      19 |   755391 |   564182 |    25925     45 |      910 |      880
1697.71/1698.21	c 1697s |      19 |   755977 |   564682 |    25925     45 |      910 |      880
1700.12/1700.61	c 1700s |      19 |   756563 |   565182 |    25925     45 |      910 |      880
1702.21/1702.71	c 1702s |      19 |   757051 |   565582 |    25925     45 |      910 |      880
1704.52/1705.05	c 1704s |      19 |   757510 |   565982 |    25925     45 |      910 |      880
1706.61/1707.18	c 1706s |      19 |   758005 |   566382 |    25925     45 |      910 |      880
1708.71/1709.24	c 1708s |      19 |   758495 |   566782 |    25925     45 |      910 |      880
1711.22/1711.73	c 1711s |      19 |   758925 |   567182 |    25925     45 |      910 |      880
1713.51/1714.02	c 1713s |      19 |   759241 |   567482 |    25925     45 |      910 |      880
1716.62/1717.17	c 1716s |      19 |   759705 |   567882 |    25925     46 |      910 |      880
1718.81/1719.38	c 1719s |      19 |   760158 |   568282 |    25925     46 |      910 |      880
1721.21/1721.77	c 1721s |      19 |   760754 |   568782 |    25925     46 |      910 |      880
1723.31/1723.81	c 1723s |      19 |   761221 |   569182 |    25925     46 |      910 |      880
1725.41/1726.00	c 1725s |      19 |   761826 |   569682 |    25925     46 |      910 |      880
1727.71/1728.25	c 1728s |      19 |   762373 |   570182 |    25925     46 |      910 |      880
1729.91/1730.44	c 1730s |      19 |   762947 |   570682 |    25925     46 |      910 |      880
1732.11/1732.62	c 1732s |      19 |   763525 |   571182 |    25925     46 |      910 |      880
1734.11/1734.68	c 1734s |      19 |   763985 |   571582 |    25925     46 |      910 |      880
1736.31/1736.80	c 1736s |      19 |   764566 |   572082 |    25925     46 |      910 |      880
1738.50/1739.04	c 1738s |      19 |   765143 |   572582 |    25925     46 |      910 |      880
1740.91/1741.41	c 1741s |      19 |   765704 |   573082 |    25925     46 |      910 |      880
1743.01/1743.56	c 1743s |      19 |   766157 |   573482 |    25925     46 |      910 |      880
1745.10/1745.67	c 1745s |      19 |   766782 |   573982 |    25925     46 |      910 |      880
1747.30/1747.81	c 1747s |      19 |   767447 |   574482 |    25925     46 |      910 |      880
1749.71/1750.25	c 1749s |      19 |   768073 |   574982 |    25925     46 |      910 |      880
1752.00/1752.54	c 1752s |      19 |   768546 |   575382 |    25925     46 |      910 |      880
1754.30/1754.85	c 1754s |      19 |   769014 |   575782 |    25925     46 |      910 |      880
1756.31/1756.87	c 1756s |      19 |   769485 |   576182 |    25925     46 |      910 |      880
1758.70/1759.23	c 1758s |      19 |   770211 |   576782 |    25925     46 |      910 |      880
1760.80/1761.34	c 1761s |      19 |   770801 |   577282 |    25925     46 |      910 |      880
1762.81/1763.34	c 1763s |      19 |   771405 |   577782 |    25925     46 |      910 |      880
1764.90/1765.41	c 1765s |      19 |   771850 |   578182 |    25925     46 |      910 |      880
1767.20/1767.75	c 1767s |      19 |   772399 |   578682 |    25925     46 |      910 |      880
1769.40/1769.97	c 1769s |      19 |   772989 |   579182 |    25925     46 |      910 |      880
1771.70/1772.27	c 1772s |      19 |   773461 |   579582 |    25925     46 |      910 |      880
1774.00/1774.58	c 1774s |      19 |   774065 |   580082 |    25925     46 |      910 |      880
1776.40/1776.94	c 1776s |      19 |   774679 |   580582 |    25925     46 |      910 |      880
1778.49/1779.01	c 1778s |      19 |   775137 |   580982 |    25925     46 |      910 |      880
1780.59/1781.18	c 1780s |      19 |   775584 |   581382 |    25925     46 |      910 |      880
1782.79/1783.36	c 1783s |      19 |   776038 |   581782 |    25925     46 |      910 |      880
1785.19/1785.77	c 1785s |      19 |   776605 |   582282 |    25925     46 |      910 |      880
1787.49/1788.05	c 1787s |      19 |   777085 |   582682 |    25925     47 |      910 |      880
1789.89/1790.40	c 1790s |      19 |   777682 |   583182 |    25925     47 |      910 |      880
1791.89/1792.42	c 1792s |      19 |   778261 |   583682 |    25925     47 |      910 |      880
1794.29/1794.83	c 1794s |      19 |   778830 |   584182 |    25925     47 |      910 |      880
1796.59/1797.15	c 1796s |      19 |   779393 |   584682 |    25925     47 |      910 |      880
1798.59/1799.16	c 1798s |      19 |   779847 |   585082 |    25925     47 |      910 |      880

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-4116037-1466968666/watcher-4116037-1466968666 -o /tmp/evaluation-result-4116037-1466968666/solver-4116037-1466968666 -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-4116037-1466968666.opb 

pid=24244
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.31 2.26 2.19 3/179 24247
/proc/meminfo: memFree=29601196/32872528 swapFree=1085692/1157232
[pid=24247] ppid=24244 vsize=771516 CPUtime=0 cores=0,2,4,6
/proc/24247/stat : 24247 (toysat) R 24244 24247 21062 0 -1 4202496 2887 0 0 0 0 0 0 0 20 0 4 0 29906207 790032384 3248 33554432000 4194304 16246674 140733936206336 140733936205760 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24247/statm: 193391 3258 441 2943 0 190285 0
[pid=24247/tid=24248] ppid=24244 vsize=788924 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24248/stat : 24248 (toysat) S 24244 24247 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29906207 807858176 3318 33554432000 4194304 16246674 140733936206336 140532259990768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24247/tid=24249] ppid=24244 vsize=794044 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24249/stat : 24249 (toysat) S 24244 24247 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29906207 813101056 3335 33554432000 4194304 16246674 140733936206336 140532249500912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24247/tid=24250] ppid=24244 vsize=798140 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24250/stat : 24250 (toysat) S 24244 24247 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29906207 817295360 3352 33554432000 4194304 16246674 140733936206336 140532135226544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.31 2.26 2.19 3/179 24247
/proc/meminfo: memFree=29601196/32872528 swapFree=1085692/1157232
[pid=24247] ppid=24244 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/24247/stat : 24247 (toysat) R 24244 24247 21062 0 -1 4202496 28276 0 0 0 5 4 0 0 20 0 4 0 29906207 1249447936 28575 33554432000 4194304 16246674 140733936206336 140733936205648 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24247/statm: 305041 28575 801 2943 0 301935 0
[pid=24247/tid=24248] ppid=24244 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24248/stat : 24248 (toysat) S 24244 24247 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29906207 1249447936 28575 33554432000 4194304 16246674 140733936206336 140532259990768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24247/tid=24249] ppid=24244 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24249/stat : 24249 (toysat) S 24244 24247 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29906207 1249447936 28575 33554432000 4194304 16246674 140733936206336 140532249500912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24247/tid=24250] ppid=24244 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24250/stat : 24250 (toysat) S 24244 24247 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29906207 1249447936 28575 33554432000 4194304 16246674 140733936206336 140532135226544 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.200512 s]
/proc/loadavg: 2.31 2.26 2.19 3/179 24247
/proc/meminfo: memFree=29601196/32872528 swapFree=1085692/1157232
[pid=24247] ppid=24244 vsize=1301060 CPUtime=0.19 cores=0,2,4,6
/proc/24247/stat : 24247 (toysat) R 24244 24247 21062 0 -1 4202496 48483 0 0 0 12 7 0 0 20 0 4 0 29906207 1332285440 48782 33554432000 4194304 16246674 140733936206336 140733936205648 5913644 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24247/statm: 325265 48782 842 2943 0 322159 0
[pid=24247/tid=24248] ppid=24244 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24248/stat : 24248 (toysat) S 24244 24247 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29906207 1332285440 48782 33554432000 4194304 16246674 140733936206336 140532259990768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24247/tid=24249] ppid=24244 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24249/stat : 24249 (toysat) S 24244 24247 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29906207 1332285440 48782 33554432000 4194304 16246674 140733936206336 140532249500912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24247/tid=24250] ppid=24244 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24250/stat : 24250 (toysat) S 24244 24247 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29906207 1332285440 48782 33554432000 4194304 16246674 140733936206336 140532135226544 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.300469 s]
/proc/loadavg: 2.31 2.26 2.19 3/179 24247
/proc/meminfo: memFree=29601196/32872528 swapFree=1085692/1157232
[pid=24247] ppid=24244 vsize=1301060 CPUtime=0.29 cores=0,2,4,6
/proc/24247/stat : 24247 (toysat) R 24244 24247 21062 0 -1 4202496 51043 0 0 0 22 7 0 0 20 0 4 0 29906207 1332285440 51342 33554432000 4194304 16246674 140733936206336 140733936205648 12875570 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24247/statm: 325265 51348 882 2943 0 322159 0
[pid=24247/tid=24248] ppid=24244 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24248/stat : 24248 (toysat) S 24244 24247 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29906207 1332285440 51351 33554432000 4194304 16246674 140733936206336 140532259990768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24247/tid=24249] ppid=24244 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24249/stat : 24249 (toysat) S 24244 24247 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29906207 1332285440 51355 33554432000 4194304 16246674 140733936206336 140532249500912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24247/tid=24250] ppid=24244 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24250/stat : 24250 (toysat) S 24244 24247 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29906207 1332285440 51359 33554432000 4194304 16246674 140733936206336 140532135226544 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.700341 s]
/proc/loadavg: 2.31 2.26 2.19 3/179 24247
/proc/meminfo: memFree=29601196/32872528 swapFree=1085692/1157232
[pid=24247] ppid=24244 vsize=1301060 CPUtime=0.69 cores=0,2,4,6
/proc/24247/stat : 24247 (toysat) R 24244 24247 21062 0 -1 4202496 104471 0 0 0 54 15 0 0 20 0 4 0 29906207 1332285440 104771 33554432000 4194304 16246674 140733936206336 140733936188224 5677541 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24247/statm: 325265 104775 882 2943 0 322159 0
[pid=24247/tid=24248] ppid=24244 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24248/stat : 24248 (toysat) S 24244 24247 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29906207 1332285440 104778 33554432000 4194304 16246674 140733936206336 140532259990768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24247/tid=24249] ppid=24244 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24249/stat : 24249 (toysat) S 24244 24247 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29906207 1332285440 104781 33554432000 4194304 16246674 140733936206336 140532249500912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24247/tid=24250] ppid=24244 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24250/stat : 24250 (toysat) S 24244 24247 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29906207 1332285440 104784 33554432000 4194304 16246674 140733936206336 140532135226544 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.50034 s]
/proc/loadavg: 2.31 2.26 2.19 3/183 24251
/proc/meminfo: memFree=28965460/32872528 swapFree=1085692/1157232
[pid=24247] ppid=24244 vsize=1301060 CPUtime=1.49 cores=0,2,4,6
/proc/24247/stat : 24247 (toysat) R 24244 24247 21062 0 -1 4202496 216406 0 0 0 119 30 0 0 20 0 4 0 29906207 1332285440 216705 33554432000 4194304 16246674 140733936206336 140733936188224 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24247/statm: 325265 216709 882 2943 0 322159 0
[pid=24247/tid=24248] ppid=24244 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24248/stat : 24248 (toysat) S 24244 24247 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29906207 1332285440 216711 33554432000 4194304 16246674 140733936206336 140532259990768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24247/tid=24249] ppid=24244 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24249/stat : 24249 (toysat) S 24244 24247 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29906207 1332285440 216715 33554432000 4194304 16246674 140733936206336 140532249500912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24247/tid=24250] ppid=24244 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24250/stat : 24250 (toysat) S 24244 24247 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29906207 1332285440 216718 33554432000 4194304 16246674 140733936206336 140532135226544 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.10035 s]
/proc/loadavg: 2.31 2.26 2.19 3/183 24251
/proc/meminfo: memFree=28524516/32872528 swapFree=1085692/1157232
[pid=24247] ppid=24244 vsize=1312324 CPUtime=3.09 cores=0,2,4,6
/proc/24247/stat : 24247 (toysat) R 24244 24247 21062 0 -1 4202496 269267 0 0 0 273 36 0 0 20 0 4 0 29906207 1343819776 269566 33554432000 4194304 16246674 140733936206336 140733936188224 12478324 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24247/statm: 328081 269566 888 2943 0 324975 0
[pid=24247/tid=24248] ppid=24244 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24248/stat : 24248 (toysat) S 24244 24247 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29906207 1343819776 269566 33554432000 4194304 16246674 140733936206336 140532259990768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24247/tid=24249] ppid=24244 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24249/stat : 24249 (toysat) S 24244 24247 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29906207 1343819776 269566 33554432000 4194304 16246674 140733936206336 140532249500912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24247/tid=24250] ppid=24244 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24250/stat : 24250 (toysat) S 24244 24247 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29906207 1343819776 269566 33554432000 4194304 16246674 140733936206336 140532135226544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.30036 s]
/proc/loadavg: 2.28 2.25 2.19 3/183 24251
/proc/meminfo: memFree=28523472/32872528 swapFree=1085692/1157232
[pid=24247] ppid=24244 vsize=1312324 CPUtime=6.29 cores=0,2,4,6
/proc/24247/stat : 24247 (toysat) R 24244 24247 21062 0 -1 4202496 269269 0 0 0 593 36 0 0 20 0 4 0 29906207 1343819776 269568 33554432000 4194304 16246674 140733936206336 140733936188224 5677273 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24247/statm: 328081 269568 890 2943 0 324975 0
[pid=24247/tid=24248] ppid=24244 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24248/stat : 24248 (toysat) S 24244 24247 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29906207 1343819776 269568 33554432000 4194304 16246674 140733936206336 140532259990768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24247/tid=24249] ppid=24244 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24249/stat : 24249 (toysat) S 24244 24247 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29906207 1343819776 269568 33554432000 4194304 16246674 140733936206336 140532249500912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24247/tid=24250] ppid=24244 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24250/stat : 24250 (toysat) S 24244 24247 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29906207 1343819776 269568 33554432000 4194304 16246674 140733936206336 140532135226544 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.26 2.25 2.19 3/183 24251
/proc/meminfo: memFree=28523144/32872528 swapFree=1085692/1157232
[pid=24247] ppid=24244 vsize=1312324 CPUtime=12.69 cores=0,2,4,6
/proc/24247/stat : 24247 (toysat) R 24244 24247 21062 0 -1 4202496 269269 0 0 0 1232 37 0 0 20 0 4 0 29906207 1343819776 269568 33554432000 4194304 16246674 140733936206336 140733936188224 6836017 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24247/statm: 328081 269568 890 2943 0 324975 0
[pid=24247/tid=24248] ppid=24244 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24248/stat : 24248 (toysat) S 24244 24247 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29906207 1343819776 269568 33554432000 4194304 16246674 140733936206336 140532259990768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24247/tid=24249] ppid=24244 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24249/stat : 24249 (toysat) S 24244 24247 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29906207 1343819776 269568 33554432000 4194304 16246674 140733936206336 140532249500912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24247/tid=24250] ppid=24244 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24250/stat : 24250 (toysat) S 24244 24247 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29906207 1343819776 269568 33554432000 4194304 16246674 140733936206336 140532135226544 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.20 2.24 2.19 3/183 24251
/proc/meminfo: memFree=28523804/32872528 swapFree=1085692/1157232
[pid=24247] ppid=24244 vsize=1312324 CPUtime=25.49 cores=0,2,4,6
/proc/24247/stat : 24247 (toysat) R 24244 24247 21062 0 -1 4202496 269270 0 0 0 2512 37 0 0 20 0 4 0 29906207 1343819776 269569 33554432000 4194304 16246674 140733936206336 140733936188224 5711688 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24247/statm: 328081 269569 890 2943 0 324975 0
[pid=24247/tid=24248] ppid=24244 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24248/stat : 24248 (toysat) S 24244 24247 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29906207 1343819776 269569 33554432000 4194304 16246674 140733936206336 140532259990768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24247/tid=24249] ppid=24244 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24249/stat : 24249 (toysat) S 24244 24247 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29906207 1343819776 269569 33554432000 4194304 16246674 140733936206336 140532249500912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24247/tid=24250] ppid=24244 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24250/stat : 24250 (toysat) S 24244 24247 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29906207 1343819776 269569 33554432000 4194304 16246674 140733936206336 140532135226544 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.27 2.25 2.19 3/183 24300
/proc/meminfo: memFree=28548244/32872528 swapFree=1085692/1157232
[pid=24247] ppid=24244 vsize=1316420 CPUtime=51.08 cores=0,2,4,6
/proc/24247/stat : 24247 (toysat) R 24244 24247 21062 0 -1 4202496 270078 0 0 0 5071 37 0 0 20 0 4 0 29906207 1348014080 270377 33554432000 4194304 16246674 140733936206336 140733936188224 13950218 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24247/statm: 329105 270377 891 2943 0 325999 0
[pid=24247/tid=24248] ppid=24244 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24248/stat : 24248 (toysat) S 24244 24247 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29906207 1348014080 270377 33554432000 4194304 16246674 140733936206336 140532259990768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24247/tid=24249] ppid=24244 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24249/stat : 24249 (toysat) S 24244 24247 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29906207 1348014080 270377 33554432000 4194304 16246674 140733936206336 140532249500912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24247/tid=24250] ppid=24244 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24250/stat : 24250 (toysat) S 24244 24247 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29906207 1348014080 270377 33554432000 4194304 16246674 140733936206336 140532135226544 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) 1316420

[startup+102.3 s]
/proc/loadavg: 2.37 2.27 2.20 3/183 24301
/proc/meminfo: memFree=28544408/32872528 swapFree=1085692/1157232
[pid=24247] ppid=24244 vsize=1316420 CPUtime=102.27 cores=0,2,4,6
/proc/24247/stat : 24247 (toysat) R 24244 24247 21062 0 -1 4202496 270309 0 0 0 10190 37 0 0 20 0 4 0 29906207 1348014080 270850 33554432000 4194304 16246674 140733936206336 140733936188224 12483337 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24247/statm: 329105 270850 891 2943 0 325999 0
[pid=24247/tid=24248] ppid=24244 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24248/stat : 24248 (toysat) S 24244 24247 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29906207 1348014080 270850 33554432000 4194304 16246674 140733936206336 140532259990768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24247/tid=24249] ppid=24244 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24249/stat : 24249 (toysat) S 24244 24247 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29906207 1348014080 270850 33554432000 4194304 16246674 140733936206336 140532249500912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24247/tid=24250] ppid=24244 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24250/stat : 24250 (toysat) S 24244 24247 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29906207 1348014080 270850 33554432000 4194304 16246674 140733936206336 140532135226544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1316420


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

/proc/24247/task/24250/stat : 24250 (toysat) S 24244 24247 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29906207 1373179904 276840 33554432000 4194304 16246674 140733936206336 140532135226544 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) 1340996

[startup+1302.3 s]
/proc/loadavg: 2.28 2.33 2.24 4/183 24331
/proc/meminfo: memFree=28496268/32872528 swapFree=1085692/1157232
[pid=24247] ppid=24244 vsize=1345092 CPUtime=1301.87 cores=0,2,4,6
/proc/24247/stat : 24247 (toysat) R 24244 24247 21062 0 -1 4202496 277641 0 0 0 130144 43 0 0 20 0 4 0 29906207 1377374208 277791 33554432000 4194304 16246674 140733936206336 140733936188224 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24247/statm: 336273 277791 893 2943 0 333167 0
[pid=24247/tid=24248] ppid=24244 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24248/stat : 24248 (toysat) S 24244 24247 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29906207 1377374208 277791 33554432000 4194304 16246674 140733936206336 140532259990768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24247/tid=24249] ppid=24244 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24249/stat : 24249 (toysat) S 24244 24247 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29906207 1377374208 277791 33554432000 4194304 16246674 140733936206336 140532249500912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24247/tid=24250] ppid=24244 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24250/stat : 24250 (toysat) S 24244 24247 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29906207 1377374208 277791 33554432000 4194304 16246674 140733936206336 140532135226544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1345092

[startup+1362.3 s]
/proc/loadavg: 2.36 2.34 2.25 3/184 24335
/proc/meminfo: memFree=28496724/32872528 swapFree=1085692/1157232
[pid=24247] ppid=24244 vsize=1345092 CPUtime=1361.86 cores=0,2,4,6
/proc/24247/stat : 24247 (toysat) R 24244 24247 21062 0 -1 4202496 277641 0 0 0 136143 43 0 0 20 0 4 0 29906207 1377374208 277791 33554432000 4194304 16246674 140733936206336 140733936188224 5677160 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24247/statm: 336273 277791 893 2943 0 333167 0
[pid=24247/tid=24248] ppid=24244 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24248/stat : 24248 (toysat) S 24244 24247 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29906207 1377374208 277791 33554432000 4194304 16246674 140733936206336 140532259990768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24247/tid=24249] ppid=24244 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24249/stat : 24249 (toysat) S 24244 24247 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29906207 1377374208 277791 33554432000 4194304 16246674 140733936206336 140532249500912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24247/tid=24250] ppid=24244 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24250/stat : 24250 (toysat) S 24244 24247 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29906207 1377374208 277791 33554432000 4194304 16246674 140733936206336 140532135226544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1345092

[startup+1422.3 s]
/proc/loadavg: 2.25 2.31 2.24 3/183 24337
/proc/meminfo: memFree=28496180/32872528 swapFree=1085692/1157232
[pid=24247] ppid=24244 vsize=1345092 CPUtime=1421.85 cores=0,2,4,6
/proc/24247/stat : 24247 (toysat) R 24244 24247 21062 0 -1 4202496 277641 0 0 0 142142 43 0 0 20 0 4 0 29906207 1377374208 277791 33554432000 4194304 16246674 140733936206336 140733936188224 12995176 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24247/statm: 336273 277791 893 2943 0 333167 0
[pid=24247/tid=24248] ppid=24244 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24248/stat : 24248 (toysat) S 24244 24247 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29906207 1377374208 277791 33554432000 4194304 16246674 140733936206336 140532259990768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24247/tid=24249] ppid=24244 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24249/stat : 24249 (toysat) S 24244 24247 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29906207 1377374208 277791 33554432000 4194304 16246674 140733936206336 140532249500912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24247/tid=24250] ppid=24244 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24250/stat : 24250 (toysat) S 24244 24247 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29906207 1377374208 277791 33554432000 4194304 16246674 140733936206336 140532135226544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1345092

[startup+1482.3 s]
/proc/loadavg: 2.35 2.33 2.25 4/183 24338
/proc/meminfo: memFree=28496528/32872528 swapFree=1085692/1157232
[pid=24247] ppid=24244 vsize=1345092 CPUtime=1481.84 cores=0,2,4,6
/proc/24247/stat : 24247 (toysat) R 24244 24247 21062 0 -1 4202496 277641 0 0 0 148140 44 0 0 20 0 4 0 29906207 1377374208 277791 33554432000 4194304 16246674 140733936206336 140733936188224 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24247/statm: 336273 277791 893 2943 0 333167 0
[pid=24247/tid=24248] ppid=24244 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24248/stat : 24248 (toysat) S 24244 24247 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29906207 1377374208 277791 33554432000 4194304 16246674 140733936206336 140532259990768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24247/tid=24249] ppid=24244 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24249/stat : 24249 (toysat) S 24244 24247 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29906207 1377374208 277791 33554432000 4194304 16246674 140733936206336 140532249500912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24247/tid=24250] ppid=24244 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24250/stat : 24250 (toysat) S 24244 24247 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29906207 1377374208 277791 33554432000 4194304 16246674 140733936206336 140532135226544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1345092

[startup+1542.31 s]
/proc/loadavg: 2.27 2.31 2.25 4/183 24339
/proc/meminfo: memFree=28496436/32872528 swapFree=1085692/1157232
[pid=24247] ppid=24244 vsize=1345092 CPUtime=1541.84 cores=0,2,4,6
/proc/24247/stat : 24247 (toysat) R 24244 24247 21062 0 -1 4202496 277641 0 0 0 154139 45 0 0 20 0 4 0 29906207 1377374208 277791 33554432000 4194304 16246674 140733936206336 140733936188224 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24247/statm: 336273 277791 893 2943 0 333167 0
[pid=24247/tid=24248] ppid=24244 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24248/stat : 24248 (toysat) S 24244 24247 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29906207 1377374208 277791 33554432000 4194304 16246674 140733936206336 140532259990768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24247/tid=24249] ppid=24244 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24249/stat : 24249 (toysat) S 24244 24247 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29906207 1377374208 277791 33554432000 4194304 16246674 140733936206336 140532249500912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24247/tid=24250] ppid=24244 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24250/stat : 24250 (toysat) S 24244 24247 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29906207 1377374208 277791 33554432000 4194304 16246674 140733936206336 140532135226544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1345092

[startup+1602.3 s]
/proc/loadavg: 2.21 2.28 2.24 3/183 24340
/proc/meminfo: memFree=28495952/32872528 swapFree=1085692/1157232
[pid=24247] ppid=24244 vsize=1345092 CPUtime=1601.82 cores=0,2,4,6
/proc/24247/stat : 24247 (toysat) R 24244 24247 21062 0 -1 4202496 277870 0 0 0 160137 45 0 0 20 0 4 0 29906207 1377374208 278020 33554432000 4194304 16246674 140733936206336 140733936188224 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24247/statm: 336273 278020 893 2943 0 333167 0
[pid=24247/tid=24248] ppid=24244 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24248/stat : 24248 (toysat) S 24244 24247 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29906207 1377374208 278020 33554432000 4194304 16246674 140733936206336 140532259990768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24247/tid=24249] ppid=24244 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24249/stat : 24249 (toysat) S 24244 24247 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29906207 1377374208 278020 33554432000 4194304 16246674 140733936206336 140532249500912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24247/tid=24250] ppid=24244 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24250/stat : 24250 (toysat) S 24244 24247 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29906207 1377374208 278020 33554432000 4194304 16246674 140733936206336 140532135226544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1345092

[startup+1662.3 s]
/proc/loadavg: 2.27 2.27 2.24 4/183 24341
/proc/meminfo: memFree=28495564/32872528 swapFree=1085692/1157232
[pid=24247] ppid=24244 vsize=1345092 CPUtime=1661.81 cores=0,2,4,6
/proc/24247/stat : 24247 (toysat) R 24244 24247 21062 0 -1 4202496 277870 0 0 0 166136 45 0 0 20 0 4 0 29906207 1377374208 278020 33554432000 4194304 16246674 140733936206336 140733936188224 5717462 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24247/statm: 336273 278020 893 2943 0 333167 0
[pid=24247/tid=24248] ppid=24244 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24248/stat : 24248 (toysat) S 24244 24247 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29906207 1377374208 278020 33554432000 4194304 16246674 140733936206336 140532259990768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24247/tid=24249] ppid=24244 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24249/stat : 24249 (toysat) S 24244 24247 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29906207 1377374208 278020 33554432000 4194304 16246674 140733936206336 140532249500912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24247/tid=24250] ppid=24244 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24250/stat : 24250 (toysat) S 24244 24247 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29906207 1377374208 278020 33554432000 4194304 16246674 140733936206336 140532135226544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1345092

[startup+1722.3 s]
/proc/loadavg: 2.29 2.28 2.24 3/183 24342
/proc/meminfo: memFree=28495596/32872528 swapFree=1085692/1157232
[pid=24247] ppid=24244 vsize=1345092 CPUtime=1721.81 cores=0,2,4,6
/proc/24247/stat : 24247 (toysat) R 24244 24247 21062 0 -1 4202496 277870 0 0 0 172135 46 0 0 20 0 4 0 29906207 1377374208 278020 33554432000 4194304 16246674 140733936206336 140733936188224 5673972 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24247/statm: 336273 278020 893 2943 0 333167 0
[pid=24247/tid=24248] ppid=24244 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24248/stat : 24248 (toysat) S 24244 24247 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29906207 1377374208 278020 33554432000 4194304 16246674 140733936206336 140532259990768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24247/tid=24249] ppid=24244 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24249/stat : 24249 (toysat) S 24244 24247 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29906207 1377374208 278020 33554432000 4194304 16246674 140733936206336 140532249500912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24247/tid=24250] ppid=24244 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24250/stat : 24250 (toysat) S 24244 24247 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29906207 1377374208 278020 33554432000 4194304 16246674 140733936206336 140532135226544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1345092

[startup+1782.3 s]
/proc/loadavg: 2.33 2.29 2.25 3/183 24344
/proc/meminfo: memFree=28495228/32872528 swapFree=1085692/1157232
[pid=24247] ppid=24244 vsize=1345092 CPUtime=1781.79 cores=0,2,4,6
/proc/24247/stat : 24247 (toysat) R 24244 24247 21062 0 -1 4202496 277870 0 0 0 178133 46 0 0 20 0 4 0 29906207 1377374208 278020 33554432000 4194304 16246674 140733936206336 140733936188224 4206886 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24247/statm: 336273 278020 893 2943 0 333167 0
[pid=24247/tid=24248] ppid=24244 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24248/stat : 24248 (toysat) S 24244 24247 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29906207 1377374208 278020 33554432000 4194304 16246674 140733936206336 140532259990768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24247/tid=24249] ppid=24244 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24249/stat : 24249 (toysat) S 24244 24247 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29906207 1377374208 278020 33554432000 4194304 16246674 140733936206336 140532249500912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24247/tid=24250] ppid=24244 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24250/stat : 24250 (toysat) S 24244 24247 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29906207 1377374208 278020 33554432000 4194304 16246674 140733936206336 140532135226544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1345092



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.32 2.29 2.25 4/183 24344
/proc/meminfo: memFree=28495616/32872528 swapFree=1085692/1157232
[pid=24247] ppid=24244 vsize=1345092 CPUtime=1800.09 cores=0,2,4,6
/proc/24247/stat : 24247 (toysat) R 24244 24247 21062 0 -1 4202496 277870 0 0 0 179963 46 0 0 20 0 4 0 29906207 1377374208 278020 33554432000 4194304 16246674 140733936206336 140733936188224 5545784 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24247/statm: 336273 278020 893 2943 0 333167 0
[pid=24247/tid=24248] ppid=24244 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24248/stat : 24248 (toysat) S 24244 24247 21062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29906207 1377374208 278020 33554432000 4194304 16246674 140733936206336 140532259990768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=24247/tid=24249] ppid=24244 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24249/stat : 24249 (toysat) S 24244 24247 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29906207 1377374208 278020 33554432000 4194304 16246674 140733936206336 140532249500912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=24247/tid=24250] ppid=24244 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/24247/task/24250/stat : 24250 (toysat) S 24244 24247 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29906207 1377374208 278020 33554432000 4194304 16246674 140733936206336 140532135226544 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1345092

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 24247 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.11
CPU user time (s): 1799.64
CPU system time (s): 0.468928
CPU usage (%): 99.9721
Max. virtual memory (cumulated for all children) (KiB): 1345092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.64
system time used= 0.468928
maximum resident set size= 1112080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277870
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= 419
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.13622 second user time and 6.61599 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-26 21:17:46
IDJOB=4116037
IDBENCH=109420
IDSOLVER=2542
FILE ID=node114/4116037-1466968666
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-size160-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-4116037-1466968666/watcher-4116037-1466968666 -o /tmp/evaluation-result-4116037-1466968666/solver-4116037-1466968666 -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-4116037-1466968666.opb

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

MD5SUM BENCH= 344549aeea11b09ac3620105579ad4ec
RANDOM SEED=19983829

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:        29601476 kB
Buffers:           43316 kB
Cached:           223996 kB
SwapCached:        38928 kB
Active:          1169444 kB
Inactive:         239548 kB
Active(anon):    1106160 kB
Inactive(anon):    37760 kB
Active(file):      63284 kB
Inactive(file):   201788 kB
Unevictable:     1157232 kB
Mlocked:         1085692 kB
SwapTotal:      67108856 kB
SwapFree:       67061384 kB
Dirty:             16752 kB
Writeback:             0 kB
AnonPages:       2248428 kB
Mapped:            10688 kB
Shmem:                 0 kB
Slab:             567508 kB
SReclaimable:      11676 kB
SUnreclaim:       555832 kB
KernelStack:        1504 kB
PageTables:         8520 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2407924 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    819200 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:47:47