Trace number 4115989

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.04 1800.61

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size112-round23-7.opb
MD5SUM4d7f4e517409151f797860ef8d501011
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 constraints9488
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)400
Number of constraints which are nor clauses,nor cardinality constraints896
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-26T23:44:50+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4115989-1466977490.opb"]
0.00/0.01	c use --random-gen="2957821539 4142912707 298445005 307133829 3403822058 1489534355 2661981053 907057046 1690453659 3077872387 1107493776 3696717825 3438373186 891561650 4241218241 3423117291 2909707756 3838984385 963107444 3815559913 3947116016 2818486357 915703688 2665575475 1939888855 3479364829 3402513149 3419800172 3860239561 760368488 4070925894 3752223653 2840322502 73710584 2882630880 3008611945 3558302938 2284953398 2658085752 1910582519 3169232233 1971305131 226296545 1795059550 18412953 436698250 146954294 902037623 1219290630 3522141046 3095755495 2258122373 430433890 2690255220 1182572214 2305608819 95523470 2189876652 2391431950 436882729 577722449 349802045 4273494282 1674557657 3922130405 1374362025 1797239296 3846001386 234691476 2437362089 2618834562 4290200163 2315681262 2135029497 1017014024 4217417085 1976223115 2404353198 3099471014 3994872679 570508476 3470901151 1593574671 2820624742 2389117323 2816901667 3523956206 1562736169 3583234869 3180599960 2557387381 1856009314 3578626358 1285323697 1777999323 20997230 442577983 3154464324 4232269977 2934081554 2106340467 4130244930 4164299431 1051816117 4275791307 2284226041 3139202708 1837352672 984933652 2635861679 3124237107 1374430805 38630676 3183206920 3033659546 168164541 3793477401 2406482286 4182440000 2641734431 3069372514 768971490 964931422 4059523879 4250083197 3897632710 3651847034 4125615430 3297388406 562463312 3249924104 2911064066 3336414418 4228541478 3202227345 1751416641 1840927085 1767055649 2773424180 1732594021 3637368853 324105556 2695352679 1897668752 1518399972 2638354197 3389558391 1372406817 225010949 3741450955 1183289954 2397943957 650655344 3463492655 1298914651 4246904012 1212404315 777050501 1036918490 1440724520 739884269 3687828209 2628929257 29726033 520491533 1450616334 2060364164 1504326120 333876924 1002841295 780719713 490951420 3519137337 4032085056 1452911638 36935001 3455347890 2312147643 849496165 1640188200 1758762847 3155195081 3791685175 2707108274 4184670574 3768647991 3645017143 517099818 2431219158 3747798177 3804890382 2529043205 1437277312 96093654 2972991991 3944782120 1420141274 2464073178 405045476 1130258580 894529355 297646634 2783172457 3243587886 3765138386 2826579010 914828914 3936279140 2050789031 128531110 873593426 4182384902 686552991 393880801 4280111490 559723493 3894138864 2194455806 140372479 1213915099 3983750622 2158719992 342072253 101514962 3699357965 343187536 3226676744 3393980669 1568296603 2753567799 807520340 3669505447 3708740690 3193590700 917292115 617375604 3159316283 3661824926 2806171863 2903100696 2449882143 1915210744 1812798567 1112705968 3995814748 122688510 3075761112 3812483738 3963272042 624255113 1665389051 3618539011 2779117167 3725126213 3525609400 3046067419 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9488
0.19/0.27	c Solving starts ...
0.19/0.27	c ============================[ Search Statistics ]============================
0.19/0.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.27	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.27	c =============================================================================
0.19/0.28	c  0.0s |       0 |        0 |        0 |     4565      0 |      703 |        0
0.29/0.36	c  0.1s |       1 |     1213 |      100 |     4565      0 |      704 |      576
0.39/0.46	c  0.2s |       2 |     2854 |      250 |     5022      0 |      704 |      576
0.58/0.60	c  0.3s |       3 |     4628 |      475 |     5525      0 |      704 |      576
0.78/0.88	c  0.6s |       4 |     6946 |      813 |     6078      0 |      704 |      576
1.20/1.23	c  1.0s |       5 |    10971 |     1320 |     6686      0 |      704 |      576
1.99/2.05	c  1.8s |       6 |    13109 |     2081 |     8091      0 |      704 |      576
3.19/3.21	c  2.9s |       7 |    17106 |     3223 |     8901      0 |      705 |      576
4.69/4.78	c  4.5s |       8 |    24815 |     4936 |     9792      0 |      705 |      576
6.79/6.85	c  6.6s |       8 |    31926 |     7436 |     9792      0 |      705 |      576
6.89/6.93	c  6.7s |       9 |    32030 |     7506 |    10772      0 |      705 |      576
8.89/8.94	c  8.7s |       9 |    39352 |    10106 |    10772      0 |      705 |      576
10.39/10.40	c 10.1s |      10 |    41602 |    11361 |    11850      0 |      705 |      576
12.49/12.50	c 12.2s |      10 |    48390 |    13461 |    11850      0 |      705 |      576
14.58/14.62	c 14.3s |      10 |    50248 |    14861 |    11850      0 |      705 |      576
16.68/16.78	c 16.5s |      10 |    51682 |    16061 |    11850      1 |      705 |      576
18.58/18.67	c 18.4s |      11 |    53031 |    17144 |    13036      1 |      705 |      576
20.68/20.70	c 20.4s |      11 |    60837 |    19444 |    13036      1 |      705 |      576
22.68/22.77	c 22.5s |      11 |    65348 |    21344 |    13036      1 |      705 |      576
24.88/24.93	c 24.7s |      11 |    66799 |    22644 |    13036      1 |      705 |      576
26.88/26.99	c 26.7s |      11 |    71338 |    24244 |    13036      2 |      705 |      576
28.59/28.65	c 28.4s |      12 |    74910 |    25819 |    14340      2 |      705 |      576
30.68/30.76	c 30.5s |      12 |    81401 |    27419 |    14340      2 |      705 |      576
32.78/32.88	c 32.6s |      12 |    82625 |    28519 |    14340      2 |      705 |      576
34.88/34.98	c 34.7s |      12 |    83723 |    29519 |    14340      2 |      705 |      576
36.98/37.03	c 36.8s |      12 |    84909 |    30519 |    14340      2 |      705 |      576
38.98/39.04	c 38.8s |      12 |    85924 |    31419 |    14340      2 |      705 |      576
41.08/41.10	c 40.8s |      12 |    86975 |    32319 |    14340      2 |      705 |      576
43.28/43.35	c 43.1s |      12 |    87870 |    33119 |    14340      3 |      705 |      576
45.38/45.43	c 45.2s |      12 |    88744 |    33919 |    14340      3 |      705 |      576
47.48/47.52	c 47.2s |      12 |    89604 |    34719 |    14340      3 |      705 |      576
49.48/49.59	c 49.3s |      12 |    90401 |    35419 |    14340      3 |      705 |      576
51.68/51.77	c 51.5s |      12 |    91048 |    36019 |    14340      3 |      705 |      576
53.88/53.98	c 53.7s |      12 |    91802 |    36719 |    14340      3 |      705 |      576
56.08/56.14	c 55.9s |      12 |    92453 |    37319 |    14340      3 |      705 |      576
58.17/58.25	c 58.0s |      12 |    93088 |    37919 |    14340      3 |      705 |      576
60.48/60.51	c 60.2s |      12 |    93879 |    38619 |    15775      3 |      705 |      576
61.07/61.12	c 60.8s |      13 |    94138 |    38832 |    15775      3 |      705 |      576
63.17/63.21	c 62.9s |      13 |   102039 |    41132 |    15775      3 |      705 |      576
65.37/65.42	c 65.1s |      13 |   103360 |    42232 |    15775      3 |      705 |      576
67.37/67.43	c 67.2s |      13 |   105482 |    43232 |    15775      4 |      705 |      576
69.38/69.45	c 69.2s |      13 |   109039 |    45132 |    15775      4 |      705 |      576
71.48/71.58	c 71.3s |      13 |   110894 |    46532 |    15775      4 |      705 |      576
73.57/73.65	c 73.4s |      13 |   112231 |    47632 |    15775      4 |      705 |      576
75.68/75.72	c 75.4s |      13 |   113581 |    48732 |    15775      4 |      705 |      576
77.78/77.86	c 77.6s |      13 |   115103 |    49832 |    15775      4 |      705 |      576
79.78/79.89	c 79.6s |      13 |   116562 |    50932 |    15775      4 |      705 |      576
81.88/81.97	c 81.7s |      13 |   118803 |    52132 |    15775      4 |      705 |      576
83.98/84.02	c 83.8s |      13 |   120342 |    53132 |    15775      5 |      705 |      576
86.18/86.20	c 85.9s |      13 |   122027 |    54332 |    15775      5 |      705 |      576
88.18/88.28	c 88.0s |      13 |   123419 |    55332 |    15775      5 |      705 |      576
90.28/90.34	c 90.1s |      13 |   125416 |    56532 |    15775      5 |      705 |      576
92.28/92.40	c 92.1s |      13 |   126811 |    57532 |    15775      5 |      705 |      576
94.17/94.27	c 94.0s |      14 |   127882 |    58352 |    17353      5 |      705 |      576
96.27/96.36	c 96.1s |      14 |   133742 |    60352 |    17353      5 |      705 |      576
98.47/98.50	c 98.2s |      14 |   135601 |    61852 |    17353      5 |      705 |      576
100.47/100.59	c  100s |      14 |   137413 |    63352 |    17353      5 |      705 |      576
102.67/102.72	c  102s |      14 |   138436 |    64352 |    17353      6 |      705 |      576
104.77/104.82	c  104s |      14 |   139583 |    65452 |    17353      6 |      705 |      576
106.97/107.00	c  106s |      14 |   140961 |    66552 |    17353      6 |      705 |      576
108.98/109.09	c  108s |      14 |   142158 |    67552 |    17353      6 |      705 |      576
111.27/111.30	c  111s |      14 |   143290 |    68552 |    17353      6 |      705 |      576
113.38/113.48	c  113s |      14 |   144314 |    69452 |    17353      6 |      705 |      576
115.48/115.60	c  115s |      14 |   145222 |    70252 |    17353      6 |      705 |      576
117.57/117.61	c  117s |      14 |   145987 |    70952 |    17353      6 |      705 |      576
119.67/119.78	c  119s |      14 |   146930 |    71752 |    17353      6 |      705 |      576
121.87/121.96	c  121s |      14 |   148085 |    72652 |    17353      6 |      705 |      576
124.07/124.14	c  123s |      14 |   149216 |    73552 |    17353      6 |      705 |      576
126.36/126.43	c  126s |      14 |   150194 |    74352 |    17353      7 |      705 |      576
128.36/128.45	c  128s |      14 |   150997 |    75052 |    17353      7 |      705 |      576
130.36/130.47	c  130s |      14 |   151680 |    75652 |    17353      7 |      705 |      576
132.46/132.57	c  132s |      14 |   152243 |    76152 |    17353      7 |      705 |      576
134.46/134.58	c  134s |      14 |   154976 |    77152 |    17353      7 |      705 |      576
136.56/136.65	c  136s |      14 |   157854 |    78552 |    17353      7 |      705 |      576
138.67/138.80	c  138s |      14 |   159266 |    79752 |    17353      7 |      705 |      576
140.87/140.97	c  140s |      14 |   160385 |    80752 |    17353      7 |      705 |      576
142.97/143.06	c  142s |      14 |   161482 |    81752 |    17353      7 |      705 |      576
145.06/145.17	c  144s |      14 |   162635 |    82752 |    17353      7 |      705 |      576
147.26/147.37	c  147s |      14 |   163657 |    83652 |    17353      7 |      705 |      576
149.36/149.48	c  149s |      14 |   164525 |    84452 |    17353      7 |      705 |      576
151.56/151.60	c  151s |      14 |   165421 |    85252 |    17353      8 |      705 |      576
153.76/153.86	c  153s |      14 |   166415 |    86152 |    17353      8 |      705 |      576
155.96/156.09	c  155s |      14 |   167396 |    87052 |    19089      8 |      705 |      576
157.46/157.58	c  157s |      15 |   168034 |    87632 |    19089      8 |      705 |      576
159.57/159.65	c  159s |      15 |   175330 |    89732 |    19089      8 |      705 |      576
161.57/161.66	c  161s |      15 |   186035 |    92332 |    19089      8 |      705 |      576
163.67/163.77	c  163s |      15 |   190602 |    94332 |    19089      8 |      705 |      576
165.77/165.84	c  165s |      15 |   192460 |    95532 |    19089      8 |      705 |      576
168.07/168.18	c  167s |      15 |   194110 |    96532 |    19089      9 |      705 |      576
170.27/170.32	c  170s |      15 |   194984 |    97132 |    19089      9 |      705 |      576
172.67/172.80	c  172s |      15 |   196054 |    97932 |    19089      9 |      705 |      576
174.76/174.80	c  174s |      15 |   198046 |    98932 |    19089      9 |      705 |      576
176.86/176.90	c  176s |      15 |   207755 |   101232 |    19089      9 |      705 |      576
178.96/179.01	c  178s |      15 |   209395 |   102432 |    19089      9 |      705 |      576
181.16/181.26	c  180s |      15 |   210851 |   103532 |    19089      9 |      705 |      576
183.26/183.30	c  183s |      15 |   211930 |   104432 |    19089      9 |      705 |      576
185.26/185.33	c  185s |      15 |   213194 |   105432 |    19089      9 |      705 |      576
187.36/187.46	c  187s |      15 |   214852 |   106632 |    19089      9 |      705 |      576
189.46/189.54	c  189s |      15 |   216049 |   107532 |    19089     10 |      705 |      576
191.47/191.55	c  191s |      15 |   217114 |   108432 |    19089     10 |      705 |      576
193.67/193.71	c  193s |      15 |   218184 |   109332 |    19089     10 |      705 |      576
195.77/195.90	c  195s |      15 |   219213 |   110232 |    19089     10 |      705 |      576
197.86/197.94	c  197s |      15 |   220117 |   111032 |    19089     10 |      705 |      576
200.05/200.18	c  199s |      15 |   221022 |   111832 |    19089     10 |      705 |      576
202.36/202.47	c  202s |      15 |   221836 |   112532 |    19089     10 |      705 |      576
204.45/204.51	c  204s |      15 |   222495 |   113132 |    19089     10 |      705 |      576
206.45/206.56	c  206s |      15 |   223175 |   113732 |    19089     10 |      705 |      576
208.65/208.77	c  208s |      15 |   223850 |   114332 |    19089     10 |      705 |      576
210.85/210.98	c  210s |      15 |   224558 |   114932 |    19089     10 |      705 |      576
213.05/213.18	c  212s |      15 |   225234 |   115532 |    19089     10 |      705 |      576
215.36/215.45	c  215s |      15 |   226050 |   116232 |    19089     10 |      705 |      576
217.36/217.49	c  217s |      15 |   226714 |   116832 |    19089     10 |      705 |      576
219.46/219.53	c  219s |      15 |   227431 |   117432 |    19089     10 |      705 |      576
221.66/221.79	c  221s |      15 |   228104 |   118032 |    19089     10 |      705 |      576
223.76/223.89	c  223s |      15 |   228550 |   118432 |    19089     11 |      705 |      576
226.06/226.15	c  225s |      15 |   229328 |   119132 |    19089     11 |      705 |      576
228.16/228.29	c  228s |      15 |   229986 |   119732 |    19089     11 |      705 |      576
230.26/230.39	c  230s |      15 |   233150 |   120932 |    19089     11 |      705 |      576
232.36/232.40	c  232s |      15 |   234446 |   121832 |    19089     11 |      705 |      576
234.46/234.52	c  234s |      15 |   236778 |   123032 |    19089     11 |      705 |      576
236.56/236.64	c  236s |      15 |   239611 |   124332 |    19089     11 |      705 |      576
238.55/238.68	c  238s |      15 |   242083 |   125532 |    19089     11 |      705 |      576
240.55/240.70	c  240s |      15 |   243510 |   126432 |    19089     11 |      705 |      576
242.85/242.91	c  242s |      15 |   244917 |   127332 |    19089     11 |      705 |      576
245.15/245.27	c  244s |      15 |   245906 |   128132 |    19089     11 |      705 |      576
247.56/247.62	c  247s |      15 |   246741 |   128832 |    19089     11 |      705 |      576
249.95/250.02	c  249s |      15 |   247566 |   129432 |    19089     12 |      705 |      576
252.05/252.15	c  251s |      15 |   248540 |   130232 |    19089     12 |      705 |      576
254.25/254.34	c  254s |      15 |   249385 |   130932 |    20998     12 |      705 |      576
256.15/256.27	c  255s |      16 |   250125 |   131552 |    20998     12 |      705 |      576
258.25/258.35	c  258s |      16 |   258359 |   133652 |    20998     12 |      705 |      576
260.35/260.43	c  260s |      16 |   262554 |   135452 |    20998     12 |      705 |      576
262.45/262.55	c  262s |      16 |   264705 |   136952 |    20998     12 |      705 |      576
264.55/264.69	c  264s |      16 |   266447 |   138152 |    20998     12 |      705 |      576
266.65/266.71	c  266s |      16 |   269857 |   139552 |    20998     12 |      705 |      576
268.75/268.80	c  268s |      16 |   271487 |   140652 |    20998     12 |      705 |      576
270.85/270.90	c  270s |      16 |   273704 |   141752 |    20998     13 |      705 |      576
272.85/272.93	c  272s |      16 |   276512 |   143352 |    20998     13 |      705 |      576
274.95/275.08	c  274s |      16 |   278836 |   144852 |    20998     13 |      705 |      576
277.05/277.11	c  276s |      16 |   280239 |   145952 |    20998     13 |      705 |      576
279.15/279.28	c  279s |      16 |   281529 |   146952 |    20998     13 |      705 |      576
281.25/281.31	c  281s |      16 |   283057 |   148052 |    20998     13 |      705 |      576
283.24/283.35	c  283s |      16 |   284403 |   149052 |    20998     13 |      705 |      576
285.24/285.39	c  285s |      16 |   285409 |   149852 |    20998     13 |      705 |      576
287.44/287.53	c  287s |      16 |   286533 |   150752 |    20998     13 |      705 |      576
289.54/289.69	c  289s |      16 |   287503 |   151552 |    20998     13 |      705 |      576
291.74/291.87	c  291s |      16 |   288460 |   152352 |    20998     13 |      705 |      576
293.94/294.00	c  293s |      16 |   289436 |   153152 |    20998     13 |      705 |      576
296.04/296.11	c  295s |      16 |   290227 |   153852 |    20998     13 |      705 |      576
298.24/298.36	c  298s |      16 |   291104 |   154552 |    20998     14 |      705 |      576
300.44/300.57	c  300s |      16 |   291893 |   155252 |    20998     14 |      705 |      576
302.74/302.83	c  302s |      16 |   292855 |   156052 |    20998     14 |      705 |      576
304.94/305.03	c  304s |      16 |   293589 |   156752 |    20998     14 |      705 |      576
307.14/307.29	c  307s |      16 |   294559 |   157552 |    20998     14 |      705 |      576
309.24/309.39	c  309s |      16 |   295642 |   158352 |    20998     14 |      705 |      576
311.54/311.68	c  311s |      16 |   296657 |   159152 |    20998     14 |      705 |      576
313.64/313.70	c  313s |      16 |   297508 |   159852 |    20998     14 |      705 |      576
315.94/316.07	c  315s |      16 |   298351 |   160552 |    20998     14 |      705 |      576
318.04/318.13	c  317s |      16 |   299066 |   161152 |    20998     14 |      705 |      576
320.15/320.21	c  319s |      16 |   299759 |   161752 |    20998     14 |      705 |      576
322.44/322.54	c  322s |      16 |   300588 |   162452 |    20998     14 |      705 |      576
324.45/324.58	c  324s |      16 |   301265 |   163052 |    20998     14 |      705 |      576
326.75/326.85	c  326s |      16 |   301960 |   163652 |    20998     14 |      705 |      576
328.74/328.89	c  328s |      16 |   302537 |   164152 |    20998     14 |      705 |      576
330.94/331.01	c  330s |      16 |   303278 |   164752 |    20998     14 |      705 |      576
333.14/333.23	c  332s |      16 |   304003 |   165352 |    20998     14 |      705 |      576
335.24/335.38	c  335s |      16 |   304741 |   165952 |    20998     14 |      705 |      576
337.64/337.73	c  337s |      16 |   305447 |   166552 |    20998     14 |      705 |      576
339.73/339.88	c  339s |      16 |   306011 |   167052 |    20998     15 |      705 |      576
341.83/341.90	c  341s |      16 |   306571 |   167552 |    20998     15 |      705 |      576
344.13/344.20	c  343s |      16 |   307258 |   168152 |    20998     15 |      705 |      576
346.13/346.21	c  345s |      16 |   307962 |   168752 |    20998     15 |      705 |      576
348.33/348.40	c  348s |      16 |   308674 |   169352 |    20998     15 |      705 |      576
350.64/350.73	c  350s |      16 |   309345 |   169952 |    20998     15 |      705 |      576
352.94/353.07	c  352s |      16 |   310051 |   170552 |    20998     15 |      705 |      576
355.14/355.21	c  354s |      16 |   310737 |   171152 |    20998     15 |      705 |      576
357.24/357.34	c  357s |      16 |   311314 |   171652 |    20998     15 |      705 |      576
359.54/359.63	c  359s |      16 |   311850 |   172152 |    20998     15 |      705 |      576
361.54/361.68	c  361s |      16 |   312258 |   172552 |    20998     15 |      705 |      576
364.04/364.14	c  363s |      16 |   312805 |   173052 |    20998     15 |      705 |      576
366.34/366.44	c  366s |      16 |   313370 |   173552 |    20998     15 |      705 |      576
368.54/368.69	c  368s |      16 |   314229 |   174252 |    20998     15 |      705 |      576
370.83/370.95	c  370s |      16 |   314953 |   174852 |    20998     15 |      705 |      576
373.03/373.15	c  372s |      16 |   315657 |   175452 |    20998     15 |      705 |      576
375.43/375.52	c  375s |      16 |   316367 |   176052 |    20998     15 |      705 |      576
377.53/377.63	c  377s |      16 |   316971 |   176552 |    20998     15 |      705 |      576
379.83/379.95	c  379s |      16 |   317526 |   177052 |    20998     15 |      705 |      576
382.13/382.27	c  381s |      16 |   318119 |   177552 |    20998     15 |      705 |      576
384.43/384.52	c  384s |      16 |   318681 |   178052 |    20998     15 |      705 |      576
386.53/386.63	c  386s |      16 |   319269 |   178552 |    20998     15 |      705 |      576
388.53/388.65	c  388s |      16 |   319725 |   178952 |    20998     16 |      705 |      576
390.63/390.74	c  390s |      16 |   320387 |   179552 |    20998     16 |      705 |      576
392.64/392.78	c  392s |      16 |   320943 |   180052 |    20998     16 |      705 |      576
394.73/394.81	c  394s |      16 |   321654 |   180652 |    20998     16 |      705 |      576
396.83/396.93	c  396s |      16 |   323372 |   181652 |    20998     16 |      705 |      576
399.02/399.13	c  398s |      16 |   324879 |   182652 |    20998     16 |      705 |      576
401.12/401.22	c  400s |      16 |   325994 |   183452 |    20998     16 |      705 |      576
403.12/403.28	c  403s |      16 |   326874 |   184152 |    20998     16 |      705 |      576
405.22/405.39	c  405s |      16 |   327713 |   184852 |    20998     16 |      705 |      576
407.32/407.44	c  407s |      16 |   328758 |   185652 |    20998     16 |      705 |      576
409.52/409.63	c  409s |      16 |   329834 |   186452 |    20998     16 |      705 |      576
411.72/411.86	c  411s |      16 |   330727 |   187152 |    20998     16 |      705 |      576
413.92/414.00	c  413s |      16 |   331589 |   187852 |    20998     16 |      705 |      576
416.22/416.33	c  416s |      16 |   332438 |   188552 |    20998     16 |      705 |      576
418.22/418.38	c  418s |      16 |   333319 |   189252 |    20998     16 |      705 |      576
420.52/420.60	c  420s |      16 |   334221 |   189952 |    20998     16 |      705 |      576
422.62/422.78	c  422s |      16 |   335137 |   190652 |    20998     16 |      705 |      576
424.92/425.05	c  424s |      16 |   335852 |   191252 |    20998     17 |      705 |      576
427.12/427.22	c  426s |      16 |   336842 |   192052 |    20998     17 |      705 |      576
429.32/429.43	c  429s |      16 |   337833 |   192852 |    20998     17 |      705 |      576
431.52/431.69	c  431s |      16 |   338776 |   193652 |    20998     17 |      705 |      576
433.72/433.90	c  433s |      16 |   339782 |   194452 |    20998     17 |      705 |      576
436.02/436.16	c  435s |      16 |   340612 |   195152 |    20998     17 |      705 |      576
438.42/438.50	c  438s |      16 |   341458 |   195852 |    20998     17 |      705 |      576
440.42/440.53	c  440s |      16 |   342363 |   196552 |    23098     17 |      705 |      576
442.52/442.65	c  442s |      16 |   343072 |   197152 |    23098     17 |      705 |      576
443.33/443.41	c  443s |      17 |   343408 |   197432 |    23098     17 |      705 |      576
445.32/445.42	c  445s |      17 |   347984 |   198732 |    23098     17 |      705 |      576
447.42/447.55	c  447s |      17 |   349982 |   200032 |    23098     17 |      705 |      576
449.42/449.57	c  449s |      17 |   351187 |   201032 |    23098     17 |      705 |      576
451.72/451.80	c  451s |      17 |   352521 |   202132 |    23098     17 |      705 |      576
453.82/453.95	c  453s |      17 |   353585 |   203032 |    23098     17 |      705 |      576
455.82/456.00	c  455s |      17 |   354547 |   203832 |    23098     17 |      705 |      576
458.02/458.10	c  457s |      17 |   355673 |   204832 |    23098     17 |      705 |      576
460.22/460.31	c  460s |      17 |   356580 |   205632 |    23098     18 |      705 |      576
462.32/462.40	c  462s |      17 |   357487 |   206432 |    23098     18 |      705 |      576
464.52/464.63	c  464s |      17 |   358255 |   207132 |    23098     18 |      705 |      576
466.72/466.85	c  466s |      17 |   359159 |   207932 |    23098     18 |      705 |      576
468.71/468.88	c  468s |      17 |   359900 |   208632 |    23098     18 |      705 |      576
470.91/471.00	c  470s |      17 |   360648 |   209332 |    23098     18 |      705 |      576
472.92/473.03	c  472s |      17 |   361416 |   210032 |    23098     18 |      705 |      576
474.91/475.05	c  474s |      17 |   362183 |   210732 |    23098     18 |      705 |      576
477.32/477.41	c  477s |      17 |   362958 |   211432 |    23098     18 |      705 |      576
479.31/479.44	c  479s |      17 |   363800 |   212132 |    23098     18 |      705 |      576
481.41/481.57	c  481s |      17 |   364435 |   212732 |    23098     18 |      705 |      576
483.61/483.72	c  483s |      17 |   365159 |   213332 |    23098     18 |      705 |      576
485.71/485.81	c  485s |      17 |   365682 |   213832 |    23098     18 |      705 |      576
488.11/488.24	c  487s |      17 |   366334 |   214432 |    23098     18 |      705 |      576
490.41/490.56	c  490s |      17 |   366984 |   215032 |    23098     18 |      705 |      576
492.51/492.67	c  492s |      17 |   367540 |   215532 |    23098     18 |      705 |      576
494.81/494.92	c  494s |      17 |   368204 |   216132 |    23098     18 |      705 |      576
497.12/497.24	c  496s |      17 |   368887 |   216732 |    23098     18 |      705 |      576
499.11/499.29	c  499s |      17 |   369445 |   217232 |    23098     18 |      705 |      576
501.52/501.66	c  501s |      17 |   369998 |   217732 |    23098     18 |      705 |      576
503.82/503.96	c  503s |      17 |   370506 |   218232 |    23098     18 |      705 |      576
506.21/506.37	c  506s |      17 |   371033 |   218732 |    23098     19 |      705 |      576
508.41/508.57	c  508s |      17 |   371563 |   219232 |    23098     19 |      705 |      576
510.81/510.92	c  510s |      17 |   372213 |   219832 |    23098     19 |      705 |      576
513.01/513.16	c  512s |      17 |   372848 |   220432 |    23098     19 |      705 |      576
515.20/515.37	c  515s |      17 |   373370 |   220932 |    23098     19 |      705 |      576
517.50/517.62	c  517s |      17 |   373889 |   221432 |    23098     19 |      705 |      576
519.80/519.98	c  519s |      17 |   374578 |   222032 |    23098     19 |      705 |      576
522.00/522.11	c  521s |      17 |   375102 |   222532 |    23098     19 |      705 |      576
524.10/524.27	c  523s |      17 |   375619 |   223032 |    23098     19 |      705 |      576
526.40/526.52	c  526s |      17 |   376378 |   223632 |    23098     19 |      705 |      576
528.70/528.83	c  528s |      17 |   377085 |   224232 |    23098     19 |      705 |      576
530.80/530.94	c  530s |      17 |   379437 |   224932 |    23098     19 |      705 |      576
532.90/533.09	c  532s |      17 |   381252 |   225832 |    23098     19 |      705 |      576
535.10/535.21	c  534s |      17 |   382013 |   226532 |    23098     19 |      705 |      576
537.10/537.25	c  536s |      17 |   383789 |   227332 |    23098     19 |      705 |      576
539.10/539.26	c  538s |      17 |   385509 |   228432 |    23098     19 |      705 |      576
541.30/541.41	c  541s |      17 |   386558 |   229332 |    23098     19 |      705 |      576
543.50/543.67	c  543s |      17 |   387188 |   229932 |    23098     19 |      705 |      576
545.70/545.87	c  545s |      17 |   388859 |   230832 |    23098     19 |      705 |      576
547.71/547.88	c  547s |      17 |   391538 |   231732 |    23098     20 |      705 |      576
549.80/549.99	c  549s |      17 |   393005 |   232832 |    23098     20 |      705 |      576
551.81/552.00	c  551s |      17 |   393990 |   233632 |    23098     20 |      705 |      576
554.00/554.10	c  553s |      17 |   394917 |   234432 |    23098     20 |      705 |      576
556.10/556.23	c  555s |      17 |   395813 |   235232 |    23098     20 |      705 |      576
558.20/558.39	c  558s |      17 |   396906 |   236132 |    23098     20 |      705 |      576
560.30/560.50	c  560s |      17 |   397872 |   236932 |    23098     20 |      705 |      576
562.40/562.51	c  562s |      17 |   398683 |   237632 |    23098     20 |      705 |      576
564.40/564.52	c  564s |      17 |   399749 |   238432 |    23098     20 |      705 |      576
566.60/566.72	c  566s |      17 |   400708 |   239232 |    23098     20 |      705 |      576
568.80/568.95	c  568s |      17 |   401498 |   239932 |    23098     20 |      705 |      576
570.91/571.01	c  570s |      17 |   402192 |   240532 |    23098     20 |      705 |      576
573.11/573.22	c  572s |      17 |   403228 |   241332 |    23098     20 |      705 |      576
575.10/575.27	c  574s |      17 |   404087 |   242032 |    23098     20 |      705 |      576
577.20/577.30	c  577s |      17 |   404970 |   242732 |    23098     20 |      705 |      576
579.30/579.41	c  579s |      17 |   405639 |   243332 |    23098     20 |      705 |      576
581.40/581.51	c  581s |      17 |   406460 |   244032 |    23098     20 |      705 |      576
583.60/583.72	c  583s |      17 |   407136 |   244632 |    23098     21 |      705 |      576
585.60/585.78	c  585s |      17 |   407924 |   245332 |    23098     21 |      705 |      576
588.00/588.10	c  587s |      17 |   408716 |   246032 |    23098     21 |      705 |      576
590.10/590.21	c  589s |      17 |   409496 |   246732 |    23098     21 |      705 |      576
592.20/592.31	c  592s |      17 |   410156 |   247332 |    23098     21 |      705 |      576
594.19/594.39	c  594s |      17 |   410808 |   247932 |    23098     21 |      705 |      576
596.49/596.62	c  596s |      17 |   411580 |   248632 |    23098     21 |      705 |      576
598.69/598.86	c  598s |      17 |   412394 |   249332 |    23098     21 |      705 |      576
600.79/600.93	c  600s |      17 |   413102 |   249932 |    23098     21 |      705 |      576
602.89/603.07	c  602s |      17 |   413918 |   250632 |    23098     21 |      705 |      576
605.09/605.21	c  604s |      17 |   414608 |   251232 |    23098     21 |      705 |      576
607.29/607.47	c  607s |      17 |   415269 |   251832 |    23098     21 |      705 |      576
609.40/609.54	c  609s |      17 |   415970 |   252432 |    23098     21 |      705 |      576
611.50/611.65	c  611s |      17 |   416879 |   253032 |    23098     21 |      705 |      576
613.59/613.80	c  613s |      17 |   418352 |   253932 |    23098     21 |      705 |      576
615.90/616.06	c  615s |      17 |   419657 |   254832 |    23098     21 |      705 |      576
617.89/618.09	c  617s |      17 |   421370 |   255732 |    23098     21 |      705 |      576
620.09/620.29	c  620s |      17 |   422089 |   256332 |    23098     21 |      705 |      576
622.19/622.33	c  622s |      17 |   422639 |   256832 |    23098     21 |      705 |      576
624.39/624.52	c  624s |      17 |   423250 |   257332 |    23098     22 |      705 |      576
626.59/626.76	c  626s |      17 |   424043 |   258032 |    23098     22 |      705 |      576
628.89/629.04	c  628s |      17 |   424964 |   258832 |    23098     22 |      705 |      576
630.99/631.11	c  630s |      17 |   425824 |   259532 |    23098     22 |      705 |      576
633.19/633.31	c  633s |      17 |   426667 |   260232 |    23098     22 |      705 |      576
635.38/635.57	c  635s |      17 |   427426 |   260932 |    23098     22 |      705 |      576
637.58/637.77	c  637s |      17 |   427985 |   261432 |    23098     22 |      705 |      576
639.98/640.18	c  639s |      17 |   428805 |   262132 |    23098     22 |      705 |      576
642.29/642.44	c  642s |      17 |   429482 |   262732 |    23098     22 |      705 |      576
644.49/644.69	c  644s |      17 |   430212 |   263332 |    23098     22 |      705 |      576
646.88/647.05	c  646s |      17 |   430898 |   263932 |    23098     22 |      705 |      576
649.18/649.33	c  649s |      17 |   431451 |   264432 |    23098     22 |      705 |      576
651.68/651.80	c  651s |      17 |   432138 |   265032 |    23098     22 |      705 |      576
653.99/654.13	c  653s |      17 |   432813 |   265632 |    23098     22 |      705 |      576
656.19/656.37	c  656s |      17 |   433483 |   266232 |    23098     22 |      705 |      576
658.19/658.38	c  658s |      17 |   434033 |   266732 |    23098     22 |      705 |      576
660.49/660.63	c  660s |      17 |   434627 |   267232 |    23098     22 |      705 |      576
662.49/662.67	c  662s |      17 |   435060 |   267632 |    23098     22 |      705 |      576
664.79/664.95	c  664s |      17 |   435628 |   268132 |    23098     22 |      705 |      576
667.09/667.24	c  666s |      17 |   436184 |   268632 |    23098     22 |      705 |      576
669.19/669.39	c  669s |      17 |   436858 |   269232 |    23098     22 |      705 |      576
671.29/671.48	c  671s |      17 |   437294 |   269632 |    23098     22 |      705 |      576
673.69/673.83	c  673s |      17 |   437747 |   270032 |    23098     22 |      705 |      576
676.58/676.76	c  676s |      17 |   438188 |   270432 |    23098     23 |      705 |      576
678.78/678.97	c  678s |      17 |   438760 |   270932 |    23098     23 |      705 |      576
681.18/681.35	c  681s |      17 |   439337 |   271432 |    23098     23 |      705 |      576
683.38/683.51	c  683s |      17 |   439902 |   271932 |    23098     23 |      705 |      576
685.58/685.73	c  685s |      17 |   440458 |   272432 |    23098     23 |      705 |      576
687.58/687.78	c  687s |      17 |   441013 |   272932 |    23098     23 |      705 |      576
689.78/689.94	c  689s |      17 |   441555 |   273432 |    23098     23 |      705 |      576
691.89/692.04	c  691s |      17 |   442092 |   273932 |    23098     23 |      705 |      576
693.99/694.16	c  693s |      17 |   442643 |   274432 |    23098     23 |      705 |      576
696.19/696.32	c  696s |      17 |   443190 |   274932 |    23098     23 |      705 |      576
698.39/698.57	c  698s |      17 |   443794 |   275432 |    23098     23 |      705 |      576
700.59/700.71	c  700s |      17 |   444691 |   276132 |    23098     23 |      705 |      576
702.89/703.03	c  702s |      17 |   445494 |   276832 |    23098     23 |      705 |      576
705.18/705.37	c  705s |      17 |   446231 |   277432 |    23098     23 |      705 |      576
707.29/707.43	c  707s |      17 |   446854 |   277932 |    23098     23 |      705 |      576
709.28/709.48	c  709s |      17 |   447302 |   278332 |    23098     23 |      705 |      576
711.38/711.56	c  711s |      17 |   448018 |   278932 |    23098     23 |      705 |      576
713.68/713.87	c  713s |      17 |   448711 |   279532 |    23098     23 |      705 |      576
716.09/716.29	c  716s |      17 |   449419 |   280132 |    23098     23 |      705 |      576
718.48/718.69	c  718s |      17 |   450091 |   280732 |    23098     23 |      705 |      576
720.88/721.05	c  720s |      17 |   450634 |   281232 |    23098     23 |      705 |      576
723.18/723.33	c  723s |      17 |   451401 |   281832 |    23098     23 |      705 |      576
725.57/725.72	c  725s |      17 |   451947 |   282332 |    23098     23 |      705 |      576
727.67/727.84	c  727s |      17 |   452535 |   282832 |    23098     23 |      705 |      576
729.87/730.04	c  729s |      17 |   453217 |   283432 |    23098     23 |      705 |      576
731.97/732.13	c  731s |      17 |   453678 |   283832 |    23098     24 |      705 |      576
733.97/734.19	c  733s |      17 |   454455 |   284532 |    23098     24 |      705 |      576
736.07/736.29	c  736s |      17 |   455269 |   285232 |    23098     24 |      705 |      576
738.37/738.59	c  738s |      17 |   456227 |   286032 |    23098     24 |      705 |      576
740.47/740.63	c  740s |      17 |   456945 |   286632 |    23098     24 |      705 |      576
742.77/742.90	c  742s |      17 |   457818 |   287332 |    23098     24 |      705 |      576
744.87/745.06	c  744s |      17 |   458543 |   287932 |    23098     24 |      705 |      576
746.97/747.15	c  746s |      17 |   459288 |   288532 |    23098     24 |      705 |      576
749.07/749.22	c  748s |      17 |   459995 |   289132 |    23098     24 |      705 |      576
751.07/751.27	c  750s |      17 |   460726 |   289732 |    23098     24 |      705 |      576
753.17/753.33	c  753s |      17 |   461432 |   290332 |    23098     24 |      705 |      576
755.27/755.44	c  755s |      17 |   462151 |   290932 |    23098     24 |      705 |      576
757.47/757.63	c  757s |      17 |   462868 |   291532 |    23098     24 |      705 |      576
759.47/759.68	c  759s |      17 |   463606 |   292132 |    23098     24 |      705 |      576
761.87/762.08	c  761s |      17 |   464309 |   292732 |    23098     24 |      705 |      576
764.07/764.27	c  763s |      17 |   465000 |   293332 |    23098     24 |      705 |      576
766.17/766.32	c  766s |      17 |   465607 |   293832 |    23098     24 |      705 |      576
768.37/768.57	c  768s |      17 |   466202 |   294332 |    25408     24 |      705 |      576
770.47/770.61	c  770s |      17 |   466778 |   294832 |    25408     24 |      705 |      576
772.67/772.85	c  772s |      17 |   467359 |   295332 |    25408     24 |      705 |      576
774.97/775.12	c  774s |      17 |   468110 |   295932 |    25408     24 |      705 |      576
776.37/776.50	c  776s |      18 |   468480 |   296252 |    25408     24 |      705 |      576
778.78/778.98	c  778s |      18 |   474573 |   297752 |    25408     25 |      705 |      576
780.77/780.99	c  780s |      18 |   487976 |   300552 |    25408     25 |      705 |      576
782.87/783.06	c  782s |      18 |   492808 |   302352 |    25408     25 |      705 |      576
784.97/785.10	c  784s |      18 |   498589 |   304252 |    25408     25 |      705 |      576
786.97/787.16	c  786s |      18 |   501115 |   306052 |    25408     25 |      705 |      576
788.97/789.19	c  788s |      18 |   502799 |   307552 |    25408     25 |      705 |      576
791.17/791.36	c  791s |      18 |   504356 |   308952 |    25408     25 |      705 |      576
793.27/793.47	c  793s |      18 |   505659 |   310152 |    25408     25 |      705 |      576
795.36/795.52	c  795s |      18 |   506742 |   311152 |    25408     25 |      705 |      576
797.47/797.66	c  797s |      18 |   507800 |   312152 |    25408     25 |      705 |      576
799.57/799.70	c  799s |      18 |   508698 |   312952 |    25408     26 |      705 |      576
801.66/801.84	c  801s |      18 |   509748 |   313952 |    25408     26 |      705 |      576
803.76/803.99	c  803s |      18 |   511005 |   315052 |    25408     26 |      705 |      576
806.06/806.21	c  805s |      18 |   512126 |   316052 |    25408     26 |      705 |      576
808.16/808.38	c  808s |      18 |   513272 |   317052 |    25408     26 |      705 |      576
810.26/810.44	c  810s |      18 |   514121 |   317852 |    25408     26 |      705 |      576
812.56/812.75	c  812s |      18 |   515102 |   318752 |    25408     26 |      705 |      576
814.66/814.81	c  814s |      18 |   516008 |   319552 |    25408     26 |      705 |      576
816.76/816.95	c  816s |      18 |   516898 |   320352 |    25408     26 |      705 |      576
818.76/818.99	c  818s |      18 |   517658 |   321052 |    25408     26 |      705 |      576
821.06/821.22	c  820s |      18 |   518543 |   321852 |    25408     26 |      705 |      576
823.36/823.51	c  823s |      18 |   519422 |   322652 |    25408     26 |      705 |      576
825.56/825.79	c  825s |      18 |   520179 |   323352 |    25408     26 |      705 |      576
827.66/827.89	c  827s |      18 |   520926 |   324052 |    25408     26 |      705 |      576
829.76/829.91	c  829s |      18 |   521676 |   324752 |    25408     26 |      705 |      576
831.86/832.04	c  831s |      18 |   522472 |   325452 |    25408     26 |      705 |      576
834.16/834.36	c  834s |      18 |   523203 |   326152 |    25408     26 |      705 |      576
836.36/836.55	c  836s |      18 |   523959 |   326852 |    25408     26 |      705 |      576
838.46/838.68	c  838s |      18 |   524594 |   327452 |    25408     27 |      705 |      576
840.66/840.80	c  840s |      18 |   525466 |   328252 |    25408     27 |      705 |      576
842.85/843.04	c  842s |      18 |   526320 |   329052 |    25408     27 |      705 |      576
844.85/845.07	c  844s |      18 |   527085 |   329752 |    25408     27 |      705 |      576
847.15/847.35	c  847s |      18 |   527951 |   330552 |    25408     27 |      705 |      576
849.45/849.63	c  849s |      18 |   528801 |   331352 |    25408     27 |      705 |      576
851.65/851.84	c  851s |      18 |   529554 |   332052 |    25408     27 |      705 |      576
853.85/854.08	c  853s |      18 |   530291 |   332752 |    25408     27 |      705 |      576
855.95/856.14	c  855s |      18 |   531046 |   333452 |    25408     27 |      705 |      576
858.05/858.28	c  858s |      18 |   531798 |   334152 |    25408     27 |      705 |      576
860.35/860.55	c  860s |      18 |   532526 |   334852 |    25408     27 |      705 |      576
862.44/862.62	c  862s |      18 |   533331 |   335552 |    25408     27 |      705 |      576
864.55/864.75	c  864s |      18 |   534089 |   336252 |    25408     27 |      705 |      576
866.65/866.87	c  866s |      18 |   534837 |   336952 |    25408     27 |      705 |      576
868.74/868.99	c  868s |      18 |   535567 |   337652 |    25408     27 |      705 |      576
871.05/871.28	c  871s |      18 |   536297 |   338352 |    25408     27 |      705 |      576
873.14/873.31	c  873s |      18 |   536966 |   338952 |    25408     27 |      705 |      576
875.45/875.62	c  875s |      18 |   537621 |   339552 |    25408     27 |      705 |      576
877.65/877.82	c  877s |      18 |   538270 |   340152 |    25408     27 |      705 |      576
879.64/879.84	c  879s |      18 |   538796 |   340652 |    25408     27 |      705 |      576
882.04/882.23	c  881s |      18 |   539451 |   341252 |    25408     27 |      705 |      576
884.14/884.39	c  884s |      18 |   539987 |   341752 |    25408     28 |      705 |      576
886.44/886.65	c  886s |      18 |   540843 |   342552 |    25408     28 |      705 |      576
888.53/888.71	c  888s |      18 |   541597 |   343252 |    25408     28 |      705 |      576
890.53/890.73	c  890s |      18 |   542361 |   343952 |    25408     28 |      705 |      576
892.63/892.85	c  892s |      18 |   543098 |   344652 |    25408     28 |      705 |      576
894.83/895.02	c  894s |      18 |   543838 |   345352 |    25408     28 |      705 |      576
896.93/897.15	c  896s |      18 |   544593 |   346052 |    25408     28 |      705 |      576
899.23/899.43	c  899s |      18 |   545328 |   346752 |    25408     28 |      705 |      576
901.23/901.48	c  901s |      18 |   545966 |   347352 |    25408     28 |      705 |      576
903.33/903.54	c  903s |      18 |   546594 |   347952 |    25408     28 |      705 |      576
905.33/905.57	c  905s |      18 |   547244 |   348552 |    25408     28 |      705 |      576
907.44/907.69	c  907s |      18 |   547875 |   349152 |    25408     28 |      705 |      576
909.73/909.99	c  909s |      18 |   548690 |   349852 |    25408     28 |      705 |      576
912.03/912.25	c  911s |      18 |   549537 |   350652 |    25408     28 |      705 |      576
914.12/914.30	c  914s |      18 |   550292 |   351352 |    25408     28 |      705 |      576
916.42/916.62	c  916s |      18 |   551036 |   352052 |    25408     28 |      705 |      576
918.43/918.67	c  918s |      18 |   551688 |   352652 |    25408     28 |      705 |      576
920.42/920.69	c  920s |      18 |   552327 |   353252 |    25408     28 |      705 |      576
922.42/922.69	c  922s |      18 |   552978 |   353852 |    25408     28 |      705 |      576
924.62/924.82	c  924s |      18 |   553624 |   354452 |    25408     28 |      705 |      576
926.62/926.84	c  926s |      18 |   554277 |   355052 |    25408     28 |      705 |      576
928.91/929.14	c  928s |      18 |   555020 |   355752 |    25408     28 |      705 |      576
931.01/931.29	c  931s |      18 |   555772 |   356452 |    25408     29 |      705 |      576
933.31/933.54	c  933s |      18 |   556639 |   357252 |    25408     29 |      705 |      576
935.51/935.73	c  935s |      18 |   557565 |   358052 |    25408     29 |      705 |      576
937.71/937.96	c  937s |      18 |   558440 |   358852 |    25408     29 |      705 |      576
940.01/940.26	c  939s |      18 |   559305 |   359652 |    25408     29 |      705 |      576
942.11/942.38	c  942s |      18 |   560068 |   360352 |    25408     29 |      705 |      576
944.30/944.53	c  944s |      18 |   560820 |   361052 |    25408     29 |      705 |      576
946.50/946.76	c  946s |      18 |   561564 |   361752 |    25408     29 |      705 |      576
948.60/948.81	c  948s |      18 |   562198 |   362352 |    25408     29 |      705 |      576
950.90/951.14	c  950s |      18 |   562936 |   363052 |    25408     29 |      705 |      576
953.20/953.40	c  953s |      18 |   563553 |   363652 |    25408     29 |      705 |      576
955.50/955.79	c  955s |      18 |   564301 |   364352 |    25408     29 |      705 |      576
957.60/957.88	c  957s |      18 |   564928 |   364952 |    25408     29 |      705 |      576
959.80/960.00	c  959s |      18 |   565577 |   365552 |    25408     29 |      705 |      576
961.80/962.04	c  961s |      18 |   566222 |   366152 |    25408     29 |      705 |      576
964.00/964.25	c  963s |      18 |   566872 |   366752 |    25408     29 |      705 |      576
966.30/966.53	c  966s |      18 |   567495 |   367352 |    25408     29 |      705 |      576
968.60/968.82	c  968s |      18 |   568115 |   367952 |    25408     29 |      705 |      576
971.00/971.21	c  970s |      18 |   568755 |   368552 |    25408     29 |      705 |      576
973.09/973.30	c  973s |      18 |   569276 |   369052 |    25408     29 |      705 |      576
975.29/975.53	c  975s |      18 |   569813 |   369552 |    25408     29 |      705 |      576
977.39/977.63	c  977s |      18 |   570345 |   370052 |    25408     29 |      705 |      576
979.49/979.71	c  979s |      18 |   570882 |   370552 |    25408     30 |      705 |      576
981.59/981.89	c  981s |      18 |   571745 |   371352 |    25408     30 |      705 |      576
983.69/983.95	c  983s |      18 |   572484 |   372052 |    25408     30 |      705 |      576
985.78/986.04	c  985s |      18 |   573227 |   372752 |    25408     30 |      705 |      576
987.98/988.21	c  987s |      18 |   573989 |   373452 |    25408     30 |      705 |      576
990.08/990.35	c  990s |      18 |   574740 |   374152 |    25408     30 |      705 |      576
992.18/992.44	c  992s |      18 |   575494 |   374852 |    25408     30 |      705 |      576
994.29/994.51	c  994s |      18 |   576123 |   375452 |    25408     30 |      705 |      576
996.49/996.72	c  996s |      18 |   576870 |   376152 |    25408     30 |      705 |      576
998.88/999.11	c  998s |      18 |   577609 |   376852 |    25408     30 |      705 |      576
1001.08/1001.34	c 1001s |      18 |   578352 |   377552 |    25408     30 |      705 |      576
1003.17/1003.40	c 1003s |      18 |   579186 |   378252 |    25408     30 |      705 |      576
1005.18/1005.46	c 1005s |      18 |   579972 |   378952 |    25408     30 |      705 |      576
1007.27/1007.57	c 1007s |      18 |   580746 |   379652 |    25408     30 |      705 |      576
1009.47/1009.78	c 1009s |      18 |   581505 |   380352 |    25408     30 |      705 |      576
1011.78/1012.02	c 1011s |      18 |   582249 |   381052 |    25408     30 |      705 |      576
1013.77/1014.05	c 1013s |      18 |   582907 |   381652 |    25408     30 |      705 |      576
1016.07/1016.32	c 1016s |      18 |   583693 |   382352 |    25408     30 |      705 |      576
1018.37/1018.61	c 1018s |      18 |   584468 |   383052 |    25408     30 |      705 |      576
1020.57/1020.86	c 1020s |      18 |   585118 |   383652 |    25408     30 |      705 |      576
1022.87/1023.14	c 1022s |      18 |   585767 |   384252 |    25408     30 |      705 |      576
1024.97/1025.28	c 1025s |      18 |   586421 |   384852 |    25408     31 |      705 |      576
1027.06/1027.37	c 1027s |      18 |   587282 |   385652 |    25408     31 |      705 |      576
1029.26/1029.59	c 1029s |      18 |   588132 |   386452 |    25408     31 |      705 |      576
1031.36/1031.63	c 1031s |      18 |   588884 |   387152 |    25408     31 |      705 |      576
1033.65/1033.90	c 1033s |      18 |   589750 |   387952 |    25408     31 |      705 |      576
1035.75/1036.02	c 1035s |      18 |   590485 |   388652 |    25408     31 |      705 |      576
1037.85/1038.17	c 1037s |      18 |   591359 |   389452 |    25408     31 |      705 |      576
1039.95/1040.22	c 1039s |      18 |   592116 |   390152 |    25408     31 |      705 |      576
1042.25/1042.55	c 1042s |      18 |   592850 |   390852 |    25408     31 |      705 |      576
1044.45/1044.76	c 1044s |      18 |   593607 |   391552 |    25408     31 |      705 |      576
1046.75/1047.02	c 1046s |      18 |   594352 |   392252 |    25408     31 |      705 |      576
1049.05/1049.32	c 1049s |      18 |   595108 |   392952 |    25408     31 |      705 |      576
1051.15/1051.45	c 1051s |      18 |   595748 |   393552 |    25408     31 |      705 |      576
1053.15/1053.48	c 1053s |      18 |   596421 |   394152 |    25408     31 |      705 |      576
1055.45/1055.70	c 1055s |      18 |   597081 |   394752 |    25408     31 |      705 |      576
1057.55/1057.89	c 1057s |      18 |   597704 |   395352 |    25408     31 |      705 |      576
1059.84/1060.19	c 1059s |      18 |   598450 |   396052 |    25408     31 |      705 |      576
1062.04/1062.39	c 1062s |      18 |   599090 |   396652 |    25408     31 |      705 |      576
1064.14/1064.48	c 1064s |      18 |   599720 |   397252 |    25408     31 |      705 |      576
1066.34/1066.68	c 1066s |      18 |   600372 |   397852 |    25408     31 |      705 |      576
1068.64/1068.99	c 1068s |      18 |   601006 |   398452 |    25408     31 |      705 |      576
1070.84/1071.15	c 1070s |      18 |   601547 |   398952 |    25408     32 |      705 |      576
1073.03/1073.31	c 1073s |      18 |   602390 |   399752 |    25408     32 |      705 |      576
1075.13/1075.42	c 1075s |      18 |   603270 |   400552 |    25408     32 |      705 |      576
1077.23/1077.59	c 1077s |      18 |   604127 |   401352 |    25408     32 |      705 |      576
1079.43/1079.74	c 1079s |      18 |   604864 |   402052 |    25408     32 |      705 |      576
1081.53/1081.87	c 1081s |      18 |   605507 |   402652 |    25408     32 |      705 |      576
1083.63/1083.98	c 1083s |      18 |   606261 |   403352 |    25408     32 |      705 |      576
1085.83/1086.19	c 1085s |      18 |   607022 |   404052 |    25408     32 |      705 |      576
1088.13/1088.41	c 1088s |      18 |   607790 |   404752 |    25408     32 |      705 |      576
1090.12/1090.42	c 1090s |      18 |   608420 |   405352 |    25408     32 |      705 |      576
1092.13/1092.48	c 1092s |      18 |   609057 |   405952 |    25408     32 |      705 |      576
1094.33/1094.64	c 1094s |      18 |   609679 |   406552 |    25408     32 |      705 |      576
1096.72/1097.01	c 1096s |      18 |   610430 |   407252 |    25408     32 |      705 |      576
1098.73/1099.08	c 1098s |      18 |   611055 |   407852 |    25408     32 |      705 |      576
1100.83/1101.12	c 1100s |      18 |   611694 |   408452 |    25408     32 |      705 |      576
1102.92/1103.20	c 1102s |      18 |   612335 |   409052 |    25408     32 |      705 |      576
1105.02/1105.35	c 1105s |      18 |   612984 |   409652 |    25408     32 |      705 |      576
1107.21/1107.53	c 1107s |      18 |   613610 |   410252 |    25408     32 |      705 |      576
1109.21/1109.56	c 1109s |      18 |   614154 |   410752 |    25408     32 |      705 |      576
1111.51/1111.88	c 1111s |      18 |   614782 |   411352 |    25408     32 |      705 |      576
1113.71/1114.08	c 1113s |      18 |   615309 |   411852 |    25408     32 |      705 |      576
1115.91/1116.21	c 1115s |      18 |   615829 |   412352 |    25408     32 |      705 |      576
1117.91/1118.26	c 1117s |      18 |   616355 |   412852 |    25408     32 |      705 |      576
1120.01/1120.38	c 1120s |      18 |   616883 |   413352 |    25408     33 |      705 |      576
1122.21/1122.53	c 1122s |      18 |   617709 |   414152 |    25408     33 |      705 |      576
1124.21/1124.57	c 1124s |      18 |   618560 |   414952 |    25408     33 |      705 |      576
1126.31/1126.69	c 1126s |      18 |   619491 |   415752 |    25408     33 |      705 |      576
1128.61/1128.97	c 1128s |      18 |   620564 |   416652 |    25408     33 |      705 |      576
1130.61/1130.98	c 1130s |      18 |   621348 |   417352 |    25408     33 |      705 |      576
1133.00/1133.36	c 1133s |      18 |   622117 |   418052 |    25408     33 |      705 |      576
1135.01/1135.38	c 1135s |      18 |   622854 |   418752 |    25408     33 |      705 |      576
1137.00/1137.39	c 1137s |      18 |   623489 |   419352 |    25408     33 |      705 |      576
1139.31/1139.62	c 1139s |      18 |   624226 |   420052 |    25408     33 |      705 |      576
1141.30/1141.64	c 1141s |      18 |   624860 |   420652 |    25408     33 |      705 |      576
1143.51/1143.82	c 1143s |      18 |   625633 |   421352 |    25408     33 |      705 |      576
1145.80/1146.17	c 1145s |      18 |   626386 |   422052 |    25408     33 |      705 |      576
1147.90/1148.27	c 1147s |      18 |   627057 |   422652 |    25408     33 |      705 |      576
1150.00/1150.33	c 1150s |      18 |   627692 |   423252 |    25408     33 |      705 |      576
1152.30/1152.61	c 1152s |      18 |   628345 |   423852 |    25408     33 |      705 |      576
1154.60/1154.90	c 1154s |      18 |   628979 |   424452 |    25408     33 |      705 |      576
1157.01/1157.30	c 1157s |      18 |   629631 |   425052 |    25408     33 |      705 |      576
1159.21/1159.58	c 1159s |      18 |   630292 |   425652 |    25408     33 |      705 |      576
1161.31/1161.67	c 1161s |      18 |   630949 |   426252 |    25408     33 |      705 |      576
1163.29/1163.69	c 1163s |      18 |   631627 |   426852 |    25408     33 |      705 |      576
1165.70/1166.08	c 1165s |      18 |   632159 |   427352 |    25408     34 |      705 |      576
1167.79/1168.16	c 1167s |      18 |   633029 |   428152 |    25408     34 |      705 |      576
1169.89/1170.23	c 1169s |      18 |   633884 |   428952 |    25408     34 |      705 |      576
1171.89/1172.26	c 1171s |      18 |   634739 |   429752 |    25408     34 |      705 |      576
1174.09/1174.41	c 1174s |      18 |   635589 |   430552 |    25408     34 |      705 |      576
1176.29/1176.62	c 1176s |      18 |   636456 |   431352 |    25408     34 |      705 |      576
1178.49/1178.85	c 1178s |      18 |   637320 |   432152 |    25408     34 |      705 |      576
1180.59/1180.90	c 1180s |      18 |   638069 |   432852 |    25408     34 |      705 |      576
1182.88/1183.24	c 1182s |      18 |   638823 |   433552 |    25408     34 |      705 |      576
1184.98/1185.36	c 1185s |      18 |   639453 |   434152 |    25408     34 |      705 |      576
1187.08/1187.47	c 1187s |      18 |   640097 |   434752 |    25408     34 |      705 |      576
1189.28/1189.65	c 1189s |      18 |   640865 |   435452 |    25408     34 |      705 |      576
1191.38/1191.76	c 1191s |      18 |   641515 |   436052 |    25408     34 |      705 |      576
1193.47/1193.83	c 1193s |      18 |   642186 |   436652 |    25408     34 |      705 |      576
1195.48/1195.88	c 1195s |      18 |   642839 |   437252 |    25408     34 |      705 |      576
1197.58/1197.91	c 1197s |      18 |   643482 |   437852 |    25408     34 |      705 |      576
1199.88/1200.28	c 1200s |      18 |   644132 |   438452 |    25408     34 |      705 |      576
1202.27/1202.67	c 1202s |      18 |   644773 |   439052 |    25408     34 |      705 |      576
1204.37/1204.73	c 1204s |      18 |   645292 |   439552 |    25408     34 |      705 |      576
1206.48/1206.87	c 1206s |      18 |   645945 |   440152 |    25408     34 |      705 |      576
1208.77/1209.11	c 1208s |      18 |   646604 |   440752 |    25408     34 |      705 |      576
1210.87/1211.28	c 1211s |      18 |   647248 |   441352 |    27949     34 |      705 |      576
1213.26/1213.62	c 1213s |      18 |   647889 |   441952 |    27949     34 |      705 |      576
1215.46/1215.85	c 1215s |      18 |   648761 |   442652 |    27949     34 |      705 |      576
1217.66/1218.07	c 1217s |      18 |   649428 |   443252 |    27949     34 |      705 |      576
1219.76/1220.12	c 1219s |      18 |   650123 |   443852 |    27949     34 |      705 |      576
1221.96/1222.32	c 1222s |      18 |   650797 |   444452 |    27949     35 |      705 |      576
1222.06/1222.46	c 1222s |      19 |   650837 |   444482 |    27949     35 |      705 |      576
1224.15/1224.50	c 1224s |      19 |   655022 |   445682 |    27949     35 |      705 |      576
1226.16/1226.57	c 1226s |      19 |   659582 |   447682 |    27949     35 |      705 |      576
1228.15/1228.58	c 1228s |      19 |   661082 |   448882 |    27949     35 |      705 |      576
1230.25/1230.69	c 1230s |      19 |   662410 |   449982 |    27949     35 |      705 |      576
1232.45/1232.88	c 1232s |      19 |   663410 |   450882 |    27949     35 |      705 |      576
1234.65/1235.03	c 1234s |      19 |   664462 |   451782 |    27949     35 |      705 |      576
1236.75/1237.15	c 1236s |      19 |   665641 |   452682 |    27949     35 |      705 |      576
1238.75/1239.19	c 1238s |      19 |   666775 |   453582 |    27949     35 |      705 |      576
1241.05/1241.44	c 1241s |      19 |   668037 |   454582 |    27949     35 |      705 |      576
1243.14/1243.60	c 1243s |      19 |   669157 |   455482 |    27949     35 |      705 |      576
1245.34/1245.73	c 1245s |      19 |   669908 |   456182 |    27949     35 |      705 |      576
1247.54/1247.96	c 1247s |      19 |   670694 |   456882 |    27949     35 |      705 |      576
1249.74/1250.12	c 1249s |      19 |   671533 |   457582 |    27949     35 |      705 |      576
1251.84/1252.26	c 1251s |      19 |   672621 |   458482 |    27949     35 |      705 |      576
1254.13/1254.51	c 1254s |      19 |   673724 |   459382 |    27949     35 |      705 |      576
1256.13/1256.55	c 1256s |      19 |   674583 |   460082 |    27949     36 |      705 |      576
1258.33/1258.78	c 1258s |      19 |   675666 |   460982 |    27949     36 |      705 |      576
1260.63/1261.03	c 1260s |      19 |   676627 |   461782 |    27949     36 |      705 |      576
1262.63/1263.05	c 1262s |      19 |   677326 |   462382 |    27949     36 |      705 |      576
1264.82/1265.25	c 1264s |      19 |   678352 |   463182 |    27949     36 |      705 |      576
1267.12/1267.53	c 1267s |      19 |   679467 |   463982 |    27949     36 |      705 |      576
1269.32/1269.70	c 1269s |      19 |   680463 |   464782 |    27949     36 |      705 |      576
1271.52/1271.91	c 1271s |      19 |   681317 |   465482 |    27949     36 |      705 |      576
1273.53/1273.98	c 1273s |      19 |   682034 |   466082 |    27949     36 |      705 |      576
1275.72/1276.19	c 1275s |      19 |   682748 |   466682 |    27949     36 |      705 |      576
1278.02/1278.49	c 1278s |      19 |   683560 |   467382 |    27949     36 |      705 |      576
1280.32/1280.70	c 1280s |      19 |   684265 |   467982 |    27949     36 |      705 |      576
1282.62/1283.04	c 1282s |      19 |   685122 |   468682 |    27949     36 |      705 |      576
1285.02/1285.40	c 1285s |      19 |   685817 |   469282 |    27949     36 |      705 |      576
1287.12/1287.52	c 1287s |      19 |   686549 |   469882 |    27949     36 |      705 |      576
1289.22/1289.61	c 1289s |      19 |   687300 |   470482 |    27949     36 |      705 |      576
1291.32/1291.72	c 1291s |      19 |   688034 |   471082 |    27949     36 |      705 |      576
1293.61/1294.07	c 1293s |      19 |   688755 |   471682 |    27949     36 |      705 |      576
1296.01/1296.43	c 1296s |      19 |   689433 |   472282 |    27949     36 |      705 |      576
1298.21/1298.64	c 1298s |      19 |   689980 |   472782 |    27949     36 |      705 |      576
1300.61/1301.09	c 1300s |      19 |   690673 |   473382 |    27949     36 |      705 |      576
1302.71/1303.15	c 1302s |      19 |   691245 |   473882 |    27949     36 |      705 |      576
1305.01/1305.40	c 1305s |      19 |   691808 |   474382 |    27949     36 |      705 |      576
1307.30/1307.74	c 1307s |      19 |   692511 |   474982 |    27949     36 |      705 |      576
1309.60/1310.07	c 1309s |      19 |   693010 |   475382 |    27949     37 |      705 |      576
1311.80/1312.30	c 1312s |      19 |   693673 |   475982 |    27949     37 |      705 |      576
1314.00/1314.42	c 1314s |      19 |   694274 |   476482 |    27949     37 |      705 |      576
1316.00/1316.47	c 1316s |      19 |   694980 |   477082 |    27949     37 |      705 |      576
1318.10/1318.57	c 1318s |      19 |   695658 |   477682 |    27949     37 |      705 |      576
1320.50/1320.93	c 1320s |      19 |   696476 |   478382 |    27949     37 |      705 |      576
1322.69/1323.15	c 1322s |      19 |   697040 |   478882 |    27949     37 |      705 |      576
1324.99/1325.43	c 1325s |      19 |   697754 |   479482 |    27949     37 |      705 |      576
1327.09/1327.52	c 1327s |      19 |   698340 |   479982 |    27949     37 |      705 |      576
1329.50/1329.99	c 1329s |      19 |   699012 |   480582 |    27949     37 |      705 |      576
1331.70/1332.11	c 1331s |      19 |   699578 |   481082 |    27949     37 |      705 |      576
1333.78/1334.22	c 1333s |      19 |   700175 |   481582 |    27949     37 |      705 |      576
1336.09/1336.53	c 1336s |      19 |   700877 |   482182 |    27949     37 |      705 |      576
1338.18/1338.65	c 1338s |      19 |   701460 |   482682 |    27949     37 |      705 |      576
1340.38/1340.84	c 1340s |      19 |   702187 |   483282 |    27949     37 |      705 |      576
1342.48/1342.96	c 1342s |      19 |   702734 |   483782 |    27949     37 |      705 |      576
1344.78/1345.26	c 1344s |      19 |   703522 |   484382 |    27949     37 |      705 |      576
1346.88/1347.34	c 1347s |      19 |   704111 |   484882 |    27949     37 |      705 |      576
1348.97/1349.46	c 1349s |      19 |   704666 |   485382 |    27949     37 |      705 |      576
1351.07/1351.53	c 1351s |      19 |   705255 |   485882 |    27949     37 |      705 |      576
1353.47/1353.97	c 1353s |      19 |   705990 |   486482 |    27949     37 |      705 |      576
1355.98/1356.42	c 1356s |      19 |   706522 |   486982 |    27949     37 |      705 |      576
1357.97/1358.45	c 1358s |      19 |   707076 |   487482 |    27949     37 |      705 |      576
1360.28/1360.78	c 1360s |      19 |   707690 |   487982 |    27949     37 |      705 |      576
1362.36/1362.85	c 1362s |      19 |   708305 |   488482 |    27949     37 |      705 |      576
1364.67/1365.19	c 1364s |      19 |   708887 |   488982 |    27949     37 |      705 |      576
1366.97/1367.41	c 1367s |      19 |   709477 |   489482 |    27949     37 |      705 |      576
1368.96/1369.41	c 1369s |      19 |   710062 |   489982 |    27949     37 |      705 |      576
1370.96/1371.44	c 1371s |      19 |   710543 |   490382 |    27949     37 |      705 |      576
1373.15/1373.64	c 1373s |      19 |   710989 |   490782 |    27949     37 |      705 |      576
1375.45/1375.90	c 1375s |      19 |   711472 |   491182 |    27949     38 |      705 |      576
1377.75/1378.24	c 1377s |      19 |   712317 |   491882 |    27949     38 |      705 |      576
1379.85/1380.35	c 1380s |      19 |   713012 |   492482 |    27949     38 |      705 |      576
1382.25/1382.72	c 1382s |      19 |   713705 |   493082 |    27949     38 |      705 |      576
1384.65/1385.11	c 1384s |      19 |   714417 |   493682 |    27949     38 |      705 |      576
1386.85/1387.34	c 1387s |      19 |   715100 |   494282 |    27949     38 |      705 |      576
1389.15/1389.60	c 1389s |      19 |   715679 |   494782 |    27949     38 |      705 |      576
1391.54/1392.03	c 1391s |      19 |   716394 |   495382 |    27949     38 |      705 |      576
1393.94/1394.49	c 1394s |      19 |   717102 |   495982 |    27949     38 |      705 |      576
1396.24/1396.74	c 1396s |      19 |   717657 |   496482 |    27949     38 |      705 |      576
1398.34/1398.81	c 1398s |      19 |   718233 |   496982 |    27949     38 |      705 |      576
1400.44/1400.91	c 1400s |      19 |   718807 |   497482 |    27949     38 |      705 |      576
1402.43/1402.98	c 1402s |      19 |   719403 |   497982 |    27949     38 |      705 |      576
1404.53/1405.07	c 1404s |      19 |   720024 |   498482 |    27949     38 |      705 |      576
1406.93/1407.49	c 1407s |      19 |   720744 |   499082 |    27949     38 |      705 |      576
1409.23/1409.78	c 1409s |      19 |   721296 |   499582 |    27949     38 |      705 |      576
1411.43/1411.92	c 1411s |      19 |   721936 |   500082 |    27949     38 |      705 |      576
1413.43/1413.96	c 1413s |      19 |   722537 |   500582 |    27949     38 |      705 |      576
1415.63/1416.18	c 1415s |      19 |   723127 |   501082 |    27949     38 |      705 |      576
1418.13/1418.66	c 1418s |      19 |   723692 |   501582 |    27949     38 |      705 |      576
1420.63/1421.10	c 1420s |      19 |   724411 |   502182 |    27949     38 |      705 |      576
1422.93/1423.44	c 1423s |      19 |   725122 |   502782 |    27949     38 |      705 |      576
1424.93/1425.46	c 1425s |      19 |   725724 |   503282 |    27949     38 |      705 |      576
1427.33/1427.85	c 1427s |      19 |   726431 |   503882 |    27949     38 |      705 |      576
1429.53/1430.06	c 1429s |      19 |   727101 |   504382 |    27949     38 |      705 |      576
1431.62/1432.14	c 1431s |      19 |   727566 |   504782 |    27949     38 |      705 |      576
1433.62/1434.19	c 1433s |      19 |   728176 |   505282 |    27949     38 |      705 |      576
1436.13/1436.67	c 1436s |      19 |   728745 |   505782 |    27949     38 |      705 |      576
1438.62/1439.17	c 1438s |      19 |   729375 |   506282 |    27949     38 |      705 |      576
1440.72/1441.21	c 1440s |      19 |   730097 |   506682 |    27949     39 |      705 |      576
1442.82/1443.36	c 1443s |      19 |   731032 |   507382 |    27949     39 |      705 |      576
1444.81/1445.36	c 1445s |      19 |   731769 |   507982 |    27949     39 |      705 |      576
1447.01/1447.53	c 1447s |      19 |   732512 |   508582 |    27949     39 |      705 |      576
1449.11/1449.63	c 1449s |      19 |   733229 |   509182 |    27949     39 |      705 |      576
1451.41/1451.91	c 1451s |      19 |   733948 |   509782 |    27949     39 |      705 |      576
1453.41/1453.93	c 1453s |      19 |   734588 |   510382 |    27949     39 |      705 |      576
1455.71/1456.25	c 1455s |      19 |   735294 |   510982 |    27949     39 |      705 |      576
1458.12/1458.61	c 1458s |      19 |   736107 |   511682 |    27949     39 |      705 |      576
1460.42/1460.94	c 1460s |      19 |   736847 |   512282 |    27949     39 |      705 |      576
1462.51/1463.08	c 1462s |      19 |   737583 |   512882 |    27949     39 |      705 |      576
1464.90/1465.40	c 1465s |      19 |   738290 |   513482 |    27949     39 |      705 |      576
1466.91/1467.44	c 1467s |      19 |   738999 |   514082 |    27949     39 |      705 |      576
1468.90/1469.45	c 1469s |      19 |   739732 |   514682 |    27949     39 |      705 |      576
1470.90/1471.49	c 1471s |      19 |   740309 |   515182 |    27949     39 |      705 |      576
1472.99/1473.52	c 1473s |      19 |   740905 |   515682 |    27949     39 |      705 |      576
1475.19/1475.79	c 1475s |      19 |   741481 |   516182 |    27949     39 |      705 |      576
1477.49/1478.04	c 1477s |      19 |   742043 |   516682 |    27949     39 |      705 |      576
1479.99/1480.51	c 1480s |      19 |   742734 |   517282 |    27949     39 |      705 |      576
1482.29/1482.87	c 1482s |      19 |   743406 |   517882 |    27949     39 |      705 |      576
1484.39/1484.93	c 1484s |      19 |   743999 |   518382 |    27949     39 |      705 |      576
1486.49/1487.08	c 1486s |      19 |   744586 |   518882 |    27949     39 |      705 |      576
1488.68/1489.20	c 1488s |      19 |   745169 |   519382 |    27949     39 |      705 |      576
1490.98/1491.55	c 1491s |      19 |   745738 |   519882 |    27949     39 |      705 |      576
1493.38/1493.96	c 1493s |      19 |   746318 |   520382 |    27949     39 |      705 |      576
1495.48/1496.06	c 1495s |      19 |   746795 |   520782 |    27949     39 |      705 |      576
1497.68/1498.30	c 1498s |      19 |   747266 |   521182 |    27949     39 |      705 |      576
1500.08/1500.61	c 1500s |      19 |   747826 |   521682 |    27949     39 |      705 |      576
1502.47/1503.04	c 1502s |      19 |   748301 |   522082 |    27949     40 |      705 |      576
1504.77/1505.31	c 1505s |      19 |   748961 |   522682 |    27949     40 |      705 |      576
1506.77/1507.35	c 1507s |      19 |   749488 |   523182 |    27949     40 |      705 |      576
1508.87/1509.47	c 1509s |      19 |   750019 |   523682 |    27949     40 |      705 |      576
1510.88/1511.49	c 1511s |      19 |   750549 |   524182 |    27949     40 |      705 |      576
1512.97/1513.53	c 1513s |      19 |   751214 |   524782 |    27949     40 |      705 |      576
1514.97/1515.54	c 1515s |      19 |   751787 |   525282 |    27949     40 |      705 |      576
1516.97/1517.54	c 1517s |      19 |   752339 |   525782 |    27949     40 |      705 |      576
1519.37/1519.90	c 1519s |      19 |   753005 |   526382 |    27949     40 |      705 |      576
1521.37/1521.96	c 1521s |      19 |   753559 |   526882 |    27949     40 |      705 |      576
1523.37/1523.99	c 1523s |      19 |   754106 |   527382 |    27949     40 |      705 |      576
1525.67/1526.22	c 1525s |      19 |   754653 |   527882 |    27949     40 |      705 |      576
1527.97/1528.52	c 1528s |      19 |   755209 |   528382 |    27949     40 |      705 |      576
1529.97/1530.53	c 1530s |      19 |   755630 |   528782 |    27949     40 |      705 |      576
1531.97/1532.59	c 1532s |      19 |   756066 |   529182 |    27949     40 |      705 |      576
1534.37/1534.97	c 1534s |      19 |   756622 |   529682 |    27949     40 |      705 |      576
1536.87/1537.40	c 1537s |      19 |   757168 |   530182 |    27949     40 |      705 |      576
1539.27/1539.82	c 1539s |      19 |   757702 |   530682 |    27949     40 |      705 |      576
1541.36/1541.97	c 1541s |      19 |   758128 |   531082 |    27949     40 |      705 |      576
1543.36/1543.97	c 1543s |      19 |   758560 |   531482 |    27949     40 |      705 |      576
1545.37/1545.97	c 1545s |      19 |   759000 |   531882 |    27949     40 |      705 |      576
1547.77/1548.31	c 1548s |      19 |   759418 |   532282 |    27949     40 |      705 |      576
1549.87/1550.42	c 1550s |      19 |   759863 |   532682 |    27949     40 |      705 |      576
1551.87/1552.49	c 1552s |      19 |   760300 |   533082 |    27949     40 |      705 |      576
1554.27/1554.82	c 1554s |      19 |   760851 |   533582 |    27949     40 |      705 |      576
1556.67/1557.21	c 1556s |      19 |   761393 |   534082 |    27949     40 |      705 |      576
1559.07/1559.64	c 1559s |      19 |   761959 |   534582 |    27949     40 |      705 |      576
1561.27/1561.83	c 1561s |      19 |   762408 |   534982 |    27949     40 |      705 |      576
1563.37/1563.95	c 1563s |      19 |   763011 |   535482 |    27949     40 |      705 |      576
1565.47/1566.09	c 1565s |      19 |   763437 |   535882 |    27949     40 |      705 |      576
1567.77/1568.32	c 1568s |      19 |   763892 |   536282 |    27949     40 |      705 |      576
1569.97/1570.55	c 1570s |      19 |   764313 |   536682 |    27949     40 |      705 |      576
1572.48/1573.01	c 1572s |      19 |   764860 |   537182 |    27949     40 |      705 |      576
1575.37/1575.92	c 1575s |      19 |   765400 |   537682 |    27949     41 |      705 |      576
1577.67/1578.25	c 1577s |      19 |   766058 |   538282 |    27949     41 |      705 |      576
1579.77/1580.30	c 1580s |      19 |   766608 |   538782 |    27949     41 |      705 |      576
1581.86/1582.43	c 1582s |      19 |   767153 |   539282 |    27949     41 |      705 |      576
1584.16/1584.76	c 1584s |      19 |   767816 |   539882 |    27949     41 |      705 |      576
1586.46/1587.00	c 1586s |      19 |   768604 |   540482 |    27949     41 |      705 |      576
1588.66/1589.23	c 1588s |      19 |   769656 |   541282 |    27949     41 |      705 |      576
1590.76/1591.37	c 1591s |      19 |   770661 |   542082 |    27949     41 |      705 |      576
1593.06/1593.62	c 1593s |      19 |   771676 |   542882 |    27949     41 |      705 |      576
1595.06/1595.63	c 1595s |      19 |   772505 |   543582 |    27949     41 |      705 |      576
1597.16/1597.74	c 1597s |      19 |   773308 |   544282 |    27949     41 |      705 |      576
1599.46/1600.00	c 1599s |      19 |   773961 |   544882 |    27949     41 |      705 |      576
1601.66/1602.29	c 1602s |      19 |   774602 |   545482 |    27949     41 |      705 |      576
1603.96/1604.52	c 1604s |      19 |   775265 |   546082 |    27949     41 |      705 |      576
1606.06/1606.67	c 1606s |      19 |   775913 |   546682 |    27949     41 |      705 |      576
1608.26/1608.85	c 1608s |      19 |   776465 |   547182 |    27949     41 |      705 |      576
1610.26/1610.87	c 1610s |      19 |   777032 |   547682 |    27949     41 |      705 |      576
1612.46/1613.00	c 1612s |      19 |   777573 |   548182 |    27949     41 |      705 |      576
1614.46/1615.08	c 1614s |      19 |   778265 |   548782 |    27949     41 |      705 |      576
1616.96/1617.52	c 1617s |      19 |   778925 |   549382 |    27949     41 |      705 |      576
1619.06/1619.65	c 1619s |      19 |   779494 |   549882 |    27949     41 |      705 |      576
1621.06/1621.70	c 1621s |      19 |   780200 |   550482 |    27949     41 |      705 |      576
1623.26/1623.85	c 1623s |      19 |   780952 |   551082 |    27949     41 |      705 |      576
1625.36/1625.95	c 1625s |      19 |   781527 |   551582 |    27949     41 |      705 |      576
1627.66/1628.27	c 1627s |      19 |   782376 |   552282 |    27949     41 |      705 |      576
1629.76/1630.35	c 1630s |      19 |   782947 |   552782 |    27949     41 |      705 |      576
1631.96/1632.57	c 1632s |      19 |   783468 |   553182 |    27949     42 |      705 |      576
1634.06/1634.65	c 1634s |      19 |   784281 |   553882 |    27949     42 |      705 |      576
1636.05/1636.67	c 1636s |      19 |   784989 |   554482 |    27949     42 |      705 |      576
1638.56/1639.13	c 1638s |      19 |   785790 |   555182 |    27949     42 |      705 |      576
1640.85/1641.41	c 1641s |      19 |   786454 |   555782 |    27949     42 |      705 |      576
1642.86/1643.41	c 1643s |      19 |   787005 |   556282 |    27949     42 |      705 |      576
1644.85/1645.46	c 1645s |      19 |   787731 |   556882 |    27949     42 |      705 |      576
1646.95/1647.50	c 1647s |      19 |   788476 |   557482 |    27949     42 |      705 |      576
1649.05/1649.63	c 1649s |      19 |   789051 |   557982 |    27949     42 |      705 |      576
1651.25/1651.87	c 1651s |      19 |   789595 |   558482 |    27949     42 |      705 |      576
1653.35/1653.94	c 1653s |      19 |   790190 |   558982 |    27949     42 |      705 |      576
1655.45/1656.05	c 1655s |      19 |   790753 |   559482 |    27949     42 |      705 |      576
1657.85/1658.43	c 1658s |      19 |   791306 |   559982 |    27949     42 |      705 |      576
1659.95/1660.50	c 1660s |      19 |   791889 |   560482 |    27949     42 |      705 |      576
1661.95/1662.53	c 1662s |      19 |   792483 |   560982 |    27949     42 |      705 |      576
1664.05/1664.69	c 1664s |      19 |   792897 |   561382 |    27949     42 |      705 |      576
1666.45/1667.03	c 1666s |      19 |   793436 |   561882 |    27949     42 |      705 |      576
1668.65/1669.23	c 1668s |      19 |   793853 |   562282 |    27949     42 |      705 |      576
1670.95/1671.54	c 1671s |      19 |   794383 |   562782 |    27949     42 |      705 |      576
1673.35/1673.91	c 1673s |      19 |   795065 |   563382 |    27949     42 |      705 |      576
1675.55/1676.17	c 1675s |      19 |   795786 |   563982 |    27949     42 |      705 |      576
1677.75/1678.39	c 1678s |      19 |   796367 |   564482 |    27949     42 |      705 |      576
1680.26/1680.81	c 1680s |      19 |   796953 |   564982 |    27949     42 |      705 |      576
1682.46/1683.07	c 1682s |      19 |   797516 |   565482 |    27949     42 |      705 |      576
1684.76/1685.34	c 1685s |      19 |   798093 |   565982 |    27949     42 |      705 |      576
1686.96/1687.56	c 1687s |      19 |   798664 |   566482 |    27949     42 |      705 |      576
1689.45/1690.01	c 1689s |      19 |   799344 |   567082 |    27949     42 |      705 |      576
1691.85/1692.44	c 1692s |      19 |   799891 |   567582 |    27949     42 |      705 |      576
1694.35/1694.96	c 1694s |      19 |   800430 |   568082 |    27949     42 |      705 |      576
1696.75/1697.34	c 1697s |      19 |   800858 |   568482 |    27949     42 |      705 |      576
1698.75/1699.36	c 1699s |      19 |   801190 |   568782 |    27949     42 |      705 |      576
1701.05/1701.67	c 1701s |      19 |   801657 |   569182 |    27949     43 |      705 |      576
1703.25/1703.83	c 1703s |      19 |   802340 |   569782 |    27949     43 |      705 |      576
1705.44/1706.10	c 1705s |      19 |   803103 |   570482 |    27949     43 |      705 |      576
1707.64/1708.26	c 1707s |      19 |   803793 |   571082 |    27949     43 |      705 |      576
1709.74/1710.30	c 1710s |      19 |   804489 |   571682 |    27949     43 |      705 |      576
1711.94/1712.53	c 1712s |      19 |   805140 |   572282 |    27949     43 |      705 |      576
1714.45/1715.05	c 1714s |      19 |   805773 |   572882 |    27949     43 |      705 |      576
1716.55/1717.15	c 1716s |      19 |   806352 |   573382 |    27949     43 |      705 |      576
1718.75/1719.36	c 1719s |      19 |   807021 |   573982 |    27949     43 |      705 |      576
1720.84/1721.42	c 1721s |      19 |   807458 |   574382 |    27949     43 |      705 |      576
1722.94/1723.58	c 1723s |      19 |   808020 |   574882 |    27949     43 |      705 |      576
1724.94/1725.59	c 1725s |      19 |   808574 |   575382 |    27949     43 |      705 |      576
1727.14/1727.78	c 1727s |      19 |   809127 |   575882 |    27949     43 |      705 |      576
1729.24/1729.85	c 1729s |      19 |   809677 |   576382 |    27949     43 |      705 |      576
1731.24/1731.89	c 1731s |      19 |   810227 |   576882 |    27949     43 |      705 |      576
1733.34/1733.92	c 1733s |      19 |   810744 |   577382 |    27949     43 |      705 |      576
1735.35/1735.98	c 1735s |      19 |   811478 |   577982 |    27949     43 |      705 |      576
1737.74/1738.34	c 1738s |      19 |   812182 |   578582 |    27949     43 |      705 |      576
1739.94/1740.58	c 1740s |      19 |   812880 |   579182 |    27949     43 |      705 |      576
1742.24/1742.85	c 1742s |      19 |   813438 |   579682 |    27949     43 |      705 |      576
1744.34/1744.95	c 1744s |      19 |   814045 |   580182 |    27949     43 |      705 |      576
1746.74/1747.36	c 1747s |      19 |   814637 |   580682 |    27949     43 |      705 |      576
1749.14/1749.72	c 1749s |      19 |   815213 |   581182 |    27949     43 |      705 |      576
1751.24/1751.85	c 1751s |      19 |   815644 |   581582 |    27949     43 |      705 |      576
1753.54/1754.17	c 1753s |      19 |   816347 |   582182 |    27949     43 |      705 |      576
1755.64/1756.25	c 1755s |      19 |   816939 |   582682 |    27949     43 |      705 |      576
1757.84/1758.45	c 1758s |      19 |   817642 |   583282 |    27949     43 |      705 |      576
1759.94/1760.53	c 1760s |      19 |   818238 |   583782 |    27949     43 |      705 |      576
1762.04/1762.64	c 1762s |      19 |   818827 |   584282 |    27949     43 |      705 |      576
1764.23/1764.85	c 1764s |      19 |   819421 |   584782 |    27949     44 |      705 |      576
1766.43/1767.00	c 1766s |      19 |   820238 |   585482 |    27949     44 |      705 |      576
1768.73/1769.31	c 1769s |      19 |   821290 |   586382 |    27949     44 |      705 |      576
1771.03/1771.63	c 1771s |      19 |   822124 |   587082 |    27949     44 |      705 |      576
1773.13/1773.76	c 1773s |      19 |   822773 |   587682 |    27949     44 |      705 |      576
1775.13/1775.79	c 1775s |      19 |   823442 |   588282 |    27949     44 |      705 |      576
1777.53/1778.14	c 1777s |      19 |   824145 |   588882 |    27949     44 |      705 |      576
1779.73/1780.36	c 1780s |      19 |   824834 |   589482 |    27949     44 |      705 |      576
1782.13/1782.75	c 1782s |      19 |   825492 |   590082 |    27949     44 |      705 |      576
1784.43/1785.04	c 1784s |      19 |   826189 |   590682 |    27949     44 |      705 |      576
1786.53/1787.19	c 1786s |      19 |   826773 |   591182 |    27949     44 |      705 |      576
1788.63/1789.27	c 1788s |      19 |   827514 |   591782 |    27949     44 |      705 |      576
1790.93/1791.57	c 1791s |      19 |   828242 |   592382 |    27949     44 |      705 |      576
1793.03/1793.67	c 1793s |      19 |   828812 |   592882 |    27949     44 |      705 |      576
1795.13/1795.79	c 1795s |      19 |   829397 |   593382 |    27949     44 |      705 |      576
1797.33/1797.98	c 1797s |      19 |   829941 |   593882 |    27949     44 |      705 |      576
1799.43/1800.05	c 1799s |      19 |   830496 |   594382 |    27949     44 |      705 |      576

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

pid=24618
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: 1.11 1.56 1.91 5/175 24625
/proc/meminfo: memFree=29867176/32872528 swapFree=1581260/1720252
[pid=24624] ppid=24618 vsize=763324 CPUtime=0 cores=1,3,5,7
/proc/24624/stat : 24624 (toysat) R 24618 24624 24580 0 -1 4202496 2854 0 0 0 0 0 0 0 20 0 4 0 30788403 781643776 2704 33554432000 4194304 16246674 140735587425024 140735587424448 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24624/statm: 191599 2714 441 2943 0 188493 0
[pid=24624/tid=24626] ppid=24618 vsize=787900 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24626/stat : 24626 (toysat) S 24618 24624 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30788403 806809600 2801 33554432000 4194304 16246674 140735587425024 139829070245104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24624/tid=24627] ppid=24618 vsize=791996 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24627/stat : 24627 (toysat) S 24618 24624 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30788403 811003904 2818 33554432000 4194304 16246674 140735587425024 139829059755248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24624/tid=24628] ppid=24618 vsize=797116 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24628/stat : 24628 (toysat) S 24618 24624 24580 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30788403 816246784 2834 33554432000 4194304 16246674 140735587425024 139829049281712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100211 s]
/proc/loadavg: 1.11 1.56 1.91 5/175 24625
/proc/meminfo: memFree=29867176/32872528 swapFree=1581260/1720252
[pid=24624] ppid=24618 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/24624/stat : 24624 (toysat) R 24618 24624 24580 0 -1 4202496 28469 0 0 0 6 3 0 0 20 0 4 0 30788403 1249447936 28256 33554432000 4194304 16246674 140735587425024 140735587424336 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24624/statm: 305041 28256 801 2943 0 301935 0
[pid=24624/tid=24626] ppid=24618 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24626/stat : 24626 (toysat) S 24618 24624 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30788403 1249447936 28256 33554432000 4194304 16246674 140735587425024 139829070245104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24624/tid=24627] ppid=24618 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24627/stat : 24627 (toysat) S 24618 24624 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30788403 1249447936 28256 33554432000 4194304 16246674 140735587425024 139829059755248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24624/tid=24628] ppid=24618 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24628/stat : 24628 (toysat) S 24618 24624 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30788403 1249447936 28256 33554432000 4194304 16246674 140735587425024 139829049281712 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.200546 s]
/proc/loadavg: 1.11 1.56 1.91 5/175 24625
/proc/meminfo: memFree=29867176/32872528 swapFree=1581260/1720252
[pid=24624] ppid=24618 vsize=1301060 CPUtime=0.19 cores=1,3,5,7
/proc/24624/stat : 24624 (toysat) R 24618 24624 24580 0 -1 4202496 48676 0 0 0 13 6 0 0 20 0 4 0 30788403 1332285440 48463 33554432000 4194304 16246674 140735587425024 140735587424336 12457745 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24624/statm: 325265 48463 842 2943 0 322159 0
[pid=24624/tid=24626] ppid=24618 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24626/stat : 24626 (toysat) S 24618 24624 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30788403 1332285440 48463 33554432000 4194304 16246674 140735587425024 139829070245104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24624/tid=24627] ppid=24618 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24627/stat : 24627 (toysat) S 24618 24624 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30788403 1332285440 48463 33554432000 4194304 16246674 140735587425024 139829059755248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24624/tid=24628] ppid=24618 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24628/stat : 24628 (toysat) S 24618 24624 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30788403 1332285440 48463 33554432000 4194304 16246674 140735587425024 139829049281712 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.300554 s]
/proc/loadavg: 1.11 1.56 1.91 5/175 24625
/proc/meminfo: memFree=29867176/32872528 swapFree=1581260/1720252
[pid=24624] ppid=24618 vsize=1301060 CPUtime=0.29 cores=1,3,5,7
/proc/24624/stat : 24624 (toysat) R 24618 24624 24580 0 -1 4202496 54607 0 0 0 23 6 0 0 20 0 4 0 30788403 1332285440 54394 33554432000 4194304 16246674 140735587425024 140735587424336 5711820 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24624/statm: 325265 54400 882 2943 0 322159 0
[pid=24624/tid=24626] ppid=24618 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24626/stat : 24626 (toysat) S 24618 24624 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30788403 1332285440 54404 33554432000 4194304 16246674 140735587425024 139829070245104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24624/tid=24627] ppid=24618 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24627/stat : 24627 (toysat) S 24618 24624 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30788403 1332285440 54409 33554432000 4194304 16246674 140735587425024 139829059755248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24624/tid=24628] ppid=24618 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24628/stat : 24628 (toysat) S 24618 24624 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30788403 1332285440 54412 33554432000 4194304 16246674 140735587425024 139829049281712 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.700435 s]
/proc/loadavg: 1.11 1.56 1.91 5/175 24625
/proc/meminfo: memFree=29867176/32872528 swapFree=1581260/1720252
[pid=24624] ppid=24618 vsize=1301060 CPUtime=0.69 cores=1,3,5,7
/proc/24624/stat : 24624 (toysat) R 24618 24624 24580 0 -1 4202496 102348 0 0 0 56 13 0 0 20 0 4 0 30788403 1332285440 102135 33554432000 4194304 16246674 140735587425024 140735587406912 5675010 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24624/statm: 325265 102139 882 2943 0 322159 0
[pid=24624/tid=24626] ppid=24618 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24626/stat : 24626 (toysat) S 24618 24624 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30788403 1332285440 102143 33554432000 4194304 16246674 140735587425024 139829070245104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24624/tid=24627] ppid=24618 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24627/stat : 24627 (toysat) S 24618 24624 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30788403 1332285440 102147 33554432000 4194304 16246674 140735587425024 139829059755248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24624/tid=24628] ppid=24618 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24628/stat : 24628 (toysat) S 24618 24624 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30788403 1332285440 102151 33554432000 4194304 16246674 140735587425024 139829049281712 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.50048 s]
/proc/loadavg: 1.11 1.56 1.91 5/183 24633
/proc/meminfo: memFree=28652848/32872528 swapFree=1581260/1720252
[pid=24624] ppid=24618 vsize=1301060 CPUtime=1.48 cores=1,3,5,7
/proc/24624/stat : 24624 (toysat) R 24618 24624 24580 0 -1 4202496 206006 0 0 0 121 27 0 0 20 0 4 0 30788403 1332285440 205793 33554432000 4194304 16246674 140735587425024 140735587406912 5721708 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24624/statm: 325265 205800 882 2943 0 322159 0
[pid=24624/tid=24626] ppid=24618 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24626/stat : 24626 (toysat) S 24618 24624 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30788403 1332285440 205807 33554432000 4194304 16246674 140735587425024 139829070245104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24624/tid=24627] ppid=24618 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24627/stat : 24627 (toysat) S 24618 24624 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30788403 1332285440 205814 33554432000 4194304 16246674 140735587425024 139829059755248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24624/tid=24628] ppid=24618 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24628/stat : 24628 (toysat) S 24618 24624 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30788403 1332285440 205818 33554432000 4194304 16246674 140735587425024 139829049281712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1301060

[startup+3.10047 s]
/proc/loadavg: 1.11 1.56 1.91 5/183 24633
/proc/meminfo: memFree=27713300/32872528 swapFree=1581260/1720252
[pid=24624] ppid=24618 vsize=1313348 CPUtime=3.09 cores=1,3,5,7
/proc/24624/stat : 24624 (toysat) R 24618 24624 24580 0 -1 4202496 269357 0 0 0 273 36 0 0 20 0 4 0 30788403 1344868352 269144 33554432000 4194304 16246674 140735587425024 140735587406912 5717604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24624/statm: 328337 269144 889 2943 0 325231 0
[pid=24624/tid=24626] ppid=24618 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24626/stat : 24626 (toysat) S 24618 24624 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30788403 1344868352 269144 33554432000 4194304 16246674 140735587425024 139829070245104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24624/tid=24627] ppid=24618 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24627/stat : 24627 (toysat) S 24618 24624 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30788403 1344868352 269144 33554432000 4194304 16246674 140735587425024 139829059755248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24624/tid=24628] ppid=24618 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24628/stat : 24628 (toysat) S 24618 24624 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30788403 1344868352 269144 33554432000 4194304 16246674 140735587425024 139829049281712 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.30044 s]
/proc/loadavg: 1.18 1.56 1.91 4/183 24633
/proc/meminfo: memFree=27712584/32872528 swapFree=1581260/1720252
[pid=24624] ppid=24618 vsize=1313348 CPUtime=6.29 cores=1,3,5,7
/proc/24624/stat : 24624 (toysat) R 24618 24624 24580 0 -1 4202496 269526 0 0 0 593 36 0 0 20 0 4 0 30788403 1344868352 269313 33554432000 4194304 16246674 140735587425024 140735587406912 13907028 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24624/statm: 328337 269313 889 2943 0 325231 0
[pid=24624/tid=24626] ppid=24618 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24626/stat : 24626 (toysat) S 24618 24624 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30788403 1344868352 269313 33554432000 4194304 16246674 140735587425024 139829070245104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24624/tid=24627] ppid=24618 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24627/stat : 24627 (toysat) S 24618 24624 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30788403 1344868352 269313 33554432000 4194304 16246674 140735587425024 139829059755248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24624/tid=24628] ppid=24618 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24628/stat : 24628 (toysat) S 24618 24624 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30788403 1344868352 269313 33554432000 4194304 16246674 140735587425024 139829049281712 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: 1.25 1.57 1.91 4/183 24633
/proc/meminfo: memFree=27713004/32872528 swapFree=1581260/1720252
[pid=24624] ppid=24618 vsize=1313348 CPUtime=12.69 cores=1,3,5,7
/proc/24624/stat : 24624 (toysat) R 24618 24624 24580 0 -1 4202496 269528 0 0 0 1233 36 0 0 20 0 4 0 30788403 1344868352 269315 33554432000 4194304 16246674 140735587425024 140735587406912 13808416 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24624/statm: 328337 269315 891 2943 0 325231 0
[pid=24624/tid=24626] ppid=24618 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24626/stat : 24626 (toysat) S 24618 24624 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30788403 1344868352 269315 33554432000 4194304 16246674 140735587425024 139829070245104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24624/tid=24627] ppid=24618 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24627/stat : 24627 (toysat) S 24618 24624 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30788403 1344868352 269315 33554432000 4194304 16246674 140735587425024 139829059755248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24624/tid=24628] ppid=24618 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24628/stat : 24628 (toysat) S 24618 24624 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30788403 1344868352 269315 33554432000 4194304 16246674 140735587425024 139829049281712 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: 1.56 1.62 1.92 5/183 24633
/proc/meminfo: memFree=27714808/32872528 swapFree=1581260/1720252
[pid=24624] ppid=24618 vsize=1313348 CPUtime=25.48 cores=1,3,5,7
/proc/24624/stat : 24624 (toysat) R 24618 24624 24580 0 -1 4202496 269529 0 0 0 2512 36 0 0 20 0 4 0 30788403 1344868352 269316 33554432000 4194304 16246674 140735587425024 140735587406912 4220880 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24624/statm: 328337 269316 892 2943 0 325231 0
[pid=24624/tid=24626] ppid=24618 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24626/stat : 24626 (toysat) S 24618 24624 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30788403 1344868352 269316 33554432000 4194304 16246674 140735587425024 139829070245104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24624/tid=24627] ppid=24618 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24627/stat : 24627 (toysat) S 24618 24624 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30788403 1344868352 269316 33554432000 4194304 16246674 140735587425024 139829059755248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24624/tid=24628] ppid=24618 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24628/stat : 24628 (toysat) S 24618 24624 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30788403 1344868352 269316 33554432000 4194304 16246674 140735587425024 139829049281712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1313348

[startup+51.1006 s]
/proc/loadavg: 1.77 1.67 1.93 4/183 24633
/proc/meminfo: memFree=27714932/32872528 swapFree=1581260/1720252
[pid=24624] ppid=24618 vsize=1313348 CPUtime=51.08 cores=1,3,5,7
/proc/24624/stat : 24624 (toysat) R 24618 24624 24580 0 -1 4202496 269529 0 0 0 5072 36 0 0 20 0 4 0 30788403 1344868352 269316 33554432000 4194304 16246674 140735587425024 140735587406912 6010147 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24624/statm: 328337 269316 892 2943 0 325231 0
[pid=24624/tid=24626] ppid=24618 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24626/stat : 24626 (toysat) S 24618 24624 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30788403 1344868352 269316 33554432000 4194304 16246674 140735587425024 139829070245104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24624/tid=24627] ppid=24618 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24627/stat : 24627 (toysat) S 24618 24624 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30788403 1344868352 269316 33554432000 4194304 16246674 140735587425024 139829059755248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24624/tid=24628] ppid=24618 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24628/stat : 24628 (toysat) S 24618 24624 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30788403 1344868352 269316 33554432000 4194304 16246674 140735587425024 139829049281712 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.301 s]
/proc/loadavg: 2.14 1.78 1.95 4/183 24634
/proc/meminfo: memFree=27701044/32872528 swapFree=1581260/1720252
[pid=24624] ppid=24618 vsize=1322564 CPUtime=102.28 cores=1,3,5,7
/proc/24624/stat : 24624 (toysat) R 24618 24624 24580 0 -1 4202496 271623 0 0 0 10191 37 0 0 20 0 4 0 30788403 1354305536 271410 33554432000 4194304 16246674 140735587425024 140735587406912 5600384 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24624/statm: 330641 271410 892 2943 0 327535 0
[pid=24624/tid=24626] ppid=24618 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24626/stat : 24626 (toysat) S 24618 24624 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30788403 1354305536 271410 33554432000 4194304 16246674 140735587425024 139829070245104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24624/tid=24627] ppid=24618 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24627/stat : 24627 (toysat) S 24618 24624 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30788403 1354305536 271410 33554432000 4194304 16246674 140735587425024 139829059755248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24624/tid=24628] ppid=24618 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24628/stat : 24628 (toysat) S 24618 24624 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30788403 1354305536 271410 33554432000 4194304 16246674 140735587425024 139829049281712 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) 1322564


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

/proc/24624/task/24628/stat : 24628 (toysat) S 24618 24624 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30788403 1367937024 275064 33554432000 4194304 16246674 140735587425024 139829049281712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 1335876

[startup+1302.3 s]
/proc/loadavg: 2.37 2.37 2.22 4/183 24698
/proc/meminfo: memFree=27663768/32872528 swapFree=1581260/1720252
[pid=24624] ppid=24618 vsize=1335876 CPUtime=1301.91 cores=1,3,5,7
/proc/24624/stat : 24624 (toysat) R 24618 24624 24580 0 -1 4202496 275341 0 0 0 130144 47 0 0 20 0 4 0 30788403 1367937024 275064 33554432000 4194304 16246674 140735587425024 140735587406912 13950188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24624/statm: 333969 275064 892 2943 0 330863 0
[pid=24624/tid=24626] ppid=24618 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24626/stat : 24626 (toysat) S 24618 24624 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30788403 1367937024 275064 33554432000 4194304 16246674 140735587425024 139829070245104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24624/tid=24627] ppid=24618 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24627/stat : 24627 (toysat) S 24618 24624 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30788403 1367937024 275064 33554432000 4194304 16246674 140735587425024 139829059755248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24624/tid=24628] ppid=24618 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24628/stat : 24628 (toysat) S 24618 24624 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30788403 1367937024 275064 33554432000 4194304 16246674 140735587425024 139829049281712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1335876

[startup+1362.3 s]
/proc/loadavg: 2.31 2.36 2.22 4/183 24699
/proc/meminfo: memFree=27663956/32872528 swapFree=1581260/1720252
[pid=24624] ppid=24618 vsize=1335876 CPUtime=1361.87 cores=1,3,5,7
/proc/24624/stat : 24624 (toysat) R 24618 24624 24580 0 -1 4202496 275387 0 0 0 136140 47 0 0 20 0 4 0 30788403 1367937024 275064 33554432000 4194304 16246674 140735587425024 140735587406912 5546177 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24624/statm: 333969 275064 892 2943 0 330863 0
[pid=24624/tid=24626] ppid=24618 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24626/stat : 24626 (toysat) S 24618 24624 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30788403 1367937024 275064 33554432000 4194304 16246674 140735587425024 139829070245104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24624/tid=24627] ppid=24618 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24627/stat : 24627 (toysat) S 24618 24624 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30788403 1367937024 275064 33554432000 4194304 16246674 140735587425024 139829059755248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24624/tid=24628] ppid=24618 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24628/stat : 24628 (toysat) S 24618 24624 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30788403 1367937024 275064 33554432000 4194304 16246674 140735587425024 139829049281712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1335876

[startup+1422.3 s]
/proc/loadavg: 2.28 2.33 2.22 4/183 24700
/proc/meminfo: memFree=27663620/32872528 swapFree=1581260/1720252
[pid=24624] ppid=24618 vsize=1335876 CPUtime=1421.84 cores=1,3,5,7
/proc/24624/stat : 24624 (toysat) R 24618 24624 24580 0 -1 4202496 275433 0 0 0 142136 48 0 0 20 0 4 0 30788403 1367937024 275064 33554432000 4194304 16246674 140735587425024 140735587406912 5711688 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24624/statm: 333969 275064 892 2943 0 330863 0
[pid=24624/tid=24626] ppid=24618 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24626/stat : 24626 (toysat) S 24618 24624 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30788403 1367937024 275064 33554432000 4194304 16246674 140735587425024 139829070245104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24624/tid=24627] ppid=24618 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24627/stat : 24627 (toysat) S 24618 24624 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30788403 1367937024 275064 33554432000 4194304 16246674 140735587425024 139829059755248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24624/tid=24628] ppid=24618 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24628/stat : 24628 (toysat) S 24618 24624 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30788403 1367937024 275064 33554432000 4194304 16246674 140735587425024 139829049281712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1335876

[startup+1482.3 s]
/proc/loadavg: 2.32 2.33 2.22 4/183 24702
/proc/meminfo: memFree=27663444/32872528 swapFree=1581260/1720252
[pid=24624] ppid=24618 vsize=1335876 CPUtime=1481.79 cores=1,3,5,7
/proc/24624/stat : 24624 (toysat) R 24618 24624 24580 0 -1 4202496 275481 0 0 0 148131 48 0 0 20 0 4 0 30788403 1367937024 275064 33554432000 4194304 16246674 140735587425024 140735587406912 12415781 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24624/statm: 333969 275064 892 2943 0 330863 0
[pid=24624/tid=24626] ppid=24618 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24626/stat : 24626 (toysat) S 24618 24624 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30788403 1367937024 275064 33554432000 4194304 16246674 140735587425024 139829070245104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24624/tid=24627] ppid=24618 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24627/stat : 24627 (toysat) S 24618 24624 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30788403 1367937024 275064 33554432000 4194304 16246674 140735587425024 139829059755248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24624/tid=24628] ppid=24618 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24628/stat : 24628 (toysat) S 24618 24624 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30788403 1367937024 275064 33554432000 4194304 16246674 140735587425024 139829049281712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 1335876

[startup+1542.31 s]
/proc/loadavg: 2.17 2.28 2.21 4/184 24706
/proc/meminfo: memFree=27661580/32872528 swapFree=1581260/1720252
[pid=24624] ppid=24618 vsize=1335876 CPUtime=1541.77 cores=1,3,5,7
/proc/24624/stat : 24624 (toysat) R 24618 24624 24580 0 -1 4202496 275500 0 0 0 154129 48 0 0 20 0 4 0 30788403 1367937024 275064 33554432000 4194304 16246674 140735587425024 140735587406912 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24624/statm: 333969 275064 892 2943 0 330863 0
[pid=24624/tid=24626] ppid=24618 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24626/stat : 24626 (toysat) S 24618 24624 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30788403 1367937024 275064 33554432000 4194304 16246674 140735587425024 139829070245104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24624/tid=24627] ppid=24618 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24627/stat : 24627 (toysat) S 24618 24624 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30788403 1367937024 275064 33554432000 4194304 16246674 140735587425024 139829059755248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24624/tid=24628] ppid=24618 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24628/stat : 24628 (toysat) S 24618 24624 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30788403 1367937024 275064 33554432000 4194304 16246674 140735587425024 139829049281712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 1335876

[startup+1602.3 s]
/proc/loadavg: 2.14 2.26 2.21 4/183 24707
/proc/meminfo: memFree=27661608/32872528 swapFree=1581260/1720252
[pid=24624] ppid=24618 vsize=1335876 CPUtime=1601.76 cores=1,3,5,7
/proc/24624/stat : 24624 (toysat) R 24618 24624 24580 0 -1 4202496 275500 0 0 0 160127 49 0 0 20 0 4 0 30788403 1367937024 275064 33554432000 4194304 16246674 140735587425024 140735587406912 5553724 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24624/statm: 333969 275064 892 2943 0 330863 0
[pid=24624/tid=24626] ppid=24618 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24626/stat : 24626 (toysat) S 24618 24624 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30788403 1367937024 275064 33554432000 4194304 16246674 140735587425024 139829070245104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24624/tid=24627] ppid=24618 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24627/stat : 24627 (toysat) S 24618 24624 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30788403 1367937024 275064 33554432000 4194304 16246674 140735587425024 139829059755248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24624/tid=24628] ppid=24618 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24628/stat : 24628 (toysat) S 24618 24624 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30788403 1367937024 275064 33554432000 4194304 16246674 140735587425024 139829049281712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 1335876

[startup+1662.3 s]
/proc/loadavg: 2.33 2.30 2.22 4/183 24708
/proc/meminfo: memFree=27662376/32872528 swapFree=1581260/1720252
[pid=24624] ppid=24618 vsize=1335876 CPUtime=1661.75 cores=1,3,5,7
/proc/24624/stat : 24624 (toysat) R 24618 24624 24580 0 -1 4202496 275500 0 0 0 166126 49 0 0 20 0 4 0 30788403 1367937024 275064 33554432000 4194304 16246674 140735587425024 140735587406912 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24624/statm: 333969 275064 892 2943 0 330863 0
[pid=24624/tid=24626] ppid=24618 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24626/stat : 24626 (toysat) S 24618 24624 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30788403 1367937024 275064 33554432000 4194304 16246674 140735587425024 139829070245104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24624/tid=24627] ppid=24618 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24627/stat : 24627 (toysat) S 24618 24624 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30788403 1367937024 275064 33554432000 4194304 16246674 140735587425024 139829059755248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24624/tid=24628] ppid=24618 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24628/stat : 24628 (toysat) S 24618 24624 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30788403 1367937024 275064 33554432000 4194304 16246674 140735587425024 139829049281712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 1335876

[startup+1722.3 s]
/proc/loadavg: 2.27 2.29 2.22 5/183 24709
/proc/meminfo: memFree=27662520/32872528 swapFree=1581260/1720252
[pid=24624] ppid=24618 vsize=1335876 CPUtime=1721.74 cores=1,3,5,7
/proc/24624/stat : 24624 (toysat) R 24618 24624 24580 0 -1 4202496 275500 0 0 0 172124 50 0 0 20 0 4 0 30788403 1367937024 275064 33554432000 4194304 16246674 140735587425024 140735587406912 5673657 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24624/statm: 333969 275064 892 2943 0 330863 0
[pid=24624/tid=24626] ppid=24618 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24626/stat : 24626 (toysat) S 24618 24624 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30788403 1367937024 275064 33554432000 4194304 16246674 140735587425024 139829070245104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24624/tid=24627] ppid=24618 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24627/stat : 24627 (toysat) S 24618 24624 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30788403 1367937024 275064 33554432000 4194304 16246674 140735587425024 139829059755248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24624/tid=24628] ppid=24618 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24628/stat : 24628 (toysat) S 24618 24624 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30788403 1367937024 275064 33554432000 4194304 16246674 140735587425024 139829049281712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 1335876

[startup+1782.3 s]
/proc/loadavg: 2.34 2.31 2.23 4/182 24710
/proc/meminfo: memFree=27661648/32872528 swapFree=1581260/1720252
[pid=24624] ppid=24618 vsize=1335876 CPUtime=1781.73 cores=1,3,5,7
/proc/24624/stat : 24624 (toysat) R 24618 24624 24580 0 -1 4202496 275500 0 0 0 178123 50 0 0 20 0 4 0 30788403 1367937024 275064 33554432000 4194304 16246674 140735587425024 140735587406912 5722381 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24624/statm: 333969 275064 892 2943 0 330863 0
[pid=24624/tid=24626] ppid=24618 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24626/stat : 24626 (toysat) S 24618 24624 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30788403 1367937024 275064 33554432000 4194304 16246674 140735587425024 139829070245104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24624/tid=24627] ppid=24618 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24627/stat : 24627 (toysat) S 24618 24624 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30788403 1367937024 275064 33554432000 4194304 16246674 140735587425024 139829059755248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24624/tid=24628] ppid=24618 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24628/stat : 24628 (toysat) S 24618 24624 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30788403 1367937024 275064 33554432000 4194304 16246674 140735587425024 139829049281712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1335876



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.38 2.32 2.23 4/183 24711
/proc/meminfo: memFree=27661980/32872528 swapFree=1581260/1720252
[pid=24624] ppid=24618 vsize=1335876 CPUtime=1800.03 cores=1,3,5,7
/proc/24624/stat : 24624 (toysat) R 24618 24624 24580 0 -1 4202496 275500 0 0 0 179953 50 0 0 20 0 4 0 30788403 1367937024 275064 33554432000 4194304 16246674 140735587425024 140735587406912 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24624/statm: 333969 275064 892 2943 0 330863 0
[pid=24624/tid=24626] ppid=24618 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24626/stat : 24626 (toysat) S 24618 24624 24580 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30788403 1367937024 275064 33554432000 4194304 16246674 140735587425024 139829070245104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24624/tid=24627] ppid=24618 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24627/stat : 24627 (toysat) S 24618 24624 24580 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30788403 1367937024 275064 33554432000 4194304 16246674 140735587425024 139829059755248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24624/tid=24628] ppid=24618 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/24624/task/24628/stat : 24628 (toysat) S 24618 24624 24580 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30788403 1367937024 275064 33554432000 4194304 16246674 140735587425024 139829049281712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1335876

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.04
CPU user time (s): 1799.54
CPU system time (s): 0.505923
CPU usage (%): 99.9686
Max. virtual memory (cumulated for all children) (KiB): 1335876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.54
system time used= 0.505923
maximum resident set size= 1100256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275500
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= 495
involuntary context switches= 1886

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.2361 second user time and 15.1797 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-26 23:44:50
IDJOB=4115989
IDBENCH=109414
IDSOLVER=2542
FILE ID=node117/4115989-1466977490
RUNJOBID= node117-1466977489-24597
PBS_JOBID= 19976392
Free space on /tmp= 71624 MiB

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

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

MD5SUM BENCH= 4d7f4e517409151f797860ef8d501011
RANDOM SEED=1838482803

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29868280 kB
Buffers:           87752 kB
Cached:           445712 kB
SwapCached:         2208 kB
Active:           122828 kB
Inactive:         414472 kB
Active(anon):       1936 kB
Inactive(anon):     4136 kB
Active(file):     120892 kB
Inactive(file):   410336 kB
Unevictable:     1720252 kB
Mlocked:         1581260 kB
SwapTotal:      67108856 kB
SwapFree:       67099644 kB
Dirty:             33472 kB
Writeback:             0 kB
AnonPages:       1723480 kB
Mapped:             8688 kB
Shmem:                 0 kB
Slab:             611988 kB
SReclaimable:      56188 kB
SUnreclaim:       555800 kB
KernelStack:        1384 kB
PageTables:         7536 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1816660 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    139264 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= 71592 MiB
End job on node117 at 2016-06-27 00:14:51