Trace number 4116333

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

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

Solver Data 

0.00/0.00	c 2016-06-26T23:09:40+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4116333-1466975380.opb"]
0.00/0.01	c use --random-gen="1359112863 3735568277 960419516 3011995785 3266600735 1789169531 3706409771 3108266394 2978685908 2450313860 2818427968 1005611575 3986601591 384807391 3822189946 1969769399 3225591998 4285062335 198869235 1375575435 2008254268 2501775498 2998314160 2729895587 421659223 978364522 2618790066 2419929963 834517685 3893922303 1739120058 576915986 842614425 1478298744 1114112266 3592515967 1700794763 547094376 3323218929 840950485 3034519456 4180997836 55723212 2493577903 4008276737 461614064 4235098774 3372188619 1727292930 397663018 2236569457 4204877293 3640703245 319376872 3802563837 3434416388 3250969555 1617932349 1117749282 2737205859 769974810 2325923796 558813797 1901622481 1496007526 1979824020 1257767279 812723328 668564223 4037617617 3495461882 3022788809 1649039548 976686340 3752929070 3818631134 2480899492 906448610 942805201 2485886031 2837812878 106600235 3273617440 3174829192 3943491626 1467115046 1831713012 3124525627 1738364174 3608830539 250138795 301952186 719229755 801514792 3752809985 2528616872 261541713 1710031403 1424758223 929546024 3334403878 1405220634 159242904 384123204 3781855841 3075974153 3612251009 340093101 3803553522 3623759145 1268607768 3315936476 2314094439 2400380458 1070007725 1724490766 1799462838 984078889 1128031235 3319050800 3198503308 3211501490 374300465 289869420 4164940690 3404868909 3285281227 3063215589 2245496808 3894631773 1065941783 3791891396 947623543 712331341 275737942 388727106 316437187 4128316009 2840373784 3549962391 680299323 563559882 2197868219 2575267530 597207207 3672806660 2366581328 1471926810 3801186667 1948120261 2532119517 4069941423 226814323 3322554580 2155638610 2190082214 2536777071 2764826197 2229352337 205897385 1336776091 1994133191 1676643834 3489029321 1304435153 2995051889 4000119867 3207637812 4084470834 3549909076 774866506 3685099220 3451980467 1913146434 922060296 1607264836 3977118131 3024500830 3105107956 1620758240 1255811588 1979994998 3716747434 2128183066 3117430385 3455743864 3720265984 1377808688 3898265375 2333927439 930070937 2025461357 1969361232 196659285 733083142 2197346888 2027642967 648790647 2650295991 927292718 781206697 4018339855 1012134597 1334760011 3199158338 3991137592 542580624 3663215713 712407311 2609222045 894491017 39904451 3008402027 4111840318 1105685908 518156150 1446761018 3932206725 4240197809 1987690853 622371850 2165349446 2506680722 3795530530 2236133835 1805450760 3769604661 2152190983 2605424490 1345083928 3867887926 3058298675 802298563 3599045011 365096195 1974321198 4064639647 1198251218 417586111 3501013667 3039699423 3317542317 1187805063 4288302405 392493494 3671907162 3795125997 712169044 226826459 3500862981 1936237313 2659559585 2241710271 887723158 1203488413 845648923 255 362436" option to reproduce the execution
0.09/0.12	c #vars 4288
0.09/0.12	c #constraints 9472
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.27	c  0.0s |       0 |        0 |        0 |     4565      0 |      646 |        0
0.29/0.34	c  0.1s |       1 |      693 |      100 |     4565      0 |      646 |      494
0.39/0.45	c  0.2s |       2 |     2609 |      250 |     5022      0 |      646 |      494
0.59/0.66	c  0.4s |       3 |     6330 |      475 |     5525      0 |      647 |      494
0.89/0.93	c  0.7s |       4 |     8244 |      813 |     6078      0 |      647 |      494
1.19/1.28	c  1.0s |       5 |    13003 |     1320 |     6686      0 |      648 |      494
1.98/2.01	c  1.7s |       6 |    17328 |     2081 |     8091      0 |      648 |      494
2.59/2.64	c  2.4s |       7 |    23417 |     3223 |     8901      0 |      648 |      494
3.89/3.91	c  3.6s |       8 |    30730 |     4936 |     9792      0 |      648 |      494
5.79/5.84	c  5.6s |       9 |    43752 |     7506 |    10772      0 |      648 |      494
7.79/7.90	c  7.6s |       9 |    48338 |     9406 |    10772      0 |      648 |      494
9.99/10.04	c  9.8s |       9 |    50213 |    10906 |    10772      0 |      648 |      494
10.59/10.60	c 10.3s |      10 |    51145 |    11361 |    11850      0 |      648 |      494
12.59/12.64	c 12.4s |      10 |    62477 |    13661 |    11850      1 |      648 |      494
14.59/14.66	c 14.4s |      10 |    70598 |    15861 |    11850      1 |      648 |      494
16.19/16.29	c 16.0s |      11 |    73458 |    17144 |    13036      1 |      648 |      494
18.29/18.36	c 18.1s |      11 |    79714 |    19044 |    13036      1 |      648 |      494
20.49/20.53	c 20.3s |      11 |    81333 |    20444 |    13036      1 |      648 |      494
22.69/22.70	c 22.4s |      11 |    82723 |    21644 |    13036      1 |      648 |      494
24.69/24.71	c 24.4s |      11 |    83956 |    22744 |    13036      1 |      648 |      494
26.69/26.74	c 26.5s |      11 |    84941 |    23644 |    13036      2 |      648 |      494
28.78/28.85	c 28.6s |      11 |    86307 |    24844 |    13036      2 |      648 |      494
30.58/30.66	c 30.4s |      12 |    87386 |    25819 |    14340      2 |      648 |      494
32.58/32.67	c 32.4s |      12 |    96946 |    28119 |    14340      2 |      648 |      494
34.78/34.81	c 34.5s |      12 |    98145 |    29119 |    14340      2 |      648 |      494
36.88/36.95	c 36.7s |      12 |    99598 |    30219 |    14340      2 |      648 |      494
38.98/39.06	c 38.8s |      12 |   100583 |    31019 |    14340      2 |      648 |      494
41.08/41.18	c 40.9s |      12 |   101592 |    31819 |    14340      2 |      648 |      494
43.28/43.38	c 43.1s |      12 |   102208 |    32319 |    14340      2 |      648 |      494
45.48/45.56	c 45.3s |      12 |   102820 |    32819 |    14340      2 |      648 |      494
47.58/47.62	c 47.4s |      12 |   103880 |    33619 |    14340      3 |      648 |      494
49.78/49.82	c 49.5s |      12 |   105002 |    34519 |    14340      3 |      648 |      494
51.79/51.87	c 51.6s |      12 |   106264 |    35419 |    14340      3 |      648 |      494
53.99/54.05	c 53.8s |      12 |   107485 |    36319 |    14340      3 |      648 |      494
55.98/56.05	c 55.8s |      12 |   110820 |    37719 |    14340      3 |      648 |      494
57.98/58.06	c 57.8s |      12 |   112342 |    38719 |    15775      3 |      648 |      494
58.18/58.29	c 58.0s |      13 |   112480 |    38832 |    15775      3 |      648 |      494
60.28/60.34	c 60.1s |      13 |   119815 |    40632 |    15775      3 |      648 |      494
62.28/62.34	c 62.1s |      13 |   125311 |    42632 |    15775      3 |      648 |      494
64.28/64.35	c 64.1s |      13 |   127099 |    43732 |    15775      4 |      648 |      494
66.38/66.44	c 66.2s |      13 |   128239 |    44732 |    15775      4 |      648 |      494
68.48/68.59	c 68.3s |      13 |   129508 |    45832 |    15775      4 |      648 |      494
70.58/70.64	c 70.4s |      13 |   130728 |    46832 |    15775      4 |      648 |      494
72.78/72.81	c 72.5s |      13 |   131775 |    47732 |    15775      4 |      648 |      494
74.98/75.04	c 74.8s |      13 |   132824 |    48632 |    15775      4 |      648 |      494
76.98/77.07	c 76.8s |      13 |   134352 |    49632 |    15775      4 |      648 |      494
79.07/79.12	c 78.8s |      13 |   135804 |    50732 |    15775      4 |      648 |      494
81.17/81.22	c 80.9s |      13 |   137893 |    51932 |    15775      4 |      648 |      494
83.17/83.26	c 83.0s |      13 |   139615 |    52932 |    15775      5 |      648 |      494
85.27/85.31	c 85.0s |      13 |   140881 |    53932 |    15775      5 |      648 |      494
87.37/87.42	c 87.2s |      13 |   142107 |    54832 |    15775      5 |      648 |      494
89.57/89.62	c 89.3s |      13 |   143167 |    55732 |    15775      5 |      648 |      494
91.58/91.69	c 91.4s |      13 |   144143 |    56532 |    15775      5 |      648 |      494
93.68/93.72	c 93.5s |      13 |   145078 |    57332 |    15775      5 |      648 |      494
95.79/95.83	c 95.6s |      13 |   146033 |    58132 |    17353      5 |      648 |      494
96.38/96.47	c 96.2s |      14 |   146279 |    58352 |    17353      5 |      648 |      494
98.48/98.56	c 98.3s |      14 |   158399 |    60752 |    17353      5 |      648 |      494
100.58/100.65	c  100s |      14 |   160252 |    62052 |    17353      5 |      648 |      494
102.78/102.81	c  102s |      14 |   161731 |    63252 |    17353      5 |      648 |      494
104.78/104.85	c  104s |      14 |   162856 |    64152 |    17353      6 |      648 |      494
106.97/107.03	c  106s |      14 |   164110 |    65152 |    17353      6 |      648 |      494
109.17/109.20	c  108s |      14 |   165278 |    66052 |    17353      6 |      648 |      494
111.27/111.33	c  111s |      14 |   166307 |    66952 |    17353      6 |      648 |      494
113.38/113.41	c  113s |      14 |   168369 |    68152 |    17353      6 |      648 |      494
115.48/115.56	c  115s |      14 |   169738 |    69152 |    17353      6 |      648 |      494
117.57/117.64	c  117s |      14 |   170890 |    70052 |    17353      6 |      648 |      494
119.77/119.87	c  119s |      14 |   171834 |    70852 |    17353      6 |      648 |      494
122.08/122.11	c  121s |      14 |   172614 |    71552 |    17353      6 |      648 |      494
124.17/124.20	c  123s |      14 |   173289 |    72152 |    17353      6 |      648 |      494
126.17/126.22	c  125s |      14 |   173967 |    72752 |    17353      6 |      648 |      494
128.37/128.41	c  128s |      14 |   174906 |    73552 |    17353      6 |      648 |      494
130.57/130.68	c  130s |      14 |   175668 |    74252 |    17353      7 |      648 |      494
132.87/132.97	c  132s |      14 |   176590 |    75052 |    17353      7 |      648 |      494
135.07/135.10	c  134s |      14 |   177394 |    75752 |    17353      7 |      648 |      494
137.27/137.38	c  137s |      14 |   178221 |    76452 |    17353      7 |      648 |      494
139.47/139.50	c  139s |      14 |   179046 |    77152 |    17353      7 |      648 |      494
141.57/141.69	c  141s |      14 |   179717 |    77752 |    17353      7 |      648 |      494
143.87/143.96	c  143s |      14 |   180503 |    78452 |    17353      7 |      648 |      494
146.17/146.28	c  146s |      14 |   181159 |    79052 |    17353      7 |      648 |      494
148.48/148.52	c  148s |      14 |   181850 |    79652 |    17353      7 |      648 |      494
150.68/150.77	c  150s |      14 |   182511 |    80252 |    17353      7 |      648 |      494
152.98/153.05	c  152s |      14 |   183166 |    80852 |    17353      7 |      648 |      494
155.27/155.38	c  155s |      14 |   183821 |    81452 |    17353      7 |      648 |      494
157.57/157.61	c  157s |      14 |   184506 |    82052 |    17353      7 |      648 |      494
159.58/159.65	c  159s |      14 |   185039 |    82552 |    17353      7 |      648 |      494
161.87/161.92	c  161s |      14 |   185580 |    83052 |    17353      7 |      648 |      494
164.07/164.18	c  163s |      14 |   186117 |    83552 |    17353      7 |      648 |      494
166.37/166.41	c  166s |      14 |   186543 |    83952 |    17353      8 |      648 |      494
168.47/168.55	c  168s |      14 |   187198 |    84552 |    17353      8 |      648 |      494
170.77/170.86	c  170s |      14 |   187838 |    85152 |    17353      8 |      648 |      494
173.07/173.12	c  172s |      14 |   188482 |    85752 |    17353      8 |      648 |      494
175.17/175.26	c  174s |      14 |   189144 |    86352 |    17353      8 |      648 |      494
177.57/177.60	c  177s |      14 |   189826 |    86952 |    17353      8 |      648 |      494
179.56/179.67	c  179s |      14 |   190369 |    87452 |    19089      8 |      648 |      494
180.26/180.39	c  180s |      15 |   190567 |    87632 |    19089      8 |      648 |      494
182.36/182.42	c  182s |      15 |   195181 |    89332 |    19089      8 |      648 |      494
184.46/184.53	c  184s |      15 |   196572 |    90532 |    19089      8 |      648 |      494
186.66/186.72	c  186s |      15 |   197953 |    91632 |    19089      8 |      648 |      494
188.66/188.78	c  188s |      15 |   200491 |    92832 |    19089      8 |      648 |      494
190.76/190.84	c  190s |      15 |   202131 |    94232 |    19089      8 |      648 |      494
192.76/192.84	c  192s |      15 |   203558 |    95432 |    19089      8 |      648 |      494
194.86/194.95	c  194s |      15 |   205252 |    96632 |    19089      9 |      648 |      494
196.97/197.06	c  196s |      15 |   206869 |    97932 |    19089      9 |      648 |      494
199.07/199.12	c  198s |      15 |   208194 |    99032 |    19089      9 |      648 |      494
201.16/201.22	c  200s |      15 |   210405 |   100332 |    19089      9 |      648 |      494
203.26/203.35	c  203s |      15 |   211996 |   101532 |    19089      9 |      648 |      494
205.36/205.44	c  205s |      15 |   213601 |   102632 |    19089      9 |      648 |      494
207.46/207.52	c  207s |      15 |   214748 |   103532 |    19089      9 |      648 |      494
209.56/209.69	c  209s |      15 |   215764 |   104332 |    19089      9 |      648 |      494
211.76/211.87	c  211s |      15 |   216868 |   105132 |    19089      9 |      648 |      494
213.76/213.88	c  213s |      15 |   217716 |   105832 |    19089      9 |      648 |      494
215.96/216.06	c  215s |      15 |   218458 |   106432 |    19089      9 |      648 |      494
218.05/218.19	c  217s |      15 |   219118 |   106932 |    19089     10 |      648 |      494
220.15/220.27	c  219s |      15 |   220508 |   107932 |    19089     10 |      648 |      494
222.35/222.47	c  222s |      15 |   221651 |   108932 |    19089     10 |      648 |      494
224.55/224.65	c  224s |      15 |   222585 |   109732 |    19089     10 |      648 |      494
226.66/226.71	c  226s |      15 |   223359 |   110432 |    19089     10 |      648 |      494
228.65/228.78	c  228s |      15 |   224133 |   111132 |    19089     10 |      648 |      494
230.75/230.89	c  230s |      15 |   224940 |   111832 |    19089     10 |      648 |      494
233.05/233.17	c  232s |      15 |   225732 |   112532 |    19089     10 |      648 |      494
235.25/235.38	c  235s |      15 |   226565 |   113232 |    19089     10 |      648 |      494
237.45/237.56	c  237s |      15 |   227345 |   113932 |    19089     10 |      648 |      494
239.55/239.65	c  239s |      15 |   227989 |   114532 |    19089     10 |      648 |      494
241.65/241.79	c  241s |      15 |   228765 |   115232 |    19089     10 |      648 |      494
243.85/243.95	c  243s |      15 |   229429 |   115832 |    19089     10 |      648 |      494
245.95/246.03	c  245s |      15 |   230108 |   116432 |    19089     10 |      648 |      494
247.95/248.08	c  247s |      15 |   230662 |   116932 |    19089     10 |      648 |      494
250.05/250.11	c  249s |      15 |   231205 |   117432 |    19089     10 |      648 |      494
252.16/252.21	c  251s |      15 |   231760 |   117932 |    19089     10 |      648 |      494
254.36/254.40	c  254s |      15 |   232337 |   118432 |    19089     11 |      648 |      494
256.36/256.41	c  256s |      15 |   233014 |   119032 |    19089     11 |      648 |      494
258.56/258.64	c  258s |      15 |   233806 |   119732 |    19089     11 |      648 |      494
260.85/260.98	c  260s |      15 |   234485 |   120332 |    19089     11 |      648 |      494
263.15/263.22	c  262s |      15 |   235033 |   120832 |    19089     11 |      648 |      494
265.25/265.36	c  265s |      15 |   235605 |   121332 |    19089     11 |      648 |      494
267.35/267.44	c  267s |      15 |   236167 |   121832 |    19089     11 |      648 |      494
269.75/269.83	c  269s |      15 |   236842 |   122432 |    19089     11 |      648 |      494
271.85/271.91	c  271s |      15 |   237389 |   122932 |    19089     11 |      648 |      494
273.85/273.92	c  273s |      15 |   237829 |   123332 |    19089     11 |      648 |      494
276.24/276.33	c  276s |      15 |   238406 |   123832 |    19089     11 |      648 |      494
278.25/278.35	c  278s |      15 |   238848 |   124232 |    19089     11 |      648 |      494
280.34/280.44	c  280s |      15 |   239697 |   124932 |    19089     11 |      648 |      494
282.44/282.50	c  282s |      15 |   240364 |   125532 |    19089     11 |      648 |      494
284.54/284.68	c  284s |      15 |   241038 |   126132 |    19089     11 |      648 |      494
286.74/286.89	c  286s |      15 |   241698 |   126732 |    19089     11 |      648 |      494
288.84/288.90	c  288s |      15 |   242254 |   127232 |    19089     11 |      648 |      494
290.84/290.92	c  290s |      15 |   242812 |   127732 |    19089     11 |      648 |      494
293.04/293.19	c  292s |      15 |   243367 |   128232 |    19089     11 |      648 |      494
295.53/295.60	c  295s |      15 |   243938 |   128732 |    19089     11 |      648 |      494
297.83/297.95	c  297s |      15 |   244481 |   129232 |    19089     11 |      648 |      494
300.13/300.20	c  299s |      15 |   244902 |   129632 |    19089     12 |      648 |      494
302.33/302.46	c  302s |      15 |   245702 |   130332 |    19089     12 |      648 |      494
304.64/304.72	c  304s |      15 |   246449 |   131032 |    20998     12 |      648 |      494
306.33/306.44	c  306s |      16 |   247039 |   131552 |    20998     12 |      648 |      494
308.43/308.52	c  308s |      16 |   254290 |   133152 |    20998     12 |      648 |      494
310.53/310.67	c  310s |      16 |   256116 |   134452 |    20998     12 |      648 |      494
312.53/312.67	c  312s |      16 |   258139 |   135952 |    20998     12 |      648 |      494
314.53/314.68	c  314s |      16 |   259997 |   137352 |    20998     12 |      648 |      494
316.63/316.75	c  316s |      16 |   261560 |   138652 |    20998     12 |      648 |      494
318.83/318.97	c  318s |      16 |   262591 |   139552 |    20998     12 |      648 |      494
321.03/321.10	c  320s |      16 |   264269 |   140852 |    20998     12 |      648 |      494
323.12/323.21	c  322s |      16 |   265772 |   142052 |    20998     12 |      648 |      494
325.22/325.32	c  325s |      16 |   266833 |   142952 |    20998     13 |      648 |      494
327.32/327.46	c  327s |      16 |   268173 |   144052 |    20998     13 |      648 |      494
329.52/329.65	c  329s |      16 |   269416 |   145052 |    20998     13 |      648 |      494
331.62/331.73	c  331s |      16 |   270921 |   146152 |    20998     13 |      648 |      494
333.62/333.75	c  333s |      16 |   271837 |   146952 |    20998     13 |      648 |      494
335.82/335.94	c  335s |      16 |   272902 |   147852 |    20998     13 |      648 |      494
337.92/338.01	c  337s |      16 |   274022 |   148752 |    20998     13 |      648 |      494
339.93/340.04	c  339s |      16 |   275194 |   149652 |    20998     13 |      648 |      494
342.13/342.24	c  341s |      16 |   276337 |   150552 |    20998     13 |      648 |      494
344.22/344.36	c  344s |      16 |   277526 |   151452 |    20998     13 |      648 |      494
346.52/346.62	c  346s |      16 |   278629 |   152352 |    20998     13 |      648 |      494
348.82/348.91	c  348s |      16 |   279637 |   153152 |    20998     13 |      648 |      494
350.82/350.98	c  350s |      16 |   280499 |   153852 |    20998     13 |      648 |      494
353.03/353.19	c  352s |      16 |   281321 |   154552 |    20998     13 |      648 |      494
355.42/355.54	c  355s |      16 |   282020 |   155152 |    20998     14 |      648 |      494
357.43/357.54	c  357s |      16 |   282695 |   155752 |    20998     14 |      648 |      494
359.63/359.77	c  359s |      16 |   283505 |   156452 |    20998     14 |      648 |      494
361.72/361.83	c  361s |      16 |   284406 |   157252 |    20998     14 |      648 |      494
363.82/363.96	c  363s |      16 |   285531 |   158152 |    20998     14 |      648 |      494
366.02/366.18	c  365s |      16 |   286651 |   159052 |    20998     14 |      648 |      494
368.12/368.25	c  367s |      16 |   287658 |   159852 |    20998     14 |      648 |      494
370.32/370.41	c  370s |      16 |   288825 |   160752 |    20998     14 |      648 |      494
372.42/372.50	c  372s |      16 |   289691 |   161452 |    20998     14 |      648 |      494
374.41/374.54	c  374s |      16 |   290705 |   162252 |    20998     14 |      648 |      494
376.51/376.61	c  376s |      16 |   291557 |   162952 |    20998     14 |      648 |      494
378.51/378.67	c  378s |      16 |   292309 |   163552 |    20998     14 |      648 |      494
380.71/380.87	c  380s |      16 |   293177 |   164252 |    20998     14 |      648 |      494
383.11/383.29	c  383s |      16 |   294047 |   164952 |    20998     14 |      648 |      494
385.41/385.53	c  385s |      16 |   294769 |   165552 |    20998     14 |      648 |      494
387.71/387.89	c  387s |      16 |   295628 |   166252 |    20998     14 |      648 |      494
389.91/390.00	c  389s |      16 |   296310 |   166852 |    20998     14 |      648 |      494
392.11/392.26	c  391s |      16 |   297098 |   167552 |    20998     15 |      648 |      494
394.31/394.48	c  394s |      16 |   298024 |   168352 |    20998     15 |      648 |      494
396.61/396.76	c  396s |      16 |   298985 |   169152 |    20998     15 |      648 |      494
398.71/398.89	c  398s |      16 |   299954 |   169952 |    20998     15 |      648 |      494
400.91/401.02	c  400s |      16 |   300793 |   170652 |    20998     15 |      648 |      494
402.90/403.05	c  402s |      16 |   301597 |   171352 |    20998     15 |      648 |      494
405.10/405.29	c  405s |      16 |   302296 |   171952 |    20998     15 |      648 |      494
407.20/407.38	c  407s |      16 |   303151 |   172652 |    20998     15 |      648 |      494
409.60/409.72	c  409s |      16 |   303976 |   173352 |    20998     15 |      648 |      494
411.90/412.09	c  411s |      16 |   304765 |   174052 |    20998     15 |      648 |      494
414.00/414.15	c  413s |      16 |   305436 |   174652 |    20998     15 |      648 |      494
416.00/416.16	c  415s |      16 |   306145 |   175252 |    20998     15 |      648 |      494
418.20/418.32	c  418s |      16 |   306823 |   175852 |    20998     15 |      648 |      494
420.60/420.71	c  420s |      16 |   307509 |   176452 |    20998     15 |      648 |      494
422.90/423.01	c  422s |      16 |   308202 |   177052 |    20998     15 |      648 |      494
425.00/425.18	c  424s |      16 |   308939 |   177652 |    20998     15 |      648 |      494
427.40/427.57	c  427s |      16 |   309754 |   178352 |    20998     15 |      648 |      494
429.70/429.86	c  429s |      16 |   310427 |   178952 |    20998     15 |      648 |      494
431.80/431.98	c  431s |      16 |   311139 |   179552 |    20998     16 |      648 |      494
434.10/434.26	c  433s |      16 |   311944 |   180252 |    20998     16 |      648 |      494
436.39/436.53	c  436s |      16 |   312750 |   180952 |    20998     16 |      648 |      494
438.39/438.59	c  438s |      16 |   313432 |   181552 |    20998     16 |      648 |      494
440.49/440.66	c  440s |      16 |   314130 |   182152 |    20998     16 |      648 |      494
442.59/442.72	c  442s |      16 |   314807 |   182752 |    20998     16 |      648 |      494
444.59/444.78	c  444s |      16 |   315515 |   183352 |    20998     16 |      648 |      494
446.60/446.79	c  446s |      16 |   316354 |   184052 |    20998     16 |      648 |      494
448.69/448.86	c  448s |      16 |   317200 |   184752 |    20998     16 |      648 |      494
450.89/451.02	c  450s |      16 |   318003 |   185452 |    20998     16 |      648 |      494
452.99/453.10	c  452s |      16 |   318919 |   186152 |    20998     16 |      648 |      494
455.08/455.26	c  454s |      16 |   319736 |   186852 |    20998     16 |      648 |      494
457.18/457.35	c  457s |      16 |   320427 |   187452 |    20998     16 |      648 |      494
459.48/459.66	c  459s |      16 |   321120 |   188052 |    20998     16 |      648 |      494
461.99/462.10	c  461s |      16 |   321824 |   188652 |    20998     16 |      648 |      494
463.98/464.18	c  463s |      16 |   322380 |   189152 |    20998     16 |      648 |      494
466.08/466.26	c  465s |      16 |   322946 |   189652 |    20998     16 |      648 |      494
468.18/468.39	c  468s |      16 |   323495 |   190152 |    20998     16 |      648 |      494
470.38/470.57	c  470s |      16 |   324196 |   190752 |    20998     16 |      648 |      494
472.38/472.59	c  472s |      16 |   324740 |   191252 |    20998     16 |      648 |      494
474.47/474.65	c  474s |      16 |   325462 |   191852 |    20998     17 |      648 |      494
476.57/476.72	c  476s |      16 |   326415 |   192652 |    20998     17 |      648 |      494
478.57/478.79	c  478s |      16 |   327095 |   193252 |    20998     17 |      648 |      494
480.78/480.99	c  480s |      16 |   327934 |   193952 |    20998     17 |      648 |      494
483.08/483.22	c  482s |      16 |   329019 |   194752 |    20998     17 |      648 |      494
485.08/485.25	c  484s |      16 |   329854 |   195452 |    20998     17 |      648 |      494
487.08/487.25	c  486s |      16 |   331050 |   196252 |    23098     17 |      648 |      494
489.17/489.35	c  489s |      16 |   332110 |   197052 |    23098     17 |      648 |      494
490.17/490.38	c  490s |      17 |   332589 |   197432 |    23098     17 |      648 |      494
492.27/492.43	c  492s |      17 |   343132 |   199532 |    23098     17 |      648 |      494
494.26/494.45	c  494s |      17 |   348150 |   201232 |    23098     17 |      648 |      494
496.36/496.57	c  496s |      17 |   349671 |   202432 |    23098     17 |      648 |      494
498.46/498.66	c  498s |      17 |   353477 |   203532 |    23098     18 |      648 |      494
500.47/500.66	c  500s |      17 |   359002 |   205532 |    23098     18 |      648 |      494
502.76/502.92	c  502s |      17 |   360545 |   206732 |    23098     18 |      648 |      494
504.77/504.98	c  504s |      17 |   361900 |   207832 |    23098     18 |      648 |      494
506.86/507.10	c  506s |      17 |   363112 |   208832 |    23098     18 |      648 |      494
509.06/509.25	c  508s |      17 |   364155 |   209732 |    23098     18 |      648 |      494
511.16/511.36	c  511s |      17 |   365206 |   210632 |    23098     18 |      648 |      494
513.36/513.50	c  513s |      17 |   366278 |   211532 |    23098     18 |      648 |      494
515.45/515.63	c  515s |      17 |   367420 |   212432 |    23098     18 |      648 |      494
517.65/517.84	c  517s |      17 |   368502 |   213332 |    23098     18 |      648 |      494
519.65/519.89	c  519s |      17 |   369318 |   214032 |    23098     18 |      648 |      494
521.75/521.92	c  521s |      17 |   370123 |   214732 |    23098     18 |      648 |      494
523.75/523.94	c  523s |      17 |   370946 |   215432 |    23098     18 |      648 |      494
525.85/526.03	c  525s |      17 |   371729 |   216132 |    23098     18 |      648 |      494
527.86/528.09	c  527s |      17 |   372395 |   216732 |    23098     18 |      648 |      494
529.95/530.17	c  529s |      17 |   373069 |   217332 |    23098     18 |      648 |      494
532.15/532.38	c  532s |      17 |   373731 |   217932 |    23098     19 |      648 |      494
534.35/534.52	c  534s |      17 |   374518 |   218632 |    23098     19 |      648 |      494
536.55/536.70	c  536s |      17 |   375285 |   219332 |    23098     19 |      648 |      494
538.75/538.90	c  538s |      17 |   376050 |   220032 |    23098     19 |      648 |      494
540.95/541.11	c  540s |      17 |   376688 |   220632 |    23098     19 |      648 |      494
542.95/543.12	c  542s |      17 |   377373 |   221232 |    23098     19 |      648 |      494
545.15/545.30	c  545s |      17 |   378147 |   221932 |    23098     19 |      648 |      494
547.35/547.52	c  547s |      17 |   378947 |   222632 |    23098     19 |      648 |      494
549.55/549.76	c  549s |      17 |   379888 |   223432 |    23098     19 |      648 |      494
551.85/552.04	c  551s |      17 |   380665 |   224132 |    23098     19 |      648 |      494
554.05/554.21	c  553s |      17 |   381475 |   224832 |    23098     19 |      648 |      494
556.24/556.40	c  556s |      17 |   382261 |   225532 |    23098     19 |      648 |      494
558.24/558.48	c  558s |      17 |   382980 |   226132 |    23098     19 |      648 |      494
560.35/560.54	c  560s |      17 |   383642 |   226732 |    23098     19 |      648 |      494
562.35/562.59	c  562s |      17 |   384344 |   227332 |    23098     19 |      648 |      494
564.64/564.83	c  564s |      17 |   385015 |   227932 |    23098     19 |      648 |      494
566.94/567.11	c  566s |      17 |   385670 |   228532 |    23098     19 |      648 |      494
569.14/569.32	c  569s |      17 |   386336 |   229132 |    23098     19 |      648 |      494
571.14/571.34	c  571s |      17 |   386891 |   229632 |    23098     19 |      648 |      494
573.34/573.58	c  573s |      17 |   387608 |   230232 |    23098     19 |      648 |      494
575.54/575.73	c  575s |      17 |   388337 |   230832 |    23098     19 |      648 |      494
577.74/577.91	c  577s |      17 |   388917 |   231332 |    23098     20 |      648 |      494
579.93/580.13	c  579s |      17 |   389802 |   232132 |    23098     20 |      648 |      494
582.13/582.37	c  582s |      17 |   390630 |   232832 |    23098     20 |      648 |      494
584.33/584.53	c  584s |      17 |   391444 |   233532 |    23098     20 |      648 |      494
586.53/586.77	c  586s |      17 |   392242 |   234232 |    23098     20 |      648 |      494
588.83/589.01	c  588s |      17 |   393241 |   235032 |    23098     20 |      648 |      494
590.83/591.09	c  590s |      17 |   394041 |   235732 |    23098     20 |      648 |      494
593.03/593.26	c  592s |      17 |   394841 |   236432 |    23098     20 |      648 |      494
595.12/595.38	c  595s |      17 |   395650 |   237132 |    23098     20 |      648 |      494
597.42/597.64	c  597s |      17 |   396455 |   237832 |    23098     20 |      648 |      494
599.52/599.70	c  599s |      17 |   397131 |   238432 |    23098     20 |      648 |      494
601.72/601.93	c  601s |      17 |   397816 |   239032 |    23098     20 |      648 |      494
603.92/604.19	c  603s |      17 |   398472 |   239632 |    23098     20 |      648 |      494
605.92/606.20	c  605s |      17 |   399174 |   240232 |    23098     20 |      648 |      494
608.22/608.44	c  608s |      17 |   399837 |   240832 |    23098     20 |      648 |      494
610.32/610.52	c  610s |      17 |   400531 |   241432 |    23098     20 |      648 |      494
612.52/612.71	c  612s |      17 |   401217 |   242032 |    23098     20 |      648 |      494
614.61/614.82	c  614s |      17 |   401770 |   242532 |    23098     20 |      648 |      494
616.61/616.88	c  616s |      17 |   402310 |   243032 |    23098     20 |      648 |      494
618.91/619.19	c  618s |      17 |   402995 |   243632 |    23098     20 |      648 |      494
621.01/621.21	c  620s |      17 |   403555 |   244132 |    23098     20 |      648 |      494
623.11/623.35	c  623s |      17 |   404155 |   244632 |    23098     21 |      648 |      494
625.10/625.36	c  625s |      17 |   404840 |   245232 |    23098     21 |      648 |      494
627.30/627.53	c  627s |      17 |   405637 |   245932 |    23098     21 |      648 |      494
629.60/629.87	c  629s |      17 |   406446 |   246632 |    23098     21 |      648 |      494
632.00/632.28	c  632s |      17 |   407257 |   247332 |    23098     21 |      648 |      494
634.10/634.37	c  634s |      17 |   407961 |   247932 |    23098     21 |      648 |      494
636.40/636.66	c  636s |      17 |   408612 |   248532 |    23098     21 |      648 |      494
638.90/639.17	c  638s |      17 |   409297 |   249132 |    23098     21 |      648 |      494
641.00/641.29	c  641s |      17 |   409861 |   249632 |    23098     21 |      648 |      494
643.40/643.65	c  643s |      17 |   410520 |   250232 |    23098     21 |      648 |      494
645.69/646.00	c  645s |      17 |   411191 |   250832 |    23098     21 |      648 |      494
647.99/648.28	c  648s |      17 |   411877 |   251432 |    23098     21 |      648 |      494
650.29/650.60	c  650s |      17 |   412589 |   252032 |    23098     21 |      648 |      494
652.69/652.92	c  652s |      17 |   413444 |   252732 |    23098     21 |      648 |      494
654.78/655.10	c  654s |      17 |   414146 |   253332 |    23098     21 |      648 |      494
657.08/657.30	c  657s |      17 |   414828 |   253932 |    23098     21 |      648 |      494
659.28/659.54	c  659s |      17 |   415541 |   254532 |    23098     21 |      648 |      494
661.48/661.75	c  661s |      17 |   416227 |   255132 |    23098     21 |      648 |      494
663.58/663.81	c  663s |      17 |   416911 |   255732 |    23098     21 |      648 |      494
665.68/665.94	c  665s |      17 |   417605 |   256332 |    23098     21 |      648 |      494
667.98/668.24	c  667s |      17 |   418279 |   256932 |    23098     21 |      648 |      494
669.98/670.28	c  670s |      17 |   418734 |   257332 |    23098     22 |      648 |      494
672.08/672.31	c  672s |      17 |   419401 |   257932 |    23098     22 |      648 |      494
674.37/674.62	c  674s |      17 |   420177 |   258632 |    23098     22 |      648 |      494
676.38/676.64	c  676s |      17 |   420831 |   259232 |    23098     22 |      648 |      494
678.58/678.88	c  678s |      17 |   421654 |   259932 |    23098     22 |      648 |      494
680.78/681.08	c  680s |      17 |   422304 |   260532 |    23098     22 |      648 |      494
683.17/683.49	c  683s |      17 |   422993 |   261132 |    23098     22 |      648 |      494
685.66/685.93	c  685s |      17 |   423796 |   261832 |    23098     22 |      648 |      494
687.76/688.01	c  687s |      17 |   424471 |   262432 |    23098     22 |      648 |      494
689.86/690.15	c  689s |      17 |   425024 |   262932 |    23098     22 |      648 |      494
692.26/692.54	c  692s |      17 |   425685 |   263532 |    23098     22 |      648 |      494
694.36/694.69	c  694s |      17 |   426211 |   264032 |    23098     22 |      648 |      494
696.66/696.96	c  696s |      17 |   427000 |   264732 |    23098     22 |      648 |      494
698.86/699.18	c  698s |      17 |   427677 |   265332 |    23098     22 |      648 |      494
701.06/701.32	c  701s |      17 |   428348 |   265932 |    23098     22 |      648 |      494
703.36/703.67	c  703s |      17 |   428982 |   266532 |    23098     22 |      648 |      494
705.75/706.05	c  705s |      17 |   429622 |   267132 |    23098     22 |      648 |      494
707.85/708.12	c  707s |      17 |   430167 |   267632 |    23098     22 |      648 |      494
709.95/710.24	c  709s |      17 |   430716 |   268132 |    23098     22 |      648 |      494
712.25/712.59	c  712s |      17 |   431426 |   268732 |    23098     22 |      648 |      494
714.35/714.69	c  714s |      17 |   431869 |   269132 |    23098     22 |      648 |      494
716.95/717.20	c  716s |      17 |   432426 |   269632 |    23098     22 |      648 |      494
719.44/719.72	c  719s |      17 |   432997 |   270132 |    23098     22 |      648 |      494
721.84/722.15	c  721s |      17 |   433433 |   270532 |    23098     23 |      648 |      494
723.94/724.21	c  723s |      17 |   434115 |   271132 |    23098     23 |      648 |      494
725.94/726.28	c  726s |      17 |   434681 |   271632 |    23098     23 |      648 |      494
728.24/728.55	c  728s |      17 |   435345 |   272232 |    23098     23 |      648 |      494
730.44/730.76	c  730s |      17 |   436117 |   272932 |    23098     23 |      648 |      494
732.54/732.82	c  732s |      17 |   436774 |   273532 |    23098     23 |      648 |      494
734.64/734.97	c  734s |      17 |   437436 |   274132 |    23098     23 |      648 |      494
736.84/737.19	c  736s |      17 |   438079 |   274732 |    23098     23 |      648 |      494
739.04/739.34	c  739s |      17 |   438727 |   275332 |    23098     23 |      648 |      494
741.24/741.58	c  741s |      17 |   439387 |   275932 |    23098     23 |      648 |      494
743.53/743.87	c  743s |      17 |   440046 |   276532 |    23098     23 |      648 |      494
745.72/746.09	c  745s |      17 |   440707 |   277132 |    23098     23 |      648 |      494
747.73/748.10	c  747s |      17 |   441280 |   277632 |    23098     23 |      648 |      494
750.22/750.51	c  750s |      17 |   441953 |   278232 |    23098     23 |      648 |      494
752.32/752.62	c  752s |      17 |   442529 |   278732 |    23098     23 |      648 |      494
754.62/754.97	c  754s |      17 |   443228 |   279332 |    23098     23 |      648 |      494
756.91/757.28	c  757s |      17 |   443805 |   279832 |    23098     23 |      648 |      494
759.41/759.78	c  759s |      17 |   444358 |   280332 |    23098     23 |      648 |      494
761.51/761.89	c  761s |      17 |   444912 |   280832 |    23098     23 |      648 |      494
763.72/764.03	c  763s |      17 |   445369 |   281232 |    23098     23 |      648 |      494
765.72/766.04	c  765s |      17 |   445805 |   281632 |    23098     23 |      648 |      494
768.02/768.39	c  768s |      17 |   446480 |   282232 |    23098     23 |      648 |      494
770.11/770.45	c  770s |      17 |   447173 |   282832 |    23098     23 |      648 |      494
772.51/772.81	c  772s |      17 |   447823 |   283432 |    23098     23 |      648 |      494
774.71/775.04	c  774s |      17 |   448376 |   283932 |    23098     24 |      648 |      494
777.01/777.32	c  777s |      17 |   449160 |   284632 |    23098     24 |      648 |      494
779.21/779.57	c  779s |      17 |   449948 |   285332 |    23098     24 |      648 |      494
781.31/781.68	c  781s |      17 |   450723 |   286032 |    23098     24 |      648 |      494
783.31/783.69	c  783s |      17 |   451376 |   286632 |    23098     24 |      648 |      494
785.60/785.96	c  785s |      17 |   452198 |   287332 |    23098     24 |      648 |      494
787.90/788.25	c  787s |      17 |   452974 |   288032 |    23098     24 |      648 |      494
789.90/790.28	c  790s |      17 |   453540 |   288532 |    23098     24 |      648 |      494
792.20/792.51	c  792s |      17 |   454114 |   289032 |    23098     24 |      648 |      494
794.39/794.76	c  794s |      17 |   454658 |   289532 |    23098     24 |      648 |      494
796.69/797.05	c  796s |      17 |   455315 |   290132 |    23098     24 |      648 |      494
798.69/799.07	c  798s |      17 |   456025 |   290732 |    23098     24 |      648 |      494
800.99/801.33	c  801s |      17 |   456687 |   291332 |    23098     24 |      648 |      494
803.19/803.55	c  803s |      17 |   457334 |   291932 |    23098     24 |      648 |      494
805.39/805.76	c  805s |      17 |   457766 |   292332 |    23098     24 |      648 |      494
807.59/807.98	c  807s |      17 |   458199 |   292732 |    23098     24 |      648 |      494
809.99/810.31	c  810s |      17 |   458746 |   293232 |    23098     24 |      648 |      494
812.29/812.66	c  812s |      17 |   459318 |   293732 |    23098     24 |      648 |      494
814.58/814.99	c  814s |      17 |   459852 |   294232 |    25408     24 |      648 |      494
816.99/817.33	c  817s |      17 |   460524 |   294832 |    25408     24 |      648 |      494
819.19/819.54	c  819s |      17 |   461073 |   295332 |    25408     24 |      648 |      494
821.49/821.86	c  821s |      17 |   461730 |   295932 |    25408     24 |      648 |      494
822.88/823.20	c  822s |      18 |   462080 |   296252 |    25408     24 |      648 |      494
824.87/825.22	c  824s |      18 |   470420 |   297952 |    25408     25 |      648 |      494
826.88/827.29	c  827s |      18 |   474509 |   300152 |    25408     25 |      648 |      494
828.97/829.31	c  829s |      18 |   477244 |   301852 |    25408     25 |      648 |      494
831.07/831.46	c  831s |      18 |   479079 |   303252 |    25408     25 |      648 |      494
833.07/833.49	c  833s |      18 |   483435 |   305152 |    25408     25 |      648 |      494
835.16/835.57	c  835s |      18 |   486032 |   306752 |    25408     25 |      648 |      494
837.26/837.61	c  837s |      18 |   488588 |   308352 |    25408     25 |      648 |      494
839.26/839.61	c  839s |      18 |   490718 |   309752 |    25408     25 |      648 |      494
841.27/841.68	c  841s |      18 |   491941 |   310752 |    25408     25 |      648 |      494
843.47/843.86	c  843s |      18 |   493261 |   311852 |    25408     25 |      648 |      494
845.67/846.05	c  845s |      18 |   494043 |   312552 |    25408     26 |      648 |      494
847.77/848.16	c  847s |      18 |   495242 |   313552 |    25408     26 |      648 |      494
850.06/850.42	c  850s |      18 |   496274 |   314452 |    25408     26 |      648 |      494
852.26/852.63	c  852s |      18 |   497171 |   315252 |    25408     26 |      648 |      494
854.36/854.73	c  854s |      18 |   498809 |   316352 |    25408     26 |      648 |      494
856.56/856.91	c  856s |      18 |   500310 |   317452 |    25408     26 |      648 |      494
858.55/858.91	c  858s |      18 |   501965 |   318552 |    25408     26 |      648 |      494
860.75/861.13	c  860s |      18 |   503154 |   319552 |    25408     26 |      648 |      494
862.85/863.22	c  862s |      18 |   504430 |   320552 |    25408     26 |      648 |      494
865.04/865.45	c  865s |      18 |   505639 |   321552 |    25408     26 |      648 |      494
867.14/867.56	c  867s |      18 |   506580 |   322352 |    25408     26 |      648 |      494
869.24/869.68	c  869s |      18 |   507728 |   323252 |    25408     26 |      648 |      494
871.34/871.71	c  871s |      18 |   508663 |   324052 |    25408     26 |      648 |      494
873.54/873.90	c  873s |      18 |   509602 |   324852 |    25408     26 |      648 |      494
875.64/876.00	c  875s |      18 |   510526 |   325652 |    25408     26 |      648 |      494
877.84/878.23	c  877s |      18 |   511476 |   326452 |    25408     26 |      648 |      494
879.94/880.30	c  880s |      18 |   512294 |   327152 |    25408     27 |      648 |      494
881.94/882.35	c  882s |      18 |   513346 |   328052 |    25408     27 |      648 |      494
884.04/884.49	c  884s |      18 |   514300 |   328852 |    25408     27 |      648 |      494
886.14/886.59	c  886s |      18 |   515098 |   329552 |    25408     27 |      648 |      494
888.34/888.75	c  888s |      18 |   515934 |   330252 |    25408     27 |      648 |      494
890.53/890.99	c  890s |      18 |   516720 |   330952 |    25408     27 |      648 |      494
892.73/893.15	c  892s |      18 |   517381 |   331552 |    25408     27 |      648 |      494
895.04/895.42	c  895s |      18 |   518201 |   332252 |    25408     27 |      648 |      494
897.13/897.57	c  897s |      18 |   518886 |   332852 |    25408     27 |      648 |      494
899.54/899.91	c  899s |      18 |   519553 |   333452 |    25408     27 |      648 |      494
901.53/901.97	c  901s |      18 |   520085 |   333952 |    25408     27 |      648 |      494
903.63/904.07	c  903s |      18 |   520708 |   334452 |    25408     27 |      648 |      494
905.63/906.09	c  905s |      18 |   521950 |   335352 |    25408     27 |      648 |      494
907.83/908.26	c  907s |      18 |   523097 |   336252 |    25408     27 |      648 |      494
909.94/910.30	c  910s |      18 |   524032 |   337052 |    25408     27 |      648 |      494
912.04/912.44	c  912s |      18 |   525055 |   337852 |    25408     27 |      648 |      494
914.04/914.47	c  914s |      18 |   525928 |   338552 |    25408     27 |      648 |      494
916.14/916.59	c  916s |      18 |   526737 |   339252 |    25408     27 |      648 |      494
918.34/918.70	c  918s |      18 |   527452 |   339852 |    25408     27 |      648 |      494
920.34/920.74	c  920s |      18 |   528510 |   340652 |    25408     27 |      648 |      494
922.54/922.92	c  922s |      18 |   529213 |   341252 |    25408     28 |      648 |      494
924.53/924.99	c  924s |      18 |   530294 |   342152 |    25408     28 |      648 |      494
926.63/927.01	c  926s |      18 |   531231 |   342952 |    25408     28 |      648 |      494
928.63/929.03	c  928s |      18 |   532183 |   343752 |    25408     28 |      648 |      494
930.63/931.05	c  930s |      18 |   532979 |   344452 |    25408     28 |      648 |      494
932.83/933.25	c  932s |      18 |   533886 |   345252 |    25408     28 |      648 |      494
934.93/935.32	c  935s |      18 |   534687 |   345952 |    25408     28 |      648 |      494
937.13/937.53	c  937s |      18 |   535486 |   346652 |    25408     28 |      648 |      494
939.33/939.75	c  939s |      18 |   536287 |   347352 |    25408     28 |      648 |      494
941.53/942.00	c  941s |      18 |   537084 |   348052 |    25408     28 |      648 |      494
943.63/944.08	c  943s |      18 |   537756 |   348652 |    25408     28 |      648 |      494
945.83/946.29	c  946s |      18 |   538419 |   349252 |    25408     28 |      648 |      494
947.94/948.35	c  948s |      18 |   539230 |   349952 |    25408     28 |      648 |      494
950.33/950.72	c  950s |      18 |   540012 |   350652 |    25408     28 |      648 |      494
952.53/952.93	c  952s |      18 |   540681 |   351252 |    25408     28 |      648 |      494
954.53/954.95	c  954s |      18 |   541409 |   351852 |    25408     28 |      648 |      494
956.73/957.18	c  956s |      18 |   542115 |   352452 |    25408     28 |      648 |      494
959.13/959.53	c  959s |      18 |   542803 |   353052 |    25408     28 |      648 |      494
961.52/961.92	c  961s |      18 |   543469 |   353652 |    25408     28 |      648 |      494
963.72/964.10	c  963s |      18 |   544161 |   354252 |    25408     28 |      648 |      494
965.72/966.14	c  965s |      18 |   544944 |   354852 |    25408     28 |      648 |      494
968.02/968.41	c  968s |      18 |   545667 |   355452 |    25408     29 |      648 |      494
970.02/970.41	c  970s |      18 |   546617 |   356252 |    25408     29 |      648 |      494
972.13/972.58	c  972s |      18 |   547490 |   357052 |    25408     29 |      648 |      494
974.33/974.77	c  974s |      18 |   548393 |   357852 |    25408     29 |      648 |      494
976.43/976.84	c  976s |      18 |   549303 |   358652 |    25408     29 |      648 |      494
978.73/979.15	c  978s |      18 |   550075 |   359352 |    25408     29 |      648 |      494
980.93/981.37	c  981s |      18 |   550898 |   360052 |    25408     29 |      648 |      494
983.03/983.48	c  983s |      18 |   551559 |   360652 |    25408     29 |      648 |      494
985.33/985.72	c  985s |      18 |   552287 |   361252 |    25408     29 |      648 |      494
987.43/987.83	c  987s |      18 |   552981 |   361852 |    25408     29 |      648 |      494
989.42/989.84	c  989s |      18 |   553708 |   362452 |    25408     29 |      648 |      494
991.52/991.93	c  991s |      18 |   554412 |   363052 |    25408     29 |      648 |      494
993.82/994.25	c  993s |      18 |   555107 |   363652 |    25408     29 |      648 |      494
996.02/996.50	c  996s |      18 |   555774 |   364252 |    25408     29 |      648 |      494
998.53/998.95	c  998s |      18 |   556441 |   364852 |    25408     29 |      648 |      494
1000.63/1001.05	c 1000s |      18 |   556979 |   365352 |    25408     29 |      648 |      494
1002.72/1003.18	c 1002s |      18 |   557681 |   365952 |    25408     29 |      648 |      494
1005.13/1005.56	c 1005s |      18 |   558447 |   366652 |    25408     29 |      648 |      494
1007.32/1007.78	c 1007s |      18 |   559410 |   367452 |    25408     29 |      648 |      494
1009.52/1009.92	c 1009s |      18 |   560109 |   368052 |    25408     29 |      648 |      494
1011.82/1012.22	c 1011s |      18 |   560924 |   368752 |    25408     29 |      648 |      494
1014.02/1014.43	c 1014s |      18 |   561609 |   369352 |    25408     29 |      648 |      494
1016.12/1016.59	c 1016s |      18 |   562066 |   369752 |    25408     30 |      648 |      494
1018.22/1018.67	c 1018s |      18 |   562885 |   370452 |    25408     30 |      648 |      494
1020.32/1020.71	c 1020s |      18 |   563648 |   371152 |    25408     30 |      648 |      494
1022.42/1022.83	c 1022s |      18 |   564414 |   371852 |    25408     30 |      648 |      494
1024.42/1024.87	c 1024s |      18 |   565196 |   372552 |    25408     30 |      648 |      494
1026.62/1027.00	c 1026s |      18 |   565985 |   373252 |    25408     30 |      648 |      494
1028.71/1029.18	c 1028s |      18 |   566796 |   373952 |    25408     30 |      648 |      494
1030.91/1031.35	c 1031s |      18 |   567584 |   374652 |    25408     30 |      648 |      494
1033.21/1033.61	c 1033s |      18 |   568379 |   375352 |    25408     30 |      648 |      494
1035.41/1035.88	c 1035s |      18 |   569160 |   376052 |    25408     30 |      648 |      494
1037.51/1037.92	c 1037s |      18 |   569833 |   376652 |    25408     30 |      648 |      494
1039.61/1040.04	c 1039s |      18 |   570637 |   377352 |    25408     30 |      648 |      494
1041.71/1042.11	c 1041s |      18 |   571324 |   377952 |    25408     30 |      648 |      494
1043.71/1044.18	c 1043s |      18 |   572004 |   378552 |    25408     30 |      648 |      494
1046.01/1046.47	c 1046s |      18 |   572640 |   379152 |    25408     30 |      648 |      494
1048.21/1048.62	c 1048s |      18 |   573324 |   379752 |    25408     30 |      648 |      494
1050.51/1050.91	c 1050s |      18 |   573966 |   380352 |    25408     30 |      648 |      494
1052.61/1053.07	c 1052s |      18 |   574635 |   380952 |    25408     30 |      648 |      494
1054.71/1055.19	c 1054s |      18 |   575328 |   381552 |    25408     30 |      648 |      494
1056.82/1057.24	c 1056s |      18 |   575886 |   382052 |    25408     30 |      648 |      494
1058.92/1059.33	c 1059s |      18 |   576554 |   382652 |    25408     30 |      648 |      494
1061.01/1061.47	c 1061s |      18 |   577124 |   383152 |    25408     30 |      648 |      494
1063.21/1063.62	c 1063s |      18 |   577842 |   383752 |    25408     30 |      648 |      494
1065.31/1065.76	c 1065s |      18 |   578421 |   384252 |    25408     31 |      648 |      494
1067.51/1067.91	c 1067s |      18 |   579339 |   385052 |    25408     31 |      648 |      494
1069.51/1069.95	c 1069s |      18 |   580136 |   385752 |    25408     31 |      648 |      494
1071.61/1072.05	c 1071s |      18 |   580954 |   386452 |    25408     31 |      648 |      494
1073.90/1074.32	c 1074s |      18 |   581875 |   387252 |    25408     31 |      648 |      494
1076.10/1076.56	c 1076s |      18 |   582660 |   387952 |    25408     31 |      648 |      494
1078.30/1078.73	c 1078s |      18 |   583482 |   388652 |    25408     31 |      648 |      494
1080.40/1080.89	c 1080s |      18 |   584143 |   389252 |    25408     31 |      648 |      494
1082.50/1082.99	c 1082s |      18 |   584820 |   389852 |    25408     31 |      648 |      494
1084.60/1085.06	c 1084s |      18 |   585495 |   390452 |    25408     31 |      648 |      494
1086.80/1087.26	c 1086s |      18 |   586314 |   391152 |    25408     31 |      648 |      494
1089.20/1089.67	c 1089s |      18 |   586979 |   391752 |    25408     31 |      648 |      494
1091.50/1091.99	c 1091s |      18 |   587624 |   392352 |    25408     31 |      648 |      494
1093.60/1094.07	c 1093s |      18 |   588324 |   392952 |    25408     31 |      648 |      494
1096.00/1096.41	c 1096s |      18 |   589128 |   393652 |    25408     31 |      648 |      494
1098.30/1098.77	c 1098s |      18 |   589789 |   394252 |    25408     31 |      648 |      494
1100.60/1101.00	c 1100s |      18 |   590454 |   394852 |    25408     31 |      648 |      494
1102.70/1103.10	c 1102s |      18 |   590979 |   395352 |    25408     31 |      648 |      494
1104.90/1105.30	c 1105s |      18 |   591973 |   396152 |    25408     31 |      648 |      494
1107.01/1107.47	c 1107s |      18 |   592810 |   396852 |    25408     31 |      648 |      494
1109.31/1109.70	c 1109s |      18 |   593530 |   397452 |    25408     31 |      648 |      494
1111.31/1111.74	c 1111s |      18 |   594270 |   398052 |    25408     31 |      648 |      494
1113.51/1113.96	c 1113s |      18 |   594876 |   398552 |    25408     32 |      648 |      494
1115.71/1116.17	c 1115s |      18 |   595853 |   399352 |    25408     32 |      648 |      494
1117.81/1118.22	c 1117s |      18 |   596930 |   400252 |    25408     32 |      648 |      494
1120.01/1120.43	c 1120s |      18 |   597746 |   400952 |    25408     32 |      648 |      494
1122.11/1122.59	c 1122s |      18 |   598841 |   401852 |    25408     32 |      648 |      494
1124.31/1124.77	c 1124s |      18 |   599845 |   402652 |    25408     32 |      648 |      494
1126.60/1127.01	c 1126s |      18 |   600637 |   403352 |    25408     32 |      648 |      494
1128.60/1129.08	c 1128s |      18 |   601431 |   404052 |    25408     32 |      648 |      494
1130.90/1131.34	c 1131s |      18 |   602205 |   404752 |    25408     32 |      648 |      494
1133.10/1133.57	c 1133s |      18 |   602877 |   405352 |    25408     32 |      648 |      494
1135.30/1135.78	c 1135s |      18 |   603539 |   405952 |    25408     32 |      648 |      494
1137.50/1137.98	c 1137s |      18 |   604228 |   406552 |    25408     32 |      648 |      494
1139.80/1140.23	c 1139s |      18 |   605056 |   407252 |    25408     32 |      648 |      494
1142.00/1142.41	c 1142s |      18 |   605898 |   407952 |    25408     32 |      648 |      494
1144.00/1144.46	c 1144s |      18 |   606591 |   408552 |    25408     32 |      648 |      494
1146.10/1146.53	c 1146s |      18 |   607296 |   409152 |    25408     32 |      648 |      494
1148.30/1148.71	c 1148s |      18 |   608005 |   409752 |    25408     32 |      648 |      494
1150.50/1150.95	c 1150s |      18 |   608713 |   410352 |    25408     32 |      648 |      494
1152.80/1153.24	c 1152s |      18 |   609399 |   410952 |    25408     32 |      648 |      494
1155.10/1155.55	c 1155s |      18 |   610246 |   411652 |    25408     32 |      648 |      494
1157.40/1157.81	c 1157s |      18 |   610903 |   412252 |    25408     32 |      648 |      494
1159.80/1160.27	c 1159s |      18 |   611463 |   412752 |    25408     33 |      648 |      494
1161.90/1162.38	c 1162s |      18 |   612245 |   413452 |    25408     33 |      648 |      494
1164.30/1164.70	c 1164s |      18 |   613134 |   414252 |    25408     33 |      648 |      494
1166.59/1167.03	c 1166s |      18 |   613924 |   414952 |    25408     33 |      648 |      494
1168.90/1169.38	c 1169s |      18 |   614717 |   415652 |    25408     33 |      648 |      494
1170.99/1171.41	c 1171s |      18 |   615439 |   416252 |    25408     33 |      648 |      494
1173.19/1173.67	c 1173s |      18 |   616093 |   416852 |    25408     33 |      648 |      494
1175.39/1175.90	c 1175s |      18 |   616894 |   417552 |    25408     33 |      648 |      494
1177.59/1178.05	c 1177s |      18 |   617729 |   418252 |    25408     33 |      648 |      494
1179.69/1180.11	c 1179s |      18 |   618257 |   418752 |    25408     33 |      648 |      494
1181.99/1182.43	c 1182s |      18 |   619091 |   419452 |    25408     33 |      648 |      494
1184.09/1184.56	c 1184s |      18 |   619892 |   420152 |    25408     33 |      648 |      494
1186.39/1186.83	c 1186s |      18 |   620666 |   420852 |    25408     33 |      648 |      494
1188.49/1188.92	c 1188s |      18 |   621318 |   421452 |    25408     33 |      648 |      494
1190.59/1191.07	c 1190s |      18 |   622004 |   422052 |    25408     33 |      648 |      494
1192.69/1193.17	c 1192s |      18 |   622721 |   422652 |    25408     33 |      648 |      494
1194.69/1195.18	c 1194s |      18 |   623534 |   423352 |    25408     33 |      648 |      494
1196.89/1197.34	c 1197s |      18 |   624339 |   424052 |    25408     33 |      648 |      494
1199.19/1199.65	c 1199s |      18 |   625099 |   424752 |    25408     33 |      648 |      494
1201.49/1201.91	c 1201s |      18 |   625851 |   425352 |    25408     33 |      648 |      494
1203.49/1203.97	c 1203s |      18 |   626407 |   425852 |    25408     33 |      648 |      494
1205.59/1206.01	c 1205s |      18 |   626972 |   426352 |    25408     33 |      648 |      494
1207.89/1208.30	c 1208s |      18 |   627814 |   427052 |    25408     33 |      648 |      494
1210.09/1210.51	c 1210s |      18 |   628464 |   427652 |    25408     34 |      648 |      494
1212.09/1212.55	c 1212s |      18 |   629430 |   428452 |    25408     34 |      648 |      494
1214.19/1214.68	c 1214s |      18 |   630381 |   429252 |    25408     34 |      648 |      494
1216.49/1216.91	c 1216s |      18 |   631313 |   430052 |    25408     34 |      648 |      494
1218.50/1218.97	c 1218s |      18 |   632113 |   430752 |    25408     34 |      648 |      494
1220.79/1221.21	c 1220s |      18 |   633042 |   431552 |    25408     34 |      648 |      494
1222.99/1223.43	c 1223s |      18 |   633990 |   432352 |    25408     34 |      648 |      494
1225.19/1225.64	c 1225s |      18 |   634786 |   433052 |    25408     34 |      648 |      494
1227.39/1227.89	c 1227s |      18 |   635569 |   433752 |    25408     34 |      648 |      494
1229.69/1230.15	c 1229s |      18 |   636352 |   434452 |    25408     34 |      648 |      494
1231.79/1232.25	c 1231s |      18 |   637038 |   435052 |    25408     34 |      648 |      494
1233.89/1234.38	c 1234s |      18 |   637751 |   435652 |    25408     34 |      648 |      494
1236.29/1236.72	c 1236s |      18 |   638426 |   436252 |    25408     34 |      648 |      494
1238.49/1238.93	c 1238s |      18 |   639100 |   436852 |    25408     34 |      648 |      494
1240.49/1240.97	c 1240s |      18 |   639649 |   437352 |    25408     34 |      648 |      494
1242.78/1243.28	c 1243s |      18 |   640305 |   437952 |    25408     34 |      648 |      494
1244.98/1245.47	c 1245s |      18 |   640992 |   438552 |    25408     34 |      648 |      494
1247.09/1247.57	c 1247s |      18 |   641535 |   439052 |    25408     34 |      648 |      494
1249.48/1249.92	c 1249s |      18 |   642205 |   439652 |    25408     34 |      648 |      494
1251.68/1252.14	c 1251s |      18 |   642743 |   440152 |    25408     34 |      648 |      494
1254.08/1254.52	c 1254s |      18 |   643301 |   440652 |    25408     34 |      648 |      494
1256.38/1256.83	c 1256s |      18 |   643850 |   441152 |    25408     34 |      648 |      494
1258.58/1259.09	c 1258s |      18 |   644403 |   441652 |    27949     35 |      648 |      494
1260.88/1261.37	c 1261s |      18 |   645055 |   442252 |    27949     35 |      648 |      494
1263.08/1263.53	c 1263s |      18 |   645686 |   442852 |    27949     35 |      648 |      494
1265.18/1265.61	c 1265s |      18 |   646353 |   443452 |    27949     35 |      648 |      494
1267.28/1267.74	c 1267s |      18 |   646999 |   444052 |    27949     35 |      648 |      494
1268.78/1269.26	c 1268s |      19 |   647475 |   444482 |    27949     35 |      648 |      494
1270.88/1271.37	c 1271s |      19 |   650942 |   445882 |    27949     35 |      648 |      494
1273.08/1273.54	c 1273s |      19 |   652626 |   447282 |    27949     35 |      648 |      494
1275.18/1275.62	c 1275s |      19 |   654159 |   448582 |    27949     35 |      648 |      494
1277.17/1277.64	c 1277s |      19 |   655551 |   449782 |    27949     35 |      648 |      494
1279.27/1279.72	c 1279s |      19 |   656884 |   450982 |    27949     35 |      648 |      494
1281.37/1281.81	c 1281s |      19 |   658327 |   452082 |    27949     35 |      648 |      494
1283.47/1283.90	c 1283s |      19 |   659588 |   453182 |    27949     35 |      648 |      494
1285.48/1285.99	c 1285s |      19 |   660577 |   454082 |    27949     35 |      648 |      494
1287.78/1288.24	c 1287s |      19 |   661543 |   454982 |    27949     35 |      648 |      494
1289.98/1290.47	c 1290s |      19 |   662728 |   455982 |    27949     35 |      648 |      494
1292.18/1292.65	c 1292s |      19 |   663737 |   456882 |    27949     35 |      648 |      494
1294.38/1294.81	c 1294s |      19 |   664749 |   457782 |    27949     35 |      648 |      494
1296.48/1296.95	c 1296s |      19 |   665400 |   458382 |    27949     36 |      648 |      494
1298.68/1299.11	c 1298s |      19 |   666297 |   459182 |    27949     36 |      648 |      494
1300.88/1301.37	c 1301s |      19 |   667208 |   459982 |    27949     36 |      648 |      494
1303.18/1303.65	c 1303s |      19 |   667977 |   460682 |    27949     36 |      648 |      494
1305.47/1305.93	c 1305s |      19 |   668733 |   461382 |    27949     36 |      648 |      494
1307.68/1308.12	c 1307s |      19 |   669502 |   462082 |    27949     36 |      648 |      494
1309.68/1310.17	c 1309s |      19 |   670158 |   462682 |    27949     36 |      648 |      494
1311.88/1312.36	c 1312s |      19 |   670826 |   463282 |    27949     36 |      648 |      494
1313.98/1314.44	c 1314s |      19 |   671610 |   463982 |    27949     36 |      648 |      494
1316.08/1316.53	c 1316s |      19 |   672385 |   464682 |    27949     36 |      648 |      494
1318.08/1318.53	c 1318s |      19 |   673030 |   465282 |    27949     36 |      648 |      494
1320.38/1320.80	c 1320s |      19 |   673801 |   465982 |    27949     36 |      648 |      494
1322.48/1322.99	c 1322s |      19 |   674452 |   466582 |    27949     36 |      648 |      494
1324.68/1325.16	c 1324s |      19 |   675114 |   467182 |    27949     36 |      648 |      494
1326.87/1327.33	c 1327s |      19 |   675771 |   467782 |    27949     36 |      648 |      494
1329.27/1329.71	c 1329s |      19 |   676422 |   468382 |    27949     36 |      648 |      494
1331.47/1331.96	c 1331s |      19 |   677062 |   468982 |    27949     36 |      648 |      494
1333.98/1334.42	c 1334s |      19 |   677690 |   469582 |    27949     36 |      648 |      494
1336.18/1336.68	c 1336s |      19 |   678384 |   470182 |    27949     36 |      648 |      494
1338.28/1338.75	c 1338s |      19 |   678934 |   470682 |    27949     36 |      648 |      494
1340.37/1340.86	c 1340s |      19 |   679481 |   471182 |    27949     36 |      648 |      494
1342.57/1343.02	c 1342s |      19 |   680148 |   471782 |    27949     36 |      648 |      494
1344.67/1345.11	c 1344s |      19 |   680787 |   472382 |    27949     36 |      648 |      494
1346.87/1347.31	c 1347s |      19 |   681451 |   472982 |    27949     36 |      648 |      494
1349.17/1349.65	c 1349s |      19 |   681993 |   473482 |    27949     36 |      648 |      494
1351.48/1351.97	c 1351s |      19 |   682441 |   473882 |    27949     37 |      648 |      494
1353.47/1353.99	c 1353s |      19 |   683131 |   474482 |    27949     37 |      648 |      494
1355.57/1356.07	c 1355s |      19 |   683894 |   475182 |    27949     37 |      648 |      494
1357.67/1358.16	c 1357s |      19 |   684651 |   475882 |    27949     37 |      648 |      494
1359.87/1360.37	c 1360s |      19 |   685405 |   476582 |    27949     37 |      648 |      494
1361.87/1362.39	c 1362s |      19 |   686044 |   477182 |    27949     37 |      648 |      494
1364.27/1364.72	c 1364s |      19 |   686785 |   477882 |    27949     37 |      648 |      494
1366.27/1366.73	c 1366s |      19 |   687447 |   478482 |    27949     37 |      648 |      494
1368.47/1368.91	c 1368s |      19 |   688215 |   479182 |    27949     37 |      648 |      494
1370.47/1370.94	c 1370s |      19 |   688862 |   479782 |    27949     37 |      648 |      494
1372.47/1372.99	c 1372s |      19 |   689368 |   480282 |    27949     37 |      648 |      494
1374.77/1375.28	c 1375s |      19 |   690022 |   480882 |    27949     37 |      648 |      494
1376.87/1377.35	c 1377s |      19 |   690562 |   481382 |    27949     37 |      648 |      494
1378.87/1379.37	c 1379s |      19 |   691105 |   481882 |    27949     37 |      648 |      494
1381.27/1381.72	c 1381s |      19 |   691622 |   482382 |    27949     37 |      648 |      494
1383.67/1384.16	c 1383s |      19 |   692269 |   482982 |    27949     37 |      648 |      494
1385.97/1386.49	c 1386s |      19 |   692813 |   483482 |    27949     37 |      648 |      494
1388.07/1388.53	c 1388s |      19 |   693352 |   483982 |    27949     37 |      648 |      494
1390.16/1390.66	c 1390s |      19 |   693895 |   484482 |    27949     37 |      648 |      494
1392.36/1392.81	c 1392s |      19 |   694436 |   484982 |    27949     37 |      648 |      494
1394.66/1395.19	c 1394s |      19 |   694960 |   485482 |    27949     37 |      648 |      494
1396.96/1397.40	c 1397s |      19 |   695510 |   485982 |    27949     37 |      648 |      494
1398.96/1399.45	c 1399s |      19 |   696061 |   486482 |    27949     37 |      648 |      494
1401.46/1401.91	c 1401s |      19 |   696711 |   487082 |    27949     37 |      648 |      494
1403.56/1404.07	c 1403s |      19 |   697239 |   487582 |    27949     37 |      648 |      494
1405.76/1406.25	c 1405s |      19 |   697766 |   488082 |    27949     37 |      648 |      494
1408.06/1408.51	c 1408s |      19 |   698403 |   488682 |    27949     37 |      648 |      494
1410.16/1410.61	c 1410s |      19 |   698951 |   489182 |    27949     37 |      648 |      494
1412.16/1412.68	c 1412s |      19 |   699389 |   489582 |    27949     38 |      648 |      494
1414.46/1415.00	c 1414s |      19 |   700124 |   490282 |    27949     38 |      648 |      494
1416.86/1417.31	c 1417s |      19 |   700872 |   490982 |    27949     38 |      648 |      494
1419.06/1419.53	c 1419s |      19 |   701822 |   491782 |    27949     38 |      648 |      494
1421.16/1421.65	c 1421s |      19 |   702583 |   492482 |    27949     38 |      648 |      494
1423.16/1423.68	c 1423s |      19 |   703354 |   493182 |    27949     38 |      648 |      494
1425.17/1425.69	c 1425s |      19 |   704149 |   493882 |    27949     38 |      648 |      494
1427.47/1427.91	c 1427s |      19 |   704917 |   494582 |    27949     38 |      648 |      494
1429.66/1430.17	c 1429s |      19 |   705721 |   495282 |    27949     38 |      648 |      494
1431.76/1432.22	c 1431s |      19 |   706369 |   495882 |    27949     38 |      648 |      494
1433.86/1434.34	c 1434s |      19 |   707019 |   496482 |    27949     38 |      648 |      494
1435.96/1436.41	c 1436s |      19 |   707689 |   497082 |    27949     38 |      648 |      494
1437.96/1438.44	c 1438s |      19 |   708366 |   497682 |    27949     38 |      648 |      494
1440.25/1440.77	c 1440s |      19 |   709008 |   498282 |    27949     38 |      648 |      494
1442.55/1443.00	c 1442s |      19 |   709659 |   498882 |    27949     38 |      648 |      494
1444.85/1445.30	c 1445s |      19 |   710302 |   499482 |    27949     38 |      648 |      494
1447.05/1447.55	c 1447s |      19 |   710971 |   500082 |    27949     38 |      648 |      494
1449.25/1449.75	c 1449s |      19 |   711629 |   500682 |    27949     38 |      648 |      494
1451.45/1452.00	c 1451s |      19 |   712277 |   501282 |    27949     38 |      648 |      494
1453.86/1454.39	c 1454s |      19 |   712934 |   501882 |    27949     38 |      648 |      494
1455.96/1456.44	c 1456s |      19 |   713483 |   502382 |    27949     38 |      648 |      494
1458.05/1458.59	c 1458s |      19 |   714009 |   502882 |    27949     38 |      648 |      494
1460.36/1460.83	c 1460s |      19 |   714557 |   503382 |    27949     38 |      648 |      494
1462.56/1463.00	c 1462s |      19 |   715114 |   503882 |    27949     38 |      648 |      494
1464.86/1465.34	c 1465s |      19 |   715635 |   504382 |    27949     38 |      648 |      494
1467.06/1467.51	c 1467s |      19 |   716161 |   504882 |    27949     38 |      648 |      494
1469.16/1469.61	c 1469s |      19 |   716728 |   505382 |    27949     39 |      648 |      494
1471.36/1471.89	c 1471s |      19 |   717606 |   506182 |    27949     39 |      648 |      494
1473.66/1474.17	c 1473s |      19 |   718391 |   506882 |    27949     39 |      648 |      494
1475.65/1476.20	c 1475s |      19 |   719051 |   507482 |    27949     39 |      648 |      494
1477.96/1478.49	c 1478s |      19 |   719804 |   508182 |    27949     39 |      648 |      494
1480.05/1480.51	c 1480s |      19 |   720477 |   508782 |    27949     39 |      648 |      494
1482.15/1482.62	c 1482s |      19 |   721131 |   509382 |    27949     39 |      648 |      494
1484.35/1484.87	c 1484s |      19 |   721788 |   509982 |    27949     39 |      648 |      494
1486.75/1487.21	c 1486s |      19 |   722433 |   510582 |    27949     39 |      648 |      494
1488.75/1489.26	c 1488s |      19 |   722968 |   511082 |    27949     39 |      648 |      494
1491.15/1491.63	c 1491s |      19 |   723637 |   511682 |    27949     39 |      648 |      494
1493.35/1493.81	c 1493s |      19 |   724305 |   512282 |    27949     39 |      648 |      494
1495.65/1496.10	c 1495s |      19 |   724962 |   512882 |    27949     39 |      648 |      494
1497.85/1498.31	c 1498s |      19 |   725613 |   513482 |    27949     39 |      648 |      494
1499.85/1500.33	c 1500s |      19 |   726159 |   513982 |    27949     39 |      648 |      494
1502.25/1502.72	c 1502s |      19 |   726821 |   514582 |    27949     39 |      648 |      494
1504.64/1505.14	c 1504s |      19 |   727475 |   515182 |    27949     39 |      648 |      494
1506.84/1507.30	c 1507s |      19 |   728004 |   515682 |    27949     39 |      648 |      494
1508.94/1509.40	c 1509s |      19 |   728547 |   516182 |    27949     39 |      648 |      494
1511.05/1511.59	c 1511s |      19 |   729087 |   516682 |    27949     39 |      648 |      494
1513.25/1513.72	c 1513s |      19 |   729608 |   517182 |    27949     39 |      648 |      494
1515.45/1515.91	c 1515s |      19 |   730141 |   517682 |    27949     39 |      648 |      494
1517.65/1518.17	c 1517s |      19 |   730686 |   518182 |    27949     39 |      648 |      494
1519.94/1520.42	c 1520s |      19 |   731235 |   518682 |    27949     39 |      648 |      494
1522.14/1522.60	c 1522s |      19 |   731781 |   519182 |    27949     39 |      648 |      494
1524.44/1524.97	c 1524s |      19 |   732307 |   519682 |    27949     39 |      648 |      494
1526.74/1527.29	c 1527s |      19 |   732831 |   520182 |    27949     39 |      648 |      494
1529.34/1529.89	c 1529s |      19 |   733275 |   520582 |    27949     40 |      648 |      494
1531.54/1532.01	c 1531s |      19 |   734031 |   521282 |    27949     40 |      648 |      494
1533.74/1534.21	c 1533s |      19 |   734788 |   521982 |    27949     40 |      648 |      494
1535.94/1536.41	c 1536s |      19 |   735547 |   522682 |    27949     40 |      648 |      494
1538.24/1538.71	c 1538s |      19 |   736310 |   523382 |    27949     40 |      648 |      494
1540.24/1540.80	c 1540s |      19 |   736954 |   523982 |    27949     40 |      648 |      494
1542.34/1542.85	c 1542s |      19 |   737619 |   524582 |    27949     40 |      648 |      494
1544.54/1545.05	c 1544s |      19 |   738259 |   525182 |    27949     40 |      648 |      494
1546.64/1547.19	c 1546s |      19 |   738913 |   525782 |    27949     40 |      648 |      494
1548.74/1549.26	c 1548s |      19 |   739573 |   526382 |    27949     40 |      648 |      494
1550.84/1551.37	c 1551s |      19 |   740214 |   526982 |    27949     40 |      648 |      494
1553.14/1553.60	c 1553s |      19 |   740865 |   527582 |    27949     40 |      648 |      494
1555.24/1555.79	c 1555s |      19 |   741532 |   528182 |    27949     40 |      648 |      494
1557.54/1558.07	c 1557s |      19 |   742330 |   528882 |    27949     40 |      648 |      494
1559.73/1560.25	c 1559s |      19 |   743027 |   529482 |    27949     40 |      648 |      494
1561.83/1562.33	c 1562s |      19 |   743697 |   530082 |    27949     40 |      648 |      494
1564.13/1564.69	c 1564s |      19 |   744410 |   530682 |    27949     40 |      648 |      494
1566.43/1566.96	c 1566s |      19 |   745065 |   531282 |    27949     40 |      648 |      494
1568.53/1569.00	c 1568s |      19 |   745604 |   531782 |    27949     40 |      648 |      494
1570.53/1571.04	c 1570s |      19 |   746163 |   532282 |    27949     40 |      648 |      494
1572.83/1573.38	c 1573s |      19 |   746706 |   532782 |    27949     40 |      648 |      494
1575.13/1575.63	c 1575s |      19 |   747250 |   533282 |    27949     40 |      648 |      494
1577.33/1577.86	c 1577s |      19 |   747810 |   533782 |    27949     40 |      648 |      494
1579.43/1579.95	c 1579s |      19 |   748365 |   534282 |    27949     40 |      648 |      494
1581.53/1582.07	c 1581s |      19 |   748909 |   534782 |    27949     40 |      648 |      494
1583.73/1584.21	c 1583s |      19 |   749439 |   535282 |    27949     40 |      648 |      494
1586.03/1586.53	c 1586s |      19 |   749981 |   535782 |    27949     40 |      648 |      494
1588.43/1588.90	c 1588s |      19 |   750398 |   536182 |    27949     41 |      648 |      494
1590.43/1590.95	c 1590s |      19 |   751052 |   536782 |    27949     41 |      648 |      494
1592.53/1593.02	c 1592s |      19 |   751686 |   537382 |    27949     41 |      648 |      494
1594.63/1595.18	c 1594s |      19 |   752336 |   537982 |    27949     41 |      648 |      494
1596.73/1597.27	c 1596s |      19 |   753002 |   538582 |    27949     41 |      648 |      494
1598.93/1599.43	c 1599s |      19 |   753645 |   539182 |    27949     41 |      648 |      494
1601.02/1601.52	c 1601s |      19 |   754310 |   539782 |    27949     41 |      648 |      494
1603.02/1603.54	c 1603s |      19 |   755123 |   540482 |    27949     41 |      648 |      494
1605.32/1605.85	c 1605s |      19 |   756137 |   541282 |    27949     41 |      648 |      494
1607.52/1608.07	c 1607s |      19 |   756825 |   541882 |    27949     41 |      648 |      494
1609.62/1610.15	c 1609s |      19 |   757509 |   542482 |    27949     41 |      648 |      494
1611.72/1612.25	c 1611s |      19 |   758167 |   543082 |    27949     41 |      648 |      494
1613.92/1614.43	c 1614s |      19 |   758825 |   543682 |    27949     41 |      648 |      494
1615.92/1616.47	c 1616s |      19 |   759466 |   544282 |    27949     41 |      648 |      494
1618.12/1618.61	c 1618s |      19 |   760126 |   544882 |    27949     41 |      648 |      494
1620.42/1620.97	c 1620s |      19 |   760760 |   545482 |    27949     41 |      648 |      494
1622.82/1623.34	c 1623s |      19 |   761394 |   546082 |    27949     41 |      648 |      494
1625.12/1625.66	c 1625s |      19 |   762039 |   546682 |    27949     41 |      648 |      494
1627.53/1628.07	c 1627s |      19 |   762669 |   547282 |    27949     41 |      648 |      494
1629.92/1630.40	c 1630s |      19 |   763196 |   547782 |    27949     41 |      648 |      494
1631.93/1632.41	c 1632s |      19 |   763714 |   548282 |    27949     41 |      648 |      494
1633.92/1634.46	c 1634s |      19 |   764263 |   548782 |    27949     41 |      648 |      494
1636.12/1636.63	c 1636s |      19 |   764800 |   549282 |    27949     41 |      648 |      494
1638.12/1638.65	c 1638s |      19 |   765353 |   549782 |    27949     41 |      648 |      494
1640.52/1641.07	c 1640s |      19 |   766014 |   550382 |    27949     41 |      648 |      494
1642.82/1643.30	c 1643s |      19 |   766532 |   550882 |    27949     41 |      648 |      494
1645.12/1645.65	c 1645s |      19 |   767077 |   551382 |    27949     41 |      648 |      494
1647.33/1647.83	c 1647s |      19 |   767601 |   551782 |    27949     42 |      648 |      494
1649.53/1650.08	c 1649s |      19 |   768431 |   552482 |    27949     42 |      648 |      494
1651.62/1652.18	c 1651s |      19 |   769168 |   553182 |    27949     42 |      648 |      494
1653.82/1654.35	c 1654s |      19 |   769951 |   553882 |    27949     42 |      648 |      494
1655.92/1656.42	c 1656s |      19 |   770609 |   554482 |    27949     42 |      648 |      494
1658.22/1658.70	c 1658s |      19 |   771371 |   555182 |    27949     42 |      648 |      494
1660.32/1660.87	c 1660s |      19 |   771999 |   555782 |    27949     42 |      648 |      494
1662.42/1662.90	c 1662s |      19 |   772640 |   556382 |    27949     42 |      648 |      494
1664.52/1665.09	c 1664s |      19 |   773300 |   556982 |    27949     42 |      648 |      494
1666.82/1667.38	c 1667s |      19 |   773941 |   557582 |    27949     42 |      648 |      494
1669.22/1669.71	c 1669s |      19 |   774574 |   558182 |    27949     42 |      648 |      494
1671.42/1671.94	c 1671s |      19 |   775105 |   558682 |    27949     42 |      648 |      494
1673.52/1674.09	c 1673s |      19 |   775769 |   559282 |    27949     42 |      648 |      494
1675.72/1676.24	c 1675s |      19 |   776434 |   559882 |    27949     42 |      648 |      494
1677.92/1678.49	c 1678s |      19 |   777123 |   560482 |    27949     42 |      648 |      494
1680.02/1680.59	c 1680s |      19 |   777658 |   560982 |    27949     42 |      648 |      494
1682.42/1682.91	c 1682s |      19 |   778307 |   561582 |    27949     42 |      648 |      494
1684.52/1685.09	c 1684s |      19 |   778870 |   562082 |    27949     42 |      648 |      494
1686.62/1687.14	c 1686s |      19 |   779404 |   562582 |    27949     42 |      648 |      494
1689.02/1689.56	c 1689s |      19 |   779932 |   563082 |    27949     42 |      648 |      494
1691.42/1691.99	c 1691s |      19 |   780489 |   563582 |    27949     42 |      648 |      494
1693.82/1694.31	c 1694s |      19 |   781025 |   564082 |    27949     42 |      648 |      494
1695.92/1696.41	c 1696s |      19 |   781446 |   564482 |    27949     42 |      648 |      494
1698.02/1698.58	c 1698s |      19 |   781971 |   564982 |    27949     42 |      648 |      494
1700.02/1700.60	c 1700s |      19 |   782502 |   565482 |    27949     42 |      648 |      494
1702.12/1702.62	c 1702s |      19 |   783047 |   565982 |    27949     42 |      648 |      494
1704.52/1705.10	c 1704s |      19 |   783578 |   566482 |    27949     42 |      648 |      494
1706.72/1707.26	c 1706s |      19 |   784003 |   566882 |    27949     42 |      648 |      494
1709.21/1709.76	c 1709s |      19 |   784440 |   567282 |    27949     43 |      648 |      494
1711.41/1711.96	c 1711s |      19 |   785092 |   567882 |    27949     43 |      648 |      494
1713.61/1714.11	c 1713s |      19 |   785839 |   568582 |    27949     43 |      648 |      494
1715.71/1716.26	c 1715s |      19 |   786487 |   569182 |    27949     43 |      648 |      494
1717.91/1718.47	c 1718s |      19 |   787116 |   569782 |    27949     43 |      648 |      494
1720.11/1720.69	c 1720s |      19 |   787738 |   570382 |    27949     43 |      648 |      494
1722.22/1722.70	c 1722s |      19 |   788391 |   570982 |    27949     43 |      648 |      494
1724.21/1724.72	c 1724s |      19 |   789047 |   571582 |    27949     43 |      648 |      494
1726.21/1726.77	c 1726s |      19 |   789585 |   572082 |    27949     43 |      648 |      494
1728.61/1729.15	c 1728s |      19 |   790215 |   572682 |    27949     43 |      648 |      494
1731.02/1731.52	c 1731s |      19 |   790852 |   573282 |    27949     43 |      648 |      494
1733.12/1733.63	c 1733s |      19 |   791379 |   573782 |    27949     43 |      648 |      494
1735.21/1735.75	c 1735s |      19 |   792003 |   574382 |    27949     43 |      648 |      494
1737.41/1737.94	c 1737s |      19 |   792525 |   574882 |    27949     43 |      648 |      494
1739.71/1740.30	c 1740s |      19 |   793189 |   575482 |    27949     43 |      648 |      494
1741.81/1742.40	c 1742s |      19 |   793827 |   576082 |    27949     43 |      648 |      494
1743.91/1744.42	c 1744s |      19 |   794360 |   576582 |    27949     43 |      648 |      494
1746.21/1746.78	c 1746s |      19 |   794997 |   577182 |    27949     43 |      648 |      494
1748.41/1748.99	c 1748s |      19 |   795512 |   577682 |    27949     43 |      648 |      494
1750.81/1751.33	c 1751s |      19 |   796048 |   578182 |    27949     43 |      648 |      494
1753.01/1753.60	c 1753s |      19 |   796584 |   578682 |    27949     43 |      648 |      494
1755.30/1755.83	c 1755s |      19 |   797121 |   579182 |    27949     43 |      648 |      494
1757.31/1757.83	c 1757s |      19 |   797534 |   579582 |    27949     43 |      648 |      494
1759.61/1760.17	c 1759s |      19 |   798064 |   580082 |    27949     43 |      648 |      494
1761.90/1762.48	c 1762s |      19 |   798599 |   580582 |    27949     43 |      648 |      494
1764.10/1764.60	c 1764s |      19 |   799147 |   581082 |    27949     43 |      648 |      494
1766.40/1766.90	c 1766s |      19 |   799680 |   581582 |    27949     43 |      648 |      494
1768.60/1769.10	c 1768s |      19 |   800218 |   582082 |    27949     43 |      648 |      494
1770.70/1771.21	c 1770s |      19 |   800736 |   582582 |    27949     43 |      648 |      494
1772.71/1773.22	c 1772s |      19 |   801048 |   582882 |    27949     44 |      648 |      494
1774.70/1775.22	c 1774s |      19 |   801572 |   583382 |    27949     44 |      648 |      494
1777.00/1777.58	c 1777s |      19 |   802198 |   583982 |    27949     44 |      648 |      494
1779.41/1779.98	c 1779s |      19 |   802834 |   584582 |    27949     44 |      648 |      494
1781.61/1782.15	c 1781s |      19 |   803475 |   585182 |    27949     44 |      648 |      494
1783.60/1784.16	c 1783s |      19 |   803994 |   585682 |    27949     44 |      648 |      494
1785.60/1786.17	c 1785s |      19 |   804510 |   586182 |    27949     44 |      648 |      494
1788.00/1788.54	c 1788s |      19 |   805131 |   586782 |    27949     44 |      648 |      494
1790.30/1790.85	c 1790s |      19 |   806031 |   587482 |    27949     44 |      648 |      494
1792.50/1793.02	c 1792s |      19 |   806864 |   588182 |    27949     44 |      648 |      494
1794.50/1795.07	c 1794s |      19 |   807570 |   588782 |    27949     44 |      648 |      494
1796.70/1797.25	c 1796s |      19 |   808233 |   589382 |    27949     44 |      648 |      494
1798.90/1799.44	c 1799s |      19 |   808896 |   589982 |    27949     44 |      648 |      494

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

pid=22753
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.10 1.08 1.23 3/171 22757
/proc/meminfo: memFree=30770524/32872528 swapFree=870628/942168
[pid=22757] ppid=22753 vsize=663108 CPUtime=0 cores=1,3,5,7
/proc/22757/stat : 22757 (toysat) R 22753 22757 22716 0 -1 4202496 2463 0 0 0 0 0 0 0 20 0 4 0 30577700 679022592 3334 33554432000 4194304 16246674 140735766932352 140735766931776 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22757/statm: 166545 3343 442 2943 0 163439 0
[pid=22757/tid=22759] ppid=22753 vsize=679492 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22759/stat : 22759 (toysat) S 22753 22757 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30577701 695799808 3399 33554432000 4194304 16246674 140735766932352 140324758334704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=22757/tid=22760] ppid=22753 vsize=687684 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22760/stat : 22760 (toysat) S 22753 22757 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30577701 704188416 3432 33554432000 4194304 16246674 140735766932352 140324747844848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22757/tid=22761] ppid=22753 vsize=692804 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22761/stat : 22761 (toysat) S 22753 22757 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30577701 709431296 3451 33554432000 4194304 16246674 140735766932352 140324634619056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100126 s]
/proc/loadavg: 1.10 1.08 1.23 3/171 22757
/proc/meminfo: memFree=30770524/32872528 swapFree=870628/942168
[pid=22757] ppid=22753 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/22757/stat : 22757 (toysat) R 22753 22757 22716 0 -1 4202496 28467 0 0 0 5 4 0 0 20 0 4 0 30577700 1249447936 29276 33554432000 4194304 16246674 140735766932352 140735766931664 4220936 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22757/statm: 305041 29276 802 2943 0 301935 0
[pid=22757/tid=22759] ppid=22753 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22759/stat : 22759 (toysat) S 22753 22757 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30577701 1249447936 29276 33554432000 4194304 16246674 140735766932352 140324758334704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=22757/tid=22760] ppid=22753 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22760/stat : 22760 (toysat) S 22753 22757 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30577701 1249447936 29276 33554432000 4194304 16246674 140735766932352 140324747844848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22757/tid=22761] ppid=22753 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22761/stat : 22761 (toysat) S 22753 22757 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30577701 1249447936 29276 33554432000 4194304 16246674 140735766932352 140324634619056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200493 s]
/proc/loadavg: 1.10 1.08 1.23 3/171 22757
/proc/meminfo: memFree=30770524/32872528 swapFree=870628/942168
[pid=22757] ppid=22753 vsize=1301060 CPUtime=0.19 cores=1,3,5,7
/proc/22757/stat : 22757 (toysat) R 22753 22757 22716 0 -1 4202496 48674 0 0 0 12 7 0 0 20 0 4 0 30577700 1332285440 49483 33554432000 4194304 16246674 140735766932352 140735766931664 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22757/statm: 325265 49483 843 2943 0 322159 0
[pid=22757/tid=22759] ppid=22753 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22759/stat : 22759 (toysat) S 22753 22757 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30577701 1332285440 49483 33554432000 4194304 16246674 140735766932352 140324758334704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=22757/tid=22760] ppid=22753 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22760/stat : 22760 (toysat) S 22753 22757 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30577701 1332285440 49483 33554432000 4194304 16246674 140735766932352 140324747844848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22757/tid=22761] ppid=22753 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22761/stat : 22761 (toysat) S 22753 22757 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30577701 1332285440 49483 33554432000 4194304 16246674 140735766932352 140324634619056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300443 s]
/proc/loadavg: 1.10 1.08 1.23 3/171 22757
/proc/meminfo: memFree=30770524/32872528 swapFree=870628/942168
[pid=22757] ppid=22753 vsize=1301060 CPUtime=0.29 cores=1,3,5,7
/proc/22757/stat : 22757 (toysat) R 22753 22757 22716 0 -1 4202496 54598 0 0 0 21 8 0 0 20 0 4 0 30577700 1332285440 55408 33554432000 4194304 16246674 140735766932352 140735766931664 5677277 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22757/statm: 325265 55414 883 2943 0 322159 0
[pid=22757/tid=22759] ppid=22753 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22759/stat : 22759 (toysat) S 22753 22757 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30577701 1332285440 55418 33554432000 4194304 16246674 140735766932352 140324758334704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=22757/tid=22760] ppid=22753 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22760/stat : 22760 (toysat) S 22753 22757 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30577701 1332285440 55421 33554432000 4194304 16246674 140735766932352 140324747844848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22757/tid=22761] ppid=22753 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22761/stat : 22761 (toysat) S 22753 22757 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30577701 1332285440 55424 33554432000 4194304 16246674 140735766932352 140324634619056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700361 s]
/proc/loadavg: 1.10 1.08 1.23 3/171 22757
/proc/meminfo: memFree=30770524/32872528 swapFree=870628/942168
[pid=22757] ppid=22753 vsize=1301060 CPUtime=0.69 cores=1,3,5,7
/proc/22757/stat : 22757 (toysat) R 22753 22757 22716 0 -1 4202496 103697 0 0 0 55 14 0 0 20 0 4 0 30577700 1332285440 104506 33554432000 4194304 16246674 140735766932352 140735766914240 12478070 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22757/statm: 325265 104512 883 2943 0 322159 0
[pid=22757/tid=22759] ppid=22753 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22759/stat : 22759 (toysat) S 22753 22757 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30577701 1332285440 104516 33554432000 4194304 16246674 140735766932352 140324758334704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=22757/tid=22760] ppid=22753 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22760/stat : 22760 (toysat) S 22753 22757 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30577701 1332285440 104520 33554432000 4194304 16246674 140735766932352 140324747844848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22757/tid=22761] ppid=22753 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22761/stat : 22761 (toysat) S 22753 22757 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30577701 1332285440 104525 33554432000 4194304 16246674 140735766932352 140324634619056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50037 s]
/proc/loadavg: 1.10 1.08 1.23 3/183 22769
/proc/meminfo: memFree=29571100/32872528 swapFree=870628/942168
[pid=22757] ppid=22753 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/22757/stat : 22757 (toysat) R 22753 22757 22716 0 -1 4202496 203267 0 0 0 120 29 0 0 20 0 4 0 30577700 1332285440 204076 33554432000 4194304 16246674 140735766932352 140735766914240 5546098 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22757/statm: 325265 204080 883 2943 0 322159 0
[pid=22757/tid=22759] ppid=22753 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22759/stat : 22759 (toysat) S 22753 22757 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30577701 1332285440 204082 33554432000 4194304 16246674 140735766932352 140324758334704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=22757/tid=22760] ppid=22753 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22760/stat : 22760 (toysat) S 22753 22757 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30577701 1332285440 204084 33554432000 4194304 16246674 140735766932352 140324747844848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22757/tid=22761] ppid=22753 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22761/stat : 22761 (toysat) S 22753 22757 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30577701 1332285440 204087 33554432000 4194304 16246674 140735766932352 140324634619056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10038 s]
/proc/loadavg: 1.10 1.08 1.23 3/183 22769
/proc/meminfo: memFree=28699876/32872528 swapFree=870628/942168
[pid=22757] ppid=22753 vsize=1313348 CPUtime=3.09 cores=1,3,5,7
/proc/22757/stat : 22757 (toysat) R 22753 22757 22716 0 -1 4202496 247665 0 0 0 272 37 0 0 20 0 4 0 30577700 1344868352 248474 33554432000 4194304 16246674 140735766932352 140735766914240 13780514 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22757/statm: 328337 248474 890 2943 0 325231 0
[pid=22757/tid=22759] ppid=22753 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22759/stat : 22759 (toysat) S 22753 22757 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30577701 1344868352 248474 33554432000 4194304 16246674 140735766932352 140324758334704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=22757/tid=22760] ppid=22753 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22760/stat : 22760 (toysat) S 22753 22757 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30577701 1344868352 248474 33554432000 4194304 16246674 140735766932352 140324747844848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22757/tid=22761] ppid=22753 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22761/stat : 22761 (toysat) S 22753 22757 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30577701 1344868352 248474 33554432000 4194304 16246674 140735766932352 140324634619056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30038 s]
/proc/loadavg: 1.18 1.09 1.24 3/183 22769
/proc/meminfo: memFree=28667224/32872528 swapFree=870628/942168
[pid=22757] ppid=22753 vsize=1313348 CPUtime=6.29 cores=1,3,5,7
/proc/22757/stat : 22757 (toysat) R 22753 22757 22716 0 -1 4202496 255515 0 0 0 591 38 0 0 20 0 4 0 30577700 1344868352 256324 33554432000 4194304 16246674 140735766932352 140735766914240 12415740 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22757/statm: 328337 256324 890 2943 0 325231 0
[pid=22757/tid=22759] ppid=22753 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22759/stat : 22759 (toysat) S 22753 22757 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30577701 1344868352 256324 33554432000 4194304 16246674 140735766932352 140324758334704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=22757/tid=22760] ppid=22753 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22760/stat : 22760 (toysat) S 22753 22757 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30577701 1344868352 256324 33554432000 4194304 16246674 140735766932352 140324747844848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22757/tid=22761] ppid=22753 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22761/stat : 22761 (toysat) S 22753 22757 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30577701 1344868352 256324 33554432000 4194304 16246674 140735766932352 140324634619056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 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.24 1.11 1.24 3/183 22769
/proc/meminfo: memFree=28610992/32872528 swapFree=870628/942168
[pid=22757] ppid=22753 vsize=1313348 CPUtime=12.69 cores=1,3,5,7
/proc/22757/stat : 22757 (toysat) R 22753 22757 22716 0 -1 4202496 269526 0 0 0 1230 39 0 0 20 0 4 0 30577700 1344868352 270335 33554432000 4194304 16246674 140735766932352 140735766914240 12995176 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22757/statm: 328337 270335 892 2943 0 325231 0
[pid=22757/tid=22759] ppid=22753 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22759/stat : 22759 (toysat) S 22753 22757 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30577701 1344868352 270335 33554432000 4194304 16246674 140735766932352 140324758334704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=22757/tid=22760] ppid=22753 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22760/stat : 22760 (toysat) S 22753 22757 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30577701 1344868352 270335 33554432000 4194304 16246674 140735766932352 140324747844848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22757/tid=22761] ppid=22753 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22761/stat : 22761 (toysat) S 22753 22757 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30577701 1344868352 270335 33554432000 4194304 16246674 140735766932352 140324634619056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 1.41 1.15 1.25 3/184 22772
/proc/meminfo: memFree=28611300/32872528 swapFree=870628/942168
[pid=22757] ppid=22753 vsize=1313348 CPUtime=25.49 cores=1,3,5,7
/proc/22757/stat : 22757 (toysat) R 22753 22757 22716 0 -1 4202496 269526 0 0 0 2510 39 0 0 20 0 4 0 30577700 1344868352 270335 33554432000 4194304 16246674 140735766932352 140735766914240 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22757/statm: 328337 270335 892 2943 0 325231 0
[pid=22757/tid=22759] ppid=22753 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22759/stat : 22759 (toysat) S 22753 22757 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30577701 1344868352 270335 33554432000 4194304 16246674 140735766932352 140324758334704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=22757/tid=22760] ppid=22753 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22760/stat : 22760 (toysat) S 22753 22757 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30577701 1344868352 270335 33554432000 4194304 16246674 140735766932352 140324747844848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22757/tid=22761] ppid=22753 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22761/stat : 22761 (toysat) S 22753 22757 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30577701 1344868352 270335 33554432000 4194304 16246674 140735766932352 140324634619056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 1.68 1.23 1.28 3/184 22772
/proc/meminfo: memFree=28611496/32872528 swapFree=870628/942168
[pid=22757] ppid=22753 vsize=1313348 CPUtime=51.08 cores=1,3,5,7
/proc/22757/stat : 22757 (toysat) R 22753 22757 22716 0 -1 4202496 269526 0 0 0 5069 39 0 0 20 0 4 0 30577700 1344868352 270335 33554432000 4194304 16246674 140735766932352 140735766914240 4220880 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22757/statm: 328337 270335 892 2943 0 325231 0
[pid=22757/tid=22759] ppid=22753 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22759/stat : 22759 (toysat) S 22753 22757 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30577701 1344868352 270335 33554432000 4194304 16246674 140735766932352 140324758334704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=22757/tid=22760] ppid=22753 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22760/stat : 22760 (toysat) S 22753 22757 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30577701 1344868352 270335 33554432000 4194304 16246674 140735766932352 140324747844848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22757/tid=22761] ppid=22753 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22761/stat : 22761 (toysat) S 22753 22757 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30577701 1344868352 270335 33554432000 4194304 16246674 140735766932352 140324634619056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.3 s]
/proc/loadavg: 1.97 1.38 1.32 3/183 22773
/proc/meminfo: memFree=28605224/32872528 swapFree=870628/942168
[pid=22757] ppid=22753 vsize=1320516 CPUtime=102.28 cores=1,3,5,7
/proc/22757/stat : 22757 (toysat) R 22753 22757 22716 0 -1 4202496 271161 0 0 0 10188 40 0 0 20 0 4 0 30577700 1352208384 271970 33554432000 4194304 16246674 140735766932352 140735766914240 5546214 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22757/statm: 330129 271970 893 2943 0 327023 0
[pid=22757/tid=22759] ppid=22753 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22759/stat : 22759 (toysat) S 22753 22757 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30577701 1352208384 271970 33554432000 4194304 16246674 140735766932352 140324758334704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=22757/tid=22760] ppid=22753 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22760/stat : 22760 (toysat) S 22753 22757 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30577701 1352208384 271970 33554432000 4194304 16246674 140735766932352 140324747844848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22757/tid=22761] ppid=22753 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22761/stat : 22761 (toysat) S 22753 22757 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30577701 1352208384 271970 33554432000 4194304 16246674 140735766932352 140324634619056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1320516


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

/proc/22757/task/22761/stat : 22761 (toysat) S 22753 22757 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30577701 1363742720 274947 33554432000 4194304 16246674 140735766932352 140324634619056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1331780

[startup+1362.3 s]
/proc/loadavg: 2.11 2.14 1.93 3/183 22804
/proc/meminfo: memFree=28563352/32872528 swapFree=870628/942168
[pid=22757] ppid=22753 vsize=1331780 CPUtime=1361.87 cores=1,3,5,7
/proc/22757/stat : 22757 (toysat) R 22753 22757 22716 0 -1 4202496 274494 0 0 0 136137 50 0 0 20 0 4 0 30577700 1363742720 274947 33554432000 4194304 16246674 140735766932352 140735766914240 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22757/statm: 332945 274947 893 2943 0 329839 0
[pid=22757/tid=22759] ppid=22753 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22759/stat : 22759 (toysat) S 22753 22757 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30577701 1363742720 274947 33554432000 4194304 16246674 140735766932352 140324758334704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=22757/tid=22760] ppid=22753 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22760/stat : 22760 (toysat) S 22753 22757 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30577701 1363742720 274947 33554432000 4194304 16246674 140735766932352 140324747844848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22757/tid=22761] ppid=22753 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22761/stat : 22761 (toysat) S 22753 22757 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30577701 1363742720 274947 33554432000 4194304 16246674 140735766932352 140324634619056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1331780

[startup+1422.3 s]
/proc/loadavg: 2.18 2.16 1.94 3/183 22806
/proc/meminfo: memFree=28563380/32872528 swapFree=870628/942168
[pid=22757] ppid=22753 vsize=1331780 CPUtime=1421.87 cores=1,3,5,7
/proc/22757/stat : 22757 (toysat) R 22753 22757 22716 0 -1 4202496 274494 0 0 0 142137 50 0 0 20 0 4 0 30577700 1363742720 274947 33554432000 4194304 16246674 140735766932352 140735766914240 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22757/statm: 332945 274947 893 2943 0 329839 0
[pid=22757/tid=22759] ppid=22753 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22759/stat : 22759 (toysat) S 22753 22757 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30577701 1363742720 274947 33554432000 4194304 16246674 140735766932352 140324758334704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=22757/tid=22760] ppid=22753 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22760/stat : 22760 (toysat) S 22753 22757 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30577701 1363742720 274947 33554432000 4194304 16246674 140735766932352 140324747844848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22757/tid=22761] ppid=22753 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22761/stat : 22761 (toysat) S 22753 22757 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30577701 1363742720 274947 33554432000 4194304 16246674 140735766932352 140324634619056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1331780

[startup+1482.3 s]
/proc/loadavg: 2.14 2.16 1.95 3/183 22807
/proc/meminfo: memFree=28563480/32872528 swapFree=870628/942168
[pid=22757] ppid=22753 vsize=1331780 CPUtime=1481.85 cores=1,3,5,7
/proc/22757/stat : 22757 (toysat) R 22753 22757 22716 0 -1 4202496 274494 0 0 0 148135 50 0 0 20 0 4 0 30577700 1363742720 274947 33554432000 4194304 16246674 140735766932352 140735766914240 6020448 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22757/statm: 332945 274947 893 2943 0 329839 0
[pid=22757/tid=22759] ppid=22753 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22759/stat : 22759 (toysat) S 22753 22757 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30577701 1363742720 274947 33554432000 4194304 16246674 140735766932352 140324758334704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=22757/tid=22760] ppid=22753 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22760/stat : 22760 (toysat) S 22753 22757 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30577701 1363742720 274947 33554432000 4194304 16246674 140735766932352 140324747844848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22757/tid=22761] ppid=22753 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22761/stat : 22761 (toysat) S 22753 22757 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30577701 1363742720 274947 33554432000 4194304 16246674 140735766932352 140324634619056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1331780

[startup+1542.31 s]
/proc/loadavg: 2.23 2.17 1.97 3/183 22808
/proc/meminfo: memFree=28563768/32872528 swapFree=870628/942168
[pid=22757] ppid=22753 vsize=1331780 CPUtime=1541.84 cores=1,3,5,7
/proc/22757/stat : 22757 (toysat) R 22753 22757 22716 0 -1 4202496 274494 0 0 0 154134 50 0 0 20 0 4 0 30577700 1363742720 274947 33554432000 4194304 16246674 140735766932352 140735766914240 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22757/statm: 332945 274947 893 2943 0 329839 0
[pid=22757/tid=22759] ppid=22753 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22759/stat : 22759 (toysat) S 22753 22757 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30577701 1363742720 274947 33554432000 4194304 16246674 140735766932352 140324758334704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=22757/tid=22760] ppid=22753 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22760/stat : 22760 (toysat) S 22753 22757 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30577701 1363742720 274947 33554432000 4194304 16246674 140735766932352 140324747844848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22757/tid=22761] ppid=22753 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22761/stat : 22761 (toysat) S 22753 22757 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30577701 1363742720 274947 33554432000 4194304 16246674 140735766932352 140324634619056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1331780

[startup+1602.3 s]
/proc/loadavg: 2.22 2.18 1.98 3/183 22809
/proc/meminfo: memFree=28561188/32872528 swapFree=870628/942168
[pid=22757] ppid=22753 vsize=1335876 CPUtime=1601.82 cores=1,3,5,7
/proc/22757/stat : 22757 (toysat) R 22753 22757 22716 0 -1 4202496 275284 0 0 0 160132 50 0 0 20 0 4 0 30577700 1367937024 275737 33554432000 4194304 16246674 140735766932352 140735766914240 13906983 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22757/statm: 333969 275737 893 2943 0 330863 0
[pid=22757/tid=22759] ppid=22753 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22759/stat : 22759 (toysat) S 22753 22757 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30577701 1367937024 275737 33554432000 4194304 16246674 140735766932352 140324758334704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=22757/tid=22760] ppid=22753 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22760/stat : 22760 (toysat) S 22753 22757 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30577701 1367937024 275737 33554432000 4194304 16246674 140735766932352 140324747844848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22757/tid=22761] ppid=22753 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22761/stat : 22761 (toysat) S 22753 22757 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30577701 1367937024 275737 33554432000 4194304 16246674 140735766932352 140324634619056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1335876

[startup+1662.3 s]
/proc/loadavg: 2.12 2.16 1.99 3/183 22810
/proc/meminfo: memFree=28559828/32872528 swapFree=870628/942168
[pid=22757] ppid=22753 vsize=1335876 CPUtime=1661.82 cores=1,3,5,7
/proc/22757/stat : 22757 (toysat) R 22753 22757 22716 0 -1 4202496 275518 0 0 0 166131 51 0 0 20 0 4 0 30577700 1367937024 275971 33554432000 4194304 16246674 140735766932352 140735766914240 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22757/statm: 333969 275971 893 2943 0 330863 0
[pid=22757/tid=22759] ppid=22753 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22759/stat : 22759 (toysat) S 22753 22757 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30577701 1367937024 275971 33554432000 4194304 16246674 140735766932352 140324758334704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=22757/tid=22760] ppid=22753 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22760/stat : 22760 (toysat) S 22753 22757 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30577701 1367937024 275971 33554432000 4194304 16246674 140735766932352 140324747844848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22757/tid=22761] ppid=22753 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22761/stat : 22761 (toysat) S 22753 22757 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30577701 1367937024 275971 33554432000 4194304 16246674 140735766932352 140324634619056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1335876

[startup+1722.3 s]
/proc/loadavg: 2.23 2.18 2.01 3/183 22812
/proc/meminfo: memFree=28559956/32872528 swapFree=870628/942168
[pid=22757] ppid=22753 vsize=1335876 CPUtime=1721.81 cores=1,3,5,7
/proc/22757/stat : 22757 (toysat) R 22753 22757 22716 0 -1 4202496 275518 0 0 0 172130 51 0 0 20 0 4 0 30577700 1367937024 275971 33554432000 4194304 16246674 140735766932352 140735766914240 5711584 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22757/statm: 333969 275971 893 2943 0 330863 0
[pid=22757/tid=22759] ppid=22753 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22759/stat : 22759 (toysat) S 22753 22757 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30577701 1367937024 275971 33554432000 4194304 16246674 140735766932352 140324758334704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=22757/tid=22760] ppid=22753 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22760/stat : 22760 (toysat) S 22753 22757 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30577701 1367937024 275971 33554432000 4194304 16246674 140735766932352 140324747844848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22757/tid=22761] ppid=22753 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22761/stat : 22761 (toysat) S 22753 22757 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30577701 1367937024 275971 33554432000 4194304 16246674 140735766932352 140324634619056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1335876

[startup+1782.3 s]
/proc/loadavg: 2.14 2.16 2.00 3/183 22813
/proc/meminfo: memFree=28559112/32872528 swapFree=870628/942168
[pid=22757] ppid=22753 vsize=1335876 CPUtime=1781.8 cores=1,3,5,7
/proc/22757/stat : 22757 (toysat) R 22753 22757 22716 0 -1 4202496 275518 0 0 0 178129 51 0 0 20 0 4 0 30577700 1367937024 275971 33554432000 4194304 16246674 140735766932352 140735766914240 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22757/statm: 333969 275971 893 2943 0 330863 0
[pid=22757/tid=22759] ppid=22753 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22759/stat : 22759 (toysat) S 22753 22757 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30577701 1367937024 275971 33554432000 4194304 16246674 140735766932352 140324758334704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=22757/tid=22760] ppid=22753 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22760/stat : 22760 (toysat) S 22753 22757 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30577701 1367937024 275971 33554432000 4194304 16246674 140735766932352 140324747844848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22757/tid=22761] ppid=22753 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22761/stat : 22761 (toysat) S 22753 22757 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30577701 1367937024 275971 33554432000 4194304 16246674 140735766932352 140324634619056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1335876



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.18 2.16 2.01 4/183 22813
/proc/meminfo: memFree=28559608/32872528 swapFree=870628/942168
[pid=22757] ppid=22753 vsize=1335876 CPUtime=1800 cores=1,3,5,7
/proc/22757/stat : 22757 (toysat) R 22753 22757 22716 0 -1 4202496 275518 0 0 0 179949 51 0 0 20 0 4 0 30577700 1367937024 275971 33554432000 4194304 16246674 140735766932352 140735766914240 12483303 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22757/statm: 333969 275971 893 2943 0 330863 0
[pid=22757/tid=22759] ppid=22753 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22759/stat : 22759 (toysat) S 22753 22757 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30577701 1367937024 275971 33554432000 4194304 16246674 140735766932352 140324758334704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=22757/tid=22760] ppid=22753 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22760/stat : 22760 (toysat) S 22753 22757 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30577701 1367937024 275971 33554432000 4194304 16246674 140735766932352 140324747844848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22757/tid=22761] ppid=22753 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22761/stat : 22761 (toysat) S 22753 22757 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30577701 1367937024 275971 33554432000 4194304 16246674 140735766932352 140324634619056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800
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 22757 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.18 2.16 2.01 4/183 22813
/proc/meminfo: memFree=28559608/32872528 swapFree=870628/942168
[pid=22757] ppid=22753 vsize=1335876 CPUtime=1800 cores=1,3,5,7
/proc/22757/stat : 22757 (toysat) R 22753 22757 22716 0 -1 4202496 275518 0 0 0 179949 51 0 0 20 0 4 0 30577700 1367937024 275971 33554432000 4194304 16246674 140735766932352 140735766914240 12483303 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22757/statm: 333969 275971 893 2943 0 330863 0
[pid=22757/tid=22759] ppid=22753 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22759/stat : 22759 (toysat) S 22753 22757 22716 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30577701 1367937024 275971 33554432000 4194304 16246674 140735766932352 140324758334704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=22757/tid=22760] ppid=22753 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22760/stat : 22760 (toysat) S 22753 22757 22716 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30577701 1367937024 275971 33554432000 4194304 16246674 140735766932352 140324747844848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=22757/tid=22761] ppid=22753 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/22757/task/22761/stat : 22761 (toysat) S 22753 22757 22716 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30577701 1367937024 275971 33554432000 4194304 16246674 140735766932352 140324634619056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1335876

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 0.517921
maximum resident set size= 1103884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275518
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= 375
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.49932 second user time and 7.02193 second system time

The end

Launcher Data 

Begin job on node113 at 2016-06-26 23:09:40
IDJOB=4116333
IDBENCH=109457
IDSOLVER=2542
FILE ID=node113/4116333-1466975380
RUNJOBID= node113-1466975380-22733
PBS_JOBID= 19976383
Free space on /tmp= 71700 MiB

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

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

MD5SUM BENCH= 3259b6526f651c11b9230c18caa481fd
RANDOM SEED=1139586664

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30770960 kB
Buffers:           52848 kB
Cached:           356196 kB
SwapCached:        18844 kB
Active:            85748 kB
Inactive:         343984 kB
Active(anon):       3412 kB
Inactive(anon):    20040 kB
Active(file):      82336 kB
Inactive(file):   323944 kB
Unevictable:      942168 kB
Mlocked:          870628 kB
SwapTotal:      67108856 kB
SwapFree:       67082244 kB
Dirty:             33400 kB
Writeback:             0 kB
AnonPages:        944940 kB
Mapped:             8004 kB
Shmem:                 0 kB
Slab:             597592 kB
SReclaimable:      41832 kB
SUnreclaim:       555760 kB
KernelStack:        1352 kB
PageTables:         5868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1039192 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71668 MiB
End job on node113 at 2016-06-26 23:39:40