Trace number 4122506

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

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-fixed-bandwidth-71.cnf.gz-extracted.pb.metafix.opb
MD5SUMc95076bfb71f1304e795aabd7944e26b
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.010997
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables285
Total number of constraints284
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)284
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint5
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 8
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-30T21:58:54+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-4122506-1467316734.opb"]
0.00/0.01	c use --random-gen="2770107302 1575616923 58259060 4270118633 580468140 3292864127 1050470779 1216276008 3365428273 3180864444 1413614381 810088302 2146933888 1255210175 2079832702 958466375 1020331276 3334983217 946149231 335461334 3032380828 3589992257 2845381261 91469954 2166371833 241805967 3613603848 3045144252 1338253935 28076788 3246950994 1797275159 3304190778 1719246516 550741686 4285196245 2433492543 2530019773 3258814412 989649583 3006128313 2359105945 2708555304 2788752250 363018326 1885409912 1964529908 2451468368 976595808 2841579372 780984819 4062932253 1880204166 4015762367 498531372 834917502 2830727279 1012327714 1508870027 3008876396 2432121580 4208524323 624423095 2770113360 3146376777 3820530422 337365449 4180384653 791608734 1969273042 4072344256 633347357 864743018 2471005063 250856181 2785267721 2578585194 80825498 3462942958 3604707094 260259281 1156098053 477433629 295116652 831998187 3713180567 3566552115 2468317569 3067259273 355688694 3759027330 4291972651 2472192500 1657071148 3757797404 790011230 258532506 756366791 2250855213 4234572809 3065143677 3707181396 2250269778 4232262789 2467699656 1292626007 2498353654 1483325251 4114939912 302127040 3466282253 3343541615 3140055423 2656425002 142889018 439221172 3974538302 3099595957 1533291899 2364656300 599881010 2819385322 559414054 2824981155 953182768 1967559024 850367354 885380356 3690364173 2139189948 3270398822 3271933190 3698341787 2657732428 2389449219 578253225 2144857476 895969580 3255107003 264054646 1526405744 2309723928 655614538 2579693628 4192077283 1798728634 4129392201 2198925798 2412954741 1331571594 1750767820 1315914281 1709776158 2876877521 4197643945 3278203787 2898630389 3281761713 1950608376 112763319 1201918949 3400358462 1436427513 1702234568 2997775908 1351429601 2499807034 1806323345 3585494153 3064971611 2262758689 2245238895 2481430374 4202806506 1821506072 1620858040 85822807 2673602187 3339378179 3402737046 3151256790 904099930 2843768259 2602694679 978218498 588741202 3381776926 2142654755 353948308 1206569086 732371555 2990437527 1212433158 2108903437 1900433112 3023262967 1723199092 367211713 982953438 467570999 3250397453 1584543730 1553168536 874978313 2687989760 797820788 1579354615 3880224155 2894834342 2446457168 2295536440 2162086958 1151251816 421761867 3386068997 612747656 1307303236 3891557123 4065145408 212550515 3803669115 3452233982 111049776 3304892224 305572921 2281010290 3928976931 3063125029 2578353801 1198595846 2788225729 4001804806 1480486949 2327349569 2766996929 128921013 3966781116 1695689232 313391164 901385676 3293981909 3436943587 697897047 2733958663 1129917331 170991666 1156288865 672110083 3416438726 4059039053 2270108912 1243317947 1604435107 4264015419 159414883 3496219730 255 362436" option to reproduce the execution
0.00/0.01	c #vars 285
0.00/0.01	c #constraints 284
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      189      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      195 |      100 |      189      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      476 |      250 |      208      0 |        0 |        0
0.00/0.06	c  0.0s |       3 |      908 |      475 |      229      2 |        0 |        0
0.09/0.10	c  0.1s |       4 |     1391 |      813 |      252      4 |        0 |        0
0.09/0.15	c  0.1s |       5 |     2115 |     1320 |      278      5 |        0 |        0
0.19/0.24	c  0.2s |       6 |     3180 |     2081 |      337      8 |        0 |        0
0.29/0.37	c  0.3s |       7 |     4754 |     3223 |      371     12 |        0 |        0
0.49/0.54	c  0.5s |       8 |     7060 |     4936 |      409     19 |        0 |        0
0.79/0.85	c  0.8s |       9 |    10598 |     7506 |      450     28 |        0 |        0
1.20/1.24	c  1.2s |      10 |    15910 |    11361 |      496     40 |        0 |        0
1.69/1.71	c  1.7s |      11 |    23336 |    17144 |      546     57 |        0 |        0
2.39/2.47	c  2.5s |      12 |    35220 |    25819 |      601     81 |        0 |        0
3.49/3.57	c  3.6s |      13 |    52575 |    38832 |      662    114 |        0 |        0
5.19/5.29	c  5.3s |      14 |    79286 |    58352 |      729    163 |        0 |        0
7.28/7.30	c  7.3s |      14 |   108545 |    80452 |      729    212 |        0 |        0
7.88/7.94	c  7.9s |      15 |   118289 |    87632 |      802    228 |        0 |        0
9.89/9.96	c  9.9s |      15 |   142949 |   107132 |      802    269 |        0 |        0
11.89/11.96	c 11.9s |      15 |   171654 |   128732 |      802    314 |        0 |        0
12.20/12.21	c 12.2s |      16 |   175295 |   131552 |      883    320 |        0 |        0
14.19/14.21	c 14.2s |      16 |   199780 |   150752 |      883    358 |        0 |        0
16.19/16.22	c 16.2s |      16 |   225836 |   170452 |      883    396 |        0 |        0
18.19/18.22	c 18.2s |      16 |   253847 |   191452 |      883    437 |        0 |        0
18.70/18.78	c 18.8s |      17 |   261768 |   197432 |      972    448 |        0 |        0
20.69/20.78	c 20.8s |      17 |   287779 |   217732 |      972    484 |        0 |        0
22.69/22.79	c 22.8s |      17 |   316150 |   239232 |      972    523 |        0 |        0
24.69/24.79	c 24.8s |      17 |   340842 |   258132 |      972    556 |        0 |        0
26.79/26.80	c 26.8s |      17 |   368073 |   278332 |      972    593 |        0 |        0
28.49/28.57	c 28.5s |      18 |   391866 |   296252 |     1070    624 |        0 |        0
30.49/30.57	c 30.6s |      18 |   420922 |   317152 |     1070    659 |        0 |        0
32.49/32.58	c 32.6s |      18 |   447776 |   337052 |     1070    691 |        0 |        0
34.49/34.59	c 34.6s |      18 |   473985 |   356752 |     1070    724 |        0 |        0
36.49/36.59	c 36.6s |      18 |   501041 |   376952 |     1070    757 |        0 |        0
38.49/38.60	c 38.6s |      18 |   526560 |   396252 |     1070    789 |        0 |        0
40.58/40.60	c 40.6s |      18 |   554056 |   416352 |     1070    822 |        0 |        0
42.58/42.60	c 42.6s |      18 |   579960 |   435852 |     1070    854 |        0 |        0
43.38/43.46	c 43.4s |      19 |   591174 |   444482 |     1177    868 |        0 |        0
45.38/45.46	c 45.4s |      19 |   613449 |   462282 |     1177    894 |        0 |        0
47.39/47.47	c 47.5s |      19 |   639454 |   481382 |     1177    923 |        0 |        0
49.38/49.48	c 49.5s |      19 |   665102 |   500382 |     1177    952 |        0 |        0
51.38/51.49	c 51.5s |      19 |   689048 |   518482 |     1177    979 |        0 |        0
53.48/53.51	c 53.5s |      19 |   712589 |   536482 |     1177   1006 |        0 |        0
55.48/55.51	c 55.5s |      19 |   735403 |   553682 |     1177   1031 |        0 |        0
57.48/57.51	c 57.5s |      19 |   758626 |   571482 |     1177   1058 |        0 |        0
59.49/59.51	c 59.5s |      19 |   783394 |   589882 |     1177   1086 |        0 |        0
61.48/61.52	c 61.5s |      19 |   806550 |   607582 |     1177   1113 |        0 |        0
63.49/63.53	c 63.5s |      19 |   831932 |   625982 |     1177   1141 |        0 |        0
65.48/65.54	c 65.5s |      19 |   857949 |   644882 |     1177   1169 |        0 |        0
67.48/67.55	c 67.5s |      19 |   883621 |   663782 |     1295   1197 |        0 |        0
67.78/67.88	c 67.9s |      20 |   887522 |   666827 |     1295   1201 |        0 |        0
69.78/69.89	c 69.9s |      20 |   909513 |   683827 |     1295   1225 |        0 |        0
71.88/71.90	c 71.9s |      20 |   933246 |   701927 |     1295   1249 |        0 |        0
73.88/73.91	c 73.9s |      20 |   957470 |   720127 |     1295   1274 |        0 |        0
75.89/75.91	c 75.9s |      20 |   982537 |   738627 |     1295   1300 |        0 |        0
77.88/77.92	c 77.9s |      20 |  1005630 |   756227 |     1295   1324 |        0 |        0
79.88/79.92	c 79.9s |      20 |  1028037 |   773127 |     1295   1347 |        0 |        0
81.88/81.92	c 81.9s |      20 |  1049600 |   790027 |     1295   1370 |        0 |        0
83.88/83.93	c 83.9s |      20 |  1074237 |   808327 |     1295   1396 |        0 |        0
85.89/85.94	c 85.9s |      20 |  1098013 |   826427 |     1295   1421 |        0 |        0
87.88/87.94	c 87.9s |      20 |  1121139 |   844327 |     1295   1445 |        0 |        0
89.88/89.95	c 89.9s |      20 |  1145411 |   862227 |     1295   1470 |        0 |        0
91.88/91.96	c 91.9s |      20 |  1170532 |   880727 |     1295   1495 |        0 |        0
93.88/93.97	c 94.0s |      20 |  1194478 |   899127 |     1295   1521 |        0 |        0
95.88/95.97	c 96.0s |      20 |  1217122 |   916727 |     1295   1545 |        0 |        0
97.88/97.98	c 98.0s |      20 |  1240704 |   934727 |     1295   1570 |        0 |        0
99.87/99.98	c 100.0s |      20 |  1263625 |   952427 |     1295   1595 |        0 |        0
101.87/101.99	c  101s |      20 |  1286465 |   969927 |     1295   1619 |        0 |        0
103.87/103.99	c  103s |      20 |  1310629 |   987827 |     1295   1644 |        0 |        0
105.37/105.41	c  105s |      21 |  1327404 |  1000345 |     1425   1660 |        0 |        0
107.37/107.41	c  107s |      21 |  1352713 |  1019045 |     1425   1684 |        0 |        0
109.37/109.42	c  109s |      21 |  1374190 |  1036045 |     1425   1705 |        0 |        0
111.38/111.43	c  111s |      21 |  1397076 |  1053245 |     1425   1727 |        0 |        0
113.38/113.43	c  113s |      21 |  1418885 |  1069645 |     1425   1748 |        0 |        0
115.37/115.44	c  115s |      21 |  1444810 |  1088145 |     1425   1771 |        0 |        0
117.37/117.44	c  117s |      21 |  1469944 |  1106645 |     1425   1794 |        0 |        0
119.37/119.44	c  119s |      21 |  1495240 |  1124845 |     1425   1818 |        0 |        0
121.37/121.44	c  121s |      21 |  1519264 |  1142745 |     1425   1840 |        0 |        0
123.37/123.45	c  123s |      21 |  1542748 |  1160545 |     1425   1863 |        0 |        0
125.37/125.45	c  125s |      21 |  1565917 |  1178045 |     1425   1885 |        0 |        0
127.37/127.46	c  127s |      21 |  1590671 |  1195545 |     1425   1907 |        0 |        0
129.38/129.46	c  129s |      21 |  1613576 |  1212945 |     1425   1929 |        0 |        0
131.38/131.46	c  131s |      21 |  1637900 |  1231145 |     1425   1952 |        0 |        0
133.37/133.47	c  133s |      21 |  1661948 |  1248045 |     1425   1974 |        0 |        0
135.38/135.48	c  135s |      21 |  1685689 |  1265645 |     1425   1996 |        0 |        0
137.37/137.48	c  137s |      21 |  1710524 |  1283545 |     1425   2019 |        0 |        0
139.37/139.49	c  139s |      21 |  1733699 |  1300745 |     1425   2041 |        0 |        0
141.47/141.50	c  141s |      21 |  1756557 |  1318045 |     1425   2063 |        0 |        0
143.47/143.50	c  143s |      21 |  1778986 |  1335045 |     1425   2084 |        0 |        0
145.47/145.51	c  145s |      21 |  1802910 |  1352445 |     1425   2106 |        0 |        0
147.47/147.52	c  147s |      21 |  1826844 |  1369745 |     1425   2128 |        0 |        0
149.46/149.52	c  149s |      21 |  1850514 |  1387345 |     1425   2151 |        0 |        0
151.46/151.53	c  151s |      21 |  1873331 |  1404545 |     1425   2173 |        0 |        0
153.46/153.53	c  153s |      21 |  1893920 |  1420245 |     1425   2192 |        0 |        0
155.46/155.54	c  155s |      21 |  1915345 |  1437045 |     1425   2214 |        0 |        0
157.46/157.55	c  157s |      21 |  1934616 |  1452545 |     1425   2234 |        0 |        0
159.46/159.56	c  159s |      21 |  1957070 |  1469045 |     1425   2255 |        0 |        0
161.46/161.57	c  161s |      21 |  1981341 |  1486945 |     1425   2277 |        0 |        0
163.17/163.21	c  163s |      22 |  1999461 |  1500622 |     1568   2294 |        0 |        0
165.16/165.21	c  165s |      22 |  2022940 |  1517622 |     1568   2313 |        0 |        0
167.17/167.21	c  167s |      22 |  2043518 |  1533822 |     1568   2332 |        0 |        0
169.16/169.22	c  169s |      22 |  2063255 |  1549522 |     1568   2350 |        0 |        0
171.16/171.23	c  171s |      22 |  2081295 |  1563922 |     1568   2367 |        0 |        0
173.16/173.24	c  173s |      22 |  2102363 |  1580122 |     1568   2386 |        0 |        0
175.16/175.24	c  175s |      22 |  2123538 |  1596722 |     1568   2405 |        0 |        0
177.16/177.24	c  177s |      22 |  2144874 |  1612922 |     1568   2424 |        0 |        0
179.16/179.24	c  179s |      22 |  2166493 |  1629522 |     1568   2444 |        0 |        0
181.16/181.25	c  181s |      22 |  2188545 |  1646622 |     1568   2464 |        0 |        0
183.15/183.26	c  183s |      22 |  2210567 |  1663922 |     1568   2484 |        0 |        0
185.15/185.26	c  185s |      22 |  2233618 |  1681222 |     1568   2504 |        0 |        0
187.15/187.26	c  187s |      22 |  2256201 |  1698322 |     1568   2524 |        0 |        0
189.16/189.27	c  189s |      22 |  2278692 |  1715422 |     1568   2545 |        0 |        0
191.15/191.28	c  191s |      22 |  2300133 |  1731822 |     1568   2564 |        0 |        0
193.15/193.28	c  193s |      22 |  2320368 |  1748022 |     1568   2583 |        0 |        0
195.14/195.28	c  195s |      22 |  2343356 |  1765422 |     1568   2603 |        0 |        0
197.14/197.28	c  197s |      22 |  2367726 |  1783422 |     1568   2624 |        0 |        0
199.15/199.29	c  199s |      22 |  2392027 |  1801322 |     1568   2645 |        0 |        0
201.14/201.30	c  201s |      22 |  2415657 |  1818722 |     1568   2666 |        0 |        0
203.24/203.30	c  203s |      22 |  2439521 |  1836222 |     1568   2686 |        0 |        0
205.24/205.31	c  205s |      22 |  2462572 |  1853322 |     1568   2706 |        0 |        0
207.24/207.32	c  207s |      22 |  2484340 |  1870022 |     1568   2726 |        0 |        0
209.24/209.34	c  209s |      22 |  2507879 |  1887422 |     1568   2747 |        0 |        0
211.25/211.34	c  211s |      22 |  2531383 |  1904822 |     1568   2767 |        0 |        0
213.24/213.35	c  213s |      22 |  2553550 |  1921522 |     1568   2786 |        0 |        0
215.24/215.36	c  215s |      22 |  2574464 |  1937922 |     1568   2806 |        0 |        0
217.24/217.37	c  217s |      22 |  2595491 |  1954022 |     1568   2825 |        0 |        0
219.24/219.38	c  219s |      22 |  2616908 |  1970522 |     1568   2844 |        0 |        0
221.24/221.39	c  221s |      22 |  2638248 |  1987022 |     1568   2863 |        0 |        0
223.24/223.40	c  223s |      22 |  2659196 |  2003322 |     1568   2883 |        0 |        0
225.33/225.40	c  225s |      22 |  2678463 |  2018522 |     1568   2901 |        0 |        0
227.33/227.40	c  227s |      22 |  2698922 |  2034322 |     1568   2919 |        0 |        0
229.33/229.40	c  229s |      22 |  2721545 |  2051222 |     1568   2939 |        0 |        0
231.32/231.41	c  231s |      22 |  2743680 |  2067222 |     1568   2958 |        0 |        0
233.32/233.42	c  233s |      22 |  2765167 |  2083422 |     1568   2977 |        0 |        0
235.33/235.43	c  235s |      22 |  2786785 |  2099822 |     1568   2997 |        0 |        0
237.32/237.44	c  237s |      22 |  2809272 |  2116722 |     1568   3017 |        0 |        0
239.32/239.45	c  239s |      22 |  2831247 |  2133522 |     1568   3036 |        0 |        0
241.31/241.46	c  241s |      22 |  2852378 |  2149622 |     1568   3055 |        0 |        0
243.31/243.46	c  243s |      22 |  2875296 |  2166922 |     1568   3076 |        0 |        0
245.32/245.46	c  245s |      22 |  2897979 |  2184322 |     1568   3096 |        0 |        0
247.32/247.47	c  247s |      22 |  2918784 |  2200322 |     1568   3115 |        0 |        0
249.32/249.47	c  249s |      22 |  2940663 |  2216622 |     1568   3134 |        0 |        0
251.31/251.48	c  251s |      22 |  2962523 |  2233122 |     1568   3154 |        0 |        0
253.31/253.48	c  253s |      22 |  2984217 |  2249622 |     1725   3172 |        0 |        0
253.51/253.66	c  253s |      23 |  2985909 |  2251038 |     1725   3173 |        0 |        0
255.51/255.66	c  255s |      23 |  3006045 |  2266938 |     1725   3190 |        0 |        0
257.51/257.66	c  257s |      23 |  3025194 |  2282438 |     1725   3207 |        0 |        0
259.51/259.67	c  259s |      23 |  3043955 |  2297238 |     1725   3223 |        0 |        0
261.51/261.68	c  261s |      23 |  3063497 |  2312138 |     1725   3239 |        0 |        0
263.51/263.68	c  263s |      23 |  3084720 |  2328138 |     1725   3256 |        0 |        0
265.50/265.69	c  265s |      23 |  3105052 |  2343638 |     1725   3273 |        0 |        0
267.50/267.69	c  267s |      23 |  3124777 |  2359038 |     1725   3289 |        0 |        0
269.51/269.69	c  269s |      23 |  3143872 |  2373638 |     1725   3305 |        0 |        0
271.50/271.70	c  271s |      23 |  3162949 |  2388338 |     1725   3320 |        0 |        0
273.60/273.70	c  273s |      23 |  3181281 |  2403238 |     1725   3336 |        0 |        0
275.60/275.71	c  275s |      23 |  3201436 |  2418438 |     1725   3352 |        0 |        0
277.60/277.72	c  277s |      23 |  3221203 |  2433738 |     1725   3369 |        0 |        0
279.61/279.72	c  279s |      23 |  3240170 |  2448138 |     1725   3384 |        0 |        0
281.61/281.73	c  281s |      23 |  3259899 |  2462838 |     1725   3400 |        0 |        0
283.60/283.75	c  283s |      23 |  3281173 |  2478938 |     1725   3418 |        0 |        0
285.60/285.75	c  285s |      23 |  3305067 |  2495938 |     1725   3436 |        0 |        0
287.60/287.76	c  287s |      23 |  3326235 |  2512338 |     1725   3453 |        0 |        0
289.60/289.77	c  289s |      23 |  3346037 |  2528138 |     1725   3470 |        0 |        0
291.59/291.78	c  291s |      23 |  3365884 |  2543538 |     1725   3487 |        0 |        0
293.60/293.78	c  293s |      23 |  3387109 |  2559738 |     1725   3504 |        0 |        0
295.59/295.78	c  295s |      23 |  3409240 |  2576138 |     1725   3522 |        0 |        0
297.59/297.79	c  297s |      23 |  3431419 |  2592838 |     1725   3540 |        0 |        0
299.69/299.80	c  299s |      23 |  3453612 |  2609638 |     1725   3558 |        0 |        0
301.69/301.81	c  301s |      23 |  3473201 |  2625038 |     1725   3575 |        0 |        0
303.68/303.81	c  303s |      23 |  3493997 |  2640438 |     1725   3591 |        0 |        0
305.69/305.82	c  305s |      23 |  3515784 |  2656438 |     1725   3609 |        0 |        0
307.68/307.82	c  307s |      23 |  3537527 |  2672738 |     1725   3626 |        0 |        0
309.68/309.83	c  309s |      23 |  3558004 |  2687838 |     1725   3642 |        0 |        0
311.67/311.83	c  311s |      23 |  3580392 |  2704438 |     1725   3660 |        0 |        0
313.67/313.83	c  313s |      23 |  3604447 |  2721938 |     1725   3679 |        0 |        0
315.68/315.85	c  315s |      23 |  3623242 |  2736938 |     1725   3695 |        0 |        0
317.67/317.86	c  317s |      23 |  3642021 |  2751838 |     1725   3711 |        0 |        0
319.67/319.86	c  319s |      23 |  3662833 |  2768238 |     1725   3729 |        0 |        0
321.67/321.86	c  321s |      23 |  3684267 |  2784138 |     1725   3746 |        0 |        0
323.67/323.87	c  323s |      23 |  3705435 |  2800238 |     1725   3763 |        0 |        0
325.67/325.88	c  325s |      23 |  3725424 |  2816238 |     1725   3781 |        0 |        0
327.67/327.88	c  327s |      23 |  3748180 |  2832938 |     1725   3799 |        0 |        0
329.66/329.89	c  329s |      23 |  3769139 |  2849338 |     1725   3816 |        0 |        0
331.67/331.89	c  331s |      23 |  3789557 |  2865338 |     1725   3834 |        0 |        0
333.67/333.89	c  333s |      23 |  3809661 |  2880938 |     1725   3850 |        0 |        0
335.67/335.89	c  335s |      23 |  3829328 |  2896338 |     1725   3867 |        0 |        0
337.77/337.90	c  337s |      23 |  3849059 |  2911438 |     1725   3883 |        0 |        0
339.77/339.90	c  339s |      23 |  3868883 |  2926638 |     1725   3900 |        0 |        0
341.76/341.91	c  341s |      23 |  3891215 |  2943238 |     1725   3918 |        0 |        0
343.76/343.91	c  343s |      23 |  3911739 |  2959138 |     1725   3935 |        0 |        0
345.76/345.91	c  345s |      23 |  3929945 |  2973838 |     1725   3951 |        0 |        0
347.76/347.92	c  347s |      23 |  3947602 |  2988238 |     1725   3966 |        0 |        0
349.77/349.93	c  349s |      23 |  3969449 |  3004438 |     1725   3984 |        0 |        0
351.76/351.94	c  351s |      23 |  3989989 |  3020038 |     1725   4001 |        0 |        0
353.76/353.94	c  353s |      23 |  4009748 |  3035438 |     1725   4017 |        0 |        0
355.76/355.95	c  355s |      23 |  4030194 |  3051438 |     1725   4035 |        0 |        0
357.76/357.96	c  357s |      23 |  4051256 |  3067438 |     1725   4052 |        0 |        0
359.76/359.97	c  359s |      23 |  4072074 |  3083038 |     1725   4069 |        0 |        0
361.76/361.97	c  361s |      23 |  4093769 |  3099138 |     1725   4086 |        0 |        0
363.75/363.98	c  363s |      23 |  4113642 |  3114838 |     1725   4103 |        0 |        0
365.75/365.98	c  365s |      23 |  4133114 |  3129938 |     1725   4119 |        0 |        0
367.75/367.98	c  367s |      23 |  4156246 |  3147338 |     1725   4138 |        0 |        0
369.75/369.99	c  369s |      23 |  4179012 |  3164038 |     1725   4156 |        0 |        0
371.84/372.00	c  371s |      23 |  4198563 |  3179638 |     1725   4173 |        0 |        0
373.85/374.00	c  373s |      23 |  4219411 |  3195638 |     1725   4190 |        0 |        0
375.84/376.01	c  375s |      23 |  4241524 |  3212138 |     1725   4208 |        0 |        0
377.84/378.01	c  377s |      23 |  4262578 |  3228238 |     1725   4226 |        0 |        0
379.85/380.03	c  380s |      23 |  4283952 |  3244338 |     1725   4243 |        0 |        0
381.84/382.03	c  382s |      23 |  4304994 |  3260338 |     1725   4260 |        0 |        0
383.84/384.03	c  384s |      23 |  4324103 |  3275638 |     1725   4277 |        0 |        0
385.84/386.04	c  386s |      23 |  4347880 |  3292738 |     1725   4295 |        0 |        0
387.84/388.05	c  388s |      23 |  4370981 |  3310138 |     1725   4314 |        0 |        0
389.83/390.05	c  390s |      23 |  4392216 |  3326538 |     1725   4332 |        0 |        0
391.83/392.05	c  392s |      23 |  4410015 |  3341338 |     1725   4348 |        0 |        0
393.83/394.06	c  394s |      23 |  4432058 |  3358038 |     1898   4365 |        0 |        0
395.83/396.07	c  396s |      23 |  4450290 |  3372838 |     1898   4380 |        0 |        0
396.33/396.59	c  396s |      24 |  4455142 |  3376662 |     1898   4383 |        0 |        0
398.43/398.60	c  398s |      24 |  4473358 |  3391062 |     1898   4397 |        0 |        0
400.43/400.60	c  400s |      24 |  4491194 |  3405462 |     1898   4411 |        0 |        0
402.43/402.60	c  402s |      24 |  4510349 |  3420462 |     1898   4426 |        0 |        0
404.42/404.61	c  404s |      24 |  4529397 |  3435262 |     1898   4441 |        0 |        0
406.42/406.61	c  406s |      24 |  4548384 |  3449962 |     1898   4455 |        0 |        0
408.42/408.62	c  408s |      24 |  4568362 |  3465662 |     1898   4470 |        0 |        0
410.42/410.62	c  410s |      24 |  4588576 |  3481362 |     1898   4486 |        0 |        0
412.42/412.63	c  412s |      24 |  4609563 |  3497062 |     1898   4501 |        0 |        0
414.41/414.64	c  414s |      24 |  4627935 |  3511762 |     1898   4515 |        0 |        0
416.41/416.64	c  416s |      24 |  4647211 |  3526362 |     1898   4529 |        0 |        0
418.41/418.65	c  418s |      24 |  4666438 |  3541262 |     1898   4544 |        0 |        0
420.41/420.66	c  420s |      24 |  4688211 |  3557362 |     1898   4560 |        0 |        0
422.41/422.66	c  422s |      24 |  4709780 |  3573462 |     1898   4575 |        0 |        0
424.41/424.66	c  424s |      24 |  4729682 |  3588562 |     1898   4590 |        0 |        0
426.42/426.67	c  426s |      24 |  4749136 |  3603662 |     1898   4605 |        0 |        0
428.41/428.68	c  428s |      24 |  4770177 |  3619462 |     1898   4620 |        0 |        0
430.41/430.68	c  430s |      24 |  4791559 |  3635562 |     1898   4636 |        0 |        0
432.41/432.69	c  432s |      24 |  4812644 |  3651262 |     1898   4651 |        0 |        0
434.51/434.70	c  434s |      24 |  4833140 |  3667162 |     1898   4667 |        0 |        0
436.41/436.70	c  436s |      24 |  4854477 |  3683362 |     1898   4682 |        0 |        0
438.51/438.71	c  438s |      24 |  4875401 |  3699362 |     1898   4698 |        0 |        0
440.51/440.71	c  440s |      24 |  4896059 |  3714962 |     1898   4713 |        0 |        0
442.50/442.73	c  442s |      24 |  4917232 |  3730462 |     1898   4728 |        0 |        0
444.50/444.73	c  444s |      24 |  4937748 |  3746162 |     1898   4744 |        0 |        0
446.51/446.74	c  446s |      24 |  4957835 |  3761362 |     1898   4758 |        0 |        0
448.50/448.75	c  448s |      24 |  4978409 |  3776862 |     1898   4774 |        0 |        0
450.50/450.76	c  450s |      24 |  4999435 |  3792662 |     1898   4789 |        0 |        0
452.49/452.76	c  452s |      24 |  5020851 |  3808862 |     1898   4805 |        0 |        0
454.49/454.78	c  454s |      24 |  5042285 |  3824662 |     1898   4820 |        0 |        0
456.49/456.79	c  456s |      24 |  5061806 |  3839962 |     1898   4835 |        0 |        0
458.49/458.80	c  458s |      24 |  5079853 |  3854562 |     1898   4849 |        0 |        0
460.59/460.80	c  460s |      24 |  5099312 |  3869462 |     1898   4864 |        0 |        0
462.59/462.81	c  462s |      24 |  5119221 |  3884762 |     1898   4879 |        0 |        0
464.59/464.81	c  464s |      24 |  5140977 |  3901062 |     1898   4895 |        0 |        0
466.59/466.82	c  466s |      24 |  5160850 |  3916262 |     1898   4910 |        0 |        0
468.59/468.83	c  468s |      24 |  5181819 |  3931762 |     1898   4925 |        0 |        0
470.60/470.84	c  470s |      24 |  5202102 |  3947162 |     1898   4940 |        0 |        0
472.58/472.84	c  472s |      24 |  5224140 |  3963362 |     1898   4956 |        0 |        0
474.58/474.85	c  474s |      24 |  5244068 |  3978862 |     1898   4971 |        0 |        0
476.58/476.86	c  476s |      24 |  5265392 |  3994762 |     1898   4987 |        0 |        0
478.58/478.86	c  478s |      24 |  5285780 |  4010362 |     1898   5002 |        0 |        0
480.59/480.86	c  480s |      24 |  5308330 |  4027062 |     1898   5018 |        0 |        0
482.58/482.87	c  482s |      24 |  5329035 |  4042562 |     1898   5033 |        0 |        0
484.58/484.88	c  484s |      24 |  5349946 |  4058162 |     1898   5049 |        0 |        0
486.58/486.88	c  486s |      24 |  5371200 |  4074362 |     1898   5064 |        0 |        0
488.57/488.88	c  488s |      24 |  5388020 |  4088262 |     1898   5078 |        0 |        0
490.57/490.89	c  490s |      24 |  5408505 |  4104362 |     1898   5094 |        0 |        0
492.68/492.91	c  492s |      24 |  5427621 |  4119262 |     1898   5110 |        0 |        0
494.67/494.92	c  494s |      24 |  5446527 |  4134262 |     1898   5125 |        0 |        0
496.67/496.93	c  496s |      24 |  5466615 |  4149962 |     1898   5141 |        0 |        0
498.67/498.94	c  498s |      24 |  5486390 |  4165162 |     1898   5156 |        0 |        0
500.67/500.94	c  500s |      24 |  5506574 |  4180662 |     1898   5171 |        0 |        0
502.66/502.94	c  502s |      24 |  5525428 |  4195162 |     1898   5186 |        0 |        0
504.67/504.94	c  504s |      24 |  5543604 |  4209062 |     1898   5200 |        0 |        0
506.66/506.95	c  506s |      24 |  5563207 |  4224162 |     1898   5215 |        0 |        0
508.66/508.96	c  508s |      24 |  5582987 |  4239362 |     1898   5230 |        0 |        0
510.67/510.97	c  510s |      24 |  5602151 |  4254662 |     1898   5246 |        0 |        0
512.66/512.97	c  512s |      24 |  5619623 |  4269262 |     1898   5261 |        0 |        0
514.67/514.98	c  514s |      24 |  5639624 |  4284762 |     1898   5276 |        0 |        0
516.66/516.99	c  516s |      24 |  5659184 |  4299862 |     1898   5292 |        0 |        0
518.76/519.00	c  518s |      24 |  5678063 |  4314462 |     1898   5307 |        0 |        0
520.76/521.01	c  520s |      24 |  5697506 |  4329362 |     1898   5322 |        0 |        0
522.75/523.01	c  522s |      24 |  5716370 |  4344262 |     1898   5337 |        0 |        0
524.75/525.01	c  524s |      24 |  5736339 |  4359562 |     1898   5353 |        0 |        0
526.76/527.01	c  526s |      24 |  5757332 |  4375062 |     1898   5368 |        0 |        0
528.75/529.01	c  528s |      24 |  5777564 |  4390662 |     1898   5384 |        0 |        0
530.75/531.01	c  530s |      24 |  5797705 |  4406262 |     1898   5400 |        0 |        0
532.75/533.02	c  533s |      24 |  5816978 |  4421762 |     1898   5416 |        0 |        0
534.75/535.02	c  535s |      24 |  5838404 |  4437662 |     1898   5432 |        0 |        0
536.75/537.04	c  537s |      24 |  5856062 |  4451562 |     1898   5446 |        0 |        0
538.75/539.05	c  539s |      24 |  5874591 |  4465762 |     1898   5461 |        0 |        0
540.75/541.06	c  541s |      24 |  5894370 |  4480862 |     1898   5476 |        0 |        0
542.75/543.06	c  543s |      24 |  5915345 |  4496562 |     1898   5492 |        0 |        0
544.75/545.07	c  545s |      24 |  5935726 |  4512262 |     1898   5508 |        0 |        0
546.75/547.07	c  547s |      24 |  5956805 |  4528462 |     1898   5524 |        0 |        0
548.75/549.08	c  549s |      24 |  5974673 |  4542362 |     1898   5539 |        0 |        0
550.75/551.08	c  551s |      24 |  5993898 |  4557162 |     1898   5554 |        0 |        0
552.74/553.10	c  553s |      24 |  6014075 |  4572662 |     1898   5569 |        0 |        0
554.84/555.10	c  555s |      24 |  6034030 |  4588062 |     1898   5585 |        0 |        0
556.84/557.11	c  557s |      24 |  6053690 |  4603462 |     1898   5601 |        0 |        0
558.84/559.12	c  559s |      24 |  6074216 |  4618862 |     1898   5616 |        0 |        0
560.84/561.13	c  561s |      24 |  6094338 |  4634562 |     1898   5633 |        0 |        0
562.83/563.13	c  563s |      24 |  6114284 |  4649962 |     1898   5648 |        0 |        0
564.83/565.14	c  565s |      24 |  6133504 |  4665162 |     1898   5664 |        0 |        0
566.83/567.14	c  567s |      24 |  6153160 |  4680662 |     1898   5679 |        0 |        0
568.83/569.15	c  569s |      24 |  6173932 |  4696462 |     1898   5695 |        0 |        0
570.83/571.15	c  571s |      24 |  6193807 |  4711762 |     1898   5710 |        0 |        0
572.83/573.17	c  573s |      24 |  6213130 |  4726962 |     1898   5725 |        0 |        0
574.82/575.18	c  575s |      24 |  6233165 |  4742362 |     1898   5739 |        0 |        0
576.82/577.19	c  577s |      24 |  6252321 |  4757162 |     1898   5754 |        0 |        0
578.92/579.20	c  579s |      24 |  6271150 |  4771662 |     1898   5768 |        0 |        0
580.92/581.20	c  581s |      24 |  6289679 |  4786062 |     1898   5782 |        0 |        0
582.92/583.21	c  583s |      24 |  6308931 |  4800662 |     1898   5796 |        0 |        0
584.93/585.23	c  585s |      24 |  6327605 |  4815262 |     1898   5811 |        0 |        0
586.92/587.23	c  587s |      24 |  6345914 |  4829862 |     1898   5825 |        0 |        0
588.92/589.24	c  589s |      24 |  6365160 |  4844662 |     1898   5839 |        0 |        0
590.92/591.25	c  591s |      24 |  6384385 |  4859762 |     1898   5854 |        0 |        0
592.91/593.25	c  593s |      24 |  6402603 |  4873662 |     1898   5868 |        0 |        0
594.92/595.25	c  595s |      24 |  6422270 |  4888462 |     1898   5882 |        0 |        0
596.91/597.26	c  597s |      24 |  6440970 |  4902862 |     1898   5897 |        0 |        0
598.91/599.27	c  599s |      24 |  6459859 |  4917162 |     1898   5911 |        0 |        0
600.91/601.28	c  601s |      24 |  6479652 |  4932162 |     1898   5926 |        0 |        0
602.90/603.28	c  603s |      24 |  6500510 |  4947662 |     1898   5941 |        0 |        0
604.90/605.29	c  605s |      24 |  6519763 |  4962762 |     1898   5956 |        0 |        0
606.91/607.29	c  607s |      24 |  6539754 |  4977962 |     1898   5970 |        0 |        0
608.90/609.29	c  609s |      24 |  6557883 |  4991762 |     1898   5984 |        0 |        0
611.00/611.31	c  611s |      24 |  6575858 |  5005462 |     1898   5998 |        0 |        0
613.00/613.32	c  613s |      24 |  6594864 |  5019862 |     1898   6012 |        0 |        0
615.00/615.33	c  615s |      24 |  6613150 |  5033662 |     2088   6025 |        0 |        0
617.00/617.34	c  617s |      24 |  6632599 |  5047762 |     2088   6038 |        0 |        0
619.00/619.34	c  619s |      24 |  6652817 |  5062762 |     2088   6051 |        0 |        0
619.30/619.66	c  619s |      25 |  6656003 |  5065098 |     2088   6053 |        0 |        0
621.30/621.67	c  621s |      25 |  6673806 |  5078598 |     2088   6065 |        0 |        0
623.29/623.68	c  623s |      25 |  6691813 |  5092398 |     2088   6077 |        0 |        0
625.30/625.68	c  625s |      25 |  6711471 |  5107098 |     2088   6091 |        0 |        0
627.30/627.69	c  627s |      25 |  6729038 |  5120298 |     2088   6102 |        0 |        0
629.30/629.69	c  629s |      25 |  6747307 |  5134098 |     2088   6115 |        0 |        0
631.40/631.70	c  631s |      25 |  6764705 |  5147298 |     2088   6127 |        0 |        0
633.40/633.71	c  633s |      25 |  6782518 |  5160998 |     2088   6139 |        0 |        0
635.39/635.72	c  635s |      25 |  6802082 |  5174598 |     2088   6151 |        0 |        0
637.39/637.73	c  637s |      25 |  6819537 |  5187698 |     2088   6163 |        0 |        0
639.39/639.74	c  639s |      25 |  6835953 |  5200098 |     2088   6175 |        0 |        0
641.38/641.75	c  641s |      25 |  6855245 |  5213598 |     2088   6188 |        0 |        0
643.38/643.75	c  643s |      25 |  6874686 |  5227098 |     2088   6200 |        0 |        0
645.39/645.76	c  645s |      25 |  6892293 |  5240598 |     2088   6212 |        0 |        0
647.38/647.77	c  647s |      25 |  6909779 |  5253698 |     2088   6224 |        0 |        0
649.38/649.77	c  649s |      25 |  6928104 |  5267198 |     2088   6237 |        0 |        0
651.38/651.79	c  651s |      25 |  6947212 |  5280998 |     2088   6250 |        0 |        0
653.48/653.80	c  653s |      25 |  6965927 |  5294898 |     2088   6262 |        0 |        0
655.48/655.81	c  655s |      25 |  6983744 |  5308198 |     2088   6275 |        0 |        0
657.49/657.81	c  657s |      25 |  7001285 |  5321598 |     2088   6287 |        0 |        0
659.48/659.82	c  659s |      25 |  7020516 |  5335798 |     2088   6300 |        0 |        0
661.47/661.82	c  661s |      25 |  7039480 |  5349298 |     2088   6313 |        0 |        0
663.47/663.82	c  663s |      25 |  7059154 |  5363798 |     2088   6326 |        0 |        0
665.47/665.84	c  665s |      25 |  7078541 |  5378098 |     2088   6339 |        0 |        0
667.48/667.85	c  667s |      25 |  7096819 |  5390898 |     2088   6351 |        0 |        0
669.47/669.86	c  669s |      25 |  7114956 |  5404898 |     2088   6364 |        0 |        0
671.46/671.87	c  671s |      25 |  7134110 |  5419098 |     2088   6377 |        0 |        0
673.46/673.89	c  673s |      25 |  7152053 |  5432898 |     2088   6390 |        0 |        0
675.46/675.89	c  675s |      25 |  7169945 |  5445198 |     2088   6402 |        0 |        0
677.46/677.89	c  677s |      25 |  7190255 |  5458798 |     2088   6414 |        0 |        0
679.47/679.89	c  679s |      25 |  7209181 |  5472898 |     2088   6427 |        0 |        0
681.56/681.90	c  681s |      25 |  7228535 |  5486698 |     2088   6440 |        0 |        0
683.56/683.91	c  683s |      25 |  7245607 |  5499498 |     2088   6452 |        0 |        0
685.56/685.91	c  685s |      25 |  7262680 |  5512498 |     2088   6464 |        0 |        0
687.56/687.91	c  687s |      25 |  7280614 |  5526298 |     2088   6477 |        0 |        0
689.56/689.92	c  689s |      25 |  7298093 |  5539398 |     2088   6489 |        0 |        0
691.56/691.93	c  691s |      25 |  7317232 |  5553198 |     2088   6502 |        0 |        0
693.55/693.94	c  693s |      25 |  7336060 |  5567098 |     2088   6515 |        0 |        0
695.56/695.95	c  695s |      25 |  7355752 |  5581798 |     2088   6528 |        0 |        0
697.56/697.95	c  697s |      25 |  7375078 |  5595798 |     2088   6541 |        0 |        0
699.56/699.96	c  699s |      25 |  7393840 |  5609798 |     2088   6554 |        0 |        0
701.56/701.97	c  701s |      25 |  7413389 |  5623898 |     2088   6567 |        0 |        0
703.55/703.98	c  703s |      25 |  7430794 |  5637698 |     2088   6580 |        0 |        0
705.55/705.99	c  705s |      25 |  7450653 |  5652498 |     2088   6594 |        0 |        0
707.65/708.00	c  707s |      25 |  7469482 |  5666498 |     2088   6607 |        0 |        0
709.65/710.01	c  709s |      25 |  7487759 |  5680698 |     2088   6620 |        0 |        0
711.65/712.02	c  712s |      25 |  7505938 |  5694798 |     2088   6633 |        0 |        0
713.65/714.02	c  714s |      25 |  7525526 |  5709398 |     2088   6646 |        0 |        0
715.65/716.03	c  716s |      25 |  7543439 |  5723198 |     2088   6659 |        0 |        0
717.64/718.04	c  718s |      25 |  7560703 |  5736598 |     2088   6672 |        0 |        0
719.64/720.05	c  720s |      25 |  7578716 |  5750098 |     2088   6684 |        0 |        0
721.64/722.06	c  722s |      25 |  7594342 |  5761698 |     2088   6695 |        0 |        0
723.64/724.07	c  724s |      25 |  7610431 |  5773598 |     2088   6706 |        0 |        0
725.64/726.08	c  726s |      25 |  7627469 |  5786198 |     2088   6718 |        0 |        0
727.64/728.08	c  728s |      25 |  7643925 |  5798298 |     2088   6729 |        0 |        0
729.74/730.10	c  730s |      25 |  7657921 |  5808698 |     2088   6739 |        0 |        0
731.73/732.11	c  732s |      25 |  7673860 |  5820398 |     2088   6750 |        0 |        0
733.73/734.11	c  734s |      25 |  7690440 |  5833098 |     2088   6762 |        0 |        0
735.73/736.12	c  736s |      25 |  7706419 |  5845198 |     2088   6773 |        0 |        0
737.74/738.14	c  738s |      25 |  7724296 |  5858298 |     2088   6786 |        0 |        0
739.73/740.15	c  740s |      25 |  7740039 |  5869998 |     2088   6796 |        0 |        0
741.73/742.17	c  742s |      25 |  7753117 |  5880698 |     2088   6806 |        0 |        0
743.73/744.17	c  744s |      25 |  7769213 |  5892698 |     2088   6818 |        0 |        0
745.73/746.18	c  746s |      25 |  7785695 |  5905298 |     2088   6829 |        0 |        0
747.73/748.19	c  748s |      25 |  7802287 |  5917898 |     2088   6841 |        0 |        0
749.83/750.20	c  750s |      25 |  7820513 |  5931098 |     2088   6854 |        0 |        0
751.82/752.22	c  752s |      25 |  7837211 |  5943898 |     2088   6865 |        0 |        0
753.82/754.22	c  754s |      25 |  7852809 |  5955798 |     2088   6876 |        0 |        0
755.82/756.23	c  756s |      25 |  7868730 |  5967898 |     2088   6888 |        0 |        0
757.82/758.24	c  758s |      25 |  7885852 |  5980598 |     2088   6899 |        0 |        0
759.84/760.25	c  760s |      25 |  7900209 |  5991698 |     2088   6910 |        0 |        0
761.82/762.26	c  762s |      25 |  7914432 |  6002698 |     2088   6920 |        0 |        0
763.82/764.26	c  764s |      25 |  7928978 |  6013498 |     2088   6930 |        0 |        0
765.82/766.27	c  766s |      25 |  7944361 |  6025198 |     2088   6941 |        0 |        0
767.82/768.28	c  768s |      25 |  7960888 |  6037698 |     2088   6952 |        0 |        0
769.82/770.29	c  770s |      25 |  7980191 |  6051298 |     2088   6965 |        0 |        0
771.82/772.30	c  772s |      25 |  7998547 |  6065098 |     2088   6978 |        0 |        0
773.91/774.31	c  774s |      25 |  8016613 |  6078498 |     2088   6991 |        0 |        0
775.91/776.32	c  776s |      25 |  8036777 |  6093398 |     2088   7005 |        0 |        0
777.91/778.32	c  778s |      25 |  8057590 |  6108798 |     2088   7019 |        0 |        0
779.91/780.33	c  780s |      25 |  8076027 |  6122498 |     2088   7032 |        0 |        0
781.91/782.34	c  782s |      25 |  8095441 |  6135998 |     2088   7044 |        0 |        0
783.91/784.35	c  784s |      25 |  8112403 |  6148398 |     2088   7055 |        0 |        0
785.90/786.35	c  786s |      25 |  8127472 |  6159098 |     2088   7065 |        0 |        0
787.90/788.35	c  788s |      25 |  8144267 |  6170798 |     2088   7076 |        0 |        0
789.90/790.36	c  790s |      25 |  8160238 |  6183198 |     2088   7088 |        0 |        0
791.90/792.37	c  792s |      25 |  8176170 |  6194698 |     2088   7098 |        0 |        0
793.91/794.38	c  794s |      25 |  8190646 |  6205598 |     2088   7109 |        0 |        0
795.90/796.39	c  796s |      25 |  8204697 |  6216198 |     2088   7119 |        0 |        0
797.90/798.39	c  798s |      25 |  8218806 |  6226998 |     2088   7129 |        0 |        0
799.90/800.39	c  800s |      25 |  8231288 |  6236998 |     2088   7138 |        0 |        0
802.00/802.40	c  802s |      25 |  8244571 |  6247098 |     2088   7148 |        0 |        0
804.00/804.40	c  804s |      25 |  8259343 |  6258398 |     2088   7158 |        0 |        0
805.90/806.40	c  806s |      25 |  8276948 |  6271198 |     2088   7170 |        0 |        0
808.00/808.41	c  808s |      25 |  8291799 |  6282598 |     2088   7181 |        0 |        0
810.00/810.42	c  810s |      25 |  8308230 |  6294598 |     2088   7192 |        0 |        0
812.00/812.43	c  812s |      25 |  8324627 |  6306298 |     2088   7203 |        0 |        0
814.00/814.44	c  814s |      25 |  8341466 |  6318398 |     2088   7214 |        0 |        0
816.00/816.46	c  816s |      25 |  8356998 |  6329898 |     2088   7225 |        0 |        0
818.01/818.48	c  818s |      25 |  8371923 |  6340498 |     2088   7235 |        0 |        0
820.00/820.48	c  820s |      25 |  8387894 |  6351898 |     2088   7246 |        0 |        0
822.00/822.49	c  822s |      25 |  8403336 |  6363898 |     2088   7257 |        0 |        0
824.10/824.50	c  824s |      25 |  8421054 |  6376398 |     2088   7269 |        0 |        0
826.10/826.51	c  826s |      25 |  8440021 |  6390698 |     2088   7282 |        0 |        0
828.10/828.52	c  828s |      25 |  8456909 |  6402698 |     2088   7293 |        0 |        0
830.10/830.52	c  830s |      25 |  8473015 |  6414898 |     2088   7304 |        0 |        0
832.10/832.52	c  832s |      25 |  8492888 |  6428998 |     2088   7317 |        0 |        0
834.10/834.52	c  834s |      25 |  8510510 |  6442098 |     2088   7330 |        0 |        0
836.09/836.52	c  836s |      25 |  8526903 |  6453998 |     2088   7341 |        0 |        0
838.09/838.54	c  838s |      25 |  8543111 |  6466198 |     2088   7352 |        0 |        0
840.10/840.55	c  840s |      25 |  8560725 |  6479398 |     2088   7364 |        0 |        0
842.09/842.56	c  842s |      25 |  8578402 |  6492498 |     2088   7376 |        0 |        0
844.09/844.57	c  844s |      25 |  8593685 |  6504898 |     2088   7388 |        0 |        0
846.09/846.57	c  846s |      25 |  8611632 |  6518198 |     2088   7400 |        0 |        0
848.09/848.59	c  848s |      25 |  8627876 |  6530798 |     2088   7411 |        0 |        0
850.09/850.59	c  850s |      25 |  8643234 |  6542798 |     2088   7423 |        0 |        0
852.10/852.60	c  852s |      25 |  8660795 |  6555998 |     2088   7435 |        0 |        0
854.19/854.61	c  854s |      25 |  8678356 |  6568998 |     2088   7447 |        0 |        0
856.19/856.61	c  856s |      25 |  8696494 |  6582698 |     2088   7460 |        0 |        0
858.20/858.63	c  858s |      25 |  8712987 |  6595698 |     2088   7472 |        0 |        0
860.20/860.63	c  860s |      25 |  8729933 |  6608698 |     2088   7484 |        0 |        0
862.20/862.64	c  862s |      25 |  8747904 |  6622698 |     2088   7497 |        0 |        0
864.20/864.65	c  864s |      25 |  8764472 |  6635898 |     2088   7509 |        0 |        0
866.19/866.66	c  866s |      25 |  8782610 |  6649298 |     2088   7521 |        0 |        0
868.19/868.68	c  868s |      25 |  8799889 |  6662298 |     2088   7533 |        0 |        0
870.19/870.69	c  870s |      25 |  8817413 |  6675598 |     2088   7546 |        0 |        0
872.19/872.69	c  872s |      25 |  8835194 |  6688798 |     2088   7558 |        0 |        0
874.29/874.70	c  874s |      25 |  8854309 |  6702198 |     2088   7570 |        0 |        0
876.30/876.71	c  876s |      25 |  8872043 |  6715998 |     2088   7583 |        0 |        0
878.29/878.71	c  878s |      25 |  8888014 |  6728098 |     2088   7594 |        0 |        0
880.29/880.71	c  880s |      25 |  8906662 |  6741498 |     2088   7607 |        0 |        0
882.29/882.72	c  882s |      25 |  8925766 |  6755098 |     2088   7620 |        0 |        0
884.29/884.72	c  884s |      25 |  8946908 |  6769498 |     2088   7633 |        0 |        0
886.29/886.72	c  886s |      25 |  8965115 |  6782298 |     2088   7645 |        0 |        0
888.29/888.73	c  888s |      25 |  8981753 |  6794298 |     2088   7656 |        0 |        0
890.28/890.75	c  890s |      25 |  8998783 |  6806798 |     2088   7668 |        0 |        0
892.28/892.77	c  892s |      25 |  9016164 |  6818998 |     2088   7679 |        0 |        0
894.28/894.78	c  894s |      25 |  9033428 |  6831598 |     2088   7691 |        0 |        0
896.28/896.78	c  896s |      25 |  9051756 |  6845098 |     2088   7703 |        0 |        0
898.29/898.78	c  898s |      25 |  9071667 |  6859698 |     2088   7717 |        0 |        0
900.38/900.80	c  900s |      25 |  9092981 |  6874598 |     2088   7731 |        0 |        0
902.38/902.80	c  902s |      25 |  9109312 |  6886498 |     2088   7742 |        0 |        0
904.38/904.81	c  904s |      25 |  9126181 |  6899098 |     2088   7753 |        0 |        0
906.39/906.83	c  906s |      25 |  9146803 |  6913898 |     2088   7767 |        0 |        0
908.39/908.84	c  908s |      25 |  9165006 |  6927198 |     2088   7779 |        0 |        0
910.39/910.85	c  910s |      25 |  9183677 |  6940698 |     2088   7792 |        0 |        0
912.39/912.86	c  912s |      25 |  9200608 |  6953698 |     2088   7804 |        0 |        0
914.39/914.88	c  914s |      25 |  9214384 |  6964198 |     2088   7814 |        0 |        0
916.38/916.88	c  916s |      25 |  9229081 |  6975598 |     2088   7824 |        0 |        0
918.38/918.89	c  918s |      25 |  9246029 |  6988198 |     2088   7836 |        0 |        0
920.39/920.89	c  920s |      25 |  9262557 |  7000698 |     2088   7847 |        0 |        0
922.38/922.89	c  922s |      25 |  9279619 |  7013598 |     2088   7859 |        0 |        0
924.48/924.91	c  924s |      25 |  9297353 |  7026398 |     2088   7871 |        0 |        0
926.48/926.92	c  926s |      25 |  9315252 |  7039398 |     2088   7883 |        0 |        0
928.48/928.92	c  928s |      25 |  9331176 |  7051498 |     2088   7895 |        0 |        0
930.48/930.93	c  930s |      25 |  9347874 |  7063798 |     2088   7906 |        0 |        0
932.48/932.93	c  932s |      25 |  9364939 |  7076098 |     2088   7918 |        0 |        0
934.48/934.94	c  934s |      25 |  9381620 |  7088398 |     2088   7929 |        0 |        0
936.48/936.94	c  936s |      25 |  9398740 |  7100698 |     2088   7941 |        0 |        0
938.48/938.96	c  938s |      25 |  9416611 |  7113398 |     2088   7952 |        0 |        0
940.48/940.98	c  940s |      25 |  9432622 |  7125198 |     2088   7964 |        0 |        0
942.48/942.99	c  942s |      25 |  9448822 |  7137398 |     2088   7975 |        0 |        0
944.49/945.00	c  944s |      25 |  9464436 |  7149498 |     2088   7986 |        0 |        0
946.58/947.01	c  946s |      25 |  9482358 |  7162598 |     2088   7999 |        0 |        0
948.58/949.01	c  948s |      25 |  9500646 |  7176198 |     2088   8011 |        0 |        0
950.58/951.03	c  951s |      25 |  9519745 |  7190498 |     2088   8025 |        0 |        0
952.58/953.04	c  953s |      25 |  9537566 |  7204298 |     2088   8037 |        0 |        0
954.58/955.06	c  955s |      25 |  9555757 |  7217898 |     2088   8050 |        0 |        0
956.59/957.08	c  957s |      25 |  9573412 |  7230698 |     2088   8062 |        0 |        0
958.58/959.09	c  959s |      25 |  9591380 |  7244198 |     2088   8074 |        0 |        0
960.58/961.09	c  961s |      25 |  9609447 |  7257798 |     2088   8087 |        0 |        0
962.68/963.10	c  963s |      25 |  9627948 |  7271398 |     2088   8100 |        0 |        0
964.68/965.11	c  965s |      25 |  9646720 |  7284698 |     2088   8112 |        0 |        0
966.68/967.12	c  967s |      25 |  9664204 |  7298098 |     2088   8125 |        0 |        0
968.68/969.12	c  969s |      25 |  9682426 |  7311298 |     2088   8137 |        0 |        0
970.68/971.13	c  971s |      25 |  9700674 |  7325098 |     2088   8149 |        0 |        0
972.68/973.14	c  973s |      25 |  9718289 |  7338298 |     2088   8162 |        0 |        0
974.68/975.14	c  975s |      25 |  9735585 |  7351798 |     2088   8174 |        0 |        0
976.68/977.15	c  977s |      25 |  9754759 |  7365998 |     2088   8187 |        0 |        0
978.68/979.15	c  979s |      25 |  9773479 |  7379698 |     2088   8200 |        0 |        0
980.67/981.16	c  981s |      25 |  9792749 |  7393498 |     2088   8213 |        0 |        0
982.67/983.16	c  983s |      25 |  9809838 |  7406298 |     2088   8225 |        0 |        0
984.67/985.17	c  985s |      25 |  9823930 |  7416998 |     2088   8235 |        0 |        0
986.67/987.17	c  987s |      25 |  9840627 |  7428998 |     2088   8246 |        0 |        0
988.67/989.18	c  989s |      25 |  9855011 |  7439998 |     2088   8256 |        0 |        0
990.68/991.19	c  991s |      25 |  9870111 |  7451398 |     2088   8267 |        0 |        0
992.67/993.19	c  993s |      25 |  9883880 |  7461998 |     2088   8277 |        0 |        0
994.67/995.19	c  995s |      25 |  9898197 |  7472698 |     2088   8287 |        0 |        0
996.77/997.21	c  997s |      25 |  9913372 |  7483798 |     2088   8297 |        0 |        0
998.77/999.22	c  999s |      25 |  9931087 |  7496498 |     2088   8309 |        0 |        0
1000.77/1001.22	c 1001s |      25 |  9947814 |  7508898 |     2088   8320 |        0 |        0
1002.77/1003.22	c 1003s |      25 |  9966281 |  7522798 |     2088   8333 |        0 |        0
1004.77/1005.23	c 1005s |      25 |  9986496 |  7537398 |     2088   8347 |        0 |        0
1006.77/1007.24	c 1007s |      25 | 10003402 |  7549898 |     2297   8357 |        0 |        0
1008.77/1009.25	c 1009s |      25 | 10017309 |  7560898 |     2297   8367 |        0 |        0
1010.77/1011.25	c 1011s |      25 | 10032427 |  7572898 |     2297   8377 |        0 |        0
1012.78/1013.26	c 1013s |      25 | 10050637 |  7585798 |     2297   8388 |        0 |        0
1014.57/1015.05	c 1015s |      26 | 10066517 |  7597752 |     2297   8398 |        0 |        0
1016.57/1017.05	c 1017s |      26 | 10084101 |  7611252 |     2297   8409 |        0 |        0
1018.57/1019.05	c 1019s |      26 | 10100266 |  7624052 |     2297   8419 |        0 |        0
1020.57/1021.06	c 1021s |      26 | 10119290 |  7637752 |     2297   8430 |        0 |        0
1022.58/1023.07	c 1023s |      26 | 10137957 |  7651652 |     2297   8442 |        0 |        0
1024.57/1025.08	c 1025s |      26 | 10154005 |  7664252 |     2297   8452 |        0 |        0
1026.57/1027.08	c 1027s |      26 | 10168520 |  7676252 |     2297   8462 |        0 |        0
1028.57/1029.08	c 1029s |      26 | 10189084 |  7691352 |     2297   8474 |        0 |        0
1030.57/1031.09	c 1031s |      26 | 10207243 |  7705152 |     2297   8485 |        0 |        0
1032.57/1033.09	c 1033s |      26 | 10224712 |  7718352 |     2297   8496 |        0 |        0
1034.67/1035.11	c 1035s |      26 | 10240875 |  7731152 |     2297   8507 |        0 |        0
1036.66/1037.12	c 1037s |      26 | 10258979 |  7744852 |     2297   8518 |        0 |        0
1038.66/1039.12	c 1039s |      26 | 10276815 |  7758752 |     2297   8529 |        0 |        0
1040.66/1041.13	c 1041s |      26 | 10295007 |  7772752 |     2297   8541 |        0 |        0
1042.66/1043.13	c 1043s |      26 | 10314305 |  7787152 |     2297   8552 |        0 |        0
1044.67/1045.14	c 1045s |      26 | 10328324 |  7798552 |     2297   8562 |        0 |        0
1046.66/1047.15	c 1047s |      26 | 10345068 |  7811252 |     2297   8572 |        0 |        0
1048.66/1049.16	c 1049s |      26 | 10362881 |  7824452 |     2297   8583 |        0 |        0
1050.66/1051.18	c 1051s |      26 | 10379877 |  7837252 |     2297   8594 |        0 |        0
1052.66/1053.18	c 1053s |      26 | 10396707 |  7849952 |     2297   8604 |        0 |        0
1054.66/1055.19	c 1055s |      26 | 10415352 |  7864152 |     2297   8616 |        0 |        0
1056.66/1057.19	c 1057s |      26 | 10432451 |  7877452 |     2297   8627 |        0 |        0
1058.76/1059.21	c 1059s |      26 | 10449692 |  7891152 |     2297   8638 |        0 |        0
1060.76/1061.21	c 1061s |      26 | 10467799 |  7904952 |     2297   8650 |        0 |        0
1062.77/1063.23	c 1063s |      26 | 10487149 |  7919452 |     2297   8661 |        0 |        0
1064.76/1065.24	c 1065s |      26 | 10505084 |  7933152 |     2297   8673 |        0 |        0
1066.76/1067.25	c 1067s |      26 | 10523832 |  7946852 |     2297   8684 |        0 |        0
1068.77/1069.26	c 1069s |      26 | 10541010 |  7959852 |     2297   8695 |        0 |        0
1070.76/1071.28	c 1071s |      26 | 10559989 |  7974052 |     2297   8707 |        0 |        0
1072.76/1073.28	c 1073s |      26 | 10579048 |  7988352 |     2297   8718 |        0 |        0
1074.76/1075.28	c 1075s |      26 | 10596613 |  8001652 |     2297   8729 |        0 |        0
1076.76/1077.29	c 1077s |      26 | 10615167 |  8015452 |     2297   8741 |        0 |        0
1078.77/1079.29	c 1079s |      26 | 10633607 |  8029152 |     2297   8752 |        0 |        0
1080.76/1081.30	c 1081s |      26 | 10652200 |  8042952 |     2297   8763 |        0 |        0
1082.86/1083.30	c 1083s |      26 | 10668265 |  8055252 |     2297   8774 |        0 |        0
1084.86/1085.32	c 1085s |      26 | 10686284 |  8068952 |     2297   8785 |        0 |        0
1086.86/1087.32	c 1087s |      26 | 10702421 |  8081252 |     2297   8795 |        0 |        0
1088.86/1089.33	c 1089s |      26 | 10718161 |  8093752 |     2297   8805 |        0 |        0
1090.86/1091.34	c 1091s |      26 | 10734393 |  8105852 |     2297   8815 |        0 |        0
1092.85/1093.34	c 1093s |      26 | 10751254 |  8118052 |     2297   8825 |        0 |        0
1094.85/1095.35	c 1095s |      26 | 10766398 |  8129752 |     2297   8835 |        0 |        0
1096.85/1097.36	c 1097s |      26 | 10782272 |  8141452 |     2297   8845 |        0 |        0
1098.85/1099.36	c 1099s |      26 | 10798850 |  8153452 |     2297   8855 |        0 |        0
1100.85/1101.37	c 1101s |      26 | 10816420 |  8165952 |     2297   8865 |        0 |        0
1102.86/1103.37	c 1103s |      26 | 10832531 |  8178052 |     2297   8875 |        0 |        0
1104.85/1105.37	c 1105s |      26 | 10848723 |  8190352 |     2297   8885 |        0 |        0
1106.86/1107.38	c 1107s |      26 | 10865973 |  8203052 |     2297   8896 |        0 |        0
1108.86/1109.40	c 1109s |      26 | 10881768 |  8215052 |     2297   8905 |        0 |        0
1110.96/1111.40	c 1111s |      26 | 10898821 |  8227952 |     2297   8916 |        0 |        0
1112.96/1113.40	c 1113s |      26 | 10914565 |  8240152 |     2297   8926 |        0 |        0
1114.96/1115.41	c 1115s |      26 | 10930564 |  8252252 |     2297   8936 |        0 |        0
1116.96/1117.42	c 1117s |      26 | 10946161 |  8264352 |     2297   8946 |        0 |        0
1118.96/1119.42	c 1119s |      26 | 10962452 |  8276552 |     2297   8956 |        0 |        0
1120.95/1121.43	c 1121s |      26 | 10979512 |  8288752 |     2297   8966 |        0 |        0
1122.95/1123.44	c 1123s |      26 | 10996732 |  8301452 |     2297   8977 |        0 |        0
1124.96/1125.44	c 1125s |      26 | 11013961 |  8314252 |     2297   8987 |        0 |        0
1126.95/1127.44	c 1127s |      26 | 11031283 |  8327152 |     2297   8998 |        0 |        0
1128.95/1129.45	c 1129s |      26 | 11048343 |  8339752 |     2297   9008 |        0 |        0
1130.95/1131.45	c 1131s |      26 | 11065815 |  8352452 |     2297   9019 |        0 |        0
1132.95/1133.45	c 1133s |      26 | 11082483 |  8364752 |     2297   9029 |        0 |        0
1134.95/1135.46	c 1135s |      26 | 11098862 |  8377152 |     2297   9039 |        0 |        0
1136.96/1137.47	c 1137s |      26 | 11114806 |  8389052 |     2297   9049 |        0 |        0
1138.95/1139.48	c 1139s |      26 | 11130216 |  8400852 |     2297   9058 |        0 |        0
1140.95/1141.49	c 1141s |      26 | 11145488 |  8412452 |     2297   9068 |        0 |        0
1143.05/1143.50	c 1143s |      26 | 11161621 |  8424552 |     2297   9078 |        0 |        0
1145.05/1145.51	c 1145s |      26 | 11176879 |  8435852 |     2297   9087 |        0 |        0
1147.04/1147.52	c 1147s |      26 | 11192207 |  8447352 |     2297   9097 |        0 |        0
1149.05/1149.53	c 1149s |      26 | 11207121 |  8458552 |     2297   9106 |        0 |        0
1151.04/1151.54	c 1151s |      26 | 11223981 |  8471052 |     2297   9116 |        0 |        0
1153.05/1153.55	c 1153s |      26 | 11239350 |  8482452 |     2297   9126 |        0 |        0
1155.05/1155.56	c 1155s |      26 | 11255862 |  8494652 |     2297   9136 |        0 |        0
1157.05/1157.57	c 1157s |      26 | 11271108 |  8506452 |     2297   9145 |        0 |        0
1159.05/1159.58	c 1159s |      26 | 11286582 |  8518652 |     2297   9155 |        0 |        0
1161.05/1161.58	c 1161s |      26 | 11304336 |  8531452 |     2297   9166 |        0 |        0
1163.05/1163.59	c 1163s |      26 | 11321571 |  8544452 |     2297   9177 |        0 |        0
1165.15/1165.60	c 1165s |      26 | 11338055 |  8556552 |     2297   9187 |        0 |        0
1167.15/1167.61	c 1167s |      26 | 11353786 |  8568852 |     2297   9197 |        0 |        0
1169.15/1169.62	c 1169s |      26 | 11369780 |  8581152 |     2297   9207 |        0 |        0
1171.15/1171.62	c 1171s |      26 | 11387225 |  8594052 |     2297   9217 |        0 |        0
1173.14/1173.63	c 1173s |      26 | 11404129 |  8606752 |     2297   9228 |        0 |        0
1175.14/1175.64	c 1175s |      26 | 11420999 |  8619452 |     2297   9238 |        0 |        0
1177.14/1177.65	c 1177s |      26 | 11436687 |  8631852 |     2297   9248 |        0 |        0
1179.14/1179.67	c 1179s |      26 | 11451911 |  8643852 |     2297   9258 |        0 |        0
1181.14/1181.68	c 1181s |      26 | 11467211 |  8656052 |     2297   9268 |        0 |        0
1183.15/1183.69	c 1183s |      26 | 11483861 |  8668852 |     2297   9279 |        0 |        0
1185.24/1185.71	c 1185s |      26 | 11499485 |  8680852 |     2297   9289 |        0 |        0
1187.24/1187.72	c 1187s |      26 | 11516593 |  8693852 |     2297   9299 |        0 |        0
1189.24/1189.73	c 1189s |      26 | 11532980 |  8706352 |     2297   9310 |        0 |        0
1191.24/1191.75	c 1191s |      26 | 11550256 |  8719152 |     2297   9320 |        0 |        0
1193.24/1193.75	c 1193s |      26 | 11567155 |  8732052 |     2297   9331 |        0 |        0
1195.24/1195.76	c 1195s |      26 | 11582940 |  8744352 |     2297   9341 |        0 |        0
1197.24/1197.77	c 1197s |      26 | 11599116 |  8756552 |     2297   9351 |        0 |        0
1199.24/1199.77	c 1199s |      26 | 11615880 |  8769152 |     2297   9362 |        0 |        0
1201.24/1201.77	c 1201s |      26 | 11632660 |  8781852 |     2297   9372 |        0 |        0
1203.24/1203.78	c 1203s |      26 | 11649626 |  8794652 |     2297   9383 |        0 |        0
1205.24/1205.78	c 1205s |      26 | 11666960 |  8807652 |     2297   9393 |        0 |        0
1207.23/1207.78	c 1207s |      26 | 11683120 |  8819752 |     2297   9403 |        0 |        0
1209.24/1209.79	c 1209s |      26 | 11699516 |  8832352 |     2297   9414 |        0 |        0
1211.34/1211.80	c 1211s |      26 | 11715595 |  8844252 |     2297   9424 |        0 |        0
1213.34/1213.81	c 1213s |      26 | 11731605 |  8856052 |     2297   9433 |        0 |        0
1215.34/1215.83	c 1215s |      26 | 11748208 |  8868052 |     2297   9443 |        0 |        0
1217.35/1217.84	c 1217s |      26 | 11765171 |  8880152 |     2297   9453 |        0 |        0
1219.34/1219.85	c 1219s |      26 | 11781497 |  8892652 |     2297   9463 |        0 |        0
1221.34/1221.85	c 1221s |      26 | 11797740 |  8904752 |     2297   9473 |        0 |        0
1223.34/1223.86	c 1223s |      26 | 11813849 |  8916852 |     2297   9484 |        0 |        0
1225.34/1225.86	c 1225s |      26 | 11830297 |  8929652 |     2297   9494 |        0 |        0
1227.34/1227.87	c 1227s |      26 | 11846564 |  8942252 |     2297   9505 |        0 |        0
1229.34/1229.88	c 1229s |      26 | 11863765 |  8954952 |     2297   9515 |        0 |        0
1231.34/1231.89	c 1231s |      26 | 11878654 |  8966652 |     2297   9525 |        0 |        0
1233.33/1233.89	c 1233s |      26 | 11893889 |  8978552 |     2297   9535 |        0 |        0
1235.43/1235.91	c 1235s |      26 | 11909841 |  8990552 |     2297   9544 |        0 |        0
1237.43/1237.91	c 1237s |      26 | 11925553 |  9002552 |     2297   9554 |        0 |        0
1239.43/1239.92	c 1239s |      26 | 11942924 |  9015252 |     2297   9565 |        0 |        0
1241.44/1241.93	c 1241s |      26 | 11956971 |  9026552 |     2297   9574 |        0 |        0
1243.43/1243.95	c 1243s |      26 | 11974325 |  9038852 |     2297   9584 |        0 |        0
1245.44/1245.96	c 1245s |      26 | 11990780 |  9050852 |     2297   9594 |        0 |        0
1247.44/1247.97	c 1247s |      26 | 12006168 |  9063252 |     2297   9604 |        0 |        0
1249.44/1249.98	c 1249s |      26 | 12021474 |  9075252 |     2297   9614 |        0 |        0
1251.44/1251.98	c 1251s |      26 | 12039018 |  9088352 |     2297   9625 |        0 |        0
1253.43/1253.99	c 1253s |      26 | 12054008 |  9100152 |     2297   9635 |        0 |        0
1255.53/1256.00	c 1255s |      26 | 12070386 |  9112152 |     2297   9644 |        0 |        0
1257.53/1258.00	c 1257s |      26 | 12086892 |  9124352 |     2297   9654 |        0 |        0
1259.53/1260.00	c 1259s |      26 | 12103117 |  9136752 |     2297   9665 |        0 |        0
1261.53/1262.01	c 1261s |      26 | 12119798 |  9149352 |     2297   9675 |        0 |        0
1263.54/1264.03	c 1264s |      26 | 12135335 |  9161652 |     2297   9685 |        0 |        0
1265.53/1266.03	c 1266s |      26 | 12151672 |  9173652 |     2297   9695 |        0 |        0
1267.53/1268.03	c 1268s |      26 | 12167839 |  9185852 |     2297   9705 |        0 |        0
1269.53/1270.04	c 1270s |      26 | 12183476 |  9198252 |     2297   9715 |        0 |        0
1271.53/1272.04	c 1272s |      26 | 12200705 |  9211052 |     2297   9726 |        0 |        0
1273.53/1274.04	c 1274s |      26 | 12218471 |  9224152 |     2297   9737 |        0 |        0
1275.54/1276.06	c 1276s |      26 | 12234425 |  9236352 |     2297   9747 |        0 |        0
1277.53/1278.07	c 1278s |      26 | 12252268 |  9249152 |     2297   9757 |        0 |        0
1279.53/1280.08	c 1280s |      26 | 12270148 |  9262152 |     2297   9768 |        0 |        0
1281.53/1282.08	c 1282s |      26 | 12286293 |  9274452 |     2297   9778 |        0 |        0
1283.53/1284.09	c 1284s |      26 | 12302848 |  9286552 |     2297   9788 |        0 |        0
1285.54/1286.09	c 1286s |      26 | 12319381 |  9298852 |     2297   9798 |        0 |        0
1287.53/1288.10	c 1288s |      26 | 12336112 |  9310452 |     2297   9808 |        0 |        0
1289.63/1290.10	c 1290s |      26 | 12352258 |  9322552 |     2297   9818 |        0 |        0
1291.63/1292.11	c 1292s |      26 | 12367060 |  9334052 |     2297   9827 |        0 |        0
1293.63/1294.11	c 1294s |      26 | 12382526 |  9345852 |     2297   9837 |        0 |        0
1295.63/1296.13	c 1296s |      26 | 12398618 |  9358052 |     2297   9847 |        0 |        0
1297.63/1298.14	c 1298s |      26 | 12415035 |  9370452 |     2297   9857 |        0 |        0
1299.63/1300.14	c 1300s |      26 | 12432538 |  9383352 |     2297   9868 |        0 |        0
1301.63/1302.14	c 1302s |      26 | 12450159 |  9396352 |     2297   9878 |        0 |        0
1303.62/1304.15	c 1304s |      26 | 12466840 |  9409052 |     2297   9889 |        0 |        0
1305.62/1306.16	c 1306s |      26 | 12484278 |  9422152 |     2297   9900 |        0 |        0
1307.62/1308.16	c 1308s |      26 | 12500808 |  9434652 |     2297   9910 |        0 |        0
1309.63/1310.17	c 1310s |      26 | 12517001 |  9446952 |     2297   9920 |        0 |        0
1311.62/1312.18	c 1312s |      26 | 12533377 |  9458852 |     2297   9930 |        0 |        0
1313.62/1314.19	c 1314s |      26 | 12550416 |  9471152 |     2297   9940 |        0 |        0
1315.72/1316.20	c 1316s |      26 | 12566671 |  9483352 |     2297   9950 |        0 |        0
1317.72/1318.22	c 1318s |      26 | 12582836 |  9496052 |     2297   9961 |        0 |        0
1319.72/1320.23	c 1320s |      26 | 12599983 |  9508852 |     2297   9971 |        0 |        0
1321.73/1322.24	c 1322s |      26 | 12615914 |  9521152 |     2297   9981 |        0 |        0
1323.72/1324.25	c 1324s |      26 | 12631850 |  9533252 |     2297   9992 |        0 |        0
1325.72/1326.26	c 1326s |      26 | 12650001 |  9546352 |     2297  10002 |        0 |        0
1327.72/1328.27	c 1328s |      26 | 12667223 |  9559052 |     2297  10013 |        0 |        0
1329.72/1330.29	c 1330s |      26 | 12683242 |  9571052 |     2297  10023 |        0 |        0
1331.82/1332.30	c 1332s |      26 | 12700982 |  9583552 |     2297  10033 |        0 |        0
1333.82/1334.31	c 1334s |      26 | 12716667 |  9595452 |     2297  10043 |        0 |        0
1335.82/1336.32	c 1336s |      26 | 12734300 |  9608152 |     2297  10053 |        0 |        0
1337.82/1338.33	c 1338s |      26 | 12749428 |  9619852 |     2297  10063 |        0 |        0
1339.82/1340.34	c 1340s |      26 | 12766153 |  9632552 |     2297  10073 |        0 |        0
1341.82/1342.35	c 1342s |      26 | 12782528 |  9645052 |     2297  10083 |        0 |        0
1343.83/1344.35	c 1344s |      26 | 12799607 |  9657752 |     2297  10094 |        0 |        0
1345.82/1346.36	c 1346s |      26 | 12816700 |  9670652 |     2297  10105 |        0 |        0
1347.82/1348.36	c 1348s |      26 | 12832533 |  9682852 |     2297  10115 |        0 |        0
1349.82/1350.38	c 1350s |      26 | 12849115 |  9695052 |     2297  10125 |        0 |        0
1351.92/1352.40	c 1352s |      26 | 12864680 |  9707052 |     2297  10134 |        0 |        0
1353.92/1354.40	c 1354s |      26 | 12878756 |  9718452 |     2297  10144 |        0 |        0
1355.92/1356.41	c 1356s |      26 | 12895441 |  9730352 |     2297  10154 |        0 |        0
1357.92/1358.42	c 1358s |      26 | 12912590 |  9742852 |     2297  10164 |        0 |        0
1359.92/1360.43	c 1360s |      26 | 12926806 |  9754252 |     2297  10173 |        0 |        0
1361.92/1362.44	c 1362s |      26 | 12943178 |  9766552 |     2297  10183 |        0 |        0
1363.91/1364.45	c 1364s |      26 | 12958115 |  9778352 |     2297  10193 |        0 |        0
1365.91/1366.46	c 1366s |      26 | 12974949 |  9790752 |     2297  10203 |        0 |        0
1367.92/1368.47	c 1368s |      26 | 12990619 |  9802552 |     2297  10213 |        0 |        0
1369.91/1370.47	c 1370s |      26 | 13005406 |  9813652 |     2297  10222 |        0 |        0
1371.91/1372.48	c 1372s |      26 | 13021631 |  9825552 |     2297  10232 |        0 |        0
1373.91/1374.49	c 1374s |      26 | 13038119 |  9838052 |     2297  10242 |        0 |        0
1375.91/1376.49	c 1376s |      26 | 13055145 |  9850752 |     2297  10253 |        0 |        0
1377.92/1378.49	c 1378s |      26 | 13072470 |  9863652 |     2297  10263 |        0 |        0
1379.91/1380.49	c 1380s |      26 | 13089107 |  9876552 |     2297  10274 |        0 |        0
1381.91/1382.49	c 1382s |      26 | 13106224 |  9889152 |     2297  10284 |        0 |        0
1383.91/1384.49	c 1384s |      26 | 13122341 |  9900952 |     2297  10294 |        0 |        0
1386.01/1386.50	c 1386s |      26 | 13140265 |  9913452 |     2297  10304 |        0 |        0
1388.02/1388.51	c 1388s |      26 | 13157120 |  9925952 |     2297  10315 |        0 |        0
1390.02/1390.51	c 1390s |      26 | 13173452 |  9938552 |     2297  10325 |        0 |        0
1392.02/1392.51	c 1392s |      26 | 13188159 |  9950252 |     2297  10335 |        0 |        0
1394.02/1394.52	c 1394s |      26 | 13204331 |  9962152 |     2297  10345 |        0 |        0
1396.01/1396.53	c 1396s |      26 | 13220339 |  9974152 |     2297  10355 |        0 |        0
1398.01/1398.55	c 1398s |      26 | 13238323 |  9986852 |     2297  10365 |        0 |        0
1400.01/1400.57	c 1400s |      26 | 13255437 |  9999652 |     2297  10376 |        0 |        0
1402.02/1402.58	c 1402s |      26 | 13272825 | 10012052 |     2297  10386 |        0 |        0
1404.01/1404.59	c 1404s |      26 | 13289092 | 10024652 |     2297  10396 |        0 |        0
1406.11/1406.60	c 1406s |      26 | 13305607 | 10036552 |     2297  10406 |        0 |        0
1408.11/1408.60	c 1408s |      26 | 13320399 | 10048352 |     2297  10416 |        0 |        0
1410.11/1410.60	c 1410s |      26 | 13337230 | 10060652 |     2297  10426 |        0 |        0
1412.11/1412.61	c 1412s |      26 | 13353460 | 10072852 |     2297  10436 |        0 |        0
1414.11/1414.61	c 1414s |      26 | 13370808 | 10085452 |     2297  10446 |        0 |        0
1416.10/1416.63	c 1416s |      26 | 13387663 | 10097852 |     2297  10456 |        0 |        0
1418.10/1418.64	c 1418s |      26 | 13403600 | 10109852 |     2297  10466 |        0 |        0
1420.10/1420.66	c 1420s |      26 | 13419650 | 10122252 |     2297  10476 |        0 |        0
1422.11/1422.68	c 1422s |      26 | 13438034 | 10135052 |     2297  10487 |        0 |        0
1424.21/1424.70	c 1424s |      26 | 13454033 | 10146852 |     2297  10496 |        0 |        0
1426.22/1426.71	c 1426s |      26 | 13470475 | 10159252 |     2297  10506 |        0 |        0
1428.21/1428.72	c 1428s |      26 | 13487143 | 10171652 |     2297  10517 |        0 |        0
1430.21/1430.73	c 1430s |      26 | 13504276 | 10184852 |     2297  10527 |        0 |        0
1432.21/1432.73	c 1432s |      26 | 13522091 | 10198152 |     2297  10538 |        0 |        0
1434.21/1434.74	c 1434s |      26 | 13539246 | 10211252 |     2297  10549 |        0 |        0
1436.21/1436.75	c 1436s |      26 | 13556225 | 10224252 |     2297  10560 |        0 |        0
1438.20/1438.76	c 1438s |      26 | 13573349 | 10237052 |     2297  10570 |        0 |        0
1440.20/1440.76	c 1440s |      26 | 13589786 | 10248752 |     2297  10580 |        0 |        0
1442.20/1442.76	c 1442s |      26 | 13604722 | 10260352 |     2297  10589 |        0 |        0
1444.20/1444.77	c 1444s |      26 | 13620807 | 10272452 |     2297  10599 |        0 |        0
1446.20/1446.78	c 1446s |      26 | 13636525 | 10284152 |     2297  10609 |        0 |        0
1448.21/1448.79	c 1448s |      26 | 13653352 | 10296452 |     2297  10619 |        0 |        0
1450.20/1450.80	c 1450s |      26 | 13670817 | 10309252 |     2297  10629 |        0 |        0
1452.30/1452.81	c 1452s |      26 | 13688021 | 10321752 |     2297  10640 |        0 |        0
1454.30/1454.81	c 1454s |      26 | 13704294 | 10333952 |     2297  10650 |        0 |        0
1456.30/1456.81	c 1456s |      26 | 13721695 | 10346552 |     2297  10660 |        0 |        0
1458.31/1458.82	c 1458s |      26 | 13739669 | 10359452 |     2297  10671 |        0 |        0
1460.31/1460.83	c 1460s |      26 | 13756237 | 10372252 |     2297  10681 |        0 |        0
1462.30/1462.84	c 1462s |      26 | 13775003 | 10386052 |     2297  10693 |        0 |        0
1464.30/1464.85	c 1464s |      26 | 13791819 | 10398352 |     2297  10703 |        0 |        0
1466.30/1466.85	c 1466s |      26 | 13808923 | 10410952 |     2297  10713 |        0 |        0
1468.30/1468.86	c 1468s |      26 | 13827026 | 10424552 |     2297  10725 |        0 |        0
1470.31/1470.86	c 1470s |      26 | 13843569 | 10436852 |     2297  10735 |        0 |        0
1472.30/1472.87	c 1472s |      26 | 13859521 | 10448952 |     2297  10745 |        0 |        0
1474.30/1474.89	c 1474s |      26 | 13876855 | 10461952 |     2297  10755 |        0 |        0
1476.30/1476.89	c 1476s |      26 | 13892142 | 10473952 |     2297  10765 |        0 |        0
1478.40/1478.91	c 1478s |      26 | 13909736 | 10486952 |     2297  10776 |        0 |        0
1480.40/1480.93	c 1480s |      26 | 13928662 | 10500352 |     2297  10787 |        0 |        0
1482.40/1482.94	c 1482s |      26 | 13946828 | 10513952 |     2297  10798 |        0 |        0
1484.40/1484.95	c 1484s |      26 | 13963127 | 10526552 |     2297  10809 |        0 |        0
1486.40/1486.96	c 1486s |      26 | 13980056 | 10539352 |     2297  10819 |        0 |        0
1488.39/1488.97	c 1488s |      26 | 13995194 | 10550952 |     2297  10829 |        0 |        0
1490.39/1490.98	c 1490s |      26 | 14012616 | 10563752 |     2297  10839 |        0 |        0
1492.39/1492.99	c 1492s |      26 | 14029289 | 10576052 |     2297  10850 |        0 |        0
1494.50/1495.01	c 1494s |      26 | 14046636 | 10588552 |     2297  10860 |        0 |        0
1496.49/1497.01	c 1496s |      26 | 14064557 | 10601852 |     2297  10871 |        0 |        0
1498.49/1499.03	c 1499s |      26 | 14081424 | 10614852 |     2297  10882 |        0 |        0
1500.49/1501.03	c 1501s |      26 | 14095039 | 10625252 |     2297  10890 |        0 |        0
1502.49/1503.04	c 1503s |      26 | 14112231 | 10638352 |     2297  10901 |        0 |        0
1504.49/1505.04	c 1505s |      26 | 14126736 | 10650352 |     2297  10911 |        0 |        0
1506.50/1507.06	c 1507s |      26 | 14142992 | 10662852 |     2297  10921 |        0 |        0
1508.50/1509.06	c 1509s |      26 | 14159436 | 10675352 |     2297  10932 |        0 |        0
1510.50/1511.06	c 1511s |      26 | 14176132 | 10687852 |     2297  10942 |        0 |        0
1512.50/1513.08	c 1513s |      26 | 14190912 | 10699652 |     2297  10952 |        0 |        0
1514.59/1515.10	c 1515s |      26 | 14206971 | 10711352 |     2297  10961 |        0 |        0
1516.59/1517.11	c 1517s |      26 | 14224490 | 10724252 |     2297  10972 |        0 |        0
1518.60/1519.11	c 1519s |      26 | 14241559 | 10736852 |     2297  10982 |        0 |        0
1520.59/1521.12	c 1521s |      26 | 14259408 | 10750052 |     2297  10993 |        0 |        0
1522.59/1523.13	c 1523s |      26 | 14276058 | 10762452 |     2297  11004 |        0 |        0
1524.59/1525.13	c 1525s |      26 | 14292008 | 10774752 |     2297  11014 |        0 |        0
1526.59/1527.14	c 1527s |      26 | 14308936 | 10787352 |     2297  11024 |        0 |        0
1528.59/1529.14	c 1529s |      26 | 14325531 | 10799852 |     2297  11034 |        0 |        0
1530.59/1531.16	c 1531s |      26 | 14344077 | 10813252 |     2297  11046 |        0 |        0
1532.59/1533.17	c 1533s |      26 | 14360874 | 10825552 |     2297  11056 |        0 |        0
1534.59/1535.17	c 1535s |      26 | 14377995 | 10837652 |     2297  11066 |        0 |        0
1536.59/1537.18	c 1537s |      26 | 14396159 | 10850552 |     2297  11076 |        0 |        0
1538.58/1539.18	c 1539s |      26 | 14414003 | 10863552 |     2297  11087 |        0 |        0
1540.60/1541.18	c 1541s |      26 | 14431329 | 10876552 |     2297  11098 |        0 |        0
1542.69/1543.20	c 1543s |      26 | 14448412 | 10889552 |     2297  11109 |        0 |        0
1544.69/1545.21	c 1545s |      26 | 14466253 | 10902852 |     2297  11120 |        0 |        0
1546.69/1547.22	c 1547s |      26 | 14484793 | 10916352 |     2297  11131 |        0 |        0
1548.69/1549.22	c 1549s |      26 | 14501748 | 10928452 |     2297  11141 |        0 |        0
1550.69/1551.22	c 1551s |      26 | 14517978 | 10940952 |     2297  11151 |        0 |        0
1552.70/1553.23	c 1553s |      26 | 14533843 | 10953052 |     2297  11161 |        0 |        0
1554.69/1555.25	c 1555s |      26 | 14550555 | 10965652 |     2297  11172 |        0 |        0
1556.69/1557.26	c 1557s |      26 | 14566424 | 10978152 |     2297  11182 |        0 |        0
1558.69/1559.27	c 1559s |      26 | 14584066 | 10991352 |     2297  11193 |        0 |        0
1560.69/1561.27	c 1561s |      26 | 14600769 | 11004052 |     2297  11203 |        0 |        0
1562.79/1563.30	c 1563s |      26 | 14617509 | 11016552 |     2297  11214 |        0 |        0
1564.69/1565.30	c 1565s |      26 | 14633804 | 11028452 |     2297  11223 |        0 |        0
1566.79/1567.31	c 1567s |      26 | 14650517 | 11040652 |     2297  11233 |        0 |        0
1568.78/1569.32	c 1569s |      26 | 14665952 | 11052852 |     2297  11243 |        0 |        0
1570.78/1571.32	c 1571s |      26 | 14682848 | 11065752 |     2297  11254 |        0 |        0
1572.78/1573.34	c 1573s |      26 | 14701199 | 11079252 |     2297  11265 |        0 |        0
1574.79/1575.35	c 1575s |      26 | 14718206 | 11092252 |     2297  11276 |        0 |        0
1576.78/1577.36	c 1577s |      26 | 14732640 | 11103852 |     2297  11286 |        0 |        0
1578.78/1579.36	c 1579s |      26 | 14748649 | 11115852 |     2297  11295 |        0 |        0
1580.78/1581.38	c 1581s |      26 | 14764602 | 11127852 |     2297  11305 |        0 |        0
1582.78/1583.38	c 1583s |      26 | 14780555 | 11139952 |     2297  11315 |        0 |        0
1584.78/1585.39	c 1585s |      26 | 14796584 | 11152452 |     2297  11326 |        0 |        0
1586.79/1587.40	c 1587s |      26 | 14812831 | 11164652 |     2297  11336 |        0 |        0
1588.88/1589.40	c 1589s |      26 | 14829471 | 11177052 |     2297  11346 |        0 |        0
1590.88/1591.40	c 1591s |      26 | 14845779 | 11189652 |     2297  11356 |        0 |        0
1592.88/1593.42	c 1593s |      26 | 14861529 | 11201752 |     2297  11366 |        0 |        0
1594.88/1595.43	c 1595s |      26 | 14877669 | 11214252 |     2297  11377 |        0 |        0
1596.88/1597.44	c 1597s |      26 | 14893740 | 11226452 |     2297  11387 |        0 |        0
1598.88/1599.45	c 1599s |      26 | 14911326 | 11239052 |     2297  11397 |        0 |        0
1600.88/1601.46	c 1601s |      26 | 14927059 | 11250752 |     2297  11407 |        0 |        0
1602.87/1603.46	c 1603s |      26 | 14943612 | 11263352 |     2297  11417 |        0 |        0
1604.87/1605.48	c 1605s |      26 | 14959888 | 11275352 |     2297  11427 |        0 |        0
1606.87/1607.48	c 1607s |      26 | 14975914 | 11287152 |     2297  11437 |        0 |        0
1608.88/1609.49	c 1609s |      26 | 14992228 | 11299252 |     2297  11447 |        0 |        0
1610.87/1611.50	c 1611s |      26 | 15007107 | 11311252 |     2297  11457 |        0 |        0
1612.98/1613.51	c 1613s |      26 | 15023919 | 11323852 |     2527  11466 |        0 |        0
1614.98/1615.51	c 1615s |      26 | 15039617 | 11336252 |     2527  11476 |        0 |        0
1616.98/1617.52	c 1617s |      26 | 15055420 | 11348152 |     2527  11485 |        0 |        0
1618.98/1619.55	c 1619s |      26 | 15071586 | 11360452 |     2527  11494 |        0 |        0
1620.99/1621.55	c 1621s |      26 | 15088064 | 11372752 |     2527  11503 |        0 |        0
1622.98/1623.56	c 1623s |      26 | 15104470 | 11384552 |     2527  11512 |        0 |        0
1624.98/1625.57	c 1625s |      26 | 15120084 | 11396152 |     2527  11521 |        0 |        0
1625.08/1625.67	c 1625s |      27 | 15120797 | 11396733 |     2527  11521 |        0 |        0
1627.08/1627.67	c 1627s |      27 | 15137393 | 11409433 |     2527  11530 |        0 |        0
1629.08/1629.68	c 1629s |      27 | 15154833 | 11422433 |     2527  11540 |        0 |        0
1631.08/1631.69	c 1631s |      27 | 15169959 | 11434133 |     2527  11549 |        0 |        0
1633.18/1633.70	c 1633s |      27 | 15184746 | 11445133 |     2527  11558 |        0 |        0
1635.18/1635.70	c 1635s |      27 | 15204279 | 11459633 |     2527  11569 |        0 |        0
1637.18/1637.71	c 1637s |      27 | 15221472 | 11472933 |     2527  11579 |        0 |        0
1639.18/1639.71	c 1639s |      27 | 15240964 | 11487133 |     2527  11590 |        0 |        0
1641.18/1641.73	c 1641s |      27 | 15259226 | 11501033 |     2527  11600 |        0 |        0
1643.18/1643.73	c 1643s |      27 | 15276638 | 11514433 |     2527  11610 |        0 |        0
1645.18/1645.73	c 1645s |      27 | 15293835 | 11527533 |     2527  11620 |        0 |        0
1647.17/1647.73	c 1647s |      27 | 15310192 | 11540033 |     2527  11630 |        0 |        0
1649.17/1649.74	c 1649s |      27 | 15325873 | 11552333 |     2527  11639 |        0 |        0
1651.17/1651.74	c 1651s |      27 | 15342167 | 11565033 |     2527  11649 |        0 |        0
1653.17/1653.75	c 1653s |      27 | 15359083 | 11577733 |     2527  11659 |        0 |        0
1655.17/1655.76	c 1655s |      27 | 15376118 | 11590333 |     2527  11668 |        0 |        0
1657.18/1657.76	c 1657s |      27 | 15393545 | 11603233 |     2527  11678 |        0 |        0
1659.17/1659.78	c 1659s |      27 | 15410778 | 11616333 |     2527  11688 |        0 |        0
1661.17/1661.78	c 1661s |      27 | 15427077 | 11628533 |     2527  11698 |        0 |        0
1663.17/1663.79	c 1663s |      27 | 15444961 | 11641933 |     2527  11708 |        0 |        0
1665.17/1665.79	c 1665s |      27 | 15461546 | 11654533 |     2527  11718 |        0 |        0
1667.27/1667.80	c 1667s |      27 | 15478228 | 11667133 |     2527  11727 |        0 |        0
1669.27/1669.81	c 1669s |      27 | 15493991 | 11679033 |     2527  11737 |        0 |        0
1671.27/1671.82	c 1671s |      27 | 15510667 | 11691533 |     2527  11746 |        0 |        0
1673.26/1673.83	c 1673s |      27 | 15527712 | 11704033 |     2527  11756 |        0 |        0
1675.26/1675.84	c 1675s |      27 | 15544242 | 11716933 |     2527  11766 |        0 |        0
1677.26/1677.85	c 1677s |      27 | 15561479 | 11730233 |     2527  11776 |        0 |        0
1679.27/1679.85	c 1679s |      27 | 15577690 | 11742833 |     2527  11786 |        0 |        0
1681.26/1681.86	c 1681s |      27 | 15595179 | 11755733 |     2527  11796 |        0 |        0
1683.26/1683.86	c 1683s |      27 | 15610251 | 11768033 |     2527  11805 |        0 |        0
1685.26/1685.86	c 1685s |      27 | 15627121 | 11780833 |     2527  11815 |        0 |        0
1687.27/1687.88	c 1687s |      27 | 15644306 | 11794433 |     2527  11825 |        0 |        0
1689.27/1689.88	c 1689s |      27 | 15662529 | 11807933 |     2527  11836 |        0 |        0
1691.28/1691.90	c 1691s |      27 | 15679605 | 11820633 |     2527  11846 |        0 |        0
1693.37/1693.90	c 1693s |      27 | 15696320 | 11832933 |     2527  11855 |        0 |        0
1695.37/1695.91	c 1695s |      27 | 15712519 | 11845433 |     2527  11865 |        0 |        0
1697.37/1697.92	c 1697s |      27 | 15728703 | 11857933 |     2527  11874 |        0 |        0
1699.36/1699.93	c 1699s |      27 | 15745302 | 11870533 |     2527  11884 |        0 |        0
1701.36/1701.94	c 1701s |      27 | 15763019 | 11883833 |     2527  11894 |        0 |        0
1703.37/1703.94	c 1703s |      27 | 15779865 | 11896633 |     2527  11904 |        0 |        0
1705.36/1705.95	c 1705s |      27 | 15798716 | 11910433 |     2527  11915 |        0 |        0
1707.36/1707.95	c 1707s |      27 | 15814946 | 11922933 |     2527  11924 |        0 |        0
1709.36/1709.96	c 1709s |      27 | 15831281 | 11935433 |     2527  11934 |        0 |        0
1711.36/1711.96	c 1711s |      27 | 15848540 | 11948533 |     2527  11944 |        0 |        0
1713.37/1713.96	c 1713s |      27 | 15864069 | 11960633 |     2527  11953 |        0 |        0
1715.36/1715.97	c 1715s |      27 | 15877333 | 11971733 |     2527  11962 |        0 |        0
1717.36/1717.98	c 1717s |      27 | 15891855 | 11983233 |     2527  11971 |        0 |        0
1719.36/1719.99	c 1719s |      27 | 15906541 | 11994533 |     2527  11979 |        0 |        0
1721.36/1721.99	c 1721s |      27 | 15921923 | 12006533 |     2527  11988 |        0 |        0
1723.36/1724.00	c 1723s |      27 | 15936643 | 12018033 |     2527  11997 |        0 |        0
1725.36/1726.00	c 1725s |      27 | 15952417 | 12030533 |     2527  12006 |        0 |        0
1727.46/1728.01	c 1727s |      27 | 15967643 | 12042633 |     2527  12016 |        0 |        0
1729.46/1730.03	c 1730s |      27 | 15983613 | 12055033 |     2527  12025 |        0 |        0
1731.45/1732.04	c 1732s |      27 | 16001115 | 12068133 |     2527  12035 |        0 |        0
1733.46/1734.04	c 1734s |      27 | 16017508 | 12080533 |     2527  12044 |        0 |        0
1735.46/1736.06	c 1736s |      27 | 16035212 | 12093333 |     2527  12054 |        0 |        0
1737.47/1738.07	c 1738s |      27 | 16052881 | 12106033 |     2527  12064 |        0 |        0
1739.46/1740.07	c 1740s |      27 | 16069302 | 12119033 |     2527  12074 |        0 |        0
1741.46/1742.08	c 1742s |      27 | 16087241 | 12131933 |     2527  12084 |        0 |        0
1743.46/1744.09	c 1744s |      27 | 16103535 | 12144433 |     2527  12093 |        0 |        0
1745.56/1746.11	c 1746s |      27 | 16120870 | 12157433 |     2527  12103 |        0 |        0
1747.56/1748.12	c 1748s |      27 | 16137040 | 12169633 |     2527  12113 |        0 |        0
1749.57/1750.12	c 1750s |      27 | 16154913 | 12182833 |     2527  12123 |        0 |        0
1751.56/1752.13	c 1752s |      27 | 16170373 | 12194633 |     2527  12132 |        0 |        0
1753.56/1754.13	c 1754s |      27 | 16188455 | 12208033 |     2527  12142 |        0 |        0
1755.56/1756.14	c 1756s |      27 | 16206505 | 12221433 |     2527  12152 |        0 |        0
1757.56/1758.15	c 1758s |      27 | 16224763 | 12234633 |     2527  12163 |        0 |        0
1759.56/1760.15	c 1760s |      27 | 16242621 | 12247633 |     2527  12173 |        0 |        0
1761.56/1762.15	c 1762s |      27 | 16259549 | 12260433 |     2527  12182 |        0 |        0
1763.56/1764.16	c 1764s |      27 | 16277286 | 12273133 |     2527  12192 |        0 |        0
1765.55/1766.16	c 1766s |      27 | 16295100 | 12286433 |     2527  12202 |        0 |        0
1767.55/1768.17	c 1768s |      27 | 16312726 | 12299833 |     2527  12213 |        0 |        0
1769.55/1770.19	c 1770s |      27 | 16329053 | 12312933 |     2527  12223 |        0 |        0
1771.56/1772.20	c 1772s |      27 | 16347205 | 12326933 |     2527  12233 |        0 |        0
1773.65/1774.21	c 1774s |      27 | 16363869 | 12339533 |     2527  12243 |        0 |        0
1775.65/1776.22	c 1776s |      27 | 16380707 | 12352233 |     2527  12253 |        0 |        0
1777.65/1778.23	c 1778s |      27 | 16398349 | 12365233 |     2527  12263 |        0 |        0
1779.65/1780.24	c 1780s |      27 | 16417130 | 12378433 |     2527  12273 |        0 |        0
1781.65/1782.25	c 1782s |      27 | 16434165 | 12391333 |     2527  12283 |        0 |        0
1783.66/1784.26	c 1784s |      27 | 16451495 | 12404333 |     2527  12293 |        0 |        0
1785.65/1786.28	c 1786s |      27 | 16467382 | 12416933 |     2527  12303 |        0 |        0
1787.65/1788.28	c 1788s |      27 | 16484129 | 12430033 |     2527  12313 |        0 |        0
1789.66/1790.29	c 1790s |      27 | 16500090 | 12442433 |     2527  12322 |        0 |        0
1791.75/1792.30	c 1792s |      27 | 16517997 | 12455633 |     2527  12332 |        0 |        0
1793.75/1794.30	c 1794s |      27 | 16535707 | 12469033 |     2527  12343 |        0 |        0
1795.76/1796.31	c 1796s |      27 | 16553236 | 12482033 |     2527  12353 |        0 |        0
1797.75/1798.31	c 1798s |      27 | 16571303 | 12495433 |     2527  12363 |        0 |        0
1799.75/1800.32	c 1800s |      27 | 16588954 | 12508433 |     2527  12373 |        0 |        0

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

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

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


[startup+0 s]
/proc/loadavg: 2.45 2.30 2.27 3/179 24810
/proc/meminfo: memFree=27227484/32872528 swapFree=1459604/1655828
[pid=24810] ppid=24807 vsize=694852 CPUtime=0 cores=1,3,5,7
/proc/24810/stat : 24810 (toysat) R 24807 24810 22681 0 -1 4202496 2590 0 0 0 0 0 0 0 20 0 4 0 12624585 711528448 2950 33554432000 4194304 16246674 140735625751472 140735625750896 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24810/statm: 174481 2958 442 2943 0 171375 0
[pid=24810/tid=24811] ppid=24807 vsize=713284 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24811/stat : 24811 (toysat) S 24807 24810 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12624585 730402816 3022 33554432000 4194304 16246674 140735625751472 140088504724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24810/tid=24812] ppid=24807 vsize=717380 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24812/stat : 24812 (toysat) S 24807 24810 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12624585 734597120 3038 33554432000 4194304 16246674 140735625751472 140088494234864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24810/tid=24813] ppid=24807 vsize=722500 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24813/stat : 24813 (toysat) S 24807 24810 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12624586 739840000 3055 33554432000 4194304 16246674 140735625751472 140088411417776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100163 s]
/proc/loadavg: 2.45 2.30 2.27 3/179 24810
/proc/meminfo: memFree=27227484/32872528 swapFree=1459604/1655828
[pid=24810] ppid=24807 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/24810/stat : 24810 (toysat) R 24807 24810 22681 0 -1 4202496 24848 0 0 0 6 3 0 0 20 0 4 0 12624585 1247350784 25198 33554432000 4194304 16246674 140735625751472 140735625750896 5665836 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24810/statm: 304529 25200 708 2943 0 301423 0
[pid=24810/tid=24811] ppid=24807 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24811/stat : 24811 (toysat) S 24807 24810 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12624585 1247350784 25206 33554432000 4194304 16246674 140735625751472 140088504724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24810/tid=24812] ppid=24807 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24812/stat : 24812 (toysat) S 24807 24810 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12624585 1247350784 25210 33554432000 4194304 16246674 140735625751472 140088494234864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24810/tid=24813] ppid=24807 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24813/stat : 24813 (toysat) S 24807 24810 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12624586 1247350784 25217 33554432000 4194304 16246674 140735625751472 140088411417776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200549 s]
/proc/loadavg: 2.45 2.30 2.27 3/179 24810
/proc/meminfo: memFree=27227484/32872528 swapFree=1459604/1655828
[pid=24810] ppid=24807 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/24810/stat : 24810 (toysat) R 24807 24810 22681 0 -1 4202496 47379 0 0 0 13 6 0 0 20 0 4 0 12624585 1247350784 47728 33554432000 4194304 16246674 140735625751472 140735625750896 5661217 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24810/statm: 304529 47740 708 2943 0 301423 0
[pid=24810/tid=24811] ppid=24807 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24811/stat : 24811 (toysat) S 24807 24810 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12624585 1247350784 47746 33554432000 4194304 16246674 140735625751472 140088504724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24810/tid=24812] ppid=24807 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24812/stat : 24812 (toysat) S 24807 24810 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12624585 1247350784 47754 33554432000 4194304 16246674 140735625751472 140088494234864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24810/tid=24813] ppid=24807 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24813/stat : 24813 (toysat) S 24807 24810 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12624586 1247350784 47760 33554432000 4194304 16246674 140735625751472 140088411417776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300504 s]
/proc/loadavg: 2.45 2.30 2.27 3/179 24810
/proc/meminfo: memFree=27227484/32872528 swapFree=1459604/1655828
[pid=24810] ppid=24807 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/24810/stat : 24810 (toysat) R 24807 24810 22681 0 -1 4202496 69963 0 0 0 20 9 0 0 20 0 4 0 12624585 1247350784 70313 33554432000 4194304 16246674 140735625751472 140735625750896 6023792 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24810/statm: 304529 70326 708 2943 0 301423 0
[pid=24810/tid=24811] ppid=24807 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24811/stat : 24811 (toysat) S 24807 24810 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12624585 1247350784 70333 33554432000 4194304 16246674 140735625751472 140088504724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24810/tid=24812] ppid=24807 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24812/stat : 24812 (toysat) S 24807 24810 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12624585 1247350784 70338 33554432000 4194304 16246674 140735625751472 140088494234864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24810/tid=24813] ppid=24807 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24813/stat : 24813 (toysat) S 24807 24810 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12624586 1247350784 70345 33554432000 4194304 16246674 140735625751472 140088411417776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700417 s]
/proc/loadavg: 2.45 2.30 2.27 3/179 24810
/proc/meminfo: memFree=27227484/32872528 swapFree=1459604/1655828
[pid=24810] ppid=24807 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/24810/stat : 24810 (toysat) R 24807 24810 22681 0 -1 4202496 158455 0 0 0 49 20 0 0 20 0 4 0 12624585 1247350784 158804 33554432000 4194304 16246674 140735625751472 140735625750896 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24810/statm: 304529 158814 708 2943 0 301423 0
[pid=24810/tid=24811] ppid=24807 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24811/stat : 24811 (toysat) S 24807 24810 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12624585 1247350784 158819 33554432000 4194304 16246674 140735625751472 140088504724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24810/tid=24812] ppid=24807 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24812/stat : 24812 (toysat) S 24807 24810 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12624585 1247350784 158825 33554432000 4194304 16246674 140735625751472 140088494234864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24810/tid=24813] ppid=24807 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24813/stat : 24813 (toysat) S 24807 24810 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12624586 1247350784 158832 33554432000 4194304 16246674 140735625751472 140088411417776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.45 2.30 2.27 3/183 24814
/proc/meminfo: memFree=26244084/32872528 swapFree=1459604/1655828
[pid=24810] ppid=24807 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/24810/stat : 24810 (toysat) R 24807 24810 22681 0 -1 4202496 245697 0 0 0 116 33 0 0 20 0 4 0 12624585 1248399360 246026 33554432000 4194304 16246674 140735625751472 140735625733376 5546173 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24810/statm: 304785 246026 784 2943 0 301679 0
[pid=24810/tid=24811] ppid=24807 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24811/stat : 24811 (toysat) S 24807 24810 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12624585 1248399360 246026 33554432000 4194304 16246674 140735625751472 140088504724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24810/tid=24812] ppid=24807 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24812/stat : 24812 (toysat) S 24807 24810 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12624585 1248399360 246026 33554432000 4194304 16246674 140735625751472 140088494234864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24810/tid=24813] ppid=24807 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24813/stat : 24813 (toysat) S 24807 24810 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12624586 1248399360 246026 33554432000 4194304 16246674 140735625751472 140088411417776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10043 s]
/proc/loadavg: 2.45 2.30 2.27 3/183 24814
/proc/meminfo: memFree=26157880/32872528 swapFree=1459604/1655828
[pid=24810] ppid=24807 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/24810/stat : 24810 (toysat) R 24807 24810 22681 0 -1 4202496 267415 0 0 0 274 35 0 0 20 0 4 0 12624585 1337528320 267744 33554432000 4194304 16246674 140735625751472 140735625734472 5722908 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24810/statm: 326545 267744 784 2943 0 323439 0
[pid=24810/tid=24811] ppid=24807 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24811/stat : 24811 (toysat) S 24807 24810 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12624585 1337528320 267744 33554432000 4194304 16246674 140735625751472 140088504724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24810/tid=24812] ppid=24807 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24812/stat : 24812 (toysat) S 24807 24810 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12624585 1337528320 267744 33554432000 4194304 16246674 140735625751472 140088494234864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24810/tid=24813] ppid=24807 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24813/stat : 24813 (toysat) S 24807 24810 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12624586 1337528320 267744 33554432000 4194304 16246674 140735625751472 140088411417776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.3004 s]
/proc/loadavg: 2.41 2.29 2.27 3/183 24814
/proc/meminfo: memFree=26156232/32872528 swapFree=1459604/1655828
[pid=24810] ppid=24807 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/24810/stat : 24810 (toysat) R 24807 24810 22681 0 -1 4202496 267516 0 0 0 594 35 0 0 20 0 4 0 12624585 1337528320 267845 33554432000 4194304 16246674 140735625751472 140735625734472 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24810/statm: 326545 267845 785 2943 0 323439 0
[pid=24810/tid=24811] ppid=24807 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24811/stat : 24811 (toysat) S 24807 24810 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12624585 1337528320 267845 33554432000 4194304 16246674 140735625751472 140088504724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24810/tid=24812] ppid=24807 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24812/stat : 24812 (toysat) S 24807 24810 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12624585 1337528320 267845 33554432000 4194304 16246674 140735625751472 140088494234864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24810/tid=24813] ppid=24807 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24813/stat : 24813 (toysat) S 24807 24810 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12624586 1337528320 267845 33554432000 4194304 16246674 140735625751472 140088411417776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.46 2.30 2.27 3/183 24814
/proc/meminfo: memFree=26155920/32872528 swapFree=1459604/1655828
[pid=24810] ppid=24807 vsize=1308228 CPUtime=12.69 cores=1,3,5,7
/proc/24810/stat : 24810 (toysat) R 24807 24810 22681 0 -1 4202496 267903 0 0 0 1233 36 0 0 20 0 4 0 12624585 1339625472 268232 33554432000 4194304 16246674 140735625751472 140735625733376 12483317 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24810/statm: 327057 268232 787 2943 0 323951 0
[pid=24810/tid=24811] ppid=24807 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24811/stat : 24811 (toysat) S 24807 24810 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12624585 1339625472 268232 33554432000 4194304 16246674 140735625751472 140088504724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24810/tid=24812] ppid=24807 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24812/stat : 24812 (toysat) S 24807 24810 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12624585 1339625472 268232 33554432000 4194304 16246674 140735625751472 140088494234864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24810/tid=24813] ppid=24807 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24813/stat : 24813 (toysat) S 24807 24810 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12624586 1339625472 268232 33554432000 4194304 16246674 140735625751472 140088411417776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.35 2.29 2.27 3/183 24814
/proc/meminfo: memFree=26154464/32872528 swapFree=1459604/1655828
[pid=24810] ppid=24807 vsize=1308228 CPUtime=25.49 cores=1,3,5,7
/proc/24810/stat : 24810 (toysat) R 24807 24810 22681 0 -1 4202496 268081 0 0 0 2513 36 0 0 20 0 4 0 12624585 1339625472 268410 33554432000 4194304 16246674 140735625751472 140735625733376 13962576 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24810/statm: 327057 268410 787 2943 0 323951 0
[pid=24810/tid=24811] ppid=24807 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24811/stat : 24811 (toysat) S 24807 24810 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12624585 1339625472 268410 33554432000 4194304 16246674 140735625751472 140088504724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24810/tid=24812] ppid=24807 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24812/stat : 24812 (toysat) S 24807 24810 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12624585 1339625472 268410 33554432000 4194304 16246674 140735625751472 140088494234864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24810/tid=24813] ppid=24807 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24813/stat : 24813 (toysat) S 24807 24810 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12624586 1339625472 268410 33554432000 4194304 16246674 140735625751472 140088411417776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1308228

[startup+51.1005 s]
/proc/loadavg: 2.37 2.30 2.27 4/183 24814
/proc/meminfo: memFree=26154440/32872528 swapFree=1459604/1655828
[pid=24810] ppid=24807 vsize=1308228 CPUtime=51.08 cores=1,3,5,7
/proc/24810/stat : 24810 (toysat) R 24807 24810 22681 0 -1 4202496 268081 0 0 0 5072 36 0 0 20 0 4 0 12624585 1339625472 268410 33554432000 4194304 16246674 140735625751472 140735625734472 5666933 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24810/statm: 327057 268410 787 2943 0 323951 0
[pid=24810/tid=24811] ppid=24807 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24811/stat : 24811 (toysat) S 24807 24810 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12624585 1339625472 268410 33554432000 4194304 16246674 140735625751472 140088504724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24810/tid=24812] ppid=24807 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24812/stat : 24812 (toysat) S 24807 24810 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12624585 1339625472 268410 33554432000 4194304 16246674 140735625751472 140088494234864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24810/tid=24813] ppid=24807 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24813/stat : 24813 (toysat) S 24807 24810 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12624586 1339625472 268410 33554432000 4194304 16246674 140735625751472 140088411417776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1308228

[startup+102.301 s]
/proc/loadavg: 2.35 2.30 2.27 3/184 24819
/proc/meminfo: memFree=26153376/32872528 swapFree=1459604/1655828
[pid=24810] ppid=24807 vsize=1309252 CPUtime=102.28 cores=1,3,5,7
/proc/24810/stat : 24810 (toysat) R 24807 24810 22681 0 -1 4202496 268278 0 0 0 10191 37 0 0 20 0 4 0 12624585 1340674048 268607 33554432000 4194304 16246674 140735625751472 140735625733376 5672257 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24810/statm: 327313 268607 787 2943 0 324207 0
[pid=24810/tid=24811] ppid=24807 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24811/stat : 24811 (toysat) S 24807 24810 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12624585 1340674048 268607 33554432000 4194304 16246674 140735625751472 140088504724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24810/tid=24812] ppid=24807 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24812/stat : 24812 (toysat) S 24807 24810 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12624585 1340674048 268607 33554432000 4194304 16246674 140735625751472 140088494234864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24810/tid=24813] ppid=24807 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24813/stat : 24813 (toysat) S 24807 24810 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12624586 1340674048 268607 33554432000 4194304 16246674 140735625751472 140088411417776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1309252


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

/proc/24810/task/24813/stat : 24813 (toysat) S 24807 24810 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12624586 1343819776 269691 33554432000 4194304 16246674 140735625751472 140088411417776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 1312324

[startup+1302.3 s]
/proc/loadavg: 1.21 1.50 1.90 2/174 24901
/proc/meminfo: memFree=27245740/32872528 swapFree=1459604/1655828
[pid=24810] ppid=24807 vsize=1312324 CPUtime=1301.83 cores=1,3,5,7
/proc/24810/stat : 24810 (toysat) R 24807 24810 22681 0 -1 4202496 269540 0 0 0 130121 62 0 0 20 0 4 0 12624585 1343819776 269691 33554432000 4194304 16246674 140735625751472 140735625734472 6071861 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24810/statm: 328081 269691 788 2943 0 324975 0
[pid=24810/tid=24811] ppid=24807 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24811/stat : 24811 (toysat) S 24807 24810 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12624585 1343819776 269691 33554432000 4194304 16246674 140735625751472 140088504724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24810/tid=24812] ppid=24807 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24812/stat : 24812 (toysat) S 24807 24810 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12624585 1343819776 269691 33554432000 4194304 16246674 140735625751472 140088494234864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24810/tid=24813] ppid=24807 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24813/stat : 24813 (toysat) S 24807 24810 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12624586 1343819776 269691 33554432000 4194304 16246674 140735625751472 140088411417776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1312324

[startup+1362.3 s]
/proc/loadavg: 1.13 1.42 1.85 2/173 24903
/proc/meminfo: memFree=27245512/32872528 swapFree=1459604/1655828
[pid=24810] ppid=24807 vsize=1312324 CPUtime=1361.82 cores=1,3,5,7
/proc/24810/stat : 24810 (toysat) R 24807 24810 22681 0 -1 4202496 269540 0 0 0 136119 63 0 0 20 0 4 0 12624585 1343819776 269691 33554432000 4194304 16246674 140735625751472 140735625733376 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24810/statm: 328081 269691 788 2943 0 324975 0
[pid=24810/tid=24811] ppid=24807 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24811/stat : 24811 (toysat) S 24807 24810 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12624585 1343819776 269691 33554432000 4194304 16246674 140735625751472 140088504724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24810/tid=24812] ppid=24807 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24812/stat : 24812 (toysat) S 24807 24810 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12624585 1343819776 269691 33554432000 4194304 16246674 140735625751472 140088494234864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24810/tid=24813] ppid=24807 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24813/stat : 24813 (toysat) S 24807 24810 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12624586 1343819776 269691 33554432000 4194304 16246674 140735625751472 140088411417776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1312324

[startup+1422.3 s]
/proc/loadavg: 1.17 1.39 1.81 2/173 24904
/proc/meminfo: memFree=27245272/32872528 swapFree=1459604/1655828
[pid=24810] ppid=24807 vsize=1312324 CPUtime=1421.82 cores=1,3,5,7
/proc/24810/stat : 24810 (toysat) R 24807 24810 22681 0 -1 4202496 269540 0 0 0 142117 65 0 0 20 0 4 0 12624585 1343819776 269691 33554432000 4194304 16246674 140735625751472 140735625734472 5677179 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24810/statm: 328081 269691 788 2943 0 324975 0
[pid=24810/tid=24811] ppid=24807 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24811/stat : 24811 (toysat) S 24807 24810 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12624585 1343819776 269691 33554432000 4194304 16246674 140735625751472 140088504724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24810/tid=24812] ppid=24807 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24812/stat : 24812 (toysat) S 24807 24810 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12624585 1343819776 269691 33554432000 4194304 16246674 140735625751472 140088494234864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24810/tid=24813] ppid=24807 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24813/stat : 24813 (toysat) S 24807 24810 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12624586 1343819776 269691 33554432000 4194304 16246674 140735625751472 140088411417776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1312324

[startup+1482.3 s]
/proc/loadavg: 1.22 1.36 1.77 2/173 24905
/proc/meminfo: memFree=27245404/32872528 swapFree=1459604/1655828
[pid=24810] ppid=24807 vsize=1312324 CPUtime=1481.8 cores=1,3,5,7
/proc/24810/stat : 24810 (toysat) R 24807 24810 22681 0 -1 4202496 269540 0 0 0 148114 66 0 0 20 0 4 0 12624585 1343819776 269691 33554432000 4194304 16246674 140735625751472 140735625733376 6021268 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24810/statm: 328081 269691 788 2943 0 324975 0
[pid=24810/tid=24811] ppid=24807 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24811/stat : 24811 (toysat) S 24807 24810 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12624585 1343819776 269691 33554432000 4194304 16246674 140735625751472 140088504724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24810/tid=24812] ppid=24807 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24812/stat : 24812 (toysat) S 24807 24810 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12624585 1343819776 269691 33554432000 4194304 16246674 140735625751472 140088494234864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24810/tid=24813] ppid=24807 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24813/stat : 24813 (toysat) S 24807 24810 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12624586 1343819776 269691 33554432000 4194304 16246674 140735625751472 140088411417776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1312324

[startup+1542.31 s]
/proc/loadavg: 1.21 1.32 1.73 2/173 24906
/proc/meminfo: memFree=27245660/32872528 swapFree=1459604/1655828
[pid=24810] ppid=24807 vsize=1312324 CPUtime=1541.8 cores=1,3,5,7
/proc/24810/stat : 24810 (toysat) R 24807 24810 22681 0 -1 4202496 269540 0 0 0 154112 68 0 0 20 0 4 0 12624585 1343819776 269691 33554432000 4194304 16246674 140735625751472 140735625734472 5546072 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24810/statm: 328081 269691 788 2943 0 324975 0
[pid=24810/tid=24811] ppid=24807 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24811/stat : 24811 (toysat) S 24807 24810 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12624585 1343819776 269691 33554432000 4194304 16246674 140735625751472 140088504724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24810/tid=24812] ppid=24807 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24812/stat : 24812 (toysat) S 24807 24810 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12624585 1343819776 269691 33554432000 4194304 16246674 140735625751472 140088494234864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24810/tid=24813] ppid=24807 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24813/stat : 24813 (toysat) S 24807 24810 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12624586 1343819776 269691 33554432000 4194304 16246674 140735625751472 140088411417776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1312324

[startup+1602.3 s]
/proc/loadavg: 1.08 1.26 1.68 2/173 24907
/proc/meminfo: memFree=27245420/32872528 swapFree=1459604/1655828
[pid=24810] ppid=24807 vsize=1312324 CPUtime=1601.77 cores=1,3,5,7
/proc/24810/stat : 24810 (toysat) R 24807 24810 22681 0 -1 4202496 269540 0 0 0 160109 68 0 0 20 0 4 0 12624585 1343819776 269691 33554432000 4194304 16246674 140735625751472 140735625733376 5822492 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24810/statm: 328081 269691 788 2943 0 324975 0
[pid=24810/tid=24811] ppid=24807 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24811/stat : 24811 (toysat) S 24807 24810 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12624585 1343819776 269691 33554432000 4194304 16246674 140735625751472 140088504724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24810/tid=24812] ppid=24807 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24812/stat : 24812 (toysat) S 24807 24810 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12624585 1343819776 269691 33554432000 4194304 16246674 140735625751472 140088494234864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24810/tid=24813] ppid=24807 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24813/stat : 24813 (toysat) S 24807 24810 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12624586 1343819776 269691 33554432000 4194304 16246674 140735625751472 140088411417776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1312324

[startup+1662.3 s]
/proc/loadavg: 1.19 1.26 1.65 2/173 24909
/proc/meminfo: memFree=27245548/32872528 swapFree=1459604/1655828
[pid=24810] ppid=24807 vsize=1312324 CPUtime=1661.77 cores=1,3,5,7
/proc/24810/stat : 24810 (toysat) R 24807 24810 22681 0 -1 4202496 269540 0 0 0 166108 69 0 0 20 0 4 0 12624585 1343819776 269691 33554432000 4194304 16246674 140735625751472 140735625733376 5677572 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24810/statm: 328081 269691 788 2943 0 324975 0
[pid=24810/tid=24811] ppid=24807 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24811/stat : 24811 (toysat) S 24807 24810 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12624585 1343819776 269691 33554432000 4194304 16246674 140735625751472 140088504724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24810/tid=24812] ppid=24807 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24812/stat : 24812 (toysat) S 24807 24810 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12624585 1343819776 269691 33554432000 4194304 16246674 140735625751472 140088494234864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24810/tid=24813] ppid=24807 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24813/stat : 24813 (toysat) S 24807 24810 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12624586 1343819776 269691 33554432000 4194304 16246674 140735625751472 140088411417776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1312324

[startup+1722.3 s]
/proc/loadavg: 1.20 1.24 1.62 3/173 24910
/proc/meminfo: memFree=27245432/32872528 swapFree=1459604/1655828
[pid=24810] ppid=24807 vsize=1312324 CPUtime=1721.76 cores=1,3,5,7
/proc/24810/stat : 24810 (toysat) R 24807 24810 22681 0 -1 4202496 269540 0 0 0 172106 70 0 0 20 0 4 0 12624585 1343819776 269691 33554432000 4194304 16246674 140735625751472 140735625733376 13194354 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24810/statm: 328081 269691 788 2943 0 324975 0
[pid=24810/tid=24811] ppid=24807 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24811/stat : 24811 (toysat) S 24807 24810 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12624585 1343819776 269691 33554432000 4194304 16246674 140735625751472 140088504724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24810/tid=24812] ppid=24807 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24812/stat : 24812 (toysat) S 24807 24810 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12624585 1343819776 269691 33554432000 4194304 16246674 140735625751472 140088494234864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24810/tid=24813] ppid=24807 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24813/stat : 24813 (toysat) S 24807 24810 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12624586 1343819776 269691 33554432000 4194304 16246674 140735625751472 140088411417776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1312324

[startup+1782.3 s]
/proc/loadavg: 1.12 1.21 1.58 2/173 24911
/proc/meminfo: memFree=27245180/32872528 swapFree=1459604/1655828
[pid=24810] ppid=24807 vsize=1312324 CPUtime=1781.75 cores=1,3,5,7
/proc/24810/stat : 24810 (toysat) R 24807 24810 22681 0 -1 4202496 269540 0 0 0 178104 71 0 0 20 0 4 0 12624585 1343819776 269691 33554432000 4194304 16246674 140735625751472 140735625734472 6021268 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24810/statm: 328081 269691 788 2943 0 324975 0
[pid=24810/tid=24811] ppid=24807 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24811/stat : 24811 (toysat) S 24807 24810 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12624585 1343819776 269691 33554432000 4194304 16246674 140735625751472 140088504724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24810/tid=24812] ppid=24807 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24812/stat : 24812 (toysat) S 24807 24810 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12624585 1343819776 269691 33554432000 4194304 16246674 140735625751472 140088494234864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24810/tid=24813] ppid=24807 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24813/stat : 24813 (toysat) S 24807 24810 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12624586 1343819776 269691 33554432000 4194304 16246674 140735625751472 140088411417776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1312324



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.24 1.23 1.58 2/173 24911
/proc/meminfo: memFree=27245308/32872528 swapFree=1459604/1655828
[pid=24810] ppid=24807 vsize=1312324 CPUtime=1800.05 cores=1,3,5,7
/proc/24810/stat : 24810 (toysat) R 24807 24810 22681 0 -1 4202496 269540 0 0 0 179933 72 0 0 20 0 4 0 12624585 1343819776 269691 33554432000 4194304 16246674 140735625751472 140735625733376 5672832 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24810/statm: 328081 269691 788 2943 0 324975 0
[pid=24810/tid=24811] ppid=24807 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24811/stat : 24811 (toysat) S 24807 24810 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12624585 1343819776 269691 33554432000 4194304 16246674 140735625751472 140088504724720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24810/tid=24812] ppid=24807 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24812/stat : 24812 (toysat) S 24807 24810 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12624585 1343819776 269691 33554432000 4194304 16246674 140735625751472 140088494234864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24810/tid=24813] ppid=24807 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/24810/task/24813/stat : 24813 (toysat) S 24807 24810 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12624586 1343819776 269691 33554432000 4194304 16246674 140735625751472 140088411417776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1312324

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.06
CPU user time (s): 1799.34
CPU system time (s): 0.723889
CPU usage (%): 99.9697
Max. virtual memory (cumulated for all children) (KiB): 1312324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.34
system time used= 0.723889
maximum resident set size= 1078764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269540
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= 449
involuntary context switches= 1954

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.45832 second user time and 7.07992 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-30 21:58:54
IDJOB=4122506
IDBENCH=111154
IDSOLVER=2542
FILE ID=node136/4122506-1467316734
RUNJOBID= node136-1467309401-22698
PBS_JOBID= 20005289
Free space on /tmp= 71632 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-71.cnf.gz-extracted.pb.metafix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4122506-1467316734/watcher-4122506-1467316734 -o /tmp/evaluation-result-4122506-1467316734/solver-4122506-1467316734 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1467309401-22698 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122506-1467316734.opb

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

MD5SUM BENCH= c95076bfb71f1304e795aabd7944e26b
RANDOM SEED=1173276445

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27228656 kB
Buffers:          200512 kB
Cached:          1932512 kB
SwapCached:            0 kB
Active:          1489048 kB
Inactive:        1746588 kB
Active(anon):    1105164 kB
Inactive(anon):        0 kB
Active(file):     383884 kB
Inactive(file):  1746588 kB
Unevictable:     1655828 kB
Mlocked:         1459604 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16516 kB
Writeback:             0 kB
AnonPages:       2760532 kB
Mapped:            17048 kB
Shmem:               204 kB
Slab:             616416 kB
SReclaimable:      59900 kB
SUnreclaim:       556516 kB
KernelStack:        1496 kB
PageTables:         9472 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2895804 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1095680 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= 71632 MiB
End job on node136 at 2016-06-30 22:28:55