Trace number 4122514

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-fixed-bandwidth-86.cnf.gz-extracted.pb.metafix.opb
MD5SUM66d70b225ecce73e79d92186c4fd0c1d
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 variables345
Total number of constraints344
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)344
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-30T22:00:14+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-4122514-1467316814.opb"]
0.00/0.01	c use --random-gen="3445281855 529616722 3711409529 122740098 3564976254 758566625 2796740463 1764399357 3118403590 3187520578 3240405024 4210497366 3226751060 1061411032 3514339494 1590832880 374045345 4185903853 2993709613 4008132071 1078834493 3227228636 2076079754 1986585378 2195403386 1269204638 955827727 1573857041 563624725 478575559 788832660 2543782291 1752782203 1977524397 1859173508 3933202499 464985548 1014487999 3034757183 2697103434 3436338341 2531584540 2356704698 2909313001 3198873504 938135366 1694172955 1162210423 310498392 1526658019 189628350 1592026542 2177523981 2175268296 2779121598 868760959 2051323605 90588359 1753383724 154202814 2302256280 2640409931 4263049911 2504811311 3267763287 472838664 3590152523 821983895 3497905130 3821273406 2853535235 1136214943 691976993 3438885289 423156296 1158009311 4153797868 2024434864 2121147304 2481926069 777063994 3769433692 2371390972 2544082314 3197961727 2965858940 3508965835 342842109 2685233813 330111574 2524332615 2414027206 1611187237 1280306084 1837865369 2564508728 17427113 3001995988 1996888932 2364569759 3092673521 1540894191 3864829725 295888335 2157585737 2083270737 2276743448 1176518946 1709594128 2148430899 1216744752 1951085699 744122523 518927078 3347479523 3655853794 3479583042 310144209 3789297623 1815883834 2947048708 70979401 3872055295 703133239 2655744857 2366937239 1901454825 981727087 901580402 304085173 3835376789 3736630006 384245895 1335696942 3114121705 316794441 3829009292 3990997780 1744110518 3248902232 1290732825 814830681 3379212317 2037563341 3615327534 4040122910 3263988944 1757491771 3114381728 3075278748 313672725 209512274 2461992030 1659052242 2947712476 1122831220 459486293 2634814766 3946968436 37808054 3020117519 1266337317 582644164 855447299 3520223051 337354217 3537385318 271385696 1889181870 596958058 4125169392 1479225116 2961857169 3005513785 217578010 1092418998 3170814852 1222030858 3313833942 2167290039 979476572 827452836 2557446228 2539014316 1985418781 4227212324 2935609768 3441361834 1975377558 1446494022 3318641763 1417847579 2420376862 2451743079 1440982396 2368784112 1947415351 3417749004 1642850057 2074743567 1731621763 1056209892 3931447182 1663245041 3240465198 1105921118 969715850 1911813373 1494240148 3485831724 1813720316 1530143162 35010172 2271485607 744410519 4265465143 484543536 817990225 841103921 373611370 193182352 1039779195 539274474 2123591356 261410647 4027039901 854579868 4116369226 4065011755 457037424 458706646 1887580639 1711030037 2657766919 658899063 3372573435 646689356 2393171006 2302039188 1615928478 593707911 2560063553 3227875083 1586317610 735882546 2376206341 746063332 2612700671 80407846 4220139868 1808162216 3419034533 617503025 3442115522 2278469618 2731122716 255 362436" option to reproduce the execution
0.00/0.01	c #vars 345
0.00/0.01	c #constraints 344
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 |      229      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      210 |      100 |      229      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      399 |      250 |      252      0 |        0 |        0
0.00/0.06	c  0.0s |       3 |      705 |      475 |      278      0 |        0 |        0
0.09/0.10	c  0.1s |       4 |     1179 |      813 |      306      1 |        0 |        0
0.09/0.15	c  0.1s |       5 |     1890 |     1320 |      337      3 |        0 |        0
0.19/0.23	c  0.2s |       6 |     2941 |     2081 |      409      6 |        0 |        0
0.29/0.35	c  0.3s |       7 |     4504 |     3223 |      450      9 |        0 |        0
0.49/0.57	c  0.6s |       8 |     6981 |     4936 |      496     14 |        0 |        0
0.69/0.83	c  0.8s |       9 |    10211 |     7506 |      546     21 |        0 |        0
1.19/1.25	c  1.2s |      10 |    15052 |    11361 |      601     31 |        0 |        0
1.79/1.80	c  1.8s |      11 |    22122 |    17144 |      662     46 |        0 |        0
2.58/2.66	c  2.6s |      12 |    33468 |    25819 |      729     65 |        0 |        0
3.88/3.95	c  3.9s |      13 |    49705 |    38832 |      802     92 |        0 |        0
5.88/5.95	c  5.9s |      13 |    74594 |    58132 |      883    130 |        0 |        0
5.88/5.98	c  6.0s |      14 |    74892 |    58352 |      883    131 |        0 |        0
7.89/7.99	c  8.0s |      14 |    99636 |    76952 |      883    167 |        0 |        0
9.09/9.18	c  9.2s |      15 |   114022 |    87632 |      972    187 |        0 |        0
11.08/11.18	c 11.2s |      15 |   139661 |   105832 |      972    219 |        0 |        0
13.08/13.18	c 13.2s |      15 |   166882 |   124632 |      972    251 |        0 |        0
13.88/13.93	c 13.9s |      16 |   177003 |   131552 |     1070    263 |        0 |        0
15.88/15.94	c 15.9s |      16 |   197581 |   148752 |     1070    291 |        0 |        0
17.89/17.95	c 17.9s |      16 |   218700 |   165752 |     1070    318 |        0 |        0
19.88/19.96	c 19.9s |      16 |   242014 |   183852 |     1070    346 |        0 |        0
21.48/21.53	c 21.5s |      17 |   259395 |   197432 |     1177    368 |        0 |        0
23.48/23.54	c 23.5s |      17 |   281784 |   215432 |     1177    396 |        0 |        0
25.49/25.55	c 25.5s |      17 |   306702 |   234132 |     1177    423 |        0 |        0
27.48/27.55	c 27.5s |      17 |   329695 |   251832 |     1177    448 |        0 |        0
29.48/29.56	c 29.5s |      17 |   351173 |   268732 |     1177    473 |        0 |        0
31.49/31.56	c 31.5s |      17 |   375729 |   287432 |     1177    500 |        0 |        0
32.49/32.52	c 32.5s |      18 |   387695 |   296252 |     1295    512 |        0 |        0
34.49/34.52	c 34.5s |      18 |   407923 |   312352 |     1295    533 |        0 |        0
36.49/36.52	c 36.5s |      18 |   430891 |   330152 |     1295    557 |        0 |        0
38.48/38.52	c 38.5s |      18 |   453128 |   347352 |     1295    579 |        0 |        0
40.48/40.53	c 40.5s |      18 |   475149 |   364452 |     1295    602 |        0 |        0
42.48/42.54	c 42.5s |      18 |   498528 |   382052 |     1295    625 |        0 |        0
44.48/44.54	c 44.5s |      18 |   521383 |   399752 |     1295    648 |        0 |        0
46.49/46.54	c 46.5s |      18 |   543213 |   416752 |     1295    671 |        0 |        0
48.48/48.55	c 48.5s |      18 |   567135 |   435352 |     1295    696 |        0 |        0
49.48/49.58	c 49.6s |      19 |   578783 |   444482 |     1425    708 |        0 |        0
51.48/51.58	c 51.6s |      19 |   600568 |   461182 |     1425    729 |        0 |        0
53.47/53.59	c 53.6s |      19 |   622245 |   477982 |     1425    749 |        0 |        0
55.47/55.59	c 55.6s |      19 |   642282 |   493882 |     1425    769 |        0 |        0
57.57/57.60	c 57.6s |      19 |   661992 |   509382 |     1425    788 |        0 |        0
59.58/59.60	c 59.6s |      19 |   683245 |   525382 |     1425    808 |        0 |        0
61.57/61.61	c 61.6s |      19 |   704484 |   541782 |     1425    828 |        0 |        0
63.57/63.62	c 63.6s |      19 |   725412 |   557982 |     1425    848 |        0 |        0
65.58/65.63	c 65.6s |      19 |   746770 |   573882 |     1425    868 |        0 |        0
67.58/67.63	c 67.6s |      19 |   767278 |   589682 |     1425    888 |        0 |        0
69.59/69.63	c 69.6s |      19 |   787780 |   605082 |     1425    907 |        0 |        0
71.58/71.63	c 71.6s |      19 |   809771 |   621782 |     1425    928 |        0 |        0
73.57/73.64	c 73.6s |      19 |   831234 |   637882 |     1425    947 |        0 |        0
75.57/75.65	c 75.6s |      19 |   852592 |   654282 |     1425    968 |        0 |        0
77.28/77.35	c 77.3s |      20 |   869303 |   666827 |     1568    983 |        0 |        0
79.27/79.35	c 79.3s |      20 |   891675 |   683827 |     1568   1002 |        0 |        0
81.27/81.35	c 81.3s |      20 |   914462 |   701327 |     1568   1022 |        0 |        0
83.27/83.36	c 83.3s |      20 |   936313 |   718227 |     1568   1041 |        0 |        0
85.27/85.37	c 85.3s |      20 |   958059 |   735327 |     1568   1060 |        0 |        0
87.27/87.37	c 87.3s |      20 |   979644 |   751927 |     1568   1079 |        0 |        0
89.28/89.37	c 89.3s |      20 |   999270 |   767227 |     1568   1096 |        0 |        0
91.27/91.37	c 91.4s |      20 |  1019829 |   783027 |     1568   1115 |        0 |        0
93.27/93.38	c 93.4s |      20 |  1042202 |   799927 |     1568   1134 |        0 |        0
95.27/95.38	c 95.4s |      20 |  1065436 |   817227 |     1568   1154 |        0 |        0
97.27/97.39	c 97.4s |      20 |  1086146 |   833527 |     1568   1173 |        0 |        0
99.37/99.40	c 99.4s |      20 |  1107218 |   849527 |     1568   1191 |        0 |        0
101.28/101.40	c  101s |      20 |  1129517 |   866327 |     1568   1210 |        0 |        0
103.38/103.40	c  103s |      20 |  1151104 |   882527 |     1568   1229 |        0 |        0
105.38/105.41	c  105s |      20 |  1173089 |   899427 |     1568   1248 |        0 |        0
107.37/107.42	c  107s |      20 |  1194622 |   915927 |     1568   1267 |        0 |        0
109.37/109.42	c  109s |      20 |  1216585 |   932527 |     1568   1286 |        0 |        0
111.38/111.43	c  111s |      20 |  1237376 |   948727 |     1568   1304 |        0 |        0
113.37/113.43	c  113s |      20 |  1257701 |   964427 |     1568   1323 |        0 |        0
115.37/115.44	c  115s |      20 |  1277830 |   980427 |     1568   1341 |        0 |        0
117.37/117.45	c  117s |      20 |  1297666 |   995827 |     1725   1358 |        0 |        0
118.07/118.11	c  118s |      21 |  1303225 |  1000345 |     1725   1363 |        0 |        0
120.08/120.12	c  120s |      21 |  1324775 |  1016945 |     1725   1380 |        0 |        0
122.07/122.12	c  122s |      21 |  1345429 |  1033045 |     1725   1397 |        0 |        0
124.07/124.13	c  124s |      21 |  1366116 |  1048645 |     1725   1413 |        0 |        0
126.07/126.14	c  126s |      21 |  1387144 |  1064245 |     1725   1430 |        0 |        0
128.07/128.14	c  128s |      21 |  1404146 |  1078445 |     1725   1445 |        0 |        0
130.08/130.14	c  130s |      21 |  1425175 |  1094045 |     1725   1461 |        0 |        0
132.07/132.16	c  132s |      21 |  1446434 |  1109945 |     1725   1478 |        0 |        0
134.07/134.17	c  134s |      21 |  1469057 |  1126945 |     1725   1495 |        0 |        0
136.07/136.18	c  136s |      21 |  1489286 |  1142445 |     1725   1512 |        0 |        0
138.07/138.18	c  138s |      21 |  1508603 |  1157645 |     1725   1527 |        0 |        0
140.07/140.19	c  140s |      21 |  1527412 |  1172645 |     1725   1543 |        0 |        0
142.07/142.19	c  142s |      21 |  1546141 |  1187445 |     1725   1559 |        0 |        0
144.16/144.20	c  144s |      21 |  1564528 |  1201945 |     1725   1574 |        0 |        0
146.16/146.21	c  146s |      21 |  1584543 |  1217545 |     1725   1590 |        0 |        0
148.16/148.21	c  148s |      21 |  1603047 |  1231845 |     1725   1605 |        0 |        0
150.16/150.22	c  150s |      21 |  1622523 |  1246845 |     1725   1621 |        0 |        0
152.16/152.23	c  152s |      21 |  1640430 |  1261445 |     1725   1636 |        0 |        0
154.17/154.23	c  154s |      21 |  1658908 |  1276245 |     1725   1652 |        0 |        0
156.16/156.24	c  156s |      21 |  1676962 |  1290145 |     1725   1666 |        0 |        0
158.16/158.25	c  158s |      21 |  1697395 |  1305745 |     1725   1682 |        0 |        0
160.16/160.26	c  160s |      21 |  1717440 |  1321045 |     1725   1698 |        0 |        0
162.16/162.26	c  162s |      21 |  1737494 |  1336545 |     1725   1715 |        0 |        0
164.16/164.26	c  164s |      21 |  1757714 |  1351745 |     1725   1731 |        0 |        0
166.17/166.26	c  166s |      21 |  1778009 |  1367745 |     1725   1747 |        0 |        0
168.16/168.27	c  168s |      21 |  1796945 |  1382845 |     1725   1763 |        0 |        0
170.16/170.27	c  170s |      21 |  1816436 |  1398145 |     1725   1779 |        0 |        0
172.16/172.27	c  172s |      21 |  1837550 |  1414245 |     1725   1796 |        0 |        0
174.16/174.28	c  174s |      21 |  1858312 |  1430245 |     1725   1813 |        0 |        0
176.17/176.29	c  176s |      21 |  1879048 |  1446245 |     1725   1830 |        0 |        0
178.26/178.30	c  178s |      21 |  1901049 |  1462945 |     1725   1847 |        0 |        0
180.26/180.31	c  180s |      21 |  1921538 |  1478045 |     1725   1863 |        0 |        0
182.26/182.32	c  182s |      21 |  1942040 |  1493745 |     1898   1879 |        0 |        0
183.16/183.20	c  183s |      22 |  1951290 |  1500622 |     1898   1885 |        0 |        0
185.16/185.21	c  185s |      22 |  1970526 |  1515922 |     1898   1900 |        0 |        0
187.16/187.21	c  187s |      22 |  1992253 |  1531822 |     1898   1915 |        0 |        0
189.16/189.23	c  189s |      22 |  2014181 |  1548122 |     1898   1931 |        0 |        0
191.15/191.23	c  191s |      22 |  2034759 |  1563722 |     1898   1945 |        0 |        0
193.15/193.24	c  193s |      22 |  2055865 |  1579722 |     1898   1961 |        0 |        0
195.15/195.25	c  195s |      22 |  2076567 |  1595122 |     1898   1975 |        0 |        0
197.16/197.26	c  197s |      22 |  2098068 |  1611222 |     1898   1991 |        0 |        0
199.15/199.26	c  199s |      22 |  2117802 |  1626522 |     1898   2005 |        0 |        0
201.15/201.26	c  201s |      22 |  2137881 |  1641922 |     1898   2020 |        0 |        0
203.15/203.26	c  203s |      22 |  2159877 |  1658122 |     1898   2035 |        0 |        0
205.15/205.27	c  205s |      22 |  2180018 |  1673122 |     1898   2049 |        0 |        0
207.15/207.28	c  207s |      22 |  2200352 |  1688522 |     1898   2064 |        0 |        0
209.16/209.29	c  209s |      22 |  2220126 |  1703722 |     1898   2079 |        0 |        0
211.15/211.30	c  211s |      22 |  2241218 |  1719422 |     1898   2094 |        0 |        0
213.25/213.30	c  213s |      22 |  2262164 |  1734922 |     1898   2108 |        0 |        0
215.26/215.31	c  215s |      22 |  2280675 |  1749422 |     1898   2122 |        0 |        0
217.26/217.32	c  217s |      22 |  2299882 |  1764422 |     1898   2137 |        0 |        0
219.26/219.33	c  219s |      22 |  2322188 |  1780722 |     1898   2152 |        0 |        0
221.26/221.33	c  221s |      22 |  2343780 |  1797322 |     1898   2168 |        0 |        0
223.26/223.35	c  223s |      22 |  2361645 |  1811422 |     1898   2181 |        0 |        0
225.26/225.35	c  225s |      22 |  2380131 |  1825722 |     1898   2195 |        0 |        0
227.26/227.36	c  227s |      22 |  2399876 |  1840922 |     1898   2210 |        0 |        0
229.26/229.36	c  229s |      22 |  2420076 |  1856422 |     1898   2224 |        0 |        0
231.26/231.37	c  231s |      22 |  2439496 |  1871622 |     1898   2239 |        0 |        0
233.25/233.37	c  233s |      22 |  2460062 |  1887122 |     1898   2254 |        0 |        0
235.25/235.39	c  235s |      22 |  2482721 |  1903722 |     1898   2269 |        0 |        0
237.35/237.40	c  237s |      22 |  2504316 |  1919622 |     1898   2285 |        0 |        0
239.35/239.40	c  239s |      22 |  2527213 |  1936222 |     1898   2300 |        0 |        0
241.35/241.41	c  241s |      22 |  2548333 |  1952122 |     1898   2316 |        0 |        0
243.35/243.42	c  243s |      22 |  2570144 |  1968522 |     1898   2331 |        0 |        0
245.35/245.43	c  245s |      22 |  2592427 |  1985122 |     1898   2347 |        0 |        0
247.35/247.44	c  247s |      22 |  2612822 |  2000722 |     1898   2362 |        0 |        0
249.35/249.45	c  249s |      22 |  2635900 |  2017322 |     1898   2378 |        0 |        0
251.34/251.46	c  251s |      22 |  2658604 |  2033722 |     1898   2393 |        0 |        0
253.34/253.46	c  253s |      22 |  2679017 |  2049422 |     1898   2408 |        0 |        0
255.35/255.47	c  255s |      22 |  2699499 |  2065322 |     1898   2423 |        0 |        0
257.34/257.48	c  257s |      22 |  2720951 |  2081322 |     1898   2439 |        0 |        0
259.34/259.49	c  259s |      22 |  2742287 |  2097422 |     1898   2454 |        0 |        0
261.44/261.50	c  261s |      22 |  2763268 |  2113522 |     1898   2469 |        0 |        0
263.45/263.50	c  263s |      22 |  2783149 |  2129022 |     1898   2484 |        0 |        0
265.45/265.50	c  265s |      22 |  2804244 |  2144922 |     1898   2499 |        0 |        0
267.46/267.51	c  267s |      22 |  2823972 |  2160522 |     1898   2514 |        0 |        0
269.45/269.51	c  269s |      22 |  2843923 |  2175822 |     1898   2528 |        0 |        0
271.45/271.51	c  271s |      22 |  2864584 |  2191822 |     1898   2544 |        0 |        0
273.45/273.51	c  273s |      22 |  2883702 |  2206222 |     1898   2557 |        0 |        0
275.45/275.52	c  275s |      22 |  2899834 |  2219522 |     1898   2570 |        0 |        0
277.45/277.52	c  277s |      22 |  2917888 |  2233622 |     1898   2583 |        0 |        0
279.45/279.53	c  279s |      22 |  2936562 |  2247822 |     2088   2596 |        0 |        0
279.85/279.98	c  279s |      23 |  2940960 |  2251038 |     2088   2599 |        0 |        0
281.95/282.00	c  281s |      23 |  2958637 |  2265238 |     2088   2611 |        0 |        0
283.95/284.02	c  283s |      23 |  2977314 |  2279638 |     2088   2624 |        0 |        0
285.94/286.02	c  286s |      23 |  2996894 |  2294438 |     2088   2636 |        0 |        0
287.94/288.03	c  288s |      23 |  3016863 |  2309838 |     2088   2650 |        0 |        0
289.94/290.04	c  290s |      23 |  3033889 |  2323638 |     2088   2662 |        0 |        0
291.94/292.05	c  292s |      23 |  3050701 |  2337138 |     2088   2674 |        0 |        0
293.95/294.05	c  294s |      23 |  3069359 |  2352038 |     2088   2686 |        0 |        0
295.94/296.07	c  296s |      23 |  3088246 |  2367038 |     2088   2700 |        0 |        0
297.94/298.09	c  298s |      23 |  3105979 |  2380938 |     2088   2712 |        0 |        0
299.94/300.09	c  300s |      23 |  3124621 |  2395138 |     2088   2724 |        0 |        0
301.94/302.09	c  302s |      23 |  3143340 |  2409738 |     2088   2737 |        0 |        0
304.04/304.10	c  304s |      23 |  3162782 |  2424838 |     2088   2750 |        0 |        0
306.04/306.11	c  306s |      23 |  3180909 |  2439338 |     2088   2762 |        0 |        0
308.04/308.11	c  308s |      23 |  3199479 |  2453738 |     2088   2775 |        0 |        0
310.04/310.12	c  310s |      23 |  3217311 |  2467938 |     2088   2787 |        0 |        0
312.04/312.13	c  312s |      23 |  3235288 |  2481838 |     2088   2800 |        0 |        0
314.04/314.14	c  314s |      23 |  3253819 |  2496638 |     2088   2812 |        0 |        0
316.04/316.15	c  316s |      23 |  3269859 |  2509338 |     2088   2824 |        0 |        0
318.04/318.15	c  318s |      23 |  3286382 |  2522438 |     2088   2835 |        0 |        0
320.03/320.15	c  320s |      23 |  3303718 |  2536038 |     2088   2847 |        0 |        0
322.04/322.16	c  322s |      23 |  3320916 |  2549638 |     2088   2859 |        0 |        0
324.04/324.17	c  324s |      23 |  3340301 |  2564438 |     2088   2872 |        0 |        0
326.04/326.18	c  326s |      23 |  3360229 |  2579638 |     2088   2885 |        0 |        0
328.05/328.18	c  328s |      23 |  3379200 |  2594338 |     2088   2898 |        0 |        0
330.04/330.20	c  330s |      23 |  3398045 |  2609138 |     2088   2911 |        0 |        0
332.14/332.21	c  332s |      23 |  3416495 |  2623538 |     2088   2923 |        0 |        0
334.14/334.21	c  334s |      23 |  3435383 |  2638238 |     2088   2936 |        0 |        0
336.14/336.21	c  336s |      23 |  3453920 |  2652638 |     2088   2949 |        0 |        0
338.13/338.22	c  338s |      23 |  3471968 |  2667138 |     2088   2961 |        0 |        0
340.14/340.23	c  340s |      23 |  3489229 |  2680938 |     2088   2974 |        0 |        0
342.13/342.24	c  342s |      23 |  3507326 |  2695138 |     2088   2986 |        0 |        0
344.13/344.25	c  344s |      23 |  3525651 |  2709738 |     2088   2999 |        0 |        0
346.13/346.25	c  346s |      23 |  3543359 |  2723938 |     2088   3011 |        0 |        0
348.13/348.25	c  348s |      23 |  3562255 |  2738438 |     2088   3024 |        0 |        0
350.13/350.26	c  350s |      23 |  3580366 |  2752738 |     2088   3036 |        0 |        0
352.14/352.27	c  352s |      23 |  3599761 |  2767638 |     2088   3049 |        0 |        0
354.13/354.28	c  354s |      23 |  3617900 |  2782038 |     2088   3062 |        0 |        0
356.13/356.29	c  356s |      23 |  3636311 |  2796538 |     2088   3075 |        0 |        0
358.13/358.29	c  358s |      23 |  3656372 |  2811938 |     2088   3088 |        0 |        0
360.13/360.29	c  360s |      23 |  3675097 |  2825938 |     2088   3100 |        0 |        0
362.23/362.31	c  362s |      23 |  3694390 |  2840638 |     2088   3113 |        0 |        0
364.24/364.31	c  364s |      23 |  3712039 |  2854238 |     2088   3125 |        0 |        0
366.23/366.33	c  366s |      23 |  3730420 |  2868538 |     2088   3138 |        0 |        0
368.23/368.34	c  368s |      23 |  3749289 |  2883238 |     2088   3150 |        0 |        0
370.23/370.35	c  370s |      23 |  3768214 |  2897538 |     2088   3163 |        0 |        0
372.23/372.36	c  372s |      23 |  3786560 |  2911938 |     2088   3175 |        0 |        0
374.23/374.36	c  374s |      23 |  3807648 |  2927638 |     2088   3189 |        0 |        0
376.23/376.36	c  376s |      23 |  3827034 |  2942338 |     2088   3202 |        0 |        0
378.23/378.37	c  378s |      23 |  3844836 |  2956238 |     2088   3214 |        0 |        0
380.22/380.37	c  380s |      23 |  3862304 |  2969838 |     2088   3226 |        0 |        0
382.22/382.38	c  382s |      23 |  3880965 |  2984138 |     2088   3239 |        0 |        0
384.22/384.38	c  384s |      23 |  3898369 |  2997438 |     2088   3250 |        0 |        0
386.23/386.40	c  386s |      23 |  3916333 |  3011338 |     2088   3262 |        0 |        0
388.32/388.40	c  388s |      23 |  3934988 |  3025338 |     2088   3275 |        0 |        0
390.32/390.40	c  390s |      23 |  3953170 |  3039338 |     2088   3287 |        0 |        0
392.33/392.42	c  392s |      23 |  3971340 |  3053638 |     2088   3299 |        0 |        0
394.33/394.42	c  394s |      23 |  3988425 |  3067038 |     2088   3311 |        0 |        0
396.33/396.43	c  396s |      23 |  4007069 |  3081338 |     2088   3324 |        0 |        0
398.33/398.43	c  398s |      23 |  4026095 |  3096338 |     2088   3337 |        0 |        0
400.32/400.44	c  400s |      23 |  4042984 |  3109538 |     2088   3348 |        0 |        0
402.32/402.45	c  402s |      23 |  4060725 |  3123638 |     2088   3361 |        0 |        0
404.32/404.47	c  404s |      23 |  4080223 |  3138438 |     2088   3374 |        0 |        0
406.32/406.48	c  406s |      23 |  4098770 |  3153238 |     2088   3387 |        0 |        0
408.33/408.49	c  408s |      23 |  4117726 |  3167738 |     2088   3399 |        0 |        0
410.32/410.50	c  410s |      23 |  4135940 |  3181738 |     2088   3412 |        0 |        0
412.42/412.50	c  412s |      23 |  4155285 |  3196138 |     2088   3424 |        0 |        0
414.42/414.51	c  414s |      23 |  4172004 |  3209038 |     2088   3435 |        0 |        0
416.41/416.51	c  416s |      23 |  4191109 |  3223538 |     2088   3448 |        0 |        0
418.41/418.52	c  418s |      23 |  4208762 |  3237238 |     2088   3460 |        0 |        0
420.41/420.52	c  420s |      23 |  4227130 |  3251238 |     2088   3472 |        0 |        0
422.41/422.53	c  422s |      23 |  4246880 |  3265738 |     2088   3485 |        0 |        0
424.41/424.54	c  424s |      23 |  4266419 |  3280638 |     2088   3498 |        0 |        0
426.41/426.54	c  426s |      23 |  4284204 |  3294238 |     2088   3510 |        0 |        0
428.40/428.54	c  428s |      23 |  4301898 |  3308138 |     2088   3522 |        0 |        0
430.40/430.55	c  430s |      23 |  4318734 |  3321038 |     2088   3534 |        0 |        0
432.41/432.56	c  432s |      23 |  4338015 |  3335338 |     2088   3546 |        0 |        0
434.40/434.57	c  434s |      23 |  4356519 |  3349638 |     2088   3559 |        0 |        0
436.40/436.58	c  436s |      23 |  4372124 |  3362038 |     2297   3569 |        0 |        0
438.40/438.59	c  438s |      23 |  4385226 |  3373538 |     2297   3578 |        0 |        0
439.00/439.14	c  439s |      24 |  4388724 |  3376662 |     2297   3581 |        0 |        0
440.99/441.14	c  441s |      24 |  4407754 |  3390962 |     2297   3592 |        0 |        0
442.99/443.14	c  443s |      24 |  4426276 |  3404962 |     2297   3603 |        0 |        0
444.99/445.15	c  445s |      24 |  4447032 |  3420562 |     2297   3616 |        0 |        0
446.99/447.16	c  447s |      24 |  4461792 |  3432962 |     2297   3626 |        0 |        0
449.00/449.17	c  449s |      24 |  4479246 |  3446762 |     2297   3637 |        0 |        0
450.99/451.18	c  451s |      24 |  4497388 |  3460662 |     2297   3648 |        0 |        0
452.99/453.18	c  453s |      24 |  4515752 |  3474562 |     2297   3659 |        0 |        0
454.99/455.19	c  455s |      24 |  4533562 |  3488162 |     2297   3670 |        0 |        0
456.99/457.19	c  457s |      24 |  4550607 |  3501262 |     2297   3681 |        0 |        0
459.09/459.20	c  459s |      24 |  4569922 |  3515562 |     2297   3693 |        0 |        0
461.00/461.20	c  461s |      24 |  4589847 |  3530262 |     2297   3704 |        0 |        0
463.09/463.20	c  463s |      24 |  4607581 |  3543762 |     2297   3715 |        0 |        0
465.09/465.22	c  465s |      24 |  4626788 |  3558062 |     2297   3727 |        0 |        0
467.09/467.22	c  467s |      24 |  4643244 |  3571062 |     2297   3737 |        0 |        0
469.08/469.23	c  469s |      24 |  4661428 |  3585062 |     2297   3749 |        0 |        0
471.08/471.23	c  471s |      24 |  4679313 |  3599062 |     2297   3760 |        0 |        0
473.09/473.24	c  473s |      24 |  4696642 |  3612662 |     2297   3771 |        0 |        0
475.08/475.25	c  475s |      24 |  4713262 |  3625662 |     2297   3781 |        0 |        0
477.08/477.25	c  477s |      24 |  4730288 |  3638962 |     2297   3792 |        0 |        0
479.08/479.25	c  479s |      24 |  4747156 |  3652062 |     2297   3803 |        0 |        0
481.08/481.26	c  481s |      24 |  4764320 |  3665662 |     2297   3814 |        0 |        0
483.08/483.26	c  483s |      24 |  4782350 |  3679262 |     2297   3825 |        0 |        0
485.07/485.27	c  485s |      24 |  4800103 |  3693062 |     2297   3836 |        0 |        0
487.07/487.27	c  487s |      24 |  4819562 |  3708062 |     2297   3848 |        0 |        0
489.07/489.29	c  489s |      24 |  4838596 |  3722162 |     2297   3859 |        0 |        0
491.07/491.29	c  491s |      24 |  4858992 |  3737262 |     2297   3871 |        0 |        0
493.17/493.30	c  493s |      24 |  4877069 |  3751162 |     2297   3883 |        0 |        0
495.17/495.31	c  495s |      24 |  4897607 |  3766362 |     2297   3895 |        0 |        0
497.17/497.32	c  497s |      24 |  4916454 |  3780562 |     2297   3906 |        0 |        0
499.17/499.33	c  499s |      24 |  4935464 |  3794662 |     2297   3918 |        0 |        0
501.16/501.34	c  501s |      24 |  4953906 |  3808562 |     2297   3929 |        0 |        0
503.16/503.35	c  503s |      24 |  4971428 |  3822262 |     2297   3940 |        0 |        0
505.16/505.37	c  505s |      24 |  4988342 |  3835362 |     2297   3951 |        0 |        0
507.17/507.39	c  507s |      24 |  5006463 |  3849362 |     2297   3962 |        0 |        0
509.26/509.40	c  509s |      24 |  5024011 |  3862762 |     2297   3973 |        0 |        0
511.26/511.40	c  511s |      24 |  5038359 |  3874462 |     2297   3982 |        0 |        0
513.25/513.40	c  513s |      24 |  5056207 |  3888462 |     2297   3993 |        0 |        0
515.25/515.41	c  515s |      24 |  5075640 |  3903462 |     2297   4005 |        0 |        0
517.25/517.43	c  517s |      24 |  5095009 |  3917962 |     2297   4017 |        0 |        0
519.26/519.43	c  519s |      24 |  5113336 |  3931962 |     2297   4028 |        0 |        0
521.25/521.44	c  521s |      24 |  5133059 |  3946462 |     2297   4040 |        0 |        0
523.25/523.45	c  523s |      24 |  5152135 |  3960462 |     2297   4051 |        0 |        0
525.25/525.46	c  525s |      24 |  5170717 |  3973662 |     2297   4062 |        0 |        0
527.25/527.47	c  527s |      24 |  5190776 |  3987962 |     2297   4074 |        0 |        0
529.25/529.48	c  529s |      24 |  5209196 |  4001862 |     2297   4085 |        0 |        0
531.24/531.49	c  531s |      24 |  5227237 |  4015962 |     2297   4096 |        0 |        0
533.24/533.49	c  533s |      24 |  5244946 |  4029862 |     2297   4107 |        0 |        0
535.24/535.50	c  535s |      24 |  5263836 |  4044562 |     2297   4119 |        0 |        0
537.35/537.50	c  537s |      24 |  5282850 |  4058562 |     2297   4130 |        0 |        0
539.35/539.51	c  539s |      24 |  5301318 |  4072662 |     2297   4142 |        0 |        0
541.35/541.52	c  541s |      24 |  5319976 |  4086862 |     2297   4153 |        0 |        0
543.34/543.52	c  543s |      24 |  5337043 |  4100162 |     2297   4164 |        0 |        0
545.34/545.54	c  545s |      24 |  5354453 |  4113462 |     2297   4175 |        0 |        0
547.34/547.54	c  547s |      24 |  5373207 |  4127662 |     2297   4186 |        0 |        0
549.34/549.55	c  549s |      24 |  5392088 |  4141462 |     2297   4197 |        0 |        0
551.34/551.55	c  551s |      24 |  5411722 |  4156262 |     2297   4209 |        0 |        0
553.35/553.55	c  553s |      24 |  5429950 |  4170162 |     2297   4220 |        0 |        0
555.34/555.58	c  555s |      24 |  5446294 |  4182762 |     2297   4231 |        0 |        0
557.34/557.58	c  557s |      24 |  5464365 |  4196462 |     2297   4242 |        0 |        0
559.33/559.59	c  559s |      24 |  5483240 |  4210662 |     2297   4253 |        0 |        0
561.43/561.60	c  561s |      24 |  5501603 |  4224762 |     2297   4264 |        0 |        0
563.43/563.60	c  563s |      24 |  5518329 |  4237362 |     2297   4275 |        0 |        0
565.44/565.61	c  565s |      24 |  5535302 |  4250762 |     2297   4285 |        0 |        0
567.43/567.61	c  567s |      24 |  5552714 |  4264262 |     2297   4296 |        0 |        0
569.42/569.62	c  569s |      24 |  5571513 |  4278362 |     2297   4308 |        0 |        0
571.42/571.62	c  571s |      24 |  5589788 |  4292462 |     2297   4319 |        0 |        0
573.42/573.63	c  573s |      24 |  5608083 |  4306362 |     2297   4330 |        0 |        0
575.42/575.64	c  575s |      24 |  5624475 |  4319762 |     2297   4341 |        0 |        0
577.42/577.64	c  577s |      24 |  5641363 |  4332762 |     2297   4352 |        0 |        0
579.41/579.65	c  579s |      24 |  5659332 |  4346662 |     2297   4363 |        0 |        0
581.41/581.66	c  581s |      24 |  5678208 |  4361162 |     2297   4375 |        0 |        0
583.41/583.66	c  583s |      24 |  5695636 |  4374662 |     2297   4386 |        0 |        0
585.41/585.66	c  585s |      24 |  5714340 |  4389262 |     2297   4397 |        0 |        0
587.42/587.66	c  587s |      24 |  5731787 |  4403062 |     2297   4408 |        0 |        0
589.41/589.67	c  589s |      24 |  5750113 |  4417162 |     2297   4420 |        0 |        0
591.41/591.67	c  591s |      24 |  5769504 |  4431562 |     2297   4431 |        0 |        0
593.40/593.69	c  593s |      24 |  5785139 |  4443862 |     2297   4441 |        0 |        0
595.40/595.69	c  595s |      24 |  5802339 |  4457162 |     2297   4452 |        0 |        0
597.51/597.70	c  597s |      24 |  5820781 |  4471562 |     2297   4464 |        0 |        0
599.41/599.70	c  599s |      24 |  5839104 |  4485262 |     2297   4475 |        0 |        0
601.51/601.71	c  601s |      24 |  5857912 |  4499262 |     2297   4486 |        0 |        0
603.51/603.72	c  603s |      24 |  5877023 |  4512962 |     2297   4497 |        0 |        0
605.51/605.72	c  605s |      24 |  5895581 |  4527162 |     2297   4509 |        0 |        0
607.51/607.74	c  607s |      24 |  5913220 |  4540862 |     2297   4520 |        0 |        0
609.51/609.74	c  609s |      24 |  5931543 |  4554862 |     2297   4531 |        0 |        0
611.50/611.74	c  611s |      24 |  5950022 |  4569162 |     2297   4542 |        0 |        0
613.50/613.75	c  613s |      24 |  5967219 |  4582862 |     2297   4553 |        0 |        0
615.50/615.76	c  615s |      24 |  5983008 |  4595562 |     2297   4564 |        0 |        0
617.50/617.76	c  617s |      24 |  5999489 |  4608262 |     2297   4574 |        0 |        0
619.49/619.76	c  619s |      24 |  6016631 |  4621662 |     2297   4585 |        0 |        0
621.50/621.77	c  621s |      24 |  6033952 |  4635262 |     2297   4596 |        0 |        0
623.49/623.78	c  623s |      24 |  6052722 |  4649662 |     2297   4607 |        0 |        0
625.49/625.79	c  625s |      24 |  6069845 |  4662962 |     2297   4618 |        0 |        0
627.59/627.80	c  627s |      24 |  6088643 |  4677262 |     2297   4629 |        0 |        0
629.59/629.82	c  629s |      24 |  6105060 |  4690462 |     2297   4640 |        0 |        0
631.59/631.83	c  631s |      24 |  6122605 |  4704062 |     2297   4651 |        0 |        0
633.60/633.83	c  633s |      24 |  6141198 |  4718262 |     2297   4663 |        0 |        0
635.59/635.84	c  635s |      24 |  6157834 |  4731462 |     2297   4673 |        0 |        0
637.59/637.84	c  637s |      24 |  6174908 |  4744862 |     2297   4684 |        0 |        0
639.58/639.86	c  639s |      24 |  6193449 |  4758562 |     2297   4695 |        0 |        0
641.58/641.87	c  641s |      24 |  6210612 |  4771562 |     2297   4706 |        0 |        0
643.59/643.89	c  643s |      24 |  6225389 |  4783662 |     2297   4716 |        0 |        0
645.58/645.90	c  645s |      24 |  6241840 |  4796562 |     2297   4726 |        0 |        0
647.68/647.91	c  647s |      24 |  6257930 |  4809162 |     2297   4736 |        0 |        0
649.68/649.92	c  649s |      24 |  6275931 |  4823162 |     2297   4748 |        0 |        0
651.68/651.92	c  651s |      24 |  6292482 |  4836262 |     2297   4758 |        0 |        0
653.68/653.92	c  653s |      24 |  6308320 |  4848662 |     2297   4768 |        0 |        0
655.68/655.93	c  655s |      24 |  6324774 |  4861362 |     2297   4778 |        0 |        0
657.67/657.93	c  657s |      24 |  6344433 |  4876162 |     2297   4790 |        0 |        0
659.67/659.94	c  659s |      24 |  6362529 |  4890562 |     2297   4802 |        0 |        0
661.67/661.94	c  661s |      24 |  6381168 |  4904862 |     2297   4814 |        0 |        0
663.66/663.94	c  663s |      24 |  6398954 |  4918962 |     2297   4825 |        0 |        0
665.66/665.96	c  665s |      24 |  6416781 |  4932662 |     2297   4836 |        0 |        0
667.68/667.97	c  667s |      24 |  6433516 |  4945562 |     2297   4846 |        0 |        0
669.66/669.98	c  669s |      24 |  6451078 |  4959262 |     2297   4858 |        0 |        0
671.66/671.98	c  671s |      24 |  6467958 |  4972662 |     2297   4868 |        0 |        0
673.66/673.99	c  673s |      24 |  6484616 |  4985662 |     2297   4879 |        0 |        0
675.66/675.99	c  675s |      24 |  6500940 |  4998662 |     2297   4889 |        0 |        0
677.76/678.00	c  677s |      24 |  6517451 |  5011862 |     2297   4900 |        0 |        0
679.76/680.01	c  679s |      24 |  6535800 |  5025862 |     2297   4911 |        0 |        0
681.75/682.02	c  682s |      24 |  6552789 |  5039062 |     2527   4921 |        0 |        0
683.75/684.02	c  684s |      24 |  6571477 |  5053062 |     2527   4931 |        0 |        0
685.55/685.84	c  685s |      25 |  6587143 |  5065098 |     2527   4940 |        0 |        0
687.56/687.86	c  687s |      25 |  6602578 |  5077498 |     2527   4949 |        0 |        0
689.54/689.87	c  689s |      25 |  6621204 |  5091698 |     2527   4960 |        0 |        0
691.55/691.87	c  691s |      25 |  6640017 |  5106098 |     2527   4970 |        0 |        0
693.55/693.87	c  693s |      25 |  6657816 |  5119498 |     2527   4980 |        0 |        0
695.55/695.88	c  695s |      25 |  6677030 |  5134098 |     2527   4991 |        0 |        0
697.55/697.88	c  697s |      25 |  6693967 |  5147198 |     2527   5001 |        0 |        0
699.55/699.90	c  699s |      25 |  6714700 |  5162898 |     2527   5012 |        0 |        0
701.65/701.90	c  701s |      25 |  6735421 |  5178398 |     2527   5024 |        0 |        0
703.65/703.91	c  703s |      25 |  6753285 |  5191798 |     2527   5034 |        0 |        0
705.64/705.92	c  705s |      25 |  6769941 |  5204598 |     2527   5043 |        0 |        0
707.64/707.93	c  707s |      25 |  6787143 |  5217698 |     2527   5053 |        0 |        0
709.64/709.94	c  709s |      25 |  6805113 |  5231498 |     2527   5063 |        0 |        0
711.64/711.95	c  711s |      25 |  6823704 |  5245598 |     2527   5073 |        0 |        0
713.64/713.96	c  713s |      25 |  6840657 |  5259098 |     2527   5083 |        0 |        0
715.64/715.97	c  715s |      25 |  6857106 |  5271798 |     2527   5093 |        0 |        0
717.64/717.98	c  717s |      25 |  6872679 |  5284198 |     2527   5102 |        0 |        0
719.63/719.99	c  719s |      25 |  6887895 |  5295898 |     2527   5111 |        0 |        0
721.64/721.99	c  721s |      25 |  6904189 |  5308698 |     2527   5120 |        0 |        0
723.74/724.00	c  723s |      25 |  6920096 |  5321098 |     2527   5129 |        0 |        0
725.73/726.01	c  725s |      25 |  6935990 |  5333598 |     2527   5138 |        0 |        0
727.73/728.02	c  727s |      25 |  6950594 |  5345698 |     2527   5147 |        0 |        0
729.72/730.02	c  729s |      25 |  6966273 |  5357798 |     2527   5156 |        0 |        0
731.72/732.02	c  732s |      25 |  6985529 |  5372598 |     2527   5167 |        0 |        0
733.73/734.03	c  734s |      25 |  7003042 |  5385798 |     2527   5177 |        0 |        0
735.72/736.04	c  736s |      25 |  7019414 |  5398398 |     2527   5186 |        0 |        0
737.72/738.05	c  738s |      25 |  7036451 |  5411398 |     2527   5196 |        0 |        0
739.72/740.06	c  740s |      25 |  7053139 |  5424598 |     2527   5205 |        0 |        0
741.72/742.07	c  742s |      25 |  7069002 |  5437498 |     2527   5215 |        0 |        0
743.72/744.07	c  744s |      25 |  7088198 |  5451498 |     2527   5225 |        0 |        0
745.72/746.07	c  746s |      25 |  7105974 |  5465398 |     2527   5236 |        0 |        0
747.71/748.08	c  748s |      25 |  7125055 |  5479698 |     2527   5246 |        0 |        0
749.71/750.09	c  750s |      25 |  7143379 |  5493498 |     2527   5256 |        0 |        0
751.81/752.10	c  752s |      25 |  7161989 |  5507698 |     2527   5267 |        0 |        0
753.81/754.11	c  754s |      25 |  7181637 |  5522698 |     2527   5278 |        0 |        0
755.81/756.12	c  756s |      25 |  7199539 |  5536198 |     2527   5288 |        0 |        0
757.81/758.13	c  758s |      25 |  7220520 |  5551598 |     2527   5299 |        0 |        0
759.81/760.14	c  760s |      25 |  7239036 |  5566198 |     2527   5310 |        0 |        0
761.81/762.14	c  762s |      25 |  7258828 |  5581398 |     2527   5321 |        0 |        0
763.81/764.15	c  764s |      25 |  7276349 |  5594898 |     2527   5331 |        0 |        0
765.80/766.16	c  766s |      25 |  7296049 |  5609898 |     2527   5342 |        0 |        0
767.81/768.17	c  768s |      25 |  7314186 |  5623898 |     2527   5353 |        0 |        0
769.80/770.17	c  770s |      25 |  7333243 |  5638098 |     2527   5363 |        0 |        0
771.80/772.18	c  772s |      25 |  7354665 |  5653798 |     2527   5375 |        0 |        0
773.80/774.19	c  774s |      25 |  7372486 |  5667798 |     2527   5385 |        0 |        0
775.90/776.21	c  776s |      25 |  7389999 |  5681698 |     2527   5395 |        0 |        0
777.90/778.21	c  778s |      25 |  7405340 |  5693998 |     2527   5404 |        0 |        0
779.90/780.22	c  780s |      25 |  7421509 |  5706098 |     2527   5413 |        0 |        0
781.89/782.23	c  782s |      25 |  7439564 |  5719598 |     2527   5423 |        0 |        0
783.89/784.23	c  784s |      25 |  7458113 |  5733298 |     2527   5433 |        0 |        0
785.89/786.25	c  786s |      25 |  7475177 |  5746098 |     2527   5443 |        0 |        0
787.89/788.26	c  788s |      25 |  7493617 |  5760098 |     2527   5453 |        0 |        0
789.88/790.26	c  790s |      25 |  7512340 |  5774198 |     2527   5464 |        0 |        0
791.89/792.27	c  792s |      25 |  7529996 |  5787598 |     2527   5474 |        0 |        0
793.88/794.28	c  794s |      25 |  7549464 |  5801898 |     2527   5484 |        0 |        0
795.88/796.28	c  796s |      25 |  7567711 |  5815998 |     2527   5495 |        0 |        0
797.98/798.30	c  798s |      25 |  7587455 |  5830698 |     2527   5506 |        0 |        0
799.97/800.31	c  800s |      25 |  7604574 |  5843598 |     2527   5515 |        0 |        0
801.97/802.32	c  802s |      25 |  7621224 |  5856598 |     2527   5525 |        0 |        0
803.98/804.33	c  804s |      25 |  7638960 |  5869798 |     2527   5535 |        0 |        0
805.97/806.34	c  806s |      25 |  7655513 |  5882598 |     2527   5544 |        0 |        0
807.97/808.35	c  808s |      25 |  7672168 |  5895598 |     2527   5554 |        0 |        0
809.97/810.35	c  810s |      25 |  7688067 |  5907598 |     2527   5563 |        0 |        0
811.97/812.36	c  812s |      25 |  7704705 |  5920098 |     2527   5572 |        0 |        0
813.97/814.37	c  814s |      25 |  7719929 |  5932198 |     2527   5581 |        0 |        0
815.97/816.37	c  816s |      25 |  7736916 |  5945498 |     2527   5591 |        0 |        0
817.96/818.37	c  818s |      25 |  7755067 |  5959098 |     2527   5601 |        0 |        0
819.96/820.38	c  820s |      25 |  7773168 |  5973098 |     2527   5611 |        0 |        0
821.96/822.38	c  822s |      25 |  7791522 |  5986898 |     2527   5622 |        0 |        0
823.96/824.40	c  824s |      25 |  7808122 |  5999798 |     2527   5631 |        0 |        0
825.96/826.40	c  826s |      25 |  7824802 |  6012598 |     2527   5641 |        0 |        0
828.06/828.41	c  828s |      25 |  7840442 |  6025798 |     2527   5650 |        0 |        0
830.05/830.41	c  830s |      25 |  7856619 |  6038398 |     2527   5660 |        0 |        0
832.06/832.42	c  832s |      25 |  7875933 |  6052498 |     2527   5670 |        0 |        0
834.06/834.43	c  834s |      25 |  7892124 |  6065298 |     2527   5680 |        0 |        0
836.06/836.43	c  836s |      25 |  7909041 |  6078698 |     2527   5689 |        0 |        0
838.07/838.44	c  838s |      25 |  7927785 |  6093298 |     2527   5700 |        0 |        0
840.05/840.44	c  840s |      25 |  7947322 |  6107898 |     2527   5711 |        0 |        0
842.05/842.46	c  842s |      25 |  7965675 |  6121898 |     2527   5721 |        0 |        0
844.05/844.47	c  844s |      25 |  7981602 |  6133998 |     2527   5730 |        0 |        0
846.05/846.49	c  846s |      25 |  7999117 |  6147498 |     2527   5740 |        0 |        0
848.06/848.49	c  848s |      25 |  8014806 |  6159798 |     2527   5750 |        0 |        0
850.04/850.49	c  850s |      25 |  8032011 |  6172798 |     2527   5759 |        0 |        0
852.14/852.51	c  852s |      25 |  8047256 |  6185098 |     2527   5768 |        0 |        0
854.14/854.52	c  854s |      25 |  8063465 |  6197598 |     2527   5777 |        0 |        0
856.14/856.52	c  856s |      25 |  8078039 |  6209798 |     2527   5786 |        0 |        0
858.14/858.52	c  858s |      25 |  8095343 |  6222798 |     2527   5796 |        0 |        0
860.14/860.52	c  860s |      25 |  8111753 |  6235498 |     2527   5806 |        0 |        0
862.14/862.53	c  862s |      25 |  8128432 |  6248398 |     2527   5815 |        0 |        0
864.14/864.54	c  864s |      25 |  8144419 |  6260998 |     2527   5824 |        0 |        0
866.14/866.56	c  866s |      25 |  8159973 |  6273298 |     2527   5834 |        0 |        0
868.14/868.57	c  868s |      25 |  8176043 |  6285598 |     2527   5843 |        0 |        0
870.13/870.59	c  870s |      25 |  8190846 |  6297498 |     2527   5852 |        0 |        0
872.14/872.60	c  872s |      25 |  8206215 |  6309498 |     2527   5860 |        0 |        0
874.23/874.61	c  874s |      25 |  8221955 |  6321898 |     2527   5870 |        0 |        0
876.23/876.61	c  876s |      25 |  8236631 |  6333598 |     2527   5878 |        0 |        0
878.23/878.62	c  878s |      25 |  8252780 |  6345898 |     2527   5888 |        0 |        0
880.22/880.62	c  880s |      25 |  8271623 |  6359498 |     2527   5898 |        0 |        0
882.22/882.63	c  882s |      25 |  8288385 |  6372198 |     2527   5907 |        0 |        0
884.23/884.65	c  884s |      25 |  8305232 |  6384998 |     2527   5917 |        0 |        0
886.22/886.67	c  886s |      25 |  8320779 |  6396898 |     2527   5925 |        0 |        0
888.22/888.67	c  888s |      25 |  8337972 |  6409898 |     2527   5935 |        0 |        0
890.21/890.68	c  890s |      25 |  8355079 |  6422798 |     2527   5945 |        0 |        0
892.21/892.68	c  892s |      25 |  8370425 |  6434798 |     2527   5954 |        0 |        0
894.22/894.69	c  894s |      25 |  8387423 |  6447598 |     2527   5963 |        0 |        0
896.21/896.70	c  896s |      25 |  8403603 |  6460198 |     2527   5972 |        0 |        0
898.31/898.71	c  898s |      25 |  8421511 |  6473398 |     2527   5982 |        0 |        0
900.30/900.72	c  900s |      25 |  8437342 |  6485598 |     2527   5991 |        0 |        0
902.30/902.73	c  902s |      25 |  8454467 |  6498998 |     2527   6001 |        0 |        0
904.30/904.73	c  904s |      25 |  8473930 |  6513298 |     2527   6012 |        0 |        0
906.31/906.73	c  906s |      25 |  8492730 |  6527198 |     2527   6022 |        0 |        0
908.30/908.73	c  908s |      25 |  8511005 |  6541098 |     2527   6032 |        0 |        0
910.30/910.74	c  910s |      25 |  8528335 |  6554498 |     2527   6042 |        0 |        0
912.30/912.74	c  912s |      25 |  8546555 |  6568198 |     2527   6052 |        0 |        0
914.30/914.74	c  914s |      25 |  8564015 |  6581798 |     2527   6062 |        0 |        0
916.30/916.74	c  916s |      25 |  8582356 |  6595698 |     2527   6073 |        0 |        0
918.31/918.74	c  918s |      25 |  8600330 |  6609598 |     2527   6083 |        0 |        0
920.30/920.75	c  920s |      25 |  8617215 |  6622798 |     2527   6093 |        0 |        0
922.30/922.75	c  922s |      25 |  8635517 |  6636398 |     2527   6103 |        0 |        0
924.30/924.77	c  924s |      25 |  8653939 |  6650198 |     2527   6113 |        0 |        0
926.29/926.78	c  926s |      25 |  8673867 |  6664798 |     2527   6124 |        0 |        0
928.30/928.78	c  928s |      25 |  8689766 |  6677398 |     2527   6133 |        0 |        0
930.29/930.79	c  930s |      25 |  8706890 |  6690598 |     2527   6143 |        0 |        0
932.39/932.80	c  932s |      25 |  8724590 |  6703898 |     2527   6153 |        0 |        0
934.39/934.81	c  934s |      25 |  8742360 |  6717498 |     2527   6163 |        0 |        0
936.39/936.82	c  936s |      25 |  8759795 |  6731098 |     2527   6173 |        0 |        0
938.38/938.83	c  938s |      25 |  8776498 |  6744298 |     2527   6183 |        0 |        0
940.39/940.83	c  940s |      25 |  8792960 |  6757498 |     2527   6193 |        0 |        0
942.38/942.84	c  942s |      25 |  8809258 |  6770498 |     2527   6202 |        0 |        0
944.38/944.85	c  944s |      25 |  8824611 |  6782498 |     2527   6211 |        0 |        0
946.38/946.86	c  946s |      25 |  8841829 |  6795598 |     2527   6221 |        0 |        0
948.38/948.86	c  948s |      25 |  8857430 |  6807798 |     2527   6230 |        0 |        0
950.38/950.86	c  950s |      25 |  8873390 |  6820398 |     2527   6239 |        0 |        0
952.38/952.87	c  952s |      25 |  8892412 |  6835298 |     2527   6250 |        0 |        0
954.37/954.88	c  954s |      25 |  8912088 |  6849498 |     2527   6261 |        0 |        0
956.37/956.89	c  956s |      25 |  8930028 |  6863198 |     2527   6271 |        0 |        0
958.47/958.90	c  958s |      25 |  8948057 |  6876998 |     2527   6281 |        0 |        0
960.47/960.91	c  960s |      25 |  8964806 |  6890198 |     2527   6291 |        0 |        0
962.47/962.92	c  962s |      25 |  8982663 |  6903698 |     2527   6301 |        0 |        0
964.48/964.93	c  964s |      25 |  9000433 |  6917198 |     2527   6311 |        0 |        0
966.47/966.94	c  966s |      25 |  9016417 |  6929598 |     2527   6320 |        0 |        0
968.46/968.96	c  968s |      25 |  9033491 |  6942398 |     2527   6330 |        0 |        0
970.46/970.98	c  970s |      25 |  9050302 |  6955398 |     2527   6339 |        0 |        0
972.47/972.99	c  972s |      25 |  9067381 |  6968298 |     2527   6349 |        0 |        0
974.48/974.99	c  974s |      25 |  9087097 |  6982698 |     2527   6359 |        0 |        0
976.47/977.00	c  976s |      25 |  9104734 |  6996298 |     2527   6370 |        0 |        0
978.56/979.00	c  978s |      25 |  9120856 |  7009698 |     2527   6379 |        0 |        0
980.56/981.00	c  980s |      25 |  9136186 |  7022198 |     2527   6389 |        0 |        0
982.56/983.01	c  982s |      25 |  9151740 |  7034298 |     2527   6398 |        0 |        0
984.56/985.01	c  984s |      25 |  9168276 |  7046898 |     2527   6407 |        0 |        0
986.57/987.02	c  987s |      25 |  9185871 |  7060198 |     2527   6417 |        0 |        0
988.56/989.03	c  989s |      25 |  9203408 |  7073698 |     2527   6427 |        0 |        0
990.56/991.04	c  991s |      25 |  9221425 |  7087198 |     2527   6437 |        0 |        0
992.56/993.04	c  993s |      25 |  9240343 |  7101598 |     2527   6448 |        0 |        0
994.55/995.04	c  995s |      25 |  9256866 |  7114598 |     2527   6457 |        0 |        0
996.55/997.05	c  997s |      25 |  9275349 |  7128498 |     2527   6468 |        0 |        0
998.56/999.05	c  999s |      25 |  9293505 |  7142498 |     2527   6478 |        0 |        0
1000.55/1001.05	c 1001s |      25 |  9310738 |  7155898 |     2527   6488 |        0 |        0
1002.55/1003.06	c 1003s |      25 |  9330689 |  7170798 |     2527   6499 |        0 |        0
1004.55/1005.07	c 1005s |      25 |  9349835 |  7184998 |     2527   6509 |        0 |        0
1006.55/1007.08	c 1007s |      25 |  9368672 |  7199598 |     2527   6520 |        0 |        0
1008.55/1009.08	c 1009s |      25 |  9383432 |  7211298 |     2527   6529 |        0 |        0
1010.54/1011.10	c 1011s |      25 |  9398874 |  7222998 |     2527   6537 |        0 |        0
1012.64/1013.11	c 1013s |      25 |  9414221 |  7234798 |     2527   6546 |        0 |        0
1014.64/1015.12	c 1015s |      25 |  9429654 |  7246898 |     2527   6555 |        0 |        0
1016.64/1017.12	c 1017s |      25 |  9444243 |  7258598 |     2527   6564 |        0 |        0
1018.63/1019.12	c 1019s |      25 |  9460214 |  7271298 |     2527   6573 |        0 |        0
1020.64/1021.13	c 1021s |      25 |  9476796 |  7284398 |     2527   6583 |        0 |        0
1022.63/1023.13	c 1023s |      25 |  9492387 |  7296998 |     2527   6592 |        0 |        0
1024.63/1025.14	c 1025s |      25 |  9510545 |  7310898 |     2527   6602 |        0 |        0
1026.63/1027.14	c 1027s |      25 |  9528009 |  7324398 |     2527   6612 |        0 |        0
1028.63/1029.15	c 1029s |      25 |  9545451 |  7337498 |     2527   6622 |        0 |        0
1030.63/1031.15	c 1031s |      25 |  9562232 |  7350698 |     2527   6632 |        0 |        0
1032.63/1033.16	c 1033s |      25 |  9579733 |  7364098 |     2527   6642 |        0 |        0
1034.63/1035.17	c 1035s |      25 |  9599135 |  7378898 |     2527   6653 |        0 |        0
1036.63/1037.18	c 1037s |      25 |  9618115 |  7392998 |     2527   6663 |        0 |        0
1038.63/1039.19	c 1039s |      25 |  9635618 |  7406298 |     2527   6673 |        0 |        0
1040.63/1041.19	c 1041s |      25 |  9654936 |  7420698 |     2527   6684 |        0 |        0
1042.73/1043.20	c 1043s |      25 |  9668697 |  7432198 |     2527   6692 |        0 |        0
1044.74/1045.21	c 1045s |      25 |  9685810 |  7445398 |     2527   6702 |        0 |        0
1046.73/1047.21	c 1047s |      25 |  9703031 |  7458198 |     2527   6712 |        0 |        0
1048.73/1049.22	c 1049s |      25 |  9721118 |  7471598 |     2527   6722 |        0 |        0
1050.73/1051.22	c 1051s |      25 |  9738675 |  7484998 |     2527   6732 |        0 |        0
1052.73/1053.23	c 1053s |      25 |  9756509 |  7498598 |     2527   6742 |        0 |        0
1054.74/1055.23	c 1055s |      25 |  9775845 |  7512898 |     2527   6752 |        0 |        0
1056.73/1057.24	c 1057s |      25 |  9793741 |  7526298 |     2527   6762 |        0 |        0
1058.73/1059.25	c 1059s |      25 |  9811093 |  7539398 |     2527   6772 |        0 |        0
1060.73/1061.25	c 1061s |      25 |  9827357 |  7551898 |     2780   6780 |        0 |        0
1062.73/1063.27	c 1063s |      25 |  9842943 |  7563898 |     2780   6789 |        0 |        0
1064.73/1065.28	c 1065s |      25 |  9859896 |  7576798 |     2780   6797 |        0 |        0
1066.73/1067.29	c 1067s |      25 |  9878130 |  7590398 |     2780   6807 |        0 |        0
1067.93/1068.45	c 1068s |      26 |  9887766 |  7597752 |     2780   6812 |        0 |        0
1069.93/1070.46	c 1070s |      26 |  9903846 |  7609752 |     2780   6820 |        0 |        0
1071.93/1072.46	c 1072s |      26 |  9919003 |  7621452 |     2780   6827 |        0 |        0
1073.92/1074.46	c 1074s |      26 |  9933388 |  7632252 |     2780   6835 |        0 |        0
1075.92/1076.47	c 1076s |      26 |  9947817 |  7643052 |     2780   6842 |        0 |        0
1077.92/1078.47	c 1078s |      26 |  9963069 |  7654552 |     2780   6850 |        0 |        0
1079.93/1080.48	c 1080s |      26 |  9980351 |  7666952 |     2780   6858 |        0 |        0
1081.92/1082.49	c 1082s |      26 |  9995625 |  7678152 |     2780   6866 |        0 |        0
1083.92/1084.50	c 1084s |      26 | 10012563 |  7690652 |     2780   6874 |        0 |        0
1086.02/1086.50	c 1086s |      26 | 10027634 |  7702452 |     2780   6882 |        0 |        0
1088.02/1088.51	c 1088s |      26 | 10043283 |  7714352 |     2780   6890 |        0 |        0
1090.03/1090.52	c 1090s |      26 | 10057491 |  7725352 |     2780   6898 |        0 |        0
1092.03/1092.53	c 1092s |      26 | 10073593 |  7737452 |     2780   6906 |        0 |        0
1094.02/1094.54	c 1094s |      26 | 10087624 |  7747752 |     2780   6913 |        0 |        0
1096.02/1096.55	c 1096s |      26 | 10101583 |  7758652 |     2780   6920 |        0 |        0
1098.03/1098.55	c 1098s |      26 | 10115733 |  7769552 |     2780   6927 |        0 |        0
1100.02/1100.56	c 1100s |      26 | 10130531 |  7780652 |     2780   6935 |        0 |        0
1102.03/1102.57	c 1102s |      26 | 10146837 |  7793052 |     2780   6943 |        0 |        0
1104.02/1104.58	c 1104s |      26 | 10161172 |  7804252 |     2780   6951 |        0 |        0
1106.02/1106.58	c 1106s |      26 | 10176062 |  7815852 |     2780   6959 |        0 |        0
1108.02/1108.59	c 1108s |      26 | 10191131 |  7827352 |     2780   6966 |        0 |        0
1110.12/1110.60	c 1110s |      26 | 10205899 |  7838752 |     2780   6974 |        0 |        0
1112.12/1112.60	c 1112s |      26 | 10220598 |  7850052 |     2780   6982 |        0 |        0
1114.12/1114.61	c 1114s |      26 | 10235414 |  7861452 |     2780   6989 |        0 |        0
1116.12/1116.61	c 1116s |      26 | 10251515 |  7873752 |     2780   6998 |        0 |        0
1118.12/1118.63	c 1118s |      26 | 10265000 |  7884252 |     2780   7005 |        0 |        0
1120.12/1120.63	c 1120s |      26 | 10280470 |  7895852 |     2780   7013 |        0 |        0
1122.12/1122.64	c 1122s |      26 | 10296543 |  7907752 |     2780   7021 |        0 |        0
1124.12/1124.64	c 1124s |      26 | 10311941 |  7919052 |     2780   7028 |        0 |        0
1126.12/1126.65	c 1126s |      26 | 10326867 |  7930652 |     2780   7036 |        0 |        0
1128.11/1128.65	c 1128s |      26 | 10341213 |  7941952 |     2780   7044 |        0 |        0
1130.11/1130.65	c 1130s |      26 | 10356650 |  7953752 |     2780   7052 |        0 |        0
1132.11/1132.67	c 1132s |      26 | 10371670 |  7965252 |     2780   7060 |        0 |        0
1134.11/1134.68	c 1134s |      26 | 10387743 |  7977452 |     2780   7068 |        0 |        0
1136.12/1136.69	c 1136s |      26 | 10403920 |  7989952 |     2780   7076 |        0 |        0
1138.11/1138.70	c 1138s |      26 | 10418702 |  8001652 |     2780   7084 |        0 |        0
1140.21/1140.70	c 1140s |      26 | 10435240 |  8014152 |     2780   7093 |        0 |        0
1142.21/1142.70	c 1142s |      26 | 10451296 |  8026552 |     2780   7101 |        0 |        0
1144.22/1144.71	c 1144s |      26 | 10468676 |  8038652 |     2780   7109 |        0 |        0
1146.22/1146.72	c 1146s |      26 | 10485655 |  8050952 |     2780   7117 |        0 |        0
1148.22/1148.72	c 1148s |      26 | 10500828 |  8062352 |     2780   7125 |        0 |        0
1150.22/1150.73	c 1150s |      26 | 10515669 |  8073952 |     2780   7133 |        0 |        0
1152.22/1152.74	c 1152s |      26 | 10531130 |  8086052 |     2780   7141 |        0 |        0
1154.22/1154.74	c 1154s |      26 | 10547120 |  8098352 |     2780   7149 |        0 |        0
1156.22/1156.75	c 1156s |      26 | 10563422 |  8110552 |     2780   7158 |        0 |        0
1158.22/1158.76	c 1158s |      26 | 10579581 |  8122352 |     2780   7166 |        0 |        0
1160.22/1160.77	c 1160s |      26 | 10595345 |  8134352 |     2780   7174 |        0 |        0
1162.21/1162.78	c 1162s |      26 | 10609642 |  8144952 |     2780   7181 |        0 |        0
1164.21/1164.80	c 1164s |      26 | 10625831 |  8156752 |     2780   7189 |        0 |        0
1166.31/1166.80	c 1166s |      26 | 10640748 |  8167852 |     2780   7196 |        0 |        0
1168.31/1168.81	c 1168s |      26 | 10654628 |  8178852 |     2780   7204 |        0 |        0
1170.31/1170.82	c 1170s |      26 | 10667311 |  8189252 |     2780   7211 |        0 |        0
1172.32/1172.84	c 1172s |      26 | 10680252 |  8199752 |     2780   7218 |        0 |        0
1174.31/1174.86	c 1174s |      26 | 10695577 |  8211152 |     2780   7226 |        0 |        0
1176.31/1176.86	c 1176s |      26 | 10711218 |  8223352 |     2780   7234 |        0 |        0
1178.31/1178.87	c 1178s |      26 | 10726501 |  8235152 |     2780   7242 |        0 |        0
1180.31/1180.88	c 1180s |      26 | 10742916 |  8247352 |     2780   7250 |        0 |        0
1182.41/1182.91	c 1182s |      26 | 10759757 |  8259852 |     2780   7259 |        0 |        0
1184.41/1184.91	c 1184s |      26 | 10775261 |  8271352 |     2780   7266 |        0 |        0
1186.40/1186.93	c 1186s |      26 | 10791048 |  8283352 |     2780   7274 |        0 |        0
1188.40/1188.93	c 1188s |      26 | 10805818 |  8294952 |     2780   7282 |        0 |        0
1190.40/1190.93	c 1190s |      26 | 10821950 |  8306852 |     2780   7290 |        0 |        0
1192.40/1192.94	c 1192s |      26 | 10837229 |  8318452 |     2780   7298 |        0 |        0
1194.42/1194.95	c 1194s |      26 | 10852856 |  8330352 |     2780   7306 |        0 |        0
1196.41/1196.97	c 1196s |      26 | 10867950 |  8341752 |     2780   7314 |        0 |        0
1198.41/1198.98	c 1198s |      26 | 10883779 |  8353452 |     2780   7321 |        0 |        0
1200.51/1201.00	c 1200s |      26 | 10900494 |  8365652 |     2780   7330 |        0 |        0
1202.51/1203.00	c 1202s |      26 | 10916018 |  8377052 |     2780   7337 |        0 |        0
1204.50/1205.01	c 1204s |      26 | 10930271 |  8387552 |     2780   7344 |        0 |        0
1206.51/1207.03	c 1207s |      26 | 10946144 |  8399452 |     2780   7353 |        0 |        0
1208.50/1209.03	c 1209s |      26 | 10961145 |  8410652 |     2780   7360 |        0 |        0
1210.50/1211.04	c 1211s |      26 | 10976330 |  8422752 |     2780   7368 |        0 |        0
1212.50/1213.05	c 1213s |      26 | 10991910 |  8434352 |     2780   7376 |        0 |        0
1214.50/1215.05	c 1215s |      26 | 11005819 |  8445252 |     2780   7384 |        0 |        0
1216.51/1217.06	c 1217s |      26 | 11022707 |  8457452 |     2780   7392 |        0 |        0
1218.51/1219.07	c 1219s |      26 | 11037678 |  8468952 |     2780   7399 |        0 |        0
1220.50/1221.07	c 1221s |      26 | 11053629 |  8480852 |     2780   7408 |        0 |        0
1222.50/1223.08	c 1223s |      26 | 11070643 |  8493152 |     2780   7416 |        0 |        0
1224.50/1225.09	c 1225s |      26 | 11086156 |  8504852 |     2780   7424 |        0 |        0
1226.60/1227.10	c 1227s |      26 | 11101389 |  8516552 |     2780   7432 |        0 |        0
1228.60/1229.11	c 1229s |      26 | 11116614 |  8528052 |     2780   7439 |        0 |        0
1230.61/1231.13	c 1231s |      26 | 11129237 |  8538452 |     2780   7446 |        0 |        0
1232.60/1233.14	c 1233s |      26 | 11143598 |  8549752 |     2780   7454 |        0 |        0
1234.60/1235.15	c 1235s |      26 | 11160327 |  8561952 |     2780   7462 |        0 |        0
1236.60/1237.16	c 1237s |      26 | 11176475 |  8573652 |     2780   7470 |        0 |        0
1238.60/1239.17	c 1239s |      26 | 11193761 |  8586252 |     2780   7479 |        0 |        0
1240.60/1241.18	c 1241s |      26 | 11208604 |  8598052 |     2780   7487 |        0 |        0
1242.60/1243.19	c 1243s |      26 | 11224253 |  8610152 |     2780   7495 |        0 |        0
1244.70/1245.21	c 1245s |      26 | 11237513 |  8620552 |     2780   7502 |        0 |        0
1246.70/1247.22	c 1247s |      26 | 11254324 |  8632852 |     2780   7510 |        0 |        0
1248.70/1249.23	c 1249s |      26 | 11271838 |  8646152 |     2780   7519 |        0 |        0
1250.69/1251.23	c 1251s |      26 | 11287601 |  8658352 |     2780   7528 |        0 |        0
1252.70/1253.24	c 1253s |      26 | 11304827 |  8671052 |     2780   7536 |        0 |        0
1254.69/1255.26	c 1255s |      26 | 11321146 |  8682952 |     2780   7544 |        0 |        0
1256.69/1257.27	c 1257s |      26 | 11336927 |  8694452 |     2780   7552 |        0 |        0
1258.70/1259.28	c 1259s |      26 | 11353159 |  8706452 |     2780   7560 |        0 |        0
1260.70/1261.29	c 1261s |      26 | 11370387 |  8719352 |     2780   7569 |        0 |        0
1262.80/1263.30	c 1263s |      26 | 11386587 |  8731552 |     2780   7577 |        0 |        0
1264.81/1265.31	c 1265s |      26 | 11401264 |  8743352 |     2780   7585 |        0 |        0
1266.80/1267.31	c 1267s |      26 | 11418268 |  8756152 |     2780   7594 |        0 |        0
1268.80/1269.33	c 1269s |      26 | 11433099 |  8767552 |     2780   7602 |        0 |        0
1270.80/1271.33	c 1271s |      26 | 11448116 |  8778852 |     2780   7609 |        0 |        0
1272.79/1273.34	c 1273s |      26 | 11464227 |  8791152 |     2780   7618 |        0 |        0
1274.79/1275.36	c 1275s |      26 | 11479641 |  8802652 |     2780   7625 |        0 |        0
1276.80/1277.36	c 1277s |      26 | 11495722 |  8814352 |     2780   7633 |        0 |        0
1278.79/1279.39	c 1279s |      26 | 11511515 |  8826652 |     2780   7642 |        0 |        0
1280.79/1281.40	c 1281s |      26 | 11526060 |  8837852 |     2780   7649 |        0 |        0
1282.89/1283.41	c 1283s |      26 | 11542630 |  8850152 |     2780   7658 |        0 |        0
1284.89/1285.43	c 1285s |      26 | 11559099 |  8861952 |     2780   7666 |        0 |        0
1286.89/1287.44	c 1287s |      26 | 11575069 |  8873952 |     2780   7674 |        0 |        0
1288.90/1289.45	c 1289s |      26 | 11592808 |  8886952 |     2780   7682 |        0 |        0
1290.89/1291.47	c 1291s |      26 | 11609662 |  8899752 |     2780   7691 |        0 |        0
1292.89/1293.47	c 1293s |      26 | 11626932 |  8912352 |     2780   7700 |        0 |        0
1294.89/1295.47	c 1295s |      26 | 11645769 |  8925652 |     2780   7709 |        0 |        0
1296.89/1297.48	c 1297s |      26 | 11661699 |  8937552 |     2780   7717 |        0 |        0
1298.89/1299.48	c 1299s |      26 | 11679148 |  8950552 |     2780   7726 |        0 |        0
1300.89/1301.49	c 1301s |      26 | 11696135 |  8963152 |     2780   7734 |        0 |        0
1302.89/1303.49	c 1303s |      26 | 11713771 |  8975852 |     2780   7743 |        0 |        0
1304.98/1305.50	c 1305s |      26 | 11729012 |  8987752 |     2780   7751 |        0 |        0
1306.98/1307.50	c 1307s |      26 | 11745062 |  9000052 |     2780   7759 |        0 |        0
1308.98/1309.51	c 1309s |      26 | 11759456 |  9011252 |     2780   7767 |        0 |        0
1310.99/1311.52	c 1311s |      26 | 11774753 |  9023052 |     2780   7775 |        0 |        0
1312.98/1313.55	c 1313s |      26 | 11789839 |  9034452 |     2780   7782 |        0 |        0
1314.98/1315.55	c 1315s |      26 | 11804974 |  9046052 |     2780   7790 |        0 |        0
1316.99/1317.56	c 1317s |      26 | 11820700 |  9058152 |     2780   7798 |        0 |        0
1318.99/1319.56	c 1319s |      26 | 11837190 |  9070852 |     2780   7807 |        0 |        0
1320.99/1321.57	c 1321s |      26 | 11850790 |  9082152 |     2780   7815 |        0 |        0
1323.00/1323.58	c 1323s |      26 | 11868043 |  9094952 |     2780   7823 |        0 |        0
1324.99/1325.58	c 1325s |      26 | 11885692 |  9107652 |     2780   7832 |        0 |        0
1327.09/1327.60	c 1327s |      26 | 11900829 |  9119652 |     2780   7840 |        0 |        0
1329.09/1329.61	c 1329s |      26 | 11916696 |  9131752 |     2780   7848 |        0 |        0
1331.09/1331.62	c 1331s |      26 | 11931656 |  9142952 |     2780   7856 |        0 |        0
1333.09/1333.63	c 1333s |      26 | 11947471 |  9154652 |     2780   7864 |        0 |        0
1335.09/1335.64	c 1335s |      26 | 11963139 |  9166352 |     2780   7872 |        0 |        0
1337.08/1337.65	c 1337s |      26 | 11979203 |  9178352 |     2780   7880 |        0 |        0
1339.08/1339.65	c 1339s |      26 | 11995465 |  9190752 |     2780   7888 |        0 |        0
1341.08/1341.67	c 1341s |      26 | 12011766 |  9203152 |     2780   7897 |        0 |        0
1343.08/1343.67	c 1343s |      26 | 12027843 |  9215452 |     2780   7905 |        0 |        0
1345.09/1345.68	c 1345s |      26 | 12043722 |  9227752 |     2780   7913 |        0 |        0
1347.08/1347.70	c 1347s |      26 | 12061524 |  9241152 |     2780   7922 |        0 |        0
1349.18/1349.70	c 1349s |      26 | 12078376 |  9253452 |     2780   7931 |        0 |        0
1351.18/1351.71	c 1351s |      26 | 12094381 |  9265452 |     2780   7939 |        0 |        0
1353.18/1353.71	c 1353s |      26 | 12112064 |  9278052 |     2780   7947 |        0 |        0
1355.18/1355.72	c 1355s |      26 | 12127286 |  9289952 |     2780   7955 |        0 |        0
1357.19/1357.72	c 1357s |      26 | 12141918 |  9301752 |     2780   7963 |        0 |        0
1359.18/1359.74	c 1359s |      26 | 12156778 |  9313052 |     2780   7971 |        0 |        0
1361.18/1361.74	c 1361s |      26 | 12171431 |  9323952 |     2780   7978 |        0 |        0
1363.18/1363.76	c 1363s |      26 | 12184654 |  9334552 |     2780   7985 |        0 |        0
1365.18/1365.76	c 1365s |      26 | 12201492 |  9347252 |     2780   7994 |        0 |        0
1367.18/1367.78	c 1367s |      26 | 12218540 |  9359852 |     2780   8002 |        0 |        0
1369.19/1369.79	c 1369s |      26 | 12234730 |  9372352 |     2780   8011 |        0 |        0
1371.28/1371.82	c 1371s |      26 | 12248495 |  9383652 |     2780   8019 |        0 |        0
1373.28/1373.83	c 1373s |      26 | 12264924 |  9395652 |     2780   8027 |        0 |        0
1375.28/1375.84	c 1375s |      26 | 12279436 |  9406952 |     2780   8034 |        0 |        0
1377.28/1377.85	c 1377s |      26 | 12295966 |  9418852 |     2780   8042 |        0 |        0
1379.28/1379.86	c 1379s |      26 | 12309760 |  9429752 |     2780   8050 |        0 |        0
1381.29/1381.87	c 1381s |      26 | 12325436 |  9441652 |     2780   8058 |        0 |        0
1383.28/1383.87	c 1383s |      26 | 12340049 |  9453052 |     2780   8066 |        0 |        0
1385.28/1385.87	c 1385s |      26 | 12355623 |  9464752 |     2780   8073 |        0 |        0
1387.28/1387.87	c 1387s |      26 | 12368158 |  9475252 |     2780   8081 |        0 |        0
1389.28/1389.88	c 1389s |      26 | 12384363 |  9487552 |     2780   8089 |        0 |        0
1391.29/1391.89	c 1391s |      26 | 12398580 |  9498752 |     2780   8096 |        0 |        0
1393.28/1393.90	c 1393s |      26 | 12414444 |  9510752 |     2780   8105 |        0 |        0
1395.38/1395.91	c 1395s |      26 | 12429963 |  9522352 |     2780   8112 |        0 |        0
1397.38/1397.92	c 1397s |      26 | 12445211 |  9533752 |     2780   8120 |        0 |        0
1399.38/1399.92	c 1399s |      26 | 12460843 |  9545452 |     2780   8128 |        0 |        0
1401.38/1401.94	c 1401s |      26 | 12475808 |  9557152 |     2780   8136 |        0 |        0
1403.38/1403.95	c 1403s |      26 | 12490741 |  9568352 |     2780   8144 |        0 |        0
1405.38/1405.96	c 1405s |      26 | 12507074 |  9580552 |     2780   8152 |        0 |        0
1407.38/1407.97	c 1407s |      26 | 12524742 |  9593052 |     2780   8160 |        0 |        0
1409.38/1409.97	c 1409s |      26 | 12541770 |  9605252 |     2780   8168 |        0 |        0
1411.38/1411.98	c 1411s |      26 | 12557166 |  9616752 |     2780   8176 |        0 |        0
1413.38/1413.99	c 1413s |      26 | 12572651 |  9628752 |     2780   8184 |        0 |        0
1415.48/1416.01	c 1415s |      26 | 12587076 |  9639552 |     2780   8192 |        0 |        0
1417.47/1418.02	c 1418s |      26 | 12602627 |  9650952 |     2780   8199 |        0 |        0
1419.47/1420.03	c 1420s |      26 | 12619176 |  9663152 |     2780   8208 |        0 |        0
1421.47/1422.05	c 1422s |      26 | 12634582 |  9674752 |     2780   8215 |        0 |        0
1423.47/1424.05	c 1424s |      26 | 12652102 |  9687352 |     2780   8224 |        0 |        0
1425.47/1426.06	c 1426s |      26 | 12670053 |  9700152 |     2780   8233 |        0 |        0
1427.48/1428.07	c 1428s |      26 | 12687322 |  9712652 |     2780   8241 |        0 |        0
1429.47/1430.07	c 1430s |      26 | 12700954 |  9723552 |     2780   8248 |        0 |        0
1431.47/1432.08	c 1432s |      26 | 12718031 |  9736152 |     2780   8257 |        0 |        0
1433.47/1434.08	c 1434s |      26 | 12734192 |  9748252 |     2780   8265 |        0 |        0
1435.47/1436.08	c 1436s |      26 | 12748562 |  9759452 |     2780   8273 |        0 |        0
1437.47/1438.08	c 1438s |      26 | 12765044 |  9771852 |     2780   8281 |        0 |        0
1439.47/1440.09	c 1440s |      26 | 12780722 |  9784152 |     2780   8289 |        0 |        0
1441.57/1442.10	c 1442s |      26 | 12796789 |  9796252 |     2780   8297 |        0 |        0
1443.57/1444.11	c 1444s |      26 | 12812120 |  9807952 |     2780   8305 |        0 |        0
1445.57/1446.11	c 1446s |      26 | 12826698 |  9819252 |     2780   8313 |        0 |        0
1447.56/1448.12	c 1448s |      26 | 12842492 |  9831052 |     2780   8321 |        0 |        0
1449.57/1450.13	c 1450s |      26 | 12859005 |  9843252 |     2780   8329 |        0 |        0
1451.56/1452.15	c 1452s |      26 | 12876256 |  9855752 |     2780   8338 |        0 |        0
1453.56/1454.16	c 1454s |      26 | 12891930 |  9867752 |     2780   8346 |        0 |        0
1455.57/1456.16	c 1456s |      26 | 12907500 |  9879552 |     2780   8354 |        0 |        0
1457.57/1458.17	c 1458s |      26 | 12923822 |  9891752 |     2780   8362 |        0 |        0
1459.57/1460.18	c 1460s |      26 | 12937693 |  9902952 |     2780   8370 |        0 |        0
1461.58/1462.18	c 1462s |      26 | 12952473 |  9914552 |     2780   8377 |        0 |        0
1463.57/1464.18	c 1464s |      26 | 12968673 |  9926352 |     2780   8385 |        0 |        0
1465.57/1466.19	c 1466s |      26 | 12983638 |  9938152 |     2780   8393 |        0 |        0
1467.67/1468.20	c 1468s |      26 | 12997573 |  9949552 |     2780   8401 |        0 |        0
1469.67/1470.21	c 1470s |      26 | 13013762 |  9961052 |     2780   8409 |        0 |        0
1471.67/1472.23	c 1472s |      26 | 13030858 |  9973552 |     2780   8417 |        0 |        0
1473.67/1474.25	c 1474s |      26 | 13048742 |  9986752 |     2780   8426 |        0 |        0
1475.66/1476.25	c 1476s |      26 | 13067122 | 10000052 |     2780   8435 |        0 |        0
1477.66/1478.27	c 1478s |      26 | 13082696 | 10012252 |     2780   8444 |        0 |        0
1479.66/1480.29	c 1480s |      26 | 13097274 | 10023652 |     2780   8451 |        0 |        0
1481.66/1482.29	c 1482s |      26 | 13113087 | 10035252 |     2780   8459 |        0 |        0
1483.76/1484.30	c 1484s |      26 | 13128526 | 10047252 |     2780   8467 |        0 |        0
1485.77/1486.32	c 1486s |      26 | 13143906 | 10059152 |     2780   8475 |        0 |        0
1487.76/1488.33	c 1488s |      26 | 13159996 | 10071252 |     2780   8484 |        0 |        0
1489.76/1490.33	c 1490s |      26 | 13175289 | 10083352 |     2780   8492 |        0 |        0
1491.76/1492.33	c 1492s |      26 | 13189520 | 10094452 |     2780   8499 |        0 |        0
1493.76/1494.34	c 1494s |      26 | 13205166 | 10105852 |     2780   8507 |        0 |        0
1495.76/1496.34	c 1496s |      26 | 13220480 | 10117252 |     2780   8515 |        0 |        0
1497.76/1498.36	c 1498s |      26 | 13236630 | 10129152 |     2780   8523 |        0 |        0
1499.76/1500.37	c 1500s |      26 | 13252767 | 10140752 |     2780   8531 |        0 |        0
1501.76/1502.38	c 1502s |      26 | 13271428 | 10153552 |     2780   8539 |        0 |        0
1503.75/1504.39	c 1504s |      26 | 13287583 | 10165352 |     2780   8547 |        0 |        0
1505.85/1506.41	c 1506s |      26 | 13304091 | 10177052 |     2780   8555 |        0 |        0
1507.86/1508.42	c 1508s |      26 | 13320956 | 10188952 |     2780   8563 |        0 |        0
1509.85/1510.42	c 1510s |      26 | 13338696 | 10201652 |     2780   8572 |        0 |        0
1511.85/1512.44	c 1512s |      26 | 13354635 | 10213652 |     2780   8580 |        0 |        0
1513.85/1514.44	c 1514s |      26 | 13370867 | 10225252 |     2780   8588 |        0 |        0
1515.86/1516.45	c 1516s |      26 | 13384066 | 10235852 |     2780   8595 |        0 |        0
1517.86/1518.47	c 1518s |      26 | 13401049 | 10247952 |     2780   8603 |        0 |        0
1519.87/1520.47	c 1520s |      26 | 13416797 | 10260052 |     2780   8612 |        0 |        0
1521.86/1522.49	c 1522s |      26 | 13433039 | 10272052 |     2780   8620 |        0 |        0
1523.86/1524.49	c 1524s |      26 | 13448835 | 10284152 |     2780   8628 |        0 |        0
1525.96/1526.50	c 1526s |      26 | 13466515 | 10296752 |     2780   8636 |        0 |        0
1527.96/1528.51	c 1528s |      26 | 13483082 | 10308552 |     2780   8644 |        0 |        0
1529.96/1530.51	c 1530s |      26 | 13500143 | 10321452 |     2780   8653 |        0 |        0
1531.96/1532.53	c 1532s |      26 | 13517187 | 10334052 |     2780   8662 |        0 |        0
1533.95/1534.54	c 1534s |      26 | 13532713 | 10345552 |     2780   8670 |        0 |        0
1535.95/1536.54	c 1536s |      26 | 13550832 | 10358652 |     2780   8678 |        0 |        0
1537.95/1538.55	c 1538s |      26 | 13568697 | 10371652 |     2780   8687 |        0 |        0
1539.95/1540.56	c 1540s |      26 | 13585703 | 10383952 |     2780   8696 |        0 |        0
1541.96/1542.57	c 1542s |      26 | 13601225 | 10396252 |     2780   8704 |        0 |        0
1543.95/1544.57	c 1544s |      26 | 13617882 | 10408452 |     2780   8712 |        0 |        0
1545.95/1546.59	c 1546s |      26 | 13633168 | 10420052 |     2780   8720 |        0 |        0
1547.95/1548.59	c 1548s |      26 | 13648893 | 10431652 |     2780   8728 |        0 |        0
1550.05/1550.61	c 1550s |      26 | 13666120 | 10443852 |     2780   8736 |        0 |        0
1552.05/1552.61	c 1552s |      26 | 13682598 | 10455952 |     2780   8745 |        0 |        0
1554.05/1554.61	c 1554s |      26 | 13698782 | 10467552 |     2780   8752 |        0 |        0
1556.06/1556.62	c 1556s |      26 | 13715823 | 10479952 |     2780   8761 |        0 |        0
1558.06/1558.64	c 1558s |      26 | 13732722 | 10492252 |     2780   8769 |        0 |        0
1560.05/1560.65	c 1560s |      26 | 13750094 | 10505352 |     2780   8778 |        0 |        0
1562.05/1562.66	c 1562s |      26 | 13766155 | 10517452 |     2780   8786 |        0 |        0
1564.05/1564.66	c 1564s |      26 | 13782166 | 10529252 |     2780   8794 |        0 |        0
1566.06/1566.66	c 1566s |      26 | 13798108 | 10541452 |     2780   8802 |        0 |        0
1568.05/1568.67	c 1568s |      26 | 13814811 | 10553952 |     2780   8811 |        0 |        0
1570.05/1570.68	c 1570s |      26 | 13831307 | 10566252 |     2780   8819 |        0 |        0
1572.15/1572.71	c 1572s |      26 | 13848267 | 10578452 |     2780   8828 |        0 |        0
1574.15/1574.71	c 1574s |      26 | 13865184 | 10590852 |     2780   8836 |        0 |        0
1576.15/1576.72	c 1576s |      26 | 13881023 | 10602952 |     2780   8844 |        0 |        0
1578.16/1578.73	c 1578s |      26 | 13898231 | 10616052 |     2780   8853 |        0 |        0
1580.15/1580.75	c 1580s |      26 | 13914552 | 10628452 |     2780   8861 |        0 |        0
1582.15/1582.75	c 1582s |      26 | 13931081 | 10641052 |     2780   8870 |        0 |        0
1584.15/1584.76	c 1584s |      26 | 13946634 | 10653452 |     2780   8878 |        0 |        0
1586.15/1586.77	c 1586s |      26 | 13964499 | 10667052 |     2780   8888 |        0 |        0
1588.15/1588.78	c 1588s |      26 | 13981611 | 10679852 |     2780   8896 |        0 |        0
1590.15/1590.79	c 1590s |      26 | 13998697 | 10692452 |     2780   8905 |        0 |        0
1592.25/1592.80	c 1592s |      26 | 14014610 | 10704952 |     2780   8913 |        0 |        0
1594.25/1594.80	c 1594s |      26 | 14031270 | 10717652 |     2780   8922 |        0 |        0
1596.25/1596.81	c 1596s |      26 | 14049539 | 10731352 |     2780   8931 |        0 |        0
1598.25/1598.83	c 1598s |      26 | 14064221 | 10742452 |     2780   8939 |        0 |        0
1600.25/1600.84	c 1600s |      26 | 14081567 | 10754952 |     2780   8947 |        0 |        0
1602.24/1602.86	c 1602s |      26 | 14097665 | 10767352 |     2780   8956 |        0 |        0
1604.24/1604.87	c 1604s |      26 | 14114914 | 10780052 |     2780   8964 |        0 |        0
1606.24/1606.88	c 1606s |      26 | 14130975 | 10792052 |     2780   8972 |        0 |        0
1608.24/1608.88	c 1608s |      26 | 14145729 | 10803352 |     2780   8980 |        0 |        0
1610.24/1610.88	c 1610s |      26 | 14161917 | 10815452 |     2780   8988 |        0 |        0
1612.25/1612.88	c 1612s |      26 | 14177069 | 10826852 |     2780   8996 |        0 |        0
1614.24/1614.89	c 1614s |      26 | 14193194 | 10838852 |     2780   9004 |        0 |        0
1616.34/1616.90	c 1616s |      26 | 14210093 | 10851652 |     2780   9013 |        0 |        0
1618.34/1618.92	c 1618s |      26 | 14227904 | 10864852 |     2780   9022 |        0 |        0
1620.34/1620.92	c 1620s |      26 | 14243411 | 10876552 |     2780   9029 |        0 |        0
1622.35/1622.92	c 1622s |      26 | 14259116 | 10888752 |     2780   9038 |        0 |        0
1624.35/1624.94	c 1624s |      26 | 14276407 | 10901752 |     2780   9047 |        0 |        0
1626.34/1626.94	c 1626s |      26 | 14292668 | 10914552 |     2780   9055 |        0 |        0
1628.34/1628.95	c 1628s |      26 | 14310336 | 10927952 |     2780   9064 |        0 |        0
1630.34/1630.96	c 1630s |      26 | 14324989 | 10939052 |     2780   9072 |        0 |        0
1632.34/1632.96	c 1632s |      26 | 14341204 | 10950952 |     2780   9080 |        0 |        0
1634.34/1634.98	c 1634s |      26 | 14355705 | 10962152 |     2780   9087 |        0 |        0
1636.34/1636.99	c 1636s |      26 | 14371461 | 10973852 |     2780   9095 |        0 |        0
1638.34/1639.00	c 1638s |      26 | 14384972 | 10984352 |     2780   9103 |        0 |        0
1640.44/1641.01	c 1640s |      26 | 14401421 | 10996952 |     2780   9111 |        0 |        0
1642.43/1643.02	c 1643s |      26 | 14416860 | 11008252 |     2780   9119 |        0 |        0
1644.44/1645.03	c 1645s |      26 | 14433157 | 11020752 |     2780   9127 |        0 |        0
1646.45/1647.04	c 1647s |      26 | 14449461 | 11032852 |     2780   9135 |        0 |        0
1648.44/1649.05	c 1649s |      26 | 14464875 | 11044652 |     2780   9143 |        0 |        0
1650.44/1651.05	c 1651s |      26 | 14481657 | 11057552 |     2780   9152 |        0 |        0
1652.44/1653.06	c 1653s |      26 | 14499022 | 11070852 |     2780   9161 |        0 |        0
1654.44/1655.07	c 1655s |      26 | 14516810 | 11083852 |     2780   9170 |        0 |        0
1656.44/1657.08	c 1657s |      26 | 14534313 | 11096652 |     2780   9179 |        0 |        0
1658.45/1659.08	c 1659s |      26 | 14551218 | 11109452 |     2780   9187 |        0 |        0
1660.54/1661.10	c 1661s |      26 | 14568432 | 11122552 |     2780   9196 |        0 |        0
1662.54/1663.11	c 1663s |      26 | 14584171 | 11134452 |     2780   9204 |        0 |        0
1664.54/1665.12	c 1665s |      26 | 14601488 | 11147452 |     2780   9213 |        0 |        0
1666.54/1667.12	c 1667s |      26 | 14617430 | 11159652 |     2780   9221 |        0 |        0
1668.54/1669.15	c 1669s |      26 | 14633188 | 11171752 |     2780   9230 |        0 |        0
1670.54/1671.15	c 1671s |      26 | 14649987 | 11184152 |     2780   9238 |        0 |        0
1672.54/1673.16	c 1673s |      26 | 14666056 | 11196452 |     2780   9246 |        0 |        0
1674.54/1675.17	c 1675s |      26 | 14682373 | 11208752 |     2780   9255 |        0 |        0
1676.54/1677.17	c 1677s |      26 | 14697757 | 11220452 |     2780   9263 |        0 |        0
1678.53/1679.18	c 1679s |      26 | 14712415 | 11231852 |     2780   9270 |        0 |        0
1680.54/1681.19	c 1681s |      26 | 14727712 | 11243452 |     2780   9278 |        0 |        0
1682.53/1683.19	c 1683s |      26 | 14744187 | 11255752 |     2780   9286 |        0 |        0
1684.53/1685.19	c 1685s |      26 | 14759949 | 11267552 |     2780   9294 |        0 |        0
1686.63/1687.20	c 1687s |      26 | 14776804 | 11280552 |     2780   9303 |        0 |        0
1688.63/1689.20	c 1689s |      26 | 14793177 | 11293252 |     2780   9312 |        0 |        0
1690.63/1691.21	c 1691s |      26 | 14808371 | 11304952 |     2780   9319 |        0 |        0
1692.64/1693.22	c 1693s |      26 | 14824974 | 11317552 |     3059   9328 |        0 |        0
1694.63/1695.24	c 1695s |      26 | 14840817 | 11329352 |     3059   9335 |        0 |        0
1696.63/1697.24	c 1697s |      26 | 14856894 | 11341452 |     3059   9342 |        0 |        0
1698.63/1699.25	c 1699s |      26 | 14872692 | 11353652 |     3059   9350 |        0 |        0
1700.63/1701.26	c 1701s |      26 | 14888850 | 11365752 |     3059   9357 |        0 |        0
1702.63/1703.26	c 1703s |      26 | 14904056 | 11377352 |     3059   9365 |        0 |        0
1704.63/1705.28	c 1705s |      26 | 14919694 | 11389252 |     3059   9372 |        0 |        0
1705.93/1706.58	c 1706s |      27 | 14930297 | 11396733 |     3059   9377 |        0 |        0
1707.93/1708.60	c 1708s |      27 | 14944232 | 11407633 |     3059   9383 |        0 |        0
1710.02/1710.61	c 1710s |      27 | 14959129 | 11419233 |     3059   9390 |        0 |        0
1712.02/1712.62	c 1712s |      27 | 14974996 | 11431133 |     3059   9398 |        0 |        0
1714.02/1714.64	c 1714s |      27 | 14991382 | 11443733 |     3059   9406 |        0 |        0
1716.02/1716.65	c 1716s |      27 | 15006665 | 11455733 |     3059   9413 |        0 |        0
1718.02/1718.66	c 1718s |      27 | 15022818 | 11468133 |     3059   9420 |        0 |        0
1720.03/1720.66	c 1720s |      27 | 15037116 | 11479533 |     3059   9427 |        0 |        0
1722.02/1722.67	c 1722s |      27 | 15052167 | 11490933 |     3059   9434 |        0 |        0
1724.02/1724.68	c 1724s |      27 | 15066273 | 11502033 |     3059   9441 |        0 |        0
1726.02/1726.69	c 1726s |      27 | 15080033 | 11512533 |     3059   9448 |        0 |        0
1728.12/1728.70	c 1728s |      27 | 15094519 | 11523433 |     3059   9454 |        0 |        0
1730.12/1730.72	c 1730s |      27 | 15109341 | 11534433 |     3059   9461 |        0 |        0
1732.14/1732.73	c 1732s |      27 | 15123086 | 11544733 |     3059   9467 |        0 |        0
1734.13/1734.75	c 1734s |      27 | 15139712 | 11557033 |     3059   9475 |        0 |        0
1736.13/1736.75	c 1736s |      27 | 15155114 | 11569133 |     3059   9482 |        0 |        0
1738.13/1738.75	c 1738s |      27 | 15170725 | 11581233 |     3059   9490 |        0 |        0
1740.13/1740.76	c 1740s |      27 | 15188315 | 11594133 |     3059   9498 |        0 |        0
1742.13/1742.77	c 1742s |      27 | 15206209 | 11607233 |     3059   9506 |        0 |        0
1744.12/1744.78	c 1744s |      27 | 15222825 | 11619733 |     3059   9513 |        0 |        0
1746.12/1746.78	c 1746s |      27 | 15237672 | 11631733 |     3059   9521 |        0 |        0
1748.22/1748.80	c 1748s |      27 | 15254221 | 11644333 |     3059   9528 |        0 |        0
1750.22/1750.81	c 1750s |      27 | 15272226 | 11657733 |     3059   9537 |        0 |        0
1752.22/1752.82	c 1752s |      27 | 15287684 | 11670233 |     3059   9544 |        0 |        0
1754.23/1754.82	c 1754s |      27 | 15305855 | 11683733 |     3059   9553 |        0 |        0
1756.22/1756.83	c 1756s |      27 | 15321946 | 11695933 |     3059   9560 |        0 |        0
1758.22/1758.84	c 1758s |      27 | 15338479 | 11708833 |     3059   9568 |        0 |        0
1760.22/1760.86	c 1760s |      27 | 15355000 | 11721933 |     3059   9576 |        0 |        0
1762.22/1762.87	c 1762s |      27 | 15368680 | 11732933 |     3059   9583 |        0 |        0
1764.22/1764.87	c 1764s |      27 | 15384330 | 11744933 |     3059   9590 |        0 |        0
1766.22/1766.88	c 1766s |      27 | 15400319 | 11757033 |     3059   9598 |        0 |        0
1768.32/1768.90	c 1768s |      27 | 15415250 | 11768633 |     3059   9605 |        0 |        0
1770.32/1770.91	c 1770s |      27 | 15430113 | 11780133 |     3059   9612 |        0 |        0
1772.32/1772.92	c 1772s |      27 | 15445492 | 11792133 |     3059   9619 |        0 |        0
1774.32/1774.93	c 1774s |      27 | 15459974 | 11803433 |     3059   9626 |        0 |        0
1776.32/1776.93	c 1776s |      27 | 15475744 | 11815833 |     3059   9634 |        0 |        0
1778.32/1778.95	c 1778s |      27 | 15491936 | 11828333 |     3059   9642 |        0 |        0
1780.31/1780.95	c 1780s |      27 | 15507771 | 11840633 |     3059   9649 |        0 |        0
1782.31/1782.96	c 1782s |      27 | 15522891 | 11852333 |     3059   9656 |        0 |        0
1784.31/1784.97	c 1784s |      27 | 15539711 | 11864633 |     3059   9664 |        0 |        0
1786.32/1786.98	c 1786s |      27 | 15557903 | 11877933 |     3059   9672 |        0 |        0
1788.33/1788.99	c 1788s |      27 | 15574698 | 11890533 |     3059   9680 |        0 |        0
1790.32/1791.00	c 1790s |      27 | 15592081 | 11903533 |     3059   9688 |        0 |        0
1792.42/1793.00	c 1792s |      27 | 15608906 | 11916233 |     3059   9696 |        0 |        0
1794.42/1795.01	c 1794s |      27 | 15626629 | 11929833 |     3059   9704 |        0 |        0
1796.42/1797.03	c 1797s |      27 | 15643270 | 11942533 |     3059   9712 |        0 |        0
1798.42/1799.04	c 1799s |      27 | 15660209 | 11955533 |     3059   9720 |        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-4122514-1467316814/watcher-4122514-1467316814 -o /tmp/evaluation-result-4122514-1467316814/solver-4122514-1467316814 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1467310476-18421 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122514-1467316814.opb 

pid=20142
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.09 2.18 2.17 4/180 20145
/proc/meminfo: memFree=27573884/32872528 swapFree=1427768/1542232
[pid=20145] ppid=20142 vsize=689596 CPUtime=0 cores=1,3,5,7
/proc/20145/stat : 20145 (toysat) R 20142 20145 15544 0 -1 4202496 2563 0 0 0 0 0 0 0 20 0 4 0 12642392 706146304 3436 33554432000 4194304 16246674 140736266508336 140736266507760 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20145/statm: 172911 3444 441 2943 0 169805 0
[pid=20145/tid=20146] ppid=20142 vsize=707004 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20146/stat : 20146 (toysat) S 20142 20145 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12642392 723972096 3507 33554432000 4194304 16246674 140736266508336 140355362073840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20145/tid=20147] ppid=20142 vsize=712124 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20147/stat : 20147 (toysat) S 20142 20145 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12642392 729214976 3524 33554432000 4194304 16246674 140736266508336 140355351583984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20145/tid=20148] ppid=20142 vsize=716220 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20148/stat : 20148 (toysat) S 20142 20145 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12642392 733409280 3540 33554432000 4194304 16246674 140736266508336 140355236261040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.09 2.18 2.17 4/180 20145
/proc/meminfo: memFree=27573884/32872528 swapFree=1427768/1542232
[pid=20145] ppid=20142 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/20145/stat : 20145 (toysat) R 20142 20145 15544 0 -1 4202496 24751 0 0 0 6 3 0 0 20 0 4 0 12642392 1247350784 25612 33554432000 4194304 16246674 140736266508336 140736266507760 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20145/statm: 304529 25621 707 2943 0 301423 0
[pid=20145/tid=20146] ppid=20142 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20146/stat : 20146 (toysat) S 20142 20145 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12642392 1247350784 25627 33554432000 4194304 16246674 140736266508336 140355362073840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20145/tid=20147] ppid=20142 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20147/stat : 20147 (toysat) S 20142 20145 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12642392 1247350784 25634 33554432000 4194304 16246674 140736266508336 140355351583984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20145/tid=20148] ppid=20142 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20148/stat : 20148 (toysat) S 20142 20145 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12642392 1247350784 25639 33554432000 4194304 16246674 140736266508336 140355236261040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.20058 s]
/proc/loadavg: 2.09 2.18 2.17 4/180 20145
/proc/meminfo: memFree=27573884/32872528 swapFree=1427768/1542232
[pid=20145] ppid=20142 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/20145/stat : 20145 (toysat) R 20142 20145 15544 0 -1 4202496 47060 0 0 0 14 5 0 0 20 0 4 0 12642392 1247350784 47921 33554432000 4194304 16246674 140736266508336 140736266507760 5853777 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20145/statm: 304529 47935 707 2943 0 301423 0
[pid=20145/tid=20146] ppid=20142 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20146/stat : 20146 (toysat) S 20142 20145 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12642392 1247350784 47944 33554432000 4194304 16246674 140736266508336 140355362073840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20145/tid=20147] ppid=20142 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20147/stat : 20147 (toysat) S 20142 20145 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12642392 1247350784 47953 33554432000 4194304 16246674 140736266508336 140355351583984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20145/tid=20148] ppid=20142 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20148/stat : 20148 (toysat) S 20142 20145 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12642392 1247350784 47962 33554432000 4194304 16246674 140736266508336 140355236261040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300491 s]
/proc/loadavg: 2.09 2.18 2.17 4/180 20145
/proc/meminfo: memFree=27573884/32872528 swapFree=1427768/1542232
[pid=20145] ppid=20142 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/20145/stat : 20145 (toysat) R 20142 20145 15544 0 -1 4202496 69163 0 0 0 20 9 0 0 20 0 4 0 12642392 1247350784 70024 33554432000 4194304 16246674 140736266508336 140736266507760 5667979 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20145/statm: 304529 70034 707 2943 0 301423 0
[pid=20145/tid=20146] ppid=20142 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20146/stat : 20146 (toysat) S 20142 20145 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12642392 1247350784 70042 33554432000 4194304 16246674 140736266508336 140355362073840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20145/tid=20147] ppid=20142 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20147/stat : 20147 (toysat) S 20142 20145 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12642392 1247350784 70049 33554432000 4194304 16246674 140736266508336 140355351583984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20145/tid=20148] ppid=20142 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20148/stat : 20148 (toysat) S 20142 20145 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12642392 1247350784 70056 33554432000 4194304 16246674 140736266508336 140355236261040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700418 s]
/proc/loadavg: 2.09 2.18 2.17 4/180 20145
/proc/meminfo: memFree=27573884/32872528 swapFree=1427768/1542232
[pid=20145] ppid=20142 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/20145/stat : 20145 (toysat) R 20142 20145 15544 0 -1 4202496 157664 0 0 0 48 21 0 0 20 0 4 0 12642392 1247350784 158526 33554432000 4194304 16246674 140736266508336 140736266491328 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20145/statm: 304529 158533 707 2943 0 301423 0
[pid=20145/tid=20146] ppid=20142 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20146/stat : 20146 (toysat) S 20142 20145 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12642392 1247350784 158541 33554432000 4194304 16246674 140736266508336 140355362073840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20145/tid=20147] ppid=20142 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20147/stat : 20147 (toysat) S 20142 20145 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12642392 1247350784 158547 33554432000 4194304 16246674 140736266508336 140355351583984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20145/tid=20148] ppid=20142 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20148/stat : 20148 (toysat) S 20142 20145 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12642392 1247350784 158553 33554432000 4194304 16246674 140736266508336 140355236261040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5005 s]
/proc/loadavg: 2.09 2.18 2.17 4/184 20149
/proc/meminfo: memFree=26588396/32872528 swapFree=1427768/1542232
[pid=20145] ppid=20142 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/20145/stat : 20145 (toysat) R 20142 20145 15544 0 -1 4202496 245778 0 0 0 117 32 0 0 20 0 4 0 12642392 1248399360 246619 33554432000 4194304 16246674 140736266508336 140736266507648 6012041 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20145/statm: 304785 246619 784 2943 0 301679 0
[pid=20145/tid=20146] ppid=20142 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20146/stat : 20146 (toysat) S 20142 20145 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12642392 1248399360 246619 33554432000 4194304 16246674 140736266508336 140355362073840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20145/tid=20147] ppid=20142 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20147/stat : 20147 (toysat) S 20142 20145 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12642392 1248399360 246619 33554432000 4194304 16246674 140736266508336 140355351583984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20145/tid=20148] ppid=20142 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20148/stat : 20148 (toysat) S 20142 20145 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12642392 1248399360 246619 33554432000 4194304 16246674 140736266508336 140355236261040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10042 s]
/proc/loadavg: 2.16 2.20 2.18 4/184 20149
/proc/meminfo: memFree=26502348/32872528 swapFree=1427768/1542232
[pid=20145] ppid=20142 vsize=1306180 CPUtime=3.08 cores=1,3,5,7
/proc/20145/stat : 20145 (toysat) R 20142 20145 15544 0 -1 4202496 267458 0 0 0 273 35 0 0 20 0 4 0 12642392 1337528320 268299 33554432000 4194304 16246674 140736266508336 140736266490240 5754969 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20145/statm: 326545 268299 784 2943 0 323439 0
[pid=20145/tid=20146] ppid=20142 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20146/stat : 20146 (toysat) S 20142 20145 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12642392 1337528320 268299 33554432000 4194304 16246674 140736266508336 140355362073840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20145/tid=20147] ppid=20142 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20147/stat : 20147 (toysat) S 20142 20145 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12642392 1337528320 268299 33554432000 4194304 16246674 140736266508336 140355351583984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20145/tid=20148] ppid=20142 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20148/stat : 20148 (toysat) S 20142 20145 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12642392 1337528320 268299 33554432000 4194304 16246674 140736266508336 140355236261040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.16 2.20 2.18 3/184 20149
/proc/meminfo: memFree=26500320/32872528 swapFree=1427768/1542232
[pid=20145] ppid=20142 vsize=1307204 CPUtime=6.28 cores=1,3,5,7
/proc/20145/stat : 20145 (toysat) R 20142 20145 15544 0 -1 4202496 267704 0 0 0 593 35 0 0 20 0 4 0 12642392 1338576896 268545 33554432000 4194304 16246674 140736266508336 140736266491336 5829778 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20145/statm: 326801 268545 784 2943 0 323695 0
[pid=20145/tid=20146] ppid=20142 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20146/stat : 20146 (toysat) S 20142 20145 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12642392 1338576896 268545 33554432000 4194304 16246674 140736266508336 140355362073840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20145/tid=20147] ppid=20142 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20147/stat : 20147 (toysat) S 20142 20145 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12642392 1338576896 268545 33554432000 4194304 16246674 140736266508336 140355351583984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20145/tid=20148] ppid=20142 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20148/stat : 20148 (toysat) S 20142 20145 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12642392 1338576896 268545 33554432000 4194304 16246674 140736266508336 140355236261040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.14 2.19 2.18 4/184 20149
/proc/meminfo: memFree=26498984/32872528 swapFree=1427768/1542232
[pid=20145] ppid=20142 vsize=1308228 CPUtime=12.68 cores=1,3,5,7
/proc/20145/stat : 20145 (toysat) R 20142 20145 15544 0 -1 4202496 267954 0 0 0 1233 35 0 0 20 0 4 0 12642392 1339625472 268795 33554432000 4194304 16246674 140736266508336 140736266490240 5822722 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20145/statm: 327057 268795 785 2943 0 323951 0
[pid=20145/tid=20146] ppid=20142 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20146/stat : 20146 (toysat) S 20142 20145 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12642392 1339625472 268795 33554432000 4194304 16246674 140736266508336 140355362073840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20145/tid=20147] ppid=20142 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20147/stat : 20147 (toysat) S 20142 20145 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12642392 1339625472 268795 33554432000 4194304 16246674 140736266508336 140355351583984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20145/tid=20148] ppid=20142 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20148/stat : 20148 (toysat) S 20142 20145 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12642392 1339625472 268795 33554432000 4194304 16246674 140736266508336 140355236261040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1308228

[startup+25.5004 s]
/proc/loadavg: 2.20 2.20 2.18 3/184 20150
/proc/meminfo: memFree=26498844/32872528 swapFree=1427768/1542232
[pid=20145] ppid=20142 vsize=1308228 CPUtime=25.49 cores=1,3,5,7
/proc/20145/stat : 20145 (toysat) R 20142 20145 15544 0 -1 4202496 268077 0 0 0 2514 35 0 0 20 0 4 0 12642392 1339625472 268918 33554432000 4194304 16246674 140736266508336 140736266490240 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20145/statm: 327057 268918 785 2943 0 323951 0
[pid=20145/tid=20146] ppid=20142 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20146/stat : 20146 (toysat) S 20142 20145 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12642392 1339625472 268918 33554432000 4194304 16246674 140736266508336 140355362073840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20145/tid=20147] ppid=20142 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20147/stat : 20147 (toysat) S 20142 20145 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12642392 1339625472 268918 33554432000 4194304 16246674 140736266508336 140355351583984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20145/tid=20148] ppid=20142 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20148/stat : 20148 (toysat) S 20142 20145 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12642392 1339625472 268918 33554432000 4194304 16246674 140736266508336 140355236261040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1308228

[startup+51.1004 s]
/proc/loadavg: 2.21 2.20 2.18 3/184 20173
/proc/meminfo: memFree=26497528/32872528 swapFree=1427768/1542232
[pid=20145] ppid=20142 vsize=1308228 CPUtime=51.08 cores=1,3,5,7
/proc/20145/stat : 20145 (toysat) R 20142 20145 15544 0 -1 4202496 268079 0 0 0 5072 36 0 0 20 0 4 0 12642392 1339625472 268920 33554432000 4194304 16246674 140736266508336 140736266490240 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20145/statm: 327057 268920 787 2943 0 323951 0
[pid=20145/tid=20146] ppid=20142 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20146/stat : 20146 (toysat) S 20142 20145 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12642392 1339625472 268920 33554432000 4194304 16246674 140736266508336 140355362073840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20145/tid=20147] ppid=20142 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20147/stat : 20147 (toysat) S 20142 20145 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12642392 1339625472 268920 33554432000 4194304 16246674 140736266508336 140355351583984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20145/tid=20148] ppid=20142 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20148/stat : 20148 (toysat) S 20142 20145 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12642392 1339625472 268920 33554432000 4194304 16246674 140736266508336 140355236261040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1308228

[startup+102.3 s]
/proc/loadavg: 2.27 2.21 2.18 3/184 20174
/proc/meminfo: memFree=26498612/32872528 swapFree=1427768/1542232
[pid=20145] ppid=20142 vsize=1308228 CPUtime=102.28 cores=1,3,5,7
/proc/20145/stat : 20145 (toysat) R 20142 20145 15544 0 -1 4202496 268079 0 0 0 10190 38 0 0 20 0 4 0 12642392 1339625472 268920 33554432000 4194304 16246674 140736266508336 140736266491336 5722036 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20145/statm: 327057 268920 787 2943 0 323951 0
[pid=20145/tid=20146] ppid=20142 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20146/stat : 20146 (toysat) S 20142 20145 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12642392 1339625472 268920 33554432000 4194304 16246674 140736266508336 140355362073840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20145/tid=20147] ppid=20142 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20147/stat : 20147 (toysat) S 20142 20145 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12642392 1339625472 268920 33554432000 4194304 16246674 140736266508336 140355351583984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20145/tid=20148] ppid=20142 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20148/stat : 20148 (toysat) S 20142 20145 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12642392 1339625472 268920 33554432000 4194304 16246674 140736266508336 140355236261040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1308228


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

/proc/20145/task/20148/stat : 20148 (toysat) S 20142 20145 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12642392 1349062656 271228 33554432000 4194304 16246674 140736266508336 140355236261040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 1317444

[startup+1302.3 s]
/proc/loadavg: 2.17 2.20 2.18 3/183 20204
/proc/meminfo: memFree=26486160/32872528 swapFree=1427768/1542232
[pid=20145] ppid=20142 vsize=1317444 CPUtime=1301.79 cores=1,3,5,7
/proc/20145/stat : 20145 (toysat) R 20142 20145 15544 0 -1 4202496 270840 0 0 0 130120 59 0 0 20 0 4 0 12642392 1349062656 271228 33554432000 4194304 16246674 140736266508336 140736266490240 5823131 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20145/statm: 329361 271228 788 2943 0 326255 0
[pid=20145/tid=20146] ppid=20142 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20146/stat : 20146 (toysat) S 20142 20145 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12642392 1349062656 271228 33554432000 4194304 16246674 140736266508336 140355362073840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20145/tid=20147] ppid=20142 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20147/stat : 20147 (toysat) S 20142 20145 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12642392 1349062656 271228 33554432000 4194304 16246674 140736266508336 140355351583984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20145/tid=20148] ppid=20142 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20148/stat : 20148 (toysat) S 20142 20145 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12642392 1349062656 271228 33554432000 4194304 16246674 140736266508336 140355236261040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 1317444

[startup+1362.3 s]
/proc/loadavg: 2.15 2.19 2.18 3/183 20205
/proc/meminfo: memFree=26486096/32872528 swapFree=1427768/1542232
[pid=20145] ppid=20142 vsize=1317444 CPUtime=1361.78 cores=1,3,5,7
/proc/20145/stat : 20145 (toysat) R 20142 20145 15544 0 -1 4202496 270840 0 0 0 136118 60 0 0 20 0 4 0 12642392 1349062656 271228 33554432000 4194304 16246674 140736266508336 140736266490240 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20145/statm: 329361 271228 788 2943 0 326255 0
[pid=20145/tid=20146] ppid=20142 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20146/stat : 20146 (toysat) S 20142 20145 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12642392 1349062656 271228 33554432000 4194304 16246674 140736266508336 140355362073840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20145/tid=20147] ppid=20142 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20147/stat : 20147 (toysat) S 20142 20145 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12642392 1349062656 271228 33554432000 4194304 16246674 140736266508336 140355351583984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20145/tid=20148] ppid=20142 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20148/stat : 20148 (toysat) S 20142 20145 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12642392 1349062656 271228 33554432000 4194304 16246674 140736266508336 140355236261040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 1317444

[startup+1422.3 s]
/proc/loadavg: 2.08 2.17 2.17 2/173 20237
/proc/meminfo: memFree=27576004/32872528 swapFree=1427768/1542232
[pid=20145] ppid=20142 vsize=1317444 CPUtime=1421.77 cores=1,3,5,7
/proc/20145/stat : 20145 (toysat) R 20142 20145 15544 0 -1 4202496 270840 0 0 0 142116 61 0 0 20 0 4 0 12642392 1349062656 271228 33554432000 4194304 16246674 140736266508336 140736266490240 5672869 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20145/statm: 329361 271228 788 2943 0 326255 0
[pid=20145/tid=20146] ppid=20142 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20146/stat : 20146 (toysat) S 20142 20145 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12642392 1349062656 271228 33554432000 4194304 16246674 140736266508336 140355362073840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20145/tid=20147] ppid=20142 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20147/stat : 20147 (toysat) S 20142 20145 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12642392 1349062656 271228 33554432000 4194304 16246674 140736266508336 140355351583984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20145/tid=20148] ppid=20142 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20148/stat : 20148 (toysat) S 20142 20145 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12642392 1349062656 271228 33554432000 4194304 16246674 140736266508336 140355236261040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 1317444

[startup+1482.3 s]
/proc/loadavg: 1.45 1.96 2.10 2/173 20238
/proc/meminfo: memFree=27576684/32872528 swapFree=1427768/1542232
[pid=20145] ppid=20142 vsize=1317444 CPUtime=1481.76 cores=1,3,5,7
/proc/20145/stat : 20145 (toysat) R 20142 20145 15544 0 -1 4202496 270840 0 0 0 148114 62 0 0 20 0 4 0 12642392 1349062656 271228 33554432000 4194304 16246674 140736266508336 140736266490240 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20145/statm: 329361 271228 788 2943 0 326255 0
[pid=20145/tid=20146] ppid=20142 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20146/stat : 20146 (toysat) S 20142 20145 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12642392 1349062656 271228 33554432000 4194304 16246674 140736266508336 140355362073840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20145/tid=20147] ppid=20142 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20147/stat : 20147 (toysat) S 20142 20145 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12642392 1349062656 271228 33554432000 4194304 16246674 140736266508336 140355351583984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20145/tid=20148] ppid=20142 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20148/stat : 20148 (toysat) S 20142 20145 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12642392 1349062656 271228 33554432000 4194304 16246674 140736266508336 140355236261040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 1317444

[startup+1542.3 s]
/proc/loadavg: 1.30 1.84 2.05 2/173 20239
/proc/meminfo: memFree=27576864/32872528 swapFree=1427768/1542232
[pid=20145] ppid=20142 vsize=1317444 CPUtime=1541.75 cores=1,3,5,7
/proc/20145/stat : 20145 (toysat) R 20142 20145 15544 0 -1 4202496 270840 0 0 0 154112 63 0 0 20 0 4 0 12642392 1349062656 271228 33554432000 4194304 16246674 140736266508336 140736266490240 6012004 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20145/statm: 329361 271228 788 2943 0 326255 0
[pid=20145/tid=20146] ppid=20142 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20146/stat : 20146 (toysat) S 20142 20145 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12642392 1349062656 271228 33554432000 4194304 16246674 140736266508336 140355362073840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20145/tid=20147] ppid=20142 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20147/stat : 20147 (toysat) S 20142 20145 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12642392 1349062656 271228 33554432000 4194304 16246674 140736266508336 140355351583984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20145/tid=20148] ppid=20142 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20148/stat : 20148 (toysat) S 20142 20145 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12642392 1349062656 271228 33554432000 4194304 16246674 140736266508336 140355236261040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 1317444

[startup+1602.3 s]
/proc/loadavg: 1.17 1.69 1.98 2/173 20241
/proc/meminfo: memFree=27577048/32872528 swapFree=1427768/1542232
[pid=20145] ppid=20142 vsize=1317444 CPUtime=1601.74 cores=1,3,5,7
/proc/20145/stat : 20145 (toysat) R 20142 20145 15544 0 -1 4202496 270840 0 0 0 160110 64 0 0 20 0 4 0 12642392 1349062656 271228 33554432000 4194304 16246674 140736266508336 140736266490240 5523192 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20145/statm: 329361 271228 788 2943 0 326255 0
[pid=20145/tid=20146] ppid=20142 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20146/stat : 20146 (toysat) S 20142 20145 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12642392 1349062656 271228 33554432000 4194304 16246674 140736266508336 140355362073840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20145/tid=20147] ppid=20142 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20147/stat : 20147 (toysat) S 20142 20145 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12642392 1349062656 271228 33554432000 4194304 16246674 140736266508336 140355351583984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20145/tid=20148] ppid=20142 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20148/stat : 20148 (toysat) S 20142 20145 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12642392 1349062656 271228 33554432000 4194304 16246674 140736266508336 140355236261040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 1317444

[startup+1662.3 s]
/proc/loadavg: 1.10 1.58 1.92 2/173 20242
/proc/meminfo: memFree=27577348/32872528 swapFree=1427768/1542232
[pid=20145] ppid=20142 vsize=1317444 CPUtime=1661.75 cores=1,3,5,7
/proc/20145/stat : 20145 (toysat) R 20142 20145 15544 0 -1 4202496 270840 0 0 0 166109 66 0 0 20 0 4 0 12642392 1349062656 271228 33554432000 4194304 16246674 140736266508336 140736266490240 6012041 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20145/statm: 329361 271228 788 2943 0 326255 0
[pid=20145/tid=20146] ppid=20142 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20146/stat : 20146 (toysat) S 20142 20145 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12642392 1349062656 271228 33554432000 4194304 16246674 140736266508336 140355362073840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20145/tid=20147] ppid=20142 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20147/stat : 20147 (toysat) S 20142 20145 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12642392 1349062656 271228 33554432000 4194304 16246674 140736266508336 140355351583984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20145/tid=20148] ppid=20142 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20148/stat : 20148 (toysat) S 20142 20145 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12642392 1349062656 271228 33554432000 4194304 16246674 140736266508336 140355236261040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 1317444

[startup+1722.3 s]
/proc/loadavg: 1.16 1.51 1.88 3/173 20243
/proc/meminfo: memFree=27577528/32872528 swapFree=1427768/1542232
[pid=20145] ppid=20142 vsize=1317444 CPUtime=1721.72 cores=1,3,5,7
/proc/20145/stat : 20145 (toysat) R 20142 20145 15544 0 -1 4202496 270840 0 0 0 172106 66 0 0 20 0 4 0 12642392 1349062656 271228 33554432000 4194304 16246674 140736266508336 140736266490240 5677656 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20145/statm: 329361 271228 788 2943 0 326255 0
[pid=20145/tid=20146] ppid=20142 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20146/stat : 20146 (toysat) S 20142 20145 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12642392 1349062656 271228 33554432000 4194304 16246674 140736266508336 140355362073840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20145/tid=20147] ppid=20142 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20147/stat : 20147 (toysat) S 20142 20145 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12642392 1349062656 271228 33554432000 4194304 16246674 140736266508336 140355351583984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20145/tid=20148] ppid=20142 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20148/stat : 20148 (toysat) S 20142 20145 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12642392 1349062656 271228 33554432000 4194304 16246674 140736266508336 140355236261040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 1317444

[startup+1782.31 s]
/proc/loadavg: 1.27 1.48 1.84 2/173 20244
/proc/meminfo: memFree=27577460/32872528 swapFree=1427768/1542232
[pid=20145] ppid=20142 vsize=1317444 CPUtime=1781.72 cores=1,3,5,7
/proc/20145/stat : 20145 (toysat) R 20142 20145 15544 0 -1 4202496 270840 0 0 0 178105 67 0 0 20 0 4 0 12642392 1349062656 271228 33554432000 4194304 16246674 140736266508336 140736266490240 6026371 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20145/statm: 329361 271228 788 2943 0 326255 0
[pid=20145/tid=20146] ppid=20142 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20146/stat : 20146 (toysat) S 20142 20145 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12642392 1349062656 271228 33554432000 4194304 16246674 140736266508336 140355362073840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20145/tid=20147] ppid=20142 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20147/stat : 20147 (toysat) S 20142 20145 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12642392 1349062656 271228 33554432000 4194304 16246674 140736266508336 140355351583984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20145/tid=20148] ppid=20142 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20148/stat : 20148 (toysat) S 20142 20145 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12642392 1349062656 271228 33554432000 4194304 16246674 140736266508336 140355236261040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 1317444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.28 1.47 1.83 2/174 20247
/proc/meminfo: memFree=27577012/32872528 swapFree=1427768/1542232
[pid=20145] ppid=20142 vsize=1317444 CPUtime=1800.02 cores=1,3,5,7
/proc/20145/stat : 20145 (toysat) R 20142 20145 15544 0 -1 4202496 270840 0 0 0 179934 68 0 0 20 0 4 0 12642392 1349062656 271228 33554432000 4194304 16246674 140736266508336 140736266490240 5724015 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20145/statm: 329361 271228 788 2943 0 326255 0
[pid=20145/tid=20146] ppid=20142 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20146/stat : 20146 (toysat) S 20142 20145 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12642392 1349062656 271228 33554432000 4194304 16246674 140736266508336 140355362073840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=20145/tid=20147] ppid=20142 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20147/stat : 20147 (toysat) S 20142 20145 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12642392 1349062656 271228 33554432000 4194304 16246674 140736266508336 140355351583984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=20145/tid=20148] ppid=20142 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20145/task/20148/stat : 20148 (toysat) S 20142 20145 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12642392 1349062656 271228 33554432000 4194304 16246674 140736266508336 140355236261040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1317444

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 20145 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.03
CPU user time (s): 1799.35
CPU system time (s): 0.682896
CPU usage (%): 99.9678
Max. virtual memory (cumulated for all children) (KiB): 1317444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.35
system time used= 0.682896
maximum resident set size= 1084912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270840
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= 472
involuntary context switches= 1893

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.4893 second user time and 17.2284 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-30 22:00:14
IDJOB=4122514
IDBENCH=111157
IDSOLVER=2542
FILE ID=node116/4122514-1467316814
RUNJOBID= node116-1467310476-18421
PBS_JOBID= 20005287
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-86.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-4122514-1467316814/watcher-4122514-1467316814 -o /tmp/evaluation-result-4122514-1467316814/solver-4122514-1467316814 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1467310476-18421 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122514-1467316814.opb

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

MD5SUM BENCH= 66d70b225ecce73e79d92186c4fd0c1d
RANDOM SEED=1279476123

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.426
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:        27574156 kB
Buffers:          209640 kB
Cached:          1711384 kB
SwapCached:            0 kB
Active:          1428820 kB
Inactive:        1578580 kB
Active(anon):    1089200 kB
Inactive(anon):        0 kB
Active(file):     339620 kB
Inactive(file):  1578580 kB
Unevictable:     1542232 kB
Mlocked:         1427768 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16372 kB
Writeback:             0 kB
AnonPages:       2630868 kB
Mapped:            17072 kB
Shmem:               204 kB
Slab:             614236 kB
SReclaimable:      58260 kB
SUnreclaim:       555976 kB
KernelStack:        1536 kB
PageTables:         9540 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2763828 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    622592 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node116 at 2016-06-30 22:30:14