Trace number 4120498

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-fixed-bandwidth-93.cnf.gz-extracted.pb.metafix.opb
MD5SUM4baa07f1f2f042a370f379c3361f52d3
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.010997
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables373
Total number of constraints372
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)372
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:30:34+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-4120498-1467311434.opb"]
0.00/0.01	c use --random-gen="3430772940 3011223249 291897057 3011002409 3110506107 2213510885 4107580807 100976508 3944447087 1779318679 2308158400 638486180 42556882 618467780 2362127541 928791988 1401348253 4147225643 2646970236 3937961876 430745850 1998382951 237762195 1276947692 142411113 1767803555 2506721205 2703328773 3442065392 1934804454 1719731563 1565838179 3484633909 2310304604 533613863 1836252397 2664761890 843040374 2061243272 609401730 3618059409 2705673798 4254538012 39341873 1869246657 1074040238 2320688641 16434003 3576471404 4258340894 3285071676 2063238119 2978240522 2600538820 4144416705 2320295547 2880172578 414130928 1061026822 2433564874 3677079686 1961940188 4073414440 3511441537 279944950 26119406 4074095870 3874785801 672797866 2834487626 2366293153 3022940193 4118338082 1152067039 921182785 1276091690 492275865 429670592 4143202228 3076372365 80321957 3965327623 1876904816 1410375424 2265312085 410248512 864020273 3095340199 3624560900 1959774768 3689663789 4283505221 2791598856 1674946595 1400287999 293200485 2058534392 3032324721 1389656073 1416137010 3410582437 2567321743 2193190056 858551299 1614558199 3206676337 2330491598 4096542061 2408903236 1485827070 1786492104 3846725006 797771187 841569979 3480227809 129014830 1342735741 3850553339 791000952 1610629163 454674311 2965833212 2418998243 3963017264 3115959367 418046133 74538830 3247106111 415681570 474879854 737720561 381165451 4223038615 1044582349 1431491245 4107377110 398641645 3807750169 3204509930 1918803648 2179109750 823912451 4174395543 4269973791 3281494936 4009435890 4285237331 1223728160 346717287 1457998127 2073812129 2114395594 1344931083 4142828455 1813258351 3623532970 1085691141 4146530006 2820067862 3090568317 4270766661 190294536 210096075 675548985 232875433 104603104 3105417805 533878536 595586770 1773446920 2574166957 3529689136 841834839 956961824 4129770759 2197194728 1730713591 2305281822 3772479245 1638232990 323200524 2206358165 3916665484 1968186009 3344775111 415136503 2608207401 630340428 4234198653 2524009155 4216768798 790502274 3609061468 2675566482 2224061910 607294508 3656754544 380490926 1031114336 1847141972 804488272 3348951686 2759640524 1712381160 2304917123 3843380346 312733466 1519571464 4066231904 208781533 3284251948 1926741611 104039431 1209763372 2466303986 633244913 449259857 1478680273 3364852545 2660352466 500394191 1591953815 2178095377 116139352 1277266918 3253583503 1392873928 3698083064 950271300 1408233345 1732187255 4072920690 1493282946 405145135 838081736 2253977326 2061701882 3938583727 2149163525 2906355308 2294590868 2386688012 3512925152 486206454 2497810442 919978155 1661117130 2511728092 157137257 1959818725 472785948 1176635675 1871370312 1992134178 4261836029 75361991 255 362436" option to reproduce the execution
0.00/0.01	c #vars 373
0.00/0.01	c #constraints 372
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 |      248      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      175 |      100 |      248      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      443 |      250 |      273      0 |        0 |        0
0.00/0.06	c  0.0s |       3 |      797 |      475 |      301      1 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1290 |      813 |      332      2 |        0 |        0
0.09/0.15	c  0.1s |       5 |     2188 |     1320 |      366      4 |        0 |        0
0.19/0.23	c  0.2s |       6 |     3179 |     2081 |      444      7 |        0 |        0
0.28/0.35	c  0.3s |       7 |     4779 |     3223 |      489     11 |        0 |        0
0.49/0.54	c  0.5s |       8 |     7354 |     4936 |      538     15 |        0 |        0
0.79/0.84	c  0.8s |       9 |    11309 |     7506 |      592     22 |        0 |        0
1.29/1.32	c  1.3s |      10 |    17454 |    11361 |      652     32 |        0 |        0
1.89/1.98	c  2.0s |      11 |    28502 |    17144 |      718     48 |        0 |        0
2.69/2.75	c  2.7s |      12 |    41222 |    25819 |      790     67 |        0 |        0
3.99/4.00	c  4.0s |      13 |    60023 |    38832 |      870     92 |        0 |        0
5.89/5.97	c  5.9s |      14 |    87076 |    58352 |      958    128 |        0 |        0
7.89/7.97	c  8.0s |      14 |   112505 |    76552 |      958    160 |        0 |        0
9.09/9.16	c  9.1s |      15 |   127940 |    87632 |     1054    178 |        0 |        0
11.09/11.17	c 11.2s |      15 |   152045 |   105932 |     1054    207 |        0 |        0
13.09/13.17	c 13.2s |      15 |   176082 |   123432 |     1054    235 |        0 |        0
13.98/14.01	c 14.0s |      16 |   187460 |   131552 |     1160    248 |        0 |        0
15.98/16.02	c 16.0s |      16 |   213472 |   150952 |     1160    277 |        0 |        0
17.98/18.03	c 18.0s |      16 |   239001 |   169752 |     1160    304 |        0 |        0
19.98/20.03	c 20.0s |      16 |   264980 |   188852 |     1160    332 |        0 |        0
20.89/20.99	c 21.0s |      17 |   276284 |   197432 |     1276    344 |        0 |        0
22.98/23.00	c 23.0s |      17 |   297775 |   213832 |     1276    366 |        0 |        0
24.98/25.00	c 25.0s |      17 |   320360 |   230732 |     1276    390 |        0 |        0
26.98/27.00	c 27.0s |      17 |   344565 |   248432 |     1276    414 |        0 |        0
28.98/29.01	c 29.0s |      17 |   367605 |   266032 |     1276    438 |        0 |        0
30.98/31.02	c 31.0s |      17 |   391924 |   284332 |     1276    462 |        0 |        0
32.38/32.48	c 32.5s |      18 |   407021 |   296252 |     1404    478 |        0 |        0
34.39/34.49	c 34.5s |      18 |   429930 |   313252 |     1404    499 |        0 |        0
36.39/36.49	c 36.5s |      18 |   450604 |   329352 |     1404    519 |        0 |        0
38.39/38.50	c 38.5s |      18 |   472562 |   346152 |     1404    539 |        0 |        0
40.48/40.50	c 40.5s |      18 |   494113 |   362552 |     1404    559 |        0 |        0
42.48/42.50	c 42.5s |      18 |   514824 |   378852 |     1404    579 |        0 |        0
44.48/44.51	c 44.5s |      18 |   537115 |   395552 |     1404    599 |        0 |        0
46.48/46.51	c 46.5s |      18 |   559091 |   411952 |     1404    620 |        0 |        0
48.49/48.52	c 48.5s |      18 |   582084 |   429452 |     1404    641 |        0 |        0
50.18/50.21	c 50.2s |      19 |   602758 |   444482 |     1545    659 |        0 |        0
52.18/52.23	c 52.2s |      19 |   625079 |   460382 |     1545    677 |        0 |        0
54.18/54.24	c 54.2s |      19 |   649405 |   477682 |     1545    697 |        0 |        0
56.18/56.24	c 56.2s |      19 |   673179 |   494882 |     1545    716 |        0 |        0
58.18/58.24	c 58.2s |      19 |   697231 |   512382 |     1545    736 |        0 |        0
60.18/60.27	c 60.2s |      19 |   720103 |   529282 |     1545    756 |        0 |        0
62.17/62.27	c 62.3s |      19 |   744800 |   546682 |     1545    775 |        0 |        0
64.17/64.28	c 64.3s |      19 |   768027 |   563082 |     1545    794 |        0 |        0
66.17/66.28	c 66.3s |      19 |   790953 |   579982 |     1545    813 |        0 |        0
68.18/68.29	c 68.3s |      19 |   812386 |   595882 |     1545    831 |        0 |        0
70.17/70.29	c 70.3s |      19 |   834713 |   611882 |     1545    850 |        0 |        0
72.28/72.30	c 72.3s |      19 |   859238 |   629182 |     1545    869 |        0 |        0
74.28/74.30	c 74.3s |      19 |   884277 |   646482 |     1545    889 |        0 |        0
76.28/76.31	c 76.3s |      19 |   906529 |   662682 |     1700    907 |        0 |        0
76.78/76.87	c 76.9s |      20 |   912220 |   666827 |     1700    912 |        0 |        0
78.78/78.88	c 78.9s |      20 |   934035 |   682727 |     1700    928 |        0 |        0
80.78/80.88	c 80.9s |      20 |   956423 |   699427 |     1700    946 |        0 |        0
82.78/82.89	c 82.9s |      20 |   977621 |   715627 |     1700    963 |        0 |        0
84.88/84.90	c 84.9s |      20 |   999734 |   732027 |     1700    980 |        0 |        0
86.77/86.90	c 86.9s |      20 |  1021552 |   748327 |     1700    997 |        0 |        0
88.87/88.91	c 88.9s |      20 |  1042849 |   764527 |     1700   1014 |        0 |        0
90.87/90.91	c 90.9s |      20 |  1065859 |   781727 |     1700   1033 |        0 |        0
92.87/92.92	c 92.9s |      20 |  1086396 |   797327 |     1700   1049 |        0 |        0
94.87/94.93	c 94.9s |      20 |  1107591 |   813727 |     1700   1066 |        0 |        0
96.88/96.93	c 96.9s |      20 |  1129366 |   830127 |     1700   1084 |        0 |        0
98.87/98.93	c 98.9s |      20 |  1149891 |   846127 |     1700   1100 |        0 |        0
100.87/100.93	c  100s |      20 |  1173239 |   862627 |     1700   1118 |        0 |        0
102.87/102.94	c  102s |      20 |  1194770 |   878827 |     1700   1135 |        0 |        0
104.87/104.94	c  104s |      20 |  1214070 |   893827 |     1700   1151 |        0 |        0
106.87/106.94	c  106s |      20 |  1235546 |   909727 |     1700   1167 |        0 |        0
108.87/108.94	c  108s |      20 |  1255510 |   925227 |     1700   1184 |        0 |        0
110.87/110.95	c  110s |      20 |  1276982 |   940927 |     1700   1200 |        0 |        0
112.88/112.96	c  112s |      20 |  1297436 |   956027 |     1700   1216 |        0 |        0
114.88/114.97	c  114s |      20 |  1318507 |   972527 |     1700   1233 |        0 |        0
116.88/116.98	c  116s |      20 |  1338244 |   987427 |     1700   1249 |        0 |        0
118.58/118.66	c  118s |      21 |  1355878 |  1000345 |     1871   1262 |        0 |        0
120.57/120.67	c  120s |      21 |  1378151 |  1016545 |     1871   1278 |        0 |        0
122.57/122.68	c  122s |      21 |  1399368 |  1031845 |     1871   1292 |        0 |        0
124.57/124.69	c  124s |      21 |  1420603 |  1047845 |     1871   1308 |        0 |        0
126.67/126.70	c  126s |      21 |  1442543 |  1064045 |     1871   1323 |        0 |        0
128.68/128.71	c  128s |      21 |  1462859 |  1079345 |     1871   1338 |        0 |        0
130.67/130.71	c  130s |      21 |  1482343 |  1093545 |     1871   1352 |        0 |        0
132.67/132.72	c  132s |      21 |  1503439 |  1109145 |     1871   1367 |        0 |        0
134.67/134.72	c  134s |      21 |  1524406 |  1125145 |     1871   1382 |        0 |        0
136.67/136.73	c  136s |      21 |  1544208 |  1139945 |     1871   1396 |        0 |        0
138.68/138.74	c  138s |      21 |  1563252 |  1154045 |     1871   1410 |        0 |        0
140.67/140.74	c  140s |      21 |  1583080 |  1168945 |     1871   1424 |        0 |        0
142.67/142.74	c  142s |      21 |  1601451 |  1183245 |     1871   1438 |        0 |        0
144.67/144.76	c  144s |      21 |  1620253 |  1197545 |     1871   1452 |        0 |        0
146.67/146.77	c  146s |      21 |  1639208 |  1211845 |     1871   1465 |        0 |        0
148.67/148.78	c  148s |      21 |  1659925 |  1227045 |     1871   1480 |        0 |        0
150.67/150.79	c  150s |      21 |  1678752 |  1241045 |     1871   1493 |        0 |        0
152.77/152.80	c  152s |      21 |  1700113 |  1256245 |     1871   1508 |        0 |        0
154.76/154.81	c  154s |      21 |  1720942 |  1272045 |     1871   1523 |        0 |        0
156.76/156.81	c  156s |      21 |  1739018 |  1286045 |     1871   1537 |        0 |        0
158.76/158.82	c  158s |      21 |  1757472 |  1300345 |     1871   1550 |        0 |        0
160.76/160.83	c  160s |      21 |  1776584 |  1314645 |     1871   1564 |        0 |        0
162.77/162.83	c  162s |      21 |  1797051 |  1330045 |     1871   1579 |        0 |        0
164.76/164.84	c  164s |      21 |  1818427 |  1345745 |     1871   1594 |        0 |        0
166.76/166.85	c  166s |      21 |  1838633 |  1360745 |     1871   1609 |        0 |        0
168.76/168.85	c  168s |      21 |  1858666 |  1375445 |     1871   1623 |        0 |        0
170.76/170.86	c  170s |      21 |  1880143 |  1391045 |     1871   1638 |        0 |        0
172.77/172.87	c  172s |      21 |  1902073 |  1407045 |     1871   1653 |        0 |        0
174.77/174.88	c  174s |      21 |  1920901 |  1421845 |     1871   1667 |        0 |        0
176.77/176.88	c  176s |      21 |  1941188 |  1437745 |     1871   1683 |        0 |        0
178.76/178.89	c  178s |      21 |  1961182 |  1452845 |     1871   1697 |        0 |        0
180.76/180.89	c  180s |      21 |  1982119 |  1468145 |     1871   1712 |        0 |        0
182.76/182.90	c  182s |      21 |  2003990 |  1483945 |     1871   1727 |        0 |        0
184.87/184.90	c  184s |      21 |  2024169 |  1498645 |     2059   1740 |        0 |        0
185.06/185.15	c  185s |      22 |  2026671 |  1500622 |     2059   1742 |        0 |        0
187.07/187.17	c  187s |      22 |  2047217 |  1515522 |     2059   1755 |        0 |        0
189.06/189.18	c  189s |      22 |  2069113 |  1531322 |     2059   1769 |        0 |        0
191.16/191.20	c  191s |      22 |  2088703 |  1545522 |     2059   1781 |        0 |        0
193.16/193.22	c  193s |      22 |  2106308 |  1558022 |     2059   1793 |        0 |        0
195.16/195.23	c  195s |      22 |  2127990 |  1574022 |     2059   1807 |        0 |        0
197.16/197.23	c  197s |      22 |  2148461 |  1589222 |     2059   1820 |        0 |        0
199.16/199.24	c  199s |      22 |  2166922 |  1603422 |     2059   1833 |        0 |        0
201.16/201.26	c  201s |      22 |  2186033 |  1617522 |     2059   1845 |        0 |        0
203.16/203.26	c  203s |      22 |  2206191 |  1632622 |     2059   1858 |        0 |        0
205.15/205.27	c  205s |      22 |  2224004 |  1646022 |     2059   1870 |        0 |        0
207.15/207.27	c  207s |      22 |  2244183 |  1661022 |     2059   1883 |        0 |        0
209.15/209.28	c  209s |      22 |  2262373 |  1674522 |     2059   1895 |        0 |        0
211.16/211.28	c  211s |      22 |  2282898 |  1689122 |     2059   1908 |        0 |        0
213.15/213.29	c  213s |      22 |  2302406 |  1704122 |     2059   1921 |        0 |        0
215.15/215.29	c  215s |      22 |  2323073 |  1719322 |     2059   1935 |        0 |        0
217.15/217.29	c  217s |      22 |  2342010 |  1733822 |     2059   1948 |        0 |        0
219.15/219.29	c  219s |      22 |  2360697 |  1748122 |     2059   1960 |        0 |        0
221.16/221.29	c  221s |      22 |  2379047 |  1762422 |     2059   1973 |        0 |        0
223.15/223.30	c  223s |      22 |  2397521 |  1776522 |     2059   1986 |        0 |        0
225.25/225.30	c  225s |      22 |  2415212 |  1790622 |     2059   1998 |        0 |        0
227.25/227.32	c  227s |      22 |  2435670 |  1805322 |     2059   2011 |        0 |        0
229.25/229.32	c  229s |      22 |  2455674 |  1820622 |     2059   2025 |        0 |        0
231.25/231.33	c  231s |      22 |  2475906 |  1835722 |     2059   2038 |        0 |        0
233.26/233.34	c  233s |      22 |  2495904 |  1850822 |     2059   2052 |        0 |        0
235.25/235.35	c  235s |      22 |  2517233 |  1866222 |     2059   2065 |        0 |        0
237.25/237.36	c  237s |      22 |  2538035 |  1881822 |     2059   2079 |        0 |        0
239.25/239.36	c  239s |      22 |  2557230 |  1896722 |     2059   2092 |        0 |        0
241.25/241.37	c  241s |      22 |  2575614 |  1911022 |     2059   2105 |        0 |        0
243.26/243.38	c  243s |      22 |  2596459 |  1926322 |     2059   2118 |        0 |        0
245.26/245.40	c  245s |      22 |  2616667 |  1941822 |     2059   2132 |        0 |        0
247.36/247.41	c  247s |      22 |  2636090 |  1957522 |     2059   2146 |        0 |        0
249.36/249.41	c  249s |      22 |  2656745 |  1972922 |     2059   2159 |        0 |        0
251.35/251.42	c  251s |      22 |  2672585 |  1985822 |     2059   2171 |        0 |        0
253.35/253.42	c  253s |      22 |  2690720 |  1999722 |     2059   2183 |        0 |        0
255.35/255.43	c  255s |      22 |  2709011 |  2013622 |     2059   2195 |        0 |        0
257.36/257.46	c  257s |      22 |  2728155 |  2028622 |     2059   2209 |        0 |        0
259.35/259.46	c  259s |      22 |  2747480 |  2043422 |     2059   2222 |        0 |        0
261.35/261.47	c  261s |      22 |  2766530 |  2057622 |     2059   2234 |        0 |        0
263.35/263.47	c  263s |      22 |  2787073 |  2072822 |     2059   2248 |        0 |        0
265.35/265.48	c  265s |      22 |  2805892 |  2087422 |     2059   2260 |        0 |        0
267.36/267.49	c  267s |      22 |  2823529 |  2101322 |     2059   2273 |        0 |        0
269.46/269.50	c  269s |      22 |  2841403 |  2114822 |     2059   2285 |        0 |        0
271.45/271.52	c  271s |      22 |  2860515 |  2129522 |     2059   2298 |        0 |        0
273.45/273.53	c  273s |      22 |  2880662 |  2144422 |     2059   2311 |        0 |        0
275.45/275.54	c  275s |      22 |  2901550 |  2159522 |     2059   2324 |        0 |        0
277.45/277.54	c  277s |      22 |  2919397 |  2173222 |     2059   2336 |        0 |        0
279.45/279.55	c  279s |      22 |  2936034 |  2186822 |     2059   2348 |        0 |        0
281.45/281.55	c  281s |      22 |  2955386 |  2201422 |     2059   2361 |        0 |        0
283.44/283.56	c  283s |      22 |  2975086 |  2216222 |     2059   2374 |        0 |        0
285.44/285.57	c  285s |      22 |  2995784 |  2231422 |     2059   2388 |        0 |        0
287.44/287.58	c  287s |      22 |  3013459 |  2245422 |     2265   2399 |        0 |        0
288.34/288.48	c  288s |      23 |  3020814 |  2251038 |     2265   2404 |        0 |        0
290.35/290.48	c  290s |      23 |  3037895 |  2264038 |     2265   2414 |        0 |        0
292.34/292.49	c  292s |      23 |  3056587 |  2278238 |     2265   2425 |        0 |        0
294.44/294.50	c  294s |      23 |  3076081 |  2293538 |     2265   2438 |        0 |        0
296.44/296.51	c  296s |      23 |  3094336 |  2307938 |     2265   2449 |        0 |        0
298.44/298.52	c  298s |      23 |  3113470 |  2322338 |     2265   2461 |        0 |        0
300.44/300.52	c  300s |      23 |  3129489 |  2334138 |     2265   2470 |        0 |        0
302.45/302.53	c  302s |      23 |  3148984 |  2348038 |     2265   2482 |        0 |        0
304.44/304.53	c  304s |      23 |  3168089 |  2362438 |     2265   2493 |        0 |        0
306.44/306.54	c  306s |      23 |  3187752 |  2377038 |     2265   2505 |        0 |        0
308.44/308.55	c  308s |      23 |  3206797 |  2391338 |     2265   2517 |        0 |        0
310.44/310.55	c  310s |      23 |  3225704 |  2405538 |     2265   2528 |        0 |        0
312.45/312.56	c  312s |      23 |  3243191 |  2419438 |     2265   2540 |        0 |        0
314.45/314.56	c  314s |      23 |  3262355 |  2433538 |     2265   2551 |        0 |        0
316.44/316.56	c  316s |      23 |  3282038 |  2447938 |     2265   2563 |        0 |        0
318.44/318.58	c  318s |      23 |  3300487 |  2462038 |     2265   2574 |        0 |        0
320.44/320.58	c  320s |      23 |  3319526 |  2476038 |     2265   2585 |        0 |        0
322.44/322.58	c  322s |      23 |  3337337 |  2489738 |     2265   2597 |        0 |        0
324.45/324.58	c  324s |      23 |  3356677 |  2504238 |     2265   2608 |        0 |        0
326.44/326.59	c  326s |      23 |  3377033 |  2519338 |     2265   2620 |        0 |        0
328.44/328.59	c  328s |      23 |  3393458 |  2532238 |     2265   2631 |        0 |        0
330.54/330.60	c  330s |      23 |  3410862 |  2545738 |     2265   2642 |        0 |        0
332.54/332.60	c  332s |      23 |  3430078 |  2559738 |     2265   2653 |        0 |        0
334.54/334.61	c  334s |      23 |  3448282 |  2574338 |     2265   2665 |        0 |        0
336.54/336.62	c  336s |      23 |  3466803 |  2588338 |     2265   2676 |        0 |        0
338.54/338.63	c  338s |      23 |  3488143 |  2604238 |     2265   2689 |        0 |        0
340.54/340.63	c  340s |      23 |  3509137 |  2619838 |     2265   2701 |        0 |        0
342.53/342.64	c  342s |      23 |  3529923 |  2634838 |     2265   2713 |        0 |        0
344.53/344.65	c  344s |      23 |  3549350 |  2649138 |     2265   2725 |        0 |        0
346.54/346.67	c  346s |      23 |  3568500 |  2663138 |     2265   2736 |        0 |        0
348.53/348.67	c  348s |      23 |  3584826 |  2675538 |     2265   2746 |        0 |        0
350.53/350.68	c  350s |      23 |  3602107 |  2688638 |     2265   2757 |        0 |        0
352.53/352.68	c  352s |      23 |  3620388 |  2702438 |     2265   2768 |        0 |        0
354.53/354.68	c  354s |      23 |  3638925 |  2716238 |     2265   2779 |        0 |        0
356.53/356.68	c  356s |      23 |  3658754 |  2730738 |     2265   2791 |        0 |        0
358.54/358.70	c  358s |      23 |  3676714 |  2744538 |     2265   2802 |        0 |        0
360.63/360.70	c  360s |      23 |  3695443 |  2758738 |     2265   2814 |        0 |        0
362.63/362.70	c  362s |      23 |  3713064 |  2771938 |     2265   2824 |        0 |        0
364.63/364.71	c  364s |      23 |  3733828 |  2786938 |     2265   2836 |        0 |        0
366.63/366.72	c  366s |      23 |  3756018 |  2802438 |     2265   2849 |        0 |        0
368.63/368.73	c  368s |      23 |  3776127 |  2817138 |     2265   2861 |        0 |        0
370.63/370.73	c  370s |      23 |  3797705 |  2832338 |     2265   2873 |        0 |        0
372.63/372.75	c  372s |      23 |  3818771 |  2847838 |     2265   2886 |        0 |        0
374.63/374.75	c  374s |      23 |  3839071 |  2862738 |     2265   2898 |        0 |        0
376.63/376.75	c  376s |      23 |  3857730 |  2876638 |     2265   2909 |        0 |        0
378.64/378.76	c  378s |      23 |  3878077 |  2891438 |     2265   2921 |        0 |        0
380.64/380.77	c  380s |      23 |  3897685 |  2905738 |     2265   2933 |        0 |        0
382.63/382.77	c  382s |      23 |  3917183 |  2919738 |     2265   2944 |        0 |        0
384.63/384.78	c  384s |      23 |  3935384 |  2933338 |     2265   2955 |        0 |        0
386.63/386.79	c  386s |      23 |  3955128 |  2947838 |     2265   2966 |        0 |        0
388.73/388.80	c  388s |      23 |  3974526 |  2962738 |     2265   2978 |        0 |        0
390.73/390.81	c  390s |      23 |  3993459 |  2977338 |     2265   2990 |        0 |        0
392.74/392.81	c  392s |      23 |  4012392 |  2991438 |     2265   3002 |        0 |        0
394.73/394.81	c  394s |      23 |  4031332 |  3005338 |     2265   3013 |        0 |        0
396.73/396.81	c  396s |      23 |  4051145 |  3019538 |     2265   3024 |        0 |        0
398.73/398.81	c  398s |      23 |  4070267 |  3033538 |     2265   3036 |        0 |        0
400.73/400.82	c  400s |      23 |  4088447 |  3047838 |     2265   3047 |        0 |        0
402.73/402.83	c  402s |      23 |  4107250 |  3062238 |     2265   3059 |        0 |        0
404.74/404.85	c  404s |      23 |  4125823 |  3076438 |     2265   3070 |        0 |        0
406.73/406.85	c  406s |      23 |  4144786 |  3090538 |     2265   3082 |        0 |        0
408.73/408.86	c  408s |      23 |  4165111 |  3105338 |     2265   3094 |        0 |        0
410.73/410.87	c  410s |      23 |  4183746 |  3119438 |     2265   3105 |        0 |        0
412.73/412.87	c  412s |      23 |  4201839 |  3133838 |     2265   3117 |        0 |        0
414.73/414.87	c  414s |      23 |  4222378 |  3148638 |     2265   3129 |        0 |        0
416.72/416.88	c  416s |      23 |  4241720 |  3162838 |     2265   3140 |        0 |        0
418.72/418.89	c  418s |      23 |  4261209 |  3177138 |     2265   3152 |        0 |        0
420.82/420.90	c  420s |      23 |  4279240 |  3190938 |     2265   3163 |        0 |        0
422.82/422.90	c  422s |      23 |  4296730 |  3204638 |     2265   3174 |        0 |        0
424.82/424.91	c  424s |      23 |  4315123 |  3219138 |     2265   3185 |        0 |        0
426.83/426.92	c  426s |      23 |  4335778 |  3233938 |     2265   3197 |        0 |        0
428.82/428.93	c  428s |      23 |  4355286 |  3248338 |     2265   3209 |        0 |        0
430.82/430.93	c  430s |      23 |  4375473 |  3263138 |     2265   3221 |        0 |        0
432.83/432.93	c  432s |      23 |  4395804 |  3277338 |     2265   3233 |        0 |        0
434.83/434.94	c  434s |      23 |  4415994 |  3292038 |     2265   3244 |        0 |        0
436.82/436.94	c  436s |      23 |  4435356 |  3306338 |     2265   3256 |        0 |        0
438.83/438.96	c  438s |      23 |  4454882 |  3321238 |     2265   3268 |        0 |        0
440.82/440.96	c  440s |      23 |  4473715 |  3335438 |     2265   3279 |        0 |        0
442.82/442.96	c  442s |      23 |  4492876 |  3349838 |     2265   3291 |        0 |        0
444.82/444.97	c  444s |      23 |  4513423 |  3364338 |     2492   3302 |        0 |        0
446.53/446.64	c  446s |      24 |  4530165 |  3376662 |     2492   3311 |        0 |        0
448.52/448.64	c  448s |      24 |  4545731 |  3388962 |     2492   3320 |        0 |        0
450.52/450.64	c  450s |      24 |  4563090 |  3402562 |     2492   3329 |        0 |        0
452.52/452.65	c  452s |      24 |  4579897 |  3416062 |     2492   3339 |        0 |        0
454.51/454.66	c  454s |      24 |  4596968 |  3429462 |     2492   3349 |        0 |        0
456.52/456.67	c  456s |      24 |  4614076 |  3442962 |     2492   3359 |        0 |        0
458.51/458.67	c  458s |      24 |  4631423 |  3456762 |     2492   3369 |        0 |        0
460.52/460.68	c  460s |      24 |  4649152 |  3470562 |     2492   3379 |        0 |        0
462.52/462.68	c  462s |      24 |  4667103 |  3484662 |     2492   3389 |        0 |        0
464.52/464.69	c  464s |      24 |  4685795 |  3499162 |     2492   3400 |        0 |        0
466.52/466.69	c  466s |      24 |  4704153 |  3513162 |     2492   3410 |        0 |        0
468.63/468.71	c  468s |      24 |  4722412 |  3527162 |     2492   3421 |        0 |        0
470.62/470.71	c  470s |      24 |  4741544 |  3541962 |     2492   3431 |        0 |        0
472.62/472.71	c  472s |      24 |  4758876 |  3555462 |     2492   3441 |        0 |        0
474.61/474.73	c  474s |      24 |  4777717 |  3569662 |     2492   3452 |        0 |        0
476.61/476.73	c  476s |      24 |  4796806 |  3583862 |     2492   3462 |        0 |        0
478.61/478.74	c  478s |      24 |  4815612 |  3597962 |     2492   3472 |        0 |        0
480.62/480.74	c  480s |      24 |  4833553 |  3611662 |     2492   3482 |        0 |        0
482.61/482.75	c  482s |      24 |  4851639 |  3625462 |     2492   3493 |        0 |        0
484.61/484.77	c  484s |      24 |  4866636 |  3637662 |     2492   3501 |        0 |        0
486.62/486.77	c  486s |      24 |  4883462 |  3651062 |     2492   3511 |        0 |        0
488.62/488.79	c  488s |      24 |  4900487 |  3664462 |     2492   3521 |        0 |        0
490.62/490.79	c  490s |      24 |  4918598 |  3678362 |     2492   3531 |        0 |        0
492.62/492.79	c  492s |      24 |  4937769 |  3692462 |     2492   3542 |        0 |        0
494.61/494.80	c  494s |      24 |  4956295 |  3706762 |     2492   3552 |        0 |        0
496.71/496.80	c  496s |      24 |  4973660 |  3720162 |     2492   3562 |        0 |        0
498.71/498.80	c  498s |      24 |  4991716 |  3734062 |     2492   3572 |        0 |        0
500.71/500.80	c  500s |      24 |  5009766 |  3748062 |     2492   3583 |        0 |        0
502.72/502.81	c  502s |      24 |  5027258 |  3761762 |     2492   3593 |        0 |        0
504.71/504.83	c  504s |      24 |  5044380 |  3775162 |     2492   3602 |        0 |        0
506.71/506.84	c  506s |      24 |  5062432 |  3789162 |     2492   3613 |        0 |        0
508.71/508.84	c  508s |      24 |  5079658 |  3802862 |     2492   3623 |        0 |        0
510.71/510.84	c  510s |      24 |  5098185 |  3817262 |     2492   3633 |        0 |        0
512.71/512.85	c  512s |      24 |  5117141 |  3831562 |     2492   3644 |        0 |        0
514.71/514.86	c  514s |      24 |  5135799 |  3846262 |     2492   3655 |        0 |        0
516.71/516.87	c  516s |      24 |  5155230 |  3861062 |     2492   3666 |        0 |        0
518.71/518.89	c  518s |      24 |  5171395 |  3874062 |     2492   3675 |        0 |        0
520.71/520.89	c  520s |      24 |  5188860 |  3887862 |     2492   3685 |        0 |        0
522.70/522.89	c  522s |      24 |  5206375 |  3901462 |     2492   3695 |        0 |        0
524.80/524.90	c  524s |      24 |  5223490 |  3914562 |     2492   3705 |        0 |        0
526.81/526.90	c  526s |      24 |  5241690 |  3928462 |     2492   3715 |        0 |        0
528.80/528.91	c  528s |      24 |  5259534 |  3942062 |     2492   3725 |        0 |        0
530.80/530.92	c  530s |      24 |  5278258 |  3956462 |     2492   3736 |        0 |        0
532.81/532.93	c  532s |      24 |  5292875 |  3968662 |     2492   3745 |        0 |        0
534.81/534.93	c  534s |      24 |  5308769 |  3980862 |     2492   3754 |        0 |        0
536.82/536.94	c  536s |      24 |  5326265 |  3994262 |     2492   3763 |        0 |        0
538.81/538.95	c  538s |      24 |  5342596 |  4007362 |     2492   3773 |        0 |        0
540.81/540.96	c  540s |      24 |  5360327 |  4021362 |     2492   3783 |        0 |        0
542.81/542.97	c  542s |      24 |  5379316 |  4035762 |     2492   3794 |        0 |        0
544.81/544.98	c  544s |      24 |  5397024 |  4049362 |     2492   3804 |        0 |        0
546.81/546.98	c  546s |      24 |  5414675 |  4062962 |     2492   3814 |        0 |        0
548.82/548.98	c  548s |      24 |  5433514 |  4077562 |     2492   3825 |        0 |        0
550.81/550.99	c  550s |      24 |  5452608 |  4092362 |     2492   3835 |        0 |        0
552.91/553.01	c  552s |      24 |  5470588 |  4106262 |     2492   3846 |        0 |        0
554.91/555.02	c  554s |      24 |  5487828 |  4119762 |     2492   3855 |        0 |        0
556.91/557.02	c  557s |      24 |  5505995 |  4133762 |     2492   3866 |        0 |        0
558.91/559.02	c  559s |      24 |  5523436 |  4147162 |     2492   3876 |        0 |        0
560.91/561.04	c  561s |      24 |  5541074 |  4160762 |     2492   3886 |        0 |        0
562.90/563.04	c  563s |      24 |  5558287 |  4173962 |     2492   3895 |        0 |        0
564.90/565.04	c  565s |      24 |  5575848 |  4187562 |     2492   3905 |        0 |        0
566.90/567.06	c  567s |      24 |  5594338 |  4201862 |     2492   3916 |        0 |        0
568.90/569.06	c  569s |      24 |  5613202 |  4216262 |     2492   3926 |        0 |        0
570.91/571.07	c  571s |      24 |  5629741 |  4229462 |     2492   3936 |        0 |        0
572.90/573.07	c  573s |      24 |  5646862 |  4243062 |     2492   3946 |        0 |        0
574.90/575.08	c  575s |      24 |  5663297 |  4255662 |     2492   3955 |        0 |        0
576.91/577.08	c  577s |      24 |  5681106 |  4268962 |     2492   3965 |        0 |        0
578.90/579.09	c  579s |      24 |  5698765 |  4282462 |     2492   3975 |        0 |        0
581.00/581.10	c  581s |      24 |  5717041 |  4296362 |     2492   3985 |        0 |        0
583.01/583.11	c  583s |      24 |  5734309 |  4309762 |     2492   3995 |        0 |        0
585.00/585.12	c  585s |      24 |  5753389 |  4324462 |     2492   4006 |        0 |        0
587.00/587.13	c  587s |      24 |  5771261 |  4338262 |     2492   4016 |        0 |        0
589.00/589.14	c  589s |      24 |  5790329 |  4352662 |     2492   4026 |        0 |        0
591.00/591.15	c  591s |      24 |  5810294 |  4367762 |     2492   4037 |        0 |        0
593.00/593.16	c  593s |      24 |  5824480 |  4379662 |     2492   4046 |        0 |        0
595.01/595.17	c  595s |      24 |  5842233 |  4392762 |     2492   4056 |        0 |        0
597.00/597.17	c  597s |      24 |  5859356 |  4406362 |     2492   4066 |        0 |        0
599.00/599.18	c  599s |      24 |  5878082 |  4420562 |     2492   4076 |        0 |        0
601.00/601.18	c  601s |      24 |  5896104 |  4434262 |     2492   4086 |        0 |        0
602.99/603.18	c  603s |      24 |  5912055 |  4446762 |     2492   4095 |        0 |        0
605.00/605.19	c  605s |      24 |  5929497 |  4459862 |     2492   4105 |        0 |        0
606.99/607.19	c  607s |      24 |  5947978 |  4473962 |     2492   4115 |        0 |        0
609.09/609.21	c  609s |      24 |  5965540 |  4487462 |     2492   4125 |        0 |        0
611.09/611.21	c  611s |      24 |  5984939 |  4502162 |     2492   4136 |        0 |        0
613.09/613.22	c  613s |      24 |  6002821 |  4515962 |     2492   4146 |        0 |        0
615.09/615.22	c  615s |      24 |  6020084 |  4529662 |     2492   4156 |        0 |        0
617.10/617.23	c  617s |      24 |  6038027 |  4543462 |     2492   4166 |        0 |        0
619.09/619.23	c  619s |      24 |  6055474 |  4556862 |     2492   4176 |        0 |        0
621.09/621.25	c  621s |      24 |  6073631 |  4570462 |     2492   4186 |        0 |        0
623.09/623.26	c  623s |      24 |  6092492 |  4584662 |     2492   4197 |        0 |        0
625.09/625.26	c  625s |      24 |  6110555 |  4598562 |     2492   4207 |        0 |        0
627.09/627.27	c  627s |      24 |  6127877 |  4612162 |     2492   4217 |        0 |        0
629.10/629.27	c  629s |      24 |  6147664 |  4626962 |     2492   4228 |        0 |        0
631.09/631.28	c  631s |      24 |  6166158 |  4641162 |     2492   4239 |        0 |        0
633.09/633.29	c  633s |      24 |  6184578 |  4655462 |     2492   4249 |        0 |        0
635.19/635.30	c  635s |      24 |  6201024 |  4668462 |     2492   4259 |        0 |        0
637.19/637.31	c  637s |      24 |  6218747 |  4681762 |     2492   4268 |        0 |        0
639.19/639.32	c  639s |      24 |  6236297 |  4695062 |     2492   4278 |        0 |        0
641.19/641.33	c  641s |      24 |  6254112 |  4708362 |     2492   4288 |        0 |        0
643.20/643.34	c  643s |      24 |  6272235 |  4722062 |     2492   4298 |        0 |        0
645.19/645.36	c  645s |      24 |  6289331 |  4735062 |     2492   4308 |        0 |        0
647.19/647.37	c  647s |      24 |  6306311 |  4748062 |     2492   4317 |        0 |        0
649.19/649.38	c  649s |      24 |  6322913 |  4760962 |     2492   4327 |        0 |        0
651.20/651.39	c  651s |      24 |  6342233 |  4774862 |     2492   4337 |        0 |        0
653.19/653.39	c  653s |      24 |  6361325 |  4789062 |     2492   4347 |        0 |        0
655.29/655.40	c  655s |      24 |  6381013 |  4803762 |     2492   4358 |        0 |        0
657.29/657.41	c  657s |      24 |  6399699 |  4817962 |     2492   4369 |        0 |        0
659.29/659.41	c  659s |      24 |  6420220 |  4833162 |     2492   4380 |        0 |        0
661.29/661.43	c  661s |      24 |  6437546 |  4846262 |     2492   4390 |        0 |        0
663.29/663.43	c  663s |      24 |  6456067 |  4860762 |     2492   4400 |        0 |        0
665.29/665.44	c  665s |      24 |  6473756 |  4874962 |     2492   4411 |        0 |        0
667.29/667.45	c  667s |      24 |  6490787 |  4888362 |     2492   4420 |        0 |        0
669.29/669.46	c  669s |      24 |  6508054 |  4901562 |     2492   4430 |        0 |        0
671.29/671.46	c  671s |      24 |  6524680 |  4914462 |     2492   4440 |        0 |        0
673.28/673.47	c  673s |      24 |  6542988 |  4927862 |     2492   4450 |        0 |        0
675.29/675.48	c  675s |      24 |  6562165 |  4941862 |     2492   4460 |        0 |        0
677.28/677.49	c  677s |      24 |  6580884 |  4955662 |     2492   4470 |        0 |        0
679.28/679.49	c  679s |      24 |  6598032 |  4968962 |     2492   4480 |        0 |        0
681.28/681.49	c  681s |      24 |  6615318 |  4982162 |     2492   4490 |        0 |        0
683.38/683.50	c  683s |      24 |  6632166 |  4995162 |     2492   4499 |        0 |        0
685.38/685.53	c  685s |      24 |  6649639 |  5008762 |     2492   4509 |        0 |        0
687.39/687.54	c  687s |      24 |  6667090 |  5022662 |     2492   4520 |        0 |        0
689.38/689.55	c  689s |      24 |  6687175 |  5037662 |     2742   4530 |        0 |        0
691.38/691.55	c  691s |      24 |  6707754 |  5053062 |     2742   4540 |        0 |        0
693.08/693.23	c  693s |      25 |  6723131 |  5065098 |     2742   4549 |        0 |        0
695.09/695.23	c  695s |      25 |  6738618 |  5076898 |     2742   4556 |        0 |        0
697.09/697.24	c  697s |      25 |  6754999 |  5089198 |     2742   4565 |        0 |        0
699.09/699.25	c  699s |      25 |  6772628 |  5102098 |     2742   4573 |        0 |        0
701.09/701.26	c  701s |      25 |  6789834 |  5115498 |     2742   4582 |        0 |        0
703.08/703.27	c  703s |      25 |  6804128 |  5126898 |     2742   4590 |        0 |        0
705.09/705.27	c  705s |      25 |  6821428 |  5139698 |     2742   4599 |        0 |        0
707.08/707.28	c  707s |      25 |  6837895 |  5152198 |     2742   4607 |        0 |        0
709.08/709.29	c  709s |      25 |  6853796 |  5164498 |     2742   4615 |        0 |        0
711.18/711.31	c  711s |      25 |  6872038 |  5177798 |     2742   4624 |        0 |        0
713.18/713.32	c  713s |      25 |  6890931 |  5191098 |     2742   4633 |        0 |        0
715.18/715.32	c  715s |      25 |  6907053 |  5203798 |     2742   4642 |        0 |        0
717.19/717.33	c  717s |      25 |  6926203 |  5218398 |     2742   4651 |        0 |        0
719.17/719.34	c  719s |      25 |  6943466 |  5231698 |     2742   4660 |        0 |        0
721.17/721.34	c  721s |      25 |  6959481 |  5244298 |     2742   4669 |        0 |        0
723.17/723.36	c  723s |      25 |  6976760 |  5257098 |     2742   4677 |        0 |        0
725.17/725.36	c  725s |      25 |  6991873 |  5268798 |     2742   4685 |        0 |        0
727.18/727.38	c  727s |      25 |  7010400 |  5282498 |     2742   4694 |        0 |        0
729.19/729.39	c  729s |      25 |  7027642 |  5295998 |     2742   4704 |        0 |        0
731.28/731.41	c  731s |      25 |  7044420 |  5309198 |     2742   4712 |        0 |        0
733.28/733.42	c  733s |      25 |  7061340 |  5322398 |     2742   4721 |        0 |        0
735.28/735.42	c  735s |      25 |  7075938 |  5334298 |     2742   4729 |        0 |        0
737.28/737.43	c  737s |      25 |  7093748 |  5347198 |     2742   4738 |        0 |        0
739.28/739.45	c  739s |      25 |  7111861 |  5360998 |     2742   4747 |        0 |        0
741.29/741.46	c  741s |      25 |  7130577 |  5374998 |     2742   4757 |        0 |        0
743.28/743.46	c  743s |      25 |  7147237 |  5388098 |     2742   4765 |        0 |        0
745.28/745.47	c  745s |      25 |  7163711 |  5400498 |     2742   4774 |        0 |        0
747.28/747.49	c  747s |      25 |  7181209 |  5413498 |     2742   4783 |        0 |        0
749.38/749.50	c  749s |      25 |  7198831 |  5426798 |     2742   4791 |        0 |        0
751.38/751.51	c  751s |      25 |  7216202 |  5440298 |     2742   4801 |        0 |        0
753.38/753.52	c  753s |      25 |  7233021 |  5452998 |     2742   4809 |        0 |        0
755.37/755.53	c  755s |      25 |  7250648 |  5466698 |     2742   4818 |        0 |        0
757.37/757.55	c  757s |      25 |  7267338 |  5479198 |     2742   4827 |        0 |        0
759.37/759.55	c  759s |      25 |  7286140 |  5492798 |     2742   4836 |        0 |        0
761.37/761.56	c  761s |      25 |  7303423 |  5505998 |     2742   4845 |        0 |        0
763.38/763.56	c  763s |      25 |  7322625 |  5519598 |     2742   4854 |        0 |        0
765.37/765.56	c  765s |      25 |  7340994 |  5533298 |     2742   4863 |        0 |        0
767.37/767.57	c  767s |      25 |  7358091 |  5546598 |     2742   4872 |        0 |        0
769.38/769.58	c  769s |      25 |  7375542 |  5559898 |     2742   4881 |        0 |        0
771.38/771.58	c  771s |      25 |  7390646 |  5571698 |     2742   4889 |        0 |        0
773.48/773.60	c  773s |      25 |  7407040 |  5583898 |     2742   4897 |        0 |        0
775.38/775.60	c  775s |      25 |  7425061 |  5596998 |     2742   4906 |        0 |        0
777.47/777.61	c  777s |      25 |  7443303 |  5610498 |     2742   4915 |        0 |        0
779.47/779.62	c  779s |      25 |  7460871 |  5623698 |     2742   4924 |        0 |        0
781.47/781.63	c  781s |      25 |  7478379 |  5637098 |     2742   4933 |        0 |        0
783.47/783.64	c  783s |      25 |  7497218 |  5650698 |     2742   4942 |        0 |        0
785.47/785.64	c  785s |      25 |  7514840 |  5663698 |     2742   4951 |        0 |        0
787.48/787.67	c  787s |      25 |  7533124 |  5677298 |     2742   4961 |        0 |        0
789.47/789.67	c  789s |      25 |  7551644 |  5691098 |     2742   4970 |        0 |        0
791.47/791.68	c  791s |      25 |  7569295 |  5704398 |     2742   4979 |        0 |        0
793.47/793.69	c  793s |      25 |  7586490 |  5717398 |     2742   4988 |        0 |        0
795.57/795.70	c  795s |      25 |  7603238 |  5729998 |     2742   4996 |        0 |        0
797.57/797.71	c  797s |      25 |  7620578 |  5742698 |     2742   5005 |        0 |        0
799.58/799.71	c  799s |      25 |  7635207 |  5754398 |     2742   5013 |        0 |        0
801.57/801.73	c  801s |      25 |  7653294 |  5767698 |     2742   5022 |        0 |        0
803.57/803.75	c  803s |      25 |  7668610 |  5779398 |     2742   5030 |        0 |        0
805.57/805.76	c  805s |      25 |  7685847 |  5791898 |     2742   5038 |        0 |        0
807.57/807.77	c  807s |      25 |  7704638 |  5805398 |     2742   5047 |        0 |        0
809.57/809.77	c  809s |      25 |  7721386 |  5818598 |     2742   5056 |        0 |        0
811.56/811.77	c  811s |      25 |  7736315 |  5830198 |     2742   5064 |        0 |        0
813.56/813.79	c  813s |      25 |  7754485 |  5843898 |     2742   5073 |        0 |        0
815.66/815.81	c  815s |      25 |  7770036 |  5856198 |     2742   5082 |        0 |        0
817.66/817.82	c  817s |      25 |  7786317 |  5868898 |     2742   5090 |        0 |        0
819.66/819.83	c  819s |      25 |  7804399 |  5882098 |     2742   5099 |        0 |        0
821.67/821.84	c  821s |      25 |  7822868 |  5895598 |     2742   5108 |        0 |        0
823.66/823.85	c  823s |      25 |  7839603 |  5908598 |     2742   5117 |        0 |        0
825.66/825.85	c  825s |      25 |  7858211 |  5922198 |     2742   5126 |        0 |        0
827.66/827.85	c  827s |      25 |  7874972 |  5935198 |     2742   5135 |        0 |        0
829.66/829.87	c  829s |      25 |  7889545 |  5946598 |     2742   5143 |        0 |        0
831.66/831.88	c  831s |      25 |  7905286 |  5958598 |     2742   5151 |        0 |        0
833.67/833.89	c  833s |      25 |  7921438 |  5970998 |     2742   5159 |        0 |        0
835.67/835.89	c  835s |      25 |  7936834 |  5982798 |     2742   5167 |        0 |        0
837.67/837.89	c  837s |      25 |  7953218 |  5995198 |     2742   5176 |        0 |        0
839.77/839.90	c  839s |      25 |  7969845 |  6007798 |     2742   5184 |        0 |        0
841.76/841.91	c  841s |      25 |  7987781 |  6020898 |     2742   5193 |        0 |        0
843.76/843.92	c  843s |      25 |  8003932 |  6033498 |     2742   5202 |        0 |        0
845.77/845.92	c  845s |      25 |  8021476 |  6046198 |     2742   5210 |        0 |        0
847.76/847.93	c  847s |      25 |  8039330 |  6059498 |     2742   5219 |        0 |        0
849.76/849.94	c  849s |      25 |  8056045 |  6072198 |     2742   5228 |        0 |        0
851.76/851.94	c  851s |      25 |  8072930 |  6084698 |     2742   5236 |        0 |        0
853.76/853.94	c  853s |      25 |  8091293 |  6098098 |     2742   5245 |        0 |        0
855.77/855.96	c  855s |      25 |  8108988 |  6110898 |     2742   5254 |        0 |        0
857.76/857.96	c  857s |      25 |  8126225 |  6123898 |     2742   5263 |        0 |        0
859.76/859.97	c  859s |      25 |  8143537 |  6136898 |     2742   5272 |        0 |        0
861.76/861.98	c  861s |      25 |  8160018 |  6149598 |     2742   5280 |        0 |        0
863.76/863.99	c  863s |      25 |  8177144 |  6162898 |     2742   5289 |        0 |        0
865.86/866.00	c  865s |      25 |  8194700 |  6175898 |     2742   5298 |        0 |        0
867.86/868.01	c  867s |      25 |  8211971 |  6189098 |     2742   5307 |        0 |        0
869.85/870.03	c  870s |      25 |  8229048 |  6201898 |     2742   5316 |        0 |        0
871.85/872.04	c  872s |      25 |  8245077 |  6213998 |     2742   5324 |        0 |        0
873.85/874.05	c  874s |      25 |  8262159 |  6226698 |     2742   5332 |        0 |        0
875.85/876.06	c  876s |      25 |  8279477 |  6239698 |     2742   5341 |        0 |        0
877.85/878.07	c  878s |      25 |  8295234 |  6251698 |     2742   5349 |        0 |        0
879.86/880.08	c  880s |      25 |  8312763 |  6264798 |     2742   5358 |        0 |        0
881.85/882.10	c  882s |      25 |  8330354 |  6277998 |     2742   5367 |        0 |        0
883.95/884.11	c  884s |      25 |  8348066 |  6290798 |     2742   5376 |        0 |        0
885.96/886.13	c  886s |      25 |  8365004 |  6303198 |     2742   5385 |        0 |        0
887.96/888.13	c  888s |      25 |  8382410 |  6316598 |     2742   5394 |        0 |        0
889.96/890.14	c  890s |      25 |  8400073 |  6329798 |     2742   5403 |        0 |        0
891.96/892.15	c  892s |      25 |  8417761 |  6343298 |     2742   5412 |        0 |        0
893.96/894.15	c  894s |      25 |  8435139 |  6356098 |     2742   5421 |        0 |        0
895.96/896.16	c  896s |      25 |  8451207 |  6368098 |     2742   5429 |        0 |        0
897.96/898.17	c  898s |      25 |  8469695 |  6381598 |     2742   5438 |        0 |        0
899.95/900.17	c  900s |      25 |  8486467 |  6394698 |     2742   5447 |        0 |        0
901.96/902.18	c  902s |      25 |  8505165 |  6408298 |     2742   5456 |        0 |        0
903.95/904.19	c  904s |      25 |  8522321 |  6421398 |     2742   5465 |        0 |        0
906.05/906.21	c  906s |      25 |  8538653 |  6433798 |     2742   5473 |        0 |        0
908.05/908.21	c  908s |      25 |  8555459 |  6446798 |     2742   5482 |        0 |        0
910.05/910.21	c  910s |      25 |  8573109 |  6460098 |     2742   5491 |        0 |        0
912.05/912.22	c  912s |      25 |  8588935 |  6472298 |     2742   5499 |        0 |        0
914.05/914.23	c  914s |      25 |  8606033 |  6484898 |     2742   5508 |        0 |        0
916.05/916.23	c  916s |      25 |  8623705 |  6498198 |     2742   5517 |        0 |        0
918.05/918.23	c  918s |      25 |  8639385 |  6509998 |     2742   5525 |        0 |        0
920.05/920.25	c  920s |      25 |  8654935 |  6522498 |     2742   5533 |        0 |        0
922.04/922.25	c  922s |      25 |  8671612 |  6534898 |     2742   5541 |        0 |        0
924.04/924.26	c  924s |      25 |  8688433 |  6547798 |     2742   5550 |        0 |        0
926.05/926.27	c  926s |      25 |  8706082 |  6560998 |     2742   5559 |        0 |        0
928.05/928.27	c  928s |      25 |  8724773 |  6574698 |     2742   5568 |        0 |        0
930.05/930.28	c  930s |      25 |  8741338 |  6587398 |     2742   5577 |        0 |        0
932.05/932.29	c  932s |      25 |  8758731 |  6600298 |     2742   5586 |        0 |        0
934.05/934.29	c  934s |      25 |  8776505 |  6613398 |     2742   5595 |        0 |        0
936.15/936.31	c  936s |      25 |  8793878 |  6626298 |     2742   5603 |        0 |        0
938.16/938.31	c  938s |      25 |  8810471 |  6638898 |     2742   5612 |        0 |        0
940.15/940.31	c  940s |      25 |  8828908 |  6652298 |     2742   5621 |        0 |        0
942.15/942.32	c  942s |      25 |  8845886 |  6665198 |     2742   5630 |        0 |        0
944.15/944.33	c  944s |      25 |  8861045 |  6676998 |     2742   5638 |        0 |        0
946.15/946.34	c  946s |      25 |  8876911 |  6688998 |     2742   5646 |        0 |        0
948.16/948.35	c  948s |      25 |  8895493 |  6702398 |     2742   5655 |        0 |        0
950.15/950.36	c  950s |      25 |  8910828 |  6714498 |     2742   5663 |        0 |        0
952.15/952.37	c  952s |      25 |  8926931 |  6726998 |     2742   5672 |        0 |        0
954.15/954.38	c  954s |      25 |  8943204 |  6739498 |     2742   5680 |        0 |        0
956.15/956.38	c  956s |      25 |  8959489 |  6751898 |     2742   5689 |        0 |        0
958.15/958.38	c  958s |      25 |  8976400 |  6764598 |     2742   5697 |        0 |        0
960.15/960.39	c  960s |      25 |  8992709 |  6777198 |     2742   5706 |        0 |        0
962.14/962.39	c  962s |      25 |  9009352 |  6789798 |     2742   5715 |        0 |        0
964.24/964.40	c  964s |      25 |  9026654 |  6802798 |     2742   5723 |        0 |        0
966.24/966.41	c  966s |      25 |  9042700 |  6815098 |     2742   5732 |        0 |        0
968.24/968.41	c  968s |      25 |  9060682 |  6828998 |     2742   5741 |        0 |        0
970.24/970.42	c  970s |      25 |  9077094 |  6841898 |     2742   5750 |        0 |        0
972.25/972.43	c  972s |      25 |  9093542 |  6855098 |     2742   5759 |        0 |        0
974.24/974.43	c  974s |      25 |  9113114 |  6869298 |     2742   5768 |        0 |        0
976.24/976.45	c  976s |      25 |  9129800 |  6881598 |     2742   5777 |        0 |        0
978.24/978.46	c  978s |      25 |  9145575 |  6893898 |     2742   5785 |        0 |        0
980.24/980.47	c  980s |      25 |  9160712 |  6906098 |     2742   5793 |        0 |        0
982.24/982.47	c  982s |      25 |  9176512 |  6918598 |     2742   5801 |        0 |        0
984.24/984.48	c  984s |      25 |  9192156 |  6930598 |     2742   5809 |        0 |        0
986.24/986.49	c  986s |      25 |  9206771 |  6942598 |     2742   5817 |        0 |        0
988.34/988.50	c  988s |      25 |  9224751 |  6956498 |     2742   5827 |        0 |        0
990.34/990.51	c  990s |      25 |  9240390 |  6968798 |     2742   5835 |        0 |        0
992.34/992.52	c  992s |      25 |  9257741 |  6981798 |     2742   5844 |        0 |        0
994.34/994.54	c  994s |      25 |  9277372 |  6996198 |     2742   5854 |        0 |        0
996.33/996.54	c  996s |      25 |  9291547 |  7007898 |     2742   5861 |        0 |        0
998.33/998.56	c  998s |      25 |  9306611 |  7019798 |     2742   5870 |        0 |        0
1000.33/1000.57	c 1000s |      25 |  9323455 |  7032898 |     2742   5878 |        0 |        0
1002.33/1002.58	c 1002s |      25 |  9342719 |  7047498 |     2742   5888 |        0 |        0
1004.33/1004.59	c 1004s |      25 |  9359859 |  7059998 |     2742   5897 |        0 |        0
1006.34/1006.59	c 1006s |      25 |  9377410 |  7072998 |     2742   5905 |        0 |        0
1008.43/1008.60	c 1008s |      25 |  9395642 |  7086998 |     2742   5915 |        0 |        0
1010.43/1010.60	c 1010s |      25 |  9412114 |  7099398 |     2742   5923 |        0 |        0
1012.44/1012.61	c 1012s |      25 |  9426928 |  7111398 |     2742   5931 |        0 |        0
1014.44/1014.61	c 1014s |      25 |  9441684 |  7122998 |     2742   5939 |        0 |        0
1016.44/1016.62	c 1016s |      25 |  9458329 |  7135298 |     2742   5947 |        0 |        0
1018.44/1018.63	c 1018s |      25 |  9476949 |  7148898 |     2742   5957 |        0 |        0
1020.44/1020.63	c 1020s |      25 |  9492365 |  7160698 |     2742   5965 |        0 |        0
1022.43/1022.64	c 1022s |      25 |  9510165 |  7173898 |     2742   5973 |        0 |        0
1024.43/1024.65	c 1024s |      25 |  9527746 |  7187098 |     2742   5982 |        0 |        0
1026.43/1026.66	c 1026s |      25 |  9545282 |  7199298 |     2742   5991 |        0 |        0
1028.44/1028.66	c 1028s |      25 |  9562095 |  7211398 |     2742   5999 |        0 |        0
1030.43/1030.68	c 1030s |      25 |  9576972 |  7223298 |     2742   6007 |        0 |        0
1032.43/1032.68	c 1032s |      25 |  9593752 |  7235798 |     2742   6015 |        0 |        0
1034.43/1034.68	c 1034s |      25 |  9610134 |  7247998 |     2742   6024 |        0 |        0
1036.43/1036.69	c 1036s |      25 |  9627114 |  7261298 |     2742   6033 |        0 |        0
1038.53/1038.70	c 1038s |      25 |  9642727 |  7273498 |     2742   6041 |        0 |        0
1040.53/1040.72	c 1040s |      25 |  9658155 |  7285598 |     2742   6049 |        0 |        0
1042.53/1042.72	c 1042s |      25 |  9672941 |  7296898 |     2742   6057 |        0 |        0
1044.53/1044.72	c 1044s |      25 |  9690008 |  7309598 |     2742   6065 |        0 |        0
1046.53/1046.73	c 1046s |      25 |  9708495 |  7323398 |     2742   6075 |        0 |        0
1048.53/1048.74	c 1048s |      25 |  9725472 |  7336298 |     2742   6083 |        0 |        0
1050.53/1050.74	c 1050s |      25 |  9742173 |  7348698 |     2742   6092 |        0 |        0
1052.53/1052.75	c 1052s |      25 |  9758344 |  7361298 |     2742   6100 |        0 |        0
1054.52/1054.75	c 1054s |      25 |  9774749 |  7373898 |     2742   6109 |        0 |        0
1056.52/1056.76	c 1056s |      25 |  9791392 |  7386298 |     2742   6117 |        0 |        0
1058.53/1058.77	c 1058s |      25 |  9808282 |  7399098 |     2742   6126 |        0 |        0
1060.53/1060.77	c 1060s |      25 |  9827443 |  7413098 |     2742   6135 |        0 |        0
1062.54/1062.79	c 1062s |      25 |  9843941 |  7425198 |     2742   6143 |        0 |        0
1064.53/1064.80	c 1064s |      25 |  9859141 |  7436898 |     2742   6151 |        0 |        0
1066.63/1066.80	c 1066s |      25 |  9874401 |  7448898 |     2742   6159 |        0 |        0
1068.63/1068.81	c 1068s |      25 |  9889970 |  7461098 |     2742   6168 |        0 |        0
1070.63/1070.81	c 1070s |      25 |  9904736 |  7472598 |     2742   6175 |        0 |        0
1072.63/1072.83	c 1072s |      25 |  9920113 |  7483998 |     2742   6183 |        0 |        0
1074.63/1074.84	c 1074s |      25 |  9936009 |  7495998 |     2742   6191 |        0 |        0
1076.63/1076.84	c 1076s |      25 |  9951315 |  7507598 |     2742   6199 |        0 |        0
1078.63/1078.86	c 1078s |      25 |  9965779 |  7518798 |     2742   6207 |        0 |        0
1080.63/1080.86	c 1080s |      25 |  9982440 |  7531198 |     2742   6215 |        0 |        0
1082.63/1082.87	c 1082s |      25 |  9999893 |  7544398 |     3017   6224 |        0 |        0
1084.63/1084.87	c 1084s |      25 | 10018501 |  7557698 |     3017   6232 |        0 |        0
1086.63/1086.88	c 1086s |      25 | 10036434 |  7570898 |     3017   6240 |        0 |        0
1088.62/1088.89	c 1088s |      25 | 10053929 |  7583498 |     3017   6248 |        0 |        0
1090.62/1090.89	c 1090s |      25 | 10071370 |  7596398 |     3017   6256 |        0 |        0
1090.92/1091.11	c 1091s |      26 | 10073150 |  7597752 |     3017   6257 |        0 |        0
1092.92/1093.12	c 1093s |      26 | 10088342 |  7610152 |     3017   6264 |        0 |        0
1094.92/1095.12	c 1095s |      26 | 10104565 |  7622652 |     3017   6272 |        0 |        0
1096.92/1097.13	c 1097s |      26 | 10120509 |  7634652 |     3017   6279 |        0 |        0
1098.92/1099.15	c 1099s |      26 | 10135779 |  7646452 |     3017   6287 |        0 |        0
1100.92/1101.15	c 1101s |      26 | 10151242 |  7657952 |     3017   6294 |        0 |        0
1102.92/1103.17	c 1103s |      26 | 10168185 |  7670852 |     3017   6302 |        0 |        0
1104.92/1105.18	c 1105s |      26 | 10183373 |  7682952 |     3017   6309 |        0 |        0
1107.02/1107.20	c 1107s |      26 | 10200446 |  7695652 |     3017   6317 |        0 |        0
1109.02/1109.22	c 1109s |      26 | 10215954 |  7708052 |     3017   6324 |        0 |        0
1111.02/1111.23	c 1111s |      26 | 10230569 |  7719652 |     3017   6331 |        0 |        0
1113.02/1113.23	c 1113s |      26 | 10245614 |  7731452 |     3017   6339 |        0 |        0
1115.02/1115.23	c 1115s |      26 | 10260713 |  7742852 |     3017   6346 |        0 |        0
1117.02/1117.24	c 1117s |      26 | 10275704 |  7755052 |     3017   6353 |        0 |        0
1119.01/1119.27	c 1119s |      26 | 10291026 |  7766952 |     3017   6361 |        0 |        0
1121.01/1121.27	c 1121s |      26 | 10305894 |  7778552 |     3017   6368 |        0 |        0
1123.02/1123.28	c 1123s |      26 | 10320329 |  7790252 |     3017   6375 |        0 |        0
1125.01/1125.29	c 1125s |      26 | 10335448 |  7802552 |     3017   6382 |        0 |        0
1127.01/1127.30	c 1127s |      26 | 10348821 |  7813252 |     3017   6389 |        0 |        0
1129.11/1129.31	c 1129s |      26 | 10364099 |  7825452 |     3017   6397 |        0 |        0
1131.11/1131.33	c 1131s |      26 | 10378977 |  7836852 |     3017   6404 |        0 |        0
1133.11/1133.34	c 1133s |      26 | 10394215 |  7848952 |     3017   6411 |        0 |        0
1135.12/1135.34	c 1135s |      26 | 10409088 |  7860552 |     3017   6418 |        0 |        0
1137.11/1137.35	c 1137s |      26 | 10424848 |  7872652 |     3017   6426 |        0 |        0
1139.11/1139.36	c 1139s |      26 | 10439475 |  7884152 |     3017   6433 |        0 |        0
1141.12/1141.37	c 1141s |      26 | 10454792 |  7896352 |     3017   6441 |        0 |        0
1143.12/1143.39	c 1143s |      26 | 10470964 |  7908852 |     3017   6448 |        0 |        0
1145.22/1145.40	c 1145s |      26 | 10486745 |  7921052 |     3017   6456 |        0 |        0
1147.23/1147.41	c 1147s |      26 | 10502427 |  7933752 |     3017   6464 |        0 |        0
1149.22/1149.41	c 1149s |      26 | 10517268 |  7945552 |     3017   6471 |        0 |        0
1151.22/1151.42	c 1151s |      26 | 10533242 |  7958052 |     3017   6479 |        0 |        0
1153.22/1153.43	c 1153s |      26 | 10550378 |  7971252 |     3017   6487 |        0 |        0
1155.22/1155.44	c 1155s |      26 | 10567534 |  7984552 |     3017   6495 |        0 |        0
1157.22/1157.44	c 1157s |      26 | 10584362 |  7997652 |     3017   6503 |        0 |        0
1159.22/1159.45	c 1159s |      26 | 10601441 |  8010852 |     3017   6512 |        0 |        0
1161.22/1161.47	c 1161s |      26 | 10614895 |  8021652 |     3017   6518 |        0 |        0
1163.22/1163.49	c 1163s |      26 | 10629326 |  8032652 |     3017   6525 |        0 |        0
1165.31/1165.50	c 1165s |      26 | 10643910 |  8043852 |     3017   6532 |        0 |        0
1167.31/1167.50	c 1167s |      26 | 10660077 |  8055952 |     3017   6540 |        0 |        0
1169.31/1169.51	c 1169s |      26 | 10676448 |  8068252 |     3017   6547 |        0 |        0
1171.32/1171.52	c 1171s |      26 | 10691670 |  8080352 |     3017   6555 |        0 |        0
1173.31/1173.53	c 1173s |      26 | 10707261 |  8092552 |     3017   6562 |        0 |        0
1175.31/1175.54	c 1175s |      26 | 10723615 |  8104852 |     3017   6570 |        0 |        0
1177.31/1177.54	c 1177s |      26 | 10739071 |  8116852 |     3017   6577 |        0 |        0
1179.31/1179.56	c 1179s |      26 | 10753334 |  8128652 |     3017   6585 |        0 |        0
1181.32/1181.56	c 1181s |      26 | 10770311 |  8141752 |     3017   6593 |        0 |        0
1183.31/1183.57	c 1183s |      26 | 10785885 |  8153952 |     3017   6600 |        0 |        0
1185.31/1185.58	c 1185s |      26 | 10805219 |  8168152 |     3017   6609 |        0 |        0
1187.31/1187.59	c 1187s |      26 | 10825037 |  8182252 |     3017   6618 |        0 |        0
1189.31/1189.59	c 1189s |      26 | 10841869 |  8195152 |     3017   6626 |        0 |        0
1191.40/1191.61	c 1191s |      26 | 10858567 |  8207852 |     3017   6634 |        0 |        0
1193.41/1193.62	c 1193s |      26 | 10875020 |  8220352 |     3017   6642 |        0 |        0
1195.40/1195.62	c 1195s |      26 | 10893008 |  8233452 |     3017   6650 |        0 |        0
1197.40/1197.62	c 1197s |      26 | 10908641 |  8245952 |     3017   6658 |        0 |        0
1199.40/1199.64	c 1199s |      26 | 10924329 |  8258352 |     3017   6665 |        0 |        0
1201.40/1201.65	c 1201s |      26 | 10939481 |  8270152 |     3017   6673 |        0 |        0
1203.40/1203.66	c 1203s |      26 | 10953385 |  8281152 |     3017   6679 |        0 |        0
1205.40/1205.68	c 1205s |      26 | 10968948 |  8293552 |     3017   6687 |        0 |        0
1207.39/1207.70	c 1207s |      26 | 10983852 |  8305152 |     3017   6694 |        0 |        0
1209.49/1209.70	c 1209s |      26 | 11001648 |  8318752 |     3017   6703 |        0 |        0
1211.49/1211.70	c 1211s |      26 | 11016292 |  8330252 |     3017   6710 |        0 |        0
1213.49/1213.71	c 1213s |      26 | 11032274 |  8342552 |     3017   6718 |        0 |        0
1215.49/1215.72	c 1215s |      26 | 11049176 |  8355252 |     3017   6725 |        0 |        0
1217.49/1217.74	c 1217s |      26 | 11064124 |  8366852 |     3017   6733 |        0 |        0
1219.49/1219.75	c 1219s |      26 | 11079784 |  8379452 |     3017   6740 |        0 |        0
1221.48/1221.76	c 1221s |      26 | 11092810 |  8389852 |     3017   6747 |        0 |        0
1223.48/1223.77	c 1223s |      26 | 11108165 |  8401752 |     3017   6754 |        0 |        0
1225.48/1225.77	c 1225s |      26 | 11123502 |  8413452 |     3017   6761 |        0 |        0
1227.49/1227.77	c 1227s |      26 | 11137664 |  8424352 |     3017   6768 |        0 |        0
1229.48/1229.78	c 1229s |      26 | 11152568 |  8435552 |     3017   6775 |        0 |        0
1231.57/1231.80	c 1231s |      26 | 11168126 |  8447552 |     3017   6783 |        0 |        0
1233.58/1233.81	c 1233s |      26 | 11184059 |  8460152 |     3017   6790 |        0 |        0
1235.58/1235.82	c 1235s |      26 | 11201200 |  8473552 |     3017   6799 |        0 |        0
1237.58/1237.83	c 1237s |      26 | 11218889 |  8486752 |     3017   6807 |        0 |        0
1239.59/1239.84	c 1239s |      26 | 11237300 |  8500852 |     3017   6816 |        0 |        0
1241.58/1241.85	c 1241s |      26 | 11251662 |  8512352 |     3017   6823 |        0 |        0
1243.58/1243.87	c 1243s |      26 | 11268194 |  8525052 |     3017   6831 |        0 |        0
1245.58/1245.88	c 1245s |      26 | 11284335 |  8537452 |     3017   6838 |        0 |        0
1247.57/1247.89	c 1247s |      26 | 11299525 |  8549452 |     3017   6846 |        0 |        0
1249.67/1249.90	c 1249s |      26 | 11315256 |  8561952 |     3017   6853 |        0 |        0
1251.67/1251.92	c 1251s |      26 | 11329653 |  8573452 |     3017   6861 |        0 |        0
1253.67/1253.93	c 1253s |      26 | 11344412 |  8585152 |     3017   6868 |        0 |        0
1255.66/1255.95	c 1255s |      26 | 11360829 |  8598052 |     3017   6876 |        0 |        0
1257.66/1257.96	c 1257s |      26 | 11376025 |  8610152 |     3017   6883 |        0 |        0
1259.66/1259.97	c 1259s |      26 | 11388974 |  8620752 |     3017   6890 |        0 |        0
1261.66/1261.98	c 1261s |      26 | 11401119 |  8631052 |     3017   6896 |        0 |        0
1263.66/1263.99	c 1263s |      26 | 11415031 |  8642252 |     3017   6903 |        0 |        0
1265.65/1265.99	c 1265s |      26 | 11428781 |  8653652 |     3017   6910 |        0 |        0
1267.75/1268.01	c 1267s |      26 | 11443861 |  8665152 |     3017   6917 |        0 |        0
1269.75/1270.01	c 1269s |      26 | 11457136 |  8675852 |     3017   6924 |        0 |        0
1271.75/1272.02	c 1272s |      26 | 11468832 |  8684952 |     3017   6930 |        0 |        0
1273.75/1274.04	c 1274s |      26 | 11482579 |  8695952 |     3017   6937 |        0 |        0
1275.76/1276.05	c 1276s |      26 | 11495649 |  8706752 |     3017   6943 |        0 |        0
1277.75/1278.06	c 1278s |      26 | 11509374 |  8717952 |     3017   6950 |        0 |        0
1279.75/1280.07	c 1280s |      26 | 11523363 |  8728752 |     3017   6957 |        0 |        0
1281.74/1282.09	c 1282s |      26 | 11536382 |  8739252 |     3017   6963 |        0 |        0
1283.84/1284.10	c 1284s |      26 | 11550153 |  8750152 |     3017   6970 |        0 |        0
1285.84/1286.11	c 1286s |      26 | 11562981 |  8760452 |     3017   6977 |        0 |        0
1287.85/1288.12	c 1288s |      26 | 11578294 |  8772252 |     3017   6984 |        0 |        0
1289.85/1290.14	c 1290s |      26 | 11593138 |  8784052 |     3017   6991 |        0 |        0
1291.85/1292.14	c 1292s |      26 | 11608174 |  8795752 |     3017   6999 |        0 |        0
1293.85/1294.14	c 1294s |      26 | 11621785 |  8806452 |     3017   7005 |        0 |        0
1295.85/1296.15	c 1296s |      26 | 11636634 |  8817852 |     3017   7012 |        0 |        0
1297.85/1298.16	c 1298s |      26 | 11652812 |  8830152 |     3017   7020 |        0 |        0
1299.85/1300.18	c 1300s |      26 | 11666886 |  8841552 |     3017   7027 |        0 |        0
1301.84/1302.18	c 1302s |      26 | 11682559 |  8853352 |     3017   7034 |        0 |        0
1303.84/1304.19	c 1304s |      26 | 11696722 |  8864752 |     3017   7041 |        0 |        0
1305.84/1306.19	c 1306s |      26 | 11711584 |  8876352 |     3017   7049 |        0 |        0
1307.94/1308.20	c 1308s |      26 | 11727728 |  8888352 |     3017   7056 |        0 |        0
1309.95/1310.22	c 1310s |      26 | 11745168 |  8901052 |     3017   7064 |        0 |        0
1311.93/1312.24	c 1312s |      26 | 11761716 |  8913352 |     3017   7072 |        0 |        0
1313.93/1314.24	c 1314s |      26 | 11777080 |  8925552 |     3017   7079 |        0 |        0
1315.93/1316.26	c 1316s |      26 | 11792460 |  8937452 |     3017   7087 |        0 |        0
1317.93/1318.26	c 1318s |      26 | 11808804 |  8949552 |     3017   7094 |        0 |        0
1319.93/1320.27	c 1320s |      26 | 11824622 |  8961952 |     3017   7102 |        0 |        0
1321.93/1322.29	c 1322s |      26 | 11840582 |  8974352 |     3017   7110 |        0 |        0
1324.02/1324.31	c 1324s |      26 | 11858005 |  8987652 |     3017   7118 |        0 |        0
1326.02/1326.31	c 1326s |      26 | 11873395 |  8999852 |     3017   7125 |        0 |        0
1328.02/1328.32	c 1328s |      26 | 11889307 |  9012352 |     3017   7133 |        0 |        0
1330.02/1330.33	c 1330s |      26 | 11905227 |  9024552 |     3017   7141 |        0 |        0
1332.02/1332.34	c 1332s |      26 | 11920929 |  9036852 |     3017   7148 |        0 |        0
1334.02/1334.36	c 1334s |      26 | 11935711 |  9048652 |     3017   7156 |        0 |        0
1336.01/1336.37	c 1336s |      26 | 11950925 |  9060452 |     3017   7163 |        0 |        0
1338.01/1338.37	c 1338s |      26 | 11965300 |  9071552 |     3017   7170 |        0 |        0
1340.01/1340.38	c 1340s |      26 | 11981874 |  9084052 |     3017   7177 |        0 |        0
1342.01/1342.39	c 1342s |      26 | 11994670 |  9094552 |     3017   7184 |        0 |        0
1344.01/1344.39	c 1344s |      26 | 12007955 |  9105052 |     3017   7190 |        0 |        0
1346.00/1346.40	c 1346s |      26 | 12024436 |  9117852 |     3017   7198 |        0 |        0
1348.11/1348.42	c 1348s |      26 | 12040115 |  9130052 |     3017   7206 |        0 |        0
1350.11/1350.43	c 1350s |      26 | 12054915 |  9141752 |     3017   7213 |        0 |        0
1352.11/1352.44	c 1352s |      26 | 12071607 |  9154452 |     3017   7221 |        0 |        0
1354.11/1354.45	c 1354s |      26 | 12088269 |  9167552 |     3017   7229 |        0 |        0
1356.11/1356.45	c 1356s |      26 | 12103982 |  9179752 |     3017   7237 |        0 |        0
1358.10/1358.46	c 1358s |      26 | 12118800 |  9191652 |     3017   7244 |        0 |        0
1360.10/1360.48	c 1360s |      26 | 12134247 |  9203852 |     3017   7252 |        0 |        0
1362.10/1362.48	c 1362s |      26 | 12149744 |  9215752 |     3017   7259 |        0 |        0
1364.10/1364.49	c 1364s |      26 | 12165444 |  9227852 |     3017   7267 |        0 |        0
1366.10/1366.49	c 1366s |      26 | 12180275 |  9239452 |     3017   7274 |        0 |        0
1368.21/1368.51	c 1368s |      26 | 12194790 |  9251152 |     3017   7281 |        0 |        0
1370.20/1370.51	c 1370s |      26 | 12210933 |  9263352 |     3017   7289 |        0 |        0
1372.19/1372.52	c 1372s |      26 | 12224951 |  9274952 |     3017   7296 |        0 |        0
1374.19/1374.52	c 1374s |      26 | 12241669 |  9287652 |     3017   7304 |        0 |        0
1376.19/1376.53	c 1376s |      26 | 12258730 |  9300852 |     3017   7312 |        0 |        0
1378.19/1378.54	c 1378s |      26 | 12276932 |  9314352 |     3017   7321 |        0 |        0
1380.20/1380.55	c 1380s |      26 | 12292919 |  9326952 |     3017   7328 |        0 |        0
1382.19/1382.56	c 1382s |      26 | 12311406 |  9340652 |     3017   7337 |        0 |        0
1384.19/1384.57	c 1384s |      26 | 12328323 |  9353752 |     3017   7345 |        0 |        0
1386.18/1386.57	c 1386s |      26 | 12344240 |  9366052 |     3017   7353 |        0 |        0
1388.18/1388.59	c 1388s |      26 | 12359550 |  9377852 |     3017   7360 |        0 |        0
1390.28/1390.60	c 1390s |      26 | 12374166 |  9389852 |     3017   7367 |        0 |        0
1392.28/1392.62	c 1392s |      26 | 12389138 |  9402052 |     3017   7375 |        0 |        0
1394.28/1394.62	c 1394s |      26 | 12404060 |  9413952 |     3017   7382 |        0 |        0
1396.28/1396.64	c 1396s |      26 | 12418258 |  9425552 |     3017   7389 |        0 |        0
1398.29/1398.65	c 1398s |      26 | 12434403 |  9438152 |     3017   7397 |        0 |        0
1400.29/1400.65	c 1400s |      26 | 12450940 |  9450852 |     3017   7405 |        0 |        0
1402.29/1402.66	c 1402s |      26 | 12465995 |  9462752 |     3017   7412 |        0 |        0
1404.28/1404.67	c 1404s |      26 | 12482489 |  9475152 |     3017   7420 |        0 |        0
1406.28/1406.67	c 1406s |      26 | 12497406 |  9486352 |     3017   7427 |        0 |        0
1408.28/1408.67	c 1408s |      26 | 12512348 |  9497952 |     3017   7434 |        0 |        0
1410.28/1410.68	c 1410s |      26 | 12526927 |  9509552 |     3017   7441 |        0 |        0
1412.27/1412.69	c 1412s |      26 | 12539890 |  9520252 |     3017   7448 |        0 |        0
1414.28/1414.70	c 1414s |      26 | 12554008 |  9531352 |     3017   7455 |        0 |        0
1416.37/1416.71	c 1416s |      26 | 12569770 |  9543652 |     3017   7462 |        0 |        0
1418.37/1418.71	c 1418s |      26 | 12585542 |  9555952 |     3017   7470 |        0 |        0
1420.37/1420.73	c 1420s |      26 | 12599744 |  9567152 |     3017   7477 |        0 |        0
1422.37/1422.74	c 1422s |      26 | 12614723 |  9578652 |     3017   7484 |        0 |        0
1424.37/1424.75	c 1424s |      26 | 12628166 |  9589452 |     3017   7491 |        0 |        0
1426.37/1426.75	c 1426s |      26 | 12643458 |  9601052 |     3017   7498 |        0 |        0
1428.36/1428.77	c 1428s |      26 | 12658585 |  9612852 |     3017   7505 |        0 |        0
1430.36/1430.78	c 1430s |      26 | 12672961 |  9624152 |     3017   7512 |        0 |        0
1432.36/1432.79	c 1432s |      26 | 12689356 |  9636352 |     3017   7519 |        0 |        0
1434.46/1434.80	c 1434s |      26 | 12704064 |  9647952 |     3017   7527 |        0 |        0
1436.46/1436.80	c 1436s |      26 | 12720738 |  9660852 |     3017   7535 |        0 |        0
1438.46/1438.81	c 1438s |      26 | 12736710 |  9673352 |     3017   7542 |        0 |        0
1440.46/1440.83	c 1440s |      26 | 12751917 |  9685152 |     3017   7550 |        0 |        0
1442.45/1442.83	c 1442s |      26 | 12768259 |  9697852 |     3017   7557 |        0 |        0
1444.45/1444.84	c 1444s |      26 | 12784363 |  9710352 |     3017   7565 |        0 |        0
1446.45/1446.86	c 1446s |      26 | 12801012 |  9723052 |     3017   7573 |        0 |        0
1448.45/1448.86	c 1448s |      26 | 12816906 |  9735152 |     3017   7581 |        0 |        0
1450.45/1450.88	c 1450s |      26 | 12833041 |  9747852 |     3017   7588 |        0 |        0
1452.44/1452.89	c 1452s |      26 | 12850053 |  9760552 |     3017   7596 |        0 |        0
1454.55/1454.90	c 1454s |      26 | 12867226 |  9773752 |     3017   7605 |        0 |        0
1456.55/1456.91	c 1456s |      26 | 12883694 |  9785652 |     3017   7612 |        0 |        0
1458.55/1458.92	c 1458s |      26 | 12900305 |  9797852 |     3017   7620 |        0 |        0
1460.55/1460.93	c 1460s |      26 | 12914287 |  9809152 |     3017   7627 |        0 |        0
1462.54/1462.94	c 1462s |      26 | 12929389 |  9820752 |     3017   7634 |        0 |        0
1464.54/1464.96	c 1464s |      26 | 12945887 |  9833252 |     3017   7642 |        0 |        0
1466.54/1466.97	c 1466s |      26 | 12961784 |  9845852 |     3017   7649 |        0 |        0
1468.54/1468.98	c 1468s |      26 | 12976934 |  9857352 |     3017   7657 |        0 |        0
1470.54/1470.99	c 1470s |      26 | 12992001 |  9869452 |     3017   7664 |        0 |        0
1472.54/1473.00	c 1472s |      26 | 13006753 |  9881352 |     3017   7671 |        0 |        0
1474.63/1475.01	c 1474s |      26 | 13023394 |  9893852 |     3017   7679 |        0 |        0
1476.63/1477.01	c 1476s |      26 | 13038554 |  9906052 |     3017   7687 |        0 |        0
1478.63/1479.02	c 1478s |      26 | 13055355 |  9918652 |     3017   7695 |        0 |        0
1480.63/1481.02	c 1480s |      26 | 13070463 |  9930852 |     3017   7702 |        0 |        0
1482.62/1483.02	c 1483s |      26 | 13086837 |  9943452 |     3017   7710 |        0 |        0
1484.63/1485.02	c 1485s |      26 | 13101638 |  9955152 |     3017   7717 |        0 |        0
1486.62/1487.04	c 1487s |      26 | 13119575 |  9968652 |     3017   7726 |        0 |        0
1488.62/1489.04	c 1489s |      26 | 13132547 |  9979052 |     3017   7732 |        0 |        0
1490.62/1491.05	c 1491s |      26 | 13146236 |  9989952 |     3017   7739 |        0 |        0
1492.61/1493.06	c 1493s |      26 | 13159667 | 10000252 |     3017   7745 |        0 |        0
1494.62/1495.07	c 1495s |      26 | 13175338 | 10012552 |     3017   7753 |        0 |        0
1496.61/1497.08	c 1497s |      26 | 13187260 | 10022152 |     3017   7759 |        0 |        0
1498.61/1499.09	c 1499s |      26 | 13201702 | 10033352 |     3017   7766 |        0 |        0
1500.71/1501.11	c 1501s |      26 | 13217345 | 10045752 |     3017   7774 |        0 |        0
1502.70/1503.11	c 1503s |      26 | 13231880 | 10057152 |     3017   7781 |        0 |        0
1504.70/1505.12	c 1505s |      26 | 13246695 | 10068952 |     3017   7788 |        0 |        0
1506.71/1507.13	c 1507s |      26 | 13261357 | 10080452 |     3017   7795 |        0 |        0
1508.70/1509.14	c 1509s |      26 | 13276971 | 10092652 |     3017   7803 |        0 |        0
1510.70/1511.15	c 1511s |      26 | 13293953 | 10105252 |     3017   7811 |        0 |        0
1512.71/1513.16	c 1513s |      26 | 13311685 | 10118552 |     3017   7819 |        0 |        0
1514.70/1515.16	c 1515s |      26 | 13327550 | 10130552 |     3017   7826 |        0 |        0
1516.70/1517.16	c 1517s |      26 | 13343757 | 10142952 |     3017   7834 |        0 |        0
1518.71/1519.17	c 1519s |      26 | 13359945 | 10155152 |     3017   7842 |        0 |        0
1520.70/1521.17	c 1521s |      26 | 13377235 | 10168452 |     3017   7850 |        0 |        0
1522.70/1523.18	c 1523s |      26 | 13393179 | 10180352 |     3017   7857 |        0 |        0
1524.70/1525.18	c 1525s |      26 | 13408469 | 10192352 |     3017   7865 |        0 |        0
1526.70/1527.19	c 1527s |      26 | 13424859 | 10205252 |     3017   7873 |        0 |        0
1528.70/1529.19	c 1529s |      26 | 13441575 | 10217952 |     3017   7881 |        0 |        0
1530.70/1531.20	c 1531s |      26 | 13458229 | 10230952 |     3017   7889 |        0 |        0
1532.79/1533.20	c 1533s |      26 | 13475621 | 10243852 |     3017   7897 |        0 |        0
1534.79/1535.21	c 1535s |      26 | 13492361 | 10256952 |     3017   7905 |        0 |        0
1536.79/1537.22	c 1537s |      26 | 13507690 | 10269152 |     3017   7913 |        0 |        0
1538.79/1539.23	c 1539s |      26 | 13524923 | 10282052 |     3017   7921 |        0 |        0
1540.79/1541.24	c 1541s |      26 | 13542756 | 10295752 |     3017   7929 |        0 |        0
1542.78/1543.24	c 1543s |      26 | 13560155 | 10309252 |     3017   7937 |        0 |        0
1544.78/1545.24	c 1545s |      26 | 13576991 | 10322152 |     3017   7946 |        0 |        0
1546.78/1547.26	c 1547s |      26 | 13591110 | 10333852 |     3017   7953 |        0 |        0
1548.78/1549.27	c 1549s |      26 | 13607956 | 10347452 |     3017   7961 |        0 |        0
1550.78/1551.28	c 1551s |      26 | 13622947 | 10359152 |     3017   7968 |        0 |        0
1552.78/1553.29	c 1553s |      26 | 13638176 | 10370552 |     3017   7976 |        0 |        0
1554.87/1555.30	c 1555s |      26 | 13654943 | 10383452 |     3017   7984 |        0 |        0
1556.87/1557.30	c 1557s |      26 | 13673255 | 10397252 |     3017   7992 |        0 |        0
1558.87/1559.31	c 1559s |      26 | 13689569 | 10409952 |     3017   8000 |        0 |        0
1560.87/1561.33	c 1561s |      26 | 13705420 | 10422552 |     3017   8008 |        0 |        0
1562.87/1563.33	c 1563s |      26 | 13719193 | 10433552 |     3017   8015 |        0 |        0
1564.88/1565.34	c 1565s |      26 | 13733343 | 10444852 |     3017   8022 |        0 |        0
1566.87/1567.35	c 1567s |      26 | 13747729 | 10456252 |     3017   8029 |        0 |        0
1568.87/1569.36	c 1569s |      26 | 13762915 | 10468552 |     3017   8036 |        0 |        0
1570.87/1571.36	c 1571s |      26 | 13779132 | 10480752 |     3017   8044 |        0 |        0
1572.86/1573.37	c 1573s |      26 | 13796280 | 10493952 |     3017   8052 |        0 |        0
1574.87/1575.38	c 1575s |      26 | 13813653 | 10507252 |     3017   8061 |        0 |        0
1576.86/1577.39	c 1577s |      26 | 13832759 | 10521252 |     3017   8069 |        0 |        0
1578.96/1579.40	c 1579s |      26 | 13850184 | 10534452 |     3017   8078 |        0 |        0
1580.96/1581.41	c 1581s |      26 | 13865433 | 10546452 |     3017   8085 |        0 |        0
1582.96/1583.42	c 1583s |      26 | 13879574 | 10557852 |     3017   8092 |        0 |        0
1584.96/1585.42	c 1585s |      26 | 13896204 | 10570152 |     3017   8100 |        0 |        0
1586.96/1587.44	c 1587s |      26 | 13911901 | 10582552 |     3017   8107 |        0 |        0
1588.95/1589.44	c 1589s |      26 | 13927668 | 10594952 |     3017   8115 |        0 |        0
1590.95/1591.45	c 1591s |      26 | 13943565 | 10607252 |     3017   8123 |        0 |        0
1592.95/1593.45	c 1593s |      26 | 13960697 | 10620352 |     3017   8131 |        0 |        0
1594.95/1595.47	c 1595s |      26 | 13978162 | 10633952 |     3017   8139 |        0 |        0
1596.94/1597.47	c 1597s |      26 | 13992622 | 10645652 |     3017   8146 |        0 |        0
1598.95/1599.47	c 1599s |      26 | 14008254 | 10657752 |     3017   8154 |        0 |        0
1600.94/1601.49	c 1601s |      26 | 14024078 | 10669852 |     3017   8162 |        0 |        0
1603.04/1603.50	c 1603s |      26 | 14039204 | 10681752 |     3017   8169 |        0 |        0
1605.05/1605.51	c 1605s |      26 | 14053839 | 10692852 |     3017   8176 |        0 |        0
1607.04/1607.52	c 1607s |      26 | 14070824 | 10705652 |     3017   8184 |        0 |        0
1609.04/1609.52	c 1609s |      26 | 14086262 | 10717452 |     3017   8191 |        0 |        0
1611.05/1611.53	c 1611s |      26 | 14101292 | 10729252 |     3017   8199 |        0 |        0
1613.04/1613.54	c 1613s |      26 | 14119515 | 10742852 |     3017   8207 |        0 |        0
1615.04/1615.54	c 1615s |      26 | 14135970 | 10755452 |     3017   8215 |        0 |        0
1617.04/1617.55	c 1617s |      26 | 14152477 | 10768352 |     3017   8223 |        0 |        0
1619.03/1619.55	c 1619s |      26 | 14169015 | 10780752 |     3017   8230 |        0 |        0
1621.04/1621.56	c 1621s |      26 | 14184676 | 10793652 |     3017   8239 |        0 |        0
1623.03/1623.57	c 1623s |      26 | 14202491 | 10807452 |     3017   8247 |        0 |        0
1625.03/1625.59	c 1625s |      26 | 14218108 | 10819352 |     3017   8255 |        0 |        0
1627.13/1627.60	c 1627s |      26 | 14234722 | 10832052 |     3017   8262 |        0 |        0
1629.13/1629.60	c 1629s |      26 | 14251459 | 10845052 |     3017   8271 |        0 |        0
1631.13/1631.61	c 1631s |      26 | 14268581 | 10858052 |     3017   8279 |        0 |        0
1633.13/1633.62	c 1633s |      26 | 14287420 | 10871752 |     3017   8287 |        0 |        0
1635.12/1635.63	c 1635s |      26 | 14304912 | 10884752 |     3017   8295 |        0 |        0
1637.12/1637.64	c 1637s |      26 | 14321352 | 10897252 |     3017   8303 |        0 |        0
1639.12/1639.64	c 1639s |      26 | 14335732 | 10908652 |     3017   8310 |        0 |        0
1641.12/1641.65	c 1641s |      26 | 14350963 | 10920352 |     3017   8317 |        0 |        0
1643.12/1643.65	c 1643s |      26 | 14366943 | 10932552 |     3017   8325 |        0 |        0
1645.12/1645.66	c 1645s |      26 | 14383379 | 10944652 |     3017   8332 |        0 |        0
1647.11/1647.67	c 1647s |      26 | 14400806 | 10958052 |     3017   8341 |        0 |        0
1649.11/1649.68	c 1649s |      26 | 14417458 | 10971152 |     3017   8349 |        0 |        0
1651.11/1651.69	c 1651s |      26 | 14434333 | 10983952 |     3017   8357 |        0 |        0
1653.21/1653.70	c 1653s |      26 | 14450046 | 10996352 |     3017   8364 |        0 |        0
1655.21/1655.70	c 1655s |      26 | 14466352 | 11008752 |     3017   8372 |        0 |        0
1657.21/1657.71	c 1657s |      26 | 14480867 | 11020052 |     3017   8379 |        0 |        0
1659.21/1659.72	c 1659s |      26 | 14496099 | 11031752 |     3017   8386 |        0 |        0
1661.21/1661.74	c 1661s |      26 | 14511441 | 11043652 |     3017   8394 |        0 |        0
1663.21/1663.75	c 1663s |      26 | 14526265 | 11055352 |     3017   8401 |        0 |        0
1665.21/1665.75	c 1665s |      26 | 14539519 | 11066252 |     3017   8407 |        0 |        0
1667.21/1667.75	c 1667s |      26 | 14555526 | 11078452 |     3017   8415 |        0 |        0
1669.21/1669.76	c 1669s |      26 | 14569947 | 11089852 |     3017   8422 |        0 |        0
1671.20/1671.79	c 1671s |      26 | 14585742 | 11101852 |     3017   8430 |        0 |        0
1673.30/1673.80	c 1673s |      26 | 14597799 | 11112052 |     3017   8436 |        0 |        0
1675.30/1675.80	c 1675s |      26 | 14613047 | 11123752 |     3017   8443 |        0 |        0
1677.30/1677.81	c 1677s |      26 | 14628099 | 11135652 |     3017   8450 |        0 |        0
1679.30/1679.82	c 1679s |      26 | 14643232 | 11147452 |     3017   8458 |        0 |        0
1681.29/1681.84	c 1681s |      26 | 14658058 | 11159652 |     3017   8465 |        0 |        0
1683.29/1683.84	c 1683s |      26 | 14674754 | 11172552 |     3017   8473 |        0 |        0
1685.29/1685.84	c 1685s |      26 | 14691430 | 11185352 |     3017   8481 |        0 |        0
1687.29/1687.86	c 1687s |      26 | 14708178 | 11198552 |     3017   8490 |        0 |        0
1689.29/1689.86	c 1689s |      26 | 14724710 | 11211452 |     3017   8498 |        0 |        0
1691.29/1691.88	c 1691s |      26 | 14736671 | 11221752 |     3017   8504 |        0 |        0
1693.29/1693.88	c 1693s |      26 | 14751907 | 11233652 |     3017   8511 |        0 |        0
1695.29/1695.89	c 1695s |      26 | 14766917 | 11245752 |     3017   8519 |        0 |        0
1697.39/1697.90	c 1697s |      26 | 14782979 | 11258352 |     3017   8527 |        0 |        0
1699.38/1699.91	c 1699s |      26 | 14798851 | 11270952 |     3017   8534 |        0 |        0
1701.38/1701.91	c 1701s |      26 | 14814434 | 11283352 |     3017   8542 |        0 |        0
1703.38/1703.91	c 1703s |      26 | 14830113 | 11295652 |     3017   8550 |        0 |        0
1705.38/1705.93	c 1705s |      26 | 14846109 | 11308252 |     3017   8558 |        0 |        0
1707.37/1707.93	c 1707s |      26 | 14859986 | 11319352 |     3319   8564 |        0 |        0
1709.37/1709.95	c 1709s |      26 | 14874458 | 11330852 |     3319   8571 |        0 |        0
1711.37/1711.96	c 1711s |      26 | 14889825 | 11342352 |     3319   8577 |        0 |        0
1713.38/1713.98	c 1713s |      26 | 14904841 | 11354252 |     3319   8584 |        0 |        0
1715.37/1715.99	c 1715s |      26 | 14918990 | 11365652 |     3319   8590 |        0 |        0
1717.37/1717.99	c 1717s |      26 | 14933955 | 11377152 |     3319   8597 |        0 |        0
1719.37/1719.99	c 1719s |      26 | 14950304 | 11389452 |     3319   8604 |        0 |        0
1720.67/1721.21	c 1721s |      27 | 14959828 | 11396733 |     3319   8608 |        0 |        0
1722.66/1723.23	c 1723s |      27 | 14975498 | 11408433 |     3319   8614 |        0 |        0
1724.67/1725.24	c 1725s |      27 | 14990228 | 11419933 |     3319   8621 |        0 |        0
1726.67/1727.26	c 1727s |      27 | 15006545 | 11431733 |     3319   8628 |        0 |        0
1728.68/1729.26	c 1729s |      27 | 15021951 | 11443433 |     3319   8634 |        0 |        0
1730.67/1731.26	c 1731s |      27 | 15037386 | 11455333 |     3319   8641 |        0 |        0
1732.66/1733.28	c 1733s |      27 | 15051950 | 11466633 |     3319   8647 |        0 |        0
1734.66/1735.29	c 1735s |      27 | 15064878 | 11477133 |     3319   8653 |        0 |        0
1736.76/1737.30	c 1737s |      27 | 15078521 | 11487533 |     3319   8659 |        0 |        0
1738.76/1739.30	c 1739s |      27 | 15093446 | 11498633 |     3319   8665 |        0 |        0
1740.77/1741.31	c 1741s |      27 | 15108602 | 11509733 |     3319   8672 |        0 |        0
1742.76/1743.33	c 1743s |      27 | 15121563 | 11520333 |     3319   8677 |        0 |        0
1744.75/1745.34	c 1745s |      27 | 15136890 | 11531633 |     3319   8684 |        0 |        0
1746.75/1747.34	c 1747s |      27 | 15151254 | 11542533 |     3319   8690 |        0 |        0
1748.75/1749.35	c 1749s |      27 | 15167001 | 11553933 |     3319   8696 |        0 |        0
1750.76/1751.35	c 1751s |      27 | 15182316 | 11565533 |     3319   8703 |        0 |        0
1752.75/1753.35	c 1753s |      27 | 15197832 | 11577033 |     3319   8709 |        0 |        0
1754.75/1755.36	c 1755s |      27 | 15213947 | 11588833 |     3319   8716 |        0 |        0
1756.75/1757.36	c 1757s |      27 | 15230419 | 11600433 |     3319   8723 |        0 |        0
1758.75/1759.37	c 1759s |      27 | 15247106 | 11613233 |     3319   8730 |        0 |        0
1760.75/1761.39	c 1761s |      27 | 15263052 | 11625433 |     3319   8737 |        0 |        0
1762.75/1763.40	c 1763s |      27 | 15278241 | 11636833 |     3319   8743 |        0 |        0
1764.84/1765.41	c 1765s |      27 | 15293753 | 11648733 |     3319   8750 |        0 |        0
1766.84/1767.42	c 1767s |      27 | 15308825 | 11660533 |     3319   8756 |        0 |        0
1768.84/1769.43	c 1769s |      27 | 15323582 | 11672133 |     3319   8763 |        0 |        0
1770.84/1771.43	c 1771s |      27 | 15339378 | 11683933 |     3319   8770 |        0 |        0
1772.84/1773.43	c 1773s |      27 | 15353213 | 11694833 |     3319   8776 |        0 |        0
1774.85/1775.43	c 1775s |      27 | 15369039 | 11706333 |     3319   8782 |        0 |        0
1776.84/1777.44	c 1777s |      27 | 15384072 | 11717633 |     3319   8789 |        0 |        0
1778.84/1779.46	c 1779s |      27 | 15399559 | 11729533 |     3319   8796 |        0 |        0
1780.84/1781.47	c 1781s |      27 | 15416089 | 11742033 |     3319   8803 |        0 |        0
1782.83/1783.48	c 1783s |      27 | 15434103 | 11754833 |     3319   8810 |        0 |        0
1784.84/1785.48	c 1785s |      27 | 15449152 | 11766633 |     3319   8817 |        0 |        0
1786.83/1787.48	c 1787s |      27 | 15465719 | 11779033 |     3319   8824 |        0 |        0
1788.94/1789.51	c 1789s |      27 | 15481496 | 11791133 |     3319   8830 |        0 |        0
1790.94/1791.51	c 1791s |      27 | 15497090 | 11803433 |     3319   8837 |        0 |        0
1792.93/1793.51	c 1793s |      27 | 15511053 | 11814733 |     3319   8844 |        0 |        0
1794.93/1795.51	c 1795s |      27 | 15528098 | 11827333 |     3319   8851 |        0 |        0
1796.94/1797.52	c 1797s |      27 | 15545880 | 11840633 |     3319   8858 |        0 |        0
1798.93/1799.54	c 1799s |      27 | 15561360 | 11852333 |     3319   8865 |        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-4120498-1467311434/watcher-4120498-1467311434 -o /tmp/evaluation-result-4120498-1467311434/solver-4120498-1467311434 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1467310918-18130 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120498-1467311434.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.25 2.21 2.12 3/180 18467
/proc/meminfo: memFree=28509052/32872528 swapFree=1498612/1645780
[pid=18467] ppid=18464 vsize=803260 CPUtime=0 cores=1,3,5,7
/proc/18467/stat : 18467 (toysat) R 18464 18467 13393 0 -1 4202496 3013 0 0 0 0 0 0 0 20 0 4 0 12100226 822538240 3373 33554432000 4194304 16246674 140733566715872 140733566715296 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18467/statm: 201583 3381 441 2943 0 198477 0
[pid=18467/tid=18468] ppid=18464 vsize=821692 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18468/stat : 18468 (toysat) S 18464 18467 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12100226 841412608 3445 33554432000 4194304 16246674 140733566715872 140182703549680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18467/tid=18469] ppid=18464 vsize=826812 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18469/stat : 18469 (toysat) S 18464 18467 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12100226 846655488 3461 33554432000 4194304 16246674 140733566715872 140182693059824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18467/tid=18470] ppid=18464 vsize=829884 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18470/stat : 18470 (toysat) S 18464 18467 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12100226 849801216 3477 33554432000 4194304 16246674 140733566715872 140182682586288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100165 s]
/proc/loadavg: 2.25 2.21 2.12 3/180 18467
/proc/meminfo: memFree=28509052/32872528 swapFree=1498612/1645780
[pid=18467] ppid=18464 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/18467/stat : 18467 (toysat) R 18464 18467 13393 0 -1 4202496 24825 0 0 0 6 3 0 0 20 0 4 0 12100226 1247350784 25174 33554432000 4194304 16246674 140733566715872 140733566715296 5532301 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18467/statm: 304529 25185 708 2943 0 301423 0
[pid=18467/tid=18468] ppid=18464 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18468/stat : 18468 (toysat) S 18464 18467 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12100226 1247350784 25192 33554432000 4194304 16246674 140733566715872 140182703549680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18467/tid=18469] ppid=18464 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18469/stat : 18469 (toysat) S 18464 18467 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12100226 1247350784 25199 33554432000 4194304 16246674 140733566715872 140182693059824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18467/tid=18470] ppid=18464 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18470/stat : 18470 (toysat) S 18464 18467 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12100226 1247350784 25206 33554432000 4194304 16246674 140733566715872 140182682586288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200519 s]
/proc/loadavg: 2.25 2.21 2.12 3/180 18467
/proc/meminfo: memFree=28509052/32872528 swapFree=1498612/1645780
[pid=18467] ppid=18464 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/18467/stat : 18467 (toysat) R 18464 18467 13393 0 -1 4202496 47078 0 0 0 12 7 0 0 20 0 4 0 12100226 1247350784 47427 33554432000 4194304 16246674 140733566715872 140733566715296 6021133 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18467/statm: 304529 47440 708 2943 0 301423 0
[pid=18467/tid=18468] ppid=18464 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18468/stat : 18468 (toysat) S 18464 18467 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12100226 1247350784 47447 33554432000 4194304 16246674 140733566715872 140182703549680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18467/tid=18469] ppid=18464 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18469/stat : 18469 (toysat) S 18464 18467 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12100226 1247350784 47455 33554432000 4194304 16246674 140733566715872 140182693059824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18467/tid=18470] ppid=18464 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18470/stat : 18470 (toysat) S 18464 18467 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12100226 1247350784 47462 33554432000 4194304 16246674 140733566715872 140182682586288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300499 s]
/proc/loadavg: 2.25 2.21 2.12 3/180 18467
/proc/meminfo: memFree=28509052/32872528 swapFree=1498612/1645780
[pid=18467] ppid=18464 vsize=1218116 CPUtime=0.28 cores=1,3,5,7
/proc/18467/stat : 18467 (toysat) R 18464 18467 13393 0 -1 4202496 68602 0 0 0 19 9 0 0 20 0 4 0 12100226 1247350784 68952 33554432000 4194304 16246674 140733566715872 140733566715296 5677277 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18467/statm: 304529 68964 708 2943 0 301423 0
[pid=18467/tid=18468] ppid=18464 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18468/stat : 18468 (toysat) S 18464 18467 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12100226 1247350784 68971 33554432000 4194304 16246674 140733566715872 140182703549680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18467/tid=18469] ppid=18464 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18469/stat : 18469 (toysat) S 18464 18467 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12100226 1247350784 68979 33554432000 4194304 16246674 140733566715872 140182693059824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18467/tid=18470] ppid=18464 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18470/stat : 18470 (toysat) S 18464 18467 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12100226 1247350784 68984 33554432000 4194304 16246674 140733566715872 140182682586288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700413 s]
/proc/loadavg: 2.25 2.21 2.12 3/180 18467
/proc/meminfo: memFree=28509052/32872528 swapFree=1498612/1645780
[pid=18467] ppid=18464 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/18467/stat : 18467 (toysat) R 18464 18467 13393 0 -1 4202496 155595 0 0 0 48 21 0 0 20 0 4 0 12100226 1247350784 155945 33554432000 4194304 16246674 140733566715872 140733566697792 6842729 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18467/statm: 304529 155956 709 2943 0 301423 0
[pid=18467/tid=18468] ppid=18464 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18468/stat : 18468 (toysat) S 18464 18467 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12100226 1247350784 155964 33554432000 4194304 16246674 140733566715872 140182703549680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18467/tid=18469] ppid=18464 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18469/stat : 18469 (toysat) S 18464 18467 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12100226 1247350784 155968 33554432000 4194304 16246674 140733566715872 140182693059824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18467/tid=18470] ppid=18464 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18470/stat : 18470 (toysat) S 18464 18467 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12100226 1247350784 155973 33554432000 4194304 16246674 140733566715872 140182682586288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.25 2.21 2.12 3/184 18471
/proc/meminfo: memFree=27526376/32872528 swapFree=1498612/1645780
[pid=18467] ppid=18464 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/18467/stat : 18467 (toysat) R 18464 18467 13393 0 -1 4202496 245710 0 0 0 115 34 0 0 20 0 4 0 12100226 1248399360 246039 33554432000 4194304 16246674 140733566715872 140733566698872 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18467/statm: 304785 246039 783 2943 0 301679 0
[pid=18467/tid=18468] ppid=18464 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18468/stat : 18468 (toysat) S 18464 18467 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12100226 1248399360 246039 33554432000 4194304 16246674 140733566715872 140182703549680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18467/tid=18469] ppid=18464 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18469/stat : 18469 (toysat) S 18464 18467 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12100226 1248399360 246039 33554432000 4194304 16246674 140733566715872 140182693059824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18467/tid=18470] ppid=18464 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18470/stat : 18470 (toysat) S 18464 18467 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12100226 1248399360 246039 33554432000 4194304 16246674 140733566715872 140182682586288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10043 s]
/proc/loadavg: 2.23 2.20 2.12 3/184 18471
/proc/meminfo: memFree=27439576/32872528 swapFree=1498612/1645780
[pid=18467] ppid=18464 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/18467/stat : 18467 (toysat) R 18464 18467 13393 0 -1 4202496 267511 0 0 0 271 38 0 0 20 0 4 0 12100226 1337528320 267840 33554432000 4194304 16246674 140733566715872 140733566697792 5589737 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18467/statm: 326545 267840 783 2943 0 323439 0
[pid=18467/tid=18468] ppid=18464 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18468/stat : 18468 (toysat) S 18464 18467 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12100226 1337528320 267840 33554432000 4194304 16246674 140733566715872 140182703549680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18467/tid=18469] ppid=18464 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18469/stat : 18469 (toysat) S 18464 18467 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12100226 1337528320 267840 33554432000 4194304 16246674 140733566715872 140182693059824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18467/tid=18470] ppid=18464 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18470/stat : 18470 (toysat) S 18464 18467 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12100226 1337528320 267840 33554432000 4194304 16246674 140733566715872 140182682586288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30043 s]
/proc/loadavg: 2.23 2.20 2.12 3/184 18471
/proc/meminfo: memFree=27438584/32872528 swapFree=1498612/1645780
[pid=18467] ppid=18464 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/18467/stat : 18467 (toysat) R 18464 18467 13393 0 -1 4202496 267804 0 0 0 591 38 0 0 20 0 4 0 12100226 1338576896 268133 33554432000 4194304 16246674 140733566715872 140733566697792 5754912 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18467/statm: 326801 268133 785 2943 0 323695 0
[pid=18467/tid=18468] ppid=18464 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18468/stat : 18468 (toysat) S 18464 18467 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12100226 1338576896 268133 33554432000 4194304 16246674 140733566715872 140182703549680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18467/tid=18469] ppid=18464 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18469/stat : 18469 (toysat) S 18464 18467 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12100226 1338576896 268133 33554432000 4194304 16246674 140733566715872 140182693059824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18467/tid=18470] ppid=18464 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18470/stat : 18470 (toysat) S 18464 18467 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12100226 1338576896 268133 33554432000 4194304 16246674 140733566715872 140182682586288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.27 2.21 2.13 4/184 18471
/proc/meminfo: memFree=27437068/32872528 swapFree=1498612/1645780
[pid=18467] ppid=18464 vsize=1308228 CPUtime=12.69 cores=1,3,5,7
/proc/18467/stat : 18467 (toysat) R 18464 18467 13393 0 -1 4202496 268075 0 0 0 1231 38 0 0 20 0 4 0 12100226 1339625472 268404 33554432000 4194304 16246674 140733566715872 140733566697792 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18467/statm: 327057 268404 785 2943 0 323951 0
[pid=18467/tid=18468] ppid=18464 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18468/stat : 18468 (toysat) S 18464 18467 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12100226 1339625472 268404 33554432000 4194304 16246674 140733566715872 140182703549680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18467/tid=18469] ppid=18464 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18469/stat : 18469 (toysat) S 18464 18467 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12100226 1339625472 268404 33554432000 4194304 16246674 140733566715872 140182693059824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18467/tid=18470] ppid=18464 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18470/stat : 18470 (toysat) S 18464 18467 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12100226 1339625472 268404 33554432000 4194304 16246674 140733566715872 140182682586288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.31 2.22 2.13 3/184 18471
/proc/meminfo: memFree=27437748/32872528 swapFree=1498612/1645780
[pid=18467] ppid=18464 vsize=1308228 CPUtime=25.48 cores=1,3,5,7
/proc/18467/stat : 18467 (toysat) R 18464 18467 13393 0 -1 4202496 268081 0 0 0 2510 38 0 0 20 0 4 0 12100226 1339625472 268410 33554432000 4194304 16246674 140733566715872 140733566698872 6021840 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18467/statm: 327057 268410 785 2943 0 323951 0
[pid=18467/tid=18468] ppid=18464 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18468/stat : 18468 (toysat) S 18464 18467 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12100226 1339625472 268410 33554432000 4194304 16246674 140733566715872 140182703549680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18467/tid=18469] ppid=18464 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18469/stat : 18469 (toysat) S 18464 18467 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12100226 1339625472 268410 33554432000 4194304 16246674 140733566715872 140182693059824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18467/tid=18470] ppid=18464 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18470/stat : 18470 (toysat) S 18464 18467 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12100226 1339625472 268410 33554432000 4194304 16246674 140733566715872 140182682586288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1308228

[startup+51.1005 s]
/proc/loadavg: 2.28 2.22 2.13 3/183 18471
/proc/meminfo: memFree=27435528/32872528 swapFree=1498612/1645780
[pid=18467] ppid=18464 vsize=1310276 CPUtime=51.08 cores=1,3,5,7
/proc/18467/stat : 18467 (toysat) R 18464 18467 13393 0 -1 4202496 268593 0 0 0 5069 39 0 0 20 0 4 0 12100226 1341722624 268922 33554432000 4194304 16246674 140733566715872 140733566697792 5824140 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18467/statm: 327569 268922 785 2943 0 324463 0
[pid=18467/tid=18468] ppid=18464 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18468/stat : 18468 (toysat) S 18464 18467 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12100226 1341722624 268922 33554432000 4194304 16246674 140733566715872 140182703549680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18467/tid=18469] ppid=18464 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18469/stat : 18469 (toysat) S 18464 18467 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12100226 1341722624 268922 33554432000 4194304 16246674 140733566715872 140182693059824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18467/tid=18470] ppid=18464 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18470/stat : 18470 (toysat) S 18464 18467 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12100226 1341722624 268922 33554432000 4194304 16246674 140733566715872 140182682586288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1310276

[startup+102.301 s]
/proc/loadavg: 2.27 2.23 2.14 4/183 18473
/proc/meminfo: memFree=27435204/32872528 swapFree=1498612/1645780
[pid=18467] ppid=18464 vsize=1310276 CPUtime=102.28 cores=1,3,5,7
/proc/18467/stat : 18467 (toysat) R 18464 18467 13393 0 -1 4202496 268595 0 0 0 10188 40 0 0 20 0 4 0 12100226 1341722624 268924 33554432000 4194304 16246674 140733566715872 140733566697792 5974006 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18467/statm: 327569 268924 787 2943 0 324463 0
[pid=18467/tid=18468] ppid=18464 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18468/stat : 18468 (toysat) S 18464 18467 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12100226 1341722624 268924 33554432000 4194304 16246674 140733566715872 140182703549680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18467/tid=18469] ppid=18464 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18469/stat : 18469 (toysat) S 18464 18467 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12100226 1341722624 268924 33554432000 4194304 16246674 140733566715872 140182693059824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18467/tid=18470] ppid=18464 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18470/stat : 18470 (toysat) S 18464 18467 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12100226 1341722624 268924 33554432000 4194304 16246674 140733566715872 140182682586288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1310276


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

/proc/18467/task/18470/stat : 18470 (toysat) S 18464 18467 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12100226 1346965504 270209 33554432000 4194304 16246674 140733566715872 140182682586288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 1315396

[startup+1302.3 s]
/proc/loadavg: 2.28 2.25 2.19 3/183 18503
/proc/meminfo: memFree=27425624/32872528 swapFree=1498612/1645780
[pid=18467] ppid=18464 vsize=1315396 CPUtime=1302.04 cores=1,3,5,7
/proc/18467/stat : 18467 (toysat) R 18464 18467 13393 0 -1 4202496 269965 0 0 0 130142 62 0 0 20 0 4 0 12100226 1346965504 270209 33554432000 4194304 16246674 140733566715872 140733566697792 5673503 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18467/statm: 328849 270209 789 2943 0 325743 0
[pid=18467/tid=18468] ppid=18464 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18468/stat : 18468 (toysat) S 18464 18467 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12100226 1346965504 270209 33554432000 4194304 16246674 140733566715872 140182703549680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18467/tid=18469] ppid=18464 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18469/stat : 18469 (toysat) S 18464 18467 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12100226 1346965504 270209 33554432000 4194304 16246674 140733566715872 140182693059824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18467/tid=18470] ppid=18464 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18470/stat : 18470 (toysat) S 18464 18467 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12100226 1346965504 270209 33554432000 4194304 16246674 140733566715872 140182682586288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 1315396

[startup+1362.3 s]
/proc/loadavg: 2.36 2.27 2.20 3/183 18504
/proc/meminfo: memFree=27425476/32872528 swapFree=1498612/1645780
[pid=18467] ppid=18464 vsize=1315396 CPUtime=1362 cores=1,3,5,7
/proc/18467/stat : 18467 (toysat) R 18464 18467 13393 0 -1 4202496 270004 0 0 0 136137 63 0 0 20 0 4 0 12100226 1346965504 270209 33554432000 4194304 16246674 140733566715872 140733566697792 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18467/statm: 328849 270209 789 2943 0 325743 0
[pid=18467/tid=18468] ppid=18464 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18468/stat : 18468 (toysat) S 18464 18467 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12100226 1346965504 270209 33554432000 4194304 16246674 140733566715872 140182703549680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18467/tid=18469] ppid=18464 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18469/stat : 18469 (toysat) S 18464 18467 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12100226 1346965504 270209 33554432000 4194304 16246674 140733566715872 140182693059824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18467/tid=18470] ppid=18464 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18470/stat : 18470 (toysat) S 18464 18467 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12100226 1346965504 270209 33554432000 4194304 16246674 140733566715872 140182682586288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 1315396

[startup+1422.3 s]
/proc/loadavg: 2.35 2.28 2.20 3/183 18505
/proc/meminfo: memFree=27425776/32872528 swapFree=1498612/1645780
[pid=18467] ppid=18464 vsize=1315396 CPUtime=1421.97 cores=1,3,5,7
/proc/18467/stat : 18467 (toysat) R 18464 18467 13393 0 -1 4202496 270048 0 0 0 142133 64 0 0 20 0 4 0 12100226 1346965504 270209 33554432000 4194304 16246674 140733566715872 140733566697792 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18467/statm: 328849 270209 789 2943 0 325743 0
[pid=18467/tid=18468] ppid=18464 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18468/stat : 18468 (toysat) S 18464 18467 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12100226 1346965504 270209 33554432000 4194304 16246674 140733566715872 140182703549680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18467/tid=18469] ppid=18464 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18469/stat : 18469 (toysat) S 18464 18467 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12100226 1346965504 270209 33554432000 4194304 16246674 140733566715872 140182693059824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18467/tid=18470] ppid=18464 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18470/stat : 18470 (toysat) S 18464 18467 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12100226 1346965504 270209 33554432000 4194304 16246674 140733566715872 140182682586288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 1315396

[startup+1482.3 s]
/proc/loadavg: 2.24 2.26 2.20 3/183 18506
/proc/meminfo: memFree=27425584/32872528 swapFree=1498612/1645780
[pid=18467] ppid=18464 vsize=1315396 CPUtime=1481.92 cores=1,3,5,7
/proc/18467/stat : 18467 (toysat) R 18464 18467 13393 0 -1 4202496 270089 0 0 0 148127 65 0 0 20 0 4 0 12100226 1346965504 270209 33554432000 4194304 16246674 140733566715872 140733566697792 5823408 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18467/statm: 328849 270209 789 2943 0 325743 0
[pid=18467/tid=18468] ppid=18464 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18468/stat : 18468 (toysat) S 18464 18467 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12100226 1346965504 270209 33554432000 4194304 16246674 140733566715872 140182703549680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18467/tid=18469] ppid=18464 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18469/stat : 18469 (toysat) S 18464 18467 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12100226 1346965504 270209 33554432000 4194304 16246674 140733566715872 140182693059824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18467/tid=18470] ppid=18464 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18470/stat : 18470 (toysat) S 18464 18467 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12100226 1346965504 270209 33554432000 4194304 16246674 140733566715872 140182682586288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1315396

[startup+1542.31 s]
/proc/loadavg: 2.16 2.24 2.19 3/183 18507
/proc/meminfo: memFree=27425372/32872528 swapFree=1498612/1645780
[pid=18467] ppid=18464 vsize=1315396 CPUtime=1541.89 cores=1,3,5,7
/proc/18467/stat : 18467 (toysat) R 18464 18467 13393 0 -1 4202496 270136 0 0 0 154123 66 0 0 20 0 4 0 12100226 1346965504 270209 33554432000 4194304 16246674 140733566715872 140733566697728 5545784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18467/statm: 328849 270209 789 2943 0 325743 0
[pid=18467/tid=18468] ppid=18464 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18468/stat : 18468 (toysat) S 18464 18467 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12100226 1346965504 270209 33554432000 4194304 16246674 140733566715872 140182703549680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18467/tid=18469] ppid=18464 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18469/stat : 18469 (toysat) S 18464 18467 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12100226 1346965504 270209 33554432000 4194304 16246674 140733566715872 140182693059824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18467/tid=18470] ppid=18464 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18470/stat : 18470 (toysat) S 18464 18467 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12100226 1346965504 270209 33554432000 4194304 16246674 140733566715872 140182682586288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1315396

[startup+1602.3 s]
/proc/loadavg: 2.25 2.25 2.19 3/183 18509
/proc/meminfo: memFree=27425500/32872528 swapFree=1498612/1645780
[pid=18467] ppid=18464 vsize=1315396 CPUtime=1601.84 cores=1,3,5,7
/proc/18467/stat : 18467 (toysat) R 18464 18467 13393 0 -1 4202496 270180 0 0 0 160117 67 0 0 20 0 4 0 12100226 1346965504 270209 33554432000 4194304 16246674 140733566715872 140733566697792 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18467/statm: 328849 270209 789 2943 0 325743 0
[pid=18467/tid=18468] ppid=18464 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18468/stat : 18468 (toysat) S 18464 18467 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12100226 1346965504 270209 33554432000 4194304 16246674 140733566715872 140182703549680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18467/tid=18469] ppid=18464 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18469/stat : 18469 (toysat) S 18464 18467 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12100226 1346965504 270209 33554432000 4194304 16246674 140733566715872 140182693059824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18467/tid=18470] ppid=18464 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18470/stat : 18470 (toysat) S 18464 18467 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12100226 1346965504 270209 33554432000 4194304 16246674 140733566715872 140182682586288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1315396

[startup+1662.3 s]
/proc/loadavg: 2.24 2.25 2.19 3/183 18558
/proc/meminfo: memFree=27424872/32872528 swapFree=1498612/1645780
[pid=18467] ppid=18464 vsize=1315396 CPUtime=1661.81 cores=1,3,5,7
/proc/18467/stat : 18467 (toysat) R 18464 18467 13393 0 -1 4202496 270228 0 0 0 166112 69 0 0 20 0 4 0 12100226 1346965504 270209 33554432000 4194304 16246674 140733566715872 140733566697792 12470531 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18467/statm: 328849 270209 789 2943 0 325743 0
[pid=18467/tid=18468] ppid=18464 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18468/stat : 18468 (toysat) S 18464 18467 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12100226 1346965504 270209 33554432000 4194304 16246674 140733566715872 140182703549680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18467/tid=18469] ppid=18464 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18469/stat : 18469 (toysat) S 18464 18467 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12100226 1346965504 270209 33554432000 4194304 16246674 140733566715872 140182693059824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18467/tid=18470] ppid=18464 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18470/stat : 18470 (toysat) S 18464 18467 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12100226 1346965504 270209 33554432000 4194304 16246674 140733566715872 140182682586288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1315396

[startup+1722.3 s]
/proc/loadavg: 2.18 2.23 2.18 3/183 18559
/proc/meminfo: memFree=27422424/32872528 swapFree=1498612/1645780
[pid=18467] ppid=18464 vsize=1318468 CPUtime=1721.76 cores=1,3,5,7
/proc/18467/stat : 18467 (toysat) R 18464 18467 13393 0 -1 4202496 270879 0 0 0 172107 69 0 0 20 0 4 0 12100226 1350111232 270813 33554432000 4194304 16246674 140733566715872 140733566697792 5522977 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18467/statm: 329617 270813 789 2943 0 326511 0
[pid=18467/tid=18468] ppid=18464 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18468/stat : 18468 (toysat) S 18464 18467 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12100226 1350111232 270813 33554432000 4194304 16246674 140733566715872 140182703549680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18467/tid=18469] ppid=18464 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18469/stat : 18469 (toysat) S 18464 18467 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12100226 1350111232 270813 33554432000 4194304 16246674 140733566715872 140182693059824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18467/tid=18470] ppid=18464 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18470/stat : 18470 (toysat) S 18464 18467 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12100226 1350111232 270813 33554432000 4194304 16246674 140733566715872 140182682586288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1318468

[startup+1782.3 s]
/proc/loadavg: 2.27 2.25 2.19 3/184 18563
/proc/meminfo: memFree=27417992/32872528 swapFree=1498612/1645780
[pid=18467] ppid=18464 vsize=1319492 CPUtime=1781.73 cores=1,3,5,7
/proc/18467/stat : 18467 (toysat) R 18464 18467 13393 0 -1 4202496 271093 0 0 0 178103 70 0 0 20 0 4 0 12100226 1351159808 270988 33554432000 4194304 16246674 140733566715872 140733566697792 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18467/statm: 329873 270988 789 2943 0 326767 0
[pid=18467/tid=18468] ppid=18464 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18468/stat : 18468 (toysat) S 18464 18467 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12100226 1351159808 270988 33554432000 4194304 16246674 140733566715872 140182703549680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18467/tid=18469] ppid=18464 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18469/stat : 18469 (toysat) S 18464 18467 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12100226 1351159808 270988 33554432000 4194304 16246674 140733566715872 140182693059824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18467/tid=18470] ppid=18464 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18470/stat : 18470 (toysat) S 18464 18467 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12100226 1351159808 270988 33554432000 4194304 16246674 140733566715872 140182682586288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1319492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.27 2.24 2.19 4/184 18564
/proc/meminfo: memFree=27417608/32872528 swapFree=1498612/1645780
[pid=18467] ppid=18464 vsize=1319492 CPUtime=1800.03 cores=1,3,5,7
/proc/18467/stat : 18467 (toysat) R 18464 18467 13393 0 -1 4202496 271101 0 0 0 179932 71 0 0 20 0 4 0 12100226 1351159808 270988 33554432000 4194304 16246674 140733566715872 140733566697792 5667339 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18467/statm: 329873 270988 789 2943 0 326767 0
[pid=18467/tid=18468] ppid=18464 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18468/stat : 18468 (toysat) S 18464 18467 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12100226 1351159808 270988 33554432000 4194304 16246674 140733566715872 140182703549680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18467/tid=18469] ppid=18464 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18469/stat : 18469 (toysat) S 18464 18467 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12100226 1351159808 270988 33554432000 4194304 16246674 140733566715872 140182693059824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18467/tid=18470] ppid=18464 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/18467/task/18470/stat : 18470 (toysat) S 18464 18467 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12100226 1351159808 270988 33554432000 4194304 16246674 140733566715872 140182682586288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1319492

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.04
CPU user time (s): 1799.33
CPU system time (s): 0.711891
CPU usage (%): 99.9683
Max. virtual memory (cumulated for all children) (KiB): 1319492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.33
system time used= 0.711891
maximum resident set size= 1083952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271101
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= 459
involuntary context switches= 1854

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.63729 second user time and 6.90195 second system time

The end

Launcher Data 

Begin job on node124 at 2016-06-30 20:30:34
IDJOB=4120498
IDBENCH=109977
IDSOLVER=2542
FILE ID=node124/4120498-1467311434
RUNJOBID= node124-1467310918-18130
PBS_JOBID= 20005255
Free space on /tmp= 71708 MiB

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

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

MD5SUM BENCH= 4baa07f1f2f042a370f379c3361f52d3
RANDOM SEED=406799242

node124.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.062
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.12
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.062
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.062
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:        28509960 kB
Buffers:          146356 kB
Cached:           736376 kB
SwapCached:            0 kB
Active:          1341536 kB
Inactive:         628936 kB
Active(anon):    1078968 kB
Inactive(anon):    11336 kB
Active(file):     262568 kB
Inactive(file):   617600 kB
Unevictable:     1645780 kB
Mlocked:         1498612 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16356 kB
Writeback:             0 kB
AnonPages:       2735396 kB
Mapped:            17108 kB
Shmem:               204 kB
Slab:             610516 kB
SReclaimable:      54444 kB
SUnreclaim:       556072 kB
KernelStack:        1528 kB
PageTables:         9792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2866660 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    157696 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= 71692 MiB
End job on node124 at 2016-06-30 21:00:35