Trace number 4116461

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.07 1800.52

General information on the benchmark

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

Solver Data 

0.00/0.00	c 2016-06-26T22:18:28+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-4116461-1466972308.opb"]
0.00/0.01	c use --random-gen="2411486954 3149951654 3471815076 1755284318 3989039485 17463018 192961384 2170444620 1386237207 2128778805 1308974350 3886196377 1642049171 616969845 2261850990 1447691918 569875426 3078030100 2992369032 4075104103 3250716344 2891835568 3282228952 1046706516 3361412962 359095164 1037893320 3540611812 4076703316 3505004578 514921080 2141552717 1349294555 2055235400 2637452773 2492866868 295514555 1531643926 2910939698 1010074681 1424449582 3892620107 764241779 790397030 2105038370 614995685 1741473866 3099605953 851464999 1924811029 2143031189 2909535901 3441076618 2189714171 1609834861 2299840400 560066871 1809704128 1646321387 290730892 1843148009 1176746355 4175028364 595119935 2105419613 4011109267 986161178 279323055 3158391845 424820861 267843679 1516583568 4100241624 3215737803 1682734851 1600318610 4118877861 2195907978 4177285999 3579201016 2810239789 571086763 2917719256 615867490 1967617183 3993243316 3287324807 2339520858 967269214 1517969623 1636505131 487477551 2126700092 4131278553 3316381701 2402277509 126230189 3597149440 1478469388 147014388 3885590980 2599268327 3710686556 3967897775 2716515985 1838014662 2721748101 2379696249 3558339036 3196398217 1733821961 2757823861 3988896191 1757296492 2987176518 3822325216 1542312348 1692593465 4147119965 1938874325 3540296380 3796291671 2588091328 3936500496 3170029848 1015506092 882301694 4097261200 514551657 539411054 250266959 4058800430 461502115 1014252999 643584282 425524732 1704259291 3340789924 3023188302 271776508 2790124812 3474746166 3970231288 460918656 3884826766 2674291012 1409130204 25807511 4097627470 3237230670 307807804 2482178898 3454245843 2216453629 4045548502 3982105185 3823964798 947696108 3546973951 3807989583 1964513338 2547368158 1420719836 559996100 410447516 1417171260 2743672287 2080061011 326943815 2624552870 4016165667 1503823445 1120980338 3694111818 3366390244 238670758 4054791125 1057313889 957264529 3304661585 2247174598 3996946689 4020687848 1065543906 2655958109 3054453203 3164530029 2824856102 53292573 2761444912 1455331778 2759129333 2037487404 3562270635 449899614 4184235798 1716174658 2684051042 191741079 2776137903 479025935 3630684677 2566688874 975958442 4255503930 1377495862 2451149911 3767526934 3607767205 3421027911 2080712986 1800916351 1275425506 942407550 55193169 1843979614 595640810 3233692744 261272703 581834384 143559615 173775101 3417935926 508209992 3784408077 596749014 2413141039 2572839257 2880196141 3868218130 2640276082 3988911860 1419953885 288767382 1628784357 374314036 864640409 821729603 817040667 973133244 4126679133 3494965546 4138200734 712404748 1111037903 4138895590 1251854509 1611064367 1513260701 654467965 2910243042 2866903675 2491707102 1621120735 621333108 4208618672 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9456
0.19/0.28	c Solving starts ...
0.19/0.28	c ============================[ Search Statistics ]============================
0.19/0.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.28	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.28	c =============================================================================
0.19/0.28	c  0.0s |       0 |        0 |        0 |     4565      0 |      597 |        0
0.29/0.38	c  0.1s |       1 |     1153 |      100 |     4565      0 |      598 |      340
0.39/0.48	c  0.2s |       2 |     3037 |      250 |     5022      0 |      598 |      340
0.59/0.63	c  0.4s |       3 |     4810 |      475 |     5525      0 |      598 |      340
0.89/0.93	c  0.6s |       4 |     6872 |      813 |     6078      0 |      598 |      340
1.29/1.33	c  1.1s |       5 |    11518 |     1320 |     6686      0 |      598 |      340
1.99/2.07	c  1.8s |       6 |    16807 |     2081 |     8091      0 |      598 |      340
3.40/3.43	c  3.2s |       7 |    19327 |     3223 |     8901      0 |      598 |      340
4.79/4.89	c  4.6s |       8 |    28354 |     4936 |     9792      0 |      598 |      340
6.89/6.93	c  6.7s |       8 |    35061 |     7236 |     9792      0 |      598 |      340
6.99/7.08	c  6.8s |       9 |    35855 |     7506 |    10772      0 |      598 |      340
8.99/9.08	c  8.8s |       9 |    43312 |     9706 |    10772      0 |      599 |      340
11.19/11.21	c 10.9s |       9 |    45136 |    11106 |    10772      0 |      599 |      340
11.49/11.55	c 11.3s |      10 |    45553 |    11361 |    11850      0 |      599 |      340
13.49/13.57	c 13.3s |      10 |    50430 |    13261 |    11850      0 |      599 |      340
15.59/15.68	c 15.4s |      10 |    52677 |    14661 |    11850      0 |      599 |      340
17.79/17.83	c 17.6s |      10 |    54184 |    15861 |    11850      1 |      599 |      340
19.99/20.02	c 19.7s |      10 |    55519 |    16961 |    11850      1 |      599 |      340
20.39/20.45	c 20.2s |      11 |    55752 |    17144 |    13036      1 |      599 |      340
22.39/22.48	c 22.2s |      11 |    63099 |    19544 |    13036      1 |      599 |      340
24.39/24.49	c 24.2s |      11 |    66052 |    21244 |    13036      1 |      599 |      340
26.49/26.55	c 26.3s |      11 |    68907 |    22844 |    13036      1 |      599 |      340
28.49/28.60	c 28.3s |      11 |    71377 |    24444 |    13036      2 |      599 |      340
30.68/30.70	c 30.4s |      11 |    72825 |    25644 |    13036      2 |      599 |      340
30.98/31.07	c 30.8s |      12 |    73016 |    25819 |    14340      2 |      599 |      340
33.09/33.16	c 32.9s |      12 |    77861 |    27719 |    14340      2 |      599 |      340
35.29/35.36	c 35.1s |      12 |    79863 |    29119 |    14340      2 |      599 |      340
37.39/37.49	c 37.2s |      12 |    81563 |    30419 |    14340      2 |      599 |      340
39.48/39.60	c 39.3s |      12 |    82708 |    31419 |    14340      2 |      599 |      340
41.68/41.72	c 41.4s |      12 |    84205 |    32519 |    14340      2 |      599 |      340
43.78/43.81	c 43.5s |      12 |    85442 |    33519 |    14340      3 |      599 |      340
45.88/45.96	c 45.7s |      12 |    86991 |    34719 |    14340      3 |      599 |      340
47.98/48.05	c 47.8s |      12 |    88161 |    35719 |    14340      3 |      599 |      340
50.18/50.21	c 49.9s |      12 |    89645 |    36819 |    14340      3 |      599 |      340
52.28/52.33	c 52.1s |      12 |    91055 |    37819 |    14340      3 |      599 |      340
54.28/54.35	c 54.1s |      12 |    92034 |    38619 |    15775      3 |      599 |      340
54.88/54.99	c 54.7s |      13 |    92312 |    38832 |    15775      3 |      599 |      340
56.88/56.99	c 56.7s |      13 |    97858 |    40732 |    15775      3 |      599 |      340
58.98/59.06	c 58.8s |      13 |   101935 |    42432 |    15775      3 |      599 |      340
61.28/61.33	c 61.1s |      13 |   103275 |    43532 |    15775      4 |      599 |      340
63.28/63.35	c 63.1s |      13 |   104996 |    44732 |    15775      4 |      599 |      340
65.38/65.40	c 65.1s |      13 |   106588 |    45932 |    15775      4 |      599 |      340
67.48/67.57	c 67.3s |      13 |   107743 |    46932 |    15775      4 |      599 |      340
69.58/69.67	c 69.4s |      13 |   108956 |    47932 |    15775      4 |      599 |      340
71.68/71.71	c 71.4s |      13 |   110138 |    48832 |    15775      4 |      599 |      340
73.88/73.93	c 73.7s |      13 |   110927 |    49532 |    15775      4 |      599 |      340
75.98/76.03	c 75.8s |      13 |   111626 |    50132 |    15775      4 |      599 |      340
78.27/78.33	c 78.1s |      13 |   112500 |    50832 |    15775      4 |      599 |      340
80.47/80.53	c 80.3s |      13 |   113307 |    51532 |    15775      4 |      599 |      340
82.68/82.76	c 82.5s |      13 |   114329 |    52432 |    15775      4 |      599 |      340
84.69/84.79	c 84.5s |      13 |   115049 |    53032 |    15775      4 |      599 |      340
86.78/86.90	c 86.6s |      13 |   115915 |    53732 |    15775      5 |      599 |      340
89.08/89.17	c 88.9s |      13 |   116673 |    54432 |    15775      5 |      599 |      340
91.08/91.18	c 90.9s |      13 |   117398 |    55032 |    15775      5 |      599 |      340
93.18/93.23	c 93.0s |      13 |   118215 |    55732 |    15775      5 |      599 |      340
95.37/95.46	c 95.2s |      13 |   119037 |    56432 |    15775      5 |      599 |      340
97.47/97.52	c 97.2s |      13 |   119925 |    57132 |    15775      5 |      599 |      340
99.67/99.75	c 99.5s |      13 |   120598 |    57732 |    15775      5 |      599 |      340
101.67/101.71	c  101s |      14 |   121371 |    58352 |    17353      5 |      599 |      340
103.67/103.73	c  103s |      14 |   125758 |    59752 |    17353      5 |      599 |      340
105.68/105.77	c  105s |      14 |   130337 |    61252 |    17353      5 |      599 |      340
107.77/107.85	c  107s |      14 |   135988 |    63152 |    17353      5 |      599 |      340
109.77/109.89	c  109s |      14 |   142733 |    64852 |    17353      6 |      599 |      340
111.97/112.00	c  111s |      14 |   144571 |    66052 |    17353      6 |      599 |      340
114.06/114.12	c  113s |      14 |   145750 |    67052 |    17353      6 |      599 |      340
116.17/116.28	c  116s |      14 |   146948 |    68052 |    17353      6 |      599 |      340
118.37/118.46	c  118s |      14 |   148300 |    69152 |    17353      6 |      599 |      340
120.57/120.69	c  120s |      14 |   149748 |    70252 |    17353      6 |      599 |      340
122.77/122.80	c  122s |      14 |   151165 |    71352 |    17353      6 |      599 |      340
124.77/124.81	c  124s |      14 |   152082 |    72152 |    17353      6 |      599 |      340
126.87/126.95	c  126s |      14 |   153014 |    72952 |    17353      6 |      599 |      340
129.17/129.21	c  128s |      14 |   153931 |    73752 |    17353      6 |      599 |      340
131.37/131.45	c  131s |      14 |   154717 |    74452 |    17353      7 |      599 |      340
133.47/133.57	c  133s |      14 |   155699 |    75252 |    17353      7 |      599 |      340
135.67/135.74	c  135s |      14 |   157091 |    76252 |    17353      7 |      599 |      340
137.87/137.90	c  137s |      14 |   158047 |    77052 |    17353      7 |      599 |      340
139.97/140.09	c  139s |      14 |   158969 |    77852 |    17353      7 |      599 |      340
142.07/142.19	c  141s |      14 |   159938 |    78652 |    17353      7 |      599 |      340
144.36/144.45	c  144s |      14 |   160840 |    79452 |    17353      7 |      599 |      340
146.56/146.62	c  146s |      14 |   161595 |    80152 |    17353      7 |      599 |      340
148.66/148.74	c  148s |      14 |   162391 |    80852 |    17353      7 |      599 |      340
150.67/150.77	c  150s |      14 |   163042 |    81452 |    17353      7 |      599 |      340
152.97/153.05	c  152s |      14 |   163829 |    82152 |    17353      7 |      599 |      340
154.96/155.09	c  154s |      14 |   164499 |    82752 |    17353      7 |      599 |      340
157.27/157.35	c  157s |      14 |   165153 |    83352 |    17353      7 |      599 |      340
159.66/159.74	c  159s |      14 |   165791 |    83952 |    17353      7 |      599 |      340
162.36/162.47	c  162s |      14 |   166439 |    84552 |    17353      8 |      599 |      340
164.46/164.57	c  164s |      14 |   167391 |    85352 |    17353      8 |      599 |      340
166.66/166.76	c  166s |      14 |   168335 |    86152 |    17353      8 |      599 |      340
168.76/168.81	c  168s |      14 |   169177 |    86852 |    17353      8 |      599 |      340
170.96/171.05	c  170s |      15 |   170089 |    87632 |    19089      8 |      599 |      340
172.96/173.09	c  172s |      15 |   178990 |    89832 |    19089      8 |      599 |      340
175.06/175.13	c  174s |      15 |   180750 |    91232 |    19089      8 |      599 |      340
177.16/177.23	c  176s |      15 |   182365 |    92532 |    19089      8 |      599 |      340
179.16/179.24	c  178s |      15 |   183801 |    93732 |    19089      8 |      599 |      340
181.16/181.28	c  181s |      15 |   185251 |    94832 |    19089      8 |      599 |      340
183.36/183.45	c  183s |      15 |   186326 |    95732 |    19089      8 |      599 |      340
186.16/186.20	c  185s |      15 |   187365 |    96632 |    19089      9 |      599 |      340
188.26/188.33	c  188s |      15 |   188296 |    97432 |    19089      9 |      599 |      340
190.46/190.51	c  190s |      15 |   189185 |    98232 |    19089      9 |      599 |      340
192.46/192.59	c  192s |      15 |   190007 |    98932 |    19089      9 |      599 |      340
194.56/194.67	c  194s |      15 |   190793 |    99632 |    19089      9 |      599 |      340
196.86/196.98	c  196s |      15 |   191699 |   100432 |    19089      9 |      599 |      340
198.96/199.01	c  198s |      15 |   192713 |   101232 |    19089      9 |      599 |      340
201.16/201.21	c  200s |      15 |   193535 |   101932 |    19089      9 |      599 |      340
203.16/203.25	c  202s |      15 |   199555 |   103432 |    19089      9 |      599 |      340
205.35/205.44	c  205s |      15 |   202030 |   104632 |    19089      9 |      599 |      340
207.45/207.52	c  207s |      15 |   204095 |   105832 |    19089      9 |      599 |      340
209.55/209.67	c  209s |      15 |   206225 |   107132 |    19089      9 |      599 |      340
211.95/212.05	c  211s |      15 |   207280 |   108032 |    19089     10 |      599 |      340
214.25/214.31	c  214s |      15 |   208140 |   108832 |    19089     10 |      599 |      340
216.35/216.41	c  216s |      15 |   208996 |   109632 |    19089     10 |      599 |      340
218.35/218.44	c  218s |      15 |   209825 |   110332 |    19089     10 |      599 |      340
220.35/220.49	c  220s |      15 |   210243 |   110732 |    19089     10 |      599 |      340
223.05/223.16	c  222s |      15 |   210678 |   111132 |    19089     10 |      599 |      340
225.15/225.22	c  224s |      15 |   211306 |   111532 |    19089     10 |      599 |      340
227.25/227.30	c  227s |      15 |   212232 |   112332 |    19089     10 |      599 |      340
229.26/229.34	c  229s |      15 |   213255 |   113132 |    19089     10 |      599 |      340
231.46/231.54	c  231s |      15 |   214093 |   113832 |    19089     10 |      599 |      340
233.66/233.72	c  233s |      15 |   214921 |   114532 |    19089     10 |      599 |      340
235.86/235.94	c  235s |      15 |   215945 |   115332 |    19089     10 |      599 |      340
237.85/237.97	c  237s |      15 |   216807 |   116032 |    19089     10 |      599 |      340
240.05/240.12	c  239s |      15 |   217564 |   116632 |    19089     10 |      599 |      340
242.35/242.42	c  242s |      15 |   218070 |   117032 |    19089     10 |      599 |      340
245.05/245.17	c  244s |      15 |   218630 |   117532 |    19089     10 |      599 |      340
247.65/247.80	c  247s |      15 |   219077 |   117932 |    19089     10 |      599 |      340
249.76/249.85	c  249s |      15 |   219534 |   118332 |    19089     10 |      599 |      340
251.86/251.97	c  251s |      15 |   220416 |   119032 |    19089     10 |      599 |      340
254.06/254.19	c  253s |      15 |   221141 |   119632 |    19089     11 |      599 |      340
256.45/256.51	c  256s |      15 |   221808 |   120232 |    19089     11 |      599 |      340
258.55/258.69	c  258s |      15 |   222238 |   120632 |    19089     11 |      599 |      340
260.65/260.75	c  260s |      15 |   222829 |   121132 |    19089     11 |      599 |      340
263.05/263.13	c  262s |      15 |   223531 |   121732 |    19089     11 |      599 |      340
265.15/265.23	c  264s |      15 |   224075 |   122232 |    19089     11 |      599 |      340
267.94/268.04	c  267s |      15 |   224631 |   122732 |    19089     11 |      599 |      340
269.94/270.05	c  269s |      15 |   225074 |   123132 |    19089     11 |      599 |      340
272.75/272.83	c  272s |      15 |   225618 |   123632 |    19089     11 |      599 |      340
274.84/274.93	c  274s |      15 |   226054 |   124032 |    19089     11 |      599 |      340
277.15/277.25	c  276s |      15 |   226500 |   124432 |    19089     11 |      599 |      340
279.54/279.63	c  279s |      15 |   226945 |   124832 |    19089     11 |      599 |      340
281.74/281.82	c  281s |      15 |   227373 |   125232 |    19089     11 |      599 |      340
283.94/284.01	c  283s |      15 |   227827 |   125632 |    19089     11 |      599 |      340
286.05/286.15	c  285s |      15 |   228377 |   126132 |    19089     11 |      599 |      340
288.44/288.57	c  288s |      15 |   228602 |   126332 |    19089     11 |      599 |      340
290.45/290.58	c  290s |      15 |   228927 |   126632 |    19089     11 |      599 |      340
293.44/293.56	c  293s |      15 |   229352 |   127032 |    19089     11 |      599 |      340
296.05/296.13	c  295s |      15 |   229913 |   127532 |    19089     11 |      599 |      340
298.45/298.52	c  298s |      15 |   230243 |   127832 |    19089     11 |      599 |      340
300.45/300.58	c  300s |      15 |   230555 |   128132 |    19089     11 |      599 |      340
302.55/302.67	c  302s |      15 |   230883 |   128432 |    19089     11 |      599 |      340
305.34/305.43	c  305s |      15 |   231206 |   128732 |    19089     11 |      599 |      340
307.84/307.99	c  307s |      15 |   231632 |   129132 |    19089     11 |      599 |      340
310.34/310.45	c  310s |      15 |   232080 |   129532 |    19089     11 |      599 |      340
313.04/313.11	c  312s |      15 |   232407 |   129832 |    19089     11 |      599 |      340
315.04/315.15	c  314s |      15 |   232729 |   130132 |    19089     11 |      599 |      340
317.04/317.15	c  316s |      15 |   233195 |   130532 |    19089     12 |      599 |      340
319.14/319.24	c  318s |      15 |   233869 |   131132 |    20998     12 |      599 |      340
321.14/321.25	c  320s |      15 |   234206 |   131432 |    20998     12 |      599 |      340
321.84/321.92	c  321s |      16 |   234355 |   131552 |    20998     12 |      599 |      340
323.84/323.96	c  323s |      16 |   237886 |   133152 |    20998     12 |      599 |      340
325.94/326.02	c  325s |      16 |   240647 |   134952 |    20998     12 |      599 |      340
327.94/328.08	c  327s |      16 |   242986 |   136652 |    20998     12 |      599 |      340
330.04/330.11	c  329s |      16 |   249941 |   138552 |    20998     12 |      599 |      340
332.03/332.19	c  331s |      16 |   254279 |   140452 |    20998     12 |      599 |      340
334.23/334.30	c  334s |      16 |   256010 |   141852 |    20998     12 |      599 |      340
336.23/336.31	c  336s |      16 |   257324 |   142952 |    20998     12 |      599 |      340
338.23/338.32	c  338s |      16 |   258214 |   143752 |    20998     13 |      599 |      340
340.43/340.51	c  340s |      16 |   259316 |   144752 |    20998     13 |      599 |      340
342.53/342.68	c  342s |      16 |   260490 |   145752 |    20998     13 |      599 |      340
344.83/344.91	c  344s |      16 |   261666 |   146752 |    20998     13 |      599 |      340
346.83/346.92	c  346s |      16 |   262554 |   147552 |    20998     13 |      599 |      340
349.03/349.18	c  348s |      16 |   263439 |   148352 |    20998     13 |      599 |      340
351.23/351.30	c  351s |      16 |   264187 |   149052 |    20998     13 |      599 |      340
353.53/353.64	c  353s |      16 |   265071 |   149852 |    20998     13 |      599 |      340
355.63/355.73	c  355s |      16 |   265853 |   150552 |    20998     13 |      599 |      340
357.63/357.78	c  357s |      16 |   266628 |   151252 |    20998     13 |      599 |      340
359.74/359.84	c  359s |      16 |   267417 |   151952 |    20998     13 |      599 |      340
361.73/361.86	c  361s |      16 |   268345 |   152752 |    20998     13 |      599 |      340
363.73/363.87	c  363s |      16 |   269153 |   153452 |    20998     13 |      599 |      340
366.03/366.17	c  365s |      16 |   270066 |   154252 |    20998     13 |      599 |      340
368.13/368.29	c  368s |      16 |   270737 |   154852 |    20998     13 |      599 |      340
370.33/370.46	c  370s |      16 |   271500 |   155552 |    20998     13 |      599 |      340
372.53/372.61	c  372s |      16 |   272057 |   156052 |    20998     14 |      599 |      340
374.73/374.89	c  374s |      16 |   272905 |   156852 |    20998     14 |      599 |      340
377.02/377.16	c  376s |      16 |   273649 |   157552 |    20998     14 |      599 |      340
379.22/379.34	c  379s |      16 |   274439 |   158252 |    20998     14 |      599 |      340
381.33/381.47	c  381s |      16 |   275242 |   158952 |    20998     14 |      599 |      340
383.63/383.72	c  383s |      16 |   276029 |   159652 |    20998     14 |      599 |      340
385.83/385.95	c  385s |      16 |   276806 |   160352 |    20998     14 |      599 |      340
388.13/388.23	c  387s |      16 |   277583 |   161052 |    20998     14 |      599 |      340
390.23/390.39	c  390s |      16 |   278241 |   161652 |    20998     14 |      599 |      340
392.23/392.39	c  392s |      16 |   278889 |   162252 |    20998     14 |      599 |      340
394.33/394.44	c  394s |      16 |   279557 |   162852 |    20998     14 |      599 |      340
396.53/396.62	c  396s |      16 |   280190 |   163452 |    20998     14 |      599 |      340
398.83/398.96	c  398s |      16 |   280972 |   164152 |    20998     14 |      599 |      340
401.03/401.16	c  400s |      16 |   281786 |   164852 |    20998     14 |      599 |      340
403.13/403.23	c  402s |      16 |   282449 |   165452 |    20998     14 |      599 |      340
405.33/405.40	c  405s |      16 |   283221 |   166152 |    20998     14 |      599 |      340
407.63/407.76	c  407s |      16 |   284052 |   166852 |    20998     14 |      599 |      340
410.03/410.12	c  409s |      16 |   284720 |   167452 |    20998     14 |      599 |      340
412.03/412.12	c  411s |      16 |   285286 |   167952 |    20998     14 |      599 |      340
414.13/414.29	c  414s |      16 |   285744 |   168352 |    20998     15 |      599 |      340
416.43/416.55	c  416s |      16 |   286620 |   169152 |    20998     15 |      599 |      340
418.43/418.59	c  418s |      16 |   287436 |   169852 |    20998     15 |      599 |      340
420.52/420.61	c  420s |      16 |   288390 |   170652 |    20998     15 |      599 |      340
422.72/422.86	c  422s |      16 |   289309 |   171452 |    20998     15 |      599 |      340
424.72/424.87	c  424s |      16 |   290078 |   172152 |    20998     15 |      599 |      340
427.12/427.20	c  426s |      16 |   290974 |   172952 |    20998     15 |      599 |      340
429.32/429.46	c  429s |      16 |   291731 |   173652 |    20998     15 |      599 |      340
431.52/431.69	c  431s |      16 |   292503 |   174352 |    20998     15 |      599 |      340
433.92/434.03	c  433s |      16 |   293162 |   174952 |    20998     15 |      599 |      340
436.02/436.18	c  435s |      16 |   293817 |   175552 |    20998     15 |      599 |      340
438.22/438.33	c  438s |      16 |   294487 |   176152 |    20998     15 |      599 |      340
440.32/440.49	c  440s |      16 |   295426 |   176952 |    20998     15 |      599 |      340
442.52/442.63	c  442s |      16 |   296232 |   177652 |    20998     15 |      599 |      340
444.72/444.81	c  444s |      16 |   297054 |   178352 |    20998     15 |      599 |      340
446.72/446.89	c  446s |      16 |   297724 |   178952 |    20998     15 |      599 |      340
448.92/449.04	c  448s |      16 |   298398 |   179552 |    20998     15 |      599 |      340
451.12/451.21	c  450s |      16 |   299073 |   180152 |    20998     15 |      599 |      340
453.13/453.30	c  453s |      16 |   299815 |   180752 |    20998     16 |      599 |      340
455.22/455.34	c  455s |      16 |   300747 |   181552 |    20998     16 |      599 |      340
457.32/457.40	c  457s |      16 |   301804 |   182452 |    20998     16 |      599 |      340
459.52/459.61	c  459s |      16 |   302700 |   183252 |    20998     16 |      599 |      340
461.72/461.85	c  461s |      16 |   303486 |   183952 |    20998     16 |      599 |      340
463.82/463.95	c  463s |      16 |   304153 |   184552 |    20998     16 |      599 |      340
466.12/466.21	c  465s |      16 |   304920 |   185252 |    20998     16 |      599 |      340
468.12/468.29	c  468s |      16 |   305575 |   185852 |    20998     16 |      599 |      340
470.22/470.30	c  470s |      16 |   306241 |   186452 |    20998     16 |      599 |      340
472.22/472.34	c  472s |      16 |   306906 |   187052 |    20998     16 |      599 |      340
474.41/474.51	c  474s |      16 |   307580 |   187652 |    20998     16 |      599 |      340
476.61/476.77	c  476s |      16 |   308223 |   188252 |    20998     16 |      599 |      340
479.01/479.10	c  478s |      16 |   309068 |   188952 |    20998     16 |      599 |      340
481.31/481.43	c  481s |      16 |   309864 |   189652 |    20998     16 |      599 |      340
483.51/483.68	c  483s |      16 |   310509 |   190252 |    20998     16 |      599 |      340
486.01/486.15	c  485s |      16 |   311189 |   190852 |    20998     16 |      599 |      340
488.42/488.51	c  488s |      16 |   311864 |   191452 |    20998     16 |      599 |      340
490.52/490.68	c  490s |      16 |   312516 |   192052 |    20998     16 |      599 |      340
492.82/492.95	c  492s |      16 |   313204 |   192652 |    20998     16 |      599 |      340
495.11/495.20	c  494s |      16 |   313864 |   193252 |    20998     17 |      599 |      340
497.31/497.45	c  497s |      16 |   314632 |   193952 |    20998     17 |      599 |      340
499.32/499.49	c  499s |      16 |   315273 |   194552 |    20998     17 |      599 |      340
501.41/501.57	c  501s |      16 |   315919 |   195152 |    20998     17 |      599 |      340
503.61/503.76	c  503s |      16 |   316565 |   195752 |    20998     17 |      599 |      340
505.91/506.01	c  505s |      16 |   317482 |   196552 |    23098     17 |      599 |      340
508.11/508.22	c  507s |      16 |   318287 |   197252 |    23098     17 |      599 |      340
508.71/508.80	c  508s |      17 |   318485 |   197432 |    23098     17 |      599 |      340
510.71/510.83	c  510s |      17 |   326102 |   199332 |    23098     17 |      599 |      340
512.81/512.91	c  512s |      17 |   335003 |   201932 |    23098     17 |      599 |      340
514.82/514.98	c  514s |      17 |   338744 |   203432 |    23098     17 |      599 |      340
516.92/517.05	c  516s |      17 |   341935 |   205132 |    23098     17 |      599 |      340
518.91/519.09	c  518s |      17 |   344442 |   206632 |    23098     17 |      599 |      340
521.01/521.12	c  520s |      17 |   345894 |   207632 |    23098     18 |      599 |      340
523.01/523.13	c  522s |      17 |   347364 |   208732 |    23098     18 |      599 |      340
525.01/525.17	c  524s |      17 |   348608 |   209732 |    23098     18 |      599 |      340
527.31/527.43	c  527s |      17 |   349648 |   210632 |    23098     18 |      599 |      340
529.51/529.65	c  529s |      17 |   350448 |   211332 |    23098     18 |      599 |      340
531.80/531.91	c  531s |      17 |   351206 |   212032 |    23098     18 |      599 |      340
533.80/533.99	c  533s |      17 |   352259 |   212832 |    23098     18 |      599 |      340
536.00/536.19	c  535s |      17 |   353111 |   213632 |    23098     18 |      599 |      340
538.20/538.38	c  538s |      17 |   354007 |   214432 |    23098     18 |      599 |      340
540.50/540.65	c  540s |      17 |   355006 |   215232 |    23098     18 |      599 |      340
542.60/542.78	c  542s |      17 |   356827 |   216232 |    23098     18 |      599 |      340
544.80/544.91	c  544s |      17 |   358335 |   217232 |    23098     18 |      599 |      340
547.10/547.22	c  546s |      17 |   359591 |   218132 |    23098     18 |      599 |      340
549.20/549.31	c  549s |      17 |   360703 |   218832 |    23098     18 |      599 |      340
551.20/551.32	c  551s |      17 |   361451 |   219332 |    23098     18 |      599 |      340
553.21/553.38	c  553s |      17 |   362828 |   220232 |    23098     19 |      599 |      340
555.30/555.50	c  555s |      17 |   363784 |   221032 |    23098     19 |      599 |      340
557.50/557.63	c  557s |      17 |   364598 |   221732 |    23098     19 |      599 |      340
559.70/559.80	c  559s |      17 |   365614 |   222532 |    23098     19 |      599 |      340
561.80/561.97	c  561s |      17 |   366583 |   223332 |    23098     19 |      599 |      340
563.90/564.06	c  563s |      17 |   367415 |   224032 |    23098     19 |      599 |      340
566.00/566.14	c  565s |      17 |   368269 |   224732 |    23098     19 |      599 |      340
568.20/568.38	c  568s |      17 |   369111 |   225432 |    23098     19 |      599 |      340
570.30/570.43	c  570s |      17 |   369837 |   226032 |    23098     19 |      599 |      340
572.90/573.05	c  572s |      17 |   370858 |   226732 |    23098     19 |      599 |      340
575.21/575.31	c  575s |      17 |   372103 |   227532 |    23098     19 |      599 |      340
577.30/577.42	c  577s |      17 |   372905 |   228232 |    23098     19 |      599 |      340
579.40/579.57	c  579s |      17 |   373718 |   228832 |    23098     19 |      599 |      340
581.60/581.78	c  581s |      17 |   374284 |   229332 |    23098     19 |      599 |      340
583.70/583.86	c  583s |      17 |   374533 |   229532 |    23098     19 |      599 |      340
585.90/586.00	c  585s |      17 |   375033 |   229932 |    23098     19 |      599 |      340
588.80/588.97	c  588s |      17 |   375769 |   230532 |    23098     19 |      599 |      340
591.00/591.10	c  590s |      17 |   376243 |   230932 |    23098     19 |      599 |      340
593.09/593.28	c  593s |      17 |   376688 |   231332 |    23098     19 |      599 |      340
596.39/596.58	c  596s |      17 |   377365 |   231932 |    23098     19 |      599 |      340
599.09/599.27	c  598s |      17 |   377784 |   232332 |    23098     19 |      599 |      340
601.29/601.43	c  601s |      17 |   378402 |   232832 |    23098     19 |      599 |      340
603.39/603.54	c  603s |      17 |   378862 |   233232 |    23098     20 |      599 |      340
605.60/605.75	c  605s |      17 |   379540 |   233832 |    23098     20 |      599 |      340
607.70/607.82	c  607s |      17 |   380279 |   234432 |    23098     20 |      599 |      340
610.00/610.18	c  609s |      17 |   381017 |   235032 |    23098     20 |      599 |      340
612.20/612.36	c  612s |      17 |   381787 |   235632 |    23098     20 |      599 |      340
614.40/614.54	c  614s |      17 |   382752 |   236332 |    23098     20 |      599 |      340
616.50/616.64	c  616s |      17 |   384097 |   237232 |    23098     20 |      599 |      340
618.60/618.72	c  618s |      17 |   384959 |   237932 |    23098     20 |      599 |      340
620.89/621.05	c  620s |      17 |   385793 |   238632 |    23098     20 |      599 |      340
623.19/623.31	c  623s |      17 |   386618 |   239332 |    23098     20 |      599 |      340
625.29/625.42	c  625s |      17 |   387300 |   239932 |    23098     20 |      599 |      340
627.29/627.46	c  627s |      17 |   387837 |   240432 |    23098     20 |      599 |      340
629.59/629.74	c  629s |      17 |   388507 |   241032 |    23098     20 |      599 |      340
631.69/631.82	c  631s |      17 |   389048 |   241532 |    23098     20 |      599 |      340
633.79/633.91	c  633s |      17 |   389591 |   242032 |    23098     20 |      599 |      340
635.99/636.19	c  635s |      17 |   390239 |   242632 |    23098     20 |      599 |      340
638.29/638.49	c  638s |      17 |   390771 |   243132 |    23098     20 |      599 |      340
640.59/640.71	c  640s |      17 |   391433 |   243732 |    23098     20 |      599 |      340
642.68/642.85	c  642s |      17 |   392017 |   244232 |    23098     20 |      599 |      340
644.98/645.17	c  644s |      17 |   392550 |   244732 |    23098     20 |      599 |      340
647.38/647.52	c  647s |      17 |   393116 |   245232 |    23098     20 |      599 |      340
649.39/649.55	c  649s |      17 |   393709 |   245732 |    23098     20 |      599 |      340
651.89/652.08	c  651s |      17 |   394276 |   246232 |    23098     21 |      599 |      340
653.89/654.09	c  653s |      17 |   394923 |   246832 |    23098     21 |      599 |      340
656.09/656.27	c  655s |      17 |   395745 |   247532 |    23098     21 |      599 |      340
658.09/658.27	c  657s |      17 |   396434 |   248132 |    23098     21 |      599 |      340
660.28/660.48	c  660s |      17 |   397090 |   248732 |    23098     21 |      599 |      340
662.58/662.71	c  662s |      17 |   398396 |   249632 |    23098     21 |      599 |      340
664.58/664.73	c  664s |      17 |   399321 |   250332 |    23098     21 |      599 |      340
666.68/666.84	c  666s |      17 |   400384 |   251132 |    23098     21 |      599 |      340
668.79/668.98	c  668s |      17 |   401234 |   251832 |    23098     21 |      599 |      340
670.89/671.02	c  670s |      17 |   401947 |   252432 |    23098     21 |      599 |      340
673.19/673.38	c  673s |      17 |   402717 |   253132 |    23098     21 |      599 |      340
675.39/675.58	c  675s |      17 |   403507 |   253832 |    23098     21 |      599 |      340
677.68/677.82	c  677s |      17 |   404372 |   254532 |    23098     21 |      599 |      340
679.78/679.99	c  679s |      17 |   405039 |   255132 |    23098     21 |      599 |      340
682.18/682.31	c  682s |      17 |   405904 |   255832 |    23098     21 |      599 |      340
684.48/684.65	c  684s |      17 |   406550 |   256432 |    23098     21 |      599 |      340
686.48/686.67	c  686s |      17 |   407099 |   256932 |    23098     21 |      599 |      340
688.49/688.68	c  688s |      17 |   407668 |   257432 |    23098     21 |      599 |      340
690.88/691.01	c  690s |      17 |   408324 |   258032 |    23098     21 |      599 |      340
693.18/693.30	c  693s |      17 |   408862 |   258532 |    23098     21 |      599 |      340
695.28/695.46	c  695s |      17 |   409388 |   259032 |    23098     21 |      599 |      340
697.38/697.58	c  697s |      17 |   410104 |   259532 |    23098     22 |      599 |      340
699.67/699.80	c  699s |      17 |   411305 |   260432 |    23098     22 |      599 |      340
701.68/701.86	c  701s |      17 |   412172 |   261132 |    23098     22 |      599 |      340
703.98/704.13	c  703s |      17 |   413189 |   261932 |    23098     22 |      599 |      340
706.08/706.25	c  705s |      17 |   414066 |   262632 |    23098     22 |      599 |      340
708.17/708.33	c  708s |      17 |   414878 |   263332 |    23098     22 |      599 |      340
710.37/710.57	c  710s |      17 |   415863 |   264132 |    23098     22 |      599 |      340
712.47/712.64	c  712s |      17 |   416570 |   264732 |    23098     22 |      599 |      340
714.68/714.80	c  714s |      17 |   417256 |   265332 |    23098     22 |      599 |      340
716.88/717.05	c  716s |      17 |   417975 |   265932 |    23098     22 |      599 |      340
718.98/719.15	c  718s |      17 |   418670 |   266532 |    23098     22 |      599 |      340
721.28/721.40	c  721s |      17 |   419431 |   267132 |    23098     22 |      599 |      340
723.58/723.78	c  723s |      17 |   420110 |   267732 |    23098     22 |      599 |      340
725.77/725.93	c  725s |      17 |   420793 |   268332 |    23098     22 |      599 |      340
728.08/728.23	c  727s |      17 |   421449 |   268932 |    23098     22 |      599 |      340
730.38/730.53	c  730s |      17 |   422124 |   269532 |    23098     22 |      599 |      340
732.58/732.78	c  732s |      17 |   422682 |   270032 |    23098     22 |      599 |      340
734.68/734.83	c  734s |      17 |   423284 |   270532 |    23098     22 |      599 |      340
736.77/736.93	c  736s |      17 |   423869 |   271032 |    23098     22 |      599 |      340
738.97/739.17	c  738s |      17 |   424428 |   271532 |    23098     22 |      599 |      340
741.28/741.47	c  741s |      17 |   424979 |   272032 |    23098     22 |      599 |      340
743.57/743.78	c  743s |      17 |   425416 |   272432 |    23098     23 |      599 |      340
745.67/745.88	c  745s |      17 |   426080 |   273032 |    23098     23 |      599 |      340
748.07/748.21	c  747s |      17 |   426729 |   273632 |    23098     23 |      599 |      340
750.27/750.45	c  750s |      17 |   427447 |   274232 |    23098     23 |      599 |      340
752.37/752.56	c  752s |      17 |   428128 |   274832 |    23098     23 |      599 |      340
754.57/754.78	c  754s |      17 |   428797 |   275432 |    23098     23 |      599 |      340
756.87/757.00	c  756s |      17 |   429476 |   276032 |    23098     23 |      599 |      340
758.88/759.05	c  758s |      17 |   430034 |   276532 |    23098     23 |      599 |      340
760.97/761.18	c  760s |      17 |   430596 |   277032 |    23098     23 |      599 |      340
763.07/763.27	c  762s |      17 |   431142 |   277532 |    23098     23 |      599 |      340
765.27/765.42	c  765s |      17 |   431590 |   277932 |    23098     23 |      599 |      340
767.47/767.60	c  767s |      17 |   432020 |   278332 |    23098     23 |      599 |      340
769.77/769.98	c  769s |      17 |   432710 |   278932 |    23098     23 |      599 |      340
771.87/772.01	c  771s |      17 |   433306 |   279432 |    23098     23 |      599 |      340
774.07/774.25	c  773s |      17 |   433824 |   279932 |    23098     23 |      599 |      340
776.27/776.42	c  776s |      17 |   434391 |   280432 |    23098     23 |      599 |      340
778.47/778.69	c  778s |      17 |   434936 |   280932 |    23098     23 |      599 |      340
780.87/781.10	c  780s |      17 |   435479 |   281432 |    23098     23 |      599 |      340
783.17/783.32	c  783s |      17 |   436022 |   281932 |    23098     23 |      599 |      340
785.27/785.46	c  785s |      17 |   436572 |   282432 |    23098     23 |      599 |      340
787.47/787.68	c  787s |      17 |   437116 |   282932 |    23098     23 |      599 |      340
789.86/790.08	c  789s |      17 |   437658 |   283432 |    23098     23 |      599 |      340
792.26/792.45	c  792s |      17 |   438200 |   283932 |    23098     23 |      599 |      340
794.46/794.60	c  794s |      17 |   438637 |   284332 |    23098     23 |      599 |      340
796.56/796.76	c  796s |      17 |   439065 |   284732 |    23098     23 |      599 |      340
798.66/798.87	c  798s |      17 |   439494 |   285132 |    23098     23 |      599 |      340
801.36/801.55	c  801s |      17 |   439908 |   285532 |    23098     24 |      599 |      340
803.66/803.85	c  803s |      17 |   440562 |   286132 |    23098     24 |      599 |      340
805.66/805.88	c  805s |      17 |   441103 |   286632 |    23098     24 |      599 |      340
808.36/808.51	c  808s |      17 |   441911 |   287332 |    23098     24 |      599 |      340
810.36/810.55	c  810s |      17 |   442486 |   287832 |    23098     24 |      599 |      340
812.46/812.62	c  812s |      17 |   443054 |   288332 |    23098     24 |      599 |      340
814.66/814.87	c  814s |      17 |   443718 |   288932 |    23098     24 |      599 |      340
816.86/817.03	c  816s |      17 |   444249 |   289432 |    23098     24 |      599 |      340
819.06/819.22	c  818s |      17 |   444830 |   289932 |    23098     24 |      599 |      340
821.16/821.32	c  821s |      17 |   445356 |   290432 |    23098     24 |      599 |      340
823.56/823.75	c  823s |      17 |   446062 |   291032 |    23098     24 |      599 |      340
825.66/825.84	c  825s |      17 |   446650 |   291532 |    23098     24 |      599 |      340
827.76/827.90	c  827s |      17 |   447106 |   291932 |    23098     24 |      599 |      340
829.96/830.15	c  829s |      17 |   447641 |   292432 |    23098     24 |      599 |      340
832.26/832.47	c  832s |      17 |   448181 |   292932 |    23098     24 |      599 |      340
834.66/834.86	c  834s |      17 |   448716 |   293432 |    23098     24 |      599 |      340
837.16/837.38	c  837s |      17 |   449284 |   293932 |    23098     24 |      599 |      340
839.46/839.65	c  839s |      17 |   449724 |   294332 |    25408     24 |      599 |      340
841.76/841.94	c  841s |      17 |   450305 |   294832 |    25408     24 |      599 |      340
843.96/844.18	c  843s |      17 |   450857 |   295332 |    25408     24 |      599 |      340
846.06/846.27	c  845s |      17 |   451317 |   295732 |    25408     24 |      599 |      340
848.36/848.54	c  848s |      17 |   451903 |   296232 |    25408     24 |      599 |      340
848.46/848.66	c  848s |      18 |   451931 |   296252 |    25408     24 |      599 |      340
850.45/850.69	c  850s |      18 |   462582 |   298252 |    25408     24 |      599 |      340
852.55/852.74	c  852s |      18 |   467822 |   300052 |    25408     25 |      599 |      340
854.56/854.77	c  854s |      18 |   470877 |   301952 |    25408     25 |      599 |      340
856.55/856.77	c  856s |      18 |   472124 |   303052 |    25408     25 |      599 |      340
858.65/858.84	c  858s |      18 |   473970 |   304352 |    25408     25 |      599 |      340
860.85/861.04	c  860s |      18 |   475543 |   305652 |    25408     25 |      599 |      340
862.85/863.06	c  862s |      18 |   476828 |   306752 |    25408     25 |      599 |      340
864.85/865.08	c  864s |      18 |   478029 |   307752 |    25408     25 |      599 |      340
867.05/867.29	c  867s |      18 |   479200 |   308752 |    25408     25 |      599 |      340
869.25/869.49	c  869s |      18 |   480274 |   309652 |    25408     25 |      599 |      340
871.35/871.58	c  871s |      18 |   481211 |   310452 |    25408     25 |      599 |      340
873.55/873.77	c  873s |      18 |   482135 |   311252 |    25408     25 |      599 |      340
875.65/875.81	c  875s |      18 |   482920 |   311952 |    25408     25 |      599 |      340
877.75/877.91	c  877s |      18 |   483721 |   312652 |    25408     25 |      599 |      340
879.85/880.00	c  879s |      18 |   484499 |   313352 |    25408     25 |      599 |      340
881.85/882.08	c  881s |      18 |   485259 |   314052 |    25408     25 |      599 |      340
884.25/884.43	c  884s |      18 |   485978 |   314652 |    25408     26 |      599 |      340
886.35/886.59	c  886s |      18 |   487393 |   315652 |    25408     26 |      599 |      340
888.45/888.69	c  888s |      18 |   488550 |   316552 |    25408     26 |      599 |      340
890.54/890.74	c  890s |      18 |   489698 |   317452 |    25408     26 |      599 |      340
892.64/892.86	c  892s |      18 |   490648 |   318252 |    25408     26 |      599 |      340
894.75/894.92	c  894s |      18 |   491629 |   319052 |    25408     26 |      599 |      340
896.95/897.18	c  896s |      18 |   492499 |   319852 |    25408     26 |      599 |      340
899.05/899.26	c  898s |      18 |   493321 |   320552 |    25408     26 |      599 |      340
901.15/901.38	c  901s |      18 |   494036 |   321152 |    25408     26 |      599 |      340
903.45/903.66	c  903s |      18 |   494961 |   321852 |    25408     26 |      599 |      340
905.45/905.69	c  905s |      18 |   495673 |   322452 |    25408     26 |      599 |      340
907.75/907.98	c  907s |      18 |   496349 |   323052 |    25408     26 |      599 |      340
909.95/910.11	c  909s |      18 |   497044 |   323652 |    25408     26 |      599 |      340
912.25/912.45	c  912s |      18 |   497829 |   324352 |    25408     26 |      599 |      340
914.25/914.47	c  914s |      18 |   498422 |   324852 |    25408     26 |      599 |      340
916.55/916.70	c  916s |      18 |   498987 |   325352 |    25408     26 |      599 |      340
918.65/918.81	c  918s |      18 |   499687 |   325952 |    25408     26 |      599 |      340
920.65/920.89	c  920s |      18 |   500233 |   326452 |    25408     26 |      599 |      340
922.95/923.18	c  922s |      18 |   500931 |   327052 |    25408     26 |      599 |      340
925.35/925.51	c  925s |      18 |   501596 |   327652 |    25408     26 |      599 |      340
927.34/927.58	c  927s |      18 |   502198 |   328152 |    25408     26 |      599 |      340
929.64/929.83	c  929s |      18 |   502761 |   328652 |    25408     26 |      599 |      340
931.84/932.05	c  931s |      18 |   503231 |   329052 |    25408     27 |      599 |      340
934.14/934.37	c  934s |      18 |   503902 |   329652 |    25408     27 |      599 |      340
936.54/936.76	c  936s |      18 |   504580 |   330252 |    25408     27 |      599 |      340
938.74/938.99	c  938s |      18 |   505249 |   330852 |    25408     27 |      599 |      340
941.04/941.29	c  941s |      18 |   505928 |   331452 |    25408     27 |      599 |      340
943.34/943.59	c  943s |      18 |   506630 |   332052 |    25408     27 |      599 |      340
945.44/945.66	c  945s |      18 |   507332 |   332652 |    25408     27 |      599 |      340
947.54/947.71	c  947s |      18 |   508181 |   333352 |    25408     27 |      599 |      340
949.64/949.85	c  949s |      18 |   508979 |   334052 |    25408     27 |      599 |      340
951.73/951.96	c  951s |      18 |   509918 |   334752 |    25408     27 |      599 |      340
954.03/954.26	c  953s |      18 |   510716 |   335452 |    25408     27 |      599 |      340
956.23/956.42	c  956s |      18 |   511536 |   336152 |    25408     27 |      599 |      340
958.43/958.62	c  958s |      18 |   512267 |   336752 |    25408     27 |      599 |      340
960.63/960.85	c  960s |      18 |   513092 |   337452 |    25408     27 |      599 |      340
962.73/962.95	c  962s |      18 |   513780 |   338052 |    25408     27 |      599 |      340
964.93/965.13	c  964s |      18 |   514461 |   338652 |    25408     27 |      599 |      340
967.13/967.33	c  967s |      18 |   515143 |   339252 |    25408     27 |      599 |      340
969.53/969.71	c  969s |      18 |   515811 |   339852 |    25408     27 |      599 |      340
971.63/971.81	c  971s |      18 |   516363 |   340352 |    25408     27 |      599 |      340
973.84/974.00	c  973s |      18 |   517509 |   341052 |    25408     27 |      599 |      340
975.84/976.01	c  975s |      18 |   518252 |   341652 |    25408     27 |      599 |      340
977.85/978.04	c  977s |      18 |   518955 |   342252 |    25408     27 |      599 |      340
979.84/980.08	c  979s |      18 |   519666 |   342852 |    25408     27 |      599 |      340
982.24/982.49	c  982s |      18 |   520249 |   343352 |    25408     28 |      599 |      340
984.64/984.82	c  984s |      18 |   521014 |   344052 |    25408     28 |      599 |      340
986.74/986.99	c  986s |      18 |   521900 |   344752 |    25408     28 |      599 |      340
988.84/989.07	c  988s |      18 |   522719 |   345452 |    25408     28 |      599 |      340
991.14/991.38	c  991s |      18 |   523631 |   346252 |    25408     28 |      599 |      340
993.24/993.45	c  993s |      18 |   524313 |   346852 |    25408     28 |      599 |      340
995.23/995.47	c  995s |      18 |   524992 |   347452 |    25408     28 |      599 |      340
997.54/997.75	c  997s |      18 |   525795 |   348152 |    25408     28 |      599 |      340
999.74/999.93	c  999s |      18 |   526479 |   348752 |    25408     28 |      599 |      340
1001.83/1002.09	c 1001s |      18 |   527188 |   349352 |    25408     28 |      599 |      340
1004.03/1004.21	c 1003s |      18 |   527733 |   349852 |    25408     28 |      599 |      340
1006.03/1006.23	c 1005s |      18 |   528300 |   350352 |    25408     28 |      599 |      340
1008.23/1008.47	c 1008s |      18 |   528990 |   350952 |    25408     28 |      599 |      340
1010.53/1010.74	c 1010s |      18 |   529699 |   351552 |    25408     28 |      599 |      340
1012.83/1013.00	c 1012s |      18 |   530378 |   352152 |    25408     28 |      599 |      340
1014.93/1015.14	c 1014s |      18 |   531074 |   352752 |    25408     28 |      599 |      340
1016.93/1017.14	c 1016s |      18 |   531676 |   353252 |    25408     28 |      599 |      340
1019.03/1019.29	c 1019s |      18 |   532349 |   353852 |    25408     28 |      599 |      340
1021.32/1021.57	c 1021s |      18 |   533025 |   354452 |    25408     28 |      599 |      340
1023.72/1023.94	c 1023s |      18 |   533712 |   355052 |    25408     28 |      599 |      340
1025.82/1026.03	c 1025s |      18 |   534292 |   355552 |    25408     28 |      599 |      340
1028.12/1028.37	c 1028s |      18 |   534972 |   356152 |    25408     28 |      599 |      340
1030.32/1030.59	c 1030s |      18 |   535680 |   356752 |    25408     28 |      599 |      340
1032.42/1032.62	c 1032s |      18 |   536259 |   357252 |    25408     28 |      599 |      340
1034.63/1034.82	c 1034s |      18 |   536700 |   357652 |    25408     29 |      599 |      340
1036.73/1036.97	c 1036s |      18 |   537530 |   358352 |    25408     29 |      599 |      340
1038.83/1039.06	c 1038s |      18 |   538314 |   359052 |    25408     29 |      599 |      340
1040.93/1041.20	c 1040s |      18 |   539086 |   359752 |    25408     29 |      599 |      340
1043.03/1043.20	c 1042s |      18 |   539756 |   360352 |    25408     29 |      599 |      340
1045.13/1045.34	c 1045s |      18 |   540415 |   360952 |    25408     29 |      599 |      340
1047.23/1047.44	c 1047s |      18 |   541073 |   361552 |    25408     29 |      599 |      340
1049.33/1049.58	c 1049s |      18 |   541748 |   362152 |    25408     29 |      599 |      340
1051.63/1051.82	c 1051s |      18 |   542434 |   362752 |    25408     29 |      599 |      340
1053.92/1054.11	c 1053s |      18 |   543126 |   363352 |    25408     29 |      599 |      340
1055.93/1056.14	c 1055s |      18 |   543695 |   363852 |    25408     29 |      599 |      340
1058.22/1058.40	c 1058s |      18 |   544376 |   364452 |    25408     29 |      599 |      340
1060.23/1060.49	c 1060s |      18 |   545060 |   365052 |    25408     29 |      599 |      340
1062.32/1062.57	c 1062s |      18 |   545756 |   365652 |    25408     29 |      599 |      340
1064.52/1064.80	c 1064s |      18 |   546438 |   366252 |    25408     29 |      599 |      340
1066.83/1067.02	c 1066s |      18 |   546986 |   366752 |    25408     29 |      599 |      340
1068.92/1069.12	c 1068s |      18 |   547583 |   367252 |    25408     29 |      599 |      340
1071.02/1071.23	c 1070s |      18 |   548321 |   367852 |    25408     29 |      599 |      340
1073.12/1073.31	c 1073s |      18 |   549006 |   368452 |    25408     29 |      599 |      340
1075.32/1075.54	c 1075s |      18 |   549670 |   369052 |    25408     29 |      599 |      340
1077.42/1077.64	c 1077s |      18 |   550320 |   369652 |    25408     29 |      599 |      340
1079.52/1079.74	c 1079s |      18 |   550867 |   370152 |    25408     29 |      599 |      340
1081.72/1081.90	c 1081s |      18 |   551584 |   370752 |    25408     29 |      599 |      340
1084.02/1084.23	c 1083s |      18 |   552275 |   371352 |    25408     29 |      599 |      340
1086.02/1086.28	c 1086s |      18 |   552849 |   371852 |    25408     29 |      599 |      340
1088.32/1088.50	c 1088s |      18 |   553308 |   372252 |    25408     30 |      599 |      340
1090.52/1090.79	c 1090s |      18 |   554089 |   372952 |    25408     30 |      599 |      340
1092.72/1092.94	c 1092s |      18 |   554745 |   373552 |    25408     30 |      599 |      340
1094.82/1095.05	c 1094s |      18 |   555383 |   374152 |    25408     30 |      599 |      340
1096.91/1097.15	c 1096s |      18 |   556036 |   374752 |    25408     30 |      599 |      340
1099.11/1099.31	c 1099s |      18 |   556806 |   375452 |    25408     30 |      599 |      340
1101.11/1101.38	c 1101s |      18 |   557475 |   376052 |    25408     30 |      599 |      340
1103.22/1103.40	c 1103s |      18 |   558144 |   376652 |    25408     30 |      599 |      340
1105.42/1105.63	c 1105s |      18 |   558971 |   377352 |    25408     30 |      599 |      340
1107.52/1107.70	c 1107s |      18 |   559648 |   377952 |    25408     30 |      599 |      340
1109.72/1109.97	c 1109s |      18 |   560351 |   378552 |    25408     30 |      599 |      340
1112.11/1112.36	c 1112s |      18 |   561006 |   379152 |    25408     30 |      599 |      340
1114.51/1114.77	c 1114s |      18 |   561667 |   379752 |    25408     30 |      599 |      340
1116.71/1116.91	c 1116s |      18 |   562201 |   380252 |    25408     30 |      599 |      340
1118.71/1118.92	c 1118s |      18 |   562741 |   380752 |    25408     30 |      599 |      340
1120.72/1120.96	c 1120s |      18 |   563321 |   381252 |    25408     30 |      599 |      340
1122.81/1123.09	c 1122s |      18 |   563889 |   381752 |    25408     30 |      599 |      340
1125.01/1125.20	c 1124s |      18 |   564448 |   382252 |    25408     30 |      599 |      340
1127.31/1127.58	c 1127s |      18 |   565008 |   382752 |    25408     30 |      599 |      340
1129.41/1129.62	c 1129s |      18 |   565575 |   383252 |    25408     30 |      599 |      340
1131.81/1132.09	c 1131s |      18 |   566251 |   383852 |    25408     30 |      599 |      340
1134.21/1134.41	c 1134s |      18 |   566810 |   384352 |    25408     30 |      599 |      340
1136.41/1136.62	c 1136s |      18 |   567371 |   384852 |    25408     30 |      599 |      340
1138.91/1139.16	c 1138s |      18 |   567914 |   385352 |    25408     30 |      599 |      340
1141.41/1141.69	c 1141s |      18 |   568476 |   385852 |    25408     30 |      599 |      340
1144.11/1144.34	c 1144s |      18 |   569023 |   386352 |    25408     31 |      599 |      340
1146.21/1146.44	c 1146s |      18 |   569692 |   386952 |    25408     31 |      599 |      340
1148.51/1148.78	c 1148s |      18 |   570489 |   387652 |    25408     31 |      599 |      340
1150.71/1150.94	c 1150s |      18 |   571168 |   388252 |    25408     31 |      599 |      340
1152.81/1153.05	c 1152s |      18 |   571838 |   388852 |    25408     31 |      599 |      340
1155.11/1155.36	c 1155s |      18 |   572519 |   389452 |    25408     31 |      599 |      340
1157.41/1157.66	c 1157s |      18 |   573172 |   390052 |    25408     31 |      599 |      340
1159.71/1159.94	c 1159s |      18 |   573839 |   390652 |    25408     31 |      599 |      340
1162.11/1162.33	c 1162s |      18 |   574485 |   391252 |    25408     31 |      599 |      340
1164.21/1164.41	c 1164s |      18 |   575030 |   391752 |    25408     31 |      599 |      340
1166.51/1166.70	c 1166s |      18 |   575716 |   392352 |    25408     31 |      599 |      340
1168.61/1168.87	c 1168s |      18 |   576286 |   392852 |    25408     31 |      599 |      340
1170.71/1170.93	c 1170s |      18 |   576822 |   393352 |    25408     31 |      599 |      340
1172.91/1173.11	c 1172s |      18 |   577365 |   393852 |    25408     31 |      599 |      340
1175.21/1175.42	c 1175s |      18 |   578225 |   394452 |    25408     31 |      599 |      340
1177.21/1177.49	c 1177s |      18 |   578887 |   395052 |    25408     31 |      599 |      340
1179.51/1179.72	c 1179s |      18 |   579577 |   395652 |    25408     31 |      599 |      340
1181.61/1181.80	c 1181s |      18 |   580285 |   396252 |    25408     31 |      599 |      340
1183.81/1184.04	c 1183s |      18 |   580996 |   396852 |    25408     31 |      599 |      340
1186.11/1186.36	c 1186s |      18 |   581703 |   397452 |    25408     31 |      599 |      340
1188.21/1188.42	c 1188s |      18 |   582269 |   397952 |    25408     31 |      599 |      340
1190.51/1190.73	c 1190s |      18 |   582943 |   398552 |    25408     31 |      599 |      340
1192.90/1193.13	c 1192s |      18 |   583628 |   399152 |    25408     31 |      599 |      340
1195.00/1195.26	c 1194s |      18 |   584176 |   399652 |    25408     31 |      599 |      340
1197.20/1197.43	c 1197s |      18 |   584751 |   400152 |    25408     31 |      599 |      340
1200.01/1200.25	c 1199s |      18 |   585316 |   400652 |    25408     32 |      599 |      340
1202.30/1202.59	c 1202s |      18 |   586126 |   401352 |    25408     32 |      599 |      340
1204.31/1204.60	c 1204s |      18 |   586785 |   401952 |    25408     32 |      599 |      340
1206.40/1206.63	c 1206s |      18 |   587451 |   402552 |    25408     32 |      599 |      340
1208.60/1208.82	c 1208s |      18 |   588099 |   403152 |    25408     32 |      599 |      340
1210.60/1210.85	c 1210s |      18 |   588623 |   403652 |    25408     32 |      599 |      340
1212.80/1213.00	c 1212s |      18 |   589301 |   404252 |    25408     32 |      599 |      340
1214.90/1215.18	c 1214s |      18 |   589989 |   404852 |    25408     32 |      599 |      340
1217.10/1217.36	c 1217s |      18 |   590713 |   405452 |    25408     32 |      599 |      340
1219.20/1219.40	c 1219s |      18 |   591261 |   405952 |    25408     32 |      599 |      340
1221.30/1221.50	c 1221s |      18 |   591813 |   406452 |    25408     32 |      599 |      340
1223.30/1223.58	c 1223s |      18 |   592363 |   406952 |    25408     32 |      599 |      340
1225.50/1225.79	c 1225s |      18 |   593062 |   407552 |    25408     32 |      599 |      340
1227.59/1227.84	c 1227s |      18 |   593600 |   408052 |    25408     32 |      599 |      340
1229.70/1229.94	c 1229s |      18 |   594167 |   408552 |    25408     32 |      599 |      340
1231.80/1232.03	c 1231s |      18 |   594709 |   409052 |    25408     32 |      599 |      340
1233.79/1234.04	c 1233s |      18 |   595723 |   409652 |    25408     32 |      599 |      340
1235.99/1236.28	c 1236s |      18 |   596617 |   410352 |    25408     32 |      599 |      340
1238.29/1238.58	c 1238s |      18 |   597787 |   411152 |    25408     32 |      599 |      340
1240.49/1240.78	c 1240s |      18 |   598666 |   411852 |    25408     32 |      599 |      340
1242.59/1242.84	c 1242s |      18 |   599426 |   412452 |    25408     32 |      599 |      340
1244.59/1244.86	c 1244s |      18 |   600005 |   412952 |    25408     32 |      599 |      340
1246.69/1246.92	c 1246s |      18 |   600571 |   413452 |    25408     32 |      599 |      340
1248.99/1249.26	c 1248s |      18 |   601315 |   414052 |    25408     32 |      599 |      340
1250.99/1251.27	c 1250s |      18 |   601895 |   414552 |    25408     32 |      599 |      340
1253.09/1253.35	c 1253s |      18 |   602379 |   414952 |    25408     33 |      599 |      340
1255.19/1255.48	c 1255s |      18 |   603201 |   415652 |    25408     33 |      599 |      340
1257.29/1257.54	c 1257s |      18 |   604049 |   416352 |    25408     33 |      599 |      340
1259.69/1259.91	c 1259s |      18 |   604835 |   417052 |    25408     33 |      599 |      340
1261.89/1262.15	c 1261s |      18 |   605678 |   417752 |    25408     33 |      599 |      340
1264.09/1264.30	c 1264s |      18 |   606399 |   418352 |    25408     33 |      599 |      340
1266.39/1266.63	c 1266s |      18 |   607229 |   419052 |    25408     33 |      599 |      340
1268.69/1268.91	c 1268s |      18 |   607914 |   419652 |    25408     33 |      599 |      340
1270.69/1270.97	c 1270s |      18 |   608487 |   420152 |    25408     33 |      599 |      340
1272.69/1273.00	c 1272s |      18 |   609223 |   420752 |    25408     33 |      599 |      340
1274.99/1275.21	c 1274s |      18 |   609933 |   421352 |    25408     33 |      599 |      340
1277.18/1277.42	c 1277s |      18 |   610605 |   421952 |    25408     33 |      599 |      340
1279.38/1279.68	c 1279s |      18 |   611325 |   422552 |    25408     33 |      599 |      340
1281.58/1281.81	c 1281s |      18 |   611901 |   423052 |    25408     33 |      599 |      340
1283.59/1283.84	c 1283s |      18 |   612463 |   423552 |    25408     33 |      599 |      340
1285.58/1285.88	c 1285s |      18 |   613004 |   424052 |    25408     33 |      599 |      340
1287.89/1288.16	c 1287s |      18 |   613704 |   424652 |    25408     33 |      599 |      340
1289.99/1290.28	c 1290s |      18 |   614294 |   425152 |    25408     33 |      599 |      340
1292.30/1292.51	c 1292s |      18 |   615010 |   425752 |    25408     33 |      599 |      340
1294.39/1294.60	c 1294s |      18 |   615576 |   426252 |    25408     33 |      599 |      340
1296.39/1296.62	c 1296s |      18 |   616143 |   426752 |    25408     33 |      599 |      340
1298.49/1298.79	c 1298s |      18 |   616848 |   427352 |    25408     33 |      599 |      340
1300.88/1301.14	c 1300s |      18 |   617538 |   427952 |    25408     33 |      599 |      340
1303.18/1303.50	c 1303s |      18 |   618229 |   428552 |    25408     33 |      599 |      340
1305.49/1305.73	c 1305s |      18 |   618795 |   429052 |    25408     33 |      599 |      340
1307.58/1307.87	c 1307s |      18 |   619233 |   429452 |    25408     34 |      599 |      340
1309.68/1309.92	c 1309s |      18 |   619892 |   430052 |    25408     34 |      599 |      340
1311.98/1312.27	c 1311s |      18 |   620536 |   430652 |    25408     34 |      599 |      340
1314.07/1314.33	c 1314s |      18 |   621362 |   431352 |    25408     34 |      599 |      340
1316.17/1316.40	c 1316s |      18 |   622192 |   432052 |    25408     34 |      599 |      340
1318.47/1318.76	c 1318s |      18 |   622980 |   432752 |    25408     34 |      599 |      340
1320.67/1320.90	c 1320s |      18 |   623674 |   433352 |    25408     34 |      599 |      340
1322.77/1323.02	c 1322s |      18 |   624341 |   433952 |    25408     34 |      599 |      340
1325.07/1325.31	c 1325s |      18 |   625127 |   434652 |    25408     34 |      599 |      340
1327.37/1327.67	c 1327s |      18 |   625822 |   435252 |    25408     34 |      599 |      340
1329.68/1329.96	c 1329s |      18 |   626646 |   435952 |    25408     34 |      599 |      340
1331.67/1331.99	c 1331s |      18 |   627212 |   436452 |    25408     34 |      599 |      340
1334.08/1334.39	c 1334s |      18 |   627873 |   437052 |    25408     34 |      599 |      340
1336.28/1336.53	c 1336s |      18 |   628553 |   437652 |    25408     34 |      599 |      340
1338.48/1338.72	c 1338s |      18 |   629270 |   438252 |    25408     34 |      599 |      340
1340.78/1341.04	c 1340s |      18 |   630287 |   439052 |    25408     34 |      599 |      340
1343.07/1343.30	c 1343s |      18 |   631157 |   439752 |    25408     34 |      599 |      340
1345.17/1345.43	c 1345s |      18 |   631954 |   440452 |    25408     34 |      599 |      340
1347.47/1347.72	c 1347s |      18 |   632649 |   441052 |    25408     34 |      599 |      340
1349.47/1349.77	c 1349s |      18 |   633217 |   441552 |    27949     34 |      599 |      340
1351.67/1351.97	c 1351s |      18 |   633926 |   442152 |    27949     34 |      599 |      340
1353.77/1354.01	c 1353s |      18 |   634472 |   442652 |    27949     34 |      599 |      340
1355.76/1356.01	c 1355s |      18 |   635052 |   443152 |    27949     34 |      599 |      340
1358.06/1358.30	c 1358s |      18 |   635616 |   443652 |    27949     34 |      599 |      340
1360.16/1360.44	c 1360s |      18 |   636169 |   444152 |    27949     34 |      599 |      340
1361.57/1361.82	c 1361s |      19 |   636564 |   444482 |    27949     34 |      599 |      340
1363.66/1363.92	c 1363s |      19 |   639344 |   445082 |    27949     35 |      599 |      340
1365.66/1365.92	c 1365s |      19 |   640808 |   446482 |    27949     35 |      599 |      340
1367.76/1368.09	c 1367s |      19 |   642363 |   447882 |    27949     35 |      599 |      340
1369.96/1370.23	c 1369s |      19 |   643692 |   449082 |    27949     35 |      599 |      340
1372.06/1372.33	c 1372s |      19 |   644805 |   450082 |    27949     35 |      599 |      340
1374.16/1374.46	c 1374s |      19 |   645894 |   451082 |    27949     35 |      599 |      340
1376.16/1376.49	c 1376s |      19 |   650165 |   452382 |    27949     35 |      599 |      340
1378.36/1378.67	c 1378s |      19 |   652364 |   453882 |    27949     35 |      599 |      340
1380.46/1380.79	c 1380s |      19 |   653872 |   455082 |    27949     35 |      599 |      340
1382.66/1382.95	c 1382s |      19 |   654910 |   455982 |    27949     35 |      599 |      340
1384.67/1385.00	c 1384s |      19 |   655855 |   456782 |    27949     35 |      599 |      340
1386.87/1387.17	c 1386s |      19 |   656963 |   457682 |    27949     35 |      599 |      340
1388.86/1389.18	c 1388s |      19 |   657867 |   458482 |    27949     35 |      599 |      340
1391.26/1391.51	c 1391s |      19 |   658796 |   459282 |    27949     35 |      599 |      340
1393.35/1393.66	c 1393s |      19 |   659726 |   460082 |    27949     35 |      599 |      340
1395.45/1395.78	c 1395s |      19 |   660542 |   460782 |    27949     35 |      599 |      340
1397.55/1397.83	c 1397s |      19 |   661080 |   461282 |    27949     36 |      599 |      340
1399.75/1400.04	c 1399s |      19 |   661915 |   461982 |    27949     36 |      599 |      340
1402.05/1402.37	c 1402s |      19 |   662715 |   462682 |    27949     36 |      599 |      340
1404.15/1404.46	c 1404s |      19 |   663401 |   463282 |    27949     36 |      599 |      340
1406.25/1406.56	c 1406s |      19 |   664115 |   463882 |    27949     36 |      599 |      340
1408.65/1408.92	c 1408s |      19 |   664770 |   464482 |    27949     36 |      599 |      340
1410.65/1410.95	c 1410s |      19 |   665311 |   464982 |    27949     36 |      599 |      340
1413.05/1413.30	c 1413s |      19 |   665992 |   465582 |    27949     36 |      599 |      340
1415.24/1415.52	c 1415s |      19 |   666539 |   466082 |    27949     36 |      599 |      340
1417.54/1417.83	c 1417s |      19 |   667204 |   466682 |    27949     36 |      599 |      340
1419.64/1419.95	c 1419s |      19 |   667734 |   467182 |    27949     36 |      599 |      340
1421.74/1422.06	c 1421s |      19 |   668290 |   467682 |    27949     36 |      599 |      340
1424.14/1424.45	c 1424s |      19 |   668828 |   468182 |    27949     36 |      599 |      340
1426.14/1426.49	c 1426s |      19 |   669537 |   468782 |    27949     36 |      599 |      340
1428.34/1428.61	c 1428s |      19 |   670210 |   469382 |    27949     36 |      599 |      340
1430.54/1430.82	c 1430s |      19 |   670873 |   469982 |    27949     36 |      599 |      340
1432.74/1433.01	c 1432s |      19 |   671533 |   470582 |    27949     36 |      599 |      340
1434.94/1435.27	c 1434s |      19 |   672285 |   471282 |    27949     36 |      599 |      340
1437.04/1437.39	c 1437s |      19 |   672948 |   471882 |    27949     36 |      599 |      340
1439.44/1439.74	c 1439s |      19 |   673615 |   472482 |    27949     36 |      599 |      340
1441.64/1441.97	c 1441s |      19 |   674166 |   472982 |    27949     36 |      599 |      340
1444.05/1444.33	c 1444s |      19 |   674692 |   473482 |    27949     36 |      599 |      340
1446.14/1446.50	c 1446s |      19 |   675263 |   473982 |    27949     36 |      599 |      340
1448.45/1448.72	c 1448s |      19 |   676209 |   474582 |    27949     36 |      599 |      340
1450.54/1450.84	c 1450s |      19 |   677835 |   475482 |    27949     36 |      599 |      340
1452.64/1452.92	c 1452s |      19 |   678952 |   476382 |    27949     36 |      599 |      340
1454.84/1455.13	c 1454s |      19 |   679824 |   477082 |    27949     37 |      599 |      340
1456.84/1457.18	c 1456s |      19 |   681064 |   478082 |    27949     37 |      599 |      340
1458.94/1459.30	c 1459s |      19 |   682380 |   479082 |    27949     37 |      599 |      340
1461.03/1461.32	c 1461s |      19 |   683524 |   479982 |    27949     37 |      599 |      340
1463.13/1463.48	c 1463s |      19 |   684536 |   480782 |    27949     37 |      599 |      340
1465.43/1465.73	c 1465s |      19 |   685574 |   481582 |    27949     37 |      599 |      340
1467.63/1467.93	c 1467s |      19 |   686591 |   482382 |    27949     37 |      599 |      340
1469.64/1469.93	c 1469s |      19 |   687445 |   483082 |    27949     37 |      599 |      340
1471.74/1472.01	c 1471s |      19 |   688443 |   483882 |    27949     37 |      599 |      340
1473.85/1474.12	c 1473s |      19 |   689254 |   484582 |    27949     37 |      599 |      340
1475.84/1476.15	c 1475s |      19 |   689941 |   485182 |    27949     37 |      599 |      340
1478.04/1478.34	c 1478s |      19 |   690759 |   485882 |    27949     37 |      599 |      340
1480.04/1480.39	c 1480s |      19 |   691454 |   486482 |    27949     37 |      599 |      340
1482.14/1482.42	c 1482s |      19 |   692173 |   487082 |    27949     37 |      599 |      340
1484.24/1484.56	c 1484s |      19 |   692830 |   487682 |    27949     37 |      599 |      340
1486.64/1486.93	c 1486s |      19 |   693493 |   488282 |    27949     37 |      599 |      340
1488.83/1489.17	c 1488s |      19 |   694036 |   488782 |    27949     37 |      599 |      340
1491.03/1491.36	c 1491s |      19 |   694619 |   489282 |    27949     37 |      599 |      340
1493.23/1493.57	c 1493s |      19 |   695149 |   489782 |    27949     37 |      599 |      340
1495.53/1495.81	c 1495s |      19 |   695698 |   490282 |    27949     37 |      599 |      340
1497.83/1498.13	c 1497s |      19 |   696413 |   490882 |    27949     37 |      599 |      340
1500.03/1500.33	c 1500s |      19 |   697126 |   491482 |    27949     37 |      599 |      340
1502.03/1502.34	c 1502s |      19 |   697715 |   491982 |    27949     37 |      599 |      340
1504.23/1504.55	c 1504s |      19 |   698270 |   492482 |    27949     38 |      599 |      340
1506.33/1506.61	c 1506s |      19 |   699066 |   493182 |    27949     38 |      599 |      340
1508.32/1508.68	c 1508s |      19 |   699770 |   493782 |    27949     38 |      599 |      340
1510.52/1510.80	c 1510s |      19 |   700475 |   494382 |    27949     38 |      599 |      340
1512.82/1513.11	c 1512s |      19 |   701131 |   494982 |    27949     38 |      599 |      340
1514.82/1515.14	c 1514s |      19 |   701701 |   495482 |    27949     38 |      599 |      340
1516.93/1517.27	c 1516s |      19 |   702282 |   495982 |    27949     38 |      599 |      340
1519.33/1519.69	c 1519s |      19 |   702976 |   496582 |    27949     38 |      599 |      340
1521.63/1521.99	c 1521s |      19 |   703628 |   497182 |    27949     38 |      599 |      340
1524.03/1524.34	c 1524s |      19 |   704319 |   497782 |    27949     38 |      599 |      340
1526.23/1526.58	c 1526s |      19 |   704862 |   498282 |    27949     38 |      599 |      340
1528.52/1528.86	c 1528s |      19 |   705431 |   498782 |    27949     38 |      599 |      340
1530.82/1531.18	c 1530s |      19 |   705967 |   499282 |    27949     38 |      599 |      340
1533.23/1533.52	c 1533s |      19 |   706544 |   499782 |    27949     38 |      599 |      340
1535.52/1535.88	c 1535s |      19 |   707103 |   500282 |    27949     38 |      599 |      340
1537.62/1537.99	c 1537s |      19 |   707774 |   500882 |    27949     38 |      599 |      340
1539.91/1540.24	c 1539s |      19 |   708473 |   501482 |    27949     38 |      599 |      340
1541.92/1542.25	c 1541s |      19 |   709033 |   501982 |    27949     38 |      599 |      340
1543.91/1544.29	c 1544s |      19 |   709604 |   502482 |    27949     38 |      599 |      340
1546.21/1546.51	c 1546s |      19 |   710346 |   503082 |    27949     38 |      599 |      340
1548.62/1548.91	c 1548s |      19 |   711039 |   503682 |    27949     38 |      599 |      340
1550.82/1551.15	c 1550s |      19 |   711611 |   504182 |    27949     38 |      599 |      340
1553.11/1553.43	c 1553s |      19 |   712309 |   504782 |    27949     38 |      599 |      340
1555.41/1555.74	c 1555s |      19 |   712880 |   505282 |    27949     38 |      599 |      340
1557.61/1557.99	c 1557s |      19 |   713447 |   505782 |    27949     38 |      599 |      340
1559.81/1560.11	c 1559s |      19 |   713903 |   506182 |    27949     38 |      599 |      340
1561.81/1562.15	c 1561s |      19 |   714334 |   506582 |    27949     38 |      599 |      340
1563.81/1564.17	c 1563s |      19 |   714778 |   506982 |    27949     38 |      599 |      340
1565.91/1566.27	c 1565s |      19 |   715231 |   507382 |    27949     38 |      599 |      340
1568.01/1568.34	c 1568s |      19 |   715572 |   507682 |    27949     39 |      599 |      340
1570.31/1570.60	c 1570s |      19 |   716269 |   508282 |    27949     39 |      599 |      340
1572.41/1572.72	c 1572s |      19 |   717128 |   508982 |    27949     39 |      599 |      340
1574.41/1574.78	c 1574s |      19 |   718015 |   509682 |    27949     39 |      599 |      340
1576.71/1577.01	c 1576s |      19 |   718895 |   510382 |    27949     39 |      599 |      340
1578.90/1579.25	c 1578s |      19 |   719967 |   511082 |    27949     39 |      599 |      340
1581.10/1581.49	c 1581s |      19 |   720969 |   511882 |    27949     39 |      599 |      340
1583.40/1583.79	c 1583s |      19 |   721866 |   512582 |    27949     39 |      599 |      340
1585.50/1585.80	c 1585s |      19 |   722562 |   513182 |    27949     39 |      599 |      340
1587.69/1588.06	c 1587s |      19 |   723398 |   513882 |    27949     39 |      599 |      340
1589.79/1590.13	c 1589s |      19 |   724129 |   514482 |    27949     39 |      599 |      340
1592.19/1592.53	c 1592s |      19 |   724963 |   515182 |    27949     39 |      599 |      340
1594.39/1594.73	c 1594s |      19 |   725655 |   515782 |    27949     39 |      599 |      340
1596.59/1596.93	c 1596s |      19 |   726341 |   516382 |    27949     39 |      599 |      340
1598.79/1599.12	c 1598s |      19 |   726893 |   516882 |    27949     39 |      599 |      340
1600.88/1601.27	c 1600s |      19 |   727458 |   517382 |    27949     39 |      599 |      340
1603.08/1603.41	c 1603s |      19 |   728162 |   517982 |    27949     39 |      599 |      340
1605.18/1605.53	c 1605s |      19 |   728716 |   518482 |    27949     39 |      599 |      340
1607.38/1607.73	c 1607s |      19 |   729316 |   518982 |    27949     39 |      599 |      340
1609.68/1610.09	c 1609s |      19 |   729880 |   519482 |    27949     39 |      599 |      340
1612.17/1612.54	c 1612s |      19 |   730427 |   519982 |    27949     39 |      599 |      340
1614.48/1614.88	c 1614s |      19 |   730984 |   520482 |    27949     39 |      599 |      340
1616.87/1617.26	c 1616s |      19 |   731519 |   520982 |    27949     39 |      599 |      340
1619.37/1619.73	c 1619s |      19 |   732067 |   521482 |    27949     39 |      599 |      340
1621.87/1622.22	c 1621s |      19 |   732471 |   521882 |    27949     39 |      599 |      340
1624.07/1624.43	c 1624s |      19 |   732884 |   522282 |    27949     39 |      599 |      340
1626.57/1626.90	c 1626s |      19 |   733303 |   522682 |    27949     39 |      599 |      340
1628.66/1629.02	c 1628s |      19 |   733912 |   523182 |    27949     39 |      599 |      340
1630.97/1631.32	c 1631s |      19 |   734532 |   523682 |    27949     40 |      599 |      340
1633.16/1633.51	c 1633s |      19 |   735397 |   524382 |    27949     40 |      599 |      340
1635.26/1635.66	c 1635s |      19 |   736466 |   525182 |    27949     40 |      599 |      340
1637.46/1637.88	c 1637s |      19 |   737360 |   525882 |    27949     40 |      599 |      340
1639.57/1639.93	c 1639s |      19 |   738046 |   526482 |    27949     40 |      599 |      340
1641.76/1642.13	c 1641s |      19 |   738760 |   527082 |    27949     40 |      599 |      340
1644.16/1644.59	c 1644s |      19 |   739449 |   527682 |    27949     40 |      599 |      340
1646.36/1646.70	c 1646s |      19 |   740808 |   528482 |    27949     40 |      599 |      340
1648.46/1648.88	c 1648s |      19 |   741827 |   529282 |    27949     40 |      599 |      340
1650.65/1651.07	c 1650s |      19 |   742654 |   529982 |    27949     40 |      599 |      340
1653.15/1653.53	c 1653s |      19 |   743595 |   530682 |    27949     40 |      599 |      340
1655.45/1655.82	c 1655s |      19 |   744034 |   531082 |    27949     40 |      599 |      340
1657.55/1657.98	c 1657s |      19 |   744616 |   531582 |    27949     40 |      599 |      340
1659.94/1660.35	c 1660s |      19 |   745513 |   532282 |    27949     40 |      599 |      340
1662.14/1662.57	c 1662s |      19 |   746606 |   532982 |    27949     40 |      599 |      340
1664.64/1665.00	c 1664s |      19 |   747374 |   533682 |    27949     40 |      599 |      340
1666.74/1667.13	c 1666s |      19 |   747899 |   534182 |    27949     40 |      599 |      340
1668.74/1669.14	c 1668s |      19 |   748646 |   534782 |    27949     40 |      599 |      340
1670.84/1671.27	c 1670s |      19 |   749193 |   535282 |    27949     40 |      599 |      340
1672.93/1673.31	c 1673s |      19 |   749746 |   535782 |    27949     40 |      599 |      340
1674.94/1675.31	c 1675s |      19 |   750278 |   536282 |    27949     40 |      599 |      340
1677.33/1677.72	c 1677s |      19 |   750942 |   536882 |    27949     40 |      599 |      340
1679.63/1680.02	c 1679s |      19 |   751639 |   537482 |    27949     40 |      599 |      340
1681.93/1682.39	c 1682s |      19 |   752513 |   538182 |    27949     40 |      599 |      340
1684.13/1684.55	c 1684s |      19 |   753207 |   538782 |    27949     40 |      599 |      340
1686.33/1686.77	c 1686s |      19 |   753781 |   539282 |    27949     41 |      599 |      340
1688.43/1688.87	c 1688s |      19 |   754435 |   539882 |    27949     41 |      599 |      340
1690.72/1691.14	c 1690s |      19 |   755089 |   540482 |    27949     41 |      599 |      340
1692.72/1693.17	c 1692s |      19 |   755619 |   540982 |    27949     41 |      599 |      340
1694.92/1695.35	c 1695s |      19 |   756264 |   541582 |    27949     41 |      599 |      340
1697.22/1697.61	c 1697s |      19 |   757098 |   542282 |    27949     41 |      599 |      340
1699.62/1700.01	c 1699s |      19 |   757916 |   542982 |    27949     41 |      599 |      340
1701.92/1702.35	c 1702s |      19 |   758591 |   543582 |    27949     41 |      599 |      340
1704.22/1704.64	c 1704s |      19 |   759124 |   544082 |    27949     41 |      599 |      340
1706.61/1707.09	c 1706s |      19 |   759677 |   544582 |    27949     41 |      599 |      340
1708.81/1709.24	c 1708s |      19 |   760234 |   545082 |    27949     41 |      599 |      340
1710.91/1711.39	c 1711s |      19 |   760767 |   545582 |    27949     41 |      599 |      340
1713.11/1713.57	c 1713s |      19 |   761313 |   546082 |    27949     41 |      599 |      340
1715.31/1715.73	c 1715s |      19 |   762014 |   546682 |    27949     41 |      599 |      340
1717.31/1717.73	c 1717s |      19 |   762583 |   547182 |    27949     41 |      599 |      340
1719.51/1719.92	c 1719s |      19 |   763111 |   547682 |    27949     41 |      599 |      340
1721.50/1721.97	c 1721s |      19 |   763546 |   548082 |    27949     41 |      599 |      340
1723.90/1724.38	c 1724s |      19 |   764073 |   548582 |    27949     41 |      599 |      340
1726.30/1726.79	c 1726s |      19 |   764620 |   549082 |    27949     41 |      599 |      340
1728.60/1729.04	c 1728s |      19 |   765181 |   549582 |    27949     41 |      599 |      340
1730.59/1731.05	c 1730s |      19 |   765634 |   549982 |    27949     41 |      599 |      340
1732.59/1733.09	c 1732s |      19 |   766071 |   550382 |    27949     41 |      599 |      340
1734.99/1735.47	c 1735s |      19 |   766615 |   550882 |    27949     41 |      599 |      340
1737.60/1738.02	c 1737s |      19 |   767160 |   551382 |    27949     41 |      599 |      340
1739.59/1740.06	c 1739s |      19 |   767613 |   551782 |    27949     41 |      599 |      340
1741.69/1742.18	c 1741s |      19 |   768059 |   552182 |    27949     41 |      599 |      340
1743.89/1744.34	c 1744s |      19 |   768492 |   552582 |    27949     41 |      599 |      340
1746.09/1746.53	c 1746s |      19 |   768921 |   552982 |    27949     41 |      599 |      340
1748.19/1748.68	c 1748s |      19 |   769352 |   553382 |    27949     41 |      599 |      340
1750.39/1750.85	c 1750s |      19 |   769797 |   553782 |    27949     41 |      599 |      340
1752.59/1753.04	c 1752s |      19 |   770229 |   554182 |    27949     41 |      599 |      340
1755.59/1756.05	c 1755s |      19 |   770658 |   554582 |    27949     42 |      599 |      340
1757.79/1758.27	c 1757s |      19 |   771342 |   555182 |    27949     42 |      599 |      340
1759.88/1760.37	c 1760s |      19 |   772032 |   555782 |    27949     42 |      599 |      340
1761.98/1762.41	c 1762s |      19 |   772884 |   556382 |    27949     42 |      599 |      340
1763.99/1764.49	c 1764s |      19 |   773755 |   557082 |    27949     42 |      599 |      340
1766.29/1766.71	c 1766s |      19 |   774614 |   557782 |    27949     42 |      599 |      340
1768.38/1768.87	c 1768s |      19 |   775485 |   558482 |    27949     42 |      599 |      340
1770.58/1771.04	c 1770s |      19 |   776314 |   559182 |    27949     42 |      599 |      340
1772.67/1773.18	c 1772s |      19 |   777054 |   559782 |    27949     42 |      599 |      340
1774.67/1775.19	c 1774s |      19 |   777774 |   560382 |    27949     42 |      599 |      340
1776.77/1777.23	c 1776s |      19 |   778324 |   560882 |    27949     42 |      599 |      340
1779.27/1779.77	c 1779s |      19 |   779057 |   561482 |    27949     42 |      599 |      340
1781.57/1782.01	c 1781s |      19 |   779648 |   561982 |    27949     42 |      599 |      340
1783.67/1784.14	c 1783s |      19 |   780230 |   562482 |    27949     42 |      599 |      340
1786.17/1786.60	c 1786s |      19 |   780963 |   563082 |    27949     42 |      599 |      340
1788.27/1788.74	c 1788s |      19 |   781583 |   563582 |    27949     42 |      599 |      340
1790.56/1791.06	c 1790s |      19 |   782164 |   564082 |    27949     42 |      599 |      340
1793.05/1793.52	c 1793s |      19 |   782728 |   564582 |    27949     42 |      599 |      340
1795.25/1795.77	c 1795s |      19 |   783191 |   564982 |    27949     42 |      599 |      340
1797.75/1798.27	c 1797s |      19 |   783751 |   565482 |    27949     42 |      599 |      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-4116461-1466972308/watcher-4116461-1466972308 -o /tmp/evaluation-result-4116461-1466972308/solver-4116461-1466972308 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1466944456-21079 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4116461-1466972308.opb 

pid=24601
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.15 2.19 2.18 4/179 24604
/proc/meminfo: memFree=29620600/32872528 swapFree=1085692/1157232
[pid=24604] ppid=24601 vsize=692668 CPUtime=0 cores=1,3,5,7
/proc/24604/stat : 24604 (toysat) R 24601 24604 21062 0 -1 4202496 2581 0 0 0 0 0 0 0 20 0 4 0 30270390 709292032 2941 33554432000 4194304 16246674 140736110897168 140736110896592 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24604/statm: 173935 2950 441 2943 0 170829 0
[pid=24604/tid=24605] ppid=24601 vsize=710076 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24605/stat : 24605 (toysat) S 24601 24604 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30270391 727117824 3009 33554432000 4194304 16246674 140736110897168 140448063532272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24604/tid=24606] ppid=24601 vsize=715196 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24606/stat : 24606 (toysat) S 24601 24604 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30270391 732360704 3025 33554432000 4194304 16246674 140736110897168 140447980694768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24604/tid=24607] ppid=24601 vsize=718268 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24607/stat : 24607 (toysat) S 24601 24604 21062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30270391 735506432 3041 33554432000 4194304 16246674 140736110897168 140447970221232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.10018 s]
/proc/loadavg: 2.15 2.19 2.18 4/179 24604
/proc/meminfo: memFree=29620600/32872528 swapFree=1085692/1157232
[pid=24604] ppid=24601 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/24604/stat : 24604 (toysat) R 24601 24604 21062 0 -1 4202496 28471 0 0 0 5 4 0 0 20 0 4 0 30270390 1249447936 28769 33554432000 4194304 16246674 140736110897168 140736110896384 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24604/statm: 305041 28769 801 2943 0 301935 0
[pid=24604/tid=24605] ppid=24601 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24605/stat : 24605 (toysat) S 24601 24604 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30270391 1249447936 28769 33554432000 4194304 16246674 140736110897168 140448063532272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24604/tid=24606] ppid=24601 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24606/stat : 24606 (toysat) S 24601 24604 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30270391 1249447936 28769 33554432000 4194304 16246674 140736110897168 140447980694768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24604/tid=24607] ppid=24601 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24607/stat : 24607 (toysat) S 24601 24604 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30270391 1249447936 28769 33554432000 4194304 16246674 140736110897168 140447970221232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.20051 s]
/proc/loadavg: 2.15 2.19 2.18 4/179 24604
/proc/meminfo: memFree=29620600/32872528 swapFree=1085692/1157232
[pid=24604] ppid=24601 vsize=1301060 CPUtime=0.19 cores=1,3,5,7
/proc/24604/stat : 24604 (toysat) R 24601 24604 21062 0 -1 4202496 48676 0 0 0 12 7 0 0 20 0 4 0 30270390 1332285440 48974 33554432000 4194304 16246674 140736110897168 140736110896384 5589398 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24604/statm: 325265 48974 842 2943 0 322159 0
[pid=24604/tid=24605] ppid=24601 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24605/stat : 24605 (toysat) S 24601 24604 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30270391 1332285440 48974 33554432000 4194304 16246674 140736110897168 140448063532272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24604/tid=24606] ppid=24601 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24606/stat : 24606 (toysat) S 24601 24604 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30270391 1332285440 48974 33554432000 4194304 16246674 140736110897168 140447980694768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24604/tid=24607] ppid=24601 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24607/stat : 24607 (toysat) S 24601 24604 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30270391 1332285440 48974 33554432000 4194304 16246674 140736110897168 140447970221232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300423 s]
/proc/loadavg: 2.15 2.19 2.18 4/179 24604
/proc/meminfo: memFree=29620600/32872528 swapFree=1085692/1157232
[pid=24604] ppid=24601 vsize=1301060 CPUtime=0.29 cores=1,3,5,7
/proc/24604/stat : 24604 (toysat) R 24601 24604 21062 0 -1 4202496 54264 0 0 0 21 8 0 0 20 0 4 0 30270390 1332285440 54563 33554432000 4194304 16246674 140736110897168 140736110896384 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24604/statm: 325265 54567 882 2943 0 322159 0
[pid=24604/tid=24605] ppid=24601 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24605/stat : 24605 (toysat) S 24601 24604 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30270391 1332285440 54570 33554432000 4194304 16246674 140736110897168 140448063532272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24604/tid=24606] ppid=24601 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24606/stat : 24606 (toysat) S 24601 24604 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30270391 1332285440 54572 33554432000 4194304 16246674 140736110897168 140447980694768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24604/tid=24607] ppid=24601 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24607/stat : 24607 (toysat) S 24601 24604 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30270391 1332285440 54575 33554432000 4194304 16246674 140736110897168 140447970221232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700438 s]
/proc/loadavg: 2.15 2.19 2.18 4/179 24604
/proc/meminfo: memFree=29620600/32872528 swapFree=1085692/1157232
[pid=24604] ppid=24601 vsize=1301060 CPUtime=0.69 cores=1,3,5,7
/proc/24604/stat : 24604 (toysat) R 24601 24604 21062 0 -1 4202496 102006 0 0 0 54 15 0 0 20 0 4 0 30270390 1332285440 102304 33554432000 4194304 16246674 140736110897168 140736110896384 5830026 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24604/statm: 325265 102307 882 2943 0 322159 0
[pid=24604/tid=24605] ppid=24601 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24605/stat : 24605 (toysat) S 24601 24604 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30270391 1332285440 102309 33554432000 4194304 16246674 140736110897168 140448063532272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24604/tid=24606] ppid=24601 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24606/stat : 24606 (toysat) S 24601 24604 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30270391 1332285440 102311 33554432000 4194304 16246674 140736110897168 140447980694768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24604/tid=24607] ppid=24601 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24607/stat : 24607 (toysat) S 24601 24604 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30270391 1332285440 102314 33554432000 4194304 16246674 140736110897168 140447970221232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50035 s]
/proc/loadavg: 2.15 2.19 2.18 4/183 24608
/proc/meminfo: memFree=29020552/32872528 swapFree=1085692/1157232
[pid=24604] ppid=24601 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/24604/stat : 24604 (toysat) R 24601 24604 21062 0 -1 4202496 194647 0 0 0 119 30 0 0 20 0 4 0 30270390 1332285440 194945 33554432000 4194304 16246674 140736110897168 140736110879040 13954518 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24604/statm: 325265 194950 882 2943 0 322159 0
[pid=24604/tid=24605] ppid=24601 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24605/stat : 24605 (toysat) S 24601 24604 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30270391 1332285440 194952 33554432000 4194304 16246674 140736110897168 140448063532272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24604/tid=24606] ppid=24601 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24606/stat : 24606 (toysat) S 24601 24604 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30270391 1332285440 194956 33554432000 4194304 16246674 140736110897168 140447980694768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24604/tid=24607] ppid=24601 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24607/stat : 24607 (toysat) S 24601 24604 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30270391 1332285440 194960 33554432000 4194304 16246674 140736110897168 140447970221232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10036 s]
/proc/loadavg: 2.22 2.21 2.18 4/183 24608
/proc/meminfo: memFree=28542656/32872528 swapFree=1085692/1157232
[pid=24604] ppid=24601 vsize=1313348 CPUtime=3.09 cores=1,3,5,7
/proc/24604/stat : 24604 (toysat) R 24601 24604 21062 0 -1 4202496 269334 0 0 0 268 41 0 0 20 0 4 0 30270390 1344868352 269632 33554432000 4194304 16246674 140736110897168 140736110879040 4220871 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24604/statm: 328337 269632 888 2943 0 325231 0
[pid=24604/tid=24605] ppid=24601 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24605/stat : 24605 (toysat) S 24601 24604 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30270391 1344868352 269632 33554432000 4194304 16246674 140736110897168 140448063532272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24604/tid=24606] ppid=24601 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24606/stat : 24606 (toysat) S 24601 24604 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30270391 1344868352 269632 33554432000 4194304 16246674 140736110897168 140447980694768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24604/tid=24607] ppid=24601 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24607/stat : 24607 (toysat) S 24601 24604 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30270391 1344868352 269632 33554432000 4194304 16246674 140736110897168 140447970221232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30036 s]
/proc/loadavg: 2.22 2.21 2.18 3/183 24608
/proc/meminfo: memFree=28542024/32872528 swapFree=1085692/1157232
[pid=24604] ppid=24601 vsize=1313348 CPUtime=6.29 cores=1,3,5,7
/proc/24604/stat : 24604 (toysat) R 24601 24604 21062 0 -1 4202496 269527 0 0 0 588 41 0 0 20 0 4 0 30270390 1344868352 269825 33554432000 4194304 16246674 140736110897168 140736110879040 5717503 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24604/statm: 328337 269825 890 2943 0 325231 0
[pid=24604/tid=24605] ppid=24601 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24605/stat : 24605 (toysat) S 24601 24604 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30270391 1344868352 269825 33554432000 4194304 16246674 140736110897168 140448063532272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24604/tid=24606] ppid=24601 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24606/stat : 24606 (toysat) S 24601 24604 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30270391 1344868352 269825 33554432000 4194304 16246674 140736110897168 140447980694768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24604/tid=24607] ppid=24601 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24607/stat : 24607 (toysat) S 24601 24604 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30270391 1344868352 269825 33554432000 4194304 16246674 140736110897168 140447970221232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.18 2.20 2.18 3/183 24608
/proc/meminfo: memFree=28540940/32872528 swapFree=1085692/1157232
[pid=24604] ppid=24601 vsize=1313348 CPUtime=12.69 cores=1,3,5,7
/proc/24604/stat : 24604 (toysat) R 24601 24604 21062 0 -1 4202496 269528 0 0 0 1228 41 0 0 20 0 4 0 30270390 1344868352 269826 33554432000 4194304 16246674 140736110897168 140736110879040 5711688 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24604/statm: 328337 269826 891 2943 0 325231 0
[pid=24604/tid=24605] ppid=24601 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24605/stat : 24605 (toysat) S 24601 24604 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30270391 1344868352 269826 33554432000 4194304 16246674 140736110897168 140448063532272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24604/tid=24606] ppid=24601 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24606/stat : 24606 (toysat) S 24601 24604 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30270391 1344868352 269826 33554432000 4194304 16246674 140736110897168 140447980694768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24604/tid=24607] ppid=24601 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24607/stat : 24607 (toysat) S 24601 24604 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30270391 1344868352 269826 33554432000 4194304 16246674 140736110897168 140447970221232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.16 2.19 2.18 3/183 24608
/proc/meminfo: memFree=28541380/32872528 swapFree=1085692/1157232
[pid=24604] ppid=24601 vsize=1313348 CPUtime=25.49 cores=1,3,5,7
/proc/24604/stat : 24604 (toysat) R 24601 24604 21062 0 -1 4202496 269529 0 0 0 2508 41 0 0 20 0 4 0 30270390 1344868352 269827 33554432000 4194304 16246674 140736110897168 140736110879040 5523460 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24604/statm: 328337 269827 892 2943 0 325231 0
[pid=24604/tid=24605] ppid=24601 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24605/stat : 24605 (toysat) S 24601 24604 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30270391 1344868352 269827 33554432000 4194304 16246674 140736110897168 140448063532272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24604/tid=24606] ppid=24601 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24606/stat : 24606 (toysat) S 24601 24604 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30270391 1344868352 269827 33554432000 4194304 16246674 140736110897168 140447980694768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24604/tid=24607] ppid=24601 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24607/stat : 24607 (toysat) S 24601 24604 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30270391 1344868352 269827 33554432000 4194304 16246674 140736110897168 140447970221232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.18 2.19 2.18 3/183 24608
/proc/meminfo: memFree=28541508/32872528 swapFree=1085692/1157232
[pid=24604] ppid=24601 vsize=1313348 CPUtime=51.08 cores=1,3,5,7
/proc/24604/stat : 24604 (toysat) R 24601 24604 21062 0 -1 4202496 269529 0 0 0 5067 41 0 0 20 0 4 0 30270390 1344868352 269827 33554432000 4194304 16246674 140736110897168 140736110879040 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24604/statm: 328337 269827 892 2943 0 325231 0
[pid=24604/tid=24605] ppid=24601 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24605/stat : 24605 (toysat) S 24601 24604 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30270391 1344868352 269827 33554432000 4194304 16246674 140736110897168 140448063532272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24604/tid=24606] ppid=24601 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24606/stat : 24606 (toysat) S 24601 24604 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30270391 1344868352 269827 33554432000 4194304 16246674 140736110897168 140447980694768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24604/tid=24607] ppid=24601 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24607/stat : 24607 (toysat) S 24601 24604 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30270391 1344868352 269827 33554432000 4194304 16246674 140736110897168 140447970221232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.3 s]
/proc/loadavg: 2.14 2.17 2.17 3/184 24612
/proc/meminfo: memFree=28541164/32872528 swapFree=1085692/1157232
[pid=24604] ppid=24601 vsize=1313348 CPUtime=102.28 cores=1,3,5,7
/proc/24604/stat : 24604 (toysat) R 24601 24604 21062 0 -1 4202496 269529 0 0 0 10185 43 0 0 20 0 4 0 30270390 1344868352 269827 33554432000 4194304 16246674 140736110897168 140736110879040 12479043 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24604/statm: 328337 269827 892 2943 0 325231 0
[pid=24604/tid=24605] ppid=24601 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24605/stat : 24605 (toysat) S 24601 24604 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30270391 1344868352 269827 33554432000 4194304 16246674 140736110897168 140448063532272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24604/tid=24606] ppid=24601 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24606/stat : 24606 (toysat) S 24601 24604 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30270391 1344868352 269827 33554432000 4194304 16246674 140736110897168 140447980694768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24604/tid=24607] ppid=24601 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24607/stat : 24607 (toysat) S 24601 24604 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30270391 1344868352 269827 33554432000 4194304 16246674 140736110897168 140447970221232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1313348


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

/proc/24604/task/24607/stat : 24607 (toysat) S 24601 24604 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30270391 1364791296 274947 33554432000 4194304 16246674 140736110897168 140447970221232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1332804

[startup+1362.3 s]
/proc/loadavg: 2.18 2.20 2.18 3/183 24643
/proc/meminfo: memFree=28497216/32872528 swapFree=1085692/1157232
[pid=24604] ppid=24601 vsize=1332804 CPUtime=1362.06 cores=1,3,5,7
/proc/24604/stat : 24604 (toysat) R 24601 24604 21062 0 -1 4202496 274408 0 0 0 136145 61 0 0 20 0 4 0 30270390 1364791296 274947 33554432000 4194304 16246674 140736110897168 140736110879040 5531784 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24604/statm: 333201 274947 892 2943 0 330095 0
[pid=24604/tid=24605] ppid=24601 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24605/stat : 24605 (toysat) S 24601 24604 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30270391 1364791296 274947 33554432000 4194304 16246674 140736110897168 140448063532272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24604/tid=24606] ppid=24601 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24606/stat : 24606 (toysat) S 24601 24604 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30270391 1364791296 274947 33554432000 4194304 16246674 140736110897168 140447980694768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24604/tid=24607] ppid=24601 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24607/stat : 24607 (toysat) S 24601 24604 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30270391 1364791296 274947 33554432000 4194304 16246674 140736110897168 140447970221232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1332804

[startup+1422.3 s]
/proc/loadavg: 2.15 2.18 2.18 3/183 24645
/proc/meminfo: memFree=28497484/32872528 swapFree=1085692/1157232
[pid=24604] ppid=24601 vsize=1332804 CPUtime=1422.05 cores=1,3,5,7
/proc/24604/stat : 24604 (toysat) R 24601 24604 21062 0 -1 4202496 274429 0 0 0 142143 62 0 0 20 0 4 0 30270390 1364791296 274947 33554432000 4194304 16246674 140736110897168 140736110879040 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24604/statm: 333201 274947 892 2943 0 330095 0
[pid=24604/tid=24605] ppid=24601 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24605/stat : 24605 (toysat) S 24601 24604 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30270391 1364791296 274947 33554432000 4194304 16246674 140736110897168 140448063532272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24604/tid=24606] ppid=24601 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24606/stat : 24606 (toysat) S 24601 24604 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30270391 1364791296 274947 33554432000 4194304 16246674 140736110897168 140447980694768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24604/tid=24607] ppid=24601 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24607/stat : 24607 (toysat) S 24601 24604 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30270391 1364791296 274947 33554432000 4194304 16246674 140736110897168 140447970221232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 1332804

[startup+1482.3 s]
/proc/loadavg: 2.14 2.18 2.18 3/183 24646
/proc/meminfo: memFree=28497580/32872528 swapFree=1085692/1157232
[pid=24604] ppid=24601 vsize=1332804 CPUtime=1482.04 cores=1,3,5,7
/proc/24604/stat : 24604 (toysat) R 24601 24604 21062 0 -1 4202496 274429 0 0 0 148141 63 0 0 20 0 4 0 30270390 1364791296 274947 33554432000 4194304 16246674 140736110897168 140736110879040 13820973 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24604/statm: 333201 274947 892 2943 0 330095 0
[pid=24604/tid=24605] ppid=24601 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24605/stat : 24605 (toysat) S 24601 24604 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30270391 1364791296 274947 33554432000 4194304 16246674 140736110897168 140448063532272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24604/tid=24606] ppid=24601 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24606/stat : 24606 (toysat) S 24601 24604 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30270391 1364791296 274947 33554432000 4194304 16246674 140736110897168 140447980694768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24604/tid=24607] ppid=24601 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24607/stat : 24607 (toysat) S 24601 24604 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30270391 1364791296 274947 33554432000 4194304 16246674 140736110897168 140447970221232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1332804

[startup+1542.31 s]
/proc/loadavg: 2.21 2.19 2.18 4/183 24647
/proc/meminfo: memFree=28497180/32872528 swapFree=1085692/1157232
[pid=24604] ppid=24601 vsize=1332804 CPUtime=1542.02 cores=1,3,5,7
/proc/24604/stat : 24604 (toysat) R 24601 24604 21062 0 -1 4202496 274439 0 0 0 154138 64 0 0 20 0 4 0 30270390 1364791296 274947 33554432000 4194304 16246674 140736110897168 140736110879040 5677667 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24604/statm: 333201 274947 892 2943 0 330095 0
[pid=24604/tid=24605] ppid=24601 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24605/stat : 24605 (toysat) S 24601 24604 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30270391 1364791296 274947 33554432000 4194304 16246674 140736110897168 140448063532272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24604/tid=24606] ppid=24601 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24606/stat : 24606 (toysat) S 24601 24604 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30270391 1364791296 274947 33554432000 4194304 16246674 140736110897168 140447980694768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24604/tid=24607] ppid=24601 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24607/stat : 24607 (toysat) S 24601 24604 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30270391 1364791296 274947 33554432000 4194304 16246674 140736110897168 140447970221232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 1332804

[startup+1602.3 s]
/proc/loadavg: 2.14 2.17 2.17 3/183 24648
/proc/meminfo: memFree=28496720/32872528 swapFree=1085692/1157232
[pid=24604] ppid=24601 vsize=1332804 CPUtime=1601.98 cores=1,3,5,7
/proc/24604/stat : 24604 (toysat) R 24601 24604 21062 0 -1 4202496 274480 0 0 0 160133 65 0 0 20 0 4 0 30270390 1364791296 274947 33554432000 4194304 16246674 140736110897168 140736110879040 5546160 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24604/statm: 333201 274947 892 2943 0 330095 0
[pid=24604/tid=24605] ppid=24601 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24605/stat : 24605 (toysat) S 24601 24604 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30270391 1364791296 274947 33554432000 4194304 16246674 140736110897168 140448063532272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24604/tid=24606] ppid=24601 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24606/stat : 24606 (toysat) S 24601 24604 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30270391 1364791296 274947 33554432000 4194304 16246674 140736110897168 140447980694768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24604/tid=24607] ppid=24601 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24607/stat : 24607 (toysat) S 24601 24604 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30270391 1364791296 274947 33554432000 4194304 16246674 140736110897168 140447970221232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 1332804

[startup+1662.3 s]
/proc/loadavg: 2.09 2.15 2.17 3/183 24649
/proc/meminfo: memFree=28496948/32872528 swapFree=1085692/1157232
[pid=24604] ppid=24601 vsize=1332804 CPUtime=1661.94 cores=1,3,5,7
/proc/24604/stat : 24604 (toysat) R 24601 24604 21062 0 -1 4202496 274526 0 0 0 166128 66 0 0 20 0 4 0 30270390 1364791296 274947 33554432000 4194304 16246674 140736110897168 140736110879040 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24604/statm: 333201 274947 892 2943 0 330095 0
[pid=24604/tid=24605] ppid=24601 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24605/stat : 24605 (toysat) S 24601 24604 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30270391 1364791296 274947 33554432000 4194304 16246674 140736110897168 140448063532272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24604/tid=24606] ppid=24601 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24606/stat : 24606 (toysat) S 24601 24604 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30270391 1364791296 274947 33554432000 4194304 16246674 140736110897168 140447980694768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24604/tid=24607] ppid=24601 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24607/stat : 24607 (toysat) S 24601 24604 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30270391 1364791296 274947 33554432000 4194304 16246674 140736110897168 140447970221232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 1332804

[startup+1722.3 s]
/proc/loadavg: 2.03 2.12 2.16 3/183 24651
/proc/meminfo: memFree=28496732/32872528 swapFree=1085692/1157232
[pid=24604] ppid=24601 vsize=1332804 CPUtime=1721.9 cores=1,3,5,7
/proc/24604/stat : 24604 (toysat) R 24601 24604 21062 0 -1 4202496 274570 0 0 0 172124 66 0 0 20 0 4 0 30270390 1364791296 274947 33554432000 4194304 16246674 140736110897168 140736110879040 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24604/statm: 333201 274947 892 2943 0 330095 0
[pid=24604/tid=24605] ppid=24601 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24605/stat : 24605 (toysat) S 24601 24604 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30270391 1364791296 274947 33554432000 4194304 16246674 140736110897168 140448063532272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24604/tid=24606] ppid=24601 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24606/stat : 24606 (toysat) S 24601 24604 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30270391 1364791296 274947 33554432000 4194304 16246674 140736110897168 140447980694768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24604/tid=24607] ppid=24601 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24607/stat : 24607 (toysat) S 24601 24604 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30270391 1364791296 274947 33554432000 4194304 16246674 140736110897168 140447970221232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 1332804

[startup+1782.3 s]
/proc/loadavg: 2.11 2.12 2.15 3/183 24701
/proc/meminfo: memFree=28516332/32872528 swapFree=1085692/1157232
[pid=24604] ppid=24601 vsize=1332804 CPUtime=1781.87 cores=1,3,5,7
/proc/24604/stat : 24604 (toysat) R 24601 24604 21062 0 -1 4202496 274616 0 0 0 178120 67 0 0 20 0 4 0 30270390 1364791296 274947 33554432000 4194304 16246674 140736110897168 140736110879040 12415740 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24604/statm: 333201 274947 892 2943 0 330095 0
[pid=24604/tid=24605] ppid=24601 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24605/stat : 24605 (toysat) S 24601 24604 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30270391 1364791296 274947 33554432000 4194304 16246674 140736110897168 140448063532272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24604/tid=24606] ppid=24601 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24606/stat : 24606 (toysat) S 24601 24604 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30270391 1364791296 274947 33554432000 4194304 16246674 140736110897168 140447980694768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24604/tid=24607] ppid=24601 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24607/stat : 24607 (toysat) S 24601 24604 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30270391 1364791296 274947 33554432000 4194304 16246674 140736110897168 140447970221232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 1332804



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.09 2.12 2.15 3/183 24701
/proc/meminfo: memFree=28516688/32872528 swapFree=1085692/1157232
[pid=24604] ppid=24601 vsize=1332804 CPUtime=1800.05 cores=1,3,5,7
/proc/24604/stat : 24604 (toysat) R 24601 24604 21062 0 -1 4202496 274632 0 0 0 179938 67 0 0 20 0 4 0 30270390 1364791296 274947 33554432000 4194304 16246674 140736110897168 140736110879040 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24604/statm: 333201 274947 892 2943 0 330095 0
[pid=24604/tid=24605] ppid=24601 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24605/stat : 24605 (toysat) S 24601 24604 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30270391 1364791296 274947 33554432000 4194304 16246674 140736110897168 140448063532272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24604/tid=24606] ppid=24601 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24606/stat : 24606 (toysat) S 24601 24604 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30270391 1364791296 274947 33554432000 4194304 16246674 140736110897168 140447980694768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24604/tid=24607] ppid=24601 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24607/stat : 24607 (toysat) S 24601 24604 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30270391 1364791296 274947 33554432000 4194304 16246674 140736110897168 140447970221232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1332804

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 24604 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.09 2.12 2.15 3/183 24701
/proc/meminfo: memFree=28516688/32872528 swapFree=1085692/1157232
[pid=24604] ppid=24601 vsize=1332804 CPUtime=1800.05 cores=1,3,5,7
/proc/24604/stat : 24604 (toysat) R 24601 24604 21062 0 -1 4202496 274632 0 0 0 179938 67 0 0 20 0 4 0 30270390 1364791296 274947 33554432000 4194304 16246674 140736110897168 140736110879040 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24604/statm: 333201 274947 892 2943 0 330095 0
[pid=24604/tid=24605] ppid=24601 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24605/stat : 24605 (toysat) S 24601 24604 21062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30270391 1364791296 274947 33554432000 4194304 16246674 140736110897168 140448063532272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24604/tid=24606] ppid=24601 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24606/stat : 24606 (toysat) S 24601 24604 21062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30270391 1364791296 274947 33554432000 4194304 16246674 140736110897168 140447980694768 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=24604/tid=24607] ppid=24601 vsize=1332804 CPUtime=0 cores=1,3,5,7
/proc/24604/task/24607/stat : 24607 (toysat) S 24601 24604 21062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30270391 1364791296 274947 33554432000 4194304 16246674 140736110897168 140447970221232 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1332804

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.52
CPU time (s): 1800.07
CPU user time (s): 1799.39
CPU system time (s): 0.686895
CPU usage (%): 99.975
Max. virtual memory (cumulated for all children) (KiB): 1332804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.39
system time used= 0.686895
maximum resident set size= 1099788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274632
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= 259
involuntary context switches= 2273

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.67729 second user time and 6.97094 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-26 22:18:28
IDJOB=4116461
IDBENCH=109473
IDSOLVER=2542
FILE ID=node114/4116461-1466972308
RUNJOBID= node114-1466944456-21079
PBS_JOBID= 19976359
Free space on /tmp= 71640 MiB

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

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

MD5SUM BENCH= 855f9484f9b8e197cfc3774a1e63c6f9
RANDOM SEED=2085827914

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29620864 kB
Buffers:           49004 kB
Cached:           225756 kB
SwapCached:        38928 kB
Active:          1145576 kB
Inactive:         246076 kB
Active(anon):    1081756 kB
Inactive(anon):    37760 kB
Active(file):      63820 kB
Inactive(file):   208316 kB
Unevictable:     1157232 kB
Mlocked:         1085692 kB
SwapTotal:      67108856 kB
SwapFree:       67061384 kB
Dirty:             16768 kB
Writeback:             0 kB
AnonPages:       2236428 kB
Mapped:            10632 kB
Shmem:                 0 kB
Slab:             567984 kB
SReclaimable:      11980 kB
SUnreclaim:       556004 kB
KernelStack:        1472 kB
PageTables:         8604 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2381300 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     73728 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71624 MiB
End job on node114 at 2016-06-26 22:48:28