Trace number 4120210

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

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-fixed-bandwidth-97.cnf.gz-extracted.pb.metafix.opb
MD5SUMad11b933718533bc92da6cd3a33b07c3
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.011997
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables389
Total number of constraints388
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)388
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-30T20:15:50+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-4120210-1467310550.opb"]
0.00/0.01	c use --random-gen="3861119524 2128221909 2087225641 2724819905 3594053721 245150394 1542271066 1632281132 2188879312 3458284128 1382752812 3608919380 3821796296 1350806767 3328059756 909361903 2864323520 3657576186 3000913658 3842257550 4206927211 1736145449 3299888342 3075401880 1816550022 1740657244 3170366879 865961337 2116778035 1757104028 1613470997 2955445749 1587006504 3677367232 2541774970 541030875 2454274918 2131372187 536432957 3063132924 2558873825 329159104 3813139536 668940131 3287073737 3765689948 2495367092 1807835278 4264112764 3439246485 3509506885 990592342 1848060317 2805849690 861181450 3686568343 344038163 3948475038 2901140994 4058875158 564506671 1033794176 739667863 2218950415 953860164 2784122904 3983306348 281577919 2057528393 3273180353 1050451484 1160533752 3962005620 1242906696 3822876948 293129691 2931127998 1558273539 3305427675 3319915738 1001235549 213169142 2753619222 3320231490 4108920958 3818842111 3722753101 2741481883 1006831364 743290727 197355644 3022832856 3137482508 1573786520 1280414434 3717989342 483356221 360611518 674862994 2609575335 578996266 4010516157 3501531160 3538124776 4270062836 776044307 1437968677 2580779938 663097855 3365142694 1695114396 3827484746 3684307924 2641713053 2883757802 2183212714 91735032 1618854659 3391765607 3306414828 454728574 1515992150 3605448123 3096603018 2313018438 93574005 4256871818 2873252059 219394057 2055369748 1789049161 4126332403 524105606 2930883916 1199819461 1416097451 3773672538 863532289 2928390542 3489043866 2477051580 1677400025 3940482697 3632258018 3948960081 190440235 2583022491 1305775176 2975685544 3240295496 1587596331 522932235 1543647277 4268121161 3344307525 8671289 2848561137 3289650700 1826938812 2070898141 267370097 3037280741 172697653 266268529 4220667081 4161940157 3900062422 1917025591 1279699063 3814224893 1269250350 3762981689 1974023788 2088840015 152805200 939674441 2940622447 3976084350 671005832 3110553317 1378715788 1270340739 3509053359 3128150112 3101485979 358980607 401900053 489101276 803978559 404798940 400295564 499431560 4259715731 365187710 380248164 3123168804 3336600747 2152534928 1059813790 3179430285 2991813635 2856797910 3192219983 2529384612 4118035229 3125097437 310118426 4017984723 2459271037 4270655515 440947339 3163869412 2656000825 3835595343 1351749104 222718848 484982865 3490511924 2925171830 4237553312 4061051022 2252621677 1447155053 1232951632 2366191360 1358714901 2844916128 3322892822 1030868281 2458923655 3262482357 846113004 4084578843 581540325 1648075806 4083672569 1587569648 2865154945 967277014 3797528813 1537700491 1400647773 1512403309 2759484957 3467869274 1783776162 3387276830 3623637951 1687256229 911519651 3389171384 738503129 749648681 3833879438 3589442823 811223449 255 362436" option to reproduce the execution
0.00/0.02	c #vars 389
0.00/0.02	c #constraints 388
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 |      259      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      180 |      100 |      259      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      368 |      250 |      285      0 |        0 |        0
0.00/0.08	c  0.1s |       3 |      771 |      475 |      314      1 |        0 |        0
0.08/0.12	c  0.1s |       4 |     1292 |      813 |      346      2 |        0 |        0
0.08/0.18	c  0.2s |       5 |     2178 |     1320 |      381      3 |        0 |        0
0.28/0.30	c  0.3s |       6 |     3388 |     2081 |      463      5 |        0 |        0
0.39/0.46	c  0.4s |       7 |     5199 |     3223 |      510     10 |        0 |        0
0.59/0.69	c  0.7s |       8 |     8164 |     4936 |      561     15 |        0 |        0
0.99/1.05	c  1.0s |       9 |    12604 |     7506 |      618     22 |        0 |        0
1.39/1.43	c  1.4s |      10 |    18531 |    11361 |      680     31 |        0 |        0
1.99/2.05	c  2.0s |      11 |    28053 |    17144 |      749     45 |        0 |        0
2.89/2.98	c  3.0s |      12 |    40225 |    25819 |      824     63 |        0 |        0
4.28/4.38	c  4.4s |      13 |    59683 |    38832 |      907     87 |        0 |        0
6.28/6.38	c  6.4s |      13 |    84665 |    58032 |      998    119 |        0 |        0
6.38/6.42	c  6.4s |      14 |    85087 |    58352 |      998    120 |        0 |        0
8.38/8.43	c  8.4s |      14 |   109206 |    76952 |      998    150 |        0 |        0
9.58/9.60	c  9.6s |      15 |   123146 |    87632 |     1098    167 |        0 |        0
11.58/11.61	c 11.6s |      15 |   142771 |   103132 |     1098    190 |        0 |        0
13.58/13.62	c 13.6s |      15 |   166772 |   121332 |     1098    218 |        0 |        0
14.69/14.73	c 14.7s |      16 |   180557 |   131552 |     1208    233 |        0 |        0
16.69/16.74	c 16.7s |      16 |   202227 |   148352 |     1208    260 |        0 |        0
18.69/18.74	c 18.7s |      16 |   224000 |   164952 |     1208    287 |        0 |        0
20.69/20.75	c 20.7s |      16 |   246084 |   181452 |     1208    311 |        0 |        0
22.69/22.76	c 22.7s |      16 |   267203 |   197252 |     1329    333 |        0 |        0
22.69/22.78	c 22.8s |      17 |   267408 |   197432 |     1329    333 |        0 |        0
24.68/24.79	c 24.8s |      17 |   289014 |   214032 |     1329    354 |        0 |        0
26.68/26.79	c 26.8s |      17 |   310051 |   230132 |     1329    375 |        0 |        0
28.78/28.80	c 28.8s |      17 |   330283 |   245932 |     1329    395 |        0 |        0
30.79/30.81	c 30.8s |      17 |   353538 |   263732 |     1329    418 |        0 |        0
32.78/32.81	c 32.8s |      17 |   378273 |   282032 |     1329    441 |        0 |        0
34.38/34.43	c 34.4s |      18 |   397582 |   296252 |     1462    459 |        0 |        0
36.39/36.43	c 36.4s |      18 |   417326 |   311552 |     1462    477 |        0 |        0
38.38/38.43	c 38.4s |      18 |   434372 |   324852 |     1462    493 |        0 |        0
40.38/40.44	c 40.4s |      18 |   454074 |   340152 |     1462    512 |        0 |        0
42.38/42.45	c 42.4s |      18 |   476720 |   357052 |     1462    532 |        0 |        0
44.38/44.46	c 44.4s |      18 |   500073 |   373852 |     1462    552 |        0 |        0
46.38/46.46	c 46.4s |      18 |   522942 |   391352 |     1462    572 |        0 |        0
48.38/48.47	c 48.4s |      18 |   545209 |   408352 |     1462    592 |        0 |        0
50.38/50.48	c 50.5s |      18 |   565921 |   424252 |     1462    611 |        0 |        0
52.37/52.48	c 52.5s |      18 |   586323 |   439652 |     1462    629 |        0 |        0
52.97/53.09	c 53.1s |      19 |   592661 |   444482 |     1609    634 |        0 |        0
54.98/55.10	c 55.1s |      19 |   610811 |   459182 |     1609    650 |        0 |        0
57.07/57.10	c 57.1s |      19 |   631205 |   475382 |     1609    668 |        0 |        0
59.08/59.11	c 59.1s |      19 |   651562 |   491182 |     1609    686 |        0 |        0
61.08/61.11	c 61.1s |      19 |   672091 |   506882 |     1609    704 |        0 |        0
63.08/63.12	c 63.1s |      19 |   693296 |   523282 |     1609    723 |        0 |        0
65.08/65.12	c 65.1s |      19 |   714824 |   539982 |     1609    742 |        0 |        0
67.08/67.14	c 67.1s |      19 |   735367 |   555982 |     1609    760 |        0 |        0
69.08/69.14	c 69.1s |      19 |   755013 |   571282 |     1609    777 |        0 |        0
71.08/71.15	c 71.1s |      19 |   774906 |   586582 |     1609    793 |        0 |        0
73.08/73.16	c 73.1s |      19 |   794227 |   601482 |     1609    810 |        0 |        0
75.08/75.16	c 75.1s |      19 |   814963 |   616882 |     1609    828 |        0 |        0
77.08/77.17	c 77.1s |      19 |   836160 |   632682 |     1609    846 |        0 |        0
79.08/79.18	c 79.2s |      19 |   857833 |   648982 |     1609    864 |        0 |        0
81.07/81.19	c 81.2s |      19 |   878330 |   664782 |     1770    881 |        0 |        0
81.38/81.46	c 81.4s |      20 |   880903 |   666827 |     1770    883 |        0 |        0
83.37/83.48	c 83.5s |      20 |   902242 |   682927 |     1770    900 |        0 |        0
85.37/85.49	c 85.5s |      20 |   923156 |   698527 |     1770    916 |        0 |        0
87.47/87.50	c 87.5s |      20 |   944917 |   714827 |     1770    933 |        0 |        0
89.47/89.50	c 89.5s |      20 |   966693 |   731027 |     1770    949 |        0 |        0
91.47/91.50	c 91.5s |      20 |   988214 |   747327 |     1770    966 |        0 |        0
93.47/93.50	c 93.5s |      20 |  1009058 |   762727 |     1770    982 |        0 |        0
95.47/95.52	c 95.5s |      20 |  1030145 |   778527 |     1770    999 |        0 |        0
97.47/97.53	c 97.5s |      20 |  1049603 |   793327 |     1770   1014 |        0 |        0
99.46/99.53	c 99.5s |      20 |  1069210 |   808027 |     1770   1029 |        0 |        0
101.46/101.54	c  101s |      20 |  1090061 |   823927 |     1770   1045 |        0 |        0
103.48/103.55	c  103s |      20 |  1111330 |   839527 |     1770   1062 |        0 |        0
105.47/105.55	c  105s |      20 |  1131209 |   854527 |     1770   1077 |        0 |        0
107.47/107.56	c  107s |      20 |  1151351 |   869627 |     1770   1093 |        0 |        0
109.47/109.57	c  109s |      20 |  1173491 |   885327 |     1770   1109 |        0 |        0
111.47/111.57	c  111s |      20 |  1193180 |   900527 |     1770   1125 |        0 |        0
113.47/113.58	c  113s |      20 |  1211014 |   914927 |     1770   1140 |        0 |        0
115.47/115.58	c  115s |      20 |  1230325 |   930127 |     1770   1156 |        0 |        0
117.47/117.59	c  117s |      20 |  1249678 |   945127 |     1770   1171 |        0 |        0
119.57/119.60	c  119s |      20 |  1268722 |   960327 |     1770   1187 |        0 |        0
121.57/121.62	c  121s |      20 |  1288532 |   975327 |     1770   1203 |        0 |        0
123.57/123.62	c  123s |      20 |  1308405 |   990527 |     1770   1219 |        0 |        0
124.97/125.06	c  125s |      21 |  1320408 |  1000345 |     1948   1228 |        0 |        0
126.97/127.08	c  127s |      21 |  1339923 |  1015045 |     1948   1242 |        0 |        0
128.96/129.08	c  129s |      21 |  1357683 |  1028745 |     1948   1254 |        0 |        0
130.97/131.09	c  131s |      21 |  1375901 |  1042445 |     1948   1267 |        0 |        0
132.96/133.10	c  133s |      21 |  1394119 |  1056345 |     1948   1279 |        0 |        0
135.06/135.10	c  135s |      21 |  1413722 |  1071145 |     1948   1293 |        0 |        0
137.06/137.11	c  137s |      21 |  1431183 |  1085345 |     1948   1306 |        0 |        0
139.06/139.11	c  139s |      21 |  1450601 |  1100245 |     1948   1320 |        0 |        0
141.06/141.12	c  141s |      21 |  1470284 |  1114745 |     1948   1333 |        0 |        0
143.07/143.13	c  143s |      21 |  1489991 |  1129445 |     1948   1347 |        0 |        0
145.06/145.14	c  145s |      21 |  1508582 |  1143545 |     1948   1360 |        0 |        0
147.06/147.15	c  147s |      21 |  1526000 |  1156845 |     1948   1372 |        0 |        0
149.06/149.16	c  149s |      21 |  1544617 |  1171045 |     1948   1385 |        0 |        0
151.06/151.16	c  151s |      21 |  1562405 |  1184845 |     1948   1398 |        0 |        0
153.06/153.17	c  153s |      21 |  1581288 |  1199045 |     1948   1411 |        0 |        0
155.07/155.18	c  155s |      21 |  1599421 |  1212845 |     1948   1424 |        0 |        0
157.06/157.18	c  157s |      21 |  1618744 |  1227545 |     1948   1437 |        0 |        0
159.06/159.18	c  159s |      21 |  1638131 |  1242145 |     1948   1451 |        0 |        0
161.06/161.19	c  161s |      21 |  1658432 |  1257545 |     1948   1465 |        0 |        0
163.16/163.20	c  163s |      21 |  1678709 |  1272545 |     1948   1479 |        0 |        0
165.16/165.21	c  165s |      21 |  1698674 |  1287245 |     1948   1493 |        0 |        0
167.17/167.22	c  167s |      21 |  1717341 |  1301345 |     1948   1506 |        0 |        0
169.16/169.23	c  169s |      21 |  1736359 |  1315645 |     1948   1519 |        0 |        0
171.16/171.24	c  171s |      21 |  1756980 |  1330645 |     1948   1533 |        0 |        0
173.16/173.25	c  173s |      21 |  1775456 |  1344845 |     1948   1546 |        0 |        0
175.16/175.25	c  175s |      21 |  1793898 |  1359045 |     1948   1560 |        0 |        0
177.17/177.26	c  177s |      21 |  1814252 |  1374045 |     1948   1574 |        0 |        0
179.16/179.27	c  179s |      21 |  1832267 |  1387745 |     1948   1587 |        0 |        0
181.16/181.27	c  181s |      21 |  1851990 |  1402245 |     1948   1600 |        0 |        0
183.16/183.28	c  183s |      21 |  1870482 |  1416445 |     1948   1613 |        0 |        0
185.16/185.29	c  185s |      21 |  1890038 |  1430845 |     1948   1626 |        0 |        0
187.26/187.30	c  187s |      21 |  1909648 |  1445745 |     1948   1640 |        0 |        0
189.16/189.30	c  189s |      21 |  1929172 |  1460345 |     1948   1654 |        0 |        0
191.26/191.30	c  191s |      21 |  1948643 |  1475045 |     1948   1667 |        0 |        0
193.26/193.31	c  193s |      21 |  1967010 |  1489145 |     1948   1680 |        0 |        0
194.86/194.98	c  194s |      22 |  1981788 |  1500622 |     2143   1690 |        0 |        0
196.86/196.99	c  196s |      22 |  2001564 |  1514222 |     2143   1702 |        0 |        0
198.85/198.99	c  198s |      22 |  2022107 |  1528322 |     2143   1713 |        0 |        0
200.95/201.00	c  200s |      22 |  2042234 |  1542522 |     2143   1725 |        0 |        0
202.95/203.01	c  202s |      22 |  2064761 |  1557622 |     2143   1738 |        0 |        0
204.95/205.02	c  204s |      22 |  2083518 |  1570922 |     2143   1749 |        0 |        0
206.95/207.03	c  207s |      22 |  2101975 |  1584622 |     2143   1761 |        0 |        0
208.96/209.05	c  209s |      22 |  2119555 |  1597422 |     2143   1772 |        0 |        0
210.95/211.05	c  211s |      22 |  2138913 |  1610822 |     2143   1783 |        0 |        0
212.95/213.06	c  213s |      22 |  2158375 |  1624722 |     2143   1795 |        0 |        0
214.95/215.06	c  215s |      22 |  2177001 |  1637922 |     2143   1806 |        0 |        0
216.95/217.08	c  217s |      22 |  2195402 |  1651422 |     2143   1817 |        0 |        0
218.95/219.09	c  219s |      22 |  2214444 |  1664622 |     2143   1828 |        0 |        0
220.95/221.09	c  221s |      22 |  2234207 |  1678222 |     2143   1840 |        0 |        0
223.05/223.10	c  223s |      22 |  2251345 |  1691222 |     2143   1851 |        0 |        0
225.05/225.11	c  225s |      22 |  2269669 |  1704322 |     2143   1862 |        0 |        0
227.05/227.12	c  227s |      22 |  2286991 |  1716722 |     2143   1872 |        0 |        0
229.05/229.12	c  229s |      22 |  2304297 |  1728922 |     2143   1883 |        0 |        0
231.05/231.13	c  231s |      22 |  2323353 |  1742222 |     2143   1894 |        0 |        0
233.04/233.13	c  233s |      22 |  2340456 |  1754822 |     2143   1904 |        0 |        0
235.05/235.13	c  235s |      22 |  2359507 |  1768522 |     2143   1916 |        0 |        0
237.05/237.14	c  237s |      22 |  2378494 |  1781722 |     2143   1927 |        0 |        0
239.05/239.15	c  239s |      22 |  2397949 |  1795222 |     2143   1939 |        0 |        0
241.05/241.16	c  241s |      22 |  2416876 |  1808722 |     2143   1950 |        0 |        0
243.06/243.16	c  243s |      22 |  2435343 |  1821922 |     2143   1961 |        0 |        0
245.05/245.17	c  245s |      22 |  2453528 |  1835322 |     2143   1972 |        0 |        0
247.05/247.18	c  247s |      22 |  2472139 |  1848922 |     2143   1984 |        0 |        0
249.05/249.18	c  249s |      22 |  2491177 |  1862222 |     2143   1995 |        0 |        0
251.15/251.20	c  251s |      22 |  2512245 |  1876522 |     2143   2008 |        0 |        0
253.15/253.21	c  253s |      22 |  2532676 |  1890422 |     2143   2020 |        0 |        0
255.16/255.21	c  255s |      22 |  2551659 |  1904022 |     2143   2031 |        0 |        0
257.15/257.21	c  257s |      22 |  2570756 |  1916722 |     2143   2042 |        0 |        0
259.15/259.22	c  259s |      22 |  2590994 |  1931122 |     2143   2054 |        0 |        0
261.15/261.23	c  261s |      22 |  2610948 |  1945222 |     2143   2067 |        0 |        0
263.15/263.23	c  263s |      22 |  2629292 |  1958022 |     2143   2078 |        0 |        0
265.15/265.24	c  265s |      22 |  2649655 |  1972222 |     2143   2090 |        0 |        0
267.15/267.25	c  267s |      22 |  2669143 |  1985822 |     2143   2102 |        0 |        0
269.15/269.26	c  269s |      22 |  2687712 |  1999322 |     2143   2113 |        0 |        0
271.14/271.28	c  271s |      22 |  2706417 |  2012322 |     2143   2124 |        0 |        0
273.14/273.28	c  273s |      22 |  2725916 |  2025222 |     2143   2136 |        0 |        0
275.14/275.29	c  275s |      22 |  2745110 |  2038722 |     2143   2147 |        0 |        0
277.15/277.29	c  277s |      22 |  2763148 |  2052122 |     2143   2159 |        0 |        0
279.24/279.30	c  279s |      22 |  2782096 |  2066022 |     2143   2170 |        0 |        0
281.24/281.30	c  281s |      22 |  2800256 |  2079322 |     2143   2182 |        0 |        0
283.24/283.31	c  283s |      22 |  2819002 |  2091722 |     2143   2192 |        0 |        0
285.24/285.32	c  285s |      22 |  2836923 |  2103922 |     2143   2202 |        0 |        0
287.24/287.33	c  287s |      22 |  2853218 |  2115422 |     2143   2212 |        0 |        0
289.25/289.34	c  289s |      22 |  2870692 |  2127322 |     2143   2222 |        0 |        0
291.24/291.35	c  291s |      22 |  2889096 |  2140422 |     2143   2233 |        0 |        0
293.24/293.37	c  293s |      22 |  2906751 |  2153522 |     2143   2244 |        0 |        0
295.24/295.37	c  295s |      22 |  2923801 |  2165722 |     2143   2255 |        0 |        0
297.24/297.37	c  297s |      22 |  2943032 |  2179222 |     2143   2266 |        0 |        0
299.24/299.37	c  299s |      22 |  2962145 |  2193222 |     2143   2278 |        0 |        0
301.24/301.38	c  301s |      22 |  2979800 |  2206122 |     2143   2289 |        0 |        0
303.23/303.40	c  303s |      22 |  2998441 |  2219422 |     2143   2300 |        0 |        0
305.33/305.40	c  305s |      22 |  3017497 |  2232622 |     2143   2311 |        0 |        0
307.33/307.41	c  307s |      22 |  3036259 |  2245622 |     2358   2321 |        0 |        0
308.23/308.32	c  308s |      23 |  3044107 |  2251038 |     2358   2326 |        0 |        0
310.24/310.32	c  310s |      23 |  3063752 |  2265138 |     2358   2337 |        0 |        0
312.23/312.33	c  312s |      23 |  3081565 |  2278538 |     2358   2347 |        0 |        0
314.23/314.34	c  314s |      23 |  3099492 |  2291938 |     2358   2358 |        0 |        0
316.23/316.34	c  316s |      23 |  3115412 |  2304038 |     2358   2367 |        0 |        0
318.23/318.36	c  318s |      23 |  3131192 |  2315838 |     2358   2376 |        0 |        0
320.23/320.36	c  320s |      23 |  3148311 |  2328738 |     2358   2386 |        0 |        0
322.23/322.37	c  322s |      23 |  3164647 |  2341238 |     2358   2396 |        0 |        0
324.23/324.38	c  324s |      23 |  3181999 |  2354138 |     2358   2406 |        0 |        0
326.23/326.39	c  326s |      23 |  3198433 |  2366838 |     2358   2416 |        0 |        0
328.33/328.40	c  328s |      23 |  3216651 |  2379938 |     2358   2426 |        0 |        0
330.33/330.40	c  330s |      23 |  3234818 |  2393138 |     2358   2437 |        0 |        0
332.33/332.42	c  332s |      23 |  3252828 |  2406538 |     2358   2447 |        0 |        0
334.33/334.43	c  334s |      23 |  3269028 |  2418938 |     2358   2457 |        0 |        0
336.32/336.44	c  336s |      23 |  3283182 |  2430238 |     2358   2466 |        0 |        0
338.32/338.44	c  338s |      23 |  3301031 |  2443038 |     2358   2476 |        0 |        0
340.32/340.45	c  340s |      23 |  3319331 |  2456438 |     2358   2486 |        0 |        0
342.32/342.45	c  342s |      23 |  3336871 |  2469738 |     2358   2496 |        0 |        0
344.33/344.46	c  344s |      23 |  3355348 |  2483438 |     2358   2507 |        0 |        0
346.32/346.48	c  346s |      23 |  3371932 |  2496338 |     2358   2517 |        0 |        0
348.32/348.49	c  348s |      23 |  3388425 |  2508938 |     2358   2527 |        0 |        0
350.42/350.50	c  350s |      23 |  3405037 |  2521738 |     2358   2537 |        0 |        0
352.42/352.51	c  352s |      23 |  3420629 |  2533938 |     2358   2546 |        0 |        0
354.42/354.52	c  354s |      23 |  3438031 |  2546838 |     2358   2556 |        0 |        0
356.42/356.52	c  356s |      23 |  3455033 |  2559838 |     2358   2567 |        0 |        0
358.42/358.52	c  358s |      23 |  3472804 |  2573138 |     2358   2577 |        0 |        0
360.43/360.53	c  360s |      23 |  3488280 |  2585738 |     2358   2587 |        0 |        0
362.43/362.54	c  362s |      23 |  3504713 |  2598138 |     2358   2596 |        0 |        0
364.43/364.56	c  364s |      23 |  3521704 |  2611038 |     2358   2607 |        0 |        0
366.42/366.57	c  366s |      23 |  3539204 |  2624038 |     2358   2617 |        0 |        0
368.43/368.57	c  368s |      23 |  3557023 |  2637838 |     2358   2627 |        0 |        0
370.42/370.59	c  370s |      23 |  3576044 |  2651738 |     2358   2638 |        0 |        0
372.52/372.60	c  372s |      23 |  3594894 |  2665138 |     2358   2649 |        0 |        0
374.52/374.61	c  374s |      23 |  3611976 |  2678138 |     2358   2659 |        0 |        0
376.52/376.61	c  376s |      23 |  3628296 |  2690738 |     2358   2668 |        0 |        0
378.52/378.62	c  378s |      23 |  3645731 |  2703138 |     2358   2678 |        0 |        0
380.53/380.63	c  380s |      23 |  3662565 |  2715638 |     2358   2688 |        0 |        0
382.52/382.65	c  382s |      23 |  3678046 |  2727738 |     2358   2697 |        0 |        0
384.52/384.65	c  384s |      23 |  3696094 |  2741038 |     2358   2708 |        0 |        0
386.52/386.67	c  386s |      23 |  3714405 |  2754638 |     2358   2718 |        0 |        0
388.52/388.67	c  388s |      23 |  3731997 |  2767838 |     2358   2729 |        0 |        0
390.52/390.68	c  390s |      23 |  3750001 |  2781238 |     2358   2739 |        0 |        0
392.52/392.69	c  392s |      23 |  3766935 |  2794238 |     2358   2749 |        0 |        0
394.62/394.70	c  394s |      23 |  3782427 |  2806738 |     2358   2759 |        0 |        0
396.62/396.72	c  396s |      23 |  3798010 |  2818838 |     2358   2768 |        0 |        0
398.62/398.73	c  398s |      23 |  3814621 |  2831638 |     2358   2778 |        0 |        0
400.62/400.73	c  400s |      23 |  3831672 |  2844438 |     2358   2788 |        0 |        0
402.62/402.76	c  402s |      23 |  3847802 |  2856738 |     2358   2798 |        0 |        0
404.61/404.77	c  404s |      23 |  3865678 |  2870238 |     2358   2808 |        0 |        0
406.61/406.78	c  406s |      23 |  3883408 |  2883838 |     2358   2818 |        0 |        0
408.61/408.79	c  408s |      23 |  3901976 |  2897938 |     2358   2829 |        0 |        0
410.61/410.80	c  410s |      23 |  3919262 |  2911238 |     2358   2840 |        0 |        0
412.71/412.81	c  412s |      23 |  3936294 |  2924238 |     2358   2850 |        0 |        0
414.72/414.81	c  414s |      23 |  3953766 |  2937738 |     2358   2860 |        0 |        0
416.71/416.82	c  416s |      23 |  3969989 |  2950338 |     2358   2870 |        0 |        0
418.71/418.82	c  418s |      23 |  3986002 |  2963238 |     2358   2880 |        0 |        0
420.71/420.83	c  420s |      23 |  4001514 |  2975638 |     2358   2889 |        0 |        0
422.71/422.83	c  422s |      23 |  4019162 |  2988838 |     2358   2900 |        0 |        0
424.72/424.85	c  424s |      23 |  4036511 |  3001838 |     2358   2910 |        0 |        0
426.72/426.86	c  426s |      23 |  4051812 |  3013838 |     2358   2919 |        0 |        0
428.71/428.87	c  428s |      23 |  4067558 |  3026438 |     2358   2929 |        0 |        0
430.71/430.89	c  430s |      23 |  4084699 |  3039338 |     2358   2939 |        0 |        0
432.81/432.90	c  432s |      23 |  4101768 |  3052638 |     2358   2950 |        0 |        0
434.81/434.91	c  434s |      23 |  4118953 |  3065938 |     2358   2960 |        0 |        0
436.81/436.92	c  436s |      23 |  4136205 |  3079238 |     2358   2970 |        0 |        0
438.82/438.92	c  438s |      23 |  4153702 |  3092338 |     2358   2981 |        0 |        0
440.81/440.92	c  440s |      23 |  4169183 |  3104338 |     2358   2990 |        0 |        0
442.81/442.93	c  442s |      23 |  4185000 |  3116638 |     2358   2999 |        0 |        0
444.81/444.94	c  444s |      23 |  4201003 |  3129338 |     2358   3009 |        0 |        0
446.81/446.95	c  446s |      23 |  4218549 |  3142538 |     2358   3019 |        0 |        0
448.81/448.96	c  448s |      23 |  4236047 |  3155738 |     2358   3030 |        0 |        0
450.81/450.97	c  450s |      23 |  4252676 |  3168438 |     2358   3040 |        0 |        0
452.80/452.98	c  452s |      23 |  4270474 |  3181538 |     2358   3050 |        0 |        0
454.80/454.99	c  454s |      23 |  4286471 |  3193938 |     2358   3060 |        0 |        0
456.80/456.99	c  456s |      23 |  4303825 |  3206838 |     2358   3070 |        0 |        0
458.80/458.99	c  458s |      23 |  4321612 |  3219838 |     2358   3080 |        0 |        0
460.81/461.00	c  460s |      23 |  4339174 |  3232938 |     2358   3090 |        0 |        0
462.90/463.01	c  462s |      23 |  4355145 |  3245338 |     2358   3100 |        0 |        0
464.90/465.02	c  464s |      23 |  4371240 |  3257738 |     2358   3109 |        0 |        0
466.90/467.03	c  467s |      23 |  4388645 |  3270338 |     2358   3119 |        0 |        0
468.90/469.04	c  469s |      23 |  4405317 |  3283038 |     2358   3129 |        0 |        0
470.89/471.05	c  471s |      23 |  4422708 |  3296238 |     2358   3140 |        0 |        0
472.90/473.05	c  473s |      23 |  4440723 |  3309638 |     2358   3150 |        0 |        0
474.89/475.06	c  475s |      23 |  4457632 |  3322538 |     2358   3160 |        0 |        0
476.89/477.07	c  477s |      23 |  4474486 |  3335438 |     2358   3170 |        0 |        0
478.89/479.08	c  479s |      23 |  4489549 |  3347338 |     2358   3179 |        0 |        0
480.88/481.08	c  481s |      23 |  4508534 |  3361038 |     2594   3189 |        0 |        0
482.89/483.09	c  483s |      23 |  4525828 |  3374438 |     2594   3199 |        0 |        0
483.28/483.47	c  483s |      24 |  4528747 |  3376662 |     2594   3201 |        0 |        0
485.28/485.48	c  485s |      24 |  4546052 |  3389762 |     2594   3210 |        0 |        0
487.29/487.49	c  487s |      24 |  4564936 |  3403162 |     2594   3219 |        0 |        0
489.28/489.49	c  489s |      24 |  4582711 |  3416662 |     2594   3229 |        0 |        0
491.38/491.51	c  491s |      24 |  4600136 |  3430062 |     2594   3238 |        0 |        0
493.39/493.52	c  493s |      24 |  4617336 |  3443062 |     2594   3247 |        0 |        0
495.39/495.52	c  495s |      24 |  4634335 |  3456062 |     2594   3257 |        0 |        0
497.39/497.53	c  497s |      24 |  4652287 |  3469362 |     2594   3266 |        0 |        0
499.39/499.54	c  499s |      24 |  4669858 |  3482662 |     2594   3275 |        0 |        0
501.38/501.54	c  501s |      24 |  4688010 |  3495562 |     2594   3284 |        0 |        0
503.38/503.55	c  503s |      24 |  4706208 |  3509362 |     2594   3294 |        0 |        0
505.38/505.56	c  505s |      24 |  4722093 |  3521762 |     2594   3303 |        0 |        0
507.38/507.57	c  507s |      24 |  4737695 |  3533562 |     2594   3311 |        0 |        0
509.38/509.59	c  509s |      24 |  4753129 |  3544762 |     2594   3319 |        0 |        0
511.39/511.60	c  511s |      24 |  4767613 |  3555662 |     2594   3327 |        0 |        0
513.48/513.60	c  513s |      24 |  4781681 |  3566362 |     2594   3334 |        0 |        0
515.48/515.61	c  515s |      24 |  4797137 |  3577762 |     2594   3342 |        0 |        0
517.48/517.62	c  517s |      24 |  4811672 |  3588962 |     2594   3350 |        0 |        0
519.48/519.62	c  519s |      24 |  4826169 |  3599762 |     2594   3358 |        0 |        0
521.47/521.63	c  521s |      24 |  4842064 |  3611062 |     2594   3366 |        0 |        0
523.47/523.63	c  523s |      24 |  4858894 |  3623062 |     2594   3374 |        0 |        0
525.47/525.64	c  525s |      24 |  4875123 |  3635562 |     2594   3383 |        0 |        0
527.47/527.64	c  527s |      24 |  4892812 |  3648562 |     2594   3393 |        0 |        0
529.47/529.64	c  529s |      24 |  4909787 |  3660762 |     2594   3401 |        0 |        0
531.46/531.65	c  531s |      24 |  4924531 |  3672162 |     2594   3409 |        0 |        0
533.47/533.66	c  533s |      24 |  4941801 |  3685162 |     2594   3418 |        0 |        0
535.46/535.67	c  535s |      24 |  4958232 |  3697662 |     2594   3427 |        0 |        0
537.46/537.67	c  537s |      24 |  4974512 |  3710162 |     2594   3436 |        0 |        0
539.46/539.68	c  539s |      24 |  4990632 |  3722362 |     2594   3445 |        0 |        0
541.46/541.69	c  541s |      24 |  5006503 |  3734162 |     2594   3453 |        0 |        0
543.46/543.70	c  543s |      24 |  5023610 |  3746862 |     2594   3462 |        0 |        0
545.46/545.70	c  545s |      24 |  5040109 |  3759562 |     2594   3471 |        0 |        0
547.56/547.72	c  547s |      24 |  5058022 |  3772462 |     2594   3480 |        0 |        0
549.56/549.72	c  549s |      24 |  5075631 |  3785962 |     2594   3490 |        0 |        0
551.56/551.72	c  551s |      24 |  5092834 |  3799062 |     2594   3499 |        0 |        0
553.56/553.73	c  553s |      24 |  5111021 |  3812362 |     2594   3509 |        0 |        0
555.56/555.74	c  555s |      24 |  5127598 |  3825062 |     2594   3518 |        0 |        0
557.56/557.76	c  557s |      24 |  5144287 |  3838062 |     2594   3527 |        0 |        0
559.55/559.76	c  559s |      24 |  5160309 |  3849962 |     2594   3535 |        0 |        0
561.55/561.77	c  561s |      24 |  5176285 |  3861962 |     2594   3544 |        0 |        0
563.55/563.79	c  563s |      24 |  5194286 |  3875362 |     2594   3553 |        0 |        0
565.55/565.79	c  565s |      24 |  5211843 |  3888662 |     2594   3563 |        0 |        0
567.65/567.81	c  567s |      24 |  5229656 |  3902362 |     2594   3572 |        0 |        0
569.65/569.81	c  569s |      24 |  5246587 |  3914862 |     2594   3581 |        0 |        0
571.64/571.82	c  571s |      24 |  5263283 |  3927262 |     2594   3590 |        0 |        0
573.64/573.84	c  573s |      24 |  5280354 |  3940562 |     2594   3599 |        0 |        0
575.64/575.85	c  575s |      24 |  5298022 |  3953662 |     2594   3609 |        0 |        0
577.64/577.87	c  577s |      24 |  5314718 |  3966262 |     2594   3617 |        0 |        0
579.65/579.88	c  579s |      24 |  5332286 |  3979062 |     2594   3626 |        0 |        0
581.63/581.89	c  581s |      24 |  5348161 |  3991062 |     2594   3635 |        0 |        0
583.63/583.89	c  583s |      24 |  5365559 |  4003662 |     2594   3644 |        0 |        0
585.73/585.90	c  585s |      24 |  5383280 |  4016862 |     2594   3653 |        0 |        0
587.73/587.91	c  587s |      24 |  5402162 |  4030362 |     2594   3663 |        0 |        0
589.73/589.92	c  589s |      24 |  5420979 |  4043862 |     2594   3672 |        0 |        0
591.74/591.92	c  591s |      24 |  5437594 |  4056562 |     2594   3681 |        0 |        0
593.73/593.93	c  593s |      24 |  5453750 |  4069262 |     2594   3690 |        0 |        0
595.73/595.93	c  595s |      24 |  5470722 |  4081762 |     2594   3699 |        0 |        0
597.73/597.94	c  597s |      24 |  5488776 |  4095262 |     2594   3708 |        0 |        0
599.73/599.95	c  599s |      24 |  5507206 |  4108662 |     2594   3718 |        0 |        0
601.72/601.96	c  601s |      24 |  5523960 |  4120962 |     2594   3727 |        0 |        0
603.73/603.97	c  603s |      24 |  5541311 |  4133662 |     2594   3736 |        0 |        0
605.72/605.98	c  605s |      24 |  5558911 |  4146762 |     2594   3745 |        0 |        0
607.73/607.99	c  607s |      24 |  5575449 |  4159362 |     2594   3754 |        0 |        0
609.73/609.99	c  609s |      24 |  5593868 |  4172762 |     2594   3763 |        0 |        0
611.83/612.01	c  611s |      24 |  5612042 |  4186362 |     2594   3773 |        0 |        0
613.83/614.01	c  613s |      24 |  5629130 |  4199162 |     2594   3782 |        0 |        0
615.83/616.02	c  615s |      24 |  5646109 |  4211662 |     2594   3791 |        0 |        0
617.82/618.03	c  618s |      24 |  5663258 |  4224462 |     2594   3800 |        0 |        0
619.82/620.04	c  620s |      24 |  5678599 |  4236662 |     2594   3809 |        0 |        0
621.82/622.05	c  622s |      24 |  5695681 |  4249462 |     2594   3818 |        0 |        0
623.82/624.05	c  624s |      24 |  5712771 |  4262262 |     2594   3827 |        0 |        0
625.82/626.06	c  626s |      24 |  5729371 |  4275062 |     2594   3836 |        0 |        0
627.82/628.06	c  628s |      24 |  5744901 |  4286862 |     2594   3844 |        0 |        0
629.82/630.07	c  630s |      24 |  5760420 |  4298662 |     2594   3853 |        0 |        0
631.81/632.07	c  632s |      24 |  5777678 |  4311862 |     2594   3862 |        0 |        0
633.81/634.08	c  634s |      24 |  5794110 |  4323862 |     2594   3871 |        0 |        0
635.91/636.10	c  636s |      24 |  5810162 |  4336462 |     2594   3879 |        0 |        0
637.92/638.11	c  638s |      24 |  5826093 |  4348562 |     2594   3888 |        0 |        0
639.91/640.12	c  640s |      24 |  5843143 |  4361762 |     2594   3897 |        0 |        0
641.91/642.13	c  642s |      24 |  5859459 |  4374162 |     2594   3906 |        0 |        0
643.91/644.14	c  644s |      24 |  5876319 |  4387162 |     2594   3915 |        0 |        0
645.90/646.15	c  646s |      24 |  5892792 |  4399162 |     2594   3924 |        0 |        0
647.90/648.17	c  648s |      24 |  5910146 |  4411562 |     2594   3933 |        0 |        0
649.91/650.18	c  650s |      24 |  5927825 |  4424162 |     2594   3941 |        0 |        0
651.90/652.19	c  652s |      24 |  5944316 |  4436162 |     2594   3950 |        0 |        0
653.90/654.19	c  654s |      24 |  5961634 |  4448362 |     2594   3959 |        0 |        0
655.90/656.19	c  656s |      24 |  5979272 |  4461062 |     2594   3968 |        0 |        0
658.00/658.20	c  658s |      24 |  5996129 |  4474062 |     2594   3977 |        0 |        0
660.00/660.22	c  660s |      24 |  6012907 |  4486962 |     2594   3986 |        0 |        0
662.00/662.23	c  662s |      24 |  6029446 |  4499262 |     2594   3995 |        0 |        0
664.00/664.25	c  664s |      24 |  6044460 |  4510962 |     2594   4003 |        0 |        0
665.99/666.26	c  666s |      24 |  6061000 |  4522762 |     2594   4011 |        0 |        0
667.99/668.27	c  668s |      24 |  6078015 |  4534562 |     2594   4020 |        0 |        0
669.99/670.28	c  670s |      24 |  6093677 |  4546462 |     2594   4028 |        0 |        0
672.00/672.29	c  672s |      24 |  6109513 |  4558362 |     2594   4037 |        0 |        0
674.00/674.29	c  674s |      24 |  6125382 |  4569962 |     2594   4045 |        0 |        0
676.10/676.30	c  676s |      24 |  6143540 |  4583262 |     2594   4054 |        0 |        0
678.10/678.30	c  678s |      24 |  6160605 |  4595862 |     2594   4063 |        0 |        0
680.10/680.31	c  680s |      24 |  6177586 |  4608562 |     2594   4072 |        0 |        0
682.09/682.32	c  682s |      24 |  6193277 |  4620562 |     2594   4081 |        0 |        0
684.10/684.33	c  684s |      24 |  6209656 |  4633062 |     2594   4089 |        0 |        0
686.09/686.35	c  686s |      24 |  6227209 |  4645862 |     2594   4098 |        0 |        0
688.09/688.36	c  688s |      24 |  6244060 |  4658562 |     2594   4107 |        0 |        0
690.09/690.37	c  690s |      24 |  6259970 |  4670962 |     2594   4116 |        0 |        0
692.08/692.37	c  692s |      24 |  6274900 |  4682562 |     2594   4125 |        0 |        0
694.08/694.37	c  694s |      24 |  6290388 |  4694362 |     2594   4133 |        0 |        0
696.09/696.39	c  696s |      24 |  6306845 |  4706262 |     2594   4141 |        0 |        0
698.08/698.39	c  698s |      24 |  6322826 |  4718262 |     2594   4150 |        0 |        0
700.08/700.40	c  700s |      24 |  6339613 |  4730562 |     2594   4159 |        0 |        0
702.17/702.40	c  702s |      24 |  6356024 |  4742562 |     2594   4167 |        0 |        0
704.17/704.42	c  704s |      24 |  6374427 |  4755262 |     2594   4176 |        0 |        0
706.17/706.42	c  706s |      24 |  6391727 |  4767662 |     2594   4185 |        0 |        0
708.18/708.43	c  708s |      24 |  6408015 |  4779962 |     2594   4194 |        0 |        0
710.17/710.44	c  710s |      24 |  6425783 |  4793162 |     2594   4203 |        0 |        0
712.17/712.44	c  712s |      24 |  6442427 |  4805862 |     2594   4212 |        0 |        0
714.17/714.45	c  714s |      24 |  6459781 |  4818562 |     2594   4221 |        0 |        0
716.17/716.46	c  716s |      24 |  6476860 |  4831262 |     2594   4230 |        0 |        0
718.17/718.48	c  718s |      24 |  6490496 |  4842062 |     2594   4238 |        0 |        0
720.17/720.49	c  720s |      24 |  6505339 |  4853262 |     2594   4245 |        0 |        0
722.16/722.50	c  722s |      24 |  6521286 |  4864862 |     2594   4254 |        0 |        0
724.26/724.51	c  724s |      24 |  6535790 |  4875762 |     2594   4261 |        0 |        0
726.26/726.52	c  726s |      24 |  6552092 |  4887462 |     2594   4270 |        0 |        0
728.26/728.52	c  728s |      24 |  6567585 |  4899162 |     2594   4278 |        0 |        0
730.27/730.52	c  730s |      24 |  6581941 |  4910362 |     2594   4286 |        0 |        0
732.26/732.55	c  732s |      24 |  6597987 |  4922362 |     2594   4295 |        0 |        0
734.26/734.56	c  734s |      24 |  6613674 |  4934162 |     2594   4303 |        0 |        0
736.26/736.56	c  736s |      24 |  6629375 |  4945962 |     2594   4311 |        0 |        0
738.26/738.57	c  738s |      24 |  6645300 |  4957662 |     2594   4320 |        0 |        0
740.26/740.58	c  740s |      24 |  6661369 |  4969762 |     2594   4328 |        0 |        0
742.26/742.59	c  742s |      24 |  6677018 |  4981562 |     2594   4337 |        0 |        0
744.26/744.59	c  744s |      24 |  6693173 |  4993962 |     2594   4345 |        0 |        0
746.35/746.60	c  746s |      24 |  6710161 |  5006262 |     2594   4354 |        0 |        0
748.35/748.61	c  748s |      24 |  6727655 |  5019162 |     2594   4363 |        0 |        0
750.35/750.62	c  750s |      24 |  6744592 |  5031362 |     2854   4372 |        0 |        0
752.35/752.64	c  752s |      24 |  6760178 |  5042562 |     2854   4379 |        0 |        0
754.36/754.65	c  754s |      24 |  6772946 |  5052962 |     2854   4386 |        0 |        0
756.35/756.66	c  756s |      24 |  6787637 |  5064062 |     2854   4393 |        0 |        0
756.56/756.86	c  756s |      25 |  6789070 |  5065098 |     2854   4394 |        0 |        0
758.55/758.87	c  758s |      25 |  6806814 |  5078698 |     2854   4402 |        0 |        0
760.55/760.88	c  760s |      25 |  6822887 |  5091698 |     2854   4411 |        0 |        0
762.55/762.89	c  762s |      25 |  6838541 |  5103898 |     2854   4419 |        0 |        0
764.65/764.90	c  764s |      25 |  6855139 |  5116198 |     2854   4427 |        0 |        0
766.65/766.90	c  766s |      25 |  6871438 |  5128898 |     2854   4435 |        0 |        0
768.65/768.92	c  768s |      25 |  6887045 |  5140998 |     2854   4443 |        0 |        0
770.64/770.93	c  770s |      25 |  6902315 |  5152498 |     2854   4450 |        0 |        0
772.64/772.93	c  772s |      25 |  6916367 |  5163698 |     2854   4458 |        0 |        0
774.64/774.95	c  774s |      25 |  6932441 |  5176498 |     2854   4466 |        0 |        0
776.64/776.95	c  776s |      25 |  6948830 |  5189298 |     2854   4474 |        0 |        0
778.64/778.96	c  778s |      25 |  6962299 |  5200298 |     2854   4482 |        0 |        0
780.64/780.97	c  780s |      25 |  6976995 |  5212098 |     2854   4489 |        0 |        0
782.63/782.98	c  782s |      25 |  6991710 |  5223398 |     2854   4497 |        0 |        0
784.73/785.00	c  784s |      25 |  7007446 |  5235398 |     2854   4504 |        0 |        0
786.73/787.01	c  786s |      25 |  7021739 |  5246598 |     2854   4512 |        0 |        0
788.73/789.02	c  788s |      25 |  7037811 |  5258898 |     2854   4520 |        0 |        0
790.73/791.03	c  791s |      25 |  7054860 |  5271598 |     2854   4528 |        0 |        0
792.72/793.04	c  793s |      25 |  7070308 |  5284098 |     2854   4536 |        0 |        0
794.72/795.05	c  795s |      25 |  7085880 |  5296398 |     2854   4544 |        0 |        0
796.72/797.06	c  797s |      25 |  7099482 |  5307598 |     2854   4551 |        0 |        0
798.72/799.07	c  799s |      25 |  7113692 |  5319298 |     2854   4559 |        0 |        0
800.72/801.08	c  801s |      25 |  7128683 |  5330898 |     2854   4567 |        0 |        0
802.72/803.08	c  803s |      25 |  7142616 |  5342198 |     2854   4574 |        0 |        0
804.71/805.09	c  805s |      25 |  7157009 |  5353598 |     2854   4581 |        0 |        0
806.81/807.10	c  807s |      25 |  7171897 |  5365198 |     2854   4589 |        0 |        0
808.81/809.10	c  809s |      25 |  7187645 |  5377498 |     2854   4597 |        0 |        0
810.81/811.12	c  811s |      25 |  7205747 |  5390398 |     2854   4605 |        0 |        0
812.80/813.14	c  813s |      25 |  7221877 |  5402698 |     2854   4613 |        0 |        0
814.81/815.15	c  815s |      25 |  7236808 |  5414598 |     2854   4621 |        0 |        0
816.80/817.16	c  817s |      25 |  7252640 |  5426898 |     2854   4629 |        0 |        0
818.80/819.18	c  819s |      25 |  7266815 |  5438298 |     2854   4636 |        0 |        0
820.80/821.18	c  821s |      25 |  7281441 |  5449998 |     2854   4644 |        0 |        0
822.80/823.18	c  823s |      25 |  7296134 |  5461498 |     2854   4652 |        0 |        0
824.89/825.20	c  825s |      25 |  7311311 |  5473298 |     2854   4659 |        0 |        0
826.90/827.22	c  827s |      25 |  7325608 |  5484698 |     2854   4667 |        0 |        0
828.90/829.22	c  829s |      25 |  7340754 |  5496298 |     2854   4674 |        0 |        0
830.90/831.23	c  831s |      25 |  7355794 |  5507998 |     2854   4682 |        0 |        0
832.90/833.24	c  833s |      25 |  7371448 |  5519998 |     2854   4690 |        0 |        0
834.90/835.26	c  835s |      25 |  7386264 |  5531598 |     2854   4697 |        0 |        0
836.90/837.26	c  837s |      25 |  7401334 |  5543098 |     2854   4705 |        0 |        0
838.89/839.27	c  839s |      25 |  7417199 |  5555398 |     2854   4712 |        0 |        0
840.89/841.27	c  841s |      25 |  7431326 |  5566498 |     2854   4720 |        0 |        0
842.89/843.28	c  843s |      25 |  7445786 |  5577898 |     2854   4727 |        0 |        0
844.99/845.30	c  845s |      25 |  7461112 |  5589398 |     2854   4735 |        0 |        0
846.99/847.31	c  847s |      25 |  7476638 |  5601298 |     2854   4742 |        0 |        0
848.99/849.32	c  849s |      25 |  7491027 |  5612698 |     2854   4750 |        0 |        0
850.98/851.32	c  851s |      25 |  7506173 |  5624298 |     2854   4757 |        0 |        0
852.98/853.33	c  853s |      25 |  7521371 |  5636098 |     2854   4765 |        0 |        0
854.98/855.34	c  855s |      25 |  7536283 |  5647698 |     2854   4773 |        0 |        0
856.98/857.35	c  857s |      25 |  7551556 |  5659798 |     2854   4780 |        0 |        0
858.97/859.36	c  859s |      25 |  7566391 |  5671398 |     2854   4788 |        0 |        0
860.98/861.38	c  861s |      25 |  7581103 |  5682998 |     2854   4795 |        0 |        0
862.98/863.39	c  863s |      25 |  7595427 |  5694498 |     2854   4803 |        0 |        0
865.08/865.40	c  865s |      25 |  7612032 |  5706898 |     2854   4811 |        0 |        0
867.08/867.41	c  867s |      25 |  7629081 |  5720198 |     2854   4820 |        0 |        0
869.08/869.41	c  869s |      25 |  7644925 |  5732198 |     2854   4827 |        0 |        0
871.07/871.42	c  871s |      25 |  7661639 |  5744298 |     2854   4835 |        0 |        0
873.08/873.42	c  873s |      25 |  7676580 |  5755898 |     2854   4843 |        0 |        0
875.07/875.43	c  875s |      25 |  7692646 |  5768198 |     2854   4851 |        0 |        0
877.07/877.44	c  877s |      25 |  7708237 |  5780198 |     2854   4859 |        0 |        0
879.07/879.45	c  879s |      25 |  7723548 |  5792098 |     2854   4867 |        0 |        0
881.06/881.46	c  881s |      25 |  7737574 |  5802898 |     2854   4874 |        0 |        0
883.07/883.47	c  883s |      25 |  7749162 |  5812598 |     2854   4880 |        0 |        0
885.06/885.49	c  885s |      25 |  7761032 |  5822598 |     2854   4886 |        0 |        0
887.16/887.50	c  887s |      25 |  7776988 |  5834698 |     2854   4894 |        0 |        0
889.16/889.51	c  889s |      25 |  7791754 |  5846298 |     2854   4902 |        0 |        0
891.15/891.52	c  891s |      25 |  7807426 |  5858798 |     2854   4910 |        0 |        0
893.15/893.52	c  893s |      25 |  7821606 |  5870398 |     2854   4917 |        0 |        0
895.16/895.54	c  895s |      25 |  7836535 |  5881998 |     2854   4925 |        0 |        0
897.15/897.55	c  897s |      25 |  7850966 |  5893698 |     2854   4932 |        0 |        0
899.15/899.55	c  899s |      25 |  7866387 |  5905698 |     2854   4940 |        0 |        0
901.15/901.57	c  901s |      25 |  7882067 |  5918098 |     2854   4948 |        0 |        0
903.15/903.57	c  903s |      25 |  7897145 |  5929998 |     2854   4956 |        0 |        0
905.14/905.57	c  905s |      25 |  7912631 |  5942398 |     2854   4964 |        0 |        0
907.15/907.58	c  907s |      25 |  7929376 |  5955398 |     2854   4972 |        0 |        0
909.14/909.59	c  909s |      25 |  7945296 |  5967598 |     2854   4980 |        0 |        0
911.14/911.59	c  911s |      25 |  7961949 |  5980298 |     2854   4989 |        0 |        0
913.24/913.61	c  913s |      25 |  7977682 |  5992598 |     2854   4997 |        0 |        0
915.24/915.61	c  915s |      25 |  7992763 |  6004898 |     2854   5005 |        0 |        0
917.24/917.62	c  917s |      25 |  8010246 |  6018198 |     2854   5013 |        0 |        0
919.24/919.64	c  919s |      25 |  8027269 |  6031098 |     2854   5022 |        0 |        0
921.24/921.64	c  921s |      25 |  8042601 |  6043398 |     2854   5029 |        0 |        0
923.24/923.64	c  923s |      25 |  8058223 |  6055398 |     2854   5037 |        0 |        0
925.24/925.65	c  925s |      25 |  8076207 |  6068798 |     2854   5046 |        0 |        0
927.24/927.65	c  927s |      25 |  8091864 |  6080898 |     2854   5054 |        0 |        0
929.25/929.66	c  929s |      25 |  8105627 |  6092398 |     2854   5061 |        0 |        0
931.23/931.67	c  931s |      25 |  8121657 |  6104798 |     2854   5069 |        0 |        0
933.23/933.68	c  933s |      25 |  8137296 |  6117098 |     2854   5077 |        0 |        0
935.23/935.69	c  935s |      25 |  8153518 |  6129598 |     2854   5085 |        0 |        0
937.33/937.70	c  937s |      25 |  8169492 |  6141998 |     2854   5094 |        0 |        0
939.33/939.71	c  939s |      25 |  8185898 |  6154498 |     2854   5102 |        0 |        0
941.33/941.72	c  941s |      25 |  8200625 |  6166098 |     2854   5109 |        0 |        0
943.33/943.73	c  943s |      25 |  8216782 |  6178498 |     2854   5117 |        0 |        0
945.32/945.74	c  945s |      25 |  8232709 |  6190698 |     2854   5125 |        0 |        0
947.32/947.75	c  947s |      25 |  8248263 |  6202198 |     2854   5133 |        0 |        0
949.32/949.76	c  949s |      25 |  8262687 |  6213498 |     2854   5140 |        0 |        0
951.32/951.77	c  951s |      25 |  8278100 |  6225398 |     2854   5148 |        0 |        0
953.32/953.77	c  953s |      25 |  8293636 |  6237498 |     2854   5156 |        0 |        0
955.31/955.78	c  955s |      25 |  8309007 |  6249698 |     2854   5164 |        0 |        0
957.31/957.79	c  957s |      25 |  8324504 |  6261898 |     2854   5172 |        0 |        0
959.31/959.79	c  959s |      25 |  8339890 |  6273998 |     2854   5180 |        0 |        0
961.41/961.80	c  961s |      25 |  8354352 |  6285598 |     2854   5187 |        0 |        0
963.41/963.80	c  963s |      25 |  8369089 |  6296898 |     2854   5194 |        0 |        0
965.41/965.81	c  965s |      25 |  8384615 |  6308698 |     2854   5202 |        0 |        0
967.41/967.81	c  967s |      25 |  8400617 |  6320598 |     2854   5210 |        0 |        0
969.41/969.82	c  969s |      25 |  8415911 |  6331798 |     2854   5217 |        0 |        0
971.40/971.82	c  971s |      25 |  8431748 |  6343998 |     2854   5225 |        0 |        0
973.40/973.83	c  973s |      25 |  8447992 |  6356698 |     2854   5233 |        0 |        0
975.41/975.83	c  975s |      25 |  8464195 |  6368998 |     2854   5241 |        0 |        0
977.40/977.84	c  977s |      25 |  8480787 |  6381898 |     2854   5250 |        0 |        0
979.40/979.84	c  979s |      25 |  8497194 |  6394798 |     2854   5258 |        0 |        0
981.39/981.85	c  981s |      25 |  8513664 |  6407398 |     2854   5266 |        0 |        0
983.39/983.85	c  983s |      25 |  8528917 |  6419398 |     2854   5274 |        0 |        0
985.39/985.86	c  985s |      25 |  8545379 |  6432298 |     2854   5282 |        0 |        0
987.40/987.86	c  987s |      25 |  8560894 |  6444498 |     2854   5290 |        0 |        0
989.39/989.88	c  989s |      25 |  8577014 |  6456898 |     2854   5298 |        0 |        0
991.39/991.89	c  991s |      25 |  8593239 |  6469398 |     2854   5306 |        0 |        0
993.39/993.89	c  993s |      25 |  8607024 |  6480398 |     2854   5314 |        0 |        0
995.49/995.90	c  995s |      25 |  8622997 |  6492898 |     2854   5322 |        0 |        0
997.49/997.91	c  997s |      25 |  8639357 |  6505598 |     2854   5330 |        0 |        0
999.50/999.92	c  999s |      25 |  8654613 |  6517598 |     2854   5338 |        0 |        0
1001.48/1001.93	c 1001s |      25 |  8670198 |  6529798 |     2854   5345 |        0 |        0
1003.48/1003.93	c 1003s |      25 |  8685032 |  6541398 |     2854   5353 |        0 |        0
1005.48/1005.94	c 1005s |      25 |  8700021 |  6553098 |     2854   5361 |        0 |        0
1007.48/1007.95	c 1007s |      25 |  8715965 |  6565198 |     2854   5368 |        0 |        0
1009.49/1009.95	c 1009s |      25 |  8731470 |  6577498 |     2854   5376 |        0 |        0
1011.48/1011.96	c 1011s |      25 |  8746560 |  6589398 |     2854   5384 |        0 |        0
1013.48/1013.96	c 1013s |      25 |  8761941 |  6601398 |     2854   5392 |        0 |        0
1015.48/1015.97	c 1015s |      25 |  8778156 |  6613998 |     2854   5400 |        0 |        0
1017.48/1017.98	c 1017s |      25 |  8794002 |  6626398 |     2854   5408 |        0 |        0
1019.48/1019.98	c 1019s |      25 |  8809151 |  6638198 |     2854   5416 |        0 |        0
1021.48/1021.99	c 1021s |      25 |  8825626 |  6650798 |     2854   5424 |        0 |        0
1023.57/1024.00	c 1023s |      25 |  8840254 |  6662198 |     2854   5432 |        0 |        0
1025.57/1026.02	c 1025s |      25 |  8857015 |  6674798 |     2854   5440 |        0 |        0
1027.57/1028.03	c 1028s |      25 |  8872938 |  6687298 |     2854   5448 |        0 |        0
1029.57/1030.03	c 1030s |      25 |  8889510 |  6700198 |     2854   5456 |        0 |        0
1031.56/1032.03	c 1032s |      25 |  8905396 |  6712398 |     2854   5464 |        0 |        0
1033.57/1034.05	c 1034s |      25 |  8920280 |  6724098 |     2854   5472 |        0 |        0
1035.56/1036.06	c 1036s |      25 |  8935428 |  6735798 |     2854   5480 |        0 |        0
1037.56/1038.07	c 1038s |      25 |  8950619 |  6747398 |     2854   5487 |        0 |        0
1039.56/1040.07	c 1040s |      25 |  8966501 |  6759498 |     2854   5495 |        0 |        0
1041.56/1042.09	c 1042s |      25 |  8984322 |  6772698 |     2854   5504 |        0 |        0
1043.66/1044.10	c 1044s |      25 |  8998518 |  6783998 |     2854   5511 |        0 |        0
1045.66/1046.13	c 1046s |      25 |  9012122 |  6794998 |     2854   5518 |        0 |        0
1047.65/1048.13	c 1048s |      25 |  9024827 |  6804998 |     2854   5525 |        0 |        0
1049.66/1050.15	c 1050s |      25 |  9037845 |  6814998 |     2854   5532 |        0 |        0
1051.66/1052.16	c 1052s |      25 |  9050110 |  6824798 |     2854   5538 |        0 |        0
1053.66/1054.17	c 1054s |      25 |  9063465 |  6835498 |     2854   5545 |        0 |        0
1055.66/1056.17	c 1056s |      25 |  9078575 |  6847098 |     2854   5552 |        0 |        0
1057.66/1058.17	c 1058s |      25 |  9094318 |  6859298 |     2854   5560 |        0 |        0
1059.65/1060.18	c 1060s |      25 |  9109735 |  6871198 |     2854   5568 |        0 |        0
1061.75/1062.20	c 1062s |      25 |  9126241 |  6883998 |     2854   5576 |        0 |        0
1063.75/1064.21	c 1064s |      25 |  9139950 |  6894898 |     2854   5583 |        0 |        0
1065.75/1066.22	c 1066s |      25 |  9154755 |  6906598 |     2854   5591 |        0 |        0
1067.75/1068.22	c 1068s |      25 |  9169259 |  6918098 |     2854   5598 |        0 |        0
1069.75/1070.23	c 1070s |      25 |  9184313 |  6929898 |     2854   5606 |        0 |        0
1071.74/1072.25	c 1072s |      25 |  9200681 |  6942598 |     2854   5614 |        0 |        0
1073.74/1074.25	c 1074s |      25 |  9216378 |  6954698 |     2854   5622 |        0 |        0
1075.74/1076.26	c 1076s |      25 |  9231895 |  6966798 |     2854   5630 |        0 |        0
1077.74/1078.27	c 1078s |      25 |  9248390 |  6979098 |     2854   5638 |        0 |        0
1079.74/1080.28	c 1080s |      25 |  9262827 |  6990298 |     2854   5645 |        0 |        0
1081.83/1082.30	c 1082s |      25 |  9277228 |  7001598 |     2854   5653 |        0 |        0
1083.83/1084.31	c 1084s |      25 |  9293408 |  7013898 |     2854   5661 |        0 |        0
1085.83/1086.32	c 1086s |      25 |  9309354 |  7025998 |     2854   5668 |        0 |        0
1087.83/1088.33	c 1088s |      25 |  9324805 |  7037598 |     2854   5676 |        0 |        0
1089.83/1090.35	c 1090s |      25 |  9341557 |  7050098 |     2854   5684 |        0 |        0
1091.83/1092.36	c 1092s |      25 |  9357350 |  7062298 |     2854   5692 |        0 |        0
1093.83/1094.38	c 1094s |      25 |  9374299 |  7075498 |     2854   5701 |        0 |        0
1095.83/1096.38	c 1096s |      25 |  9390310 |  7087998 |     2854   5709 |        0 |        0
1097.93/1098.40	c 1098s |      25 |  9405803 |  7100098 |     2854   5717 |        0 |        0
1099.93/1100.41	c 1100s |      25 |  9421889 |  7112598 |     2854   5725 |        0 |        0
1101.93/1102.42	c 1102s |      25 |  9438469 |  7125298 |     2854   5733 |        0 |        0
1103.93/1104.42	c 1104s |      25 |  9455524 |  7138198 |     2854   5741 |        0 |        0
1105.92/1106.45	c 1106s |      25 |  9471290 |  7150598 |     2854   5750 |        0 |        0
1107.92/1108.45	c 1108s |      25 |  9486129 |  7162498 |     2854   5757 |        0 |        0
1109.92/1110.45	c 1110s |      25 |  9500829 |  7174198 |     2854   5765 |        0 |        0
1111.92/1112.46	c 1112s |      25 |  9514864 |  7185298 |     2854   5772 |        0 |        0
1113.93/1114.47	c 1114s |      25 |  9529871 |  7197198 |     2854   5780 |        0 |        0
1115.92/1116.48	c 1116s |      25 |  9544641 |  7208898 |     2854   5787 |        0 |        0
1117.92/1118.48	c 1118s |      25 |  9560632 |  7221098 |     2854   5795 |        0 |        0
1119.92/1120.48	c 1120s |      25 |  9575166 |  7232398 |     2854   5803 |        0 |        0
1121.92/1122.49	c 1122s |      25 |  9592079 |  7245098 |     2854   5811 |        0 |        0
1124.02/1124.50	c 1124s |      25 |  9608608 |  7257598 |     2854   5819 |        0 |        0
1126.02/1126.52	c 1126s |      25 |  9621830 |  7268398 |     2854   5826 |        0 |        0
1128.02/1128.53	c 1128s |      25 |  9637295 |  7279898 |     2854   5834 |        0 |        0
1130.02/1130.55	c 1130s |      25 |  9650675 |  7290098 |     2854   5840 |        0 |        0
1132.02/1132.55	c 1132s |      25 |  9665195 |  7301198 |     2854   5848 |        0 |        0
1134.02/1134.55	c 1134s |      25 |  9680388 |  7313198 |     2854   5856 |        0 |        0
1136.02/1136.55	c 1136s |      25 |  9695963 |  7325398 |     2854   5863 |        0 |        0
1138.03/1138.55	c 1138s |      25 |  9711970 |  7337698 |     2854   5871 |        0 |        0
1140.02/1140.55	c 1140s |      25 |  9727996 |  7349998 |     2854   5880 |        0 |        0
1142.02/1142.56	c 1142s |      25 |  9742349 |  7361298 |     2854   5887 |        0 |        0
1144.02/1144.56	c 1144s |      25 |  9756227 |  7372398 |     2854   5894 |        0 |        0
1146.02/1146.57	c 1146s |      25 |  9770632 |  7383598 |     2854   5902 |        0 |        0
1148.03/1148.58	c 1148s |      25 |  9784589 |  7394298 |     2854   5908 |        0 |        0
1150.02/1150.59	c 1150s |      25 |  9797220 |  7404098 |     2854   5915 |        0 |        0
1152.02/1152.59	c 1152s |      25 |  9811592 |  7414798 |     2854   5922 |        0 |        0
1154.12/1154.61	c 1154s |      25 |  9826476 |  7425998 |     2854   5929 |        0 |        0
1156.12/1156.63	c 1156s |      25 |  9842604 |  7438198 |     2854   5937 |        0 |        0
1158.12/1158.63	c 1158s |      25 |  9857516 |  7449498 |     2854   5945 |        0 |        0
1160.12/1160.63	c 1160s |      25 |  9871729 |  7460798 |     2854   5952 |        0 |        0
1162.11/1162.64	c 1162s |      25 |  9887970 |  7473098 |     2854   5960 |        0 |        0
1164.11/1164.64	c 1164s |      25 |  9904698 |  7485598 |     2854   5968 |        0 |        0
1166.11/1166.65	c 1166s |      25 |  9921884 |  7498598 |     2854   5977 |        0 |        0
1168.11/1168.67	c 1168s |      25 |  9937230 |  7510398 |     2854   5984 |        0 |        0
1170.11/1170.67	c 1170s |      25 |  9951051 |  7521498 |     2854   5992 |        0 |        0
1172.11/1172.68	c 1172s |      25 |  9965090 |  7532398 |     2854   5999 |        0 |        0
1174.21/1174.70	c 1174s |      25 |  9979830 |  7543698 |     3140   6006 |        0 |        0
1176.21/1176.70	c 1176s |      25 |  9995354 |  7555198 |     3140   6013 |        0 |        0
1178.21/1178.71	c 1178s |      25 | 10011083 |  7567098 |     3140   6020 |        0 |        0
1180.22/1180.72	c 1180s |      25 | 10024365 |  7577898 |     3140   6026 |        0 |        0
1182.22/1182.72	c 1182s |      25 | 10039061 |  7589198 |     3140   6033 |        0 |        0
1183.72/1184.28	c 1184s |      26 | 10049496 |  7597752 |     3140   6038 |        0 |        0
1185.81/1186.30	c 1186s |      26 | 10063004 |  7607952 |     3140   6044 |        0 |        0
1187.81/1188.31	c 1188s |      26 | 10076205 |  7618352 |     3140   6050 |        0 |        0
1189.82/1190.32	c 1190s |      26 | 10090729 |  7629552 |     3140   6057 |        0 |        0
1191.81/1192.32	c 1192s |      26 | 10105988 |  7640652 |     3140   6063 |        0 |        0
1193.81/1194.33	c 1194s |      26 | 10121934 |  7652352 |     3140   6070 |        0 |        0
1195.81/1196.34	c 1196s |      26 | 10137360 |  7664252 |     3140   6077 |        0 |        0
1197.81/1198.34	c 1198s |      26 | 10152887 |  7676052 |     3140   6084 |        0 |        0
1199.81/1200.35	c 1200s |      26 | 10165250 |  7686152 |     3140   6090 |        0 |        0
1201.82/1202.36	c 1202s |      26 | 10180190 |  7697052 |     3140   6097 |        0 |        0
1203.81/1204.36	c 1204s |      26 | 10195735 |  7708752 |     3140   6104 |        0 |        0
1205.81/1206.37	c 1206s |      26 | 10210536 |  7719752 |     3140   6110 |        0 |        0
1207.81/1208.38	c 1208s |      26 | 10224995 |  7730352 |     3140   6117 |        0 |        0
1209.81/1210.39	c 1210s |      26 | 10241200 |  7742152 |     3140   6124 |        0 |        0
1211.91/1212.40	c 1212s |      26 | 10256341 |  7753652 |     3140   6131 |        0 |        0
1213.91/1214.41	c 1214s |      26 | 10270911 |  7765052 |     3140   6137 |        0 |        0
1215.91/1216.41	c 1216s |      26 | 10286085 |  7776552 |     3140   6144 |        0 |        0
1217.91/1218.42	c 1218s |      26 | 10298862 |  7786852 |     3140   6150 |        0 |        0
1219.91/1220.44	c 1220s |      26 | 10312647 |  7797452 |     3140   6157 |        0 |        0
1221.90/1222.44	c 1222s |      26 | 10327037 |  7808452 |     3140   6163 |        0 |        0
1223.91/1224.45	c 1224s |      26 | 10341554 |  7819252 |     3140   6169 |        0 |        0
1225.90/1226.46	c 1226s |      26 | 10356831 |  7830452 |     3140   6176 |        0 |        0
1227.90/1228.47	c 1228s |      26 | 10371591 |  7841552 |     3140   6183 |        0 |        0
1229.90/1230.47	c 1230s |      26 | 10386929 |  7852852 |     3140   6189 |        0 |        0
1231.90/1232.48	c 1232s |      26 | 10402341 |  7864652 |     3140   6196 |        0 |        0
1233.90/1234.49	c 1234s |      26 | 10417166 |  7875952 |     3140   6203 |        0 |        0
1235.91/1236.50	c 1236s |      26 | 10431197 |  7887052 |     3140   6210 |        0 |        0
1238.00/1238.52	c 1238s |      26 | 10444733 |  7897552 |     3140   6216 |        0 |        0
1240.00/1240.53	c 1240s |      26 | 10457390 |  7907952 |     3140   6222 |        0 |        0
1242.00/1242.55	c 1242s |      26 | 10469640 |  7917452 |     3140   6228 |        0 |        0
1244.00/1244.56	c 1244s |      26 | 10483536 |  7928452 |     3140   6234 |        0 |        0
1246.00/1246.58	c 1246s |      26 | 10495793 |  7938652 |     3140   6240 |        0 |        0
1248.00/1248.58	c 1248s |      26 | 10509214 |  7949152 |     3140   6247 |        0 |        0
1250.00/1250.59	c 1250s |      26 | 10524252 |  7960452 |     3140   6253 |        0 |        0
1252.10/1252.61	c 1252s |      26 | 10537651 |  7971152 |     3140   6260 |        0 |        0
1254.10/1254.62	c 1254s |      26 | 10551906 |  7982252 |     3140   6266 |        0 |        0
1256.10/1256.62	c 1256s |      26 | 10567209 |  7993952 |     3140   6273 |        0 |        0
1258.09/1258.62	c 1258s |      26 | 10581395 |  8005252 |     3140   6280 |        0 |        0
1260.10/1260.62	c 1260s |      26 | 10594675 |  8015352 |     3140   6286 |        0 |        0
1262.09/1262.62	c 1262s |      26 | 10608910 |  8025852 |     3140   6292 |        0 |        0
1264.09/1264.63	c 1264s |      26 | 10620921 |  8035652 |     3140   6298 |        0 |        0
1266.09/1266.63	c 1266s |      26 | 10633064 |  8045352 |     3140   6304 |        0 |        0
1268.09/1268.65	c 1268s |      26 | 10646726 |  8056152 |     3140   6310 |        0 |        0
1270.10/1270.65	c 1270s |      26 | 10661510 |  8067652 |     3140   6317 |        0 |        0
1272.10/1272.67	c 1272s |      26 | 10675052 |  8078352 |     3140   6323 |        0 |        0
1274.10/1274.67	c 1274s |      26 | 10690309 |  8089552 |     3140   6330 |        0 |        0
1276.10/1276.68	c 1276s |      26 | 10705368 |  8100552 |     3140   6336 |        0 |        0
1278.10/1278.69	c 1278s |      26 | 10719897 |  8110952 |     3140   6343 |        0 |        0
1280.20/1280.70	c 1280s |      26 | 10735427 |  8122352 |     3140   6349 |        0 |        0
1282.20/1282.72	c 1282s |      26 | 10748413 |  8132452 |     3140   6355 |        0 |        0
1284.20/1284.73	c 1284s |      26 | 10761998 |  8142952 |     3140   6362 |        0 |        0
1286.20/1286.73	c 1286s |      26 | 10775862 |  8153652 |     3140   6368 |        0 |        0
1288.20/1288.74	c 1288s |      26 | 10789673 |  8164352 |     3140   6374 |        0 |        0
1290.19/1290.75	c 1290s |      26 | 10801876 |  8174352 |     3140   6380 |        0 |        0
1292.19/1292.76	c 1292s |      26 | 10814602 |  8184252 |     3140   6386 |        0 |        0
1294.20/1294.77	c 1294s |      26 | 10828791 |  8194852 |     3140   6392 |        0 |        0
1296.19/1296.79	c 1296s |      26 | 10844981 |  8206852 |     3140   6400 |        0 |        0
1298.29/1298.80	c 1298s |      26 | 10860319 |  8217752 |     3140   6406 |        0 |        0
1300.29/1300.82	c 1300s |      26 | 10874306 |  8228052 |     3140   6412 |        0 |        0
1302.29/1302.82	c 1302s |      26 | 10886149 |  8237552 |     3140   6418 |        0 |        0
1304.29/1304.83	c 1304s |      26 | 10900554 |  8248152 |     3140   6424 |        0 |        0
1306.29/1306.83	c 1306s |      26 | 10916357 |  8259552 |     3140   6431 |        0 |        0
1308.29/1308.85	c 1308s |      26 | 10930592 |  8270452 |     3140   6438 |        0 |        0
1310.28/1310.86	c 1310s |      26 | 10945635 |  8282052 |     3140   6445 |        0 |        0
1312.28/1312.88	c 1312s |      26 | 10960211 |  8293452 |     3140   6451 |        0 |        0
1314.28/1314.88	c 1314s |      26 | 10975775 |  8304752 |     3140   6458 |        0 |        0
1316.29/1316.88	c 1316s |      26 | 10991605 |  8316452 |     3140   6465 |        0 |        0
1318.28/1318.90	c 1318s |      26 | 11007918 |  8328652 |     3140   6472 |        0 |        0
1320.38/1320.90	c 1320s |      26 | 11022440 |  8339952 |     3140   6479 |        0 |        0
1322.38/1322.92	c 1322s |      26 | 11036668 |  8350852 |     3140   6485 |        0 |        0
1324.39/1324.94	c 1324s |      26 | 11050913 |  8361752 |     3140   6492 |        0 |        0
1326.39/1326.96	c 1326s |      26 | 11064817 |  8372652 |     3140   6499 |        0 |        0
1328.39/1328.97	c 1328s |      26 | 11079314 |  8383752 |     3140   6505 |        0 |        0
1330.39/1330.98	c 1330s |      26 | 11094970 |  8395352 |     3140   6512 |        0 |        0
1332.39/1332.98	c 1332s |      26 | 11110711 |  8407352 |     3140   6519 |        0 |        0
1334.39/1334.99	c 1334s |      26 | 11126098 |  8418852 |     3140   6526 |        0 |        0
1336.38/1336.99	c 1336s |      26 | 11141133 |  8430452 |     3140   6533 |        0 |        0
1338.48/1339.01	c 1338s |      26 | 11156314 |  8441852 |     3140   6540 |        0 |        0
1340.49/1341.02	c 1340s |      26 | 11169173 |  8452152 |     3140   6546 |        0 |        0
1342.48/1343.03	c 1343s |      26 | 11184818 |  8464052 |     3140   6553 |        0 |        0
1344.48/1345.04	c 1345s |      26 | 11197461 |  8473952 |     3140   6559 |        0 |        0
1346.48/1347.04	c 1347s |      26 | 11210149 |  8484352 |     3140   6565 |        0 |        0
1348.48/1349.05	c 1349s |      26 | 11224557 |  8495452 |     3140   6572 |        0 |        0
1350.48/1351.05	c 1351s |      26 | 11239214 |  8506652 |     3140   6578 |        0 |        0
1352.48/1353.06	c 1353s |      26 | 11253723 |  8517552 |     3140   6585 |        0 |        0
1354.48/1355.07	c 1355s |      26 | 11267358 |  8528552 |     3140   6591 |        0 |        0
1356.48/1357.09	c 1357s |      26 | 11282244 |  8539952 |     3140   6598 |        0 |        0
1358.58/1359.10	c 1359s |      26 | 11297732 |  8551652 |     3140   6605 |        0 |        0
1360.58/1361.11	c 1361s |      26 | 11313904 |  8563952 |     3140   6613 |        0 |        0
1362.58/1363.13	c 1363s |      26 | 11329507 |  8575652 |     3140   6620 |        0 |        0
1364.58/1365.14	c 1365s |      26 | 11342475 |  8585952 |     3140   6626 |        0 |        0
1366.57/1367.15	c 1367s |      26 | 11359819 |  8598752 |     3140   6633 |        0 |        0
1368.57/1369.15	c 1369s |      26 | 11375145 |  8610552 |     3140   6640 |        0 |        0
1370.57/1371.16	c 1371s |      26 | 11391178 |  8622352 |     3140   6647 |        0 |        0
1372.57/1373.17	c 1373s |      26 | 11406909 |  8634052 |     3140   6654 |        0 |        0
1374.58/1375.18	c 1375s |      26 | 11421384 |  8645652 |     3140   6661 |        0 |        0
1376.57/1377.19	c 1377s |      26 | 11435068 |  8656552 |     3140   6668 |        0 |        0
1378.67/1379.22	c 1379s |      26 | 11450270 |  8668252 |     3140   6675 |        0 |        0
1380.67/1381.22	c 1381s |      26 | 11463624 |  8678652 |     3140   6681 |        0 |        0
1382.67/1383.23	c 1383s |      26 | 11479725 |  8690352 |     3140   6688 |        0 |        0
1384.67/1385.24	c 1385s |      26 | 11495210 |  8701852 |     3140   6694 |        0 |        0
1386.68/1387.26	c 1387s |      26 | 11508588 |  8712052 |     3140   6701 |        0 |        0
1388.67/1389.29	c 1389s |      26 | 11523058 |  8723452 |     3140   6707 |        0 |        0
1390.68/1391.29	c 1391s |      26 | 11536530 |  8733952 |     3140   6714 |        0 |        0
1392.68/1393.29	c 1393s |      26 | 11551336 |  8744952 |     3140   6720 |        0 |        0
1394.78/1395.30	c 1395s |      26 | 11564816 |  8754952 |     3140   6726 |        0 |        0
1396.78/1397.31	c 1397s |      26 | 11580284 |  8766152 |     3140   6733 |        0 |        0
1398.78/1399.31	c 1399s |      26 | 11594725 |  8777152 |     3140   6739 |        0 |        0
1400.78/1401.32	c 1401s |      26 | 11608779 |  8787652 |     3140   6746 |        0 |        0
1402.77/1403.32	c 1403s |      26 | 11622860 |  8798652 |     3140   6752 |        0 |        0
1404.77/1405.32	c 1405s |      26 | 11636768 |  8809452 |     3140   6759 |        0 |        0
1406.77/1407.37	c 1407s |      26 | 11649835 |  8819452 |     3140   6765 |        0 |        0
1408.77/1409.39	c 1409s |      26 | 11662917 |  8829352 |     3140   6770 |        0 |        0
1410.78/1411.40	c 1411s |      26 | 11675759 |  8839252 |     3140   6776 |        0 |        0
1412.87/1413.41	c 1413s |      26 | 11689225 |  8849552 |     3140   6782 |        0 |        0
1414.87/1415.43	c 1415s |      26 | 11702226 |  8859552 |     3140   6788 |        0 |        0
1416.87/1417.44	c 1417s |      26 | 11715640 |  8869852 |     3140   6795 |        0 |        0
1418.87/1419.45	c 1419s |      26 | 11728767 |  8880052 |     3140   6801 |        0 |        0
1420.87/1421.45	c 1421s |      26 | 11742520 |  8890252 |     3140   6807 |        0 |        0
1422.88/1423.47	c 1423s |      26 | 11756949 |  8901052 |     3140   6813 |        0 |        0
1424.87/1425.48	c 1425s |      26 | 11771396 |  8911952 |     3140   6820 |        0 |        0
1426.87/1427.48	c 1427s |      26 | 11786523 |  8923252 |     3140   6826 |        0 |        0
1428.87/1429.49	c 1429s |      26 | 11801822 |  8934352 |     3140   6833 |        0 |        0
1430.97/1431.51	c 1431s |      26 | 11816873 |  8945352 |     3140   6839 |        0 |        0
1432.97/1433.52	c 1433s |      26 | 11831256 |  8956452 |     3140   6846 |        0 |        0
1434.97/1435.56	c 1435s |      26 | 11845252 |  8967352 |     3140   6853 |        0 |        0
1436.97/1437.56	c 1437s |      26 | 11860913 |  8978652 |     3140   6859 |        0 |        0
1438.97/1439.57	c 1439s |      26 | 11874128 |  8989252 |     3140   6866 |        0 |        0
1440.97/1441.58	c 1441s |      26 | 11888686 |  9000252 |     3140   6872 |        0 |        0
1442.96/1443.59	c 1443s |      26 | 11903075 |  9010852 |     3140   6878 |        0 |        0
1445.06/1445.62	c 1445s |      26 | 11917079 |  9021752 |     3140   6885 |        0 |        0
1447.07/1447.64	c 1447s |      26 | 11930136 |  9031752 |     3140   6891 |        0 |        0
1449.06/1449.64	c 1449s |      26 | 11944412 |  9042452 |     3140   6897 |        0 |        0
1451.06/1451.64	c 1451s |      26 | 11958899 |  9053552 |     3140   6904 |        0 |        0
1453.06/1453.66	c 1453s |      26 | 11971480 |  9063852 |     3140   6910 |        0 |        0
1455.06/1455.66	c 1455s |      26 | 11985885 |  9074352 |     3140   6916 |        0 |        0
1457.07/1457.67	c 1457s |      26 | 12001053 |  9085252 |     3140   6923 |        0 |        0
1459.06/1459.68	c 1459s |      26 | 12014633 |  9096052 |     3140   6929 |        0 |        0
1461.06/1461.68	c 1461s |      26 | 12028867 |  9106652 |     3140   6935 |        0 |        0
1463.06/1463.69	c 1463s |      26 | 12042036 |  9117052 |     3140   6942 |        0 |        0
1465.16/1465.70	c 1465s |      26 | 12056593 |  9127552 |     3140   6948 |        0 |        0
1467.16/1467.70	c 1467s |      26 | 12071530 |  9138852 |     3140   6955 |        0 |        0
1469.16/1469.71	c 1469s |      26 | 12085273 |  9149452 |     3140   6961 |        0 |        0
1471.16/1471.74	c 1471s |      26 | 12098040 |  9159052 |     3140   6967 |        0 |        0
1473.16/1473.75	c 1473s |      26 | 12111091 |  9169452 |     3140   6973 |        0 |        0
1475.16/1475.76	c 1475s |      26 | 12126304 |  9180752 |     3140   6980 |        0 |        0
1477.16/1477.78	c 1477s |      26 | 12142056 |  9192252 |     3140   6987 |        0 |        0
1479.16/1479.78	c 1479s |      26 | 12153306 |  9201452 |     3140   6992 |        0 |        0
1481.27/1481.81	c 1481s |      26 | 12167563 |  9212552 |     3140   6999 |        0 |        0
1483.26/1483.83	c 1483s |      26 | 12182805 |  9224052 |     3140   7005 |        0 |        0
1485.26/1485.84	c 1485s |      26 | 12196641 |  9234952 |     3140   7012 |        0 |        0
1487.26/1487.86	c 1487s |      26 | 12210048 |  9245552 |     3140   7018 |        0 |        0
1489.26/1489.87	c 1489s |      26 | 12224799 |  9256552 |     3140   7025 |        0 |        0
1491.26/1491.87	c 1491s |      26 | 12237467 |  9266752 |     3140   7031 |        0 |        0
1493.26/1493.88	c 1493s |      26 | 12252318 |  9277552 |     3140   7037 |        0 |        0
1495.26/1495.89	c 1495s |      26 | 12267374 |  9288652 |     3140   7044 |        0 |        0
1497.36/1497.91	c 1497s |      26 | 12282251 |  9299652 |     3140   7051 |        0 |        0
1499.36/1499.91	c 1499s |      26 | 12296676 |  9310652 |     3140   7057 |        0 |        0
1501.36/1501.92	c 1501s |      26 | 12311517 |  9322052 |     3140   7064 |        0 |        0
1503.36/1503.92	c 1503s |      26 | 12326325 |  9333052 |     3140   7071 |        0 |        0
1505.36/1505.93	c 1505s |      26 | 12341071 |  9344552 |     3140   7077 |        0 |        0
1507.36/1507.94	c 1507s |      26 | 12356052 |  9356152 |     3140   7084 |        0 |        0
1509.36/1509.94	c 1509s |      26 | 12369471 |  9366752 |     3140   7091 |        0 |        0
1511.36/1511.96	c 1511s |      26 | 12384498 |  9377952 |     3140   7097 |        0 |        0
1513.36/1513.96	c 1513s |      26 | 12398916 |  9389152 |     3140   7104 |        0 |        0
1515.36/1516.00	c 1515s |      26 | 12413296 |  9400152 |     3140   7111 |        0 |        0
1517.46/1518.01	c 1517s |      26 | 12426613 |  9410552 |     3140   7117 |        0 |        0
1519.45/1520.01	c 1519s |      26 | 12438884 |  9420552 |     3140   7123 |        0 |        0
1521.45/1522.02	c 1521s |      26 | 12451540 |  9430352 |     3140   7129 |        0 |        0
1523.45/1524.02	c 1524s |      26 | 12465919 |  9441152 |     3140   7135 |        0 |        0
1525.45/1526.04	c 1526s |      26 | 12479753 |  9451852 |     3140   7142 |        0 |        0
1527.46/1528.06	c 1528s |      26 | 12492303 |  9461952 |     3140   7148 |        0 |        0
1529.45/1530.06	c 1530s |      26 | 12505324 |  9472152 |     3140   7154 |        0 |        0
1531.45/1532.07	c 1532s |      26 | 12517888 |  9482252 |     3140   7160 |        0 |        0
1533.45/1534.07	c 1534s |      26 | 12531968 |  9493052 |     3140   7166 |        0 |        0
1535.45/1536.08	c 1536s |      26 | 12546675 |  9504152 |     3140   7173 |        0 |        0
1537.55/1538.10	c 1538s |      26 | 12560222 |  9514452 |     3140   7179 |        0 |        0
1539.55/1540.11	c 1540s |      26 | 12572560 |  9523952 |     3140   7185 |        0 |        0
1541.55/1542.14	c 1542s |      26 | 12585372 |  9533852 |     3140   7191 |        0 |        0
1543.55/1544.15	c 1544s |      26 | 12598433 |  9543952 |     3140   7197 |        0 |        0
1545.55/1546.16	c 1546s |      26 | 12611438 |  9553852 |     3140   7203 |        0 |        0
1547.54/1548.17	c 1548s |      26 | 12625319 |  9564652 |     3140   7209 |        0 |        0
1549.55/1550.19	c 1550s |      26 | 12638549 |  9574952 |     3140   7215 |        0 |        0
1551.55/1552.19	c 1552s |      26 | 12650112 |  9584052 |     3140   7220 |        0 |        0
1553.64/1554.21	c 1554s |      26 | 12662628 |  9593852 |     3140   7226 |        0 |        0
1555.64/1556.22	c 1556s |      26 | 12676168 |  9604152 |     3140   7232 |        0 |        0
1557.64/1558.23	c 1558s |      26 | 12691603 |  9615752 |     3140   7239 |        0 |        0
1559.64/1560.26	c 1560s |      26 | 12707553 |  9627652 |     3140   7246 |        0 |        0
1561.64/1562.26	c 1562s |      26 | 12722353 |  9638852 |     3140   7253 |        0 |        0
1563.65/1564.27	c 1564s |      26 | 12737102 |  9650652 |     3140   7260 |        0 |        0
1565.64/1566.27	c 1566s |      26 | 12752561 |  9662352 |     3140   7267 |        0 |        0
1567.65/1568.28	c 1568s |      26 | 12768362 |  9674052 |     3140   7274 |        0 |        0
1569.75/1570.30	c 1570s |      26 | 12783431 |  9685252 |     3140   7281 |        0 |        0
1571.75/1572.31	c 1572s |      26 | 12799185 |  9696952 |     3140   7288 |        0 |        0
1573.75/1574.31	c 1574s |      26 | 12814158 |  9708052 |     3140   7294 |        0 |        0
1575.75/1576.33	c 1576s |      26 | 12831187 |  9720152 |     3140   7301 |        0 |        0
1577.75/1578.34	c 1578s |      26 | 12846745 |  9731752 |     3140   7308 |        0 |        0
1579.74/1580.34	c 1580s |      26 | 12860933 |  9742352 |     3140   7315 |        0 |        0
1581.74/1582.36	c 1582s |      26 | 12876429 |  9753752 |     3140   7321 |        0 |        0
1583.74/1584.38	c 1584s |      26 | 12891549 |  9765152 |     3140   7328 |        0 |        0
1585.75/1586.39	c 1586s |      26 | 12908374 |  9776952 |     3140   7335 |        0 |        0
1587.74/1588.40	c 1588s |      26 | 12923129 |  9787952 |     3140   7342 |        0 |        0
1589.84/1590.41	c 1590s |      26 | 12938870 |  9799352 |     3140   7349 |        0 |        0
1591.84/1592.41	c 1592s |      26 | 12953912 |  9810052 |     3140   7355 |        0 |        0
1593.84/1594.41	c 1594s |      26 | 12967394 |  9820752 |     3140   7362 |        0 |        0
1595.84/1596.43	c 1596s |      26 | 12981917 |  9832152 |     3140   7368 |        0 |        0
1597.85/1598.43	c 1598s |      26 | 12996565 |  9842952 |     3140   7375 |        0 |        0
1599.84/1600.43	c 1600s |      26 | 13011080 |  9853752 |     3140   7381 |        0 |        0
1601.84/1602.43	c 1602s |      26 | 13024958 |  9864252 |     3140   7387 |        0 |        0
1603.84/1604.45	c 1604s |      26 | 13038401 |  9874752 |     3140   7394 |        0 |        0
1605.84/1606.46	c 1606s |      26 | 13052581 |  9885852 |     3140   7400 |        0 |        0
1607.84/1608.49	c 1608s |      26 | 13067295 |  9896852 |     3140   7407 |        0 |        0
1609.84/1610.49	c 1610s |      26 | 13082645 |  9908552 |     3140   7413 |        0 |        0
1611.84/1612.50	c 1612s |      26 | 13099397 |  9920552 |     3140   7421 |        0 |        0
1613.94/1614.50	c 1614s |      26 | 13114829 |  9932652 |     3140   7428 |        0 |        0
1615.94/1616.52	c 1616s |      26 | 13128539 |  9943452 |     3140   7434 |        0 |        0
1617.94/1618.53	c 1618s |      26 | 13142862 |  9954252 |     3140   7441 |        0 |        0
1619.94/1620.53	c 1620s |      26 | 13157269 |  9965552 |     3140   7447 |        0 |        0
1621.94/1622.54	c 1622s |      26 | 13171969 |  9976952 |     3140   7454 |        0 |        0
1623.94/1624.55	c 1624s |      26 | 13185929 |  9988152 |     3140   7461 |        0 |        0
1625.93/1626.55	c 1626s |      26 | 13200358 |  9999352 |     3140   7467 |        0 |        0
1627.93/1628.57	c 1628s |      26 | 13214916 | 10010552 |     3140   7474 |        0 |        0
1629.93/1630.59	c 1630s |      26 | 13229550 | 10021452 |     3140   7480 |        0 |        0
1631.94/1632.59	c 1632s |      26 | 13243409 | 10032252 |     3140   7487 |        0 |        0
1633.93/1634.59	c 1634s |      26 | 13256879 | 10043052 |     3140   7493 |        0 |        0
1636.03/1636.61	c 1636s |      26 | 13271045 | 10053652 |     3140   7499 |        0 |        0
1638.03/1638.61	c 1638s |      26 | 13286445 | 10065352 |     3140   7506 |        0 |        0
1640.03/1640.63	c 1640s |      26 | 13302350 | 10076752 |     3140   7513 |        0 |        0
1642.03/1642.63	c 1642s |      26 | 13316777 | 10087652 |     3140   7520 |        0 |        0
1644.04/1644.64	c 1644s |      26 | 13329856 | 10097752 |     3140   7526 |        0 |        0
1646.03/1646.65	c 1646s |      26 | 13344210 | 10108452 |     3140   7532 |        0 |        0
1648.03/1648.66	c 1648s |      26 | 13358370 | 10119352 |     3140   7538 |        0 |        0
1650.03/1650.67	c 1650s |      26 | 13373713 | 10131452 |     3140   7546 |        0 |        0
1652.03/1652.68	c 1652s |      26 | 13389482 | 10143152 |     3140   7553 |        0 |        0
1654.03/1654.70	c 1654s |      26 | 13403910 | 10154352 |     3140   7559 |        0 |        0
1656.13/1656.71	c 1656s |      26 | 13416340 | 10164052 |     3140   7565 |        0 |        0
1658.13/1658.72	c 1658s |      26 | 13430612 | 10174752 |     3140   7572 |        0 |        0
1660.12/1660.72	c 1660s |      26 | 13444441 | 10185652 |     3140   7578 |        0 |        0
1662.12/1662.74	c 1662s |      26 | 13460020 | 10196952 |     3140   7585 |        0 |        0
1664.12/1664.75	c 1664s |      26 | 13475019 | 10208652 |     3140   7592 |        0 |        0
1666.12/1666.75	c 1666s |      26 | 13489686 | 10220152 |     3140   7599 |        0 |        0
1668.13/1668.76	c 1668s |      26 | 13504762 | 10231252 |     3140   7606 |        0 |        0
1670.12/1670.77	c 1670s |      26 | 13520272 | 10242652 |     3140   7613 |        0 |        0
1672.12/1672.79	c 1672s |      26 | 13534414 | 10253652 |     3140   7619 |        0 |        0
1674.22/1674.81	c 1674s |      26 | 13549536 | 10264752 |     3140   7626 |        0 |        0
1676.22/1676.82	c 1676s |      26 | 13565334 | 10275752 |     3140   7632 |        0 |        0
1678.22/1678.82	c 1678s |      26 | 13579931 | 10286852 |     3140   7639 |        0 |        0
1680.23/1680.83	c 1680s |      26 | 13593243 | 10296952 |     3140   7645 |        0 |        0
1682.22/1682.86	c 1682s |      26 | 13607776 | 10307652 |     3140   7652 |        0 |        0
1684.22/1684.88	c 1684s |      26 | 13622762 | 10318952 |     3140   7658 |        0 |        0
1686.23/1686.88	c 1686s |      26 | 13637195 | 10330052 |     3140   7665 |        0 |        0
1688.23/1688.88	c 1688s |      26 | 13651591 | 10340852 |     3140   7671 |        0 |        0
1690.23/1690.90	c 1690s |      26 | 13664999 | 10351352 |     3140   7678 |        0 |        0
1692.33/1692.91	c 1692s |      26 | 13678833 | 10362252 |     3140   7684 |        0 |        0
1694.32/1694.91	c 1694s |      26 | 13693895 | 10373652 |     3140   7691 |        0 |        0
1696.32/1696.94	c 1696s |      26 | 13707934 | 10384352 |     3140   7697 |        0 |        0
1698.32/1698.94	c 1698s |      26 | 13723115 | 10395452 |     3140   7704 |        0 |        0
1700.32/1700.95	c 1700s |      26 | 13736526 | 10405452 |     3140   7710 |        0 |        0
1702.33/1702.97	c 1702s |      26 | 13751072 | 10416152 |     3140   7717 |        0 |        0
1704.32/1704.98	c 1704s |      26 | 13765015 | 10426452 |     3140   7723 |        0 |        0
1706.32/1706.98	c 1706s |      26 | 13781312 | 10438652 |     3140   7730 |        0 |        0
1708.32/1708.98	c 1708s |      26 | 13795263 | 10449752 |     3140   7737 |        0 |        0
1710.32/1710.99	c 1710s |      26 | 13809471 | 10461052 |     3140   7743 |        0 |        0
1712.42/1713.00	c 1712s |      26 | 13824648 | 10472452 |     3140   7750 |        0 |        0
1714.43/1715.01	c 1714s |      26 | 13839121 | 10483852 |     3140   7757 |        0 |        0
1716.42/1717.01	c 1716s |      26 | 13853820 | 10495152 |     3140   7764 |        0 |        0
1718.42/1719.01	c 1718s |      26 | 13870118 | 10507052 |     3140   7771 |        0 |        0
1720.42/1721.03	c 1721s |      26 | 13887490 | 10519252 |     3140   7778 |        0 |        0
1722.42/1723.03	c 1723s |      26 | 13903861 | 10531052 |     3140   7785 |        0 |        0
1724.41/1725.04	c 1725s |      26 | 13920668 | 10542752 |     3140   7793 |        0 |        0
1726.42/1727.04	c 1727s |      26 | 13936091 | 10554052 |     3140   7799 |        0 |        0
1728.41/1729.05	c 1729s |      26 | 13952594 | 10565952 |     3140   7806 |        0 |        0
1730.41/1731.05	c 1731s |      26 | 13966577 | 10576852 |     3140   7813 |        0 |        0
1732.41/1733.06	c 1733s |      26 | 13982196 | 10588452 |     3140   7820 |        0 |        0
1734.41/1735.08	c 1735s |      26 | 13996967 | 10599552 |     3140   7826 |        0 |        0
1736.42/1737.09	c 1737s |      26 | 14011130 | 10610652 |     3140   7833 |        0 |        0
1738.52/1739.11	c 1739s |      26 | 14024748 | 10621252 |     3140   7839 |        0 |        0
1740.51/1741.12	c 1741s |      26 | 14038931 | 10631952 |     3140   7846 |        0 |        0
1742.51/1743.14	c 1743s |      26 | 14054105 | 10643552 |     3140   7853 |        0 |        0
1744.51/1745.15	c 1745s |      26 | 14068553 | 10654252 |     3140   7859 |        0 |        0
1746.51/1747.16	c 1747s |      26 | 14083920 | 10665752 |     3140   7866 |        0 |        0
1748.52/1749.17	c 1749s |      26 | 14097732 | 10676352 |     3140   7872 |        0 |        0
1750.51/1751.18	c 1751s |      26 | 14112037 | 10687352 |     3140   7879 |        0 |        0
1752.51/1753.19	c 1753s |      26 | 14125702 | 10698052 |     3140   7885 |        0 |        0
1754.61/1755.22	c 1755s |      26 | 14139708 | 10708952 |     3140   7892 |        0 |        0
1756.62/1757.22	c 1757s |      26 | 14153813 | 10719552 |     3140   7898 |        0 |        0
1758.62/1759.23	c 1759s |      26 | 14168494 | 10730652 |     3140   7904 |        0 |        0
1760.62/1761.24	c 1761s |      26 | 14184606 | 10742452 |     3140   7911 |        0 |        0
1762.62/1763.26	c 1763s |      26 | 14198633 | 10753152 |     3140   7918 |        0 |        0
1764.62/1765.27	c 1765s |      26 | 14213497 | 10764252 |     3140   7924 |        0 |        0
1766.62/1767.27	c 1767s |      26 | 14226969 | 10774752 |     3140   7931 |        0 |        0
1768.61/1769.28	c 1769s |      26 | 14241472 | 10785552 |     3140   7937 |        0 |        0
1770.61/1771.28	c 1771s |      26 | 14256954 | 10797152 |     3140   7944 |        0 |        0
1772.72/1773.30	c 1773s |      26 | 14272719 | 10809052 |     3140   7951 |        0 |        0
1774.71/1775.31	c 1775s |      26 | 14285794 | 10819352 |     3140   7957 |        0 |        0
1776.71/1777.32	c 1777s |      26 | 14300156 | 10830052 |     3140   7963 |        0 |        0
1778.71/1779.32	c 1779s |      26 | 14316497 | 10841952 |     3140   7971 |        0 |        0
1780.71/1781.33	c 1781s |      26 | 14332087 | 10853852 |     3140   7978 |        0 |        0
1782.71/1783.35	c 1783s |      26 | 14346201 | 10864852 |     3140   7984 |        0 |        0
1784.71/1785.36	c 1785s |      26 | 14360391 | 10875752 |     3140   7991 |        0 |        0
1786.71/1787.36	c 1787s |      26 | 14374099 | 10886652 |     3140   7997 |        0 |        0
1788.71/1789.38	c 1789s |      26 | 14389070 | 10897752 |     3140   8004 |        0 |        0
1790.71/1791.38	c 1791s |      26 | 14403097 | 10908552 |     3140   8010 |        0 |        0
1792.81/1793.40	c 1793s |      26 | 14417216 | 10919252 |     3140   8016 |        0 |        0
1794.81/1795.41	c 1795s |      26 | 14433157 | 10930952 |     3140   8023 |        0 |        0
1796.81/1797.41	c 1797s |      26 | 14450172 | 10943752 |     3140   8031 |        0 |        0
1798.80/1799.43	c 1799s |      26 | 14465142 | 10954952 |     3140   8038 |        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-4120210-1467310550/watcher-4120210-1467310550 -o /tmp/evaluation-result-4120210-1467310550/solver-4120210-1467310550 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467308742-11511 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120210-1467310550.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.08 2.11 2.05 3/179 11954
/proc/meminfo: memFree=29365000/32872528 swapFree=1102192/1183952
[pid=11954] ppid=11951 vsize=370108 CPUtime=0 cores=0,2,4,6
/proc/11954/stat : 11954 (toysat) R 11951 11954 11495 0 -1 4202496 1321 0 0 0 0 0 0 0 20 0 4 0 10084222 378990592 1172 33554432000 4194304 16246674 140734229472080 140734229471504 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11954/statm: 93039 1177 441 2943 0 89933 0
[pid=11954/tid=11955] ppid=11951 vsize=385468 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11955/stat : 11955 (toysat) S 11951 11954 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10084222 394719232 1232 33554432000 4194304 16246674 140734229472080 140195415436528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11954/tid=11956] ppid=11951 vsize=389564 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11956/stat : 11956 (toysat) S 11951 11954 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10084222 398913536 1248 33554432000 4194304 16246674 140734229472080 140195404946672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11954/tid=11957] ppid=11951 vsize=393660 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11957/stat : 11957 (toysat) S 11951 11954 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10084222 403107840 1264 33554432000 4194304 16246674 140734229472080 140195394473136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100125 s]
/proc/loadavg: 2.08 2.11 2.05 3/179 11954
/proc/meminfo: memFree=29365000/32872528 swapFree=1102192/1183952
[pid=11954] ppid=11951 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/11954/stat : 11954 (toysat) R 11951 11954 11495 0 -1 4202496 22393 0 0 0 5 3 0 0 20 0 4 0 10084222 1247350784 22232 33554432000 4194304 16246674 140734229472080 140734229471504 5677277 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11954/statm: 304529 22241 708 2943 0 301423 0
[pid=11954/tid=11955] ppid=11951 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11955/stat : 11955 (toysat) S 11951 11954 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10084222 1247350784 22247 33554432000 4194304 16246674 140734229472080 140195415436528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11954/tid=11956] ppid=11951 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11956/stat : 11956 (toysat) S 11951 11954 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10084222 1247350784 22255 33554432000 4194304 16246674 140734229472080 140195404946672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11954/tid=11957] ppid=11951 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11957/stat : 11957 (toysat) S 11951 11954 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10084222 1247350784 22261 33554432000 4194304 16246674 140734229472080 140195394473136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200425 s]
/proc/loadavg: 2.08 2.11 2.05 3/179 11954
/proc/meminfo: memFree=29365000/32872528 swapFree=1102192/1183952
[pid=11954] ppid=11951 vsize=1218116 CPUtime=0.18 cores=0,2,4,6
/proc/11954/stat : 11954 (toysat) R 11951 11954 11495 0 -1 4202496 43910 0 0 0 12 6 0 0 20 0 4 0 10084222 1247350784 43750 33554432000 4194304 16246674 140734229472080 140734229471504 12460395 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11954/statm: 304529 43761 708 2943 0 301423 0
[pid=11954/tid=11955] ppid=11951 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11955/stat : 11955 (toysat) S 11951 11954 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10084222 1247350784 43770 33554432000 4194304 16246674 140734229472080 140195415436528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11954/tid=11956] ppid=11951 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11956/stat : 11956 (toysat) S 11951 11954 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10084222 1247350784 43775 33554432000 4194304 16246674 140734229472080 140195404946672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11954/tid=11957] ppid=11951 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11957/stat : 11957 (toysat) S 11951 11954 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10084222 1247350784 43780 33554432000 4194304 16246674 140734229472080 140195394473136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300416 s]
/proc/loadavg: 2.08 2.11 2.05 3/179 11954
/proc/meminfo: memFree=29365000/32872528 swapFree=1102192/1183952
[pid=11954] ppid=11951 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/11954/stat : 11954 (toysat) R 11951 11954 11495 0 -1 4202496 66010 0 0 0 18 10 0 0 20 0 4 0 10084222 1247350784 65849 33554432000 4194304 16246674 140734229472080 140734229471504 5675357 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11954/statm: 304529 65862 708 2943 0 301423 0
[pid=11954/tid=11955] ppid=11951 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11955/stat : 11955 (toysat) S 11951 11954 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10084222 1247350784 65869 33554432000 4194304 16246674 140734229472080 140195415436528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11954/tid=11956] ppid=11951 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11956/stat : 11956 (toysat) S 11951 11954 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10084222 1247350784 65875 33554432000 4194304 16246674 140734229472080 140195404946672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11954/tid=11957] ppid=11951 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11957/stat : 11957 (toysat) S 11951 11954 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10084222 1247350784 65880 33554432000 4194304 16246674 140734229472080 140195394473136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700351 s]
/proc/loadavg: 2.08 2.11 2.05 3/179 11954
/proc/meminfo: memFree=29365000/32872528 swapFree=1102192/1183952
[pid=11954] ppid=11951 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/11954/stat : 11954 (toysat) R 11951 11954 11495 0 -1 4202496 152220 0 0 0 45 24 0 0 20 0 4 0 10084222 1247350784 152059 33554432000 4194304 16246674 140734229472080 140734229455080 5677277 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11954/statm: 304529 152062 708 2943 0 301423 0
[pid=11954/tid=11955] ppid=11951 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11955/stat : 11955 (toysat) S 11951 11954 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10084222 1247350784 152065 33554432000 4194304 16246674 140734229472080 140195415436528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11954/tid=11956] ppid=11951 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11956/stat : 11956 (toysat) S 11951 11954 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10084222 1247350784 152072 33554432000 4194304 16246674 140734229472080 140195404946672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11954/tid=11957] ppid=11951 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11957/stat : 11957 (toysat) S 11951 11954 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10084222 1247350784 152078 33554432000 4194304 16246674 140734229472080 140195394473136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50037 s]
/proc/loadavg: 2.08 2.11 2.05 3/183 11958
/proc/meminfo: memFree=28409836/32872528 swapFree=1102192/1183952
[pid=11954] ppid=11951 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/11954/stat : 11954 (toysat) R 11951 11954 11495 0 -1 4202496 245643 0 0 0 110 39 0 0 20 0 4 0 10084222 1248399360 245462 33554432000 4194304 16246674 140734229472080 140734229455080 5824144 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11954/statm: 304785 245462 783 2943 0 301679 0
[pid=11954/tid=11955] ppid=11951 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11955/stat : 11955 (toysat) S 11951 11954 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10084222 1248399360 245462 33554432000 4194304 16246674 140734229472080 140195415436528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11954/tid=11956] ppid=11951 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11956/stat : 11956 (toysat) S 11951 11954 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10084222 1248399360 245462 33554432000 4194304 16246674 140734229472080 140195404946672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11954/tid=11957] ppid=11951 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11957/stat : 11957 (toysat) S 11951 11954 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10084222 1248399360 245462 33554432000 4194304 16246674 140734229472080 140195394473136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10037 s]
/proc/loadavg: 2.08 2.11 2.05 3/183 11958
/proc/meminfo: memFree=28297972/32872528 swapFree=1102192/1183952
[pid=11954] ppid=11951 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/11954/stat : 11954 (toysat) R 11951 11954 11495 0 -1 4202496 267455 0 0 0 267 42 0 0 20 0 4 0 10084222 1337528320 267274 33554432000 4194304 16246674 140734229472080 140734229455080 5822604 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11954/statm: 326545 267274 783 2943 0 323439 0
[pid=11954/tid=11955] ppid=11951 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11955/stat : 11955 (toysat) S 11951 11954 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10084222 1337528320 267274 33554432000 4194304 16246674 140734229472080 140195415436528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11954/tid=11956] ppid=11951 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11956/stat : 11956 (toysat) S 11951 11954 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10084222 1337528320 267274 33554432000 4194304 16246674 140734229472080 140195404946672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11954/tid=11957] ppid=11951 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11957/stat : 11957 (toysat) S 11951 11954 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10084222 1337528320 267274 33554432000 4194304 16246674 140734229472080 140195394473136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30037 s]
/proc/loadavg: 2.08 2.11 2.05 3/183 11958
/proc/meminfo: memFree=28296132/32872528 swapFree=1102192/1183952
[pid=11954] ppid=11951 vsize=1307204 CPUtime=6.28 cores=0,2,4,6
/proc/11954/stat : 11954 (toysat) R 11951 11954 11495 0 -1 4202496 267653 0 0 0 586 42 0 0 20 0 4 0 10084222 1338576896 267472 33554432000 4194304 16246674 140734229472080 140734229455080 5829888 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11954/statm: 326801 267472 784 2943 0 323695 0
[pid=11954/tid=11955] ppid=11951 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11955/stat : 11955 (toysat) S 11951 11954 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10084222 1338576896 267472 33554432000 4194304 16246674 140734229472080 140195415436528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11954/tid=11956] ppid=11951 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11956/stat : 11956 (toysat) S 11951 11954 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10084222 1338576896 267472 33554432000 4194304 16246674 140734229472080 140195404946672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11954/tid=11957] ppid=11951 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11957/stat : 11957 (toysat) S 11951 11954 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10084222 1338576896 267472 33554432000 4194304 16246674 140734229472080 140195394473136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.07 2.11 2.04 3/183 11958
/proc/meminfo: memFree=28295932/32872528 swapFree=1102192/1183952
[pid=11954] ppid=11951 vsize=1307204 CPUtime=12.68 cores=0,2,4,6
/proc/11954/stat : 11954 (toysat) R 11951 11954 11495 0 -1 4202496 267730 0 0 0 1226 42 0 0 20 0 4 0 10084222 1338576896 267549 33554432000 4194304 16246674 140734229472080 140734229455080 5822604 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11954/statm: 326801 267549 787 2943 0 323695 0
[pid=11954/tid=11955] ppid=11951 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11955/stat : 11955 (toysat) S 11951 11954 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10084222 1338576896 267549 33554432000 4194304 16246674 140734229472080 140195415436528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11954/tid=11956] ppid=11951 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11956/stat : 11956 (toysat) S 11951 11954 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10084222 1338576896 267549 33554432000 4194304 16246674 140734229472080 140195404946672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11954/tid=11957] ppid=11951 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11957/stat : 11957 (toysat) S 11951 11954 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10084222 1338576896 267549 33554432000 4194304 16246674 140734229472080 140195394473136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.06 2.10 2.04 3/183 11958
/proc/meminfo: memFree=28295636/32872528 swapFree=1102192/1183952
[pid=11954] ppid=11951 vsize=1308228 CPUtime=25.48 cores=0,2,4,6
/proc/11954/stat : 11954 (toysat) R 11951 11954 11495 0 -1 4202496 268021 0 0 0 2505 43 0 0 20 0 4 0 10084222 1339625472 267840 33554432000 4194304 16246674 140734229472080 140734229455080 5512893 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11954/statm: 327057 267840 787 2943 0 323951 0
[pid=11954/tid=11955] ppid=11951 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11955/stat : 11955 (toysat) S 11951 11954 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10084222 1339625472 267840 33554432000 4194304 16246674 140734229472080 140195415436528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11954/tid=11956] ppid=11951 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11956/stat : 11956 (toysat) S 11951 11954 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10084222 1339625472 267840 33554432000 4194304 16246674 140734229472080 140195404946672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11954/tid=11957] ppid=11951 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11957/stat : 11957 (toysat) S 11951 11954 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10084222 1339625472 267840 33554432000 4194304 16246674 140734229472080 140195394473136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1308228

[startup+51.1005 s]
/proc/loadavg: 2.12 2.11 2.05 3/183 11958
/proc/meminfo: memFree=28295020/32872528 swapFree=1102192/1183952
[pid=11954] ppid=11951 vsize=1309252 CPUtime=51.08 cores=0,2,4,6
/proc/11954/stat : 11954 (toysat) R 11951 11954 11495 0 -1 4202496 268171 0 0 0 5065 43 0 0 20 0 4 0 10084222 1340674048 267990 33554432000 4194304 16246674 140734229472080 140734229455080 6022640 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11954/statm: 327313 267990 787 2943 0 324207 0
[pid=11954/tid=11955] ppid=11951 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11955/stat : 11955 (toysat) S 11951 11954 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10084222 1340674048 267990 33554432000 4194304 16246674 140734229472080 140195415436528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11954/tid=11956] ppid=11951 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11956/stat : 11956 (toysat) S 11951 11954 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10084222 1340674048 267990 33554432000 4194304 16246674 140734229472080 140195404946672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11954/tid=11957] ppid=11951 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11957/stat : 11957 (toysat) S 11951 11954 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10084222 1340674048 267990 33554432000 4194304 16246674 140734229472080 140195394473136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1309252

[startup+102.3 s]
/proc/loadavg: 2.05 2.09 2.04 3/183 11959
/proc/meminfo: memFree=28293412/32872528 swapFree=1102192/1183952
[pid=11954] ppid=11951 vsize=1310276 CPUtime=102.27 cores=0,2,4,6
/proc/11954/stat : 11954 (toysat) R 11951 11954 11495 0 -1 4202496 268597 0 0 0 10183 44 0 0 20 0 4 0 10084222 1341722624 268416 33554432000 4194304 16246674 140734229472080 140734229455080 5677584 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11954/statm: 327569 268416 788 2943 0 324463 0
[pid=11954/tid=11955] ppid=11951 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11955/stat : 11955 (toysat) S 11951 11954 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10084222 1341722624 268416 33554432000 4194304 16246674 140734229472080 140195415436528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11954/tid=11956] ppid=11951 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11956/stat : 11956 (toysat) S 11951 11954 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10084222 1341722624 268416 33554432000 4194304 16246674 140734229472080 140195404946672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11954/tid=11957] ppid=11951 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11957/stat : 11957 (toysat) S 11951 11954 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10084222 1341722624 268416 33554432000 4194304 16246674 140734229472080 140195394473136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1310276


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

/proc/11954/task/11957/stat : 11957 (toysat) S 11951 11954 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10084222 1348014080 270209 33554432000 4194304 16246674 140734229472080 140195394473136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 1316420

[startup+1302.3 s]
/proc/loadavg: 2.22 2.19 2.11 4/183 12379
/proc/meminfo: memFree=28278080/32872528 swapFree=1102192/1183952
[pid=11954] ppid=11951 vsize=1316420 CPUtime=1301.79 cores=0,2,4,6
/proc/11954/stat : 11954 (toysat) R 11951 11954 11495 0 -1 4202496 270577 0 0 0 130117 62 0 0 20 0 4 0 10084222 1348014080 270209 33554432000 4194304 16246674 140734229472080 140734229453952 13928594 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11954/statm: 329105 270209 789 2943 0 325999 0
[pid=11954/tid=11955] ppid=11951 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11955/stat : 11955 (toysat) S 11951 11954 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10084222 1348014080 270209 33554432000 4194304 16246674 140734229472080 140195415436528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11954/tid=11956] ppid=11951 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11956/stat : 11956 (toysat) S 11951 11954 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10084222 1348014080 270209 33554432000 4194304 16246674 140734229472080 140195404946672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11954/tid=11957] ppid=11951 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11957/stat : 11957 (toysat) S 11951 11954 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10084222 1348014080 270209 33554432000 4194304 16246674 140734229472080 140195394473136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 1316420

[startup+1362.3 s]
/proc/loadavg: 2.12 2.17 2.10 4/183 12380
/proc/meminfo: memFree=28277864/32872528 swapFree=1102192/1183952
[pid=11954] ppid=11951 vsize=1316420 CPUtime=1361.78 cores=0,2,4,6
/proc/11954/stat : 11954 (toysat) R 11951 11954 11495 0 -1 4202496 270577 0 0 0 136115 63 0 0 20 0 4 0 10084222 1348014080 270209 33554432000 4194304 16246674 140734229472080 140734229455080 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11954/statm: 329105 270209 789 2943 0 325999 0
[pid=11954/tid=11955] ppid=11951 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11955/stat : 11955 (toysat) S 11951 11954 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10084222 1348014080 270209 33554432000 4194304 16246674 140734229472080 140195415436528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11954/tid=11956] ppid=11951 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11956/stat : 11956 (toysat) S 11951 11954 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10084222 1348014080 270209 33554432000 4194304 16246674 140734229472080 140195404946672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11954/tid=11957] ppid=11951 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11957/stat : 11957 (toysat) S 11951 11954 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10084222 1348014080 270209 33554432000 4194304 16246674 140734229472080 140195394473136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 1316420

[startup+1422.3 s]
/proc/loadavg: 2.20 2.18 2.11 4/183 12381
/proc/meminfo: memFree=28277868/32872528 swapFree=1102192/1183952
[pid=11954] ppid=11951 vsize=1316420 CPUtime=1421.78 cores=0,2,4,6
/proc/11954/stat : 11954 (toysat) R 11951 11954 11495 0 -1 4202496 270577 0 0 0 142114 64 0 0 20 0 4 0 10084222 1348014080 270209 33554432000 4194304 16246674 140734229472080 140734229455080 5823258 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11954/statm: 329105 270209 789 2943 0 325999 0
[pid=11954/tid=11955] ppid=11951 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11955/stat : 11955 (toysat) S 11951 11954 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10084222 1348014080 270209 33554432000 4194304 16246674 140734229472080 140195415436528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11954/tid=11956] ppid=11951 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11956/stat : 11956 (toysat) S 11951 11954 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10084222 1348014080 270209 33554432000 4194304 16246674 140734229472080 140195404946672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11954/tid=11957] ppid=11951 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11957/stat : 11957 (toysat) S 11951 11954 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10084222 1348014080 270209 33554432000 4194304 16246674 140734229472080 140195394473136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 1316420

[startup+1482.3 s]
/proc/loadavg: 2.17 2.18 2.11 4/184 12385
/proc/meminfo: memFree=28277932/32872528 swapFree=1102192/1183952
[pid=11954] ppid=11951 vsize=1316420 CPUtime=1481.76 cores=0,2,4,6
/proc/11954/stat : 11954 (toysat) R 11951 11954 11495 0 -1 4202496 270577 0 0 0 148111 65 0 0 20 0 4 0 10084222 1348014080 270209 33554432000 4194304 16246674 140734229472080 140734229455072 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11954/statm: 329105 270209 789 2943 0 325999 0
[pid=11954/tid=11955] ppid=11951 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11955/stat : 11955 (toysat) S 11951 11954 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10084222 1348014080 270209 33554432000 4194304 16246674 140734229472080 140195415436528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11954/tid=11956] ppid=11951 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11956/stat : 11956 (toysat) S 11951 11954 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10084222 1348014080 270209 33554432000 4194304 16246674 140734229472080 140195404946672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11954/tid=11957] ppid=11951 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11957/stat : 11957 (toysat) S 11951 11954 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10084222 1348014080 270209 33554432000 4194304 16246674 140734229472080 140195394473136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 1316420

[startup+1542.31 s]
/proc/loadavg: 2.27 2.20 2.12 4/183 12387
/proc/meminfo: memFree=28277608/32872528 swapFree=1102192/1183952
[pid=11954] ppid=11951 vsize=1316420 CPUtime=1541.75 cores=0,2,4,6
/proc/11954/stat : 11954 (toysat) R 11951 11954 11495 0 -1 4202496 270577 0 0 0 154110 65 0 0 20 0 4 0 10084222 1348014080 270209 33554432000 4194304 16246674 140734229472080 140734229455072 6026603 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11954/statm: 329105 270209 789 2943 0 325999 0
[pid=11954/tid=11955] ppid=11951 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11955/stat : 11955 (toysat) S 11951 11954 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10084222 1348014080 270209 33554432000 4194304 16246674 140734229472080 140195415436528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11954/tid=11956] ppid=11951 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11956/stat : 11956 (toysat) S 11951 11954 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10084222 1348014080 270209 33554432000 4194304 16246674 140734229472080 140195404946672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11954/tid=11957] ppid=11951 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11957/stat : 11957 (toysat) S 11951 11954 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10084222 1348014080 270209 33554432000 4194304 16246674 140734229472080 140195394473136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 1316420

[startup+1602.3 s]
/proc/loadavg: 2.30 2.22 2.13 4/183 12388
/proc/meminfo: memFree=28277620/32872528 swapFree=1102192/1183952
[pid=11954] ppid=11951 vsize=1316420 CPUtime=1601.74 cores=0,2,4,6
/proc/11954/stat : 11954 (toysat) R 11951 11954 11495 0 -1 4202496 270577 0 0 0 160108 66 0 0 20 0 4 0 10084222 1348014080 270209 33554432000 4194304 16246674 140734229472080 140734229453952 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11954/statm: 329105 270209 789 2943 0 325999 0
[pid=11954/tid=11955] ppid=11951 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11955/stat : 11955 (toysat) S 11951 11954 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10084222 1348014080 270209 33554432000 4194304 16246674 140734229472080 140195415436528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11954/tid=11956] ppid=11951 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11956/stat : 11956 (toysat) S 11951 11954 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10084222 1348014080 270209 33554432000 4194304 16246674 140734229472080 140195404946672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11954/tid=11957] ppid=11951 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11957/stat : 11957 (toysat) S 11951 11954 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10084222 1348014080 270209 33554432000 4194304 16246674 140734229472080 140195394473136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 1316420

[startup+1662.3 s]
/proc/loadavg: 2.17 2.20 2.12 4/183 12389
/proc/meminfo: memFree=28275876/32872528 swapFree=1102192/1183952
[pid=11954] ppid=11951 vsize=1317444 CPUtime=1661.72 cores=0,2,4,6
/proc/11954/stat : 11954 (toysat) R 11951 11954 11495 0 -1 4202496 270833 0 0 0 166106 66 0 0 20 0 4 0 10084222 1349062656 270465 33554432000 4194304 16246674 140734229472080 140734229455080 5822492 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11954/statm: 329361 270465 789 2943 0 326255 0
[pid=11954/tid=11955] ppid=11951 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11955/stat : 11955 (toysat) S 11951 11954 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10084222 1349062656 270465 33554432000 4194304 16246674 140734229472080 140195415436528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11954/tid=11956] ppid=11951 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11956/stat : 11956 (toysat) S 11951 11954 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10084222 1349062656 270465 33554432000 4194304 16246674 140734229472080 140195404946672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11954/tid=11957] ppid=11951 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11957/stat : 11957 (toysat) S 11951 11954 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10084222 1349062656 270465 33554432000 4194304 16246674 140734229472080 140195394473136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 1317444

[startup+1722.3 s]
/proc/loadavg: 2.21 2.20 2.12 4/183 12390
/proc/meminfo: memFree=28276644/32872528 swapFree=1102192/1183952
[pid=11954] ppid=11951 vsize=1317444 CPUtime=1721.72 cores=0,2,4,6
/proc/11954/stat : 11954 (toysat) R 11951 11954 11495 0 -1 4202496 270833 0 0 0 172105 67 0 0 20 0 4 0 10084222 1349062656 270465 33554432000 4194304 16246674 140734229472080 140734229455080 6843493 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11954/statm: 329361 270465 789 2943 0 326255 0
[pid=11954/tid=11955] ppid=11951 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11955/stat : 11955 (toysat) S 11951 11954 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10084222 1349062656 270465 33554432000 4194304 16246674 140734229472080 140195415436528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11954/tid=11956] ppid=11951 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11956/stat : 11956 (toysat) S 11951 11954 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10084222 1349062656 270465 33554432000 4194304 16246674 140734229472080 140195404946672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11954/tid=11957] ppid=11951 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11957/stat : 11957 (toysat) S 11951 11954 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10084222 1349062656 270465 33554432000 4194304 16246674 140734229472080 140195394473136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 1317444

[startup+1782.3 s]
/proc/loadavg: 2.25 2.21 2.13 4/183 12391
/proc/meminfo: memFree=28276540/32872528 swapFree=1102192/1183952
[pid=11954] ppid=11951 vsize=1317444 CPUtime=1781.71 cores=0,2,4,6
/proc/11954/stat : 11954 (toysat) R 11951 11954 11495 0 -1 4202496 270833 0 0 0 178103 68 0 0 20 0 4 0 10084222 1349062656 270465 33554432000 4194304 16246674 140734229472080 140734229455080 5827728 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11954/statm: 329361 270465 789 2943 0 326255 0
[pid=11954/tid=11955] ppid=11951 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11955/stat : 11955 (toysat) S 11951 11954 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10084222 1349062656 270465 33554432000 4194304 16246674 140734229472080 140195415436528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11954/tid=11956] ppid=11951 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11956/stat : 11956 (toysat) S 11951 11954 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10084222 1349062656 270465 33554432000 4194304 16246674 140734229472080 140195404946672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11954/tid=11957] ppid=11951 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11957/stat : 11957 (toysat) S 11951 11954 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10084222 1349062656 270465 33554432000 4194304 16246674 140734229472080 140195394473136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 1317444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.25 2.21 2.13 3/183 12391
/proc/meminfo: memFree=28276544/32872528 swapFree=1102192/1183952
[pid=11954] ppid=11951 vsize=1317444 CPUtime=1800 cores=0,2,4,6
/proc/11954/stat : 11954 (toysat) R 11951 11954 11495 0 -1 4202496 270833 0 0 0 179932 68 0 0 20 0 4 0 10084222 1349062656 270465 33554432000 4194304 16246674 140734229472080 140734229455080 5828829 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11954/statm: 329361 270465 789 2943 0 326255 0
[pid=11954/tid=11955] ppid=11951 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11955/stat : 11955 (toysat) S 11951 11954 11495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10084222 1349062656 270465 33554432000 4194304 16246674 140734229472080 140195415436528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=11954/tid=11956] ppid=11951 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11956/stat : 11956 (toysat) S 11951 11954 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10084222 1349062656 270465 33554432000 4194304 16246674 140734229472080 140195404946672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=11954/tid=11957] ppid=11951 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/11954/task/11957/stat : 11957 (toysat) S 11951 11954 11495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10084222 1349062656 270465 33554432000 4194304 16246674 140734229472080 140195394473136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1317444

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 11954 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.02
CPU user time (s): 1799.33
CPU system time (s): 0.688895
CPU usage (%): 99.9673
Max. virtual memory (cumulated for all children) (KiB): 1317444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.33
system time used= 0.688895
maximum resident set size= 1081860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270833
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= 457
involuntary context switches= 2567

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3844 second user time and 16.4025 second system time

The end

Launcher Data 

Begin job on node115 at 2016-06-30 20:15:50
IDJOB=4120210
IDBENCH=109812
IDSOLVER=2542
FILE ID=node115/4120210-1467310550
RUNJOBID= node115-1467308742-11511
PBS_JOBID= 20005276
Free space on /tmp= 71648 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-97.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-4120210-1467310550/watcher-4120210-1467310550 -o /tmp/evaluation-result-4120210-1467310550/solver-4120210-1467310550 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467308742-11511 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120210-1467310550.opb

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

MD5SUM BENCH= ad11b933718533bc92da6cd3a33b07c3
RANDOM SEED=1008322678

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29366148 kB
Buffers:          153616 kB
Cached:           342248 kB
SwapCached:            0 kB
Active:          1363572 kB
Inactive:         216496 kB
Active(anon):    1080232 kB
Inactive(anon):     6556 kB
Active(file):     283340 kB
Inactive(file):   209940 kB
Unevictable:     1183952 kB
Mlocked:         1102192 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             33096 kB
Writeback:             0 kB
AnonPages:       2271732 kB
Mapped:            17176 kB
Shmem:               204 kB
Slab:             607964 kB
SReclaimable:      51508 kB
SUnreclaim:       556456 kB
KernelStack:        1520 kB
PageTables:         8336 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2404628 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     92160 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71632 MiB
End job on node115 at 2016-06-30 20:45:51