Trace number 4116173

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

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size160-round23-3.opb
MD5SUM861c50511265e8e7822bf7a244532849
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 constraints9536
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)448
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-27T00:48:43+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-4116173-1466981323.opb"]
0.00/0.01	c use --random-gen="3069247714 2786841082 2449663922 3920311407 4235914288 2801524664 2255872815 33836966 2133165629 3254404679 1064218474 1349007093 922737862 2329818184 3348053129 3297593522 2311085535 1268496556 3566861898 1209415476 1611822952 2785642053 3545274126 2661887293 25178833 791402942 3552672429 2218063029 2743784618 2728660059 1101559427 3013563163 3863556360 3552309724 435739800 3276497385 1639589778 437613766 3047795129 3997357599 1149413259 1734734369 373877186 3753261478 3577793109 3396085884 731534622 3389198022 3387260303 619429874 127239683 642030562 2201435058 3131727112 2104490420 3693838180 1651160957 2466201301 90965803 684123523 1152260326 3094878199 2691067934 2596730937 1916469101 1683709491 2482379968 218146879 604223693 1290087414 2386258335 2711620367 3561286836 1582946119 2112645821 2747666433 2898798022 2254772739 4160071862 4273248766 3718403543 2019355678 2944417160 2258536093 1225590741 3539345799 2267759872 2284282471 4137785283 2747614588 2709241730 3610041360 590331629 2526680066 2787920961 981725275 3437666118 3299060056 1902642797 1804991775 251542837 3732132058 1111368017 4141073978 698193228 3344706845 205656013 1301276694 97861993 281912103 472609655 769662543 3285816174 3037656790 1359985659 796119251 259624954 234785243 3542411449 4044541858 3627665808 3444906777 1251397786 3886394296 737275843 2931130464 2680209887 3859635516 1333866227 3332412521 1201297058 3328419459 1318607981 1601078844 4260174841 3279877410 1949303603 3984673585 1300007777 1668411367 2858651320 1421642804 1572632550 1101185884 2997863638 595443644 1195889364 1578953238 106143186 438895450 797224578 162210082 2696900325 4054200246 1201441606 771448933 3495377347 2705312708 761301429 4261824172 3732093932 1532370161 591125132 696368240 943423835 451713019 1931728225 367598791 3618654629 2197479324 1290763636 2482386887 3607856394 1194321235 1023051555 2950940024 2720587692 927185835 4038212451 3074106667 2129979972 4164275691 2590220117 3791364762 131371242 1320493505 1798645615 1842452603 733163096 3392982667 4122495905 1012991014 278502412 1671266962 175475747 3133515678 432469700 4207569141 552425069 2789822850 2443259322 290710250 4140969184 383061107 1472596594 3498636849 3955443422 2192773669 355542956 1357081266 3754016553 1559420507 4141856558 2241576442 1064171142 4276862918 3665355120 1644137658 3754588023 1374616261 1933882912 1894074598 1872606073 2128909664 1192535378 2948818481 1795858930 4018437500 314029075 3241313406 560456512 10541794 1896551440 1662596434 3740453036 3952067129 186359953 1415240237 967035248 3284956836 1988906763 387678799 3075602203 1795587996 2565261289 1018867833 202810663 2782604853 2481371842 1600171579 929824151 334731591 456664753 2979307011 4165982589 3950532232 255 362436" option to reproduce the execution
0.08/0.13	c #vars 4288
0.08/0.13	c #constraints 9536
0.19/0.30	c Solving starts ...
0.19/0.30	c ============================[ Search Statistics ]============================
0.19/0.30	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.30	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.30	c =============================================================================
0.28/0.30	c  0.0s |       0 |        0 |        0 |     4565      0 |      907 |        0
0.28/0.36	c  0.1s |       1 |      729 |      100 |     4565      0 |      907 |      944
0.38/0.45	c  0.2s |       2 |     1512 |      250 |     5022      0 |      907 |      944
0.58/0.63	c  0.3s |       3 |     2787 |      475 |     5525      0 |      907 |      944
0.88/0.95	c  0.7s |       4 |     5221 |      813 |     6078      0 |      907 |      944
1.39/1.46	c  1.2s |       5 |     8719 |     1320 |     6686      0 |      909 |      944
2.09/2.10	c  1.8s |       6 |    13402 |     2081 |     8091      0 |      910 |      944
3.39/3.42	c  3.1s |       7 |    16719 |     3223 |     8901      0 |      910 |      944
4.69/4.77	c  4.5s |       8 |    24956 |     4936 |     9792      0 |      911 |      944
6.69/6.78	c  6.5s |       8 |    28974 |     6936 |     9792      0 |      911 |      944
7.29/7.37	c  7.1s |       9 |    30674 |     7506 |    10772      0 |      911 |      944
9.39/9.46	c  9.2s |       9 |    34038 |     9806 |    10772      0 |      911 |      944
10.69/10.79	c 10.5s |      10 |    37418 |    11361 |    11850      0 |      911 |      944
12.79/12.88	c 12.6s |      10 |    40350 |    12861 |    11850      0 |      911 |      944
14.78/14.88	c 14.6s |      10 |    42099 |    14161 |    11850      0 |      911 |      944
16.88/16.93	c 16.6s |      10 |    44271 |    15661 |    11850      1 |      911 |      944
18.98/19.01	c 18.7s |      10 |    45819 |    17061 |    13036      1 |      911 |      944
19.08/19.15	c 18.9s |      11 |    45911 |    17144 |    13036      1 |      911 |      944
21.18/21.22	c 20.9s |      11 |    53020 |    19344 |    13036      1 |      911 |      944
23.28/23.35	c 23.1s |      11 |    55422 |    20844 |    13036      1 |      911 |      944
25.39/25.47	c 25.2s |      11 |    56995 |    22044 |    13036      1 |      911 |      944
27.68/27.73	c 27.4s |      11 |    58209 |    23044 |    13036      1 |      911 |      944
29.88/29.96	c 29.7s |      11 |    59315 |    23944 |    13036      2 |      911 |      944
32.08/32.16	c 31.9s |      11 |    60320 |    24844 |    13036      2 |      911 |      944
33.18/33.25	c 33.0s |      12 |    63425 |    25819 |    14340      2 |      911 |      944
35.29/35.34	c 35.0s |      12 |    69424 |    28019 |    14340      2 |      911 |      944
37.28/37.36	c 37.1s |      12 |    73754 |    29919 |    14340      2 |      911 |      944
39.38/39.45	c 39.1s |      12 |    80086 |    32119 |    14340      2 |      911 |      944
41.68/41.76	c 41.5s |      12 |    82845 |    33719 |    14340      3 |      911 |      944
43.78/43.89	c 43.6s |      12 |    84657 |    35019 |    14340      3 |      911 |      944
45.98/46.07	c 45.8s |      12 |    86598 |    36319 |    14340      3 |      911 |      944
48.08/48.14	c 47.8s |      12 |    87919 |    37319 |    14340      3 |      911 |      944
50.18/50.24	c 49.9s |      12 |    89052 |    38219 |    14340      3 |      911 |      944
51.78/51.86	c 51.6s |      13 |    89850 |    38832 |    15775      3 |      911 |      944
53.98/54.03	c 53.7s |      13 |    94584 |    40532 |    15775      3 |      911 |      944
56.08/56.12	c 55.8s |      13 |    99268 |    42132 |    15775      3 |      911 |      944
58.38/58.46	c 58.2s |      13 |   103661 |    43932 |    15775      4 |      911 |      944
60.37/60.49	c 60.2s |      13 |   105242 |    45132 |    15775      4 |      911 |      944
62.47/62.50	c 62.2s |      13 |   106279 |    46032 |    15775      4 |      911 |      944
64.47/64.53	c 64.2s |      13 |   107352 |    46932 |    15775      4 |      911 |      944
66.47/66.58	c 66.3s |      13 |   110681 |    48132 |    15775      4 |      911 |      944
68.57/68.67	c 68.4s |      13 |   113272 |    49432 |    15775      4 |      911 |      944
70.68/70.73	c 70.4s |      13 |   114770 |    50532 |    15775      4 |      911 |      944
72.88/72.91	c 72.6s |      13 |   116270 |    51532 |    15775      4 |      911 |      944
75.08/75.11	c 74.8s |      13 |   117160 |    52332 |    15775      4 |      911 |      944
77.28/77.38	c 77.1s |      13 |   117797 |    52932 |    15775      4 |      911 |      944
79.78/79.89	c 79.6s |      13 |   118430 |    53532 |    15775      5 |      911 |      944
82.08/82.13	c 81.8s |      13 |   119592 |    54432 |    15775      5 |      911 |      944
84.28/84.30	c 84.0s |      13 |   120754 |    55332 |    15775      5 |      911 |      944
86.38/86.43	c 86.1s |      13 |   121553 |    56032 |    15775      5 |      911 |      944
88.68/88.70	c 88.4s |      13 |   122584 |    56832 |    15775      5 |      911 |      944
90.78/90.88	c 90.6s |      13 |   123400 |    57532 |    15775      5 |      911 |      944
92.88/92.93	c 92.6s |      13 |   124075 |    58132 |    17353      5 |      911 |      944
93.58/93.63	c 93.3s |      14 |   124357 |    58352 |    17353      5 |      911 |      944
95.58/95.70	c 95.4s |      14 |   129373 |    60152 |    17353      5 |      911 |      944
97.78/97.82	c 97.5s |      14 |   133722 |    62052 |    17353      5 |      911 |      944
99.77/99.85	c 99.6s |      14 |   135217 |    63152 |    17353      5 |      911 |      944
101.77/101.88	c  101s |      14 |   136220 |    63952 |    17353      5 |      911 |      944
103.87/103.94	c  103s |      14 |   138039 |    64952 |    17353      6 |      911 |      944
105.87/105.95	c  105s |      14 |   140074 |    66152 |    17353      6 |      911 |      944
108.07/108.11	c  107s |      14 |   141123 |    67052 |    17353      6 |      911 |      944
110.08/110.16	c  109s |      14 |   142115 |    67852 |    17353      6 |      911 |      944
112.18/112.21	c  111s |      14 |   142928 |    68552 |    17353      6 |      911 |      944
114.27/114.38	c  114s |      14 |   143756 |    69252 |    17353      6 |      911 |      944
116.37/116.48	c  116s |      14 |   144451 |    69852 |    17353      6 |      911 |      944
118.67/118.73	c  118s |      14 |   145242 |    70552 |    17353      6 |      911 |      944
120.87/120.95	c  120s |      14 |   145919 |    71152 |    17353      6 |      911 |      944
122.87/122.97	c  122s |      14 |   146712 |    71852 |    17353      6 |      911 |      944
124.97/125.01	c  124s |      14 |   147413 |    72452 |    17353      6 |      911 |      944
127.07/127.13	c  126s |      14 |   148103 |    73052 |    17353      6 |      911 |      944
129.07/129.19	c  128s |      14 |   148769 |    73652 |    17353      6 |      911 |      944
131.47/131.56	c  131s |      14 |   149462 |    74252 |    17353      6 |      911 |      944
133.66/133.77	c  133s |      14 |   150130 |    74852 |    17353      6 |      911 |      944
135.76/135.86	c  135s |      14 |   150682 |    75352 |    17353      7 |      911 |      944
137.86/137.91	c  137s |      14 |   151595 |    76052 |    17353      7 |      911 |      944
139.86/139.99	c  139s |      14 |   152304 |    76652 |    17353      7 |      911 |      944
141.97/142.05	c  141s |      14 |   152851 |    77152 |    17353      7 |      911 |      944
144.17/144.29	c  143s |      14 |   153490 |    77752 |    17353      7 |      911 |      944
146.46/146.57	c  146s |      14 |   154157 |    78352 |    17353      7 |      911 |      944
148.66/148.77	c  148s |      14 |   155814 |    79252 |    17353      7 |      911 |      944
150.77/150.84	c  150s |      14 |   156977 |    80052 |    17353      7 |      911 |      944
152.86/152.99	c  152s |      14 |   159336 |    81152 |    17353      7 |      911 |      944
155.06/155.17	c  154s |      14 |   161250 |    82252 |    17353      7 |      911 |      944
157.16/157.22	c  156s |      14 |   162381 |    83052 |    17353      7 |      911 |      944
159.16/159.29	c  158s |      14 |   163309 |    83752 |    17353      7 |      911 |      944
161.36/161.43	c  161s |      14 |   164434 |    84552 |    17353      7 |      911 |      944
163.86/163.94	c  163s |      14 |   165332 |    85252 |    17353      8 |      911 |      944
165.95/166.07	c  165s |      14 |   166344 |    86052 |    17353      8 |      911 |      944
168.05/168.18	c  167s |      14 |   167392 |    86752 |    17353      8 |      911 |      944
170.25/170.38	c  170s |      15 |   168464 |    87632 |    19089      8 |      911 |      944
172.36/172.44	c  172s |      15 |   174555 |    89432 |    19089      8 |      911 |      944
174.46/174.53	c  174s |      15 |   175895 |    90632 |    19089      8 |      911 |      944
176.46/176.53	c  176s |      15 |   177298 |    91832 |    19089      8 |      911 |      944
178.56/178.60	c  178s |      15 |   178349 |    92832 |    19089      8 |      911 |      944
180.76/180.80	c  180s |      15 |   179553 |    93932 |    19089      8 |      911 |      944
182.86/182.90	c  182s |      15 |   180595 |    94832 |    19089      8 |      911 |      944
184.86/184.92	c  184s |      15 |   181869 |    95932 |    19089      8 |      911 |      944
186.96/187.09	c  186s |      15 |   183056 |    96932 |    19089      8 |      911 |      944
189.06/189.10	c  188s |      15 |   183847 |    97632 |    19089      9 |      911 |      944
191.06/191.11	c  190s |      15 |   184748 |    98432 |    19089      9 |      911 |      944
193.25/193.34	c  193s |      15 |   185607 |    99232 |    19089      9 |      911 |      944
195.35/195.45	c  195s |      15 |   186543 |   100032 |    19089      9 |      911 |      944
197.45/197.60	c  197s |      15 |   187462 |   100832 |    19089      9 |      911 |      944
199.65/199.74	c  199s |      15 |   188245 |   101532 |    19089      9 |      911 |      944
201.75/201.86	c  201s |      15 |   189016 |   102232 |    19089      9 |      911 |      944
203.85/203.91	c  203s |      15 |   189758 |   102932 |    19089      9 |      911 |      944
206.05/206.10	c  205s |      15 |   190526 |   103632 |    19089      9 |      911 |      944
208.05/208.13	c  207s |      15 |   191204 |   104232 |    19089      9 |      911 |      944
210.06/210.16	c  209s |      15 |   191872 |   104832 |    19089      9 |      911 |      944
212.36/212.44	c  212s |      15 |   192514 |   105432 |    19089      9 |      911 |      944
214.56/214.66	c  214s |      15 |   193158 |   106032 |    19089      9 |      911 |      944
216.76/216.84	c  216s |      15 |   193825 |   106632 |    19089      9 |      911 |      944
219.05/219.15	c  218s |      15 |   194503 |   107232 |    19089      9 |      911 |      944
221.16/221.22	c  220s |      15 |   195155 |   107832 |    19089      9 |      911 |      944
223.26/223.34	c  223s |      15 |   195808 |   108432 |    19089      9 |      911 |      944
225.45/225.53	c  225s |      15 |   196461 |   109032 |    19089     10 |      911 |      944
227.75/227.83	c  227s |      15 |   197211 |   109732 |    19089     10 |      911 |      944
229.85/229.97	c  229s |      15 |   197971 |   110432 |    19089     10 |      911 |      944
232.25/232.36	c  232s |      15 |   198588 |   111032 |    19089     10 |      911 |      944
234.45/234.57	c  234s |      15 |   199219 |   111632 |    19089     10 |      911 |      944
236.55/236.64	c  236s |      15 |   199875 |   112232 |    19089     10 |      911 |      944
238.65/238.72	c  238s |      15 |   200572 |   112832 |    19089     10 |      911 |      944
240.64/240.75	c  240s |      15 |   201228 |   113432 |    19089     10 |      911 |      944
242.84/242.92	c  242s |      15 |   201878 |   114032 |    19089     10 |      911 |      944
245.04/245.13	c  244s |      15 |   202536 |   114632 |    19089     10 |      911 |      944
247.14/247.26	c  246s |      15 |   203195 |   115232 |    19089     10 |      911 |      944
249.44/249.58	c  249s |      15 |   203852 |   115832 |    19089     10 |      911 |      944
251.85/251.95	c  251s |      15 |   204519 |   116432 |    19089     10 |      911 |      944
254.24/254.31	c  254s |      15 |   205237 |   117032 |    19089     10 |      911 |      944
256.35/256.49	c  256s |      15 |   205923 |   117632 |    19089     10 |      911 |      944
258.55/258.67	c  258s |      15 |   206456 |   118132 |    19089     10 |      911 |      944
260.84/260.90	c  260s |      15 |   206988 |   118632 |    19089     10 |      911 |      944
262.95/263.03	c  262s |      15 |   207522 |   119132 |    19089     10 |      911 |      944
265.05/265.15	c  264s |      15 |   208069 |   119632 |    19089     10 |      911 |      944
267.35/267.41	c  267s |      15 |   208594 |   120132 |    19089     11 |      911 |      944
269.64/269.73	c  269s |      15 |   209360 |   120832 |    19089     11 |      911 |      944
271.75/271.86	c  271s |      15 |   210025 |   121432 |    19089     11 |      911 |      944
273.84/273.99	c  273s |      15 |   210668 |   122032 |    19089     11 |      911 |      944
276.15/276.24	c  275s |      15 |   211318 |   122632 |    19089     11 |      911 |      944
278.44/278.57	c  278s |      15 |   211968 |   123232 |    19089     11 |      911 |      944
280.44/280.59	c  280s |      15 |   212488 |   123732 |    19089     11 |      911 |      944
282.84/282.96	c  282s |      15 |   213156 |   124332 |    19089     11 |      911 |      944
285.04/285.11	c  284s |      15 |   213678 |   124832 |    19089     11 |      911 |      944
287.04/287.20	c  286s |      15 |   214204 |   125332 |    19089     11 |      911 |      944
289.25/289.32	c  289s |      15 |   214749 |   125832 |    19089     11 |      911 |      944
291.55/291.66	c  291s |      15 |   215275 |   126332 |    19089     11 |      911 |      944
293.65/293.76	c  293s |      15 |   215810 |   126832 |    19089     11 |      911 |      944
295.64/295.78	c  295s |      15 |   216357 |   127332 |    19089     11 |      911 |      944
297.84/297.93	c  297s |      15 |   216907 |   127832 |    19089     11 |      911 |      944
300.04/300.13	c  299s |      15 |   217455 |   128332 |    19089     11 |      911 |      944
302.45/302.53	c  302s |      15 |   217981 |   128832 |    19089     11 |      911 |      944
304.65/304.71	c  304s |      15 |   218510 |   129332 |    19089     11 |      911 |      944
306.85/306.92	c  306s |      15 |   219059 |   129832 |    19089     11 |      911 |      944
309.24/309.31	c  309s |      15 |   219605 |   130332 |    19089     11 |      911 |      944
311.35/311.47	c  311s |      15 |   220172 |   130832 |    20998     11 |      911 |      944
313.74/313.82	c  313s |      15 |   220730 |   131332 |    20998     11 |      911 |      944
314.65/314.71	c  314s |      16 |   220974 |   131552 |    20998     11 |      911 |      944
316.64/316.75	c  316s |      16 |   226663 |   133052 |    20998     12 |      911 |      944
318.74/318.85	c  318s |      16 |   228635 |   134552 |    20998     12 |      911 |      944
320.84/320.96	c  320s |      16 |   230642 |   135952 |    20998     12 |      911 |      944
322.94/323.05	c  322s |      16 |   232813 |   137352 |    20998     12 |      911 |      944
325.04/325.10	c  324s |      16 |   235606 |   138952 |    20998     12 |      911 |      944
327.04/327.11	c  326s |      16 |   237337 |   140252 |    20998     12 |      911 |      944
329.04/329.13	c  328s |      16 |   239898 |   141652 |    20998     12 |      911 |      944
331.14/331.23	c  330s |      16 |   242154 |   142952 |    20998     12 |      911 |      944
333.24/333.34	c  333s |      16 |   243926 |   144152 |    20998     12 |      911 |      944
335.33/335.44	c  335s |      16 |   247389 |   145452 |    20998     13 |      911 |      944
337.53/337.61	c  337s |      16 |   249316 |   146752 |    20998     13 |      911 |      944
339.53/339.66	c  339s |      16 |   251217 |   147952 |    20998     13 |      911 |      944
341.53/341.68	c  341s |      16 |   252773 |   149052 |    20998     13 |      911 |      944
343.73/343.87	c  343s |      16 |   254388 |   150152 |    20998     13 |      911 |      944
345.73/345.88	c  345s |      16 |   255496 |   151052 |    20998     13 |      911 |      944
348.03/348.11	c  347s |      16 |   256846 |   152052 |    20998     13 |      911 |      944
350.23/350.33	c  350s |      16 |   257967 |   152952 |    20998     13 |      911 |      944
352.23/352.33	c  352s |      16 |   258962 |   153752 |    20998     13 |      911 |      944
354.24/354.35	c  354s |      16 |   259777 |   154452 |    20998     13 |      911 |      944
356.34/356.44	c  356s |      16 |   260632 |   155152 |    20998     13 |      911 |      944
358.64/358.71	c  358s |      16 |   261596 |   155952 |    20998     13 |      911 |      944
361.23/361.31	c  361s |      16 |   262442 |   156652 |    20998     14 |      911 |      944
363.43/363.51	c  363s |      16 |   263372 |   157452 |    20998     14 |      911 |      944
365.43/365.52	c  365s |      16 |   264245 |   158152 |    20998     14 |      911 |      944
367.44/367.57	c  367s |      16 |   265381 |   158952 |    20998     14 |      911 |      944
369.43/369.59	c  369s |      16 |   266793 |   159952 |    20998     14 |      911 |      944
371.63/371.70	c  371s |      16 |   267856 |   160752 |    20998     14 |      911 |      944
373.73/373.89	c  373s |      16 |   268960 |   161552 |    20998     14 |      911 |      944
375.93/376.07	c  375s |      16 |   270024 |   162352 |    20998     14 |      911 |      944
378.13/378.27	c  377s |      16 |   271005 |   163152 |    20998     14 |      911 |      944
380.23/380.30	c  380s |      16 |   271667 |   163752 |    20998     14 |      911 |      944
382.22/382.39	c  382s |      16 |   272343 |   164352 |    20998     14 |      911 |      944
384.32/384.40	c  384s |      16 |   273060 |   164952 |    20998     14 |      911 |      944
386.52/386.66	c  386s |      16 |   273928 |   165652 |    20998     14 |      911 |      944
388.72/388.84	c  388s |      16 |   274788 |   166352 |    20998     14 |      911 |      944
390.92/391.01	c  390s |      16 |   275482 |   166952 |    20998     14 |      911 |      944
393.12/393.24	c  392s |      16 |   276184 |   167552 |    20998     14 |      911 |      944
395.22/395.39	c  395s |      16 |   276885 |   168152 |    20998     14 |      911 |      944
397.52/397.68	c  397s |      16 |   277606 |   168752 |    20998     15 |      911 |      944
399.72/399.86	c  399s |      16 |   278424 |   169452 |    20998     15 |      911 |      944
402.02/402.12	c  401s |      16 |   279330 |   170152 |    20998     15 |      911 |      944
404.22/404.30	c  404s |      16 |   280154 |   170852 |    20998     15 |      911 |      944
406.32/406.44	c  406s |      16 |   280812 |   171452 |    20998     15 |      911 |      944
408.32/408.47	c  408s |      16 |   281483 |   172052 |    20998     15 |      911 |      944
410.52/410.69	c  410s |      16 |   282319 |   172752 |    20998     15 |      911 |      944
412.72/412.86	c  412s |      16 |   283518 |   173552 |    20998     15 |      911 |      944
414.92/415.08	c  414s |      16 |   284672 |   174452 |    20998     15 |      911 |      944
417.22/417.30	c  417s |      16 |   285690 |   175252 |    20998     15 |      911 |      944
419.42/419.58	c  419s |      16 |   286816 |   176152 |    20998     15 |      911 |      944
421.52/421.61	c  421s |      16 |   287784 |   176852 |    20998     15 |      911 |      944
423.62/423.70	c  423s |      16 |   288484 |   177452 |    20998     15 |      911 |      944
425.91/426.01	c  425s |      16 |   289046 |   177952 |    20998     15 |      911 |      944
428.31/428.40	c  428s |      16 |   289596 |   178452 |    20998     15 |      911 |      944
430.41/430.54	c  430s |      16 |   290205 |   178952 |    20998     15 |      911 |      944
432.51/432.61	c  432s |      16 |   290944 |   179552 |    20998     15 |      911 |      944
434.61/434.78	c  434s |      16 |   291674 |   180152 |    20998     15 |      911 |      944
436.62/436.80	c  436s |      16 |   292270 |   180652 |    20998     15 |      911 |      944
438.82/438.91	c  438s |      16 |   292748 |   181052 |    20998     16 |      911 |      944
441.03/441.18	c  440s |      16 |   293545 |   181752 |    20998     16 |      911 |      944
443.12/443.24	c  442s |      16 |   294225 |   182352 |    20998     16 |      911 |      944
445.12/445.26	c  444s |      16 |   295050 |   183052 |    20998     16 |      911 |      944
447.22/447.34	c  447s |      16 |   295756 |   183652 |    20998     16 |      911 |      944
449.52/449.61	c  449s |      16 |   296454 |   184252 |    20998     16 |      911 |      944
451.82/451.92	c  451s |      16 |   297307 |   184952 |    20998     16 |      911 |      944
453.92/454.00	c  453s |      16 |   297971 |   185552 |    20998     16 |      911 |      944
456.22/456.37	c  456s |      16 |   298633 |   186152 |    20998     16 |      911 |      944
458.52/458.62	c  458s |      16 |   299306 |   186752 |    20998     16 |      911 |      944
460.71/460.81	c  460s |      16 |   299857 |   187252 |    20998     16 |      911 |      944
462.71/462.85	c  462s |      16 |   300433 |   187752 |    20998     16 |      911 |      944
464.71/464.87	c  464s |      16 |   301012 |   188252 |    20998     16 |      911 |      944
467.01/467.11	c  466s |      16 |   301570 |   188752 |    20998     16 |      911 |      944
469.11/469.22	c  468s |      16 |   302139 |   189252 |    20998     16 |      911 |      944
471.51/471.61	c  471s |      16 |   302683 |   189752 |    20998     16 |      911 |      944
473.81/473.94	c  473s |      16 |   303242 |   190252 |    20998     16 |      911 |      944
475.81/475.98	c  475s |      16 |   303687 |   190652 |    20998     16 |      911 |      944
478.11/478.24	c  477s |      16 |   304260 |   191152 |    20998     16 |      911 |      944
480.21/480.39	c  480s |      16 |   304698 |   191552 |    20998     16 |      911 |      944
482.31/482.44	c  482s |      16 |   305130 |   191952 |    20998     16 |      911 |      944
484.81/484.99	c  484s |      16 |   305689 |   192452 |    20998     16 |      911 |      944
487.21/487.31	c  487s |      16 |   306131 |   192852 |    20998     16 |      911 |      944
489.31/489.43	c  489s |      16 |   306458 |   193152 |    20998     17 |      911 |      944
491.41/491.53	c  491s |      16 |   307152 |   193752 |    20998     17 |      911 |      944
493.41/493.55	c  493s |      16 |   307840 |   194352 |    20998     17 |      911 |      944
495.61/495.75	c  495s |      16 |   308384 |   194852 |    20998     17 |      911 |      944
497.91/498.08	c  497s |      16 |   309058 |   195452 |    20998     17 |      911 |      944
499.91/500.10	c  499s |      16 |   309631 |   195952 |    20998     17 |      911 |      944
502.21/502.34	c  502s |      16 |   310310 |   196552 |    23098     17 |      911 |      944
504.31/504.43	c  504s |      16 |   310872 |   197052 |    23098     17 |      911 |      944
506.01/506.17	c  505s |      17 |   311291 |   197432 |    23098     17 |      911 |      944
508.11/508.28	c  507s |      17 |   314881 |   198732 |    23098     17 |      911 |      944
510.20/510.34	c  510s |      17 |   316260 |   200032 |    23098     17 |      911 |      944
512.30/512.48	c  512s |      17 |   317813 |   201432 |    23098     17 |      911 |      944
514.40/514.53	c  514s |      17 |   319292 |   202732 |    23098     17 |      911 |      944
516.40/516.59	c  516s |      17 |   320609 |   203932 |    23098     17 |      911 |      944
518.50/518.60	c  518s |      17 |   321882 |   205032 |    23098     17 |      911 |      944
520.50/520.66	c  520s |      17 |   323122 |   206132 |    23098     17 |      911 |      944
522.70/522.82	c  522s |      17 |   324096 |   206832 |    23098     18 |      911 |      944
524.90/525.00	c  524s |      17 |   325570 |   208032 |    23098     18 |      911 |      944
527.00/527.15	c  526s |      17 |   326896 |   209132 |    23098     18 |      911 |      944
529.20/529.30	c  529s |      17 |   328548 |   210232 |    23098     18 |      911 |      944
531.20/531.34	c  531s |      17 |   330545 |   211432 |    23098     18 |      911 |      944
533.30/533.47	c  533s |      17 |   331620 |   212432 |    23098     18 |      911 |      944
535.50/535.66	c  535s |      17 |   332712 |   213432 |    23098     18 |      911 |      944
537.50/537.67	c  537s |      17 |   334027 |   214432 |    23098     18 |      911 |      944
539.70/539.84	c  539s |      17 |   337040 |   215932 |    23098     18 |      911 |      944
541.70/541.88	c  541s |      17 |   338180 |   216932 |    23098     18 |      911 |      944
543.90/544.02	c  543s |      17 |   339158 |   217832 |    23098     18 |      911 |      944
546.00/546.13	c  545s |      17 |   340426 |   218832 |    23098     18 |      911 |      944
547.99/548.19	c  547s |      17 |   341329 |   219632 |    23098     18 |      911 |      944
550.19/550.36	c  550s |      17 |   342411 |   220532 |    23098     19 |      911 |      944
552.39/552.56	c  552s |      17 |   343690 |   221632 |    23098     19 |      911 |      944
554.49/554.69	c  554s |      17 |   344755 |   222532 |    23098     19 |      911 |      944
556.79/556.93	c  556s |      17 |   345650 |   223332 |    23098     19 |      911 |      944
558.99/559.11	c  558s |      17 |   346580 |   224132 |    23098     19 |      911 |      944
561.09/561.29	c  560s |      17 |   347618 |   225032 |    23098     19 |      911 |      944
563.39/563.51	c  563s |      17 |   348684 |   225932 |    23098     19 |      911 |      944
565.50/565.61	c  565s |      17 |   349698 |   226832 |    23098     19 |      911 |      944
567.61/567.76	c  567s |      17 |   350556 |   227632 |    23098     19 |      911 |      944
569.90/570.01	c  569s |      17 |   351351 |   228332 |    23098     19 |      911 |      944
572.10/572.27	c  571s |      17 |   352121 |   229032 |    23098     19 |      911 |      944
574.21/574.38	c  574s |      17 |   352793 |   229632 |    23098     19 |      911 |      944
576.31/576.43	c  576s |      17 |   353452 |   230232 |    23098     19 |      911 |      944
578.30/578.48	c  578s |      17 |   354153 |   230832 |    23098     19 |      911 |      944
580.60/580.71	c  580s |      17 |   355085 |   231632 |    23098     19 |      911 |      944
582.60/582.74	c  582s |      17 |   356004 |   232332 |    23098     19 |      911 |      944
584.60/584.80	c  584s |      17 |   356689 |   232932 |    23098     19 |      911 |      944
586.80/586.93	c  586s |      17 |   357828 |   233732 |    23098     20 |      911 |      944
588.80/588.97	c  588s |      17 |   359481 |   234832 |    23098     20 |      911 |      944
590.80/590.99	c  590s |      17 |   360856 |   235832 |    23098     20 |      911 |      944
592.90/593.06	c  592s |      17 |   362463 |   236932 |    23098     20 |      911 |      944
595.00/595.17	c  594s |      17 |   363857 |   238032 |    23098     20 |      911 |      944
596.99/597.17	c  596s |      17 |   364838 |   238832 |    23098     20 |      911 |      944
599.19/599.37	c  599s |      17 |   366011 |   239732 |    23098     20 |      911 |      944
601.39/601.56	c  601s |      17 |   367188 |   240632 |    23098     20 |      911 |      944
603.49/603.67	c  603s |      17 |   368395 |   241532 |    23098     20 |      911 |      944
605.69/605.86	c  605s |      17 |   369398 |   242332 |    23098     20 |      911 |      944
607.99/608.13	c  607s |      17 |   370751 |   243332 |    23098     20 |      911 |      944
610.09/610.28	c  609s |      17 |   371954 |   244232 |    23098     20 |      911 |      944
612.29/612.45	c  612s |      17 |   372993 |   245032 |    23098     20 |      911 |      944
614.49/614.63	c  614s |      17 |   373827 |   245732 |    23098     20 |      911 |      944
616.49/616.68	c  616s |      17 |   374676 |   246332 |    23098     20 |      911 |      944
618.49/618.69	c  618s |      17 |   375305 |   246832 |    23098     21 |      911 |      944
620.69/620.87	c  620s |      17 |   376273 |   247632 |    23098     21 |      911 |      944
622.89/623.09	c  622s |      17 |   377244 |   248432 |    23098     21 |      911 |      944
625.19/625.38	c  625s |      17 |   378051 |   249132 |    23098     21 |      911 |      944
627.29/627.47	c  627s |      17 |   378900 |   249832 |    23098     21 |      911 |      944
629.69/629.82	c  629s |      17 |   379728 |   250532 |    23098     21 |      911 |      944
631.69/631.89	c  631s |      17 |   380579 |   251232 |    23098     21 |      911 |      944
633.79/633.91	c  633s |      17 |   381323 |   251832 |    23098     21 |      911 |      944
635.89/636.00	c  635s |      17 |   382166 |   252532 |    23098     21 |      911 |      944
638.19/638.34	c  638s |      17 |   383122 |   253332 |    23098     21 |      911 |      944
640.29/640.45	c  640s |      17 |   384018 |   254032 |    23098     21 |      911 |      944
642.29/642.45	c  642s |      17 |   384766 |   254632 |    23098     21 |      911 |      944
644.39/644.59	c  644s |      17 |   385666 |   255332 |    23098     21 |      911 |      944
646.58/646.71	c  646s |      17 |   386403 |   255932 |    23098     21 |      911 |      944
648.68/648.84	c  648s |      17 |   387177 |   256532 |    23098     21 |      911 |      944
650.88/651.03	c  650s |      17 |   387947 |   257132 |    23098     21 |      911 |      944
652.98/653.17	c  652s |      17 |   388730 |   257732 |    23098     21 |      911 |      944
655.08/655.27	c  654s |      17 |   389613 |   258432 |    23098     21 |      911 |      944
657.28/657.43	c  657s |      17 |   390453 |   259132 |    23098     21 |      911 |      944
659.99/660.17	c  659s |      17 |   391398 |   259832 |    23098     22 |      911 |      944
662.09/662.27	c  661s |      17 |   392401 |   260632 |    23098     22 |      911 |      944
664.18/664.31	c  664s |      17 |   393453 |   261432 |    23098     22 |      911 |      944
666.28/666.41	c  666s |      17 |   394320 |   262132 |    23098     22 |      911 |      944
668.38/668.59	c  668s |      17 |   395331 |   262932 |    23098     22 |      911 |      944
670.48/670.65	c  670s |      17 |   396353 |   263732 |    23098     22 |      911 |      944
672.68/672.86	c  672s |      17 |   397363 |   264532 |    23098     22 |      911 |      944
674.68/674.89	c  674s |      17 |   398091 |   265132 |    23098     22 |      911 |      944
677.08/677.29	c  676s |      17 |   399113 |   265932 |    23098     22 |      911 |      944
679.18/679.38	c  679s |      17 |   399851 |   266532 |    23098     22 |      911 |      944
681.28/681.45	c  681s |      17 |   400566 |   267132 |    23098     22 |      911 |      944
683.48/683.69	c  683s |      17 |   401290 |   267732 |    23098     22 |      911 |      944
685.78/685.93	c  685s |      17 |   401992 |   268332 |    23098     22 |      911 |      944
687.88/688.09	c  687s |      17 |   402723 |   268932 |    23098     22 |      911 |      944
690.18/690.36	c  690s |      17 |   403641 |   269632 |    23098     22 |      911 |      944
692.27/692.40	c  692s |      17 |   404399 |   270232 |    23098     22 |      911 |      944
694.57/694.76	c  694s |      17 |   405108 |   270832 |    23098     22 |      911 |      944
696.77/696.95	c  696s |      17 |   405848 |   271432 |    23098     22 |      911 |      944
699.07/699.23	c  698s |      17 |   406638 |   272032 |    23098     22 |      911 |      944
701.27/701.44	c  701s |      17 |   407380 |   272632 |    23098     22 |      911 |      944
703.37/703.54	c  703s |      17 |   408006 |   273132 |    23098     23 |      911 |      944
705.57/705.77	c  705s |      17 |   409011 |   273932 |    23098     23 |      911 |      944
707.67/707.83	c  707s |      17 |   409867 |   274632 |    23098     23 |      911 |      944
709.87/710.02	c  709s |      17 |   410745 |   275332 |    23098     23 |      911 |      944
711.87/712.05	c  711s |      17 |   411650 |   276032 |    23098     23 |      911 |      944
714.07/714.24	c  713s |      17 |   412642 |   276832 |    23098     23 |      911 |      944
716.08/716.28	c  715s |      17 |   413485 |   277532 |    23098     23 |      911 |      944
718.18/718.34	c  718s |      17 |   414253 |   278132 |    23098     23 |      911 |      944
720.38/720.60	c  720s |      17 |   415101 |   278832 |    23098     23 |      911 |      944
722.68/722.81	c  722s |      17 |   415816 |   279432 |    23098     23 |      911 |      944
724.67/724.84	c  724s |      17 |   416585 |   280032 |    23098     23 |      911 |      944
726.77/726.94	c  726s |      17 |   417435 |   280732 |    23098     23 |      911 |      944
728.87/729.07	c  728s |      17 |   418219 |   281332 |    23098     23 |      911 |      944
730.97/731.18	c  730s |      17 |   418962 |   281932 |    23098     23 |      911 |      944
733.17/733.36	c  733s |      17 |   419738 |   282532 |    23098     23 |      911 |      944
735.37/735.58	c  735s |      17 |   420480 |   283132 |    23098     23 |      911 |      944
737.77/737.96	c  737s |      17 |   421243 |   283732 |    23098     23 |      911 |      944
740.27/740.44	c  740s |      17 |   421991 |   284332 |    23098     23 |      911 |      944
742.67/742.80	c  742s |      17 |   422737 |   284932 |    23098     23 |      911 |      944
744.86/745.05	c  744s |      17 |   423503 |   285532 |    23098     23 |      911 |      944
747.06/747.24	c  746s |      17 |   424309 |   286132 |    23098     23 |      911 |      944
749.26/749.41	c  749s |      17 |   425067 |   286732 |    23098     24 |      911 |      944
751.27/751.49	c  751s |      17 |   425931 |   287432 |    23098     24 |      911 |      944
753.56/753.71	c  753s |      17 |   426834 |   288132 |    23098     24 |      911 |      944
755.76/755.90	c  755s |      17 |   427887 |   288932 |    23098     24 |      911 |      944
757.96/758.10	c  757s |      17 |   428721 |   289632 |    23098     24 |      911 |      944
760.16/760.32	c  760s |      17 |   429424 |   290232 |    23098     24 |      911 |      944
762.46/762.63	c  762s |      17 |   430313 |   290932 |    23098     24 |      911 |      944
764.56/764.71	c  764s |      17 |   431052 |   291532 |    23098     24 |      911 |      944
766.76/766.93	c  766s |      17 |   432066 |   292332 |    23098     24 |      911 |      944
768.96/769.19	c  768s |      17 |   432973 |   293032 |    23098     24 |      911 |      944
771.06/771.22	c  770s |      17 |   433700 |   293632 |    23098     24 |      911 |      944
773.06/773.23	c  772s |      17 |   434444 |   294232 |    25408     24 |      911 |      944
775.26/775.45	c  775s |      17 |   435166 |   294832 |    25408     24 |      911 |      944
777.35/777.50	c  777s |      17 |   435955 |   295432 |    25408     24 |      911 |      944
779.65/779.82	c  779s |      17 |   436709 |   296032 |    25408     24 |      911 |      944
780.35/780.53	c  780s |      18 |   436979 |   296252 |    25408     24 |      911 |      944
782.45/782.62	c  782s |      18 |   447128 |   298052 |    25408     24 |      911 |      944
784.55/784.74	c  784s |      18 |   455140 |   300152 |    25408     24 |      911 |      944
787.05/787.21	c  786s |      18 |   457196 |   301252 |    25408     25 |      911 |      944
789.15/789.38	c  789s |      18 |   464821 |   303452 |    25408     25 |      911 |      944
791.35/791.59	c  791s |      18 |   466526 |   304652 |    25408     25 |      911 |      944
793.54/793.74	c  793s |      18 |   468462 |   305752 |    25408     25 |      911 |      944
795.64/795.82	c  795s |      18 |   469736 |   306752 |    25408     25 |      911 |      944
797.65/797.90	c  797s |      18 |   470988 |   307752 |    25408     25 |      911 |      944
799.95/800.16	c  799s |      18 |   472303 |   308752 |    25408     25 |      911 |      944
802.05/802.20	c  801s |      18 |   473467 |   309652 |    25408     25 |      911 |      944
804.25/804.44	c  804s |      18 |   474616 |   310552 |    25408     25 |      911 |      944
806.25/806.44	c  806s |      18 |   475486 |   311252 |    25408     25 |      911 |      944
808.35/808.54	c  808s |      18 |   476564 |   312052 |    25408     25 |      911 |      944
810.65/810.87	c  810s |      18 |   477572 |   312852 |    25408     25 |      911 |      944
812.85/813.03	c  812s |      18 |   478585 |   313652 |    25408     25 |      911 |      944
814.84/815.10	c  814s |      18 |   479921 |   314452 |    25408     25 |      911 |      944
817.15/817.37	c  817s |      18 |   482166 |   315652 |    25408     25 |      911 |      944
819.24/819.44	c  819s |      18 |   485160 |   316652 |    25408     26 |      911 |      944
821.34/821.53	c  821s |      18 |   488313 |   317952 |    25408     26 |      911 |      944
823.44/823.63	c  823s |      18 |   489455 |   318952 |    25408     26 |      911 |      944
825.44/825.68	c  825s |      18 |   491444 |   320052 |    25408     26 |      911 |      944
827.54/827.73	c  827s |      18 |   495226 |   321452 |    25408     26 |      911 |      944
829.54/829.76	c  829s |      18 |   496361 |   322352 |    25408     26 |      911 |      944
831.74/831.91	c  831s |      18 |   497761 |   323252 |    25408     26 |      911 |      944
833.84/834.05	c  833s |      18 |   498604 |   323952 |    25408     26 |      911 |      944
836.04/836.20	c  835s |      18 |   499463 |   324652 |    25408     26 |      911 |      944
838.34/838.56	c  838s |      18 |   500234 |   325352 |    25408     26 |      911 |      944
840.44/840.65	c  840s |      18 |   500894 |   325952 |    25408     26 |      911 |      944
842.55/842.76	c  842s |      18 |   502091 |   326752 |    25408     26 |      911 |      944
844.54/844.77	c  844s |      18 |   503163 |   327452 |    25408     26 |      911 |      944
846.74/846.99	c  846s |      18 |   504468 |   328352 |    25408     26 |      911 |      944
849.04/849.22	c  848s |      18 |   505512 |   329152 |    25408     26 |      911 |      944
851.24/851.41	c  851s |      18 |   506579 |   329952 |    25408     26 |      911 |      944
853.44/853.69	c  853s |      18 |   507331 |   330552 |    25408     27 |      911 |      944
855.74/855.94	c  855s |      18 |   508336 |   331352 |    25408     27 |      911 |      944
857.84/858.06	c  857s |      18 |   509205 |   332052 |    25408     27 |      911 |      944
859.94/860.17	c  859s |      18 |   510086 |   332752 |    25408     27 |      911 |      944
862.24/862.43	c  862s |      18 |   511035 |   333552 |    25408     27 |      911 |      944
864.23/864.49	c  864s |      18 |   511872 |   334252 |    25408     27 |      911 |      944
866.33/866.59	c  866s |      18 |   512676 |   334952 |    25408     27 |      911 |      944
868.53/868.76	c  868s |      18 |   513355 |   335552 |    25408     27 |      911 |      944
870.53/870.79	c  870s |      18 |   514058 |   336152 |    25408     27 |      911 |      944
872.73/872.99	c  872s |      18 |   514784 |   336752 |    25408     27 |      911 |      944
875.03/875.26	c  874s |      18 |   515359 |   337252 |    25408     27 |      911 |      944
877.33/877.58	c  877s |      18 |   515920 |   337752 |    25408     27 |      911 |      944
879.53/879.79	c  879s |      18 |   516660 |   338352 |    25408     27 |      911 |      944
881.73/881.95	c  881s |      18 |   517401 |   338952 |    25408     27 |      911 |      944
883.83/884.06	c  883s |      18 |   518151 |   339552 |    25408     27 |      911 |      944
886.13/886.37	c  886s |      18 |   518877 |   340152 |    25408     27 |      911 |      944
888.43/888.69	c  888s |      18 |   519577 |   340752 |    25408     27 |      911 |      944
890.62/890.87	c  890s |      18 |   520224 |   341252 |    25408     27 |      911 |      944
892.72/892.90	c  892s |      18 |   520796 |   341752 |    25408     27 |      911 |      944
894.82/895.02	c  894s |      18 |   521416 |   342252 |    25408     27 |      911 |      944
896.82/897.09	c  896s |      18 |   522041 |   342752 |    25408     27 |      911 |      944
899.22/899.41	c  899s |      18 |   522623 |   343252 |    25408     27 |      911 |      944
901.42/901.60	c  901s |      18 |   523185 |   343752 |    25408     27 |      911 |      944
903.72/903.97	c  903s |      18 |   523754 |   344252 |    25408     27 |      911 |      944
905.82/906.08	c  905s |      18 |   524244 |   344652 |    25408     28 |      911 |      944
908.02/908.23	c  907s |      18 |   524947 |   345252 |    25408     28 |      911 |      944
910.21/910.44	c  910s |      18 |   525701 |   345852 |    25408     28 |      911 |      944
912.31/912.56	c  912s |      18 |   526391 |   346452 |    25408     28 |      911 |      944
914.61/914.89	c  914s |      18 |   527115 |   347052 |    25408     28 |      911 |      944
917.01/917.20	c  916s |      18 |   527796 |   347652 |    25408     28 |      911 |      944
919.31/919.53	c  919s |      18 |   528513 |   348252 |    25408     28 |      911 |      944
921.51/921.72	c  921s |      18 |   529271 |   348852 |    25408     28 |      911 |      944
923.71/923.94	c  923s |      18 |   530099 |   349552 |    25408     28 |      911 |      944
925.91/926.19	c  925s |      18 |   530798 |   350152 |    25408     28 |      911 |      944
928.11/928.37	c  928s |      18 |   531511 |   350752 |    25408     28 |      911 |      944
930.21/930.48	c  930s |      18 |   532081 |   351252 |    25408     28 |      911 |      944
932.30/932.57	c  932s |      18 |   532775 |   351852 |    25408     28 |      911 |      944
934.40/934.63	c  934s |      18 |   533352 |   352352 |    25408     28 |      911 |      944
936.60/936.89	c  936s |      18 |   533888 |   352852 |    25408     28 |      911 |      944
938.90/939.19	c  938s |      18 |   534568 |   353452 |    25408     28 |      911 |      944
941.30/941.57	c  941s |      18 |   535255 |   354052 |    25408     28 |      911 |      944
943.50/943.79	c  943s |      18 |   535964 |   354652 |    25408     28 |      911 |      944
945.80/946.05	c  945s |      18 |   536684 |   355252 |    25408     28 |      911 |      944
948.00/948.22	c  947s |      18 |   537238 |   355752 |    25408     28 |      911 |      944
950.10/950.37	c  950s |      18 |   537830 |   356252 |    25408     28 |      911 |      944
952.20/952.46	c  952s |      18 |   538279 |   356652 |    25408     28 |      911 |      944
954.39/954.64	c  954s |      18 |   538766 |   357052 |    25408     28 |      911 |      944
956.39/956.67	c  956s |      18 |   539326 |   357552 |    25408     28 |      911 |      944
958.79/959.04	c  958s |      18 |   539888 |   358052 |    25408     28 |      911 |      944
961.21/961.42	c  961s |      18 |   540433 |   358552 |    25408     28 |      911 |      944
963.20/963.45	c  963s |      18 |   540883 |   358952 |    25408     28 |      911 |      944
965.40/965.65	c  965s |      18 |   541333 |   359352 |    25408     29 |      911 |      944
967.50/967.70	c  967s |      18 |   541901 |   359852 |    25408     29 |      911 |      944
969.60/969.89	c  969s |      18 |   542619 |   360452 |    25408     29 |      911 |      944
971.80/972.04	c  971s |      18 |   543197 |   360952 |    25408     29 |      911 |      944
974.00/974.23	c  973s |      18 |   544001 |   361552 |    25408     29 |      911 |      944
976.19/976.47	c  976s |      18 |   544774 |   362152 |    25408     29 |      911 |      944
978.49/978.76	c  978s |      18 |   545607 |   362852 |    25408     29 |      911 |      944
980.59/980.87	c  980s |      18 |   546361 |   363452 |    25408     29 |      911 |      944
982.79/983.09	c  982s |      18 |   547052 |   364052 |    25408     29 |      911 |      944
984.89/985.15	c  984s |      18 |   547616 |   364552 |    25408     29 |      911 |      944
987.09/987.32	c  987s |      18 |   548429 |   365152 |    25408     29 |      911 |      944
989.29/989.57	c  989s |      18 |   549197 |   365752 |    25408     29 |      911 |      944
991.59/991.86	c  991s |      18 |   549733 |   366252 |    25408     29 |      911 |      944
993.69/993.95	c  993s |      18 |   550296 |   366752 |    25408     29 |      911 |      944
995.79/996.00	c  995s |      18 |   550852 |   367252 |    25408     29 |      911 |      944
997.99/998.21	c  997s |      18 |   551420 |   367752 |    25408     29 |      911 |      944
1000.19/1000.41	c 1000s |      18 |   551872 |   368152 |    25408     29 |      911 |      944
1002.58/1002.81	c 1002s |      18 |   552449 |   368652 |    25408     29 |      911 |      944
1004.58/1004.88	c 1004s |      18 |   552921 |   369052 |    25408     29 |      911 |      944
1006.68/1006.98	c 1006s |      18 |   553551 |   369552 |    25408     29 |      911 |      944
1008.78/1009.06	c 1008s |      18 |   554023 |   369952 |    25408     29 |      911 |      944
1010.88/1011.12	c 1010s |      18 |   554486 |   370352 |    25408     29 |      911 |      944
1013.28/1013.51	c 1013s |      18 |   554927 |   370752 |    25408     29 |      911 |      944
1015.57/1015.87	c 1015s |      18 |   555392 |   371152 |    25408     29 |      911 |      944
1017.97/1018.24	c 1017s |      18 |   555857 |   371552 |    25408     29 |      911 |      944
1020.17/1020.44	c 1020s |      18 |   556308 |   371952 |    25408     29 |      911 |      944
1022.17/1022.47	c 1022s |      18 |   556657 |   372252 |    25408     29 |      911 |      944
1024.57/1024.85	c 1024s |      18 |   557099 |   372652 |    25408     29 |      911 |      944
1026.77/1027.02	c 1026s |      18 |   557565 |   373052 |    25408     29 |      911 |      944
1028.87/1029.10	c 1028s |      18 |   557929 |   373352 |    25408     30 |      911 |      944
1031.07/1031.35	c 1031s |      18 |   558496 |   373852 |    25408     30 |      911 |      944
1033.56/1033.81	c 1033s |      18 |   559079 |   374352 |    25408     30 |      911 |      944
1035.66/1035.95	c 1035s |      18 |   559700 |   374852 |    25408     30 |      911 |      944
1037.76/1038.05	c 1037s |      18 |   560319 |   375352 |    25408     30 |      911 |      944
1039.96/1040.27	c 1039s |      18 |   560922 |   375852 |    25408     30 |      911 |      944
1042.26/1042.58	c 1042s |      18 |   561502 |   376352 |    25408     30 |      911 |      944
1044.56/1044.80	c 1044s |      18 |   561987 |   376752 |    25408     30 |      911 |      944
1046.56/1046.88	c 1046s |      18 |   562438 |   377152 |    25408     30 |      911 |      944
1048.66/1048.94	c 1048s |      18 |   563061 |   377652 |    25408     30 |      911 |      944
1050.76/1051.09	c 1050s |      18 |   563656 |   378152 |    25408     30 |      911 |      944
1053.35/1053.61	c 1053s |      18 |   564241 |   378652 |    25408     30 |      911 |      944
1055.55/1055.89	c 1055s |      18 |   564681 |   379052 |    25408     30 |      911 |      944
1057.75/1058.06	c 1057s |      18 |   565262 |   379552 |    25408     30 |      911 |      944
1060.05/1060.35	c 1060s |      18 |   565738 |   379952 |    25408     30 |      911 |      944
1062.25/1062.53	c 1062s |      18 |   566216 |   380352 |    25408     30 |      911 |      944
1064.45/1064.76	c 1064s |      18 |   566673 |   380752 |    25408     30 |      911 |      944
1067.04/1067.30	c 1067s |      18 |   567290 |   381252 |    25408     30 |      911 |      944
1069.14/1069.46	c 1069s |      18 |   567889 |   381752 |    25408     30 |      911 |      944
1071.25/1071.54	c 1071s |      18 |   568491 |   382252 |    25408     30 |      911 |      944
1073.35/1073.64	c 1073s |      18 |   569132 |   382752 |    25408     30 |      911 |      944
1075.34/1075.65	c 1075s |      18 |   569757 |   383252 |    25408     30 |      911 |      944
1077.75/1078.05	c 1077s |      18 |   570471 |   383852 |    25408     30 |      911 |      944
1079.94/1080.26	c 1079s |      18 |   571063 |   384352 |    25408     30 |      911 |      944
1082.04/1082.37	c 1082s |      18 |   571644 |   384852 |    25408     30 |      911 |      944
1084.44/1084.70	c 1084s |      18 |   572235 |   385352 |    25408     30 |      911 |      944
1086.54/1086.82	c 1086s |      18 |   572902 |   385852 |    25408     30 |      911 |      944
1088.74/1089.01	c 1088s |      18 |   573558 |   386352 |    25408     30 |      911 |      944
1090.73/1091.09	c 1090s |      18 |   574211 |   386852 |    25408     30 |      911 |      944
1092.93/1093.21	c 1092s |      18 |   574794 |   387352 |    25408     30 |      911 |      944
1095.03/1095.33	c 1095s |      18 |   575297 |   387752 |    25408     31 |      911 |      944
1097.23/1097.52	c 1097s |      18 |   576187 |   388452 |    25408     31 |      911 |      944
1099.22/1099.53	c 1099s |      18 |   576770 |   388952 |    25408     31 |      911 |      944
1101.62/1101.91	c 1101s |      18 |   577438 |   389552 |    25408     31 |      911 |      944
1103.72/1104.03	c 1103s |      18 |   578135 |   390152 |    25408     31 |      911 |      944
1105.82/1106.12	c 1105s |      18 |   578880 |   390752 |    25408     31 |      911 |      944
1107.92/1108.25	c 1107s |      18 |   579612 |   391352 |    25408     31 |      911 |      944
1110.32/1110.65	c 1110s |      18 |   580324 |   391952 |    25408     31 |      911 |      944
1112.31/1112.68	c 1112s |      18 |   580887 |   392452 |    25408     31 |      911 |      944
1114.41/1114.72	c 1114s |      18 |   581367 |   392852 |    25408     31 |      911 |      944
1116.51/1116.86	c 1116s |      18 |   581983 |   393352 |    25408     31 |      911 |      944
1118.61/1118.91	c 1118s |      18 |   582684 |   393852 |    25408     31 |      911 |      944
1120.72/1121.08	c 1120s |      18 |   583301 |   394352 |    25408     31 |      911 |      944
1123.00/1123.31	c 1123s |      18 |   583900 |   394852 |    25408     31 |      911 |      944
1125.20/1125.54	c 1125s |      18 |   584539 |   395352 |    25408     31 |      911 |      944
1127.50/1127.80	c 1127s |      18 |   585174 |   395852 |    25408     31 |      911 |      944
1129.80/1130.19	c 1129s |      18 |   585756 |   396352 |    25408     31 |      911 |      944
1132.10/1132.50	c 1132s |      18 |   586371 |   396852 |    25408     31 |      911 |      944
1134.50/1134.80	c 1134s |      18 |   586974 |   397352 |    25408     31 |      911 |      944
1136.80/1137.19	c 1136s |      18 |   587558 |   397852 |    25408     31 |      911 |      944
1138.90/1139.22	c 1138s |      18 |   588067 |   398252 |    25408     31 |      911 |      944
1141.10/1141.42	c 1141s |      18 |   588667 |   398752 |    25408     31 |      911 |      944
1143.30/1143.65	c 1143s |      18 |   589127 |   399152 |    25408     31 |      911 |      944
1145.39/1145.71	c 1145s |      18 |   589615 |   399552 |    25408     31 |      911 |      944
1147.49/1147.88	c 1147s |      18 |   590172 |   400052 |    25408     31 |      911 |      944
1149.69/1150.01	c 1149s |      18 |   590799 |   400552 |    25408     31 |      911 |      944
1151.99/1152.30	c 1152s |      18 |   591393 |   401052 |    25408     31 |      911 |      944
1154.29/1154.60	c 1154s |      18 |   591982 |   401552 |    25408     31 |      911 |      944
1156.39/1156.70	c 1156s |      18 |   592491 |   401952 |    25408     32 |      911 |      944
1158.68/1159.04	c 1158s |      18 |   593032 |   402452 |    25408     32 |      911 |      944
1160.78/1161.12	c 1160s |      18 |   596854 |   403752 |    25408     32 |      911 |      944
1162.98/1163.31	c 1163s |      18 |   598693 |   404952 |    25408     32 |      911 |      944
1164.98/1165.38	c 1165s |      18 |   599750 |   405752 |    25408     32 |      911 |      944
1167.08/1167.47	c 1167s |      18 |   600943 |   406652 |    25408     32 |      911 |      944
1169.38/1169.70	c 1169s |      18 |   602741 |   407752 |    25408     32 |      911 |      944
1171.48/1171.80	c 1171s |      18 |   603855 |   408552 |    25408     32 |      911 |      944
1173.67/1174.09	c 1173s |      18 |   604749 |   409252 |    25408     32 |      911 |      944
1175.77/1176.17	c 1175s |      18 |   606574 |   410152 |    25408     32 |      911 |      944
1177.97/1178.31	c 1178s |      18 |   608460 |   411152 |    25408     32 |      911 |      944
1179.98/1180.32	c 1180s |      18 |   610525 |   412152 |    25408     32 |      911 |      944
1182.18/1182.52	c 1182s |      18 |   612163 |   413152 |    25408     32 |      911 |      944
1184.17/1184.53	c 1184s |      18 |   613420 |   413952 |    25408     32 |      911 |      944
1186.27/1186.61	c 1186s |      18 |   614447 |   414652 |    25408     32 |      911 |      944
1188.37/1188.78	c 1188s |      18 |   615371 |   415352 |    25408     32 |      911 |      944
1190.77/1191.11	c 1190s |      18 |   616281 |   416052 |    25408     32 |      911 |      944
1192.96/1193.35	c 1193s |      18 |   616873 |   416552 |    25408     33 |      911 |      944
1195.06/1195.46	c 1195s |      18 |   617736 |   417252 |    25408     33 |      911 |      944
1197.16/1197.51	c 1197s |      18 |   618575 |   417952 |    25408     33 |      911 |      944
1199.36/1199.75	c 1199s |      18 |   619444 |   418652 |    25408     33 |      911 |      944
1201.46/1201.89	c 1201s |      18 |   620108 |   419252 |    25408     33 |      911 |      944
1203.56/1203.94	c 1203s |      18 |   620788 |   419852 |    25408     33 |      911 |      944
1206.06/1206.43	c 1206s |      18 |   621512 |   420452 |    25408     33 |      911 |      944
1208.36/1208.73	c 1208s |      18 |   622101 |   420952 |    25408     33 |      911 |      944
1210.36/1210.79	c 1210s |      18 |   622681 |   421452 |    25408     33 |      911 |      944
1212.45/1212.83	c 1212s |      18 |   623116 |   421852 |    25408     33 |      911 |      944
1214.85/1215.20	c 1214s |      18 |   623692 |   422352 |    25408     33 |      911 |      944
1217.15/1217.57	c 1217s |      18 |   624135 |   422752 |    25408     33 |      911 |      944
1219.45/1219.83	c 1219s |      18 |   624692 |   423252 |    25408     33 |      911 |      944
1221.86/1222.29	c 1221s |      18 |   625161 |   423652 |    25408     33 |      911 |      944
1224.34/1224.72	c 1224s |      18 |   625880 |   424252 |    25408     33 |      911 |      944
1226.34/1226.77	c 1226s |      18 |   626497 |   424752 |    25408     33 |      911 |      944
1228.54/1228.97	c 1228s |      18 |   627087 |   425252 |    25408     33 |      911 |      944
1230.74/1231.13	c 1230s |      18 |   627667 |   425752 |    25408     33 |      911 |      944
1232.84/1233.25	c 1232s |      18 |   628229 |   426252 |    25408     33 |      911 |      944
1235.14/1235.54	c 1235s |      18 |   628801 |   426752 |    25408     33 |      911 |      944
1237.24/1237.62	c 1237s |      18 |   629260 |   427152 |    25408     33 |      911 |      944
1239.44/1239.88	c 1239s |      18 |   629713 |   427552 |    25408     33 |      911 |      944
1241.54/1241.97	c 1241s |      18 |   630159 |   427952 |    25408     33 |      911 |      944
1243.74/1244.16	c 1243s |      18 |   630746 |   428452 |    25408     33 |      911 |      944
1245.94/1246.40	c 1246s |      18 |   631482 |   429052 |    25408     33 |      911 |      944
1248.03/1248.43	c 1248s |      18 |   632087 |   429552 |    25408     33 |      911 |      944
1250.23/1250.60	c 1250s |      18 |   632664 |   430052 |    25408     33 |      911 |      944
1252.42/1252.83	c 1252s |      18 |   633137 |   430452 |    25408     34 |      911 |      944
1254.62/1255.08	c 1254s |      18 |   633983 |   431152 |    25408     34 |      911 |      944
1256.82/1257.20	c 1256s |      18 |   634683 |   431752 |    25408     34 |      911 |      944
1258.82/1259.26	c 1258s |      18 |   635216 |   432252 |    25408     34 |      911 |      944
1261.12/1261.57	c 1261s |      18 |   635922 |   432852 |    25408     34 |      911 |      944
1263.12/1263.57	c 1263s |      18 |   636479 |   433352 |    25408     34 |      911 |      944
1265.32/1265.74	c 1265s |      18 |   637033 |   433852 |    25408     34 |      911 |      944
1267.52/1267.97	c 1267s |      18 |   637603 |   434352 |    25408     34 |      911 |      944
1269.61/1270.05	c 1269s |      18 |   638214 |   434852 |    25408     34 |      911 |      944
1271.91/1272.35	c 1272s |      18 |   638764 |   435352 |    25408     34 |      911 |      944
1274.21/1274.66	c 1274s |      18 |   639329 |   435852 |    25408     34 |      911 |      944
1276.41/1276.87	c 1276s |      18 |   639878 |   436352 |    25408     34 |      911 |      944
1278.91/1279.37	c 1279s |      18 |   640447 |   436852 |    25408     34 |      911 |      944
1281.11/1281.54	c 1281s |      18 |   640876 |   437252 |    25408     34 |      911 |      944
1283.10/1283.59	c 1283s |      18 |   641328 |   437652 |    25408     34 |      911 |      944
1285.30/1285.74	c 1285s |      18 |   641772 |   438052 |    25408     34 |      911 |      944
1287.41/1287.89	c 1287s |      18 |   642236 |   438452 |    25408     34 |      911 |      944
1289.81/1290.24	c 1289s |      18 |   642671 |   438852 |    25408     34 |      911 |      944
1292.12/1292.53	c 1292s |      18 |   643123 |   439252 |    25408     34 |      911 |      944
1294.21/1294.63	c 1294s |      18 |   643594 |   439652 |    25408     34 |      911 |      944
1296.51/1296.97	c 1296s |      18 |   644183 |   440152 |    25408     34 |      911 |      944
1298.90/1299.31	c 1299s |      18 |   644815 |   440652 |    25408     34 |      911 |      944
1301.30/1301.70	c 1301s |      18 |   645393 |   441152 |    25408     34 |      911 |      944
1303.60/1304.08	c 1303s |      18 |   645974 |   441652 |    27949     34 |      911 |      944
1305.90/1306.33	c 1306s |      18 |   646418 |   442052 |    27949     34 |      911 |      944
1308.10/1308.51	c 1308s |      18 |   646883 |   442452 |    27949     34 |      911 |      944
1310.40/1310.84	c 1310s |      18 |   647347 |   442852 |    27949     34 |      911 |      944
1312.39/1312.87	c 1312s |      18 |   647820 |   443252 |    27949     34 |      911 |      944
1314.59/1315.02	c 1314s |      18 |   648259 |   443652 |    27949     34 |      911 |      944
1317.09/1317.58	c 1317s |      18 |   648707 |   444052 |    27949     34 |      911 |      944
1319.49/1320.00	c 1319s |      18 |   649145 |   444452 |    27949     34 |      911 |      944
1319.79/1320.20	c 1319s |      19 |   649175 |   444482 |    27949     34 |      911 |      944
1321.80/1322.20	c 1321s |      19 |   655013 |   445582 |    27949     34 |      911 |      944
1324.18/1324.69	c 1324s |      19 |   659834 |   447482 |    27949     35 |      911 |      944
1326.38/1326.82	c 1326s |      19 |   662116 |   449082 |    27949     35 |      911 |      944
1328.39/1328.83	c 1328s |      19 |   664093 |   450382 |    27949     35 |      911 |      944
1330.48/1330.92	c 1330s |      19 |   665599 |   451482 |    27949     35 |      911 |      944
1332.48/1332.92	c 1332s |      19 |   666867 |   452482 |    27949     35 |      911 |      944
1334.48/1334.97	c 1334s |      19 |   667861 |   453282 |    27949     35 |      911 |      944
1336.58/1337.07	c 1336s |      19 |   669027 |   454182 |    27949     35 |      911 |      944
1338.78/1339.27	c 1338s |      19 |   670020 |   454982 |    27949     35 |      911 |      944
1340.88/1341.30	c 1341s |      19 |   671010 |   455782 |    27949     35 |      911 |      944
1342.97/1343.43	c 1343s |      19 |   672151 |   456682 |    27949     35 |      911 |      944
1345.07/1345.51	c 1345s |      19 |   673011 |   457382 |    27949     35 |      911 |      944
1347.08/1347.53	c 1347s |      19 |   674040 |   458182 |    27949     35 |      911 |      944
1349.07/1349.55	c 1349s |      19 |   674881 |   458882 |    27949     35 |      911 |      944
1351.27/1351.77	c 1351s |      19 |   676020 |   459782 |    27949     35 |      911 |      944
1353.46/1353.99	c 1353s |      19 |   676900 |   460482 |    27949     35 |      911 |      944
1355.56/1356.04	c 1355s |      19 |   677608 |   461082 |    27949     35 |      911 |      944
1357.66/1358.15	c 1357s |      19 |   678301 |   461682 |    27949     35 |      911 |      944
1359.96/1360.45	c 1360s |      19 |   679125 |   462382 |    27949     35 |      911 |      944
1362.16/1362.60	c 1362s |      19 |   679850 |   462982 |    27949     35 |      911 |      944
1364.46/1364.91	c 1364s |      19 |   680439 |   463482 |    27949     36 |      911 |      944
1366.66/1367.15	c 1366s |      19 |   680995 |   463982 |    27949     36 |      911 |      944
1368.96/1369.47	c 1369s |      19 |   681692 |   464582 |    27949     36 |      911 |      944
1371.16/1371.64	c 1371s |      19 |   682864 |   465382 |    27949     36 |      911 |      944
1373.35/1373.86	c 1373s |      19 |   683888 |   466182 |    27949     36 |      911 |      944
1375.55/1376.06	c 1375s |      19 |   684750 |   466882 |    27949     36 |      911 |      944
1377.75/1378.26	c 1377s |      19 |   685673 |   467582 |    27949     36 |      911 |      944
1379.95/1380.42	c 1380s |      19 |   686343 |   468182 |    27949     36 |      911 |      944
1382.05/1382.52	c 1382s |      19 |   687095 |   468782 |    27949     36 |      911 |      944
1384.35/1384.83	c 1384s |      19 |   687978 |   469482 |    27949     36 |      911 |      944
1386.55/1387.02	c 1386s |      19 |   688719 |   470082 |    27949     36 |      911 |      944
1388.85/1389.35	c 1389s |      19 |   689435 |   470682 |    27949     36 |      911 |      944
1391.45/1391.96	c 1391s |      19 |   690020 |   471182 |    27949     36 |      911 |      944
1393.75/1394.27	c 1393s |      19 |   690724 |   471782 |    27949     36 |      911 |      944
1396.05/1396.58	c 1396s |      19 |   691723 |   472482 |    27949     36 |      911 |      944
1398.45/1398.92	c 1398s |      19 |   692627 |   473182 |    27949     36 |      911 |      944
1400.65/1401.19	c 1400s |      19 |   693339 |   473782 |    27949     36 |      911 |      944
1402.94/1403.41	c 1403s |      19 |   694093 |   474382 |    27949     36 |      911 |      944
1405.14/1405.68	c 1405s |      19 |   694827 |   474982 |    27949     36 |      911 |      944
1407.44/1407.90	c 1407s |      19 |   695564 |   475582 |    27949     36 |      911 |      944
1409.85/1410.32	c 1410s |      19 |   696348 |   476182 |    27949     36 |      911 |      944
1411.95/1412.41	c 1412s |      19 |   696956 |   476682 |    27949     36 |      911 |      944
1414.15/1414.66	c 1414s |      19 |   697559 |   477182 |    27949     36 |      911 |      944
1416.54/1417.01	c 1416s |      19 |   698143 |   477682 |    27949     36 |      911 |      944
1418.65/1419.11	c 1418s |      19 |   698758 |   478182 |    27949     36 |      911 |      944
1420.94/1421.41	c 1421s |      19 |   699356 |   478682 |    27949     36 |      911 |      944
1423.14/1423.60	c 1423s |      19 |   699836 |   479082 |    27949     37 |      911 |      944
1425.15/1425.63	c 1425s |      19 |   700605 |   479682 |    27949     37 |      911 |      944
1427.24/1427.74	c 1427s |      19 |   701454 |   480382 |    27949     37 |      911 |      944
1429.34/1429.81	c 1429s |      19 |   702201 |   480982 |    27949     37 |      911 |      944
1431.64/1432.15	c 1431s |      19 |   703056 |   481682 |    27949     37 |      911 |      944
1434.05/1434.55	c 1434s |      19 |   703743 |   482282 |    27949     37 |      911 |      944
1436.04/1436.57	c 1436s |      19 |   704335 |   482782 |    27949     37 |      911 |      944
1438.34/1438.86	c 1438s |      19 |   705034 |   483382 |    27949     37 |      911 |      944
1440.74/1441.21	c 1440s |      19 |   705746 |   483982 |    27949     37 |      911 |      944
1442.74/1443.21	c 1442s |      19 |   706358 |   484482 |    27949     37 |      911 |      944
1444.84/1445.38	c 1445s |      19 |   706943 |   484982 |    27949     37 |      911 |      944
1447.04/1447.50	c 1447s |      19 |   707538 |   485482 |    27949     37 |      911 |      944
1449.14/1449.69	c 1449s |      19 |   708110 |   485982 |    27949     37 |      911 |      944
1451.34/1451.86	c 1451s |      19 |   708678 |   486482 |    27949     37 |      911 |      944
1453.44/1453.98	c 1453s |      19 |   709255 |   486982 |    27949     37 |      911 |      944
1455.54/1456.03	c 1455s |      19 |   709697 |   487382 |    27949     37 |      911 |      944
1457.63/1458.19	c 1457s |      19 |   710137 |   487782 |    27949     37 |      911 |      944
1460.13/1460.63	c 1460s |      19 |   710702 |   488282 |    27949     37 |      911 |      944
1462.54/1463.05	c 1462s |      19 |   711261 |   488782 |    27949     37 |      911 |      944
1464.93/1465.40	c 1465s |      19 |   711813 |   489282 |    27949     37 |      911 |      944
1467.04/1467.53	c 1467s |      19 |   712271 |   489682 |    27949     37 |      911 |      944
1469.33/1469.81	c 1469s |      19 |   712731 |   490082 |    27949     37 |      911 |      944
1471.44/1471.93	c 1471s |      19 |   713327 |   490582 |    27949     37 |      911 |      944
1473.43/1473.98	c 1473s |      19 |   713942 |   491082 |    27949     37 |      911 |      944
1475.74/1476.23	c 1475s |      19 |   714558 |   491582 |    27949     37 |      911 |      944
1477.83/1478.38	c 1478s |      19 |   715023 |   491982 |    27949     37 |      911 |      944
1480.03/1480.60	c 1480s |      19 |   715679 |   492482 |    27949     37 |      911 |      944
1482.44/1482.96	c 1482s |      19 |   716239 |   492982 |    27949     37 |      911 |      944
1484.43/1484.99	c 1484s |      19 |   716706 |   493382 |    27949     37 |      911 |      944
1486.84/1487.33	c 1487s |      19 |   717285 |   493882 |    27949     37 |      911 |      944
1489.04/1489.56	c 1489s |      19 |   717654 |   494182 |    27949     38 |      911 |      944
1491.03/1491.58	c 1491s |      19 |   718228 |   494682 |    27949     38 |      911 |      944
1493.23/1493.71	c 1493s |      19 |   718930 |   495282 |    27949     38 |      911 |      944
1495.23/1495.72	c 1495s |      19 |   719662 |   495882 |    27949     38 |      911 |      944
1497.53/1498.02	c 1497s |      19 |   720531 |   496582 |    27949     38 |      911 |      944
1499.73/1500.23	c 1499s |      19 |   721477 |   497282 |    27949     38 |      911 |      944
1501.73/1502.26	c 1501s |      19 |   722179 |   497882 |    27949     38 |      911 |      944
1503.93/1504.41	c 1504s |      19 |   722900 |   498482 |    27949     38 |      911 |      944
1506.13/1506.63	c 1506s |      19 |   723646 |   499082 |    27949     38 |      911 |      944
1508.33/1508.82	c 1508s |      19 |   724387 |   499682 |    27949     38 |      911 |      944
1510.33/1510.84	c 1510s |      19 |   724871 |   500082 |    27949     38 |      911 |      944
1512.63/1513.10	c 1512s |      19 |   725480 |   500582 |    27949     38 |      911 |      944
1514.63/1515.19	c 1514s |      19 |   726095 |   501082 |    27949     38 |      911 |      944
1517.03/1517.58	c 1517s |      19 |   726685 |   501582 |    27949     38 |      911 |      944
1519.33/1519.86	c 1519s |      19 |   727292 |   502082 |    27949     38 |      911 |      944
1521.83/1522.32	c 1522s |      19 |   727860 |   502582 |    27949     38 |      911 |      944
1524.13/1524.69	c 1524s |      19 |   728425 |   503082 |    27949     38 |      911 |      944
1526.53/1527.08	c 1526s |      19 |   728997 |   503582 |    27949     38 |      911 |      944
1529.03/1529.51	c 1529s |      19 |   729597 |   504082 |    27949     38 |      911 |      944
1531.33/1531.84	c 1531s |      19 |   730188 |   504582 |    27949     38 |      911 |      944
1533.73/1534.21	c 1533s |      19 |   730760 |   505082 |    27949     38 |      911 |      944
1536.02/1536.54	c 1536s |      19 |   731355 |   505582 |    27949     38 |      911 |      944
1538.02/1538.59	c 1538s |      19 |   731820 |   505982 |    27949     38 |      911 |      944
1540.32/1540.82	c 1540s |      19 |   732279 |   506382 |    27949     38 |      911 |      944
1542.62/1543.14	c 1542s |      19 |   732877 |   506882 |    27949     38 |      911 |      944
1544.72/1545.24	c 1544s |      19 |   733459 |   507382 |    27949     38 |      911 |      944
1547.02/1547.52	c 1547s |      19 |   734064 |   507882 |    27949     38 |      911 |      944
1549.32/1549.89	c 1549s |      19 |   734621 |   508382 |    27949     38 |      911 |      944
1551.73/1552.28	c 1551s |      19 |   735223 |   508882 |    27949     38 |      911 |      944
1554.02/1554.50	c 1554s |      19 |   735670 |   509282 |    27949     38 |      911 |      944
1556.03/1556.50	c 1556s |      19 |   736130 |   509682 |    27949     38 |      911 |      944
1558.33/1558.83	c 1558s |      19 |   736484 |   509982 |    27949     39 |      911 |      944
1560.62/1561.17	c 1560s |      19 |   737209 |   510582 |    27949     39 |      911 |      944
1562.92/1563.47	c 1563s |      19 |   737910 |   511182 |    27949     39 |      911 |      944
1565.32/1565.80	c 1565s |      19 |   738611 |   511782 |    27949     39 |      911 |      944
1567.62/1568.15	c 1567s |      19 |   739336 |   512382 |    27949     39 |      911 |      944
1569.72/1570.29	c 1569s |      19 |   740046 |   512982 |    27949     39 |      911 |      944
1571.82/1572.30	c 1572s |      19 |   740643 |   513482 |    27949     39 |      911 |      944
1574.02/1574.54	c 1574s |      19 |   741235 |   513982 |    27949     39 |      911 |      944
1576.12/1576.65	c 1576s |      19 |   741826 |   514482 |    27949     39 |      911 |      944
1578.32/1578.86	c 1578s |      19 |   742508 |   515082 |    27949     39 |      911 |      944
1580.62/1581.12	c 1580s |      19 |   743114 |   515582 |    27949     39 |      911 |      944
1582.82/1583.31	c 1583s |      19 |   743692 |   516082 |    27949     39 |      911 |      944
1585.02/1585.54	c 1585s |      19 |   744267 |   516582 |    27949     39 |      911 |      944
1587.21/1587.73	c 1587s |      19 |   744890 |   517082 |    27949     39 |      911 |      944
1589.41/1589.96	c 1589s |      19 |   745492 |   517582 |    27949     39 |      911 |      944
1591.81/1592.34	c 1592s |      19 |   746054 |   518082 |    27949     39 |      911 |      944
1594.21/1594.73	c 1594s |      19 |   746651 |   518582 |    27949     39 |      911 |      944
1596.31/1596.88	c 1596s |      19 |   747104 |   518982 |    27949     39 |      911 |      944
1598.41/1598.92	c 1598s |      19 |   747559 |   519382 |    27949     39 |      911 |      944
1600.81/1601.34	c 1601s |      19 |   748125 |   519882 |    27949     39 |      911 |      944
1603.32/1603.83	c 1603s |      19 |   748678 |   520382 |    27949     39 |      911 |      944
1605.41/1605.94	c 1605s |      19 |   749142 |   520782 |    27949     39 |      911 |      944
1607.51/1608.08	c 1607s |      19 |   749606 |   521182 |    27949     39 |      911 |      944
1609.71/1610.22	c 1609s |      19 |   750057 |   521582 |    27949     39 |      911 |      944
1612.11/1612.69	c 1612s |      19 |   750532 |   521982 |    27949     39 |      911 |      944
1614.42/1614.95	c 1614s |      19 |   750997 |   522382 |    27949     39 |      911 |      944
1617.01/1617.58	c 1617s |      19 |   751450 |   522782 |    27949     39 |      911 |      944
1619.71/1620.22	c 1619s |      19 |   751919 |   523182 |    27949     39 |      911 |      944
1621.71/1622.27	c 1621s |      19 |   752484 |   523582 |    27949     39 |      911 |      944
1624.21/1624.71	c 1624s |      19 |   752972 |   523982 |    27949     39 |      911 |      944
1626.51/1627.05	c 1626s |      19 |   753442 |   524382 |    27949     39 |      911 |      944
1628.51/1629.10	c 1628s |      19 |   753922 |   524782 |    27949     39 |      911 |      944
1630.61/1631.18	c 1630s |      19 |   754438 |   525182 |    27949     39 |      911 |      944
1633.81/1634.35	c 1634s |      19 |   754873 |   525582 |    27949     40 |      911 |      944
1635.91/1636.45	c 1636s |      19 |   755341 |   525982 |    27949     40 |      911 |      944
1638.21/1638.75	c 1638s |      19 |   756071 |   526582 |    27949     40 |      911 |      944
1640.20/1640.76	c 1640s |      19 |   756692 |   527082 |    27949     40 |      911 |      944
1642.50/1643.02	c 1642s |      19 |   757417 |   527682 |    27949     40 |      911 |      944
1644.60/1645.19	c 1644s |      19 |   758023 |   528182 |    27949     40 |      911 |      944
1646.90/1647.45	c 1647s |      19 |   758610 |   528682 |    27949     40 |      911 |      944
1649.10/1649.68	c 1649s |      19 |   759232 |   529182 |    27949     40 |      911 |      944
1651.40/1651.95	c 1651s |      19 |   759990 |   529782 |    27949     40 |      911 |      944
1653.71/1654.23	c 1653s |      19 |   760742 |   530382 |    27949     40 |      911 |      944
1655.91/1656.43	c 1656s |      19 |   761446 |   530982 |    27949     40 |      911 |      944
1658.11/1658.62	c 1658s |      19 |   761904 |   531382 |    27949     40 |      911 |      944
1660.31/1660.88	c 1660s |      19 |   762614 |   531982 |    27949     40 |      911 |      944
1662.61/1663.16	c 1662s |      19 |   763345 |   532582 |    27949     40 |      911 |      944
1664.61/1665.19	c 1664s |      19 |   763788 |   532982 |    27949     40 |      911 |      944
1666.81/1667.30	c 1667s |      19 |   764361 |   533482 |    27949     40 |      911 |      944
1669.01/1669.56	c 1669s |      19 |   764945 |   533982 |    27949     40 |      911 |      944
1671.21/1671.72	c 1671s |      19 |   765424 |   534382 |    27949     40 |      911 |      944
1673.31/1673.80	c 1673s |      19 |   765891 |   534782 |    27949     40 |      911 |      944
1675.31/1675.89	c 1675s |      19 |   766353 |   535182 |    27949     40 |      911 |      944
1677.61/1678.17	c 1677s |      19 |   766914 |   535682 |    27949     40 |      911 |      944
1679.61/1680.18	c 1679s |      19 |   767362 |   536082 |    27949     40 |      911 |      944
1682.01/1682.56	c 1682s |      19 |   768028 |   536582 |    27949     40 |      911 |      944
1684.31/1684.83	c 1684s |      19 |   768466 |   536982 |    27949     40 |      911 |      944
1686.41/1686.95	c 1686s |      19 |   768920 |   537382 |    27949     40 |      911 |      944
1688.81/1689.38	c 1689s |      19 |   769503 |   537882 |    27949     40 |      911 |      944
1691.20/1691.76	c 1691s |      19 |   769969 |   538282 |    27949     40 |      911 |      944
1693.61/1694.20	c 1693s |      19 |   770421 |   538682 |    27949     40 |      911 |      944
1696.10/1696.65	c 1696s |      19 |   770879 |   539082 |    27949     40 |      911 |      944
1698.50/1699.04	c 1698s |      19 |   771343 |   539482 |    27949     40 |      911 |      944
1700.60/1701.13	c 1700s |      19 |   771673 |   539782 |    27949     40 |      911 |      944
1702.60/1703.17	c 1702s |      19 |   772014 |   540082 |    27949     40 |      911 |      944
1705.10/1705.66	c 1705s |      19 |   772491 |   540482 |    27949     40 |      911 |      944
1707.81/1708.37	c 1708s |      19 |   772939 |   540882 |    27949     40 |      911 |      944
1710.20/1710.74	c 1710s |      19 |   773154 |   541082 |    27949     41 |      911 |      944
1712.60/1713.13	c 1712s |      19 |   773616 |   541482 |    27949     41 |      911 |      944
1714.80/1715.30	c 1715s |      19 |   774184 |   541982 |    27949     41 |      911 |      944
1716.80/1717.36	c 1717s |      19 |   774772 |   542482 |    27949     41 |      911 |      944
1719.00/1719.57	c 1719s |      19 |   775337 |   542982 |    27949     41 |      911 |      944
1721.60/1722.11	c 1721s |      19 |   775953 |   543482 |    27949     41 |      911 |      944
1723.60/1724.13	c 1723s |      19 |   776519 |   543982 |    27949     41 |      911 |      944
1725.90/1726.47	c 1726s |      19 |   777216 |   544582 |    27949     41 |      911 |      944
1727.90/1728.47	c 1728s |      19 |   777791 |   545082 |    27949     41 |      911 |      944
1730.00/1730.52	c 1730s |      19 |   778238 |   545482 |    27949     41 |      911 |      944
1732.00/1732.57	c 1732s |      19 |   778889 |   545982 |    27949     41 |      911 |      944
1734.10/1734.67	c 1734s |      19 |   779494 |   546482 |    27949     41 |      911 |      944
1736.20/1736.73	c 1736s |      19 |   779977 |   546882 |    27949     41 |      911 |      944
1738.30/1738.83	c 1738s |      19 |   780436 |   547282 |    27949     41 |      911 |      944
1740.40/1740.96	c 1740s |      19 |   780909 |   547682 |    27949     41 |      911 |      944
1742.70/1743.24	c 1742s |      19 |   781366 |   548082 |    27949     41 |      911 |      944
1745.20/1745.80	c 1745s |      19 |   781923 |   548582 |    27949     41 |      911 |      944
1747.29/1747.88	c 1747s |      19 |   782406 |   548982 |    27949     41 |      911 |      944
1749.60/1750.17	c 1749s |      19 |   783012 |   549482 |    27949     41 |      911 |      944
1751.69/1752.27	c 1751s |      19 |   783494 |   549882 |    27949     41 |      911 |      944
1753.89/1754.44	c 1754s |      19 |   783819 |   550182 |    27949     41 |      911 |      944
1755.89/1756.44	c 1756s |      19 |   784153 |   550482 |    27949     41 |      911 |      944
1757.99/1758.53	c 1758s |      19 |   784595 |   550882 |    27949     41 |      911 |      944
1760.29/1760.82	c 1760s |      19 |   785036 |   551282 |    27949     41 |      911 |      944
1762.59/1763.12	c 1762s |      19 |   785495 |   551682 |    27949     41 |      911 |      944
1764.69/1765.22	c 1764s |      19 |   785848 |   551982 |    27949     41 |      911 |      944
1767.09/1767.69	c 1767s |      19 |   786284 |   552382 |    27949     41 |      911 |      944
1769.19/1769.76	c 1769s |      19 |   786799 |   552782 |    27949     41 |      911 |      944
1771.29/1771.85	c 1771s |      19 |   787286 |   553182 |    27949     41 |      911 |      944
1773.49/1774.03	c 1773s |      19 |   787777 |   553582 |    27949     41 |      911 |      944
1775.89/1776.44	c 1776s |      19 |   788251 |   553982 |    27949     41 |      911 |      944
1778.19/1778.77	c 1778s |      19 |   788711 |   554382 |    27949     41 |      911 |      944
1780.39/1780.96	c 1780s |      19 |   789226 |   554782 |    27949     41 |      911 |      944
1782.78/1783.32	c 1783s |      19 |   789717 |   555182 |    27949     41 |      911 |      944
1784.98/1785.57	c 1785s |      19 |   790208 |   555582 |    27949     41 |      911 |      944
1787.09/1787.60	c 1787s |      19 |   790655 |   555982 |    27949     41 |      911 |      944
1789.38/1789.93	c 1789s |      19 |   791128 |   556382 |    27949     41 |      911 |      944
1792.18/1792.79	c 1792s |      19 |   791607 |   556782 |    27949     42 |      911 |      944
1794.69/1795.21	c 1794s |      19 |   792307 |   557382 |    27949     42 |      911 |      944
1796.99/1797.55	c 1797s |      19 |   792898 |   557882 |    27949     42 |      911 |      944
1799.28/1799.89	c 1799s |      19 |   793612 |   558482 |    27949     42 |      911 |      944

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 1.98 1.90 4/178 30925
/proc/meminfo: memFree=31697708/32872528 swapFree=8540/8540
[pid=30925] ppid=30922 vsize=314812 CPUtime=0 cores=0,2,4,6
/proc/30925/stat : 30925 (toysat) R 30922 30925 30739 0 -1 4202496 1106 0 0 0 0 0 0 0 20 0 4 0 31169353 322367488 956 33554432000 4194304 16246674 140733311731312 140733311730736 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30925/statm: 79471 965 441 2943 0 76365 0
[pid=30925/tid=30927] ppid=30922 vsize=331196 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30927/stat : 30927 (toysat) S 30922 30925 30739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31169354 339144704 1019 33554432000 4194304 16246674 140733311731312 140575490682096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30925/tid=30928] ppid=30922 vsize=335292 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30928/stat : 30928 (toysat) S 30922 30925 30739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31169354 343339008 1036 33554432000 4194304 16246674 140733311731312 140575480192240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30925/tid=30929] ppid=30922 vsize=339388 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30929/stat : 30929 (toysat) S 30922 30925 30739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31169354 347533312 1052 33554432000 4194304 16246674 140733311731312 140575469718704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100123 s]
/proc/loadavg: 2.00 1.98 1.90 4/178 30925
/proc/meminfo: memFree=31697708/32872528 swapFree=8540/8540
[pid=30925] ppid=30922 vsize=1220164 CPUtime=0.08 cores=0,2,4,6
/proc/30925/stat : 30925 (toysat) R 30922 30925 30739 0 -1 4202496 26945 0 0 0 5 3 0 0 20 0 4 0 31169353 1249447936 26733 33554432000 4194304 16246674 140733311731312 140733311730624 7374276 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30925/statm: 305041 26746 801 2943 0 301935 0
[pid=30925/tid=30927] ppid=30922 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30927/stat : 30927 (toysat) S 30922 30925 30739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31169354 1249447936 26757 33554432000 4194304 16246674 140733311731312 140575490682096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30925/tid=30928] ppid=30922 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30928/stat : 30928 (toysat) S 30922 30925 30739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31169354 1249447936 26767 33554432000 4194304 16246674 140733311731312 140575480192240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30925/tid=30929] ppid=30922 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30929/stat : 30929 (toysat) S 30922 30925 30739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31169354 1249447936 26778 33554432000 4194304 16246674 140733311731312 140575469718704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1220164

[startup+0.200467 s]
/proc/loadavg: 2.00 1.98 1.90 4/178 30925
/proc/meminfo: memFree=31697708/32872528 swapFree=8540/8540
[pid=30925] ppid=30922 vsize=1301060 CPUtime=0.19 cores=0,2,4,6
/proc/30925/stat : 30925 (toysat) R 30922 30925 30739 0 -1 4202496 48560 0 0 0 12 7 0 0 20 0 4 0 31169353 1332285440 48347 33554432000 4194304 16246674 140733311731312 140733311713216 6165382 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30925/statm: 325265 48347 833 2943 0 322159 0
[pid=30925/tid=30927] ppid=30922 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30927/stat : 30927 (toysat) S 30922 30925 30739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31169354 1332285440 48347 33554432000 4194304 16246674 140733311731312 140575490682096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30925/tid=30928] ppid=30922 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30928/stat : 30928 (toysat) S 30922 30925 30739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31169354 1332285440 48347 33554432000 4194304 16246674 140733311731312 140575480192240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30925/tid=30929] ppid=30922 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30929/stat : 30929 (toysat) S 30922 30925 30739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31169354 1332285440 48347 33554432000 4194304 16246674 140733311731312 140575469718704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300409 s]
/proc/loadavg: 2.00 1.98 1.90 4/178 30925
/proc/meminfo: memFree=31697708/32872528 swapFree=8540/8540
[pid=30925] ppid=30922 vsize=1301060 CPUtime=0.28 cores=0,2,4,6
/proc/30925/stat : 30925 (toysat) R 30922 30925 30739 0 -1 4202496 52099 0 0 0 21 7 0 0 20 0 4 0 31169353 1332285440 51886 33554432000 4194304 16246674 140733311731312 140733311713216 13006805 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30925/statm: 325265 51886 859 2943 0 322159 0
[pid=30925/tid=30927] ppid=30922 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30927/stat : 30927 (toysat) S 30922 30925 30739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31169354 1332285440 51886 33554432000 4194304 16246674 140733311731312 140575490682096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30925/tid=30928] ppid=30922 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30928/stat : 30928 (toysat) S 30922 30925 30739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31169354 1332285440 51886 33554432000 4194304 16246674 140733311731312 140575480192240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30925/tid=30929] ppid=30922 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30929/stat : 30929 (toysat) S 30922 30925 30739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31169354 1332285440 51886 33554432000 4194304 16246674 140733311731312 140575469718704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1301060

[startup+0.700344 s]
/proc/loadavg: 2.00 1.98 1.90 4/178 30925
/proc/meminfo: memFree=31697708/32872528 swapFree=8540/8540
[pid=30925] ppid=30922 vsize=1301060 CPUtime=0.69 cores=0,2,4,6
/proc/30925/stat : 30925 (toysat) R 30922 30925 30739 0 -1 4202496 100958 0 0 0 54 15 0 0 20 0 4 0 31169353 1332285440 100745 33554432000 4194304 16246674 140733311731312 140733311713216 5675357 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30925/statm: 325265 100749 882 2943 0 322159 0
[pid=30925/tid=30927] ppid=30922 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30927/stat : 30927 (toysat) S 30922 30925 30739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31169354 1332285440 100749 33554432000 4194304 16246674 140733311731312 140575490682096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30925/tid=30928] ppid=30922 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30928/stat : 30928 (toysat) S 30922 30925 30739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31169354 1332285440 100750 33554432000 4194304 16246674 140733311731312 140575480192240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30925/tid=30929] ppid=30922 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30929/stat : 30929 (toysat) S 30922 30925 30739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31169354 1332285440 100752 33554432000 4194304 16246674 140733311731312 140575469718704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50033 s]
/proc/loadavg: 2.00 1.98 1.90 4/183 30930
/proc/meminfo: memFree=30449856/32872528 swapFree=8540/8540
[pid=30925] ppid=30922 vsize=1301060 CPUtime=1.49 cores=0,2,4,6
/proc/30925/stat : 30925 (toysat) R 30922 30925 30739 0 -1 4202496 201814 0 0 0 121 28 0 0 20 0 4 0 31169353 1332285440 201601 33554432000 4194304 16246674 140733311731312 140733311713216 5677277 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30925/statm: 325265 201608 882 2943 0 322159 0
[pid=30925/tid=30927] ppid=30922 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30927/stat : 30927 (toysat) S 30922 30925 30739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31169354 1332285440 201609 33554432000 4194304 16246674 140733311731312 140575490682096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30925/tid=30928] ppid=30922 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30928/stat : 30928 (toysat) S 30922 30925 30739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31169354 1332285440 201609 33554432000 4194304 16246674 140733311731312 140575480192240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30925/tid=30929] ppid=30922 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30929/stat : 30929 (toysat) S 30922 30925 30739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31169354 1332285440 201612 33554432000 4194304 16246674 140733311731312 140575469718704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10035 s]
/proc/loadavg: 2.00 1.98 1.90 4/183 30930
/proc/meminfo: memFree=29552568/32872528 swapFree=8540/8540
[pid=30925] ppid=30922 vsize=1313348 CPUtime=3.08 cores=0,2,4,6
/proc/30925/stat : 30925 (toysat) R 30922 30925 30739 0 -1 4202496 269519 0 0 0 271 37 0 0 20 0 4 0 31169353 1344868352 269306 33554432000 4194304 16246674 140733311731312 140733311713216 5711784 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30925/statm: 328337 269306 889 2943 0 325231 0
[pid=30925/tid=30927] ppid=30922 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30927/stat : 30927 (toysat) S 30922 30925 30739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31169354 1344868352 269306 33554432000 4194304 16246674 140733311731312 140575490682096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30925/tid=30928] ppid=30922 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30928/stat : 30928 (toysat) S 30922 30925 30739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31169354 1344868352 269306 33554432000 4194304 16246674 140733311731312 140575480192240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30925/tid=30929] ppid=30922 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30929/stat : 30929 (toysat) S 30922 30925 30739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31169354 1344868352 269306 33554432000 4194304 16246674 140733311731312 140575469718704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1313348

[startup+6.30036 s]
/proc/loadavg: 2.00 1.98 1.90 4/183 30930
/proc/meminfo: memFree=29551000/32872528 swapFree=8540/8540
[pid=30925] ppid=30922 vsize=1313348 CPUtime=6.29 cores=0,2,4,6
/proc/30925/stat : 30925 (toysat) R 30922 30925 30739 0 -1 4202496 269529 0 0 0 589 40 0 0 20 0 4 0 31169353 1344868352 269316 33554432000 4194304 16246674 140733311731312 140733311713216 12478656 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30925/statm: 328337 269316 891 2943 0 325231 0
[pid=30925/tid=30927] ppid=30922 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30927/stat : 30927 (toysat) S 30922 30925 30739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31169354 1344868352 269316 33554432000 4194304 16246674 140733311731312 140575490682096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30925/tid=30928] ppid=30922 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30928/stat : 30928 (toysat) S 30922 30925 30739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31169354 1344868352 269316 33554432000 4194304 16246674 140733311731312 140575480192240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30925/tid=30929] ppid=30922 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30929/stat : 30929 (toysat) S 30922 30925 30739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31169354 1344868352 269316 33554432000 4194304 16246674 140733311731312 140575469718704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.08 2.00 1.90 4/183 30930
/proc/meminfo: memFree=29550644/32872528 swapFree=8540/8540
[pid=30925] ppid=30922 vsize=1313348 CPUtime=12.69 cores=0,2,4,6
/proc/30925/stat : 30925 (toysat) R 30922 30925 30739 0 -1 4202496 269529 0 0 0 1229 40 0 0 20 0 4 0 31169353 1344868352 269316 33554432000 4194304 16246674 140733311731312 140733311713216 5723564 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30925/statm: 328337 269316 891 2943 0 325231 0
[pid=30925/tid=30927] ppid=30922 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30927/stat : 30927 (toysat) S 30922 30925 30739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31169354 1344868352 269316 33554432000 4194304 16246674 140733311731312 140575490682096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30925/tid=30928] ppid=30922 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30928/stat : 30928 (toysat) S 30922 30925 30739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31169354 1344868352 269316 33554432000 4194304 16246674 140733311731312 140575480192240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30925/tid=30929] ppid=30922 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30929/stat : 30929 (toysat) S 30922 30925 30739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31169354 1344868352 269316 33554432000 4194304 16246674 140733311731312 140575469718704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.06 2.00 1.91 4/183 30930
/proc/meminfo: memFree=29550860/32872528 swapFree=8540/8540
[pid=30925] ppid=30922 vsize=1313348 CPUtime=25.48 cores=0,2,4,6
/proc/30925/stat : 30925 (toysat) R 30922 30925 30739 0 -1 4202496 269529 0 0 0 2508 40 0 0 20 0 4 0 31169353 1344868352 269316 33554432000 4194304 16246674 140733311731312 140733311713216 5722381 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30925/statm: 328337 269316 891 2943 0 325231 0
[pid=30925/tid=30927] ppid=30922 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30927/stat : 30927 (toysat) S 30922 30925 30739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31169354 1344868352 269316 33554432000 4194304 16246674 140733311731312 140575490682096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30925/tid=30928] ppid=30922 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30928/stat : 30928 (toysat) S 30922 30925 30739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31169354 1344868352 269316 33554432000 4194304 16246674 140733311731312 140575480192240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30925/tid=30929] ppid=30922 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30929/stat : 30929 (toysat) S 30922 30925 30739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31169354 1344868352 269316 33554432000 4194304 16246674 140733311731312 140575469718704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.04 2.00 1.91 4/183 30930
/proc/meminfo: memFree=29550708/32872528 swapFree=8540/8540
[pid=30925] ppid=30922 vsize=1313348 CPUtime=51.08 cores=0,2,4,6
/proc/30925/stat : 30925 (toysat) R 30922 30925 30739 0 -1 4202496 269530 0 0 0 5068 40 0 0 20 0 4 0 31169353 1344868352 269317 33554432000 4194304 16246674 140733311731312 140733311713216 5677376 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30925/statm: 328337 269317 892 2943 0 325231 0
[pid=30925/tid=30927] ppid=30922 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30927/stat : 30927 (toysat) S 30922 30925 30739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31169354 1344868352 269317 33554432000 4194304 16246674 140733311731312 140575490682096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30925/tid=30928] ppid=30922 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30928/stat : 30928 (toysat) S 30922 30925 30739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31169354 1344868352 269317 33554432000 4194304 16246674 140733311731312 140575480192240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30925/tid=30929] ppid=30922 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30929/stat : 30929 (toysat) S 30922 30925 30739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31169354 1344868352 269317 33554432000 4194304 16246674 140733311731312 140575469718704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.3 s]
/proc/loadavg: 2.02 2.00 1.91 4/184 30934
/proc/meminfo: memFree=29547740/32872528 swapFree=8540/8540
[pid=30925] ppid=30922 vsize=1315396 CPUtime=102.28 cores=0,2,4,6
/proc/30925/stat : 30925 (toysat) R 30922 30925 30739 0 -1 4202496 269872 0 0 0 10187 41 0 0 20 0 4 0 31169353 1346965504 269659 33554432000 4194304 16246674 140733311731312 140733311713216 5711355 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30925/statm: 328849 269659 892 2943 0 325743 0
[pid=30925/tid=30927] ppid=30922 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30927/stat : 30927 (toysat) S 30922 30925 30739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31169354 1346965504 269659 33554432000 4194304 16246674 140733311731312 140575490682096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30925/tid=30928] ppid=30922 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30928/stat : 30928 (toysat) S 30922 30925 30739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31169354 1346965504 269659 33554432000 4194304 16246674 140733311731312 140575480192240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30925/tid=30929] ppid=30922 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30929/stat : 30929 (toysat) S 30922 30925 30739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31169354 1346965504 269659 33554432000 4194304 16246674 140733311731312 140575469718704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1315396


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

/proc/30925/task/30929/stat : 30929 (toysat) S 30922 30925 30739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31169354 1364791296 274437 33554432000 4194304 16246674 140733311731312 140575469718704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 1332804

[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 1.95 4/184 30988
/proc/meminfo: memFree=29503112/32872528 swapFree=8540/8540
[pid=30925] ppid=30922 vsize=1332804 CPUtime=1301.9 cores=0,2,4,6
/proc/30925/stat : 30925 (toysat) R 30922 30925 30739 0 -1 4202496 274707 0 0 0 130141 49 0 0 20 0 4 0 31169353 1364791296 274437 33554432000 4194304 16246674 140733311731312 140733311713216 13928613 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30925/statm: 333201 274437 892 2943 0 330095 0
[pid=30925/tid=30927] ppid=30922 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30927/stat : 30927 (toysat) S 30922 30925 30739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31169354 1364791296 274437 33554432000 4194304 16246674 140733311731312 140575490682096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30925/tid=30928] ppid=30922 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30928/stat : 30928 (toysat) S 30922 30925 30739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31169354 1364791296 274437 33554432000 4194304 16246674 140733311731312 140575480192240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30925/tid=30929] ppid=30922 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30929/stat : 30929 (toysat) S 30922 30925 30739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31169354 1364791296 274437 33554432000 4194304 16246674 140733311731312 140575469718704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1332804

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 1.95 4/183 30989
/proc/meminfo: memFree=29502516/32872528 swapFree=8540/8540
[pid=30925] ppid=30922 vsize=1333828 CPUtime=1361.86 cores=0,2,4,6
/proc/30925/stat : 30925 (toysat) R 30922 30925 30739 0 -1 4202496 274822 0 0 0 136137 49 0 0 20 0 4 0 31169353 1365839872 274504 33554432000 4194304 16246674 140733311731312 140733311713216 5712604 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30925/statm: 333457 274504 892 2943 0 330351 0
[pid=30925/tid=30927] ppid=30922 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30927/stat : 30927 (toysat) S 30922 30925 30739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31169354 1365839872 274504 33554432000 4194304 16246674 140733311731312 140575490682096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30925/tid=30928] ppid=30922 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30928/stat : 30928 (toysat) S 30922 30925 30739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31169354 1365839872 274504 33554432000 4194304 16246674 140733311731312 140575480192240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30925/tid=30929] ppid=30922 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30929/stat : 30929 (toysat) S 30922 30925 30739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31169354 1365839872 274504 33554432000 4194304 16246674 140733311731312 140575469718704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1333828

[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/183 30990
/proc/meminfo: memFree=29503020/32872528 swapFree=8540/8540
[pid=30925] ppid=30922 vsize=1333828 CPUtime=1421.85 cores=0,2,4,6
/proc/30925/stat : 30925 (toysat) R 30922 30925 30739 0 -1 4202496 274838 0 0 0 142136 49 0 0 20 0 4 0 31169353 1365839872 274505 33554432000 4194304 16246674 140733311731312 140733311713216 13198652 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30925/statm: 333457 274505 892 2943 0 330351 0
[pid=30925/tid=30927] ppid=30922 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30927/stat : 30927 (toysat) S 30922 30925 30739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31169354 1365839872 274505 33554432000 4194304 16246674 140733311731312 140575490682096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30925/tid=30928] ppid=30922 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30928/stat : 30928 (toysat) S 30922 30925 30739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31169354 1365839872 274505 33554432000 4194304 16246674 140733311731312 140575480192240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30925/tid=30929] ppid=30922 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30929/stat : 30929 (toysat) S 30922 30925 30739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31169354 1365839872 274505 33554432000 4194304 16246674 140733311731312 140575469718704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1333828

[startup+1482.3 s]
/proc/loadavg: 2.18 2.05 1.97 4/183 30991
/proc/meminfo: memFree=29503028/32872528 swapFree=8540/8540
[pid=30925] ppid=30922 vsize=1333828 CPUtime=1481.83 cores=0,2,4,6
/proc/30925/stat : 30925 (toysat) R 30922 30925 30739 0 -1 4202496 274838 0 0 0 148134 49 0 0 20 0 4 0 31169353 1365839872 274505 33554432000 4194304 16246674 140733311731312 140733311730488 5823049 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30925/statm: 333457 274505 892 2943 0 330351 0
[pid=30925/tid=30927] ppid=30922 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30927/stat : 30927 (toysat) S 30922 30925 30739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31169354 1365839872 274505 33554432000 4194304 16246674 140733311731312 140575490682096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30925/tid=30928] ppid=30922 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30928/stat : 30928 (toysat) S 30922 30925 30739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31169354 1365839872 274505 33554432000 4194304 16246674 140733311731312 140575480192240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30925/tid=30929] ppid=30922 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30929/stat : 30929 (toysat) S 30922 30925 30739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31169354 1365839872 274505 33554432000 4194304 16246674 140733311731312 140575469718704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1333828

[startup+1542.31 s]
/proc/loadavg: 2.18 2.07 1.98 4/183 30993
/proc/meminfo: memFree=29501784/32872528 swapFree=8540/8540
[pid=30925] ppid=30922 vsize=1333828 CPUtime=1541.83 cores=0,2,4,6
/proc/30925/stat : 30925 (toysat) R 30922 30925 30739 0 -1 4202496 274838 0 0 0 154133 50 0 0 20 0 4 0 31169353 1365839872 274505 33554432000 4194304 16246674 140733311731312 140733311713216 5822252 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30925/statm: 333457 274505 892 2943 0 330351 0
[pid=30925/tid=30927] ppid=30922 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30927/stat : 30927 (toysat) S 30922 30925 30739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31169354 1365839872 274505 33554432000 4194304 16246674 140733311731312 140575490682096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30925/tid=30928] ppid=30922 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30928/stat : 30928 (toysat) S 30922 30925 30739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31169354 1365839872 274505 33554432000 4194304 16246674 140733311731312 140575480192240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30925/tid=30929] ppid=30922 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30929/stat : 30929 (toysat) S 30922 30925 30739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31169354 1365839872 274505 33554432000 4194304 16246674 140733311731312 140575469718704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1333828

[startup+1602.3 s]
/proc/loadavg: 2.06 2.06 1.98 4/183 30994
/proc/meminfo: memFree=29502036/32872528 swapFree=8540/8540
[pid=30925] ppid=30922 vsize=1333828 CPUtime=1601.81 cores=0,2,4,6
/proc/30925/stat : 30925 (toysat) R 30922 30925 30739 0 -1 4202496 274838 0 0 0 160131 50 0 0 20 0 4 0 31169353 1365839872 274505 33554432000 4194304 16246674 140733311731312 140733311713216 12460114 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30925/statm: 333457 274505 892 2943 0 330351 0
[pid=30925/tid=30927] ppid=30922 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30927/stat : 30927 (toysat) S 30922 30925 30739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31169354 1365839872 274505 33554432000 4194304 16246674 140733311731312 140575490682096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30925/tid=30928] ppid=30922 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30928/stat : 30928 (toysat) S 30922 30925 30739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31169354 1365839872 274505 33554432000 4194304 16246674 140733311731312 140575480192240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30925/tid=30929] ppid=30922 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30929/stat : 30929 (toysat) S 30922 30925 30739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31169354 1365839872 274505 33554432000 4194304 16246674 140733311731312 140575469718704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1333828

[startup+1662.3 s]
/proc/loadavg: 2.02 2.04 1.98 4/183 30995
/proc/meminfo: memFree=29502036/32872528 swapFree=8540/8540
[pid=30925] ppid=30922 vsize=1333828 CPUtime=1661.81 cores=0,2,4,6
/proc/30925/stat : 30925 (toysat) R 30922 30925 30739 0 -1 4202496 274838 0 0 0 166130 51 0 0 20 0 4 0 31169353 1365839872 274505 33554432000 4194304 16246674 140733311731312 140733311713216 5822252 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30925/statm: 333457 274505 892 2943 0 330351 0
[pid=30925/tid=30927] ppid=30922 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30927/stat : 30927 (toysat) S 30922 30925 30739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31169354 1365839872 274505 33554432000 4194304 16246674 140733311731312 140575490682096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30925/tid=30928] ppid=30922 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30928/stat : 30928 (toysat) S 30922 30925 30739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31169354 1365839872 274505 33554432000 4194304 16246674 140733311731312 140575480192240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30925/tid=30929] ppid=30922 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30929/stat : 30929 (toysat) S 30922 30925 30739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31169354 1365839872 274505 33554432000 4194304 16246674 140733311731312 140575469718704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1333828

[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 1.98 4/183 30996
/proc/meminfo: memFree=29501408/32872528 swapFree=8540/8540
[pid=30925] ppid=30922 vsize=1333828 CPUtime=1721.8 cores=0,2,4,6
/proc/30925/stat : 30925 (toysat) R 30922 30925 30739 0 -1 4202496 274894 0 0 0 172129 51 0 0 20 0 4 0 31169353 1365839872 274561 33554432000 4194304 16246674 140733311731312 140733311713216 13006856 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30925/statm: 333457 274561 892 2943 0 330351 0
[pid=30925/tid=30927] ppid=30922 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30927/stat : 30927 (toysat) S 30922 30925 30739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31169354 1365839872 274561 33554432000 4194304 16246674 140733311731312 140575490682096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30925/tid=30928] ppid=30922 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30928/stat : 30928 (toysat) S 30922 30925 30739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31169354 1365839872 274561 33554432000 4194304 16246674 140733311731312 140575480192240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30925/tid=30929] ppid=30922 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30929/stat : 30929 (toysat) S 30922 30925 30739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31169354 1365839872 274561 33554432000 4194304 16246674 140733311731312 140575469718704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1333828

[startup+1782.3 s]
/proc/loadavg: 2.03 2.04 1.98 4/183 30997
/proc/meminfo: memFree=29501380/32872528 swapFree=8540/8540
[pid=30925] ppid=30922 vsize=1333828 CPUtime=1781.78 cores=0,2,4,6
/proc/30925/stat : 30925 (toysat) R 30922 30925 30739 0 -1 4202496 274894 0 0 0 178127 51 0 0 20 0 4 0 31169353 1365839872 274561 33554432000 4194304 16246674 140733311731312 140733311713216 5822488 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30925/statm: 333457 274561 892 2943 0 330351 0
[pid=30925/tid=30927] ppid=30922 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30927/stat : 30927 (toysat) S 30922 30925 30739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31169354 1365839872 274561 33554432000 4194304 16246674 140733311731312 140575490682096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30925/tid=30928] ppid=30922 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30928/stat : 30928 (toysat) S 30922 30925 30739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31169354 1365839872 274561 33554432000 4194304 16246674 140733311731312 140575480192240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30925/tid=30929] ppid=30922 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30929/stat : 30929 (toysat) S 30922 30925 30739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31169354 1365839872 274561 33554432000 4194304 16246674 140733311731312 140575469718704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1333828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.08 2.05 1.99 4/183 30997
/proc/meminfo: memFree=29501264/32872528 swapFree=8540/8540
[pid=30925] ppid=30922 vsize=1333828 CPUtime=1800.08 cores=0,2,4,6
/proc/30925/stat : 30925 (toysat) R 30922 30925 30739 0 -1 4202496 274894 0 0 0 179957 51 0 0 20 0 4 0 31169353 1365839872 274561 33554432000 4194304 16246674 140733311731312 140733311713216 13950199 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30925/statm: 333457 274561 892 2943 0 330351 0
[pid=30925/tid=30927] ppid=30922 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30927/stat : 30927 (toysat) S 30922 30925 30739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 31169354 1365839872 274561 33554432000 4194304 16246674 140733311731312 140575490682096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=30925/tid=30928] ppid=30922 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30928/stat : 30928 (toysat) S 30922 30925 30739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31169354 1365839872 274561 33554432000 4194304 16246674 140733311731312 140575480192240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=30925/tid=30929] ppid=30922 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/30925/task/30929/stat : 30929 (toysat) S 30922 30925 30739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31169354 1365839872 274561 33554432000 4194304 16246674 140733311731312 140575469718704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1333828

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1799.58
CPU system time (s): 0.51992
CPU usage (%): 99.9717
Max. virtual memory (cumulated for all children) (KiB): 1333828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.51992
maximum resident set size= 1098244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274894
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= 392
involuntary context switches= 2512

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9389 second user time and 14.1159 second system time

The end

Launcher Data 

Begin job on node151 at 2016-06-27 00:48:43
IDJOB=4116173
IDBENCH=109437
IDSOLVER=2542
FILE ID=node151/4116173-1466981323
RUNJOBID= node151-1466981323-30893
PBS_JOBID= 19976342
Free space on /tmp= 71716 MiB

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

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

MD5SUM BENCH= 861c50511265e8e7822bf7a244532849
RANDOM SEED=833071568

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31706632 kB
Buffers:           81840 kB
Cached:           342624 kB
SwapCached:         1816 kB
Active:           107196 kB
Inactive:         319912 kB
Active(anon):       4856 kB
Inactive(anon):      848 kB
Active(file):     102340 kB
Inactive(file):   319064 kB
Unevictable:        8540 kB
Mlocked:            8540 kB
SwapTotal:      67108856 kB
SwapFree:       67097004 kB
Dirty:             33388 kB
Writeback:             0 kB
AnonPages:         88360 kB
Mapped:             7236 kB
Shmem:                 0 kB
Slab:             597844 kB
SReclaimable:      41540 kB
SUnreclaim:       556304 kB
KernelStack:        1456 kB
PageTables:         4536 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     106888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     77824 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= 71688 MiB
End job on node151 at 2016-06-27 01:18:44