Trace number 4116485

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.03 1800.51

General information on the benchmark

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

Solver Data 

0.00/0.00	c 2016-06-26T23:09:40+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-4116485-1466975380.opb"]
0.00/0.01	c use --random-gen="1900413102 2858673858 2441230509 2852476974 3157641292 2788780933 3873812562 2109141848 3742763250 1968205448 3871043116 1937484372 4234026341 179611585 494030089 1941553856 2422783804 773143451 1306956238 1801931253 153062366 3263186852 1807376532 1398258145 2867874060 2119177756 1620703435 2712917527 3534612021 2346030031 447802342 2294189521 999657334 987318843 1890428421 42530172 1589007522 2555439713 2087753385 4061713059 2222856174 485928821 1701867616 3345752454 2220948918 2096193612 2050873903 3058504152 1901987820 4261657446 1158731449 1848744583 1249736975 3740033008 3796726230 166079498 4250881176 2669514717 4372808 1266554594 422548962 1330537134 3084363769 3125268791 3287591676 2595853492 4028427072 2331313692 3068487107 2619836683 1716685 3977976303 4198619089 3556186388 3724261552 4132783292 2352691114 1496646932 285319030 1209179650 2407392056 3402587265 1232338017 1592390392 257683493 1798923000 2156712510 2477212124 3560601815 402172936 1336333321 901632981 491177439 419661011 1249125526 4027294638 3731069246 1839589025 3672453199 2037821707 155552447 1871190926 3660773462 3526358874 289449234 165869556 2883741917 4214105176 2188248847 1394319283 2634263341 2490798262 2090562637 4005134872 865967656 646548171 4106774209 2180015404 2041788839 2560260173 2864826915 3830350576 2607906914 4097593355 1296774374 2587133512 587387269 882976137 848486362 3662732476 3123520560 2150030730 389837342 428809151 2981676563 4019546287 3328992711 3116981914 2157495111 2102187868 1975460838 2858850383 630298060 1198536138 3476436798 1906434842 1662920244 1688668465 2966467390 3811932264 230945894 615398972 246989443 1588549909 3948189483 1684492285 935022575 4219506897 397883432 665900538 2411039739 1788006952 132512457 2871327458 1094949260 2017028616 1431258216 1538020422 2602660048 2535128167 4060389031 1556602276 1992552469 237572465 140691073 1633259987 3938478356 3964378639 1119055605 428336728 168749065 567829136 3856540449 1139228343 515726039 2248228466 2855055406 3139155691 1980595022 417071232 4018451304 3655569984 3534782891 2751523812 1531928737 3518415199 3299479790 84008844 4243725306 1928081400 2920974625 2054632532 2231774566 1285603921 3710423498 3713475029 2007508511 448713115 3664047123 3181153589 166623101 2744413922 2488194232 871698617 3837397367 1009444580 4236335307 3161400486 1916947931 972508843 3176093639 67460251 3318512512 582523873 1438232759 2801279589 1562860943 1905823998 2482696713 696593007 1544709796 1813305859 1551174398 2092278119 3749166053 3216525011 1995165092 2752301975 757550899 1543097950 1257998876 986799401 3312869439 3830214804 4095953449 1014805712 416933153 3419300194 2438483202 3791228256 2276000263 2324888722 69245824 3574113492 1278061984 1889972045 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9472
0.19/0.29	c Solving starts ...
0.19/0.29	c ============================[ Search Statistics ]============================
0.19/0.29	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.29	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.29	c =============================================================================
0.19/0.29	c  0.0s |       0 |        0 |        0 |     4565      0 |      619 |        0
0.29/0.36	c  0.1s |       1 |      958 |      100 |     4565      0 |      619 |      340
0.39/0.48	c  0.2s |       2 |     2189 |      250 |     5022      0 |      619 |      340
0.59/0.66	c  0.4s |       3 |     4578 |      475 |     5525      0 |      619 |      340
0.88/0.94	c  0.7s |       4 |     6796 |      813 |     6078      0 |      619 |      340
1.48/1.50	c  1.2s |       5 |     9407 |     1320 |     6686      0 |      619 |      340
1.99/2.09	c  1.8s |       6 |    16574 |     2081 |     8091      0 |      620 |      340
3.29/3.33	c  3.0s |       7 |    19537 |     3223 |     8901      0 |      620 |      340
4.39/4.41	c  4.1s |       8 |    25529 |     4936 |     9792      0 |      620 |      340
6.49/6.58	c  6.3s |       8 |    30951 |     7036 |     9792      0 |      620 |      340
7.09/7.18	c  6.9s |       9 |    31584 |     7506 |    10772      0 |      620 |      340
9.19/9.23	c  8.9s |       9 |    40370 |     9806 |    10772      0 |      620 |      340
11.29/11.34	c 11.1s |       9 |    41842 |    11006 |    10772      0 |      620 |      340
11.79/11.87	c 11.6s |      10 |    42228 |    11361 |    11850      0 |      620 |      340
13.88/13.96	c 13.7s |      10 |    51150 |    13761 |    11850      0 |      620 |      340
15.88/15.98	c 15.7s |      10 |    53571 |    15161 |    11850      1 |      620 |      340
18.08/18.11	c 17.8s |      10 |    55990 |    16661 |    11850      1 |      620 |      340
19.18/19.26	c 19.0s |      11 |    56625 |    17144 |    13036      1 |      620 |      340
21.28/21.31	c 21.0s |      11 |    62297 |    19044 |    13036      1 |      620 |      340
23.28/23.32	c 23.0s |      11 |    64547 |    20544 |    13036      1 |      620 |      340
25.29/25.32	c 25.0s |      11 |    68798 |    22144 |    13036      1 |      620 |      340
27.28/27.32	c 27.0s |      11 |    70184 |    23244 |    13036      1 |      620 |      340
29.38/29.42	c 29.1s |      11 |    71184 |    24144 |    13036      2 |      620 |      340
31.48/31.54	c 31.3s |      11 |    72295 |    25144 |    13036      2 |      620 |      340
32.88/32.93	c 32.6s |      12 |    73034 |    25819 |    14340      2 |      620 |      340
34.88/34.94	c 34.7s |      12 |    81826 |    28119 |    14340      2 |      620 |      340
36.88/36.94	c 36.7s |      12 |    84609 |    29719 |    14340      2 |      620 |      340
38.98/39.00	c 38.7s |      12 |    86696 |    31119 |    14340      2 |      620 |      340
40.98/41.06	c 40.8s |      12 |    88827 |    32519 |    14340      2 |      620 |      340
43.08/43.19	c 42.9s |      12 |    90033 |    33519 |    14340      3 |      620 |      340
45.28/45.31	c 45.0s |      12 |    91177 |    34519 |    14340      3 |      620 |      340
47.28/47.38	c 47.1s |      12 |    92440 |    35519 |    14340      3 |      620 |      340
49.28/49.39	c 49.1s |      12 |    93804 |    36519 |    14340      3 |      620 |      340
51.38/51.48	c 51.2s |      12 |    94928 |    37419 |    14340      3 |      620 |      340
53.48/53.57	c 53.3s |      12 |    96245 |    38419 |    14340      3 |      620 |      340
54.38/54.49	c 54.2s |      13 |    96761 |    38832 |    15775      3 |      620 |      340
56.48/56.58	c 56.3s |      13 |   101227 |    40332 |    15775      3 |      620 |      340
58.58/58.61	c 58.3s |      13 |   107152 |    41832 |    15775      4 |      621 |      340
60.68/60.76	c 60.5s |      13 |   114672 |    44332 |    15775      4 |      621 |      340
62.88/62.96	c 62.7s |      13 |   116301 |    45632 |    15775      4 |      621 |      340
64.98/65.02	c 64.7s |      13 |   118808 |    46932 |    15775      4 |      621 |      340
67.08/67.14	c 66.9s |      13 |   121762 |    48432 |    15775      4 |      621 |      340
69.28/69.30	c 69.0s |      13 |   123592 |    49632 |    15775      4 |      621 |      340
71.27/71.31	c 71.0s |      13 |   124870 |    50632 |    15775      4 |      621 |      340
73.27/73.32	c 73.0s |      13 |   125943 |    51532 |    15775      4 |      621 |      340
75.37/75.45	c 75.2s |      13 |   126914 |    52332 |    15775      5 |      621 |      340
77.47/77.54	c 77.2s |      13 |   129269 |    53532 |    15775      5 |      621 |      340
79.47/79.58	c 79.3s |      13 |   131010 |    54732 |    15775      5 |      621 |      340
81.67/81.73	c 81.4s |      13 |   132364 |    55732 |    15775      5 |      621 |      340
83.68/83.79	c 83.5s |      13 |   133439 |    56632 |    15775      5 |      621 |      340
85.78/85.89	c 85.6s |      13 |   134428 |    57432 |    15775      5 |      621 |      340
88.17/88.23	c 87.9s |      13 |   135242 |    58132 |    17353      5 |      621 |      340
88.87/88.99	c 88.7s |      14 |   135492 |    58352 |    17353      5 |      621 |      340
91.07/91.11	c 90.8s |      14 |   139374 |    60152 |    17353      5 |      621 |      340
93.07/93.16	c 92.9s |      14 |   140905 |    61452 |    17353      5 |      621 |      340
95.17/95.27	c 95.0s |      14 |   142448 |    62752 |    17353      5 |      621 |      340
97.18/97.28	c 97.0s |      14 |   149720 |    64652 |    17353      6 |      621 |      340
99.28/99.36	c 99.1s |      14 |   158380 |    67252 |    17353      6 |      621 |      340
101.38/101.40	c  101s |      14 |   161330 |    69252 |    17353      6 |      621 |      340
103.38/103.50	c  103s |      14 |   167642 |    71652 |    17353      6 |      621 |      340
105.58/105.63	c  105s |      14 |   170497 |    73152 |    17353      7 |      621 |      340
107.68/107.74	c  107s |      14 |   171817 |    74152 |    17353      7 |      621 |      340
109.77/109.80	c  109s |      14 |   172831 |    74852 |    17353      7 |      621 |      340
111.77/111.86	c  111s |      14 |   174372 |    76052 |    17353      7 |      621 |      340
113.97/114.01	c  113s |      14 |   175578 |    77052 |    17353      7 |      621 |      340
116.17/116.24	c  115s |      14 |   176823 |    78052 |    17353      7 |      621 |      340
118.37/118.45	c  118s |      14 |   177633 |    78752 |    17353      7 |      621 |      340
120.57/120.68	c  120s |      14 |   178435 |    79452 |    17353      7 |      621 |      340
122.87/122.94	c  122s |      14 |   179174 |    80052 |    17353      7 |      621 |      340
125.07/125.14	c  124s |      14 |   180181 |    80852 |    17353      7 |      621 |      340
128.27/128.32	c  128s |      14 |   180784 |    81352 |    17353      7 |      621 |      340
130.47/130.52	c  130s |      14 |   181258 |    81752 |    17353      7 |      621 |      340
132.57/132.67	c  132s |      14 |   182366 |    82652 |    17353      7 |      621 |      340
134.67/134.79	c  134s |      14 |   183045 |    83252 |    17353      7 |      621 |      340
136.97/137.07	c  136s |      14 |   183512 |    83652 |    17353      8 |      621 |      340
139.47/139.55	c  139s |      14 |   183969 |    84052 |    17353      8 |      621 |      340
142.27/142.34	c  142s |      14 |   184319 |    84352 |    17353      8 |      621 |      340
144.57/144.64	c  144s |      14 |   184766 |    84752 |    17353      8 |      621 |      340
146.87/146.94	c  146s |      14 |   185447 |    85352 |    17353      8 |      621 |      340
149.27/149.31	c  149s |      14 |   186114 |    85952 |    17353      8 |      621 |      340
151.37/151.48	c  151s |      14 |   186922 |    86652 |    17353      8 |      621 |      340
153.67/153.77	c  153s |      14 |   187737 |    87352 |    19089      8 |      621 |      340
154.47/154.51	c  154s |      15 |   188054 |    87632 |    19089      8 |      621 |      340
156.47/156.54	c  156s |      15 |   199270 |    90132 |    19089      8 |      621 |      340
158.47/158.54	c  158s |      15 |   205642 |    92332 |    19089      8 |      621 |      340
160.67/160.70	c  160s |      15 |   209163 |    94132 |    19089      8 |      621 |      340
162.66/162.75	c  162s |      15 |   215365 |    96032 |    19089      9 |      621 |      340
164.86/164.90	c  164s |      15 |   218055 |    97632 |    19089      9 |      621 |      340
166.96/167.00	c  166s |      15 |   219700 |    98832 |    19089      9 |      621 |      340
168.96/169.09	c  168s |      15 |   221009 |    99832 |    19089      9 |      621 |      340
170.96/171.09	c  170s |      15 |   222115 |   100732 |    19089      9 |      621 |      340
173.16/173.26	c  172s |      15 |   223139 |   101632 |    19089      9 |      621 |      340
175.26/175.37	c  175s |      15 |   224036 |   102432 |    19089      9 |      621 |      340
177.46/177.59	c  177s |      15 |   224934 |   103232 |    19089      9 |      621 |      340
179.76/179.80	c  179s |      15 |   225813 |   104032 |    19089      9 |      621 |      340
181.86/181.91	c  181s |      15 |   226868 |   104932 |    19089      9 |      621 |      340
184.06/184.17	c  183s |      15 |   227780 |   105732 |    19089      9 |      621 |      340
186.46/186.52	c  186s |      15 |   228547 |   106432 |    19089     10 |      621 |      340
188.66/188.77	c  188s |      15 |   229418 |   107232 |    19089     10 |      621 |      340
190.76/190.88	c  190s |      15 |   230218 |   107932 |    19089     10 |      621 |      340
193.06/193.11	c  192s |      15 |   231120 |   108732 |    19089     10 |      621 |      340
195.16/195.20	c  194s |      15 |   231872 |   109432 |    19089     10 |      621 |      340
197.36/197.43	c  197s |      15 |   232647 |   110132 |    19089     10 |      621 |      340
199.36/199.44	c  199s |      15 |   233293 |   110732 |    19089     10 |      621 |      340
201.66/201.70	c  201s |      15 |   234058 |   111432 |    19089     10 |      621 |      340
203.86/203.94	c  203s |      15 |   234724 |   112032 |    19089     10 |      621 |      340
205.85/205.99	c  205s |      15 |   235385 |   112632 |    19089     10 |      621 |      340
208.05/208.10	c  207s |      15 |   236039 |   113232 |    19089     10 |      621 |      340
210.35/210.44	c  210s |      15 |   236710 |   113832 |    19089     10 |      621 |      340
212.75/212.86	c  212s |      15 |   237393 |   114432 |    19089     10 |      621 |      340
214.75/214.88	c  214s |      15 |   237943 |   114932 |    19089     10 |      621 |      340
217.05/217.19	c  216s |      15 |   238604 |   115532 |    19089     10 |      621 |      340
219.35/219.43	c  219s |      15 |   239314 |   116132 |    19089     10 |      621 |      340
221.35/221.45	c  221s |      15 |   240005 |   116732 |    19089     10 |      621 |      340
223.55/223.63	c  223s |      15 |   240741 |   117332 |    19089     10 |      621 |      340
225.56/225.66	c  225s |      15 |   241190 |   117732 |    19089     11 |      621 |      340
227.95/228.01	c  227s |      15 |   241984 |   118432 |    19089     11 |      621 |      340
229.96/230.02	c  229s |      15 |   242551 |   118932 |    19089     11 |      621 |      340
231.95/232.02	c  231s |      15 |   243210 |   119532 |    19089     11 |      621 |      340
234.05/234.15	c  233s |      15 |   243888 |   120132 |    19089     11 |      621 |      340
236.35/236.42	c  236s |      15 |   244557 |   120732 |    19089     11 |      621 |      340
238.45/238.51	c  238s |      15 |   245374 |   121432 |    19089     11 |      621 |      340
240.65/240.70	c  240s |      15 |   246173 |   122132 |    19089     11 |      621 |      340
242.85/242.96	c  242s |      15 |   246971 |   122832 |    19089     11 |      621 |      340
244.85/244.99	c  244s |      15 |   247565 |   123332 |    19089     11 |      621 |      340
246.95/247.06	c  246s |      15 |   248149 |   123832 |    19089     11 |      621 |      340
249.15/249.28	c  248s |      15 |   248841 |   124432 |    19089     11 |      621 |      340
251.25/251.32	c  251s |      15 |   249390 |   124932 |    19089     11 |      621 |      340
253.45/253.51	c  253s |      15 |   249935 |   125432 |    19089     11 |      621 |      340
255.55/255.60	c  255s |      15 |   250499 |   125932 |    19089     11 |      621 |      340
257.85/257.95	c  257s |      15 |   251057 |   126432 |    19089     11 |      621 |      340
259.95/260.02	c  259s |      15 |   251623 |   126932 |    19089     11 |      621 |      340
261.95/262.02	c  261s |      15 |   252052 |   127332 |    19089     11 |      621 |      340
264.06/264.16	c  263s |      15 |   252632 |   127832 |    19089     11 |      621 |      340
266.05/266.19	c  265s |      15 |   253076 |   128232 |    19089     11 |      621 |      340
268.46/268.55	c  268s |      15 |   253644 |   128732 |    19089     11 |      621 |      340
270.75/270.85	c  270s |      15 |   254077 |   129132 |    19089     12 |      621 |      340
272.75/272.90	c  272s |      15 |   254757 |   129732 |    19089     12 |      621 |      340
274.95/275.10	c  274s |      15 |   255425 |   130332 |    19089     12 |      621 |      340
277.04/277.19	c  276s |      15 |   256142 |   130932 |    20998     12 |      621 |      340
279.45/279.58	c  279s |      15 |   256777 |   131532 |    20998     12 |      621 |      340
279.54/279.67	c  279s |      16 |   256799 |   131552 |    20998     12 |      621 |      340
281.65/281.79	c  281s |      16 |   260937 |   133252 |    20998     12 |      621 |      340
283.75/283.84	c  283s |      16 |   262680 |   134652 |    20998     12 |      621 |      340
285.84/285.99	c  285s |      16 |   264552 |   136052 |    20998     12 |      621 |      340
287.94/288.07	c  287s |      16 |   267325 |   137652 |    20998     12 |      621 |      340
290.15/290.20	c  289s |      16 |   269339 |   139152 |    20998     12 |      621 |      340
292.15/292.29	c  291s |      16 |   270779 |   140252 |    20998     12 |      621 |      340
294.25/294.34	c  294s |      16 |   271906 |   141152 |    20998     12 |      621 |      340
296.35/296.44	c  296s |      16 |   272744 |   141852 |    20998     13 |      621 |      340
298.45/298.56	c  298s |      16 |   273682 |   142652 |    20998     13 |      621 |      340
300.65/300.72	c  300s |      16 |   274759 |   143552 |    20998     13 |      621 |      340
302.75/302.89	c  302s |      16 |   275813 |   144452 |    20998     13 |      621 |      340
304.95/305.04	c  304s |      16 |   276885 |   145352 |    20998     13 |      621 |      340
307.05/307.11	c  306s |      16 |   277859 |   146152 |    20998     13 |      621 |      340
309.25/309.30	c  309s |      16 |   278824 |   146952 |    20998     13 |      621 |      340
311.25/311.39	c  311s |      16 |   279772 |   147752 |    20998     13 |      621 |      340
313.34/313.41	c  313s |      16 |   280581 |   148452 |    20998     13 |      621 |      340
315.34/315.44	c  315s |      16 |   281534 |   149252 |    20998     13 |      621 |      340
317.44/317.50	c  317s |      16 |   282536 |   150052 |    20998     13 |      621 |      340
319.74/319.80	c  319s |      16 |   283494 |   150852 |    20998     13 |      621 |      340
321.84/321.92	c  321s |      16 |   284549 |   151652 |    20998     13 |      621 |      340
324.04/324.17	c  323s |      16 |   285583 |   152452 |    20998     13 |      621 |      340
326.34/326.48	c  326s |      16 |   286443 |   153152 |    20998     13 |      621 |      340
328.44/328.55	c  328s |      16 |   287179 |   153752 |    20998     13 |      621 |      340
330.54/330.69	c  330s |      16 |   287868 |   154352 |    20998     14 |      621 |      340
332.84/332.92	c  332s |      16 |   288678 |   155052 |    20998     14 |      621 |      340
334.84/334.96	c  334s |      16 |   289226 |   155552 |    20998     14 |      621 |      340
336.94/337.08	c  336s |      16 |   290173 |   156352 |    20998     14 |      621 |      340
339.04/339.15	c  338s |      16 |   290986 |   157052 |    20998     14 |      621 |      340
341.24/341.36	c  341s |      16 |   291808 |   157752 |    20998     14 |      621 |      340
343.34/343.43	c  343s |      16 |   292474 |   158352 |    20998     14 |      621 |      340
345.34/345.47	c  345s |      16 |   293138 |   158952 |    20998     14 |      621 |      340
347.54/347.66	c  347s |      16 |   293836 |   159552 |    20998     14 |      621 |      340
349.74/349.90	c  349s |      16 |   294514 |   160152 |    20998     14 |      621 |      340
352.04/352.16	c  351s |      16 |   295083 |   160652 |    20998     14 |      621 |      340
354.14/354.29	c  354s |      16 |   295613 |   161152 |    20998     14 |      621 |      340
356.63/356.72	c  356s |      16 |   296130 |   161652 |    20998     14 |      621 |      340
358.64/358.76	c  358s |      16 |   296553 |   162052 |    20998     14 |      621 |      340
360.84/360.98	c  360s |      16 |   296993 |   162452 |    20998     14 |      621 |      340
362.94/363.10	c  362s |      16 |   297723 |   163052 |    20998     14 |      621 |      340
365.03/365.13	c  364s |      16 |   298333 |   163552 |    20998     14 |      621 |      340
367.23/367.33	c  367s |      16 |   298907 |   164052 |    20998     14 |      621 |      340
369.64/369.80	c  369s |      16 |   299577 |   164652 |    20998     14 |      621 |      340
372.13/372.27	c  371s |      16 |   300295 |   165252 |    20998     14 |      621 |      340
374.53/374.65	c  374s |      16 |   300846 |   165752 |    20998     14 |      621 |      340
376.83/376.97	c  376s |      16 |   301288 |   166152 |    20998     15 |      621 |      340
379.03/379.12	c  378s |      16 |   302143 |   166852 |    20998     15 |      621 |      340
381.13/381.23	c  380s |      16 |   302941 |   167552 |    20998     15 |      621 |      340
383.23/383.38	c  383s |      16 |   303553 |   168052 |    20998     15 |      621 |      340
385.33/385.41	c  385s |      16 |   304251 |   168652 |    20998     15 |      621 |      340
387.33/387.43	c  387s |      16 |   305071 |   169352 |    20998     15 |      621 |      340
389.63/389.73	c  389s |      16 |   305999 |   170152 |    20998     15 |      621 |      340
391.83/391.98	c  391s |      16 |   306844 |   170852 |    20998     15 |      621 |      340
394.13/394.27	c  393s |      16 |   307512 |   171452 |    20998     15 |      621 |      340
396.33/396.47	c  396s |      16 |   308224 |   172052 |    20998     15 |      621 |      340
398.43/398.53	c  398s |      16 |   308892 |   172652 |    20998     15 |      621 |      340
400.63/400.77	c  400s |      16 |   309740 |   173352 |    20998     15 |      621 |      340
403.02/403.18	c  402s |      16 |   310389 |   173952 |    20998     15 |      621 |      340
405.42/405.59	c  405s |      16 |   311053 |   174552 |    20998     15 |      621 |      340
407.92/408.01	c  407s |      16 |   311740 |   175152 |    20998     15 |      621 |      340
410.12/410.29	c  409s |      16 |   312504 |   175752 |    20998     15 |      621 |      340
412.32/412.43	c  412s |      16 |   313068 |   176252 |    20998     15 |      621 |      340
414.52/414.63	c  414s |      16 |   313753 |   176852 |    20998     15 |      621 |      340
416.72/416.88	c  416s |      16 |   314478 |   177452 |    20998     15 |      621 |      340
419.13/419.23	c  418s |      16 |   315179 |   178052 |    20998     15 |      621 |      340
421.33/421.47	c  421s |      16 |   315765 |   178552 |    20998     16 |      621 |      340
423.32/423.49	c  423s |      16 |   316711 |   179352 |    20998     16 |      621 |      340
425.52/425.67	c  425s |      16 |   317631 |   180152 |    20998     16 |      621 |      340
427.72/427.81	c  427s |      16 |   318557 |   180952 |    20998     16 |      621 |      340
429.92/430.03	c  429s |      16 |   319376 |   181652 |    20998     16 |      621 |      340
431.92/432.03	c  431s |      16 |   320049 |   182252 |    20998     16 |      621 |      340
434.22/434.34	c  434s |      16 |   320827 |   182952 |    20998     16 |      621 |      340
436.32/436.46	c  436s |      16 |   321494 |   183552 |    20998     16 |      621 |      340
438.32/438.48	c  438s |      16 |   322133 |   184152 |    20998     16 |      621 |      340
440.62/440.74	c  440s |      16 |   322814 |   184752 |    20998     16 |      621 |      340
442.72/442.83	c  442s |      16 |   323361 |   185252 |    20998     16 |      621 |      340
444.92/445.07	c  444s |      16 |   323918 |   185752 |    20998     16 |      621 |      340
447.12/447.21	c  446s |      16 |   324479 |   186252 |    20998     16 |      621 |      340
449.52/449.60	c  449s |      16 |   325023 |   186752 |    20998     16 |      621 |      340
451.72/451.83	c  451s |      16 |   325603 |   187252 |    20998     16 |      621 |      340
454.02/454.18	c  453s |      16 |   326123 |   187752 |    20998     16 |      621 |      340
456.12/456.22	c  455s |      16 |   326544 |   188152 |    20998     16 |      621 |      340
458.52/458.65	c  458s |      16 |   327118 |   188652 |    20998     16 |      621 |      340
460.61/460.70	c  460s |      16 |   327700 |   189152 |    20998     16 |      621 |      340
462.71/462.83	c  462s |      16 |   328111 |   189552 |    20998     16 |      621 |      340
465.11/465.22	c  464s |      16 |   328654 |   190052 |    20998     16 |      621 |      340
467.11/467.26	c  466s |      16 |   328989 |   190352 |    20998     17 |      621 |      340
469.51/469.62	c  469s |      16 |   329609 |   190952 |    20998     17 |      621 |      340
471.71/471.87	c  471s |      16 |   330262 |   191552 |    20998     17 |      621 |      340
474.12/474.20	c  473s |      16 |   331026 |   192252 |    20998     17 |      621 |      340
476.51/476.64	c  476s |      16 |   331668 |   192852 |    20998     17 |      621 |      340
478.61/478.70	c  478s |      16 |   332198 |   193352 |    20998     17 |      621 |      340
480.62/480.70	c  480s |      16 |   332720 |   193852 |    20998     17 |      621 |      340
482.71/482.90	c  482s |      16 |   333244 |   194352 |    20998     17 |      621 |      340
484.91/485.02	c  484s |      16 |   333917 |   194952 |    20998     17 |      621 |      340
487.12/487.20	c  486s |      16 |   334879 |   195752 |    20998     17 |      621 |      340
489.32/489.46	c  489s |      16 |   335670 |   196452 |    23098     17 |      621 |      340
491.62/491.78	c  491s |      16 |   336310 |   197052 |    23098     17 |      621 |      340
493.12/493.26	c  492s |      17 |   336730 |   197432 |    23098     17 |      621 |      340
495.22/495.30	c  495s |      17 |   343636 |   198932 |    23098     17 |      621 |      340
497.32/497.42	c  497s |      17 |   345745 |   200332 |    23098     17 |      621 |      340
499.42/499.59	c  499s |      17 |   347524 |   201632 |    23098     17 |      621 |      340
501.52/501.68	c  501s |      17 |   349562 |   202732 |    23098     17 |      621 |      340
503.82/503.91	c  503s |      17 |   350855 |   203732 |    23098     17 |      621 |      340
506.02/506.16	c  505s |      17 |   351776 |   204432 |    23098     18 |      621 |      340
508.12/508.26	c  507s |      17 |   353230 |   205532 |    23098     18 |      621 |      340
510.21/510.32	c  510s |      17 |   354911 |   206832 |    23098     18 |      621 |      340
512.21/512.35	c  512s |      17 |   356564 |   208132 |    23098     18 |      621 |      340
514.31/514.44	c  514s |      17 |   358150 |   209332 |    23098     18 |      621 |      340
516.41/516.53	c  516s |      17 |   359565 |   210432 |    23098     18 |      621 |      340
518.51/518.61	c  518s |      17 |   360896 |   211432 |    23098     18 |      621 |      340
520.51/520.64	c  520s |      17 |   362194 |   212432 |    23098     18 |      621 |      340
522.61/522.73	c  522s |      17 |   363394 |   213332 |    23098     18 |      621 |      340
524.81/524.93	c  524s |      17 |   364483 |   214232 |    23098     18 |      621 |      340
526.82/526.93	c  526s |      17 |   365319 |   214932 |    23098     18 |      621 |      340
528.91/529.06	c  528s |      17 |   366272 |   215732 |    23098     18 |      621 |      340
531.01/531.12	c  530s |      17 |   367139 |   216432 |    23098     18 |      621 |      340
533.11/533.25	c  532s |      17 |   367964 |   217132 |    23098     18 |      621 |      340
535.11/535.29	c  535s |      17 |   368563 |   217632 |    23098     19 |      621 |      340
537.21/537.34	c  537s |      17 |   369355 |   218332 |    23098     19 |      621 |      340
539.41/539.50	c  539s |      17 |   370148 |   219032 |    23098     19 |      621 |      340
541.41/541.51	c  541s |      17 |   371292 |   219832 |    23098     19 |      621 |      340
543.51/543.66	c  543s |      17 |   372483 |   220932 |    23098     19 |      621 |      340
545.61/545.72	c  545s |      17 |   373340 |   221732 |    23098     19 |      621 |      340
547.71/547.90	c  547s |      17 |   374201 |   222532 |    23098     19 |      621 |      340
549.91/550.03	c  549s |      17 |   374951 |   223232 |    23098     19 |      621 |      340
551.91/552.06	c  551s |      17 |   375831 |   223932 |    23098     19 |      621 |      340
554.21/554.34	c  554s |      17 |   376881 |   224732 |    23098     19 |      621 |      340
556.31/556.43	c  556s |      17 |   378004 |   225632 |    23098     19 |      621 |      340
558.31/558.44	c  558s |      17 |   378945 |   226332 |    23098     19 |      621 |      340
560.30/560.49	c  560s |      17 |   379774 |   227032 |    23098     19 |      621 |      340
562.40/562.55	c  562s |      17 |   380447 |   227632 |    23098     19 |      621 |      340
564.60/564.74	c  564s |      17 |   381149 |   228232 |    23098     19 |      621 |      340
566.60/566.75	c  566s |      17 |   382037 |   228932 |    23098     19 |      621 |      340
568.61/568.76	c  568s |      17 |   382719 |   229532 |    23098     19 |      621 |      340
570.60/570.76	c  570s |      17 |   383293 |   230032 |    23098     19 |      621 |      340
573.01/573.15	c  572s |      17 |   384000 |   230632 |    23098     19 |      621 |      340
575.00/575.16	c  574s |      17 |   384435 |   231032 |    23098     20 |      621 |      340
577.20/577.37	c  577s |      17 |   385206 |   231732 |    23098     20 |      621 |      340
579.50/579.66	c  579s |      17 |   385953 |   232432 |    23098     20 |      621 |      340
581.60/581.71	c  581s |      17 |   386736 |   233132 |    23098     20 |      621 |      340
583.80/583.93	c  583s |      17 |   387387 |   233732 |    23098     20 |      621 |      340
585.90/586.06	c  585s |      17 |   388045 |   234332 |    23098     20 |      621 |      340
588.00/588.15	c  587s |      17 |   388920 |   235032 |    23098     20 |      621 |      340
590.20/590.31	c  590s |      17 |   389847 |   235832 |    23098     20 |      621 |      340
592.30/592.42	c  592s |      17 |   390546 |   236432 |    23098     20 |      621 |      340
594.30/594.43	c  594s |      17 |   391398 |   237132 |    23098     20 |      621 |      340
596.50/596.60	c  596s |      17 |   392257 |   237832 |    23098     20 |      621 |      340
598.50/598.64	c  598s |      17 |   392803 |   238332 |    23098     20 |      621 |      340
600.60/600.72	c  600s |      17 |   393358 |   238832 |    23098     20 |      621 |      340
602.70/602.86	c  602s |      17 |   394010 |   239432 |    23098     20 |      621 |      340
604.90/605.06	c  604s |      17 |   394537 |   239932 |    23098     20 |      621 |      340
607.30/607.43	c  607s |      17 |   395072 |   240432 |    23098     20 |      621 |      340
609.60/609.71	c  609s |      17 |   395606 |   240932 |    23098     20 |      621 |      340
611.60/611.79	c  611s |      17 |   396336 |   241532 |    23098     20 |      621 |      340
614.09/614.20	c  613s |      17 |   397128 |   242232 |    23098     20 |      621 |      340
616.29/616.46	c  616s |      17 |   397925 |   242932 |    23098     20 |      621 |      340
618.69/618.81	c  618s |      17 |   398512 |   243432 |    23098     20 |      621 |      340
621.09/621.23	c  620s |      17 |   399041 |   243932 |    23098     20 |      621 |      340
623.19/623.35	c  623s |      17 |   399670 |   244532 |    23098     21 |      621 |      340
625.19/625.38	c  625s |      17 |   400311 |   245132 |    23098     21 |      621 |      340
627.39/627.52	c  627s |      17 |   401265 |   245932 |    23098     21 |      621 |      340
629.59/629.74	c  629s |      17 |   402152 |   246732 |    23098     21 |      621 |      340
631.79/631.94	c  631s |      17 |   402998 |   247532 |    23098     21 |      621 |      340
633.79/633.98	c  633s |      17 |   403728 |   248232 |    23098     21 |      621 |      340
635.99/636.14	c  635s |      17 |   404460 |   248932 |    23098     21 |      621 |      340
638.00/638.15	c  637s |      17 |   405207 |   249632 |    23098     21 |      621 |      340
640.09/640.29	c  639s |      17 |   406085 |   250432 |    23098     21 |      621 |      340
642.29/642.42	c  642s |      17 |   406850 |   251132 |    23098     21 |      621 |      340
644.39/644.53	c  644s |      17 |   407756 |   251932 |    23098     21 |      621 |      340
646.49/646.60	c  646s |      17 |   408547 |   252632 |    23098     21 |      621 |      340
648.69/648.81	c  648s |      17 |   409279 |   253332 |    23098     21 |      621 |      340
650.89/651.04	c  650s |      17 |   410064 |   254032 |    23098     21 |      621 |      340
653.09/653.25	c  652s |      17 |   410701 |   254632 |    23098     21 |      621 |      340
655.29/655.46	c  655s |      17 |   411374 |   255232 |    23098     21 |      621 |      340
657.59/657.75	c  657s |      17 |   412015 |   255832 |    23098     21 |      621 |      340
659.89/660.04	c  659s |      17 |   412690 |   256432 |    23098     21 |      621 |      340
661.98/662.18	c  661s |      17 |   413269 |   256932 |    23098     21 |      621 |      340
664.29/664.47	c  664s |      17 |   413802 |   257432 |    23098     22 |      621 |      340
666.38/666.54	c  666s |      17 |   414452 |   258032 |    23098     22 |      621 |      340
668.38/668.55	c  668s |      17 |   415090 |   258632 |    23098     22 |      621 |      340
670.48/670.65	c  670s |      17 |   415755 |   259232 |    23098     22 |      621 |      340
672.68/672.89	c  672s |      17 |   416428 |   259832 |    23098     22 |      621 |      340
674.98/675.14	c  674s |      17 |   417101 |   260432 |    23098     22 |      621 |      340
677.38/677.53	c  677s |      17 |   417757 |   261032 |    23098     22 |      621 |      340
679.48/679.64	c  679s |      17 |   418303 |   261532 |    23098     22 |      621 |      340
681.48/681.68	c  681s |      17 |   418845 |   262032 |    23098     22 |      621 |      340
683.78/683.99	c  683s |      17 |   419399 |   262532 |    23098     22 |      621 |      340
685.98/686.17	c  685s |      17 |   420108 |   263132 |    23098     22 |      621 |      340
688.29/688.40	c  688s |      17 |   420798 |   263732 |    23098     22 |      621 |      340
690.59/690.77	c  690s |      17 |   421482 |   264332 |    23098     22 |      621 |      340
692.79/693.00	c  692s |      17 |   422156 |   264932 |    23098     22 |      621 |      340
694.99/695.18	c  694s |      17 |   422868 |   265532 |    23098     22 |      621 |      340
697.39/697.51	c  697s |      17 |   423575 |   266132 |    23098     22 |      621 |      340
699.69/699.81	c  699s |      17 |   424296 |   266732 |    23098     22 |      621 |      340
701.79/701.94	c  701s |      17 |   424870 |   267232 |    23098     22 |      621 |      340
703.99/704.12	c  703s |      17 |   425489 |   267732 |    23098     22 |      621 |      340
706.19/706.33	c  706s |      17 |   426044 |   268232 |    23098     22 |      621 |      340
708.18/708.38	c  708s |      17 |   426674 |   268732 |    23098     22 |      621 |      340
710.38/710.52	c  710s |      17 |   427258 |   269232 |    23098     22 |      621 |      340
712.69/712.87	c  712s |      17 |   427816 |   269732 |    23098     22 |      621 |      340
714.68/714.87	c  714s |      17 |   428296 |   270132 |    23098     22 |      621 |      340
716.88/717.00	c  716s |      17 |   428941 |   270632 |    23098     23 |      621 |      340
719.18/719.36	c  719s |      17 |   429755 |   271332 |    23098     23 |      621 |      340
721.38/721.56	c  721s |      17 |   430464 |   271932 |    23098     23 |      621 |      340
723.58/723.78	c  723s |      17 |   431182 |   272532 |    23098     23 |      621 |      340
725.78/725.96	c  725s |      17 |   431831 |   273132 |    23098     23 |      621 |      340
727.98/728.13	c  727s |      17 |   432522 |   273732 |    23098     23 |      621 |      340
730.08/730.23	c  729s |      17 |   433173 |   274332 |    23098     23 |      621 |      340
732.28/732.43	c  732s |      17 |   433834 |   274932 |    23098     23 |      621 |      340
734.48/734.65	c  734s |      17 |   434513 |   275532 |    23098     23 |      621 |      340
736.78/736.90	c  736s |      17 |   435073 |   276032 |    23098     23 |      621 |      340
739.08/739.25	c  738s |      17 |   435656 |   276532 |    23098     23 |      621 |      340
741.38/741.51	c  741s |      17 |   436228 |   277032 |    23098     23 |      621 |      340
743.68/743.83	c  743s |      17 |   436906 |   277632 |    23098     23 |      621 |      340
745.98/746.11	c  745s |      17 |   437622 |   278232 |    23098     23 |      621 |      340
748.18/748.30	c  748s |      17 |   438209 |   278732 |    23098     23 |      621 |      340
750.38/750.54	c  750s |      17 |   438766 |   279232 |    23098     23 |      621 |      340
752.68/752.85	c  752s |      17 |   439327 |   279732 |    23098     23 |      621 |      340
754.68/754.89	c  754s |      17 |   439922 |   280232 |    23098     23 |      621 |      340
757.17/757.32	c  757s |      17 |   440505 |   280732 |    23098     23 |      621 |      340
759.57/759.73	c  759s |      17 |   441063 |   281232 |    23098     23 |      621 |      340
762.07/762.25	c  761s |      17 |   441603 |   281732 |    23098     23 |      621 |      340
764.57/764.75	c  764s |      17 |   442154 |   282232 |    23098     23 |      621 |      340
767.07/767.20	c  766s |      17 |   442745 |   282732 |    23098     23 |      621 |      340
769.17/769.33	c  769s |      17 |   443182 |   283132 |    23098     23 |      621 |      340
771.77/771.91	c  771s |      17 |   443653 |   283532 |    23098     24 |      621 |      340
773.97/774.12	c  773s |      17 |   444324 |   284132 |    23098     24 |      621 |      340
776.07/776.26	c  775s |      17 |   444993 |   284732 |    23098     24 |      621 |      340
778.27/778.41	c  778s |      17 |   445858 |   285432 |    23098     24 |      621 |      340
780.37/780.50	c  780s |      17 |   446534 |   286032 |    23098     24 |      621 |      340
782.67/782.80	c  782s |      17 |   447206 |   286632 |    23098     24 |      621 |      340
784.97/785.14	c  784s |      17 |   447719 |   287132 |    23098     24 |      621 |      340
786.97/787.19	c  786s |      17 |   448286 |   287632 |    23098     24 |      621 |      340
789.27/789.48	c  789s |      17 |   448949 |   288232 |    23098     24 |      621 |      340
791.66/791.88	c  791s |      17 |   449603 |   288832 |    23098     24 |      621 |      340
794.07/794.29	c  793s |      17 |   450258 |   289432 |    23098     24 |      621 |      340
796.16/796.40	c  796s |      17 |   450794 |   289932 |    23098     24 |      621 |      340
798.48/798.66	c  798s |      17 |   451352 |   290432 |    23098     24 |      621 |      340
800.57/800.72	c  800s |      17 |   451773 |   290832 |    23098     24 |      621 |      340
802.88/803.04	c  802s |      17 |   452313 |   291332 |    23098     24 |      621 |      340
805.18/805.38	c  805s |      17 |   452842 |   291832 |    23098     24 |      621 |      340
807.67/807.80	c  807s |      17 |   453373 |   292332 |    23098     24 |      621 |      340
809.97/810.12	c  809s |      17 |   453930 |   292832 |    23098     24 |      621 |      340
812.17/812.36	c  812s |      17 |   454470 |   293332 |    23098     24 |      621 |      340
814.27/814.46	c  814s |      17 |   455011 |   293832 |    23098     24 |      621 |      340
816.36/816.54	c  816s |      17 |   455430 |   294232 |    25408     24 |      621 |      340
818.76/818.91	c  818s |      17 |   455990 |   294732 |    25408     24 |      621 |      340
821.16/821.33	c  821s |      17 |   456555 |   295232 |    25408     24 |      621 |      340
823.56/823.75	c  823s |      17 |   457104 |   295732 |    25408     24 |      621 |      340
825.66/825.83	c  825s |      17 |   457551 |   296132 |    25408     24 |      621 |      340
826.26/826.41	c  826s |      18 |   457683 |   296252 |    25408     24 |      621 |      340
828.27/828.48	c  828s |      18 |   461822 |   297252 |    25408     25 |      621 |      340
830.37/830.54	c  830s |      18 |   464538 |   298552 |    25408     25 |      621 |      340
832.57/832.74	c  832s |      18 |   465592 |   299552 |    25408     25 |      621 |      340
834.66/834.85	c  834s |      18 |   466578 |   300452 |    25408     25 |      621 |      340
836.66/836.87	c  836s |      18 |   468072 |   301552 |    25408     25 |      621 |      340
838.76/838.93	c  838s |      18 |   468911 |   302352 |    25408     25 |      621 |      340
840.86/841.02	c  840s |      18 |   470154 |   303352 |    25408     25 |      621 |      340
842.86/843.04	c  842s |      18 |   471141 |   304152 |    25408     25 |      621 |      340
845.05/845.20	c  844s |      18 |   472270 |   305052 |    25408     25 |      621 |      340
847.26/847.48	c  847s |      18 |   473198 |   305852 |    25408     25 |      621 |      340
849.36/849.50	c  849s |      18 |   474075 |   306552 |    25408     25 |      621 |      340
851.27/851.50	c  851s |      18 |   474883 |   307252 |    25408     25 |      621 |      340
853.36/853.51	c  853s |      18 |   475578 |   307852 |    25408     25 |      621 |      340
855.36/855.55	c  855s |      18 |   476300 |   308452 |    25408     25 |      621 |      340
857.76/857.95	c  857s |      18 |   477096 |   309152 |    25408     25 |      621 |      340
860.07/860.21	c  859s |      18 |   477859 |   309852 |    25408     25 |      621 |      340
862.16/862.33	c  862s |      18 |   478635 |   310552 |    25408     25 |      621 |      340
864.36/864.59	c  864s |      18 |   479319 |   311152 |    25408     25 |      621 |      340
866.46/866.63	c  866s |      18 |   479963 |   311752 |    25408     25 |      621 |      340
868.46/868.64	c  868s |      18 |   480509 |   312252 |    25408     26 |      621 |      340
870.66/870.80	c  870s |      18 |   481180 |   312852 |    25408     26 |      621 |      340
872.86/873.00	c  872s |      18 |   481834 |   313452 |    25408     26 |      621 |      340
875.16/875.39	c  875s |      18 |   482618 |   314152 |    25408     26 |      621 |      340
877.36/877.57	c  877s |      18 |   483309 |   314752 |    25408     26 |      621 |      340
879.76/879.98	c  879s |      18 |   483947 |   315352 |    25408     26 |      621 |      340
881.86/882.00	c  881s |      18 |   484482 |   315852 |    25408     26 |      621 |      340
883.96/884.14	c  883s |      18 |   485026 |   316352 |    25408     26 |      621 |      340
886.06/886.20	c  885s |      18 |   485575 |   316852 |    25408     26 |      621 |      340
888.06/888.28	c  887s |      18 |   486122 |   317352 |    25408     26 |      621 |      340
890.35/890.54	c  890s |      18 |   486662 |   317852 |    25408     26 |      621 |      340
892.45/892.66	c  892s |      18 |   487205 |   318352 |    25408     26 |      621 |      340
894.55/894.71	c  894s |      18 |   487739 |   318852 |    25408     26 |      621 |      340
896.85/897.01	c  896s |      18 |   488422 |   319452 |    25408     26 |      621 |      340
899.05/899.23	c  898s |      18 |   488973 |   319952 |    25408     26 |      621 |      340
901.35/901.52	c  901s |      18 |   489652 |   320552 |    25408     26 |      621 |      340
903.55/903.80	c  903s |      18 |   490201 |   321052 |    25408     26 |      621 |      340
905.85/906.01	c  905s |      18 |   490756 |   321552 |    25408     26 |      621 |      340
908.05/908.29	c  907s |      18 |   491425 |   322152 |    25408     26 |      621 |      340
910.15/910.36	c  910s |      18 |   491977 |   322652 |    25408     26 |      621 |      340
912.45/912.60	c  912s |      18 |   492528 |   323152 |    25408     26 |      621 |      340
914.65/914.81	c  914s |      18 |   493050 |   323652 |    25408     26 |      621 |      340
916.95/917.19	c  916s |      18 |   493602 |   324152 |    25408     26 |      621 |      340
919.35/919.56	c  919s |      18 |   494158 |   324652 |    25408     26 |      621 |      340
921.45/921.64	c  921s |      18 |   494724 |   325152 |    25408     26 |      621 |      340
923.45/923.68	c  923s |      18 |   495268 |   325652 |    25408     26 |      621 |      340
925.65/925.82	c  925s |      18 |   495811 |   326152 |    25408     26 |      621 |      340
927.95/928.10	c  927s |      18 |   496259 |   326552 |    25408     27 |      621 |      340
930.15/930.35	c  930s |      18 |   496897 |   327152 |    25408     27 |      621 |      340
932.25/932.44	c  932s |      18 |   497564 |   327752 |    25408     27 |      621 |      340
934.45/934.64	c  934s |      18 |   498211 |   328352 |    25408     27 |      621 |      340
936.54/936.77	c  936s |      18 |   498755 |   328852 |    25408     27 |      621 |      340
938.74/938.99	c  938s |      18 |   499422 |   329452 |    25408     27 |      621 |      340
941.24/941.42	c  941s |      18 |   500064 |   330052 |    25408     27 |      621 |      340
943.65/943.81	c  943s |      18 |   500723 |   330652 |    25408     27 |      621 |      340
945.85/946.01	c  945s |      18 |   501260 |   331152 |    25408     27 |      621 |      340
947.84/948.04	c  947s |      18 |   501792 |   331652 |    25408     27 |      621 |      340
949.94/950.18	c  949s |      18 |   502349 |   332152 |    25408     27 |      621 |      340
952.04/952.29	c  951s |      18 |   502927 |   332652 |    25408     27 |      621 |      340
954.14/954.39	c  954s |      18 |   503480 |   333152 |    25408     27 |      621 |      340
956.34/956.52	c  956s |      18 |   504066 |   333652 |    25408     27 |      621 |      340
958.44/958.68	c  958s |      18 |   504626 |   334152 |    25408     27 |      621 |      340
960.74/960.90	c  960s |      18 |   505216 |   334652 |    25408     27 |      621 |      340
962.74/962.91	c  962s |      18 |   505643 |   335052 |    25408     27 |      621 |      340
964.94/965.17	c  964s |      18 |   506215 |   335552 |    25408     27 |      621 |      340
967.44/967.61	c  967s |      18 |   506780 |   336052 |    25408     27 |      621 |      340
969.74/969.93	c  969s |      18 |   507339 |   336552 |    25408     27 |      621 |      340
971.84/972.07	c  971s |      18 |   507863 |   337052 |    25408     27 |      621 |      340
974.24/974.40	c  974s |      18 |   508441 |   337552 |    25408     27 |      621 |      340
976.54/976.78	c  976s |      18 |   509004 |   338052 |    25408     27 |      621 |      340
978.74/978.95	c  978s |      18 |   509415 |   338452 |    25408     27 |      621 |      340
980.83/981.00	c  980s |      18 |   509850 |   338852 |    25408     27 |      621 |      340
983.13/983.33	c  983s |      18 |   510393 |   339352 |    25408     27 |      621 |      340
985.54/985.72	c  985s |      18 |   510927 |   339852 |    25408     27 |      621 |      340
987.64/987.88	c  987s |      18 |   511355 |   340252 |    25408     27 |      621 |      340
990.33/990.53	c  990s |      18 |   511790 |   340652 |    25408     28 |      621 |      340
992.63/992.90	c  992s |      18 |   512444 |   341252 |    25408     28 |      621 |      340
994.93/995.16	c  994s |      18 |   513104 |   341852 |    25408     28 |      621 |      340
997.33/997.54	c  997s |      18 |   513791 |   342452 |    25408     28 |      621 |      340
999.33/999.57	c  999s |      18 |   514331 |   342952 |    25408     28 |      621 |      340
1001.63/1001.88	c 1001s |      18 |   514863 |   343452 |    25408     28 |      621 |      340
1004.14/1004.36	c 1004s |      18 |   515374 |   343952 |    25408     28 |      621 |      340
1006.44/1006.62	c 1006s |      18 |   515910 |   344452 |    25408     28 |      621 |      340
1008.83/1009.02	c 1008s |      18 |   516437 |   344952 |    25408     28 |      621 |      340
1010.93/1011.16	c 1010s |      18 |   516863 |   345352 |    25408     28 |      621 |      340
1013.43/1013.70	c 1013s |      18 |   517383 |   345852 |    25408     28 |      621 |      340
1015.53/1015.75	c 1015s |      18 |   517807 |   346252 |    25408     28 |      621 |      340
1017.62/1017.88	c 1017s |      18 |   518215 |   346652 |    25408     28 |      621 |      340
1020.02/1020.24	c 1019s |      18 |   518645 |   347052 |    25408     28 |      621 |      340
1022.32/1022.52	c 1022s |      18 |   519187 |   347552 |    25408     28 |      621 |      340
1024.62/1024.84	c 1024s |      18 |   519758 |   348052 |    25408     28 |      621 |      340
1026.92/1027.14	c 1026s |      18 |   520346 |   348552 |    25408     28 |      621 |      340
1029.02/1029.24	c 1028s |      18 |   521153 |   349152 |    25408     28 |      621 |      340
1031.32/1031.56	c 1031s |      18 |   521821 |   349752 |    25408     28 |      621 |      340
1033.72/1033.90	c 1033s |      18 |   522692 |   350452 |    25408     28 |      621 |      340
1035.92/1036.17	c 1035s |      18 |   523362 |   351052 |    25408     28 |      621 |      340
1038.12/1038.32	c 1038s |      18 |   523899 |   351552 |    25408     28 |      621 |      340
1040.22/1040.41	c 1040s |      18 |   524479 |   352052 |    25408     28 |      621 |      340
1042.63/1042.85	c 1042s |      18 |   525173 |   352652 |    25408     28 |      621 |      340
1044.93/1045.19	c 1044s |      18 |   525850 |   353252 |    25408     28 |      621 |      340
1047.03/1047.24	c 1046s |      18 |   526399 |   353752 |    25408     28 |      621 |      340
1049.23/1049.48	c 1049s |      18 |   526957 |   354252 |    25408     28 |      621 |      340
1051.32/1051.58	c 1051s |      18 |   527538 |   354752 |    25408     28 |      621 |      340
1053.52/1053.72	c 1053s |      18 |   527855 |   355052 |    25408     29 |      621 |      340
1055.72/1055.91	c 1055s |      18 |   528506 |   355652 |    25408     29 |      621 |      340
1058.02/1058.30	c 1058s |      18 |   529285 |   356352 |    25408     29 |      621 |      340
1060.42/1060.61	c 1060s |      18 |   529948 |   356952 |    25408     29 |      621 |      340
1062.42/1062.69	c 1062s |      18 |   530514 |   357452 |    25408     29 |      621 |      340
1064.72/1064.96	c 1064s |      18 |   531201 |   358052 |    25408     29 |      621 |      340
1066.82/1067.03	c 1066s |      18 |   531920 |   358652 |    25408     29 |      621 |      340
1069.02/1069.25	c 1068s |      18 |   532666 |   359252 |    25408     29 |      621 |      340
1071.02/1071.29	c 1070s |      18 |   533210 |   359752 |    25408     29 |      621 |      340
1073.42/1073.63	c 1073s |      18 |   533907 |   360352 |    25408     29 |      621 |      340
1075.51/1075.71	c 1075s |      18 |   534483 |   360852 |    25408     29 |      621 |      340
1077.51/1077.77	c 1077s |      18 |   535065 |   361352 |    25408     29 |      621 |      340
1079.81/1080.08	c 1079s |      18 |   535605 |   361852 |    25408     29 |      621 |      340
1082.22/1082.50	c 1082s |      18 |   536142 |   362352 |    25408     29 |      621 |      340
1084.31/1084.56	c 1084s |      18 |   536717 |   362852 |    25408     29 |      621 |      340
1086.72/1086.91	c 1086s |      18 |   537296 |   363352 |    25408     29 |      621 |      340
1088.82/1089.07	c 1088s |      18 |   537901 |   363852 |    25408     29 |      621 |      340
1091.21/1091.45	c 1091s |      18 |   538454 |   364352 |    25408     29 |      621 |      340
1093.22/1093.47	c 1093s |      18 |   538895 |   364752 |    25408     29 |      621 |      340
1095.71/1095.99	c 1095s |      18 |   539447 |   365252 |    25408     29 |      621 |      340
1098.31/1098.50	c 1098s |      18 |   539997 |   365752 |    25408     29 |      621 |      340
1100.41/1100.70	c 1100s |      18 |   540420 |   366152 |    25408     29 |      621 |      340
1102.61/1102.81	c 1102s |      18 |   540998 |   366652 |    25408     29 |      621 |      340
1104.61/1104.87	c 1104s |      18 |   541596 |   367152 |    25408     29 |      621 |      340
1106.61/1106.90	c 1106s |      18 |   542133 |   367652 |    25408     29 |      621 |      340
1108.91/1109.17	c 1108s |      18 |   542817 |   368252 |    25408     29 |      621 |      340
1111.01/1111.21	c 1110s |      18 |   543379 |   368752 |    25408     29 |      621 |      340
1113.11/1113.32	c 1113s |      18 |   543944 |   369252 |    25408     29 |      621 |      340
1115.21/1115.49	c 1115s |      18 |   544386 |   369652 |    25408     30 |      621 |      340
1117.51/1117.73	c 1117s |      18 |   545037 |   370252 |    25408     30 |      621 |      340
1119.50/1119.80	c 1119s |      18 |   545563 |   370752 |    25408     30 |      621 |      340
1121.81/1122.05	c 1121s |      18 |   546393 |   371452 |    25408     30 |      621 |      340
1124.01/1124.29	c 1124s |      18 |   547153 |   372052 |    25408     30 |      621 |      340
1126.21/1126.43	c 1126s |      18 |   547820 |   372652 |    25408     30 |      621 |      340
1128.51/1128.76	c 1128s |      18 |   548467 |   373252 |    25408     30 |      621 |      340
1130.80/1131.08	c 1130s |      18 |   549133 |   373852 |    25408     30 |      621 |      340
1132.91/1133.16	c 1132s |      18 |   549684 |   374352 |    25408     30 |      621 |      340
1135.01/1135.25	c 1134s |      18 |   550220 |   374852 |    25408     30 |      621 |      340
1137.21/1137.42	c 1137s |      18 |   550767 |   375352 |    25408     30 |      621 |      340
1139.30/1139.58	c 1139s |      18 |   551320 |   375852 |    25408     30 |      621 |      340
1141.61/1141.85	c 1141s |      18 |   551871 |   376352 |    25408     30 |      621 |      340
1143.81/1144.07	c 1143s |      18 |   552411 |   376852 |    25408     30 |      621 |      340
1146.20/1146.44	c 1146s |      18 |   552942 |   377352 |    25408     30 |      621 |      340
1148.31/1148.59	c 1148s |      18 |   553527 |   377852 |    25408     30 |      621 |      340
1150.41/1150.63	c 1150s |      18 |   554258 |   378452 |    25408     30 |      621 |      340
1152.61/1152.81	c 1152s |      18 |   554974 |   379052 |    25408     30 |      621 |      340
1154.70/1154.99	c 1154s |      18 |   555551 |   379552 |    25408     30 |      621 |      340
1157.11/1157.31	c 1157s |      18 |   556092 |   380052 |    25408     30 |      621 |      340
1159.10/1159.39	c 1159s |      18 |   556695 |   380552 |    25408     30 |      621 |      340
1161.20/1161.49	c 1161s |      18 |   557320 |   381052 |    25408     30 |      621 |      340
1163.40/1163.65	c 1163s |      18 |   558086 |   381652 |    25408     30 |      621 |      340
1165.49/1165.77	c 1165s |      18 |   558670 |   382152 |    25408     30 |      621 |      340
1167.89/1168.16	c 1167s |      18 |   559402 |   382752 |    25408     30 |      621 |      340
1169.99/1170.24	c 1169s |      18 |   559962 |   383252 |    25408     30 |      621 |      340
1172.59/1172.88	c 1172s |      18 |   560556 |   383752 |    25408     31 |      621 |      340
1174.69/1174.91	c 1174s |      18 |   561099 |   384252 |    25408     31 |      621 |      340
1176.69/1176.95	c 1176s |      18 |   561781 |   384852 |    25408     31 |      621 |      340
1178.99/1179.26	c 1178s |      18 |   562514 |   385452 |    25408     31 |      621 |      340
1181.19/1181.42	c 1181s |      18 |   563170 |   386052 |    25408     31 |      621 |      340
1183.29/1183.50	c 1183s |      18 |   563807 |   386652 |    25408     31 |      621 |      340
1185.59/1185.88	c 1185s |      18 |   564498 |   387252 |    25408     31 |      621 |      340
1187.98/1188.23	c 1187s |      18 |   565171 |   387852 |    25408     31 |      621 |      340
1190.28/1190.57	c 1190s |      18 |   565846 |   388452 |    25408     31 |      621 |      340
1192.58/1192.87	c 1192s |      18 |   566496 |   389052 |    25408     31 |      621 |      340
1194.98/1195.20	c 1194s |      18 |   567198 |   389652 |    25408     31 |      621 |      340
1197.08/1197.38	c 1197s |      18 |   567746 |   390152 |    25408     31 |      621 |      340
1199.38/1199.61	c 1199s |      18 |   568313 |   390652 |    25408     31 |      621 |      340
1201.58/1201.87	c 1201s |      18 |   568859 |   391152 |    25408     31 |      621 |      340
1203.98/1204.20	c 1203s |      18 |   569423 |   391652 |    25408     31 |      621 |      340
1205.97/1206.24	c 1205s |      18 |   569849 |   392052 |    25408     31 |      621 |      340
1208.07/1208.36	c 1208s |      18 |   570417 |   392552 |    25408     31 |      621 |      340
1210.47/1210.70	c 1210s |      18 |   570994 |   393052 |    25408     31 |      621 |      340
1212.77/1213.08	c 1212s |      18 |   571540 |   393552 |    25408     31 |      621 |      340
1214.86/1215.17	c 1214s |      18 |   571961 |   393952 |    25408     31 |      621 |      340
1217.06/1217.38	c 1217s |      18 |   572419 |   394352 |    25408     31 |      621 |      340
1219.56/1219.82	c 1219s |      18 |   572953 |   394852 |    25408     31 |      621 |      340
1222.06/1222.30	c 1222s |      18 |   573510 |   395352 |    25408     31 |      621 |      340
1224.36/1224.60	c 1224s |      18 |   574050 |   395852 |    25408     31 |      621 |      340
1226.56/1226.81	c 1226s |      18 |   574598 |   396352 |    25408     31 |      621 |      340
1228.86/1229.14	c 1228s |      18 |   575189 |   396852 |    25408     31 |      621 |      340
1230.86/1231.19	c 1230s |      18 |   575779 |   397352 |    25408     31 |      621 |      340
1233.35/1233.67	c 1233s |      18 |   576346 |   397852 |    25408     31 |      621 |      340
1235.45/1235.72	c 1235s |      18 |   576665 |   398152 |    25408     32 |      621 |      340
1237.85/1238.12	c 1237s |      18 |   577352 |   398752 |    25408     32 |      621 |      340
1239.85/1240.16	c 1239s |      18 |   577914 |   399252 |    25408     32 |      621 |      340
1241.95/1242.27	c 1241s |      18 |   578462 |   399752 |    25408     32 |      621 |      340
1244.35/1244.64	c 1244s |      18 |   579115 |   400352 |    25408     32 |      621 |      340
1246.45/1246.75	c 1246s |      18 |   579658 |   400852 |    25408     32 |      621 |      340
1248.54/1248.86	c 1248s |      18 |   580206 |   401352 |    25408     32 |      621 |      340
1250.64/1250.92	c 1250s |      18 |   580761 |   401852 |    25408     32 |      621 |      340
1252.84/1253.19	c 1252s |      18 |   581312 |   402352 |    25408     32 |      621 |      340
1254.85/1255.20	c 1254s |      18 |   581757 |   402752 |    25408     32 |      621 |      340
1257.25/1257.57	c 1257s |      18 |   582315 |   403252 |    25408     32 |      621 |      340
1259.55/1259.85	c 1259s |      18 |   582879 |   403752 |    25408     32 |      621 |      340
1261.95/1262.27	c 1261s |      18 |   583565 |   404352 |    25408     32 |      621 |      340
1264.24/1264.58	c 1264s |      18 |   584131 |   404852 |    25408     32 |      621 |      340
1266.54/1266.85	c 1266s |      18 |   584705 |   405352 |    25408     32 |      621 |      340
1268.64/1268.90	c 1268s |      18 |   585135 |   405752 |    25408     32 |      621 |      340
1270.64/1270.98	c 1270s |      18 |   585568 |   406152 |    25408     32 |      621 |      340
1272.74/1273.08	c 1272s |      18 |   585994 |   406552 |    25408     32 |      621 |      340
1275.14/1275.40	c 1275s |      18 |   586547 |   407052 |    25408     32 |      621 |      340
1277.44/1277.76	c 1277s |      18 |   587207 |   407652 |    25408     32 |      621 |      340
1279.53/1279.80	c 1279s |      18 |   587739 |   408152 |    25408     32 |      621 |      340
1281.73/1282.05	c 1281s |      18 |   588163 |   408552 |    25408     32 |      621 |      340
1284.13/1284.42	c 1284s |      18 |   588722 |   409052 |    25408     32 |      621 |      340
1286.13/1286.49	c 1286s |      18 |   589167 |   409452 |    25408     32 |      621 |      340
1288.53/1288.86	c 1288s |      18 |   589602 |   409852 |    25408     32 |      621 |      340
1290.73/1291.05	c 1290s |      18 |   590034 |   410252 |    25408     32 |      621 |      340
1292.93/1293.23	c 1292s |      18 |   590482 |   410652 |    25408     32 |      621 |      340
1295.23/1295.53	c 1295s |      18 |   590913 |   411052 |    25408     32 |      621 |      340
1297.52/1297.81	c 1297s |      18 |   591344 |   411452 |    25408     32 |      621 |      340
1300.03/1300.35	c 1300s |      18 |   591904 |   411952 |    25408     32 |      621 |      340
1302.82/1303.16	c 1302s |      18 |   592327 |   412352 |    25408     33 |      621 |      340
1304.92/1305.22	c 1304s |      18 |   592863 |   412852 |    25408     33 |      621 |      340
1307.22/1307.54	c 1307s |      18 |   593412 |   413352 |    25408     33 |      621 |      340
1309.62/1309.91	c 1309s |      18 |   593971 |   413852 |    25408     33 |      621 |      340
1311.72/1312.07	c 1311s |      18 |   594406 |   414252 |    25408     33 |      621 |      340
1313.82/1314.14	c 1313s |      18 |   594845 |   414652 |    25408     33 |      621 |      340
1315.91/1316.21	c 1315s |      18 |   595263 |   415052 |    25408     33 |      621 |      340
1318.01/1318.30	c 1318s |      18 |   595825 |   415552 |    25408     33 |      621 |      340
1320.21/1320.51	c 1320s |      18 |   596365 |   416052 |    25408     33 |      621 |      340
1322.41/1322.74	c 1322s |      18 |   596920 |   416552 |    25408     33 |      621 |      340
1324.41/1324.79	c 1324s |      18 |   597476 |   417052 |    25408     33 |      621 |      340
1326.60/1326.96	c 1326s |      18 |   598034 |   417552 |    25408     33 |      621 |      340
1328.61/1328.96	c 1328s |      18 |   598583 |   418052 |    25408     33 |      621 |      340
1330.71/1331.06	c 1330s |      18 |   599008 |   418452 |    25408     33 |      621 |      340
1333.10/1333.47	c 1333s |      18 |   599566 |   418952 |    25408     33 |      621 |      340
1335.10/1335.50	c 1335s |      18 |   600005 |   419352 |    25408     33 |      621 |      340
1337.40/1337.75	c 1337s |      18 |   600563 |   419852 |    25408     33 |      621 |      340
1339.70/1340.05	c 1339s |      18 |   600996 |   420252 |    25408     33 |      621 |      340
1342.00/1342.31	c 1342s |      18 |   601427 |   420652 |    25408     33 |      621 |      340
1344.29/1344.64	c 1344s |      18 |   602005 |   421152 |    25408     33 |      621 |      340
1346.49/1346.87	c 1346s |      18 |   602576 |   421652 |    25408     33 |      621 |      340
1348.89/1349.22	c 1348s |      18 |   603150 |   422152 |    25408     33 |      621 |      340
1351.09/1351.41	c 1351s |      18 |   603686 |   422652 |    25408     33 |      621 |      340
1353.20/1353.54	c 1353s |      18 |   604228 |   423152 |    25408     33 |      621 |      340
1355.59/1355.92	c 1355s |      18 |   604661 |   423552 |    25408     33 |      621 |      340
1357.69/1358.04	c 1357s |      18 |   605091 |   423952 |    25408     33 |      621 |      340
1359.79/1360.15	c 1359s |      18 |   605544 |   424352 |    25408     33 |      621 |      340
1362.09/1362.47	c 1362s |      18 |   605992 |   424752 |    25408     33 |      621 |      340
1364.39/1364.75	c 1364s |      18 |   606419 |   425152 |    25408     33 |      621 |      340
1366.69/1367.04	c 1366s |      18 |   606859 |   425552 |    25408     33 |      621 |      340
1369.19/1369.52	c 1369s |      18 |   607300 |   425952 |    25408     33 |      621 |      340
1371.49/1371.83	c 1371s |      18 |   607736 |   426352 |    25408     33 |      621 |      340
1373.78/1374.17	c 1373s |      18 |   608051 |   426652 |    25408     34 |      621 |      340
1376.18/1376.51	c 1376s |      18 |   608587 |   427152 |    25408     34 |      621 |      340
1378.18/1378.55	c 1378s |      18 |   609130 |   427652 |    25408     34 |      621 |      340
1380.28/1380.68	c 1380s |      18 |   609679 |   428152 |    25408     34 |      621 |      340
1382.38/1382.79	c 1382s |      18 |   610251 |   428652 |    25408     34 |      621 |      340
1384.87/1385.24	c 1384s |      18 |   610913 |   429252 |    25408     34 |      621 |      340
1386.97/1387.34	c 1387s |      18 |   611369 |   429652 |    25408     34 |      621 |      340
1389.37/1389.74	c 1389s |      18 |   611907 |   430152 |    25408     34 |      621 |      340
1391.77/1392.16	c 1391s |      18 |   612444 |   430652 |    25408     34 |      621 |      340
1394.27/1394.63	c 1394s |      18 |   613008 |   431152 |    25408     34 |      621 |      340
1396.36/1396.76	c 1396s |      18 |   613444 |   431552 |    25408     34 |      621 |      340
1398.46/1398.83	c 1398s |      18 |   613892 |   431952 |    25408     34 |      621 |      340
1400.96/1401.33	c 1401s |      18 |   614438 |   432452 |    25408     34 |      621 |      340
1403.16/1403.52	c 1403s |      18 |   615019 |   432952 |    25408     34 |      621 |      340
1405.66/1406.04	c 1405s |      18 |   615596 |   433452 |    25408     34 |      621 |      340
1407.96/1408.33	c 1408s |      18 |   616035 |   433852 |    25408     34 |      621 |      340
1410.16/1410.55	c 1410s |      18 |   616463 |   434252 |    25408     34 |      621 |      340
1412.36/1412.71	c 1412s |      18 |   616916 |   434652 |    25408     34 |      621 |      340
1414.36/1414.77	c 1414s |      18 |   617358 |   435052 |    25408     34 |      621 |      340
1416.56/1416.97	c 1416s |      18 |   617804 |   435452 |    25408     34 |      621 |      340
1418.85/1419.23	c 1418s |      18 |   618252 |   435852 |    25408     34 |      621 |      340
1421.05/1421.50	c 1421s |      18 |   618693 |   436252 |    25408     34 |      621 |      340
1423.25/1423.68	c 1423s |      18 |   619130 |   436652 |    25408     34 |      621 |      340
1425.74/1426.10	c 1425s |      18 |   619583 |   437052 |    25408     34 |      621 |      340
1428.04/1428.40	c 1428s |      18 |   620028 |   437452 |    25408     34 |      621 |      340
1430.14/1430.51	c 1430s |      18 |   620482 |   437852 |    25408     34 |      621 |      340
1432.44/1432.86	c 1432s |      18 |   620922 |   438252 |    25408     34 |      621 |      340
1434.63/1435.06	c 1434s |      18 |   621374 |   438652 |    25408     34 |      621 |      340
1436.93/1437.36	c 1437s |      18 |   621823 |   439052 |    25408     34 |      621 |      340
1439.43/1439.90	c 1439s |      18 |   622260 |   439452 |    25408     34 |      621 |      340
1441.74/1442.13	c 1441s |      18 |   622714 |   439852 |    25408     34 |      621 |      340
1444.04/1444.46	c 1444s |      18 |   623186 |   440252 |    25408     34 |      621 |      340
1446.13/1446.56	c 1446s |      18 |   623616 |   440652 |    25408     34 |      621 |      340
1449.23/1449.60	c 1449s |      18 |   624039 |   441052 |    25408     35 |      621 |      340
1451.33/1451.77	c 1451s |      18 |   624603 |   441552 |    27949     35 |      621 |      340
1453.73/1454.15	c 1453s |      18 |   625166 |   442052 |    27949     35 |      621 |      340
1456.14/1456.53	c 1456s |      18 |   625693 |   442552 |    27949     35 |      621 |      340
1458.53/1458.90	c 1458s |      18 |   626235 |   443052 |    27949     35 |      621 |      340
1460.73/1461.12	c 1460s |      18 |   626770 |   443552 |    27949     35 |      621 |      340
1462.73/1463.16	c 1462s |      18 |   627203 |   443952 |    27949     35 |      621 |      340
1465.32/1465.71	c 1465s |      18 |   627763 |   444452 |    27949     35 |      621 |      340
1465.42/1465.86	c 1465s |      19 |   627798 |   444482 |    27949     35 |      621 |      340
1467.42/1467.86	c 1467s |      19 |   630291 |   445582 |    27949     35 |      621 |      340
1469.52/1469.93	c 1469s |      19 |   633774 |   447082 |    27949     35 |      621 |      340
1471.53/1471.94	c 1471s |      19 |   637167 |   448582 |    27949     35 |      621 |      340
1473.63/1474.03	c 1473s |      19 |   639855 |   450082 |    27949     35 |      621 |      340
1475.61/1476.05	c 1475s |      19 |   641860 |   451382 |    27949     35 |      621 |      340
1477.81/1478.20	c 1477s |      19 |   643102 |   452282 |    27949     35 |      621 |      340
1479.91/1480.37	c 1480s |      19 |   644124 |   453082 |    27949     35 |      621 |      340
1482.11/1482.51	c 1482s |      19 |   645163 |   453882 |    27949     35 |      621 |      340
1484.11/1484.55	c 1484s |      19 |   646226 |   454682 |    27949     35 |      621 |      340
1486.21/1486.68	c 1486s |      19 |   647298 |   455482 |    27949     35 |      621 |      340
1488.60/1489.04	c 1488s |      19 |   648148 |   456182 |    27949     35 |      621 |      340
1490.60/1491.04	c 1490s |      19 |   649100 |   456882 |    27949     35 |      621 |      340
1492.60/1493.07	c 1492s |      19 |   649999 |   457582 |    27949     35 |      621 |      340
1494.90/1495.31	c 1495s |      19 |   650617 |   458082 |    27949     36 |      621 |      340
1497.00/1497.41	c 1497s |      19 |   651383 |   458682 |    27949     36 |      621 |      340
1499.20/1499.61	c 1499s |      19 |   652301 |   459382 |    27949     36 |      621 |      340
1501.20/1501.65	c 1501s |      19 |   653013 |   459982 |    27949     36 |      621 |      340
1503.40/1503.82	c 1503s |      19 |   653715 |   460582 |    27949     36 |      621 |      340
1505.60/1506.08	c 1505s |      19 |   654290 |   461082 |    27949     36 |      621 |      340
1508.09/1508.51	c 1508s |      19 |   654962 |   461682 |    27949     36 |      621 |      340
1510.09/1510.56	c 1510s |      19 |   655542 |   462182 |    27949     36 |      621 |      340
1512.20/1512.61	c 1512s |      19 |   656111 |   462682 |    27949     36 |      621 |      340
1514.48/1514.95	c 1514s |      19 |   656672 |   463182 |    27949     36 |      621 |      340
1516.78/1517.27	c 1516s |      19 |   657219 |   463682 |    27949     36 |      621 |      340
1519.28/1519.70	c 1519s |      19 |   657767 |   464182 |    27949     36 |      621 |      340
1521.68/1522.11	c 1521s |      19 |   658207 |   464582 |    27949     36 |      621 |      340
1523.98/1524.42	c 1524s |      19 |   658627 |   464982 |    27949     36 |      621 |      340
1526.18/1526.60	c 1526s |      19 |   659064 |   465382 |    27949     36 |      621 |      340
1528.47/1529.00	c 1528s |      19 |   659638 |   465882 |    27949     36 |      621 |      340
1530.67/1531.14	c 1530s |      19 |   660234 |   466382 |    27949     36 |      621 |      340
1532.67/1533.16	c 1532s |      19 |   660691 |   466782 |    27949     36 |      621 |      340
1534.87/1535.36	c 1535s |      19 |   661290 |   467282 |    27949     36 |      621 |      340
1536.97/1537.49	c 1537s |      19 |   661747 |   467682 |    27949     36 |      621 |      340
1539.38/1539.86	c 1539s |      19 |   662356 |   468182 |    27949     36 |      621 |      340
1541.47/1541.92	c 1541s |      19 |   662816 |   468582 |    27949     36 |      621 |      340
1543.77/1544.21	c 1543s |      19 |   663251 |   468982 |    27949     36 |      621 |      340
1545.97/1546.44	c 1546s |      19 |   663706 |   469382 |    27949     36 |      621 |      340
1548.37/1548.81	c 1548s |      19 |   664250 |   469882 |    27949     36 |      621 |      340
1550.37/1550.82	c 1550s |      19 |   664694 |   470282 |    27949     36 |      621 |      340
1552.57/1553.02	c 1552s |      19 |   665156 |   470682 |    27949     36 |      621 |      340
1554.86/1555.34	c 1555s |      19 |   665613 |   471082 |    27949     36 |      621 |      340
1556.96/1557.48	c 1557s |      19 |   666121 |   471482 |    27949     36 |      621 |      340
1559.47/1559.99	c 1559s |      19 |   666736 |   471982 |    27949     36 |      621 |      340
1561.76/1562.21	c 1561s |      19 |   667203 |   472382 |    27949     36 |      621 |      340
1563.77/1564.22	c 1563s |      19 |   667669 |   472782 |    27949     36 |      621 |      340
1566.06/1566.56	c 1566s |      19 |   668284 |   473282 |    27949     36 |      621 |      340
1568.26/1568.78	c 1568s |      19 |   668632 |   473582 |    27949     37 |      621 |      340
1570.36/1570.89	c 1570s |      19 |   669076 |   473982 |    27949     37 |      621 |      340
1572.56/1573.08	c 1572s |      19 |   669666 |   474482 |    27949     37 |      621 |      340
1574.65/1575.11	c 1574s |      19 |   670127 |   474882 |    27949     37 |      621 |      340
1576.65/1577.16	c 1576s |      19 |   671282 |   475482 |    27949     37 |      621 |      340
1578.75/1579.23	c 1578s |      19 |   672428 |   476282 |    27949     37 |      621 |      340
1580.75/1581.26	c 1580s |      19 |   673718 |   477082 |    27949     37 |      621 |      340
1582.95/1583.45	c 1583s |      19 |   675025 |   477982 |    27949     37 |      621 |      340
1585.25/1585.70	c 1585s |      19 |   676145 |   478782 |    27949     37 |      621 |      340
1587.55/1588.01	c 1587s |      19 |   676942 |   479482 |    27949     37 |      621 |      340
1589.75/1590.20	c 1589s |      19 |   677671 |   480082 |    27949     37 |      621 |      340
1591.85/1592.33	c 1592s |      19 |   678232 |   480582 |    27949     37 |      621 |      340
1594.24/1594.77	c 1594s |      19 |   678905 |   481182 |    27949     37 |      621 |      340
1596.85/1597.33	c 1597s |      19 |   679456 |   481682 |    27949     37 |      621 |      340
1598.95/1599.42	c 1599s |      19 |   680081 |   482182 |    27949     37 |      621 |      340
1601.25/1601.76	c 1601s |      19 |   680870 |   482782 |    27949     37 |      621 |      340
1603.45/1603.92	c 1603s |      19 |   681638 |   483382 |    27949     37 |      621 |      340
1605.84/1606.30	c 1606s |      19 |   682443 |   483982 |    27949     37 |      621 |      340
1607.94/1608.47	c 1608s |      19 |   683122 |   484482 |    27949     37 |      621 |      340
1610.34/1610.88	c 1610s |      19 |   683970 |   485082 |    27949     37 |      621 |      340
1612.44/1612.96	c 1612s |      19 |   684564 |   485582 |    27949     37 |      621 |      340
1614.64/1615.18	c 1614s |      19 |   685172 |   486082 |    27949     37 |      621 |      340
1616.74/1617.25	c 1616s |      19 |   685829 |   486582 |    27949     37 |      621 |      340
1618.85/1619.32	c 1619s |      19 |   686397 |   487082 |    27949     37 |      621 |      340
1621.14/1621.66	c 1621s |      19 |   686989 |   487582 |    27949     37 |      621 |      340
1623.54/1624.04	c 1623s |      19 |   687438 |   487982 |    27949     37 |      621 |      340
1625.64/1626.14	c 1625s |      19 |   687897 |   488382 |    27949     37 |      621 |      340
1627.74/1628.23	c 1627s |      19 |   688349 |   488782 |    27949     37 |      621 |      340
1630.34/1630.84	c 1630s |      19 |   688802 |   489182 |    27949     38 |      621 |      340
1632.44/1632.95	c 1632s |      19 |   689358 |   489682 |    27949     38 |      621 |      340
1635.04/1635.54	c 1635s |      19 |   689903 |   490182 |    27949     38 |      621 |      340
1637.14/1637.65	c 1637s |      19 |   690340 |   490582 |    27949     38 |      621 |      340
1639.24/1639.77	c 1639s |      19 |   690887 |   491082 |    27949     38 |      621 |      340
1641.44/1641.94	c 1641s |      19 |   691359 |   491482 |    27949     38 |      621 |      340
1643.84/1644.33	c 1644s |      19 |   691919 |   491982 |    27949     38 |      621 |      340
1645.94/1646.42	c 1646s |      19 |   692345 |   492382 |    27949     38 |      621 |      340
1648.33/1648.82	c 1648s |      19 |   692808 |   492782 |    27949     38 |      621 |      340
1650.43/1650.94	c 1650s |      19 |   694873 |   493482 |    27949     38 |      621 |      340
1652.43/1652.99	c 1652s |      19 |   696412 |   494282 |    27949     38 |      621 |      340
1654.73/1655.23	c 1654s |      19 |   697544 |   494982 |    27949     38 |      621 |      340
1657.03/1657.51	c 1657s |      19 |   699315 |   495882 |    27949     38 |      621 |      340
1659.23/1659.74	c 1659s |      19 |   700182 |   496582 |    27949     38 |      621 |      340
1661.23/1661.77	c 1661s |      19 |   700884 |   497182 |    27949     38 |      621 |      340
1663.53/1664.00	c 1663s |      19 |   701667 |   497782 |    27949     38 |      621 |      340
1665.53/1666.09	c 1665s |      19 |   702404 |   498382 |    27949     38 |      621 |      340
1667.93/1668.47	c 1668s |      19 |   703126 |   498982 |    27949     38 |      621 |      340
1670.13/1670.60	c 1670s |      19 |   703891 |   499582 |    27949     38 |      621 |      340
1672.13/1672.69	c 1672s |      19 |   704856 |   500182 |    27949     38 |      621 |      340
1674.33/1674.84	c 1674s |      19 |   705898 |   500782 |    27949     38 |      621 |      340
1676.53/1677.04	c 1676s |      19 |   706880 |   501482 |    27949     38 |      621 |      340
1678.93/1679.48	c 1679s |      19 |   707640 |   502082 |    27949     38 |      621 |      340
1681.13/1681.68	c 1681s |      19 |   708268 |   502582 |    27949     38 |      621 |      340
1683.43/1683.99	c 1683s |      19 |   708874 |   503082 |    27949     38 |      621 |      340
1686.03/1686.55	c 1686s |      19 |   709448 |   503582 |    27949     38 |      621 |      340
1688.13/1688.61	c 1688s |      19 |   709929 |   503982 |    27949     38 |      621 |      340
1690.13/1690.65	c 1690s |      19 |   710392 |   504382 |    27949     38 |      621 |      340
1693.13/1693.65	c 1693s |      19 |   710992 |   504882 |    27949     39 |      621 |      340
1695.53/1696.01	c 1695s |      19 |   711714 |   505482 |    27949     39 |      621 |      340
1697.73/1698.22	c 1697s |      19 |   712283 |   505982 |    27949     39 |      621 |      340
1700.14/1700.64	c 1700s |      19 |   712820 |   506482 |    27949     39 |      621 |      340
1702.13/1702.65	c 1702s |      19 |   713264 |   506882 |    27949     39 |      621 |      340
1704.43/1704.94	c 1704s |      19 |   713963 |   507482 |    27949     39 |      621 |      340
1706.84/1707.31	c 1707s |      19 |   714528 |   507982 |    27949     39 |      621 |      340
1708.83/1709.40	c 1709s |      19 |   715113 |   508482 |    27949     39 |      621 |      340
1711.03/1711.55	c 1711s |      19 |   715705 |   508982 |    27949     39 |      621 |      340
1713.33/1713.88	c 1713s |      19 |   716299 |   509482 |    27949     39 |      621 |      340
1715.73/1716.25	c 1715s |      19 |   716902 |   509982 |    27949     39 |      621 |      340
1717.73/1718.26	c 1717s |      19 |   717519 |   510482 |    27949     39 |      621 |      340
1720.03/1720.55	c 1720s |      19 |   718375 |   511182 |    27949     39 |      621 |      340
1722.33/1722.88	c 1722s |      19 |   719106 |   511782 |    27949     39 |      621 |      340
1724.52/1725.01	c 1724s |      19 |   719717 |   512282 |    27949     39 |      621 |      340
1726.72/1727.22	c 1726s |      19 |   720313 |   512782 |    27949     39 |      621 |      340
1729.22/1729.75	c 1729s |      19 |   720898 |   513282 |    27949     39 |      621 |      340
1731.42/1731.99	c 1731s |      19 |   721500 |   513782 |    27949     39 |      621 |      340
1733.82/1734.37	c 1734s |      19 |   722093 |   514282 |    27949     39 |      621 |      340
1735.92/1736.41	c 1736s |      19 |   722692 |   514782 |    27949     39 |      621 |      340
1738.22/1738.78	c 1738s |      19 |   723292 |   515282 |    27949     39 |      621 |      340
1740.32/1740.86	c 1740s |      19 |   723738 |   515682 |    27949     39 |      621 |      340
1742.82/1743.36	c 1743s |      19 |   724203 |   516082 |    27949     39 |      621 |      340
1745.23/1745.77	c 1745s |      19 |   724783 |   516582 |    27949     39 |      621 |      340
1747.32/1747.80	c 1747s |      19 |   725297 |   516982 |    27949     39 |      621 |      340
1749.73/1750.24	c 1749s |      19 |   725948 |   517482 |    27949     39 |      621 |      340
1751.83/1752.33	c 1752s |      19 |   726569 |   517982 |    27949     39 |      621 |      340
1754.62/1755.13	c 1754s |      19 |   727190 |   518482 |    27949     39 |      621 |      340
1756.82/1757.36	c 1757s |      19 |   727666 |   518882 |    27949     39 |      621 |      340
1758.82/1759.39	c 1759s |      19 |   728274 |   519382 |    27949     39 |      621 |      340
1761.02/1761.57	c 1761s |      19 |   728954 |   519882 |    27949     39 |      621 |      340
1763.42/1763.97	c 1763s |      19 |   729564 |   520382 |    27949     39 |      621 |      340
1765.62/1766.11	c 1765s |      19 |   729944 |   520682 |    27949     40 |      621 |      340
1767.62/1768.14	c 1767s |      19 |   730379 |   521082 |    27949     40 |      621 |      340
1769.62/1770.18	c 1769s |      19 |   730832 |   521482 |    27949     40 |      621 |      340
1771.91/1772.45	c 1772s |      19 |   731394 |   521982 |    27949     40 |      621 |      340
1773.92/1774.49	c 1774s |      19 |   731852 |   522382 |    27949     40 |      621 |      340
1776.02/1776.60	c 1776s |      19 |   732453 |   522882 |    27949     40 |      621 |      340
1778.61/1779.11	c 1778s |      19 |   733009 |   523382 |    27949     40 |      621 |      340
1780.61/1781.13	c 1780s |      19 |   733491 |   523782 |    27949     40 |      621 |      340
1783.11/1783.64	c 1783s |      19 |   734217 |   524382 |    27949     40 |      621 |      340
1785.21/1785.79	c 1785s |      19 |   734954 |   524982 |    27949     40 |      621 |      340
1787.31/1787.86	c 1787s |      19 |   735693 |   525582 |    27949     40 |      621 |      340
1789.51/1790.06	c 1789s |      19 |   736541 |   526182 |    27949     40 |      621 |      340
1791.61/1792.18	c 1791s |      19 |   737657 |   526982 |    27949     40 |      621 |      340
1793.72/1794.30	c 1794s |      19 |   738701 |   527582 |    27949     40 |      621 |      340
1796.02/1796.56	c 1796s |      19 |   739503 |   528182 |    27949     40 |      621 |      340
1798.02/1798.56	c 1798s |      19 |   740256 |   528782 |    27949     40 |      621 |      340

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

pid=22758
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: 1.10 1.08 1.23 4/178 22764
/proc/meminfo: memFree=30763760/32872528 swapFree=870628/942168
[pid=22764] ppid=22758 vsize=723388 CPUtime=0 cores=0,2,4,6
/proc/22764/stat : 22764 (toysat) R 22758 22764 22716 0 -1 4202496 2696 0 0 0 0 0 0 0 20 0 4 0 30577701 740749312 3057 33554432000 4194304 16246674 140736319357280 140736319356704 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22764/statm: 181359 3068 441 2943 0 178253 0
[pid=22764/tid=22765] ppid=22758 vsize=740796 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22765/stat : 22765 (toysat) S 22758 22764 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30577701 758575104 3128 33554432000 4194304 16246674 140736319357280 140018389593328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=22764/tid=22766] ppid=22758 vsize=745916 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22766/stat : 22766 (toysat) S 22758 22764 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30577701 763817984 3147 33554432000 4194304 16246674 140736319357280 140018379103472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=22764/tid=22767] ppid=22758 vsize=750012 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22767/stat : 22767 (toysat) S 22758 22764 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30577701 768012288 3164 33554432000 4194304 16246674 140736319357280 140018368629936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100125 s]
/proc/loadavg: 1.10 1.08 1.23 4/178 22764
/proc/meminfo: memFree=30763760/32872528 swapFree=870628/942168
[pid=22764] ppid=22758 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/22764/stat : 22764 (toysat) R 22758 22764 22716 0 -1 4202496 28237 0 0 0 4 5 0 0 20 0 4 0 30577701 1249447936 28536 33554432000 4194304 16246674 140736319357280 140736319356592 7853005 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22764/statm: 305041 28550 801 2943 0 301935 0
[pid=22764/tid=22765] ppid=22758 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22765/stat : 22765 (toysat) S 22758 22764 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30577701 1249447936 28560 33554432000 4194304 16246674 140736319357280 140018389593328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=22764/tid=22766] ppid=22758 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22766/stat : 22766 (toysat) S 22758 22764 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30577701 1249447936 28572 33554432000 4194304 16246674 140736319357280 140018379103472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=22764/tid=22767] ppid=22758 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22767/stat : 22767 (toysat) S 22758 22764 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30577701 1249447936 28584 33554432000 4194304 16246674 140736319357280 140018368629936 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) 1220164

[startup+0.200451 s]
/proc/loadavg: 1.10 1.08 1.23 4/178 22764
/proc/meminfo: memFree=30763760/32872528 swapFree=870628/942168
[pid=22764] ppid=22758 vsize=1301060 CPUtime=0.19 cores=0,2,4,6
/proc/22764/stat : 22764 (toysat) R 22758 22764 22716 0 -1 4202496 48667 0 0 0 11 8 0 0 20 0 4 0 30577701 1332285440 48965 33554432000 4194304 16246674 140736319357280 140736319356592 5913178 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22764/statm: 325265 48965 833 2943 0 322159 0
[pid=22764/tid=22765] ppid=22758 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22765/stat : 22765 (toysat) S 22758 22764 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30577701 1332285440 48965 33554432000 4194304 16246674 140736319357280 140018389593328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=22764/tid=22766] ppid=22758 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22766/stat : 22766 (toysat) S 22758 22764 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30577701 1332285440 48965 33554432000 4194304 16246674 140736319357280 140018379103472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=22764/tid=22767] ppid=22758 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22767/stat : 22767 (toysat) S 22758 22764 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30577701 1332285440 48965 33554432000 4194304 16246674 140736319357280 140018368629936 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) 1301060

[startup+0.300402 s]
/proc/loadavg: 1.10 1.08 1.23 4/178 22764
/proc/meminfo: memFree=30763760/32872528 swapFree=870628/942168
[pid=22764] ppid=22758 vsize=1301060 CPUtime=0.29 cores=0,2,4,6
/proc/22764/stat : 22764 (toysat) R 22758 22764 22716 0 -1 4202496 52341 0 0 0 20 9 0 0 20 0 4 0 30577701 1332285440 52639 33554432000 4194304 16246674 140736319357280 140736319356592 5532301 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22764/statm: 325265 52646 866 2943 0 322159 0
[pid=22764/tid=22765] ppid=22758 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22765/stat : 22765 (toysat) S 22758 22764 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30577701 1332285440 52651 33554432000 4194304 16246674 140736319357280 140018389593328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=22764/tid=22766] ppid=22758 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22766/stat : 22766 (toysat) S 22758 22764 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30577701 1332285440 52656 33554432000 4194304 16246674 140736319357280 140018379103472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=22764/tid=22767] ppid=22758 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22767/stat : 22767 (toysat) S 22758 22764 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30577701 1332285440 52657 33554432000 4194304 16246674 140736319357280 140018368629936 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) 1301060

[startup+0.700335 s]
/proc/loadavg: 1.10 1.08 1.23 4/178 22764
/proc/meminfo: memFree=30763760/32872528 swapFree=870628/942168
[pid=22764] ppid=22758 vsize=1301060 CPUtime=0.69 cores=0,2,4,6
/proc/22764/stat : 22764 (toysat) R 22758 22764 22716 0 -1 4202496 99729 0 0 0 53 16 0 0 20 0 4 0 30577701 1332285440 100027 33554432000 4194304 16246674 140736319357280 140736319339200 5675357 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22764/statm: 325265 100031 882 2943 0 322159 0
[pid=22764/tid=22765] ppid=22758 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22765/stat : 22765 (toysat) S 22758 22764 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30577701 1332285440 100034 33554432000 4194304 16246674 140736319357280 140018389593328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=22764/tid=22766] ppid=22758 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22766/stat : 22766 (toysat) S 22758 22764 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30577701 1332285440 100041 33554432000 4194304 16246674 140736319357280 140018379103472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=22764/tid=22767] ppid=22758 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22767/stat : 22767 (toysat) S 22758 22764 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30577701 1332285440 100046 33554432000 4194304 16246674 140736319357280 140018368629936 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) 1301060

[startup+1.50037 s]
/proc/loadavg: 1.10 1.08 1.23 4/183 22769
/proc/meminfo: memFree=29566636/32872528 swapFree=870628/942168
[pid=22764] ppid=22758 vsize=1302084 CPUtime=1.48 cores=0,2,4,6
/proc/22764/stat : 22764 (toysat) R 22758 22764 22716 0 -1 4202496 202365 0 0 0 118 30 0 0 20 0 4 0 30577701 1333334016 202663 33554432000 4194304 16246674 140736319357280 140736319339200 6836566 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22764/statm: 325521 202666 882 2943 0 322415 0
[pid=22764/tid=22765] ppid=22758 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22765/stat : 22765 (toysat) S 22758 22764 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30577701 1333334016 202667 33554432000 4194304 16246674 140736319357280 140018389593328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=22764/tid=22766] ppid=22758 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22766/stat : 22766 (toysat) S 22758 22764 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30577701 1333334016 202669 33554432000 4194304 16246674 140736319357280 140018379103472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=22764/tid=22767] ppid=22758 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22767/stat : 22767 (toysat) S 22758 22764 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30577701 1333334016 202671 33554432000 4194304 16246674 140736319357280 140018368629936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1302084

[startup+3.10038 s]
/proc/loadavg: 1.10 1.08 1.23 4/183 22769
/proc/meminfo: memFree=28699876/32872528 swapFree=870628/942168
[pid=22764] ppid=22758 vsize=1313348 CPUtime=3.09 cores=0,2,4,6
/proc/22764/stat : 22764 (toysat) R 22758 22764 22716 0 -1 4202496 269500 0 0 0 270 39 0 0 20 0 4 0 30577701 1344868352 269798 33554432000 4194304 16246674 140736319357280 140736319339200 5712760 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22764/statm: 328337 269798 888 2943 0 325231 0
[pid=22764/tid=22765] ppid=22758 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22765/stat : 22765 (toysat) S 22758 22764 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30577701 1344868352 269798 33554432000 4194304 16246674 140736319357280 140018389593328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=22764/tid=22766] ppid=22758 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22766/stat : 22766 (toysat) S 22758 22764 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30577701 1344868352 269798 33554432000 4194304 16246674 140736319357280 140018379103472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=22764/tid=22767] ppid=22758 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22767/stat : 22767 (toysat) S 22758 22764 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30577701 1344868352 269798 33554432000 4194304 16246674 140736319357280 140018368629936 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) 1313348

[startup+6.30039 s]
/proc/loadavg: 1.18 1.09 1.24 4/183 22769
/proc/meminfo: memFree=28667224/32872528 swapFree=870628/942168
[pid=22764] ppid=22758 vsize=1313348 CPUtime=6.29 cores=0,2,4,6
/proc/22764/stat : 22764 (toysat) R 22758 22764 22716 0 -1 4202496 269526 0 0 0 590 39 0 0 20 0 4 0 30577701 1344868352 269824 33554432000 4194304 16246674 140736319357280 140736319339200 5754961 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22764/statm: 328337 269824 889 2943 0 325231 0
[pid=22764/tid=22765] ppid=22758 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22765/stat : 22765 (toysat) S 22758 22764 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30577701 1344868352 269824 33554432000 4194304 16246674 140736319357280 140018389593328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=22764/tid=22766] ppid=22758 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22766/stat : 22766 (toysat) S 22758 22764 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30577701 1344868352 269824 33554432000 4194304 16246674 140736319357280 140018379103472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=22764/tid=22767] ppid=22758 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22767/stat : 22767 (toysat) S 22758 22764 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30577701 1344868352 269824 33554432000 4194304 16246674 140736319357280 140018368629936 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) 1313348

[startup+12.7003 s]
/proc/loadavg: 1.24 1.11 1.24 4/183 22769
/proc/meminfo: memFree=28610992/32872528 swapFree=870628/942168
[pid=22764] ppid=22758 vsize=1313348 CPUtime=12.69 cores=0,2,4,6
/proc/22764/stat : 22764 (toysat) R 22758 22764 22716 0 -1 4202496 269528 0 0 0 1230 39 0 0 20 0 4 0 30577701 1344868352 269826 33554432000 4194304 16246674 140736319357280 140736319355072 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22764/statm: 328337 269826 891 2943 0 325231 0
[pid=22764/tid=22765] ppid=22758 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22765/stat : 22765 (toysat) S 22758 22764 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30577701 1344868352 269826 33554432000 4194304 16246674 140736319357280 140018389593328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=22764/tid=22766] ppid=22758 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22766/stat : 22766 (toysat) S 22758 22764 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30577701 1344868352 269826 33554432000 4194304 16246674 140736319357280 140018379103472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=22764/tid=22767] ppid=22758 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22767/stat : 22767 (toysat) S 22758 22764 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30577701 1344868352 269826 33554432000 4194304 16246674 140736319357280 140018368629936 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) 1313348

[startup+25.5005 s]
/proc/loadavg: 1.41 1.15 1.25 4/184 22772
/proc/meminfo: memFree=28611300/32872528 swapFree=870628/942168
[pid=22764] ppid=22758 vsize=1313348 CPUtime=25.48 cores=0,2,4,6
/proc/22764/stat : 22764 (toysat) R 22758 22764 22716 0 -1 4202496 269529 0 0 0 2509 39 0 0 20 0 4 0 30577701 1344868352 269827 33554432000 4194304 16246674 140736319357280 140736319339200 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22764/statm: 328337 269827 892 2943 0 325231 0
[pid=22764/tid=22765] ppid=22758 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22765/stat : 22765 (toysat) S 22758 22764 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30577701 1344868352 269827 33554432000 4194304 16246674 140736319357280 140018389593328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=22764/tid=22766] ppid=22758 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22766/stat : 22766 (toysat) S 22758 22764 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30577701 1344868352 269827 33554432000 4194304 16246674 140736319357280 140018379103472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=22764/tid=22767] ppid=22758 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22767/stat : 22767 (toysat) S 22758 22764 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30577701 1344868352 269827 33554432000 4194304 16246674 140736319357280 140018368629936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1313348

[startup+51.1004 s]
/proc/loadavg: 1.68 1.23 1.28 4/184 22772
/proc/meminfo: memFree=28611496/32872528 swapFree=870628/942168
[pid=22764] ppid=22758 vsize=1313348 CPUtime=51.08 cores=0,2,4,6
/proc/22764/stat : 22764 (toysat) R 22758 22764 22716 0 -1 4202496 269529 0 0 0 5069 39 0 0 20 0 4 0 30577701 1344868352 269827 33554432000 4194304 16246674 140736319357280 140736319339200 5601643 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22764/statm: 328337 269827 892 2943 0 325231 0
[pid=22764/tid=22765] ppid=22758 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22765/stat : 22765 (toysat) S 22758 22764 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30577701 1344868352 269827 33554432000 4194304 16246674 140736319357280 140018389593328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=22764/tid=22766] ppid=22758 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22766/stat : 22766 (toysat) S 22758 22764 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30577701 1344868352 269827 33554432000 4194304 16246674 140736319357280 140018379103472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=22764/tid=22767] ppid=22758 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22767/stat : 22767 (toysat) S 22758 22764 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30577701 1344868352 269827 33554432000 4194304 16246674 140736319357280 140018368629936 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) 1313348

[startup+102.3 s]
/proc/loadavg: 1.97 1.38 1.32 4/183 22773
/proc/meminfo: memFree=28605224/32872528 swapFree=870628/942168
[pid=22764] ppid=22758 vsize=1313348 CPUtime=102.28 cores=0,2,4,6
/proc/22764/stat : 22764 (toysat) R 22758 22764 22716 0 -1 4202496 269529 0 0 0 10188 40 0 0 20 0 4 0 30577701 1344868352 269827 33554432000 4194304 16246674 140736319357280 140736319339200 5600384 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22764/statm: 328337 269827 892 2943 0 325231 0
[pid=22764/tid=22765] ppid=22758 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22765/stat : 22765 (toysat) S 22758 22764 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30577701 1344868352 269827 33554432000 4194304 16246674 140736319357280 140018389593328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=22764/tid=22766] ppid=22758 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22766/stat : 22766 (toysat) S 22758 22764 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30577701 1344868352 269827 33554432000 4194304 16246674 140736319357280 140018379103472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=22764/tid=22767] ppid=22758 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22767/stat : 22767 (toysat) S 22758 22764 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30577701 1344868352 269827 33554432000 4194304 16246674 140736319357280 140018368629936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1313348


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

/proc/22764/task/22767/stat : 22767 (toysat) S 22758 22764 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30577701 1371082752 276230 33554432000 4194304 16246674 140736319357280 140018368629936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 1338948

[startup+1362.3 s]
/proc/loadavg: 2.11 2.14 1.93 4/183 22804
/proc/meminfo: memFree=28563352/32872528 swapFree=870628/942168
[pid=22764] ppid=22758 vsize=1338948 CPUtime=1361.99 cores=0,2,4,6
/proc/22764/stat : 22764 (toysat) R 22758 22764 22716 0 -1 4202496 276107 0 0 0 136149 50 0 0 20 0 4 0 30577701 1371082752 276230 33554432000 4194304 16246674 140736319357280 140736319339200 13950184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22764/statm: 334737 276230 892 2943 0 331631 0
[pid=22764/tid=22765] ppid=22758 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22765/stat : 22765 (toysat) S 22758 22764 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30577701 1371082752 276230 33554432000 4194304 16246674 140736319357280 140018389593328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=22764/tid=22766] ppid=22758 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22766/stat : 22766 (toysat) S 22758 22764 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30577701 1371082752 276230 33554432000 4194304 16246674 140736319357280 140018379103472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=22764/tid=22767] ppid=22758 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22767/stat : 22767 (toysat) S 22758 22764 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30577701 1371082752 276230 33554432000 4194304 16246674 140736319357280 140018368629936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 1338948

[startup+1422.3 s]
/proc/loadavg: 2.18 2.16 1.94 4/183 22806
/proc/meminfo: memFree=28563380/32872528 swapFree=870628/942168
[pid=22764] ppid=22758 vsize=1338948 CPUtime=1421.95 cores=0,2,4,6
/proc/22764/stat : 22764 (toysat) R 22758 22764 22716 0 -1 4202496 276154 0 0 0 142145 50 0 0 20 0 4 0 30577701 1371082752 276230 33554432000 4194304 16246674 140736319357280 140736319339200 5523513 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22764/statm: 334737 276230 892 2943 0 331631 0
[pid=22764/tid=22765] ppid=22758 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22765/stat : 22765 (toysat) S 22758 22764 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30577701 1371082752 276230 33554432000 4194304 16246674 140736319357280 140018389593328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=22764/tid=22766] ppid=22758 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22766/stat : 22766 (toysat) S 22758 22764 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30577701 1371082752 276230 33554432000 4194304 16246674 140736319357280 140018379103472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=22764/tid=22767] ppid=22758 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22767/stat : 22767 (toysat) S 22758 22764 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30577701 1371082752 276230 33554432000 4194304 16246674 140736319357280 140018368629936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 1338948

[startup+1482.3 s]
/proc/loadavg: 2.14 2.16 1.95 4/183 22807
/proc/meminfo: memFree=28563480/32872528 swapFree=870628/942168
[pid=22764] ppid=22758 vsize=1338948 CPUtime=1481.91 cores=0,2,4,6
/proc/22764/stat : 22764 (toysat) R 22758 22764 22716 0 -1 4202496 276200 0 0 0 148140 51 0 0 20 0 4 0 30577701 1371082752 276230 33554432000 4194304 16246674 140736319357280 140736319339200 5600267 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22764/statm: 334737 276230 892 2943 0 331631 0
[pid=22764/tid=22765] ppid=22758 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22765/stat : 22765 (toysat) S 22758 22764 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30577701 1371082752 276230 33554432000 4194304 16246674 140736319357280 140018389593328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=22764/tid=22766] ppid=22758 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22766/stat : 22766 (toysat) S 22758 22764 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30577701 1371082752 276230 33554432000 4194304 16246674 140736319357280 140018379103472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=22764/tid=22767] ppid=22758 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22767/stat : 22767 (toysat) S 22758 22764 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30577701 1371082752 276230 33554432000 4194304 16246674 140736319357280 140018368629936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1338948

[startup+1542.31 s]
/proc/loadavg: 2.23 2.17 1.97 4/183 22808
/proc/meminfo: memFree=28563768/32872528 swapFree=870628/942168
[pid=22764] ppid=22758 vsize=1338948 CPUtime=1541.88 cores=0,2,4,6
/proc/22764/stat : 22764 (toysat) R 22758 22764 22716 0 -1 4202496 276246 0 0 0 154136 52 0 0 20 0 4 0 30577701 1371082752 276230 33554432000 4194304 16246674 140736319357280 140736319339200 13943600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22764/statm: 334737 276230 892 2943 0 331631 0
[pid=22764/tid=22765] ppid=22758 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22765/stat : 22765 (toysat) S 22758 22764 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30577701 1371082752 276230 33554432000 4194304 16246674 140736319357280 140018389593328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=22764/tid=22766] ppid=22758 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22766/stat : 22766 (toysat) S 22758 22764 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30577701 1371082752 276230 33554432000 4194304 16246674 140736319357280 140018379103472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=22764/tid=22767] ppid=22758 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22767/stat : 22767 (toysat) S 22758 22764 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30577701 1371082752 276230 33554432000 4194304 16246674 140736319357280 140018368629936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1338948

[startup+1602.3 s]
/proc/loadavg: 2.22 2.18 1.98 4/183 22809
/proc/meminfo: memFree=28561188/32872528 swapFree=870628/942168
[pid=22764] ppid=22758 vsize=1338948 CPUtime=1601.84 cores=0,2,4,6
/proc/22764/stat : 22764 (toysat) R 22758 22764 22716 0 -1 4202496 276277 0 0 0 160132 52 0 0 20 0 4 0 30577701 1371082752 276230 33554432000 4194304 16246674 140736319357280 140736319356456 5712756 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22764/statm: 334737 276230 892 2943 0 331631 0
[pid=22764/tid=22765] ppid=22758 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22765/stat : 22765 (toysat) S 22758 22764 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30577701 1371082752 276230 33554432000 4194304 16246674 140736319357280 140018389593328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=22764/tid=22766] ppid=22758 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22766/stat : 22766 (toysat) S 22758 22764 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30577701 1371082752 276230 33554432000 4194304 16246674 140736319357280 140018379103472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=22764/tid=22767] ppid=22758 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22767/stat : 22767 (toysat) S 22758 22764 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30577701 1371082752 276230 33554432000 4194304 16246674 140736319357280 140018368629936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1338948

[startup+1662.3 s]
/proc/loadavg: 2.12 2.16 1.99 4/183 22810
/proc/meminfo: memFree=28559828/32872528 swapFree=870628/942168
[pid=22764] ppid=22758 vsize=1338948 CPUtime=1661.83 cores=0,2,4,6
/proc/22764/stat : 22764 (toysat) R 22758 22764 22716 0 -1 4202496 276277 0 0 0 166131 52 0 0 20 0 4 0 30577701 1371082752 276230 33554432000 4194304 16246674 140736319357280 140736319339200 5824073 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22764/statm: 334737 276230 892 2943 0 331631 0
[pid=22764/tid=22765] ppid=22758 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22765/stat : 22765 (toysat) S 22758 22764 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30577701 1371082752 276230 33554432000 4194304 16246674 140736319357280 140018389593328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=22764/tid=22766] ppid=22758 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22766/stat : 22766 (toysat) S 22758 22764 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30577701 1371082752 276230 33554432000 4194304 16246674 140736319357280 140018379103472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=22764/tid=22767] ppid=22758 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22767/stat : 22767 (toysat) S 22758 22764 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30577701 1371082752 276230 33554432000 4194304 16246674 140736319357280 140018368629936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1338948

[startup+1722.3 s]
/proc/loadavg: 2.23 2.18 2.01 4/183 22812
/proc/meminfo: memFree=28559956/32872528 swapFree=870628/942168
[pid=22764] ppid=22758 vsize=1338948 CPUtime=1721.83 cores=0,2,4,6
/proc/22764/stat : 22764 (toysat) R 22758 22764 22716 0 -1 4202496 276277 0 0 0 172130 53 0 0 20 0 4 0 30577701 1371082752 276230 33554432000 4194304 16246674 140736319357280 140736319339200 5523464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22764/statm: 334737 276230 892 2943 0 331631 0
[pid=22764/tid=22765] ppid=22758 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22765/stat : 22765 (toysat) S 22758 22764 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30577701 1371082752 276230 33554432000 4194304 16246674 140736319357280 140018389593328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=22764/tid=22766] ppid=22758 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22766/stat : 22766 (toysat) S 22758 22764 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30577701 1371082752 276230 33554432000 4194304 16246674 140736319357280 140018379103472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=22764/tid=22767] ppid=22758 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22767/stat : 22767 (toysat) S 22758 22764 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30577701 1371082752 276230 33554432000 4194304 16246674 140736319357280 140018368629936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1338948

[startup+1782.3 s]
/proc/loadavg: 2.14 2.16 2.00 4/183 22813
/proc/meminfo: memFree=28559112/32872528 swapFree=870628/942168
[pid=22764] ppid=22758 vsize=1338948 CPUtime=1781.81 cores=0,2,4,6
/proc/22764/stat : 22764 (toysat) R 22758 22764 22716 0 -1 4202496 276277 0 0 0 178128 53 0 0 20 0 4 0 30577701 1371082752 276230 33554432000 4194304 16246674 140736319357280 140736319339200 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22764/statm: 334737 276230 892 2943 0 331631 0
[pid=22764/tid=22765] ppid=22758 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22765/stat : 22765 (toysat) S 22758 22764 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30577701 1371082752 276230 33554432000 4194304 16246674 140736319357280 140018389593328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=22764/tid=22766] ppid=22758 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22766/stat : 22766 (toysat) S 22758 22764 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30577701 1371082752 276230 33554432000 4194304 16246674 140736319357280 140018379103472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=22764/tid=22767] ppid=22758 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22767/stat : 22767 (toysat) S 22758 22764 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30577701 1371082752 276230 33554432000 4194304 16246674 140736319357280 140018368629936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1338948



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.18 2.16 2.01 5/183 22813
/proc/meminfo: memFree=28559608/32872528 swapFree=870628/942168
[pid=22764] ppid=22758 vsize=1338948 CPUtime=1800.02 cores=0,2,4,6
/proc/22764/stat : 22764 (toysat) R 22758 22764 22716 0 -1 4202496 276277 0 0 0 179948 54 0 0 20 0 4 0 30577701 1371082752 276230 33554432000 4194304 16246674 140736319357280 140736319339200 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22764/statm: 334737 276230 892 2943 0 331631 0
[pid=22764/tid=22765] ppid=22758 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22765/stat : 22765 (toysat) S 22758 22764 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30577701 1371082752 276230 33554432000 4194304 16246674 140736319357280 140018389593328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=22764/tid=22766] ppid=22758 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22766/stat : 22766 (toysat) S 22758 22764 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30577701 1371082752 276230 33554432000 4194304 16246674 140736319357280 140018379103472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=22764/tid=22767] ppid=22758 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22767/stat : 22767 (toysat) S 22758 22764 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30577701 1371082752 276230 33554432000 4194304 16246674 140736319357280 140018368629936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1338948

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

[startup+1800.5 s]
/proc/loadavg: 2.18 2.16 2.01 5/183 22813
/proc/meminfo: memFree=28559608/32872528 swapFree=870628/942168
[pid=22764] ppid=22758 vsize=1338948 CPUtime=1800.02 cores=0,2,4,6
/proc/22764/stat : 22764 (toysat) R 22758 22764 22716 0 -1 4202496 276277 0 0 0 179948 54 0 0 20 0 4 0 30577701 1371082752 276230 33554432000 4194304 16246674 140736319357280 140736319339200 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22764/statm: 334737 276230 892 2943 0 331631 0
[pid=22764/tid=22765] ppid=22758 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22765/stat : 22765 (toysat) S 22758 22764 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30577701 1371082752 276230 33554432000 4194304 16246674 140736319357280 140018389593328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=22764/tid=22766] ppid=22758 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22766/stat : 22766 (toysat) S 22758 22764 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30577701 1371082752 276230 33554432000 4194304 16246674 140736319357280 140018379103472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=22764/tid=22767] ppid=22758 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/22764/task/22767/stat : 22767 (toysat) S 22758 22764 22716 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30577701 1371082752 276230 33554432000 4194304 16246674 140736319357280 140018368629936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1338948

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.49
CPU system time (s): 0.540917
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 1338948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.49
system time used= 0.540917
maximum resident set size= 1104920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276277
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= 364
involuntary context switches= 1973

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.66129 second user time and 6.94694 second system time

The end

Launcher Data 

Begin job on node113 at 2016-06-26 23:09:40
IDJOB=4116485
IDBENCH=109476
IDSOLVER=2542
FILE ID=node113/4116485-1466975380
RUNJOBID= node113-1466975380-22732
PBS_JOBID= 19976383
Free space on /tmp= 71696 MiB

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

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

MD5SUM BENCH= 3cf063c4f0bb38f0869318b9b868216b
RANDOM SEED=1139586664

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30771060 kB
Buffers:           52848 kB
Cached:           356196 kB
SwapCached:        18844 kB
Active:            87308 kB
Inactive:         342684 kB
Active(anon):       3672 kB
Inactive(anon):    20040 kB
Active(file):      83636 kB
Inactive(file):   322644 kB
Unevictable:      942168 kB
Mlocked:          870628 kB
SwapTotal:      67108856 kB
SwapFree:       67082244 kB
Dirty:             33400 kB
Writeback:             0 kB
AnonPages:        944940 kB
Mapped:             8004 kB
Shmem:                 0 kB
Slab:             597592 kB
SReclaimable:      41832 kB
SUnreclaim:       555760 kB
KernelStack:        1352 kB
PageTables:         5480 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1040376 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 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= 71668 MiB
End job on node113 at 2016-06-26 23:39:40