Trace number 4121506

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-fixed-bandwidth-78.cnf.gz-extracted.pb.metafix.opb
MD5SUMa80368f57c32c6df7d72699d0639e1c3
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.013997
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables313
Total number of constraints312
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)312
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:26:07+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-4121506-1467314767.opb"]
0.00/0.01	c use --random-gen="666541571 3228958971 1066413465 1994966542 1530516066 3652675043 3360648625 3279410545 232272666 3667031496 3733299548 2861030740 821566875 521808309 2415117243 900495431 3779905961 1075993337 3462160536 794774035 2815767567 3082348630 3148199249 3496583672 4131788418 1941753010 3039594784 1290950067 1950822128 468044618 4133206375 4089147540 652632098 2711384115 2463013791 3452371828 1591054089 2895298903 3591317834 1068106864 2294408199 88110040 423983786 3526244200 849167895 3605376577 4267666356 4117846849 91455119 2064315020 2221746375 3938610295 1556099942 1422783896 1584026454 2334707349 3584334061 1376713312 2269087701 2319552090 3684910189 1290341879 1337418531 55646199 2328026679 177452012 2433678724 3121461458 243991239 64123625 1475456138 1158886123 2328017502 1660640172 680592016 2976508599 2331843810 1462613462 44098287 779328807 1995841556 3657200754 1531069633 2228209677 3455062822 3478274354 654815001 543000973 1544882283 2995630922 3354585792 634058667 406564739 2292689362 1366452885 3768099212 2014887845 42927629 279968811 2845976368 3183612876 1143720854 4232701723 4105871818 4087706545 2097747816 2099447044 2092327586 1800488427 936612439 2641737041 480437627 3761648393 3192471101 4126286480 3514872766 2500412318 1742806029 252142417 1677268943 4281765600 112319731 1694646922 509148142 1087756633 2715742357 2639826119 3053335073 1168884440 1168348022 1538146251 3511744162 2036736322 3183658872 2538335247 503174472 346150072 693274175 958995373 423454693 2658164470 3619301167 18922202 1305461614 2316796421 175563810 2065036455 566894138 3968213277 3162609151 917022758 2603785361 177948540 3156184629 1606570167 3327801663 2833229252 105788544 3245436613 340183697 1334881942 53304757 2322036213 1090252712 2082079037 524157105 3705850194 542000155 1950295388 2492710553 3942461855 3785103354 2139370806 1134436778 3697563083 3767971534 3776624241 1844524392 3062329392 2798988091 2839663716 3654279412 1977804951 3048274607 3616668134 170060502 2622661032 3993855545 2402462875 1050190969 3066122642 2950581253 3716077613 932933571 706766785 683378635 2538887424 543921267 1405819036 4021516482 3244971576 1082560191 4029896371 197389903 3149473272 3248475615 1390856711 3451965840 3809932748 382196508 492373563 1138307660 3391699347 956386827 2331556477 508685788 2317954519 2795511046 2543426803 4141483185 1080190641 29775642 1922137321 119082219 3379995188 345384856 602542778 1777734209 2093246182 2220735710 584019898 1280611506 2985196158 3873354785 4031279426 4098863603 1141095647 1975574477 520995849 2426696143 1058586638 1351770298 2000530982 2629040208 3620299400 3615598879 408937196 1672773812 2526387936 1729665794 2889324211 1564587995 1083509924 2198901816 4273381702 2386402791 255 362436" option to reproduce the execution
0.00/0.01	c #vars 313
0.00/0.01	c #constraints 312
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 |      208      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      188 |      100 |      208      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      457 |      250 |      229      0 |        0 |        0
0.00/0.07	c  0.1s |       3 |     1028 |      475 |      252      1 |        0 |        0
0.09/0.11	c  0.1s |       4 |     1517 |      813 |      278      3 |        0 |        0
0.09/0.16	c  0.1s |       5 |     2322 |     1320 |      306      5 |        0 |        0
0.19/0.24	c  0.2s |       6 |     3598 |     2081 |      371      8 |        0 |        0
0.28/0.36	c  0.3s |       7 |     5088 |     3223 |      409     12 |        0 |        0
0.49/0.55	c  0.5s |       8 |     7405 |     4936 |      450     18 |        0 |        0
0.78/0.85	c  0.8s |       9 |    10692 |     7506 |      496     25 |        0 |        0
1.19/1.24	c  1.2s |      10 |    16210 |    11361 |      546     37 |        0 |        0
1.69/1.75	c  1.7s |      11 |    23737 |    17144 |      601     52 |        0 |        0
2.49/2.56	c  2.5s |      12 |    34840 |    25819 |      662     73 |        0 |        0
3.69/3.73	c  3.7s |      13 |    51591 |    38832 |      729    105 |        0 |        0
5.39/5.48	c  5.5s |      14 |    77243 |    58352 |      802    147 |        0 |        0
7.39/7.48	c  7.5s |      14 |   103757 |    79252 |      802    190 |        0 |        0
8.19/8.25	c  8.2s |      15 |   114616 |    87632 |      883    207 |        0 |        0
10.19/10.25	c 10.2s |      15 |   139905 |   106332 |      883    244 |        0 |        0
12.19/12.25	c 12.2s |      15 |   169396 |   128032 |      883    286 |        0 |        0
12.59/12.61	c 12.6s |      16 |   174031 |   131552 |      972    293 |        0 |        0
14.59/14.62	c 14.6s |      16 |   199157 |   150252 |      972    325 |        0 |        0
16.59/16.63	c 16.6s |      16 |   223489 |   168952 |      972    358 |        0 |        0
18.59/18.64	c 18.6s |      16 |   250353 |   188752 |      972    392 |        0 |        0
19.49/19.53	c 19.5s |      17 |   261852 |   197432 |     1070    406 |        0 |        0
21.48/21.53	c 21.5s |      17 |   286847 |   217032 |     1070    437 |        0 |        0
23.48/23.54	c 23.5s |      17 |   309985 |   234732 |     1070    466 |        0 |        0
25.48/25.55	c 25.5s |      17 |   335131 |   253932 |     1070    497 |        0 |        0
27.49/27.55	c 27.5s |      17 |   359002 |   272032 |     1070    526 |        0 |        0
29.48/29.55	c 29.5s |      17 |   383177 |   290932 |     1070    556 |        0 |        0
30.08/30.13	c 30.1s |      18 |   390193 |   296252 |     1177    565 |        0 |        0
32.08/32.14	c 32.1s |      18 |   412265 |   313552 |     1177    591 |        0 |        0
34.09/34.14	c 34.1s |      18 |   434396 |   331152 |     1177    617 |        0 |        0
36.08/36.15	c 36.1s |      18 |   458789 |   349652 |     1177    645 |        0 |        0
38.08/38.16	c 38.1s |      18 |   485572 |   369252 |     1177    674 |        0 |        0
40.08/40.17	c 40.1s |      18 |   510625 |   387852 |     1177    702 |        0 |        0
42.08/42.17	c 42.2s |      18 |   536573 |   406352 |     1177    730 |        0 |        0
44.08/44.17	c 44.2s |      18 |   561429 |   424952 |     1177    758 |        0 |        0
46.08/46.17	c 46.2s |      18 |   584930 |   442552 |     1295    784 |        0 |        0
46.38/46.43	c 46.4s |      19 |   587323 |   444482 |     1295    786 |        0 |        0
48.38/48.43	c 48.4s |      19 |   611052 |   463182 |     1295    812 |        0 |        0
50.38/50.44	c 50.4s |      19 |   633987 |   480982 |     1295    836 |        0 |        0
52.38/52.45	c 52.4s |      19 |   659691 |   500182 |     1295    862 |        0 |        0
54.38/54.45	c 54.4s |      19 |   684831 |   518682 |     1295    888 |        0 |        0
56.38/56.45	c 56.4s |      19 |   710564 |   537582 |     1295    913 |        0 |        0
58.38/58.46	c 58.4s |      19 |   735140 |   556282 |     1295    939 |        0 |        0
60.37/60.46	c 60.4s |      19 |   758908 |   574282 |     1295    964 |        0 |        0
62.37/62.47	c 62.5s |      19 |   783312 |   592182 |     1295    988 |        0 |        0
64.38/64.48	c 64.5s |      19 |   807599 |   609982 |     1295   1013 |        0 |        0
66.38/66.48	c 66.5s |      19 |   831806 |   628482 |     1295   1038 |        0 |        0
68.38/68.49	c 68.5s |      19 |   853388 |   645182 |     1295   1062 |        0 |        0
70.39/70.49	c 70.5s |      19 |   877692 |   663082 |     1425   1086 |        0 |        0
70.88/70.93	c 70.9s |      20 |   882667 |   666827 |     1425   1091 |        0 |        0
72.88/72.95	c 72.9s |      20 |   904361 |   683427 |     1425   1112 |        0 |        0
74.89/74.95	c 74.9s |      20 |   927304 |   700027 |     1425   1132 |        0 |        0
76.88/76.96	c 76.9s |      20 |   947192 |   715627 |     1425   1151 |        0 |        0
78.88/78.96	c 78.9s |      20 |   970636 |   733027 |     1425   1173 |        0 |        0
80.88/80.97	c 81.0s |      20 |   994669 |   750727 |     1425   1195 |        0 |        0
82.88/82.97	c 83.0s |      20 |  1017152 |   767827 |     1425   1216 |        0 |        0
84.88/84.98	c 85.0s |      20 |  1040365 |   785327 |     1425   1238 |        0 |        0
86.88/86.98	c 87.0s |      20 |  1063341 |   802727 |     1425   1260 |        0 |        0
88.88/88.99	c 89.0s |      20 |  1087997 |   820627 |     1425   1283 |        0 |        0
90.97/91.00	c 91.0s |      20 |  1110206 |   837727 |     1425   1304 |        0 |        0
92.97/93.00	c 93.0s |      20 |  1134222 |   855027 |     1425   1326 |        0 |        0
94.97/95.02	c 95.0s |      20 |  1158831 |   872927 |     1425   1349 |        0 |        0
96.97/97.02	c 97.0s |      20 |  1180814 |   890227 |     1425   1371 |        0 |        0
98.98/99.02	c 99.0s |      20 |  1206230 |   908927 |     1425   1395 |        0 |        0
100.97/101.02	c  101s |      20 |  1229289 |   926827 |     1425   1418 |        0 |        0
102.97/103.02	c  103s |      20 |  1253287 |   945127 |     1425   1441 |        0 |        0
104.97/105.03	c  105s |      20 |  1277569 |   963027 |     1425   1464 |        0 |        0
106.97/107.03	c  107s |      20 |  1302644 |   981127 |     1425   1488 |        0 |        0
108.98/109.03	c  109s |      20 |  1324598 |   998427 |     1568   1509 |        0 |        0
109.17/109.25	c  109s |      21 |  1327093 |  1000345 |     1568   1511 |        0 |        0
111.17/111.25	c  111s |      21 |  1346501 |  1015845 |     1568   1529 |        0 |        0
113.18/113.26	c  113s |      21 |  1367900 |  1032045 |     1568   1547 |        0 |        0
115.18/115.27	c  115s |      21 |  1387739 |  1047445 |     1568   1565 |        0 |        0
117.18/117.28	c  117s |      21 |  1409908 |  1063645 |     1568   1583 |        0 |        0
119.17/119.28	c  119s |      21 |  1432914 |  1080345 |     1568   1602 |        0 |        0
121.17/121.28	c  121s |      21 |  1454813 |  1096645 |     1568   1621 |        0 |        0
123.18/123.28	c  123s |      21 |  1475697 |  1112545 |     1568   1639 |        0 |        0
125.17/125.29	c  125s |      21 |  1497871 |  1129245 |     1568   1659 |        0 |        0
127.27/127.30	c  127s |      21 |  1520654 |  1145745 |     1568   1678 |        0 |        0
129.27/129.30	c  129s |      21 |  1543989 |  1162845 |     1568   1697 |        0 |        0
131.27/131.32	c  131s |      21 |  1566814 |  1179045 |     1568   1716 |        0 |        0
133.27/133.32	c  133s |      21 |  1590409 |  1196045 |     1568   1735 |        0 |        0
135.28/135.33	c  135s |      21 |  1613691 |  1213445 |     1568   1755 |        0 |        0
137.27/137.35	c  137s |      21 |  1635893 |  1230345 |     1568   1774 |        0 |        0
139.27/139.35	c  139s |      21 |  1658711 |  1247645 |     1568   1794 |        0 |        0
141.27/141.36	c  141s |      21 |  1682562 |  1265445 |     1568   1814 |        0 |        0
143.27/143.36	c  143s |      21 |  1702698 |  1281545 |     1568   1833 |        0 |        0
145.27/145.37	c  145s |      21 |  1724558 |  1298045 |     1568   1852 |        0 |        0
147.26/147.38	c  147s |      21 |  1745412 |  1314145 |     1568   1870 |        0 |        0
149.26/149.39	c  149s |      21 |  1767109 |  1330745 |     1568   1889 |        0 |        0
151.26/151.39	c  151s |      21 |  1787917 |  1346545 |     1568   1907 |        0 |        0
153.36/153.40	c  153s |      21 |  1810015 |  1362845 |     1568   1926 |        0 |        0
155.36/155.41	c  155s |      21 |  1832596 |  1379645 |     1568   1945 |        0 |        0
157.37/157.42	c  157s |      21 |  1852811 |  1395345 |     1568   1963 |        0 |        0
159.36/159.43	c  159s |      21 |  1872842 |  1410445 |     1568   1980 |        0 |        0
161.36/161.43	c  161s |      21 |  1894438 |  1427145 |     1568   1999 |        0 |        0
163.36/163.44	c  163s |      21 |  1915165 |  1443045 |     1568   2017 |        0 |        0
165.36/165.45	c  165s |      21 |  1936713 |  1459345 |     1568   2036 |        0 |        0
167.36/167.45	c  167s |      21 |  1958420 |  1475145 |     1568   2054 |        0 |        0
169.37/169.46	c  169s |      21 |  1980851 |  1491745 |     1725   2072 |        0 |        0
170.57/170.63	c  170s |      22 |  1992289 |  1500622 |     1725   2082 |        0 |        0
172.57/172.64	c  172s |      22 |  2013281 |  1516822 |     1725   2099 |        0 |        0
174.56/174.65	c  174s |      22 |  2035755 |  1534022 |     1725   2117 |        0 |        0
176.56/176.66	c  176s |      22 |  2057873 |  1551022 |     1725   2134 |        0 |        0
178.56/178.66	c  178s |      22 |  2081281 |  1568622 |     1725   2153 |        0 |        0
180.56/180.66	c  180s |      22 |  2103771 |  1585422 |     1725   2171 |        0 |        0
182.57/182.67	c  182s |      22 |  2125592 |  1601722 |     1725   2188 |        0 |        0
184.56/184.68	c  184s |      22 |  2146634 |  1618122 |     1725   2206 |        0 |        0
186.56/186.69	c  186s |      22 |  2167417 |  1634322 |     1725   2223 |        0 |        0
188.56/188.69	c  188s |      22 |  2187726 |  1650022 |     1725   2239 |        0 |        0
190.66/190.70	c  190s |      22 |  2209026 |  1665822 |     1725   2256 |        0 |        0
192.66/192.71	c  192s |      22 |  2231947 |  1683022 |     1725   2275 |        0 |        0
194.67/194.72	c  194s |      22 |  2253660 |  1699822 |     1725   2292 |        0 |        0
196.66/196.73	c  196s |      22 |  2275323 |  1716622 |     1725   2310 |        0 |        0
198.66/198.74	c  198s |      22 |  2295961 |  1732822 |     1725   2327 |        0 |        0
200.66/200.74	c  200s |      22 |  2314414 |  1747322 |     1725   2343 |        0 |        0
202.66/202.74	c  202s |      22 |  2335527 |  1762822 |     1725   2359 |        0 |        0
204.67/204.74	c  204s |      22 |  2357278 |  1779222 |     1725   2377 |        0 |        0
206.66/206.75	c  206s |      22 |  2376429 |  1794422 |     1725   2393 |        0 |        0
208.66/208.77	c  208s |      22 |  2398210 |  1811022 |     1725   2411 |        0 |        0
210.66/210.78	c  210s |      22 |  2417903 |  1826222 |     1725   2427 |        0 |        0
212.66/212.79	c  212s |      22 |  2438956 |  1842222 |     1725   2444 |        0 |        0
214.76/214.80	c  214s |      22 |  2462346 |  1859822 |     1725   2462 |        0 |        0
216.66/216.80	c  216s |      22 |  2483614 |  1876122 |     1725   2480 |        0 |        0
218.76/218.81	c  218s |      22 |  2503954 |  1891722 |     1725   2496 |        0 |        0
220.76/220.82	c  220s |      22 |  2523245 |  1906822 |     1725   2512 |        0 |        0
222.75/222.84	c  222s |      22 |  2544580 |  1922922 |     1725   2529 |        0 |        0
224.75/224.86	c  224s |      22 |  2566367 |  1939122 |     1725   2547 |        0 |        0
226.75/226.86	c  226s |      22 |  2588269 |  1955222 |     1725   2564 |        0 |        0
228.76/228.86	c  228s |      22 |  2606781 |  1969922 |     1725   2579 |        0 |        0
230.75/230.86	c  230s |      22 |  2626708 |  1985222 |     1725   2596 |        0 |        0
232.75/232.86	c  232s |      22 |  2647293 |  2000622 |     1725   2612 |        0 |        0
234.75/234.87	c  234s |      22 |  2665762 |  2015722 |     1725   2628 |        0 |        0
236.75/236.88	c  236s |      22 |  2686533 |  2031922 |     1725   2645 |        0 |        0
238.76/238.88	c  238s |      22 |  2708140 |  2048422 |     1725   2663 |        0 |        0
240.75/240.89	c  240s |      22 |  2729172 |  2064922 |     1725   2680 |        0 |        0
242.85/242.90	c  242s |      22 |  2750132 |  2081222 |     1725   2698 |        0 |        0
244.85/244.90	c  244s |      22 |  2772287 |  2097922 |     1725   2715 |        0 |        0
246.85/246.91	c  246s |      22 |  2794236 |  2114422 |     1725   2733 |        0 |        0
248.85/248.92	c  248s |      22 |  2816044 |  2130822 |     1725   2750 |        0 |        0
250.85/250.93	c  250s |      22 |  2835897 |  2146322 |     1725   2767 |        0 |        0
252.85/252.93	c  252s |      22 |  2855794 |  2161322 |     1725   2783 |        0 |        0
254.85/254.95	c  254s |      22 |  2875314 |  2176422 |     1725   2799 |        0 |        0
256.85/256.96	c  256s |      22 |  2895815 |  2192122 |     1725   2815 |        0 |        0
258.85/258.97	c  258s |      22 |  2915843 |  2207622 |     1725   2832 |        0 |        0
260.85/260.99	c  260s |      22 |  2936103 |  2223422 |     1725   2848 |        0 |        0
262.96/263.00	c  262s |      22 |  2956937 |  2239322 |     1898   2865 |        0 |        0
264.45/264.57	c  264s |      23 |  2972181 |  2251038 |     1898   2876 |        0 |        0
266.45/266.58	c  266s |      23 |  2994280 |  2267838 |     1898   2892 |        0 |        0
268.46/268.58	c  268s |      23 |  3015455 |  2284138 |     1898   2908 |        0 |        0
270.45/270.58	c  270s |      23 |  3037573 |  2300538 |     1898   2924 |        0 |        0
272.45/272.59	c  272s |      23 |  3059430 |  2316738 |     1898   2940 |        0 |        0
274.55/274.60	c  274s |      23 |  3080785 |  2332438 |     1898   2955 |        0 |        0
276.55/276.60	c  276s |      23 |  3101685 |  2348338 |     1898   2971 |        0 |        0
278.55/278.61	c  278s |      23 |  3123478 |  2365038 |     1898   2987 |        0 |        0
280.56/280.61	c  280s |      23 |  3143129 |  2380438 |     1898   3002 |        0 |        0
282.55/282.62	c  282s |      23 |  3163407 |  2396238 |     1898   3017 |        0 |        0
284.55/284.63	c  284s |      23 |  3184488 |  2412338 |     1898   3033 |        0 |        0
286.55/286.63	c  286s |      23 |  3205009 |  2427938 |     1898   3048 |        0 |        0
288.55/288.64	c  288s |      23 |  3223971 |  2443038 |     1898   3063 |        0 |        0
290.54/290.64	c  290s |      23 |  3242872 |  2458138 |     1898   3078 |        0 |        0
292.55/292.65	c  292s |      23 |  3264285 |  2474238 |     1898   3093 |        0 |        0
294.54/294.65	c  294s |      23 |  3284602 |  2489738 |     1898   3109 |        0 |        0
296.54/296.66	c  296s |      23 |  3306084 |  2505938 |     1898   3124 |        0 |        0
298.54/298.67	c  298s |      23 |  3325711 |  2521438 |     1898   3139 |        0 |        0
300.54/300.68	c  300s |      23 |  3344831 |  2536138 |     1898   3154 |        0 |        0
302.55/302.68	c  302s |      23 |  3363837 |  2550838 |     1898   3168 |        0 |        0
304.54/304.69	c  304s |      23 |  3384653 |  2566338 |     1898   3183 |        0 |        0
306.54/306.69	c  306s |      23 |  3403822 |  2581138 |     1898   3197 |        0 |        0
308.54/308.69	c  308s |      23 |  3424351 |  2596838 |     1898   3213 |        0 |        0
310.64/310.70	c  310s |      23 |  3440924 |  2610038 |     1898   3226 |        0 |        0
312.64/312.71	c  312s |      23 |  3459260 |  2623938 |     1898   3239 |        0 |        0
314.65/314.72	c  314s |      23 |  3480107 |  2639238 |     1898   3254 |        0 |        0
316.64/316.72	c  316s |      23 |  3500523 |  2654838 |     1898   3269 |        0 |        0
318.64/318.72	c  318s |      23 |  3520947 |  2670338 |     1898   3284 |        0 |        0
320.64/320.73	c  320s |      23 |  3541531 |  2686338 |     1898   3300 |        0 |        0
322.64/322.73	c  322s |      23 |  3564888 |  2703938 |     1898   3317 |        0 |        0
324.64/324.73	c  324s |      23 |  3584995 |  2719038 |     1898   3332 |        0 |        0
326.65/326.75	c  326s |      23 |  3604971 |  2734338 |     1898   3347 |        0 |        0
328.64/328.75	c  328s |      23 |  3625010 |  2749638 |     1898   3362 |        0 |        0
330.64/330.75	c  330s |      23 |  3645357 |  2765438 |     1898   3377 |        0 |        0
332.64/332.75	c  332s |      23 |  3666284 |  2781338 |     1898   3393 |        0 |        0
334.64/334.76	c  334s |      23 |  3687599 |  2797138 |     1898   3408 |        0 |        0
336.65/336.76	c  336s |      23 |  3709588 |  2813538 |     1898   3424 |        0 |        0
338.64/338.77	c  338s |      23 |  3729269 |  2828338 |     1898   3439 |        0 |        0
340.64/340.78	c  340s |      23 |  3751964 |  2844638 |     1898   3455 |        0 |        0
342.64/342.78	c  342s |      23 |  3772365 |  2860238 |     1898   3470 |        0 |        0
344.64/344.78	c  344s |      23 |  3793093 |  2876138 |     1898   3485 |        0 |        0
346.64/346.79	c  346s |      23 |  3812451 |  2890938 |     1898   3500 |        0 |        0
348.75/348.81	c  348s |      23 |  3833455 |  2906838 |     1898   3515 |        0 |        0
350.74/350.82	c  350s |      23 |  3853159 |  2921738 |     1898   3530 |        0 |        0
352.74/352.82	c  352s |      23 |  3873943 |  2937638 |     1898   3546 |        0 |        0
354.74/354.82	c  354s |      23 |  3895225 |  2953738 |     1898   3562 |        0 |        0
356.74/356.83	c  356s |      23 |  3917641 |  2970538 |     1898   3578 |        0 |        0
358.74/358.83	c  358s |      23 |  3937922 |  2985738 |     1898   3593 |        0 |        0
360.74/360.84	c  360s |      23 |  3959485 |  3001938 |     1898   3609 |        0 |        0
362.73/362.84	c  362s |      23 |  3981492 |  3018038 |     1898   3624 |        0 |        0
364.73/364.85	c  364s |      23 |  4002334 |  3034038 |     1898   3640 |        0 |        0
366.73/366.86	c  366s |      23 |  4024409 |  3049838 |     1898   3656 |        0 |        0
368.73/368.88	c  368s |      23 |  4045489 |  3065838 |     1898   3671 |        0 |        0
370.74/370.89	c  370s |      23 |  4065497 |  3081038 |     1898   3686 |        0 |        0
372.73/372.90	c  372s |      23 |  4084514 |  3095738 |     1898   3701 |        0 |        0
374.83/374.91	c  374s |      23 |  4106063 |  3111438 |     1898   3716 |        0 |        0
376.83/376.92	c  376s |      23 |  4126657 |  3126738 |     1898   3731 |        0 |        0
378.83/378.93	c  378s |      23 |  4149243 |  3143238 |     1898   3747 |        0 |        0
380.83/380.93	c  380s |      23 |  4171069 |  3159238 |     1898   3763 |        0 |        0
382.83/382.94	c  382s |      23 |  4192568 |  3175138 |     1898   3778 |        0 |        0
384.83/384.96	c  384s |      23 |  4209599 |  3188738 |     1898   3792 |        0 |        0
386.83/386.97	c  386s |      23 |  4229005 |  3203338 |     1898   3806 |        0 |        0
388.82/388.97	c  388s |      23 |  4251405 |  3219438 |     1898   3822 |        0 |        0
390.83/390.98	c  390s |      23 |  4271782 |  3234638 |     1898   3837 |        0 |        0
392.83/392.99	c  392s |      23 |  4289986 |  3248538 |     1898   3850 |        0 |        0
394.84/394.99	c  394s |      23 |  4310581 |  3263938 |     1898   3865 |        0 |        0
396.83/396.99	c  396s |      23 |  4330909 |  3279238 |     1898   3880 |        0 |        0
398.93/399.00	c  398s |      23 |  4350038 |  3294038 |     1898   3894 |        0 |        0
400.93/401.00	c  400s |      23 |  4369439 |  3309138 |     1898   3909 |        0 |        0
402.93/403.00	c  402s |      23 |  4389704 |  3324238 |     1898   3924 |        0 |        0
404.93/405.01	c  404s |      23 |  4410888 |  3340238 |     1898   3939 |        0 |        0
406.94/407.02	c  407s |      23 |  4432484 |  3356138 |     2088   3954 |        0 |        0
408.93/409.03	c  409s |      23 |  4453116 |  3371838 |     2088   3968 |        0 |        0
409.63/409.70	c  409s |      24 |  4459586 |  3376662 |     2088   3973 |        0 |        0
411.63/411.72	c  411s |      24 |  4478192 |  3390962 |     2088   3985 |        0 |        0
413.64/413.72	c  413s |      24 |  4495931 |  3404762 |     2088   3997 |        0 |        0
415.63/415.72	c  415s |      24 |  4514808 |  3419462 |     2088   4010 |        0 |        0
417.63/417.73	c  417s |      24 |  4534989 |  3434462 |     2088   4024 |        0 |        0
419.63/419.73	c  419s |      24 |  4553598 |  3449062 |     2088   4037 |        0 |        0
421.63/421.73	c  421s |      24 |  4572880 |  3463762 |     2088   4050 |        0 |        0
423.63/423.74	c  423s |      24 |  4591754 |  3478362 |     2088   4063 |        0 |        0
425.63/425.74	c  425s |      24 |  4610642 |  3493162 |     2088   4076 |        0 |        0
427.62/427.75	c  427s |      24 |  4627804 |  3506762 |     2088   4088 |        0 |        0
429.62/429.75	c  429s |      24 |  4642129 |  3518962 |     2088   4099 |        0 |        0
431.62/431.76	c  431s |      24 |  4655446 |  3530462 |     2088   4109 |        0 |        0
433.62/433.77	c  433s |      24 |  4670542 |  3542962 |     2088   4120 |        0 |        0
435.63/435.78	c  435s |      24 |  4684409 |  3554962 |     2088   4131 |        0 |        0
437.62/437.79	c  437s |      24 |  4698777 |  3567162 |     2088   4141 |        0 |        0
439.62/439.79	c  439s |      24 |  4713582 |  3579462 |     2088   4152 |        0 |        0
441.72/441.80	c  441s |      24 |  4730670 |  3592862 |     2088   4164 |        0 |        0
443.72/443.81	c  443s |      24 |  4748854 |  3606962 |     2088   4177 |        0 |        0
445.72/445.81	c  445s |      24 |  4766901 |  3620762 |     2088   4189 |        0 |        0
447.72/447.82	c  447s |      24 |  4784248 |  3634462 |     2088   4201 |        0 |        0
449.72/449.82	c  449s |      24 |  4803284 |  3648762 |     2088   4214 |        0 |        0
451.72/451.83	c  451s |      24 |  4823111 |  3663762 |     2088   4227 |        0 |        0
453.72/453.84	c  453s |      24 |  4841750 |  3677862 |     2088   4240 |        0 |        0
455.72/455.84	c  455s |      24 |  4860139 |  3692162 |     2088   4252 |        0 |        0
457.71/457.86	c  457s |      24 |  4880051 |  3706762 |     2088   4265 |        0 |        0
459.72/459.86	c  459s |      24 |  4898774 |  3720862 |     2088   4278 |        0 |        0
461.71/461.86	c  461s |      24 |  4916680 |  3734862 |     2088   4290 |        0 |        0
463.71/463.88	c  463s |      24 |  4934077 |  3748262 |     2088   4302 |        0 |        0
465.81/465.90	c  465s |      24 |  4951955 |  3761962 |     2088   4314 |        0 |        0
467.81/467.91	c  467s |      24 |  4968396 |  3774862 |     2088   4326 |        0 |        0
469.81/469.91	c  469s |      24 |  4987863 |  3789862 |     2088   4339 |        0 |        0
471.83/471.92	c  471s |      24 |  5005938 |  3803562 |     2088   4351 |        0 |        0
473.82/473.93	c  473s |      24 |  5021678 |  3815762 |     2088   4362 |        0 |        0
475.82/475.95	c  475s |      24 |  5038309 |  3828762 |     2088   4374 |        0 |        0
477.82/477.95	c  477s |      24 |  5054750 |  3841762 |     2088   4385 |        0 |        0
479.82/479.97	c  479s |      24 |  5072157 |  3855662 |     2088   4397 |        0 |        0
481.82/481.97	c  481s |      24 |  5089815 |  3869362 |     2088   4409 |        0 |        0
483.82/483.98	c  483s |      24 |  5107061 |  3882862 |     2088   4421 |        0 |        0
485.82/485.99	c  485s |      24 |  5124353 |  3896362 |     2088   4433 |        0 |        0
487.92/488.00	c  487s |      24 |  5140969 |  3909662 |     2088   4445 |        0 |        0
489.91/490.01	c  489s |      24 |  5157830 |  3923062 |     2088   4457 |        0 |        0
491.91/492.01	c  491s |      24 |  5175158 |  3936462 |     2088   4469 |        0 |        0
493.92/494.02	c  494s |      24 |  5192118 |  3949762 |     2088   4481 |        0 |        0
495.91/496.03	c  496s |      24 |  5209392 |  3963262 |     2088   4493 |        0 |        0
497.91/498.04	c  498s |      24 |  5226254 |  3976162 |     2088   4504 |        0 |        0
499.91/500.04	c  500s |      24 |  5242696 |  3989162 |     2088   4516 |        0 |        0
501.91/502.05	c  502s |      24 |  5261009 |  4003262 |     2088   4528 |        0 |        0
503.91/504.05	c  504s |      24 |  5278719 |  4016662 |     2088   4540 |        0 |        0
505.92/506.05	c  506s |      24 |  5296040 |  4029662 |     2088   4552 |        0 |        0
507.91/508.06	c  508s |      24 |  5313215 |  4042962 |     2088   4564 |        0 |        0
509.91/510.06	c  510s |      24 |  5331307 |  4056862 |     2088   4576 |        0 |        0
511.91/512.06	c  512s |      24 |  5349182 |  4070562 |     2088   4588 |        0 |        0
513.91/514.08	c  514s |      24 |  5367809 |  4084462 |     2088   4601 |        0 |        0
515.92/516.09	c  516s |      24 |  5385833 |  4097962 |     2088   4613 |        0 |        0
517.91/518.09	c  518s |      24 |  5402897 |  4111862 |     2088   4625 |        0 |        0
520.01/520.10	c  520s |      24 |  5419968 |  4125162 |     2088   4637 |        0 |        0
522.01/522.11	c  522s |      24 |  5439060 |  4139462 |     2088   4649 |        0 |        0
524.01/524.12	c  524s |      24 |  5455044 |  4152162 |     2088   4661 |        0 |        0
526.01/526.13	c  526s |      24 |  5470948 |  4165062 |     2088   4672 |        0 |        0
528.01/528.14	c  528s |      24 |  5487852 |  4178362 |     2088   4684 |        0 |        0
530.00/530.14	c  530s |      24 |  5505650 |  4191762 |     2088   4696 |        0 |        0
532.01/532.15	c  532s |      24 |  5521610 |  4204562 |     2088   4707 |        0 |        0
534.01/534.15	c  534s |      24 |  5537045 |  4217162 |     2088   4718 |        0 |        0
536.01/536.16	c  536s |      24 |  5554600 |  4230462 |     2088   4730 |        0 |        0
538.01/538.16	c  538s |      24 |  5571527 |  4243762 |     2088   4742 |        0 |        0
540.02/540.18	c  540s |      24 |  5589299 |  4257762 |     2088   4754 |        0 |        0
542.01/542.19	c  542s |      24 |  5606160 |  4271462 |     2088   4767 |        0 |        0
544.01/544.20	c  544s |      24 |  5624373 |  4285762 |     2088   4779 |        0 |        0
546.11/546.21	c  546s |      24 |  5643743 |  4300562 |     2088   4792 |        0 |        0
548.11/548.21	c  548s |      24 |  5664003 |  4315362 |     2088   4806 |        0 |        0
550.11/550.22	c  550s |      24 |  5681999 |  4329362 |     2088   4818 |        0 |        0
552.11/552.23	c  552s |      24 |  5701374 |  4343862 |     2088   4831 |        0 |        0
554.11/554.24	c  554s |      24 |  5720484 |  4358962 |     2088   4844 |        0 |        0
556.11/556.25	c  556s |      24 |  5740109 |  4373862 |     2088   4858 |        0 |        0
558.11/558.26	c  558s |      24 |  5759726 |  4388862 |     2088   4871 |        0 |        0
560.10/560.27	c  560s |      24 |  5776884 |  4402362 |     2088   4883 |        0 |        0
562.11/562.29	c  562s |      24 |  5793672 |  4415162 |     2088   4894 |        0 |        0
564.10/564.29	c  564s |      24 |  5813015 |  4429862 |     2088   4907 |        0 |        0
566.20/566.31	c  566s |      24 |  5830080 |  4443462 |     2088   4919 |        0 |        0
568.20/568.31	c  568s |      24 |  5849041 |  4457862 |     2088   4932 |        0 |        0
570.20/570.31	c  570s |      24 |  5867131 |  4472362 |     2088   4945 |        0 |        0
572.20/572.33	c  572s |      24 |  5883453 |  4485162 |     2088   4956 |        0 |        0
574.21/574.33	c  574s |      24 |  5901523 |  4498662 |     2088   4969 |        0 |        0
576.20/576.33	c  576s |      24 |  5921484 |  4513962 |     2088   4982 |        0 |        0
578.20/578.34	c  578s |      24 |  5940225 |  4528562 |     2088   4995 |        0 |        0
580.20/580.35	c  580s |      24 |  5960018 |  4543662 |     2088   5009 |        0 |        0
582.20/582.35	c  582s |      24 |  5978346 |  4557962 |     2088   5021 |        0 |        0
584.20/584.36	c  584s |      24 |  5995794 |  4571362 |     2088   5033 |        0 |        0
586.20/586.36	c  586s |      24 |  6011945 |  4584062 |     2088   5044 |        0 |        0
588.20/588.36	c  588s |      24 |  6028999 |  4597262 |     2088   5056 |        0 |        0
590.20/590.36	c  590s |      24 |  6047902 |  4611462 |     2088   5069 |        0 |        0
592.20/592.36	c  592s |      24 |  6065613 |  4625462 |     2088   5081 |        0 |        0
594.19/594.37	c  594s |      24 |  6083858 |  4639562 |     2088   5094 |        0 |        0
596.20/596.38	c  596s |      24 |  6103781 |  4654362 |     2088   5107 |        0 |        0
598.19/598.38	c  598s |      24 |  6121796 |  4668362 |     2088   5119 |        0 |        0
600.29/600.40	c  600s |      24 |  6139895 |  4682262 |     2088   5132 |        0 |        0
602.29/602.40	c  602s |      24 |  6159109 |  4696962 |     2088   5145 |        0 |        0
604.29/604.41	c  604s |      24 |  6176786 |  4711062 |     2088   5157 |        0 |        0
606.29/606.43	c  606s |      24 |  6196394 |  4726062 |     2088   5170 |        0 |        0
608.30/608.44	c  608s |      24 |  6214152 |  4739462 |     2088   5182 |        0 |        0
610.30/610.45	c  610s |      24 |  6232937 |  4754162 |     2088   5195 |        0 |        0
612.30/612.45	c  612s |      24 |  6248973 |  4766862 |     2088   5207 |        0 |        0
614.30/614.46	c  614s |      24 |  6267201 |  4781062 |     2088   5219 |        0 |        0
616.30/616.47	c  616s |      24 |  6285584 |  4794862 |     2088   5231 |        0 |        0
618.30/618.48	c  618s |      24 |  6304484 |  4808762 |     2088   5244 |        0 |        0
620.31/620.48	c  620s |      24 |  6323120 |  4822962 |     2088   5256 |        0 |        0
622.30/622.49	c  622s |      24 |  6342025 |  4837462 |     2088   5269 |        0 |        0
624.40/624.50	c  624s |      24 |  6361923 |  4851862 |     2088   5282 |        0 |        0
626.40/626.50	c  626s |      24 |  6381632 |  4866262 |     2088   5295 |        0 |        0
628.40/628.51	c  628s |      24 |  6401608 |  4880962 |     2088   5308 |        0 |        0
630.40/630.52	c  630s |      24 |  6420319 |  4895262 |     2088   5320 |        0 |        0
632.40/632.53	c  632s |      24 |  6437948 |  4908662 |     2088   5332 |        0 |        0
634.39/634.54	c  634s |      24 |  6457196 |  4923262 |     2088   5345 |        0 |        0
636.39/636.55	c  636s |      24 |  6475213 |  4937162 |     2088   5357 |        0 |        0
638.39/638.56	c  638s |      24 |  6494156 |  4951362 |     2088   5370 |        0 |        0
640.39/640.57	c  640s |      24 |  6513228 |  4965462 |     2088   5383 |        0 |        0
642.40/642.58	c  642s |      24 |  6532644 |  4980062 |     2088   5396 |        0 |        0
644.39/644.59	c  644s |      24 |  6550284 |  4993962 |     2088   5408 |        0 |        0
646.49/646.61	c  646s |      24 |  6567028 |  5007062 |     2088   5420 |        0 |        0
648.49/648.61	c  648s |      24 |  6584029 |  5020462 |     2088   5431 |        0 |        0
650.49/650.62	c  650s |      24 |  6604173 |  5035362 |     2297   5444 |        0 |        0
652.49/652.63	c  652s |      24 |  6623881 |  5049462 |     2297   5455 |        0 |        0
654.50/654.64	c  654s |      24 |  6640877 |  5062562 |     2297   5466 |        0 |        0
654.89/655.03	c  655s |      25 |  6644112 |  5065098 |     2297   5468 |        0 |        0
656.89/657.03	c  657s |      25 |  6662029 |  5078998 |     2297   5479 |        0 |        0
658.90/659.04	c  659s |      25 |  6681096 |  5093398 |     2297   5491 |        0 |        0
660.89/661.05	c  661s |      25 |  6700236 |  5107498 |     2297   5503 |        0 |        0
662.89/663.05	c  663s |      25 |  6719771 |  5121998 |     2297   5515 |        0 |        0
664.89/665.07	c  665s |      25 |  6740936 |  5137198 |     2297   5527 |        0 |        0
666.89/667.07	c  667s |      25 |  6761580 |  5151898 |     2297   5539 |        0 |        0
668.89/669.07	c  669s |      25 |  6781039 |  5166598 |     2297   5551 |        0 |        0
670.89/671.08	c  671s |      25 |  6800044 |  5181098 |     2297   5563 |        0 |        0
672.89/673.09	c  673s |      25 |  6818509 |  5194898 |     2297   5574 |        0 |        0
674.88/675.10	c  675s |      25 |  6835155 |  5207998 |     2297   5585 |        0 |        0
676.98/677.10	c  677s |      25 |  6851674 |  5221398 |     2297   5596 |        0 |        0
678.98/679.11	c  679s |      25 |  6869931 |  5235298 |     2297   5608 |        0 |        0
680.98/681.12	c  681s |      25 |  6889199 |  5250098 |     2297   5620 |        0 |        0
682.99/683.12	c  683s |      25 |  6908589 |  5264798 |     2297   5632 |        0 |        0
684.98/685.12	c  685s |      25 |  6928295 |  5279498 |     2297   5645 |        0 |        0
686.98/687.12	c  687s |      25 |  6947304 |  5293698 |     2297   5656 |        0 |        0
688.98/689.14	c  689s |      25 |  6967629 |  5309098 |     2297   5669 |        0 |        0
690.98/691.14	c  691s |      25 |  6986720 |  5323698 |     2297   5681 |        0 |        0
692.99/693.14	c  693s |      25 |  7006953 |  5338798 |     2297   5694 |        0 |        0
694.98/695.15	c  695s |      25 |  7026306 |  5353598 |     2297   5706 |        0 |        0
696.98/697.16	c  697s |      25 |  7046854 |  5368798 |     2297   5719 |        0 |        0
698.98/699.16	c  699s |      25 |  7066362 |  5383698 |     2297   5731 |        0 |        0
700.98/701.17	c  701s |      25 |  7084376 |  5397398 |     2297   5742 |        0 |        0
702.98/703.17	c  703s |      25 |  7101413 |  5410898 |     2297   5753 |        0 |        0
704.98/705.17	c  705s |      25 |  7119300 |  5424698 |     2297   5765 |        0 |        0
706.98/707.18	c  707s |      25 |  7137558 |  5438598 |     2297   5776 |        0 |        0
708.99/709.18	c  709s |      25 |  7157336 |  5453298 |     2297   5788 |        0 |        0
710.98/711.18	c  711s |      25 |  7175752 |  5467098 |     2297   5799 |        0 |        0
712.98/713.19	c  713s |      25 |  7195990 |  5481198 |     2297   5812 |        0 |        0
715.08/715.20	c  715s |      25 |  7216252 |  5496398 |     2297   5825 |        0 |        0
717.09/717.21	c  717s |      25 |  7232209 |  5508998 |     2297   5835 |        0 |        0
719.08/719.21	c  719s |      25 |  7249720 |  5522098 |     2297   5846 |        0 |        0
721.08/721.22	c  721s |      25 |  7268169 |  5535998 |     2297   5857 |        0 |        0
723.08/723.24	c  723s |      25 |  7286947 |  5549998 |     2297   5869 |        0 |        0
725.08/725.24	c  725s |      25 |  7304855 |  5563598 |     2297   5880 |        0 |        0
727.09/727.24	c  727s |      25 |  7322291 |  5577198 |     2297   5891 |        0 |        0
729.08/729.25	c  729s |      25 |  7340418 |  5591098 |     2297   5903 |        0 |        0
731.08/731.25	c  731s |      25 |  7360379 |  5606098 |     2297   5915 |        0 |        0
733.08/733.26	c  733s |      25 |  7377657 |  5619698 |     2297   5926 |        0 |        0
735.08/735.26	c  735s |      25 |  7395457 |  5633698 |     2297   5938 |        0 |        0
737.07/737.27	c  737s |      25 |  7415159 |  5648598 |     2297   5950 |        0 |        0
739.08/739.28	c  739s |      25 |  7434094 |  5662898 |     2297   5962 |        0 |        0
741.07/741.29	c  741s |      25 |  7451835 |  5676498 |     2297   5973 |        0 |        0
743.17/743.30	c  743s |      25 |  7471722 |  5691098 |     2297   5985 |        0 |        0
745.17/745.31	c  745s |      25 |  7488356 |  5704298 |     2297   5996 |        0 |        0
747.17/747.32	c  747s |      25 |  7507669 |  5718998 |     2297   6008 |        0 |        0
749.17/749.32	c  749s |      25 |  7524388 |  5732198 |     2297   6019 |        0 |        0
751.17/751.34	c  751s |      25 |  7542983 |  5745898 |     2297   6031 |        0 |        0
753.17/753.35	c  753s |      25 |  7560313 |  5759398 |     2297   6042 |        0 |        0
755.17/755.36	c  755s |      25 |  7577820 |  5772798 |     2297   6053 |        0 |        0
757.16/757.37	c  757s |      25 |  7594590 |  5785598 |     2297   6064 |        0 |        0
759.16/759.37	c  759s |      25 |  7611875 |  5798998 |     2297   6075 |        0 |        0
761.17/761.37	c  761s |      25 |  7630552 |  5812898 |     2297   6087 |        0 |        0
763.16/763.38	c  763s |      25 |  7648008 |  5826298 |     2297   6098 |        0 |        0
765.16/765.39	c  765s |      25 |  7665441 |  5839898 |     2297   6109 |        0 |        0
767.26/767.40	c  767s |      25 |  7683915 |  5853898 |     2297   6120 |        0 |        0
769.26/769.41	c  769s |      25 |  7699390 |  5866498 |     2297   6131 |        0 |        0
771.26/771.43	c  771s |      25 |  7718653 |  5881098 |     2297   6143 |        0 |        0
773.27/773.45	c  773s |      25 |  7735343 |  5894298 |     2297   6154 |        0 |        0
775.26/775.46	c  775s |      25 |  7753077 |  5908198 |     2297   6165 |        0 |        0
777.26/777.47	c  777s |      25 |  7769875 |  5920798 |     2297   6175 |        0 |        0
779.26/779.47	c  779s |      25 |  7786710 |  5933798 |     2297   6186 |        0 |        0
781.26/781.47	c  781s |      25 |  7805593 |  5947398 |     2297   6198 |        0 |        0
783.26/783.47	c  783s |      25 |  7822990 |  5961098 |     2297   6209 |        0 |        0
785.26/785.49	c  785s |      25 |  7840860 |  5974798 |     2297   6220 |        0 |        0
787.35/787.50	c  787s |      25 |  7858485 |  5988098 |     2297   6231 |        0 |        0
789.35/789.50	c  789s |      25 |  7877723 |  6002398 |     2297   6243 |        0 |        0
791.34/791.50	c  791s |      25 |  7898124 |  6017398 |     2297   6256 |        0 |        0
793.34/793.51	c  793s |      25 |  7915546 |  6030898 |     2297   6267 |        0 |        0
795.34/795.52	c  795s |      25 |  7934971 |  6045598 |     2297   6279 |        0 |        0
797.35/797.52	c  797s |      25 |  7953838 |  6059798 |     2297   6291 |        0 |        0
799.35/799.52	c  799s |      25 |  7972865 |  6073998 |     2297   6303 |        0 |        0
801.35/801.53	c  801s |      25 |  7991015 |  6087598 |     2297   6314 |        0 |        0
803.34/803.53	c  803s |      25 |  8008822 |  6100898 |     2297   6326 |        0 |        0
805.34/805.54	c  805s |      25 |  8027446 |  6114698 |     2297   6337 |        0 |        0
807.35/807.55	c  807s |      25 |  8047058 |  6129498 |     2297   6350 |        0 |        0
809.34/809.55	c  809s |      25 |  8067665 |  6144598 |     2297   6363 |        0 |        0
811.34/811.56	c  811s |      25 |  8083168 |  6157598 |     2297   6373 |        0 |        0
813.34/813.57	c  813s |      25 |  8099182 |  6170698 |     2297   6384 |        0 |        0
815.34/815.58	c  815s |      25 |  8117307 |  6184698 |     2297   6395 |        0 |        0
817.33/817.59	c  817s |      25 |  8134841 |  6198498 |     2297   6407 |        0 |        0
819.34/819.59	c  819s |      25 |  8152891 |  6212398 |     2297   6418 |        0 |        0
821.43/821.60	c  821s |      25 |  8171147 |  6226098 |     2297   6430 |        0 |        0
823.43/823.61	c  823s |      25 |  8188680 |  6239798 |     2297   6441 |        0 |        0
825.43/825.62	c  825s |      25 |  8207385 |  6254098 |     2297   6453 |        0 |        0
827.43/827.62	c  827s |      25 |  8222949 |  6266898 |     2297   6463 |        0 |        0
829.42/829.64	c  829s |      25 |  8240227 |  6279998 |     2297   6474 |        0 |        0
831.43/831.64	c  831s |      25 |  8255798 |  6291998 |     2297   6485 |        0 |        0
833.42/833.64	c  833s |      25 |  8272556 |  6305198 |     2297   6496 |        0 |        0
835.42/835.64	c  835s |      25 |  8288630 |  6318298 |     2297   6507 |        0 |        0
837.42/837.65	c  837s |      25 |  8305705 |  6331398 |     2297   6518 |        0 |        0
839.42/839.66	c  839s |      25 |  8322449 |  6344398 |     2297   6529 |        0 |        0
841.43/841.66	c  841s |      25 |  8340357 |  6357898 |     2297   6540 |        0 |        0
843.42/843.68	c  843s |      25 |  8358277 |  6371898 |     2297   6552 |        0 |        0
845.42/845.69	c  845s |      25 |  8378321 |  6386998 |     2297   6564 |        0 |        0
847.51/847.70	c  847s |      25 |  8397830 |  6401498 |     2297   6576 |        0 |        0
849.51/849.70	c  849s |      25 |  8420404 |  6417798 |     2297   6590 |        0 |        0
851.51/851.70	c  851s |      25 |  8441205 |  6433298 |     2297   6603 |        0 |        0
853.52/853.71	c  853s |      25 |  8458672 |  6447098 |     2297   6614 |        0 |        0
855.51/855.72	c  855s |      25 |  8477150 |  6461198 |     2297   6626 |        0 |        0
857.50/857.73	c  857s |      25 |  8495398 |  6474998 |     2297   6638 |        0 |        0
859.50/859.74	c  859s |      25 |  8513249 |  6488398 |     2297   6649 |        0 |        0
861.50/861.76	c  861s |      25 |  8529829 |  6500998 |     2297   6660 |        0 |        0
863.50/863.77	c  863s |      25 |  8547722 |  6514698 |     2297   6672 |        0 |        0
865.52/865.78	c  865s |      25 |  8566250 |  6529198 |     2297   6684 |        0 |        0
867.50/867.78	c  867s |      25 |  8585559 |  6543398 |     2297   6696 |        0 |        0
869.50/869.79	c  869s |      25 |  8606518 |  6558798 |     2297   6709 |        0 |        0
871.50/871.80	c  871s |      25 |  8625053 |  6572998 |     2297   6721 |        0 |        0
873.60/873.80	c  873s |      25 |  8642417 |  6586198 |     2297   6732 |        0 |        0
875.60/875.80	c  875s |      25 |  8659386 |  6599698 |     2297   6743 |        0 |        0
877.60/877.81	c  877s |      25 |  8677443 |  6613198 |     2297   6754 |        0 |        0
879.59/879.82	c  879s |      25 |  8696586 |  6627798 |     2297   6766 |        0 |        0
881.59/881.82	c  881s |      25 |  8714190 |  6641598 |     2297   6777 |        0 |        0
883.59/883.82	c  883s |      25 |  8732073 |  6655498 |     2297   6789 |        0 |        0
885.59/885.83	c  885s |      25 |  8748056 |  6668398 |     2297   6799 |        0 |        0
887.60/887.83	c  887s |      25 |  8764571 |  6680898 |     2297   6810 |        0 |        0
889.59/889.84	c  889s |      25 |  8780176 |  6692998 |     2297   6820 |        0 |        0
891.59/891.85	c  891s |      25 |  8795300 |  6704998 |     2297   6830 |        0 |        0
893.59/893.85	c  893s |      25 |  8810769 |  6716498 |     2297   6839 |        0 |        0
895.59/895.86	c  895s |      25 |  8826144 |  6728498 |     2297   6849 |        0 |        0
897.58/897.87	c  897s |      25 |  8842646 |  6741598 |     2297   6860 |        0 |        0
899.58/899.88	c  899s |      25 |  8858947 |  6754598 |     2297   6872 |        0 |        0
901.68/901.90	c  901s |      25 |  8875625 |  6767598 |     2297   6883 |        0 |        0
903.68/903.91	c  903s |      25 |  8894079 |  6781698 |     2297   6894 |        0 |        0
905.67/905.92	c  905s |      25 |  8912202 |  6794798 |     2297   6905 |        0 |        0
907.67/907.93	c  907s |      25 |  8931436 |  6809398 |     2297   6918 |        0 |        0
909.67/909.94	c  909s |      25 |  8950895 |  6823798 |     2297   6930 |        0 |        0
911.68/911.95	c  911s |      25 |  8969712 |  6837598 |     2297   6942 |        0 |        0
913.67/913.95	c  913s |      25 |  8988428 |  6851698 |     2297   6953 |        0 |        0
915.67/915.96	c  915s |      25 |  9008828 |  6866998 |     2297   6966 |        0 |        0
917.68/917.96	c  917s |      25 |  9027444 |  6881198 |     2297   6977 |        0 |        0
919.68/919.98	c  919s |      25 |  9046465 |  6895098 |     2297   6989 |        0 |        0
921.68/921.98	c  921s |      25 |  9066266 |  6909298 |     2297   7001 |        0 |        0
923.67/923.99	c  923s |      25 |  9086004 |  6923698 |     2297   7013 |        0 |        0
925.67/925.99	c  925s |      25 |  9105142 |  6937798 |     2297   7024 |        0 |        0
927.77/928.00	c  927s |      25 |  9121872 |  6950898 |     2297   7035 |        0 |        0
929.77/930.02	c  930s |      25 |  9136976 |  6962698 |     2297   7045 |        0 |        0
931.77/932.03	c  932s |      25 |  9150745 |  6973398 |     2297   7054 |        0 |        0
933.77/934.03	c  934s |      25 |  9165079 |  6984798 |     2297   7063 |        0 |        0
935.77/936.03	c  936s |      25 |  9181873 |  6997198 |     2297   7073 |        0 |        0
937.76/938.04	c  938s |      25 |  9197727 |  7009098 |     2297   7083 |        0 |        0
939.76/940.05	c  940s |      25 |  9213580 |  7021498 |     2297   7093 |        0 |        0
941.76/942.06	c  942s |      25 |  9231972 |  7035298 |     2297   7105 |        0 |        0
943.76/944.06	c  944s |      25 |  9249911 |  7048598 |     2297   7116 |        0 |        0
945.76/946.07	c  946s |      25 |  9268793 |  7062498 |     2297   7127 |        0 |        0
947.75/948.08	c  948s |      25 |  9287086 |  7075798 |     2297   7138 |        0 |        0
949.75/950.08	c  950s |      25 |  9307686 |  7090698 |     2297   7151 |        0 |        0
951.75/952.10	c  952s |      25 |  9326427 |  7105098 |     2297   7163 |        0 |        0
953.85/954.10	c  954s |      25 |  9346471 |  7120198 |     2297   7175 |        0 |        0
955.85/956.12	c  956s |      25 |  9367034 |  7135498 |     2297   7188 |        0 |        0
957.85/958.12	c  958s |      25 |  9385627 |  7149698 |     2297   7200 |        0 |        0
959.84/960.13	c  960s |      25 |  9404291 |  7163498 |     2297   7212 |        0 |        0
961.84/962.14	c  962s |      25 |  9424095 |  7178398 |     2297   7224 |        0 |        0
963.84/964.14	c  964s |      25 |  9443959 |  7193298 |     2297   7236 |        0 |        0
965.84/966.15	c  966s |      25 |  9460800 |  7206798 |     2297   7247 |        0 |        0
967.85/968.16	c  968s |      25 |  9479397 |  7220798 |     2297   7259 |        0 |        0
969.84/970.17	c  970s |      25 |  9496283 |  7233798 |     2297   7270 |        0 |        0
971.84/972.18	c  972s |      25 |  9513825 |  7247598 |     2297   7281 |        0 |        0
973.84/974.19	c  974s |      25 |  9531509 |  7261198 |     2297   7292 |        0 |        0
975.94/976.21	c  976s |      25 |  9551018 |  7275398 |     2297   7305 |        0 |        0
977.93/978.21	c  978s |      25 |  9567921 |  7288998 |     2297   7316 |        0 |        0
979.94/980.22	c  980s |      25 |  9587881 |  7303198 |     2297   7328 |        0 |        0
981.93/982.23	c  982s |      25 |  9606192 |  7317198 |     2297   7339 |        0 |        0
983.93/984.23	c  984s |      25 |  9626160 |  7331998 |     2297   7351 |        0 |        0
985.93/986.23	c  986s |      25 |  9645718 |  7346098 |     2297   7363 |        0 |        0
987.93/988.23	c  988s |      25 |  9665951 |  7360798 |     2297   7375 |        0 |        0
989.93/990.25	c  990s |      25 |  9682318 |  7373498 |     2297   7386 |        0 |        0
991.94/992.25	c  992s |      25 |  9702133 |  7388298 |     2297   7398 |        0 |        0
993.93/994.25	c  994s |      25 |  9720079 |  7401998 |     2297   7409 |        0 |        0
995.93/996.26	c  996s |      25 |  9737966 |  7415498 |     2297   7420 |        0 |        0
997.92/998.28	c  998s |      25 |  9754463 |  7428698 |     2297   7431 |        0 |        0
999.92/1000.29	c 1000s |      25 |  9773530 |  7442698 |     2297   7443 |        0 |        0
1001.93/1002.30	c 1002s |      25 |  9792452 |  7456798 |     2297   7454 |        0 |        0
1004.03/1004.31	c 1004s |      25 |  9811442 |  7471198 |     2297   7466 |        0 |        0
1006.02/1006.31	c 1006s |      25 |  9830722 |  7485898 |     2297   7479 |        0 |        0
1008.02/1008.32	c 1008s |      25 |  9848995 |  7500098 |     2297   7491 |        0 |        0
1010.02/1010.32	c 1010s |      25 |  9871038 |  7515898 |     2297   7504 |        0 |        0
1012.02/1012.33	c 1012s |      25 |  9890472 |  7530598 |     2297   7516 |        0 |        0
1014.02/1014.33	c 1014s |      25 |  9904681 |  7541898 |     2297   7525 |        0 |        0
1016.01/1016.35	c 1016s |      25 |  9920928 |  7554198 |     2527   7535 |        0 |        0
1018.01/1018.35	c 1018s |      25 |  9936336 |  7566298 |     2527   7544 |        0 |        0
1020.01/1020.36	c 1020s |      25 |  9953902 |  7579298 |     2527   7553 |        0 |        0
1022.01/1022.37	c 1022s |      25 |  9969566 |  7591498 |     2527   7563 |        0 |        0
1023.01/1023.32	c 1023s |      26 |  9978179 |  7597752 |     2527   7568 |        0 |        0
1025.01/1025.33	c 1025s |      26 |  9996205 |  7611952 |     2527   7578 |        0 |        0
1027.00/1027.34	c 1027s |      26 | 10013254 |  7625652 |     2527   7588 |        0 |        0
1029.00/1029.36	c 1029s |      26 | 10028553 |  7638352 |     2527   7598 |        0 |        0
1031.01/1031.36	c 1031s |      26 | 10047162 |  7652752 |     2527   7608 |        0 |        0
1033.01/1033.36	c 1033s |      26 | 10065986 |  7666552 |     2527   7619 |        0 |        0
1035.01/1035.38	c 1035s |      26 | 10084560 |  7681052 |     2527   7629 |        0 |        0
1037.01/1037.39	c 1037s |      26 | 10101048 |  7693852 |     2527   7639 |        0 |        0
1039.00/1039.39	c 1039s |      26 | 10117271 |  7706952 |     2527   7649 |        0 |        0
1041.10/1041.40	c 1041s |      26 | 10134311 |  7720152 |     2527   7658 |        0 |        0
1043.10/1043.41	c 1043s |      26 | 10150750 |  7733052 |     2527   7668 |        0 |        0
1045.10/1045.42	c 1045s |      26 | 10168828 |  7747052 |     2527   7679 |        0 |        0
1047.10/1047.43	c 1047s |      26 | 10185728 |  7760352 |     2527   7688 |        0 |        0
1049.10/1049.44	c 1049s |      26 | 10203726 |  7773852 |     2527   7699 |        0 |        0
1051.09/1051.45	c 1051s |      26 | 10221759 |  7787352 |     2527   7709 |        0 |        0
1053.09/1053.45	c 1053s |      26 | 10240246 |  7801552 |     2527   7719 |        0 |        0
1055.09/1055.45	c 1055s |      26 | 10257481 |  7814952 |     2527   7729 |        0 |        0
1057.09/1057.47	c 1057s |      26 | 10275703 |  7828752 |     2527   7740 |        0 |        0
1059.09/1059.47	c 1059s |      26 | 10293780 |  7842652 |     2527   7750 |        0 |        0
1061.09/1061.47	c 1061s |      26 | 10311981 |  7856452 |     2527   7760 |        0 |        0
1063.09/1063.48	c 1063s |      26 | 10329421 |  7869952 |     2527   7770 |        0 |        0
1065.19/1065.50	c 1065s |      26 | 10346598 |  7883352 |     2527   7780 |        0 |        0
1067.18/1067.51	c 1067s |      26 | 10364907 |  7896952 |     2527   7790 |        0 |        0
1069.18/1069.51	c 1069s |      26 | 10383069 |  7910852 |     2527   7801 |        0 |        0
1071.19/1071.51	c 1071s |      26 | 10402351 |  7925252 |     2527   7812 |        0 |        0
1073.19/1073.52	c 1073s |      26 | 10421315 |  7939752 |     2527   7822 |        0 |        0
1075.19/1075.53	c 1075s |      26 | 10438736 |  7953652 |     2527   7833 |        0 |        0
1077.18/1077.54	c 1077s |      26 | 10458804 |  7968452 |     2527   7844 |        0 |        0
1079.18/1079.55	c 1079s |      26 | 10476701 |  7982252 |     2527   7854 |        0 |        0
1081.18/1081.56	c 1081s |      26 | 10496982 |  7997552 |     2527   7866 |        0 |        0
1083.18/1083.56	c 1083s |      26 | 10512946 |  8010452 |     2527   7875 |        0 |        0
1085.18/1085.57	c 1085s |      26 | 10529912 |  8023852 |     2527   7885 |        0 |        0
1087.17/1087.58	c 1087s |      26 | 10547079 |  8037652 |     2527   7895 |        0 |        0
1089.17/1089.59	c 1089s |      26 | 10564218 |  8051252 |     2527   7905 |        0 |        0
1091.27/1091.60	c 1091s |      26 | 10581710 |  8064752 |     2527   7915 |        0 |        0
1093.27/1093.61	c 1093s |      26 | 10598916 |  8078052 |     2527   7925 |        0 |        0
1095.27/1095.63	c 1095s |      26 | 10615610 |  8091152 |     2527   7935 |        0 |        0
1097.26/1097.64	c 1097s |      26 | 10631912 |  8104152 |     2527   7945 |        0 |        0
1099.26/1099.65	c 1099s |      26 | 10649217 |  8117552 |     2527   7955 |        0 |        0
1101.27/1101.65	c 1101s |      26 | 10667981 |  8131552 |     2527   7965 |        0 |        0
1103.27/1103.66	c 1103s |      26 | 10685062 |  8144952 |     2527   7975 |        0 |        0
1105.27/1105.66	c 1105s |      26 | 10702454 |  8158452 |     2527   7985 |        0 |        0
1107.26/1107.67	c 1107s |      26 | 10719644 |  8172052 |     2527   7995 |        0 |        0
1109.26/1109.68	c 1109s |      26 | 10736117 |  8185252 |     2527   8005 |        0 |        0
1111.26/1111.68	c 1111s |      26 | 10753258 |  8198752 |     2527   8015 |        0 |        0
1113.26/1113.69	c 1113s |      26 | 10769242 |  8211452 |     2527   8024 |        0 |        0
1115.36/1115.70	c 1115s |      26 | 10786111 |  8224352 |     2527   8034 |        0 |        0
1117.36/1117.72	c 1117s |      26 | 10802260 |  8237052 |     2527   8043 |        0 |        0
1119.35/1119.72	c 1119s |      26 | 10820955 |  8251152 |     2527   8054 |        0 |        0
1121.35/1121.73	c 1121s |      26 | 10839958 |  8265452 |     2527   8064 |        0 |        0
1123.35/1123.74	c 1123s |      26 | 10857246 |  8278652 |     2527   8074 |        0 |        0
1125.35/1125.75	c 1125s |      26 | 10873838 |  8291752 |     2527   8084 |        0 |        0
1127.34/1127.76	c 1127s |      26 | 10890720 |  8304852 |     2527   8094 |        0 |        0
1129.35/1129.77	c 1129s |      26 | 10906841 |  8317552 |     2527   8103 |        0 |        0
1131.34/1131.77	c 1131s |      26 | 10924462 |  8331252 |     2527   8113 |        0 |        0
1133.34/1133.78	c 1133s |      26 | 10943141 |  8345252 |     2527   8124 |        0 |        0
1135.44/1135.80	c 1135s |      26 | 10962736 |  8359752 |     2527   8135 |        0 |        0
1137.44/1137.82	c 1137s |      26 | 10980208 |  8373152 |     2527   8145 |        0 |        0
1139.43/1139.83	c 1139s |      26 | 10997817 |  8386352 |     2527   8154 |        0 |        0
1141.44/1141.84	c 1141s |      26 | 11015596 |  8400252 |     2527   8165 |        0 |        0
1143.43/1143.85	c 1143s |      26 | 11033011 |  8414052 |     2527   8175 |        0 |        0
1145.43/1145.87	c 1145s |      26 | 11050990 |  8427852 |     2527   8185 |        0 |        0
1147.43/1147.88	c 1147s |      26 | 11067436 |  8440452 |     2527   8195 |        0 |        0
1149.43/1149.89	c 1149s |      26 | 11084995 |  8454052 |     2527   8205 |        0 |        0
1151.53/1151.90	c 1151s |      26 | 11102365 |  8467652 |     2527   8215 |        0 |        0
1153.53/1153.91	c 1153s |      26 | 11121200 |  8481952 |     2527   8226 |        0 |        0
1155.53/1155.92	c 1155s |      26 | 11139637 |  8496052 |     2527   8236 |        0 |        0
1157.52/1157.93	c 1157s |      26 | 11158077 |  8509852 |     2527   8247 |        0 |        0
1159.52/1159.93	c 1159s |      26 | 11177221 |  8524452 |     2527   8257 |        0 |        0
1161.52/1161.94	c 1161s |      26 | 11194975 |  8538152 |     2527   8268 |        0 |        0
1163.53/1163.96	c 1163s |      26 | 11214006 |  8552552 |     2527   8278 |        0 |        0
1165.52/1165.97	c 1165s |      26 | 11232931 |  8566252 |     2527   8289 |        0 |        0
1167.52/1167.98	c 1167s |      26 | 11252880 |  8580952 |     2527   8300 |        0 |        0
1169.52/1169.99	c 1169s |      26 | 11270281 |  8594952 |     2527   8310 |        0 |        0
1171.61/1172.00	c 1171s |      26 | 11289281 |  8609952 |     2527   8321 |        0 |        0
1173.62/1174.01	c 1173s |      26 | 11306009 |  8623052 |     2527   8331 |        0 |        0
1175.63/1176.01	c 1175s |      26 | 11324070 |  8636952 |     2527   8341 |        0 |        0
1177.62/1178.03	c 1178s |      26 | 11342990 |  8651052 |     2527   8352 |        0 |        0
1179.62/1180.03	c 1180s |      26 | 11361956 |  8665152 |     2527   8362 |        0 |        0
1181.62/1182.04	c 1182s |      26 | 11380506 |  8678952 |     2527   8372 |        0 |        0
1183.62/1184.05	c 1184s |      26 | 11395045 |  8690752 |     2527   8381 |        0 |        0
1185.62/1186.06	c 1186s |      26 | 11409537 |  8702452 |     2527   8390 |        0 |        0
1187.62/1188.07	c 1188s |      26 | 11425501 |  8715152 |     2527   8399 |        0 |        0
1189.61/1190.07	c 1190s |      26 | 11444084 |  8729052 |     2527   8410 |        0 |        0
1191.61/1192.08	c 1192s |      26 | 11461096 |  8742452 |     2527   8420 |        0 |        0
1193.61/1194.08	c 1194s |      26 | 11480060 |  8756752 |     2527   8430 |        0 |        0
1195.61/1196.09	c 1196s |      26 | 11499247 |  8771352 |     2527   8441 |        0 |        0
1197.71/1198.10	c 1198s |      26 | 11515185 |  8783552 |     2527   8450 |        0 |        0
1199.71/1200.11	c 1200s |      26 | 11533828 |  8797752 |     2527   8461 |        0 |        0
1201.71/1202.11	c 1202s |      26 | 11547860 |  8809352 |     2527   8470 |        0 |        0
1203.70/1204.12	c 1204s |      26 | 11565140 |  8823252 |     2527   8480 |        0 |        0
1205.70/1206.13	c 1206s |      26 | 11583731 |  8837252 |     2527   8490 |        0 |        0
1207.69/1208.14	c 1208s |      26 | 11601965 |  8850952 |     2527   8501 |        0 |        0
1209.70/1210.14	c 1210s |      26 | 11620046 |  8864352 |     2527   8511 |        0 |        0
1211.69/1212.15	c 1212s |      26 | 11637594 |  8877652 |     2527   8521 |        0 |        0
1213.69/1214.16	c 1214s |      26 | 11655071 |  8891052 |     2527   8531 |        0 |        0
1215.69/1216.17	c 1216s |      26 | 11674147 |  8905352 |     2527   8541 |        0 |        0
1217.69/1218.17	c 1218s |      26 | 11689407 |  8917552 |     2527   8550 |        0 |        0
1219.69/1220.17	c 1220s |      26 | 11707909 |  8931552 |     2527   8561 |        0 |        0
1221.70/1222.19	c 1222s |      26 | 11724897 |  8944752 |     2527   8570 |        0 |        0
1223.69/1224.19	c 1224s |      26 | 11742950 |  8958752 |     2527   8581 |        0 |        0
1225.79/1226.21	c 1226s |      26 | 11760805 |  8971952 |     2527   8591 |        0 |        0
1227.79/1228.22	c 1228s |      26 | 11777764 |  8985152 |     2527   8600 |        0 |        0
1229.79/1230.23	c 1230s |      26 | 11795060 |  8998352 |     2527   8610 |        0 |        0
1231.78/1232.23	c 1232s |      26 | 11811106 |  9010752 |     2527   8619 |        0 |        0
1233.79/1234.24	c 1234s |      26 | 11827598 |  9023652 |     2527   8629 |        0 |        0
1235.78/1236.26	c 1236s |      26 | 11844289 |  9036452 |     2527   8639 |        0 |        0
1237.77/1238.26	c 1238s |      26 | 11860864 |  9049352 |     2527   8648 |        0 |        0
1239.77/1240.27	c 1240s |      26 | 11876670 |  9061352 |     2527   8657 |        0 |        0
1241.78/1242.28	c 1242s |      26 | 11894160 |  9074652 |     2527   8667 |        0 |        0
1243.79/1244.28	c 1244s |      26 | 11910875 |  9087852 |     2527   8677 |        0 |        0
1245.78/1246.29	c 1246s |      26 | 11929410 |  9102052 |     2527   8687 |        0 |        0
1247.88/1248.30	c 1248s |      26 | 11946527 |  9115152 |     2527   8697 |        0 |        0
1249.88/1250.31	c 1250s |      26 | 11962993 |  9128252 |     2527   8707 |        0 |        0
1251.87/1252.32	c 1252s |      26 | 11981113 |  9141652 |     2527   8717 |        0 |        0
1253.87/1254.33	c 1254s |      26 | 11998437 |  9155252 |     2527   8727 |        0 |        0
1255.88/1256.33	c 1256s |      26 | 12017654 |  9169552 |     2527   8738 |        0 |        0
1257.87/1258.34	c 1258s |      26 | 12035050 |  9183152 |     2527   8748 |        0 |        0
1259.87/1260.35	c 1260s |      26 | 12053704 |  9197152 |     2527   8758 |        0 |        0
1261.87/1262.35	c 1262s |      26 | 12072397 |  9210952 |     2527   8769 |        0 |        0
1263.86/1264.36	c 1264s |      26 | 12091251 |  9225252 |     2527   8779 |        0 |        0
1265.86/1266.37	c 1266s |      26 | 12109998 |  9239652 |     2527   8790 |        0 |        0
1267.87/1268.37	c 1268s |      26 | 12124575 |  9251652 |     2527   8799 |        0 |        0
1269.86/1270.37	c 1270s |      26 | 12143455 |  9266052 |     2527   8810 |        0 |        0
1271.86/1272.38	c 1272s |      26 | 12159029 |  9278552 |     2527   8819 |        0 |        0
1273.86/1274.38	c 1274s |      26 | 12176757 |  9292252 |     2527   8829 |        0 |        0
1275.86/1276.39	c 1276s |      26 | 12193485 |  9305852 |     2527   8839 |        0 |        0
1277.95/1278.40	c 1278s |      26 | 12211833 |  9320052 |     2527   8850 |        0 |        0
1279.96/1280.42	c 1280s |      26 | 12229815 |  9333952 |     2527   8860 |        0 |        0
1281.95/1282.43	c 1282s |      26 | 12247954 |  9347152 |     2527   8870 |        0 |        0
1283.95/1284.44	c 1284s |      26 | 12267217 |  9361352 |     2527   8881 |        0 |        0
1285.95/1286.45	c 1286s |      26 | 12285876 |  9375352 |     2527   8891 |        0 |        0
1287.95/1288.46	c 1288s |      26 | 12303807 |  9388852 |     2527   8901 |        0 |        0
1289.95/1290.47	c 1290s |      26 | 12321847 |  9402352 |     2527   8911 |        0 |        0
1291.94/1292.47	c 1292s |      26 | 12340232 |  9416052 |     2527   8922 |        0 |        0
1293.95/1294.48	c 1294s |      26 | 12357831 |  9429352 |     2527   8931 |        0 |        0
1295.95/1296.48	c 1296s |      26 | 12372253 |  9441152 |     2527   8940 |        0 |        0
1298.04/1298.50	c 1298s |      26 | 12389167 |  9454352 |     2527   8950 |        0 |        0
1300.04/1300.51	c 1300s |      26 | 12406331 |  9467452 |     2527   8960 |        0 |        0
1302.05/1302.51	c 1302s |      26 | 12424964 |  9481452 |     2527   8970 |        0 |        0
1304.04/1304.51	c 1304s |      26 | 12442390 |  9495052 |     2527   8981 |        0 |        0
1306.04/1306.52	c 1306s |      26 | 12460701 |  9509052 |     2527   8991 |        0 |        0
1308.04/1308.54	c 1308s |      26 | 12476595 |  9521852 |     2527   9001 |        0 |        0
1310.03/1310.55	c 1310s |      26 | 12494383 |  9535652 |     2527   9011 |        0 |        0
1312.03/1312.56	c 1312s |      26 | 12509762 |  9547952 |     2527   9020 |        0 |        0
1314.04/1314.58	c 1314s |      26 | 12527328 |  9561552 |     2527   9030 |        0 |        0
1316.03/1316.58	c 1316s |      26 | 12544929 |  9575052 |     2527   9040 |        0 |        0
1318.03/1318.58	c 1318s |      26 | 12561400 |  9587952 |     2527   9050 |        0 |        0
1320.03/1320.59	c 1320s |      26 | 12579001 |  9600952 |     2527   9060 |        0 |        0
1322.13/1322.61	c 1322s |      26 | 12596760 |  9614352 |     2527   9070 |        0 |        0
1324.12/1324.63	c 1324s |      26 | 12614658 |  9628152 |     2527   9080 |        0 |        0
1326.13/1326.63	c 1326s |      26 | 12632199 |  9641852 |     2527   9090 |        0 |        0
1328.12/1328.63	c 1328s |      26 | 12648719 |  9654652 |     2527   9100 |        0 |        0
1330.12/1330.63	c 1330s |      26 | 12665915 |  9667552 |     2527   9109 |        0 |        0
1332.12/1332.63	c 1332s |      26 | 12681998 |  9680152 |     2527   9119 |        0 |        0
1334.12/1334.65	c 1334s |      26 | 12699616 |  9693652 |     2527   9129 |        0 |        0
1336.13/1336.66	c 1336s |      26 | 12714865 |  9705952 |     2527   9138 |        0 |        0
1338.11/1338.67	c 1338s |      26 | 12731301 |  9718452 |     2527   9147 |        0 |        0
1340.11/1340.68	c 1340s |      26 | 12748752 |  9731652 |     2527   9157 |        0 |        0
1342.11/1342.69	c 1342s |      26 | 12766266 |  9744552 |     2527   9167 |        0 |        0
1344.21/1344.70	c 1344s |      26 | 12782812 |  9757452 |     2527   9176 |        0 |        0
1346.21/1346.71	c 1346s |      26 | 12799255 |  9769952 |     2527   9186 |        0 |        0
1348.22/1348.73	c 1348s |      26 | 12816915 |  9783052 |     2527   9195 |        0 |        0
1350.21/1350.73	c 1350s |      26 | 12834473 |  9795752 |     2527   9205 |        0 |        0
1352.22/1352.73	c 1352s |      26 | 12850151 |  9808152 |     2527   9214 |        0 |        0
1354.22/1354.75	c 1354s |      26 | 12866998 |  9821152 |     2527   9224 |        0 |        0
1356.22/1356.75	c 1356s |      26 | 12885867 |  9835052 |     2527   9234 |        0 |        0
1358.21/1358.76	c 1358s |      26 | 12905760 |  9849452 |     2527   9245 |        0 |        0
1360.22/1360.77	c 1360s |      26 | 12924033 |  9863652 |     2527   9255 |        0 |        0
1362.21/1362.77	c 1362s |      26 | 12943587 |  9878152 |     2527   9266 |        0 |        0
1364.21/1364.79	c 1364s |      26 | 12963599 |  9893052 |     2527   9277 |        0 |        0
1366.31/1366.80	c 1366s |      26 | 12982329 |  9907252 |     2527   9288 |        0 |        0
1368.30/1368.80	c 1368s |      26 | 12999788 |  9921052 |     2527   9298 |        0 |        0
1370.30/1370.82	c 1370s |      26 | 13018978 |  9935452 |     2527   9309 |        0 |        0
1372.31/1372.84	c 1372s |      26 | 13035919 |  9948752 |     2527   9318 |        0 |        0
1374.30/1374.84	c 1374s |      26 | 13051535 |  9961152 |     2527   9328 |        0 |        0
1376.30/1376.85	c 1376s |      26 | 13069383 |  9974552 |     2527   9338 |        0 |        0
1378.29/1378.85	c 1378s |      26 | 13089349 |  9989452 |     2527   9349 |        0 |        0
1380.29/1380.86	c 1380s |      26 | 13107089 | 10003552 |     2527   9359 |        0 |        0
1382.30/1382.87	c 1382s |      26 | 13125253 | 10017352 |     2527   9369 |        0 |        0
1384.29/1384.88	c 1384s |      26 | 13142246 | 10030752 |     2527   9379 |        0 |        0
1386.29/1386.89	c 1386s |      26 | 13156801 | 10042652 |     2527   9388 |        0 |        0
1388.29/1388.89	c 1388s |      26 | 13176654 | 10057352 |     2527   9399 |        0 |        0
1390.39/1390.90	c 1390s |      26 | 13192988 | 10070052 |     2527   9408 |        0 |        0
1392.39/1392.91	c 1392s |      26 | 13210345 | 10083152 |     2527   9418 |        0 |        0
1394.39/1394.93	c 1394s |      26 | 13226517 | 10095752 |     2527   9427 |        0 |        0
1396.39/1396.94	c 1396s |      26 | 13238439 | 10105852 |     2527   9435 |        0 |        0
1398.39/1398.96	c 1398s |      26 | 13254501 | 10118152 |     2527   9444 |        0 |        0
1400.39/1400.96	c 1400s |      26 | 13270653 | 10130552 |     2527   9453 |        0 |        0
1402.38/1402.97	c 1402s |      26 | 13287387 | 10143652 |     2527   9463 |        0 |        0
1404.39/1404.97	c 1404s |      26 | 13306173 | 10157652 |     2527   9473 |        0 |        0
1406.40/1406.98	c 1406s |      26 | 13324720 | 10171552 |     2527   9484 |        0 |        0
1408.49/1409.00	c 1408s |      26 | 13342162 | 10184752 |     2527   9494 |        0 |        0
1410.49/1411.01	c 1410s |      26 | 13357941 | 10197152 |     2527   9503 |        0 |        0
1412.49/1413.02	c 1413s |      26 | 13373793 | 10209552 |     2527   9512 |        0 |        0
1414.49/1415.03	c 1415s |      26 | 13391741 | 10222752 |     2527   9522 |        0 |        0
1416.49/1417.03	c 1417s |      26 | 13409341 | 10235652 |     2527   9531 |        0 |        0
1418.50/1419.04	c 1419s |      26 | 13426240 | 10248752 |     2527   9541 |        0 |        0
1420.49/1421.05	c 1421s |      26 | 13443050 | 10261852 |     2527   9551 |        0 |        0
1422.49/1423.06	c 1423s |      26 | 13460798 | 10275252 |     2527   9561 |        0 |        0
1424.49/1425.07	c 1425s |      26 | 13476434 | 10287552 |     2527   9570 |        0 |        0
1426.49/1427.07	c 1427s |      26 | 13491262 | 10299452 |     2527   9579 |        0 |        0
1428.49/1429.08	c 1429s |      26 | 13508128 | 10312552 |     2527   9588 |        0 |        0
1430.49/1431.09	c 1431s |      26 | 13525462 | 10325752 |     2527   9598 |        0 |        0
1432.49/1433.09	c 1433s |      26 | 13544179 | 10339652 |     2527   9609 |        0 |        0
1434.58/1435.10	c 1435s |      26 | 13561948 | 10353252 |     2527   9619 |        0 |        0
1436.58/1437.11	c 1437s |      26 | 13576169 | 10365352 |     2527   9628 |        0 |        0
1438.58/1439.12	c 1439s |      26 | 13593041 | 10378152 |     2527   9637 |        0 |        0
1440.59/1441.13	c 1441s |      26 | 13610027 | 10390952 |     2527   9647 |        0 |        0
1442.58/1443.13	c 1443s |      26 | 13626240 | 10403852 |     2527   9656 |        0 |        0
1444.58/1445.13	c 1445s |      26 | 13643268 | 10417152 |     2527   9666 |        0 |        0
1446.58/1447.15	c 1447s |      26 | 13660593 | 10430452 |     2527   9676 |        0 |        0
1448.58/1449.19	c 1449s |      26 | 13678791 | 10444252 |     2527   9687 |        0 |        0
1450.68/1451.20	c 1451s |      26 | 13695879 | 10457552 |     2527   9696 |        0 |        0
1452.59/1453.20	c 1453s |      26 | 13713167 | 10470852 |     2527   9706 |        0 |        0
1454.68/1455.21	c 1455s |      26 | 13729403 | 10483952 |     2527   9716 |        0 |        0
1456.68/1457.23	c 1457s |      26 | 13743770 | 10495552 |     2527   9725 |        0 |        0
1458.68/1459.24	c 1459s |      26 | 13760000 | 10508152 |     2527   9734 |        0 |        0
1460.68/1461.25	c 1461s |      26 | 13776145 | 10520852 |     2527   9744 |        0 |        0
1462.68/1463.25	c 1463s |      26 | 13793105 | 10533952 |     2527   9753 |        0 |        0
1464.68/1465.26	c 1465s |      26 | 13810382 | 10547052 |     2527   9763 |        0 |        0
1466.68/1467.26	c 1467s |      26 | 13827653 | 10560352 |     2527   9773 |        0 |        0
1468.68/1469.26	c 1469s |      26 | 13846138 | 10574352 |     2527   9783 |        0 |        0
1470.68/1471.27	c 1471s |      26 | 13865064 | 10588552 |     2527   9794 |        0 |        0
1472.68/1473.27	c 1473s |      26 | 13883233 | 10602552 |     2527   9804 |        0 |        0
1474.69/1475.29	c 1475s |      26 | 13901368 | 10616452 |     2527   9815 |        0 |        0
1476.68/1477.30	c 1477s |      26 | 13920112 | 10630752 |     2527   9825 |        0 |        0
1478.78/1479.31	c 1479s |      26 | 13936222 | 10643252 |     2527   9834 |        0 |        0
1480.78/1481.31	c 1481s |      26 | 13954064 | 10656752 |     2527   9844 |        0 |        0
1482.78/1483.32	c 1483s |      26 | 13971362 | 10669852 |     2527   9854 |        0 |        0
1484.78/1485.34	c 1485s |      26 | 13989191 | 10683752 |     2527   9865 |        0 |        0
1486.78/1487.35	c 1487s |      26 | 14007947 | 10698052 |     2527   9875 |        0 |        0
1488.78/1489.35	c 1489s |      26 | 14026176 | 10711952 |     2527   9886 |        0 |        0
1490.78/1491.35	c 1491s |      26 | 14043488 | 10725452 |     2527   9895 |        0 |        0
1492.78/1493.36	c 1493s |      26 | 14060381 | 10738552 |     2527   9905 |        0 |        0
1494.78/1495.37	c 1495s |      26 | 14077903 | 10751952 |     2527   9915 |        0 |        0
1496.78/1497.38	c 1497s |      26 | 14095150 | 10765352 |     2527   9925 |        0 |        0
1498.78/1499.39	c 1499s |      26 | 14113765 | 10779252 |     2527   9935 |        0 |        0
1500.87/1501.41	c 1501s |      26 | 14131494 | 10792752 |     2527   9945 |        0 |        0
1502.87/1503.42	c 1503s |      26 | 14146901 | 10804852 |     2527   9954 |        0 |        0
1504.87/1505.43	c 1505s |      26 | 14165577 | 10818952 |     2527   9965 |        0 |        0
1506.87/1507.44	c 1507s |      26 | 14183063 | 10832452 |     2527   9975 |        0 |        0
1508.87/1509.44	c 1509s |      26 | 14200334 | 10845552 |     2527   9985 |        0 |        0
1510.88/1511.45	c 1511s |      26 | 14219074 | 10859252 |     2527   9995 |        0 |        0
1512.87/1513.46	c 1513s |      26 | 14237175 | 10873052 |     2527  10005 |        0 |        0
1514.87/1515.46	c 1515s |      26 | 14252875 | 10885352 |     2527  10014 |        0 |        0
1516.87/1517.48	c 1517s |      26 | 14271377 | 10899752 |     2527  10025 |        0 |        0
1518.87/1519.49	c 1519s |      26 | 14287798 | 10912252 |     2527  10034 |        0 |        0
1520.97/1521.50	c 1521s |      26 | 14304193 | 10925252 |     2527  10044 |        0 |        0
1522.98/1523.50	c 1523s |      26 | 14319670 | 10937452 |     2527  10053 |        0 |        0
1524.97/1525.51	c 1525s |      26 | 14336732 | 10950552 |     2527  10063 |        0 |        0
1526.97/1527.52	c 1527s |      26 | 14354971 | 10964252 |     2527  10073 |        0 |        0
1528.97/1529.53	c 1529s |      26 | 14374103 | 10978352 |     2527  10083 |        0 |        0
1530.97/1531.53	c 1531s |      26 | 14392185 | 10992152 |     2527  10094 |        0 |        0
1532.97/1533.54	c 1533s |      26 | 14406981 | 11004252 |     2527  10103 |        0 |        0
1534.97/1535.54	c 1535s |      26 | 14422470 | 11016652 |     2527  10112 |        0 |        0
1536.97/1537.54	c 1537s |      26 | 14439926 | 11030152 |     2527  10122 |        0 |        0
1538.97/1539.55	c 1539s |      26 | 14456345 | 11042452 |     2527  10131 |        0 |        0
1540.97/1541.55	c 1541s |      26 | 14473927 | 11055852 |     2527  10141 |        0 |        0
1542.96/1543.55	c 1543s |      26 | 14489891 | 11068152 |     2527  10150 |        0 |        0
1544.97/1545.57	c 1545s |      26 | 14505471 | 11079752 |     2527  10159 |        0 |        0
1546.96/1547.58	c 1547s |      26 | 14521876 | 11092252 |     2527  10168 |        0 |        0
1548.96/1549.58	c 1549s |      26 | 14539396 | 11105752 |     2527  10178 |        0 |        0
1551.06/1551.60	c 1551s |      26 | 14554454 | 11117852 |     2527  10187 |        0 |        0
1553.06/1553.60	c 1553s |      26 | 14568688 | 11129552 |     2527  10196 |        0 |        0
1555.06/1555.61	c 1555s |      26 | 14585837 | 11142652 |     2527  10206 |        0 |        0
1557.07/1557.61	c 1557s |      26 | 14600834 | 11154752 |     2527  10215 |        0 |        0
1559.06/1559.62	c 1559s |      26 | 14617605 | 11167652 |     2527  10224 |        0 |        0
1561.07/1561.63	c 1561s |      26 | 14634048 | 11180452 |     2527  10234 |        0 |        0
1563.07/1563.63	c 1563s |      26 | 14651568 | 11193852 |     2527  10244 |        0 |        0
1565.07/1565.64	c 1565s |      26 | 14667727 | 11206452 |     2527  10253 |        0 |        0
1567.07/1567.64	c 1567s |      26 | 14683314 | 11218652 |     2527  10262 |        0 |        0
1569.07/1569.65	c 1569s |      26 | 14698507 | 11230652 |     2527  10271 |        0 |        0
1571.07/1571.65	c 1571s |      26 | 14713531 | 11242352 |     2527  10280 |        0 |        0
1573.06/1573.66	c 1573s |      26 | 14727674 | 11254152 |     2527  10289 |        0 |        0
1575.06/1575.68	c 1575s |      26 | 14741830 | 11265852 |     2527  10297 |        0 |        0
1577.06/1577.68	c 1577s |      26 | 14757446 | 11277852 |     2527  10306 |        0 |        0
1579.07/1579.69	c 1579s |      26 | 14773406 | 11290652 |     2527  10316 |        0 |        0
1581.06/1581.69	c 1581s |      26 | 14788461 | 11302552 |     2527  10324 |        0 |        0
1583.16/1583.71	c 1583s |      26 | 14805733 | 11315852 |     2780  10334 |        0 |        0
1585.16/1585.71	c 1585s |      26 | 14821254 | 11327852 |     2780  10342 |        0 |        0
1587.16/1587.71	c 1587s |      26 | 14836419 | 11339452 |     2780  10350 |        0 |        0
1589.16/1589.72	c 1589s |      26 | 14854337 | 11352852 |     2780  10359 |        0 |        0
1591.16/1591.72	c 1591s |      26 | 14871067 | 11365852 |     2780  10368 |        0 |        0
1593.16/1593.73	c 1593s |      26 | 14888310 | 11378952 |     2780  10377 |        0 |        0
1595.16/1595.74	c 1595s |      26 | 14903865 | 11390952 |     2780  10385 |        0 |        0
1596.06/1596.68	c 1596s |      27 | 14911528 | 11396733 |     2780  10389 |        0 |        0
1598.06/1598.69	c 1598s |      27 | 14928518 | 11410033 |     2780  10398 |        0 |        0
1600.16/1600.70	c 1600s |      27 | 14944589 | 11422633 |     2780  10406 |        0 |        0
1602.17/1602.71	c 1602s |      27 | 14961414 | 11435433 |     2780  10415 |        0 |        0
1604.16/1604.72	c 1604s |      27 | 14977760 | 11448033 |     2780  10424 |        0 |        0
1606.16/1606.72	c 1606s |      27 | 14993441 | 11460033 |     2780  10432 |        0 |        0
1608.16/1608.72	c 1608s |      27 | 15007990 | 11471333 |     2780  10439 |        0 |        0
1610.16/1610.73	c 1610s |      27 | 15025638 | 11484433 |     2780  10448 |        0 |        0
1612.17/1612.75	c 1612s |      27 | 15041442 | 11496433 |     2780  10456 |        0 |        0
1614.16/1614.75	c 1614s |      27 | 15058623 | 11509233 |     2780  10465 |        0 |        0
1616.16/1616.76	c 1616s |      27 | 15074528 | 11521633 |     2780  10473 |        0 |        0
1618.16/1618.77	c 1618s |      27 | 15091048 | 11534233 |     2780  10482 |        0 |        0
1620.16/1620.78	c 1620s |      27 | 15108484 | 11547433 |     2780  10491 |        0 |        0
1622.16/1622.79	c 1622s |      27 | 15126022 | 11560533 |     2780  10499 |        0 |        0
1624.16/1624.80	c 1624s |      27 | 15140904 | 11572333 |     2780  10507 |        0 |        0
1626.26/1626.82	c 1626s |      27 | 15156024 | 11584333 |     2780  10516 |        0 |        0
1628.26/1628.84	c 1628s |      27 | 15172175 | 11596833 |     2780  10524 |        0 |        0
1630.26/1630.85	c 1630s |      27 | 15188907 | 11609733 |     2780  10533 |        0 |        0
1632.26/1632.86	c 1632s |      27 | 15204731 | 11622433 |     2780  10541 |        0 |        0
1634.26/1634.86	c 1634s |      27 | 15217766 | 11633433 |     2780  10549 |        0 |        0
1636.26/1636.86	c 1636s |      27 | 15233427 | 11645433 |     2780  10557 |        0 |        0
1638.26/1638.86	c 1638s |      27 | 15248138 | 11657233 |     2780  10565 |        0 |        0
1640.25/1640.87	c 1640s |      27 | 15262498 | 11669033 |     2780  10573 |        0 |        0
1642.25/1642.87	c 1642s |      27 | 15276678 | 11680433 |     2780  10580 |        0 |        0
1644.25/1644.88	c 1644s |      27 | 15293277 | 11693133 |     2780  10589 |        0 |        0
1646.26/1646.89	c 1646s |      27 | 15309520 | 11705833 |     2780  10597 |        0 |        0
1648.25/1648.89	c 1648s |      27 | 15325753 | 11718533 |     2780  10606 |        0 |        0
1650.25/1650.89	c 1650s |      27 | 15342550 | 11731033 |     2780  10615 |        0 |        0
1652.35/1652.91	c 1652s |      27 | 15358853 | 11743733 |     2780  10623 |        0 |        0
1654.35/1654.91	c 1654s |      27 | 15374725 | 11756133 |     2780  10631 |        0 |        0
1656.35/1656.91	c 1656s |      27 | 15391432 | 11768933 |     2780  10640 |        0 |        0
1658.35/1658.93	c 1658s |      27 | 15407694 | 11781633 |     2780  10649 |        0 |        0
1660.35/1660.93	c 1660s |      27 | 15424553 | 11794233 |     2780  10657 |        0 |        0
1662.35/1662.94	c 1662s |      27 | 15439987 | 11806533 |     2780  10666 |        0 |        0
1664.35/1664.95	c 1664s |      27 | 15455969 | 11818733 |     2780  10674 |        0 |        0
1666.35/1666.95	c 1666s |      27 | 15471984 | 11831033 |     2780  10682 |        0 |        0
1668.35/1668.96	c 1668s |      27 | 15487975 | 11843433 |     2780  10691 |        0 |        0
1670.35/1670.97	c 1670s |      27 | 15504593 | 11856133 |     2780  10699 |        0 |        0
1672.35/1672.98	c 1672s |      27 | 15519702 | 11867933 |     2780  10707 |        0 |        0
1674.35/1674.99	c 1674s |      27 | 15535200 | 11879833 |     2780  10715 |        0 |        0
1676.35/1676.99	c 1676s |      27 | 15549337 | 11891233 |     2780  10723 |        0 |        0
1678.34/1678.99	c 1678s |      27 | 15564412 | 11902833 |     2780  10731 |        0 |        0
1680.44/1681.00	c 1680s |      27 | 15580101 | 11914633 |     2780  10739 |        0 |        0
1682.45/1683.01	c 1682s |      27 | 15594412 | 11925833 |     2780  10747 |        0 |        0
1684.44/1685.02	c 1684s |      27 | 15607504 | 11936533 |     2780  10754 |        0 |        0
1686.44/1687.02	c 1687s |      27 | 15623664 | 11948333 |     2780  10762 |        0 |        0
1688.44/1689.02	c 1689s |      27 | 15637564 | 11959433 |     2780  10769 |        0 |        0
1690.44/1691.04	c 1691s |      27 | 15652431 | 11970633 |     2780  10777 |        0 |        0
1692.45/1693.04	c 1693s |      27 | 15667949 | 11982233 |     2780  10785 |        0 |        0
1694.44/1695.05	c 1695s |      27 | 15682474 | 11993333 |     2780  10792 |        0 |        0
1696.44/1697.06	c 1697s |      27 | 15697445 | 12004533 |     2780  10800 |        0 |        0
1698.44/1699.07	c 1699s |      27 | 15711198 | 12015533 |     2780  10807 |        0 |        0
1700.44/1701.08	c 1701s |      27 | 15726614 | 12027233 |     2780  10815 |        0 |        0
1702.44/1703.09	c 1703s |      27 | 15742751 | 12039333 |     2780  10824 |        0 |        0
1704.45/1705.10	c 1705s |      27 | 15759014 | 12051233 |     2780  10832 |        0 |        0
1706.54/1707.10	c 1707s |      27 | 15774535 | 12063033 |     2780  10840 |        0 |        0
1708.54/1709.11	c 1709s |      27 | 15791500 | 12075433 |     2780  10848 |        0 |        0
1710.54/1711.11	c 1711s |      27 | 15808015 | 12087633 |     2780  10856 |        0 |        0
1712.55/1713.12	c 1713s |      27 | 15822587 | 12099133 |     2780  10864 |        0 |        0
1714.55/1715.12	c 1715s |      27 | 15836338 | 12110133 |     2780  10872 |        0 |        0
1716.55/1717.14	c 1717s |      27 | 15852284 | 12122533 |     2780  10880 |        0 |        0
1718.54/1719.15	c 1719s |      27 | 15868046 | 12134633 |     2780  10888 |        0 |        0
1720.54/1721.16	c 1721s |      27 | 15882347 | 12145733 |     2780  10896 |        0 |        0
1722.54/1723.17	c 1723s |      27 | 15896669 | 12156833 |     2780  10903 |        0 |        0
1724.54/1725.18	c 1725s |      27 | 15911902 | 12168433 |     2780  10911 |        0 |        0
1726.64/1727.20	c 1727s |      27 | 15927804 | 12180933 |     2780  10920 |        0 |        0
1728.65/1729.22	c 1729s |      27 | 15943700 | 12192733 |     2780  10928 |        0 |        0
1730.64/1731.22	c 1731s |      27 | 15959363 | 12205033 |     2780  10936 |        0 |        0
1732.64/1733.24	c 1733s |      27 | 15975776 | 12217733 |     2780  10944 |        0 |        0
1734.64/1735.25	c 1735s |      27 | 15990727 | 12229533 |     2780  10953 |        0 |        0
1736.64/1737.28	c 1737s |      27 | 16005758 | 12241333 |     2780  10961 |        0 |        0
1738.64/1739.28	c 1739s |      27 | 16020420 | 12252833 |     2780  10968 |        0 |        0
1740.64/1741.29	c 1741s |      27 | 16036277 | 12264933 |     2780  10977 |        0 |        0
1742.74/1743.31	c 1743s |      27 | 16050565 | 12275933 |     2780  10984 |        0 |        0
1744.73/1745.32	c 1745s |      27 | 16064764 | 12286733 |     2780  10991 |        0 |        0
1746.73/1747.32	c 1747s |      27 | 16078016 | 12297233 |     2780  10998 |        0 |        0
1748.73/1749.34	c 1749s |      27 | 16093389 | 12309133 |     2780  11007 |        0 |        0
1750.74/1751.35	c 1751s |      27 | 16109666 | 12321733 |     2780  11015 |        0 |        0
1752.73/1753.36	c 1753s |      27 | 16123920 | 12332933 |     2780  11023 |        0 |        0
1754.73/1755.37	c 1755s |      27 | 16139277 | 12344333 |     2780  11030 |        0 |        0
1756.73/1757.39	c 1757s |      27 | 16154184 | 12356133 |     2780  11039 |        0 |        0
1758.83/1759.40	c 1759s |      27 | 16170370 | 12368433 |     2780  11047 |        0 |        0
1760.83/1761.41	c 1761s |      27 | 16184147 | 12379233 |     2780  11054 |        0 |        0
1762.84/1763.42	c 1763s |      27 | 16199169 | 12391133 |     2780  11062 |        0 |        0
1764.83/1765.43	c 1765s |      27 | 16212861 | 12402133 |     2780  11070 |        0 |        0
1766.83/1767.43	c 1767s |      27 | 16228127 | 12413733 |     2780  11078 |        0 |        0
1768.84/1769.44	c 1769s |      27 | 16244185 | 12425833 |     2780  11086 |        0 |        0
1770.84/1771.46	c 1771s |      27 | 16260014 | 12438033 |     2780  11094 |        0 |        0
1772.84/1773.47	c 1773s |      27 | 16275356 | 12449733 |     2780  11102 |        0 |        0
1774.84/1775.48	c 1775s |      27 | 16292637 | 12462733 |     2780  11111 |        0 |        0
1776.84/1777.49	c 1777s |      27 | 16311374 | 12476633 |     2780  11120 |        0 |        0
1778.94/1779.50	c 1779s |      27 | 16327668 | 12489133 |     2780  11129 |        0 |        0
1780.94/1781.52	c 1781s |      27 | 16344993 | 12502033 |     2780  11138 |        0 |        0
1782.94/1783.52	c 1783s |      27 | 16362031 | 12514633 |     2780  11146 |        0 |        0
1784.93/1785.53	c 1785s |      27 | 16376823 | 12525633 |     2780  11154 |        0 |        0
1786.94/1787.54	c 1787s |      27 | 16391744 | 12536733 |     2780  11161 |        0 |        0
1788.93/1789.55	c 1789s |      27 | 16407250 | 12548733 |     2780  11169 |        0 |        0
1790.93/1791.57	c 1791s |      27 | 16421459 | 12559833 |     2780  11177 |        0 |        0
1792.93/1793.58	c 1793s |      27 | 16437382 | 12571933 |     2780  11185 |        0 |        0
1794.93/1795.59	c 1795s |      27 | 16452241 | 12583433 |     2780  11193 |        0 |        0
1797.03/1797.60	c 1797s |      27 | 16468615 | 12595733 |     2780  11201 |        0 |        0
1799.04/1799.61	c 1799s |      27 | 16483238 | 12606933 |     2780  11209 |        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-4121506-1467314767/watcher-4121506-1467314767 -o /tmp/evaluation-result-4121506-1467314767/solver-4121506-1467314767 -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-4121506-1467314767.opb 

pid=24320
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.49 2.38 2.30 4/179 24323
/proc/meminfo: memFree=27239748/32872528 swapFree=1459604/1655828
[pid=24323] ppid=24320 vsize=714172 CPUtime=0 cores=1,3,5,7
/proc/24323/stat : 24323 (toysat) R 24320 24323 22681 0 -1 4202496 2663 0 0 0 0 0 0 0 20 0 4 0 12427902 731312128 3023 33554432000 4194304 16246674 140734546074448 140734546073872 15002730 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24323/statm: 179311 3031 441 2943 0 176205 0
[pid=24323/tid=24324] ppid=24320 vsize=732604 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24324/stat : 24324 (toysat) S 24320 24323 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12427902 750186496 3095 33554432000 4194304 16246674 140734546074448 139721006099696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24325] ppid=24320 vsize=737724 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24325/stat : 24325 (toysat) S 24320 24323 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12427902 755429376 3111 33554432000 4194304 16246674 140734546074448 139720923262192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24323/tid=24326] ppid=24320 vsize=740796 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24326/stat : 24326 (toysat) S 24320 24323 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12427902 758575104 3127 33554432000 4194304 16246674 140734546074448 139720912788656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100176 s]
/proc/loadavg: 2.49 2.38 2.30 4/179 24323
/proc/meminfo: memFree=27239748/32872528 swapFree=1459604/1655828
[pid=24323] ppid=24320 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/24323/stat : 24323 (toysat) R 24320 24323 22681 0 -1 4202496 25072 0 0 0 6 3 0 0 20 0 4 0 12427902 1247350784 25421 33554432000 4194304 16246674 140734546074448 140734546073872 5724508 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24323/statm: 304529 25431 707 2943 0 301423 0
[pid=24323/tid=24324] ppid=24320 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24324/stat : 24324 (toysat) S 24320 24323 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12427902 1247350784 25440 33554432000 4194304 16246674 140734546074448 139721006099696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24325] ppid=24320 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24325/stat : 24325 (toysat) S 24320 24323 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12427902 1247350784 25446 33554432000 4194304 16246674 140734546074448 139720923262192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24323/tid=24326] ppid=24320 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24326/stat : 24326 (toysat) S 24320 24323 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12427902 1247350784 25454 33554432000 4194304 16246674 140734546074448 139720912788656 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.200546 s]
/proc/loadavg: 2.49 2.38 2.30 4/179 24323
/proc/meminfo: memFree=27239748/32872528 swapFree=1459604/1655828
[pid=24323] ppid=24320 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/24323/stat : 24323 (toysat) R 24320 24323 22681 0 -1 4202496 47328 0 0 0 13 6 0 0 20 0 4 0 12427902 1247350784 47677 33554432000 4194304 16246674 140734546074448 140734546073872 5669490 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24323/statm: 304529 47688 707 2943 0 301423 0
[pid=24323/tid=24324] ppid=24320 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24324/stat : 24324 (toysat) S 24320 24323 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12427902 1247350784 47694 33554432000 4194304 16246674 140734546074448 139721006099696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24325] ppid=24320 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24325/stat : 24325 (toysat) S 24320 24323 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12427902 1247350784 47701 33554432000 4194304 16246674 140734546074448 139720923262192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24323/tid=24326] ppid=24320 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24326/stat : 24326 (toysat) S 24320 24323 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12427902 1247350784 47710 33554432000 4194304 16246674 140734546074448 139720912788656 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.300495 s]
/proc/loadavg: 2.49 2.38 2.30 4/179 24323
/proc/meminfo: memFree=27239748/32872528 swapFree=1459604/1655828
[pid=24323] ppid=24320 vsize=1218116 CPUtime=0.28 cores=1,3,5,7
/proc/24323/stat : 24323 (toysat) R 24320 24323 22681 0 -1 4202496 68973 0 0 0 19 9 0 0 20 0 4 0 12427902 1247350784 69323 33554432000 4194304 16246674 140734546074448 140734546073872 5721660 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24323/statm: 304529 69333 707 2943 0 301423 0
[pid=24323/tid=24324] ppid=24320 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24324/stat : 24324 (toysat) S 24320 24323 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12427902 1247350784 69338 33554432000 4194304 16246674 140734546074448 139721006099696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24325] ppid=24320 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24325/stat : 24325 (toysat) S 24320 24323 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12427902 1247350784 69344 33554432000 4194304 16246674 140734546074448 139720923262192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24323/tid=24326] ppid=24320 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24326/stat : 24326 (toysat) S 24320 24323 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12427902 1247350784 69352 33554432000 4194304 16246674 140734546074448 139720912788656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.70042 s]
/proc/loadavg: 2.49 2.38 2.30 4/179 24323
/proc/meminfo: memFree=27239748/32872528 swapFree=1459604/1655828
[pid=24323] ppid=24320 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/24323/stat : 24323 (toysat) R 24320 24323 22681 0 -1 4202496 158973 0 0 0 47 22 0 0 20 0 4 0 12427902 1247350784 159323 33554432000 4194304 16246674 140734546074448 140734546056320 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24323/statm: 304529 159334 707 2943 0 301423 0
[pid=24323/tid=24324] ppid=24320 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24324/stat : 24324 (toysat) S 24320 24323 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12427902 1247350784 159341 33554432000 4194304 16246674 140734546074448 139721006099696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24325] ppid=24320 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24325/stat : 24325 (toysat) S 24320 24323 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12427902 1247350784 159346 33554432000 4194304 16246674 140734546074448 139720923262192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24323/tid=24326] ppid=24320 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24326/stat : 24326 (toysat) S 24320 24323 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12427902 1247350784 159351 33554432000 4194304 16246674 140734546074448 139720912788656 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.50043 s]
/proc/loadavg: 2.45 2.38 2.30 4/183 24327
/proc/meminfo: memFree=26256680/32872528 swapFree=1459604/1655828
[pid=24323] ppid=24320 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/24323/stat : 24323 (toysat) R 24320 24323 22681 0 -1 4202496 245734 0 0 0 115 34 0 0 20 0 4 0 12427902 1248399360 246063 33554432000 4194304 16246674 140734546074448 140734546073760 13950230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24323/statm: 304785 246063 783 2943 0 301679 0
[pid=24323/tid=24324] ppid=24320 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24324/stat : 24324 (toysat) S 24320 24323 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12427902 1248399360 246063 33554432000 4194304 16246674 140734546074448 139721006099696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24325] ppid=24320 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24325/stat : 24325 (toysat) S 24320 24323 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12427902 1248399360 246063 33554432000 4194304 16246674 140734546074448 139720923262192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24323/tid=24326] ppid=24320 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24326/stat : 24326 (toysat) S 24320 24323 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12427902 1248399360 246063 33554432000 4194304 16246674 140734546074448 139720912788656 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.38 2.30 4/183 24327
/proc/meminfo: memFree=26170128/32872528 swapFree=1459604/1655828
[pid=24323] ppid=24320 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/24323/stat : 24323 (toysat) R 24320 24323 22681 0 -1 4202496 267390 0 0 0 270 39 0 0 20 0 4 0 12427902 1337528320 267719 33554432000 4194304 16246674 140734546074448 140734546057448 5831995 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24323/statm: 326545 267719 783 2943 0 323439 0
[pid=24323/tid=24324] ppid=24320 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24324/stat : 24324 (toysat) S 24320 24323 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12427902 1337528320 267719 33554432000 4194304 16246674 140734546074448 139721006099696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24325] ppid=24320 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24325/stat : 24325 (toysat) S 24320 24323 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12427902 1337528320 267719 33554432000 4194304 16246674 140734546074448 139720923262192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24323/tid=24326] ppid=24320 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24326/stat : 24326 (toysat) S 24320 24323 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12427902 1337528320 267719 33554432000 4194304 16246674 140734546074448 139720912788656 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.30039 s]
/proc/loadavg: 2.45 2.38 2.30 3/183 24327
/proc/meminfo: memFree=26168300/32872528 swapFree=1459604/1655828
[pid=24323] ppid=24320 vsize=1308228 CPUtime=6.29 cores=1,3,5,7
/proc/24323/stat : 24323 (toysat) R 24320 24323 22681 0 -1 4202496 267839 0 0 0 590 39 0 0 20 0 4 0 12427902 1339625472 268168 33554432000 4194304 16246674 140734546074448 140734546057448 5823158 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24323/statm: 327057 268168 785 2943 0 323951 0
[pid=24323/tid=24324] ppid=24320 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24324/stat : 24324 (toysat) S 24320 24323 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12427902 1339625472 268168 33554432000 4194304 16246674 140734546074448 139721006099696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24325] ppid=24320 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24325/stat : 24325 (toysat) S 24320 24323 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12427902 1339625472 268168 33554432000 4194304 16246674 140734546074448 139720923262192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24323/tid=24326] ppid=24320 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24326/stat : 24326 (toysat) S 24320 24323 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12427902 1339625472 268168 33554432000 4194304 16246674 140734546074448 139720912788656 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) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.38 2.36 2.29 3/183 24327
/proc/meminfo: memFree=26166232/32872528 swapFree=1459604/1655828
[pid=24323] ppid=24320 vsize=1308228 CPUtime=12.69 cores=1,3,5,7
/proc/24323/stat : 24323 (toysat) R 24320 24323 22681 0 -1 4202496 268078 0 0 0 1230 39 0 0 20 0 4 0 12427902 1339625472 268407 33554432000 4194304 16246674 140734546074448 140734546056320 5722540 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24323/statm: 327057 268407 785 2943 0 323951 0
[pid=24323/tid=24324] ppid=24320 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24324/stat : 24324 (toysat) S 24320 24323 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12427902 1339625472 268407 33554432000 4194304 16246674 140734546074448 139721006099696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24325] ppid=24320 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24325/stat : 24325 (toysat) S 24320 24323 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12427902 1339625472 268407 33554432000 4194304 16246674 140734546074448 139720923262192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24323/tid=24326] ppid=24320 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24326/stat : 24326 (toysat) S 24320 24323 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12427902 1339625472 268407 33554432000 4194304 16246674 140734546074448 139720912788656 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.40 2.37 2.29 4/183 24327
/proc/meminfo: memFree=26166748/32872528 swapFree=1459604/1655828
[pid=24323] ppid=24320 vsize=1308228 CPUtime=25.48 cores=1,3,5,7
/proc/24323/stat : 24323 (toysat) R 24320 24323 22681 0 -1 4202496 268078 0 0 0 2509 39 0 0 20 0 4 0 12427902 1339625472 268407 33554432000 4194304 16246674 140734546074448 140734546056320 5822726 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24323/statm: 327057 268407 785 2943 0 323951 0
[pid=24323/tid=24324] ppid=24320 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24324/stat : 24324 (toysat) S 24320 24323 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12427902 1339625472 268407 33554432000 4194304 16246674 140734546074448 139721006099696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24325] ppid=24320 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24325/stat : 24325 (toysat) S 24320 24323 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12427902 1339625472 268407 33554432000 4194304 16246674 140734546074448 139720923262192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24323/tid=24326] ppid=24320 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24326/stat : 24326 (toysat) S 24320 24323 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12427902 1339625472 268407 33554432000 4194304 16246674 140734546074448 139720912788656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1308228

[startup+51.1005 s]
/proc/loadavg: 2.26 2.34 2.28 4/183 24327
/proc/meminfo: memFree=26166624/32872528 swapFree=1459604/1655828
[pid=24323] ppid=24320 vsize=1308228 CPUtime=51.08 cores=1,3,5,7
/proc/24323/stat : 24323 (toysat) R 24320 24323 22681 0 -1 4202496 268079 0 0 0 5069 39 0 0 20 0 4 0 12427902 1339625472 268408 33554432000 4194304 16246674 140734546074448 140734546056320 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24323/statm: 327057 268408 786 2943 0 323951 0
[pid=24323/tid=24324] ppid=24320 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24324/stat : 24324 (toysat) S 24320 24323 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12427902 1339625472 268408 33554432000 4194304 16246674 140734546074448 139721006099696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24325] ppid=24320 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24325/stat : 24325 (toysat) S 24320 24323 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12427902 1339625472 268408 33554432000 4194304 16246674 140734546074448 139720923262192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24323/tid=24326] ppid=24320 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24326/stat : 24326 (toysat) S 24320 24323 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12427902 1339625472 268408 33554432000 4194304 16246674 140734546074448 139720912788656 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.30 2.34 2.28 3/183 24328
/proc/meminfo: memFree=26164368/32872528 swapFree=1459604/1655828
[pid=24323] ppid=24320 vsize=1308228 CPUtime=102.28 cores=1,3,5,7
/proc/24323/stat : 24323 (toysat) R 24320 24323 22681 0 -1 4202496 268079 0 0 0 10188 40 0 0 20 0 4 0 12427902 1339625472 268408 33554432000 4194304 16246674 140734546074448 140734546056320 5823258 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24323/statm: 327057 268408 786 2943 0 323951 0
[pid=24323/tid=24324] ppid=24320 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24324/stat : 24324 (toysat) S 24320 24323 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12427902 1339625472 268408 33554432000 4194304 16246674 140734546074448 139721006099696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24325] ppid=24320 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24325/stat : 24325 (toysat) S 24320 24323 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12427902 1339625472 268408 33554432000 4194304 16246674 140734546074448 139720923262192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24323/tid=24326] ppid=24320 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24326/stat : 24326 (toysat) S 24320 24323 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12427902 1339625472 268408 33554432000 4194304 16246674 140734546074448 139720912788656 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) 1308228


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

/proc/24323/task/24326/stat : 24326 (toysat) S 24320 24323 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12427902 1350111232 271226 33554432000 4194304 16246674 140734546074448 139720912788656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 1318468

[startup+1302.3 s]
/proc/loadavg: 2.15 2.23 2.25 3/183 24602
/proc/meminfo: memFree=26148104/32872528 swapFree=1459604/1655828
[pid=24323] ppid=24320 vsize=1318468 CPUtime=1301.84 cores=1,3,5,7
/proc/24323/stat : 24323 (toysat) R 24320 24323 22681 0 -1 4202496 271050 0 0 0 130122 62 0 0 20 0 4 0 12427902 1350111232 271226 33554432000 4194304 16246674 140734546074448 140734546056320 6837224 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24323/statm: 329617 271226 788 2943 0 326511 0
[pid=24323/tid=24324] ppid=24320 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24324/stat : 24324 (toysat) S 24320 24323 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12427902 1350111232 271226 33554432000 4194304 16246674 140734546074448 139721006099696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24325] ppid=24320 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24325/stat : 24325 (toysat) S 24320 24323 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12427902 1350111232 271226 33554432000 4194304 16246674 140734546074448 139720923262192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24323/tid=24326] ppid=24320 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24326/stat : 24326 (toysat) S 24320 24323 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12427902 1350111232 271226 33554432000 4194304 16246674 140734546074448 139720912788656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1318468

[startup+1362.3 s]
/proc/loadavg: 2.22 2.23 2.25 3/183 24603
/proc/meminfo: memFree=26148252/32872528 swapFree=1459604/1655828
[pid=24323] ppid=24320 vsize=1318468 CPUtime=1361.81 cores=1,3,5,7
/proc/24323/stat : 24323 (toysat) R 24320 24323 22681 0 -1 4202496 271093 0 0 0 136118 63 0 0 20 0 4 0 12427902 1350111232 271226 33554432000 4194304 16246674 140734546074448 140734546056320 5823455 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24323/statm: 329617 271226 788 2943 0 326511 0
[pid=24323/tid=24324] ppid=24320 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24324/stat : 24324 (toysat) S 24320 24323 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12427902 1350111232 271226 33554432000 4194304 16246674 140734546074448 139721006099696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24325] ppid=24320 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24325/stat : 24325 (toysat) S 24320 24323 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12427902 1350111232 271226 33554432000 4194304 16246674 140734546074448 139720923262192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24323/tid=24326] ppid=24320 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24326/stat : 24326 (toysat) S 24320 24323 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12427902 1350111232 271226 33554432000 4194304 16246674 140734546074448 139720912788656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 1318468

[startup+1422.3 s]
/proc/loadavg: 2.28 2.25 2.26 3/183 24604
/proc/meminfo: memFree=26148636/32872528 swapFree=1459604/1655828
[pid=24323] ppid=24320 vsize=1318468 CPUtime=1421.8 cores=1,3,5,7
/proc/24323/stat : 24323 (toysat) R 24320 24323 22681 0 -1 4202496 271113 0 0 0 142116 64 0 0 20 0 4 0 12427902 1350111232 271226 33554432000 4194304 16246674 140734546074448 140734546056320 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24323/statm: 329617 271226 788 2943 0 326511 0
[pid=24323/tid=24324] ppid=24320 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24324/stat : 24324 (toysat) S 24320 24323 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12427902 1350111232 271226 33554432000 4194304 16246674 140734546074448 139721006099696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24325] ppid=24320 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24325/stat : 24325 (toysat) S 24320 24323 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12427902 1350111232 271226 33554432000 4194304 16246674 140734546074448 139720923262192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24323/tid=24326] ppid=24320 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24326/stat : 24326 (toysat) S 24320 24323 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12427902 1350111232 271226 33554432000 4194304 16246674 140734546074448 139720912788656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1318468

[startup+1482.3 s]
/proc/loadavg: 2.29 2.25 2.25 3/184 24609
/proc/meminfo: memFree=26146036/32872528 swapFree=1459604/1655828
[pid=24323] ppid=24320 vsize=1318468 CPUtime=1481.78 cores=1,3,5,7
/proc/24323/stat : 24323 (toysat) R 24320 24323 22681 0 -1 4202496 271113 0 0 0 148113 65 0 0 20 0 4 0 12427902 1350111232 271226 33554432000 4194304 16246674 140734546074448 140734546056320 5823666 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24323/statm: 329617 271226 788 2943 0 326511 0
[pid=24323/tid=24324] ppid=24320 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24324/stat : 24324 (toysat) S 24320 24323 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12427902 1350111232 271226 33554432000 4194304 16246674 140734546074448 139721006099696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24325] ppid=24320 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24325/stat : 24325 (toysat) S 24320 24323 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12427902 1350111232 271226 33554432000 4194304 16246674 140734546074448 139720923262192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24323/tid=24326] ppid=24320 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24326/stat : 24326 (toysat) S 24320 24323 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12427902 1350111232 271226 33554432000 4194304 16246674 140734546074448 139720912788656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 1318468

[startup+1542.31 s]
/proc/loadavg: 2.31 2.26 2.26 3/183 24610
/proc/meminfo: memFree=26146192/32872528 swapFree=1459604/1655828
[pid=24323] ppid=24320 vsize=1318468 CPUtime=1541.77 cores=1,3,5,7
/proc/24323/stat : 24323 (toysat) R 24320 24323 22681 0 -1 4202496 271113 0 0 0 154112 65 0 0 20 0 4 0 12427902 1350111232 271226 33554432000 4194304 16246674 140734546074448 140734546056320 5676374 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24323/statm: 329617 271226 788 2943 0 326511 0
[pid=24323/tid=24324] ppid=24320 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24324/stat : 24324 (toysat) S 24320 24323 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12427902 1350111232 271226 33554432000 4194304 16246674 140734546074448 139721006099696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24325] ppid=24320 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24325/stat : 24325 (toysat) S 24320 24323 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12427902 1350111232 271226 33554432000 4194304 16246674 140734546074448 139720923262192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24323/tid=24326] ppid=24320 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24326/stat : 24326 (toysat) S 24320 24323 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12427902 1350111232 271226 33554432000 4194304 16246674 140734546074448 139720912788656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 1318468

[startup+1602.3 s]
/proc/loadavg: 2.34 2.27 2.26 3/183 24611
/proc/meminfo: memFree=26144620/32872528 swapFree=1459604/1655828
[pid=24323] ppid=24320 vsize=1318468 CPUtime=1601.76 cores=1,3,5,7
/proc/24323/stat : 24323 (toysat) R 24320 24323 22681 0 -1 4202496 271113 0 0 0 160109 67 0 0 20 0 4 0 12427902 1350111232 271226 33554432000 4194304 16246674 140734546074448 140734546056320 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24323/statm: 329617 271226 788 2943 0 326511 0
[pid=24323/tid=24324] ppid=24320 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24324/stat : 24324 (toysat) S 24320 24323 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12427902 1350111232 271226 33554432000 4194304 16246674 140734546074448 139721006099696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24325] ppid=24320 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24325/stat : 24325 (toysat) S 24320 24323 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12427902 1350111232 271226 33554432000 4194304 16246674 140734546074448 139720923262192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24323/tid=24326] ppid=24320 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24326/stat : 24326 (toysat) S 24320 24323 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12427902 1350111232 271226 33554432000 4194304 16246674 140734546074448 139720912788656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 1318468

[startup+1662.3 s]
/proc/loadavg: 2.18 2.23 2.25 4/183 24612
/proc/meminfo: memFree=26144756/32872528 swapFree=1459604/1655828
[pid=24323] ppid=24320 vsize=1318468 CPUtime=1661.75 cores=1,3,5,7
/proc/24323/stat : 24323 (toysat) R 24320 24323 22681 0 -1 4202496 271113 0 0 0 166108 67 0 0 20 0 4 0 12427902 1350111232 271226 33554432000 4194304 16246674 140734546074448 140734546056320 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24323/statm: 329617 271226 788 2943 0 326511 0
[pid=24323/tid=24324] ppid=24320 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24324/stat : 24324 (toysat) S 24320 24323 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12427902 1350111232 271226 33554432000 4194304 16246674 140734546074448 139721006099696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24325] ppid=24320 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24325/stat : 24325 (toysat) S 24320 24323 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12427902 1350111232 271226 33554432000 4194304 16246674 140734546074448 139720923262192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24323/tid=24326] ppid=24320 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24326/stat : 24326 (toysat) S 24320 24323 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12427902 1350111232 271226 33554432000 4194304 16246674 140734546074448 139720912788656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 1318468

[startup+1722.3 s]
/proc/loadavg: 2.24 2.24 2.25 3/183 24613
/proc/meminfo: memFree=26144316/32872528 swapFree=1459604/1655828
[pid=24323] ppid=24320 vsize=1318468 CPUtime=1721.74 cores=1,3,5,7
/proc/24323/stat : 24323 (toysat) R 24320 24323 22681 0 -1 4202496 271113 0 0 0 172106 68 0 0 20 0 4 0 12427902 1350111232 271226 33554432000 4194304 16246674 140734546074448 140734546056320 5673792 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24323/statm: 329617 271226 788 2943 0 326511 0
[pid=24323/tid=24324] ppid=24320 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24324/stat : 24324 (toysat) S 24320 24323 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12427902 1350111232 271226 33554432000 4194304 16246674 140734546074448 139721006099696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24325] ppid=24320 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24325/stat : 24325 (toysat) S 24320 24323 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12427902 1350111232 271226 33554432000 4194304 16246674 140734546074448 139720923262192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24323/tid=24326] ppid=24320 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24326/stat : 24326 (toysat) S 24320 24323 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12427902 1350111232 271226 33554432000 4194304 16246674 140734546074448 139720912788656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 1318468

[startup+1782.3 s]
/proc/loadavg: 2.38 2.27 2.26 3/182 24615
/proc/meminfo: memFree=26144740/32872528 swapFree=1459604/1655828
[pid=24323] ppid=24320 vsize=1318468 CPUtime=1781.74 cores=1,3,5,7
/proc/24323/stat : 24323 (toysat) R 24320 24323 22681 0 -1 4202496 271113 0 0 0 178105 69 0 0 20 0 4 0 12427902 1350111232 271226 33554432000 4194304 16246674 140734546074448 140734546056320 5721521 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24323/statm: 329617 271226 788 2943 0 326511 0
[pid=24323/tid=24324] ppid=24320 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24324/stat : 24324 (toysat) S 24320 24323 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12427902 1350111232 271226 33554432000 4194304 16246674 140734546074448 139721006099696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24325] ppid=24320 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24325/stat : 24325 (toysat) S 24320 24323 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12427902 1350111232 271226 33554432000 4194304 16246674 140734546074448 139720923262192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24323/tid=24326] ppid=24320 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24326/stat : 24326 (toysat) S 24320 24323 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12427902 1350111232 271226 33554432000 4194304 16246674 140734546074448 139720912788656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1318468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.29 2.25 2.25 3/183 24616
/proc/meminfo: memFree=26144212/32872528 swapFree=1459604/1655828
[pid=24323] ppid=24320 vsize=1318468 CPUtime=1800.03 cores=1,3,5,7
/proc/24323/stat : 24323 (toysat) R 24320 24323 22681 0 -1 4202496 271113 0 0 0 179934 69 0 0 20 0 4 0 12427902 1350111232 271226 33554432000 4194304 16246674 140734546074448 140734546056320 5545988 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24323/statm: 329617 271226 788 2943 0 326511 0
[pid=24323/tid=24324] ppid=24320 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24324/stat : 24324 (toysat) S 24320 24323 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12427902 1350111232 271226 33554432000 4194304 16246674 140734546074448 139721006099696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24325] ppid=24320 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24325/stat : 24325 (toysat) S 24320 24323 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12427902 1350111232 271226 33554432000 4194304 16246674 140734546074448 139720923262192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24323/tid=24326] ppid=24320 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24326/stat : 24326 (toysat) S 24320 24323 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12427902 1350111232 271226 33554432000 4194304 16246674 140734546074448 139720912788656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1318468

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

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.35
system time used= 0.693894
maximum resident set size= 1084904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271113
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= 486
involuntary context switches= 1955

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.566 second user time and 8.41172 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-30 21:26:07
IDJOB=4121506
IDBENCH=110512
IDSOLVER=2542
FILE ID=node136/4121506-1467314767
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-78.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-4121506-1467314767/watcher-4121506-1467314767 -o /tmp/evaluation-result-4121506-1467314767/solver-4121506-1467314767 -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-4121506-1467314767.opb

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

MD5SUM BENCH= a80368f57c32c6df7d72699d0639e1c3
RANDOM SEED=752355779

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:        27240392 kB
Buffers:          197416 kB
Cached:          1931688 kB
SwapCached:            0 kB
Active:          1483856 kB
Inactive:        1743364 kB
Active(anon):    1100668 kB
Inactive(anon):        0 kB
Active(file):     383188 kB
Inactive(file):  1743364 kB
Unevictable:     1655828 kB
Mlocked:         1459604 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16572 kB
Writeback:             0 kB
AnonPages:       2755768 kB
Mapped:            16984 kB
Shmem:               204 kB
Slab:             615808 kB
SReclaimable:      59692 kB
SUnreclaim:       556116 kB
KernelStack:        1520 kB
PageTables:         9208 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2889712 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    215040 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= 71612 MiB
End job on node136 at 2016-06-30 21:56:08