Trace number 4116973

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.06 1800.51

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size80-round23-5.opb
MD5SUMe729a0eaaee4e58f6865c317ec229253
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4288
Total number of constraints9456
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)368
Number of constraints which are nor clauses,nor cardinality constraints896
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-26T22:47:50+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-4116973-1466974069.opb"]
0.00/0.01	c use --random-gen="646935998 1420492948 3501739049 694985947 911646525 3110861712 2823023376 1927355131 3740457608 1288561179 1782638418 2910221104 2106182976 3480443688 4228646537 2340282381 98829478 673310537 2090941881 133915860 2253292273 4086448462 517202761 2437969890 2328613381 284763008 239515828 3279667639 375179596 2192131669 105065691 3602789737 1467811125 2883168932 1212021000 1822229714 143004939 191945736 982970625 470506336 849004258 3601589409 3435182760 3573891974 3681586103 122320662 3873420751 2723731940 3261115623 3284171447 752228838 1977686183 3259333649 364125765 2599659905 1151267664 1732625401 3967111535 3505310275 1593557348 2480206393 1114880750 1941068880 3282213916 1657809308 2127857105 3709084070 4104625357 2329674597 500710938 191119979 3462957287 3561711016 834688185 2940309002 1261638136 65852292 3231359871 860736008 3916084477 3079347509 2108688633 720953044 3565408321 2202626843 1156671647 3227291452 1272951782 537487362 3871103108 4087962109 1318139121 2658043790 3973143295 3958027280 200431203 1235584786 2155028923 1892881178 4216184586 3250579736 1071339243 3571357970 3475688986 2939619166 756441047 78915261 1326492420 1972992712 494743706 157981241 2246939560 2239996814 2438404352 1994840975 2464035105 515290544 838488859 362671066 3083654312 2114314139 3622756450 2172365534 2432545080 3952996110 1497546179 2710864373 47090917 3797930182 3813633339 408698465 2157221468 1485001167 2350497881 1433401714 4111522622 68071277 2198925679 512017813 1571661977 1781374240 1115226112 2288303073 1214823016 2845792888 806452714 3329749997 1133385667 607972130 85712062 2469048871 2795875553 3136185140 2223825030 2725520544 2316025720 3995656241 2735559166 3087695638 1786730314 1613105688 3996099427 2204608631 3219701488 1690139418 1427513018 134074191 3195995279 2638189234 66341433 2237686950 3002537132 3654999858 3388180139 3362566912 540605292 106483745 3965887722 565375670 1781854283 3720967425 1669990496 1818780638 1741075908 1886018439 1996442466 1750721454 1145368087 3363793083 3720056807 344170864 3271520116 2575981306 519030673 3703573805 1726506285 1496928571 3761075617 4284104727 4157147181 1852662187 1340423160 1578822928 1659491487 2864707428 4045992126 726799426 2769632098 2492539172 239799266 4084391760 943093999 799284449 1194380998 1476531554 2722522162 259871784 1231316534 1734526104 3562573347 3917836933 988244419 2288778354 762226106 1827218123 1829640364 2518388786 244234991 2475599985 519193323 809737488 3554509589 2730905933 3098751403 1997306452 2349691119 591947994 2670727862 115257286 3314689922 3055637635 2762321128 2402724175 1121653786 879507622 2519075482 1806669499 32329712 4014553306 1711096569 2381069911 2285472898 1086099577 3348774585 1679477426 990154092 255 362436" option to reproduce the execution
0.08/0.12	c #vars 4288
0.08/0.12	c #constraints 9456
0.19/0.27	c Solving starts ...
0.19/0.27	c ============================[ Search Statistics ]============================
0.19/0.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.27	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.27	c =============================================================================
0.19/0.27	c  0.0s |       0 |        0 |        0 |     4565      0 |      583 |        0
0.28/0.36	c  0.1s |       1 |      635 |      100 |     4565      0 |      583 |      260
0.39/0.46	c  0.2s |       2 |     2486 |      250 |     5022      0 |      583 |      260
0.59/0.67	c  0.4s |       3 |     3744 |      475 |     5525      0 |      583 |      260
0.89/0.95	c  0.7s |       4 |     5779 |      813 |     6078      0 |      583 |      260
1.49/1.52	c  1.2s |       5 |    10465 |     1320 |     6686      0 |      584 |      260
1.98/2.09	c  1.8s |       6 |    16714 |     2081 |     8091      0 |      585 |      260
2.89/2.90	c  2.6s |       7 |    21982 |     3223 |     8901      0 |      585 |      260
3.99/4.03	c  3.8s |       8 |    29087 |     4936 |     9792      0 |      585 |      260
6.09/6.15	c  5.9s |       8 |    34257 |     6836 |     9792      0 |      585 |      260
7.19/7.26	c  7.0s |       9 |    34975 |     7506 |    10772      0 |      585 |      260
9.29/9.32	c  9.0s |       9 |    50756 |    10806 |    10772      0 |      585 |      260
9.69/9.76	c  9.5s |      10 |    52544 |    11361 |    11850      0 |      585 |      260
11.79/11.83	c 11.6s |      10 |    58741 |    13261 |    11850      0 |      585 |      260
13.79/13.83	c 13.6s |      10 |    62665 |    14861 |    11850      0 |      585 |      260
15.79/15.86	c 15.6s |      10 |    64691 |    16161 |    11850      1 |      585 |      260
17.49/17.54	c 17.3s |      11 |    66140 |    17144 |    13036      1 |      585 |      260
19.59/19.69	c 19.4s |      11 |    78875 |    20044 |    13036      1 |      585 |      260
21.79/21.81	c 21.5s |      11 |    81368 |    21644 |    13036      1 |      585 |      260
23.89/23.94	c 23.7s |      11 |    83099 |    22944 |    13036      1 |      585 |      260
25.89/25.94	c 25.7s |      11 |    84591 |    24044 |    13036      2 |      585 |      260
27.99/28.00	c 27.7s |      11 |    85992 |    25144 |    13036      2 |      585 |      260
29.29/29.35	c 29.1s |      12 |    86819 |    25819 |    14340      2 |      585 |      260
31.39/31.41	c 31.1s |      12 |    91795 |    27519 |    14340      2 |      585 |      260
33.38/33.45	c 33.2s |      12 |    93649 |    28919 |    14340      2 |      585 |      260
35.38/35.46	c 35.2s |      12 |    94955 |    30019 |    14340      2 |      585 |      260
37.39/37.50	c 37.2s |      12 |    98356 |    31519 |    14340      2 |      585 |      260
39.59/39.64	c 39.4s |      12 |   100194 |    32819 |    14340      2 |      585 |      260
41.68/41.77	c 41.5s |      12 |   101395 |    33919 |    14340      3 |      585 |      260
43.78/43.89	c 43.6s |      12 |   102763 |    35019 |    14340      3 |      585 |      260
45.88/45.91	c 45.6s |      12 |   104368 |    36319 |    14340      3 |      585 |      260
47.88/47.97	c 47.7s |      12 |   105653 |    37419 |    14340      3 |      585 |      260
50.08/50.13	c 49.9s |      12 |   106924 |    38519 |    14340      3 |      585 |      260
50.78/50.82	c 50.5s |      13 |   107270 |    38832 |    15775      3 |      585 |      260
52.89/52.98	c 52.7s |      13 |   116076 |    41132 |    15775      3 |      585 |      260
54.99/55.02	c 54.7s |      13 |   124998 |    43132 |    15775      4 |      585 |      260
56.98/57.09	c 56.8s |      13 |   128047 |    44732 |    15775      4 |      585 |      260
59.18/59.20	c 58.9s |      13 |   130167 |    45932 |    15775      4 |      585 |      260
61.28/61.34	c 61.1s |      13 |   131722 |    47132 |    15775      4 |      585 |      260
63.38/63.42	c 63.1s |      13 |   132874 |    48032 |    15775      4 |      585 |      260
65.38/65.48	c 65.2s |      13 |   133872 |    48832 |    15775      4 |      585 |      260
67.58/67.63	c 67.4s |      13 |   135175 |    49832 |    15775      4 |      585 |      260
69.78/69.82	c 69.5s |      13 |   136441 |    50832 |    15775      4 |      585 |      260
71.88/71.93	c 71.7s |      13 |   137537 |    51732 |    15775      4 |      585 |      260
73.88/73.99	c 73.7s |      13 |   138318 |    52432 |    15775      4 |      585 |      260
76.18/76.27	c 76.0s |      13 |   139137 |    53132 |    15775      5 |      585 |      260
78.37/78.40	c 78.1s |      13 |   140154 |    53932 |    15775      5 |      585 |      260
80.47/80.50	c 80.2s |      13 |   141094 |    54732 |    15775      5 |      585 |      260
82.58/82.63	c 82.4s |      13 |   141859 |    55432 |    15775      5 |      585 |      260
84.68/84.73	c 84.5s |      13 |   142634 |    56132 |    15775      5 |      585 |      260
86.88/86.96	c 86.7s |      13 |   143653 |    56932 |    15775      5 |      585 |      260
88.97/89.10	c 88.8s |      13 |   144497 |    57632 |    15775      5 |      585 |      260
91.17/91.20	c 90.9s |      13 |   145285 |    58332 |    17353      5 |      585 |      260
91.17/91.24	c 91.0s |      14 |   145306 |    58352 |    17353      5 |      585 |      260
93.37/93.41	c 93.1s |      14 |   152457 |    60652 |    17353      5 |      585 |      260
95.37/95.42	c 95.1s |      14 |   155902 |    62352 |    17353      5 |      585 |      260
97.77/97.82	c 97.5s |      14 |   158256 |    63852 |    17353      6 |      585 |      260
99.77/99.89	c 99.6s |      14 |   159748 |    65052 |    17353      6 |      585 |      260
101.86/101.98	c  101s |      14 |   160980 |    66052 |    17353      6 |      585 |      260
103.96/104.04	c  103s |      14 |   163335 |    67352 |    17353      6 |      585 |      260
106.06/106.16	c  105s |      14 |   166362 |    68952 |    17353      6 |      585 |      260
108.16/108.22	c  107s |      14 |   167455 |    69752 |    17353      6 |      585 |      260
110.16/110.29	c  110s |      14 |   168863 |    70752 |    17353      6 |      585 |      260
112.36/112.43	c  112s |      14 |   169938 |    71652 |    17353      6 |      585 |      260
114.56/114.62	c  114s |      14 |   171199 |    72552 |    17353      6 |      585 |      260
116.67/116.77	c  116s |      14 |   172149 |    73352 |    17353      6 |      585 |      260
118.87/118.91	c  118s |      14 |   172815 |    73952 |    17353      6 |      585 |      260
120.97/121.04	c  120s |      14 |   173573 |    74552 |    17353      7 |      585 |      260
123.06/123.19	c  122s |      14 |   174363 |    75252 |    17353      7 |      585 |      260
125.26/125.31	c  125s |      14 |   175296 |    76052 |    17353      7 |      585 |      260
127.57/127.70	c  127s |      14 |   176086 |    76752 |    17353      7 |      585 |      260
129.87/129.92	c  129s |      14 |   176752 |    77352 |    17353      7 |      585 |      260
132.26/132.34	c  132s |      14 |   177405 |    77952 |    17353      7 |      585 |      260
134.56/134.69	c  134s |      14 |   178056 |    78552 |    17353      7 |      585 |      260
136.66/136.74	c  136s |      14 |   178804 |    79152 |    17353      7 |      585 |      260
138.66/138.74	c  138s |      14 |   179485 |    79752 |    17353      7 |      585 |      260
140.76/140.82	c  140s |      14 |   180176 |    80352 |    17353      7 |      585 |      260
142.76/142.86	c  142s |      14 |   180887 |    80952 |    17353      7 |      585 |      260
145.17/145.23	c  144s |      14 |   181621 |    81552 |    17353      7 |      585 |      260
147.26/147.39	c  147s |      14 |   182194 |    82052 |    17353      7 |      585 |      260
149.36/149.49	c  149s |      14 |   182733 |    82552 |    17353      7 |      585 |      260
151.55/151.67	c  151s |      14 |   183268 |    83052 |    17353      7 |      585 |      260
153.75/153.84	c  153s |      14 |   183801 |    83552 |    17353      7 |      585 |      260
155.85/155.99	c  155s |      14 |   184514 |    84152 |    17353      7 |      585 |      260
158.15/158.28	c  158s |      14 |   185126 |    84652 |    17353      8 |      585 |      260
160.56/160.66	c  160s |      14 |   186113 |    85452 |    17353      8 |      585 |      260
162.76/162.83	c  162s |      14 |   186962 |    86152 |    17353      8 |      585 |      260
165.05/165.11	c  164s |      14 |   187979 |    86952 |    17353      8 |      585 |      260
167.25/167.34	c  167s |      15 |   188797 |    87632 |    19089      8 |      585 |      260
169.25/169.34	c  169s |      15 |   191658 |    89032 |    19089      8 |      585 |      260
171.25/171.37	c  171s |      15 |   196836 |    90732 |    19089      8 |      585 |      260
173.34/173.48	c  173s |      15 |   199069 |    92332 |    19089      8 |      585 |      260
175.34/175.48	c  175s |      15 |   201227 |    93832 |    19089      8 |      585 |      260
177.44/177.51	c  177s |      15 |   202518 |    94832 |    19089      8 |      585 |      260
179.65/179.73	c  179s |      15 |   203811 |    95932 |    19089      8 |      585 |      260
181.75/181.84	c  181s |      15 |   204667 |    96632 |    19089      9 |      585 |      260
183.95/184.01	c  183s |      15 |   205839 |    97632 |    19089      9 |      585 |      260
186.15/186.25	c  185s |      15 |   206826 |    98532 |    19089      9 |      585 |      260
188.25/188.32	c  188s |      15 |   207764 |    99332 |    19089      9 |      585 |      260
190.55/190.61	c  190s |      15 |   208636 |   100132 |    19089      9 |      585 |      260
192.65/192.76	c  192s |      15 |   209433 |   100832 |    19089      9 |      585 |      260
194.85/194.96	c  194s |      15 |   210305 |   101632 |    19089      9 |      585 |      260
197.15/197.21	c  196s |      15 |   211089 |   102332 |    19089      9 |      585 |      260
199.35/199.42	c  199s |      15 |   212020 |   103132 |    19089      9 |      585 |      260
201.45/201.54	c  201s |      15 |   212794 |   103832 |    19089      9 |      585 |      260
203.65/203.74	c  203s |      15 |   213725 |   104632 |    19089      9 |      585 |      260
205.65/205.75	c  205s |      15 |   214535 |   105332 |    19089      9 |      585 |      260
207.75/207.84	c  207s |      15 |   215565 |   106132 |    19089      9 |      585 |      260
209.94/210.03	c  209s |      15 |   216709 |   107032 |    19089      9 |      585 |      260
212.14/212.24	c  211s |      15 |   217547 |   107732 |    19089      9 |      585 |      260
214.24/214.34	c  214s |      15 |   218265 |   108332 |    19089     10 |      585 |      260
216.34/216.42	c  216s |      15 |   219260 |   109132 |    19089     10 |      585 |      260
218.54/218.63	c  218s |      15 |   220313 |   109932 |    19089     10 |      585 |      260
220.74/220.81	c  220s |      15 |   221535 |   110832 |    19089     10 |      585 |      260
222.84/222.96	c  222s |      15 |   222470 |   111632 |    19089     10 |      585 |      260
225.04/225.13	c  224s |      15 |   223312 |   112332 |    19089     10 |      585 |      260
227.04/227.19	c  226s |      15 |   233422 |   114832 |    19089     10 |      585 |      260
229.13/229.24	c  228s |      15 |   235246 |   115932 |    19089     10 |      585 |      260
231.23/231.34	c  231s |      15 |   236828 |   116932 |    19089     10 |      585 |      260
233.33/233.45	c  233s |      15 |   238265 |   117932 |    19089     10 |      585 |      260
235.44/235.57	c  235s |      15 |   239238 |   118732 |    19089     10 |      585 |      260
237.64/237.74	c  237s |      15 |   240059 |   119432 |    19089     11 |      585 |      260
239.74/239.84	c  239s |      15 |   241427 |   120532 |    19089     11 |      585 |      260
241.73/241.85	c  241s |      15 |   242707 |   121532 |    19089     11 |      585 |      260
243.83/243.96	c  243s |      15 |   243629 |   122332 |    19089     11 |      585 |      260
246.13/246.22	c  245s |      15 |   244575 |   123132 |    19089     11 |      585 |      260
248.23/248.36	c  248s |      15 |   245309 |   123732 |    19089     11 |      585 |      260
250.33/250.40	c  250s |      15 |   246247 |   124532 |    19089     11 |      585 |      260
252.32/252.45	c  252s |      15 |   247099 |   125232 |    19089     11 |      585 |      260
254.32/254.46	c  254s |      15 |   248129 |   126032 |    19089     11 |      585 |      260
256.52/256.68	c  256s |      15 |   249010 |   126732 |    19089     11 |      585 |      260
258.72/258.81	c  258s |      15 |   249798 |   127432 |    19089     11 |      585 |      260
260.82/260.96	c  260s |      15 |   250614 |   128132 |    19089     11 |      585 |      260
263.12/263.27	c  262s |      15 |   251409 |   128832 |    19089     11 |      585 |      260
265.22/265.32	c  265s |      15 |   252276 |   129532 |    19089     11 |      585 |      260
267.42/267.51	c  267s |      15 |   253298 |   130332 |    19089     11 |      585 |      260
269.53/269.61	c  269s |      15 |   254150 |   131032 |    20998     12 |      585 |      260
270.82/270.96	c  270s |      16 |   254784 |   131552 |    20998     12 |      585 |      260
272.92/273.06	c  272s |      16 |   261594 |   133652 |    20998     12 |      585 |      260
275.03/275.14	c  274s |      16 |   263190 |   134952 |    20998     12 |      585 |      260
277.12/277.24	c  276s |      16 |   264462 |   136052 |    20998     12 |      585 |      260
279.22/279.31	c  279s |      16 |   265620 |   137052 |    20998     12 |      585 |      260
281.22/281.36	c  281s |      16 |   267534 |   138252 |    20998     12 |      585 |      260
283.42/283.50	c  283s |      16 |   268846 |   139352 |    20998     12 |      585 |      260
285.52/285.68	c  285s |      16 |   269894 |   140252 |    20998     12 |      585 |      260
287.82/287.90	c  287s |      16 |   270887 |   141152 |    20998     12 |      585 |      260
290.02/290.13	c  289s |      16 |   271916 |   142052 |    20998     12 |      585 |      260
292.22/292.30	c  292s |      16 |   272939 |   142952 |    20998     12 |      585 |      260
294.42/294.51	c  294s |      16 |   273725 |   143652 |    20998     13 |      585 |      260
296.41/296.52	c  296s |      16 |   274629 |   144452 |    20998     13 |      585 |      260
298.61/298.71	c  298s |      16 |   275769 |   145352 |    20998     13 |      585 |      260
300.81/300.90	c  300s |      16 |   276678 |   146152 |    20998     13 |      585 |      260
302.91/303.07	c  302s |      16 |   277684 |   146952 |    20998     13 |      585 |      260
305.21/305.37	c  305s |      16 |   278623 |   147752 |    20998     13 |      585 |      260
307.41/307.59	c  307s |      16 |   279634 |   148552 |    20998     13 |      585 |      260
309.61/309.72	c  309s |      16 |   280471 |   149252 |    20998     13 |      585 |      260
311.91/312.00	c  311s |      16 |   281271 |   149952 |    20998     13 |      585 |      260
314.11/314.23	c  313s |      16 |   282111 |   150652 |    20998     13 |      585 |      260
316.31/316.43	c  316s |      16 |   282896 |   151352 |    20998     13 |      585 |      260
318.51/318.63	c  318s |      16 |   283668 |   152052 |    20998     13 |      585 |      260
320.51/320.64	c  320s |      16 |   284350 |   152652 |    20998     13 |      585 |      260
322.81/322.94	c  322s |      16 |   285145 |   153352 |    20998     13 |      585 |      260
325.11/325.24	c  324s |      16 |   285996 |   154052 |    20998     13 |      585 |      260
327.11/327.25	c  326s |      16 |   286926 |   154752 |    20998     13 |      585 |      260
329.51/329.62	c  329s |      16 |   287707 |   155452 |    20998     13 |      585 |      260
331.61/331.70	c  331s |      16 |   288439 |   156052 |    20998     14 |      585 |      260
333.71/333.81	c  333s |      16 |   289382 |   156852 |    20998     14 |      585 |      260
335.81/335.90	c  335s |      16 |   290194 |   157552 |    20998     14 |      585 |      260
338.01/338.11	c  337s |      16 |   291005 |   158252 |    20998     14 |      585 |      260
340.11/340.28	c  340s |      16 |   291797 |   158952 |    20998     14 |      585 |      260
342.21/342.33	c  342s |      16 |   292464 |   159552 |    20998     14 |      585 |      260
344.21/344.37	c  344s |      16 |   293124 |   160152 |    20998     14 |      585 |      260
346.30/346.43	c  346s |      16 |   293797 |   160752 |    20998     14 |      585 |      260
348.50/348.69	c  348s |      16 |   294458 |   161352 |    20998     14 |      585 |      260
350.60/350.77	c  350s |      16 |   295144 |   161952 |    20998     14 |      585 |      260
352.70/352.87	c  352s |      16 |   295818 |   162552 |    20998     14 |      585 |      260
355.00/355.16	c  354s |      16 |   296678 |   163252 |    20998     14 |      585 |      260
357.10/357.29	c  357s |      16 |   297500 |   163952 |    20998     14 |      585 |      260
359.50/359.60	c  359s |      16 |   298278 |   164652 |    20998     14 |      585 |      260
361.60/361.76	c  361s |      16 |   299073 |   165352 |    20998     14 |      585 |      260
363.90/364.05	c  363s |      16 |   299866 |   166052 |    20998     14 |      585 |      260
366.21/366.36	c  366s |      16 |   300649 |   166752 |    20998     14 |      585 |      260
368.30/368.44	c  368s |      16 |   301310 |   167352 |    20998     14 |      585 |      260
370.50/370.68	c  370s |      16 |   301847 |   167852 |    20998     15 |      585 |      260
372.61/372.71	c  372s |      16 |   302867 |   168652 |    20998     15 |      585 |      260
374.81/374.92	c  374s |      16 |   303803 |   169452 |    20998     15 |      585 |      260
376.91/377.04	c  376s |      16 |   304604 |   170152 |    20998     15 |      585 |      260
379.00/379.11	c  378s |      16 |   305400 |   170852 |    20998     15 |      585 |      260
381.10/381.21	c  380s |      16 |   306199 |   171552 |    20998     15 |      585 |      260
383.10/383.28	c  383s |      16 |   307003 |   172252 |    20998     15 |      585 |      260
385.20/385.38	c  385s |      16 |   307777 |   172952 |    20998     15 |      585 |      260
387.30/387.43	c  387s |      16 |   308452 |   173552 |    20998     15 |      585 |      260
389.50/389.62	c  389s |      16 |   309121 |   174152 |    20998     15 |      585 |      260
391.80/391.93	c  391s |      16 |   309939 |   174852 |    20998     15 |      585 |      260
393.90/394.01	c  393s |      16 |   310618 |   175452 |    20998     15 |      585 |      260
396.19/396.36	c  396s |      16 |   311275 |   176052 |    20998     15 |      585 |      260
398.49/398.64	c  398s |      16 |   311964 |   176652 |    20998     15 |      585 |      260
400.89/401.08	c  400s |      16 |   312637 |   177252 |    20998     15 |      585 |      260
402.99/403.12	c  402s |      16 |   313180 |   177752 |    20998     15 |      585 |      260
405.19/405.32	c  405s |      16 |   313867 |   178352 |    20998     15 |      585 |      260
407.39/407.57	c  407s |      16 |   314553 |   178952 |    20998     15 |      585 |      260
409.59/409.70	c  409s |      16 |   315106 |   179452 |    20998     15 |      585 |      260
412.09/412.20	c  411s |      16 |   315639 |   179952 |    20998     16 |      585 |      260
414.19/414.39	c  414s |      16 |   316435 |   180652 |    20998     16 |      585 |      260
416.38/416.58	c  416s |      16 |   317222 |   181352 |    20998     16 |      585 |      260
418.48/418.60	c  418s |      16 |   317893 |   181952 |    20998     16 |      585 |      260
420.58/420.77	c  420s |      16 |   318555 |   182552 |    20998     16 |      585 |      260
422.58/422.77	c  422s |      16 |   319466 |   183252 |    20998     16 |      585 |      260
424.59/424.79	c  424s |      16 |   320235 |   183952 |    20998     16 |      585 |      260
426.88/427.04	c  426s |      16 |   320985 |   184652 |    20998     16 |      585 |      260
428.99/429.12	c  428s |      16 |   321765 |   185352 |    20998     16 |      585 |      260
431.19/431.37	c  431s |      16 |   322533 |   186052 |    20998     16 |      585 |      260
433.48/433.68	c  433s |      16 |   323321 |   186752 |    20998     16 |      585 |      260
435.59/435.73	c  435s |      16 |   324000 |   187352 |    20998     16 |      585 |      260
437.79/437.94	c  437s |      16 |   324655 |   187952 |    20998     16 |      585 |      260
439.99/440.19	c  439s |      16 |   325315 |   188552 |    20998     16 |      585 |      260
442.08/442.29	c  442s |      16 |   326039 |   189152 |    20998     16 |      585 |      260
444.18/444.34	c  444s |      16 |   326729 |   189752 |    20998     16 |      585 |      260
446.28/446.41	c  446s |      16 |   327269 |   190252 |    20998     16 |      585 |      260
448.57/448.73	c  448s |      16 |   327936 |   190852 |    20998     16 |      585 |      260
450.88/451.06	c  450s |      16 |   328573 |   191452 |    20998     16 |      585 |      260
453.57/453.79	c  453s |      16 |   329401 |   192152 |    20998     17 |      585 |      260
455.67/455.84	c  455s |      16 |   330046 |   192752 |    20998     17 |      585 |      260
457.97/458.18	c  457s |      16 |   330795 |   193452 |    20998     17 |      585 |      260
460.17/460.36	c  460s |      16 |   331484 |   194052 |    20998     17 |      585 |      260
462.36/462.56	c  462s |      16 |   332275 |   194752 |    20998     17 |      585 |      260
464.36/464.58	c  464s |      16 |   332975 |   195352 |    20998     17 |      585 |      260
466.38/466.59	c  466s |      16 |   333635 |   195952 |    20998     17 |      585 |      260
468.77/468.92	c  468s |      16 |   334445 |   196652 |    23098     17 |      585 |      260
470.87/471.08	c  470s |      16 |   335107 |   197252 |    23098     17 |      585 |      260
471.67/471.81	c  471s |      17 |   335303 |   197432 |    23098     17 |      585 |      260
473.66/473.86	c  473s |      17 |   344129 |   199532 |    23098     17 |      585 |      260
475.66/475.89	c  475s |      17 |   345980 |   200832 |    23098     17 |      585 |      260
477.76/477.97	c  477s |      17 |   347262 |   201932 |    23098     17 |      585 |      260
479.76/479.99	c  479s |      17 |   348294 |   202832 |    23098     17 |      585 |      260
481.86/482.07	c  481s |      17 |   349424 |   203832 |    23098     17 |      585 |      260
484.16/484.31	c  484s |      17 |   350540 |   204832 |    23098     17 |      585 |      260
486.26/486.48	c  486s |      17 |   351580 |   205732 |    23098     17 |      585 |      260
488.45/488.60	c  488s |      17 |   352391 |   206432 |    23098     18 |      585 |      260
490.56/490.77	c  490s |      17 |   353405 |   207332 |    23098     18 |      585 |      260
492.76/492.99	c  492s |      17 |   354398 |   208232 |    23098     18 |      585 |      260
494.96/495.16	c  494s |      17 |   355151 |   208932 |    23098     18 |      585 |      260
497.25/497.40	c  497s |      17 |   356097 |   209732 |    23098     18 |      585 |      260
499.55/499.71	c  499s |      17 |   356895 |   210432 |    23098     18 |      585 |      260
501.55/501.79	c  501s |      17 |   357672 |   211132 |    23098     18 |      585 |      260
503.65/503.80	c  503s |      17 |   358451 |   211832 |    23098     18 |      585 |      260
505.85/506.04	c  505s |      17 |   359383 |   212632 |    23098     18 |      585 |      260
508.05/508.22	c  507s |      17 |   360166 |   213332 |    23098     18 |      585 |      260
510.14/510.32	c  510s |      17 |   360829 |   213932 |    23098     18 |      585 |      260
512.14/512.37	c  512s |      17 |   361511 |   214532 |    23098     18 |      585 |      260
514.34/514.53	c  514s |      17 |   362187 |   215132 |    23098     18 |      585 |      260
516.54/516.79	c  516s |      17 |   362876 |   215732 |    23098     18 |      585 |      260
519.04/519.21	c  518s |      17 |   363539 |   216332 |    23098     18 |      585 |      260
521.24/521.41	c  521s |      17 |   364220 |   216932 |    23098     18 |      585 |      260
523.54/523.73	c  523s |      17 |   364991 |   217632 |    23098     18 |      585 |      260
525.64/525.89	c  525s |      17 |   365647 |   218232 |    23098     18 |      585 |      260
527.84/528.00	c  527s |      17 |   366310 |   218832 |    23098     18 |      585 |      260
529.93/530.12	c  529s |      17 |   366844 |   219332 |    23098     18 |      585 |      260
531.93/532.15	c  531s |      17 |   367280 |   219732 |    23098     19 |      585 |      260
534.23/534.44	c  534s |      17 |   368078 |   220432 |    23098     19 |      585 |      260
536.43/536.64	c  536s |      17 |   368748 |   221032 |    23098     19 |      585 |      260
538.62/538.80	c  538s |      17 |   369386 |   221632 |    23098     19 |      585 |      260
540.92/541.16	c  540s |      17 |   370161 |   222332 |    23098     19 |      585 |      260
542.92/543.19	c  542s |      17 |   370815 |   222932 |    23098     19 |      585 |      260
545.02/545.29	c  545s |      17 |   371472 |   223532 |    23098     19 |      585 |      260
547.13/547.37	c  547s |      17 |   372023 |   224032 |    23098     19 |      585 |      260
549.32/549.57	c  549s |      17 |   372550 |   224532 |    23098     19 |      585 |      260
551.52/551.74	c  551s |      17 |   373083 |   225032 |    23098     19 |      585 |      260
553.72/553.90	c  553s |      17 |   373621 |   225532 |    23098     19 |      585 |      260
555.82/556.06	c  555s |      17 |   374159 |   226032 |    23098     19 |      585 |      260
558.22/558.43	c  558s |      17 |   374796 |   226632 |    23098     19 |      585 |      260
560.22/560.46	c  560s |      17 |   375346 |   227132 |    23098     19 |      585 |      260
562.31/562.56	c  562s |      17 |   375908 |   227632 |    23098     19 |      585 |      260
564.41/564.64	c  564s |      17 |   376468 |   228132 |    23098     19 |      585 |      260
566.61/566.87	c  566s |      17 |   377016 |   228632 |    23098     19 |      585 |      260
569.01/569.20	c  568s |      17 |   377560 |   229132 |    23098     19 |      585 |      260
571.21/571.44	c  571s |      17 |   378092 |   229632 |    23098     19 |      585 |      260
573.41/573.63	c  573s |      17 |   378630 |   230132 |    23098     19 |      585 |      260
575.71/575.99	c  575s |      17 |   379157 |   230632 |    23098     19 |      585 |      260
577.91/578.10	c  577s |      17 |   379710 |   231132 |    23098     19 |      585 |      260
580.00/580.23	c  579s |      17 |   380278 |   231632 |    23098     19 |      585 |      260
582.20/582.48	c  582s |      17 |   380854 |   232132 |    23098     19 |      585 |      260
584.30/584.54	c  584s |      17 |   381173 |   232432 |    23098     20 |      585 |      260
586.30/586.55	c  586s |      17 |   381824 |   233032 |    23098     20 |      585 |      260
588.31/588.58	c  588s |      17 |   382609 |   233732 |    23098     20 |      585 |      260
590.60/590.81	c  590s |      17 |   383258 |   234332 |    23098     20 |      585 |      260
592.59/592.88	c  592s |      17 |   383897 |   234932 |    23098     20 |      585 |      260
594.79/595.03	c  594s |      17 |   384548 |   235532 |    23098     20 |      585 |      260
596.89/597.16	c  596s |      17 |   385404 |   236132 |    23098     20 |      585 |      260
598.99/599.29	c  599s |      17 |   387664 |   237232 |    23098     20 |      585 |      260
601.09/601.35	c  601s |      17 |   388594 |   238032 |    23098     20 |      585 |      260
603.19/603.43	c  603s |      17 |   389360 |   238732 |    23098     20 |      585 |      260
605.39/605.63	c  605s |      17 |   390456 |   239632 |    23098     20 |      585 |      260
607.39/607.64	c  607s |      17 |   391320 |   240332 |    23098     20 |      585 |      260
609.58/609.80	c  609s |      17 |   392132 |   241032 |    23098     20 |      585 |      260
611.58/611.83	c  611s |      17 |   392794 |   241632 |    23098     20 |      585 |      260
613.59/613.89	c  613s |      17 |   393651 |   242332 |    23098     20 |      585 |      260
615.79/616.06	c  615s |      17 |   394551 |   243032 |    23098     20 |      585 |      260
618.09/618.36	c  618s |      17 |   395394 |   243732 |    23098     20 |      585 |      260
620.18/620.47	c  620s |      17 |   396092 |   244332 |    23098     20 |      585 |      260
622.27/622.52	c  622s |      17 |   396778 |   244932 |    23098     20 |      585 |      260
624.87/625.18	c  624s |      17 |   397521 |   245532 |    23098     21 |      585 |      260
627.17/627.41	c  627s |      17 |   398317 |   246232 |    23098     21 |      585 |      260
629.37/629.67	c  629s |      17 |   399138 |   246932 |    23098     21 |      585 |      260
631.67/631.94	c  631s |      17 |   399924 |   247632 |    23098     21 |      585 |      260
633.77/634.00	c  633s |      17 |   400622 |   248232 |    23098     21 |      585 |      260
635.77/636.05	c  635s |      17 |   401304 |   248832 |    23098     21 |      585 |      260
637.77/638.08	c  637s |      17 |   402007 |   249432 |    23098     21 |      585 |      260
639.86/640.16	c  639s |      17 |   402661 |   250032 |    23098     21 |      585 |      260
642.06/642.36	c  642s |      17 |   403360 |   250632 |    23098     21 |      585 |      260
644.37/644.64	c  644s |      17 |   404008 |   251232 |    23098     21 |      585 |      260
646.67/646.95	c  646s |      17 |   404663 |   251832 |    23098     21 |      585 |      260
648.76/649.03	c  648s |      17 |   405346 |   252432 |    23098     21 |      585 |      260
650.75/651.08	c  650s |      17 |   406028 |   253032 |    23098     21 |      585 |      260
653.05/653.33	c  653s |      17 |   406571 |   253532 |    23098     21 |      585 |      260
655.25/655.56	c  655s |      17 |   407296 |   254132 |    23098     21 |      585 |      260
657.25/657.58	c  657s |      17 |   407837 |   254632 |    23098     21 |      585 |      260
659.75/660.05	c  659s |      17 |   408387 |   255132 |    23098     21 |      585 |      260
661.95/662.24	c  661s |      17 |   409096 |   255732 |    23098     21 |      585 |      260
664.05/664.31	c  664s |      17 |   409765 |   256332 |    23098     21 |      585 |      260
666.36/666.61	c  666s |      17 |   410599 |   257032 |    23098     21 |      585 |      260
668.45/668.80	c  668s |      17 |   411265 |   257632 |    23098     21 |      585 |      260
670.55/670.82	c  670s |      17 |   411804 |   258132 |    23098     21 |      585 |      260
672.74/673.04	c  672s |      17 |   412256 |   258532 |    23098     22 |      585 |      260
674.94/675.29	c  675s |      17 |   413310 |   259432 |    23098     22 |      585 |      260
677.04/677.32	c  677s |      17 |   414118 |   260132 |    23098     22 |      585 |      260
679.14/679.40	c  679s |      17 |   414919 |   260832 |    23098     22 |      585 |      260
681.34/681.60	c  681s |      17 |   416170 |   261732 |    23098     22 |      585 |      260
683.34/683.66	c  683s |      17 |   417196 |   262532 |    23098     22 |      585 |      260
685.44/685.76	c  685s |      17 |   418141 |   263332 |    23098     22 |      585 |      260
687.44/687.78	c  687s |      17 |   418919 |   264032 |    23098     22 |      585 |      260
689.54/689.87	c  689s |      17 |   420795 |   264932 |    23098     22 |      585 |      260
691.74/692.05	c  691s |      17 |   421750 |   265732 |    23098     22 |      585 |      260
693.84/694.18	c  693s |      17 |   422576 |   266432 |    23098     22 |      585 |      260
695.93/696.22	c  695s |      17 |   423600 |   267232 |    23098     22 |      585 |      260
697.93/698.22	c  697s |      17 |   424930 |   268132 |    23098     22 |      585 |      260
700.12/700.49	c  700s |      17 |   425868 |   268932 |    23098     22 |      585 |      260
702.32/702.61	c  702s |      17 |   426689 |   269632 |    23098     22 |      585 |      260
704.52/704.85	c  704s |      17 |   427652 |   270432 |    23098     22 |      585 |      260
706.52/706.88	c  706s |      17 |   428430 |   271132 |    23098     22 |      585 |      260
709.02/709.32	c  709s |      17 |   429114 |   271732 |    23098     23 |      585 |      260
711.22/711.53	c  711s |      17 |   430002 |   272532 |    23098     23 |      585 |      260
713.32/713.69	c  713s |      17 |   430817 |   273232 |    23098     23 |      585 |      260
715.42/715.71	c  715s |      17 |   431624 |   273932 |    23098     23 |      585 |      260
717.52/717.84	c  717s |      17 |   432399 |   274632 |    23098     23 |      585 |      260
719.61/719.92	c  719s |      17 |   433158 |   275332 |    23098     23 |      585 |      260
721.71/722.07	c  721s |      17 |   434192 |   276132 |    23098     23 |      585 |      260
723.81/724.12	c  723s |      17 |   435132 |   276932 |    23098     23 |      585 |      260
725.91/726.28	c  726s |      17 |   436081 |   277732 |    23098     23 |      585 |      260
728.02/728.35	c  728s |      17 |   437128 |   278532 |    23098     23 |      585 |      260
730.31/730.61	c  730s |      17 |   438224 |   279432 |    23098     23 |      585 |      260
732.32/732.62	c  732s |      17 |   439084 |   280132 |    23098     23 |      585 |      260
734.31/734.66	c  734s |      17 |   439913 |   280832 |    23098     23 |      585 |      260
736.61/736.91	c  736s |      17 |   440735 |   281532 |    23098     23 |      585 |      260
738.91/739.28	c  739s |      17 |   441533 |   282232 |    23098     23 |      585 |      260
741.11/741.49	c  741s |      17 |   442359 |   282932 |    23098     23 |      585 |      260
743.21/743.54	c  743s |      17 |   443051 |   283532 |    23098     23 |      585 |      260
745.51/745.84	c  745s |      17 |   443732 |   284132 |    23098     23 |      585 |      260
747.61/747.91	c  747s |      17 |   444409 |   284732 |    23098     23 |      585 |      260
749.71/750.09	c  749s |      17 |   445116 |   285332 |    23098     24 |      585 |      260
751.81/752.13	c  751s |      17 |   446025 |   286132 |    23098     24 |      585 |      260
753.91/754.29	c  754s |      17 |   446919 |   286932 |    23098     24 |      585 |      260
756.11/756.50	c  756s |      17 |   447716 |   287632 |    23098     24 |      585 |      260
758.40/758.73	c  758s |      17 |   448701 |   288432 |    23098     24 |      585 |      260
760.70/761.02	c  760s |      17 |   449617 |   289232 |    23098     24 |      585 |      260
762.70/763.02	c  762s |      17 |   450453 |   289932 |    23098     24 |      585 |      260
764.90/765.21	c  764s |      17 |   451401 |   290732 |    23098     24 |      585 |      260
767.00/767.38	c  767s |      17 |   452192 |   291432 |    23098     24 |      585 |      260
769.20/769.54	c  769s |      17 |   453029 |   292132 |    23098     24 |      585 |      260
771.40/771.74	c  771s |      17 |   453910 |   292832 |    23098     24 |      585 |      260
773.60/773.95	c  773s |      17 |   454695 |   293532 |    23098     24 |      585 |      260
775.80/776.13	c  775s |      17 |   455399 |   294132 |    23098     24 |      585 |      260
778.10/778.44	c  778s |      17 |   456210 |   294832 |    25408     24 |      585 |      260
780.60/780.90	c  780s |      17 |   456883 |   295432 |    25408     24 |      585 |      260
782.60/782.99	c  782s |      17 |   457541 |   296032 |    25408     24 |      585 |      260
783.50/783.83	c  783s |      18 |   457785 |   296252 |    25408     24 |      585 |      260
785.60/785.94	c  785s |      18 |   462710 |   297952 |    25408     24 |      585 |      260
787.80/788.10	c  787s |      18 |   465222 |   299652 |    25408     24 |      585 |      260
789.80/790.18	c  789s |      18 |   466803 |   300752 |    25408     25 |      585 |      260
791.90/792.25	c  791s |      18 |   469358 |   302352 |    25408     25 |      585 |      260
794.10/794.42	c  794s |      18 |   471501 |   303852 |    25408     25 |      585 |      260
796.30/796.65	c  796s |      18 |   473072 |   305052 |    25408     25 |      585 |      260
798.40/798.77	c  798s |      18 |   474033 |   305852 |    25408     25 |      585 |      260
800.50/800.81	c  800s |      18 |   475298 |   306852 |    25408     25 |      585 |      260
802.50/802.88	c  802s |      18 |   476649 |   307852 |    25408     25 |      585 |      260
804.69/805.01	c  804s |      18 |   477760 |   308752 |    25408     25 |      585 |      260
806.69/807.02	c  806s |      18 |   479077 |   309752 |    25408     25 |      585 |      260
808.89/809.21	c  808s |      18 |   480424 |   310752 |    25408     25 |      585 |      260
811.09/811.41	c  811s |      18 |   481775 |   311752 |    25408     25 |      585 |      260
813.19/813.57	c  813s |      18 |   482724 |   312552 |    25408     25 |      585 |      260
815.49/815.89	c  815s |      18 |   483524 |   313252 |    25408     25 |      585 |      260
817.79/818.13	c  817s |      18 |   484529 |   314052 |    25408     25 |      585 |      260
820.09/820.44	c  820s |      18 |   485262 |   314652 |    25408     25 |      585 |      260
822.09/822.48	c  822s |      18 |   485730 |   315052 |    25408     26 |      585 |      260
824.40/824.77	c  824s |      18 |   486601 |   315752 |    25408     26 |      585 |      260
826.50/826.81	c  826s |      18 |   487899 |   316652 |    25408     26 |      585 |      260
828.60/828.97	c  828s |      18 |   489400 |   317752 |    25408     26 |      585 |      260
830.70/831.03	c  830s |      18 |   490787 |   318752 |    25408     26 |      585 |      260
832.90/833.25	c  832s |      18 |   491873 |   319552 |    25408     26 |      585 |      260
835.00/835.35	c  835s |      18 |   493098 |   320452 |    25408     26 |      585 |      260
837.10/837.48	c  837s |      18 |   494136 |   321252 |    25408     26 |      585 |      260
839.20/839.57	c  839s |      18 |   495125 |   322052 |    25408     26 |      585 |      260
841.50/841.85	c  841s |      18 |   496361 |   322952 |    25408     26 |      585 |      260
843.70/844.04	c  843s |      18 |   497410 |   323752 |    25408     26 |      585 |      260
846.19/846.54	c  846s |      18 |   498155 |   324352 |    25408     26 |      585 |      260
848.49/848.81	c  848s |      18 |   498902 |   324952 |    25408     26 |      585 |      260
850.89/851.21	c  850s |      18 |   499487 |   325452 |    25408     26 |      585 |      260
852.99/853.35	c  853s |      18 |   499969 |   325852 |    25408     26 |      585 |      260
855.09/855.47	c  855s |      18 |   500798 |   326452 |    25408     26 |      585 |      260
857.19/857.54	c  857s |      18 |   501983 |   327252 |    25408     26 |      585 |      260
859.19/859.59	c  859s |      18 |   503028 |   327952 |    25408     26 |      585 |      260
861.39/861.73	c  861s |      18 |   503927 |   328652 |    25408     26 |      585 |      260
863.39/863.79	c  863s |      18 |   504735 |   329252 |    25408     27 |      585 |      260
865.69/866.07	c  865s |      18 |   505915 |   330152 |    25408     27 |      585 |      260
867.89/868.20	c  867s |      18 |   506967 |   330952 |    25408     27 |      585 |      260
869.89/870.25	c  869s |      18 |   508020 |   331752 |    25408     27 |      585 |      260
872.09/872.45	c  872s |      18 |   509007 |   332552 |    25408     27 |      585 |      260
874.19/874.53	c  874s |      18 |   510061 |   333352 |    25408     27 |      585 |      260
876.18/876.59	c  876s |      18 |   511099 |   334152 |    25408     27 |      585 |      260
878.38/878.76	c  878s |      18 |   512125 |   334952 |    25408     27 |      585 |      260
880.38/880.78	c  880s |      18 |   513176 |   335752 |    25408     27 |      585 |      260
882.48/882.80	c  882s |      18 |   514028 |   336452 |    25408     27 |      585 |      260
884.58/884.90	c  884s |      18 |   514953 |   337152 |    25408     27 |      585 |      260
886.58/886.95	c  886s |      18 |   515677 |   337752 |    25408     27 |      585 |      260
888.68/889.06	c  888s |      18 |   516596 |   338452 |    25408     27 |      585 |      260
890.88/891.25	c  890s |      18 |   517614 |   339252 |    25408     27 |      585 |      260
893.08/893.46	c  893s |      18 |   518647 |   340052 |    25408     27 |      585 |      260
895.48/895.82	c  895s |      18 |   519528 |   340752 |    25408     27 |      585 |      260
897.78/898.10	c  897s |      18 |   520460 |   341452 |    25408     27 |      585 |      260
899.78/900.12	c  899s |      18 |   521171 |   342052 |    25408     27 |      585 |      260
901.79/902.14	c  901s |      18 |   521897 |   342652 |    25408     27 |      585 |      260
904.08/904.42	c  904s |      18 |   522578 |   343252 |    25408     27 |      585 |      260
906.28/906.69	c  906s |      18 |   523150 |   343752 |    25408     28 |      585 |      260
908.58/908.96	c  908s |      18 |   524189 |   344652 |    25408     28 |      585 |      260
910.58/910.99	c  910s |      18 |   525018 |   345352 |    25408     28 |      585 |      260
912.68/913.01	c  912s |      18 |   526010 |   346152 |    25408     28 |      585 |      260
914.68/915.05	c  914s |      18 |   527201 |   347052 |    25408     28 |      585 |      260
916.68/917.08	c  916s |      18 |   528304 |   347952 |    25408     28 |      585 |      260
918.98/919.35	c  919s |      18 |   529523 |   348852 |    25408     28 |      585 |      260
920.98/921.35	c  921s |      18 |   530560 |   349652 |    25408     28 |      585 |      260
923.08/923.45	c  923s |      18 |   531533 |   350452 |    25408     28 |      585 |      260
925.07/925.45	c  925s |      18 |   532650 |   351252 |    25408     28 |      585 |      260
927.17/927.52	c  927s |      18 |   533509 |   351952 |    25408     28 |      585 |      260
929.28/929.67	c  929s |      18 |   534388 |   352652 |    25408     28 |      585 |      260
931.67/932.02	c  931s |      18 |   535225 |   353352 |    25408     28 |      585 |      260
933.88/934.27	c  933s |      18 |   535942 |   353952 |    25408     28 |      585 |      260
936.08/936.41	c  936s |      18 |   536911 |   354652 |    25408     28 |      585 |      260
938.28/938.60	c  938s |      18 |   537823 |   355352 |    25408     28 |      585 |      260
940.29/940.60	c  940s |      18 |   538551 |   355952 |    25408     28 |      585 |      260
942.28/942.64	c  942s |      18 |   539295 |   356552 |    25408     28 |      585 |      260
944.48/944.83	c  944s |      18 |   540043 |   357152 |    25408     28 |      585 |      260
946.79/947.10	c  946s |      18 |   540633 |   357652 |    25408     29 |      585 |      260
948.99/949.40	c  949s |      18 |   541592 |   358452 |    25408     29 |      585 |      260
951.29/951.61	c  951s |      18 |   542706 |   359352 |    25408     29 |      585 |      260
953.49/953.81	c  953s |      18 |   543751 |   360152 |    25408     29 |      585 |      260
955.58/955.93	c  955s |      18 |   544708 |   360952 |    25408     29 |      585 |      260
957.78/958.11	c  957s |      18 |   545896 |   361852 |    25408     29 |      585 |      260
959.78/960.19	c  959s |      18 |   547470 |   362852 |    25408     29 |      585 |      260
961.98/962.34	c  962s |      18 |   549102 |   363952 |    25408     29 |      585 |      260
964.08/964.45	c  964s |      18 |   550449 |   364952 |    25408     29 |      585 |      260
966.18/966.58	c  966s |      18 |   552386 |   366052 |    25408     29 |      585 |      260
968.37/968.70	c  968s |      18 |   553994 |   367152 |    25408     29 |      585 |      260
970.37/970.79	c  970s |      18 |   555521 |   368152 |    25408     29 |      585 |      260
972.47/972.82	c  972s |      18 |   556831 |   369052 |    25408     29 |      585 |      260
974.57/974.93	c  974s |      18 |   558167 |   370052 |    25408     29 |      585 |      260
976.67/977.04	c  976s |      18 |   559583 |   370952 |    25408     29 |      585 |      260
978.68/979.10	c  978s |      18 |   560542 |   371752 |    25408     29 |      585 |      260
980.77/981.13	c  980s |      18 |   561250 |   372352 |    25408     30 |      585 |      260
982.87/983.22	c  982s |      18 |   562303 |   373252 |    25408     30 |      585 |      260
984.87/985.29	c  985s |      18 |   563452 |   374152 |    25408     30 |      585 |      260
986.97/987.39	c  987s |      18 |   564458 |   374952 |    25408     30 |      585 |      260
989.17/989.56	c  989s |      18 |   565564 |   375852 |    25408     30 |      585 |      260
991.37/991.71	c  991s |      18 |   566656 |   376752 |    25408     30 |      585 |      260
993.37/993.77	c  993s |      18 |   567602 |   377552 |    25408     30 |      585 |      260
995.47/995.86	c  995s |      18 |   568592 |   378352 |    25408     30 |      585 |      260
997.57/997.97	c  997s |      18 |   569443 |   379052 |    25408     30 |      585 |      260
999.68/1000.01	c  999s |      18 |   570398 |   379852 |    25408     30 |      585 |      260
1001.87/1002.26	c 1001s |      18 |   571217 |   380552 |    25408     30 |      585 |      260
1003.97/1004.34	c 1004s |      18 |   571928 |   381152 |    25408     30 |      585 |      260
1006.27/1006.63	c 1006s |      18 |   572768 |   381852 |    25408     30 |      585 |      260
1008.37/1008.79	c 1008s |      18 |   573448 |   382452 |    25408     30 |      585 |      260
1010.46/1010.86	c 1010s |      18 |   574173 |   383052 |    25408     30 |      585 |      260
1012.66/1013.04	c 1012s |      18 |   574860 |   383652 |    25408     30 |      585 |      260
1014.86/1015.26	c 1014s |      18 |   575410 |   384152 |    25408     30 |      585 |      260
1017.17/1017.51	c 1017s |      18 |   576089 |   384752 |    25408     30 |      585 |      260
1019.26/1019.62	c 1019s |      18 |   576665 |   385252 |    25408     30 |      585 |      260
1021.26/1021.64	c 1021s |      18 |   577521 |   385952 |    25408     30 |      585 |      260
1023.46/1023.90	c 1023s |      18 |   578219 |   386552 |    25408     31 |      585 |      260
1025.56/1025.91	c 1025s |      18 |   579000 |   387252 |    25408     31 |      585 |      260
1027.57/1027.96	c 1027s |      18 |   579964 |   388052 |    25408     31 |      585 |      260
1029.67/1030.01	c 1029s |      18 |   580762 |   388752 |    25408     31 |      585 |      260
1031.87/1032.24	c 1031s |      18 |   581529 |   389452 |    25408     31 |      585 |      260
1033.97/1034.39	c 1034s |      18 |   582331 |   390152 |    25408     31 |      585 |      260
1036.27/1036.67	c 1036s |      18 |   583136 |   390852 |    25408     31 |      585 |      260
1038.47/1038.83	c 1038s |      18 |   583936 |   391552 |    25408     31 |      585 |      260
1040.57/1040.95	c 1040s |      18 |   584632 |   392152 |    25408     31 |      585 |      260
1042.57/1042.97	c 1042s |      18 |   585305 |   392752 |    25408     31 |      585 |      260
1044.67/1045.04	c 1044s |      18 |   585998 |   393352 |    25408     31 |      585 |      260
1046.87/1047.23	c 1046s |      18 |   586666 |   393952 |    25408     31 |      585 |      260
1048.96/1049.40	c 1049s |      18 |   587363 |   394552 |    25408     31 |      585 |      260
1051.27/1051.61	c 1051s |      18 |   588039 |   395152 |    25408     31 |      585 |      260
1053.36/1053.79	c 1053s |      18 |   588722 |   395752 |    25408     31 |      585 |      260
1055.67/1056.02	c 1055s |      18 |   589377 |   396352 |    25408     31 |      585 |      260
1057.87/1058.22	c 1057s |      18 |   590083 |   396952 |    25408     31 |      585 |      260
1060.07/1060.44	c 1060s |      18 |   590947 |   397652 |    25408     31 |      585 |      260
1062.16/1062.55	c 1062s |      18 |   591670 |   398252 |    25408     31 |      585 |      260
1064.36/1064.79	c 1064s |      18 |   592352 |   398852 |    25408     31 |      585 |      260
1066.67/1067.05	c 1066s |      18 |   593019 |   399452 |    25408     31 |      585 |      260
1068.87/1069.29	c 1069s |      18 |   593701 |   400052 |    25408     31 |      585 |      260
1071.07/1071.42	c 1071s |      18 |   594273 |   400552 |    25408     31 |      585 |      260
1073.27/1073.63	c 1073s |      18 |   594717 |   400952 |    25408     32 |      585 |      260
1075.26/1075.66	c 1075s |      18 |   595522 |   401652 |    25408     32 |      585 |      260
1077.46/1077.81	c 1077s |      18 |   596465 |   402452 |    25408     32 |      585 |      260
1079.56/1079.95	c 1079s |      18 |   597289 |   403152 |    25408     32 |      585 |      260
1081.66/1082.07	c 1081s |      18 |   598289 |   403952 |    25408     32 |      585 |      260
1083.86/1084.30	c 1084s |      18 |   599136 |   404652 |    25408     32 |      585 |      260
1086.06/1086.49	c 1086s |      18 |   599932 |   405352 |    25408     32 |      585 |      260
1088.26/1088.64	c 1088s |      18 |   600596 |   405952 |    25408     32 |      585 |      260
1090.36/1090.74	c 1090s |      18 |   601277 |   406552 |    25408     32 |      585 |      260
1092.46/1092.83	c 1092s |      18 |   601954 |   407152 |    25408     32 |      585 |      260
1094.76/1095.16	c 1094s |      18 |   602631 |   407752 |    25408     32 |      585 |      260
1097.06/1097.46	c 1097s |      18 |   603295 |   408352 |    25408     32 |      585 |      260
1099.35/1099.77	c 1099s |      18 |   603946 |   408952 |    25408     32 |      585 |      260
1101.75/1102.15	c 1101s |      18 |   604635 |   409552 |    25408     32 |      585 |      260
1104.06/1104.47	c 1104s |      18 |   605330 |   410152 |    25408     32 |      585 |      260
1106.36/1106.74	c 1106s |      18 |   606001 |   410752 |    25408     32 |      585 |      260
1108.35/1108.80	c 1108s |      18 |   606559 |   411252 |    25408     32 |      585 |      260
1110.55/1110.90	c 1110s |      18 |   607119 |   411752 |    25408     32 |      585 |      260
1112.55/1112.97	c 1112s |      18 |   607703 |   412252 |    25408     32 |      585 |      260
1114.95/1115.36	c 1115s |      18 |   608411 |   412852 |    25408     32 |      585 |      260
1117.15/1117.59	c 1117s |      18 |   609104 |   413452 |    25408     32 |      585 |      260
1119.25/1119.65	c 1119s |      18 |   609646 |   413952 |    25408     32 |      585 |      260
1121.45/1121.85	c 1121s |      18 |   610195 |   414452 |    25408     32 |      585 |      260
1123.45/1123.87	c 1123s |      18 |   610832 |   414952 |    25408     32 |      585 |      260
1125.55/1125.99	c 1125s |      18 |   611417 |   415452 |    25408     33 |      585 |      260
1127.65/1128.09	c 1127s |      18 |   612449 |   416252 |    25408     33 |      585 |      260
1129.75/1130.10	c 1129s |      18 |   613294 |   416952 |    25408     33 |      585 |      260
1131.85/1132.26	c 1131s |      18 |   614122 |   417652 |    25408     33 |      585 |      260
1133.95/1134.36	c 1134s |      18 |   614946 |   418352 |    25408     33 |      585 |      260
1136.06/1136.42	c 1136s |      18 |   615759 |   419052 |    25408     33 |      585 |      260
1138.26/1138.63	c 1138s |      18 |   616535 |   419752 |    25408     33 |      585 |      260
1140.55/1140.92	c 1140s |      18 |   617577 |   420552 |    25408     33 |      585 |      260
1142.55/1143.00	c 1142s |      18 |   618444 |   421252 |    25408     33 |      585 |      260
1144.65/1145.10	c 1144s |      18 |   619280 |   421952 |    25408     33 |      585 |      260
1146.84/1147.23	c 1146s |      18 |   620141 |   422652 |    25408     33 |      585 |      260
1148.84/1149.27	c 1148s |      18 |   620830 |   423252 |    25408     33 |      585 |      260
1150.94/1151.35	c 1151s |      18 |   621380 |   423752 |    25408     33 |      585 |      260
1152.94/1153.39	c 1153s |      18 |   622124 |   424352 |    25408     33 |      585 |      260
1155.04/1155.43	c 1155s |      18 |   623346 |   425152 |    25408     33 |      585 |      260
1157.24/1157.66	c 1157s |      18 |   624656 |   426052 |    25408     33 |      585 |      260
1159.44/1159.80	c 1159s |      18 |   625894 |   426852 |    25408     33 |      585 |      260
1161.64/1162.06	c 1161s |      18 |   626940 |   427652 |    25408     33 |      585 |      260
1163.84/1164.20	c 1163s |      18 |   627781 |   428352 |    25408     33 |      585 |      260
1165.84/1166.23	c 1165s |      18 |   628696 |   429052 |    25408     33 |      585 |      260
1167.85/1168.24	c 1167s |      18 |   629373 |   429552 |    25408     34 |      585 |      260
1169.94/1170.39	c 1170s |      18 |   630556 |   430452 |    25408     34 |      585 |      260
1172.04/1172.47	c 1172s |      18 |   631535 |   431252 |    25408     34 |      585 |      260
1174.24/1174.66	c 1174s |      18 |   632682 |   432152 |    25408     34 |      585 |      260
1176.34/1176.77	c 1176s |      18 |   633537 |   432852 |    25408     34 |      585 |      260
1178.54/1178.92	c 1178s |      18 |   634603 |   433652 |    25408     34 |      585 |      260
1180.74/1181.13	c 1180s |      18 |   635615 |   434452 |    25408     34 |      585 |      260
1182.94/1183.39	c 1183s |      18 |   636554 |   435252 |    25408     34 |      585 |      260
1185.04/1185.46	c 1185s |      18 |   637441 |   435952 |    25408     34 |      585 |      260
1187.14/1187.50	c 1187s |      18 |   638308 |   436652 |    25408     34 |      585 |      260
1189.14/1189.59	c 1189s |      18 |   639156 |   437352 |    25408     34 |      585 |      260
1191.54/1191.90	c 1191s |      18 |   639880 |   437952 |    25408     34 |      585 |      260
1193.54/1193.92	c 1193s |      18 |   640490 |   438452 |    25408     34 |      585 |      260
1195.63/1196.09	c 1195s |      18 |   641251 |   439052 |    25408     34 |      585 |      260
1197.83/1198.27	c 1197s |      18 |   641992 |   439652 |    25408     34 |      585 |      260
1200.03/1200.43	c 1200s |      18 |   642748 |   440252 |    25408     34 |      585 |      260
1202.34/1202.76	c 1202s |      18 |   643487 |   440852 |    25408     34 |      585 |      260
1204.64/1205.01	c 1204s |      18 |   644150 |   441452 |    27949     34 |      585 |      260
1206.94/1207.35	c 1207s |      18 |   644836 |   442052 |    27949     34 |      585 |      260
1208.94/1209.36	c 1209s |      18 |   645399 |   442552 |    27949     34 |      585 |      260
1211.14/1211.57	c 1211s |      18 |   645948 |   443052 |    27949     34 |      585 |      260
1213.54/1213.96	c 1213s |      18 |   646501 |   443552 |    27949     34 |      585 |      260
1215.84/1216.27	c 1215s |      18 |   647045 |   444052 |    27949     34 |      585 |      260
1217.54/1217.92	c 1217s |      19 |   647547 |   444482 |    27949     34 |      585 |      260
1219.64/1220.01	c 1219s |      19 |   651640 |   445582 |    27949     35 |      585 |      260
1221.64/1222.09	c 1221s |      19 |   654883 |   447182 |    27949     35 |      585 |      260
1223.74/1224.14	c 1223s |      19 |   659934 |   448882 |    27949     35 |      585 |      260
1225.84/1226.29	c 1226s |      19 |   663527 |   450482 |    27949     35 |      585 |      260
1227.94/1228.38	c 1228s |      19 |   665014 |   451682 |    27949     35 |      585 |      260
1230.14/1230.51	c 1230s |      19 |   666351 |   452782 |    27949     35 |      585 |      260
1232.13/1232.59	c 1232s |      19 |   667505 |   453782 |    27949     35 |      585 |      260
1234.23/1234.63	c 1234s |      19 |   669166 |   454882 |    27949     35 |      585 |      260
1236.33/1236.72	c 1236s |      19 |   670680 |   456082 |    27949     35 |      585 |      260
1238.53/1238.97	c 1238s |      19 |   671999 |   457182 |    27949     35 |      585 |      260
1240.73/1241.15	c 1240s |      19 |   673104 |   458182 |    27949     35 |      585 |      260
1242.93/1243.36	c 1243s |      19 |   674165 |   459082 |    27949     35 |      585 |      260
1245.13/1245.54	c 1245s |      19 |   675707 |   460282 |    27949     35 |      585 |      260
1247.14/1247.57	c 1247s |      19 |   676677 |   461082 |    27949     36 |      585 |      260
1249.24/1249.60	c 1249s |      19 |   677781 |   461982 |    27949     36 |      585 |      260
1251.23/1251.62	c 1251s |      19 |   678776 |   462782 |    27949     36 |      585 |      260
1253.23/1253.62	c 1253s |      19 |   679909 |   463682 |    27949     36 |      585 |      260
1255.33/1255.76	c 1255s |      19 |   680920 |   464482 |    27949     36 |      585 |      260
1257.33/1257.79	c 1257s |      19 |   681770 |   465182 |    27949     36 |      585 |      260
1259.53/1259.93	c 1259s |      19 |   682640 |   465982 |    27949     36 |      585 |      260
1261.73/1262.10	c 1261s |      19 |   683453 |   466682 |    27949     36 |      585 |      260
1263.83/1264.28	c 1264s |      19 |   684253 |   467382 |    27949     36 |      585 |      260
1265.93/1266.36	c 1266s |      19 |   684938 |   467982 |    27949     36 |      585 |      260
1268.13/1268.54	c 1268s |      19 |   685604 |   468582 |    27949     36 |      585 |      260
1270.32/1270.73	c 1270s |      19 |   686266 |   469182 |    27949     36 |      585 |      260
1272.52/1272.92	c 1272s |      19 |   686913 |   469782 |    27949     36 |      585 |      260
1274.72/1275.14	c 1274s |      19 |   687586 |   470382 |    27949     36 |      585 |      260
1277.02/1277.47	c 1277s |      19 |   688241 |   470982 |    27949     36 |      585 |      260
1279.12/1279.53	c 1279s |      19 |   688817 |   471482 |    27949     36 |      585 |      260
1281.13/1281.56	c 1281s |      19 |   689359 |   471982 |    27949     36 |      585 |      260
1283.52/1283.94	c 1283s |      19 |   690010 |   472582 |    27949     36 |      585 |      260
1285.92/1286.32	c 1286s |      19 |   690640 |   473182 |    27949     36 |      585 |      260
1288.12/1288.51	c 1288s |      19 |   691178 |   473682 |    27949     36 |      585 |      260
1290.42/1290.81	c 1290s |      19 |   691728 |   474182 |    27949     36 |      585 |      260
1292.62/1293.02	c 1292s |      19 |   692255 |   474682 |    27949     36 |      585 |      260
1294.92/1295.35	c 1295s |      19 |   692794 |   475182 |    27949     36 |      585 |      260
1297.22/1297.62	c 1297s |      19 |   693356 |   475682 |    27949     36 |      585 |      260
1299.62/1300.02	c 1299s |      19 |   693893 |   476182 |    27949     36 |      585 |      260
1302.52/1302.90	c 1302s |      19 |   694422 |   476682 |    27949     37 |      585 |      260
1304.72/1305.10	c 1304s |      19 |   695075 |   477282 |    27949     37 |      585 |      260
1306.72/1307.16	c 1306s |      19 |   695916 |   477982 |    27949     37 |      585 |      260
1309.02/1309.45	c 1309s |      19 |   696730 |   478682 |    27949     37 |      585 |      260
1311.32/1311.74	c 1311s |      19 |   697516 |   479382 |    27949     37 |      585 |      260
1313.52/1313.99	c 1313s |      19 |   698268 |   480082 |    27949     37 |      585 |      260
1316.02/1316.40	c 1316s |      19 |   698923 |   480682 |    27949     37 |      585 |      260
1318.22/1318.65	c 1318s |      19 |   699596 |   481282 |    27949     37 |      585 |      260
1320.52/1320.95	c 1320s |      19 |   700276 |   481882 |    27949     37 |      585 |      260
1322.82/1323.26	c 1322s |      19 |   700922 |   482482 |    27949     37 |      585 |      260
1325.12/1325.55	c 1325s |      19 |   701615 |   483082 |    27949     37 |      585 |      260
1327.22/1327.69	c 1327s |      19 |   702154 |   483582 |    27949     37 |      585 |      260
1329.41/1329.84	c 1329s |      19 |   702704 |   484082 |    27949     37 |      585 |      260
1331.41/1331.88	c 1331s |      19 |   703248 |   484582 |    27949     37 |      585 |      260
1333.51/1333.94	c 1333s |      19 |   703787 |   485082 |    27949     37 |      585 |      260
1335.51/1335.96	c 1335s |      19 |   704358 |   485582 |    27949     37 |      585 |      260
1337.61/1338.06	c 1337s |      19 |   704912 |   486082 |    27949     37 |      585 |      260
1339.91/1340.32	c 1340s |      19 |   705459 |   486582 |    27949     37 |      585 |      260
1342.11/1342.53	c 1342s |      19 |   706016 |   487082 |    27949     37 |      585 |      260
1344.31/1344.74	c 1344s |      19 |   706563 |   487582 |    27949     37 |      585 |      260
1346.71/1347.13	c 1346s |      19 |   707106 |   488082 |    27949     37 |      585 |      260
1348.81/1349.23	c 1348s |      19 |   707645 |   488582 |    27949     37 |      585 |      260
1351.11/1351.51	c 1351s |      19 |   708169 |   489082 |    27949     37 |      585 |      260
1353.51/1353.98	c 1353s |      19 |   708728 |   489582 |    27949     37 |      585 |      260
1355.71/1356.12	c 1355s |      19 |   709287 |   490082 |    27949     37 |      585 |      260
1357.71/1358.19	c 1357s |      19 |   709722 |   490482 |    27949     37 |      585 |      260
1360.11/1360.55	c 1360s |      19 |   710260 |   490982 |    27949     37 |      585 |      260
1362.52/1363.00	c 1362s |      19 |   710793 |   491482 |    27949     37 |      585 |      260
1364.72/1365.11	c 1364s |      19 |   711269 |   491882 |    27949     37 |      585 |      260
1367.41/1367.84	c 1367s |      19 |   711699 |   492282 |    27949     38 |      585 |      260
1369.71/1370.11	c 1369s |      19 |   712360 |   492882 |    27949     38 |      585 |      260
1371.71/1372.13	c 1371s |      19 |   713033 |   493482 |    27949     38 |      585 |      260
1374.01/1374.43	c 1374s |      19 |   713669 |   494082 |    27949     38 |      585 |      260
1376.21/1376.67	c 1376s |      19 |   714339 |   494682 |    27949     38 |      585 |      260
1378.41/1378.85	c 1378s |      19 |   714987 |   495282 |    27949     38 |      585 |      260
1380.61/1381.01	c 1380s |      19 |   715500 |   495782 |    27949     38 |      585 |      260
1382.91/1383.31	c 1383s |      19 |   716022 |   496282 |    27949     38 |      585 |      260
1384.91/1385.36	c 1385s |      19 |   716588 |   496782 |    27949     38 |      585 |      260
1387.31/1387.71	c 1387s |      19 |   717267 |   497382 |    27949     38 |      585 |      260
1389.51/1389.96	c 1389s |      19 |   717936 |   497982 |    27949     38 |      585 |      260
1391.91/1392.32	c 1392s |      19 |   718457 |   498482 |    27949     38 |      585 |      260
1394.21/1394.63	c 1394s |      19 |   718998 |   498982 |    27949     38 |      585 |      260
1396.41/1396.81	c 1396s |      19 |   719552 |   499482 |    27949     38 |      585 |      260
1398.51/1398.97	c 1398s |      19 |   720131 |   499982 |    27949     38 |      585 |      260
1400.61/1401.02	c 1400s |      19 |   720664 |   500482 |    27949     38 |      585 |      260
1402.91/1403.30	c 1403s |      19 |   721219 |   500982 |    27949     38 |      585 |      260
1405.21/1405.62	c 1405s |      19 |   721755 |   501482 |    27949     38 |      585 |      260
1407.61/1408.05	c 1407s |      19 |   722290 |   501982 |    27949     38 |      585 |      260
1409.60/1410.07	c 1409s |      19 |   722720 |   502382 |    27949     38 |      585 |      260
1411.70/1412.14	c 1411s |      19 |   723151 |   502782 |    27949     38 |      585 |      260
1414.00/1414.48	c 1414s |      19 |   723712 |   503282 |    27949     38 |      585 |      260
1416.00/1416.49	c 1416s |      19 |   724149 |   503682 |    27949     38 |      585 |      260
1418.10/1418.59	c 1418s |      19 |   724568 |   504082 |    27949     38 |      585 |      260
1420.60/1421.01	c 1420s |      19 |   725102 |   504582 |    27949     38 |      585 |      260
1423.01/1423.49	c 1423s |      19 |   725663 |   505082 |    27949     38 |      585 |      260
1425.31/1425.73	c 1425s |      19 |   726237 |   505582 |    27949     38 |      585 |      260
1427.70/1428.18	c 1427s |      19 |   726773 |   506082 |    27949     38 |      585 |      260
1429.71/1430.19	c 1429s |      19 |   727226 |   506482 |    27949     38 |      585 |      260
1431.91/1432.34	c 1432s |      19 |   727662 |   506882 |    27949     38 |      585 |      260
1434.01/1434.43	c 1434s |      19 |   728097 |   507282 |    27949     38 |      585 |      260
1436.70/1437.19	c 1436s |      19 |   728534 |   507682 |    27949     39 |      585 |      260
1439.00/1439.41	c 1439s |      19 |   729087 |   508182 |    27949     39 |      585 |      260
1441.10/1441.51	c 1441s |      19 |   729763 |   508782 |    27949     39 |      585 |      260
1443.40/1443.86	c 1443s |      19 |   730420 |   509382 |    27949     39 |      585 |      260
1445.70/1446.12	c 1445s |      19 |   730949 |   509882 |    27949     39 |      585 |      260
1447.70/1448.14	c 1447s |      19 |   731476 |   510382 |    27949     39 |      585 |      260
1449.80/1450.24	c 1449s |      19 |   732021 |   510882 |    27949     39 |      585 |      260
1452.00/1452.45	c 1452s |      19 |   732569 |   511382 |    27949     39 |      585 |      260
1454.20/1454.66	c 1454s |      19 |   733119 |   511882 |    27949     39 |      585 |      260
1456.40/1456.88	c 1456s |      19 |   733681 |   512382 |    27949     39 |      585 |      260
1458.60/1459.07	c 1458s |      19 |   734382 |   512982 |    27949     39 |      585 |      260
1460.89/1461.36	c 1461s |      19 |   735209 |   513682 |    27949     39 |      585 |      260
1463.19/1463.60	c 1463s |      19 |   736013 |   514382 |    27949     39 |      585 |      260
1465.19/1465.62	c 1465s |      19 |   736706 |   514982 |    27949     39 |      585 |      260
1467.49/1467.90	c 1467s |      19 |   737390 |   515582 |    27949     39 |      585 |      260
1469.69/1470.11	c 1469s |      19 |   738079 |   516182 |    27949     39 |      585 |      260
1471.89/1472.34	c 1472s |      19 |   738751 |   516782 |    27949     39 |      585 |      260
1474.19/1474.67	c 1474s |      19 |   739430 |   517382 |    27949     39 |      585 |      260
1476.49/1476.98	c 1476s |      19 |   740092 |   517982 |    27949     39 |      585 |      260
1478.59/1479.05	c 1478s |      19 |   740663 |   518482 |    27949     39 |      585 |      260
1480.69/1481.17	c 1480s |      19 |   741222 |   518982 |    27949     39 |      585 |      260
1482.99/1483.46	c 1483s |      19 |   741744 |   519482 |    27949     39 |      585 |      260
1485.19/1485.61	c 1485s |      19 |   742312 |   519982 |    27949     39 |      585 |      260
1487.19/1487.68	c 1487s |      19 |   742738 |   520382 |    27949     39 |      585 |      260
1489.59/1490.00	c 1489s |      19 |   743284 |   520882 |    27949     39 |      585 |      260
1491.89/1492.35	c 1492s |      19 |   743831 |   521382 |    27949     39 |      585 |      260
1494.19/1494.63	c 1494s |      19 |   744366 |   521882 |    27949     39 |      585 |      260
1496.29/1496.78	c 1496s |      19 |   744802 |   522282 |    27949     39 |      585 |      260
1498.39/1498.85	c 1498s |      19 |   745221 |   522682 |    27949     39 |      585 |      260
1500.49/1501.00	c 1500s |      19 |   745642 |   523082 |    27949     39 |      585 |      260
1502.80/1503.27	c 1502s |      19 |   746097 |   523482 |    27949     40 |      585 |      260
1504.80/1505.27	c 1504s |      19 |   746650 |   523982 |    27949     40 |      585 |      260
1506.89/1507.31	c 1507s |      19 |   747328 |   524582 |    27949     40 |      585 |      260
1509.09/1509.57	c 1509s |      19 |   747987 |   525182 |    27949     40 |      585 |      260
1511.39/1511.81	c 1511s |      19 |   748655 |   525782 |    27949     40 |      585 |      260
1513.69/1514.15	c 1513s |      19 |   749444 |   526482 |    27949     40 |      585 |      260
1515.89/1516.37	c 1516s |      19 |   750141 |   527082 |    27949     40 |      585 |      260
1517.89/1518.37	c 1518s |      19 |   750685 |   527582 |    27949     40 |      585 |      260
1520.09/1520.59	c 1520s |      19 |   751221 |   528082 |    27949     40 |      585 |      260
1522.49/1522.90	c 1522s |      19 |   751749 |   528582 |    27949     40 |      585 |      260
1524.69/1525.12	c 1524s |      19 |   752304 |   529082 |    27949     40 |      585 |      260
1526.89/1527.35	c 1527s |      19 |   752848 |   529582 |    27949     40 |      585 |      260
1529.09/1529.51	c 1529s |      19 |   753412 |   530082 |    27949     40 |      585 |      260
1531.29/1531.77	c 1531s |      19 |   753944 |   530582 |    27949     40 |      585 |      260
1533.59/1534.00	c 1533s |      19 |   754626 |   531182 |    27949     40 |      585 |      260
1535.79/1536.28	c 1536s |      19 |   755161 |   531682 |    27949     40 |      585 |      260
1538.09/1538.55	c 1538s |      19 |   755710 |   532182 |    27949     40 |      585 |      260
1540.59/1541.02	c 1540s |      19 |   756227 |   532682 |    27949     40 |      585 |      260
1543.09/1543.58	c 1543s |      19 |   756763 |   533182 |    27949     40 |      585 |      260
1545.49/1545.97	c 1545s |      19 |   757179 |   533582 |    27949     40 |      585 |      260
1547.58/1548.09	c 1547s |      19 |   757601 |   533982 |    27949     40 |      585 |      260
1549.78/1550.26	c 1549s |      19 |   758039 |   534382 |    27949     40 |      585 |      260
1551.88/1552.30	c 1552s |      19 |   758583 |   534882 |    27949     40 |      585 |      260
1553.99/1554.49	c 1554s |      19 |   759136 |   535382 |    27949     40 |      585 |      260
1556.28/1556.76	c 1556s |      19 |   759732 |   535882 |    27949     40 |      585 |      260
1558.68/1559.15	c 1558s |      19 |   760290 |   536382 |    27949     40 |      585 |      260
1560.68/1561.17	c 1560s |      19 |   760726 |   536782 |    27949     40 |      585 |      260
1563.08/1563.53	c 1563s |      19 |   761283 |   537282 |    27949     40 |      585 |      260
1565.48/1565.91	c 1565s |      19 |   761851 |   537782 |    27949     40 |      585 |      260
1567.68/1568.14	c 1567s |      19 |   762408 |   538282 |    27949     40 |      585 |      260
1570.28/1570.80	c 1570s |      19 |   762846 |   538682 |    27949     41 |      585 |      260
1572.48/1572.94	c 1572s |      19 |   763538 |   539282 |    27949     41 |      585 |      260
1574.68/1575.16	c 1574s |      19 |   764467 |   540082 |    27949     41 |      585 |      260
1576.78/1577.23	c 1576s |      19 |   765251 |   540782 |    27949     41 |      585 |      260
1579.08/1579.59	c 1579s |      19 |   766018 |   541482 |    27949     41 |      585 |      260
1581.38/1581.81	c 1581s |      19 |   766807 |   542182 |    27949     41 |      585 |      260
1583.38/1583.81	c 1583s |      19 |   767363 |   542682 |    27949     41 |      585 |      260
1585.48/1585.90	c 1585s |      19 |   767910 |   543182 |    27949     41 |      585 |      260
1587.57/1588.02	c 1587s |      19 |   768469 |   543682 |    27949     41 |      585 |      260
1589.57/1590.08	c 1589s |      19 |   769032 |   544182 |    27949     41 |      585 |      260
1591.87/1592.36	c 1592s |      19 |   769701 |   544782 |    27949     41 |      585 |      260
1594.27/1594.70	c 1594s |      19 |   770372 |   545382 |    27949     41 |      585 |      260
1596.48/1596.90	c 1596s |      19 |   771048 |   545982 |    27949     41 |      585 |      260
1598.78/1599.20	c 1598s |      19 |   771585 |   546482 |    27949     41 |      585 |      260
1600.98/1601.40	c 1601s |      19 |   772132 |   546982 |    27949     41 |      585 |      260
1603.39/1603.82	c 1603s |      19 |   772664 |   547482 |    27949     41 |      585 |      260
1605.48/1606.00	c 1605s |      19 |   773225 |   547982 |    27949     41 |      585 |      260
1607.88/1608.32	c 1608s |      19 |   773754 |   548482 |    27949     41 |      585 |      260
1610.18/1610.60	c 1610s |      19 |   774304 |   548982 |    27949     41 |      585 |      260
1612.48/1612.94	c 1612s |      19 |   774854 |   549482 |    27949     41 |      585 |      260
1614.68/1615.12	c 1614s |      19 |   775453 |   549982 |    27949     41 |      585 |      260
1616.88/1617.36	c 1617s |      19 |   776003 |   550482 |    27949     41 |      585 |      260
1619.07/1619.57	c 1619s |      19 |   776571 |   550982 |    27949     41 |      585 |      260
1621.08/1621.58	c 1621s |      19 |   776994 |   551382 |    27949     41 |      585 |      260
1623.18/1623.62	c 1623s |      19 |   777440 |   551782 |    27949     41 |      585 |      260
1625.57/1626.01	c 1625s |      19 |   778005 |   552282 |    27949     41 |      585 |      260
1627.68/1628.13	c 1627s |      19 |   778439 |   552682 |    27949     41 |      585 |      260
1629.67/1630.14	c 1629s |      19 |   778900 |   553082 |    27949     41 |      585 |      260
1631.77/1632.26	c 1631s |      19 |   779322 |   553482 |    27949     41 |      585 |      260
1633.97/1634.47	c 1634s |      19 |   779928 |   553982 |    27949     41 |      585 |      260
1636.17/1636.66	c 1636s |      19 |   780398 |   554382 |    27949     42 |      585 |      260
1638.37/1638.88	c 1638s |      19 |   781174 |   555082 |    27949     42 |      585 |      260
1640.67/1641.19	c 1640s |      19 |   781983 |   555782 |    27949     42 |      585 |      260
1642.98/1643.45	c 1643s |      19 |   782664 |   556382 |    27949     42 |      585 |      260
1645.28/1645.74	c 1645s |      19 |   783319 |   556982 |    27949     42 |      585 |      260
1647.67/1648.15	c 1647s |      19 |   784017 |   557582 |    27949     42 |      585 |      260
1649.97/1650.44	c 1650s |      19 |   784699 |   558182 |    27949     42 |      585 |      260
1652.07/1652.58	c 1652s |      19 |   785381 |   558782 |    27949     42 |      585 |      260
1654.27/1654.74	c 1654s |      19 |   786077 |   559382 |    27949     42 |      585 |      260
1656.47/1656.94	c 1656s |      19 |   786757 |   559982 |    27949     42 |      585 |      260
1658.67/1659.19	c 1658s |      19 |   787430 |   560582 |    27949     42 |      585 |      260
1660.77/1661.22	c 1660s |      19 |   788002 |   561082 |    27949     42 |      585 |      260
1663.07/1663.58	c 1663s |      19 |   788673 |   561682 |    27949     42 |      585 |      260
1665.47/1665.94	c 1665s |      19 |   789212 |   562182 |    27949     42 |      585 |      260
1667.67/1668.16	c 1667s |      19 |   789761 |   562682 |    27949     42 |      585 |      260
1669.87/1670.34	c 1670s |      19 |   790324 |   563182 |    27949     42 |      585 |      260
1672.07/1672.54	c 1672s |      19 |   790898 |   563682 |    27949     42 |      585 |      260
1674.37/1674.80	c 1674s |      19 |   791454 |   564182 |    27949     42 |      585 |      260
1676.67/1677.16	c 1676s |      19 |   792122 |   564782 |    27949     42 |      585 |      260
1678.97/1679.46	c 1679s |      19 |   792664 |   565282 |    27949     42 |      585 |      260
1681.16/1681.69	c 1681s |      19 |   793206 |   565782 |    27949     42 |      585 |      260
1683.56/1684.09	c 1683s |      19 |   793767 |   566282 |    27949     42 |      585 |      260
1685.66/1686.18	c 1685s |      19 |   794359 |   566782 |    27949     42 |      585 |      260
1687.96/1688.44	c 1688s |      19 |   794892 |   567282 |    27949     42 |      585 |      260
1689.96/1690.48	c 1690s |      19 |   795335 |   567682 |    27949     42 |      585 |      260
1692.26/1692.74	c 1692s |      19 |   795901 |   568182 |    27949     42 |      585 |      260
1694.67/1695.10	c 1694s |      19 |   796434 |   568682 |    27949     42 |      585 |      260
1696.97/1697.41	c 1697s |      19 |   796981 |   569182 |    27949     42 |      585 |      260
1699.86/1700.35	c 1700s |      19 |   797539 |   569682 |    27949     43 |      585 |      260
1702.06/1702.52	c 1702s |      19 |   798211 |   570282 |    27949     43 |      585 |      260
1704.26/1704.79	c 1704s |      19 |   798899 |   570882 |    27949     43 |      585 |      260
1706.56/1707.05	c 1706s |      19 |   799574 |   571482 |    27949     43 |      585 |      260
1708.66/1709.12	c 1708s |      19 |   800106 |   571982 |    27949     43 |      585 |      260
1710.66/1711.17	c 1710s |      19 |   800760 |   572582 |    27949     43 |      585 |      260
1712.86/1713.37	c 1713s |      19 |   801462 |   573182 |    27949     43 |      585 |      260
1714.86/1715.38	c 1715s |      19 |   802014 |   573682 |    27949     43 |      585 |      260
1717.16/1717.61	c 1717s |      19 |   802569 |   574182 |    27949     43 |      585 |      260
1719.26/1719.71	c 1719s |      19 |   803116 |   574682 |    27949     43 |      585 |      260
1721.26/1721.71	c 1721s |      19 |   803674 |   575182 |    27949     43 |      585 |      260
1723.56/1724.04	c 1723s |      19 |   804197 |   575682 |    27949     43 |      585 |      260
1725.96/1726.44	c 1726s |      19 |   804736 |   576182 |    27949     43 |      585 |      260
1728.16/1728.64	c 1728s |      19 |   805272 |   576682 |    27949     43 |      585 |      260
1730.36/1730.82	c 1730s |      19 |   805822 |   577182 |    27949     43 |      585 |      260
1732.46/1732.92	c 1732s |      19 |   806389 |   577682 |    27949     43 |      585 |      260
1734.65/1735.11	c 1734s |      19 |   806963 |   578182 |    27949     43 |      585 |      260
1737.05/1737.54	c 1737s |      19 |   807501 |   578682 |    27949     43 |      585 |      260
1739.45/1739.92	c 1739s |      19 |   808063 |   579182 |    27949     43 |      585 |      260
1741.75/1742.22	c 1741s |      19 |   808607 |   579682 |    27949     43 |      585 |      260
1744.05/1744.60	c 1744s |      19 |   809182 |   580182 |    27949     43 |      585 |      260
1746.15/1746.64	c 1746s |      19 |   809769 |   580682 |    27949     43 |      585 |      260
1748.56/1749.01	c 1748s |      19 |   810323 |   581182 |    27949     43 |      585 |      260
1750.86/1751.37	c 1751s |      19 |   810894 |   581682 |    27949     43 |      585 |      260
1753.15/1753.66	c 1753s |      19 |   811466 |   582182 |    27949     43 |      585 |      260
1755.55/1756.06	c 1755s |      19 |   812014 |   582682 |    27949     43 |      585 |      260
1758.05/1758.56	c 1758s |      19 |   812557 |   583182 |    27949     43 |      585 |      260
1760.05/1760.56	c 1760s |      19 |   813005 |   583582 |    27949     43 |      585 |      260
1762.25/1762.80	c 1762s |      19 |   813572 |   584082 |    27949     43 |      585 |      260
1764.75/1765.26	c 1764s |      19 |   814128 |   584582 |    27949     43 |      585 |      260
1766.85/1767.35	c 1767s |      19 |   814579 |   584982 |    27949     43 |      585 |      260
1769.05/1769.58	c 1769s |      19 |   814902 |   585282 |    27949     44 |      585 |      260
1771.35/1771.89	c 1771s |      19 |   815573 |   585882 |    27949     44 |      585 |      260
1773.65/1774.16	c 1773s |      19 |   816276 |   586482 |    27949     44 |      585 |      260
1775.95/1776.49	c 1776s |      19 |   816953 |   587082 |    27949     44 |      585 |      260
1778.36/1778.86	c 1778s |      19 |   817742 |   587782 |    27949     44 |      585 |      260
1780.56/1781.07	c 1780s |      19 |   818416 |   588382 |    27949     44 |      585 |      260
1782.95/1783.44	c 1783s |      19 |   819093 |   588982 |    27949     44 |      585 |      260
1785.25/1785.79	c 1785s |      19 |   819761 |   589582 |    27949     44 |      585 |      260
1787.35/1787.84	c 1787s |      19 |   820336 |   590082 |    27949     44 |      585 |      260
1789.65/1790.19	c 1789s |      19 |   820880 |   590582 |    27949     44 |      585 |      260
1791.95/1792.45	c 1792s |      19 |   821441 |   591082 |    27949     44 |      585 |      260
1794.25/1794.70	c 1794s |      19 |   822090 |   591682 |    27949     44 |      585 |      260
1796.45/1796.90	c 1796s |      19 |   822785 |   592282 |    27949     44 |      585 |      260
1798.75/1799.24	c 1798s |      19 |   823445 |   592882 |    27949     44 |      585 |      260

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

pid=24694
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.08 2.12 2.15 2/179 24697
/proc/meminfo: memFree=29595228/32872528 swapFree=1085692/1157232
[pid=24697] ppid=24694 vsize=722364 CPUtime=0 cores=0,2,4,6
/proc/24697/stat : 24697 (toysat) R 24694 24697 21062 0 -1 4202496 2694 0 0 0 0 0 0 0 20 0 4 0 30446580 739700736 3054 33554432000 4194304 16246674 140735843859552 140735843858976 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24697/statm: 181359 3063 441 2943 0 178253 0
[pid=24697/tid=24698] ppid=24694 vsize=739772 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24698/stat : 24698 (toysat) S 24694 24697 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30446580 757526528 3123 33554432000 4194304 16246674 140735843859552 140285115870448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24697/tid=24699] ppid=24694 vsize=744892 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24699/stat : 24699 (toysat) S 24694 24697 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30446581 762769408 3140 33554432000 4194304 16246674 140735843859552 140285105380592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24697/tid=24700] ppid=24694 vsize=748988 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24700/stat : 24700 (toysat) S 24694 24697 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30446581 766963712 3157 33554432000 4194304 16246674 140735843859552 140285094907056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.08 2.12 2.15 2/179 24697
/proc/meminfo: memFree=29595228/32872528 swapFree=1085692/1157232
[pid=24697] ppid=24694 vsize=1220164 CPUtime=0.08 cores=0,2,4,6
/proc/24697/stat : 24697 (toysat) R 24694 24697 21062 0 -1 4202496 28469 0 0 0 5 3 0 0 20 0 4 0 30446580 1249447936 28767 33554432000 4194304 16246674 140735843859552 140735843858864 4220514 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24697/statm: 305041 28767 801 2943 0 301935 0
[pid=24697/tid=24698] ppid=24694 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24698/stat : 24698 (toysat) S 24694 24697 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30446580 1249447936 28767 33554432000 4194304 16246674 140735843859552 140285115870448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24697/tid=24699] ppid=24694 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24699/stat : 24699 (toysat) S 24694 24697 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30446581 1249447936 28767 33554432000 4194304 16246674 140735843859552 140285105380592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24697/tid=24700] ppid=24694 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24700/stat : 24700 (toysat) S 24694 24697 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30446581 1249447936 28767 33554432000 4194304 16246674 140735843859552 140285094907056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1220164

[startup+0.200513 s]
/proc/loadavg: 2.08 2.12 2.15 2/179 24697
/proc/meminfo: memFree=29595228/32872528 swapFree=1085692/1157232
[pid=24697] ppid=24694 vsize=1301060 CPUtime=0.19 cores=0,2,4,6
/proc/24697/stat : 24697 (toysat) R 24694 24697 21062 0 -1 4202496 48674 0 0 0 12 7 0 0 20 0 4 0 30446580 1332285440 48972 33554432000 4194304 16246674 140735843859552 140735843858864 5876184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24697/statm: 325265 48972 842 2943 0 322159 0
[pid=24697/tid=24698] ppid=24694 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24698/stat : 24698 (toysat) S 24694 24697 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30446580 1332285440 48972 33554432000 4194304 16246674 140735843859552 140285115870448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24697/tid=24699] ppid=24694 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24699/stat : 24699 (toysat) S 24694 24697 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30446581 1332285440 48972 33554432000 4194304 16246674 140735843859552 140285105380592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24697/tid=24700] ppid=24694 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24700/stat : 24700 (toysat) S 24694 24697 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30446581 1332285440 48972 33554432000 4194304 16246674 140735843859552 140285094907056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300482 s]
/proc/loadavg: 2.08 2.12 2.15 2/179 24697
/proc/meminfo: memFree=29595228/32872528 swapFree=1085692/1157232
[pid=24697] ppid=24694 vsize=1301060 CPUtime=0.28 cores=0,2,4,6
/proc/24697/stat : 24697 (toysat) R 24694 24697 21062 0 -1 4202496 54619 0 0 0 21 7 0 0 20 0 4 0 30446580 1332285440 54917 33554432000 4194304 16246674 140735843859552 140735843858864 13954518 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24697/statm: 325265 54922 882 2943 0 322159 0
[pid=24697/tid=24698] ppid=24694 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24698/stat : 24698 (toysat) S 24694 24697 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30446580 1332285440 54926 33554432000 4194304 16246674 140735843859552 140285115870448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24697/tid=24699] ppid=24694 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24699/stat : 24699 (toysat) S 24694 24697 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30446581 1332285440 54929 33554432000 4194304 16246674 140735843859552 140285105380592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24697/tid=24700] ppid=24694 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24700/stat : 24700 (toysat) S 24694 24697 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30446581 1332285440 54931 33554432000 4194304 16246674 140735843859552 140285094907056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1301060

[startup+0.700386 s]
/proc/loadavg: 2.08 2.12 2.15 2/179 24697
/proc/meminfo: memFree=29595228/32872528 swapFree=1085692/1157232
[pid=24697] ppid=24694 vsize=1301060 CPUtime=0.68 cores=0,2,4,6
/proc/24697/stat : 24697 (toysat) R 24694 24697 21062 0 -1 4202496 106097 0 0 0 54 14 0 0 20 0 4 0 30446580 1332285440 106395 33554432000 4194304 16246674 140735843859552 140735843858864 13954410 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24697/statm: 325265 106402 882 2943 0 322159 0
[pid=24697/tid=24698] ppid=24694 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24698/stat : 24698 (toysat) S 24694 24697 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30446580 1332285440 106406 33554432000 4194304 16246674 140735843859552 140285115870448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24697/tid=24699] ppid=24694 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24699/stat : 24699 (toysat) S 24694 24697 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30446581 1332285440 106411 33554432000 4194304 16246674 140735843859552 140285105380592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24697/tid=24700] ppid=24694 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24700/stat : 24700 (toysat) S 24694 24697 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30446581 1332285440 106415 33554432000 4194304 16246674 140735843859552 140285094907056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1301060

[startup+1.50039 s]
/proc/loadavg: 2.07 2.12 2.15 3/183 24701
/proc/meminfo: memFree=28970156/32872528 swapFree=1085692/1157232
[pid=24697] ppid=24694 vsize=1301060 CPUtime=1.49 cores=0,2,4,6
/proc/24697/stat : 24697 (toysat) R 24694 24697 21062 0 -1 4202496 207976 0 0 0 120 29 0 0 20 0 4 0 30446580 1332285440 208275 33554432000 4194304 16246674 140735843859552 140735843841472 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24697/statm: 325265 208281 882 2943 0 322159 0
[pid=24697/tid=24698] ppid=24694 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24698/stat : 24698 (toysat) S 24694 24697 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30446580 1332285440 208285 33554432000 4194304 16246674 140735843859552 140285115870448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24697/tid=24699] ppid=24694 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24699/stat : 24699 (toysat) S 24694 24697 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30446581 1332285440 208288 33554432000 4194304 16246674 140735843859552 140285105380592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24697/tid=24700] ppid=24694 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24700/stat : 24700 (toysat) S 24694 24697 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30446581 1332285440 208291 33554432000 4194304 16246674 140735843859552 140285094907056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10039 s]
/proc/loadavg: 2.07 2.12 2.15 3/183 24701
/proc/meminfo: memFree=28517548/32872528 swapFree=1085692/1157232
[pid=24697] ppid=24694 vsize=1313348 CPUtime=3.09 cores=0,2,4,6
/proc/24697/stat : 24697 (toysat) R 24694 24697 21062 0 -1 4202496 269493 0 0 0 273 36 0 0 20 0 4 0 30446580 1344868352 269791 33554432000 4194304 16246674 140735843859552 140735843841472 12415665 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24697/statm: 328337 269791 888 2943 0 325231 0
[pid=24697/tid=24698] ppid=24694 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24698/stat : 24698 (toysat) S 24694 24697 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30446580 1344868352 269791 33554432000 4194304 16246674 140735843859552 140285115870448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24697/tid=24699] ppid=24694 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24699/stat : 24699 (toysat) S 24694 24697 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30446581 1344868352 269791 33554432000 4194304 16246674 140735843859552 140285105380592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24697/tid=24700] ppid=24694 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24700/stat : 24700 (toysat) S 24694 24697 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30446581 1344868352 269791 33554432000 4194304 16246674 140735843859552 140285094907056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.3004 s]
/proc/loadavg: 2.15 2.13 2.16 3/183 24701
/proc/meminfo: memFree=28516632/32872528 swapFree=1085692/1157232
[pid=24697] ppid=24694 vsize=1313348 CPUtime=6.29 cores=0,2,4,6
/proc/24697/stat : 24697 (toysat) R 24694 24697 21062 0 -1 4202496 269524 0 0 0 593 36 0 0 20 0 4 0 30446580 1344868352 269822 33554432000 4194304 16246674 140735843859552 140735843841472 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24697/statm: 328337 269822 889 2943 0 325231 0
[pid=24697/tid=24698] ppid=24694 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24698/stat : 24698 (toysat) S 24694 24697 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30446580 1344868352 269822 33554432000 4194304 16246674 140735843859552 140285115870448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24697/tid=24699] ppid=24694 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24699/stat : 24699 (toysat) S 24694 24697 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30446581 1344868352 269822 33554432000 4194304 16246674 140735843859552 140285105380592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24697/tid=24700] ppid=24694 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24700/stat : 24700 (toysat) S 24694 24697 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30446581 1344868352 269822 33554432000 4194304 16246674 140735843859552 140285094907056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.13 2.13 2.16 3/183 24701
/proc/meminfo: memFree=28516952/32872528 swapFree=1085692/1157232
[pid=24697] ppid=24694 vsize=1313348 CPUtime=12.69 cores=0,2,4,6
/proc/24697/stat : 24697 (toysat) R 24694 24697 21062 0 -1 4202496 269524 0 0 0 1233 36 0 0 20 0 4 0 30446580 1344868352 269822 33554432000 4194304 16246674 140735843859552 140735843858728 13194712 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24697/statm: 328337 269822 889 2943 0 325231 0
[pid=24697/tid=24698] ppid=24694 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24698/stat : 24698 (toysat) S 24694 24697 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30446580 1344868352 269822 33554432000 4194304 16246674 140735843859552 140285115870448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24697/tid=24699] ppid=24694 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24699/stat : 24699 (toysat) S 24694 24697 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30446581 1344868352 269822 33554432000 4194304 16246674 140735843859552 140285105380592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24697/tid=24700] ppid=24694 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24700/stat : 24700 (toysat) S 24694 24697 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30446581 1344868352 269822 33554432000 4194304 16246674 140735843859552 140285094907056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.10 2.12 2.15 3/183 24701
/proc/meminfo: memFree=28516704/32872528 swapFree=1085692/1157232
[pid=24697] ppid=24694 vsize=1313348 CPUtime=25.49 cores=0,2,4,6
/proc/24697/stat : 24697 (toysat) R 24694 24697 21062 0 -1 4202496 269527 0 0 0 2513 36 0 0 20 0 4 0 30446580 1344868352 269825 33554432000 4194304 16246674 140735843859552 140735843841472 5721725 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24697/statm: 328337 269825 892 2943 0 325231 0
[pid=24697/tid=24698] ppid=24694 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24698/stat : 24698 (toysat) S 24694 24697 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30446580 1344868352 269825 33554432000 4194304 16246674 140735843859552 140285115870448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24697/tid=24699] ppid=24694 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24699/stat : 24699 (toysat) S 24694 24697 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30446581 1344868352 269825 33554432000 4194304 16246674 140735843859552 140285105380592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24697/tid=24700] ppid=24694 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24700/stat : 24700 (toysat) S 24694 24697 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30446581 1344868352 269825 33554432000 4194304 16246674 140735843859552 140285094907056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.13 2.13 2.15 4/183 24750
/proc/meminfo: memFree=28535256/32872528 swapFree=1085692/1157232
[pid=24697] ppid=24694 vsize=1313348 CPUtime=51.08 cores=0,2,4,6
/proc/24697/stat : 24697 (toysat) R 24694 24697 21062 0 -1 4202496 269527 0 0 0 5072 36 0 0 20 0 4 0 30446580 1344868352 269825 33554432000 4194304 16246674 140735843859552 140735843841472 5721410 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24697/statm: 328337 269825 892 2943 0 325231 0
[pid=24697/tid=24698] ppid=24694 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24698/stat : 24698 (toysat) S 24694 24697 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30446580 1344868352 269825 33554432000 4194304 16246674 140735843859552 140285115870448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24697/tid=24699] ppid=24694 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24699/stat : 24699 (toysat) S 24694 24697 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30446581 1344868352 269825 33554432000 4194304 16246674 140735843859552 140285105380592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24697/tid=24700] ppid=24694 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24700/stat : 24700 (toysat) S 24694 24697 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30446581 1344868352 269825 33554432000 4194304 16246674 140735843859552 140285094907056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.3 s]
/proc/loadavg: 2.30 2.17 2.16 3/183 24751
/proc/meminfo: memFree=28530760/32872528 swapFree=1085692/1157232
[pid=24697] ppid=24694 vsize=1315396 CPUtime=102.27 cores=0,2,4,6
/proc/24697/stat : 24697 (toysat) R 24694 24697 21062 0 -1 4202496 269849 0 0 0 10191 36 0 0 20 0 4 0 30446580 1346965504 270134 33554432000 4194304 16246674 140735843859552 140735843841472 13950986 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24697/statm: 328849 270134 892 2943 0 325743 0
[pid=24697/tid=24698] ppid=24694 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24698/stat : 24698 (toysat) S 24694 24697 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30446580 1346965504 270134 33554432000 4194304 16246674 140735843859552 140285115870448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24697/tid=24699] ppid=24694 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24699/stat : 24699 (toysat) S 24694 24697 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30446581 1346965504 270134 33554432000 4194304 16246674 140735843859552 140285105380592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24697/tid=24700] ppid=24694 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24700/stat : 24700 (toysat) S 24694 24697 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30446581 1346965504 270134 33554432000 4194304 16246674 140735843859552 140285094907056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1315396


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

/proc/24697/task/24700/stat : 24700 (toysat) S 24694 24697 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30446581 1388908544 280458 33554432000 4194304 16246674 140735843859552 140285094907056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1356356

[startup+1362.3 s]
/proc/loadavg: 2.15 2.16 2.16 3/184 24808
/proc/meminfo: memFree=28475084/32872528 swapFree=1085692/1157232
[pid=24697] ppid=24694 vsize=1356356 CPUtime=1361.91 cores=0,2,4,6
/proc/24697/stat : 24697 (toysat) R 24694 24697 21062 0 -1 4202496 280456 0 0 0 136144 47 0 0 20 0 4 0 30446580 1388908544 280458 33554432000 4194304 16246674 140735843859552 140735843841472 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24697/statm: 339089 280458 892 2943 0 335983 0
[pid=24697/tid=24698] ppid=24694 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24698/stat : 24698 (toysat) S 24694 24697 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30446580 1388908544 280458 33554432000 4194304 16246674 140735843859552 140285115870448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24697/tid=24699] ppid=24694 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24699/stat : 24699 (toysat) S 24694 24697 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30446581 1388908544 280458 33554432000 4194304 16246674 140735843859552 140285105380592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24697/tid=24700] ppid=24694 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24700/stat : 24700 (toysat) S 24694 24697 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30446581 1388908544 280458 33554432000 4194304 16246674 140735843859552 140285094907056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1356356

[startup+1422.3 s]
/proc/loadavg: 2.17 2.16 2.16 3/183 24809
/proc/meminfo: memFree=28474740/32872528 swapFree=1085692/1157232
[pid=24697] ppid=24694 vsize=1356356 CPUtime=1421.91 cores=0,2,4,6
/proc/24697/stat : 24697 (toysat) R 24694 24697 21062 0 -1 4202496 280456 0 0 0 142143 48 0 0 20 0 4 0 30446580 1388908544 280458 33554432000 4194304 16246674 140735843859552 140735843858728 5723568 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24697/statm: 339089 280458 892 2943 0 335983 0
[pid=24697/tid=24698] ppid=24694 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24698/stat : 24698 (toysat) S 24694 24697 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30446580 1388908544 280458 33554432000 4194304 16246674 140735843859552 140285115870448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24697/tid=24699] ppid=24694 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24699/stat : 24699 (toysat) S 24694 24697 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30446581 1388908544 280458 33554432000 4194304 16246674 140735843859552 140285105380592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24697/tid=24700] ppid=24694 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24700/stat : 24700 (toysat) S 24694 24697 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30446581 1388908544 280458 33554432000 4194304 16246674 140735843859552 140285094907056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1356356

[startup+1482.3 s]
/proc/loadavg: 2.10 2.14 2.15 3/183 24810
/proc/meminfo: memFree=28474968/32872528 swapFree=1085692/1157232
[pid=24697] ppid=24694 vsize=1356356 CPUtime=1481.89 cores=0,2,4,6
/proc/24697/stat : 24697 (toysat) R 24694 24697 21062 0 -1 4202496 280456 0 0 0 148141 48 0 0 20 0 4 0 30446580 1388908544 280458 33554432000 4194304 16246674 140735843859552 140735843858648 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24697/statm: 339089 280458 892 2943 0 335983 0
[pid=24697/tid=24698] ppid=24694 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24698/stat : 24698 (toysat) S 24694 24697 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30446580 1388908544 280458 33554432000 4194304 16246674 140735843859552 140285115870448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24697/tid=24699] ppid=24694 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24699/stat : 24699 (toysat) S 24694 24697 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30446581 1388908544 280458 33554432000 4194304 16246674 140735843859552 140285105380592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24697/tid=24700] ppid=24694 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24700/stat : 24700 (toysat) S 24694 24697 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30446581 1388908544 280458 33554432000 4194304 16246674 140735843859552 140285094907056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1356356

[startup+1542.31 s]
/proc/loadavg: 2.13 2.14 2.15 3/183 24812
/proc/meminfo: memFree=28474656/32872528 swapFree=1085692/1157232
[pid=24697] ppid=24694 vsize=1356356 CPUtime=1541.89 cores=0,2,4,6
/proc/24697/stat : 24697 (toysat) R 24694 24697 21062 0 -1 4202496 280456 0 0 0 154140 49 0 0 20 0 4 0 30446580 1388908544 280458 33554432000 4194304 16246674 140735843859552 140735843842552 5712204 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24697/statm: 339089 280458 892 2943 0 335983 0
[pid=24697/tid=24698] ppid=24694 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24698/stat : 24698 (toysat) S 24694 24697 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30446580 1388908544 280458 33554432000 4194304 16246674 140735843859552 140285115870448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24697/tid=24699] ppid=24694 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24699/stat : 24699 (toysat) S 24694 24697 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30446581 1388908544 280458 33554432000 4194304 16246674 140735843859552 140285105380592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24697/tid=24700] ppid=24694 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24700/stat : 24700 (toysat) S 24694 24697 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30446581 1388908544 280458 33554432000 4194304 16246674 140735843859552 140285094907056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1356356

[startup+1602.3 s]
/proc/loadavg: 2.10 2.13 2.15 4/183 24813
/proc/meminfo: memFree=28474796/32872528 swapFree=1085692/1157232
[pid=24697] ppid=24694 vsize=1356356 CPUtime=1601.88 cores=0,2,4,6
/proc/24697/stat : 24697 (toysat) R 24694 24697 21062 0 -1 4202496 280456 0 0 0 160138 50 0 0 20 0 4 0 30446580 1388908544 280458 33554432000 4194304 16246674 140735843859552 140735843841472 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24697/statm: 339089 280458 892 2943 0 335983 0
[pid=24697/tid=24698] ppid=24694 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24698/stat : 24698 (toysat) S 24694 24697 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30446580 1388908544 280458 33554432000 4194304 16246674 140735843859552 140285115870448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24697/tid=24699] ppid=24694 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24699/stat : 24699 (toysat) S 24694 24697 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30446581 1388908544 280458 33554432000 4194304 16246674 140735843859552 140285105380592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24697/tid=24700] ppid=24694 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24700/stat : 24700 (toysat) S 24694 24697 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30446581 1388908544 280458 33554432000 4194304 16246674 140735843859552 140285094907056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1356356

[startup+1662.3 s]
/proc/loadavg: 2.16 2.15 2.15 3/183 24814
/proc/meminfo: memFree=28474404/32872528 swapFree=1085692/1157232
[pid=24697] ppid=24694 vsize=1356356 CPUtime=1661.87 cores=0,2,4,6
/proc/24697/stat : 24697 (toysat) R 24694 24697 21062 0 -1 4202496 280456 0 0 0 166136 51 0 0 20 0 4 0 30446580 1388908544 280458 33554432000 4194304 16246674 140735843859552 140735843841408 5523188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24697/statm: 339089 280458 892 2943 0 335983 0
[pid=24697/tid=24698] ppid=24694 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24698/stat : 24698 (toysat) S 24694 24697 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30446580 1388908544 280458 33554432000 4194304 16246674 140735843859552 140285115870448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24697/tid=24699] ppid=24694 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24699/stat : 24699 (toysat) S 24694 24697 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30446581 1388908544 280458 33554432000 4194304 16246674 140735843859552 140285105380592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24697/tid=24700] ppid=24694 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24700/stat : 24700 (toysat) S 24694 24697 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30446581 1388908544 280458 33554432000 4194304 16246674 140735843859552 140285094907056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1356356

[startup+1722.3 s]
/proc/loadavg: 2.16 2.15 2.15 3/183 24815
/proc/meminfo: memFree=28474536/32872528 swapFree=1085692/1157232
[pid=24697] ppid=24694 vsize=1356356 CPUtime=1721.86 cores=0,2,4,6
/proc/24697/stat : 24697 (toysat) R 24694 24697 21062 0 -1 4202496 280456 0 0 0 172135 51 0 0 20 0 4 0 30446580 1388908544 280458 33554432000 4194304 16246674 140735843859552 140735843841472 4220815 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24697/statm: 339089 280458 892 2943 0 335983 0
[pid=24697/tid=24698] ppid=24694 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24698/stat : 24698 (toysat) S 24694 24697 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30446580 1388908544 280458 33554432000 4194304 16246674 140735843859552 140285115870448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24697/tid=24699] ppid=24694 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24699/stat : 24699 (toysat) S 24694 24697 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30446581 1388908544 280458 33554432000 4194304 16246674 140735843859552 140285105380592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24697/tid=24700] ppid=24694 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24700/stat : 24700 (toysat) S 24694 24697 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30446581 1388908544 280458 33554432000 4194304 16246674 140735843859552 140285094907056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1356356

[startup+1782.3 s]
/proc/loadavg: 2.19 2.15 2.15 3/183 24816
/proc/meminfo: memFree=28474044/32872528 swapFree=1085692/1157232
[pid=24697] ppid=24694 vsize=1356356 CPUtime=1781.85 cores=0,2,4,6
/proc/24697/stat : 24697 (toysat) R 24694 24697 21062 0 -1 4202496 280456 0 0 0 178133 52 0 0 20 0 4 0 30446580 1388908544 280458 33554432000 4194304 16246674 140735843859552 140735843841472 5676344 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24697/statm: 339089 280458 892 2943 0 335983 0
[pid=24697/tid=24698] ppid=24694 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24698/stat : 24698 (toysat) S 24694 24697 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30446580 1388908544 280458 33554432000 4194304 16246674 140735843859552 140285115870448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24697/tid=24699] ppid=24694 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24699/stat : 24699 (toysat) S 24694 24697 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30446581 1388908544 280458 33554432000 4194304 16246674 140735843859552 140285105380592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24697/tid=24700] ppid=24694 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24700/stat : 24700 (toysat) S 24694 24697 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30446581 1388908544 280458 33554432000 4194304 16246674 140735843859552 140285094907056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1356356



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.15 2.14 2.14 4/183 24817
/proc/meminfo: memFree=28474408/32872528 swapFree=1085692/1157232
[pid=24697] ppid=24694 vsize=1356356 CPUtime=1800.05 cores=0,2,4,6
/proc/24697/stat : 24697 (toysat) R 24694 24697 21062 0 -1 4202496 280456 0 0 0 179953 52 0 0 20 0 4 0 30446580 1388908544 280458 33554432000 4194304 16246674 140735843859552 140735843841472 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24697/statm: 339089 280458 892 2943 0 335983 0
[pid=24697/tid=24698] ppid=24694 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24698/stat : 24698 (toysat) S 24694 24697 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30446580 1388908544 280458 33554432000 4194304 16246674 140735843859552 140285115870448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24697/tid=24699] ppid=24694 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24699/stat : 24699 (toysat) S 24694 24697 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30446581 1388908544 280458 33554432000 4194304 16246674 140735843859552 140285105380592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24697/tid=24700] ppid=24694 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24700/stat : 24700 (toysat) S 24694 24697 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30446581 1388908544 280458 33554432000 4194304 16246674 140735843859552 140285094907056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1356356

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

[startup+1800.5 s]
/proc/loadavg: 2.15 2.14 2.14 4/183 24817
/proc/meminfo: memFree=28474408/32872528 swapFree=1085692/1157232
[pid=24697] ppid=24694 vsize=1356356 CPUtime=1800.05 cores=0,2,4,6
/proc/24697/stat : 24697 (toysat) R 24694 24697 21062 0 -1 4202496 280456 0 0 0 179953 52 0 0 20 0 4 0 30446580 1388908544 280458 33554432000 4194304 16246674 140735843859552 140735843841472 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24697/statm: 339089 280458 892 2943 0 335983 0
[pid=24697/tid=24698] ppid=24694 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24698/stat : 24698 (toysat) S 24694 24697 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30446580 1388908544 280458 33554432000 4194304 16246674 140735843859552 140285115870448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24697/tid=24699] ppid=24694 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24699/stat : 24699 (toysat) S 24694 24697 21062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30446581 1388908544 280458 33554432000 4194304 16246674 140735843859552 140285105380592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24697/tid=24700] ppid=24694 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/24697/task/24700/stat : 24700 (toysat) S 24694 24697 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30446581 1388908544 280458 33554432000 4194304 16246674 140735843859552 140285094907056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1356356

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1799.54
CPU system time (s): 0.52592
CPU usage (%): 99.9751
Max. virtual memory (cumulated for all children) (KiB): 1356356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.54
system time used= 0.52592
maximum resident set size= 1121832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280456
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= 315
involuntary context switches= 1936

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.06438 second user time and 7.57085 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-26 22:47:50
IDJOB=4116973
IDBENCH=109537
IDSOLVER=2542
FILE ID=node114/4116973-1466974069
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-size80-round23-5.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116973-1466974069/watcher-4116973-1466974069 -o /tmp/evaluation-result-4116973-1466974069/solver-4116973-1466974069 -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-4116973-1466974069.opb

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

MD5SUM BENCH= e729a0eaaee4e58f6865c317ec229253
RANDOM SEED=220827060

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:        29595492 kB
Buffers:           51684 kB
Cached:           226176 kB
SwapCached:        38928 kB
Active:          1166884 kB
Inactive:         249148 kB
Active(anon):    1102832 kB
Inactive(anon):    37760 kB
Active(file):      64052 kB
Inactive(file):   211388 kB
Unevictable:     1157232 kB
Mlocked:         1085692 kB
SwapTotal:      67108856 kB
SwapFree:       67061384 kB
Dirty:             16704 kB
Writeback:             0 kB
AnonPages:       2257680 kB
Mapped:            10732 kB
Shmem:                 0 kB
Slab:             568200 kB
SReclaimable:      12208 kB
SUnreclaim:       555992 kB
KernelStack:        1448 kB
PageTables:         8456 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2400692 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    847872 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 23:17:50