Trace number 4117245

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

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

Solver Data 

0.00/0.00	c 2016-06-26T22:05:01+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-4117245-1466971501.opb"]
0.00/0.01	c use --random-gen="202376986 1583810902 280089429 2186711132 4034594665 1054886372 3221081376 1307200699 865833033 352767679 4134666009 2818129316 199880048 2350871316 2109616316 1903258426 4215174741 3513804437 1901004675 3726034234 4269345978 3139768630 1437372063 2376273437 4171826222 1559681656 657301092 2649798713 346760960 608650419 1753866766 3010215453 550555478 2899474971 4057676397 2033565691 710971332 607406346 772536819 3333454058 2615485183 2219609025 1129471619 2505453361 2368524572 2068507563 324078257 1474436877 3907874379 3909708730 3663941660 2873281965 1895911745 3980537254 2355803518 3250062947 3799556580 16209043 2872298893 2326554227 231582571 1500209460 1664387308 4160650196 1048027905 1791693303 4290700038 3431132632 1537783048 2855918660 1178114859 3424890117 1853863301 3016149083 2162530389 1330351438 2130211237 3861938217 2893558179 3921600719 455244108 1780196226 790045676 2071543672 2632599716 2344043962 2037268772 3188724257 731015764 2460416368 2460603978 1560563452 1582062407 3371263652 1971805109 2795281321 3859106179 537828197 667753222 1963148310 725279262 1390220691 1898189849 2719737210 846173399 679146925 3560513540 2213878351 2497471277 565351983 995339999 2158310285 2486437160 3092470110 4239714240 1957144954 1180332417 2973443819 3730910961 357818567 3872899617 1664484042 3585400460 591897466 3340681163 77536841 2625870692 2497729454 2666461586 1935509198 1949459662 3313304915 3113628131 1828416592 2186712444 1412360694 4208756794 2410556175 1027034772 2591229476 153121721 625859159 3825149173 3972586386 401442604 3499911306 3155414667 1742994268 2647505468 3826595524 1310978508 2652873129 1762342158 3758650594 2947137525 942098854 1738013337 636041978 1264584183 3932037287 3485330549 2326880128 1145614292 984300448 2834498581 829935769 3382582151 4029092664 1221437906 1097474665 3242121662 1542350583 3023082303 207745281 788781044 320188768 1082693927 3896659027 1706388625 3108464223 2915749971 3511914191 291978992 3400495231 1750397026 4039181060 1614793427 422467477 1687932525 1285210146 2972489640 2630616887 3577396715 1018045938 1641721871 3493696118 3388737823 2103161663 404741658 3952121564 2720686878 25339396 435555404 2669154552 282839089 68015309 3180359712 28036619 2346160188 1945289818 2490017189 3672033902 126584267 3080132897 1424186941 325013448 3368053655 864442184 2652436712 3506627211 4286980646 3091127124 4202514137 3153091128 1460317669 755292230 2521603107 1604727554 2936464762 2472256119 3192632823 3641426290 447593410 161764660 1473949284 3082372933 3826015376 3477001687 461162914 2104405400 4094570370 2759975727 426322286 1781166714 2446230817 726238954 2130512345 524175350 4049166403 185553303 2335659525 1163291716 2272272428 3983636900 1892683402 279106828 255 362436" option to reproduce the execution
0.09/0.11	c #vars 4128
0.09/0.11	c #constraints 8736
0.19/0.25	c Solving starts ...
0.19/0.25	c ============================[ Search Statistics ]============================
0.19/0.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.25	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.25	c =============================================================================
0.19/0.26	c  0.0s |       0 |        0 |        0 |     4234      0 |      909 |        0
0.29/0.33	c  0.1s |       1 |      478 |      100 |     4234      0 |      910 |      880
0.39/0.42	c  0.2s |       2 |     1622 |      250 |     4658      0 |      910 |      880
0.49/0.59	c  0.3s |       3 |     4040 |      475 |     5124      0 |      911 |      880
0.79/0.84	c  0.6s |       4 |     6285 |      813 |     5637      0 |      911 |      880
1.20/1.24	c  1.0s |       5 |     8628 |     1320 |     6201      0 |      911 |      880
1.59/1.69	c  1.4s |       6 |    13159 |     2081 |     7505      0 |      911 |      880
2.69/2.74	c  2.5s |       7 |    17795 |     3223 |     8256      0 |      911 |      880
3.79/3.88	c  3.6s |       8 |    25549 |     4936 |     9082      0 |      911 |      880
5.79/5.89	c  5.6s |       8 |    29328 |     7036 |     9082      0 |      911 |      880
6.49/6.52	c  6.3s |       9 |    29835 |     7506 |     9991      0 |      911 |      880
8.59/8.62	c  8.4s |       9 |    35894 |     9606 |     9991      0 |      911 |      880
10.59/10.67	c 10.4s |       9 |    38532 |    11306 |    10991      0 |      911 |      880
10.69/10.74	c 10.5s |      10 |    38588 |    11361 |    10991      0 |      911 |      880
12.69/12.79	c 12.5s |      10 |    45874 |    13661 |    10991      1 |      911 |      880
14.69/14.79	c 14.5s |      10 |    47951 |    15461 |    10991      1 |      911 |      880
16.79/16.87	c 16.6s |      10 |    49733 |    17061 |    12091      1 |      911 |      880
16.99/17.00	c 16.7s |      11 |    49815 |    17144 |    12091      1 |      911 |      880
18.99/19.06	c 18.8s |      11 |    54719 |    18844 |    12091      1 |      911 |      880
21.09/21.14	c 20.9s |      11 |    56261 |    20244 |    12091      1 |      911 |      880
23.19/23.30	c 23.0s |      11 |    57726 |    21644 |    12091      1 |      911 |      880
25.39/25.43	c 25.2s |      11 |    58991 |    22844 |    12091      2 |      911 |      880
27.48/27.53	c 27.3s |      11 |    60124 |    23944 |    12091      2 |      911 |      880
29.48/29.57	c 29.3s |      11 |    61269 |    25044 |    12091      2 |      911 |      880
31.08/31.10	c 30.8s |      12 |    62068 |    25819 |    13301      2 |      911 |      880
33.09/33.18	c 32.9s |      12 |    68962 |    28019 |    13301      2 |      911 |      880
35.18/35.27	c 35.0s |      12 |    71774 |    29719 |    13301      2 |      911 |      880
37.28/37.37	c 37.1s |      12 |    75717 |    31519 |    13301      3 |      911 |      880
39.38/39.47	c 39.2s |      12 |    77355 |    32719 |    13301      3 |      911 |      880
41.38/41.49	c 41.2s |      12 |    78283 |    33519 |    13301      3 |      911 |      880
43.58/43.62	c 43.4s |      12 |    79792 |    34719 |    13301      3 |      911 |      880
45.68/45.75	c 45.5s |      12 |    81973 |    36019 |    13301      3 |      911 |      880
47.78/47.87	c 47.6s |      12 |    84606 |    37519 |    13301      3 |      911 |      880
49.59/49.65	c 49.4s |      13 |    87252 |    38832 |    14632      3 |      911 |      880
51.68/51.71	c 51.5s |      13 |    90947 |    40632 |    14632      4 |      911 |      880
53.68/53.78	c 53.5s |      13 |    92962 |    42232 |    14632      4 |      911 |      880
55.78/55.82	c 55.6s |      13 |    97373 |    44132 |    14632      4 |      911 |      880
57.88/57.94	c 57.7s |      13 |   100939 |    46132 |    14632      4 |      911 |      880
59.98/60.05	c 59.8s |      13 |   102738 |    47432 |    14632      4 |      911 |      880
61.98/62.08	c 61.8s |      13 |   104385 |    48632 |    14632      5 |      911 |      880
64.08/64.19	c 63.9s |      13 |   105713 |    49732 |    14632      5 |      911 |      880
66.19/66.21	c 66.0s |      13 |   106792 |    50632 |    14632      5 |      911 |      880
68.18/68.24	c 68.0s |      13 |   108092 |    51632 |    14632      5 |      911 |      880
70.28/70.37	c 70.1s |      13 |   109543 |    52732 |    14632      5 |      911 |      880
72.48/72.55	c 72.3s |      13 |   110970 |    53832 |    14632      5 |      911 |      880
74.67/74.74	c 74.5s |      13 |   112376 |    54932 |    14632      5 |      911 |      880
76.87/76.95	c 76.7s |      13 |   113609 |    55932 |    14632      5 |      911 |      880
78.87/78.96	c 78.7s |      13 |   114622 |    56732 |    14632      5 |      911 |      880
81.37/81.40	c 81.1s |      13 |   115590 |    57532 |    14632      6 |      911 |      880
83.07/83.19	c 82.9s |      14 |   116576 |    58352 |    16096      6 |      911 |      880
85.17/85.22	c 85.0s |      14 |   120833 |    60352 |    16096      6 |      911 |      880
87.27/87.32	c 87.1s |      14 |   123069 |    61952 |    16096      6 |      911 |      880
89.28/89.34	c 89.1s |      14 |   124679 |    63152 |    16096      6 |      911 |      880
91.38/91.49	c 91.2s |      14 |   126147 |    64352 |    16096      6 |      911 |      880
93.47/93.52	c 93.3s |      14 |   127662 |    65352 |    16096      6 |      911 |      880
95.78/95.83	c 95.6s |      14 |   131368 |    67052 |    16096      7 |      911 |      880
97.77/97.88	c 97.6s |      14 |   137610 |    69252 |    16096      7 |      911 |      880
99.97/100.04	c 99.8s |      14 |   139687 |    70752 |    16096      7 |      911 |      880
102.07/102.11	c  101s |      14 |   142091 |    72252 |    16096      7 |      911 |      880
104.07/104.17	c  103s |      14 |   144957 |    73952 |    16096      7 |      911 |      880
106.17/106.26	c  106s |      14 |   146268 |    75052 |    16096      7 |      911 |      880
108.27/108.35	c  108s |      14 |   147820 |    76152 |    16096      7 |      911 |      880
110.37/110.43	c  110s |      14 |   149863 |    77352 |    16096      8 |      911 |      880
112.38/112.44	c  112s |      14 |   151479 |    78552 |    16096      8 |      911 |      880
114.48/114.60	c  114s |      14 |   152695 |    79552 |    16096      8 |      911 |      880
116.69/116.79	c  116s |      14 |   154110 |    80652 |    16096      8 |      911 |      880
118.78/118.89	c  118s |      14 |   155371 |    81652 |    16096      8 |      911 |      880
120.88/120.91	c  120s |      14 |   156471 |    82552 |    16096      8 |      911 |      880
122.88/122.93	c  122s |      14 |   157407 |    83352 |    16096      8 |      911 |      880
124.88/124.99	c  124s |      14 |   158244 |    84052 |    16096      8 |      911 |      880
127.07/127.14	c  126s |      14 |   159036 |    84752 |    16096      8 |      911 |      880
129.27/129.32	c  129s |      14 |   160399 |    85752 |    16096      8 |      911 |      880
131.47/131.58	c  131s |      14 |   161456 |    86652 |    16096      8 |      911 |      880
133.67/133.78	c  133s |      14 |   162427 |    87452 |    17706      9 |      911 |      880
134.07/134.10	c  133s |      15 |   162638 |    87632 |    17706      9 |      911 |      880
136.17/136.21	c  135s |      15 |   168660 |    89732 |    17706      9 |      911 |      880
138.27/138.33	c  138s |      15 |   170739 |    91432 |    17706      9 |      911 |      880
140.37/140.44	c  140s |      15 |   172456 |    92932 |    17706      9 |      911 |      880
142.37/142.49	c  142s |      15 |   174369 |    94432 |    17706      9 |      911 |      880
144.57/144.61	c  144s |      15 |   176103 |    95832 |    17706      9 |      911 |      880
146.57/146.66	c  146s |      15 |   177733 |    97132 |    17706      9 |      911 |      880
148.77/148.81	c  148s |      15 |   179133 |    98232 |    17706     10 |      911 |      880
150.88/150.97	c  150s |      15 |   180663 |    99432 |    17706     10 |      911 |      880
152.97/153.04	c  152s |      15 |   181940 |   100532 |    17706     10 |      911 |      880
155.07/155.18	c  154s |      15 |   183132 |   101532 |    17706     10 |      911 |      880
157.17/157.26	c  157s |      15 |   184188 |   102432 |    17706     10 |      911 |      880
159.36/159.40	c  159s |      15 |   185270 |   103332 |    17706     10 |      911 |      880
161.46/161.59	c  161s |      15 |   186482 |   104332 |    17706     10 |      911 |      880
163.66/163.74	c  163s |      15 |   187523 |   105232 |    17706     10 |      911 |      880
165.86/165.94	c  165s |      15 |   188572 |   106132 |    17706     10 |      911 |      880
167.86/167.95	c  167s |      15 |   189362 |   106832 |    17706     10 |      911 |      880
169.86/169.96	c  169s |      15 |   190130 |   107532 |    17706     10 |      911 |      880
172.16/172.22	c  171s |      15 |   191069 |   108332 |    17706     10 |      911 |      880
174.26/174.38	c  174s |      15 |   191980 |   109132 |    17706     11 |      911 |      880
176.36/176.43	c  176s |      15 |   193016 |   110032 |    17706     11 |      911 |      880
178.46/178.57	c  178s |      15 |   194070 |   110932 |    17706     11 |      911 |      880
180.66/180.74	c  180s |      15 |   195096 |   111832 |    17706     11 |      911 |      880
182.77/182.84	c  182s |      15 |   196003 |   112632 |    17706     11 |      911 |      880
184.87/184.93	c  184s |      15 |   196892 |   113432 |    17706     11 |      911 |      880
186.96/187.01	c  186s |      15 |   197654 |   114132 |    17706     11 |      911 |      880
189.06/189.14	c  188s |      15 |   198420 |   114832 |    17706     11 |      911 |      880
191.26/191.30	c  191s |      15 |   199187 |   115532 |    17706     11 |      911 |      880
193.36/193.48	c  193s |      15 |   199962 |   116232 |    17706     11 |      911 |      880
195.56/195.64	c  195s |      15 |   200734 |   116932 |    17706     11 |      911 |      880
197.56/197.70	c  197s |      15 |   201524 |   117632 |    17706     11 |      911 |      880
199.96/200.09	c  199s |      15 |   202292 |   118332 |    17706     11 |      911 |      880
202.26/202.32	c  202s |      15 |   202958 |   118932 |    17706     11 |      911 |      880
204.36/204.42	c  204s |      15 |   203628 |   119532 |    17706     12 |      911 |      880
206.36/206.45	c  206s |      15 |   204797 |   120432 |    17706     12 |      911 |      880
208.46/208.55	c  208s |      15 |   205989 |   121432 |    17706     12 |      911 |      880
210.56/210.69	c  210s |      15 |   207304 |   122432 |    17706     12 |      911 |      880
212.66/212.74	c  212s |      15 |   213228 |   124232 |    17706     12 |      911 |      880
214.76/214.85	c  214s |      15 |   214651 |   125432 |    17706     12 |      911 |      880
216.87/216.97	c  216s |      15 |   217454 |   126732 |    17706     12 |      911 |      880
218.85/218.98	c  218s |      15 |   220595 |   128032 |    17706     12 |      911 |      880
220.95/221.03	c  220s |      15 |   221740 |   129032 |    17706     12 |      911 |      880
223.15/223.21	c  222s |      15 |   222740 |   129932 |    17706     12 |      911 |      880
225.15/225.26	c  225s |      15 |   223630 |   130732 |    19477     13 |      911 |      880
226.85/226.99	c  226s |      16 |   224490 |   131552 |    19477     13 |      911 |      880
228.96/229.06	c  228s |      16 |   232181 |   133652 |    19477     13 |      911 |      880
230.95/231.08	c  230s |      16 |   239656 |   136152 |    19477     13 |      911 |      880
233.15/233.21	c  232s |      16 |   244118 |   138152 |    19477     13 |      911 |      880
235.25/235.31	c  235s |      16 |   247225 |   139752 |    19477     13 |      911 |      880
237.25/237.36	c  237s |      16 |   248662 |   140852 |    19477     13 |      911 |      880
239.35/239.44	c  239s |      16 |   249742 |   141752 |    19477     13 |      911 |      880
241.55/241.60	c  241s |      16 |   250730 |   142552 |    19477     14 |      911 |      880
243.55/243.69	c  243s |      16 |   251818 |   143452 |    19477     14 |      911 |      880
245.75/245.83	c  245s |      16 |   252741 |   144252 |    19477     14 |      911 |      880
247.85/247.99	c  247s |      16 |   253696 |   145052 |    19477     14 |      911 |      880
250.15/250.26	c  250s |      16 |   254486 |   145752 |    19477     14 |      911 |      880
252.26/252.32	c  252s |      16 |   255195 |   146352 |    19477     14 |      911 |      880
254.27/254.36	c  254s |      16 |   256058 |   147052 |    19477     14 |      911 |      880
256.56/256.62	c  256s |      16 |   256863 |   147752 |    19477     14 |      911 |      880
258.66/258.77	c  258s |      16 |   257710 |   148452 |    19477     14 |      911 |      880
260.65/260.80	c  260s |      16 |   259022 |   149352 |    19477     14 |      911 |      880
262.85/262.90	c  262s |      16 |   260404 |   150352 |    19477     14 |      911 |      880
264.95/265.05	c  264s |      16 |   261727 |   151352 |    19477     14 |      911 |      880
267.05/267.16	c  266s |      16 |   263332 |   152352 |    19477     14 |      911 |      880
269.15/269.22	c  268s |      16 |   265958 |   153352 |    19477     15 |      911 |      880
271.15/271.25	c  270s |      16 |   269075 |   154652 |    19477     15 |      911 |      880
273.15/273.26	c  273s |      16 |   273277 |   156252 |    19477     15 |      911 |      880
275.35/275.48	c  275s |      16 |   275629 |   157552 |    19477     15 |      911 |      880
277.45/277.51	c  277s |      16 |   276715 |   158352 |    19477     15 |      911 |      880
279.46/279.53	c  279s |      16 |   277911 |   159252 |    19477     15 |      911 |      880
281.55/281.61	c  281s |      16 |   278887 |   160052 |    19477     15 |      911 |      880
283.65/283.73	c  283s |      16 |   279838 |   160852 |    19477     15 |      911 |      880
285.85/285.94	c  285s |      16 |   280830 |   161652 |    19477     15 |      911 |      880
288.15/288.21	c  287s |      16 |   281522 |   162252 |    19477     15 |      911 |      880
290.35/290.47	c  290s |      16 |   282467 |   162952 |    19477     15 |      911 |      880
292.66/292.75	c  292s |      16 |   283319 |   163652 |    19477     15 |      911 |      880
294.86/294.96	c  294s |      16 |   284368 |   164352 |    19477     15 |      911 |      880
297.16/297.23	c  296s |      16 |   284965 |   164852 |    19477     16 |      911 |      880
299.15/299.29	c  299s |      16 |   285922 |   165652 |    19477     16 |      911 |      880
301.35/301.40	c  301s |      16 |   287779 |   166752 |    19477     16 |      911 |      880
303.44/303.58	c  303s |      16 |   288997 |   167752 |    19477     16 |      911 |      880
305.54/305.61	c  305s |      16 |   289916 |   168552 |    19477     16 |      911 |      880
307.54/307.67	c  307s |      16 |   290840 |   169352 |    19477     16 |      911 |      880
309.54/309.69	c  309s |      16 |   291907 |   170152 |    19477     16 |      911 |      880
311.64/311.75	c  311s |      16 |   292760 |   170852 |    19477     16 |      911 |      880
313.84/313.92	c  313s |      16 |   293584 |   171552 |    19477     16 |      911 |      880
315.94/316.07	c  315s |      16 |   294415 |   172252 |    19477     16 |      911 |      880
318.14/318.29	c  318s |      16 |   295381 |   173052 |    19477     16 |      911 |      880
320.44/320.52	c  320s |      16 |   296187 |   173752 |    19477     16 |      911 |      880
322.54/322.67	c  322s |      16 |   297032 |   174452 |    19477     16 |      911 |      880
324.84/324.93	c  324s |      16 |   297864 |   175152 |    19477     16 |      911 |      880
326.94/327.06	c  326s |      16 |   298606 |   175752 |    19477     16 |      911 |      880
329.04/329.19	c  328s |      16 |   299176 |   176252 |    19477     17 |      911 |      880
331.24/331.35	c  331s |      16 |   300017 |   176952 |    19477     17 |      911 |      880
333.53/333.63	c  333s |      16 |   300818 |   177652 |    19477     17 |      911 |      880
335.64/335.71	c  335s |      16 |   301484 |   178252 |    19477     17 |      911 |      880
337.93/338.07	c  337s |      16 |   302142 |   178852 |    19477     17 |      911 |      880
340.04/340.16	c  339s |      16 |   302847 |   179452 |    19477     17 |      911 |      880
342.03/342.19	c  341s |      16 |   303418 |   179952 |    19477     17 |      911 |      880
344.13/344.22	c  343s |      16 |   303981 |   180452 |    19477     17 |      911 |      880
346.43/346.59	c  346s |      16 |   304789 |   181152 |    19477     17 |      911 |      880
348.52/348.67	c  348s |      16 |   305370 |   181652 |    19477     17 |      911 |      880
350.82/350.91	c  350s |      16 |   306038 |   182252 |    19477     17 |      911 |      880
353.02/353.15	c  352s |      16 |   306732 |   182852 |    19477     17 |      911 |      880
355.12/355.28	c  355s |      16 |   307400 |   183452 |    19477     17 |      911 |      880
357.53/357.69	c  357s |      16 |   308093 |   184052 |    19477     17 |      911 |      880
359.83/359.91	c  359s |      16 |   308630 |   184552 |    19477     17 |      911 |      880
361.93/362.10	c  361s |      16 |   309191 |   185052 |    19477     17 |      911 |      880
364.02/364.17	c  363s |      16 |   309750 |   185552 |    19477     17 |      911 |      880
366.21/366.31	c  366s |      16 |   310291 |   186052 |    19477     17 |      911 |      880
368.21/368.34	c  368s |      16 |   310852 |   186552 |    19477     17 |      911 |      880
370.61/370.78	c  370s |      16 |   311393 |   187052 |    19477     17 |      911 |      880
372.92/373.01	c  372s |      16 |   311866 |   187452 |    19477     18 |      911 |      880
375.12/375.23	c  374s |      16 |   312540 |   188052 |    19477     18 |      911 |      880
377.31/377.49	c  377s |      16 |   313218 |   188652 |    19477     18 |      911 |      880
379.51/379.67	c  379s |      16 |   313898 |   189252 |    19477     18 |      911 |      880
381.81/381.95	c  381s |      16 |   314675 |   189952 |    19477     18 |      911 |      880
383.91/384.03	c  383s |      16 |   315350 |   190552 |    19477     18 |      911 |      880
386.00/386.13	c  385s |      16 |   316060 |   191152 |    19477     18 |      911 |      880
388.20/388.34	c  388s |      16 |   316767 |   191752 |    19477     18 |      911 |      880
390.30/390.45	c  390s |      16 |   317436 |   192352 |    19477     18 |      911 |      880
392.30/392.46	c  392s |      16 |   318246 |   192952 |    19477     18 |      911 |      880
394.40/394.56	c  394s |      16 |   318938 |   193552 |    19477     18 |      911 |      880
396.49/396.61	c  396s |      16 |   319489 |   194052 |    19477     18 |      911 |      880
398.59/398.73	c  398s |      16 |   320174 |   194652 |    19477     18 |      911 |      880
400.79/400.99	c  400s |      16 |   320989 |   195352 |    19477     18 |      911 |      880
402.99/403.17	c  402s |      16 |   321689 |   195952 |    19477     18 |      911 |      880
405.19/405.32	c  405s |      16 |   322260 |   196452 |    21425     18 |      911 |      880
407.49/407.70	c  407s |      16 |   322944 |   197052 |    21425     18 |      911 |      880
409.09/409.21	c  408s |      17 |   323380 |   197432 |    21425     18 |      911 |      880
411.09/411.24	c  410s |      17 |   328091 |   198932 |    21425     18 |      911 |      880
413.39/413.59	c  413s |      17 |   330765 |   200432 |    21425     19 |      911 |      880
415.59/415.73	c  415s |      17 |   332740 |   201832 |    21425     19 |      911 |      880
417.68/417.87	c  417s |      17 |   334273 |   203032 |    21425     19 |      911 |      880
419.88/420.00	c  419s |      17 |   335756 |   204232 |    21425     19 |      911 |      880
422.08/422.21	c  421s |      17 |   337180 |   205332 |    21425     19 |      911 |      880
424.08/424.24	c  423s |      17 |   338837 |   206532 |    21425     19 |      911 |      880
426.18/426.35	c  426s |      17 |   340152 |   207632 |    21425     19 |      911 |      880
428.28/428.42	c  428s |      17 |   341185 |   208532 |    21425     19 |      911 |      880
430.28/430.49	c  430s |      17 |   342181 |   209432 |    21425     19 |      911 |      880
432.39/432.58	c  432s |      17 |   343598 |   210432 |    21425     19 |      911 |      880
434.59/434.76	c  434s |      17 |   344952 |   211432 |    21425     19 |      911 |      880
436.79/436.94	c  436s |      17 |   346170 |   212432 |    21425     19 |      911 |      880
439.00/439.15	c  438s |      17 |   346905 |   213032 |    21425     20 |      911 |      880
440.99/441.19	c  440s |      17 |   349037 |   214232 |    21425     20 |      911 |      880
443.08/443.26	c  443s |      17 |   352198 |   215732 |    21425     20 |      911 |      880
445.18/445.30	c  445s |      17 |   354166 |   216932 |    21425     20 |      911 |      880
447.18/447.38	c  447s |      17 |   355958 |   218132 |    21425     20 |      911 |      880
449.58/449.72	c  449s |      17 |   357236 |   219032 |    21425     20 |      911 |      880
451.68/451.88	c  451s |      17 |   358143 |   219732 |    21425     20 |      911 |      880
453.78/453.99	c  453s |      17 |   359131 |   220432 |    21425     20 |      911 |      880
455.88/456.02	c  455s |      17 |   359848 |   221032 |    21425     20 |      911 |      880
458.07/458.21	c  457s |      17 |   360878 |   221832 |    21425     20 |      911 |      880
460.07/460.22	c  459s |      17 |   361599 |   222432 |    21425     20 |      911 |      880
462.17/462.36	c  462s |      17 |   362339 |   223032 |    21425     20 |      911 |      880
464.28/464.49	c  464s |      17 |   363451 |   223832 |    21425     20 |      911 |      880
466.67/466.85	c  466s |      17 |   364380 |   224532 |    21425     20 |      911 |      880
468.87/469.02	c  468s |      17 |   365097 |   225132 |    21425     20 |      911 |      880
470.97/471.16	c  470s |      17 |   365723 |   225632 |    21425     21 |      911 |      880
473.08/473.29	c  473s |      17 |   366610 |   226332 |    21425     21 |      911 |      880
475.47/475.62	c  475s |      17 |   367697 |   227132 |    21425     21 |      911 |      880
477.66/477.84	c  477s |      17 |   368569 |   227832 |    21425     21 |      911 |      880
479.86/480.08	c  479s |      17 |   369160 |   228332 |    21425     21 |      911 |      880
481.96/482.18	c  481s |      17 |   369923 |   228932 |    21425     21 |      911 |      880
484.07/484.26	c  484s |      17 |   370980 |   229732 |    21425     21 |      911 |      880
486.27/486.44	c  486s |      17 |   371846 |   230432 |    21425     21 |      911 |      880
488.46/488.65	c  488s |      17 |   372625 |   231032 |    21425     21 |      911 |      880
490.75/490.93	c  490s |      17 |   373558 |   231732 |    21425     21 |      911 |      880
492.86/493.03	c  492s |      17 |   374324 |   232332 |    21425     21 |      911 |      880
495.06/495.24	c  494s |      17 |   375266 |   233032 |    21425     21 |      911 |      880
497.15/497.36	c  497s |      17 |   376037 |   233632 |    21425     21 |      911 |      880
499.24/499.50	c  499s |      17 |   376977 |   234332 |    21425     21 |      911 |      880
501.55/501.78	c  501s |      17 |   377800 |   235032 |    21425     21 |      911 |      880
503.75/503.91	c  503s |      17 |   378544 |   235632 |    21425     21 |      911 |      880
505.74/505.94	c  505s |      17 |   379302 |   236232 |    21425     21 |      911 |      880
507.74/507.99	c  507s |      17 |   380012 |   236832 |    21425     21 |      911 |      880
509.94/510.10	c  509s |      17 |   380598 |   237332 |    21425     21 |      911 |      880
512.14/512.33	c  512s |      17 |   381212 |   237832 |    21425     22 |      911 |      880
514.34/514.56	c  514s |      17 |   382073 |   238532 |    21425     22 |      911 |      880
516.64/516.89	c  516s |      17 |   382896 |   239232 |    21425     22 |      911 |      880
518.73/518.93	c  518s |      17 |   383626 |   239832 |    21425     22 |      911 |      880
520.93/521.19	c  520s |      17 |   384614 |   240632 |    21425     22 |      911 |      880
523.03/523.25	c  522s |      17 |   385527 |   241332 |    21425     22 |      911 |      880
525.23/525.41	c  525s |      17 |   386274 |   241932 |    21425     22 |      911 |      880
527.32/527.54	c  527s |      17 |   386897 |   242432 |    21425     22 |      911 |      880
529.42/529.65	c  529s |      17 |   387622 |   243032 |    21425     22 |      911 |      880
531.72/531.99	c  531s |      17 |   388307 |   243632 |    21425     22 |      911 |      880
533.92/534.12	c  533s |      17 |   389011 |   244232 |    21425     22 |      911 |      880
536.12/536.37	c  536s |      17 |   389761 |   244832 |    21425     22 |      911 |      880
538.12/538.38	c  538s |      17 |   390390 |   245332 |    21425     22 |      911 |      880
540.52/540.72	c  540s |      17 |   391120 |   245932 |    21425     22 |      911 |      880
542.82/543.02	c  542s |      17 |   391859 |   246532 |    21425     22 |      911 |      880
544.82/545.05	c  544s |      17 |   392664 |   247132 |    21425     22 |      911 |      880
547.11/547.32	c  547s |      17 |   393358 |   247732 |    21425     22 |      911 |      880
549.11/549.34	c  549s |      17 |   393977 |   248232 |    21425     22 |      911 |      880
551.21/551.42	c  551s |      17 |   394551 |   248732 |    21425     22 |      911 |      880
553.33/553.53	c  553s |      17 |   395131 |   249232 |    21425     22 |      911 |      880
556.02/556.20	c  555s |      17 |   395717 |   249732 |    21425     23 |      911 |      880
558.22/558.44	c  558s |      17 |   396597 |   250432 |    21425     23 |      911 |      880
560.42/560.60	c  560s |      17 |   397440 |   251132 |    21425     23 |      911 |      880
562.42/562.63	c  562s |      17 |   398327 |   251832 |    21425     23 |      911 |      880
564.42/564.69	c  564s |      17 |   399161 |   252532 |    21425     23 |      911 |      880
566.71/566.92	c  566s |      17 |   400011 |   253232 |    21425     23 |      911 |      880
568.72/568.98	c  568s |      17 |   400936 |   253932 |    21425     23 |      911 |      880
570.82/571.03	c  570s |      17 |   401772 |   254632 |    21425     23 |      911 |      880
572.91/573.18	c  572s |      17 |   402632 |   255332 |    21425     23 |      911 |      880
575.11/575.36	c  575s |      17 |   403376 |   255932 |    21425     23 |      911 |      880
577.20/577.49	c  577s |      17 |   404135 |   256532 |    21425     23 |      911 |      880
579.40/579.65	c  579s |      17 |   404941 |   257132 |    21425     23 |      911 |      880
581.60/581.86	c  581s |      17 |   406034 |   257932 |    21425     23 |      911 |      880
583.80/584.05	c  583s |      17 |   408500 |   259032 |    21425     23 |      911 |      880
585.80/586.09	c  585s |      17 |   410068 |   260032 |    21425     23 |      911 |      880
587.99/588.27	c  588s |      17 |   411341 |   261132 |    21425     23 |      911 |      880
590.39/590.61	c  590s |      17 |   412282 |   261932 |    21425     24 |      911 |      880
592.39/592.64	c  592s |      17 |   413584 |   263032 |    21425     24 |      911 |      880
594.49/594.77	c  594s |      17 |   414579 |   263932 |    21425     24 |      911 |      880
596.59/596.86	c  596s |      17 |   415617 |   264832 |    21425     24 |      911 |      880
598.79/599.00	c  598s |      17 |   416509 |   265632 |    21425     24 |      911 |      880
600.79/601.06	c  600s |      17 |   417418 |   266432 |    21425     24 |      911 |      880
602.99/603.24	c  602s |      17 |   418277 |   267232 |    21425     24 |      911 |      880
605.19/605.46	c  605s |      17 |   419150 |   268032 |    21425     24 |      911 |      880
607.19/607.48	c  607s |      17 |   419784 |   268632 |    21425     24 |      911 |      880
609.48/609.76	c  609s |      17 |   420525 |   269332 |    21425     24 |      911 |      880
611.78/612.01	c  611s |      17 |   421284 |   270032 |    21425     24 |      911 |      880
614.18/614.44	c  614s |      17 |   422044 |   270732 |    21425     24 |      911 |      880
616.38/616.62	c  616s |      17 |   422718 |   271332 |    21425     24 |      911 |      880
618.58/618.87	c  618s |      17 |   423386 |   271932 |    21425     24 |      911 |      880
620.98/621.27	c  621s |      17 |   424043 |   272532 |    21425     24 |      911 |      880
623.18/623.43	c  623s |      17 |   424597 |   273032 |    21425     24 |      911 |      880
625.28/625.59	c  625s |      17 |   425122 |   273532 |    21425     24 |      911 |      880
627.57/627.89	c  627s |      17 |   425812 |   274132 |    21425     24 |      911 |      880
629.77/630.07	c  629s |      17 |   426466 |   274732 |    21425     25 |      911 |      880
631.97/632.25	c  631s |      17 |   427258 |   275432 |    21425     25 |      911 |      880
634.27/634.51	c  634s |      17 |   428000 |   276132 |    21425     25 |      911 |      880
636.37/636.66	c  636s |      17 |   428625 |   276732 |    21425     25 |      911 |      880
638.37/638.70	c  638s |      17 |   429155 |   277232 |    21425     25 |      911 |      880
640.57/640.85	c  640s |      17 |   429817 |   277832 |    21425     25 |      911 |      880
642.57/642.88	c  642s |      17 |   430438 |   278432 |    21425     25 |      911 |      880
644.67/644.92	c  644s |      17 |   431117 |   279032 |    21425     25 |      911 |      880
646.96/647.20	c  646s |      17 |   431778 |   279632 |    21425     25 |      911 |      880
649.36/649.60	c  649s |      17 |   432446 |   280232 |    21425     25 |      911 |      880
651.66/651.92	c  651s |      17 |   433100 |   280832 |    21425     25 |      911 |      880
653.76/654.01	c  653s |      17 |   433782 |   281432 |    21425     25 |      911 |      880
655.76/656.03	c  655s |      17 |   434434 |   282032 |    21425     25 |      911 |      880
658.05/658.32	c  658s |      17 |   435117 |   282632 |    21425     25 |      911 |      880
660.15/660.40	c  660s |      17 |   435644 |   283132 |    21425     25 |      911 |      880
662.45/662.76	c  662s |      17 |   436293 |   283732 |    21425     25 |      911 |      880
664.55/664.89	c  664s |      17 |   436837 |   284232 |    21425     25 |      911 |      880
666.65/666.96	c  666s |      17 |   437258 |   284632 |    21425     25 |      911 |      880
668.85/669.14	c  668s |      17 |   437688 |   285032 |    21425     25 |      911 |      880
670.86/671.16	c  670s |      17 |   438223 |   285532 |    21425     25 |      911 |      880
673.06/673.31	c  673s |      17 |   438766 |   286032 |    21425     25 |      911 |      880
675.55/675.88	c  675s |      17 |   439300 |   286532 |    21425     26 |      911 |      880
677.65/677.98	c  677s |      17 |   439937 |   287132 |    21425     26 |      911 |      880
679.76/680.02	c  679s |      17 |   440480 |   287632 |    21425     26 |      911 |      880
681.74/682.05	c  681s |      17 |   440990 |   288132 |    21425     26 |      911 |      880
684.05/684.31	c  684s |      17 |   441675 |   288732 |    21425     26 |      911 |      880
686.14/686.46	c  686s |      17 |   442325 |   289332 |    21425     26 |      911 |      880
688.14/688.49	c  688s |      17 |   442866 |   289832 |    21425     26 |      911 |      880
690.24/690.59	c  690s |      17 |   443541 |   290432 |    21425     26 |      911 |      880
692.64/692.90	c  692s |      17 |   444334 |   291132 |    21425     26 |      911 |      880
694.84/695.14	c  694s |      17 |   444989 |   291732 |    21425     26 |      911 |      880
697.04/697.31	c  697s |      17 |   445650 |   292332 |    21425     26 |      911 |      880
699.34/699.66	c  699s |      17 |   446309 |   292932 |    21425     26 |      911 |      880
701.54/701.89	c  701s |      17 |   446969 |   293532 |    21425     26 |      911 |      880
703.95/704.29	c  704s |      17 |   447614 |   294132 |    21425     26 |      911 |      880
706.05/706.40	c  706s |      17 |   448136 |   294632 |    23568     26 |      911 |      880
708.24/708.53	c  708s |      17 |   448679 |   295132 |    23568     26 |      911 |      880
710.23/710.58	c  710s |      17 |   449216 |   295632 |    23568     26 |      911 |      880
712.74/713.08	c  712s |      17 |   449855 |   296232 |    23568     26 |      911 |      880
712.83/713.16	c  712s |      18 |   449876 |   296252 |    23568     26 |      911 |      880
714.94/715.23	c  714s |      18 |   457912 |   298052 |    23568     26 |      911 |      880
716.93/717.30	c  717s |      18 |   462192 |   299152 |    23568     27 |      911 |      880
719.03/719.35	c  719s |      18 |   468599 |   301152 |    23568     27 |      911 |      880
721.03/721.37	c  721s |      18 |   471097 |   302552 |    23568     27 |      911 |      880
723.13/723.46	c  723s |      18 |   473212 |   303952 |    23568     27 |      911 |      880
725.22/725.54	c  725s |      18 |   474796 |   305152 |    23568     27 |      911 |      880
727.22/727.60	c  727s |      18 |   476069 |   306152 |    23568     27 |      911 |      880
729.32/729.66	c  729s |      18 |   477405 |   307152 |    23568     27 |      911 |      880
731.33/731.67	c  731s |      18 |   478921 |   308252 |    23568     27 |      911 |      880
733.53/733.83	c  733s |      18 |   480185 |   309252 |    23568     27 |      911 |      880
735.62/735.90	c  735s |      18 |   481321 |   310152 |    23568     27 |      911 |      880
737.71/738.08	c  737s |      18 |   482618 |   311152 |    23568     27 |      911 |      880
739.71/740.08	c  739s |      18 |   483593 |   311952 |    23568     27 |      911 |      880
741.71/742.09	c  741s |      18 |   484581 |   312752 |    23568     27 |      911 |      880
744.11/744.45	c  744s |      18 |   485413 |   313452 |    23568     28 |      911 |      880
746.31/746.61	c  746s |      18 |   486212 |   314152 |    23568     28 |      911 |      880
748.30/748.63	c  748s |      18 |   489597 |   315352 |    23568     28 |      911 |      880
750.40/750.76	c  750s |      18 |   491962 |   316652 |    23568     28 |      911 |      880
752.50/752.84	c  752s |      18 |   493629 |   317752 |    23568     28 |      911 |      880
754.60/754.95	c  754s |      18 |   494803 |   318652 |    23568     28 |      911 |      880
756.71/757.08	c  756s |      18 |   495760 |   319452 |    23568     28 |      911 |      880
758.90/759.27	c  759s |      18 |   496779 |   320252 |    23568     28 |      911 |      880
761.00/761.33	c  761s |      18 |   497782 |   321052 |    23568     28 |      911 |      880
763.30/763.61	c  763s |      18 |   498918 |   321952 |    23568     28 |      911 |      880
765.40/765.76	c  765s |      18 |   499883 |   322752 |    23568     28 |      911 |      880
767.60/767.94	c  767s |      18 |   500910 |   323552 |    23568     28 |      911 |      880
769.59/769.98	c  769s |      18 |   501877 |   324252 |    23568     28 |      911 |      880
771.79/772.15	c  771s |      18 |   502852 |   324952 |    23568     28 |      911 |      880
773.89/774.27	c  774s |      18 |   503640 |   325552 |    23568     28 |      911 |      880
776.29/776.62	c  776s |      18 |   504381 |   326152 |    23568     28 |      911 |      880
778.28/778.68	c  778s |      18 |   504976 |   326652 |    23568     28 |      911 |      880
780.38/780.77	c  780s |      18 |   505798 |   327252 |    23568     29 |      911 |      880
782.48/782.80	c  782s |      18 |   506759 |   327952 |    23568     29 |      911 |      880
784.68/785.09	c  784s |      18 |   507758 |   328752 |    23568     29 |      911 |      880
786.78/787.10	c  786s |      18 |   508586 |   329452 |    23568     29 |      911 |      880
788.87/789.24	c  788s |      18 |   509570 |   330252 |    23568     29 |      911 |      880
791.17/791.50	c  791s |      18 |   510379 |   330952 |    23568     29 |      911 |      880
793.18/793.51	c  793s |      18 |   511104 |   331552 |    23568     29 |      911 |      880
795.48/795.80	c  795s |      18 |   511803 |   332152 |    23568     29 |      911 |      880
797.87/798.25	c  797s |      18 |   512528 |   332752 |    23568     29 |      911 |      880
799.87/800.27	c  800s |      18 |   512988 |   333152 |    23568     29 |      911 |      880
802.17/802.56	c  802s |      18 |   513568 |   333652 |    23568     29 |      911 |      880
804.17/804.59	c  804s |      18 |   514012 |   334052 |    23568     29 |      911 |      880
806.27/806.60	c  806s |      18 |   514471 |   334452 |    23568     29 |      911 |      880
808.67/809.07	c  808s |      18 |   515041 |   334952 |    23568     29 |      911 |      880
811.17/811.52	c  811s |      18 |   515624 |   335452 |    23568     29 |      911 |      880
813.37/813.71	c  813s |      18 |   516233 |   335952 |    23568     29 |      911 |      880
815.37/815.75	c  815s |      18 |   516886 |   336452 |    23568     29 |      911 |      880
817.46/817.84	c  817s |      18 |   517526 |   336952 |    23568     29 |      911 |      880
819.86/820.21	c  819s |      18 |   518260 |   337552 |    23568     29 |      911 |      880
821.86/822.22	c  821s |      18 |   519178 |   338252 |    23568     29 |      911 |      880
824.16/824.52	c  824s |      18 |   520042 |   338952 |    23568     29 |      911 |      880
826.26/826.68	c  826s |      18 |   520756 |   339552 |    23568     29 |      911 |      880
829.16/829.60	c  829s |      18 |   521478 |   340152 |    23568     30 |      911 |      880
831.46/831.83	c  831s |      18 |   522177 |   340752 |    23568     30 |      911 |      880
833.45/833.84	c  833s |      18 |   523024 |   341452 |    23568     30 |      911 |      880
835.76/836.15	c  835s |      18 |   523885 |   342152 |    23568     30 |      911 |      880
837.95/838.33	c  838s |      18 |   524576 |   342752 |    23568     30 |      911 |      880
839.95/840.35	c  840s |      18 |   525314 |   343352 |    23568     30 |      911 |      880
842.24/842.60	c  842s |      18 |   526121 |   344052 |    23568     30 |      911 |      880
844.44/844.80	c  844s |      18 |   526801 |   344652 |    23568     30 |      911 |      880
846.44/846.89	c  846s |      18 |   527378 |   345152 |    23568     30 |      911 |      880
848.54/848.95	c  848s |      18 |   527952 |   345652 |    23568     30 |      911 |      880
850.64/851.08	c  850s |      18 |   528521 |   346152 |    23568     30 |      911 |      880
852.74/853.13	c  852s |      18 |   529093 |   346652 |    23568     30 |      911 |      880
855.04/855.40	c  855s |      18 |   529698 |   347152 |    23568     30 |      911 |      880
857.33/857.75	c  857s |      18 |   530242 |   347652 |    23568     30 |      911 |      880
859.83/860.23	c  859s |      18 |   530780 |   348152 |    23568     30 |      911 |      880
862.13/862.53	c  862s |      18 |   531221 |   348552 |    23568     30 |      911 |      880
864.33/864.72	c  864s |      18 |   531633 |   348952 |    23568     30 |      911 |      880
866.32/866.79	c  866s |      18 |   532076 |   349352 |    23568     30 |      911 |      880
868.42/868.80	c  868s |      18 |   532514 |   349752 |    23568     30 |      911 |      880
870.52/870.99	c  870s |      18 |   532981 |   350152 |    23568     30 |      911 |      880
872.92/873.34	c  873s |      18 |   533534 |   350652 |    23568     30 |      911 |      880
875.02/875.48	c  875s |      18 |   533959 |   351052 |    23568     30 |      911 |      880
877.01/877.48	c  877s |      18 |   534396 |   351452 |    23568     30 |      911 |      880
879.21/879.65	c  879s |      18 |   534988 |   351952 |    23568     30 |      911 |      880
881.71/882.12	c  881s |      18 |   535566 |   352452 |    23568     30 |      911 |      880
883.71/884.15	c  883s |      18 |   536005 |   352852 |    23568     30 |      911 |      880
885.91/886.38	c  886s |      18 |   536589 |   353352 |    23568     30 |      911 |      880
888.30/888.70	c  888s |      18 |   537033 |   353752 |    23568     31 |      911 |      880
890.40/890.83	c  890s |      18 |   537562 |   354252 |    23568     31 |      911 |      880
892.40/892.86	c  892s |      18 |   537996 |   354652 |    23568     31 |      911 |      880
894.60/895.10	c  894s |      18 |   538538 |   355152 |    23568     31 |      911 |      880
896.70/897.13	c  896s |      18 |   539098 |   355652 |    23568     31 |      911 |      880
898.89/899.31	c  899s |      18 |   539657 |   356152 |    23568     31 |      911 |      880
900.99/901.46	c  901s |      18 |   540188 |   356652 |    23568     31 |      911 |      880
903.19/903.61	c  903s |      18 |   540753 |   357152 |    23568     31 |      911 |      880
905.19/905.65	c  905s |      18 |   541318 |   357652 |    23568     31 |      911 |      880
907.30/907.74	c  907s |      18 |   541994 |   358252 |    23568     31 |      911 |      880
909.49/909.92	c  909s |      18 |   542544 |   358752 |    23568     31 |      911 |      880
911.78/912.21	c  911s |      18 |   543202 |   359352 |    23568     31 |      911 |      880
914.08/914.51	c  914s |      18 |   543747 |   359852 |    23568     31 |      911 |      880
916.29/916.70	c  916s |      18 |   544311 |   360352 |    23568     31 |      911 |      880
918.59/919.07	c  918s |      18 |   544881 |   360852 |    23568     31 |      911 |      880
920.79/921.21	c  920s |      18 |   545432 |   361352 |    23568     31 |      911 |      880
922.79/923.28	c  923s |      18 |   545868 |   361752 |    23568     31 |      911 |      880
925.09/925.54	c  925s |      18 |   546435 |   362252 |    23568     31 |      911 |      880
927.18/927.60	c  927s |      18 |   546890 |   362652 |    23568     31 |      911 |      880
929.29/929.75	c  929s |      18 |   547329 |   363052 |    23568     31 |      911 |      880
931.28/931.77	c  931s |      18 |   547794 |   363452 |    23568     31 |      911 |      880
933.38/933.82	c  933s |      18 |   548233 |   363852 |    23568     31 |      911 |      880
935.38/935.87	c  935s |      18 |   548675 |   364252 |    23568     31 |      911 |      880
937.67/938.14	c  937s |      18 |   549243 |   364752 |    23568     31 |      911 |      880
940.07/940.56	c  940s |      18 |   549690 |   365152 |    23568     31 |      911 |      880
942.38/942.84	c  942s |      18 |   550371 |   365652 |    23568     31 |      911 |      880
944.58/945.06	c  944s |      18 |   551143 |   366252 |    23568     31 |      911 |      880
946.78/947.27	c  947s |      18 |   551728 |   366752 |    23568     31 |      911 |      880
948.98/949.48	c  949s |      18 |   552207 |   367152 |    23568     32 |      911 |      880
951.37/951.89	c  951s |      18 |   552883 |   367752 |    23568     32 |      911 |      880
953.77/954.29	c  954s |      18 |   553558 |   368352 |    23568     32 |      911 |      880
956.16/956.62	c  956s |      18 |   554105 |   368852 |    23568     32 |      911 |      880
958.36/958.90	c  958s |      18 |   554807 |   369452 |    23568     32 |      911 |      880
960.46/960.91	c  960s |      18 |   555349 |   369952 |    23568     32 |      911 |      880
962.66/963.13	c  962s |      18 |   555925 |   370452 |    23568     32 |      911 |      880
964.66/965.17	c  964s |      18 |   556793 |   371152 |    23568     32 |      911 |      880
967.15/967.63	c  967s |      18 |   557475 |   371752 |    23568     32 |      911 |      880
969.35/969.82	c  969s |      18 |   558047 |   372252 |    23568     32 |      911 |      880
971.65/972.18	c  971s |      18 |   558620 |   372752 |    23568     32 |      911 |      880
973.75/974.21	c  973s |      18 |   559061 |   373152 |    23568     32 |      911 |      880
976.05/976.57	c  976s |      18 |   559657 |   373652 |    23568     32 |      911 |      880
978.25/978.80	c  978s |      18 |   560094 |   374052 |    23568     32 |      911 |      880
980.45/980.95	c  980s |      18 |   560671 |   374552 |    23568     32 |      911 |      880
982.74/983.28	c  983s |      18 |   561114 |   374952 |    23568     32 |      911 |      880
984.84/985.30	c  985s |      18 |   561594 |   375352 |    23568     32 |      911 |      880
987.04/987.60	c  987s |      18 |   562452 |   376052 |    23568     32 |      911 |      880
989.44/989.97	c  989s |      18 |   563230 |   376652 |    23568     32 |      911 |      880
991.85/992.31	c  992s |      18 |   563802 |   377152 |    23568     32 |      911 |      880
994.15/994.62	c  994s |      18 |   564513 |   377752 |    23568     32 |      911 |      880
996.25/996.74	c  996s |      18 |   565094 |   378252 |    23568     32 |      911 |      880
998.34/998.87	c  998s |      18 |   565649 |   378752 |    23568     32 |      911 |      880
1000.54/1001.04	c 1000s |      18 |   566222 |   379252 |    23568     32 |      911 |      880
1002.64/1003.13	c 1002s |      18 |   566675 |   379652 |    23568     32 |      911 |      880
1004.64/1005.13	c 1004s |      18 |   567140 |   380052 |    23568     32 |      911 |      880
1006.94/1007.41	c 1007s |      18 |   567577 |   380452 |    23568     33 |      911 |      880
1009.24/1009.72	c 1009s |      18 |   568236 |   381052 |    23568     33 |      911 |      880
1011.54/1012.01	c 1011s |      18 |   569146 |   381752 |    23568     33 |      911 |      880
1013.95/1014.47	c 1014s |      18 |   569843 |   382352 |    23568     33 |      911 |      880
1015.94/1016.49	c 1016s |      18 |   570445 |   382852 |    23568     33 |      911 |      880
1018.35/1018.81	c 1018s |      18 |   570998 |   383352 |    23568     33 |      911 |      880
1020.64/1021.16	c 1020s |      18 |   571563 |   383852 |    23568     33 |      911 |      880
1022.84/1023.39	c 1023s |      18 |   572146 |   384352 |    23568     33 |      911 |      880
1025.24/1025.71	c 1025s |      18 |   572700 |   384852 |    23568     33 |      911 |      880
1027.54/1028.09	c 1027s |      18 |   573309 |   385352 |    23568     33 |      911 |      880
1030.04/1030.58	c 1030s |      18 |   573867 |   385852 |    23568     33 |      911 |      880
1032.44/1032.90	c 1032s |      18 |   574586 |   386452 |    23568     33 |      911 |      880
1034.44/1034.91	c 1034s |      18 |   575074 |   386852 |    23568     33 |      911 |      880
1036.74/1037.22	c 1036s |      18 |   575637 |   387352 |    23568     33 |      911 |      880
1039.24/1039.77	c 1039s |      18 |   576204 |   387852 |    23568     33 |      911 |      880
1041.73/1042.26	c 1042s |      18 |   576766 |   388352 |    23568     33 |      911 |      880
1043.83/1044.33	c 1044s |      18 |   577200 |   388752 |    23568     33 |      911 |      880
1046.33/1046.84	c 1046s |      18 |   577761 |   389252 |    23568     33 |      911 |      880
1048.63/1049.10	c 1048s |      18 |   578199 |   389652 |    23568     33 |      911 |      880
1050.73/1051.29	c 1051s |      18 |   578642 |   390052 |    23568     33 |      911 |      880
1053.13/1053.64	c 1053s |      18 |   579239 |   390552 |    23568     33 |      911 |      880
1055.43/1055.91	c 1055s |      18 |   579816 |   391052 |    23568     33 |      911 |      880
1057.43/1057.99	c 1057s |      18 |   580279 |   391452 |    23568     33 |      911 |      880
1059.83/1060.35	c 1060s |      18 |   580717 |   391852 |    23568     33 |      911 |      880
1062.13/1062.69	c 1062s |      18 |   581156 |   392252 |    23568     33 |      911 |      880
1064.24/1064.74	c 1064s |      18 |   581485 |   392552 |    23568     33 |      911 |      880
1066.34/1066.88	c 1066s |      18 |   581956 |   392952 |    23568     33 |      911 |      880
1068.54/1069.09	c 1068s |      18 |   582420 |   393352 |    23568     33 |      911 |      880
1070.84/1071.39	c 1071s |      18 |   582744 |   393652 |    23568     34 |      911 |      880
1072.93/1073.48	c 1073s |      18 |   583181 |   394052 |    23568     34 |      911 |      880
1075.13/1075.66	c 1075s |      18 |   583816 |   394552 |    23568     34 |      911 |      880
1077.43/1077.98	c 1077s |      18 |   584708 |   395252 |    23568     34 |      911 |      880
1079.53/1080.01	c 1079s |      18 |   585432 |   395852 |    23568     34 |      911 |      880
1081.73/1082.26	c 1082s |      18 |   586326 |   396552 |    23568     34 |      911 |      880
1084.03/1084.50	c 1084s |      18 |   587077 |   397152 |    23568     34 |      911 |      880
1086.23/1086.75	c 1086s |      18 |   588150 |   397952 |    23568     34 |      911 |      880
1088.43/1088.90	c 1088s |      18 |   589043 |   398652 |    23568     34 |      911 |      880
1090.43/1090.90	c 1090s |      18 |   589808 |   399252 |    23568     34 |      911 |      880
1092.63/1093.10	c 1092s |      18 |   590552 |   399852 |    23568     34 |      911 |      880
1094.83/1095.39	c 1095s |      18 |   591277 |   400452 |    23568     34 |      911 |      880
1096.93/1097.44	c 1097s |      18 |   592015 |   401052 |    23568     34 |      911 |      880
1099.23/1099.71	c 1099s |      18 |   592764 |   401652 |    23568     34 |      911 |      880
1101.23/1101.78	c 1101s |      18 |   593513 |   402252 |    23568     34 |      911 |      880
1103.33/1103.86	c 1103s |      18 |   594288 |   402852 |    23568     34 |      911 |      880
1105.43/1105.92	c 1105s |      18 |   595022 |   403452 |    23568     34 |      911 |      880
1107.44/1107.98	c 1107s |      18 |   595610 |   403952 |    23568     34 |      911 |      880
1109.43/1109.98	c 1109s |      18 |   596312 |   404552 |    23568     34 |      911 |      880
1111.74/1112.21	c 1111s |      18 |   597029 |   405152 |    23568     34 |      911 |      880
1114.04/1114.58	c 1114s |      18 |   597737 |   405752 |    23568     34 |      911 |      880
1116.43/1116.96	c 1116s |      18 |   598314 |   406252 |    23568     34 |      911 |      880
1118.73/1119.21	c 1118s |      18 |   598863 |   406752 |    23568     34 |      911 |      880
1120.83/1121.32	c 1121s |      18 |   599412 |   407152 |    23568     35 |      911 |      880
1122.93/1123.44	c 1123s |      18 |   600006 |   407652 |    23568     35 |      911 |      880
1125.33/1125.86	c 1125s |      18 |   600861 |   408352 |    23568     35 |      911 |      880
1127.73/1128.22	c 1127s |      18 |   601557 |   408952 |    23568     35 |      911 |      880
1129.92/1130.43	c 1130s |      18 |   602262 |   409552 |    23568     35 |      911 |      880
1131.92/1132.45	c 1132s |      18 |   603026 |   410152 |    23568     35 |      911 |      880
1134.12/1134.67	c 1134s |      18 |   603743 |   410752 |    23568     35 |      911 |      880
1136.42/1136.90	c 1136s |      18 |   604301 |   411252 |    23568     35 |      911 |      880
1138.42/1138.98	c 1138s |      18 |   604885 |   411752 |    23568     35 |      911 |      880
1140.92/1141.46	c 1141s |      18 |   605451 |   412252 |    23568     35 |      911 |      880
1143.32/1143.88	c 1143s |      18 |   606013 |   412752 |    23568     35 |      911 |      880
1145.62/1146.14	c 1145s |      18 |   606607 |   413252 |    23568     35 |      911 |      880
1147.72/1148.29	c 1148s |      18 |   607190 |   413752 |    23568     35 |      911 |      880
1150.02/1150.51	c 1150s |      18 |   607775 |   414252 |    23568     35 |      911 |      880
1152.43/1152.91	c 1152s |      18 |   608318 |   414752 |    23568     35 |      911 |      880
1154.42/1154.98	c 1154s |      18 |   608746 |   415152 |    23568     35 |      911 |      880
1156.52/1157.03	c 1156s |      18 |   609170 |   415552 |    23568     35 |      911 |      880
1158.52/1159.05	c 1158s |      18 |   609613 |   415952 |    23568     35 |      911 |      880
1161.02/1161.55	c 1161s |      18 |   610185 |   416452 |    23568     35 |      911 |      880
1163.43/1163.98	c 1163s |      18 |   610806 |   416952 |    23568     35 |      911 |      880
1166.02/1166.58	c 1166s |      18 |   611221 |   417352 |    23568     35 |      911 |      880
1168.42/1168.97	c 1168s |      18 |   611658 |   417752 |    23568     35 |      911 |      880
1170.92/1171.48	c 1171s |      18 |   612121 |   418152 |    23568     35 |      911 |      880
1173.43/1173.99	c 1173s |      18 |   612730 |   418652 |    23568     35 |      911 |      880
1175.63/1176.15	c 1175s |      18 |   613206 |   419052 |    23568     35 |      911 |      880
1178.12/1178.69	c 1178s |      18 |   613671 |   419452 |    23568     35 |      911 |      880
1180.52/1181.03	c 1180s |      18 |   614122 |   419852 |    23568     35 |      911 |      880
1182.52/1183.09	c 1182s |      18 |   614473 |   420152 |    23568     36 |      911 |      880
1184.91/1185.42	c 1185s |      18 |   615024 |   420652 |    23568     36 |      911 |      880
1187.21/1187.75	c 1187s |      18 |   615586 |   421152 |    23568     36 |      911 |      880
1189.21/1189.76	c 1189s |      18 |   616177 |   421652 |    23568     36 |      911 |      880
1191.31/1191.84	c 1191s |      18 |   616877 |   422252 |    23568     36 |      911 |      880
1193.51/1194.09	c 1193s |      18 |   617578 |   422852 |    23568     36 |      911 |      880
1195.91/1196.46	c 1196s |      18 |   618154 |   423352 |    23568     36 |      911 |      880
1198.21/1198.71	c 1198s |      18 |   618793 |   423852 |    23568     36 |      911 |      880
1200.31/1200.81	c 1200s |      18 |   619366 |   424352 |    23568     36 |      911 |      880
1202.41/1202.98	c 1202s |      18 |   619820 |   424752 |    23568     36 |      911 |      880
1204.51/1205.02	c 1204s |      18 |   620276 |   425152 |    23568     36 |      911 |      880
1206.51/1207.03	c 1206s |      18 |   620722 |   425552 |    23568     36 |      911 |      880
1208.91/1209.46	c 1209s |      18 |   621289 |   426052 |    23568     36 |      911 |      880
1211.31/1211.81	c 1211s |      18 |   621865 |   426552 |    23568     36 |      911 |      880
1213.81/1214.39	c 1214s |      18 |   622428 |   427052 |    23568     36 |      911 |      880
1216.01/1216.51	c 1216s |      18 |   622892 |   427452 |    23568     36 |      911 |      880
1218.21/1218.70	c 1218s |      18 |   625211 |   428252 |    23568     36 |      911 |      880
1220.31/1220.87	c 1220s |      18 |   626619 |   429252 |    23568     36 |      911 |      880
1222.51/1223.00	c 1222s |      18 |   627446 |   429952 |    23568     36 |      911 |      880
1224.51/1225.08	c 1224s |      18 |   628153 |   430552 |    23568     36 |      911 |      880
1226.71/1227.26	c 1227s |      18 |   629539 |   431452 |    23568     36 |      911 |      880
1228.91/1229.41	c 1229s |      18 |   630475 |   432152 |    23568     36 |      911 |      880
1230.91/1231.46	c 1231s |      18 |   631206 |   432752 |    23568     36 |      911 |      880
1233.11/1233.65	c 1233s |      18 |   631790 |   433252 |    23568     36 |      911 |      880
1235.21/1235.73	c 1235s |      18 |   632292 |   433652 |    23568     37 |      911 |      880
1237.21/1237.76	c 1237s |      18 |   632998 |   434252 |    23568     37 |      911 |      880
1239.31/1239.83	c 1239s |      18 |   633698 |   434852 |    23568     37 |      911 |      880
1241.51/1242.09	c 1241s |      18 |   634557 |   435552 |    23568     37 |      911 |      880
1243.90/1244.41	c 1244s |      18 |   635378 |   436252 |    23568     37 |      911 |      880
1246.30/1246.83	c 1246s |      18 |   636069 |   436852 |    23568     37 |      911 |      880
1248.40/1248.94	c 1248s |      18 |   636652 |   437352 |    23568     37 |      911 |      880
1250.80/1251.32	c 1251s |      18 |   637349 |   437952 |    23568     37 |      911 |      880
1253.00/1253.57	c 1253s |      18 |   638066 |   438552 |    23568     37 |      911 |      880
1255.10/1255.61	c 1255s |      18 |   638655 |   439052 |    23568     37 |      911 |      880
1257.10/1257.67	c 1257s |      18 |   639255 |   439552 |    23568     37 |      911 |      880
1259.21/1259.72	c 1259s |      18 |   640171 |   440152 |    23568     37 |      911 |      880
1261.41/1261.93	c 1261s |      18 |   641214 |   440952 |    23568     37 |      911 |      880
1263.70/1264.21	c 1263s |      18 |   642021 |   441652 |    25925     37 |      911 |      880
1265.90/1266.42	c 1266s |      18 |   642991 |   442352 |    25925     37 |      911 |      880
1267.91/1268.43	c 1268s |      18 |   643781 |   442952 |    25925     37 |      911 |      880
1270.21/1270.76	c 1270s |      18 |   644710 |   443652 |    25925     37 |      911 |      880
1272.31/1272.87	c 1272s |      18 |   645329 |   444152 |    25925     37 |      911 |      880
1273.80/1274.39	c 1274s |      19 |   645733 |   444482 |    25925     37 |      911 |      880
1276.00/1276.50	c 1276s |      19 |   649356 |   445982 |    25925     37 |      911 |      880
1278.00/1278.58	c 1278s |      19 |   652129 |   447782 |    25925     37 |      911 |      880
1280.70/1281.21	c 1280s |      19 |   654026 |   449282 |    25925     38 |      911 |      880
1282.70/1283.24	c 1282s |      19 |   655357 |   450382 |    25925     38 |      911 |      880
1284.80/1285.33	c 1285s |      19 |   656903 |   451682 |    25925     38 |      911 |      880
1286.90/1287.46	c 1287s |      19 |   658256 |   452782 |    25925     38 |      911 |      880
1288.91/1289.47	c 1289s |      19 |   659459 |   453782 |    25925     38 |      911 |      880
1291.00/1291.53	c 1291s |      19 |   660749 |   454782 |    25925     38 |      911 |      880
1293.20/1293.81	c 1293s |      19 |   661668 |   455582 |    25925     38 |      911 |      880
1295.30/1295.86	c 1295s |      19 |   662745 |   456482 |    25925     38 |      911 |      880
1297.49/1298.04	c 1297s |      19 |   663817 |   457382 |    25925     38 |      911 |      880
1299.59/1300.16	c 1299s |      19 |   664816 |   458182 |    25925     38 |      911 |      880
1301.59/1302.16	c 1301s |      19 |   665659 |   458882 |    25925     38 |      911 |      880
1303.79/1304.32	c 1304s |      19 |   666658 |   459682 |    25925     38 |      911 |      880
1305.99/1306.50	c 1306s |      19 |   667778 |   460582 |    25925     38 |      911 |      880
1308.19/1308.70	c 1308s |      19 |   668948 |   461482 |    25925     38 |      911 |      880
1310.19/1310.73	c 1310s |      19 |   670078 |   462282 |    25925     38 |      911 |      880
1312.29/1312.80	c 1312s |      19 |   671071 |   463082 |    25925     38 |      911 |      880
1314.89/1315.40	c 1315s |      19 |   672176 |   463982 |    25925     39 |      911 |      880
1316.89/1317.47	c 1317s |      19 |   673236 |   464882 |    25925     39 |      911 |      880
1318.99/1319.53	c 1319s |      19 |   674265 |   465682 |    25925     39 |      911 |      880
1321.19/1321.78	c 1321s |      19 |   675265 |   466482 |    25925     39 |      911 |      880
1323.39/1323.98	c 1323s |      19 |   676256 |   467282 |    25925     39 |      911 |      880
1325.59/1326.13	c 1325s |      19 |   677255 |   468082 |    25925     39 |      911 |      880
1327.89/1328.41	c 1328s |      19 |   678152 |   468782 |    25925     39 |      911 |      880
1329.99/1330.56	c 1330s |      19 |   679133 |   469582 |    25925     39 |      911 |      880
1332.09/1332.69	c 1332s |      19 |   680128 |   470382 |    25925     39 |      911 |      880
1334.29/1334.80	c 1334s |      19 |   681025 |   471082 |    25925     39 |      911 |      880
1336.49/1337.03	c 1336s |      19 |   681856 |   471782 |    25925     39 |      911 |      880
1338.49/1339.09	c 1338s |      19 |   682822 |   472582 |    25925     39 |      911 |      880
1340.69/1341.23	c 1340s |      19 |   683697 |   473282 |    25925     39 |      911 |      880
1342.89/1343.46	c 1343s |      19 |   684521 |   473982 |    25925     39 |      911 |      880
1345.09/1345.69	c 1345s |      19 |   685247 |   474582 |    25925     39 |      911 |      880
1347.29/1347.86	c 1347s |      19 |   686102 |   475282 |    25925     39 |      911 |      880
1349.49/1350.01	c 1349s |      19 |   686842 |   475882 |    25925     39 |      911 |      880
1351.69/1352.22	c 1351s |      19 |   687570 |   476482 |    25925     39 |      911 |      880
1353.80/1354.35	c 1354s |      19 |   688325 |   477082 |    25925     39 |      911 |      880
1355.99/1356.54	c 1356s |      19 |   688907 |   477582 |    25925     39 |      911 |      880
1358.28/1358.83	c 1358s |      19 |   689500 |   478082 |    25925     39 |      911 |      880
1360.29/1360.84	c 1360s |      19 |   689899 |   478382 |    25925     40 |      911 |      880
1362.28/1362.85	c 1362s |      19 |   690804 |   479082 |    25925     40 |      911 |      880
1364.38/1364.92	c 1364s |      19 |   691711 |   479782 |    25925     40 |      911 |      880
1366.59/1367.13	c 1366s |      19 |   692582 |   480482 |    25925     40 |      911 |      880
1368.59/1369.17	c 1368s |      19 |   693433 |   481182 |    25925     40 |      911 |      880
1370.89/1371.42	c 1371s |      19 |   694314 |   481882 |    25925     40 |      911 |      880
1373.09/1373.67	c 1373s |      19 |   695254 |   482682 |    25925     40 |      911 |      880
1375.19/1375.74	c 1375s |      19 |   696078 |   483382 |    25925     40 |      911 |      880
1377.49/1378.04	c 1377s |      19 |   696883 |   484082 |    25925     40 |      911 |      880
1379.49/1380.06	c 1379s |      19 |   697589 |   484682 |    25925     40 |      911 |      880
1381.59/1382.18	c 1381s |      19 |   698280 |   485282 |    25925     40 |      911 |      880
1383.69/1384.21	c 1383s |      19 |   698976 |   485882 |    25925     40 |      911 |      880
1385.99/1386.51	c 1386s |      19 |   699652 |   486482 |    25925     40 |      911 |      880
1388.19/1388.73	c 1388s |      19 |   700317 |   487082 |    25925     40 |      911 |      880
1390.39/1391.00	c 1390s |      19 |   701024 |   487682 |    25925     40 |      911 |      880
1392.79/1393.33	c 1393s |      19 |   701753 |   488282 |    25925     40 |      911 |      880
1395.19/1395.76	c 1395s |      19 |   702309 |   488782 |    25925     40 |      911 |      880
1397.39/1397.96	c 1397s |      19 |   702898 |   489282 |    25925     40 |      911 |      880
1399.79/1400.34	c 1400s |      19 |   703614 |   489882 |    25925     40 |      911 |      880
1402.28/1402.82	c 1402s |      19 |   704315 |   490482 |    25925     40 |      911 |      880
1404.58/1405.13	c 1404s |      19 |   705105 |   491082 |    25925     40 |      911 |      880
1406.68/1407.23	c 1406s |      19 |   706047 |   491782 |    25925     40 |      911 |      880
1408.69/1409.30	c 1409s |      19 |   706795 |   492382 |    25925     40 |      911 |      880
1411.18/1411.79	c 1411s |      19 |   707512 |   492982 |    25925     41 |      911 |      880
1413.48/1414.04	c 1413s |      19 |   708561 |   493882 |    25925     41 |      911 |      880
1415.58/1416.19	c 1415s |      19 |   709677 |   494782 |    25925     41 |      911 |      880
1417.78/1418.39	c 1418s |      19 |   710676 |   495582 |    25925     41 |      911 |      880
1419.88/1420.47	c 1420s |      19 |   711630 |   496382 |    25925     41 |      911 |      880
1421.99/1422.57	c 1422s |      19 |   712563 |   497182 |    25925     41 |      911 |      880
1424.19/1424.74	c 1424s |      19 |   713565 |   497982 |    25925     41 |      911 |      880
1426.58/1427.10	c 1426s |      19 |   714498 |   498782 |    25925     41 |      911 |      880
1428.59/1429.12	c 1428s |      19 |   715367 |   499482 |    25925     41 |      911 |      880
1430.69/1431.29	c 1431s |      19 |   716392 |   500282 |    25925     41 |      911 |      880
1432.89/1433.44	c 1433s |      19 |   717261 |   500982 |    25925     41 |      911 |      880
1435.09/1435.65	c 1435s |      19 |   718150 |   501682 |    25925     41 |      911 |      880
1437.18/1437.79	c 1437s |      19 |   718967 |   502382 |    25925     41 |      911 |      880
1439.49/1440.03	c 1439s |      19 |   719649 |   502982 |    25925     41 |      911 |      880
1441.79/1442.39	c 1442s |      19 |   720556 |   503682 |    25925     41 |      911 |      880
1444.08/1444.68	c 1444s |      19 |   721298 |   504282 |    25925     41 |      911 |      880
1446.28/1446.87	c 1446s |      19 |   722034 |   504882 |    25925     41 |      911 |      880
1448.29/1448.88	c 1448s |      19 |   722591 |   505382 |    25925     41 |      911 |      880
1450.49/1451.04	c 1450s |      19 |   723174 |   505882 |    25925     41 |      911 |      880
1452.69/1453.23	c 1452s |      19 |   723876 |   506482 |    25925     41 |      911 |      880
1454.99/1455.51	c 1455s |      19 |   724573 |   507082 |    25925     41 |      911 |      880
1457.19/1457.72	c 1457s |      19 |   725183 |   507582 |    25925     42 |      911 |      880
1459.39/1459.98	c 1459s |      19 |   726112 |   508382 |    25925     42 |      911 |      880
1461.58/1462.16	c 1461s |      19 |   727168 |   509182 |    25925     42 |      911 |      880
1463.57/1464.20	c 1463s |      19 |   727994 |   509882 |    25925     42 |      911 |      880
1465.77/1466.35	c 1466s |      19 |   729109 |   510782 |    25925     42 |      911 |      880
1467.97/1468.52	c 1468s |      19 |   730088 |   511582 |    25925     42 |      911 |      880
1470.07/1470.62	c 1470s |      19 |   730952 |   512282 |    25925     42 |      911 |      880
1472.07/1472.62	c 1472s |      19 |   731696 |   512882 |    25925     42 |      911 |      880
1474.17/1474.75	c 1474s |      19 |   732713 |   513682 |    25925     42 |      911 |      880
1476.37/1476.91	c 1476s |      19 |   733629 |   514382 |    25925     42 |      911 |      880
1478.47/1479.05	c 1478s |      19 |   734861 |   515282 |    25925     42 |      911 |      880
1480.47/1481.07	c 1480s |      19 |   735917 |   516082 |    25925     42 |      911 |      880
1482.67/1483.24	c 1482s |      19 |   736993 |   516882 |    25925     42 |      911 |      880
1484.87/1485.46	c 1485s |      19 |   737867 |   517582 |    25925     42 |      911 |      880
1486.97/1487.50	c 1487s |      19 |   738574 |   518182 |    25925     42 |      911 |      880
1488.98/1489.60	c 1489s |      19 |   739447 |   518882 |    25925     42 |      911 |      880
1491.18/1491.75	c 1491s |      19 |   740324 |   519582 |    25925     42 |      911 |      880
1493.38/1493.99	c 1493s |      19 |   741217 |   520282 |    25925     42 |      911 |      880
1495.47/1496.07	c 1495s |      19 |   741920 |   520882 |    25925     42 |      911 |      880
1497.57/1498.14	c 1497s |      19 |   742636 |   521482 |    25925     42 |      911 |      880
1499.87/1500.49	c 1500s |      19 |   743224 |   521982 |    25925     43 |      911 |      880
1501.97/1502.58	c 1502s |      19 |   744061 |   522682 |    25925     43 |      911 |      880
1504.27/1504.81	c 1504s |      19 |   744969 |   523482 |    25925     43 |      911 |      880
1506.27/1506.83	c 1506s |      19 |   745944 |   524282 |    25925     43 |      911 |      880
1508.47/1509.00	c 1508s |      19 |   746746 |   524982 |    25925     43 |      911 |      880
1510.77/1511.33	c 1511s |      19 |   747557 |   525682 |    25925     43 |      911 |      880
1512.87/1513.43	c 1513s |      19 |   748243 |   526282 |    25925     43 |      911 |      880
1514.87/1515.49	c 1515s |      19 |   748966 |   526882 |    25925     43 |      911 |      880
1517.17/1517.79	c 1517s |      19 |   749784 |   527582 |    25925     43 |      911 |      880
1519.37/1519.93	c 1519s |      19 |   750481 |   528182 |    25925     43 |      911 |      880
1521.46/1522.00	c 1521s |      19 |   751199 |   528782 |    25925     43 |      911 |      880
1523.66/1524.29	c 1524s |      19 |   752207 |   529582 |    25925     43 |      911 |      880
1525.76/1526.30	c 1526s |      19 |   753133 |   530282 |    25925     43 |      911 |      880
1528.06/1528.63	c 1528s |      19 |   753989 |   530982 |    25925     43 |      911 |      880
1530.06/1530.69	c 1530s |      19 |   754696 |   531582 |    25925     43 |      911 |      880
1532.36/1532.97	c 1532s |      19 |   755583 |   532282 |    25925     43 |      911 |      880
1534.56/1535.18	c 1534s |      19 |   756317 |   532882 |    25925     43 |      911 |      880
1536.86/1537.41	c 1537s |      19 |   757015 |   533482 |    25925     43 |      911 |      880
1539.06/1539.63	c 1539s |      19 |   757754 |   534082 |    25925     43 |      911 |      880
1541.16/1541.75	c 1541s |      19 |   758331 |   534582 |    25925     43 |      911 |      880
1543.26/1543.81	c 1543s |      19 |   758929 |   535082 |    25925     43 |      911 |      880
1545.46/1546.01	c 1545s |      19 |   759624 |   535682 |    25925     43 |      911 |      880
1547.46/1548.05	c 1547s |      19 |   760192 |   536182 |    25925     43 |      911 |      880
1549.66/1550.26	c 1550s |      19 |   760681 |   536582 |    25925     44 |      911 |      880
1551.77/1552.40	c 1552s |      19 |   761805 |   537482 |    25925     44 |      911 |      880
1553.87/1554.50	c 1554s |      19 |   762657 |   538182 |    25925     44 |      911 |      880
1556.17/1556.78	c 1556s |      19 |   763486 |   538882 |    25925     44 |      911 |      880
1558.27/1558.83	c 1558s |      19 |   764174 |   539482 |    25925     44 |      911 |      880
1560.47/1561.06	c 1560s |      19 |   765001 |   540182 |    25925     44 |      911 |      880
1562.67/1563.27	c 1563s |      19 |   765791 |   540882 |    25925     44 |      911 |      880
1564.76/1565.35	c 1565s |      19 |   766498 |   541482 |    25925     44 |      911 |      880
1567.07/1567.66	c 1567s |      19 |   767333 |   542182 |    25925     44 |      911 |      880
1569.37/1569.95	c 1569s |      19 |   768153 |   542882 |    25925     44 |      911 |      880
1571.57/1572.17	c 1571s |      19 |   768866 |   543482 |    25925     44 |      911 |      880
1573.56/1574.20	c 1573s |      19 |   769410 |   543982 |    25925     44 |      911 |      880
1575.97/1576.55	c 1576s |      19 |   770095 |   544582 |    25925     44 |      911 |      880
1578.26/1578.84	c 1578s |      19 |   770783 |   545182 |    25925     44 |      911 |      880
1580.36/1580.94	c 1580s |      19 |   771340 |   545682 |    25925     44 |      911 |      880
1582.35/1583.00	c 1582s |      19 |   772244 |   546382 |    25925     44 |      911 |      880
1584.66/1585.29	c 1585s |      19 |   773153 |   547082 |    25925     44 |      911 |      880
1586.96/1587.55	c 1587s |      19 |   773869 |   547682 |    25925     44 |      911 |      880
1589.35/1589.94	c 1589s |      19 |   774550 |   548282 |    25925     44 |      911 |      880
1591.65/1592.28	c 1592s |      19 |   775240 |   548882 |    25925     44 |      911 |      880
1594.05/1594.60	c 1594s |      19 |   775971 |   549482 |    25925     44 |      911 |      880
1596.25/1596.85	c 1596s |      19 |   776711 |   550082 |    25925     44 |      911 |      880
1598.25/1598.87	c 1598s |      19 |   777324 |   550582 |    25925     44 |      911 |      880
1601.05/1601.60	c 1601s |      19 |   778065 |   551182 |    25925     45 |      911 |      880
1603.05/1603.69	c 1603s |      19 |   779088 |   551982 |    25925     45 |      911 |      880
1605.35/1605.90	c 1605s |      19 |   780046 |   552782 |    25925     45 |      911 |      880
1607.55/1608.17	c 1607s |      19 |   780918 |   553482 |    25925     45 |      911 |      880
1609.85/1610.41	c 1610s |      19 |   781754 |   554182 |    25925     45 |      911 |      880
1611.85/1612.42	c 1612s |      19 |   782442 |   554782 |    25925     45 |      911 |      880
1614.05/1614.69	c 1614s |      19 |   783286 |   555482 |    25925     45 |      911 |      880
1616.35/1616.95	c 1616s |      19 |   784146 |   556182 |    25925     45 |      911 |      880
1618.45/1619.02	c 1618s |      19 |   784841 |   556782 |    25925     45 |      911 |      880
1620.55/1621.11	c 1620s |      19 |   785417 |   557282 |    25925     45 |      911 |      880
1622.75/1623.32	c 1623s |      19 |   785978 |   557782 |    25925     45 |      911 |      880
1625.15/1625.76	c 1625s |      19 |   786798 |   558482 |    25925     45 |      911 |      880
1627.45/1628.06	c 1627s |      19 |   787488 |   559082 |    25925     45 |      911 |      880
1629.55/1630.17	c 1629s |      19 |   788042 |   559582 |    25925     45 |      911 |      880
1631.75/1632.34	c 1632s |      19 |   788598 |   560082 |    25925     45 |      911 |      880
1633.85/1634.50	c 1634s |      19 |   789158 |   560582 |    25925     45 |      911 |      880
1636.15/1636.72	c 1636s |      19 |   789759 |   561082 |    25925     45 |      911 |      880
1638.35/1638.96	c 1638s |      19 |   790478 |   561682 |    25925     45 |      911 |      880
1640.54/1641.10	c 1640s |      19 |   791145 |   562282 |    25925     45 |      911 |      880
1642.64/1643.22	c 1642s |      19 |   791839 |   562882 |    25925     45 |      911 |      880
1644.74/1645.39	c 1645s |      19 |   792428 |   563382 |    25925     45 |      911 |      880
1647.24/1647.84	c 1647s |      19 |   793004 |   563882 |    25925     45 |      911 |      880
1649.44/1650.01	c 1649s |      19 |   793596 |   564382 |    25925     45 |      911 |      880
1651.54/1652.10	c 1651s |      19 |   794188 |   564882 |    25925     45 |      911 |      880
1653.54/1654.12	c 1653s |      19 |   794643 |   565282 |    25925     45 |      911 |      880
1656.15/1656.73	c 1656s |      19 |   795077 |   565682 |    25925     46 |      911 |      880
1658.35/1658.91	c 1658s |      19 |   795745 |   566282 |    25925     46 |      911 |      880
1660.44/1661.02	c 1660s |      19 |   796558 |   566982 |    25925     46 |      911 |      880
1662.75/1663.33	c 1663s |      19 |   797371 |   567682 |    25925     46 |      911 |      880
1665.05/1665.67	c 1665s |      19 |   798043 |   568282 |    25925     46 |      911 |      880
1667.34/1667.93	c 1667s |      19 |   798719 |   568882 |    25925     46 |      911 |      880
1669.45/1670.04	c 1669s |      19 |   799404 |   569482 |    25925     46 |      911 |      880
1671.44/1672.06	c 1671s |      19 |   800115 |   570082 |    25925     46 |      911 |      880
1673.75/1674.39	c 1674s |      19 |   800949 |   570782 |    25925     46 |      911 |      880
1675.95/1676.51	c 1676s |      19 |   801493 |   571282 |    25925     46 |      911 |      880
1678.15/1678.76	c 1678s |      19 |   802163 |   571882 |    25925     46 |      911 |      880
1680.24/1680.89	c 1680s |      19 |   802846 |   572482 |    25925     46 |      911 |      880
1682.44/1683.07	c 1682s |      19 |   803598 |   573082 |    25925     46 |      911 |      880
1684.75/1685.37	c 1685s |      19 |   804442 |   573782 |    25925     46 |      911 |      880
1687.14/1687.70	c 1687s |      19 |   805163 |   574382 |    25925     46 |      911 |      880
1689.25/1689.85	c 1689s |      19 |   805899 |   574982 |    25925     46 |      911 |      880
1691.45/1692.03	c 1691s |      19 |   806595 |   575582 |    25925     46 |      911 |      880
1693.74/1694.35	c 1694s |      19 |   807296 |   576182 |    25925     46 |      911 |      880
1696.04/1696.60	c 1696s |      19 |   807986 |   576782 |    25925     46 |      911 |      880
1698.23/1698.87	c 1698s |      19 |   808712 |   577382 |    25925     46 |      911 |      880
1700.33/1700.94	c 1700s |      19 |   809280 |   577882 |    25925     46 |      911 |      880
1702.34/1702.99	c 1702s |      19 |   809847 |   578382 |    25925     46 |      911 |      880
1704.54/1705.17	c 1704s |      19 |   810452 |   578882 |    25925     46 |      911 |      880
1706.84/1707.46	c 1707s |      19 |   811166 |   579482 |    25925     46 |      911 |      880
1709.04/1709.66	c 1709s |      19 |   811742 |   579982 |    25925     46 |      911 |      880
1711.14/1711.72	c 1711s |      19 |   812081 |   580282 |    25925     47 |      911 |      880
1713.23/1713.84	c 1713s |      19 |   812794 |   580882 |    25925     47 |      911 |      880
1715.33/1715.94	c 1715s |      19 |   813643 |   581582 |    25925     47 |      911 |      880
1717.53/1718.14	c 1717s |      19 |   814437 |   582282 |    25925     47 |      911 |      880
1719.83/1720.42	c 1720s |      19 |   815248 |   582982 |    25925     47 |      911 |      880
1722.03/1722.64	c 1722s |      19 |   816096 |   583682 |    25925     47 |      911 |      880
1724.23/1724.83	c 1724s |      19 |   816812 |   584282 |    25925     47 |      911 |      880
1726.54/1727.17	c 1726s |      19 |   817498 |   584882 |    25925     47 |      911 |      880
1728.93/1729.54	c 1729s |      19 |   818206 |   585482 |    25925     47 |      911 |      880
1731.23/1731.89	c 1731s |      19 |   818889 |   586082 |    25925     47 |      911 |      880
1733.43/1734.06	c 1733s |      19 |   819563 |   586682 |    25925     47 |      911 |      880
1735.63/1736.21	c 1735s |      19 |   820284 |   587282 |    25925     47 |      911 |      880
1737.83/1738.49	c 1738s |      19 |   820977 |   587882 |    25925     47 |      911 |      880
1740.13/1740.71	c 1740s |      19 |   821656 |   588482 |    25925     47 |      911 |      880
1742.13/1742.76	c 1742s |      19 |   822213 |   588982 |    25925     47 |      911 |      880
1744.53/1745.14	c 1744s |      19 |   822927 |   589582 |    25925     47 |      911 |      880
1746.93/1747.52	c 1747s |      19 |   823611 |   590182 |    25925     47 |      911 |      880
1749.03/1749.63	c 1749s |      19 |   824150 |   590682 |    25925     47 |      911 |      880
1751.22/1751.81	c 1751s |      19 |   824726 |   591182 |    25925     47 |      911 |      880
1753.52/1754.17	c 1753s |      19 |   825299 |   591682 |    25925     47 |      911 |      880
1756.02/1756.66	c 1756s |      19 |   825857 |   592182 |    25925     47 |      911 |      880
1758.43/1759.10	c 1758s |      19 |   826406 |   592682 |    25925     47 |      911 |      880
1760.52/1761.12	c 1760s |      19 |   826857 |   593082 |    25925     47 |      911 |      880
1762.83/1763.41	c 1763s |      19 |   827414 |   593582 |    25925     47 |      911 |      880
1765.22/1765.81	c 1765s |      19 |   827959 |   594082 |    25925     47 |      911 |      880
1767.62/1768.21	c 1767s |      19 |   828527 |   594582 |    25925     47 |      911 |      880
1769.62/1770.27	c 1770s |      19 |   828977 |   594982 |    25925     48 |      911 |      880
1772.02/1772.65	c 1772s |      19 |   829634 |   595582 |    25925     48 |      911 |      880
1774.22/1774.82	c 1774s |      19 |   830296 |   596182 |    25925     48 |      911 |      880
1776.42/1777.07	c 1776s |      19 |   831004 |   596782 |    25925     48 |      911 |      880
1778.52/1779.11	c 1778s |      19 |   831718 |   597382 |    25925     48 |      911 |      880
1780.72/1781.30	c 1781s |      19 |   832405 |   597982 |    25925     48 |      911 |      880
1782.92/1783.54	c 1783s |      19 |   833102 |   598582 |    25925     48 |      911 |      880
1785.32/1785.91	c 1785s |      19 |   833775 |   599182 |    25925     48 |      911 |      880
1787.32/1787.94	c 1787s |      19 |   834348 |   599682 |    25925     48 |      911 |      880
1789.42/1790.03	c 1789s |      19 |   834897 |   600182 |    25925     48 |      911 |      880
1791.72/1792.32	c 1792s |      19 |   835447 |   600682 |    25925     48 |      911 |      880
1793.92/1794.52	c 1794s |      19 |   836035 |   601182 |    25925     48 |      911 |      880
1796.12/1796.70	c 1796s |      19 |   836565 |   601682 |    25925     48 |      911 |      880
1798.52/1799.12	c 1798s |      19 |   837093 |   602182 |    25925     48 |      911 |      880

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

pid=4022
running on 8 cores: 0-3,8-11

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.08 2.04 2.01 3/261 4025
/proc/meminfo: memFree=30813320/32872528 swapFree=7556/7556
[pid=4025] ppid=4022 vsize=1044924 CPUtime=0 cores=0-3,8-11
/proc/4025/stat : 4025 (toysat) R 4022 4025 32495 0 -1 4202496 3956 0 0 0 0 0 0 0 20 0 4 0 30188266 1070002176 4317 33554432000 4194304 16246674 140733750084704 140733750084128 13880264 0 2 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4025/statm: 261999 4326 441 2943 0 258893 0
[pid=4025/tid=4026] ppid=4022 vsize=1100220 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4026/stat : 4026 (toysat) S 4022 4025 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30188266 1126625280 4530 33554432000 4194304 16246674 140733750084704 140014804511984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4025/tid=4027] ppid=4022 vsize=1104316 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4027/stat : 4027 (toysat) S 4022 4025 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30188266 1130819584 4549 33554432000 4194304 16246674 140733750084704 140014725868784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4025/tid=4028] ppid=4022 vsize=1109436 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4028/stat : 4028 (toysat) S 4022 4025 32495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30188266 1136062464 4566 33554432000 4194304 16246674 140733750084704 140014715395248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0

[startup+0.100166 s]
/proc/loadavg: 2.08 2.04 2.01 3/261 4025
/proc/meminfo: memFree=30813320/32872528 swapFree=7556/7556
[pid=4025] ppid=4022 vsize=1220164 CPUtime=0.09 cores=0-3,8-11
/proc/4025/stat : 4025 (toysat) R 4022 4025 32495 0 -1 4202496 28275 0 0 0 5 4 0 0 20 0 4 0 30188266 1249447936 28573 33554432000 4194304 16246674 140733750084704 140733750084016 4206864 0 2 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4025/statm: 305041 28573 801 2943 0 301935 0
[pid=4025/tid=4026] ppid=4022 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4026/stat : 4026 (toysat) S 4022 4025 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30188266 1249447936 28573 33554432000 4194304 16246674 140733750084704 140014804511984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4025/tid=4027] ppid=4022 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4027/stat : 4027 (toysat) S 4022 4025 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30188266 1249447936 28573 33554432000 4194304 16246674 140733750084704 140014725868784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4025/tid=4028] ppid=4022 vsize=1220164 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4028/stat : 4028 (toysat) S 4022 4025 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30188266 1249447936 28573 33554432000 4194304 16246674 140733750084704 140014715395248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200522 s]
/proc/loadavg: 2.08 2.04 2.01 3/261 4025
/proc/meminfo: memFree=30813320/32872528 swapFree=7556/7556
[pid=4025] ppid=4022 vsize=1301060 CPUtime=0.19 cores=0-3,8-11
/proc/4025/stat : 4025 (toysat) R 4022 4025 32495 0 -1 4202496 48484 0 0 0 12 7 0 0 20 0 4 0 30188266 1332285440 48782 33554432000 4194304 16246674 140733750084704 140733750084016 13193788 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4025/statm: 325265 48782 842 2943 0 322159 0
[pid=4025/tid=4026] ppid=4022 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4026/stat : 4026 (toysat) S 4022 4025 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30188266 1332285440 48782 33554432000 4194304 16246674 140733750084704 140014804511984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4025/tid=4027] ppid=4022 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4027/stat : 4027 (toysat) S 4022 4025 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30188266 1332285440 48782 33554432000 4194304 16246674 140733750084704 140014725868784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4025/tid=4028] ppid=4022 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4028/stat : 4028 (toysat) S 4022 4025 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30188266 1332285440 48782 33554432000 4194304 16246674 140733750084704 140014715395248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1301060

[startup+0.300469 s]
/proc/loadavg: 2.08 2.04 2.01 3/261 4025
/proc/meminfo: memFree=30813320/32872528 swapFree=7556/7556
[pid=4025] ppid=4022 vsize=1301060 CPUtime=0.29 cores=0-3,8-11
/proc/4025/stat : 4025 (toysat) R 4022 4025 32495 0 -1 4202496 50932 0 0 0 22 7 0 0 20 0 4 0 30188266 1332285440 51230 33554432000 4194304 16246674 140733750084704 140733750084016 5677541 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4025/statm: 325265 51236 882 2943 0 322159 0
[pid=4025/tid=4026] ppid=4022 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4026/stat : 4026 (toysat) S 4022 4025 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30188266 1332285440 51240 33554432000 4194304 16246674 140733750084704 140014804511984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4025/tid=4027] ppid=4022 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4027/stat : 4027 (toysat) S 4022 4025 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30188266 1332285440 51249 33554432000 4194304 16246674 140733750084704 140014725868784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4025/tid=4028] ppid=4022 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4028/stat : 4028 (toysat) S 4022 4025 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30188266 1332285440 51253 33554432000 4194304 16246674 140733750084704 140014715395248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1301060

[startup+0.700356 s]
/proc/loadavg: 2.08 2.04 2.01 3/261 4025
/proc/meminfo: memFree=30813320/32872528 swapFree=7556/7556
[pid=4025] ppid=4022 vsize=1301060 CPUtime=0.69 cores=0-3,8-11
/proc/4025/stat : 4025 (toysat) R 4022 4025 32495 0 -1 4202496 99888 0 0 0 55 14 0 0 20 0 4 0 30188266 1332285440 100186 33554432000 4194304 16246674 140733750084704 140733750084016 5712452 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4025/statm: 325265 100192 882 2943 0 322159 0
[pid=4025/tid=4026] ppid=4022 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4026/stat : 4026 (toysat) S 4022 4025 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30188266 1332285440 100201 33554432000 4194304 16246674 140733750084704 140014804511984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4025/tid=4027] ppid=4022 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4027/stat : 4027 (toysat) S 4022 4025 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30188266 1332285440 100209 33554432000 4194304 16246674 140733750084704 140014725868784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4025/tid=4028] ppid=4022 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4028/stat : 4028 (toysat) S 4022 4025 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30188266 1332285440 100215 33554432000 4194304 16246674 140733750084704 140014715395248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1301060

[startup+1.50039 s]
/proc/loadavg: 2.08 2.04 2.01 3/265 4029
/proc/meminfo: memFree=30205980/32872528 swapFree=7556/7556
[pid=4025] ppid=4022 vsize=1301060 CPUtime=1.49 cores=0-3,8-11
/proc/4025/stat : 4025 (toysat) R 4022 4025 32495 0 -1 4202496 201899 0 0 0 122 27 0 0 20 0 4 0 30188266 1332285440 202197 33554432000 4194304 16246674 140733750084704 140733750066624 5602147 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4025/statm: 325265 202200 882 2943 0 322159 0
[pid=4025/tid=4026] ppid=4022 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4026/stat : 4026 (toysat) S 4022 4025 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30188266 1332285440 202202 33554432000 4194304 16246674 140733750084704 140014804511984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4025/tid=4027] ppid=4022 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4027/stat : 4027 (toysat) S 4022 4025 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30188266 1332285440 202205 33554432000 4194304 16246674 140733750084704 140014725868784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4025/tid=4028] ppid=4022 vsize=1301060 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4028/stat : 4028 (toysat) S 4022 4025 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30188266 1332285440 202208 33554432000 4194304 16246674 140733750084704 140014715395248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.1004 s]
/proc/loadavg: 2.08 2.04 2.01 3/265 4029
/proc/meminfo: memFree=29735360/32872528 swapFree=7556/7556
[pid=4025] ppid=4022 vsize=1312324 CPUtime=3.09 cores=0-3,8-11
/proc/4025/stat : 4025 (toysat) R 4022 4025 32495 0 -1 4202496 269174 0 0 0 273 36 0 0 20 0 4 0 30188266 1343819776 269472 33554432000 4194304 16246674 140733750084704 140733750066624 5712672 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4025/statm: 328081 269472 888 2943 0 324975 0
[pid=4025/tid=4026] ppid=4022 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4026/stat : 4026 (toysat) S 4022 4025 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30188266 1343819776 269472 33554432000 4194304 16246674 140733750084704 140014804511984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4025/tid=4027] ppid=4022 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4027/stat : 4027 (toysat) S 4022 4025 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30188266 1343819776 269472 33554432000 4194304 16246674 140733750084704 140014725868784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4025/tid=4028] ppid=4022 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4028/stat : 4028 (toysat) S 4022 4025 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30188266 1343819776 269472 33554432000 4194304 16246674 140733750084704 140014715395248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.30039 s]
/proc/loadavg: 2.08 2.04 2.00 3/265 4029
/proc/meminfo: memFree=29734244/32872528 swapFree=7556/7556
[pid=4025] ppid=4022 vsize=1312324 CPUtime=6.29 cores=0-3,8-11
/proc/4025/stat : 4025 (toysat) R 4022 4025 32495 0 -1 4202496 269267 0 0 0 593 36 0 0 20 0 4 0 30188266 1343819776 269565 33554432000 4194304 16246674 140733750084704 140733750083880 5829313 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4025/statm: 328081 269565 888 2943 0 324975 0
[pid=4025/tid=4026] ppid=4022 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4026/stat : 4026 (toysat) S 4022 4025 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30188266 1343819776 269565 33554432000 4194304 16246674 140733750084704 140014804511984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4025/tid=4027] ppid=4022 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4027/stat : 4027 (toysat) S 4022 4025 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30188266 1343819776 269565 33554432000 4194304 16246674 140733750084704 140014725868784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4025/tid=4028] ppid=4022 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4028/stat : 4028 (toysat) S 4022 4025 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30188266 1343819776 269565 33554432000 4194304 16246674 140733750084704 140014715395248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.07 2.03 2.00 3/265 4029
/proc/meminfo: memFree=29734332/32872528 swapFree=7556/7556
[pid=4025] ppid=4022 vsize=1312324 CPUtime=12.69 cores=0-3,8-11
/proc/4025/stat : 4025 (toysat) R 4022 4025 32495 0 -1 4202496 269269 0 0 0 1233 36 0 0 20 0 4 0 30188266 1343819776 269567 33554432000 4194304 16246674 140733750084704 140733750066624 5823607 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4025/statm: 328081 269567 890 2943 0 324975 0
[pid=4025/tid=4026] ppid=4022 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4026/stat : 4026 (toysat) S 4022 4025 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30188266 1343819776 269567 33554432000 4194304 16246674 140733750084704 140014804511984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4025/tid=4027] ppid=4022 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4027/stat : 4027 (toysat) S 4022 4025 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30188266 1343819776 269567 33554432000 4194304 16246674 140733750084704 140014725868784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4025/tid=4028] ppid=4022 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4028/stat : 4028 (toysat) S 4022 4025 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30188266 1343819776 269567 33554432000 4194304 16246674 140733750084704 140014715395248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5105 s]
/proc/loadavg: 2.05 2.03 2.00 3/265 4029
/proc/meminfo: memFree=29735176/32872528 swapFree=7556/7556
[pid=4025] ppid=4022 vsize=1312324 CPUtime=25.49 cores=0-3,8-11
/proc/4025/stat : 4025 (toysat) R 4022 4025 32495 0 -1 4202496 269272 0 0 0 2513 36 0 0 20 0 4 0 30188266 1343819776 269570 33554432000 4194304 16246674 140733750084704 140733750066624 5712555 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4025/statm: 328081 269570 892 2943 0 324975 0
[pid=4025/tid=4026] ppid=4022 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4026/stat : 4026 (toysat) S 4022 4025 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30188266 1343819776 269570 33554432000 4194304 16246674 140733750084704 140014804511984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4025/tid=4027] ppid=4022 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4027/stat : 4027 (toysat) S 4022 4025 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30188266 1343819776 269570 33554432000 4194304 16246674 140733750084704 140014725868784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4025/tid=4028] ppid=4022 vsize=1312324 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4028/stat : 4028 (toysat) S 4022 4025 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30188266 1343819776 269570 33554432000 4194304 16246674 140733750084704 140014715395248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1312324

[startup+51.1004 s]
/proc/loadavg: 2.09 2.04 2.01 3/265 4029
/proc/meminfo: memFree=29735500/32872528 swapFree=7556/7556
[pid=4025] ppid=4022 vsize=1318468 CPUtime=51.08 cores=0-3,8-11
/proc/4025/stat : 4025 (toysat) R 4022 4025 32495 0 -1 4202496 270693 0 0 0 5072 36 0 0 20 0 4 0 30188266 1350111232 270991 33554432000 4194304 16246674 140733750084704 140733750083880 5711439 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4025/statm: 329617 270991 892 2943 0 326511 0
[pid=4025/tid=4026] ppid=4022 vsize=1318468 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4026/stat : 4026 (toysat) S 4022 4025 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30188266 1350111232 270991 33554432000 4194304 16246674 140733750084704 140014804511984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4025/tid=4027] ppid=4022 vsize=1318468 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4027/stat : 4027 (toysat) S 4022 4025 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30188266 1350111232 270991 33554432000 4194304 16246674 140733750084704 140014725868784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4025/tid=4028] ppid=4022 vsize=1318468 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4028/stat : 4028 (toysat) S 4022 4025 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30188266 1350111232 270991 33554432000 4194304 16246674 140733750084704 140014715395248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1318468

[startup+102.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/265 4030
/proc/meminfo: memFree=29728968/32872528 swapFree=7556/7556
[pid=4025] ppid=4022 vsize=1318468 CPUtime=102.27 cores=0-3,8-11
/proc/4025/stat : 4025 (toysat) R 4022 4025 32495 0 -1 4202496 270808 0 0 0 10191 36 0 0 20 0 4 0 30188266 1350111232 271106 33554432000 4194304 16246674 140733750084704 140733750066624 5546036 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4025/statm: 329617 271106 892 2943 0 326511 0
[pid=4025/tid=4026] ppid=4022 vsize=1318468 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4026/stat : 4026 (toysat) S 4022 4025 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30188266 1350111232 271106 33554432000 4194304 16246674 140733750084704 140014804511984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4025/tid=4027] ppid=4022 vsize=1318468 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4027/stat : 4027 (toysat) S 4022 4025 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30188266 1350111232 271106 33554432000 4194304 16246674 140733750084704 140014725868784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4025/tid=4028] ppid=4022 vsize=1318468 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4028/stat : 4028 (toysat) S 4022 4025 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30188266 1350111232 271106 33554432000 4194304 16246674 140733750084704 140014715395248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1318468


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

/proc/4025/task/4028/stat : 4028 (toysat) S 4022 4025 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30188266 1384714240 279724 33554432000 4194304 16246674 140733750084704 140014715395248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 1352260

[startup+1362.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/265 4110
/proc/meminfo: memFree=29702704/32872528 swapFree=7556/7556
[pid=4025] ppid=4022 vsize=1352260 CPUtime=1361.78 cores=0-3,8-11
/proc/4025/stat : 4025 (toysat) R 4022 4025 32495 0 -1 4202496 279629 0 0 0 136134 44 0 0 20 0 4 0 30188266 1384714240 279724 33554432000 4194304 16246674 140733750084704 140733750066624 6021388 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4025/statm: 338065 279724 893 2943 0 334959 0
[pid=4025/tid=4026] ppid=4022 vsize=1352260 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4026/stat : 4026 (toysat) S 4022 4025 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30188266 1384714240 279724 33554432000 4194304 16246674 140733750084704 140014804511984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4025/tid=4027] ppid=4022 vsize=1352260 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4027/stat : 4027 (toysat) S 4022 4025 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30188266 1384714240 279724 33554432000 4194304 16246674 140733750084704 140014725868784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4025/tid=4028] ppid=4022 vsize=1352260 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4028/stat : 4028 (toysat) S 4022 4025 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30188266 1384714240 279724 33554432000 4194304 16246674 140733750084704 140014715395248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 1352260

[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/265 4111
/proc/meminfo: memFree=29702828/32872528 swapFree=7556/7556
[pid=4025] ppid=4022 vsize=1352260 CPUtime=1421.78 cores=0-3,8-11
/proc/4025/stat : 4025 (toysat) R 4022 4025 32495 0 -1 4202496 279629 0 0 0 142133 45 0 0 20 0 4 0 30188266 1384714240 279724 33554432000 4194304 16246674 140733750084704 140733750066624 5600232 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4025/statm: 338065 279724 893 2943 0 334959 0
[pid=4025/tid=4026] ppid=4022 vsize=1352260 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4026/stat : 4026 (toysat) S 4022 4025 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30188266 1384714240 279724 33554432000 4194304 16246674 140733750084704 140014804511984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4025/tid=4027] ppid=4022 vsize=1352260 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4027/stat : 4027 (toysat) S 4022 4025 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30188266 1384714240 279724 33554432000 4194304 16246674 140733750084704 140014725868784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4025/tid=4028] ppid=4022 vsize=1352260 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4028/stat : 4028 (toysat) S 4022 4025 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30188266 1384714240 279724 33554432000 4194304 16246674 140733750084704 140014715395248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 1352260

[startup+1482.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/265 4113
/proc/meminfo: memFree=29702820/32872528 swapFree=7556/7556
[pid=4025] ppid=4022 vsize=1352260 CPUtime=1481.77 cores=0-3,8-11
/proc/4025/stat : 4025 (toysat) R 4022 4025 32495 0 -1 4202496 279629 0 0 0 148132 45 0 0 20 0 4 0 30188266 1384714240 279724 33554432000 4194304 16246674 140733750084704 140733750066624 5822604 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4025/statm: 338065 279724 893 2943 0 334959 0
[pid=4025/tid=4026] ppid=4022 vsize=1352260 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4026/stat : 4026 (toysat) S 4022 4025 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30188266 1384714240 279724 33554432000 4194304 16246674 140733750084704 140014804511984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4025/tid=4027] ppid=4022 vsize=1352260 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4027/stat : 4027 (toysat) S 4022 4025 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30188266 1384714240 279724 33554432000 4194304 16246674 140733750084704 140014725868784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4025/tid=4028] ppid=4022 vsize=1352260 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4028/stat : 4028 (toysat) S 4022 4025 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30188266 1384714240 279724 33554432000 4194304 16246674 140733750084704 140014715395248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 1352260

[startup+1542.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/266 4117
/proc/meminfo: memFree=29701248/32872528 swapFree=7556/7556
[pid=4025] ppid=4022 vsize=1352260 CPUtime=1541.77 cores=0-3,8-11
/proc/4025/stat : 4025 (toysat) R 4022 4025 32495 0 -1 4202496 279629 0 0 0 154132 45 0 0 20 0 4 0 30188266 1384714240 279724 33554432000 4194304 16246674 140733750084704 140733750066624 5712536 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4025/statm: 338065 279724 893 2943 0 334959 0
[pid=4025/tid=4026] ppid=4022 vsize=1352260 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4026/stat : 4026 (toysat) S 4022 4025 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30188266 1384714240 279724 33554432000 4194304 16246674 140733750084704 140014804511984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4025/tid=4027] ppid=4022 vsize=1352260 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4027/stat : 4027 (toysat) S 4022 4025 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30188266 1384714240 279724 33554432000 4194304 16246674 140733750084704 140014725868784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4025/tid=4028] ppid=4022 vsize=1352260 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4028/stat : 4028 (toysat) S 4022 4025 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30188266 1384714240 279724 33554432000 4194304 16246674 140733750084704 140014715395248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 1352260

[startup+1602.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/265 4118
/proc/meminfo: memFree=29701244/32872528 swapFree=7556/7556
[pid=4025] ppid=4022 vsize=1352260 CPUtime=1601.75 cores=0-3,8-11
/proc/4025/stat : 4025 (toysat) R 4022 4025 32495 0 -1 4202496 279629 0 0 0 160130 45 0 0 20 0 4 0 30188266 1384714240 279724 33554432000 4194304 16246674 140733750084704 140733750066624 12477927 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4025/statm: 338065 279724 893 2943 0 334959 0
[pid=4025/tid=4026] ppid=4022 vsize=1352260 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4026/stat : 4026 (toysat) S 4022 4025 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30188266 1384714240 279724 33554432000 4194304 16246674 140733750084704 140014804511984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4025/tid=4027] ppid=4022 vsize=1352260 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4027/stat : 4027 (toysat) S 4022 4025 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30188266 1384714240 279724 33554432000 4194304 16246674 140733750084704 140014725868784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4025/tid=4028] ppid=4022 vsize=1352260 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4028/stat : 4028 (toysat) S 4022 4025 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30188266 1384714240 279724 33554432000 4194304 16246674 140733750084704 140014715395248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 1352260

[startup+1662.31 s]
/proc/loadavg: 2.11 2.07 2.01 3/265 4119
/proc/meminfo: memFree=29701112/32872528 swapFree=7556/7556
[pid=4025] ppid=4022 vsize=1352260 CPUtime=1661.75 cores=0-3,8-11
/proc/4025/stat : 4025 (toysat) R 4022 4025 32495 0 -1 4202496 279629 0 0 0 166130 45 0 0 20 0 4 0 30188266 1384714240 279724 33554432000 4194304 16246674 140733750084704 140733750066624 5599968 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4025/statm: 338065 279724 893 2943 0 334959 0
[pid=4025/tid=4026] ppid=4022 vsize=1352260 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4026/stat : 4026 (toysat) S 4022 4025 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30188266 1384714240 279724 33554432000 4194304 16246674 140733750084704 140014804511984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4025/tid=4027] ppid=4022 vsize=1352260 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4027/stat : 4027 (toysat) S 4022 4025 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30188266 1384714240 279724 33554432000 4194304 16246674 140733750084704 140014725868784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4025/tid=4028] ppid=4022 vsize=1352260 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4028/stat : 4028 (toysat) S 4022 4025 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30188266 1384714240 279724 33554432000 4194304 16246674 140733750084704 140014715395248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 1352260

[startup+1722.3 s]
/proc/loadavg: 2.15 2.09 2.02 3/265 4120
/proc/meminfo: memFree=29700312/32872528 swapFree=7556/7556
[pid=4025] ppid=4022 vsize=1352260 CPUtime=1721.73 cores=0-3,8-11
/proc/4025/stat : 4025 (toysat) R 4022 4025 32495 0 -1 4202496 279629 0 0 0 172128 45 0 0 20 0 4 0 30188266 1384714240 279724 33554432000 4194304 16246674 140733750084704 140733750083800 5721768 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4025/statm: 338065 279724 893 2943 0 334959 0
[pid=4025/tid=4026] ppid=4022 vsize=1352260 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4026/stat : 4026 (toysat) S 4022 4025 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30188266 1384714240 279724 33554432000 4194304 16246674 140733750084704 140014804511984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4025/tid=4027] ppid=4022 vsize=1352260 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4027/stat : 4027 (toysat) S 4022 4025 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30188266 1384714240 279724 33554432000 4194304 16246674 140733750084704 140014725868784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4025/tid=4028] ppid=4022 vsize=1352260 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4028/stat : 4028 (toysat) S 4022 4025 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30188266 1384714240 279724 33554432000 4194304 16246674 140733750084704 140014715395248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 1352260

[startup+1782.3 s]
/proc/loadavg: 2.24 2.12 2.03 3/265 4122
/proc/meminfo: memFree=29691184/32872528 swapFree=7556/7556
[pid=4025] ppid=4022 vsize=1352260 CPUtime=1781.72 cores=0-3,8-11
/proc/4025/stat : 4025 (toysat) R 4022 4025 32495 0 -1 4202496 279629 0 0 0 178127 45 0 0 20 0 4 0 30188266 1384714240 279724 33554432000 4194304 16246674 140733750084704 140733750066624 5711888 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4025/statm: 338065 279724 893 2943 0 334959 0
[pid=4025/tid=4026] ppid=4022 vsize=1352260 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4026/stat : 4026 (toysat) S 4022 4025 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30188266 1384714240 279724 33554432000 4194304 16246674 140733750084704 140014804511984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4025/tid=4027] ppid=4022 vsize=1352260 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4027/stat : 4027 (toysat) S 4022 4025 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30188266 1384714240 279724 33554432000 4194304 16246674 140733750084704 140014725868784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4025/tid=4028] ppid=4022 vsize=1352260 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4028/stat : 4028 (toysat) S 4022 4025 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30188266 1384714240 279724 33554432000 4194304 16246674 140733750084704 140014715395248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 1352260



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.17 2.11 2.03 3/265 4122
/proc/meminfo: memFree=29691332/32872528 swapFree=7556/7556
[pid=4025] ppid=4022 vsize=1352260 CPUtime=1800.02 cores=0-3,8-11
/proc/4025/stat : 4025 (toysat) R 4022 4025 32495 0 -1 4202496 279629 0 0 0 179957 45 0 0 20 0 4 0 30188266 1384714240 279724 33554432000 4194304 16246674 140733750084704 140733750066624 5546098 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4025/statm: 338065 279724 893 2943 0 334959 0
[pid=4025/tid=4026] ppid=4022 vsize=1352260 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4026/stat : 4026 (toysat) S 4022 4025 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30188266 1384714240 279724 33554432000 4194304 16246674 140733750084704 140014804511984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4025/tid=4027] ppid=4022 vsize=1352260 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4027/stat : 4027 (toysat) S 4022 4025 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30188266 1384714240 279724 33554432000 4194304 16246674 140733750084704 140014725868784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4025/tid=4028] ppid=4022 vsize=1352260 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4028/stat : 4028 (toysat) S 4022 4025 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30188266 1384714240 279724 33554432000 4194304 16246674 140733750084704 140014715395248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1352260

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

[startup+1800.6 s]
/proc/loadavg: 2.17 2.11 2.03 3/265 4122
/proc/meminfo: memFree=29691332/32872528 swapFree=7556/7556
[pid=4025] ppid=4022 vsize=1352260 CPUtime=1800.02 cores=0-3,8-11
/proc/4025/stat : 4025 (toysat) R 4022 4025 32495 0 -1 4202496 279629 0 0 0 179957 45 0 0 20 0 4 0 30188266 1384714240 279724 33554432000 4194304 16246674 140733750084704 140733750066624 5546098 0 0 0 34082818 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/4025/statm: 338065 279724 893 2943 0 334959 0
[pid=4025/tid=4026] ppid=4022 vsize=1352260 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4026/stat : 4026 (toysat) S 4022 4025 32495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30188266 1384714240 279724 33554432000 4194304 16246674 140733750084704 140014804511984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 8 0 0 0 0 0
[pid=4025/tid=4027] ppid=4022 vsize=1352260 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4027/stat : 4027 (toysat) S 4022 4025 32495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 30188266 1384714240 279724 33554432000 4194304 16246674 140733750084704 140014725868784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 9 0 0 0 0 0
[pid=4025/tid=4028] ppid=4022 vsize=1352260 CPUtime=0 cores=0-3,8-11
/proc/4025/task/4028/stat : 4028 (toysat) S 4022 4025 32495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30188266 1384714240 279724 33554432000 4194304 16246674 140733750084704 140014715395248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1352260

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.03
CPU user time (s): 1799.57
CPU system time (s): 0.45993
CPU usage (%): 99.968
Max. virtual memory (cumulated for all children) (KiB): 1352260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.45993
maximum resident set size= 1118896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 279629
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= 475
involuntary context switches= 1948

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.99678 second user time and 10.4944 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-26 22:05:01
IDJOB=4117245
IDBENCH=109571
IDSOLVER=2542
FILE ID=node132/4117245-1466971501
RUNJOBID= node132-1466939688-32511
PBS_JOBID= 19976333
Free space on /tmp= 71512 MiB

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

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

MD5SUM BENCH= 3c97ccde6535b8dde3e19a211053aafb
RANDOM SEED=1796622438

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30813328 kB
Buffers:           53588 kB
Cached:           186292 kB
SwapCached:         1780 kB
Active:          1166432 kB
Inactive:         175316 kB
Active(anon):    1102876 kB
Inactive(anon):     1864 kB
Active(file):      63556 kB
Inactive(file):   173452 kB
Unevictable:        7556 kB
Mlocked:            7556 kB
SwapTotal:      67108856 kB
SwapFree:       67098640 kB
Dirty:             16980 kB
Writeback:             0 kB
AnonPages:       1110868 kB
Mapped:            10776 kB
Shmem:                 0 kB
Slab:             571548 kB
SReclaimable:      12076 kB
SUnreclaim:       559472 kB
KernelStack:        2248 kB
PageTables:         6932 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1253484 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:    622592 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= 71496 MiB
End job on node132 at 2016-06-26 22:35:02