Trace number 4079520

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.07 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par32-3.opb
MD5SUM473e2cd0e31e48ba0932d7bd34857dd0
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6352
Total number of constraints13473
Number of constraints which are clauses13473
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 6352
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 6352
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 6352
Number of bits of the biggest sum of numbers13
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-06T19:08:24+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-4079520-1465232903.opb"]
0.00/0.01	c use --random-gen="3093998447 3317587535 201299216 2103936929 3712342987 3813199772 741586079 714473183 1768579156 1032482207 650617881 3854769437 429369484 2268598590 2842480403 2280779631 499253150 1093340971 3267961928 1865004347 2447935223 1131413807 3868705798 523916211 2811702649 250904903 131437074 3778314664 3483091952 3912168813 2633968062 1222193477 3831419877 2134531210 3725181771 868194698 1927041123 4108378372 523323366 3400262709 2895413357 3982420797 2219953623 1648049519 3008835052 3931274520 212066302 1358691702 2027798228 1700574095 3943389280 4047900850 4271570186 2682933748 2025588606 903504881 2574602128 2783153408 2462861756 1424232012 3308198249 3295911088 1575009838 641396043 2879101110 3401139678 1309581001 1135117185 3704590730 3543531297 2795524404 2102497277 1962891939 267364782 2040760523 1705155852 2586954263 2520333353 3779525277 3745732134 4059967509 3520001232 339841732 3920287415 3983055090 851500805 3511739791 259652644 2412623609 1083569119 2539010390 1405923294 1579854064 837051480 3404488241 1602357542 2349100768 2527493826 1570660309 2414391334 1308163688 2747557596 2570846177 803610142 2360703594 623884864 3369040603 3981122036 2363376948 1738519788 3154390742 1611514280 261233505 1607266221 449124854 1400592877 3469268888 2350704892 2796722165 3648363609 3441094365 1761121868 2719069577 339293001 4122168631 1277729257 263595614 941809621 269987884 3788751135 838990718 635136300 1191101456 1262713111 678253859 1908012470 2607949781 2144723084 1520850916 2586019151 2538991636 1630394526 3323000151 4179137562 492910209 5004241 1937896199 2417887929 3024494003 914019607 2439162281 2178419105 1011729285 3507743512 829877359 2805754861 1209475220 2536246771 444250149 1922334053 73028735 4067651504 592742200 3510047642 1355741224 3307339768 3057713732 3844410599 555954387 425540302 4244965917 4049294026 2346875969 3303486331 2107621692 402993538 432253732 3893923017 357637286 2268172225 1020760046 2813942992 2699307849 27022053 589760987 1933515030 3011850196 3201443060 746074608 2403482560 2121326883 599291009 478329342 3657606632 3535208386 3876098359 2205724248 2124559042 3689831451 1777265616 3147897332 831893416 1131065417 600066801 2760956844 4218663135 3502800071 3163293105 1077556151 650223645 2780154318 573470608 1913401806 1250170944 3587779505 1166269333 981423680 3333986224 3920633101 3514239311 4129305432 3830581667 1358946567 3100182285 2267422474 1532632958 3944154958 2238610910 3246282206 3404196344 568840587 1685372848 1410065619 879909317 1859399745 432704837 2557499409 1401879175 703014684 1911763993 396598318 4139559736 1764955049 1806733359 4251491026 3744219189 512137792 4003068178 3494608115 1100729500 3654485909 4113787776 3719882483 1077720783 1150262308 1356212580 255 362436" option to reproduce the execution
0.09/0.12	c #vars 6352
0.09/0.12	c #constraints 13473
0.19/0.26	c BCD2: Hardening is enabled.
0.19/0.26	c BCD2: BiasedSearch is enabled.
0.19/0.26	c Solving starts ...
0.19/0.26	c ============================[ Search Statistics ]============================
0.19/0.26	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.26	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.26	c =============================================================================
0.19/0.26	c  0.0s |       0 |        0 |        0 |     6443      0 |     1562 |        0
0.29/0.39	c  0.1s |       1 |      306 |      100 |     6443      0 |     1562 |     3150
0.69/0.72	c  0.5s |       2 |      495 |      250 |     7088      0 |     1562 |     3150
1.10/1.19	c  0.9s |       3 |      774 |      475 |     7797      0 |     1562 |     3150
2.30/2.35	c  2.1s |       4 |     1146 |      813 |     8577      0 |     1562 |     3150
4.39/4.44	c  4.2s |       4 |     1674 |     1313 |     9435      0 |     1562 |     3150
4.39/4.46	c  4.2s |       5 |     1678 |     1320 |     9435      0 |     1562 |     3150
6.49/6.55	c  6.3s |       5 |     2210 |     1820 |    10379      0 |     1562 |     3150
7.59/7.68	c  7.4s |       6 |     2472 |     2081 |    11417      0 |     1562 |     3150
9.79/9.88	c  9.6s |       6 |     2997 |     2581 |    11417      0 |     1562 |     3150
12.09/12.11	c 11.8s |       6 |     3498 |     3081 |    11417      0 |     1562 |     3150
12.69/12.74	c 12.5s |       7 |     3642 |     3223 |    12559      0 |     1562 |     3150
14.99/15.04	c 14.8s |       7 |     4173 |     3723 |    12559      0 |     1562 |     3150
17.29/17.38	c 17.1s |       7 |     4671 |     4223 |    12559      0 |     1562 |     3150
19.59/19.69	c 19.4s |       7 |     5171 |     4723 |    12559      0 |     1562 |     3150
20.59/20.68	c 20.4s |       8 |     5382 |     4936 |    13815      0 |     1562 |     3150
22.99/23.07	c 22.8s |       8 |     5906 |     5436 |    13815      0 |     1562 |     3150
25.39/25.50	c 25.2s |       8 |     6405 |     5936 |    13815      0 |     1562 |     3150
27.88/27.96	c 27.7s |       8 |     6916 |     6436 |    13815      0 |     1562 |     3150
29.98/30.00	c 29.7s |       8 |     7312 |     6836 |    13815      0 |     1562 |     3150
32.38/32.49	c 32.2s |       8 |     7814 |     7336 |    13815      0 |     1562 |     3150
33.28/33.34	c 33.1s |       9 |     7984 |     7506 |    15197      0 |     1562 |     3150
35.39/35.43	c 35.2s |       9 |     8409 |     7906 |    15197      0 |     1562 |     3150
37.59/37.60	c 37.3s |       9 |     8807 |     8306 |    15197      0 |     1562 |     3150
39.58/39.66	c 39.4s |       9 |     9210 |     8706 |    15197      0 |     1562 |     3150
41.68/41.74	c 41.5s |       9 |     9612 |     9106 |    15197      0 |     1562 |     3150
43.88/43.92	c 43.7s |       9 |    10011 |     9506 |    15197      0 |     1562 |     3150
45.98/46.05	c 45.8s |       9 |    10410 |     9906 |    15197      0 |     1562 |     3150
48.18/48.21	c 47.9s |       9 |    10812 |    10306 |    15197      0 |     1562 |     3150
50.28/50.38	c 50.1s |       9 |    11214 |    10706 |    15197      0 |     1562 |     3150
52.58/52.62	c 52.4s |       9 |    11613 |    11106 |    15197      0 |     1562 |     3150
53.99/54.04	c 53.8s |      10 |    11869 |    11361 |    16717      0 |     1562 |     3150
56.29/56.34	c 56.1s |      10 |    12294 |    11761 |    16717      0 |     1562 |     3150
58.58/58.60	c 58.3s |      10 |    12695 |    12161 |    16717      0 |     1562 |     3150
60.78/60.88	c 60.6s |      10 |    13095 |    12561 |    16717      0 |     1562 |     3150
63.08/63.16	c 62.9s |      10 |    13498 |    12961 |    16717      0 |     1562 |     3150
65.38/65.48	c 65.2s |      10 |    13895 |    13361 |    16717      0 |     1562 |     3150
67.78/67.86	c 67.6s |      10 |    14297 |    13761 |    16717      0 |     1562 |     3150
70.18/70.24	c 70.0s |      10 |    14700 |    14161 |    16717      0 |     1562 |     3150
72.58/72.67	c 72.4s |      10 |    15099 |    14561 |    16717      0 |     1562 |     3150
74.98/75.05	c 74.8s |      10 |    15498 |    14961 |    16717      0 |     1562 |     3150
77.47/77.55	c 77.3s |      10 |    15902 |    15361 |    16717      0 |     1562 |     3150
79.97/80.04	c 79.8s |      10 |    16301 |    15761 |    16717      0 |     1562 |     3150
82.47/82.53	c 82.3s |      10 |    16702 |    16161 |    16717      0 |     1562 |     3150
84.97/85.07	c 84.8s |      10 |    17099 |    16561 |    16717      0 |     1562 |     3150
87.57/87.64	c 87.4s |      10 |    17506 |    16961 |    16717      0 |     1562 |     3150
88.67/88.78	c 88.5s |      11 |    17687 |    17144 |    18389      0 |     1562 |     3150
91.38/91.42	c 91.2s |      11 |    18110 |    17544 |    18389      0 |     1562 |     3150
93.97/94.01	c 93.7s |      11 |    18513 |    17944 |    18389      0 |     1562 |     3150
96.47/96.55	c 96.3s |      11 |    18912 |    18344 |    18389      0 |     1562 |     3150
99.08/99.19	c 98.9s |      11 |    19313 |    18744 |    18389      0 |     1562 |     3150
101.67/101.75	c  101s |      11 |    19717 |    19144 |    18389      0 |     1562 |     3150
104.27/104.36	c  104s |      11 |    20117 |    19544 |    18389      0 |     1562 |     3150
106.88/106.99	c  106s |      11 |    20520 |    19944 |    18389      0 |     1562 |     3150
108.98/109.04	c  108s |      11 |    20821 |    20244 |    18389      1 |     1562 |     3150
111.47/111.51	c  111s |      11 |    21219 |    20644 |    18389      1 |     1562 |     3150
113.97/114.07	c  113s |      11 |    21617 |    21044 |    18389      1 |     1562 |     3150
116.37/116.46	c  116s |      11 |    22016 |    21444 |    18389      1 |     1562 |     3150
118.77/118.84	c  118s |      11 |    22420 |    21844 |    18389      1 |     1562 |     3150
121.26/121.34	c  121s |      11 |    22821 |    22244 |    18389      1 |     1562 |     3150
123.66/123.72	c  123s |      11 |    23219 |    22644 |    18389      1 |     1562 |     3150
126.06/126.14	c  125s |      11 |    23621 |    23044 |    18389      1 |     1562 |     3150
128.36/128.49	c  128s |      11 |    24022 |    23444 |    18389      1 |     1562 |     3150
130.86/130.97	c  130s |      11 |    24423 |    23844 |    18389      1 |     1562 |     3150
133.06/133.13	c  132s |      11 |    24722 |    24144 |    18389      1 |     1562 |     3150
135.06/135.19	c  134s |      11 |    25028 |    24444 |    18389      1 |     1562 |     3150
137.16/137.27	c  137s |      11 |    25324 |    24744 |    18389      1 |     1562 |     3150
139.26/139.32	c  139s |      11 |    25626 |    25044 |    18389      1 |     1562 |     3150
141.36/141.46	c  141s |      11 |    25930 |    25344 |    18389      1 |     1562 |     3150
143.56/143.62	c  143s |      11 |    26227 |    25644 |    18389      1 |     1562 |     3150
144.86/144.90	c  144s |      12 |    26401 |    25819 |    20228      1 |     1562 |     3150
146.96/147.09	c  146s |      12 |    26727 |    26119 |    20228      1 |     1562 |     3150
149.16/149.25	c  148s |      12 |    27028 |    26419 |    20228      1 |     1562 |     3150
151.76/151.83	c  151s |      12 |    27428 |    26819 |    20228      1 |     1562 |     3150
154.36/154.47	c  154s |      12 |    27831 |    27219 |    20228      1 |     1562 |     3150
156.96/157.05	c  156s |      12 |    28233 |    27619 |    20228      1 |     1562 |     3150
159.56/159.66	c  159s |      12 |    28637 |    28019 |    20228      1 |     1562 |     3150
162.16/162.29	c  162s |      12 |    29037 |    28419 |    20228      1 |     1562 |     3150
164.36/164.47	c  164s |      12 |    29339 |    28719 |    20228      1 |     1562 |     3150
166.36/166.48	c  166s |      12 |    29643 |    29019 |    20228      1 |     1562 |     3150
169.05/169.15	c  168s |      12 |    30043 |    29419 |    20228      1 |     1562 |     3150
171.05/171.17	c  170s |      12 |    30341 |    29719 |    20228      1 |     1562 |     3150
173.15/173.23	c  172s |      12 |    30645 |    30019 |    20228      1 |     1562 |     3150
175.25/175.34	c  175s |      12 |    30946 |    30319 |    20228      1 |     1562 |     3150
177.35/177.41	c  177s |      12 |    31245 |    30619 |    20228      1 |     1562 |     3150
179.46/179.54	c  179s |      12 |    31545 |    30919 |    20228      1 |     1562 |     3150
181.66/181.79	c  181s |      12 |    31852 |    31219 |    20228      1 |     1562 |     3150
183.86/183.97	c  183s |      12 |    32151 |    31519 |    20228      1 |     1562 |     3150
186.06/186.12	c  185s |      12 |    32451 |    31819 |    20228      1 |     1562 |     3150
188.26/188.39	c  188s |      12 |    32751 |    32119 |    20228      2 |     1562 |     3150
190.65/190.74	c  190s |      12 |    33149 |    32519 |    20228      2 |     1562 |     3150
193.05/193.13	c  192s |      12 |    33553 |    32919 |    20228      2 |     1562 |     3150
195.55/195.65	c  195s |      12 |    33955 |    33319 |    20228      2 |     1562 |     3150
197.94/198.08	c  197s |      12 |    34354 |    33719 |    20228      2 |     1562 |     3150
200.35/200.45	c  200s |      12 |    34758 |    34119 |    20228      2 |     1562 |     3150
202.74/202.81	c  202s |      12 |    35154 |    34519 |    20228      2 |     1562 |     3150
205.04/205.17	c  204s |      12 |    35554 |    34919 |    20228      2 |     1562 |     3150
207.04/207.19	c  206s |      12 |    35852 |    35219 |    20228      2 |     1562 |     3150
209.05/209.20	c  208s |      12 |    36152 |    35519 |    20228      2 |     1562 |     3150
211.14/211.27	c  211s |      12 |    36456 |    35819 |    20228      2 |     1562 |     3150
213.24/213.31	c  213s |      12 |    36757 |    36119 |    20228      2 |     1562 |     3150
215.65/215.80	c  215s |      12 |    37059 |    36419 |    20228      2 |     1562 |     3150
217.74/217.81	c  217s |      12 |    37363 |    36719 |    20228      2 |     1562 |     3150
220.24/220.33	c  220s |      12 |    37762 |    37119 |    20228      2 |     1562 |     3150
222.74/222.82	c  222s |      12 |    38164 |    37519 |    20228      2 |     1562 |     3150
225.24/225.39	c  225s |      12 |    38561 |    37919 |    20228      2 |     1562 |     3150
227.34/227.40	c  227s |      12 |    38858 |    38219 |    20228      2 |     1562 |     3150
229.34/229.41	c  229s |      12 |    39161 |    38519 |    20228      2 |     1562 |     3150
231.44/231.51	c  231s |      12 |    39461 |    38819 |    22251      2 |     1562 |     3150
231.44/231.59	c  231s |      13 |    39474 |    38832 |    22251      2 |     1562 |     3150
233.54/233.62	c  233s |      13 |    39797 |    39132 |    22251      2 |     1562 |     3150
236.14/236.21	c  235s |      13 |    40197 |    39532 |    22251      2 |     1562 |     3150
238.74/238.86	c  238s |      13 |    40598 |    39932 |    22251      2 |     1562 |     3150
240.94/241.07	c  240s |      13 |    40898 |    40232 |    22251      2 |     1562 |     3150
243.03/243.16	c  242s |      13 |    41200 |    40532 |    22251      2 |     1562 |     3150
245.13/245.28	c  245s |      13 |    41498 |    40832 |    22251      2 |     1562 |     3150
247.33/247.49	c  247s |      13 |    41799 |    41132 |    22251      2 |     1562 |     3150
250.03/250.14	c  249s |      13 |    42196 |    41532 |    22251      2 |     1562 |     3150
252.13/252.22	c  251s |      13 |    42500 |    41832 |    22251      2 |     1562 |     3150
254.14/254.25	c  253s |      13 |    42800 |    42132 |    22251      2 |     1562 |     3150
256.23/256.37	c  256s |      13 |    43098 |    42432 |    22251      2 |     1562 |     3150
258.54/258.69	c  258s |      13 |    43406 |    42732 |    22251      2 |     1562 |     3150
260.74/260.87	c  260s |      13 |    43707 |    43032 |    22251      2 |     1562 |     3150
262.94/263.08	c  262s |      13 |    44006 |    43332 |    22251      2 |     1562 |     3150
265.14/265.25	c  264s |      13 |    44311 |    43632 |    22251      2 |     1562 |     3150
267.33/267.45	c  267s |      13 |    44611 |    43932 |    22251      2 |     1562 |     3150
269.63/269.71	c  269s |      13 |    44907 |    44232 |    22251      2 |     1562 |     3150
271.93/272.01	c  271s |      13 |    45208 |    44532 |    22251      2 |     1562 |     3150
274.13/274.29	c  274s |      13 |    45509 |    44832 |    22251      2 |     1562 |     3150
276.53/276.66	c  276s |      13 |    45811 |    45132 |    22251      3 |     1562 |     3150
278.92/279.09	c  278s |      13 |    46211 |    45532 |    22251      3 |     1562 |     3150
281.42/281.52	c  281s |      13 |    46613 |    45932 |    22251      3 |     1562 |     3150
283.83/283.92	c  283s |      13 |    47014 |    46332 |    22251      3 |     1562 |     3150
286.42/286.51	c  286s |      13 |    47418 |    46732 |    22251      3 |     1562 |     3150
288.72/288.84	c  288s |      13 |    47816 |    47132 |    22251      3 |     1562 |     3150
291.22/291.30	c  291s |      13 |    48215 |    47532 |    22251      3 |     1562 |     3150
293.62/293.76	c  293s |      13 |    48616 |    47932 |    22251      3 |     1562 |     3150
296.22/296.35	c  296s |      13 |    49016 |    48332 |    22251      3 |     1562 |     3150
298.23/298.35	c  298s |      13 |    49311 |    48632 |    22251      3 |     1562 |     3150
300.22/300.40	c  300s |      13 |    49616 |    48932 |    22251      3 |     1562 |     3150
302.32/302.42	c  302s |      13 |    49915 |    49232 |    22251      3 |     1562 |     3150
304.32/304.44	c  304s |      13 |    50221 |    49532 |    22251      3 |     1562 |     3150
306.42/306.50	c  306s |      13 |    50519 |    49832 |    22251      3 |     1562 |     3150
308.42/308.56	c  308s |      13 |    50818 |    50132 |    22251      3 |     1562 |     3150
310.52/310.63	c  310s |      13 |    51121 |    50432 |    22251      3 |     1562 |     3150
312.53/312.69	c  312s |      13 |    51420 |    50732 |    22251      3 |     1562 |     3150
315.02/315.14	c  314s |      13 |    51722 |    51032 |    22251      3 |     1562 |     3150
317.02/317.17	c  316s |      13 |    52025 |    51332 |    22251      3 |     1562 |     3150
319.62/319.78	c  319s |      13 |    52423 |    51732 |    22251      3 |     1562 |     3150
322.33/322.42	c  322s |      13 |    52825 |    52132 |    22251      3 |     1562 |     3150
324.32/324.45	c  324s |      13 |    53124 |    52432 |    22251      3 |     1562 |     3150
326.42/326.55	c  326s |      13 |    53421 |    52732 |    22251      3 |     1562 |     3150
328.62/328.71	c  328s |      13 |    53725 |    53032 |    22251      3 |     1562 |     3150
330.82/330.90	c  330s |      13 |    54024 |    53332 |    22251      3 |     1562 |     3150
333.02/333.16	c  332s |      13 |    54326 |    53632 |    22251      3 |     1562 |     3150
335.22/335.37	c  335s |      13 |    54625 |    53932 |    22251      3 |     1562 |     3150
337.51/337.62	c  337s |      13 |    54924 |    54232 |    22251      3 |     1562 |     3150
339.71/339.88	c  339s |      13 |    55226 |    54532 |    22251      3 |     1562 |     3150
342.01/342.17	c  341s |      13 |    55520 |    54832 |    22251      3 |     1562 |     3150
344.32/344.44	c  344s |      13 |    55829 |    55132 |    22251      3 |     1562 |     3150
346.52/346.69	c  346s |      13 |    56129 |    55432 |    22251      3 |     1562 |     3150
348.82/348.91	c  348s |      13 |    56429 |    55732 |    22251      3 |     1562 |     3150
350.92/351.06	c  350s |      13 |    56730 |    56032 |    22251      3 |     1562 |     3150
353.12/353.29	c  353s |      13 |    57030 |    56332 |    22251      3 |     1562 |     3150
355.42/355.58	c  355s |      13 |    57332 |    56632 |    22251      3 |     1562 |     3150
357.71/357.88	c  357s |      13 |    57633 |    56932 |    22251      3 |     1562 |     3150
359.82/359.99	c  359s |      13 |    57937 |    57232 |    22251      4 |     1562 |     3150
362.41/362.54	c  362s |      13 |    58337 |    57632 |    22251      4 |     1562 |     3150
364.91/365.02	c  364s |      13 |    58736 |    58032 |    24477      4 |     1562 |     3150
366.91/367.03	c  366s |      14 |    59059 |    58352 |    24477      4 |     1562 |     3150
369.62/369.71	c  369s |      14 |    59386 |    58652 |    24477      4 |     1562 |     3150
372.01/372.16	c  371s |      14 |    59786 |    59052 |    24477      4 |     1562 |     3150
374.51/374.67	c  374s |      14 |    60185 |    59452 |    24477      4 |     1562 |     3150
377.01/377.17	c  376s |      14 |    60586 |    59852 |    24477      4 |     1562 |     3150
379.62/379.76	c  379s |      14 |    60983 |    60252 |    24477      4 |     1562 |     3150
382.21/382.32	c  382s |      14 |    61388 |    60652 |    24477      4 |     1562 |     3150
384.71/384.81	c  384s |      14 |    61787 |    61052 |    24477      4 |     1562 |     3150
387.31/387.44	c  387s |      14 |    62183 |    61452 |    24477      4 |     1562 |     3150
389.90/390.08	c  389s |      14 |    62586 |    61852 |    24477      4 |     1562 |     3150
392.00/392.15	c  391s |      14 |    62888 |    62152 |    24477      4 |     1562 |     3150
394.70/394.87	c  394s |      14 |    63291 |    62552 |    24477      4 |     1562 |     3150
396.80/396.97	c  396s |      14 |    63588 |    62852 |    24477      4 |     1562 |     3150
398.90/399.02	c  398s |      14 |    63888 |    63152 |    24477      4 |     1562 |     3150
400.90/401.09	c  400s |      14 |    64186 |    63452 |    24477      4 |     1562 |     3150
403.00/403.18	c  402s |      14 |    64488 |    63752 |    24477      4 |     1562 |     3150
405.10/405.25	c  404s |      14 |    64788 |    64052 |    24477      4 |     1562 |     3150
407.70/407.80	c  407s |      14 |    65185 |    64452 |    24477      4 |     1562 |     3150
410.31/410.41	c  410s |      14 |    65588 |    64852 |    24477      4 |     1562 |     3150
412.90/413.06	c  412s |      14 |    65986 |    65252 |    24477      4 |     1562 |     3150
414.90/415.10	c  414s |      14 |    66288 |    65552 |    24477      4 |     1562 |     3150
417.50/417.66	c  417s |      14 |    66688 |    65952 |    24477      4 |     1562 |     3150
419.50/419.67	c  419s |      14 |    66985 |    66252 |    24477      4 |     1562 |     3150
421.60/421.77	c  421s |      14 |    67288 |    66552 |    24477      4 |     1562 |     3150
423.70/423.89	c  423s |      14 |    67592 |    66852 |    24477      4 |     1562 |     3150
425.90/426.04	c  425s |      14 |    67891 |    67152 |    24477      4 |     1562 |     3150
428.00/428.14	c  427s |      14 |    68188 |    67452 |    24477      4 |     1562 |     3150
430.10/430.30	c  430s |      14 |    68488 |    67752 |    24477      4 |     1562 |     3150
432.30/432.48	c  432s |      14 |    68789 |    68052 |    24477      4 |     1562 |     3150
434.50/434.66	c  434s |      14 |    69089 |    68352 |    24477      4 |     1562 |     3150
436.70/436.81	c  436s |      14 |    69389 |    68652 |    24477      4 |     1562 |     3150
438.90/439.07	c  438s |      14 |    69691 |    68952 |    24477      4 |     1562 |     3150
441.20/441.36	c  441s |      14 |    69989 |    69252 |    24477      4 |     1562 |     3150
443.49/443.61	c  443s |      14 |    70291 |    69552 |    24477      4 |     1562 |     3150
445.79/445.95	c  445s |      14 |    70592 |    69852 |    24477      4 |     1562 |     3150
448.09/448.21	c  447s |      14 |    70890 |    70152 |    24477      4 |     1562 |     3150
450.29/450.49	c  450s |      14 |    71193 |    70452 |    24477      4 |     1562 |     3150
452.59/452.78	c  452s |      14 |    71497 |    70752 |    24477      4 |     1562 |     3150
454.79/454.98	c  454s |      14 |    71795 |    71052 |    24477      4 |     1562 |     3150
457.09/457.27	c  457s |      14 |    72094 |    71352 |    24477      5 |     1562 |     3150
459.59/459.78	c  459s |      14 |    72497 |    71752 |    24477      5 |     1562 |     3150
462.10/462.21	c  461s |      14 |    72892 |    72152 |    24477      5 |     1562 |     3150
464.59/464.71	c  464s |      14 |    73294 |    72552 |    24477      5 |     1562 |     3150
466.99/467.11	c  466s |      14 |    73693 |    72952 |    24477      5 |     1562 |     3150
469.59/469.75	c  469s |      14 |    74093 |    73352 |    24477      5 |     1562 |     3150
472.19/472.31	c  472s |      14 |    74497 |    73752 |    24477      5 |     1562 |     3150
474.69/474.81	c  474s |      14 |    74892 |    74152 |    24477      5 |     1562 |     3150
477.18/477.31	c  477s |      14 |    75291 |    74552 |    24477      5 |     1562 |     3150
479.18/479.37	c  479s |      14 |    75492 |    74752 |    24477      5 |     1562 |     3150
481.79/481.97	c  481s |      14 |    75892 |    75152 |    24477      5 |     1562 |     3150
484.48/484.63	c  484s |      14 |    76294 |    75552 |    24477      5 |     1562 |     3150
486.58/486.70	c  486s |      14 |    76594 |    75852 |    24477      5 |     1562 |     3150
488.68/488.89	c  488s |      14 |    76894 |    76152 |    24477      5 |     1562 |     3150
490.78/490.93	c  490s |      14 |    77196 |    76452 |    24477      5 |     1562 |     3150
492.79/492.99	c  492s |      14 |    77496 |    76752 |    24477      5 |     1562 |     3150
494.99/495.19	c  494s |      14 |    77799 |    77052 |    24477      5 |     1562 |     3150
497.08/497.23	c  496s |      14 |    78096 |    77352 |    24477      5 |     1562 |     3150
499.18/499.36	c  499s |      14 |    78399 |    77652 |    24477      5 |     1562 |     3150
501.28/501.49	c  501s |      14 |    78697 |    77952 |    24477      5 |     1562 |     3150
503.38/503.53	c  503s |      14 |    78998 |    78252 |    24477      5 |     1562 |     3150
505.48/505.62	c  505s |      14 |    79298 |    78552 |    24477      5 |     1562 |     3150
507.68/507.80	c  507s |      14 |    79600 |    78852 |    24477      5 |     1562 |     3150
509.78/509.99	c  509s |      14 |    79898 |    79152 |    24477      5 |     1562 |     3150
512.18/512.32	c  512s |      14 |    80199 |    79452 |    24477      5 |     1562 |     3150
514.47/514.69	c  514s |      14 |    80499 |    79752 |    24477      5 |     1562 |     3150
516.57/516.79	c  516s |      14 |    80797 |    80052 |    24477      5 |     1562 |     3150
518.67/518.86	c  518s |      14 |    81100 |    80352 |    24477      5 |     1562 |     3150
520.97/521.10	c  520s |      14 |    81399 |    80652 |    24477      5 |     1562 |     3150
523.17/523.36	c  523s |      14 |    81700 |    80952 |    24477      5 |     1562 |     3150
525.37/525.59	c  525s |      14 |    81998 |    81252 |    24477      5 |     1562 |     3150
527.67/527.82	c  527s |      14 |    82301 |    81552 |    24477      5 |     1562 |     3150
529.87/530.05	c  529s |      14 |    82602 |    81852 |    24477      5 |     1562 |     3150
532.17/532.31	c  532s |      14 |    82902 |    82152 |    24477      5 |     1562 |     3150
534.37/534.56	c  534s |      14 |    83201 |    82452 |    24477      5 |     1562 |     3150
536.57/536.70	c  536s |      14 |    83502 |    82752 |    24477      5 |     1562 |     3150
538.66/538.85	c  538s |      14 |    83800 |    83052 |    24477      5 |     1562 |     3150
540.96/541.19	c  540s |      14 |    84104 |    83352 |    24477      5 |     1562 |     3150
543.47/543.61	c  543s |      14 |    84402 |    83652 |    24477      5 |     1562 |     3150
545.76/545.94	c  545s |      14 |    84702 |    83952 |    24477      5 |     1562 |     3150
548.36/548.54	c  548s |      14 |    85002 |    84252 |    24477      6 |     1562 |     3150
550.86/551.00	c  550s |      14 |    85402 |    84652 |    24477      6 |     1562 |     3150
553.27/553.44	c  553s |      14 |    85800 |    85052 |    24477      6 |     1562 |     3150
555.66/555.88	c  555s |      14 |    86203 |    85452 |    24477      6 |     1562 |     3150
558.06/558.25	c  557s |      14 |    86602 |    85852 |    24477      6 |     1562 |     3150
560.66/560.81	c  560s |      14 |    87004 |    86252 |    24477      6 |     1562 |     3150
563.06/563.24	c  562s |      14 |    87402 |    86652 |    24477      6 |     1562 |     3150
565.56/565.74	c  565s |      14 |    87800 |    87052 |    26925      6 |     1562 |     3150
568.05/568.25	c  567s |      14 |    88203 |    87452 |    26925      6 |     1562 |     3150
569.15/569.39	c  569s |      15 |    88383 |    87632 |    26925      6 |     1562 |     3150
571.65/571.85	c  571s |      15 |    88708 |    87932 |    26925      6 |     1562 |     3150
573.75/573.99	c  573s |      15 |    89008 |    88232 |    26925      6 |     1562 |     3150
576.36/576.59	c  576s |      15 |    89409 |    88632 |    26925      6 |     1562 |     3150
578.95/579.10	c  578s |      15 |    89806 |    89032 |    26925      6 |     1562 |     3150
581.45/581.66	c  581s |      15 |    90207 |    89432 |    26925      6 |     1562 |     3150
584.06/584.21	c  583s |      15 |    90608 |    89832 |    26925      6 |     1562 |     3150
586.55/586.79	c  586s |      15 |    91010 |    90232 |    26925      6 |     1562 |     3150
589.25/589.43	c  589s |      15 |    91408 |    90632 |    26925      6 |     1562 |     3150
591.25/591.46	c  591s |      15 |    91704 |    90932 |    26925      6 |     1562 |     3150
593.25/593.48	c  593s |      15 |    92009 |    91232 |    26925      6 |     1562 |     3150
595.35/595.52	c  595s |      15 |    92311 |    91532 |    26925      6 |     1562 |     3150
597.36/597.58	c  597s |      15 |    92608 |    91832 |    26925      6 |     1562 |     3150
599.45/599.60	c  599s |      15 |    92913 |    92132 |    26925      6 |     1562 |     3150
602.15/602.31	c  602s |      15 |    93313 |    92532 |    26925      6 |     1562 |     3150
604.15/604.33	c  604s |      15 |    93615 |    92832 |    26925      6 |     1562 |     3150
606.25/606.40	c  606s |      15 |    93914 |    93132 |    26925      6 |     1562 |     3150
608.35/608.52	c  608s |      15 |    94214 |    93432 |    26925      6 |     1562 |     3150
610.35/610.56	c  610s |      15 |    94513 |    93732 |    26925      6 |     1562 |     3150
612.44/612.66	c  612s |      15 |    94814 |    94032 |    26925      6 |     1562 |     3150
614.54/614.74	c  614s |      15 |    95115 |    94332 |    26925      6 |     1562 |     3150
616.54/616.79	c  616s |      15 |    95415 |    94632 |    26925      6 |     1562 |     3150
618.74/618.92	c  618s |      15 |    95717 |    94932 |    26925      6 |     1562 |     3150
620.74/620.97	c  620s |      15 |    96019 |    95232 |    26925      6 |     1562 |     3150
623.24/623.40	c  623s |      15 |    96413 |    95632 |    26925      6 |     1562 |     3150
625.65/625.89	c  625s |      15 |    96721 |    95932 |    26925      6 |     1562 |     3150
627.95/628.12	c  627s |      15 |    97021 |    96232 |    26925      6 |     1562 |     3150
630.25/630.43	c  630s |      15 |    97317 |    96532 |    26925      6 |     1562 |     3150
632.45/632.64	c  632s |      15 |    97621 |    96832 |    26925      6 |     1562 |     3150
634.65/634.86	c  634s |      15 |    97922 |    97132 |    26925      6 |     1562 |     3150
636.95/637.11	c  636s |      15 |    98220 |    97432 |    26925      6 |     1562 |     3150
639.24/639.44	c  639s |      15 |    98523 |    97732 |    26925      6 |     1562 |     3150
641.64/641.80	c  641s |      15 |    98822 |    98032 |    26925      6 |     1562 |     3150
643.94/644.16	c  643s |      15 |    99118 |    98332 |    26925      6 |     1562 |     3150
646.34/646.52	c  646s |      15 |    99421 |    98632 |    26925      6 |     1562 |     3150
648.74/648.93	c  648s |      15 |    99722 |    98932 |    26925      6 |     1562 |     3150
651.14/651.32	c  651s |      15 |   100017 |    99232 |    26925      6 |     1562 |     3150
653.44/653.69	c  653s |      15 |   100320 |    99532 |    26925      6 |     1562 |     3150
655.94/656.11	c  655s |      15 |   100622 |    99832 |    26925      6 |     1562 |     3150
658.43/658.65	c  658s |      15 |   100922 |   100132 |    26925      7 |     1562 |     3150
661.04/661.26	c  661s |      15 |   101324 |   100532 |    26925      7 |     1562 |     3150
663.63/663.80	c  663s |      15 |   101724 |   100932 |    26925      7 |     1562 |     3150
666.13/666.34	c  666s |      15 |   102121 |   101332 |    26925      7 |     1562 |     3150
668.63/668.81	c  668s |      15 |   102521 |   101732 |    26925      7 |     1562 |     3150
671.13/671.32	c  671s |      15 |   102921 |   102132 |    26925      7 |     1562 |     3150
673.63/673.87	c  673s |      15 |   103322 |   102532 |    26925      7 |     1562 |     3150
675.73/675.91	c  675s |      15 |   103626 |   102832 |    26925      7 |     1562 |     3150
677.73/677.99	c  677s |      15 |   103925 |   103132 |    26925      7 |     1562 |     3150
679.83/680.03	c  679s |      15 |   104225 |   103432 |    26925      7 |     1562 |     3150
681.93/682.10	c  681s |      15 |   104525 |   103732 |    26925      7 |     1562 |     3150
684.13/684.37	c  684s |      15 |   104824 |   104032 |    26925      7 |     1562 |     3150
686.33/686.56	c  686s |      15 |   105126 |   104332 |    26925      7 |     1562 |     3150
688.43/688.65	c  688s |      15 |   105428 |   104632 |    26925      7 |     1562 |     3150
690.53/690.78	c  690s |      15 |   105725 |   104932 |    26925      7 |     1562 |     3150
692.72/692.96	c  692s |      15 |   106025 |   105232 |    26925      7 |     1562 |     3150
694.92/695.11	c  694s |      15 |   106324 |   105532 |    26925      7 |     1562 |     3150
697.12/697.33	c  697s |      15 |   106632 |   105832 |    26925      7 |     1562 |     3150
699.22/699.47	c  699s |      15 |   106932 |   106132 |    26925      7 |     1562 |     3150
701.52/701.75	c  701s |      15 |   107232 |   106432 |    26925      7 |     1562 |     3150
703.72/703.98	c  703s |      15 |   107532 |   106732 |    26925      7 |     1562 |     3150
705.92/706.19	c  705s |      15 |   107834 |   107032 |    26925      7 |     1562 |     3150
708.33/708.51	c  708s |      15 |   108130 |   107332 |    26925      7 |     1562 |     3150
710.53/710.79	c  710s |      15 |   108433 |   107632 |    26925      7 |     1562 |     3150
712.92/713.14	c  712s |      15 |   108732 |   107932 |    26925      7 |     1562 |     3150
715.22/715.44	c  715s |      15 |   109037 |   108232 |    26925      7 |     1562 |     3150
717.52/717.72	c  717s |      15 |   109336 |   108532 |    26925      7 |     1562 |     3150
719.82/720.09	c  719s |      15 |   109635 |   108832 |    26925      7 |     1562 |     3150
722.22/722.44	c  722s |      15 |   109936 |   109132 |    26925      7 |     1562 |     3150
724.42/724.63	c  724s |      15 |   110233 |   109432 |    26925      7 |     1562 |     3150
726.62/726.86	c  726s |      15 |   110534 |   109732 |    26925      7 |     1562 |     3150
728.82/729.09	c  728s |      15 |   110834 |   110032 |    26925      7 |     1562 |     3150
731.22/731.46	c  731s |      15 |   111139 |   110332 |    26925      7 |     1562 |     3150
733.42/733.66	c  733s |      15 |   111449 |   110632 |    26925      7 |     1562 |     3150
735.82/736.01	c  735s |      15 |   111751 |   110932 |    26925      7 |     1562 |     3150
738.02/738.24	c  737s |      15 |   112049 |   111232 |    26925      7 |     1562 |     3150
740.22/740.44	c  740s |      15 |   112349 |   111532 |    26925      7 |     1562 |     3150
742.52/742.74	c  742s |      15 |   112649 |   111832 |    26925      7 |     1562 |     3150
744.82/745.09	c  744s |      15 |   112953 |   112132 |    26925      7 |     1562 |     3150
747.22/747.41	c  747s |      15 |   113253 |   112432 |    26925      7 |     1562 |     3150
749.52/749.77	c  749s |      15 |   113557 |   112732 |    26925      7 |     1562 |     3150
751.81/752.02	c  751s |      15 |   113859 |   113032 |    26925      7 |     1562 |     3150
754.01/754.28	c  754s |      15 |   114163 |   113332 |    26925      7 |     1562 |     3150
756.41/756.61	c  756s |      15 |   114461 |   113632 |    26925      7 |     1562 |     3150
758.71/758.96	c  758s |      15 |   114763 |   113932 |    26925      7 |     1562 |     3150
761.51/761.71	c  761s |      15 |   115064 |   114232 |    26925      8 |     1562 |     3150
764.31/764.52	c  764s |      15 |   115169 |   114332 |    26925      8 |     1562 |     3150
766.81/767.08	c  766s |      15 |   115569 |   114732 |    26925      8 |     1562 |     3150
768.82/769.08	c  768s |      15 |   115868 |   115032 |    26925      8 |     1562 |     3150
770.91/771.17	c  770s |      15 |   116168 |   115332 |    26925      8 |     1562 |     3150
773.01/773.20	c  772s |      15 |   116473 |   115632 |    26925      8 |     1562 |     3150
775.01/775.22	c  774s |      15 |   116772 |   115932 |    26925      8 |     1562 |     3150
777.61/777.82	c  777s |      15 |   117176 |   116332 |    26925      8 |     1562 |     3150
780.11/780.32	c  780s |      15 |   117573 |   116732 |    26925      8 |     1562 |     3150
782.61/782.81	c  782s |      15 |   117975 |   117132 |    26925      8 |     1562 |     3150
784.91/785.19	c  784s |      15 |   118382 |   117532 |    26925      8 |     1562 |     3150
787.21/787.49	c  787s |      15 |   118789 |   117932 |    26925      8 |     1562 |     3150
789.51/789.72	c  789s |      15 |   119207 |   118332 |    26925      8 |     1562 |     3150
791.70/791.90	c  791s |      15 |   119617 |   118732 |    26925      8 |     1562 |     3150
794.11/794.30	c  794s |      15 |   120044 |   119132 |    26925      8 |     1562 |     3150
796.70/796.95	c  796s |      15 |   120450 |   119532 |    26925      8 |     1562 |     3150
799.10/799.31	c  799s |      15 |   120870 |   119932 |    26925      8 |     1562 |     3150
801.30/801.53	c  801s |      15 |   121301 |   120332 |    26925      8 |     1562 |     3150
803.60/803.88	c  803s |      15 |   121726 |   120732 |    26925      8 |     1562 |     3150
806.10/806.36	c  806s |      15 |   122162 |   121132 |    26925      8 |     1562 |     3150
808.41/808.64	c  808s |      15 |   122574 |   121532 |    26925      8 |     1562 |     3150
810.61/810.86	c  810s |      15 |   122992 |   121932 |    26925      8 |     1562 |     3150
812.91/813.16	c  812s |      15 |   123424 |   122332 |    26925      8 |     1562 |     3150
815.30/815.53	c  815s |      15 |   123851 |   122732 |    26925      8 |     1562 |     3150
817.70/817.98	c  817s |      15 |   124265 |   123132 |    26925      8 |     1562 |     3150
820.30/820.57	c  820s |      15 |   124684 |   123532 |    26925      8 |     1562 |     3150
822.71/822.99	c  822s |      15 |   125107 |   123932 |    26925      8 |     1562 |     3150
825.10/825.39	c  825s |      15 |   125523 |   124332 |    26925      8 |     1562 |     3150
827.70/827.90	c  827s |      15 |   125940 |   124732 |    26925      8 |     1562 |     3150
830.51/830.76	c  830s |      15 |   126345 |   125132 |    26925      8 |     1562 |     3150
832.90/833.16	c  832s |      15 |   126654 |   125432 |    26925      8 |     1562 |     3150
835.60/835.84	c  835s |      15 |   127075 |   125832 |    26925      8 |     1562 |     3150
837.60/837.86	c  837s |      15 |   127394 |   126132 |    26925      8 |     1562 |     3150
839.70/839.91	c  839s |      15 |   127713 |   126432 |    26925      8 |     1562 |     3150
841.90/842.17	c  841s |      15 |   128016 |   126732 |    26925      8 |     1562 |     3150
844.00/844.21	c  843s |      15 |   128327 |   127032 |    26925      8 |     1562 |     3150
846.10/846.38	c  846s |      15 |   128641 |   127332 |    26925      8 |     1562 |     3150
848.20/848.48	c  848s |      15 |   128946 |   127632 |    26925      8 |     1562 |     3150
850.50/850.70	c  850s |      15 |   129249 |   127932 |    26925      8 |     1562 |     3150
852.70/852.90	c  852s |      15 |   129560 |   128232 |    26925      8 |     1562 |     3150
855.40/855.60	c  855s |      15 |   129866 |   128532 |    26925      9 |     1562 |     3150
857.69/857.90	c  857s |      15 |   130268 |   128932 |    26925      9 |     1562 |     3150
859.89/860.13	c  859s |      15 |   130578 |   129232 |    26925      9 |     1562 |     3150
861.99/862.25	c  861s |      15 |   130985 |   129632 |    26925      9 |     1562 |     3150
864.09/864.35	c  864s |      15 |   131397 |   130032 |    26925      9 |     1562 |     3150
866.29/866.55	c  866s |      15 |   131806 |   130432 |    26925      9 |     1562 |     3150
868.49/868.80	c  868s |      15 |   132212 |   130832 |    29618      9 |     1562 |     3150
870.79/871.09	c  870s |      15 |   132623 |   131232 |    29618      9 |     1562 |     3150
872.59/872.89	c  872s |      16 |   132951 |   131552 |    29618      9 |     1562 |     3150
874.99/875.25	c  874s |      16 |   133184 |   131752 |    29618      9 |     1562 |     3150
877.09/877.35	c  877s |      16 |   133606 |   132152 |    29618      9 |     1562 |     3150
879.29/879.53	c  879s |      16 |   133916 |   132452 |    29618      9 |     1562 |     3150
881.29/881.54	c  881s |      16 |   134333 |   132852 |    29618      9 |     1562 |     3150
883.30/883.58	c  883s |      16 |   134748 |   133252 |    29618      9 |     1562 |     3150
885.50/885.72	c  885s |      16 |   135152 |   133652 |    29618      9 |     1562 |     3150
887.60/887.82	c  887s |      16 |   135565 |   134052 |    29618      9 |     1562 |     3150
889.80/890.08	c  889s |      16 |   135972 |   134452 |    29618      9 |     1562 |     3150
892.10/892.34	c  892s |      16 |   136382 |   134852 |    29618      9 |     1562 |     3150
894.39/894.63	c  894s |      16 |   136788 |   135252 |    29618      9 |     1562 |     3150
896.69/896.98	c  896s |      16 |   137200 |   135652 |    29618      9 |     1562 |     3150
899.09/899.30	c  899s |      16 |   137605 |   136052 |    29618      9 |     1562 |     3150
901.49/901.74	c  901s |      16 |   138015 |   136452 |    29618      9 |     1562 |     3150
903.89/904.16	c  903s |      16 |   138423 |   136852 |    29618      9 |     1562 |     3150
906.29/906.59	c  906s |      16 |   138828 |   137252 |    29618      9 |     1562 |     3150
908.69/908.92	c  908s |      16 |   139235 |   137652 |    29618      9 |     1562 |     3150
911.19/911.41	c  911s |      16 |   139649 |   138052 |    29618      9 |     1562 |     3150
913.69/913.95	c  913s |      16 |   140048 |   138452 |    29618      9 |     1562 |     3150
916.19/916.43	c  916s |      16 |   140457 |   138852 |    29618      9 |     1562 |     3150
918.58/918.89	c  918s |      16 |   140865 |   139252 |    29618      9 |     1562 |     3150
921.08/921.31	c  921s |      16 |   141269 |   139652 |    29618      9 |     1562 |     3150
923.38/923.67	c  923s |      16 |   141679 |   140052 |    29618      9 |     1562 |     3150
925.98/926.25	c  925s |      16 |   142087 |   140452 |    29618      9 |     1562 |     3150
928.48/928.72	c  928s |      16 |   142504 |   140852 |    29618      9 |     1562 |     3150
930.88/931.17	c  930s |      16 |   142911 |   141252 |    29618      9 |     1562 |     3150
933.58/933.82	c  933s |      16 |   143316 |   141652 |    29618      9 |     1562 |     3150
936.09/936.39	c  936s |      16 |   143723 |   142052 |    29618      9 |     1562 |     3150
938.78/939.00	c  938s |      16 |   144134 |   142452 |    29618      9 |     1562 |     3150
940.78/941.06	c  940s |      16 |   144435 |   142752 |    29618      9 |     1562 |     3150
943.38/943.68	c  943s |      16 |   144854 |   143152 |    29618      9 |     1562 |     3150
945.38/945.69	c  945s |      16 |   145159 |   143452 |    29618      9 |     1562 |     3150
947.48/947.74	c  947s |      16 |   145464 |   143752 |    29618      9 |     1562 |     3150
949.48/949.78	c  949s |      16 |   145766 |   144052 |    29618      9 |     1562 |     3150
951.68/952.00	c  951s |      16 |   146072 |   144352 |    29618      9 |     1562 |     3150
953.88/954.14	c  953s |      16 |   146372 |   144652 |    29618      9 |     1562 |     3150
955.98/956.28	c  956s |      16 |   146678 |   144952 |    29618      9 |     1562 |     3150
958.28/958.52	c  958s |      16 |   146979 |   145252 |    29618      9 |     1562 |     3150
960.58/960.84	c  960s |      16 |   147285 |   145552 |    29618     10 |     1562 |     3150
962.88/963.16	c  962s |      16 |   147694 |   145952 |    29618     10 |     1562 |     3150
964.88/965.19	c  964s |      16 |   148097 |   146352 |    29618     10 |     1562 |     3150
967.48/967.72	c  967s |      16 |   148617 |   146852 |    29618     10 |     1562 |     3150
969.47/969.73	c  969s |      16 |   148923 |   147152 |    29618     10 |     1562 |     3150
971.77/972.00	c  971s |      16 |   149327 |   147552 |    29618     10 |     1562 |     3150
973.87/974.10	c  973s |      16 |   149735 |   147952 |    29618     10 |     1562 |     3150
975.97/976.22	c  975s |      16 |   150143 |   148352 |    29618     10 |     1562 |     3150
978.07/978.35	c  978s |      16 |   150554 |   148752 |    29618     10 |     1562 |     3150
980.37/980.66	c  980s |      16 |   150953 |   149152 |    29618     10 |     1562 |     3150
982.57/982.85	c  982s |      16 |   151367 |   149552 |    29618     10 |     1562 |     3150
984.77/985.07	c  984s |      16 |   151770 |   149952 |    29618     10 |     1562 |     3150
987.07/987.31	c  987s |      16 |   152174 |   150352 |    29618     10 |     1562 |     3150
989.37/989.60	c  989s |      16 |   152578 |   150752 |    29618     10 |     1562 |     3150
991.87/992.17	c  991s |      16 |   152987 |   151152 |    29618     10 |     1562 |     3150
994.38/994.62	c  994s |      16 |   153390 |   151552 |    29618     10 |     1562 |     3150
996.37/996.67	c  996s |      16 |   153696 |   151852 |    29618     10 |     1562 |     3150
998.87/999.18	c  998s |      16 |   154098 |   152252 |    29618     10 |     1562 |     3150
1001.37/1001.62	c 1001s |      16 |   154509 |   152652 |    29618     10 |     1562 |     3150
1003.87/1004.10	c 1003s |      16 |   154918 |   153052 |    29618     10 |     1562 |     3150
1006.27/1006.51	c 1006s |      16 |   155323 |   153452 |    29618     10 |     1562 |     3150
1008.87/1009.11	c 1008s |      16 |   155726 |   153852 |    29618     10 |     1562 |     3150
1011.37/1011.61	c 1011s |      16 |   156142 |   154252 |    29618     10 |     1562 |     3150
1013.97/1014.20	c 1013s |      16 |   156542 |   154652 |    29618     10 |     1562 |     3150
1016.07/1016.31	c 1016s |      16 |   156844 |   154952 |    29618     10 |     1562 |     3150
1018.07/1018.34	c 1018s |      16 |   157144 |   155252 |    29618     10 |     1562 |     3150
1020.07/1020.38	c 1020s |      16 |   157448 |   155552 |    29618     10 |     1562 |     3150
1022.17/1022.42	c 1022s |      16 |   157754 |   155852 |    29618     10 |     1562 |     3150
1024.77/1025.06	c 1024s |      16 |   158159 |   156252 |    29618     10 |     1562 |     3150
1027.37/1027.67	c 1027s |      16 |   158565 |   156652 |    29618     10 |     1562 |     3150
1030.07/1030.33	c 1030s |      16 |   158978 |   157052 |    29618     10 |     1562 |     3150
1032.17/1032.41	c 1032s |      16 |   159279 |   157352 |    29618     10 |     1562 |     3150
1034.16/1034.45	c 1034s |      16 |   159589 |   157652 |    29618     10 |     1562 |     3150
1036.36/1036.62	c 1036s |      16 |   159896 |   157952 |    29618     10 |     1562 |     3150
1038.46/1038.75	c 1038s |      16 |   160194 |   158252 |    29618     10 |     1562 |     3150
1040.47/1040.75	c 1040s |      16 |   160502 |   158552 |    29618     10 |     1562 |     3150
1043.06/1043.32	c 1043s |      16 |   160916 |   158952 |    29618     10 |     1562 |     3150
1045.06/1045.34	c 1045s |      16 |   161224 |   159252 |    29618     10 |     1562 |     3150
1047.07/1047.39	c 1047s |      16 |   161534 |   159552 |    29618     10 |     1562 |     3150
1049.16/1049.43	c 1049s |      16 |   161832 |   159852 |    29618     10 |     1562 |     3150
1051.27/1051.59	c 1051s |      16 |   162137 |   160152 |    29618     10 |     1562 |     3150
1053.37/1053.67	c 1053s |      16 |   162439 |   160452 |    29618     10 |     1562 |     3150
1055.37/1055.67	c 1055s |      16 |   162748 |   160752 |    29618     10 |     1562 |     3150
1057.57/1057.84	c 1057s |      16 |   163050 |   161052 |    29618     10 |     1562 |     3150
1059.77/1060.05	c 1059s |      16 |   163353 |   161352 |    29618     11 |     1562 |     3150
1061.97/1062.28	c 1062s |      16 |   163763 |   161752 |    29618     11 |     1562 |     3150
1064.27/1064.52	c 1064s |      16 |   164171 |   162152 |    29618     11 |     1562 |     3150
1066.37/1066.64	c 1066s |      16 |   164578 |   162552 |    29618     11 |     1562 |     3150
1068.57/1068.82	c 1068s |      16 |   164980 |   162952 |    29618     11 |     1562 |     3150
1070.77/1071.04	c 1070s |      16 |   165385 |   163352 |    29618     11 |     1562 |     3150
1072.97/1073.23	c 1072s |      16 |   165781 |   163752 |    29618     11 |     1562 |     3150
1075.07/1075.39	c 1075s |      16 |   166186 |   164152 |    29618     11 |     1562 |     3150
1077.27/1077.53	c 1077s |      16 |   166602 |   164552 |    29618     11 |     1562 |     3150
1079.47/1079.73	c 1079s |      16 |   167002 |   164952 |    29618     11 |     1562 |     3150
1081.77/1082.08	c 1081s |      16 |   167407 |   165352 |    29618     11 |     1562 |     3150
1084.07/1084.32	c 1084s |      16 |   167820 |   165752 |    29618     11 |     1562 |     3150
1086.36/1086.65	c 1086s |      16 |   168231 |   166152 |    29618     11 |     1562 |     3150
1088.76/1089.06	c 1088s |      16 |   168632 |   166552 |    29618     11 |     1562 |     3150
1091.07/1091.32	c 1091s |      16 |   169035 |   166952 |    29618     11 |     1562 |     3150
1093.37/1093.64	c 1093s |      16 |   169440 |   167352 |    29618     11 |     1562 |     3150
1095.66/1095.98	c 1095s |      16 |   169849 |   167752 |    29618     11 |     1562 |     3150
1098.16/1098.40	c 1098s |      16 |   170259 |   168152 |    29618     11 |     1562 |     3150
1100.46/1100.79	c 1100s |      16 |   170673 |   168552 |    29618     11 |     1562 |     3150
1102.96/1103.25	c 1102s |      16 |   171068 |   168952 |    29618     11 |     1562 |     3150
1105.37/1105.65	c 1105s |      16 |   171475 |   169352 |    29618     11 |     1562 |     3150
1107.76/1108.08	c 1107s |      16 |   171875 |   169752 |    29618     11 |     1562 |     3150
1110.16/1110.44	c 1110s |      16 |   172278 |   170152 |    29618     11 |     1562 |     3150
1112.56/1112.83	c 1112s |      16 |   172697 |   170552 |    29618     11 |     1562 |     3150
1115.06/1115.39	c 1115s |      16 |   173103 |   170952 |    29618     11 |     1562 |     3150
1117.57/1117.87	c 1117s |      16 |   173517 |   171352 |    29618     11 |     1562 |     3150
1120.16/1120.46	c 1120s |      16 |   173916 |   171752 |    29618     11 |     1562 |     3150
1122.76/1123.03	c 1122s |      16 |   174320 |   172152 |    29618     11 |     1562 |     3150
1125.36/1125.69	c 1125s |      16 |   174725 |   172552 |    29618     11 |     1562 |     3150
1127.37/1127.70	c 1127s |      16 |   175035 |   172852 |    29618     11 |     1562 |     3150
1129.46/1129.74	c 1129s |      16 |   175336 |   173152 |    29618     11 |     1562 |     3150
1131.46/1131.78	c 1131s |      16 |   175635 |   173452 |    29618     11 |     1562 |     3150
1133.56/1133.84	c 1133s |      16 |   175936 |   173752 |    29618     11 |     1562 |     3150
1135.66/1135.91	c 1135s |      16 |   176240 |   174052 |    29618     11 |     1562 |     3150
1138.26/1138.57	c 1138s |      16 |   176650 |   174452 |    29618     11 |     1562 |     3150
1140.36/1140.62	c 1140s |      16 |   176957 |   174752 |    29618     11 |     1562 |     3150
1142.46/1142.73	c 1142s |      16 |   177261 |   175052 |    29618     11 |     1562 |     3150
1147.05/1147.32	c 1147s |      16 |   177566 |   175352 |    29618     11 |     1562 |     3150
1149.15/1149.45	c 1149s |      16 |   177866 |   175652 |    29618     11 |     1562 |     3150
1151.25/1151.56	c 1151s |      16 |   178170 |   175952 |    29618     11 |     1562 |     3150
1153.45/1153.72	c 1153s |      16 |   178478 |   176252 |    29618     11 |     1562 |     3150
1155.65/1155.94	c 1155s |      16 |   178785 |   176552 |    29618     11 |     1562 |     3150
1158.05/1158.31	c 1158s |      16 |   179095 |   176852 |    29618     12 |     1562 |     3150
1160.25/1160.58	c 1160s |      16 |   179499 |   177252 |    29618     12 |     1562 |     3150
1162.35/1162.64	c 1162s |      16 |   179902 |   177652 |    29618     12 |     1562 |     3150
1164.35/1164.66	c 1164s |      16 |   180307 |   178052 |    29618     12 |     1562 |     3150
1166.65/1166.94	c 1166s |      16 |   180713 |   178452 |    29618     12 |     1562 |     3150
1168.75/1169.02	c 1168s |      16 |   181110 |   178852 |    29618     12 |     1562 |     3150
1170.75/1171.05	c 1170s |      16 |   181525 |   179252 |    29618     12 |     1562 |     3150
1172.85/1173.13	c 1172s |      16 |   181924 |   179652 |    29618     12 |     1562 |     3150
1174.95/1175.28	c 1175s |      16 |   182332 |   180052 |    29618     12 |     1562 |     3150
1177.05/1177.36	c 1177s |      16 |   182737 |   180452 |    29618     12 |     1562 |     3150
1179.25/1179.59	c 1179s |      16 |   183137 |   180852 |    29618     12 |     1562 |     3150
1181.45/1181.74	c 1181s |      16 |   183544 |   181252 |    29618     12 |     1562 |     3150
1183.75/1184.07	c 1183s |      16 |   183948 |   181652 |    29618     12 |     1562 |     3150
1185.95/1186.28	c 1186s |      16 |   184353 |   182052 |    29618     12 |     1562 |     3150
1188.05/1188.39	c 1188s |      16 |   184752 |   182452 |    29618     12 |     1562 |     3150
1190.15/1190.49	c 1190s |      16 |   185161 |   182852 |    29618     12 |     1562 |     3150
1192.35/1192.66	c 1192s |      16 |   185570 |   183252 |    29618     12 |     1562 |     3150
1194.55/1194.85	c 1194s |      16 |   185974 |   183652 |    29618     12 |     1562 |     3150
1196.85/1197.12	c 1196s |      16 |   186379 |   184052 |    29618     12 |     1562 |     3150
1199.04/1199.37	c 1199s |      16 |   186782 |   184452 |    29618     12 |     1562 |     3150
1201.34/1201.60	c 1201s |      16 |   187179 |   184852 |    29618     12 |     1562 |     3150
1203.64/1203.91	c 1203s |      16 |   187585 |   185252 |    29618     12 |     1562 |     3150
1205.94/1206.27	c 1206s |      16 |   187994 |   185652 |    29618     12 |     1562 |     3150
1208.24/1208.57	c 1208s |      16 |   188402 |   186052 |    29618     12 |     1562 |     3150
1210.54/1210.82	c 1210s |      16 |   188809 |   186452 |    29618     12 |     1562 |     3150
1212.84/1213.14	c 1212s |      16 |   189205 |   186852 |    29618     12 |     1562 |     3150
1215.24/1215.55	c 1215s |      16 |   189610 |   187252 |    29618     12 |     1562 |     3150
1217.65/1217.99	c 1217s |      16 |   190009 |   187652 |    29618     12 |     1562 |     3150
1220.04/1220.36	c 1220s |      16 |   190415 |   188052 |    29618     12 |     1562 |     3150
1222.44/1222.79	c 1222s |      16 |   190825 |   188452 |    29618     12 |     1562 |     3150
1225.04/1225.32	c 1225s |      16 |   191228 |   188852 |    29618     12 |     1562 |     3150
1227.55/1227.81	c 1227s |      16 |   191636 |   189252 |    29618     12 |     1562 |     3150
1231.04/1231.30	c 1231s |      16 |   191837 |   189452 |    29618     12 |     1562 |     3150
1233.34/1233.62	c 1233s |      16 |   192241 |   189852 |    29618     12 |     1562 |     3150
1235.64/1235.99	c 1235s |      16 |   192645 |   190252 |    29618     12 |     1562 |     3150
1238.04/1238.39	c 1238s |      16 |   193049 |   190652 |    29618     12 |     1562 |     3150
1240.54/1240.86	c 1240s |      16 |   193453 |   191052 |    29618     12 |     1562 |     3150
1242.95/1243.25	c 1242s |      16 |   193854 |   191452 |    29618     12 |     1562 |     3150
1245.44/1245.79	c 1245s |      16 |   194258 |   191852 |    29618     12 |     1562 |     3150
1248.04/1248.36	c 1248s |      16 |   194661 |   192252 |    29618     12 |     1562 |     3150
1250.65/1250.97	c 1250s |      16 |   195071 |   192652 |    29618     13 |     1562 |     3150
1252.85/1253.11	c 1252s |      16 |   195480 |   193052 |    29618     13 |     1562 |     3150
1254.84/1255.16	c 1254s |      16 |   195878 |   193452 |    29618     13 |     1562 |     3150
1256.84/1257.19	c 1256s |      16 |   196285 |   193852 |    29618     13 |     1562 |     3150
1258.94/1259.25	c 1258s |      16 |   196685 |   194252 |    29618     13 |     1562 |     3150
1261.04/1261.36	c 1261s |      16 |   197095 |   194652 |    29618     13 |     1562 |     3150
1263.24/1263.57	c 1263s |      16 |   197495 |   195052 |    29618     13 |     1562 |     3150
1265.44/1265.77	c 1265s |      16 |   197899 |   195452 |    29618     13 |     1562 |     3150
1267.64/1267.90	c 1267s |      16 |   198299 |   195852 |    29618     13 |     1562 |     3150
1270.23/1270.51	c 1270s |      16 |   198706 |   196252 |    32580     13 |     1562 |     3150
1272.43/1272.76	c 1272s |      16 |   199106 |   196652 |    32580     13 |     1562 |     3150
1274.63/1274.91	c 1274s |      16 |   199510 |   197052 |    32580     13 |     1562 |     3150
1276.73/1277.05	c 1276s |      17 |   199892 |   197432 |    32580     13 |     1562 |     3150
1279.24/1279.54	c 1279s |      17 |   200318 |   197832 |    32580     13 |     1562 |     3150
1281.53/1281.80	c 1281s |      17 |   200724 |   198232 |    32580     13 |     1562 |     3150
1283.73/1284.08	c 1283s |      17 |   201126 |   198632 |    32580     13 |     1562 |     3150
1286.13/1286.48	c 1286s |      17 |   201529 |   199032 |    32580     13 |     1562 |     3150
1288.43/1288.71	c 1288s |      17 |   201938 |   199432 |    32580     13 |     1562 |     3150
1290.73/1291.07	c 1290s |      17 |   202341 |   199832 |    32580     13 |     1562 |     3150
1293.13/1293.40	c 1293s |      17 |   202754 |   200232 |    32580     13 |     1562 |     3150
1295.43/1295.78	c 1295s |      17 |   203160 |   200632 |    32580     13 |     1562 |     3150
1297.94/1298.22	c 1297s |      17 |   203560 |   201032 |    32580     13 |     1562 |     3150
1300.43/1300.71	c 1300s |      17 |   203966 |   201432 |    32580     13 |     1562 |     3150
1302.83/1303.12	c 1302s |      17 |   204370 |   201832 |    32580     13 |     1562 |     3150
1305.53/1305.81	c 1305s |      17 |   204778 |   202232 |    32580     13 |     1562 |     3150
1308.13/1308.47	c 1308s |      17 |   205178 |   202632 |    32580     13 |     1562 |     3150
1310.83/1311.12	c 1310s |      17 |   205584 |   203032 |    32580     13 |     1562 |     3150
1313.33/1313.64	c 1313s |      17 |   205981 |   203432 |    32580     13 |     1562 |     3150
1315.93/1316.21	c 1315s |      17 |   206386 |   203832 |    32580     13 |     1562 |     3150
1318.43/1318.71	c 1318s |      17 |   206790 |   204232 |    32580     13 |     1562 |     3150
1320.93/1321.22	c 1320s |      17 |   207193 |   204632 |    32580     13 |     1562 |     3150
1323.52/1323.83	c 1323s |      17 |   207591 |   205032 |    32580     13 |     1562 |     3150
1325.52/1325.84	c 1325s |      17 |   207893 |   205332 |    32580     13 |     1562 |     3150
1328.22/1328.50	c 1328s |      17 |   208295 |   205732 |    32580     13 |     1562 |     3150
1330.83/1331.16	c 1330s |      17 |   208705 |   206132 |    32580     13 |     1562 |     3150
1333.03/1333.39	c 1333s |      17 |   208816 |   206232 |    32580     13 |     1562 |     3150
1335.62/1335.91	c 1335s |      17 |   209217 |   206632 |    32580     13 |     1562 |     3150
1338.12/1338.49	c 1338s |      17 |   209620 |   207032 |    32580     13 |     1562 |     3150
1340.73/1341.05	c 1340s |      17 |   210028 |   207432 |    32580     13 |     1562 |     3150
1343.32/1343.63	c 1343s |      17 |   210434 |   207832 |    32580     13 |     1562 |     3150
1345.92/1346.21	c 1345s |      17 |   210835 |   208232 |    32580     13 |     1562 |     3150
1348.43/1348.80	c 1348s |      17 |   211236 |   208632 |    32580     13 |     1562 |     3150
1351.12/1351.46	c 1351s |      17 |   211637 |   209032 |    32580     13 |     1562 |     3150
1353.22/1353.54	c 1353s |      17 |   211937 |   209332 |    32580     13 |     1562 |     3150
1355.22/1355.55	c 1355s |      17 |   212245 |   209632 |    32580     13 |     1562 |     3150
1357.23/1357.56	c 1357s |      17 |   212552 |   209932 |    32580     13 |     1562 |     3150
1359.82/1360.10	c 1359s |      17 |   212960 |   210332 |    32580     13 |     1562 |     3150
1362.42/1362.78	c 1362s |      17 |   213362 |   210732 |    32580     13 |     1562 |     3150
1364.42/1364.79	c 1364s |      17 |   213661 |   211032 |    32580     13 |     1562 |     3150
1366.62/1366.98	c 1366s |      17 |   213967 |   211332 |    32580     14 |     1562 |     3150
1369.02/1369.31	c 1369s |      17 |   214369 |   211732 |    32580     14 |     1562 |     3150
1371.22/1371.58	c 1371s |      17 |   214774 |   212132 |    32580     14 |     1562 |     3150
1373.52/1373.87	c 1373s |      17 |   215180 |   212532 |    32580     14 |     1562 |     3150
1376.21/1376.60	c 1376s |      17 |   215683 |   213032 |    32580     14 |     1562 |     3150
1378.61/1378.92	c 1378s |      17 |   216083 |   213432 |    32580     14 |     1562 |     3150
1380.81/1381.19	c 1380s |      17 |   216494 |   213832 |    32580     14 |     1562 |     3150
1383.21/1383.55	c 1383s |      17 |   216893 |   214232 |    32580     14 |     1562 |     3150
1385.61/1385.91	c 1385s |      17 |   217294 |   214632 |    32580     14 |     1562 |     3150
1387.91/1388.30	c 1388s |      17 |   217699 |   215032 |    32580     14 |     1562 |     3150
1390.41/1390.74	c 1390s |      17 |   218108 |   215432 |    32580     14 |     1562 |     3150
1392.91/1393.27	c 1393s |      17 |   218510 |   215832 |    32580     14 |     1562 |     3150
1395.51/1395.83	c 1395s |      17 |   218906 |   216232 |    32580     14 |     1562 |     3150
1397.51/1397.84	c 1397s |      17 |   219216 |   216532 |    32580     14 |     1562 |     3150
1400.12/1400.43	c 1400s |      17 |   219618 |   216932 |    32580     14 |     1562 |     3150
1402.71/1403.05	c 1402s |      17 |   220022 |   217332 |    32580     14 |     1562 |     3150
1405.31/1405.62	c 1405s |      17 |   220420 |   217732 |    32580     14 |     1562 |     3150
1407.82/1408.15	c 1407s |      17 |   220827 |   218132 |    32580     14 |     1562 |     3150
1410.41/1410.74	c 1410s |      17 |   221228 |   218532 |    32580     14 |     1562 |     3150
1413.01/1413.35	c 1413s |      17 |   221629 |   218932 |    32580     14 |     1562 |     3150
1415.71/1416.00	c 1415s |      17 |   222035 |   219332 |    32580     14 |     1562 |     3150
1417.82/1418.17	c 1417s |      17 |   222344 |   219632 |    32580     14 |     1562 |     3150
1420.21/1420.57	c 1420s |      17 |   222747 |   220032 |    32580     14 |     1562 |     3150
1422.51/1422.85	c 1422s |      17 |   223148 |   220432 |    32580     14 |     1562 |     3150
1424.81/1425.16	c 1424s |      17 |   223549 |   220832 |    32580     14 |     1562 |     3150
1427.31/1427.65	c 1427s |      17 |   223950 |   221232 |    32580     14 |     1562 |     3150
1429.71/1430.03	c 1429s |      17 |   224352 |   221632 |    32580     14 |     1562 |     3150
1432.01/1432.37	c 1432s |      17 |   224753 |   222032 |    32580     14 |     1562 |     3150
1434.41/1434.72	c 1434s |      17 |   225152 |   222432 |    32580     14 |     1562 |     3150
1436.81/1437.19	c 1436s |      17 |   225561 |   222832 |    32580     14 |     1562 |     3150
1439.21/1439.56	c 1439s |      17 |   225963 |   223232 |    32580     14 |     1562 |     3150
1441.80/1442.18	c 1441s |      17 |   226363 |   223632 |    32580     14 |     1562 |     3150
1444.40/1444.79	c 1444s |      17 |   226768 |   224032 |    32580     14 |     1562 |     3150
1447.00/1447.31	c 1447s |      17 |   227170 |   224432 |    32580     14 |     1562 |     3150
1449.50/1449.86	c 1449s |      17 |   227571 |   224832 |    32580     14 |     1562 |     3150
1451.50/1451.87	c 1451s |      17 |   227871 |   225132 |    32580     14 |     1562 |     3150
1454.11/1454.49	c 1454s |      17 |   228271 |   225532 |    32580     14 |     1562 |     3150
1456.80/1457.15	c 1456s |      17 |   228669 |   225932 |    32580     14 |     1562 |     3150
1459.70/1460.01	c 1459s |      17 |   229077 |   226332 |    32580     14 |     1562 |     3150
1461.90/1462.27	c 1462s |      17 |   229377 |   226632 |    32580     14 |     1562 |     3150
1464.10/1464.41	c 1464s |      17 |   229677 |   226932 |    32580     14 |     1562 |     3150
1466.21/1466.58	c 1466s |      17 |   229977 |   227232 |    32580     14 |     1562 |     3150
1468.60/1468.97	c 1468s |      17 |   230281 |   227532 |    32580     14 |     1562 |     3150
1470.80/1471.10	c 1470s |      17 |   230583 |   227832 |    32580     14 |     1562 |     3150
1473.00/1473.31	c 1473s |      17 |   230884 |   228132 |    32580     14 |     1562 |     3150
1475.50/1475.84	c 1475s |      17 |   231187 |   228432 |    32580     15 |     1562 |     3150
1477.70/1478.01	c 1477s |      17 |   231595 |   228832 |    32580     15 |     1562 |     3150
1480.10/1480.43	c 1480s |      17 |   231999 |   229232 |    32580     15 |     1562 |     3150
1482.50/1482.83	c 1482s |      17 |   232399 |   229632 |    32580     15 |     1562 |     3150
1484.70/1485.03	c 1484s |      17 |   232807 |   230032 |    32580     15 |     1562 |     3150
1487.10/1487.49	c 1487s |      17 |   233210 |   230432 |    32580     15 |     1562 |     3150
1489.60/1489.97	c 1489s |      17 |   233614 |   230832 |    32580     15 |     1562 |     3150
1492.00/1492.34	c 1492s |      17 |   234016 |   231232 |    32580     15 |     1562 |     3150
1494.39/1494.72	c 1494s |      17 |   234422 |   231632 |    32580     15 |     1562 |     3150
1496.79/1497.12	c 1496s |      17 |   234822 |   232032 |    32580     15 |     1562 |     3150
1499.20/1499.60	c 1499s |      17 |   235226 |   232432 |    32580     15 |     1562 |     3150
1501.79/1502.10	c 1501s |      17 |   235637 |   232832 |    32580     15 |     1562 |     3150
1504.19/1504.54	c 1504s |      17 |   236046 |   233232 |    32580     15 |     1562 |     3150
1506.59/1506.98	c 1506s |      17 |   236442 |   233632 |    32580     15 |     1562 |     3150
1508.79/1509.16	c 1508s |      17 |   236746 |   233932 |    32580     15 |     1562 |     3150
1511.09/1511.44	c 1511s |      17 |   237148 |   234332 |    32580     15 |     1562 |     3150
1513.50/1513.82	c 1513s |      17 |   237554 |   234732 |    32580     15 |     1562 |     3150
1515.89/1516.23	c 1515s |      17 |   237956 |   235132 |    32580     15 |     1562 |     3150
1518.29/1518.68	c 1518s |      17 |   238366 |   235532 |    32580     15 |     1562 |     3150
1520.79/1521.12	c 1520s |      17 |   238765 |   235932 |    32580     15 |     1562 |     3150
1523.30/1523.62	c 1523s |      17 |   239174 |   236332 |    32580     15 |     1562 |     3150
1525.69/1526.03	c 1525s |      17 |   239573 |   236732 |    32580     15 |     1562 |     3150
1528.09/1528.46	c 1528s |      17 |   239979 |   237132 |    32580     15 |     1562 |     3150
1530.69/1531.02	c 1530s |      17 |   240390 |   237532 |    32580     15 |     1562 |     3150
1533.30/1533.61	c 1533s |      17 |   240790 |   237932 |    32580     15 |     1562 |     3150
1535.79/1536.19	c 1535s |      17 |   241192 |   238332 |    32580     15 |     1562 |     3150
1538.39/1538.75	c 1538s |      17 |   241601 |   238732 |    32580     15 |     1562 |     3150
1540.99/1541.36	c 1541s |      17 |   242003 |   239132 |    32580     15 |     1562 |     3150
1543.59/1543.95	c 1543s |      17 |   242404 |   239532 |    32580     15 |     1562 |     3150
1545.69/1546.03	c 1545s |      17 |   242707 |   239832 |    32580     15 |     1562 |     3150
1547.80/1548.14	c 1547s |      17 |   243016 |   240132 |    32580     15 |     1562 |     3150
1549.90/1550.28	c 1550s |      17 |   243317 |   240432 |    32580     15 |     1562 |     3150
1552.00/1552.31	c 1552s |      17 |   243619 |   240732 |    32580     15 |     1562 |     3150
1554.10/1554.41	c 1554s |      17 |   243925 |   241032 |    32580     15 |     1562 |     3150
1556.19/1556.60	c 1556s |      17 |   244225 |   241332 |    32580     15 |     1562 |     3150
1558.50/1558.84	c 1558s |      17 |   244523 |   241632 |    32580     15 |     1562 |     3150
1560.70/1561.08	c 1560s |      17 |   244829 |   241932 |    32580     15 |     1562 |     3150
1562.79/1563.12	c 1562s |      17 |   245132 |   242232 |    32580     15 |     1562 |     3150
1564.79/1565.17	c 1564s |      17 |   245434 |   242532 |    32580     15 |     1562 |     3150
1566.99/1567.31	c 1567s |      17 |   245732 |   242832 |    32580     15 |     1562 |     3150
1569.09/1569.47	c 1569s |      17 |   246033 |   243132 |    32580     15 |     1562 |     3150
1571.29/1571.68	c 1571s |      17 |   246338 |   243432 |    32580     15 |     1562 |     3150
1573.49/1573.86	c 1573s |      17 |   246634 |   243732 |    32580     15 |     1562 |     3150
1575.69/1576.02	c 1575s |      17 |   246945 |   244032 |    32580     15 |     1562 |     3150
1577.89/1578.28	c 1578s |      17 |   247249 |   244332 |    32580     15 |     1562 |     3150
1580.19/1580.51	c 1580s |      17 |   247546 |   244632 |    32580     15 |     1562 |     3150
1582.39/1582.74	c 1582s |      17 |   247851 |   244932 |    32580     15 |     1562 |     3150
1584.59/1584.96	c 1584s |      17 |   248161 |   245232 |    32580     15 |     1562 |     3150
1587.10/1587.42	c 1587s |      17 |   248465 |   245532 |    32580     16 |     1562 |     3150
1590.99/1591.32	c 1591s |      17 |   248872 |   245932 |    32580     16 |     1562 |     3150
1593.09/1593.43	c 1593s |      17 |   249270 |   246332 |    32580     16 |     1562 |     3150
1595.29/1595.62	c 1595s |      17 |   249672 |   246732 |    32580     16 |     1562 |     3150
1597.39/1597.79	c 1597s |      17 |   250070 |   247132 |    32580     16 |     1562 |     3150
1599.58/1599.94	c 1599s |      17 |   250473 |   247532 |    32580     16 |     1562 |     3150
1601.68/1602.07	c 1601s |      17 |   250874 |   247932 |    32580     16 |     1562 |     3150
1603.78/1604.17	c 1603s |      17 |   251279 |   248332 |    32580     16 |     1562 |     3150
1605.98/1606.39	c 1606s |      17 |   251685 |   248732 |    32580     16 |     1562 |     3150
1608.28/1608.61	c 1608s |      17 |   252084 |   249132 |    32580     16 |     1562 |     3150
1610.29/1610.68	c 1610s |      17 |   252483 |   249532 |    32580     16 |     1562 |     3150
1612.39/1612.75	c 1612s |      17 |   252883 |   249932 |    32580     16 |     1562 |     3150
1614.48/1614.87	c 1614s |      17 |   253285 |   250332 |    32580     16 |     1562 |     3150
1616.68/1617.02	c 1616s |      17 |   253692 |   250732 |    32580     16 |     1562 |     3150
1618.78/1619.12	c 1618s |      17 |   254091 |   251132 |    32580     16 |     1562 |     3150
1620.88/1621.29	c 1621s |      17 |   254496 |   251532 |    32580     16 |     1562 |     3150
1623.28/1623.66	c 1623s |      17 |   254898 |   251932 |    32580     16 |     1562 |     3150
1625.69/1626.05	c 1625s |      17 |   255304 |   252332 |    32580     16 |     1562 |     3150
1627.98/1628.30	c 1628s |      17 |   255704 |   252732 |    32580     16 |     1562 |     3150
1630.18/1630.53	c 1630s |      17 |   256108 |   253132 |    32580     16 |     1562 |     3150
1632.48/1632.83	c 1632s |      17 |   256511 |   253532 |    32580     16 |     1562 |     3150
1634.78/1635.16	c 1634s |      17 |   256909 |   253932 |    32580     16 |     1562 |     3150
1637.18/1637.53	c 1637s |      17 |   257313 |   254332 |    32580     16 |     1562 |     3150
1639.58/1639.90	c 1639s |      17 |   257715 |   254732 |    32580     16 |     1562 |     3150
1641.98/1642.32	c 1642s |      17 |   258120 |   255132 |    32580     16 |     1562 |     3150
1644.28/1644.70	c 1644s |      17 |   258517 |   255532 |    32580     16 |     1562 |     3150
1646.78/1647.12	c 1646s |      17 |   258918 |   255932 |    32580     16 |     1562 |     3150
1649.28/1649.63	c 1649s |      17 |   259318 |   256332 |    32580     16 |     1562 |     3150
1651.78/1652.11	c 1651s |      17 |   259721 |   256732 |    32580     16 |     1562 |     3150
1654.28/1654.66	c 1654s |      17 |   260125 |   257132 |    32580     16 |     1562 |     3150
1656.28/1656.67	c 1656s |      17 |   260427 |   257432 |    32580     16 |     1562 |     3150
1658.97/1659.33	c 1659s |      17 |   260827 |   257832 |    32580     16 |     1562 |     3150
1660.97/1661.35	c 1661s |      17 |   261127 |   258132 |    32580     16 |     1562 |     3150
1665.97/1666.33	c 1666s |      17 |   261436 |   258432 |    32580     16 |     1562 |     3150
1668.07/1668.42	c 1668s |      17 |   261739 |   258732 |    32580     16 |     1562 |     3150
1670.07/1670.48	c 1670s |      17 |   262041 |   259032 |    32580     16 |     1562 |     3150
1672.27/1672.60	c 1672s |      17 |   262343 |   259332 |    32580     16 |     1562 |     3150
1674.27/1674.67	c 1674s |      17 |   262641 |   259632 |    32580     16 |     1562 |     3150
1676.37/1676.72	c 1676s |      17 |   262942 |   259932 |    32580     16 |     1562 |     3150
1678.38/1678.78	c 1678s |      17 |   263245 |   260232 |    32580     16 |     1562 |     3150
1680.47/1680.89	c 1680s |      17 |   263543 |   260532 |    32580     16 |     1562 |     3150
1682.57/1682.99	c 1682s |      17 |   263844 |   260832 |    32580     16 |     1562 |     3150
1684.77/1685.14	c 1684s |      17 |   264145 |   261132 |    32580     16 |     1562 |     3150
1686.87/1687.26	c 1686s |      17 |   264444 |   261432 |    32580     16 |     1562 |     3150
1688.97/1689.36	c 1689s |      17 |   264750 |   261732 |    32580     16 |     1562 |     3150
1691.17/1691.54	c 1691s |      17 |   265053 |   262032 |    32580     16 |     1562 |     3150
1693.37/1693.75	c 1693s |      17 |   265353 |   262332 |    32580     16 |     1562 |     3150
1696.07/1696.47	c 1696s |      17 |   265651 |   262632 |    32580     17 |     1562 |     3150
1698.36/1698.71	c 1698s |      17 |   266055 |   263032 |    32580     17 |     1562 |     3150
1700.47/1700.81	c 1700s |      17 |   266457 |   263432 |    32580     17 |     1562 |     3150
1702.57/1702.97	c 1702s |      17 |   266857 |   263832 |    32580     17 |     1562 |     3150
1704.77/1705.19	c 1704s |      17 |   267264 |   264232 |    32580     17 |     1562 |     3150
1706.97/1707.33	c 1707s |      17 |   267665 |   264632 |    32580     17 |     1562 |     3150
1709.28/1709.68	c 1709s |      17 |   268071 |   265032 |    32580     17 |     1562 |     3150
1711.77/1712.10	c 1711s |      17 |   268471 |   265432 |    32580     17 |     1562 |     3150
1714.17/1714.53	c 1714s |      17 |   268878 |   265832 |    32580     17 |     1562 |     3150
1716.57/1716.99	c 1716s |      17 |   269280 |   266232 |    32580     17 |     1562 |     3150
1718.97/1719.37	c 1719s |      17 |   269677 |   266632 |    32580     17 |     1562 |     3150
1721.38/1721.77	c 1721s |      17 |   270081 |   267032 |    32580     17 |     1562 |     3150
1723.87/1724.23	c 1723s |      17 |   270483 |   267432 |    32580     17 |     1562 |     3150
1726.27/1726.63	c 1726s |      17 |   270883 |   267832 |    32580     17 |     1562 |     3150
1728.77/1729.10	c 1728s |      17 |   271286 |   268232 |    32580     17 |     1562 |     3150
1731.17/1731.60	c 1731s |      17 |   271689 |   268632 |    32580     17 |     1562 |     3150
1733.77/1734.12	c 1733s |      17 |   272090 |   269032 |    32580     17 |     1562 |     3150
1736.37/1736.74	c 1736s |      17 |   272491 |   269432 |    32580     17 |     1562 |     3150
1738.97/1739.31	c 1739s |      17 |   272892 |   269832 |    32580     17 |     1562 |     3150
1741.57/1741.91	c 1741s |      17 |   273293 |   270232 |    32580     17 |     1562 |     3150
1744.06/1744.49	c 1744s |      17 |   273698 |   270632 |    32580     17 |     1562 |     3150
1746.76/1747.16	c 1746s |      17 |   274099 |   271032 |    32580     17 |     1562 |     3150
1749.36/1749.71	c 1749s |      17 |   274506 |   271432 |    32580     17 |     1562 |     3150
1751.76/1752.11	c 1751s |      17 |   274711 |   271632 |    32580     17 |     1562 |     3150
1753.76/1754.15	c 1753s |      17 |   275007 |   271932 |    32580     17 |     1562 |     3150
1755.76/1756.16	c 1755s |      17 |   275308 |   272232 |    32580     17 |     1562 |     3150
1757.86/1758.26	c 1757s |      17 |   275612 |   272532 |    32580     17 |     1562 |     3150
1760.06/1760.43	c 1760s |      17 |   275915 |   272832 |    32580     17 |     1562 |     3150
1762.66/1763.08	c 1762s |      17 |   276328 |   273232 |    32580     17 |     1562 |     3150
1765.37/1765.74	c 1765s |      17 |   276729 |   273632 |    32580     17 |     1562 |     3150
1767.47/1767.83	c 1767s |      17 |   277029 |   273932 |    32580     17 |     1562 |     3150
1769.56/1769.94	c 1769s |      17 |   277332 |   274232 |    32580     17 |     1562 |     3150
1771.66/1772.00	c 1771s |      17 |   277633 |   274532 |    32580     17 |     1562 |     3150
1773.76/1774.14	c 1773s |      17 |   277940 |   274832 |    32580     17 |     1562 |     3150
1775.86/1776.27	c 1776s |      17 |   278244 |   275132 |    32580     17 |     1562 |     3150
1777.86/1778.29	c 1778s |      17 |   278555 |   275432 |    32580     17 |     1562 |     3150
1780.06/1780.41	c 1780s |      17 |   278862 |   275732 |    32580     17 |     1562 |     3150
1782.16/1782.56	c 1782s |      17 |   279162 |   276032 |    32580     17 |     1562 |     3150
1784.36/1784.72	c 1784s |      17 |   279461 |   276332 |    32580     17 |     1562 |     3150
1786.46/1786.80	c 1786s |      17 |   279765 |   276632 |    32580     17 |     1562 |     3150
1788.56/1788.95	c 1788s |      17 |   280064 |   276932 |    32580     17 |     1562 |     3150
1790.76/1791.12	c 1790s |      17 |   280363 |   277232 |    32580     17 |     1562 |     3150
1792.86/1793.29	c 1793s |      17 |   280666 |   277532 |    32580     17 |     1562 |     3150
1795.06/1795.44	c 1795s |      17 |   280972 |   277832 |    32580     17 |     1562 |     3150
1797.26/1797.64	c 1797s |      17 |   281280 |   278132 |    32580     17 |     1562 |     3150
1799.25/1799.69	c 1799s |      17 |   281713 |   278532 |    32580     17 |     1562 |     3150

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

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

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


[startup+0 s]
/proc/loadavg: 2.12 2.20 2.18 4/179 32421
/proc/meminfo: memFree=29210804/32872528 swapFree=17892/1720544
[pid=32421] ppid=32418 vsize=700860 CPUtime=0 cores=0,2,4,6
/proc/32421/stat : 32421 (toysat) R 32418 32421 31655 0 -1 4202496 2607 0 0 0 0 0 0 0 20 0 4 0 105223517 717680640 3479 33554432000 4194304 16246674 140735927929792 140735927929216 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32421/statm: 175983 3488 441 2943 0 172877 0
[pid=32421/tid=32422] ppid=32418 vsize=719292 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32422/stat : 32422 (toysat) S 32418 32421 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105223517 736555008 3551 33554432000 4194304 16246674 140735927929792 140476181097712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=32421/tid=32423] ppid=32418 vsize=723388 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32423/stat : 32423 (toysat) S 32418 32421 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105223517 740749312 3568 33554432000 4194304 16246674 140735927929792 140476099308784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=32421/tid=32424] ppid=32418 vsize=727484 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32424/stat : 32424 (toysat) S 32418 32421 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105223517 744943616 3584 33554432000 4194304 16246674 140735927929792 140476088835248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100132 s]
/proc/loadavg: 2.12 2.20 2.18 4/179 32421
/proc/meminfo: memFree=29210804/32872528 swapFree=17892/1720544
[pid=32421] ppid=32418 vsize=1221188 CPUtime=0.09 cores=0,2,4,6
/proc/32421/stat : 32421 (toysat) R 32418 32421 31655 0 -1 4202496 27564 0 0 0 6 3 0 0 20 0 4 0 105223517 1250496512 28373 33554432000 4194304 16246674 140735927929792 140735927929104 4221105 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32421/statm: 305297 28378 800 2943 0 302191 0
[pid=32421/tid=32422] ppid=32418 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32422/stat : 32422 (toysat) S 32418 32421 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105223517 1250496512 28382 33554432000 4194304 16246674 140735927929792 140476181097712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=32421/tid=32423] ppid=32418 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32423/stat : 32423 (toysat) S 32418 32421 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105223517 1250496512 28387 33554432000 4194304 16246674 140735927929792 140476099308784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=32421/tid=32424] ppid=32418 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32424/stat : 32424 (toysat) S 32418 32421 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105223517 1250496512 28391 33554432000 4194304 16246674 140735927929792 140476088835248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200481 s]
/proc/loadavg: 2.12 2.20 2.18 4/179 32421
/proc/meminfo: memFree=29210804/32872528 swapFree=17892/1720544
[pid=32421] ppid=32418 vsize=1302084 CPUtime=0.19 cores=0,2,4,6
/proc/32421/stat : 32421 (toysat) R 32418 32421 31655 0 -1 4202496 47814 0 0 0 13 6 0 0 20 0 4 0 105223517 1333334016 48623 33554432000 4194304 16246674 140735927929792 140735927929104 5913108 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32421/statm: 325521 48623 833 2943 0 322415 0
[pid=32421/tid=32422] ppid=32418 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32422/stat : 32422 (toysat) S 32418 32421 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105223517 1333334016 48623 33554432000 4194304 16246674 140735927929792 140476181097712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=32421/tid=32423] ppid=32418 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32423/stat : 32423 (toysat) S 32418 32421 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105223517 1333334016 48623 33554432000 4194304 16246674 140735927929792 140476099308784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=32421/tid=32424] ppid=32418 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32424/stat : 32424 (toysat) S 32418 32421 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105223517 1333334016 48623 33554432000 4194304 16246674 140735927929792 140476088835248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1302084

[startup+0.300459 s]
/proc/loadavg: 2.12 2.20 2.18 4/179 32421
/proc/meminfo: memFree=29210804/32872528 swapFree=17892/1720544
[pid=32421] ppid=32418 vsize=1302084 CPUtime=0.29 cores=0,2,4,6
/proc/32421/stat : 32421 (toysat) R 32418 32421 31655 0 -1 4202496 55273 0 0 0 22 7 0 0 20 0 4 0 105223517 1333334016 56082 33554432000 4194304 16246674 140735927929792 140735927929104 5830026 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32421/statm: 325521 56093 884 2943 0 322415 0
[pid=32421/tid=32422] ppid=32418 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32422/stat : 32422 (toysat) S 32418 32421 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105223517 1333334016 56099 33554432000 4194304 16246674 140735927929792 140476181097712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=32421/tid=32423] ppid=32418 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32423/stat : 32423 (toysat) S 32418 32421 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105223517 1333334016 56106 33554432000 4194304 16246674 140735927929792 140476099308784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=32421/tid=32424] ppid=32418 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32424/stat : 32424 (toysat) S 32418 32421 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105223517 1333334016 56111 33554432000 4194304 16246674 140735927929792 140476088835248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1302084

[startup+0.700382 s]
/proc/loadavg: 2.12 2.20 2.18 4/179 32421
/proc/meminfo: memFree=29210804/32872528 swapFree=17892/1720544
[pid=32421] ppid=32418 vsize=1302084 CPUtime=0.69 cores=0,2,4,6
/proc/32421/stat : 32421 (toysat) R 32418 32421 31655 0 -1 4202496 140640 0 0 0 50 19 0 0 20 0 4 0 105223517 1333334016 141450 33554432000 4194304 16246674 140735927929792 140735927911680 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32421/statm: 325521 141456 884 2943 0 322415 0
[pid=32421/tid=32422] ppid=32418 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32422/stat : 32422 (toysat) S 32418 32421 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105223517 1333334016 141460 33554432000 4194304 16246674 140735927929792 140476181097712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=32421/tid=32423] ppid=32418 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32423/stat : 32423 (toysat) S 32418 32421 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105223517 1333334016 141465 33554432000 4194304 16246674 140735927929792 140476099308784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=32421/tid=32424] ppid=32418 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32424/stat : 32424 (toysat) S 32418 32421 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105223517 1333334016 141469 33554432000 4194304 16246674 140735927929792 140476088835248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1302084

[startup+1.50039 s]
/proc/loadavg: 2.11 2.19 2.18 2/174 32456
/proc/meminfo: memFree=29473708/32872528 swapFree=17892/1720544
[pid=32421] ppid=32418 vsize=1312324 CPUtime=1.49 cores=0,2,4,6
/proc/32421/stat : 32421 (toysat) R 32418 32421 31655 0 -1 4202496 269037 0 0 0 110 39 0 0 20 0 4 0 105223517 1343819776 269846 33554432000 4194304 16246674 140735927929792 140735927929104 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32421/statm: 328081 269846 890 2943 0 324975 0
[pid=32421/tid=32422] ppid=32418 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32422/stat : 32422 (toysat) S 32418 32421 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105223517 1343819776 269846 33554432000 4194304 16246674 140735927929792 140476181097712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=32421/tid=32423] ppid=32418 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32423/stat : 32423 (toysat) S 32418 32421 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105223517 1343819776 269846 33554432000 4194304 16246674 140735927929792 140476099308784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=32421/tid=32424] ppid=32418 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32424/stat : 32424 (toysat) S 32418 32421 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105223517 1343819776 269846 33554432000 4194304 16246674 140735927929792 140476088835248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1312324

[startup+3.10042 s]
/proc/loadavg: 2.11 2.19 2.18 3/183 32474
/proc/meminfo: memFree=28572876/32872528 swapFree=17892/1720544
[pid=32421] ppid=32418 vsize=1312324 CPUtime=3.09 cores=0,2,4,6
/proc/32421/stat : 32421 (toysat) R 32418 32421 31655 0 -1 4202496 269266 0 0 0 270 39 0 0 20 0 4 0 105223517 1343819776 270075 33554432000 4194304 16246674 140735927929792 140735927911680 13923798 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32421/statm: 328081 270075 890 2943 0 324975 0
[pid=32421/tid=32422] ppid=32418 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32422/stat : 32422 (toysat) S 32418 32421 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105223517 1343819776 270075 33554432000 4194304 16246674 140735927929792 140476181097712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=32421/tid=32423] ppid=32418 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32423/stat : 32423 (toysat) S 32418 32421 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105223517 1343819776 270075 33554432000 4194304 16246674 140735927929792 140476099308784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=32421/tid=32424] ppid=32418 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32424/stat : 32424 (toysat) S 32418 32421 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105223517 1343819776 270075 33554432000 4194304 16246674 140735927929792 140476088835248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.30039 s]
/proc/loadavg: 2.10 2.19 2.17 3/183 32474
/proc/meminfo: memFree=28168240/32872528 swapFree=17892/1720544
[pid=32421] ppid=32418 vsize=1312324 CPUtime=6.29 cores=0,2,4,6
/proc/32421/stat : 32421 (toysat) R 32418 32421 31655 0 -1 4202496 269267 0 0 0 590 39 0 0 20 0 4 0 105223517 1343819776 270076 33554432000 4194304 16246674 140735927929792 140735927911680 12483624 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32421/statm: 328081 270076 890 2943 0 324975 0
[pid=32421/tid=32422] ppid=32418 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32422/stat : 32422 (toysat) S 32418 32421 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105223517 1343819776 270076 33554432000 4194304 16246674 140735927929792 140476181097712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=32421/tid=32423] ppid=32418 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32423/stat : 32423 (toysat) S 32418 32421 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105223517 1343819776 270076 33554432000 4194304 16246674 140735927929792 140476099308784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=32421/tid=32424] ppid=32418 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32424/stat : 32424 (toysat) S 32418 32421 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105223517 1343819776 270076 33554432000 4194304 16246674 140735927929792 140476088835248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 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.10 2.19 2.17 3/183 32523
/proc/meminfo: memFree=28221412/32872528 swapFree=17892/1720544
[pid=32421] ppid=32418 vsize=1312324 CPUtime=12.69 cores=0,2,4,6
/proc/32421/stat : 32421 (toysat) R 32418 32421 31655 0 -1 4202496 269267 0 0 0 1230 39 0 0 20 0 4 0 105223517 1343819776 270076 33554432000 4194304 16246674 140735927929792 140735927911680 12483671 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32421/statm: 328081 270076 890 2943 0 324975 0
[pid=32421/tid=32422] ppid=32418 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32422/stat : 32422 (toysat) S 32418 32421 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105223517 1343819776 270076 33554432000 4194304 16246674 140735927929792 140476181097712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=32421/tid=32423] ppid=32418 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32423/stat : 32423 (toysat) S 32418 32421 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105223517 1343819776 270076 33554432000 4194304 16246674 140735927929792 140476099308784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=32421/tid=32424] ppid=32418 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32424/stat : 32424 (toysat) S 32418 32421 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105223517 1343819776 270076 33554432000 4194304 16246674 140735927929792 140476088835248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5073 s]
/proc/loadavg: 2.01 2.16 2.16 3/183 32572
/proc/meminfo: memFree=28155824/32872528 swapFree=17892/1720544
[pid=32421] ppid=32418 vsize=1312324 CPUtime=25.49 cores=0,2,4,6
/proc/32421/stat : 32421 (toysat) R 32418 32421 31655 0 -1 4202496 269269 0 0 0 2510 39 0 0 20 0 4 0 105223517 1343819776 270078 33554432000 4194304 16246674 140735927929792 140735927911680 12483667 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32421/statm: 328081 270078 892 2943 0 324975 0
[pid=32421/tid=32422] ppid=32418 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32422/stat : 32422 (toysat) S 32418 32421 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105223517 1343819776 270078 33554432000 4194304 16246674 140735927929792 140476181097712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=32421/tid=32423] ppid=32418 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32423/stat : 32423 (toysat) S 32418 32421 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105223517 1343819776 270078 33554432000 4194304 16246674 140735927929792 140476099308784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=32421/tid=32424] ppid=32418 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32424/stat : 32424 (toysat) S 32418 32421 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105223517 1343819776 270078 33554432000 4194304 16246674 140735927929792 140476088835248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1312324

[startup+51.1004 s]
/proc/loadavg: 2.15 2.18 2.17 3/183 32572
/proc/meminfo: memFree=28149032/32872528 swapFree=17892/1720544
[pid=32421] ppid=32418 vsize=1312324 CPUtime=51.08 cores=0,2,4,6
/proc/32421/stat : 32421 (toysat) R 32418 32421 31655 0 -1 4202496 269270 0 0 0 5069 39 0 0 20 0 4 0 105223517 1343819776 270081 33554432000 4194304 16246674 140735927929792 140735927911680 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32421/statm: 328081 270081 892 2943 0 324975 0
[pid=32421/tid=32422] ppid=32418 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32422/stat : 32422 (toysat) S 32418 32421 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105223517 1343819776 270081 33554432000 4194304 16246674 140735927929792 140476181097712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=32421/tid=32423] ppid=32418 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32423/stat : 32423 (toysat) S 32418 32421 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105223517 1343819776 270081 33554432000 4194304 16246674 140735927929792 140476099308784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=32421/tid=32424] ppid=32418 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32424/stat : 32424 (toysat) S 32418 32421 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105223517 1343819776 270081 33554432000 4194304 16246674 140735927929792 140476088835248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324

[startup+102.3 s]
/proc/loadavg: 2.17 2.18 2.17 4/184 32576
/proc/meminfo: memFree=28140948/32872528 swapFree=17892/1720544
[pid=32421] ppid=32418 vsize=1312324 CPUtime=102.27 cores=0,2,4,6
/proc/32421/stat : 32421 (toysat) R 32418 32421 31655 0 -1 4202496 269275 0 0 0 10188 39 0 0 20 0 4 0 105223517 1343819776 270081 33554432000 4194304 16246674 140735927929792 140735927911680 5661428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32421/statm: 328081 270081 892 2943 0 324975 0
[pid=32421/tid=32422] ppid=32418 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32422/stat : 32422 (toysat) S 32418 32421 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105223517 1343819776 270081 33554432000 4194304 16246674 140735927929792 140476181097712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=32421/tid=32423] ppid=32418 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32423/stat : 32423 (toysat) S 32418 32421 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105223517 1343819776 270081 33554432000 4194304 16246674 140735927929792 140476099308784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=32421/tid=32424] ppid=32418 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32424/stat : 32424 (toysat) S 32418 32421 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105223517 1343819776 270081 33554432000 4194304 16246674 140735927929792 140476088835248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1312324


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

/proc/32421/task/32424/stat : 32424 (toysat) S 32418 32421 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105223517 1394151424 282371 33554432000 4194304 16246674 140735927929792 140476088835248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 1361476

[startup+1362.3 s]
/proc/loadavg: 2.28 2.21 2.18 3/183 32607
/proc/meminfo: memFree=28072416/32872528 swapFree=17892/1720544
[pid=32421] ppid=32418 vsize=1361476 CPUtime=1362.02 cores=0,2,4,6
/proc/32421/stat : 32421 (toysat) R 32418 32421 31655 0 -1 4202496 281676 0 0 0 136158 44 0 0 20 0 4 0 105223517 1394151424 282371 33554432000 4194304 16246674 140735927929792 140735927911680 12483632 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32421/statm: 340369 282371 894 2943 0 337263 0
[pid=32421/tid=32422] ppid=32418 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32422/stat : 32422 (toysat) S 32418 32421 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105223517 1394151424 282371 33554432000 4194304 16246674 140735927929792 140476181097712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=32421/tid=32423] ppid=32418 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32423/stat : 32423 (toysat) S 32418 32421 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105223517 1394151424 282371 33554432000 4194304 16246674 140735927929792 140476099308784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=32421/tid=32424] ppid=32418 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32424/stat : 32424 (toysat) S 32418 32421 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105223517 1394151424 282371 33554432000 4194304 16246674 140735927929792 140476088835248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 1361476

[startup+1422.3 s]
/proc/loadavg: 2.22 2.20 2.18 3/183 32608
/proc/meminfo: memFree=28072332/32872528 swapFree=17892/1720544
[pid=32421] ppid=32418 vsize=1361476 CPUtime=1422.01 cores=0,2,4,6
/proc/32421/stat : 32421 (toysat) R 32418 32421 31655 0 -1 4202496 281676 0 0 0 142157 44 0 0 20 0 4 0 105223517 1394151424 282371 33554432000 4194304 16246674 140735927929792 140735927911680 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32421/statm: 340369 282371 894 2943 0 337263 0
[pid=32421/tid=32422] ppid=32418 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32422/stat : 32422 (toysat) S 32418 32421 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105223517 1394151424 282371 33554432000 4194304 16246674 140735927929792 140476181097712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=32421/tid=32423] ppid=32418 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32423/stat : 32423 (toysat) S 32418 32421 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105223517 1394151424 282371 33554432000 4194304 16246674 140735927929792 140476099308784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=32421/tid=32424] ppid=32418 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32424/stat : 32424 (toysat) S 32418 32421 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105223517 1394151424 282371 33554432000 4194304 16246674 140735927929792 140476088835248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 1361476

[startup+1482.3 s]
/proc/loadavg: 2.35 2.25 2.20 3/183 32610
/proc/meminfo: memFree=28072340/32872528 swapFree=17892/1720544
[pid=32421] ppid=32418 vsize=1361476 CPUtime=1482 cores=0,2,4,6
/proc/32421/stat : 32421 (toysat) R 32418 32421 31655 0 -1 4202496 281676 0 0 0 148156 44 0 0 20 0 4 0 105223517 1394151424 282371 33554432000 4194304 16246674 140735927929792 140735927911680 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32421/statm: 340369 282371 894 2943 0 337263 0
[pid=32421/tid=32422] ppid=32418 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32422/stat : 32422 (toysat) S 32418 32421 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105223517 1394151424 282371 33554432000 4194304 16246674 140735927929792 140476181097712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=32421/tid=32423] ppid=32418 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32423/stat : 32423 (toysat) S 32418 32421 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105223517 1394151424 282371 33554432000 4194304 16246674 140735927929792 140476099308784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=32421/tid=32424] ppid=32418 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32424/stat : 32424 (toysat) S 32418 32421 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105223517 1394151424 282371 33554432000 4194304 16246674 140735927929792 140476088835248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 1361476

[startup+1542.3 s]
/proc/loadavg: 2.63 2.35 2.23 3/183 32611
/proc/meminfo: memFree=28067128/32872528 swapFree=17892/1720544
[pid=32421] ppid=32418 vsize=1361476 CPUtime=1541.99 cores=0,2,4,6
/proc/32421/stat : 32421 (toysat) R 32418 32421 31655 0 -1 4202496 281676 0 0 0 154155 44 0 0 20 0 4 0 105223517 1394151424 282371 33554432000 4194304 16246674 140735927929792 140735927911680 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32421/statm: 340369 282371 894 2943 0 337263 0
[pid=32421/tid=32422] ppid=32418 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32422/stat : 32422 (toysat) S 32418 32421 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105223517 1394151424 282371 33554432000 4194304 16246674 140735927929792 140476181097712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=32421/tid=32423] ppid=32418 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32423/stat : 32423 (toysat) S 32418 32421 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105223517 1394151424 282371 33554432000 4194304 16246674 140735927929792 140476099308784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=32421/tid=32424] ppid=32418 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32424/stat : 32424 (toysat) S 32418 32421 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105223517 1394151424 282371 33554432000 4194304 16246674 140735927929792 140476088835248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 1361476

[startup+1602.3 s]
/proc/loadavg: 2.49 2.36 2.24 3/183 32612
/proc/meminfo: memFree=28067284/32872528 swapFree=17892/1720544
[pid=32421] ppid=32418 vsize=1361476 CPUtime=1601.98 cores=0,2,4,6
/proc/32421/stat : 32421 (toysat) R 32418 32421 31655 0 -1 4202496 281676 0 0 0 160153 45 0 0 20 0 4 0 105223517 1394151424 282371 33554432000 4194304 16246674 140735927929792 140735927911680 5828013 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32421/statm: 340369 282371 894 2943 0 337263 0
[pid=32421/tid=32422] ppid=32418 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32422/stat : 32422 (toysat) S 32418 32421 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105223517 1394151424 282371 33554432000 4194304 16246674 140735927929792 140476181097712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=32421/tid=32423] ppid=32418 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32423/stat : 32423 (toysat) S 32418 32421 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105223517 1394151424 282371 33554432000 4194304 16246674 140735927929792 140476099308784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=32421/tid=32424] ppid=32418 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32424/stat : 32424 (toysat) S 32418 32421 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105223517 1394151424 282371 33554432000 4194304 16246674 140735927929792 140476088835248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 1361476

[startup+1662.31 s]
/proc/loadavg: 2.41 2.37 2.25 3/183 32613
/proc/meminfo: memFree=28067504/32872528 swapFree=17892/1720544
[pid=32421] ppid=32418 vsize=1361476 CPUtime=1661.98 cores=0,2,4,6
/proc/32421/stat : 32421 (toysat) R 32418 32421 31655 0 -1 4202496 281676 0 0 0 166153 45 0 0 20 0 4 0 105223517 1394151424 282371 33554432000 4194304 16246674 140735927929792 140735927911680 6011685 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32421/statm: 340369 282371 894 2943 0 337263 0
[pid=32421/tid=32422] ppid=32418 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32422/stat : 32422 (toysat) S 32418 32421 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105223517 1394151424 282371 33554432000 4194304 16246674 140735927929792 140476181097712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=32421/tid=32423] ppid=32418 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32423/stat : 32423 (toysat) S 32418 32421 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105223517 1394151424 282371 33554432000 4194304 16246674 140735927929792 140476099308784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=32421/tid=32424] ppid=32418 vsize=1361476 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32424/stat : 32424 (toysat) S 32418 32421 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105223517 1394151424 282371 33554432000 4194304 16246674 140735927929792 140476088835248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 1361476

[startup+1722.3 s]
/proc/loadavg: 2.42 2.37 2.26 3/183 32614
/proc/meminfo: memFree=28055848/32872528 swapFree=17892/1720544
[pid=32421] ppid=32418 vsize=1372740 CPUtime=1721.97 cores=0,2,4,6
/proc/32421/stat : 32421 (toysat) R 32418 32421 31655 0 -1 4202496 284492 0 0 0 172151 46 0 0 20 0 4 0 105223517 1405685760 285187 33554432000 4194304 16246674 140735927929792 140735927911680 6862286 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32421/statm: 343185 285187 894 2943 0 340079 0
[pid=32421/tid=32422] ppid=32418 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32422/stat : 32422 (toysat) S 32418 32421 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105223517 1405685760 285187 33554432000 4194304 16246674 140735927929792 140476181097712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=32421/tid=32423] ppid=32418 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32423/stat : 32423 (toysat) S 32418 32421 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105223517 1405685760 285187 33554432000 4194304 16246674 140735927929792 140476099308784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=32421/tid=32424] ppid=32418 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32424/stat : 32424 (toysat) S 32418 32421 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105223517 1405685760 285187 33554432000 4194304 16246674 140735927929792 140476088835248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 1372740

[startup+1782.3 s]
/proc/loadavg: 2.32 2.35 2.26 3/183 32616
/proc/meminfo: memFree=28055756/32872528 swapFree=17892/1720544
[pid=32421] ppid=32418 vsize=1372740 CPUtime=1781.96 cores=0,2,4,6
/proc/32421/stat : 32421 (toysat) R 32418 32421 31655 0 -1 4202496 284492 0 0 0 178150 46 0 0 20 0 4 0 105223517 1405685760 285187 33554432000 4194304 16246674 140735927929792 140735927911680 12483544 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32421/statm: 343185 285187 894 2943 0 340079 0
[pid=32421/tid=32422] ppid=32418 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32422/stat : 32422 (toysat) S 32418 32421 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105223517 1405685760 285187 33554432000 4194304 16246674 140735927929792 140476181097712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=32421/tid=32423] ppid=32418 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32423/stat : 32423 (toysat) S 32418 32421 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105223517 1405685760 285187 33554432000 4194304 16246674 140735927929792 140476099308784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=32421/tid=32424] ppid=32418 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32424/stat : 32424 (toysat) S 32418 32421 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105223517 1405685760 285187 33554432000 4194304 16246674 140735927929792 140476088835248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 1372740



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.31 2.35 2.26 3/183 32616
/proc/meminfo: memFree=28055756/32872528 swapFree=17892/1720544
[pid=32421] ppid=32418 vsize=1372740 CPUtime=1800.05 cores=0,2,4,6
/proc/32421/stat : 32421 (toysat) R 32418 32421 31655 0 -1 4202496 284492 0 0 0 179959 46 0 0 20 0 4 0 105223517 1405685760 285187 33554432000 4194304 16246674 140735927929792 140735927911680 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32421/statm: 343185 285187 894 2943 0 340079 0
[pid=32421/tid=32422] ppid=32418 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32422/stat : 32422 (toysat) S 32418 32421 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105223517 1405685760 285187 33554432000 4194304 16246674 140735927929792 140476181097712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=32421/tid=32423] ppid=32418 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32423/stat : 32423 (toysat) S 32418 32421 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105223517 1405685760 285187 33554432000 4194304 16246674 140735927929792 140476099308784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=32421/tid=32424] ppid=32418 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32424/stat : 32424 (toysat) S 32418 32421 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105223517 1405685760 285187 33554432000 4194304 16246674 140735927929792 140476088835248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1372740

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

[startup+1800.4 s]
/proc/loadavg: 2.31 2.35 2.26 3/183 32616
/proc/meminfo: memFree=28055756/32872528 swapFree=17892/1720544
[pid=32421] ppid=32418 vsize=1372740 CPUtime=1800.05 cores=0,2,4,6
/proc/32421/stat : 32421 (toysat) R 32418 32421 31655 0 -1 4202496 284492 0 0 0 179959 46 0 0 20 0 4 0 105223517 1405685760 285187 33554432000 4194304 16246674 140735927929792 140735927911680 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32421/statm: 343185 285187 894 2943 0 340079 0
[pid=32421/tid=32422] ppid=32418 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32422/stat : 32422 (toysat) S 32418 32421 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105223517 1405685760 285187 33554432000 4194304 16246674 140735927929792 140476181097712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=32421/tid=32423] ppid=32418 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32423/stat : 32423 (toysat) S 32418 32421 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105223517 1405685760 285187 33554432000 4194304 16246674 140735927929792 140476099308784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=32421/tid=32424] ppid=32418 vsize=1372740 CPUtime=0 cores=0,2,4,6
/proc/32421/task/32424/stat : 32424 (toysat) S 32418 32421 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105223517 1405685760 285187 33554432000 4194304 16246674 140735927929792 140476088835248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1372740

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.07
CPU user time (s): 1799.6
CPU system time (s): 0.462929
CPU usage (%): 99.981
Max. virtual memory (cumulated for all children) (KiB): 1372740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.6
system time used= 0.462929
maximum resident set size= 1140748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284492
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= 134
involuntary context switches= 1840

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.52431 second user time and 6.97894 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-06 19:08:24
IDJOB=4079520
IDBENCH=2109
IDSOLVER=2542
FILE ID=node117/4079520-1465232903
RUNJOBID= node117-1465227498-31671
PBS_JOBID= 19843241
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-3.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079520-1465232903/watcher-4079520-1465232903 -o /tmp/evaluation-result-4079520-1465232903/solver-4079520-1465232903 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465227498-31671 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079520-1465232903.opb

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

MD5SUM BENCH= 473e2cd0e31e48ba0932d7bd34857dd0
RANDOM SEED=295928652

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29210704 kB
Buffers:           23684 kB
Cached:            97172 kB
SwapCached:         1400 kB
Active:          1191264 kB
Inactive:          44188 kB
Active(anon):    1115116 kB
Inactive(anon):     2180 kB
Active(file):      76148 kB
Inactive(file):    42008 kB
Unevictable:     1720544 kB
Mlocked:           17892 kB
SwapTotal:      67108856 kB
SwapFree:       67098976 kB
Dirty:             16752 kB
Writeback:             0 kB
AnonPages:       2836892 kB
Mapped:            10580 kB
Shmem:                 0 kB
Slab:             567660 kB
SReclaimable:      11788 kB
SUnreclaim:       555872 kB
KernelStack:        1456 kB
PageTables:        10052 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2980704 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2357248 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node117 at 2016-06-06 19:38:24