Trace number 4117045

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

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size96-round22-3.opb
MD5SUMf6c76c9ee3b2b7a7912c204650cab285
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4128
Total number of constraints8672
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)384
Number of constraints which are nor clauses,nor cardinality constraints864
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-26T18:49:23+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-4117045-1466959763.opb"]
0.00/0.01	c use --random-gen="1225303391 3760579000 4020799928 3978504668 1129133218 4129977106 2040769641 1396075454 418748078 703413092 2973281555 64731679 2065307770 3889682659 1778842926 4188518738 3463987549 3763817492 3995910429 3103593003 2122108412 372875262 1913499066 162737493 2137684207 2604142134 1122988374 4040615816 466663952 236097834 225570667 2227029748 3499220899 258899389 2035366008 741072257 2075118903 1574903426 1001631939 396974125 4170886006 3092347394 3247308451 464061876 1339127218 564199185 2384313700 2380830448 3168922706 4213226968 262631241 2999976398 308750927 963922242 3579010305 2652114906 492882584 4002873143 2221043434 3747802239 2326214680 2285829051 24955967 661662114 4258967187 3430121925 3382752373 3543297552 1302565360 4161867714 264333364 1286958449 2508576755 2046616288 3961085225 2404595950 3791384865 1028596469 2406281472 148513662 740567035 4038642877 4202978949 1260079543 3565251275 2260487581 391807073 3520563806 2874660494 3643857814 2934431380 331319451 596483993 1599777613 1366064398 399254671 4163680411 909703604 305073272 851648404 379127868 2928018392 965084508 1724579506 3120102020 2783612110 1761163510 4183939007 3175032977 16249325 2849995440 2525702377 1153510091 3016414430 3329046694 1410501880 3168753169 1456950363 3358655120 470171516 2470236910 692412060 2436049020 3960225085 856845807 1979071300 929972058 3183831308 1028067907 22956422 2293715983 1591751235 2341255883 2667394676 441316221 2068074901 1103433930 2518163077 1948912526 2444894947 522724352 1153624015 3682622547 2892653070 325909775 12087714 1397161702 3038615472 1610025573 104435888 2276012617 2162645973 3873247527 875017878 3112990251 3950959913 847448613 164961206 3019740192 3210313339 1459799000 838257402 2243889250 502925797 3281735109 4006929315 1852194020 2210574564 1006773672 2258672899 309448054 3764778690 1656816938 2864471330 3107491964 1116653201 1909752035 1532839605 797612678 3025470870 105747281 1268027351 940872009 462675238 509255886 794636275 549783910 132998628 938636588 2789877933 492439867 3889273957 3995514847 1777918290 1649924232 1428256628 753857283 3203949955 1556420838 2084073040 2275535692 1635762371 2017641467 2018776106 225922308 2853016602 2358355336 3038773050 2593265370 1111289426 1867056367 2648773015 712764170 1544983129 84452148 3121766543 1834234561 1322954946 218705386 1725001790 1571544749 574145711 1673284511 3254494113 4095091217 657262148 1494519708 2681887897 2638298275 1677734047 2360879669 2875631056 3167456555 3473376423 3930326632 2473932337 2638969750 608142325 3018079376 3242077029 2874699578 4095094245 3941967555 1853562860 2421249945 2070479493 2834380480 3842787452 3627121145 894269459 475763692 3408005103 2646280416 3264186373 841521863 2879552128 255 362436" option to reproduce the execution
0.09/0.11	c #vars 4128
0.09/0.11	c #constraints 8672
0.19/0.25	c Solving starts ...
0.19/0.25	c ============================[ Search Statistics ]============================
0.19/0.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.25	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.25	c =============================================================================
0.19/0.25	c  0.0s |       0 |        0 |        0 |     4234      0 |      608 |        0
0.29/0.31	c  0.1s |       1 |      589 |      100 |     4234      0 |      608 |      322
0.38/0.43	c  0.2s |       2 |     3468 |      250 |     4658      0 |      609 |      322
0.49/0.57	c  0.3s |       3 |     5362 |      475 |     5124      0 |      609 |      322
0.89/0.92	c  0.7s |       4 |     8294 |      813 |     5637      0 |      609 |      322
1.49/1.52	c  1.3s |       5 |    10878 |     1320 |     6201      0 |      609 |      322
2.30/2.33	c  2.1s |       6 |    13530 |     2081 |     7505      0 |      609 |      322
2.89/2.99	c  2.7s |       7 |    19562 |     3223 |     8256      0 |      609 |      322
4.89/4.91	c  4.7s |       8 |    22673 |     4936 |     9082      0 |      609 |      322
6.39/6.48	c  6.2s |       9 |    35095 |     7506 |     9991      0 |      610 |      322
8.49/8.55	c  8.3s |       9 |    40329 |     9406 |     9991      0 |      610 |      322
10.59/10.65	c 10.4s |       9 |    41856 |    10606 |     9991      0 |      610 |      322
12.10/12.18	c 11.9s |      10 |    42927 |    11361 |    10991      0 |      610 |      322
14.09/14.18	c 13.9s |      10 |    48214 |    13161 |    10991      0 |      610 |      322
16.19/16.21	c 16.0s |      10 |    49703 |    14361 |    10991      0 |      610 |      322
18.19/18.27	c 18.0s |      10 |    51427 |    15661 |    10991      1 |      610 |      322
20.49/20.50	c 20.2s |      10 |    52971 |    16861 |    10991      1 |      610 |      322
21.38/21.46	c 21.2s |      11 |    53306 |    17144 |    12091      1 |      610 |      322
23.48/23.52	c 23.3s |      11 |    59387 |    19144 |    12091      1 |      610 |      322
25.49/25.52	c 25.3s |      11 |    60534 |    20144 |    12091      1 |      610 |      322
27.49/27.58	c 27.3s |      11 |    61385 |    20944 |    12091      1 |      610 |      322
29.58/29.62	c 29.4s |      11 |    62912 |    22044 |    12091      1 |      610 |      322
31.58/31.69	c 31.4s |      11 |    63945 |    22844 |    12091      2 |      610 |      322
33.78/33.88	c 33.6s |      11 |    65055 |    23844 |    12091      2 |      610 |      322
35.98/36.02	c 35.8s |      11 |    65953 |    24644 |    12091      2 |      610 |      322
38.08/38.11	c 37.9s |      11 |    66822 |    25444 |    12091      2 |      610 |      322
38.98/39.09	c 38.8s |      12 |    67258 |    25819 |    13301      2 |      610 |      322
41.08/41.19	c 40.9s |      12 |    74064 |    27919 |    13301      2 |      610 |      322
43.08/43.20	c 42.9s |      12 |    77263 |    29519 |    13301      2 |      610 |      322
45.19/45.27	c 45.0s |      12 |    79472 |    31019 |    13301      2 |      610 |      322
47.39/47.45	c 47.2s |      12 |    80716 |    32019 |    13301      3 |      610 |      322
49.59/49.64	c 49.4s |      12 |    81993 |    33119 |    13301      3 |      610 |      322
51.58/51.67	c 51.4s |      12 |    83076 |    34019 |    13301      3 |      610 |      322
53.58/53.69	c 53.4s |      12 |    85143 |    35119 |    13301      3 |      610 |      322
55.68/55.79	c 55.5s |      12 |    86322 |    36119 |    13301      3 |      610 |      322
57.78/57.86	c 57.6s |      12 |    87373 |    37019 |    13301      3 |      610 |      322
59.98/60.05	c 59.8s |      12 |    88455 |    37919 |    13301      3 |      610 |      322
61.98/62.02	c 61.8s |      13 |    89735 |    38832 |    14632      3 |      610 |      322
63.98/64.10	c 63.8s |      13 |    96442 |    40732 |    14632      4 |      610 |      322
66.09/66.13	c 65.9s |      13 |   100995 |    42632 |    14632      4 |      610 |      322
68.18/68.24	c 68.0s |      13 |   103022 |    44132 |    14632      4 |      610 |      322
70.17/70.26	c 70.0s |      13 |   104486 |    45332 |    14632      4 |      610 |      322
72.27/72.33	c 72.1s |      13 |   105847 |    46532 |    14632      4 |      610 |      322
74.37/74.48	c 74.2s |      13 |   107126 |    47632 |    14632      4 |      610 |      322
76.57/76.63	c 76.4s |      13 |   108301 |    48632 |    14632      4 |      610 |      322
78.67/78.76	c 78.5s |      13 |   109237 |    49432 |    14632      5 |      610 |      322
80.67/80.78	c 80.5s |      13 |   110274 |    50332 |    14632      5 |      610 |      322
82.87/82.91	c 82.7s |      13 |   111312 |    51232 |    14632      5 |      610 |      322
85.07/85.16	c 84.9s |      13 |   112193 |    52032 |    14632      5 |      610 |      322
87.17/87.29	c 87.0s |      13 |   112942 |    52732 |    14632      5 |      610 |      322
89.37/89.43	c 89.2s |      13 |   113841 |    53532 |    14632      5 |      610 |      322
91.47/91.53	c 91.3s |      13 |   114632 |    54232 |    14632      5 |      610 |      322
93.58/93.66	c 93.4s |      13 |   116564 |    55432 |    14632      5 |      610 |      322
95.68/95.71	c 95.5s |      13 |   118026 |    56432 |    14632      5 |      610 |      322
97.77/97.87	c 97.6s |      13 |   119219 |    57332 |    14632      5 |      610 |      322
99.97/100.01	c 99.8s |      13 |   120041 |    58032 |    16096      6 |      610 |      322
100.47/100.57	c  100s |      14 |   120419 |    58352 |    16096      6 |      610 |      322
102.48/102.59	c  102s |      14 |   126755 |    60352 |    16096      6 |      610 |      322
104.59/104.69	c  104s |      14 |   128846 |    61852 |    16096      6 |      610 |      322
106.69/106.80	c  106s |      14 |   130770 |    63152 |    16096      6 |      610 |      322
108.78/108.90	c  108s |      14 |   132676 |    64552 |    16096      6 |      610 |      322
110.98/111.02	c  110s |      14 |   134317 |    65752 |    16096      6 |      610 |      322
113.07/113.19	c  112s |      14 |   135640 |    66852 |    16096      6 |      610 |      322
115.17/115.29	c  115s |      14 |   136814 |    67852 |    16096      6 |      610 |      322
117.37/117.44	c  117s |      14 |   138019 |    68852 |    16096      7 |      610 |      322
119.47/119.57	c  119s |      14 |   139053 |    69752 |    16096      7 |      610 |      322
121.57/121.63	c  121s |      14 |   139993 |    70552 |    16096      7 |      610 |      322
123.67/123.75	c  123s |      14 |   140931 |    71352 |    16096      7 |      610 |      322
125.87/125.90	c  125s |      14 |   141943 |    72152 |    16096      7 |      610 |      322
127.87/127.97	c  127s |      14 |   142859 |    72952 |    16096      7 |      610 |      322
130.07/130.16	c  129s |      14 |   143811 |    73752 |    16096      7 |      610 |      322
132.17/132.23	c  131s |      14 |   144703 |    74452 |    16096      7 |      610 |      322
134.28/134.39	c  134s |      14 |   145370 |    75052 |    16096      7 |      610 |      322
136.57/136.60	c  136s |      14 |   146202 |    75752 |    16096      7 |      610 |      322
138.68/138.74	c  138s |      14 |   146878 |    76352 |    16096      7 |      610 |      322
140.88/140.95	c  140s |      14 |   147704 |    77052 |    16096      7 |      610 |      322
142.98/143.03	c  142s |      14 |   148399 |    77652 |    16096      7 |      610 |      322
145.18/145.29	c  145s |      14 |   149108 |    78252 |    16096      8 |      610 |      322
147.48/147.56	c  147s |      14 |   149924 |    78952 |    16096      8 |      610 |      322
149.58/149.63	c  149s |      14 |   150624 |    79552 |    16096      8 |      610 |      322
151.67/151.75	c  151s |      14 |   151302 |    80152 |    16096      8 |      610 |      322
153.87/153.93	c  153s |      14 |   152150 |    80852 |    16096      8 |      610 |      322
156.17/156.22	c  155s |      14 |   152943 |    81552 |    16096      8 |      610 |      322
158.26/158.33	c  158s |      14 |   154232 |    82352 |    16096      8 |      610 |      322
160.26/160.35	c  160s |      14 |   161622 |    84552 |    16096      8 |      610 |      322
162.36/162.40	c  162s |      14 |   163868 |    86052 |    16096      8 |      610 |      322
164.46/164.59	c  164s |      14 |   165917 |    87452 |    17706      8 |      610 |      322
164.76/164.88	c  164s |      15 |   166359 |    87632 |    17706      8 |      610 |      322
166.86/166.91	c  166s |      15 |   171787 |    89032 |    17706      9 |      610 |      322
168.86/168.96	c  168s |      15 |   173486 |    90632 |    17706      9 |      610 |      322
170.96/171.05	c  170s |      15 |   174944 |    92032 |    17706      9 |      610 |      322
172.96/173.07	c  172s |      15 |   176461 |    93332 |    17706      9 |      610 |      322
175.16/175.24	c  174s |      15 |   177648 |    94432 |    17706      9 |      610 |      322
177.17/177.28	c  177s |      15 |   178604 |    95332 |    17706      9 |      610 |      322
179.27/179.38	c  179s |      15 |   179444 |    96132 |    17706      9 |      610 |      322
181.36/181.41	c  181s |      15 |   183158 |    97432 |    17706      9 |      610 |      322
183.46/183.51	c  183s |      15 |   185541 |    98732 |    17706      9 |      610 |      322
185.46/185.57	c  185s |      15 |   186575 |    99532 |    17706     10 |      610 |      322
187.46/187.58	c  187s |      15 |   187713 |   100432 |    17706     10 |      610 |      322
189.66/189.73	c  189s |      15 |   188783 |   101332 |    17706     10 |      610 |      322
191.96/192.00	c  191s |      15 |   190038 |   102332 |    17706     10 |      610 |      322
193.96/194.05	c  193s |      15 |   190972 |   103132 |    17706     10 |      610 |      322
195.96/196.05	c  195s |      15 |   191812 |   103832 |    17706     10 |      610 |      322
197.96/198.10	c  197s |      15 |   192779 |   104632 |    17706     10 |      610 |      322
200.16/200.26	c  200s |      15 |   193940 |   105532 |    17706     10 |      610 |      322
202.25/202.31	c  202s |      15 |   195065 |   106432 |    17706     10 |      610 |      322
204.35/204.44	c  204s |      15 |   195763 |   107032 |    17706     10 |      610 |      322
206.56/206.61	c  206s |      15 |   196456 |   107632 |    17706     10 |      610 |      322
208.66/208.73	c  208s |      15 |   197186 |   108232 |    17706     10 |      610 |      322
210.96/211.08	c  210s |      15 |   197904 |   108832 |    17706     10 |      610 |      322
213.56/213.61	c  213s |      15 |   198736 |   109532 |    17706     11 |      610 |      322
215.57/215.66	c  215s |      15 |   199683 |   110332 |    17706     11 |      610 |      322
217.87/217.93	c  217s |      15 |   200509 |   111032 |    17706     11 |      610 |      322
219.85/219.95	c  219s |      15 |   201210 |   111632 |    17706     11 |      610 |      322
221.95/222.03	c  221s |      15 |   201903 |   112232 |    17706     11 |      610 |      322
224.36/224.43	c  224s |      15 |   202863 |   113032 |    17706     11 |      610 |      322
226.75/226.85	c  226s |      15 |   203650 |   113732 |    17706     11 |      610 |      322
228.76/228.86	c  228s |      15 |   204393 |   114332 |    17706     11 |      610 |      322
230.85/230.92	c  230s |      15 |   205100 |   114932 |    17706     11 |      610 |      322
232.95/233.08	c  232s |      15 |   205912 |   115632 |    17706     11 |      610 |      322
235.25/235.36	c  235s |      15 |   206727 |   116332 |    17706     11 |      610 |      322
237.25/237.37	c  237s |      15 |   207390 |   116932 |    17706     11 |      610 |      322
239.55/239.60	c  239s |      15 |   208043 |   117532 |    17706     11 |      610 |      322
241.55/241.65	c  241s |      15 |   208588 |   118032 |    17706     11 |      610 |      322
243.65/243.70	c  243s |      15 |   209293 |   118632 |    17706     11 |      610 |      322
245.85/245.96	c  245s |      15 |   209995 |   119232 |    17706     11 |      610 |      322
248.25/248.39	c  248s |      15 |   210550 |   119732 |    17706     11 |      610 |      322
250.55/250.64	c  250s |      15 |   210988 |   120132 |    17706     12 |      610 |      322
252.85/252.95	c  252s |      15 |   211646 |   120732 |    17706     12 |      610 |      322
255.05/255.17	c  254s |      15 |   212339 |   121332 |    17706     12 |      610 |      322
257.35/257.41	c  257s |      15 |   213037 |   121932 |    17706     12 |      610 |      322
259.55/259.70	c  259s |      15 |   213703 |   122532 |    17706     12 |      610 |      322
261.64/261.74	c  261s |      15 |   214287 |   123032 |    17706     12 |      610 |      322
264.14/264.23	c  263s |      15 |   214842 |   123532 |    17706     12 |      610 |      322
266.44/266.54	c  266s |      15 |   215385 |   124032 |    17706     12 |      610 |      322
268.54/268.67	c  268s |      15 |   215955 |   124532 |    17706     12 |      610 |      322
270.84/270.95	c  270s |      15 |   216525 |   125032 |    17706     12 |      610 |      322
273.04/273.19	c  272s |      15 |   217081 |   125532 |    17706     12 |      610 |      322
275.34/275.48	c  275s |      15 |   217655 |   126032 |    17706     12 |      610 |      322
277.54/277.66	c  277s |      15 |   218321 |   126632 |    17706     12 |      610 |      322
279.64/279.70	c  279s |      15 |   219031 |   127232 |    17706     12 |      610 |      322
281.84/281.90	c  281s |      15 |   219726 |   127832 |    17706     12 |      610 |      322
284.14/284.28	c  284s |      15 |   220303 |   128332 |    17706     12 |      610 |      322
286.44/286.54	c  286s |      15 |   220737 |   128732 |    17706     12 |      610 |      322
288.94/289.03	c  288s |      15 |   221409 |   129332 |    17706     12 |      610 |      322
290.94/291.03	c  290s |      15 |   221836 |   129732 |    17706     12 |      610 |      322
293.14/293.23	c  292s |      15 |   222381 |   130232 |    17706     12 |      610 |      322
295.14/295.27	c  295s |      15 |   222697 |   130532 |    17706     13 |      610 |      322
297.34/297.48	c  297s |      15 |   223242 |   131032 |    19477     13 |      610 |      322
299.74/299.82	c  299s |      15 |   223766 |   131532 |    19477     13 |      610 |      322
299.74/299.88	c  299s |      16 |   223793 |   131552 |    19477     13 |      610 |      322
301.84/301.94	c  301s |      16 |   235192 |   134052 |    19477     13 |      610 |      322
303.84/303.97	c  303s |      16 |   242029 |   136152 |    19477     13 |      610 |      322
305.93/306.01	c  305s |      16 |   249776 |   138352 |    19477     13 |      610 |      322
308.05/308.13	c  307s |      16 |   253162 |   140052 |    19477     13 |      610 |      322
310.14/310.22	c  309s |      16 |   255226 |   141552 |    19477     13 |      610 |      322
312.13/312.23	c  311s |      16 |   256840 |   142652 |    19477     14 |      610 |      322
314.13/314.23	c  313s |      16 |   258805 |   143952 |    19477     14 |      610 |      322
316.13/316.29	c  316s |      16 |   260428 |   145152 |    19477     14 |      610 |      322
318.33/318.41	c  318s |      16 |   262493 |   146352 |    19477     14 |      610 |      322
320.33/320.43	c  320s |      16 |   264316 |   147552 |    19477     14 |      610 |      322
322.34/322.43	c  322s |      16 |   265671 |   148552 |    19477     14 |      610 |      322
324.44/324.54	c  324s |      16 |   267017 |   149552 |    19477     14 |      610 |      322
326.64/326.73	c  326s |      16 |   267970 |   150352 |    19477     14 |      610 |      322
328.73/328.87	c  328s |      16 |   269008 |   151152 |    19477     14 |      610 |      322
330.83/330.95	c  330s |      16 |   270201 |   152052 |    19477     14 |      610 |      322
333.13/333.21	c  332s |      16 |   271240 |   152952 |    19477     14 |      610 |      322
335.33/335.48	c  335s |      16 |   272345 |   153852 |    19477     14 |      610 |      322
337.53/337.62	c  337s |      16 |   273309 |   154652 |    19477     15 |      610 |      322
339.63/339.71	c  339s |      16 |   274278 |   155452 |    19477     15 |      610 |      322
341.73/341.87	c  341s |      16 |   275467 |   156352 |    19477     15 |      610 |      322
343.73/343.89	c  343s |      16 |   276329 |   157052 |    19477     15 |      610 |      322
345.93/346.06	c  345s |      16 |   277405 |   157852 |    19477     15 |      610 |      322
348.03/348.19	c  347s |      16 |   278557 |   158752 |    19477     15 |      610 |      322
350.33/350.40	c  350s |      16 |   279691 |   159652 |    19477     15 |      610 |      322
352.33/352.43	c  352s |      16 |   280617 |   160452 |    19477     15 |      610 |      322
354.43/354.53	c  354s |      16 |   281569 |   161252 |    19477     15 |      610 |      322
356.52/356.67	c  356s |      16 |   282354 |   161952 |    19477     15 |      610 |      322
358.92/359.01	c  358s |      16 |   283163 |   162652 |    19477     15 |      610 |      322
361.22/361.33	c  361s |      16 |   283856 |   163252 |    19477     15 |      610 |      322
363.42/363.57	c  363s |      16 |   284660 |   163952 |    19477     15 |      610 |      322
365.52/365.66	c  365s |      16 |   285389 |   164552 |    19477     15 |      610 |      322
367.63/367.73	c  367s |      16 |   286268 |   165252 |    19477     15 |      610 |      322
369.64/369.78	c  369s |      16 |   286964 |   165852 |    19477     16 |      610 |      322
371.93/372.05	c  371s |      16 |   287880 |   166652 |    19477     16 |      610 |      322
373.94/374.08	c  373s |      16 |   288685 |   167352 |    19477     16 |      610 |      322
376.03/376.11	c  375s |      16 |   289382 |   167952 |    19477     16 |      610 |      322
378.13/378.23	c  377s |      16 |   290175 |   168652 |    19477     16 |      610 |      322
380.43/380.53	c  380s |      16 |   290942 |   169352 |    19477     16 |      610 |      322
382.53/382.60	c  382s |      16 |   291596 |   169952 |    19477     16 |      610 |      322
384.53/384.68	c  384s |      16 |   292257 |   170552 |    19477     16 |      610 |      322
386.73/386.84	c  386s |      16 |   292911 |   171152 |    19477     16 |      610 |      322
388.83/388.96	c  388s |      16 |   293565 |   171752 |    19477     16 |      610 |      322
391.13/391.29	c  391s |      16 |   294198 |   172352 |    19477     16 |      610 |      322
393.23/393.39	c  393s |      16 |   294883 |   172952 |    19477     16 |      610 |      322
395.52/395.60	c  395s |      16 |   295532 |   173552 |    19477     16 |      610 |      322
397.72/397.86	c  397s |      16 |   296240 |   174152 |    19477     16 |      610 |      322
399.92/400.05	c  399s |      16 |   296998 |   174752 |    19477     16 |      610 |      322
402.32/402.40	c  402s |      16 |   297854 |   175452 |    19477     16 |      610 |      322
404.42/404.51	c  404s |      16 |   298575 |   176052 |    19477     16 |      610 |      322
407.03/407.19	c  406s |      16 |   299642 |   176852 |    19477     17 |      610 |      322
409.23/409.39	c  409s |      16 |   300710 |   177752 |    19477     17 |      610 |      322
411.33/411.45	c  411s |      16 |   301508 |   178452 |    19477     17 |      610 |      322
413.53/413.62	c  413s |      16 |   302523 |   179252 |    19477     17 |      610 |      322
415.73/415.85	c  415s |      16 |   303485 |   180052 |    19477     17 |      610 |      322
417.93/418.08	c  417s |      16 |   304435 |   180852 |    19477     17 |      610 |      322
420.13/420.22	c  419s |      16 |   305240 |   181552 |    19477     17 |      610 |      322
422.33/422.47	c  422s |      16 |   306056 |   182252 |    19477     17 |      610 |      322
424.42/424.54	c  424s |      16 |   306759 |   182852 |    19477     17 |      610 |      322
426.52/426.66	c  426s |      16 |   307574 |   183552 |    19477     17 |      610 |      322
428.62/428.72	c  428s |      16 |   308366 |   184252 |    19477     17 |      610 |      322
430.62/430.74	c  430s |      16 |   309171 |   184952 |    19477     17 |      610 |      322
432.92/433.00	c  432s |      16 |   309976 |   185652 |    19477     17 |      610 |      322
435.22/435.30	c  435s |      16 |   310646 |   186252 |    19477     17 |      610 |      322
437.42/437.53	c  437s |      16 |   311332 |   186852 |    19477     17 |      610 |      322
439.82/439.96	c  439s |      16 |   312018 |   187452 |    19477     17 |      610 |      322
441.91/442.07	c  441s |      16 |   312556 |   187952 |    19477     17 |      610 |      322
444.21/444.35	c  444s |      16 |   313136 |   188452 |    19477     18 |      610 |      322
446.31/446.48	c  446s |      16 |   313794 |   189052 |    19477     18 |      610 |      322
448.41/448.53	c  448s |      16 |   314588 |   189652 |    19477     18 |      610 |      322
450.51/450.61	c  450s |      16 |   315639 |   190452 |    19477     18 |      610 |      322
452.61/452.72	c  452s |      16 |   316680 |   191252 |    19477     18 |      610 |      322
454.71/454.87	c  454s |      16 |   317492 |   191952 |    19477     18 |      610 |      322
456.81/456.91	c  456s |      16 |   318327 |   192652 |    19477     18 |      610 |      322
459.01/459.17	c  458s |      16 |   319121 |   193352 |    19477     18 |      610 |      322
461.41/461.50	c  461s |      16 |   319918 |   194052 |    19477     18 |      610 |      322
463.41/463.57	c  463s |      16 |   320616 |   194652 |    19477     18 |      610 |      322
465.51/465.65	c  465s |      16 |   321303 |   195252 |    19477     18 |      610 |      322
467.71/467.86	c  467s |      16 |   321973 |   195852 |    19477     18 |      610 |      322
470.01/470.14	c  469s |      16 |   322686 |   196452 |    21425     18 |      610 |      322
472.21/472.39	c  472s |      16 |   323341 |   197052 |    21425     18 |      610 |      322
473.71/473.85	c  473s |      17 |   323772 |   197432 |    21425     18 |      610 |      322
475.71/475.86	c  475s |      17 |   326124 |   198632 |    21425     18 |      610 |      322
477.81/477.94	c  477s |      17 |   327935 |   200132 |    21425     18 |      610 |      322
480.11/480.20	c  479s |      17 |   329595 |   201532 |    21425     19 |      610 |      322
482.21/482.31	c  482s |      17 |   331601 |   203132 |    21425     19 |      610 |      322
484.21/484.36	c  484s |      17 |   337043 |   204732 |    21425     19 |      610 |      322
486.22/486.37	c  486s |      17 |   339302 |   206132 |    21425     19 |      610 |      322
488.32/488.46	c  488s |      17 |   340641 |   207232 |    21425     19 |      610 |      322
490.41/490.57	c  490s |      17 |   341892 |   208332 |    21425     19 |      610 |      322
492.61/492.71	c  492s |      17 |   343151 |   209332 |    21425     19 |      610 |      322
494.71/494.83	c  494s |      17 |   345167 |   210932 |    21425     19 |      610 |      322
496.71/496.89	c  496s |      17 |   346793 |   212432 |    21425     19 |      610 |      322
498.91/499.07	c  498s |      17 |   348217 |   213632 |    21425     19 |      610 |      322
501.11/501.27	c  501s |      17 |   349267 |   214532 |    21425     20 |      610 |      322
503.31/503.42	c  503s |      17 |   350434 |   215532 |    21425     20 |      610 |      322
505.41/505.52	c  505s |      17 |   351430 |   216432 |    21425     20 |      610 |      322
507.51/507.62	c  507s |      17 |   352436 |   217332 |    21425     20 |      610 |      322
509.61/509.73	c  509s |      17 |   353447 |   218232 |    21425     20 |      610 |      322
511.81/511.92	c  511s |      17 |   354442 |   219132 |    21425     20 |      610 |      322
513.81/513.96	c  513s |      17 |   355331 |   219932 |    21425     20 |      610 |      322
515.92/516.01	c  515s |      17 |   356127 |   220632 |    21425     20 |      610 |      322
518.01/518.12	c  517s |      17 |   356884 |   221332 |    21425     20 |      610 |      322
520.10/520.20	c  519s |      17 |   357666 |   222032 |    21425     20 |      610 |      322
522.30/522.40	c  522s |      17 |   358300 |   222632 |    21425     20 |      610 |      322
524.50/524.63	c  524s |      17 |   359072 |   223332 |    21425     20 |      610 |      322
526.70/526.87	c  526s |      17 |   359838 |   224032 |    21425     20 |      610 |      322
528.80/528.93	c  528s |      17 |   360472 |   224632 |    21425     20 |      610 |      322
531.10/531.27	c  531s |      17 |   361247 |   225332 |    21425     20 |      610 |      322
533.20/533.34	c  533s |      17 |   361915 |   225932 |    21425     20 |      610 |      322
535.50/535.66	c  535s |      17 |   362551 |   226532 |    21425     21 |      610 |      322
537.70/537.83	c  537s |      17 |   363311 |   227232 |    21425     21 |      610 |      322
539.90/540.04	c  539s |      17 |   364077 |   227932 |    21425     21 |      610 |      322
542.00/542.11	c  541s |      17 |   364724 |   228532 |    21425     21 |      610 |      322
544.00/544.11	c  543s |      17 |   365385 |   229132 |    21425     21 |      610 |      322
546.00/546.14	c  545s |      17 |   366036 |   229732 |    21425     21 |      610 |      322
548.10/548.23	c  547s |      17 |   366702 |   230332 |    21425     21 |      610 |      322
550.40/550.55	c  550s |      17 |   367509 |   231032 |    21425     21 |      610 |      322
552.70/552.80	c  552s |      17 |   368182 |   231632 |    21425     21 |      610 |      322
554.90/555.06	c  554s |      17 |   368828 |   232232 |    21425     21 |      610 |      322
557.20/557.32	c  557s |      17 |   369473 |   232832 |    21425     21 |      610 |      322
559.30/559.48	c  559s |      17 |   370147 |   233432 |    21425     21 |      610 |      322
561.49/561.61	c  561s |      17 |   370949 |   234132 |    21425     21 |      610 |      322
563.59/563.79	c  563s |      17 |   371751 |   234832 |    21425     21 |      610 |      322
565.69/565.81	c  565s |      17 |   372455 |   235432 |    21425     21 |      610 |      322
567.79/567.91	c  567s |      17 |   373161 |   236032 |    21425     21 |      610 |      322
569.89/570.06	c  569s |      17 |   373828 |   236632 |    21425     21 |      610 |      322
572.00/572.18	c  571s |      17 |   374503 |   237232 |    21425     21 |      610 |      322
574.29/574.40	c  574s |      17 |   375192 |   237832 |    21425     21 |      610 |      322
576.40/576.51	c  576s |      17 |   375739 |   238332 |    21425     21 |      610 |      322
578.39/578.54	c  578s |      17 |   376325 |   238832 |    21425     22 |      610 |      322
580.59/580.80	c  580s |      17 |   377102 |   239532 |    21425     22 |      610 |      322
582.90/583.07	c  582s |      17 |   378000 |   240332 |    21425     22 |      610 |      322
584.99/585.16	c  584s |      17 |   378783 |   241032 |    21425     22 |      610 |      322
587.19/587.34	c  587s |      17 |   379611 |   241732 |    21425     22 |      610 |      322
589.19/589.38	c  589s |      17 |   380271 |   242332 |    21425     22 |      610 |      322
591.29/591.46	c  591s |      17 |   380966 |   242932 |    21425     22 |      610 |      322
593.29/593.47	c  593s |      17 |   381632 |   243532 |    21425     22 |      610 |      322
595.29/595.50	c  595s |      17 |   382295 |   244132 |    21425     22 |      610 |      322
597.59/597.76	c  597s |      17 |   382957 |   244732 |    21425     22 |      610 |      322
599.79/599.91	c  599s |      17 |   383668 |   245332 |    21425     22 |      610 |      322
602.00/602.11	c  601s |      17 |   384332 |   245932 |    21425     22 |      610 |      322
604.00/604.13	c  603s |      17 |   384881 |   246432 |    21425     22 |      610 |      322
606.30/606.41	c  606s |      17 |   385587 |   247032 |    21425     22 |      610 |      322
608.60/608.79	c  608s |      17 |   386249 |   247632 |    21425     22 |      610 |      322
610.69/610.89	c  610s |      17 |   386924 |   248232 |    21425     22 |      610 |      322
613.09/613.24	c  612s |      17 |   387596 |   248832 |    21425     22 |      610 |      322
615.09/615.29	c  615s |      17 |   388166 |   249332 |    21425     22 |      610 |      322
617.29/617.47	c  617s |      17 |   388698 |   249832 |    21425     22 |      610 |      322
619.39/619.58	c  619s |      17 |   389271 |   250332 |    21425     22 |      610 |      322
621.89/622.00	c  621s |      17 |   389834 |   250832 |    21425     23 |      610 |      322
623.89/624.02	c  623s |      17 |   390711 |   251532 |    21425     23 |      610 |      322
625.99/626.12	c  625s |      17 |   391649 |   252332 |    21425     23 |      610 |      322
628.10/628.23	c  627s |      17 |   392409 |   253032 |    21425     23 |      610 |      322
630.09/630.27	c  630s |      17 |   393205 |   253732 |    21425     23 |      610 |      322
632.29/632.47	c  632s |      17 |   394125 |   254532 |    21425     23 |      610 |      322
634.49/634.62	c  634s |      17 |   394976 |   255232 |    21425     23 |      610 |      322
636.80/636.95	c  636s |      17 |   395919 |   256032 |    21425     23 |      610 |      322
638.89/639.05	c  638s |      17 |   396700 |   256732 |    21425     23 |      610 |      322
640.99/641.14	c  640s |      17 |   397349 |   257332 |    21425     23 |      610 |      322
643.09/643.26	c  643s |      17 |   397981 |   257932 |    21425     23 |      610 |      322
645.29/645.46	c  645s |      17 |   398681 |   258532 |    21425     23 |      610 |      322
647.39/647.55	c  647s |      17 |   399354 |   259132 |    21425     23 |      610 |      322
649.48/649.67	c  649s |      17 |   400007 |   259732 |    21425     23 |      610 |      322
651.78/651.96	c  651s |      17 |   400689 |   260332 |    21425     23 |      610 |      322
653.88/654.02	c  653s |      17 |   401224 |   260832 |    21425     23 |      610 |      322
656.08/656.22	c  655s |      17 |   401765 |   261332 |    21425     23 |      610 |      322
658.48/658.66	c  658s |      17 |   402416 |   261932 |    21425     23 |      610 |      322
660.68/660.87	c  660s |      17 |   402973 |   262432 |    21425     23 |      610 |      322
662.98/663.15	c  662s |      17 |   403537 |   262932 |    21425     23 |      610 |      322
665.18/665.34	c  665s |      17 |   404063 |   263432 |    21425     24 |      610 |      322
667.48/667.63	c  667s |      17 |   404820 |   264132 |    21425     24 |      610 |      322
669.48/669.66	c  669s |      17 |   405464 |   264732 |    21425     24 |      610 |      322
671.58/671.71	c  671s |      17 |   406145 |   265332 |    21425     24 |      610 |      322
673.68/673.85	c  673s |      17 |   406800 |   265932 |    21425     24 |      610 |      322
675.98/676.13	c  675s |      17 |   407471 |   266532 |    21425     24 |      610 |      322
678.08/678.21	c  677s |      17 |   408136 |   267132 |    21425     24 |      610 |      322
680.28/680.48	c  680s |      17 |   408925 |   267832 |    21425     24 |      610 |      322
682.58/682.77	c  682s |      17 |   409750 |   268532 |    21425     24 |      610 |      322
684.88/685.06	c  684s |      17 |   410575 |   269232 |    21425     24 |      610 |      322
687.28/687.40	c  687s |      17 |   411224 |   269832 |    21425     24 |      610 |      322
689.28/689.45	c  689s |      17 |   411933 |   270432 |    21425     24 |      610 |      322
691.47/691.69	c  691s |      17 |   412590 |   271032 |    21425     24 |      610 |      322
693.87/694.02	c  693s |      17 |   413241 |   271632 |    21425     24 |      610 |      322
696.19/696.37	c  696s |      17 |   413879 |   272232 |    21425     24 |      610 |      322
698.27/698.51	c  698s |      17 |   414445 |   272732 |    21425     24 |      610 |      322
700.68/700.84	c  700s |      17 |   415163 |   273332 |    21425     24 |      610 |      322
702.78/702.91	c  702s |      17 |   415712 |   273832 |    21425     24 |      610 |      322
704.87/705.02	c  704s |      17 |   416290 |   274332 |    21425     24 |      610 |      322
707.07/707.29	c  707s |      17 |   416832 |   274832 |    21425     24 |      610 |      322
709.48/709.64	c  709s |      17 |   417359 |   275332 |    21425     24 |      610 |      322
711.77/711.94	c  711s |      17 |   417946 |   275832 |    21425     25 |      610 |      322
713.97/714.18	c  713s |      17 |   418597 |   276432 |    21425     25 |      610 |      322
716.37/716.55	c  716s |      17 |   419388 |   277132 |    21425     25 |      610 |      322
718.67/718.87	c  718s |      17 |   420030 |   277732 |    21425     25 |      610 |      322
721.07/721.20	c  720s |      17 |   420674 |   278332 |    21425     25 |      610 |      322
723.27/723.45	c  723s |      17 |   421330 |   278932 |    21425     25 |      610 |      322
725.46/725.70	c  725s |      17 |   421979 |   279532 |    21425     25 |      610 |      322
727.56/727.70	c  727s |      17 |   422500 |   280032 |    21425     25 |      610 |      322
729.56/729.77	c  729s |      17 |   423058 |   280532 |    21425     25 |      610 |      322
731.66/731.88	c  731s |      17 |   423612 |   281032 |    21425     25 |      610 |      322
733.86/734.04	c  733s |      17 |   424168 |   281532 |    21425     25 |      610 |      322
736.26/736.48	c  736s |      17 |   424820 |   282132 |    21425     25 |      610 |      322
738.46/738.61	c  738s |      17 |   425354 |   282632 |    21425     25 |      610 |      322
740.76/740.97	c  740s |      17 |   425884 |   283132 |    21425     25 |      610 |      322
743.16/743.35	c  743s |      17 |   426409 |   283632 |    21425     25 |      610 |      322
745.46/745.65	c  745s |      17 |   426978 |   284132 |    21425     25 |      610 |      322
747.46/747.65	c  747s |      17 |   427541 |   284632 |    21425     25 |      610 |      322
749.66/749.87	c  749s |      17 |   428112 |   285132 |    21425     25 |      610 |      322
751.67/751.90	c  751s |      17 |   428673 |   285632 |    21425     25 |      610 |      322
754.07/754.22	c  753s |      17 |   429231 |   286132 |    21425     25 |      610 |      322
756.27/756.46	c  756s |      17 |   429922 |   286732 |    21425     25 |      610 |      322
758.47/758.64	c  758s |      17 |   430498 |   287232 |    21425     25 |      610 |      322
760.67/760.84	c  760s |      17 |   430939 |   287632 |    21425     26 |      610 |      322
762.77/762.98	c  762s |      17 |   431586 |   288232 |    21425     26 |      610 |      322
764.96/765.16	c  764s |      17 |   432249 |   288832 |    21425     26 |      610 |      322
767.16/767.35	c  767s |      17 |   432908 |   289432 |    21425     26 |      610 |      322
769.56/769.77	c  769s |      17 |   433542 |   290032 |    21425     26 |      610 |      322
771.96/772.11	c  771s |      17 |   434217 |   290632 |    21425     26 |      610 |      322
774.16/774.39	c  774s |      17 |   434738 |   291132 |    21425     26 |      610 |      322
776.36/776.52	c  776s |      17 |   435272 |   291632 |    21425     26 |      610 |      322
778.56/778.79	c  778s |      17 |   435798 |   292132 |    21425     26 |      610 |      322
780.76/781.00	c  780s |      17 |   436327 |   292632 |    21425     26 |      610 |      322
782.96/783.14	c  782s |      17 |   436862 |   293132 |    21425     26 |      610 |      322
785.16/785.39	c  785s |      17 |   437412 |   293632 |    21425     26 |      610 |      322
787.36/787.59	c  787s |      17 |   437952 |   294132 |    21425     26 |      610 |      322
789.56/789.72	c  789s |      17 |   438501 |   294632 |    23568     26 |      610 |      322
791.75/791.98	c  791s |      17 |   439054 |   295132 |    23568     26 |      610 |      322
793.95/794.18	c  793s |      17 |   439601 |   295632 |    23568     26 |      610 |      322
796.26/796.43	c  796s |      17 |   440127 |   296132 |    23568     26 |      610 |      322
796.85/797.04	c  796s |      18 |   440251 |   296252 |    23568     26 |      610 |      322
798.85/799.06	c  798s |      18 |   445502 |   298052 |    23568     26 |      610 |      322
800.95/801.15	c  800s |      18 |   447592 |   299552 |    23568     26 |      610 |      322
802.96/803.16	c  802s |      18 |   448971 |   300652 |    23568     26 |      610 |      322
805.35/805.51	c  805s |      18 |   451089 |   301952 |    23568     27 |      610 |      322
807.45/807.69	c  807s |      18 |   452548 |   303052 |    23568     27 |      610 |      322
809.75/809.95	c  809s |      18 |   453485 |   303852 |    23568     27 |      610 |      322
811.94/812.12	c  811s |      18 |   454341 |   304552 |    23568     27 |      610 |      322
813.95/814.13	c  813s |      18 |   455126 |   305252 |    23568     27 |      610 |      322
815.94/816.19	c  815s |      18 |   460629 |   306952 |    23568     27 |      610 |      322
818.14/818.32	c  818s |      18 |   463887 |   308552 |    23568     27 |      610 |      322
820.24/820.48	c  820s |      18 |   466240 |   309952 |    23568     27 |      610 |      322
822.34/822.51	c  822s |      18 |   468283 |   311152 |    23568     27 |      610 |      322
824.44/824.69	c  824s |      18 |   469623 |   312252 |    23568     27 |      610 |      322
826.54/826.77	c  826s |      18 |   470554 |   313052 |    23568     27 |      610 |      322
828.74/828.90	c  828s |      18 |   471601 |   313952 |    23568     27 |      610 |      322
830.83/831.08	c  830s |      18 |   472552 |   314752 |    23568     27 |      610 |      322
833.13/833.38	c  833s |      18 |   473274 |   315352 |    23568     28 |      610 |      322
835.33/835.52	c  835s |      18 |   474408 |   316252 |    23568     28 |      610 |      322
837.33/837.58	c  837s |      18 |   475246 |   316952 |    23568     28 |      610 |      322
839.53/839.73	c  839s |      18 |   476146 |   317752 |    23568     28 |      610 |      322
841.63/841.80	c  841s |      18 |   476815 |   318352 |    23568     28 |      610 |      322
843.73/843.97	c  843s |      18 |   477620 |   319052 |    23568     28 |      610 |      322
846.03/846.22	c  845s |      18 |   478266 |   319652 |    23568     28 |      610 |      322
848.13/848.37	c  848s |      18 |   478925 |   320252 |    23568     28 |      610 |      322
850.24/850.41	c  850s |      18 |   479573 |   320852 |    23568     28 |      610 |      322
852.53/852.71	c  852s |      18 |   480211 |   321452 |    23568     28 |      610 |      322
854.83/855.08	c  854s |      18 |   481014 |   322152 |    23568     28 |      610 |      322
856.93/857.12	c  856s |      18 |   481700 |   322652 |    23568     28 |      610 |      322
858.94/859.20	c  858s |      18 |   487229 |   324252 |    23568     28 |      610 |      322
861.13/861.35	c  861s |      18 |   488971 |   325352 |    23568     28 |      610 |      322
863.12/863.39	c  863s |      18 |   491132 |   326752 |    23568     28 |      610 |      322
865.32/865.59	c  865s |      18 |   492468 |   327852 |    23568     28 |      610 |      322
867.52/867.79	c  867s |      18 |   493681 |   328852 |    23568     28 |      610 |      322
869.62/869.86	c  869s |      18 |   494622 |   329652 |    23568     29 |      610 |      322
871.72/871.99	c  871s |      18 |   495773 |   330652 |    23568     29 |      610 |      322
873.92/874.15	c  873s |      18 |   496789 |   331552 |    23568     29 |      610 |      322
876.12/876.33	c  876s |      18 |   497944 |   332552 |    23568     29 |      610 |      322
878.22/878.44	c  878s |      18 |   499014 |   333452 |    23568     29 |      610 |      322
880.52/880.70	c  880s |      18 |   500056 |   334352 |    23568     29 |      610 |      322
882.72/882.99	c  882s |      18 |   500961 |   335152 |    23568     29 |      610 |      322
885.02/885.25	c  884s |      18 |   501864 |   335952 |    23568     29 |      610 |      322
887.22/887.46	c  887s |      18 |   502796 |   336752 |    23568     29 |      610 |      322
889.42/889.67	c  889s |      18 |   503709 |   337552 |    23568     29 |      610 |      322
891.52/891.73	c  891s |      18 |   504515 |   338252 |    23568     29 |      610 |      322
893.72/893.95	c  893s |      18 |   505466 |   339052 |    23568     29 |      610 |      322
895.82/896.04	c  895s |      18 |   506492 |   339852 |    23568     29 |      610 |      322
898.02/898.21	c  897s |      18 |   507290 |   340552 |    23568     29 |      610 |      322
900.02/900.22	c  899s |      18 |   507952 |   341152 |    23568     29 |      610 |      322
902.22/902.46	c  902s |      18 |   508757 |   341852 |    23568     29 |      610 |      322
904.52/904.70	c  904s |      18 |   509434 |   342452 |    23568     30 |      610 |      322
906.72/906.92	c  906s |      18 |   510335 |   343252 |    23568     30 |      610 |      322
908.72/908.93	c  908s |      18 |   511140 |   343952 |    23568     30 |      610 |      322
910.73/910.94	c  910s |      18 |   511929 |   344652 |    23568     30 |      610 |      322
912.72/912.94	c  912s |      18 |   512605 |   345252 |    23568     30 |      610 |      322
914.81/915.02	c  914s |      18 |   513272 |   345852 |    23568     30 |      610 |      322
916.91/917.15	c  916s |      18 |   514049 |   346552 |    23568     30 |      610 |      322
919.21/919.45	c  919s |      18 |   514855 |   347252 |    23568     30 |      610 |      322
921.41/921.67	c  921s |      18 |   515697 |   347952 |    23568     30 |      610 |      322
923.51/923.79	c  923s |      18 |   516462 |   348652 |    23568     30 |      610 |      322
925.91/926.14	c  925s |      18 |   517369 |   349352 |    23568     30 |      610 |      322
928.01/928.27	c  928s |      18 |   518175 |   350052 |    23568     30 |      610 |      322
930.11/930.32	c  930s |      18 |   518843 |   350652 |    23568     30 |      610 |      322
932.11/932.34	c  932s |      18 |   519746 |   351352 |    23568     30 |      610 |      322
934.11/934.40	c  934s |      18 |   520646 |   352052 |    23568     30 |      610 |      322
936.30/936.52	c  936s |      18 |   521425 |   352752 |    23568     30 |      610 |      322
938.50/938.70	c  938s |      18 |   522183 |   353452 |    23568     30 |      610 |      322
940.50/940.71	c  940s |      18 |   522856 |   354052 |    23568     30 |      610 |      322
942.80/943.03	c  942s |      18 |   523619 |   354752 |    23568     30 |      610 |      322
945.10/945.32	c  945s |      18 |   524268 |   355352 |    23568     30 |      610 |      322
947.10/947.38	c  947s |      18 |   524912 |   355852 |    23568     31 |      610 |      322
949.21/949.49	c  949s |      18 |   526040 |   356752 |    23568     31 |      610 |      322
951.31/951.54	c  951s |      18 |   527155 |   357652 |    23568     31 |      610 |      322
953.40/953.60	c  953s |      18 |   528088 |   358352 |    23568     31 |      610 |      322
955.50/955.72	c  955s |      18 |   529062 |   359152 |    23568     31 |      610 |      322
957.60/957.89	c  957s |      18 |   530031 |   359852 |    23568     31 |      610 |      322
959.70/959.99	c  959s |      18 |   530902 |   360552 |    23568     31 |      610 |      322
961.79/962.07	c  961s |      18 |   531596 |   361152 |    23568     31 |      610 |      322
964.19/964.43	c  964s |      18 |   532410 |   361852 |    23568     31 |      610 |      322
966.29/966.52	c  966s |      18 |   532911 |   362252 |    23568     31 |      610 |      322
968.49/968.77	c  968s |      18 |   533375 |   362652 |    23568     31 |      610 |      322
970.88/971.16	c  970s |      18 |   533818 |   363052 |    23568     31 |      610 |      322
973.18/973.42	c  973s |      18 |   534502 |   363652 |    23568     31 |      610 |      322
975.28/975.58	c  975s |      18 |   535223 |   364252 |    23568     31 |      610 |      322
977.58/977.86	c  977s |      18 |   535938 |   364852 |    23568     31 |      610 |      322
979.78/980.02	c  979s |      18 |   536546 |   365352 |    23568     31 |      610 |      322
981.77/982.08	c  981s |      18 |   537269 |   365952 |    23568     31 |      610 |      322
984.07/984.38	c  984s |      18 |   537968 |   366552 |    23568     31 |      610 |      322
986.37/986.64	c  986s |      18 |   538708 |   367152 |    23568     31 |      610 |      322
988.78/989.01	c  988s |      18 |   539283 |   367652 |    23568     31 |      610 |      322
991.17/991.40	c  991s |      18 |   539871 |   368152 |    23568     31 |      610 |      322
993.47/993.70	c  993s |      18 |   540526 |   368652 |    23568     31 |      610 |      322
995.67/995.98	c  995s |      18 |   541087 |   369052 |    23568     32 |      610 |      322
997.77/998.01	c  997s |      18 |   541702 |   369552 |    23568     32 |      610 |      322
999.87/1000.18	c  999s |      18 |   542289 |   370052 |    23568     32 |      610 |      322
1002.16/1002.45	c 1002s |      18 |   542882 |   370552 |    23568     32 |      610 |      322
1004.26/1004.51	c 1004s |      18 |   543738 |   371252 |    23568     32 |      610 |      322
1006.37/1006.61	c 1006s |      18 |   544467 |   371852 |    23568     32 |      610 |      322
1008.66/1008.90	c 1008s |      18 |   545154 |   372452 |    23568     32 |      610 |      322
1010.77/1011.10	c 1010s |      18 |   545838 |   373052 |    23568     32 |      610 |      322
1012.87/1013.14	c 1012s |      18 |   546417 |   373552 |    23568     32 |      610 |      322
1015.26/1015.52	c 1015s |      18 |   546978 |   374052 |    23568     32 |      610 |      322
1017.56/1017.85	c 1017s |      18 |   547548 |   374552 |    23568     32 |      610 |      322
1019.76/1020.03	c 1019s |      18 |   548138 |   375052 |    23568     32 |      610 |      322
1021.76/1022.05	c 1021s |      18 |   548593 |   375452 |    23568     32 |      610 |      322
1024.05/1024.39	c 1024s |      18 |   549187 |   375952 |    23568     32 |      610 |      322
1026.16/1026.47	c 1026s |      18 |   549672 |   376352 |    23568     32 |      610 |      322
1028.26/1028.53	c 1028s |      18 |   550376 |   376952 |    23568     32 |      610 |      322
1030.65/1030.92	c 1030s |      18 |   550958 |   377452 |    23568     32 |      610 |      322
1033.14/1033.42	c 1033s |      18 |   551592 |   377952 |    23568     32 |      610 |      322
1035.44/1035.78	c 1035s |      18 |   552170 |   378452 |    23568     32 |      610 |      322
1037.64/1037.93	c 1037s |      18 |   552629 |   378852 |    23568     32 |      610 |      322
1039.64/1039.97	c 1039s |      18 |   552946 |   379152 |    23568     32 |      610 |      322
1042.04/1042.34	c 1042s |      18 |   553376 |   379552 |    23568     32 |      610 |      322
1044.43/1044.78	c 1044s |      18 |   553856 |   379952 |    23568     32 |      610 |      322
1046.73/1047.07	c 1046s |      18 |   554311 |   380352 |    23568     32 |      610 |      322
1048.93/1049.25	c 1048s |      18 |   554868 |   380852 |    23568     32 |      610 |      322
1051.13/1051.41	c 1051s |      18 |   555748 |   381452 |    23568     32 |      610 |      322
1053.92/1054.20	c 1053s |      18 |   556764 |   382252 |    23568     33 |      610 |      322
1056.12/1056.49	c 1056s |      18 |   558036 |   383252 |    23568     33 |      610 |      322
1058.22/1058.50	c 1058s |      18 |   559149 |   384152 |    23568     33 |      610 |      322
1060.23/1060.57	c 1060s |      18 |   560217 |   385052 |    23568     33 |      610 |      322
1062.43/1062.72	c 1062s |      18 |   561294 |   385952 |    23568     33 |      610 |      322
1064.63/1064.94	c 1064s |      18 |   562223 |   386752 |    23568     33 |      610 |      322
1066.83/1067.11	c 1066s |      18 |   563154 |   387552 |    23568     33 |      610 |      322
1068.82/1069.20	c 1068s |      18 |   563939 |   388252 |    23568     33 |      610 |      322
1071.01/1071.34	c 1071s |      18 |   564929 |   389052 |    23568     33 |      610 |      322
1073.11/1073.41	c 1073s |      18 |   565953 |   389852 |    23568     33 |      610 |      322
1075.32/1075.67	c 1075s |      18 |   566884 |   390652 |    23568     33 |      610 |      322
1077.42/1077.78	c 1077s |      18 |   567702 |   391352 |    23568     33 |      610 |      322
1079.52/1079.84	c 1079s |      18 |   568505 |   392052 |    23568     33 |      610 |      322
1081.61/1081.99	c 1081s |      18 |   569324 |   392752 |    23568     33 |      610 |      322
1083.71/1084.09	c 1083s |      18 |   570019 |   393352 |    23568     33 |      610 |      322
1085.81/1086.19	c 1085s |      18 |   570705 |   393952 |    23568     33 |      610 |      322
1088.11/1088.44	c 1088s |      18 |   571390 |   394552 |    23568     33 |      610 |      322
1090.31/1090.61	c 1090s |      18 |   572143 |   395152 |    23568     33 |      610 |      322
1092.80/1093.13	c 1092s |      18 |   572770 |   395652 |    23568     34 |      610 |      322
1094.90/1095.26	c 1095s |      18 |   573713 |   396452 |    23568     34 |      610 |      322
1097.10/1097.49	c 1097s |      18 |   574620 |   397252 |    23568     34 |      610 |      322
1099.40/1099.77	c 1099s |      18 |   575553 |   398052 |    23568     34 |      610 |      322
1101.60/1101.94	c 1101s |      18 |   576538 |   398852 |    23568     34 |      610 |      322
1103.90/1104.22	c 1103s |      18 |   577436 |   399652 |    23568     34 |      610 |      322
1105.90/1106.24	c 1105s |      18 |   578228 |   400352 |    23568     34 |      610 |      322
1108.10/1108.41	c 1108s |      18 |   579061 |   401052 |    23568     34 |      610 |      322
1110.20/1110.56	c 1110s |      18 |   579854 |   401752 |    23568     34 |      610 |      322
1112.39/1112.73	c 1112s |      18 |   580668 |   402452 |    23568     34 |      610 |      322
1114.49/1114.83	c 1114s |      18 |   581573 |   403152 |    23568     34 |      610 |      322
1116.49/1116.90	c 1116s |      18 |   582416 |   403852 |    23568     34 |      610 |      322
1118.69/1119.00	c 1118s |      18 |   583130 |   404452 |    23568     34 |      610 |      322
1120.70/1121.05	c 1120s |      18 |   583996 |   405152 |    23568     34 |      610 |      322
1122.79/1123.15	c 1122s |      18 |   584937 |   405952 |    23568     34 |      610 |      322
1124.99/1125.31	c 1125s |      18 |   586046 |   406852 |    23568     34 |      610 |      322
1127.08/1127.40	c 1127s |      18 |   587016 |   407652 |    23568     34 |      610 |      322
1129.28/1129.67	c 1129s |      18 |   587963 |   408452 |    23568     34 |      610 |      322
1131.88/1132.25	c 1131s |      18 |   588842 |   409152 |    23568     35 |      610 |      322
1134.08/1134.43	c 1134s |      18 |   589874 |   410052 |    23568     35 |      610 |      322
1136.18/1136.56	c 1136s |      18 |   590785 |   410852 |    23568     35 |      610 |      322
1138.38/1138.73	c 1138s |      18 |   591710 |   411652 |    23568     35 |      610 |      322
1140.48/1140.85	c 1140s |      18 |   592641 |   412452 |    23568     35 |      610 |      322
1142.68/1143.07	c 1142s |      18 |   593569 |   413252 |    23568     35 |      610 |      322
1144.97/1145.31	c 1145s |      18 |   594341 |   413952 |    23568     35 |      610 |      322
1147.08/1147.44	c 1147s |      18 |   595158 |   414652 |    23568     35 |      610 |      322
1149.37/1149.74	c 1149s |      18 |   596073 |   415452 |    23568     35 |      610 |      322
1151.37/1151.77	c 1151s |      18 |   596747 |   416052 |    23568     35 |      610 |      322
1153.46/1153.83	c 1153s |      18 |   597601 |   416752 |    23568     35 |      610 |      322
1155.46/1155.83	c 1155s |      18 |   598470 |   417452 |    23568     35 |      610 |      322
1157.76/1158.11	c 1157s |      18 |   599283 |   418152 |    23568     35 |      610 |      322
1159.76/1160.14	c 1159s |      18 |   600018 |   418752 |    23568     35 |      610 |      322
1161.85/1162.22	c 1161s |      18 |   600745 |   419352 |    23568     35 |      610 |      322
1163.85/1164.25	c 1163s |      18 |   601770 |   420152 |    23568     35 |      610 |      322
1166.05/1166.45	c 1166s |      18 |   602747 |   420952 |    23568     35 |      610 |      322
1168.35/1168.77	c 1168s |      18 |   603717 |   421752 |    23568     35 |      610 |      322
1171.05/1171.46	c 1171s |      18 |   604558 |   422452 |    23568     36 |      610 |      322
1173.14/1173.53	c 1173s |      18 |   605505 |   423252 |    23568     36 |      610 |      322
1175.14/1175.54	c 1175s |      18 |   606610 |   424152 |    23568     36 |      610 |      322
1177.24/1177.64	c 1177s |      18 |   607691 |   425052 |    23568     36 |      610 |      322
1179.34/1179.78	c 1179s |      18 |   608638 |   425852 |    23568     36 |      610 |      322
1181.44/1181.82	c 1181s |      18 |   609645 |   426652 |    23568     36 |      610 |      322
1183.44/1183.86	c 1183s |      18 |   610697 |   427452 |    23568     36 |      610 |      322
1185.55/1185.99	c 1185s |      18 |   611641 |   428252 |    23568     36 |      610 |      322
1187.84/1188.23	c 1187s |      18 |   612621 |   429052 |    23568     36 |      610 |      322
1189.95/1190.32	c 1190s |      18 |   613433 |   429752 |    23568     36 |      610 |      322
1192.05/1192.43	c 1192s |      18 |   614332 |   430452 |    23568     36 |      610 |      322
1194.14/1194.55	c 1194s |      18 |   615221 |   431152 |    23568     36 |      610 |      322
1196.34/1196.74	c 1196s |      18 |   616186 |   431952 |    23568     36 |      610 |      322
1198.34/1198.75	c 1198s |      18 |   616891 |   432552 |    23568     36 |      610 |      322
1200.53/1200.97	c 1200s |      18 |   617712 |   433252 |    23568     36 |      610 |      322
1202.73/1203.13	c 1202s |      18 |   618512 |   433952 |    23568     36 |      610 |      322
1205.03/1205.45	c 1205s |      18 |   619329 |   434652 |    23568     36 |      610 |      322
1207.13/1207.53	c 1207s |      18 |   620015 |   435252 |    23568     36 |      610 |      322
1209.53/1209.98	c 1209s |      18 |   620751 |   435852 |    23568     37 |      610 |      322
1211.62/1212.03	c 1211s |      18 |   621582 |   436552 |    23568     37 |      610 |      322
1213.82/1214.27	c 1214s |      18 |   622393 |   437252 |    23568     37 |      610 |      322
1215.92/1216.32	c 1216s |      18 |   623183 |   437952 |    23568     37 |      610 |      322
1218.12/1218.55	c 1218s |      18 |   623965 |   438652 |    23568     37 |      610 |      322
1220.52/1220.90	c 1220s |      18 |   624752 |   439352 |    23568     37 |      610 |      322
1222.83/1223.22	c 1222s |      18 |   625569 |   440052 |    23568     37 |      610 |      322
1225.13/1225.53	c 1225s |      18 |   626401 |   440752 |    23568     37 |      610 |      322
1227.32/1227.72	c 1227s |      18 |   627190 |   441452 |    25925     37 |      610 |      322
1229.31/1229.76	c 1229s |      18 |   628030 |   442152 |    25925     37 |      610 |      322
1231.51/1232.00	c 1231s |      18 |   628831 |   442852 |    25925     37 |      610 |      322
1233.92/1234.31	c 1234s |      18 |   629493 |   443452 |    25925     37 |      610 |      322
1235.91/1236.40	c 1236s |      18 |   630189 |   444052 |    25925     37 |      610 |      322
1237.41/1237.80	c 1237s |      19 |   630687 |   444482 |    25925     37 |      610 |      322
1239.32/1239.80	c 1239s |      19 |   636503 |   445782 |    25925     37 |      610 |      322
1241.40/1241.85	c 1241s |      19 |   642616 |   447982 |    25925     37 |      610 |      322
1243.50/1243.90	c 1243s |      19 |   644658 |   449482 |    25925     37 |      610 |      322
1245.50/1245.93	c 1245s |      19 |   645865 |   450482 |    25925     37 |      610 |      322
1247.50/1247.99	c 1247s |      19 |   646804 |   451282 |    25925     38 |      610 |      322
1249.60/1250.04	c 1249s |      19 |   648847 |   452682 |    25925     38 |      610 |      322
1251.69/1252.14	c 1251s |      19 |   650079 |   453682 |    25925     38 |      610 |      322
1253.70/1254.18	c 1253s |      19 |   651444 |   454682 |    25925     38 |      610 |      322
1255.90/1256.31	c 1256s |      19 |   653074 |   455882 |    25925     38 |      610 |      322
1257.89/1258.33	c 1258s |      19 |   654287 |   456782 |    25925     38 |      610 |      322
1260.09/1260.51	c 1260s |      19 |   655357 |   457682 |    25925     38 |      610 |      322
1262.19/1262.68	c 1262s |      19 |   656444 |   458582 |    25925     38 |      610 |      322
1264.28/1264.74	c 1264s |      19 |   657377 |   459382 |    25925     38 |      610 |      322
1266.28/1266.78	c 1266s |      19 |   658345 |   460282 |    25925     38 |      610 |      322
1268.48/1268.91	c 1268s |      19 |   659175 |   460982 |    25925     38 |      610 |      322
1270.48/1270.98	c 1270s |      19 |   660120 |   461782 |    25925     38 |      610 |      322
1272.68/1273.16	c 1272s |      19 |   660801 |   462382 |    25925     38 |      610 |      322
1274.88/1275.33	c 1275s |      19 |   661477 |   462982 |    25925     38 |      610 |      322
1277.08/1277.52	c 1277s |      19 |   662566 |   463882 |    25925     38 |      610 |      322
1279.08/1279.55	c 1279s |      19 |   663531 |   464682 |    25925     38 |      610 |      322
1281.38/1281.81	c 1281s |      19 |   664431 |   465482 |    25925     38 |      610 |      322
1283.48/1283.96	c 1283s |      19 |   665119 |   466082 |    25925     39 |      610 |      322
1285.59/1286.06	c 1285s |      19 |   665937 |   466782 |    25925     39 |      610 |      322
1287.79/1288.25	c 1287s |      19 |   667081 |   467682 |    25925     39 |      610 |      322
1289.89/1290.32	c 1290s |      19 |   668050 |   468482 |    25925     39 |      610 |      322
1292.09/1292.59	c 1292s |      19 |   668907 |   469182 |    25925     39 |      610 |      322
1294.18/1294.63	c 1294s |      19 |   669604 |   469782 |    25925     39 |      610 |      322
1296.28/1296.77	c 1296s |      19 |   670326 |   470382 |    25925     39 |      610 |      322
1298.69/1299.12	c 1298s |      19 |   671150 |   471082 |    25925     39 |      610 |      322
1300.78/1301.26	c 1301s |      19 |   671698 |   471582 |    25925     39 |      610 |      322
1302.78/1303.28	c 1303s |      19 |   672401 |   472182 |    25925     39 |      610 |      322
1305.18/1305.63	c 1305s |      19 |   673071 |   472782 |    25925     39 |      610 |      322
1307.38/1307.86	c 1307s |      19 |   673765 |   473382 |    25925     39 |      610 |      322
1309.48/1309.98	c 1309s |      19 |   674372 |   473882 |    25925     39 |      610 |      322
1311.58/1312.00	c 1311s |      19 |   674932 |   474382 |    25925     39 |      610 |      322
1313.78/1314.29	c 1314s |      19 |   675602 |   474982 |    25925     39 |      610 |      322
1316.29/1316.75	c 1316s |      19 |   676145 |   475482 |    25925     39 |      610 |      322
1318.68/1319.15	c 1318s |      19 |   676741 |   475982 |    25925     39 |      610 |      322
1321.07/1321.57	c 1321s |      19 |   677390 |   476582 |    25925     39 |      610 |      322
1323.27/1323.78	c 1323s |      19 |   678079 |   477182 |    25925     39 |      610 |      322
1325.37/1325.83	c 1325s |      19 |   678760 |   477782 |    25925     39 |      610 |      322
1327.47/1327.99	c 1327s |      19 |   679420 |   478382 |    25925     39 |      610 |      322
1329.97/1330.45	c 1330s |      19 |   680203 |   479082 |    25925     39 |      610 |      322
1332.07/1332.58	c 1332s |      19 |   680743 |   479582 |    25925     39 |      610 |      322
1334.27/1334.73	c 1334s |      19 |   681393 |   480182 |    25925     39 |      610 |      322
1337.07/1337.60	c 1337s |      19 |   682047 |   480782 |    25925     40 |      610 |      322
1339.48/1339.99	c 1339s |      19 |   682710 |   481382 |    25925     40 |      610 |      322
1341.78/1342.21	c 1341s |      19 |   683499 |   482082 |    25925     40 |      610 |      322
1343.97/1344.45	c 1344s |      19 |   684190 |   482682 |    25925     40 |      610 |      322
1346.17/1346.64	c 1346s |      19 |   684953 |   483382 |    25925     40 |      610 |      322
1348.18/1348.68	c 1348s |      19 |   685864 |   484082 |    25925     40 |      610 |      322
1350.27/1350.71	c 1350s |      19 |   686525 |   484682 |    25925     40 |      610 |      322
1352.37/1352.83	c 1352s |      19 |   687361 |   485382 |    25925     40 |      610 |      322
1354.57/1355.06	c 1354s |      19 |   688225 |   486082 |    25925     40 |      610 |      322
1356.87/1357.30	c 1357s |      19 |   689044 |   486782 |    25925     40 |      610 |      322
1359.28/1359.72	c 1359s |      19 |   689697 |   487382 |    25925     40 |      610 |      322
1361.48/1361.97	c 1361s |      19 |   690361 |   487982 |    25925     40 |      610 |      322
1363.97/1364.41	c 1364s |      19 |   691056 |   488582 |    25925     40 |      610 |      322
1366.07/1366.59	c 1366s |      19 |   691631 |   489082 |    25925     40 |      610 |      322
1368.47/1368.96	c 1368s |      19 |   692204 |   489582 |    25925     40 |      610 |      322
1370.57/1371.04	c 1370s |      19 |   692777 |   490082 |    25925     40 |      610 |      322
1372.86/1373.34	c 1373s |      19 |   693478 |   490682 |    25925     40 |      610 |      322
1375.07/1375.53	c 1375s |      19 |   694244 |   491282 |    25925     40 |      610 |      322
1377.26/1377.71	c 1377s |      19 |   694821 |   491782 |    25925     40 |      610 |      322
1379.56/1380.04	c 1379s |      19 |   695368 |   492282 |    25925     40 |      610 |      322
1381.96/1382.42	c 1382s |      19 |   695937 |   492782 |    25925     40 |      610 |      322
1384.26/1384.73	c 1384s |      19 |   696602 |   493382 |    25925     40 |      610 |      322
1386.46/1386.91	c 1386s |      19 |   697184 |   493882 |    25925     40 |      610 |      322
1388.76/1389.21	c 1388s |      19 |   697766 |   494382 |    25925     40 |      610 |      322
1390.86/1391.31	c 1391s |      19 |   698331 |   494882 |    25925     40 |      610 |      322
1393.16/1393.66	c 1393s |      19 |   698956 |   495382 |    25925     41 |      610 |      322
1395.26/1395.75	c 1395s |      19 |   699653 |   495982 |    25925     41 |      610 |      322
1397.36/1397.81	c 1397s |      19 |   700201 |   496482 |    25925     41 |      610 |      322
1399.46/1399.91	c 1399s |      19 |   700882 |   497082 |    25925     41 |      610 |      322
1401.56/1402.06	c 1401s |      19 |   701667 |   497782 |    25925     41 |      610 |      322
1403.76/1404.20	c 1403s |      19 |   702328 |   498382 |    25925     41 |      610 |      322
1405.86/1406.31	c 1406s |      19 |   702998 |   498982 |    25925     41 |      610 |      322
1408.26/1408.70	c 1408s |      19 |   703810 |   499682 |    25925     41 |      610 |      322
1410.26/1410.77	c 1410s |      19 |   704557 |   500282 |    25925     41 |      610 |      322
1412.46/1412.96	c 1412s |      19 |   705348 |   500982 |    25925     41 |      610 |      322
1414.66/1415.14	c 1414s |      19 |   706130 |   501582 |    25925     41 |      610 |      322
1416.76/1417.29	c 1417s |      19 |   706795 |   502182 |    25925     41 |      610 |      322
1419.06/1419.57	c 1419s |      19 |   707337 |   502682 |    25925     41 |      610 |      322
1421.15/1421.61	c 1421s |      19 |   707913 |   503182 |    25925     41 |      610 |      322
1423.36/1423.80	c 1423s |      19 |   708711 |   503782 |    25925     41 |      610 |      322
1425.46/1425.99	c 1425s |      19 |   709427 |   504382 |    25925     41 |      610 |      322
1427.56/1428.02	c 1427s |      19 |   709989 |   504882 |    25925     41 |      610 |      322
1429.76/1430.28	c 1430s |      19 |   710701 |   505482 |    25925     41 |      610 |      322
1431.96/1432.41	c 1432s |      19 |   711291 |   505982 |    25925     41 |      610 |      322
1434.26/1434.79	c 1434s |      19 |   711964 |   506582 |    25925     41 |      610 |      322
1436.66/1437.12	c 1436s |      19 |   712676 |   507182 |    25925     41 |      610 |      322
1438.86/1439.36	c 1439s |      19 |   713251 |   507682 |    25925     41 |      610 |      322
1441.16/1441.63	c 1441s |      19 |   713791 |   508182 |    25925     41 |      610 |      322
1443.36/1443.83	c 1443s |      19 |   714227 |   508582 |    25925     41 |      610 |      322
1445.66/1446.12	c 1445s |      19 |   714798 |   509082 |    25925     41 |      610 |      322
1447.66/1448.13	c 1447s |      19 |   715255 |   509482 |    25925     41 |      610 |      322
1449.96/1450.46	c 1450s |      19 |   715718 |   509882 |    25925     42 |      610 |      322
1452.26/1452.71	c 1452s |      19 |   716409 |   510482 |    25925     42 |      610 |      322
1454.45/1454.99	c 1454s |      19 |   717252 |   511182 |    25925     42 |      610 |      322
1456.65/1457.10	c 1456s |      19 |   717968 |   511782 |    25925     42 |      610 |      322
1458.66/1459.16	c 1458s |      19 |   718549 |   512282 |    25925     42 |      610 |      322
1460.65/1461.19	c 1460s |      19 |   719300 |   512882 |    25925     42 |      610 |      322
1462.95/1463.46	c 1463s |      19 |   720037 |   513482 |    25925     42 |      610 |      322
1465.05/1465.59	c 1465s |      19 |   720754 |   514082 |    25925     42 |      610 |      322
1467.55/1468.03	c 1467s |      19 |   721429 |   514682 |    25925     42 |      610 |      322
1469.55/1470.06	c 1469s |      19 |   722011 |   515182 |    25925     42 |      610 |      322
1471.85/1472.31	c 1472s |      19 |   722709 |   515782 |    25925     42 |      610 |      322
1474.05/1474.56	c 1474s |      19 |   723281 |   516282 |    25925     42 |      610 |      322
1476.15/1476.65	c 1476s |      19 |   723958 |   516882 |    25925     42 |      610 |      322
1478.25/1478.78	c 1478s |      19 |   724528 |   517382 |    25925     42 |      610 |      322
1480.45/1480.94	c 1480s |      19 |   725100 |   517882 |    25925     42 |      610 |      322
1482.85/1483.34	c 1483s |      19 |   725675 |   518382 |    25925     42 |      610 |      322
1485.25/1485.78	c 1485s |      19 |   726239 |   518882 |    25925     42 |      610 |      322
1487.25/1487.78	c 1487s |      19 |   726819 |   519382 |    25925     42 |      610 |      322
1489.45/1489.92	c 1489s |      19 |   727375 |   519882 |    25925     42 |      610 |      322
1491.75/1492.21	c 1491s |      19 |   728043 |   520482 |    25925     42 |      610 |      322
1494.04/1494.57	c 1494s |      19 |   728602 |   520982 |    25925     42 |      610 |      322
1496.14/1496.68	c 1496s |      19 |   729175 |   521482 |    25925     42 |      610 |      322
1498.44/1498.94	c 1498s |      19 |   729718 |   521982 |    25925     42 |      610 |      322
1500.54/1501.07	c 1500s |      19 |   730286 |   522482 |    25925     42 |      610 |      322
1502.94/1503.40	c 1503s |      19 |   730859 |   522982 |    25925     42 |      610 |      322
1505.04/1505.51	c 1505s |      19 |   731454 |   523482 |    25925     42 |      610 |      322
1507.04/1507.59	c 1507s |      19 |   732118 |   524082 |    25925     42 |      610 |      322
1509.14/1509.64	c 1509s |      19 |   732594 |   524482 |    25925     43 |      610 |      322
1511.24/1511.71	c 1511s |      19 |   733464 |   525182 |    25925     43 |      610 |      322
1513.34/1513.87	c 1513s |      19 |   734291 |   525882 |    25925     43 |      610 |      322
1515.54/1516.06	c 1515s |      19 |   735066 |   526582 |    25925     43 |      610 |      322
1517.94/1518.40	c 1518s |      19 |   735744 |   527182 |    25925     43 |      610 |      322
1520.05/1520.58	c 1520s |      19 |   736455 |   527782 |    25925     43 |      610 |      322
1522.15/1522.62	c 1522s |      19 |   737157 |   528382 |    25925     43 |      610 |      322
1524.35/1524.83	c 1524s |      19 |   737835 |   528982 |    25925     43 |      610 |      322
1526.55/1527.08	c 1526s |      19 |   738511 |   529582 |    25925     43 |      610 |      322
1528.95/1529.46	c 1529s |      19 |   739278 |   530282 |    25925     43 |      610 |      322
1531.35/1531.82	c 1531s |      19 |   739842 |   530782 |    25925     43 |      610 |      322
1533.64/1534.17	c 1533s |      19 |   740519 |   531382 |    25925     43 |      610 |      322
1535.84/1536.34	c 1536s |      19 |   741103 |   531882 |    25925     43 |      610 |      322
1538.04/1538.51	c 1538s |      19 |   741772 |   532482 |    25925     43 |      610 |      322
1540.24/1540.76	c 1540s |      19 |   742508 |   533082 |    25925     43 |      610 |      322
1542.34/1542.90	c 1542s |      19 |   743140 |   533682 |    25925     43 |      610 |      322
1544.74/1545.22	c 1544s |      19 |   743812 |   534282 |    25925     43 |      610 |      322
1547.14/1547.61	c 1547s |      19 |   744464 |   534882 |    25925     43 |      610 |      322
1549.24/1549.71	c 1549s |      19 |   745041 |   535382 |    25925     43 |      610 |      322
1551.24/1551.71	c 1551s |      19 |   745592 |   535882 |    25925     43 |      610 |      322
1553.24/1553.73	c 1553s |      19 |   746199 |   536382 |    25925     43 |      610 |      322
1555.24/1555.77	c 1555s |      19 |   746652 |   536782 |    25925     43 |      610 |      322
1557.34/1557.86	c 1557s |      19 |   747128 |   537182 |    25925     43 |      610 |      322
1559.35/1559.86	c 1559s |      19 |   747577 |   537582 |    25925     43 |      610 |      322
1561.44/1561.99	c 1561s |      19 |   748115 |   538082 |    25925     43 |      610 |      322
1563.94/1564.42	c 1564s |      19 |   748680 |   538582 |    25925     43 |      610 |      322
1565.95/1566.50	c 1566s |      19 |   749140 |   538982 |    25925     44 |      610 |      322
1568.34/1568.82	c 1568s |      19 |   749962 |   539682 |    25925     44 |      610 |      322
1570.45/1570.94	c 1570s |      19 |   750701 |   540282 |    25925     44 |      610 |      322
1572.65/1573.19	c 1572s |      19 |   751387 |   540882 |    25925     44 |      610 |      322
1575.03/1575.53	c 1575s |      19 |   752168 |   541582 |    25925     44 |      610 |      322
1577.05/1577.55	c 1577s |      19 |   752707 |   542082 |    25925     44 |      610 |      322
1579.43/1579.91	c 1579s |      19 |   753453 |   542682 |    25925     44 |      610 |      322
1581.73/1582.25	c 1581s |      19 |   754136 |   543282 |    25925     44 |      610 |      322
1583.73/1584.27	c 1584s |      19 |   754739 |   543782 |    25925     44 |      610 |      322
1585.93/1586.40	c 1586s |      19 |   755293 |   544282 |    25925     44 |      610 |      322
1587.94/1588.44	c 1588s |      19 |   755855 |   544782 |    25925     44 |      610 |      322
1590.14/1590.63	c 1590s |      19 |   756543 |   545382 |    25925     44 |      610 |      322
1592.54/1593.04	c 1592s |      19 |   757227 |   545982 |    25925     44 |      610 |      322
1595.04/1595.57	c 1595s |      19 |   757676 |   546382 |    25925     44 |      610 |      322
1597.63/1598.15	c 1597s |      19 |   758131 |   546782 |    25925     44 |      610 |      322
1600.04/1600.57	c 1600s |      19 |   758612 |   547182 |    25925     44 |      610 |      322
1602.13/1602.63	c 1602s |      19 |   759086 |   547582 |    25925     44 |      610 |      322
1604.23/1604.71	c 1604s |      19 |   759653 |   548082 |    25925     44 |      610 |      322
1606.43/1606.98	c 1606s |      19 |   760376 |   548682 |    25925     44 |      610 |      322
1608.63/1609.16	c 1608s |      19 |   761038 |   549282 |    25925     44 |      610 |      322
1610.83/1611.39	c 1611s |      19 |   761823 |   549982 |    25925     44 |      610 |      322
1613.13/1613.65	c 1613s |      19 |   762462 |   550582 |    25925     44 |      610 |      322
1615.44/1615.94	c 1615s |      19 |   763157 |   551182 |    25925     44 |      610 |      322
1617.83/1618.30	c 1618s |      19 |   763953 |   551882 |    25925     44 |      610 |      322
1620.03/1620.51	c 1620s |      19 |   764600 |   552482 |    25925     44 |      610 |      322
1622.14/1622.67	c 1622s |      19 |   765240 |   553082 |    25925     44 |      610 |      322
1624.24/1624.75	c 1624s |      19 |   765674 |   553482 |    25925     45 |      610 |      322
1626.44/1626.98	c 1626s |      19 |   766429 |   554182 |    25925     45 |      610 |      322
1628.74/1629.29	c 1629s |      19 |   767253 |   554882 |    25925     45 |      610 |      322
1630.94/1631.43	c 1631s |      19 |   768034 |   555582 |    25925     45 |      610 |      322
1632.93/1633.50	c 1633s |      19 |   768830 |   556282 |    25925     45 |      610 |      322
1635.03/1635.54	c 1635s |      19 |   769366 |   556782 |    25925     45 |      610 |      322
1637.23/1637.73	c 1637s |      19 |   770071 |   557382 |    25925     45 |      610 |      322
1639.33/1639.86	c 1639s |      19 |   770845 |   558082 |    25925     45 |      610 |      322
1641.63/1642.17	c 1641s |      19 |   771689 |   558782 |    25925     45 |      610 |      322
1644.04/1644.55	c 1644s |      19 |   772336 |   559382 |    25925     45 |      610 |      322
1646.23/1646.76	c 1646s |      19 |   773057 |   559982 |    25925     45 |      610 |      322
1648.43/1648.96	c 1648s |      19 |   773735 |   560582 |    25925     45 |      610 |      322
1650.63/1651.21	c 1650s |      19 |   774396 |   561182 |    25925     45 |      610 |      322
1652.72/1653.21	c 1652s |      19 |   774971 |   561682 |    25925     45 |      610 |      322
1654.92/1655.49	c 1655s |      19 |   775508 |   562182 |    25925     45 |      610 |      322
1657.12/1657.68	c 1657s |      19 |   776038 |   562682 |    25925     45 |      610 |      322
1659.43/1659.97	c 1659s |      19 |   776590 |   563182 |    25925     45 |      610 |      322
1661.52/1662.04	c 1661s |      19 |   777150 |   563682 |    25925     45 |      610 |      322
1663.62/1664.20	c 1663s |      19 |   777714 |   564182 |    25925     45 |      610 |      322
1665.92/1666.44	c 1666s |      19 |   778258 |   564682 |    25925     45 |      610 |      322
1668.02/1668.56	c 1668s |      19 |   778805 |   565182 |    25925     45 |      610 |      322
1670.22/1670.70	c 1670s |      19 |   779354 |   565682 |    25925     45 |      610 |      322
1672.42/1672.96	c 1672s |      19 |   779912 |   566182 |    25925     45 |      610 |      322
1674.62/1675.10	c 1674s |      19 |   780436 |   566682 |    25925     45 |      610 |      322
1676.72/1677.29	c 1677s |      19 |   780970 |   567182 |    25925     45 |      610 |      322
1678.92/1679.49	c 1679s |      19 |   781517 |   567682 |    25925     45 |      610 |      322
1681.32/1681.85	c 1681s |      19 |   781931 |   568082 |    25925     46 |      610 |      322
1683.52/1684.01	c 1683s |      19 |   782597 |   568682 |    25925     46 |      610 |      322
1685.83/1686.37	c 1686s |      19 |   783224 |   569282 |    25925     46 |      610 |      322
1688.03/1688.57	c 1688s |      19 |   783852 |   569882 |    25925     46 |      610 |      322
1690.12/1690.60	c 1690s |      19 |   784389 |   570382 |    25925     46 |      610 |      322
1692.11/1692.63	c 1692s |      19 |   784912 |   570882 |    25925     46 |      610 |      322
1694.51/1695.07	c 1694s |      19 |   785579 |   571482 |    25925     46 |      610 |      322
1696.61/1697.17	c 1696s |      19 |   786138 |   571982 |    25925     46 |      610 |      322
1698.81/1699.31	c 1699s |      19 |   786813 |   572582 |    25925     46 |      610 |      322
1701.11/1701.68	c 1701s |      19 |   787481 |   573182 |    25925     46 |      610 |      322
1703.31/1703.87	c 1703s |      19 |   788015 |   573682 |    25925     46 |      610 |      322
1705.41/1705.99	c 1705s |      19 |   788545 |   574182 |    25925     46 |      610 |      322
1707.71/1708.23	c 1707s |      19 |   789062 |   574682 |    25925     46 |      610 |      322
1710.02/1710.53	c 1710s |      19 |   789606 |   575182 |    25925     46 |      610 |      322
1712.11/1712.67	c 1712s |      19 |   790035 |   575582 |    25925     46 |      610 |      322
1714.61/1715.10	c 1714s |      19 |   790560 |   576082 |    25925     46 |      610 |      322
1716.62/1717.19	c 1716s |      19 |   791144 |   576582 |    25925     46 |      610 |      322
1718.71/1719.25	c 1718s |      19 |   791715 |   577082 |    25925     46 |      610 |      322
1720.91/1721.44	c 1721s |      19 |   792249 |   577582 |    25925     46 |      610 |      322
1723.22/1723.75	c 1723s |      19 |   792820 |   578082 |    25925     46 |      610 |      322
1725.42/1725.93	c 1725s |      19 |   793256 |   578482 |    25925     46 |      610 |      322
1727.72/1728.21	c 1727s |      19 |   793792 |   578982 |    25925     46 |      610 |      322
1729.92/1730.45	c 1730s |      19 |   794319 |   579482 |    25925     46 |      610 |      322
1732.41/1732.90	c 1732s |      19 |   795006 |   580082 |    25925     46 |      610 |      322
1734.61/1735.11	c 1734s |      19 |   795579 |   580582 |    25925     46 |      610 |      322
1736.91/1737.46	c 1737s |      19 |   796108 |   581082 |    25925     46 |      610 |      322
1739.00/1739.57	c 1739s |      19 |   796569 |   581482 |    25925     46 |      610 |      322
1741.30/1741.84	c 1741s |      19 |   797006 |   581882 |    25925     46 |      610 |      322
1744.40/1744.96	c 1744s |      19 |   797565 |   582382 |    25925     47 |      610 |      322
1746.71/1747.29	c 1747s |      19 |   798239 |   582982 |    25925     47 |      610 |      322
1749.01/1749.51	c 1749s |      19 |   798795 |   583482 |    25925     47 |      610 |      322
1751.21/1751.75	c 1751s |      19 |   799331 |   583982 |    25925     47 |      610 |      322
1753.41/1753.95	c 1753s |      19 |   799778 |   584382 |    25925     47 |      610 |      322
1755.41/1755.98	c 1755s |      19 |   800195 |   584782 |    25925     47 |      610 |      322
1758.01/1758.51	c 1758s |      19 |   800731 |   585282 |    25925     47 |      610 |      322
1760.01/1760.55	c 1760s |      19 |   801162 |   585682 |    25925     47 |      610 |      322
1762.01/1762.58	c 1762s |      19 |   801580 |   586082 |    25925     47 |      610 |      322
1764.21/1764.80	c 1764s |      19 |   802621 |   586882 |    25925     47 |      610 |      322
1766.51/1767.08	c 1766s |      19 |   803402 |   587582 |    25925     47 |      610 |      322
1769.01/1769.50	c 1769s |      19 |   804074 |   588182 |    25925     47 |      610 |      322
1771.40/1771.97	c 1771s |      19 |   804593 |   588682 |    25925     47 |      610 |      322
1773.50/1774.07	c 1773s |      19 |   805014 |   589082 |    25925     47 |      610 |      322
1775.70/1776.22	c 1775s |      19 |   805580 |   589582 |    25925     47 |      610 |      322
1778.10/1778.69	c 1778s |      19 |   806289 |   590182 |    25925     47 |      610 |      322
1780.30/1780.91	c 1780s |      19 |   806832 |   590682 |    25925     47 |      610 |      322
1782.80/1783.32	c 1783s |      19 |   807416 |   591182 |    25925     47 |      610 |      322
1784.91/1785.43	c 1785s |      19 |   807973 |   591682 |    25925     47 |      610 |      322
1787.30/1787.88	c 1787s |      19 |   808417 |   592082 |    25925     47 |      610 |      322
1789.70/1790.24	c 1789s |      19 |   808844 |   592482 |    25925     47 |      610 |      322
1791.80/1792.30	c 1792s |      19 |   809365 |   592882 |    25925     47 |      610 |      322
1794.00/1794.55	c 1794s |      19 |   810056 |   593482 |    25925     47 |      610 |      322
1796.10/1796.64	c 1796s |      19 |   810663 |   593982 |    25925     47 |      610 |      322
1798.60/1799.12	c 1798s |      19 |   811205 |   594482 |    25925     47 |      610 |      322

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

pid=3000
running on 8 cores: 4-7,12-15

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.09 2.11 2.09 3/261 3003
/proc/meminfo: memFree=30840660/32872528 swapFree=7556/7556
[pid=3003] ppid=3000 vsize=1065404 CPUtime=0 cores=4-7,12-15
/proc/3003/stat : 3003 (toysat) R 3000 3003 32495 0 -1 4202496 4032 0 0 0 0 0 0 0 20 0 4 0 29014453 1090973696 3882 33554432000 4194304 16246674 140735119907488 140735119906912 15002730 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3003/statm: 266863 3893 441 2943 0 263757 0
[pid=3003/tid=3004] ppid=3000 vsize=1118652 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3004/stat : 3004 (toysat) S 3000 3003 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29014453 1145499648 4093 33554432000 4194304 16246674 140735119907488 140167632366832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3003/tid=3005] ppid=3000 vsize=1122748 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3005/stat : 3005 (toysat) S 3000 3003 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29014453 1149693952 4110 33554432000 4194304 16246674 140735119907488 140167621876976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3003/tid=3006] ppid=3000 vsize=1127868 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3006/stat : 3006 (toysat) S 3000 3003 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29014453 1154936832 4129 33554432000 4194304 16246674 140735119907488 140167611403440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 2.09 2.11 2.09 3/261 3003
/proc/meminfo: memFree=30840660/32872528 swapFree=7556/7556
[pid=3003] ppid=3000 vsize=1220164 CPUtime=0.09 cores=4-7,12-15
/proc/3003/stat : 3003 (toysat) R 3000 3003 32495 0 -1 4202496 28276 0 0 0 5 4 0 0 20 0 4 0 29014453 1249447936 28064 33554432000 4194304 16246674 140735119907488 140735119906800 4221023 0 2 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3003/statm: 305041 28064 801 2943 0 301935 0
[pid=3003/tid=3004] ppid=3000 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3004/stat : 3004 (toysat) S 3000 3003 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29014453 1249447936 28064 33554432000 4194304 16246674 140735119907488 140167632366832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3003/tid=3005] ppid=3000 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3005/stat : 3005 (toysat) S 3000 3003 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29014453 1249447936 28064 33554432000 4194304 16246674 140735119907488 140167621876976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3003/tid=3006] ppid=3000 vsize=1220164 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3006/stat : 3006 (toysat) S 3000 3003 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29014453 1249447936 28064 33554432000 4194304 16246674 140735119907488 140167611403440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200539 s]
/proc/loadavg: 2.09 2.11 2.09 3/261 3003
/proc/meminfo: memFree=30840660/32872528 swapFree=7556/7556
[pid=3003] ppid=3000 vsize=1301060 CPUtime=0.19 cores=4-7,12-15
/proc/3003/stat : 3003 (toysat) R 3000 3003 32495 0 -1 4202496 48483 0 0 0 12 7 0 0 20 0 4 0 29014453 1332285440 48271 33554432000 4194304 16246674 140735119907488 140735119889408 6938748 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3003/statm: 325265 48271 842 2943 0 322159 0
[pid=3003/tid=3004] ppid=3000 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3004/stat : 3004 (toysat) S 3000 3003 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29014453 1332285440 48271 33554432000 4194304 16246674 140735119907488 140167632366832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3003/tid=3005] ppid=3000 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3005/stat : 3005 (toysat) S 3000 3003 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29014453 1332285440 48271 33554432000 4194304 16246674 140735119907488 140167621876976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3003/tid=3006] ppid=3000 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3006/stat : 3006 (toysat) S 3000 3003 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29014453 1332285440 48271 33554432000 4194304 16246674 140735119907488 140167611403440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300506 s]
/proc/loadavg: 2.09 2.11 2.09 3/261 3003
/proc/meminfo: memFree=30840660/32872528 swapFree=7556/7556
[pid=3003] ppid=3000 vsize=1301060 CPUtime=0.29 cores=4-7,12-15
/proc/3003/stat : 3003 (toysat) R 3000 3003 32495 0 -1 4202496 50817 0 0 0 22 7 0 0 20 0 4 0 29014453 1332285440 50605 33554432000 4194304 16246674 140735119907488 140735119889408 5515837 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3003/statm: 325265 50612 882 2943 0 322159 0
[pid=3003/tid=3004] ppid=3000 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3004/stat : 3004 (toysat) S 3000 3003 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29014453 1332285440 50616 33554432000 4194304 16246674 140735119907488 140167632366832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3003/tid=3005] ppid=3000 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3005/stat : 3005 (toysat) S 3000 3003 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29014453 1332285440 50620 33554432000 4194304 16246674 140735119907488 140167621876976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3003/tid=3006] ppid=3000 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3006/stat : 3006 (toysat) S 3000 3003 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29014453 1332285440 50624 33554432000 4194304 16246674 140735119907488 140167611403440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700398 s]
/proc/loadavg: 2.09 2.11 2.09 3/261 3003
/proc/meminfo: memFree=30840660/32872528 swapFree=7556/7556
[pid=3003] ppid=3000 vsize=1301060 CPUtime=0.69 cores=4-7,12-15
/proc/3003/stat : 3003 (toysat) R 3000 3003 32495 0 -1 4202496 98448 0 0 0 55 14 0 0 20 0 4 0 29014453 1332285440 98236 33554432000 4194304 16246674 140735119907488 140735119889408 5675357 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3003/statm: 325265 98240 882 2943 0 322159 0
[pid=3003/tid=3004] ppid=3000 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3004/stat : 3004 (toysat) S 3000 3003 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29014453 1332285440 98242 33554432000 4194304 16246674 140735119907488 140167632366832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3003/tid=3005] ppid=3000 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3005/stat : 3005 (toysat) S 3000 3003 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29014453 1332285440 98245 33554432000 4194304 16246674 140735119907488 140167621876976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3003/tid=3006] ppid=3000 vsize=1301060 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3006/stat : 3006 (toysat) S 3000 3003 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29014453 1332285440 98248 33554432000 4194304 16246674 140735119907488 140167611403440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50042 s]
/proc/loadavg: 2.09 2.11 2.09 3/265 3007
/proc/meminfo: memFree=30246684/32872528 swapFree=7556/7556
[pid=3003] ppid=3000 vsize=1302084 CPUtime=1.49 cores=4-7,12-15
/proc/3003/stat : 3003 (toysat) R 3000 3003 32495 0 -1 4202496 203193 0 0 0 119 30 0 0 20 0 4 0 29014453 1333334016 202981 33554432000 4194304 16246674 140735119907488 140735119889408 12478189 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3003/statm: 325521 202988 882 2943 0 322415 0
[pid=3003/tid=3004] ppid=3000 vsize=1302084 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3004/stat : 3004 (toysat) S 3000 3003 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29014453 1333334016 202991 33554432000 4194304 16246674 140735119907488 140167632366832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3003/tid=3005] ppid=3000 vsize=1302084 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3005/stat : 3005 (toysat) S 3000 3003 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29014453 1333334016 202995 33554432000 4194304 16246674 140735119907488 140167621876976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3003/tid=3006] ppid=3000 vsize=1302084 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3006/stat : 3006 (toysat) S 3000 3003 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29014453 1333334016 202998 33554432000 4194304 16246674 140735119907488 140167611403440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1302084

[startup+3.10042 s]
/proc/loadavg: 2.09 2.11 2.09 3/265 3007
/proc/meminfo: memFree=29784668/32872528 swapFree=7556/7556
[pid=3003] ppid=3000 vsize=1312324 CPUtime=3.09 cores=4-7,12-15
/proc/3003/stat : 3003 (toysat) R 3000 3003 32495 0 -1 4202496 264354 0 0 0 271 38 0 0 20 0 4 0 29014453 1343819776 264142 33554432000 4194304 16246674 140735119907488 140735119889408 13962576 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3003/statm: 328081 264142 889 2943 0 324975 0
[pid=3003/tid=3004] ppid=3000 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3004/stat : 3004 (toysat) S 3000 3003 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29014453 1343819776 264142 33554432000 4194304 16246674 140735119907488 140167632366832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3003/tid=3005] ppid=3000 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3005/stat : 3005 (toysat) S 3000 3003 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29014453 1343819776 264142 33554432000 4194304 16246674 140735119907488 140167621876976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3003/tid=3006] ppid=3000 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3006/stat : 3006 (toysat) S 3000 3003 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29014453 1343819776 264142 33554432000 4194304 16246674 140735119907488 140167611403440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.30041 s]
/proc/loadavg: 2.08 2.11 2.09 3/265 3007
/proc/meminfo: memFree=29764660/32872528 swapFree=7556/7556
[pid=3003] ppid=3000 vsize=1312324 CPUtime=6.29 cores=4-7,12-15
/proc/3003/stat : 3003 (toysat) R 3000 3003 32495 0 -1 4202496 269268 0 0 0 590 39 0 0 20 0 4 0 29014453 1343819776 269056 33554432000 4194304 16246674 140735119907488 140735119889408 5677720 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3003/statm: 328081 269056 889 2943 0 324975 0
[pid=3003/tid=3004] ppid=3000 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3004/stat : 3004 (toysat) S 3000 3003 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29014453 1343819776 269056 33554432000 4194304 16246674 140735119907488 140167632366832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3003/tid=3005] ppid=3000 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3005/stat : 3005 (toysat) S 3000 3003 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29014453 1343819776 269056 33554432000 4194304 16246674 140735119907488 140167621876976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3003/tid=3006] ppid=3000 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3006/stat : 3006 (toysat) S 3000 3003 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29014453 1343819776 269056 33554432000 4194304 16246674 140735119907488 140167611403440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.08 2.10 2.09 3/265 3007
/proc/meminfo: memFree=29764048/32872528 swapFree=7556/7556
[pid=3003] ppid=3000 vsize=1312324 CPUtime=12.69 cores=4-7,12-15
/proc/3003/stat : 3003 (toysat) R 3000 3003 32495 0 -1 4202496 269270 0 0 0 1230 39 0 0 20 0 4 0 29014453 1343819776 269058 33554432000 4194304 16246674 140735119907488 140735119889408 5546041 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3003/statm: 328081 269058 891 2943 0 324975 0
[pid=3003/tid=3004] ppid=3000 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3004/stat : 3004 (toysat) S 3000 3003 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29014453 1343819776 269058 33554432000 4194304 16246674 140735119907488 140167632366832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3003/tid=3005] ppid=3000 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3005/stat : 3005 (toysat) S 3000 3003 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29014453 1343819776 269058 33554432000 4194304 16246674 140735119907488 140167621876976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3003/tid=3006] ppid=3000 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3006/stat : 3006 (toysat) S 3000 3003 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29014453 1343819776 269058 33554432000 4194304 16246674 140735119907488 140167611403440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5006 s]
/proc/loadavg: 2.06 2.10 2.09 3/265 3007
/proc/meminfo: memFree=29764676/32872528 swapFree=7556/7556
[pid=3003] ppid=3000 vsize=1312324 CPUtime=25.49 cores=4-7,12-15
/proc/3003/stat : 3003 (toysat) R 3000 3003 32495 0 -1 4202496 269272 0 0 0 2510 39 0 0 20 0 4 0 29014453 1343819776 269060 33554432000 4194304 16246674 140735119907488 140735119889408 5601931 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3003/statm: 328081 269060 892 2943 0 324975 0
[pid=3003/tid=3004] ppid=3000 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3004/stat : 3004 (toysat) S 3000 3003 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29014453 1343819776 269060 33554432000 4194304 16246674 140735119907488 140167632366832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3003/tid=3005] ppid=3000 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3005/stat : 3005 (toysat) S 3000 3003 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29014453 1343819776 269060 33554432000 4194304 16246674 140735119907488 140167621876976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3003/tid=3006] ppid=3000 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3006/stat : 3006 (toysat) S 3000 3003 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29014453 1343819776 269060 33554432000 4194304 16246674 140735119907488 140167611403440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.04 2.09 2.08 3/266 3010
/proc/meminfo: memFree=29764216/32872528 swapFree=7556/7556
[pid=3003] ppid=3000 vsize=1312324 CPUtime=51.08 cores=4-7,12-15
/proc/3003/stat : 3003 (toysat) R 3000 3003 32495 0 -1 4202496 269272 0 0 0 5069 39 0 0 20 0 4 0 29014453 1343819776 269060 33554432000 4194304 16246674 140735119907488 140735119889408 12474881 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3003/statm: 328081 269060 892 2943 0 324975 0
[pid=3003/tid=3004] ppid=3000 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3004/stat : 3004 (toysat) S 3000 3003 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29014453 1343819776 269060 33554432000 4194304 16246674 140735119907488 140167632366832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3003/tid=3005] ppid=3000 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3005/stat : 3005 (toysat) S 3000 3003 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29014453 1343819776 269060 33554432000 4194304 16246674 140735119907488 140167621876976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3003/tid=3006] ppid=3000 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3006/stat : 3006 (toysat) S 3000 3003 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29014453 1343819776 269060 33554432000 4194304 16246674 140735119907488 140167611403440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324

[startup+102.301 s]
/proc/loadavg: 2.13 2.10 2.09 3/265 3011
/proc/meminfo: memFree=29757716/32872528 swapFree=7556/7556
[pid=3003] ppid=3000 vsize=1319492 CPUtime=102.29 cores=4-7,12-15
/proc/3003/stat : 3003 (toysat) R 3000 3003 32495 0 -1 4202496 270841 0 0 0 10189 40 0 0 20 0 4 0 29014453 1351159808 270629 33554432000 4194304 16246674 140735119907488 140735119889408 12483512 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3003/statm: 329873 270629 892 2943 0 326767 0
[pid=3003/tid=3004] ppid=3000 vsize=1319492 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3004/stat : 3004 (toysat) S 3000 3003 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29014453 1351159808 270629 33554432000 4194304 16246674 140735119907488 140167632366832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3003/tid=3005] ppid=3000 vsize=1319492 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3005/stat : 3005 (toysat) S 3000 3003 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29014453 1351159808 270629 33554432000 4194304 16246674 140735119907488 140167621876976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3003/tid=3006] ppid=3000 vsize=1319492 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3006/stat : 3006 (toysat) S 3000 3003 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29014453 1351159808 270629 33554432000 4194304 16246674 140735119907488 140167611403440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1319492


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

/proc/3003/task/3006/stat : 3006 (toysat) S 3000 3003 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29014453 1364791296 274436 33554432000 4194304 16246674 140735119907488 140167611403440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1332804

[startup+1362.3 s]
/proc/loadavg: 2.02 2.07 2.08 3/265 3114
/proc/meminfo: memFree=29743864/32872528 swapFree=7556/7556
[pid=3003] ppid=3000 vsize=1332804 CPUtime=1361.87 cores=4-7,12-15
/proc/3003/stat : 3003 (toysat) R 3000 3003 32495 0 -1 4202496 274694 0 0 0 136136 51 0 0 20 0 4 0 29014453 1364791296 274436 33554432000 4194304 16246674 140735119907488 140735119889408 5672188 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3003/statm: 333201 274436 892 2943 0 330095 0
[pid=3003/tid=3004] ppid=3000 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3004/stat : 3004 (toysat) S 3000 3003 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29014453 1364791296 274436 33554432000 4194304 16246674 140735119907488 140167632366832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3003/tid=3005] ppid=3000 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3005/stat : 3005 (toysat) S 3000 3003 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29014453 1364791296 274436 33554432000 4194304 16246674 140735119907488 140167621876976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3003/tid=3006] ppid=3000 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3006/stat : 3006 (toysat) S 3000 3003 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29014453 1364791296 274436 33554432000 4194304 16246674 140735119907488 140167611403440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1332804

[startup+1422.3 s]
/proc/loadavg: 2.09 2.08 2.09 3/265 3115
/proc/meminfo: memFree=29743844/32872528 swapFree=7556/7556
[pid=3003] ppid=3000 vsize=1332804 CPUtime=1421.87 cores=4-7,12-15
/proc/3003/stat : 3003 (toysat) R 3000 3003 32495 0 -1 4202496 274694 0 0 0 142135 52 0 0 20 0 4 0 29014453 1364791296 274436 33554432000 4194304 16246674 140735119907488 140735119889408 5822428 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3003/statm: 333201 274436 892 2943 0 330095 0
[pid=3003/tid=3004] ppid=3000 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3004/stat : 3004 (toysat) S 3000 3003 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29014453 1364791296 274436 33554432000 4194304 16246674 140735119907488 140167632366832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3003/tid=3005] ppid=3000 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3005/stat : 3005 (toysat) S 3000 3003 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29014453 1364791296 274436 33554432000 4194304 16246674 140735119907488 140167621876976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3003/tid=3006] ppid=3000 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3006/stat : 3006 (toysat) S 3000 3003 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29014453 1364791296 274436 33554432000 4194304 16246674 140735119907488 140167611403440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1332804

[startup+1482.3 s]
/proc/loadavg: 2.11 2.10 2.09 3/265 3117
/proc/meminfo: memFree=29743632/32872528 swapFree=7556/7556
[pid=3003] ppid=3000 vsize=1332804 CPUtime=1481.85 cores=4-7,12-15
/proc/3003/stat : 3003 (toysat) R 3000 3003 32495 0 -1 4202496 274694 0 0 0 148133 52 0 0 20 0 4 0 29014453 1364791296 274436 33554432000 4194304 16246674 140735119907488 140735119889408 5677720 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3003/statm: 333201 274436 892 2943 0 330095 0
[pid=3003/tid=3004] ppid=3000 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3004/stat : 3004 (toysat) S 3000 3003 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29014453 1364791296 274436 33554432000 4194304 16246674 140735119907488 140167632366832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3003/tid=3005] ppid=3000 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3005/stat : 3005 (toysat) S 3000 3003 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29014453 1364791296 274436 33554432000 4194304 16246674 140735119907488 140167621876976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3003/tid=3006] ppid=3000 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3006/stat : 3006 (toysat) S 3000 3003 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29014453 1364791296 274436 33554432000 4194304 16246674 140735119907488 140167611403440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1332804

[startup+1542.31 s]
/proc/loadavg: 2.09 2.09 2.09 3/265 3118
/proc/meminfo: memFree=29743884/32872528 swapFree=7556/7556
[pid=3003] ppid=3000 vsize=1332804 CPUtime=1541.85 cores=4-7,12-15
/proc/3003/stat : 3003 (toysat) R 3000 3003 32495 0 -1 4202496 274694 0 0 0 154132 53 0 0 20 0 4 0 29014453 1364791296 274436 33554432000 4194304 16246674 140735119907488 140735119889408 5823131 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3003/statm: 333201 274436 892 2943 0 330095 0
[pid=3003/tid=3004] ppid=3000 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3004/stat : 3004 (toysat) S 3000 3003 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29014453 1364791296 274436 33554432000 4194304 16246674 140735119907488 140167632366832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3003/tid=3005] ppid=3000 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3005/stat : 3005 (toysat) S 3000 3003 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29014453 1364791296 274436 33554432000 4194304 16246674 140735119907488 140167621876976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3003/tid=3006] ppid=3000 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3006/stat : 3006 (toysat) S 3000 3003 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29014453 1364791296 274436 33554432000 4194304 16246674 140735119907488 140167611403440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1332804

[startup+1602.3 s]
/proc/loadavg: 2.03 2.07 2.08 3/265 3119
/proc/meminfo: memFree=29743984/32872528 swapFree=7556/7556
[pid=3003] ppid=3000 vsize=1332804 CPUtime=1601.83 cores=4-7,12-15
/proc/3003/stat : 3003 (toysat) R 3000 3003 32495 0 -1 4202496 274694 0 0 0 160129 54 0 0 20 0 4 0 29014453 1364791296 274436 33554432000 4194304 16246674 140735119907488 140735119889408 5677810 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3003/statm: 333201 274436 892 2943 0 330095 0
[pid=3003/tid=3004] ppid=3000 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3004/stat : 3004 (toysat) S 3000 3003 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29014453 1364791296 274436 33554432000 4194304 16246674 140735119907488 140167632366832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3003/tid=3005] ppid=3000 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3005/stat : 3005 (toysat) S 3000 3003 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29014453 1364791296 274436 33554432000 4194304 16246674 140735119907488 140167621876976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3003/tid=3006] ppid=3000 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3006/stat : 3006 (toysat) S 3000 3003 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29014453 1364791296 274436 33554432000 4194304 16246674 140735119907488 140167611403440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1332804

[startup+1662.3 s]
/proc/loadavg: 2.07 2.07 2.08 3/265 3120
/proc/meminfo: memFree=29743412/32872528 swapFree=7556/7556
[pid=3003] ppid=3000 vsize=1332804 CPUtime=1661.82 cores=4-7,12-15
/proc/3003/stat : 3003 (toysat) R 3000 3003 32495 0 -1 4202496 274694 0 0 0 166128 54 0 0 20 0 4 0 29014453 1364791296 274436 33554432000 4194304 16246674 140735119907488 140735119889408 5822484 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3003/statm: 333201 274436 892 2943 0 330095 0
[pid=3003/tid=3004] ppid=3000 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3004/stat : 3004 (toysat) S 3000 3003 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29014453 1364791296 274436 33554432000 4194304 16246674 140735119907488 140167632366832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3003/tid=3005] ppid=3000 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3005/stat : 3005 (toysat) S 3000 3003 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29014453 1364791296 274436 33554432000 4194304 16246674 140735119907488 140167621876976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3003/tid=3006] ppid=3000 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3006/stat : 3006 (toysat) S 3000 3003 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29014453 1364791296 274436 33554432000 4194304 16246674 140735119907488 140167611403440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1332804

[startup+1722.3 s]
/proc/loadavg: 2.02 2.05 2.08 3/265 3121
/proc/meminfo: memFree=29743508/32872528 swapFree=7556/7556
[pid=3003] ppid=3000 vsize=1332804 CPUtime=1721.81 cores=4-7,12-15
/proc/3003/stat : 3003 (toysat) R 3000 3003 32495 0 -1 4202496 274694 0 0 0 172127 54 0 0 20 0 4 0 29014453 1364791296 274436 33554432000 4194304 16246674 140735119907488 140735119889408 5677256 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3003/statm: 333201 274436 892 2943 0 330095 0
[pid=3003/tid=3004] ppid=3000 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3004/stat : 3004 (toysat) S 3000 3003 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29014453 1364791296 274436 33554432000 4194304 16246674 140735119907488 140167632366832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3003/tid=3005] ppid=3000 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3005/stat : 3005 (toysat) S 3000 3003 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29014453 1364791296 274436 33554432000 4194304 16246674 140735119907488 140167621876976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3003/tid=3006] ppid=3000 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3006/stat : 3006 (toysat) S 3000 3003 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29014453 1364791296 274436 33554432000 4194304 16246674 140735119907488 140167611403440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1332804

[startup+1782.3 s]
/proc/loadavg: 2.06 2.06 2.08 3/265 3123
/proc/meminfo: memFree=29743016/32872528 swapFree=7556/7556
[pid=3003] ppid=3000 vsize=1332804 CPUtime=1781.8 cores=4-7,12-15
/proc/3003/stat : 3003 (toysat) R 3000 3003 32495 0 -1 4202496 274694 0 0 0 178125 55 0 0 20 0 4 0 29014453 1364791296 274436 33554432000 4194304 16246674 140735119907488 140735119889408 5672188 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3003/statm: 333201 274436 892 2943 0 330095 0
[pid=3003/tid=3004] ppid=3000 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3004/stat : 3004 (toysat) S 3000 3003 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29014453 1364791296 274436 33554432000 4194304 16246674 140735119907488 140167632366832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3003/tid=3005] ppid=3000 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3005/stat : 3005 (toysat) S 3000 3003 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29014453 1364791296 274436 33554432000 4194304 16246674 140735119907488 140167621876976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3003/tid=3006] ppid=3000 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3006/stat : 3006 (toysat) S 3000 3003 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29014453 1364791296 274436 33554432000 4194304 16246674 140735119907488 140167611403440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1332804



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.05 2.05 2.07 3/265 3123
/proc/meminfo: memFree=29743696/32872528 swapFree=7556/7556
[pid=3003] ppid=3000 vsize=1332804 CPUtime=1800 cores=4-7,12-15
/proc/3003/stat : 3003 (toysat) R 3000 3003 32495 0 -1 4202496 274694 0 0 0 179945 55 0 0 20 0 4 0 29014453 1364791296 274436 33554432000 4194304 16246674 140735119907488 140735119889408 5712713 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3003/statm: 333201 274436 892 2943 0 330095 0
[pid=3003/tid=3004] ppid=3000 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3004/stat : 3004 (toysat) S 3000 3003 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29014453 1364791296 274436 33554432000 4194304 16246674 140735119907488 140167632366832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3003/tid=3005] ppid=3000 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3005/stat : 3005 (toysat) S 3000 3003 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29014453 1364791296 274436 33554432000 4194304 16246674 140735119907488 140167621876976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3003/tid=3006] ppid=3000 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3006/stat : 3006 (toysat) S 3000 3003 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29014453 1364791296 274436 33554432000 4194304 16246674 140735119907488 140167611403440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1332804

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

[startup+1800.5 s]
/proc/loadavg: 2.05 2.05 2.07 3/265 3123
/proc/meminfo: memFree=29743696/32872528 swapFree=7556/7556
[pid=3003] ppid=3000 vsize=1332804 CPUtime=1800 cores=4-7,12-15
/proc/3003/stat : 3003 (toysat) R 3000 3003 32495 0 -1 4202496 274694 0 0 0 179945 55 0 0 20 0 4 0 29014453 1364791296 274436 33554432000 4194304 16246674 140735119907488 140735119889408 5712713 0 0 0 34082818 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/3003/statm: 333201 274436 892 2943 0 330095 0
[pid=3003/tid=3004] ppid=3000 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3004/stat : 3004 (toysat) S 3000 3003 32495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29014453 1364791296 274436 33554432000 4194304 16246674 140735119907488 140167632366832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 12 0 0 0 0 0
[pid=3003/tid=3005] ppid=3000 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3005/stat : 3005 (toysat) S 3000 3003 32495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29014453 1364791296 274436 33554432000 4194304 16246674 140735119907488 140167621876976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 13 0 0 0 0 0
[pid=3003/tid=3006] ppid=3000 vsize=1332804 CPUtime=0 cores=4-7,12-15
/proc/3003/task/3006/stat : 3006 (toysat) S 3000 3003 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29014453 1364791296 274436 33554432000 4194304 16246674 140735119907488 140167611403440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1332804

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.01
CPU user time (s): 1799.46
CPU system time (s): 0.554915
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (KiB): 1332804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.46
system time used= 0.554915
maximum resident set size= 1097744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274694
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= 317
involuntary context switches= 2064

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8627 second user time and 17.9343 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-26 18:49:23
IDJOB=4117045
IDBENCH=109546
IDSOLVER=2542
FILE ID=node132/4117045-1466959763
RUNJOBID= node132-1466939688-32512
PBS_JOBID= 19976333
Free space on /tmp= 71512 MiB

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

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

MD5SUM BENCH= f6c76c9ee3b2b7a7912c204650cab285
RANDOM SEED=991687609

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30841104 kB
Buffers:           35220 kB
Cached:           179764 kB
SwapCached:         1784 kB
Active:          1158080 kB
Inactive:         155308 kB
Active(anon):    1096508 kB
Inactive(anon):     3860 kB
Active(file):      61572 kB
Inactive(file):   151448 kB
Unevictable:        7556 kB
Mlocked:            7556 kB
SwapTotal:      67108856 kB
SwapFree:       67098636 kB
Dirty:             16984 kB
Writeback:             0 kB
AnonPages:       1188336 kB
Mapped:            10960 kB
Shmem:                 0 kB
Slab:             570996 kB
SReclaimable:      11560 kB
SUnreclaim:       559436 kB
KernelStack:        2248 kB
PageTables:         5732 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1248208 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:    233472 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= 71496 MiB
End job on node132 at 2016-06-26 19:19:23