Trace number 4095812

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

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/
subsetcard/normalized-subsetcard-geq-fixedbandwidth-60.opb
MD5SUMa335cf1fe7fb93abb1bb7e1ab9fb945a
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.009998
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables241
Total number of constraints120
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)120
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-16T18:52:18+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-4095812-1466095938.opb"]
0.00/0.01	c use --random-gen="3996278586 2114942505 585607861 4186154198 1229182686 888528370 1847150781 4191667864 1635632771 3173701730 2284029 151674164 1424968089 3813292455 2134360005 1579652619 856118102 2977327054 3955430503 3107795236 89558408 677080734 2100889712 4184894263 2143015046 4145459498 2501649706 3688852381 3907091765 4022393476 212391081 3164154721 2179964187 3678752953 2148070329 118903246 3318158659 1538051721 1469776609 3389720219 1416848672 54653501 3880061167 2671015139 2754257595 1282033141 1071276721 4085082115 778019275 1261747949 1953135695 1496968708 590908756 1031626680 269302158 4081061119 1578077990 1998090112 955378482 2540395322 4144902846 4152009795 3641215527 1933968600 3363689679 1744167103 228124114 4227657014 1545088776 3222233178 3898306484 2582904680 676032383 363937498 4163632518 415696242 659448620 3794311077 1219040302 2925514802 23947033 2425198325 1546465670 3153089402 243248768 3055903025 1350374090 3166017157 607007810 906049847 876216235 2121353920 3912104292 3892315044 2138704752 424832918 2000521819 21843621 2766721087 588858072 4264967617 4045779816 2555249910 3696265347 2994441837 3282510490 2229680001 173957961 3904945397 3156769699 1673010635 2433732523 2637169330 2186554182 1698824318 2219666955 1822558014 850574358 701414762 1138909476 1590520997 3552816205 2936525566 2522066870 95217072 1456139860 1496280742 1518050973 586288753 506875943 3160012421 2754975467 3681815415 1664786320 4179611997 1292237461 869565064 3331863386 4214784436 2954987709 1917757917 2894107394 1050680600 201719646 2675371563 3662663929 3564994944 350341400 1814946924 1004930630 1466420771 1928593403 3683807250 2885933817 1891161625 110743139 2920235285 101632537 1654540987 4248122654 1430640457 3013898954 2266802502 3190145790 817352100 267863573 2796326282 1424716872 2990782643 2120550731 3537282087 2610457361 1319297200 1174246484 1254760416 941811928 598047894 224022239 1440787205 1300591765 2952086423 2885984153 3087743739 877101103 1183906094 1226266032 2749296630 161495201 2318780039 2875643924 300080691 1069718976 983450984 1437864049 2273874338 2842414806 557559762 973286914 2670190868 4132024279 3310897417 4151486423 155037184 1375904115 234523828 2713889514 3413619762 950193735 2550275506 1818592904 3901012372 461343523 850356954 2836102329 2929337065 1809081114 127546480 1615492474 1160341271 1263632429 743039865 660186085 3440681389 3918777311 2311460725 2107287830 4097776583 2609536498 2758349571 371755103 1974035976 3538291560 2679295284 3399797368 617669892 3075509390 2089605098 2859243225 214170082 1992037187 1461276383 704282122 3211203903 2891364337 3883120946 1165771178 1614943077 2047384997 3835020741 3727504596 3840123028 2617484655 3443580561 1872271899 2361660046 1085165392 255 362436" option to reproduce the execution
0.00/0.01	c #vars 241
0.00/0.01	c #constraints 120
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |      120      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      162 |      100 |      120      0 |        0 |        0
0.00/0.03	c  0.0s |       2 |      370 |      250 |      132      2 |        0 |        0
0.00/0.06	c  0.0s |       3 |      684 |      475 |      146      2 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1160 |      813 |      161      5 |        0 |        0
0.09/0.14	c  0.1s |       5 |     1839 |     1320 |      178      8 |        0 |        0
0.19/0.21	c  0.2s |       6 |     2890 |     2081 |      216     13 |        0 |        0
0.29/0.32	c  0.3s |       7 |     4555 |     3223 |      238     19 |        0 |        0
0.39/0.49	c  0.5s |       8 |     6656 |     4936 |      262     27 |        0 |        0
0.69/0.75	c  0.7s |       9 |    10295 |     7506 |      289     40 |        0 |        0
1.10/1.12	c  1.1s |      10 |    15359 |    11361 |      318     59 |        0 |        0
1.49/1.54	c  1.5s |      11 |    22855 |    17144 |      350     83 |        0 |        0
2.09/2.20	c  2.2s |      12 |    34382 |    25819 |      386    118 |        0 |        0
3.19/3.30	c  3.3s |      13 |    51742 |    38832 |      425    169 |        0 |        0
4.69/4.77	c  4.8s |      14 |    77879 |    58352 |      468    239 |        0 |        0
6.69/6.78	c  6.8s |      14 |   110289 |    83352 |      468    322 |        0 |        0
7.09/7.12	c  7.1s |      15 |   115930 |    87632 |      515    336 |        0 |        0
9.09/9.13	c  9.1s |      15 |   144814 |   109932 |      515    406 |        0 |        0
10.89/10.99	c 11.0s |      16 |   174216 |   131552 |      567    474 |        0 |        0
12.99/13.00	c 13.0s |      16 |   204255 |   154352 |      567    540 |        0 |        0
14.98/15.01	c 15.0s |      16 |   234439 |   177752 |      567    608 |        0 |        0
16.59/16.68	c 16.7s |      17 |   263536 |   197432 |      624    665 |        0 |        0
18.58/18.69	c 18.7s |      17 |   297069 |   222032 |      624    730 |        0 |        0
20.69/20.70	c 20.7s |      17 |   329745 |   246632 |      624    796 |        0 |        0
22.69/22.70	c 22.7s |      17 |   359852 |   269132 |      624    857 |        0 |        0
24.69/24.71	c 24.7s |      17 |   390451 |   291332 |      624    917 |        0 |        0
25.09/25.13	c 25.1s |      18 |   397007 |   296252 |      687    930 |        0 |        0
27.09/27.13	c 27.1s |      18 |   429090 |   318752 |      687    986 |        0 |        0
29.09/29.14	c 29.1s |      18 |   462501 |   341152 |      687   1044 |        0 |        0
31.09/31.15	c 31.1s |      18 |   493839 |   362552 |      687   1099 |        0 |        0
33.09/33.15	c 33.1s |      18 |   526997 |   385352 |      687   1157 |        0 |        0
35.08/35.16	c 35.1s |      18 |   557593 |   406952 |      687   1212 |        0 |        0
37.08/37.16	c 37.1s |      18 |   589310 |   428252 |      687   1267 |        0 |        0
38.59/38.62	c 38.6s |      19 |   612910 |   444482 |      756   1309 |        0 |        0
40.58/40.62	c 40.6s |      19 |   642732 |   466382 |      756   1357 |        0 |        0
42.58/42.63	c 42.6s |      19 |   671028 |   487682 |      756   1405 |        0 |        0
44.58/44.64	c 44.6s |      19 |   699501 |   508582 |      756   1452 |        0 |        0
46.58/46.64	c 46.6s |      19 |   729552 |   530382 |      756   1503 |        0 |        0
48.58/48.65	c 48.6s |      19 |   759968 |   552982 |      756   1555 |        0 |        0
50.59/50.65	c 50.6s |      19 |   787909 |   573982 |      756   1605 |        0 |        0
52.58/52.65	c 52.6s |      19 |   819946 |   597182 |      756   1664 |        0 |        0
54.58/54.66	c 54.7s |      19 |   847175 |   617682 |      756   1712 |        0 |        0
56.58/56.67	c 56.7s |      19 |   878108 |   640482 |      756   1766 |        0 |        0
58.58/58.68	c 58.7s |      19 |   906714 |   661882 |      756   1815 |        0 |        0
59.08/59.15	c 59.1s |      20 |   913367 |   666827 |      832   1825 |        0 |        0
61.08/61.15	c 61.1s |      20 |   939027 |   686227 |      832   1865 |        0 |        0
63.08/63.15	c 63.1s |      20 |   967192 |   707327 |      832   1910 |        0 |        0
65.08/65.16	c 65.1s |      20 |   995664 |   728627 |      832   1955 |        0 |        0
67.08/67.16	c 67.2s |      20 |  1025958 |   750227 |      832   2000 |        0 |        0
69.08/69.17	c 69.2s |      20 |  1053182 |   770127 |      832   2043 |        0 |        0
71.08/71.17	c 71.2s |      20 |  1081334 |   791327 |      832   2088 |        0 |        0
73.08/73.18	c 73.2s |      20 |  1111045 |   813127 |      832   2134 |        0 |        0
75.08/75.19	c 75.2s |      20 |  1137445 |   832927 |      832   2176 |        0 |        0
77.08/77.19	c 77.2s |      20 |  1164825 |   853727 |      832   2220 |        0 |        0
79.07/79.19	c 79.2s |      20 |  1194149 |   875027 |      832   2266 |        0 |        0
81.07/81.19	c 81.2s |      20 |  1225347 |   897127 |      832   2315 |        0 |        0
83.17/83.20	c 83.2s |      20 |  1252706 |   917927 |      832   2359 |        0 |        0
85.17/85.20	c 85.2s |      20 |  1280555 |   938527 |      832   2403 |        0 |        0
87.17/87.20	c 87.2s |      20 |  1305335 |   957627 |      832   2445 |        0 |        0
89.18/89.21	c 89.2s |      20 |  1331394 |   977427 |      832   2488 |        0 |        0
91.17/91.21	c 91.2s |      20 |  1356216 |   995927 |      916   2527 |        0 |        0
91.57/91.65	c 91.6s |      21 |  1362186 |  1000345 |      916   2536 |        0 |        0
93.58/93.66	c 93.6s |      21 |  1387516 |  1019945 |      916   2573 |        0 |        0
95.57/95.66	c 95.6s |      21 |  1413947 |  1040645 |      916   2612 |        0 |        0
97.57/97.67	c 97.7s |      21 |  1440512 |  1060845 |      916   2651 |        0 |        0
99.57/99.67	c 99.7s |      21 |  1465297 |  1079745 |      916   2687 |        0 |        0
101.57/101.67	c  101s |      21 |  1490083 |  1099345 |      916   2724 |        0 |        0
103.58/103.68	c  103s |      21 |  1514904 |  1118645 |      916   2761 |        0 |        0
105.58/105.69	c  105s |      21 |  1539800 |  1137645 |      916   2797 |        0 |        0
107.58/107.69	c  107s |      21 |  1565115 |  1156945 |      916   2835 |        0 |        0
109.58/109.69	c  109s |      21 |  1589907 |  1175945 |      916   2871 |        0 |        0
111.68/111.70	c  111s |      21 |  1612228 |  1193645 |      916   2905 |        0 |        0
113.67/113.70	c  113s |      21 |  1639236 |  1214845 |      916   2945 |        0 |        0
115.67/115.70	c  115s |      21 |  1665858 |  1235545 |      916   2984 |        0 |        0
117.68/117.71	c  117s |      21 |  1694137 |  1257245 |      916   3024 |        0 |        0
119.67/119.71	c  119s |      21 |  1722556 |  1278745 |      916   3065 |        0 |        0
121.67/121.72	c  121s |      21 |  1750914 |  1300345 |      916   3106 |        0 |        0
123.67/123.73	c  123s |      21 |  1778347 |  1320945 |      916   3144 |        0 |        0
125.67/125.73	c  125s |      21 |  1804140 |  1340945 |      916   3182 |        0 |        0
127.67/127.73	c  127s |      21 |  1830707 |  1361245 |      916   3220 |        0 |        0
129.67/129.73	c  129s |      21 |  1858426 |  1382145 |      916   3259 |        0 |        0
131.67/131.75	c  131s |      21 |  1885704 |  1402745 |      916   3298 |        0 |        0
133.67/133.75	c  133s |      21 |  1913042 |  1423745 |      916   3339 |        0 |        0
135.67/135.76	c  135s |      21 |  1940401 |  1444445 |      916   3380 |        0 |        0
137.67/137.77	c  137s |      21 |  1966867 |  1464245 |      916   3420 |        0 |        0
139.68/139.77	c  139s |      21 |  1992807 |  1484145 |      916   3459 |        0 |        0
141.47/141.54	c  141s |      22 |  2014709 |  1500622 |     1008   3490 |        0 |        0
143.47/143.55	c  143s |      22 |  2041483 |  1521122 |     1008   3526 |        0 |        0
145.47/145.55	c  145s |      22 |  2071742 |  1542722 |     1008   3565 |        0 |        0
147.48/147.56	c  147s |      22 |  2097808 |  1562422 |     1008   3601 |        0 |        0
149.47/149.56	c  149s |      22 |  2124667 |  1582422 |     1008   3637 |        0 |        0
151.47/151.56	c  151s |      22 |  2154403 |  1604122 |     1008   3677 |        0 |        0
153.47/153.57	c  153s |      22 |  2182996 |  1624522 |     1008   3714 |        0 |        0
155.47/155.57	c  155s |      22 |  2211026 |  1645422 |     1008   3754 |        0 |        0
157.46/157.57	c  157s |      22 |  2239942 |  1666622 |     1008   3793 |        0 |        0
159.47/159.57	c  159s |      22 |  2271175 |  1688722 |     1008   3835 |        0 |        0
161.46/161.58	c  161s |      22 |  2302223 |  1711022 |     1008   3877 |        0 |        0
163.46/163.58	c  163s |      22 |  2334049 |  1733522 |     1008   3919 |        0 |        0
165.46/165.59	c  165s |      22 |  2361029 |  1753722 |     1008   3956 |        0 |        0
167.46/167.59	c  167s |      22 |  2389183 |  1774422 |     1008   3995 |        0 |        0
169.47/169.60	c  169s |      22 |  2416596 |  1794822 |     1008   4032 |        0 |        0
171.46/171.60	c  171s |      22 |  2443801 |  1815122 |     1008   4069 |        0 |        0
173.56/173.60	c  173s |      22 |  2470147 |  1834522 |     1008   4104 |        0 |        0
175.56/175.60	c  175s |      22 |  2498501 |  1854722 |     1008   4141 |        0 |        0
177.56/177.61	c  177s |      22 |  2525322 |  1874922 |     1008   4178 |        0 |        0
179.56/179.62	c  179s |      22 |  2550527 |  1893922 |     1008   4212 |        0 |        0
181.56/181.62	c  181s |      22 |  2575611 |  1912822 |     1008   4247 |        0 |        0
183.56/183.62	c  183s |      22 |  2602928 |  1932922 |     1008   4284 |        0 |        0
185.56/185.63	c  185s |      22 |  2630946 |  1953622 |     1008   4322 |        0 |        0
187.57/187.64	c  187s |      22 |  2658153 |  1973322 |     1008   4359 |        0 |        0
189.56/189.64	c  189s |      22 |  2685548 |  1993422 |     1008   4396 |        0 |        0
191.56/191.64	c  191s |      22 |  2713025 |  2013622 |     1008   4434 |        0 |        0
193.57/193.65	c  193s |      22 |  2737937 |  2032322 |     1008   4468 |        0 |        0
195.56/195.66	c  195s |      22 |  2758870 |  2049322 |     1008   4501 |        0 |        0
197.56/197.66	c  197s |      22 |  2783978 |  2067622 |     1008   4537 |        0 |        0
199.56/199.67	c  199s |      22 |  2806104 |  2085522 |     1008   4571 |        0 |        0
201.56/201.67	c  201s |      22 |  2829550 |  2103522 |     1008   4606 |        0 |        0
203.57/203.68	c  203s |      22 |  2850506 |  2120722 |     1008   4639 |        0 |        0
205.56/205.69	c  205s |      22 |  2873891 |  2139022 |     1008   4675 |        0 |        0
207.56/207.69	c  207s |      22 |  2899483 |  2158222 |     1008   4711 |        0 |        0
209.56/209.69	c  209s |      22 |  2925268 |  2177522 |     1008   4746 |        0 |        0
211.66/211.70	c  211s |      22 |  2953253 |  2198022 |     1008   4782 |        0 |        0
213.66/213.70	c  213s |      22 |  2979535 |  2217822 |     1008   4817 |        0 |        0
215.66/215.70	c  215s |      22 |  3005326 |  2237722 |     1109   4852 |        0 |        0
217.05/217.11	c  217s |      23 |  3024267 |  2251038 |     1109   4874 |        0 |        0
219.06/219.11	c  219s |      23 |  3052088 |  2271538 |     1109   4908 |        0 |        0
221.07/221.12	c  221s |      23 |  3077803 |  2291238 |     1109   4940 |        0 |        0
223.06/223.13	c  223s |      23 |  3102685 |  2310138 |     1109   4971 |        0 |        0
225.06/225.13	c  225s |      23 |  3127556 |  2329138 |     1109   5002 |        0 |        0
227.06/227.13	c  227s |      23 |  3152863 |  2348038 |     1109   5034 |        0 |        0
229.06/229.14	c  229s |      23 |  3176920 |  2366538 |     1109   5064 |        0 |        0
231.06/231.14	c  231s |      23 |  3199902 |  2384338 |     1109   5093 |        0 |        0
233.05/233.15	c  233s |      23 |  3228173 |  2403838 |     1109   5127 |        0 |        0
235.05/235.15	c  235s |      23 |  3253857 |  2422538 |     1109   5160 |        0 |        0
237.05/237.16	c  237s |      23 |  3275422 |  2440238 |     1109   5189 |        0 |        0
239.05/239.16	c  239s |      23 |  3299563 |  2458838 |     1109   5219 |        0 |        0
241.05/241.17	c  241s |      23 |  3324561 |  2477738 |     1109   5250 |        0 |        0
243.06/243.18	c  243s |      23 |  3349558 |  2496938 |     1109   5282 |        0 |        0
245.05/245.18	c  245s |      23 |  3376424 |  2515838 |     1109   5315 |        0 |        0
247.06/247.18	c  247s |      23 |  3402195 |  2534638 |     1109   5346 |        0 |        0
249.06/249.19	c  249s |      23 |  3427192 |  2553938 |     1109   5378 |        0 |        0
251.15/251.20	c  251s |      23 |  3454016 |  2574338 |     1109   5411 |        0 |        0
253.15/253.20	c  253s |      23 |  3479397 |  2594338 |     1109   5444 |        0 |        0
255.16/255.20	c  255s |      23 |  3503485 |  2613238 |     1109   5476 |        0 |        0
257.15/257.21	c  257s |      23 |  3526638 |  2631338 |     1109   5505 |        0 |        0
259.15/259.22	c  259s |      23 |  3551375 |  2650238 |     1109   5536 |        0 |        0
261.15/261.23	c  261s |      23 |  3577373 |  2669238 |     1109   5567 |        0 |        0
263.15/263.23	c  263s |      23 |  3601797 |  2688238 |     1109   5599 |        0 |        0
265.15/265.24	c  265s |      23 |  3625787 |  2706838 |     1109   5629 |        0 |        0
267.15/267.25	c  267s |      23 |  3650641 |  2726138 |     1109   5661 |        0 |        0
269.15/269.26	c  269s |      23 |  3676339 |  2745338 |     1109   5694 |        0 |        0
271.14/271.26	c  271s |      23 |  3701950 |  2765138 |     1109   5726 |        0 |        0
273.14/273.27	c  273s |      23 |  3725860 |  2783638 |     1109   5756 |        0 |        0
275.15/275.28	c  275s |      23 |  3751208 |  2802838 |     1109   5787 |        0 |        0
277.16/277.28	c  277s |      23 |  3775057 |  2821238 |     1109   5818 |        0 |        0
279.15/279.28	c  279s |      23 |  3800439 |  2840838 |     1109   5850 |        0 |        0
281.15/281.29	c  281s |      23 |  3825552 |  2860738 |     1109   5882 |        0 |        0
283.25/283.30	c  283s |      23 |  3851482 |  2880038 |     1109   5915 |        0 |        0
285.25/285.30	c  285s |      23 |  3876597 |  2899238 |     1109   5946 |        0 |        0
287.25/287.31	c  287s |      23 |  3902732 |  2919538 |     1109   5979 |        0 |        0
289.25/289.32	c  289s |      23 |  3929784 |  2939738 |     1109   6012 |        0 |        0
291.24/291.32	c  291s |      23 |  3956823 |  2960238 |     1109   6046 |        0 |        0
293.24/293.33	c  293s |      23 |  3982280 |  2979638 |     1109   6078 |        0 |        0
295.24/295.33	c  295s |      23 |  4008809 |  2999138 |     1109   6111 |        0 |        0
297.24/297.35	c  297s |      23 |  4037204 |  3020138 |     1109   6145 |        0 |        0
299.25/299.35	c  299s |      23 |  4062342 |  3039938 |     1109   6178 |        0 |        0
301.24/301.36	c  301s |      23 |  4088892 |  3060238 |     1109   6211 |        0 |        0
303.24/303.36	c  303s |      23 |  4115372 |  3078938 |     1109   6244 |        0 |        0
305.24/305.36	c  305s |      23 |  4140321 |  3098338 |     1109   6276 |        0 |        0
307.25/307.37	c  307s |      23 |  4163748 |  3116738 |     1109   6306 |        0 |        0
309.25/309.37	c  309s |      23 |  4186876 |  3135238 |     1109   6336 |        0 |        0
311.25/311.38	c  311s |      23 |  4209822 |  3153638 |     1109   6366 |        0 |        0
313.25/313.39	c  313s |      23 |  4232811 |  3171738 |     1109   6395 |        0 |        0
315.25/315.39	c  315s |      23 |  4258059 |  3191238 |     1109   6427 |        0 |        0
317.34/317.40	c  317s |      23 |  4286635 |  3211438 |     1109   6462 |        0 |        0
319.34/319.41	c  319s |      23 |  4311426 |  3230738 |     1109   6493 |        0 |        0
321.34/321.41	c  321s |      23 |  4336076 |  3250238 |     1109   6525 |        0 |        0
323.35/323.41	c  323s |      23 |  4361331 |  3269238 |     1109   6556 |        0 |        0
325.34/325.42	c  325s |      23 |  4390037 |  3289238 |     1109   6590 |        0 |        0
327.34/327.42	c  327s |      23 |  4415702 |  3308438 |     1109   6621 |        0 |        0
329.34/329.43	c  329s |      23 |  4442932 |  3329138 |     1109   6655 |        0 |        0
331.34/331.44	c  331s |      23 |  4471029 |  3348638 |     1109   6688 |        0 |        0
333.35/333.44	c  333s |      23 |  4494811 |  3366438 |     1220   6716 |        0 |        0
334.45/334.57	c  334s |      24 |  4508138 |  3376662 |     1220   6731 |        0 |        0
336.44/336.58	c  336s |      24 |  4531124 |  3394762 |     1220   6758 |        0 |        0
338.44/338.59	c  338s |      24 |  4555994 |  3413062 |     1220   6786 |        0 |        0
340.44/340.60	c  340s |      24 |  4583327 |  3432462 |     1220   6815 |        0 |        0
342.44/342.60	c  342s |      24 |  4609260 |  3451662 |     1220   6844 |        0 |        0
344.54/344.60	c  344s |      24 |  4634453 |  3470662 |     1220   6872 |        0 |        0
346.54/346.61	c  346s |      24 |  4657568 |  3488662 |     1220   6899 |        0 |        0
348.54/348.61	c  348s |      24 |  4681957 |  3506762 |     1220   6927 |        0 |        0
350.54/350.62	c  350s |      24 |  4709585 |  3526462 |     1220   6957 |        0 |        0
352.54/352.62	c  352s |      24 |  4733072 |  3544662 |     1220   6985 |        0 |        0
354.54/354.62	c  354s |      24 |  4760551 |  3564762 |     1220   7015 |        0 |        0
356.53/356.63	c  356s |      24 |  4786788 |  3584562 |     1220   7045 |        0 |        0
358.54/358.63	c  358s |      24 |  4812390 |  3603562 |     1220   7074 |        0 |        0
360.53/360.64	c  360s |      24 |  4839157 |  3623262 |     1220   7104 |        0 |        0
362.53/362.65	c  362s |      24 |  4864736 |  3641562 |     1220   7131 |        0 |        0
364.53/364.65	c  364s |      24 |  4889233 |  3659662 |     1220   7159 |        0 |        0
366.53/366.65	c  366s |      24 |  4913155 |  3677662 |     1220   7186 |        0 |        0
368.54/368.65	c  368s |      24 |  4938543 |  3696262 |     1220   7214 |        0 |        0
370.54/370.66	c  370s |      24 |  4963528 |  3714762 |     1220   7242 |        0 |        0
372.54/372.67	c  372s |      24 |  4986951 |  3732662 |     1220   7269 |        0 |        0
374.54/374.67	c  374s |      24 |  5012966 |  3751462 |     1220   7297 |        0 |        0
376.54/376.68	c  376s |      24 |  5037551 |  3770062 |     1220   7325 |        0 |        0
378.54/378.68	c  378s |      24 |  5064517 |  3789662 |     1220   7355 |        0 |        0
380.54/380.69	c  380s |      24 |  5090380 |  3808162 |     1220   7383 |        0 |        0
382.53/382.69	c  382s |      24 |  5115779 |  3826462 |     1220   7411 |        0 |        0
384.63/384.70	c  384s |      24 |  5140908 |  3844662 |     1220   7439 |        0 |        0
386.63/386.70	c  386s |      24 |  5164966 |  3862862 |     1220   7466 |        0 |        0
388.63/388.70	c  388s |      24 |  5189299 |  3881162 |     1220   7494 |        0 |        0
390.63/390.71	c  390s |      24 |  5213430 |  3898962 |     1220   7521 |        0 |        0
392.64/392.72	c  392s |      24 |  5236480 |  3916162 |     1220   7547 |        0 |        0
394.63/394.72	c  394s |      24 |  5259599 |  3933862 |     1220   7574 |        0 |        0
396.63/396.73	c  396s |      24 |  5281679 |  3950362 |     1220   7599 |        0 |        0
398.63/398.73	c  398s |      24 |  5304052 |  3967462 |     1220   7625 |        0 |        0
400.63/400.73	c  400s |      24 |  5328176 |  3985262 |     1220   7652 |        0 |        0
402.64/402.73	c  402s |      24 |  5351937 |  4003262 |     1220   7680 |        0 |        0
404.63/404.73	c  404s |      24 |  5376261 |  4021262 |     1220   7707 |        0 |        0
406.63/406.73	c  406s |      24 |  5401279 |  4040162 |     1220   7736 |        0 |        0
408.63/408.73	c  408s |      24 |  5427058 |  4059962 |     1220   7766 |        0 |        0
410.63/410.74	c  410s |      24 |  5454299 |  4080062 |     1220   7798 |        0 |        0
412.63/412.75	c  412s |      24 |  5481075 |  4099862 |     1220   7828 |        0 |        0
414.63/414.75	c  414s |      24 |  5507813 |  4119762 |     1220   7859 |        0 |        0
416.62/416.75	c  416s |      24 |  5533205 |  4138962 |     1220   7889 |        0 |        0
418.62/418.76	c  418s |      24 |  5559262 |  4158062 |     1220   7919 |        0 |        0
420.62/420.76	c  420s |      24 |  5586167 |  4177262 |     1220   7948 |        0 |        0
422.62/422.77	c  422s |      24 |  5610616 |  4195762 |     1220   7977 |        0 |        0
424.63/424.77	c  424s |      24 |  5635134 |  4213862 |     1220   8005 |        0 |        0
426.63/426.78	c  426s |      24 |  5659230 |  4232262 |     1220   8034 |        0 |        0
428.63/428.78	c  428s |      24 |  5683877 |  4250362 |     1220   8062 |        0 |        0
430.63/430.78	c  430s |      24 |  5708339 |  4269062 |     1220   8091 |        0 |        0
432.63/432.78	c  432s |      24 |  5734389 |  4288262 |     1220   8121 |        0 |        0
434.63/434.79	c  434s |      24 |  5761543 |  4307862 |     1220   8152 |        0 |        0
436.63/436.79	c  436s |      24 |  5785409 |  4326062 |     1220   8180 |        0 |        0
438.62/438.79	c  438s |      24 |  5811421 |  4344762 |     1220   8210 |        0 |        0
440.72/440.80	c  440s |      24 |  5836225 |  4363362 |     1220   8239 |        0 |        0
442.72/442.81	c  442s |      24 |  5861990 |  4382662 |     1220   8269 |        0 |        0
444.72/444.81	c  444s |      24 |  5886455 |  4401362 |     1220   8298 |        0 |        0
446.72/446.82	c  446s |      24 |  5912892 |  4421062 |     1220   8328 |        0 |        0
448.73/448.83	c  448s |      24 |  5939184 |  4440362 |     1220   8358 |        0 |        0
450.72/450.83	c  450s |      24 |  5963785 |  4458862 |     1220   8387 |        0 |        0
452.72/452.84	c  452s |      24 |  5989264 |  4477462 |     1220   8416 |        0 |        0
454.72/454.84	c  454s |      24 |  6014039 |  4495962 |     1220   8445 |        0 |        0
456.72/456.85	c  456s |      24 |  6039472 |  4514862 |     1220   8474 |        0 |        0
458.72/458.85	c  458s |      24 |  6065741 |  4534062 |     1220   8504 |        0 |        0
460.72/460.86	c  460s |      24 |  6090917 |  4552662 |     1220   8533 |        0 |        0
462.71/462.86	c  462s |      24 |  6116457 |  4572062 |     1220   8563 |        0 |        0
464.71/464.87	c  464s |      24 |  6140840 |  4590962 |     1220   8593 |        0 |        0
466.71/466.87	c  466s |      24 |  6167691 |  4610362 |     1220   8623 |        0 |        0
468.71/468.88	c  468s |      24 |  6193558 |  4629062 |     1220   8652 |        0 |        0
470.72/470.88	c  470s |      24 |  6218522 |  4647562 |     1220   8681 |        0 |        0
472.72/472.88	c  472s |      24 |  6244493 |  4666562 |     1220   8710 |        0 |        0
474.72/474.89	c  474s |      24 |  6271340 |  4686362 |     1220   8740 |        0 |        0
476.72/476.89	c  476s |      24 |  6298651 |  4706562 |     1220   8771 |        0 |        0
478.82/478.90	c  478s |      24 |  6324876 |  4726162 |     1220   8800 |        0 |        0
480.82/480.90	c  480s |      24 |  6351131 |  4745462 |     1220   8829 |        0 |        0
482.83/482.91	c  482s |      24 |  6377448 |  4764662 |     1220   8858 |        0 |        0
484.82/484.91	c  484s |      24 |  6402885 |  4783362 |     1220   8886 |        0 |        0
486.82/486.92	c  486s |      24 |  6428326 |  4802662 |     1220   8915 |        0 |        0
488.82/488.93	c  488s |      24 |  6450666 |  4819862 |     1220   8941 |        0 |        0
490.82/490.94	c  490s |      24 |  6475210 |  4837762 |     1220   8968 |        0 |        0
492.82/492.95	c  492s |      24 |  6498982 |  4855962 |     1220   8996 |        0 |        0
494.81/494.95	c  494s |      24 |  6525318 |  4875162 |     1220   9025 |        0 |        0
496.81/496.96	c  496s |      24 |  6552847 |  4894562 |     1220   9055 |        0 |        0
498.81/498.96	c  498s |      24 |  6576018 |  4912262 |     1220   9082 |        0 |        0
500.81/500.96	c  500s |      24 |  6601411 |  4931062 |     1220   9111 |        0 |        0
502.81/502.97	c  502s |      24 |  6625731 |  4949162 |     1220   9138 |        0 |        0
504.82/504.97	c  504s |      24 |  6651358 |  4967662 |     1220   9167 |        0 |        0
506.81/506.97	c  506s |      24 |  6677811 |  4987462 |     1220   9196 |        0 |        0
508.81/508.97	c  508s |      24 |  6702476 |  5006662 |     1220   9225 |        0 |        0
510.81/510.98	c  510s |      24 |  6726696 |  5025162 |     1220   9253 |        0 |        0
512.81/512.99	c  512s |      24 |  6749487 |  5042662 |     1342   9277 |        0 |        0
514.92/515.00	c  514s |      24 |  6772585 |  5059962 |     1342   9301 |        0 |        0
515.52/515.64	c  515s |      25 |  6779600 |  5065098 |     1342   9308 |        0 |        0
517.52/517.64	c  517s |      25 |  6804221 |  5084198 |     1342   9334 |        0 |        0
519.52/519.65	c  519s |      25 |  6828535 |  5102898 |     1342   9360 |        0 |        0
521.51/521.66	c  521s |      25 |  6852452 |  5120998 |     1342   9385 |        0 |        0
523.52/523.67	c  523s |      25 |  6874183 |  5137898 |     1342   9408 |        0 |        0
525.51/525.67	c  525s |      25 |  6897047 |  5155198 |     1342   9432 |        0 |        0
527.51/527.68	c  527s |      25 |  6920800 |  5173398 |     1342   9457 |        0 |        0
529.51/529.68	c  529s |      25 |  6943850 |  5191198 |     1342   9481 |        0 |        0
531.51/531.69	c  531s |      25 |  6967086 |  5209198 |     1342   9506 |        0 |        0
533.52/533.69	c  533s |      25 |  6991432 |  5227498 |     1342   9532 |        0 |        0
535.51/535.69	c  535s |      25 |  7015668 |  5245998 |     1342   9557 |        0 |        0
537.61/537.70	c  537s |      25 |  7038859 |  5264398 |     1342   9583 |        0 |        0
539.61/539.71	c  539s |      25 |  7063130 |  5283298 |     1342   9610 |        0 |        0
541.61/541.72	c  541s |      25 |  7085098 |  5300898 |     1342   9635 |        0 |        0
543.61/543.73	c  543s |      25 |  7110022 |  5319698 |     1342   9662 |        0 |        0
545.61/545.73	c  545s |      25 |  7130936 |  5336598 |     1342   9686 |        0 |        0
547.60/547.74	c  547s |      25 |  7156516 |  5356098 |     1342   9714 |        0 |        0
549.60/549.74	c  549s |      25 |  7179273 |  5373298 |     1342   9738 |        0 |        0
551.60/551.74	c  551s |      25 |  7201183 |  5390298 |     1342   9762 |        0 |        0
553.60/553.75	c  553s |      25 |  7224986 |  5408398 |     1342   9788 |        0 |        0
555.60/555.76	c  555s |      25 |  7248039 |  5425398 |     1342   9812 |        0 |        0
557.61/557.77	c  557s |      25 |  7271364 |  5442798 |     1342   9837 |        0 |        0
559.61/559.78	c  559s |      25 |  7294099 |  5459698 |     1342   9861 |        0 |        0
561.61/561.78	c  561s |      25 |  7316880 |  5476698 |     1342   9885 |        0 |        0
563.61/563.79	c  563s |      25 |  7340599 |  5494398 |     1342   9910 |        0 |        0
565.71/565.80	c  565s |      25 |  7362221 |  5511398 |     1342   9934 |        0 |        0
567.71/567.81	c  567s |      25 |  7382928 |  5527298 |     1342   9957 |        0 |        0
569.71/569.82	c  569s |      25 |  7405404 |  5543998 |     1342   9981 |        0 |        0
571.71/571.82	c  571s |      25 |  7427464 |  5560298 |     1342  10004 |        0 |        0
573.71/573.82	c  573s |      25 |  7448854 |  5575998 |     1342  10027 |        0 |        0
575.71/575.83	c  575s |      25 |  7471302 |  5593498 |     1342  10052 |        0 |        0
577.70/577.83	c  577s |      25 |  7494672 |  5611398 |     1342  10078 |        0 |        0
579.71/579.83	c  579s |      25 |  7517584 |  5629098 |     1342  10103 |        0 |        0
581.70/581.85	c  581s |      25 |  7542249 |  5647298 |     1342  10130 |        0 |        0
583.70/583.85	c  583s |      25 |  7568937 |  5666598 |     1342  10158 |        0 |        0
585.70/585.85	c  585s |      25 |  7595264 |  5685598 |     1342  10185 |        0 |        0
587.70/587.86	c  587s |      25 |  7619468 |  5703998 |     1342  10211 |        0 |        0
589.70/589.86	c  589s |      25 |  7643764 |  5722198 |     1342  10238 |        0 |        0
591.71/591.87	c  591s |      25 |  7667622 |  5740298 |     1342  10264 |        0 |        0
593.70/593.87	c  593s |      25 |  7688023 |  5756498 |     1342  10286 |        0 |        0
595.70/595.88	c  595s |      25 |  7708872 |  5772698 |     1342  10308 |        0 |        0
597.70/597.88	c  597s |      25 |  7729147 |  5789098 |     1342  10331 |        0 |        0
599.70/599.89	c  599s |      25 |  7751242 |  5806298 |     1342  10354 |        0 |        0
601.70/601.90	c  601s |      25 |  7774673 |  5823998 |     1342  10380 |        0 |        0
603.70/603.90	c  603s |      25 |  7799245 |  5842798 |     1342  10407 |        0 |        0
605.79/605.91	c  605s |      25 |  7824264 |  5862298 |     1342  10434 |        0 |        0
607.79/607.91	c  607s |      25 |  7850082 |  5881698 |     1342  10461 |        0 |        0
609.79/609.92	c  609s |      25 |  7875873 |  5901198 |     1342  10488 |        0 |        0
611.79/611.92	c  611s |      25 |  7899781 |  5919498 |     1342  10514 |        0 |        0
613.80/613.93	c  613s |      25 |  7923744 |  5938098 |     1342  10541 |        0 |        0
615.79/615.94	c  615s |      25 |  7949825 |  5957698 |     1342  10569 |        0 |        0
617.79/617.94	c  617s |      25 |  7973526 |  5975998 |     1342  10596 |        0 |        0
619.79/619.95	c  619s |      25 |  7997302 |  5993698 |     1342  10621 |        0 |        0
621.80/621.95	c  621s |      25 |  8019965 |  6010798 |     1342  10645 |        0 |        0
623.80/623.95	c  623s |      25 |  8043226 |  6028498 |     1342  10671 |        0 |        0
625.81/625.96	c  625s |      25 |  8067560 |  6046498 |     1342  10696 |        0 |        0
627.80/627.96	c  627s |      25 |  8092544 |  6065498 |     1342  10724 |        0 |        0
629.80/629.97	c  629s |      25 |  8117445 |  6084598 |     1342  10751 |        0 |        0
631.80/631.98	c  631s |      25 |  8143242 |  6103998 |     1342  10779 |        0 |        0
633.80/633.98	c  633s |      25 |  8168138 |  6122698 |     1342  10807 |        0 |        0
635.80/635.99	c  635s |      25 |  8191798 |  6140898 |     1342  10833 |        0 |        0
637.79/637.99	c  637s |      25 |  8217389 |  6159298 |     1342  10860 |        0 |        0
639.89/640.01	c  639s |      25 |  8242372 |  6177998 |     1342  10887 |        0 |        0
641.89/642.01	c  641s |      25 |  8265608 |  6196098 |     1342  10913 |        0 |        0
643.89/644.01	c  644s |      25 |  8289724 |  6214698 |     1342  10940 |        0 |        0
645.89/646.03	c  646s |      25 |  8313510 |  6232698 |     1342  10966 |        0 |        0
647.90/648.03	c  648s |      25 |  8336280 |  6249598 |     1342  10990 |        0 |        0
649.89/650.04	c  650s |      25 |  8360335 |  6267598 |     1342  11016 |        0 |        0
651.89/652.04	c  652s |      25 |  8383954 |  6285598 |     1342  11042 |        0 |        0
653.89/654.05	c  654s |      25 |  8406900 |  6303298 |     1342  11068 |        0 |        0
655.89/656.05	c  656s |      25 |  8428308 |  6319498 |     1342  11091 |        0 |        0
657.89/658.06	c  658s |      25 |  8449505 |  6335898 |     1342  11115 |        0 |        0
659.90/660.07	c  660s |      25 |  8472199 |  6353498 |     1342  11141 |        0 |        0
661.89/662.07	c  662s |      25 |  8494828 |  6370398 |     1342  11165 |        0 |        0
663.89/664.08	c  664s |      25 |  8517480 |  6387298 |     1342  11190 |        0 |        0
665.89/666.09	c  666s |      25 |  8541941 |  6405598 |     1342  11216 |        0 |        0
667.99/668.11	c  668s |      25 |  8565324 |  6423398 |     1342  11242 |        0 |        0
669.99/670.12	c  670s |      25 |  8590429 |  6442298 |     1342  11268 |        0 |        0
672.00/672.12	c  672s |      25 |  8615123 |  6461198 |     1342  11294 |        0 |        0
673.99/674.13	c  674s |      25 |  8638729 |  6479398 |     1342  11319 |        0 |        0
675.99/676.13	c  676s |      25 |  8664108 |  6498798 |     1342  11346 |        0 |        0
677.99/678.14	c  678s |      25 |  8688784 |  6517698 |     1342  11373 |        0 |        0
679.99/680.15	c  680s |      25 |  8714506 |  6536798 |     1342  11400 |        0 |        0
681.99/682.15	c  682s |      25 |  8739635 |  6555598 |     1342  11427 |        0 |        0
683.98/684.15	c  684s |      25 |  8764699 |  6574398 |     1342  11453 |        0 |        0
685.98/686.15	c  686s |      25 |  8789148 |  6593198 |     1342  11480 |        0 |        0
687.99/688.16	c  688s |      25 |  8811389 |  6610898 |     1342  11505 |        0 |        0
689.99/690.17	c  690s |      25 |  8835025 |  6627798 |     1342  11529 |        0 |        0
691.99/692.18	c  692s |      25 |  8858860 |  6644998 |     1342  11553 |        0 |        0
693.99/694.19	c  694s |      25 |  8880198 |  6661398 |     1342  11577 |        0 |        0
695.99/696.20	c  696s |      25 |  8899473 |  6676098 |     1342  11598 |        0 |        0
698.09/698.20	c  698s |      25 |  8922321 |  6693198 |     1342  11622 |        0 |        0
700.09/700.21	c  700s |      25 |  8946399 |  6711198 |     1342  11647 |        0 |        0
702.08/702.21	c  702s |      25 |  8967481 |  6727398 |     1342  11670 |        0 |        0
704.08/704.22	c  704s |      25 |  8988365 |  6743198 |     1342  11693 |        0 |        0
706.09/706.22	c  706s |      25 |  9010086 |  6759198 |     1342  11715 |        0 |        0
708.08/708.22	c  708s |      25 |  9033200 |  6776498 |     1342  11740 |        0 |        0
710.08/710.23	c  710s |      25 |  9055741 |  6793698 |     1342  11764 |        0 |        0
712.08/712.23	c  712s |      25 |  9078003 |  6810698 |     1342  11788 |        0 |        0
714.08/714.24	c  714s |      25 |  9100770 |  6826998 |     1342  11811 |        0 |        0
716.08/716.24	c  716s |      25 |  9118772 |  6840798 |     1342  11831 |        0 |        0
718.08/718.25	c  718s |      25 |  9140978 |  6857498 |     1342  11855 |        0 |        0
720.07/720.26	c  720s |      25 |  9160170 |  6872498 |     1342  11876 |        0 |        0
722.07/722.26	c  722s |      25 |  9180366 |  6888298 |     1342  11898 |        0 |        0
724.07/724.27	c  724s |      25 |  9197928 |  6901998 |     1342  11917 |        0 |        0
726.07/726.28	c  726s |      25 |  9219338 |  6917998 |     1342  11939 |        0 |        0
728.08/728.28	c  728s |      25 |  9236787 |  6931998 |     1342  11959 |        0 |        0
730.07/730.29	c  730s |      25 |  9257380 |  6946998 |     1342  11980 |        0 |        0
732.06/732.30	c  732s |      25 |  9274560 |  6960398 |     1342  11999 |        0 |        0
734.16/734.30	c  734s |      25 |  9293133 |  6974198 |     1342  12019 |        0 |        0
736.16/736.31	c  736s |      25 |  9311620 |  6987898 |     1342  12038 |        0 |        0
738.16/738.32	c  738s |      25 |  9329045 |  7001198 |     1342  12057 |        0 |        0
740.17/740.33	c  740s |      25 |  9345738 |  7014698 |     1342  12077 |        0 |        0
742.17/742.34	c  742s |      25 |  9363706 |  7029098 |     1342  12097 |        0 |        0
744.17/744.34	c  744s |      25 |  9385590 |  7046098 |     1342  12121 |        0 |        0
746.17/746.34	c  746s |      25 |  9405936 |  7061798 |     1342  12143 |        0 |        0
748.17/748.35	c  748s |      25 |  9425575 |  7076798 |     1342  12164 |        0 |        0
750.17/750.36	c  750s |      25 |  9448248 |  7093898 |     1342  12188 |        0 |        0
752.16/752.36	c  752s |      25 |  9471851 |  7111598 |     1342  12212 |        0 |        0
754.16/754.36	c  754s |      25 |  9494026 |  7128498 |     1342  12236 |        0 |        0
756.16/756.37	c  756s |      25 |  9513436 |  7143998 |     1342  12258 |        0 |        0
758.16/758.38	c  758s |      25 |  9531429 |  7158098 |     1342  12278 |        0 |        0
760.15/760.38	c  760s |      25 |  9554501 |  7175498 |     1342  12302 |        0 |        0
762.16/762.38	c  762s |      25 |  9576535 |  7192398 |     1342  12326 |        0 |        0
764.15/764.39	c  764s |      25 |  9599121 |  7209498 |     1342  12350 |        0 |        0
766.25/766.40	c  766s |      25 |  9621355 |  7226598 |     1342  12374 |        0 |        0
768.25/768.41	c  768s |      25 |  9642679 |  7242798 |     1342  12396 |        0 |        0
770.25/770.42	c  770s |      25 |  9662881 |  7258498 |     1342  12418 |        0 |        0
772.25/772.42	c  772s |      25 |  9683816 |  7274498 |     1342  12441 |        0 |        0
774.25/774.43	c  774s |      25 |  9705238 |  7290998 |     1342  12464 |        0 |        0
776.24/776.43	c  776s |      25 |  9727711 |  7308198 |     1342  12489 |        0 |        0
778.24/778.44	c  778s |      25 |  9750227 |  7325098 |     1342  12513 |        0 |        0
780.24/780.44	c  780s |      25 |  9772493 |  7341898 |     1342  12537 |        0 |        0
782.24/782.45	c  782s |      25 |  9794498 |  7359298 |     1342  12562 |        0 |        0
784.24/784.46	c  784s |      25 |  9818324 |  7377198 |     1342  12588 |        0 |        0
786.23/786.47	c  786s |      25 |  9842265 |  7395398 |     1342  12613 |        0 |        0
788.23/788.48	c  788s |      25 |  9864794 |  7412798 |     1342  12637 |        0 |        0
790.23/790.48	c  790s |      25 |  9886761 |  7429898 |     1342  12661 |        0 |        0
792.23/792.49	c  792s |      25 |  9909742 |  7447798 |     1342  12685 |        0 |        0
794.33/794.50	c  794s |      25 |  9931529 |  7464898 |     1342  12709 |        0 |        0
796.24/796.50	c  796s |      25 |  9955698 |  7483098 |     1342  12733 |        0 |        0
798.33/798.51	c  798s |      25 |  9977256 |  7499598 |     1342  12756 |        0 |        0
800.32/800.52	c  800s |      25 | 10000147 |  7516598 |     1342  12779 |        0 |        0
802.32/802.53	c  802s |      25 | 10023799 |  7534298 |     1342  12804 |        0 |        0
804.32/804.53	c  804s |      25 | 10046873 |  7551298 |     1477  12826 |        0 |        0
806.32/806.54	c  806s |      25 | 10070107 |  7568598 |     1477  12848 |        0 |        0
808.33/808.54	c  808s |      25 | 10092766 |  7585098 |     1477  12868 |        0 |        0
809.81/810.04	c  810s |      26 | 10109805 |  7597752 |     1477  12884 |        0 |        0
811.81/812.05	c  812s |      26 | 10132454 |  7614752 |     1477  12906 |        0 |        0
813.82/814.06	c  814s |      26 | 10155235 |  7631752 |     1477  12927 |        0 |        0
815.81/816.07	c  816s |      26 | 10175049 |  7647352 |     1477  12946 |        0 |        0
817.81/818.07	c  818s |      26 | 10194365 |  7662352 |     1477  12965 |        0 |        0
819.81/820.08	c  820s |      26 | 10214525 |  7677952 |     1477  12985 |        0 |        0
821.81/822.09	c  822s |      26 | 10236887 |  7694652 |     1477  13006 |        0 |        0
823.81/824.09	c  824s |      26 | 10256565 |  7710152 |     1477  13025 |        0 |        0
825.80/826.10	c  826s |      26 | 10276211 |  7725252 |     1477  13044 |        0 |        0
827.91/828.10	c  828s |      26 | 10297982 |  7741752 |     1477  13065 |        0 |        0
829.91/830.10	c  830s |      26 | 10320476 |  7758252 |     1477  13085 |        0 |        0
831.91/832.11	c  832s |      26 | 10340694 |  7774252 |     1477  13105 |        0 |        0
833.91/834.12	c  834s |      26 | 10361548 |  7789752 |     1477  13125 |        0 |        0
835.92/836.12	c  836s |      26 | 10381223 |  7804852 |     1477  13144 |        0 |        0
837.91/838.13	c  838s |      26 | 10400646 |  7820352 |     1477  13163 |        0 |        0
839.90/840.13	c  840s |      26 | 10421283 |  7836452 |     1477  13183 |        0 |        0
841.90/842.14	c  842s |      26 | 10442015 |  7852452 |     1477  13204 |        0 |        0
843.90/844.15	c  844s |      26 | 10466250 |  7871352 |     1477  13227 |        0 |        0
845.90/846.16	c  846s |      26 | 10490543 |  7889852 |     1477  13250 |        0 |        0
847.90/848.16	c  848s |      26 | 10515189 |  7908252 |     1477  13273 |        0 |        0
849.89/850.16	c  850s |      26 | 10540254 |  7926752 |     1477  13296 |        0 |        0
851.90/852.17	c  852s |      26 | 10566047 |  7945452 |     1477  13320 |        0 |        0
853.90/854.17	c  854s |      26 | 10589856 |  7963552 |     1477  13343 |        0 |        0
855.89/856.17	c  856s |      26 | 10612393 |  7980852 |     1477  13364 |        0 |        0
857.90/858.18	c  858s |      26 | 10634967 |  7998152 |     1477  13386 |        0 |        0
859.89/860.19	c  860s |      26 | 10659322 |  8015952 |     1477  13408 |        0 |        0
861.89/862.20	c  862s |      26 | 10682615 |  8033352 |     1477  13430 |        0 |        0
863.99/864.20	c  864s |      26 | 10706325 |  8050752 |     1477  13452 |        0 |        0
865.99/866.21	c  866s |      26 | 10728977 |  8068052 |     1477  13473 |        0 |        0
867.99/868.22	c  868s |      26 | 10751963 |  8085452 |     1477  13495 |        0 |        0
869.99/870.22	c  870s |      26 | 10773520 |  8102052 |     1477  13516 |        0 |        0
871.98/872.23	c  872s |      26 | 10797577 |  8120052 |     1477  13538 |        0 |        0
873.98/874.23	c  874s |      26 | 10819973 |  8137152 |     1477  13560 |        0 |        0
875.98/876.24	c  876s |      26 | 10841970 |  8154152 |     1477  13581 |        0 |        0
877.98/878.24	c  878s |      26 | 10864597 |  8171752 |     1477  13603 |        0 |        0
879.97/880.24	c  880s |      26 | 10886643 |  8188952 |     1477  13625 |        0 |        0
881.98/882.25	c  882s |      26 | 10908712 |  8205952 |     1477  13646 |        0 |        0
883.97/884.26	c  884s |      26 | 10930003 |  8222652 |     1477  13667 |        0 |        0
885.97/886.27	c  886s |      26 | 10950918 |  8238752 |     1477  13687 |        0 |        0
887.97/888.27	c  888s |      26 | 10972025 |  8254852 |     1477  13708 |        0 |        0
889.96/890.29	c  890s |      26 | 10993647 |  8271452 |     1477  13729 |        0 |        0
891.97/892.29	c  892s |      26 | 11015516 |  8288152 |     1477  13750 |        0 |        0
893.96/894.29	c  894s |      26 | 11039041 |  8305852 |     1477  13772 |        0 |        0
896.06/896.30	c  896s |      26 | 11062207 |  8323652 |     1477  13794 |        0 |        0
898.06/898.30	c  898s |      26 | 11084428 |  8340452 |     1477  13816 |        0 |        0
900.05/900.31	c  900s |      26 | 11105727 |  8357052 |     1477  13836 |        0 |        0
902.05/902.32	c  902s |      26 | 11127662 |  8373852 |     1477  13858 |        0 |        0
904.06/904.32	c  904s |      26 | 11148332 |  8389852 |     1477  13878 |        0 |        0
906.05/906.32	c  906s |      26 | 11171045 |  8406952 |     1477  13899 |        0 |        0
908.05/908.33	c  908s |      26 | 11194583 |  8424552 |     1477  13922 |        0 |        0
910.05/910.34	c  910s |      26 | 11218809 |  8442352 |     1477  13944 |        0 |        0
912.05/912.35	c  912s |      26 | 11241230 |  8459452 |     1477  13965 |        0 |        0
914.05/914.36	c  914s |      26 | 11264546 |  8477052 |     1477  13988 |        0 |        0
916.05/916.36	c  916s |      26 | 11288883 |  8494852 |     1477  14010 |        0 |        0
918.05/918.36	c  918s |      26 | 11313110 |  8512652 |     1477  14032 |        0 |        0
920.04/920.37	c  920s |      26 | 11335836 |  8529952 |     1477  14054 |        0 |        0
922.04/922.38	c  922s |      26 | 11357450 |  8546452 |     1477  14075 |        0 |        0
924.04/924.39	c  924s |      26 | 11381899 |  8564952 |     1477  14099 |        0 |        0
926.05/926.39	c  926s |      26 | 11407534 |  8584252 |     1477  14123 |        0 |        0
928.04/928.40	c  928s |      26 | 11431872 |  8602852 |     1477  14148 |        0 |        0
930.15/930.41	c  930s |      26 | 11457457 |  8621452 |     1477  14172 |        0 |        0
932.14/932.41	c  932s |      26 | 11482692 |  8640552 |     1477  14196 |        0 |        0
934.14/934.42	c  934s |      26 | 11507757 |  8659152 |     1477  14220 |        0 |        0
936.14/936.42	c  936s |      26 | 11532226 |  8677452 |     1477  14244 |        0 |        0
938.15/938.43	c  938s |      26 | 11553180 |  8693652 |     1477  14265 |        0 |        0
940.14/940.44	c  940s |      26 | 11576549 |  8711152 |     1477  14287 |        0 |        0
942.14/942.45	c  942s |      26 | 11597962 |  8728152 |     1477  14309 |        0 |        0
944.14/944.45	c  944s |      26 | 11619085 |  8744952 |     1477  14331 |        0 |        0
946.14/946.46	c  946s |      26 | 11642243 |  8762852 |     1477  14354 |        0 |        0
948.14/948.47	c  948s |      26 | 11662662 |  8778952 |     1477  14374 |        0 |        0
950.14/950.47	c  950s |      26 | 11683853 |  8795352 |     1477  14396 |        0 |        0
952.13/952.47	c  952s |      26 | 11704964 |  8811452 |     1477  14416 |        0 |        0
954.13/954.48	c  954s |      26 | 11729281 |  8829352 |     1477  14440 |        0 |        0
956.13/956.49	c  956s |      26 | 11752742 |  8847252 |     1477  14463 |        0 |        0
958.13/958.49	c  958s |      26 | 11778066 |  8866252 |     1477  14487 |        0 |        0
960.13/960.49	c  960s |      26 | 11799069 |  8882552 |     1477  14508 |        0 |        0
962.12/962.50	c  962s |      26 | 11821617 |  8899852 |     1477  14530 |        0 |        0
964.22/964.50	c  964s |      26 | 11846127 |  8918352 |     1477  14553 |        0 |        0
966.22/966.51	c  966s |      26 | 11869046 |  8935652 |     1477  14575 |        0 |        0
968.22/968.52	c  968s |      26 | 11891146 |  8952552 |     1477  14596 |        0 |        0
970.21/970.53	c  970s |      26 | 11911917 |  8968552 |     1477  14616 |        0 |        0
972.22/972.54	c  972s |      26 | 11933279 |  8984552 |     1477  14636 |        0 |        0
974.21/974.55	c  974s |      26 | 11954414 |  9000552 |     1477  14657 |        0 |        0
976.21/976.56	c  976s |      26 | 11974361 |  9016052 |     1477  14676 |        0 |        0
978.21/978.56	c  978s |      26 | 11994311 |  9031752 |     1477  14696 |        0 |        0
980.21/980.57	c  980s |      26 | 12014862 |  9048252 |     1477  14717 |        0 |        0
982.21/982.57	c  982s |      26 | 12038002 |  9065752 |     1477  14739 |        0 |        0
984.21/984.58	c  984s |      26 | 12059298 |  9082652 |     1477  14761 |        0 |        0
986.21/986.58	c  986s |      26 | 12081608 |  9099852 |     1477  14782 |        0 |        0
988.21/988.58	c  988s |      26 | 12101799 |  9115752 |     1477  14803 |        0 |        0
990.20/990.59	c  990s |      26 | 12121128 |  9130752 |     1477  14822 |        0 |        0
992.30/992.60	c  992s |      26 | 12142213 |  9146952 |     1477  14842 |        0 |        0
994.30/994.60	c  994s |      26 | 12164568 |  9163652 |     1477  14864 |        0 |        0
996.31/996.60	c  996s |      26 | 12187726 |  9181152 |     1477  14886 |        0 |        0
998.30/998.61	c  998s |      26 | 12210103 |  9198052 |     1477  14907 |        0 |        0
1000.29/1000.62	c 1000s |      26 | 12231634 |  9214552 |     1477  14928 |        0 |        0
1002.29/1002.62	c 1002s |      26 | 12254935 |  9232452 |     1477  14951 |        0 |        0
1004.29/1004.63	c 1004s |      26 | 12277979 |  9250152 |     1477  14973 |        0 |        0
1006.30/1006.64	c 1006s |      26 | 12298820 |  9266452 |     1477  14994 |        0 |        0
1008.29/1008.65	c 1008s |      26 | 12320869 |  9283052 |     1477  15015 |        0 |        0
1010.28/1010.66	c 1010s |      26 | 12339764 |  9297952 |     1477  15033 |        0 |        0
1012.28/1012.67	c 1012s |      26 | 12361191 |  9314252 |     1477  15054 |        0 |        0
1014.28/1014.68	c 1014s |      26 | 12381593 |  9330152 |     1477  15074 |        0 |        0
1016.28/1016.69	c 1016s |      26 | 12402942 |  9346352 |     1477  15094 |        0 |        0
1018.29/1018.69	c 1018s |      26 | 12423911 |  9362752 |     1477  15115 |        0 |        0
1020.38/1020.70	c 1020s |      26 | 12445689 |  9379552 |     1477  15136 |        0 |        0
1022.38/1022.71	c 1022s |      26 | 12465106 |  9394752 |     1477  15156 |        0 |        0
1024.38/1024.71	c 1024s |      26 | 12485374 |  9410152 |     1477  15175 |        0 |        0
1026.38/1026.72	c 1026s |      26 | 12506267 |  9426152 |     1477  15195 |        0 |        0
1028.38/1028.73	c 1028s |      26 | 12526360 |  9441452 |     1477  15215 |        0 |        0
1030.38/1030.73	c 1030s |      26 | 12546214 |  9456252 |     1477  15233 |        0 |        0
1032.37/1032.74	c 1032s |      26 | 12566165 |  9471252 |     1477  15253 |        0 |        0
1034.37/1034.75	c 1034s |      26 | 12586885 |  9487352 |     1477  15273 |        0 |        0
1036.37/1036.76	c 1036s |      26 | 12606354 |  9502152 |     1477  15292 |        0 |        0
1038.37/1038.76	c 1038s |      26 | 12626916 |  9518352 |     1477  15312 |        0 |        0
1040.37/1040.77	c 1040s |      26 | 12648302 |  9534452 |     1477  15332 |        0 |        0
1042.36/1042.78	c 1042s |      26 | 12670989 |  9551352 |     1477  15353 |        0 |        0
1044.36/1044.79	c 1044s |      26 | 12691859 |  9567652 |     1477  15374 |        0 |        0
1046.36/1046.79	c 1046s |      26 | 12714064 |  9584552 |     1477  15395 |        0 |        0
1048.46/1048.80	c 1048s |      26 | 12737032 |  9601552 |     1477  15417 |        0 |        0
1050.46/1050.81	c 1050s |      26 | 12759353 |  9618152 |     1477  15437 |        0 |        0
1052.46/1052.83	c 1052s |      26 | 12780929 |  9634252 |     1477  15458 |        0 |        0
1054.46/1054.83	c 1054s |      26 | 12800517 |  9649552 |     1477  15477 |        0 |        0
1056.46/1056.84	c 1056s |      26 | 12822539 |  9665552 |     1477  15497 |        0 |        0
1058.47/1058.85	c 1058s |      26 | 12844250 |  9681752 |     1477  15517 |        0 |        0
1060.46/1060.85	c 1060s |      26 | 12865224 |  9697152 |     1477  15537 |        0 |        0
1062.46/1062.86	c 1062s |      26 | 12888518 |  9714552 |     1477  15558 |        0 |        0
1064.47/1064.87	c 1064s |      26 | 12909286 |  9730352 |     1477  15578 |        0 |        0
1066.46/1066.87	c 1066s |      26 | 12931627 |  9746952 |     1477  15599 |        0 |        0
1068.46/1068.88	c 1068s |      26 | 12954259 |  9763052 |     1477  15619 |        0 |        0
1070.45/1070.89	c 1070s |      26 | 12974971 |  9778852 |     1477  15639 |        0 |        0
1072.45/1072.89	c 1072s |      26 | 12995292 |  9794652 |     1477  15659 |        0 |        0
1074.46/1074.90	c 1074s |      26 | 13018364 |  9811852 |     1477  15680 |        0 |        0
1076.45/1076.90	c 1076s |      26 | 13040908 |  9828252 |     1477  15701 |        0 |        0
1078.55/1078.90	c 1078s |      26 | 13062063 |  9843952 |     1477  15721 |        0 |        0
1080.54/1080.92	c 1080s |      26 | 13082685 |  9859852 |     1477  15741 |        0 |        0
1082.54/1082.93	c 1082s |      26 | 13104765 |  9876152 |     1477  15761 |        0 |        0
1084.54/1084.94	c 1084s |      26 | 13125960 |  9891952 |     1477  15781 |        0 |        0
1086.55/1086.94	c 1086s |      26 | 13146911 |  9907352 |     1477  15800 |        0 |        0
1088.54/1088.94	c 1088s |      26 | 13166155 |  9921952 |     1477  15819 |        0 |        0
1090.54/1090.95	c 1090s |      26 | 13185864 |  9936452 |     1477  15837 |        0 |        0
1092.54/1092.96	c 1092s |      26 | 13205358 |  9951252 |     1477  15856 |        0 |        0
1094.54/1094.98	c 1094s |      26 | 13224173 |  9965252 |     1477  15874 |        0 |        0
1096.54/1096.99	c 1096s |      26 | 13244850 |  9980552 |     1477  15893 |        0 |        0
1098.54/1099.00	c 1098s |      26 | 13265902 |  9996252 |     1477  15913 |        0 |        0
1100.63/1101.01	c 1100s |      26 | 13286877 | 10011652 |     1477  15932 |        0 |        0
1102.63/1103.02	c 1103s |      26 | 13305650 | 10025752 |     1477  15950 |        0 |        0
1104.63/1105.03	c 1105s |      26 | 13326052 | 10040652 |     1477  15968 |        0 |        0
1106.63/1107.03	c 1107s |      26 | 13347529 | 10056252 |     1477  15988 |        0 |        0
1108.63/1109.04	c 1109s |      26 | 13369508 | 10072352 |     1477  16008 |        0 |        0
1110.64/1111.04	c 1111s |      26 | 13391033 | 10088352 |     1477  16029 |        0 |        0
1112.63/1113.04	c 1113s |      26 | 13414000 | 10104752 |     1477  16049 |        0 |        0
1114.63/1115.05	c 1115s |      26 | 13436459 | 10121552 |     1477  16071 |        0 |        0
1116.63/1117.06	c 1117s |      26 | 13459007 | 10138052 |     1477  16091 |        0 |        0
1118.63/1119.08	c 1119s |      26 | 13480505 | 10154152 |     1477  16112 |        0 |        0
1120.63/1121.09	c 1121s |      26 | 13500330 | 10169652 |     1477  16131 |        0 |        0
1122.63/1123.09	c 1123s |      26 | 13521765 | 10185752 |     1477  16151 |        0 |        0
1124.73/1125.10	c 1125s |      26 | 13543190 | 10201952 |     1477  16172 |        0 |        0
1126.72/1127.11	c 1127s |      26 | 13564969 | 10218252 |     1477  16192 |        0 |        0
1128.72/1129.11	c 1129s |      26 | 13584847 | 10233852 |     1477  16212 |        0 |        0
1130.72/1131.12	c 1131s |      26 | 13606245 | 10250252 |     1477  16233 |        0 |        0
1132.73/1133.13	c 1133s |      26 | 13629029 | 10266952 |     1477  16254 |        0 |        0
1134.72/1135.14	c 1135s |      26 | 13649407 | 10282852 |     1477  16274 |        0 |        0
1136.72/1137.14	c 1137s |      26 | 13670288 | 10298152 |     1477  16294 |        0 |        0
1138.72/1139.15	c 1139s |      26 | 13691427 | 10314452 |     1477  16314 |        0 |        0
1140.71/1141.16	c 1141s |      26 | 13712374 | 10330052 |     1477  16334 |        0 |        0
1142.71/1143.17	c 1143s |      26 | 13732696 | 10345352 |     1477  16354 |        0 |        0
1144.72/1145.17	c 1145s |      26 | 13754245 | 10361252 |     1477  16374 |        0 |        0
1146.71/1147.18	c 1147s |      26 | 13774963 | 10376652 |     1477  16394 |        0 |        0
1148.71/1149.19	c 1149s |      26 | 13795796 | 10392052 |     1477  16413 |        0 |        0
1150.70/1151.19	c 1151s |      26 | 13814650 | 10405952 |     1477  16431 |        0 |        0
1152.80/1153.20	c 1153s |      26 | 13833062 | 10420052 |     1477  16448 |        0 |        0
1154.80/1155.20	c 1155s |      26 | 13851992 | 10434352 |     1477  16466 |        0 |        0
1156.80/1157.21	c 1157s |      26 | 13871140 | 10448252 |     1477  16484 |        0 |        0
1158.80/1159.21	c 1159s |      26 | 13890104 | 10462352 |     1477  16501 |        0 |        0
1160.79/1161.22	c 1161s |      26 | 13910419 | 10477052 |     1477  16520 |        0 |        0
1162.79/1163.23	c 1163s |      26 | 13929509 | 10491152 |     1477  16538 |        0 |        0
1164.80/1165.24	c 1165s |      26 | 13948473 | 10505452 |     1477  16555 |        0 |        0
1166.80/1167.25	c 1167s |      26 | 13966454 | 10519052 |     1477  16573 |        0 |        0
1168.80/1169.26	c 1169s |      26 | 13983481 | 10532252 |     1477  16589 |        0 |        0
1170.79/1171.27	c 1171s |      26 | 14001454 | 10545952 |     1477  16606 |        0 |        0
1172.79/1173.27	c 1173s |      26 | 14019216 | 10559452 |     1477  16623 |        0 |        0
1174.79/1175.28	c 1175s |      26 | 14038883 | 10573852 |     1477  16641 |        0 |        0
1176.89/1177.30	c 1177s |      26 | 14058186 | 10588252 |     1477  16659 |        0 |        0
1178.90/1179.31	c 1179s |      26 | 14078095 | 10602752 |     1477  16678 |        0 |        0
1180.88/1181.31	c 1181s |      26 | 14096844 | 10616552 |     1477  16695 |        0 |        0
1182.88/1183.31	c 1183s |      26 | 14115425 | 10630452 |     1477  16713 |        0 |        0
1184.88/1185.31	c 1185s |      26 | 14134877 | 10644352 |     1477  16730 |        0 |        0
1186.88/1187.32	c 1187s |      26 | 14155356 | 10659152 |     1477  16749 |        0 |        0
1188.88/1189.34	c 1189s |      26 | 14173987 | 10673152 |     1477  16766 |        0 |        0
1190.88/1191.34	c 1191s |      26 | 14192320 | 10686552 |     1477  16783 |        0 |        0
1192.87/1193.36	c 1193s |      26 | 14210194 | 10699952 |     1477  16800 |        0 |        0
1194.87/1195.37	c 1195s |      26 | 14228057 | 10713452 |     1477  16817 |        0 |        0
1196.87/1197.37	c 1197s |      26 | 14246879 | 10727452 |     1477  16835 |        0 |        0
1198.87/1199.38	c 1199s |      26 | 14264721 | 10740752 |     1477  16852 |        0 |        0
1200.88/1201.39	c 1201s |      26 | 14287642 | 10758052 |     1477  16874 |        0 |        0
1202.87/1203.40	c 1203s |      26 | 14311878 | 10775952 |     1477  16897 |        0 |        0
1204.97/1205.40	c 1205s |      26 | 14334590 | 10793152 |     1477  16920 |        0 |        0
1206.97/1207.42	c 1207s |      26 | 14359245 | 10811452 |     1477  16944 |        0 |        0
1208.97/1209.42	c 1209s |      26 | 14383855 | 10829352 |     1477  16967 |        0 |        0
1210.96/1211.43	c 1211s |      26 | 14406880 | 10847052 |     1477  16989 |        0 |        0
1212.97/1213.43	c 1213s |      26 | 14430679 | 10864652 |     1477  17011 |        0 |        0
1214.96/1215.44	c 1215s |      26 | 14455554 | 10883252 |     1477  17035 |        0 |        0
1216.96/1217.44	c 1217s |      26 | 14478714 | 10900552 |     1477  17058 |        0 |        0
1218.96/1219.44	c 1219s |      26 | 14501037 | 10917652 |     1477  17080 |        0 |        0
1220.95/1221.45	c 1221s |      26 | 14522513 | 10934352 |     1477  17102 |        0 |        0
1222.95/1223.46	c 1223s |      26 | 14546273 | 10951952 |     1477  17125 |        0 |        0
1224.96/1225.47	c 1225s |      26 | 14570788 | 10969752 |     1477  17148 |        0 |        0
1226.96/1227.48	c 1227s |      26 | 14593333 | 10986352 |     1477  17170 |        0 |        0
1228.96/1229.49	c 1229s |      26 | 14613862 | 11001352 |     1477  17189 |        0 |        0
1230.95/1231.49	c 1231s |      26 | 14636722 | 11018952 |     1477  17212 |        0 |        0
1232.95/1233.49	c 1233s |      26 | 14658645 | 11036052 |     1477  17235 |        0 |        0
1234.95/1235.49	c 1235s |      26 | 14680342 | 11053152 |     1477  17257 |        0 |        0
1236.94/1237.50	c 1237s |      26 | 14703731 | 11070752 |     1477  17280 |        0 |        0
1239.04/1239.50	c 1239s |      26 | 14727712 | 11088352 |     1477  17303 |        0 |        0
1241.04/1241.50	c 1241s |      26 | 14750923 | 11105952 |     1477  17326 |        0 |        0
1243.04/1243.51	c 1243s |      26 | 14775038 | 11124052 |     1477  17349 |        0 |        0
1245.04/1245.52	c 1245s |      26 | 14798552 | 11141652 |     1477  17371 |        0 |        0
1247.04/1247.52	c 1247s |      26 | 14820481 | 11158652 |     1477  17393 |        0 |        0
1249.04/1249.53	c 1249s |      26 | 14842618 | 11175452 |     1477  17414 |        0 |        0
1251.03/1251.54	c 1251s |      26 | 14863449 | 11191452 |     1477  17434 |        0 |        0
1253.03/1253.54	c 1253s |      26 | 14882166 | 11206052 |     1477  17452 |        0 |        0
1255.03/1255.54	c 1255s |      26 | 14904829 | 11222352 |     1477  17474 |        0 |        0
1257.03/1257.55	c 1257s |      26 | 14926960 | 11238852 |     1477  17495 |        0 |        0
1259.03/1259.55	c 1259s |      26 | 14948290 | 11254552 |     1477  17516 |        0 |        0
1261.02/1261.56	c 1261s |      26 | 14970098 | 11270852 |     1477  17537 |        0 |        0
1263.03/1263.58	c 1263s |      26 | 14991756 | 11287852 |     1477  17560 |        0 |        0
1265.03/1265.58	c 1265s |      26 | 15013822 | 11304652 |     1477  17581 |        0 |        0
1267.03/1267.58	c 1267s |      26 | 15034462 | 11320752 |     1625  17602 |        0 |        0
1269.03/1269.59	c 1269s |      26 | 15055605 | 11336552 |     1625  17621 |        0 |        0
1271.02/1271.60	c 1271s |      26 | 15077181 | 11353052 |     1625  17640 |        0 |        0
1273.12/1273.60	c 1273s |      26 | 15100638 | 11370152 |     1625  17661 |        0 |        0
1275.12/1275.61	c 1275s |      26 | 15122747 | 11387052 |     1625  17681 |        0 |        0
1276.32/1276.81	c 1276s |      27 | 15135332 | 11396733 |     1625  17692 |        0 |        0
1278.32/1278.82	c 1278s |      27 | 15155571 | 11412633 |     1625  17710 |        0 |        0
1280.31/1280.83	c 1280s |      27 | 15176406 | 11428833 |     1625  17728 |        0 |        0
1282.31/1282.84	c 1282s |      27 | 15197622 | 11445233 |     1625  17747 |        0 |        0
1284.32/1284.84	c 1284s |      27 | 15219115 | 11461133 |     1625  17766 |        0 |        0
1286.31/1286.85	c 1286s |      27 | 15241221 | 11477433 |     1625  17785 |        0 |        0
1288.31/1288.85	c 1288s |      27 | 15265917 | 11495133 |     1625  17805 |        0 |        0
1290.30/1290.86	c 1290s |      27 | 15289135 | 11512433 |     1625  17825 |        0 |        0
1292.30/1292.87	c 1292s |      27 | 15310804 | 11528933 |     1625  17844 |        0 |        0
1294.31/1294.87	c 1294s |      27 | 15332241 | 11544733 |     1625  17863 |        0 |        0
1296.30/1296.88	c 1296s |      27 | 15354155 | 11560633 |     1625  17882 |        0 |        0
1298.30/1298.88	c 1298s |      27 | 15375669 | 11576733 |     1625  17900 |        0 |        0
1300.30/1300.90	c 1300s |      27 | 15397651 | 11593133 |     1625  17920 |        0 |        0
1302.40/1302.90	c 1302s |      27 | 15419315 | 11609333 |     1625  17939 |        0 |        0
1304.39/1304.91	c 1304s |      27 | 15440132 | 11624333 |     1625  17956 |        0 |        0
1306.40/1306.91	c 1306s |      27 | 15458702 | 11638533 |     1625  17973 |        0 |        0
1308.39/1308.92	c 1308s |      27 | 15480397 | 11654533 |     1625  17991 |        0 |        0
1310.39/1310.92	c 1310s |      27 | 15499609 | 11668933 |     1625  18008 |        0 |        0
1312.39/1312.93	c 1312s |      27 | 15519398 | 11683733 |     1625  18025 |        0 |        0
1314.39/1314.94	c 1314s |      27 | 15540895 | 11699033 |     1625  18043 |        0 |        0
1316.39/1316.94	c 1316s |      27 | 15561178 | 11714133 |     1625  18061 |        0 |        0
1318.40/1318.94	c 1318s |      27 | 15581641 | 11729433 |     1625  18079 |        0 |        0
1320.38/1320.95	c 1320s |      27 | 15602877 | 11745133 |     1625  18098 |        0 |        0
1322.38/1322.96	c 1322s |      27 | 15623717 | 11759733 |     1625  18115 |        0 |        0
1324.39/1324.97	c 1324s |      27 | 15644960 | 11775033 |     1625  18133 |        0 |        0
1326.39/1326.98	c 1326s |      27 | 15662384 | 11788733 |     1625  18149 |        0 |        0
1328.40/1328.99	c 1328s |      27 | 15681916 | 11803633 |     1625  18167 |        0 |        0
1330.38/1330.99	c 1330s |      27 | 15703818 | 11819733 |     1625  18186 |        0 |        0
1332.48/1333.00	c 1332s |      27 | 15725462 | 11835633 |     1625  18204 |        0 |        0
1334.48/1335.00	c 1334s |      27 | 15745821 | 11850933 |     1625  18222 |        0 |        0
1336.48/1337.01	c 1336s |      27 | 15766901 | 11866833 |     1625  18241 |        0 |        0
1338.48/1339.02	c 1339s |      27 | 15788027 | 11882833 |     1625  18260 |        0 |        0
1340.49/1341.03	c 1341s |      27 | 15808735 | 11898433 |     1625  18278 |        0 |        0
1342.48/1343.03	c 1343s |      27 | 15829502 | 11913733 |     1625  18296 |        0 |        0
1344.48/1345.04	c 1345s |      27 | 15849807 | 11929133 |     1625  18314 |        0 |        0
1346.48/1347.04	c 1347s |      27 | 15869350 | 11943933 |     1625  18332 |        0 |        0
1348.48/1349.05	c 1349s |      27 | 15886967 | 11958133 |     1625  18348 |        0 |        0
1350.47/1351.06	c 1351s |      27 | 15906835 | 11972833 |     1625  18366 |        0 |        0
1352.48/1353.06	c 1353s |      27 | 15927869 | 11988233 |     1625  18384 |        0 |        0
1354.47/1355.07	c 1355s |      27 | 15949409 | 12004433 |     1625  18403 |        0 |        0
1356.47/1357.09	c 1357s |      27 | 15970230 | 12020233 |     1625  18422 |        0 |        0
1358.57/1359.10	c 1359s |      27 | 15990248 | 12035833 |     1625  18440 |        0 |        0
1360.57/1361.11	c 1361s |      27 | 16012032 | 12052133 |     1625  18459 |        0 |        0
1362.57/1363.12	c 1363s |      27 | 16031877 | 12067633 |     1625  18477 |        0 |        0
1364.57/1365.13	c 1365s |      27 | 16051212 | 12082633 |     1625  18495 |        0 |        0
1366.57/1367.14	c 1367s |      27 | 16071694 | 12098033 |     1625  18513 |        0 |        0
1368.57/1369.14	c 1369s |      27 | 16090718 | 12112633 |     1625  18531 |        0 |        0
1370.57/1371.15	c 1371s |      27 | 16111124 | 12128533 |     1625  18549 |        0 |        0
1372.57/1373.16	c 1373s |      27 | 16129905 | 12142933 |     1625  18566 |        0 |        0
1374.57/1375.16	c 1375s |      27 | 16149318 | 12157733 |     1625  18584 |        0 |        0
1376.56/1377.16	c 1377s |      27 | 16169215 | 12172533 |     1625  18601 |        0 |        0
1378.56/1379.17	c 1379s |      27 | 16190446 | 12188533 |     1625  18620 |        0 |        0
1380.56/1381.17	c 1381s |      27 | 16212046 | 12204433 |     1625  18639 |        0 |        0
1382.56/1383.18	c 1383s |      27 | 16234362 | 12220533 |     1625  18658 |        0 |        0
1384.56/1385.19	c 1385s |      27 | 16253194 | 12235333 |     1625  18676 |        0 |        0
1386.57/1387.19	c 1387s |      27 | 16273064 | 12250533 |     1625  18694 |        0 |        0
1388.56/1389.19	c 1389s |      27 | 16293472 | 12265633 |     1625  18711 |        0 |        0
1390.66/1391.20	c 1391s |      27 | 16315030 | 12281333 |     1625  18730 |        0 |        0
1392.66/1393.20	c 1393s |      27 | 16335684 | 12296933 |     1625  18748 |        0 |        0
1394.66/1395.21	c 1395s |      27 | 16355962 | 12312133 |     1625  18766 |        0 |        0
1396.66/1397.22	c 1397s |      27 | 16377264 | 12328233 |     1625  18786 |        0 |        0
1398.66/1399.22	c 1399s |      27 | 16397031 | 12343833 |     1625  18804 |        0 |        0
1400.66/1401.23	c 1401s |      27 | 16416533 | 12358733 |     1625  18821 |        0 |        0
1402.66/1403.24	c 1403s |      27 | 16436561 | 12373933 |     1625  18839 |        0 |        0
1404.66/1405.25	c 1405s |      27 | 16457725 | 12389333 |     1625  18858 |        0 |        0
1406.66/1407.25	c 1407s |      27 | 16478921 | 12405033 |     1625  18876 |        0 |        0
1408.66/1409.25	c 1409s |      27 | 16499195 | 12420333 |     1625  18894 |        0 |        0
1410.65/1411.25	c 1411s |      27 | 16519220 | 12435533 |     1625  18912 |        0 |        0
1412.65/1413.26	c 1413s |      27 | 16539027 | 12450733 |     1625  18930 |        0 |        0
1414.65/1415.27	c 1415s |      27 | 16559787 | 12465833 |     1625  18948 |        0 |        0
1416.65/1417.27	c 1417s |      27 | 16580029 | 12481233 |     1625  18966 |        0 |        0
1418.65/1419.28	c 1419s |      27 | 16601258 | 12496733 |     1625  18985 |        0 |        0
1420.66/1421.28	c 1421s |      27 | 16623010 | 12512933 |     1625  19004 |        0 |        0
1422.65/1423.28	c 1423s |      27 | 16643274 | 12528033 |     1625  19022 |        0 |        0
1424.75/1425.30	c 1425s |      27 | 16663820 | 12543933 |     1625  19040 |        0 |        0
1426.75/1427.30	c 1427s |      27 | 16684193 | 12559333 |     1625  19059 |        0 |        0
1428.75/1429.31	c 1429s |      27 | 16704054 | 12574433 |     1625  19076 |        0 |        0
1430.75/1431.31	c 1431s |      27 | 16724716 | 12589833 |     1625  19095 |        0 |        0
1432.77/1433.32	c 1433s |      27 | 16745683 | 12605733 |     1625  19113 |        0 |        0
1434.76/1435.33	c 1435s |      27 | 16768289 | 12622333 |     1625  19133 |        0 |        0
1436.76/1437.34	c 1437s |      27 | 16789879 | 12638433 |     1625  19152 |        0 |        0
1438.76/1439.35	c 1439s |      27 | 16812264 | 12655133 |     1625  19172 |        0 |        0
1440.76/1441.35	c 1441s |      27 | 16832843 | 12671333 |     1625  19191 |        0 |        0
1442.76/1443.36	c 1443s |      27 | 16855028 | 12687933 |     1625  19210 |        0 |        0
1444.76/1445.37	c 1445s |      27 | 16876070 | 12703833 |     1625  19229 |        0 |        0
1446.75/1447.38	c 1447s |      27 | 16897225 | 12719833 |     1625  19248 |        0 |        0
1448.75/1449.39	c 1449s |      27 | 16919518 | 12736433 |     1625  19267 |        0 |        0
1450.85/1451.40	c 1451s |      27 | 16942573 | 12753233 |     1625  19287 |        0 |        0
1452.85/1453.40	c 1453s |      27 | 16962452 | 12768033 |     1625  19304 |        0 |        0
1454.86/1455.42	c 1455s |      27 | 16982598 | 12783633 |     1625  19322 |        0 |        0
1456.85/1457.42	c 1457s |      27 | 17004217 | 12799533 |     1625  19341 |        0 |        0
1458.85/1459.42	c 1459s |      27 | 17023228 | 12813733 |     1625  19358 |        0 |        0
1460.85/1461.43	c 1461s |      27 | 17041292 | 12827333 |     1625  19374 |        0 |        0
1462.85/1463.44	c 1463s |      27 | 17060894 | 12841833 |     1625  19391 |        0 |        0
1464.85/1465.44	c 1465s |      27 | 17080142 | 12856233 |     1625  19408 |        0 |        0
1466.85/1467.45	c 1467s |      27 | 17098612 | 12870333 |     1625  19425 |        0 |        0
1468.84/1469.46	c 1469s |      27 | 17118662 | 12884933 |     1625  19442 |        0 |        0
1470.84/1471.48	c 1471s |      27 | 17138432 | 12899733 |     1625  19460 |        0 |        0
1472.84/1473.48	c 1473s |      27 | 17159973 | 12915333 |     1625  19478 |        0 |        0
1474.84/1475.49	c 1475s |      27 | 17182219 | 12931433 |     1625  19497 |        0 |        0
1476.94/1477.50	c 1477s |      27 | 17205220 | 12947633 |     1625  19516 |        0 |        0
1478.84/1479.50	c 1479s |      27 | 17227513 | 12963733 |     1625  19535 |        0 |        0
1480.94/1481.52	c 1481s |      27 | 17249261 | 12979333 |     1625  19554 |        0 |        0
1482.94/1483.53	c 1483s |      27 | 17272006 | 12995233 |     1625  19572 |        0 |        0
1484.94/1485.54	c 1485s |      27 | 17294133 | 13010833 |     1625  19591 |        0 |        0
1486.94/1487.55	c 1487s |      27 | 17314993 | 13026533 |     1625  19609 |        0 |        0
1488.95/1489.55	c 1489s |      27 | 17334205 | 13041033 |     1625  19627 |        0 |        0
1490.94/1491.55	c 1491s |      27 | 17355160 | 13056633 |     1625  19645 |        0 |        0
1492.94/1493.56	c 1493s |      27 | 17376742 | 13072433 |     1625  19664 |        0 |        0
1494.94/1495.57	c 1495s |      27 | 17397141 | 13087833 |     1625  19682 |        0 |        0
1496.94/1497.58	c 1497s |      27 | 17418314 | 13103233 |     1625  19700 |        0 |        0
1498.94/1499.59	c 1499s |      27 | 17439726 | 13118933 |     1625  19719 |        0 |        0
1500.95/1501.60	c 1501s |      27 | 17462659 | 13135233 |     1625  19738 |        0 |        0
1503.05/1503.60	c 1503s |      27 | 17485894 | 13151933 |     1625  19758 |        0 |        0
1505.05/1505.60	c 1505s |      27 | 17508513 | 13168233 |     1625  19777 |        0 |        0
1507.04/1507.61	c 1507s |      27 | 17530780 | 13184533 |     1625  19796 |        0 |        0
1509.04/1509.62	c 1509s |      27 | 17549730 | 13199933 |     1625  19815 |        0 |        0
1511.04/1511.62	c 1511s |      27 | 17569876 | 13214933 |     1625  19832 |        0 |        0
1513.05/1513.62	c 1513s |      27 | 17590043 | 13229833 |     1625  19850 |        0 |        0
1515.04/1515.63	c 1515s |      27 | 17611595 | 13245433 |     1625  19868 |        0 |        0
1517.04/1517.64	c 1517s |      27 | 17632535 | 13261633 |     1625  19888 |        0 |        0
1519.04/1519.65	c 1519s |      27 | 17651829 | 13276433 |     1625  19905 |        0 |        0
1521.04/1521.65	c 1521s |      27 | 17670936 | 13291833 |     1625  19923 |        0 |        0
1523.05/1523.67	c 1523s |      27 | 17690657 | 13306733 |     1625  19941 |        0 |        0
1525.04/1525.67	c 1525s |      27 | 17710030 | 13321533 |     1625  19958 |        0 |        0
1527.04/1527.67	c 1527s |      27 | 17730738 | 13336533 |     1625  19976 |        0 |        0
1529.04/1529.67	c 1529s |      27 | 17750692 | 13351833 |     1625  19994 |        0 |        0
1531.04/1531.68	c 1531s |      27 | 17771889 | 13367633 |     1625  20013 |        0 |        0
1533.04/1533.68	c 1533s |      27 | 17792617 | 13382833 |     1625  20031 |        0 |        0
1535.04/1535.68	c 1535s |      27 | 17812817 | 13398433 |     1625  20050 |        0 |        0
1537.03/1537.69	c 1537s |      27 | 17832708 | 13413833 |     1625  20068 |        0 |        0
1539.03/1539.69	c 1539s |      27 | 17852375 | 13428933 |     1625  20086 |        0 |        0
1541.13/1541.70	c 1541s |      27 | 17873124 | 13444433 |     1625  20104 |        0 |        0
1543.14/1543.70	c 1543s |      27 | 17891651 | 13458333 |     1625  20120 |        0 |        0
1545.14/1545.71	c 1545s |      27 | 17911385 | 13473233 |     1625  20138 |        0 |        0
1547.15/1547.72	c 1547s |      27 | 17931192 | 13488333 |     1625  20156 |        0 |        0
1549.14/1549.73	c 1549s |      27 | 17952387 | 13503833 |     1625  20174 |        0 |        0
1551.14/1551.74	c 1551s |      27 | 17973005 | 13519033 |     1625  20192 |        0 |        0
1553.14/1553.75	c 1553s |      27 | 17993397 | 13534533 |     1625  20210 |        0 |        0
1555.14/1555.76	c 1555s |      27 | 18012921 | 13549233 |     1625  20227 |        0 |        0
1557.14/1557.76	c 1557s |      27 | 18034674 | 13564933 |     1625  20246 |        0 |        0
1559.14/1559.77	c 1559s |      27 | 18054754 | 13579833 |     1625  20263 |        0 |        0
1561.14/1561.77	c 1561s |      27 | 18075179 | 13594733 |     1625  20281 |        0 |        0
1563.14/1563.77	c 1563s |      27 | 18095467 | 13610033 |     1625  20298 |        0 |        0
1565.13/1565.77	c 1565s |      27 | 18115451 | 13624933 |     1625  20316 |        0 |        0
1567.13/1567.78	c 1567s |      27 | 18138685 | 13641733 |     1625  20336 |        0 |        0
1569.14/1569.78	c 1569s |      27 | 18158405 | 13657233 |     1625  20354 |        0 |        0
1571.13/1571.79	c 1571s |      27 | 18177826 | 13671933 |     1625  20371 |        0 |        0
1573.23/1573.81	c 1573s |      27 | 18198654 | 13687333 |     1625  20388 |        0 |        0
1575.23/1575.82	c 1575s |      27 | 18218816 | 13702633 |     1625  20406 |        0 |        0
1577.23/1577.83	c 1577s |      27 | 18238116 | 13717933 |     1625  20424 |        0 |        0
1579.23/1579.84	c 1579s |      27 | 18255971 | 13732333 |     1625  20440 |        0 |        0
1581.24/1581.84	c 1581s |      27 | 18275791 | 13747533 |     1625  20458 |        0 |        0
1583.23/1583.85	c 1583s |      27 | 18294806 | 13762333 |     1625  20475 |        0 |        0
1585.23/1585.86	c 1585s |      27 | 18313464 | 13776933 |     1625  20492 |        0 |        0
1587.23/1587.86	c 1587s |      27 | 18332932 | 13791333 |     1625  20508 |        0 |        0
1589.23/1589.86	c 1589s |      27 | 18352849 | 13806833 |     1625  20526 |        0 |        0
1591.23/1591.87	c 1591s |      27 | 18371476 | 13821133 |     1625  20543 |        0 |        0
1593.23/1593.88	c 1593s |      27 | 18391844 | 13836633 |     1625  20561 |        0 |        0
1595.23/1595.89	c 1595s |      27 | 18410978 | 13851233 |     1625  20578 |        0 |        0
1597.33/1597.90	c 1597s |      27 | 18429377 | 13865233 |     1625  20595 |        0 |        0
1599.33/1599.91	c 1599s |      27 | 18446344 | 13878633 |     1625  20610 |        0 |        0
1601.33/1601.92	c 1601s |      27 | 18463161 | 13891633 |     1625  20626 |        0 |        0
1603.34/1603.92	c 1603s |      27 | 18480378 | 13905033 |     1625  20641 |        0 |        0
1605.33/1605.92	c 1605s |      27 | 18497131 | 13917733 |     1625  20656 |        0 |        0
1607.33/1607.92	c 1607s |      27 | 18516460 | 13932433 |     1625  20673 |        0 |        0
1609.33/1609.94	c 1609s |      27 | 18537161 | 13948033 |     1625  20692 |        0 |        0
1611.33/1611.94	c 1611s |      27 | 18555532 | 13961933 |     1625  20708 |        0 |        0
1613.33/1613.95	c 1613s |      27 | 18575062 | 13976933 |     1625  20725 |        0 |        0
1615.34/1615.95	c 1615s |      27 | 18593437 | 13991133 |     1625  20742 |        0 |        0
1617.33/1617.96	c 1617s |      27 | 18612871 | 14005733 |     1625  20759 |        0 |        0
1619.33/1619.96	c 1619s |      27 | 18633591 | 14021033 |     1625  20777 |        0 |        0
1621.33/1621.97	c 1621s |      27 | 18651829 | 14035133 |     1625  20793 |        0 |        0
1623.33/1623.97	c 1623s |      27 | 18670304 | 14049333 |     1625  20810 |        0 |        0
1625.33/1625.97	c 1625s |      27 | 18689633 | 14063933 |     1625  20827 |        0 |        0
1627.32/1627.98	c 1627s |      27 | 18709728 | 14079433 |     1625  20845 |        0 |        0
1629.32/1629.98	c 1629s |      27 | 18728466 | 14093433 |     1625  20861 |        0 |        0
1631.32/1631.99	c 1631s |      27 | 18745718 | 14106733 |     1625  20877 |        0 |        0
1633.32/1633.99	c 1633s |      27 | 18763765 | 14120433 |     1625  20893 |        0 |        0
1635.42/1636.00	c 1635s |      27 | 18782759 | 14134433 |     1625  20910 |        0 |        0
1637.43/1638.00	c 1637s |      27 | 18801859 | 14148833 |     1625  20927 |        0 |        0
1639.42/1640.01	c 1640s |      27 | 18820695 | 14163033 |     1625  20944 |        0 |        0
1641.42/1642.01	c 1642s |      27 | 18841483 | 14178833 |     1625  20962 |        0 |        0
1643.42/1644.02	c 1644s |      27 | 18862799 | 14194033 |     1625  20980 |        0 |        0
1645.43/1646.03	c 1646s |      27 | 18884952 | 14209933 |     1625  20998 |        0 |        0
1647.42/1648.04	c 1648s |      27 | 18906407 | 14226033 |     1625  21017 |        0 |        0
1649.43/1650.04	c 1650s |      27 | 18926863 | 14241233 |     1625  21035 |        0 |        0
1651.42/1652.04	c 1652s |      27 | 18947476 | 14256733 |     1625  21053 |        0 |        0
1653.42/1654.05	c 1654s |      27 | 18968987 | 14271833 |     1625  21071 |        0 |        0
1655.42/1656.05	c 1656s |      27 | 18990122 | 14287333 |     1625  21089 |        0 |        0
1657.42/1658.05	c 1658s |      27 | 19011181 | 14302933 |     1625  21108 |        0 |        0
1659.43/1660.06	c 1660s |      27 | 19034446 | 14319433 |     1625  21127 |        0 |        0
1661.42/1662.06	c 1662s |      27 | 19054239 | 14334333 |     1625  21144 |        0 |        0
1663.42/1664.07	c 1664s |      27 | 19073178 | 14349133 |     1625  21162 |        0 |        0
1665.42/1666.08	c 1666s |      27 | 19093263 | 14364333 |     1625  21179 |        0 |        0
1667.42/1668.08	c 1668s |      27 | 19112024 | 14379033 |     1625  21196 |        0 |        0
1669.42/1670.09	c 1670s |      27 | 19130699 | 14393233 |     1625  21213 |        0 |        0
1671.42/1672.10	c 1672s |      27 | 19151174 | 14408733 |     1625  21231 |        0 |        0
1673.51/1674.11	c 1674s |      27 | 19170143 | 14423533 |     1625  21249 |        0 |        0
1675.51/1676.12	c 1676s |      27 | 19188932 | 14437633 |     1625  21265 |        0 |        0
1677.52/1678.12	c 1678s |      27 | 19207747 | 14452033 |     1625  21282 |        0 |        0
1679.52/1680.13	c 1680s |      27 | 19229676 | 14468433 |     1625  21301 |        0 |        0
1681.52/1682.14	c 1682s |      27 | 19249476 | 14482833 |     1625  21318 |        0 |        0
1683.53/1684.15	c 1684s |      27 | 19270219 | 14498133 |     1625  21336 |        0 |        0
1685.52/1686.15	c 1686s |      27 | 19291461 | 14513633 |     1625  21354 |        0 |        0
1687.52/1688.16	c 1688s |      27 | 19313835 | 14529833 |     1625  21373 |        0 |        0
1689.52/1690.16	c 1690s |      27 | 19334673 | 14545933 |     1625  21391 |        0 |        0
1691.52/1692.17	c 1692s |      27 | 19357312 | 14562433 |     1625  21411 |        0 |        0
1693.52/1694.17	c 1694s |      27 | 19379300 | 14578333 |     1625  21429 |        0 |        0
1695.52/1696.19	c 1696s |      27 | 19398574 | 14593133 |     1625  21447 |        0 |        0
1697.52/1698.19	c 1698s |      27 | 19419371 | 14608333 |     1625  21464 |        0 |        0
1699.52/1700.19	c 1700s |      27 | 19441056 | 14624433 |     1625  21483 |        0 |        0
1701.62/1702.21	c 1702s |      27 | 19463180 | 14640933 |     1625  21502 |        0 |        0
1703.62/1704.21	c 1704s |      27 | 19486714 | 14658433 |     1625  21523 |        0 |        0
1705.62/1706.22	c 1706s |      27 | 19507995 | 14674233 |     1625  21541 |        0 |        0
1707.61/1708.22	c 1708s |      27 | 19529731 | 14690033 |     1625  21560 |        0 |        0
1709.61/1710.22	c 1710s |      27 | 19549571 | 14705033 |     1625  21577 |        0 |        0
1711.61/1712.23	c 1712s |      27 | 19571683 | 14721133 |     1625  21596 |        0 |        0
1713.61/1714.23	c 1714s |      27 | 19594090 | 14737433 |     1625  21615 |        0 |        0
1715.61/1716.24	c 1716s |      27 | 19612838 | 14752333 |     1625  21633 |        0 |        0
1717.62/1718.25	c 1718s |      27 | 19631463 | 14767333 |     1625  21650 |        0 |        0
1719.61/1720.25	c 1720s |      27 | 19651774 | 14783033 |     1625  21668 |        0 |        0
1721.61/1722.26	c 1722s |      27 | 19673233 | 14799133 |     1625  21687 |        0 |        0
1723.61/1724.26	c 1724s |      27 | 19694275 | 14814733 |     1625  21705 |        0 |        0
1725.61/1726.27	c 1726s |      27 | 19715753 | 14830433 |     1625  21724 |        0 |        0
1727.61/1728.27	c 1728s |      27 | 19736908 | 14845533 |     1625  21741 |        0 |        0
1729.61/1730.27	c 1730s |      27 | 19758526 | 14861433 |     1625  21760 |        0 |        0
1731.61/1732.28	c 1732s |      27 | 19780080 | 14877533 |     1625  21779 |        0 |        0
1733.60/1734.28	c 1734s |      27 | 19801649 | 14893533 |     1625  21797 |        0 |        0
1735.61/1736.29	c 1736s |      27 | 19822443 | 14909033 |     1625  21815 |        0 |        0
1737.71/1738.30	c 1738s |      27 | 19844835 | 14925633 |     1625  21835 |        0 |        0
1739.72/1740.31	c 1740s |      27 | 19867413 | 14941933 |     1625  21854 |        0 |        0
1741.71/1742.32	c 1742s |      27 | 19890920 | 14958833 |     1625  21873 |        0 |        0
1743.71/1744.32	c 1744s |      27 | 19910145 | 14973433 |     1625  21890 |        0 |        0
1745.71/1746.33	c 1746s |      27 | 19929146 | 14987433 |     1625  21907 |        0 |        0
1747.71/1748.34	c 1748s |      27 | 19949325 | 15002333 |     1625  21924 |        0 |        0
1749.71/1750.34	c 1750s |      27 | 19969836 | 15017933 |     1625  21943 |        0 |        0
1751.72/1752.35	c 1752s |      27 | 19991216 | 15033633 |     1625  21961 |        0 |        0
1753.71/1754.36	c 1754s |      27 | 20011881 | 15049433 |     1625  21980 |        0 |        0
1755.71/1756.37	c 1756s |      27 | 20032911 | 15065033 |     1625  21998 |        0 |        0
1757.71/1758.38	c 1758s |      27 | 20052107 | 15079333 |     1625  22015 |        0 |        0
1759.71/1760.38	c 1760s |      27 | 20072833 | 15094633 |     1625  22033 |        0 |        0
1761.71/1762.39	c 1762s |      27 | 20091237 | 15108333 |     1625  22049 |        0 |        0
1763.70/1764.39	c 1764s |      27 | 20111314 | 15122933 |     1625  22066 |        0 |        0
1765.80/1766.40	c 1766s |      27 | 20131505 | 15137833 |     1625  22083 |        0 |        0
1767.80/1768.40	c 1768s |      27 | 20152413 | 15153333 |     1625  22102 |        0 |        0
1769.80/1770.40	c 1770s |      27 | 20172568 | 15167633 |     1625  22118 |        0 |        0
1771.80/1772.41	c 1772s |      27 | 20193328 | 15182933 |     1625  22136 |        0 |        0
1773.81/1774.41	c 1774s |      27 | 20213525 | 15197833 |     1625  22154 |        0 |        0
1775.80/1776.42	c 1776s |      27 | 20234755 | 15213133 |     1625  22172 |        0 |        0
1777.80/1778.43	c 1778s |      27 | 20254490 | 15227833 |     1625  22189 |        0 |        0
1779.80/1780.44	c 1780s |      27 | 20276195 | 15242933 |     1625  22207 |        0 |        0
1781.80/1782.45	c 1782s |      27 | 20298103 | 15258033 |     1625  22225 |        0 |        0
1783.80/1784.45	c 1784s |      27 | 20320519 | 15273933 |     1625  22244 |        0 |        0
1785.81/1786.46	c 1786s |      27 | 20340697 | 15288933 |     1625  22261 |        0 |        0
1787.81/1788.46	c 1788s |      27 | 20361820 | 15303833 |     1625  22279 |        0 |        0
1789.81/1790.46	c 1790s |      27 | 20384410 | 15319833 |     1625  22298 |        0 |        0
1791.80/1792.47	c 1792s |      27 | 20407499 | 15336433 |     1625  22317 |        0 |        0
1793.80/1794.49	c 1794s |      27 | 20428528 | 15352333 |     1625  22336 |        0 |        0
1795.81/1796.49	c 1796s |      27 | 20450071 | 15368233 |     1625  22354 |        0 |        0
1797.80/1798.49	c 1798s |      27 | 20470618 | 15383733 |     1625  22372 |        0 |        0
1799.90/1800.51	c 1800s |      27 | 20491193 | 15399033 |     1625  22390 |        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-4095812-1466095938/watcher-4095812-1466095938 -o /tmp/evaluation-result-4095812-1466095938/solver-4095812-1466095938 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466095897-23943 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4095812-1466095938.opb 

pid=24021
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.12 2.04 2.02 3/179 24024
/proc/meminfo: memFree=30761972/32872528 swapFree=162364/176672
[pid=24024] ppid=24021 vsize=735676 CPUtime=0 cores=1,3,5,7
/proc/24024/stat : 24024 (toysat) R 24021 24024 23926 0 -1 4202496 2747 0 0 0 0 0 0 0 20 0 4 0 11643697 753332224 2597 33554432000 4194304 16246674 140734688344256 140734688343680 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24024/statm: 184431 2606 441 2943 0 181325 0
[pid=24024/tid=24025] ppid=24021 vsize=753084 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24025/stat : 24025 (toysat) S 24021 24024 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11643697 771158016 2666 33554432000 4194304 16246674 140734688344256 140171667287280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24024/tid=24026] ppid=24021 vsize=758204 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24026/stat : 24026 (toysat) S 24021 24024 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11643697 776400896 2683 33554432000 4194304 16246674 140734688344256 140171656797424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24024/tid=24027] ppid=24021 vsize=761276 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24027/stat : 24027 (toysat) S 24021 24024 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11643697 779546624 2699 33554432000 4194304 16246674 140734688344256 140171646323888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100174 s]
/proc/loadavg: 2.12 2.04 2.02 3/179 24024
/proc/meminfo: memFree=30761972/32872528 swapFree=162364/176672
[pid=24024] ppid=24021 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/24024/stat : 24024 (toysat) R 24021 24024 23926 0 -1 4202496 24863 0 0 0 5 4 0 0 20 0 4 0 11643697 1247350784 24702 33554432000 4194304 16246674 140734688344256 140734688343680 5831697 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24024/statm: 304529 24710 707 2943 0 301423 0
[pid=24024/tid=24025] ppid=24021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24025/stat : 24025 (toysat) S 24021 24024 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11643697 1247350784 24719 33554432000 4194304 16246674 140734688344256 140171667287280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24024/tid=24026] ppid=24021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24026/stat : 24026 (toysat) S 24021 24024 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11643697 1247350784 24727 33554432000 4194304 16246674 140734688344256 140171656797424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24024/tid=24027] ppid=24021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24027/stat : 24027 (toysat) S 24021 24024 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11643697 1247350784 24732 33554432000 4194304 16246674 140734688344256 140171646323888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200529 s]
/proc/loadavg: 2.12 2.04 2.02 3/179 24024
/proc/meminfo: memFree=30761972/32872528 swapFree=162364/176672
[pid=24024] ppid=24021 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/24024/stat : 24024 (toysat) R 24021 24024 23926 0 -1 4202496 47558 0 0 0 12 7 0 0 20 0 4 0 11643697 1247350784 47398 33554432000 4194304 16246674 140734688344256 140734688343680 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24024/statm: 304529 47408 707 2943 0 301423 0
[pid=24024/tid=24025] ppid=24021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24025/stat : 24025 (toysat) S 24021 24024 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11643697 1247350784 47414 33554432000 4194304 16246674 140734688344256 140171667287280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24024/tid=24026] ppid=24021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24026/stat : 24026 (toysat) S 24021 24024 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11643697 1247350784 47421 33554432000 4194304 16246674 140734688344256 140171656797424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24024/tid=24027] ppid=24021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24027/stat : 24027 (toysat) S 24021 24024 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11643697 1247350784 47430 33554432000 4194304 16246674 140734688344256 140171646323888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300493 s]
/proc/loadavg: 2.12 2.04 2.02 3/179 24024
/proc/meminfo: memFree=30761972/32872528 swapFree=162364/176672
[pid=24024] ppid=24021 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/24024/stat : 24024 (toysat) R 24021 24024 23926 0 -1 4202496 69879 0 0 0 18 11 0 0 20 0 4 0 11643697 1247350784 69718 33554432000 4194304 16246674 140734688344256 140734688343680 12474890 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24024/statm: 304529 69729 708 2943 0 301423 0
[pid=24024/tid=24025] ppid=24021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24025/stat : 24025 (toysat) S 24021 24024 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11643697 1247350784 69738 33554432000 4194304 16246674 140734688344256 140171667287280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24024/tid=24026] ppid=24021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24026/stat : 24026 (toysat) S 24021 24024 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11643697 1247350784 69744 33554432000 4194304 16246674 140734688344256 140171656797424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24024/tid=24027] ppid=24021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24027/stat : 24027 (toysat) S 24021 24024 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11643697 1247350784 69751 33554432000 4194304 16246674 140734688344256 140171646323888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700409 s]
/proc/loadavg: 2.12 2.04 2.02 3/179 24024
/proc/meminfo: memFree=30761972/32872528 swapFree=162364/176672
[pid=24024] ppid=24021 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/24024/stat : 24024 (toysat) R 24021 24024 23926 0 -1 4202496 158496 0 0 0 46 23 0 0 20 0 4 0 11643697 1247350784 158336 33554432000 4194304 16246674 140734688344256 140734688343680 5724508 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24024/statm: 304529 158348 708 2943 0 301423 0
[pid=24024/tid=24025] ppid=24021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24025/stat : 24025 (toysat) S 24021 24024 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11643697 1247350784 158353 33554432000 4194304 16246674 140734688344256 140171667287280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24024/tid=24026] ppid=24021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24026/stat : 24026 (toysat) S 24021 24024 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11643697 1247350784 158358 33554432000 4194304 16246674 140734688344256 140171656797424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24024/tid=24027] ppid=24021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24027/stat : 24027 (toysat) S 24021 24024 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11643697 1247350784 158364 33554432000 4194304 16246674 140734688344256 140171646323888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50038 s]
/proc/loadavg: 2.12 2.04 2.02 3/183 24028
/proc/meminfo: memFree=29781496/32872528 swapFree=162364/176672
[pid=24024] ppid=24021 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/24024/stat : 24024 (toysat) R 24021 24024 23926 0 -1 4202496 245604 0 0 0 114 35 0 0 20 0 4 0 11643697 1248399360 245423 33554432000 4194304 16246674 140734688344256 140734688343568 5722381 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24024/statm: 304785 245423 783 2943 0 301679 0
[pid=24024/tid=24025] ppid=24021 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24025/stat : 24025 (toysat) S 24021 24024 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11643697 1248399360 245423 33554432000 4194304 16246674 140734688344256 140171667287280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24024/tid=24026] ppid=24021 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24026/stat : 24026 (toysat) S 24021 24024 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11643697 1248399360 245423 33554432000 4194304 16246674 140734688344256 140171656797424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24024/tid=24027] ppid=24021 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24027/stat : 24027 (toysat) S 24021 24024 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11643697 1248399360 245423 33554432000 4194304 16246674 140734688344256 140171646323888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10038 s]
/proc/loadavg: 2.11 2.04 2.02 3/183 24028
/proc/meminfo: memFree=29694184/32872528 swapFree=162364/176672
[pid=24024] ppid=24021 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/24024/stat : 24024 (toysat) R 24021 24024 23926 0 -1 4202496 267396 0 0 0 271 38 0 0 20 0 4 0 11643697 1337528320 267215 33554432000 4194304 16246674 140734688344256 140734688326144 12483198 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24024/statm: 326545 267215 783 2943 0 323439 0
[pid=24024/tid=24025] ppid=24021 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24025/stat : 24025 (toysat) S 24021 24024 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11643697 1337528320 267215 33554432000 4194304 16246674 140734688344256 140171667287280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24024/tid=24026] ppid=24021 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24026/stat : 24026 (toysat) S 24021 24024 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11643697 1337528320 267215 33554432000 4194304 16246674 140734688344256 140171656797424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24024/tid=24027] ppid=24021 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24027/stat : 24027 (toysat) S 24021 24024 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11643697 1337528320 267215 33554432000 4194304 16246674 140734688344256 140171646323888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30038 s]
/proc/loadavg: 2.11 2.04 2.02 3/183 24028
/proc/meminfo: memFree=29692948/32872528 swapFree=162364/176672
[pid=24024] ppid=24021 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/24024/stat : 24024 (toysat) R 24021 24024 23926 0 -1 4202496 267528 0 0 0 591 38 0 0 20 0 4 0 11643697 1337528320 267347 33554432000 4194304 16246674 140734688344256 140734688326144 5546116 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24024/statm: 326545 267347 784 2943 0 323439 0
[pid=24024/tid=24025] ppid=24021 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24025/stat : 24025 (toysat) S 24021 24024 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11643697 1337528320 267347 33554432000 4194304 16246674 140734688344256 140171667287280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24024/tid=24026] ppid=24021 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24026/stat : 24026 (toysat) S 24021 24024 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11643697 1337528320 267347 33554432000 4194304 16246674 140734688344256 140171656797424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24024/tid=24027] ppid=24021 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24027/stat : 24027 (toysat) S 24021 24024 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11643697 1337528320 267347 33554432000 4194304 16246674 140734688344256 140171646323888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.09 2.03 2.02 3/183 24028
/proc/meminfo: memFree=29692980/32872528 swapFree=162364/176672
[pid=24024] ppid=24021 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/24024/stat : 24024 (toysat) R 24021 24024 23926 0 -1 4202496 267546 0 0 0 1231 38 0 0 20 0 4 0 11643697 1337528320 267365 33554432000 4194304 16246674 140734688344256 140734688326144 5722908 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24024/statm: 326545 267365 784 2943 0 323439 0
[pid=24024/tid=24025] ppid=24021 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24025/stat : 24025 (toysat) S 24021 24024 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11643697 1337528320 267365 33554432000 4194304 16246674 140734688344256 140171667287280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24024/tid=24026] ppid=24021 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24026/stat : 24026 (toysat) S 24021 24024 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11643697 1337528320 267365 33554432000 4194304 16246674 140734688344256 140171656797424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24024/tid=24027] ppid=24021 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24027/stat : 24027 (toysat) S 24021 24024 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11643697 1337528320 267365 33554432000 4194304 16246674 140734688344256 140171646323888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.08 2.03 2.02 4/183 24028
/proc/meminfo: memFree=29693968/32872528 swapFree=162364/176672
[pid=24024] ppid=24021 vsize=1307204 CPUtime=25.49 cores=1,3,5,7
/proc/24024/stat : 24024 (toysat) R 24021 24024 23926 0 -1 4202496 267595 0 0 0 2510 39 0 0 20 0 4 0 11643697 1338576896 267414 33554432000 4194304 16246674 140734688344256 140734688326144 5523192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24024/statm: 326801 267414 786 2943 0 323695 0
[pid=24024/tid=24025] ppid=24021 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24025/stat : 24025 (toysat) S 24021 24024 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11643697 1338576896 267414 33554432000 4194304 16246674 140734688344256 140171667287280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24024/tid=24026] ppid=24021 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24026/stat : 24026 (toysat) S 24021 24024 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11643697 1338576896 267414 33554432000 4194304 16246674 140734688344256 140171656797424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24024/tid=24027] ppid=24021 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24027/stat : 24027 (toysat) S 24021 24024 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11643697 1338576896 267414 33554432000 4194304 16246674 140734688344256 140171646323888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.05 2.03 2.01 3/183 24028
/proc/meminfo: memFree=29692380/32872528 swapFree=162364/176672
[pid=24024] ppid=24021 vsize=1307204 CPUtime=51.08 cores=1,3,5,7
/proc/24024/stat : 24024 (toysat) R 24021 24024 23926 0 -1 4202496 267653 0 0 0 5069 39 0 0 20 0 4 0 11643697 1338576896 267472 33554432000 4194304 16246674 140734688344256 140734688326144 5829700 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24024/statm: 326801 267472 786 2943 0 323695 0
[pid=24024/tid=24025] ppid=24021 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24025/stat : 24025 (toysat) S 24021 24024 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11643697 1338576896 267472 33554432000 4194304 16246674 140734688344256 140171667287280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24024/tid=24026] ppid=24021 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24026/stat : 24026 (toysat) S 24021 24024 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11643697 1338576896 267472 33554432000 4194304 16246674 140734688344256 140171656797424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24024/tid=24027] ppid=24021 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24027/stat : 24027 (toysat) S 24021 24024 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11643697 1338576896 267472 33554432000 4194304 16246674 140734688344256 140171646323888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.01 3/183 24029
/proc/meminfo: memFree=29692916/32872528 swapFree=162364/176672
[pid=24024] ppid=24021 vsize=1307204 CPUtime=102.28 cores=1,3,5,7
/proc/24024/stat : 24024 (toysat) R 24021 24024 23926 0 -1 4202496 267695 0 0 0 10189 39 0 0 20 0 4 0 11643697 1338576896 267514 33554432000 4194304 16246674 140734688344256 140734688326144 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24024/statm: 326801 267514 786 2943 0 323695 0
[pid=24024/tid=24025] ppid=24021 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24025/stat : 24025 (toysat) S 24021 24024 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11643697 1338576896 267514 33554432000 4194304 16246674 140734688344256 140171667287280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24024/tid=24026] ppid=24021 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24026/stat : 24026 (toysat) S 24021 24024 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11643697 1338576896 267514 33554432000 4194304 16246674 140734688344256 140171656797424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24024/tid=24027] ppid=24021 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24027/stat : 24027 (toysat) S 24021 24024 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11643697 1338576896 267514 33554432000 4194304 16246674 140734688344256 140171646323888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

/proc/24024/task/24027/stat : 24027 (toysat) S 24021 24024 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11643697 1340674048 268413 33554432000 4194304 16246674 140734688344256 140171646323888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 1309252

[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 24082
/proc/meminfo: memFree=29685072/32872528 swapFree=162364/176672
[pid=24024] ppid=24021 vsize=1309252 CPUtime=1301.8 cores=1,3,5,7
/proc/24024/stat : 24024 (toysat) R 24021 24024 23926 0 -1 4202496 268738 0 0 0 130116 64 0 0 20 0 4 0 11643697 1340674048 268413 33554432000 4194304 16246674 140734688344256 140734688326144 5808578 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24024/statm: 327313 268413 787 2943 0 324207 0
[pid=24024/tid=24025] ppid=24021 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24025/stat : 24025 (toysat) S 24021 24024 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11643697 1340674048 268413 33554432000 4194304 16246674 140734688344256 140171667287280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24024/tid=24026] ppid=24021 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24026/stat : 24026 (toysat) S 24021 24024 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11643697 1340674048 268413 33554432000 4194304 16246674 140734688344256 140171656797424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24024/tid=24027] ppid=24021 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24027/stat : 24027 (toysat) S 24021 24024 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11643697 1340674048 268413 33554432000 4194304 16246674 140734688344256 140171646323888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 1309252

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 24083
/proc/meminfo: memFree=29684920/32872528 swapFree=162364/176672
[pid=24024] ppid=24021 vsize=1309252 CPUtime=1361.77 cores=1,3,5,7
/proc/24024/stat : 24024 (toysat) R 24021 24024 23926 0 -1 4202496 268776 0 0 0 136112 65 0 0 20 0 4 0 11643697 1340674048 268413 33554432000 4194304 16246674 140734688344256 140734688326144 13191787 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24024/statm: 327313 268413 787 2943 0 324207 0
[pid=24024/tid=24025] ppid=24021 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24025/stat : 24025 (toysat) S 24021 24024 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11643697 1340674048 268413 33554432000 4194304 16246674 140734688344256 140171667287280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24024/tid=24026] ppid=24021 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24026/stat : 24026 (toysat) S 24021 24024 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11643697 1340674048 268413 33554432000 4194304 16246674 140734688344256 140171656797424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24024/tid=24027] ppid=24021 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24027/stat : 24027 (toysat) S 24021 24024 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11643697 1340674048 268413 33554432000 4194304 16246674 140734688344256 140171646323888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 1309252

[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 24084
/proc/meminfo: memFree=29685560/32872528 swapFree=162364/176672
[pid=24024] ppid=24021 vsize=1309252 CPUtime=1421.76 cores=1,3,5,7
/proc/24024/stat : 24024 (toysat) R 24021 24024 23926 0 -1 4202496 268776 0 0 0 142111 65 0 0 20 0 4 0 11643697 1340674048 268413 33554432000 4194304 16246674 140734688344256 140734688326144 5674030 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24024/statm: 327313 268413 787 2943 0 324207 0
[pid=24024/tid=24025] ppid=24021 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24025/stat : 24025 (toysat) S 24021 24024 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11643697 1340674048 268413 33554432000 4194304 16246674 140734688344256 140171667287280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24024/tid=24026] ppid=24021 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24026/stat : 24026 (toysat) S 24021 24024 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11643697 1340674048 268413 33554432000 4194304 16246674 140734688344256 140171656797424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24024/tid=24027] ppid=24021 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24027/stat : 24027 (toysat) S 24021 24024 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11643697 1340674048 268413 33554432000 4194304 16246674 140734688344256 140171646323888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.76
Current children cumulated vsize (KiB) 1309252

[startup+1482.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 24086
/proc/meminfo: memFree=29685448/32872528 swapFree=162364/176672
[pid=24024] ppid=24021 vsize=1309252 CPUtime=1481.74 cores=1,3,5,7
/proc/24024/stat : 24024 (toysat) R 24021 24024 23926 0 -1 4202496 268776 0 0 0 148108 66 0 0 20 0 4 0 11643697 1340674048 268413 33554432000 4194304 16246674 140734688344256 140734688326144 5545832 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24024/statm: 327313 268413 787 2943 0 324207 0
[pid=24024/tid=24025] ppid=24021 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24025/stat : 24025 (toysat) S 24021 24024 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11643697 1340674048 268413 33554432000 4194304 16246674 140734688344256 140171667287280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24024/tid=24026] ppid=24021 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24026/stat : 24026 (toysat) S 24021 24024 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11643697 1340674048 268413 33554432000 4194304 16246674 140734688344256 140171656797424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24024/tid=24027] ppid=24021 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24027/stat : 24027 (toysat) S 24021 24024 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11643697 1340674048 268413 33554432000 4194304 16246674 140734688344256 140171646323888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 1309252

[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 24087
/proc/meminfo: memFree=29685212/32872528 swapFree=162364/176672
[pid=24024] ppid=24021 vsize=1309252 CPUtime=1541.74 cores=1,3,5,7
/proc/24024/stat : 24024 (toysat) R 24021 24024 23926 0 -1 4202496 268776 0 0 0 154107 67 0 0 20 0 4 0 11643697 1340674048 268413 33554432000 4194304 16246674 140734688344256 140734688326144 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24024/statm: 327313 268413 787 2943 0 324207 0
[pid=24024/tid=24025] ppid=24021 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24025/stat : 24025 (toysat) S 24021 24024 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11643697 1340674048 268413 33554432000 4194304 16246674 140734688344256 140171667287280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24024/tid=24026] ppid=24021 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24026/stat : 24026 (toysat) S 24021 24024 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11643697 1340674048 268413 33554432000 4194304 16246674 140734688344256 140171656797424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24024/tid=24027] ppid=24021 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24027/stat : 24027 (toysat) S 24021 24024 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11643697 1340674048 268413 33554432000 4194304 16246674 140734688344256 140171646323888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 1309252

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 24088
/proc/meminfo: memFree=29684844/32872528 swapFree=162364/176672
[pid=24024] ppid=24021 vsize=1309252 CPUtime=1601.73 cores=1,3,5,7
/proc/24024/stat : 24024 (toysat) R 24021 24024 23926 0 -1 4202496 268776 0 0 0 160104 69 0 0 20 0 4 0 11643697 1340674048 268413 33554432000 4194304 16246674 140734688344256 140734688326144 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24024/statm: 327313 268413 787 2943 0 324207 0
[pid=24024/tid=24025] ppid=24021 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24025/stat : 24025 (toysat) S 24021 24024 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11643697 1340674048 268413 33554432000 4194304 16246674 140734688344256 140171667287280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24024/tid=24026] ppid=24021 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24026/stat : 24026 (toysat) S 24021 24024 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11643697 1340674048 268413 33554432000 4194304 16246674 140734688344256 140171656797424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24024/tid=24027] ppid=24021 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24027/stat : 24027 (toysat) S 24021 24024 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11643697 1340674048 268413 33554432000 4194304 16246674 140734688344256 140171646323888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 1309252

[startup+1662.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/183 24089
/proc/meminfo: memFree=29684724/32872528 swapFree=162364/176672
[pid=24024] ppid=24021 vsize=1309252 CPUtime=1661.72 cores=1,3,5,7
/proc/24024/stat : 24024 (toysat) R 24021 24024 23926 0 -1 4202496 268776 0 0 0 166102 70 0 0 20 0 4 0 11643697 1340674048 268413 33554432000 4194304 16246674 140734688344256 140734688326144 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24024/statm: 327313 268413 787 2943 0 324207 0
[pid=24024/tid=24025] ppid=24021 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24025/stat : 24025 (toysat) S 24021 24024 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11643697 1340674048 268413 33554432000 4194304 16246674 140734688344256 140171667287280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24024/tid=24026] ppid=24021 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24026/stat : 24026 (toysat) S 24021 24024 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11643697 1340674048 268413 33554432000 4194304 16246674 140734688344256 140171656797424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24024/tid=24027] ppid=24021 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24027/stat : 24027 (toysat) S 24021 24024 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11643697 1340674048 268413 33554432000 4194304 16246674 140734688344256 140171646323888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 1309252

[startup+1722.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/184 24093
/proc/meminfo: memFree=29684232/32872528 swapFree=162364/176672
[pid=24024] ppid=24021 vsize=1309252 CPUtime=1721.71 cores=1,3,5,7
/proc/24024/stat : 24024 (toysat) R 24021 24024 23926 0 -1 4202496 268776 0 0 0 172100 71 0 0 20 0 4 0 11643697 1340674048 268413 33554432000 4194304 16246674 140734688344256 140734688326144 13192052 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24024/statm: 327313 268413 787 2943 0 324207 0
[pid=24024/tid=24025] ppid=24021 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24025/stat : 24025 (toysat) S 24021 24024 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11643697 1340674048 268413 33554432000 4194304 16246674 140734688344256 140171667287280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24024/tid=24026] ppid=24021 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24026/stat : 24026 (toysat) S 24021 24024 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11643697 1340674048 268413 33554432000 4194304 16246674 140734688344256 140171656797424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24024/tid=24027] ppid=24021 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24027/stat : 24027 (toysat) S 24021 24024 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11643697 1340674048 268413 33554432000 4194304 16246674 140734688344256 140171646323888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 1309252

[startup+1782.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/183 24193
/proc/meminfo: memFree=29683700/32872528 swapFree=162364/176672
[pid=24024] ppid=24021 vsize=1309252 CPUtime=1781.7 cores=1,3,5,7
/proc/24024/stat : 24024 (toysat) R 24021 24024 23926 0 -1 4202496 268777 0 0 0 178098 72 0 0 20 0 4 0 11643697 1340674048 268414 33554432000 4194304 16246674 140734688344256 140734688326144 6021376 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24024/statm: 327313 268414 788 2943 0 324207 0
[pid=24024/tid=24025] ppid=24021 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24025/stat : 24025 (toysat) S 24021 24024 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11643697 1340674048 268414 33554432000 4194304 16246674 140734688344256 140171667287280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24024/tid=24026] ppid=24021 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24026/stat : 24026 (toysat) S 24021 24024 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11643697 1340674048 268414 33554432000 4194304 16246674 140734688344256 140171656797424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24024/tid=24027] ppid=24021 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24027/stat : 24027 (toysat) S 24021 24024 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11643697 1340674048 268414 33554432000 4194304 16246674 140734688344256 140171646323888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 1309252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.07 2.04 2.00 3/183 24193
/proc/meminfo: memFree=29683216/32872528 swapFree=162364/176672
[pid=24024] ppid=24021 vsize=1309252 CPUtime=1800 cores=1,3,5,7
/proc/24024/stat : 24024 (toysat) R 24021 24024 23926 0 -1 4202496 268777 0 0 0 179927 73 0 0 20 0 4 0 11643697 1340674048 268414 33554432000 4194304 16246674 140734688344256 140734688326144 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24024/statm: 327313 268414 788 2943 0 324207 0
[pid=24024/tid=24025] ppid=24021 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24025/stat : 24025 (toysat) S 24021 24024 23926 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11643697 1340674048 268414 33554432000 4194304 16246674 140734688344256 140171667287280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24024/tid=24026] ppid=24021 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24026/stat : 24026 (toysat) S 24021 24024 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11643697 1340674048 268414 33554432000 4194304 16246674 140734688344256 140171656797424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24024/tid=24027] ppid=24021 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24024/task/24027/stat : 24027 (toysat) S 24021 24024 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11643697 1340674048 268414 33554432000 4194304 16246674 140734688344256 140171646323888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1309252

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 24024 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.01
CPU user time (s): 1799.28
CPU system time (s): 0.732888
CPU usage (%): 99.9669
Max. virtual memory (cumulated for all children) (KiB): 1309252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.28
system time used= 0.732888
maximum resident set size= 1073656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268777
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= 450
involuntary context switches= 1842

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.55531 second user time and 6.97894 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-16 18:52:18
IDJOB=4095812
IDBENCH=107525
IDSOLVER=2542
FILE ID=node105/4095812-1466095938
RUNJOBID= node105-1466095897-23943
PBS_JOBID= 19904031
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-60.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4095812-1466095938/watcher-4095812-1466095938 -o /tmp/evaluation-result-4095812-1466095938/solver-4095812-1466095938 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466095897-23943 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4095812-1466095938.opb

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

MD5SUM BENCH= a335cf1fe7fb93abb1bb7e1ab9fb945a
RANDOM SEED=1106353234

node105.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.561
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	: 5333.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30763028 kB
Buffers:           38620 kB
Cached:           120940 kB
SwapCached:         1480 kB
Active:          1160532 kB
Inactive:          72196 kB
Active(anon):    1073892 kB
Inactive(anon):     1660 kB
Active(file):      86640 kB
Inactive(file):    70536 kB
Unevictable:      176672 kB
Mlocked:          162364 kB
SwapTotal:      67108856 kB
SwapFree:       67097232 kB
Dirty:             16376 kB
Writeback:             0 kB
AnonPages:       1248688 kB
Mapped:            10180 kB
Shmem:                 0 kB
Slab:             568860 kB
SReclaimable:      12352 kB
SUnreclaim:       556508 kB
KernelStack:        1472 kB
PageTables:         6276 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1392848 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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= 71716 MiB
End job on node105 at 2016-06-16 19:22:18