Trace number 4078602

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.1 1800.71

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb
MD5SUM63dafaa5a785f38064ac19ced11339d2
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
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.017997
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables2520
Total number of constraints142
Number of constraints which are clauses72
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint35
Maximum length of a constraint36
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 37
Number of bits of the biggest sum of numbers6
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-06T15:53:38+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-4078602-1465221218.opb"]
0.00/0.01	c use --random-gen="2934776999 1856320462 3687356490 2723522930 2880220847 3000611485 2389205399 1250900258 339782411 193656122 3016186442 224559444 3415966798 3410844758 373461298 1140962285 1667755657 2896762817 460755061 299870084 3712755519 3571243595 4098845060 236957474 2085755797 1097834849 215080285 1984415028 3871603537 3639353762 2886487274 3859795610 3146283716 30095733 2432694559 1255349170 4099480059 3197856487 856735694 4138014383 1724162335 2253257769 829654071 4189427815 4230602583 1428201423 325317722 2353603661 3225217122 2004614183 2524255406 247283591 315767023 2258258901 1862146057 774377494 1378724124 255640792 26182558 3961476991 3455893541 4068044391 1210338760 3230273364 565256595 3592939115 3408577599 3284775709 2871111359 2111734599 1872977468 800978223 2674908514 2701326186 2253633145 923513529 3194810839 1614871797 1520226193 903381143 444588197 1185901037 911714856 4135077944 1346165616 3856680845 2494371151 3298460582 3207920928 1138321159 3354568557 2502049153 540691711 4283134546 3448507958 3915514591 3358574470 4267093236 3411507768 2269224540 3207069177 2517796354 3190563829 2019259580 1239795381 3911513110 2168766894 55475782 770751399 1015413048 491117064 2165861661 3035457709 1666880781 3409147560 2213556970 1904244477 2006665624 4099534348 3964931565 2779818389 1562796543 3397880196 3215002272 2963217717 2499448955 493048900 3996241347 4146544911 4064731220 3531808440 1672507071 2159675784 3423138147 3575737118 3431611888 2152270061 447969107 1492220681 1391095954 1341335834 567347745 225181741 3013745409 155509048 2371599427 2342462732 1201843108 161429227 4186857695 2941358149 1766310565 4048855150 2176589342 3115450539 1606735141 1370818929 1202409951 2901948266 2665900198 780613471 3731212110 1231996918 3227015458 3857794868 4003466511 4269865785 2146046714 552349158 3400838706 389688547 2040957560 40212962 1351865034 1653336667 1633089024 414850939 2850420868 3227099040 2759002219 2489326191 4034664974 4272404623 2477309544 226783320 1900060459 399315720 1151298515 1795058163 2863944310 3489164560 74569743 3986156769 1549169329 3132960694 3141521000 3894127948 2868179616 3126908359 2481651240 2943211699 431433766 2896625302 360433806 3881199814 802959717 2057760805 1950187685 2237402760 1716286442 378976534 3592597660 326550747 2150012130 2189804865 595899940 1208138707 2822295571 1482024941 75760511 2728986507 3760112596 2377664652 2671114988 3672181846 576272661 82080165 2910474076 1813947856 440860984 870029481 3139847427 2680818478 969523297 1181483737 2132180944 3618866342 4257424020 4100013859 1756236701 37051278 766051782 1459271628 936353446 1255238371 2963703614 1180663930 4197544095 2165676117 3253652101 2706607211 3064728156 3731377546 4113760918 1750946707 2559507830 255 362436" option to reproduce the execution
0.00/0.02	c #vars 2520
0.00/0.02	c #constraints 142
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      887      0 |        0 |        0
0.00/0.07	c  0.0s |       1 |      146 |      100 |      887      0 |        0 |        0
0.08/0.15	c  0.1s |       2 |      979 |      250 |      976      0 |        0 |        0
0.19/0.28	c  0.2s |       3 |     1932 |      475 |     1074      0 |        0 |        0
0.49/0.52	c  0.5s |       4 |     3024 |      813 |     1182      0 |        0 |        0
0.69/0.80	c  0.8s |       5 |     4285 |     1320 |     1301      0 |        0 |        0
1.20/1.22	c  1.2s |       6 |     5786 |     2081 |     1576      1 |        0 |        0
1.89/1.93	c  1.9s |       7 |     8084 |     3223 |     1734      1 |        0 |        0
2.89/2.96	c  2.9s |       8 |    10813 |     4936 |     1908      3 |        0 |        0
4.79/4.83	c  4.8s |       9 |    14783 |     7506 |     2099      4 |        0 |        0
6.80/6.87	c  6.8s |       9 |    18958 |    10506 |     2099      6 |        0 |        0
7.58/7.64	c  7.6s |      10 |    19949 |    11361 |     2309      7 |        0 |        0
9.69/9.72	c  9.7s |      10 |    23887 |    13361 |     2309      8 |        0 |        0
11.69/11.76	c 11.7s |      10 |    26603 |    15061 |     2309      9 |        0 |        0
13.79/13.84	c 13.8s |      10 |    28927 |    16961 |     2309     10 |        0 |        0
13.99/14.06	c 14.0s |      11 |    29119 |    17144 |     2540     10 |        0 |        0
15.99/16.07	c 16.0s |      11 |    32911 |    19844 |     2540     11 |        0 |        0
18.09/18.17	c 18.1s |      11 |    35520 |    22144 |     2540     12 |        0 |        0
20.09/20.19	c 20.2s |      11 |    37772 |    24144 |     2540     14 |        0 |        0
21.89/21.96	c 21.9s |      12 |    39756 |    25819 |     2794     14 |        0 |        0
23.99/24.05	c 24.0s |      12 |    43421 |    28019 |     2794     15 |        0 |        0
25.98/26.07	c 26.0s |      12 |    45391 |    29619 |     2794     16 |        0 |        0
28.18/28.20	c 28.2s |      12 |    47338 |    31319 |     2794     16 |        0 |        0
30.29/30.30	c 30.3s |      12 |    49017 |    32819 |     2794     17 |        0 |        0
32.29/32.33	c 32.3s |      12 |    50569 |    34219 |     2794     17 |        0 |        0
34.30/34.39	c 34.4s |      12 |    52048 |    35519 |     2794     18 |        0 |        0
36.49/36.55	c 36.5s |      12 |    53382 |    36719 |     2794     18 |        0 |        0
38.59/38.63	c 38.6s |      12 |    54604 |    37819 |     2794     19 |        0 |        0
40.68/40.73	c 40.7s |      12 |    55728 |    38819 |     3074     19 |        0 |        0
40.68/40.76	c 40.7s |      13 |    55744 |    38832 |     3074     19 |        0 |        0
42.68/42.76	c 42.7s |      13 |    59895 |    41132 |     3074     20 |        0 |        0
44.78/44.83	c 44.8s |      13 |    62027 |    43032 |     3074     21 |        0 |        0
46.88/46.91	c 46.9s |      13 |    63943 |    44732 |     3074     22 |        0 |        0
48.98/49.01	c 49.0s |      13 |    65844 |    46432 |     3074     22 |        0 |        0
50.98/51.07	c 51.0s |      13 |    67505 |    47932 |     3074     23 |        0 |        0
53.08/53.12	c 53.1s |      13 |    69254 |    49532 |     3074     24 |        0 |        0
55.09/55.18	c 55.2s |      13 |    70969 |    51132 |     3074     24 |        0 |        0
57.18/57.23	c 57.2s |      13 |    72502 |    52532 |     3074     25 |        0 |        0
59.19/59.25	c 59.2s |      13 |    74107 |    54032 |     3074     25 |        0 |        0
61.28/61.34	c 61.3s |      13 |    75881 |    55632 |     3074     26 |        0 |        0
63.38/63.41	c 63.4s |      13 |    77634 |    57232 |     3074     27 |        0 |        0
64.78/64.81	c 64.8s |      14 |    78891 |    58352 |     3382     27 |        0 |        0
66.78/66.88	c 66.9s |      14 |    82938 |    61352 |     3382     29 |        0 |        0
68.88/68.97	c 68.9s |      14 |    85537 |    63652 |     3382     29 |        0 |        0
70.88/70.99	c 71.0s |      14 |    87789 |    65752 |     3382     30 |        0 |        0
72.98/73.01	c 73.0s |      14 |    90184 |    67852 |     3382     31 |        0 |        0
74.99/75.02	c 75.0s |      14 |    92501 |    69952 |     3382     32 |        0 |        0
76.98/77.06	c 77.0s |      14 |    94885 |    72052 |     3382     33 |        0 |        0
79.08/79.10	c 79.1s |      14 |    97254 |    74152 |     3382     34 |        0 |        0
81.08/81.10	c 81.1s |      14 |    99380 |    76052 |     3382     35 |        0 |        0
83.08/83.13	c 83.1s |      14 |   101586 |    78052 |     3382     35 |        0 |        0
85.08/85.13	c 85.1s |      14 |   103790 |    80052 |     3382     36 |        0 |        0
87.17/87.20	c 87.2s |      14 |   106036 |    82052 |     3382     37 |        0 |        0
89.19/89.23	c 89.2s |      14 |   108534 |    84252 |     3382     38 |        0 |        0
91.17/91.28	c 91.2s |      14 |   110760 |    86252 |     3382     39 |        0 |        0
92.67/92.73	c 92.7s |      15 |   112247 |    87632 |     3721     39 |        0 |        0
94.68/94.76	c 94.7s |      15 |   116723 |    90732 |     3721     41 |        0 |        0
96.77/96.80	c 96.8s |      15 |   119545 |    93232 |     3721     41 |        0 |        0
98.77/98.88	c 98.8s |      15 |   122005 |    95432 |     3721     42 |        0 |        0
100.87/100.93	c  100s |      15 |   124586 |    97732 |     3721     43 |        0 |        0
102.87/102.98	c  102s |      15 |   126575 |    99532 |     3721     44 |        0 |        0
105.07/105.11	c  105s |      15 |   128590 |   101332 |     3721     45 |        0 |        0
107.17/107.25	c  107s |      15 |   131049 |   103532 |     3721     45 |        0 |        0
109.18/109.30	c  109s |      15 |   133204 |   105532 |     3721     46 |        0 |        0
111.29/111.34	c  111s |      15 |   135285 |   107432 |     3721     47 |        0 |        0
113.39/113.41	c  113s |      15 |   137354 |   109332 |     3721     48 |        0 |        0
115.38/115.43	c  115s |      15 |   139518 |   111332 |     3721     48 |        0 |        0
117.38/117.46	c  117s |      15 |   141512 |   113132 |     3721     49 |        0 |        0
119.37/119.48	c  119s |      15 |   143636 |   115032 |     3721     50 |        0 |        0
121.47/121.52	c  121s |      15 |   146222 |   117332 |     3721     51 |        0 |        0
123.47/123.58	c  123s |      15 |   148588 |   119532 |     3721     51 |        0 |        0
125.58/125.61	c  125s |      15 |   150837 |   121532 |     3721     52 |        0 |        0
127.57/127.69	c  127s |      15 |   153138 |   123632 |     3721     53 |        0 |        0
129.57/129.69	c  129s |      15 |   155236 |   125532 |     3721     54 |        0 |        0
131.67/131.72	c  131s |      15 |   157541 |   127632 |     3721     54 |        0 |        0
133.67/133.75	c  133s |      15 |   159789 |   129632 |     3721     55 |        0 |        0
135.67/135.78	c  135s |      15 |   162035 |   131532 |     4094     56 |        0 |        0
135.77/135.80	c  135s |      16 |   162056 |   131552 |     4094     56 |        0 |        0
137.77/137.81	c  137s |      16 |   166424 |   134552 |     4094     57 |        0 |        0
139.78/139.88	c  139s |      16 |   168912 |   136852 |     4094     57 |        0 |        0
141.87/141.90	c  141s |      16 |   171135 |   138752 |     4094     58 |        0 |        0
143.87/143.91	c  143s |      16 |   173031 |   140452 |     4094     58 |        0 |        0
145.87/145.99	c  145s |      16 |   175174 |   142352 |     4094     59 |        0 |        0
147.97/148.08	c  148s |      16 |   177107 |   144152 |     4094     60 |        0 |        0
150.07/150.12	c  150s |      16 |   179075 |   145952 |     4094     60 |        0 |        0
152.16/152.21	c  152s |      16 |   181198 |   147852 |     4094     61 |        0 |        0
154.17/154.26	c  154s |      16 |   183361 |   149752 |     4094     61 |        0 |        0
156.27/156.40	c  156s |      16 |   185694 |   151752 |     4094     62 |        0 |        0
158.36/158.40	c  158s |      16 |   187788 |   153552 |     4094     63 |        0 |        0
160.36/160.46	c  160s |      16 |   190282 |   155652 |     4094     63 |        0 |        0
162.36/162.46	c  162s |      16 |   192687 |   157752 |     4094     64 |        0 |        0
164.46/164.52	c  164s |      16 |   194844 |   159652 |     4094     64 |        0 |        0
166.46/166.54	c  166s |      16 |   197082 |   161652 |     4094     65 |        0 |        0
168.47/168.54	c  168s |      16 |   199011 |   163352 |     4094     66 |        0 |        0
170.46/170.59	c  170s |      16 |   201166 |   165252 |     4094     66 |        0 |        0
172.57/172.64	c  172s |      16 |   203444 |   167252 |     4094     67 |        0 |        0
174.57/174.67	c  174s |      16 |   205496 |   169052 |     4094     67 |        0 |        0
176.67/176.73	c  176s |      16 |   207882 |   171052 |     4094     68 |        0 |        0
178.67/178.74	c  178s |      16 |   210244 |   173052 |     4094     69 |        0 |        0
180.77/180.80	c  180s |      16 |   212500 |   175052 |     4094     69 |        0 |        0
182.78/182.86	c  182s |      16 |   214716 |   176952 |     4094     70 |        0 |        0
184.98/185.03	c  184s |      16 |   216898 |   178852 |     4094     71 |        0 |        0
186.97/187.08	c  187s |      16 |   219198 |   180852 |     4094     71 |        0 |        0
189.07/189.12	c  189s |      16 |   220936 |   182452 |     4094     72 |        0 |        0
191.06/191.19	c  191s |      16 |   223118 |   184352 |     4094     72 |        0 |        0
193.16/193.22	c  193s |      16 |   225140 |   186152 |     4094     73 |        0 |        0
195.26/195.35	c  195s |      16 |   227342 |   188052 |     4094     73 |        0 |        0
197.36/197.43	c  197s |      16 |   229248 |   189752 |     4094     74 |        0 |        0
199.46/199.50	c  199s |      16 |   231157 |   191352 |     4094     74 |        0 |        0
201.47/201.57	c  201s |      16 |   233617 |   193452 |     4094     75 |        0 |        0
203.57/203.64	c  203s |      16 |   235432 |   195052 |     4094     76 |        0 |        0
205.56/205.66	c  205s |      16 |   237732 |   197052 |     4504     76 |        0 |        0
205.96/206.05	c  206s |      17 |   238173 |   197432 |     4504     76 |        0 |        0
207.97/208.07	c  208s |      17 |   241810 |   199932 |     4504     77 |        0 |        0
209.96/210.09	c  210s |      17 |   243885 |   201832 |     4504     78 |        0 |        0
212.06/212.10	c  212s |      17 |   245820 |   203632 |     4504     78 |        0 |        0
214.16/214.21	c  214s |      17 |   247701 |   205332 |     4504     79 |        0 |        0
216.26/216.32	c  216s |      17 |   249591 |   207032 |     4504     80 |        0 |        0
218.26/218.37	c  218s |      17 |   251777 |   209032 |     4504     80 |        0 |        0
220.36/220.40	c  220s |      17 |   253724 |   210732 |     4504     81 |        0 |        0
222.37/222.48	c  222s |      17 |   255861 |   212632 |     4504     81 |        0 |        0
224.47/224.54	c  224s |      17 |   257712 |   214332 |     4504     82 |        0 |        0
226.46/226.59	c  226s |      17 |   259429 |   215932 |     4504     82 |        0 |        0
228.56/228.65	c  228s |      17 |   261347 |   217632 |     4504     83 |        0 |        0
230.65/230.75	c  230s |      17 |   263062 |   219132 |     4504     83 |        0 |        0
232.65/232.78	c  232s |      17 |   264641 |   220532 |     4504     84 |        0 |        0
234.85/234.91	c  234s |      17 |   266469 |   222232 |     4504     84 |        0 |        0
236.95/237.01	c  236s |      17 |   268234 |   223832 |     4504     85 |        0 |        0
238.95/239.07	c  239s |      17 |   269826 |   225332 |     4504     85 |        0 |        0
241.06/241.19	c  241s |      17 |   271540 |   226932 |     4504     86 |        0 |        0
243.16/243.23	c  243s |      17 |   273500 |   228632 |     4504     87 |        0 |        0
245.25/245.33	c  245s |      17 |   275430 |   230432 |     4504     87 |        0 |        0
247.35/247.46	c  247s |      17 |   277188 |   232032 |     4504     88 |        0 |        0
249.45/249.54	c  249s |      17 |   279335 |   233932 |     4504     88 |        0 |        0
251.55/251.63	c  251s |      17 |   281390 |   235732 |     4504     89 |        0 |        0
253.55/253.64	c  253s |      17 |   283214 |   237432 |     4504     89 |        0 |        0
255.65/255.71	c  255s |      17 |   284842 |   238932 |     4504     90 |        0 |        0
257.65/257.78	c  257s |      17 |   286835 |   240732 |     4504     90 |        0 |        0
259.66/259.78	c  259s |      17 |   288639 |   242332 |     4504     91 |        0 |        0
261.75/261.83	c  261s |      17 |   290405 |   243932 |     4504     92 |        0 |        0
263.75/263.87	c  263s |      17 |   292167 |   245532 |     4504     92 |        0 |        0
265.85/265.90	c  265s |      17 |   293924 |   247132 |     4504     93 |        0 |        0
267.85/267.97	c  267s |      17 |   295896 |   248932 |     4504     93 |        0 |        0
269.84/269.98	c  269s |      17 |   297431 |   250332 |     4504     94 |        0 |        0
271.95/272.02	c  271s |      17 |   299602 |   252232 |     4504     94 |        0 |        0
273.96/274.03	c  273s |      17 |   301239 |   253732 |     4504     95 |        0 |        0
276.05/276.17	c  276s |      17 |   302966 |   255332 |     4504     95 |        0 |        0
278.15/278.26	c  278s |      17 |   304559 |   256732 |     4504     96 |        0 |        0
280.25/280.30	c  280s |      17 |   306648 |   258632 |     4504     96 |        0 |        0
282.25/282.33	c  282s |      17 |   308280 |   260132 |     4504     97 |        0 |        0
284.25/284.34	c  284s |      17 |   309719 |   261432 |     4504     97 |        0 |        0
286.35/286.44	c  286s |      17 |   311496 |   262832 |     4504     98 |        0 |        0
288.36/288.48	c  288s |      17 |   312988 |   264132 |     4504     98 |        0 |        0
290.56/290.66	c  290s |      17 |   314590 |   265532 |     4504     99 |        0 |        0
292.66/292.72	c  292s |      17 |   316026 |   266832 |     4504     99 |        0 |        0
294.75/294.86	c  294s |      17 |   317645 |   268232 |     4504     99 |        0 |        0
296.85/296.97	c  296s |      17 |   318967 |   269432 |     4504    100 |        0 |        0
298.85/298.99	c  298s |      17 |   320294 |   270632 |     4504    100 |        0 |        0
300.95/301.08	c  301s |      17 |   321745 |   271932 |     4504    101 |        0 |        0
303.04/303.17	c  303s |      17 |   323746 |   273732 |     4504    101 |        0 |        0
305.14/305.23	c  305s |      17 |   325165 |   275032 |     4504    102 |        0 |        0
307.24/307.37	c  307s |      17 |   326672 |   276432 |     4504    102 |        0 |        0
309.54/309.64	c  309s |      17 |   328328 |   277932 |     4504    103 |        0 |        0
311.54/311.69	c  311s |      17 |   329994 |   279432 |     4504    103 |        0 |        0
313.74/313.81	c  313s |      17 |   331546 |   280832 |     4504    103 |        0 |        0
315.75/315.85	c  315s |      17 |   332854 |   282032 |     4504    104 |        0 |        0
317.84/317.96	c  317s |      17 |   334673 |   283632 |     4504    104 |        0 |        0
319.94/320.07	c  320s |      17 |   336516 |   285232 |     4504    105 |        0 |        0
322.04/322.17	c  322s |      17 |   338181 |   286732 |     4504    105 |        0 |        0
324.14/324.20	c  324s |      17 |   339600 |   288032 |     4504    106 |        0 |        0
326.14/326.28	c  326s |      17 |   341282 |   289532 |     4504    106 |        0 |        0
328.14/328.28	c  328s |      17 |   342680 |   290832 |     4504    107 |        0 |        0
330.24/330.39	c  330s |      17 |   344657 |   292632 |     4504    107 |        0 |        0
332.35/332.48	c  332s |      17 |   346549 |   294332 |     4955    108 |        0 |        0
334.45/334.54	c  334s |      17 |   348097 |   295732 |     4955    108 |        0 |        0
335.24/335.30	c  335s |      18 |   348660 |   296252 |     4955    108 |        0 |        0
337.24/337.30	c  337s |      18 |   352873 |   299152 |     4955    109 |        0 |        0
339.24/339.37	c  339s |      18 |   355533 |   301452 |     4955    110 |        0 |        0
341.34/341.43	c  341s |      18 |   357659 |   303352 |     4955    110 |        0 |        0
343.35/343.48	c  343s |      18 |   359557 |   305052 |     4955    111 |        0 |        0
345.45/345.51	c  345s |      18 |   361531 |   306852 |     4955    111 |        0 |        0
347.44/347.58	c  347s |      18 |   363410 |   308552 |     4955    112 |        0 |        0
349.54/349.62	c  349s |      18 |   365289 |   310252 |     4955    112 |        0 |        0
351.54/351.69	c  351s |      18 |   366935 |   311752 |     4955    113 |        0 |        0
353.63/353.70	c  353s |      18 |   368788 |   313452 |     4955    113 |        0 |        0
355.63/355.74	c  355s |      18 |   370842 |   315252 |     4955    114 |        0 |        0
357.73/357.80	c  357s |      18 |   373317 |   317452 |     4955    114 |        0 |        0
359.74/359.90	c  359s |      18 |   375330 |   319252 |     4955    115 |        0 |        0
361.83/361.94	c  361s |      18 |   377563 |   321252 |     4955    115 |        0 |        0
363.83/363.99	c  363s |      18 |   379670 |   323152 |     4955    116 |        0 |        0
365.93/366.02	c  365s |      18 |   381440 |   324752 |     4955    116 |        0 |        0
367.93/368.07	c  368s |      18 |   383621 |   326752 |     4955    117 |        0 |        0
369.93/370.08	c  370s |      18 |   385639 |   328552 |     4955    117 |        0 |        0
372.03/372.10	c  372s |      18 |   387661 |   330352 |     4955    118 |        0 |        0
374.05/374.13	c  374s |      18 |   389738 |   332252 |     4955    118 |        0 |        0
376.04/376.14	c  376s |      18 |   391611 |   333952 |     4955    119 |        0 |        0
378.04/378.18	c  378s |      18 |   393798 |   335852 |     4955    119 |        0 |        0
380.14/380.23	c  380s |      18 |   395932 |   337752 |     4955    120 |        0 |        0
382.23/382.31	c  382s |      18 |   397928 |   339552 |     4955    120 |        0 |        0
384.33/384.41	c  384s |      18 |   399865 |   341252 |     4955    121 |        0 |        0
386.33/386.45	c  386s |      18 |   402132 |   343252 |     4955    121 |        0 |        0
388.34/388.50	c  388s |      18 |   404126 |   345052 |     4955    122 |        0 |        0
390.43/390.54	c  390s |      18 |   406142 |   346852 |     4955    122 |        0 |        0
392.43/392.59	c  392s |      18 |   407972 |   348452 |     4955    123 |        0 |        0
394.43/394.59	c  394s |      18 |   410110 |   350352 |     4955    123 |        0 |        0
396.53/396.60	c  396s |      18 |   411901 |   351952 |     4955    124 |        0 |        0
398.53/398.66	c  398s |      18 |   413745 |   353652 |     4955    124 |        0 |        0
400.63/400.72	c  400s |      18 |   415671 |   355352 |     4955    125 |        0 |        0
402.64/402.75	c  402s |      18 |   417600 |   357052 |     4955    125 |        0 |        0
404.73/404.87	c  404s |      18 |   419265 |   358552 |     4955    126 |        0 |        0
406.83/406.93	c  406s |      18 |   421138 |   360252 |     4955    126 |        0 |        0
408.93/409.08	c  409s |      18 |   422806 |   361752 |     4955    127 |        0 |        0
411.03/411.10	c  411s |      18 |   424794 |   363552 |     4955    127 |        0 |        0
413.23/413.32	c  413s |      18 |   426854 |   365352 |     4955    128 |        0 |        0
415.32/415.41	c  415s |      18 |   428981 |   367252 |     4955    128 |        0 |        0
417.42/417.50	c  417s |      18 |   430883 |   368952 |     4955    129 |        0 |        0
419.42/419.58	c  419s |      18 |   433006 |   370852 |     4955    129 |        0 |        0
421.52/421.69	c  421s |      18 |   434929 |   372552 |     4955    130 |        0 |        0
423.63/423.75	c  423s |      18 |   437132 |   374552 |     4955    130 |        0 |        0
425.62/425.80	c  425s |      18 |   439008 |   376252 |     4955    131 |        0 |        0
427.72/427.86	c  427s |      18 |   441345 |   378352 |     4955    131 |        0 |        0
429.82/429.92	c  429s |      18 |   443561 |   380352 |     4955    132 |        0 |        0
431.83/431.93	c  431s |      18 |   445631 |   382252 |     4955    132 |        0 |        0
433.83/433.96	c  433s |      18 |   447030 |   383552 |     4955    133 |        0 |        0
435.83/435.98	c  435s |      18 |   449360 |   385652 |     4955    133 |        0 |        0
437.94/438.02	c  437s |      18 |   451315 |   387452 |     4955    134 |        0 |        0
440.04/440.11	c  440s |      18 |   453453 |   389352 |     4955    134 |        0 |        0
442.03/442.11	c  442s |      18 |   455254 |   390952 |     4955    135 |        0 |        0
444.03/444.13	c  444s |      18 |   457422 |   392952 |     4955    135 |        0 |        0
446.12/446.20	c  446s |      18 |   458841 |   394252 |     4955    136 |        0 |        0
448.12/448.23	c  448s |      18 |   461111 |   396252 |     4955    136 |        0 |        0
450.22/450.34	c  450s |      18 |   463119 |   398052 |     4955    137 |        0 |        0
452.23/452.38	c  452s |      18 |   465363 |   400052 |     4955    137 |        0 |        0
454.33/454.48	c  454s |      18 |   467486 |   401952 |     4955    138 |        0 |        0
456.42/456.56	c  456s |      18 |   469677 |   403952 |     4955    138 |        0 |        0
458.52/458.61	c  458s |      18 |   471771 |   405852 |     4955    139 |        0 |        0
460.52/460.65	c  460s |      18 |   473599 |   407552 |     4955    139 |        0 |        0
462.62/462.71	c  462s |      18 |   475567 |   409252 |     4955    140 |        0 |        0
464.62/464.74	c  464s |      18 |   477817 |   411252 |     4955    140 |        0 |        0
466.72/466.82	c  466s |      18 |   479787 |   413052 |     4955    141 |        0 |        0
468.82/468.90	c  468s |      18 |   481678 |   414752 |     4955    141 |        0 |        0
470.83/470.91	c  470s |      18 |   483658 |   416552 |     4955    142 |        0 |        0
472.92/473.02	c  472s |      18 |   485905 |   418552 |     4955    142 |        0 |        0
474.92/475.03	c  474s |      18 |   487697 |   420152 |     4955    143 |        0 |        0
476.92/477.05	c  477s |      18 |   489452 |   421752 |     4955    143 |        0 |        0
478.92/479.06	c  479s |      18 |   491146 |   423252 |     4955    144 |        0 |        0
480.92/481.09	c  481s |      18 |   493368 |   425252 |     4955    144 |        0 |        0
483.12/483.29	c  483s |      18 |   495239 |   426952 |     4955    145 |        0 |        0
485.23/485.34	c  485s |      18 |   497554 |   428952 |     4955    145 |        0 |        0
487.32/487.41	c  487s |      18 |   499568 |   430752 |     4955    146 |        0 |        0
489.31/489.46	c  489s |      18 |   501597 |   432552 |     4955    146 |        0 |        0
491.41/491.57	c  491s |      18 |   503205 |   434052 |     4955    147 |        0 |        0
493.51/493.62	c  493s |      18 |   505603 |   436152 |     4955    147 |        0 |        0
495.51/495.69	c  495s |      18 |   507786 |   438052 |     4955    148 |        0 |        0
497.61/497.78	c  497s |      18 |   510231 |   440152 |     4955    148 |        0 |        0
499.71/499.83	c  499s |      18 |   512124 |   441852 |     5451    149 |        0 |        0
501.81/501.90	c  501s |      18 |   514377 |   443852 |     5451    149 |        0 |        0
502.61/502.72	c  502s |      19 |   515099 |   444482 |     5451    149 |        0 |        0
504.61/504.78	c  504s |      19 |   518600 |   446882 |     5451    150 |        0 |        0
506.71/506.86	c  506s |      19 |   520963 |   448982 |     5451    151 |        0 |        0
508.81/508.93	c  508s |      19 |   522843 |   450682 |     5451    151 |        0 |        0
510.81/510.97	c  510s |      19 |   524410 |   452082 |     5451    152 |        0 |        0
512.91/513.02	c  512s |      19 |   526196 |   453682 |     5451    152 |        0 |        0
514.92/515.08	c  515s |      19 |   527739 |   455082 |     5451    152 |        0 |        0
517.02/517.14	c  517s |      19 |   529273 |   456482 |     5451    153 |        0 |        0
519.11/519.23	c  519s |      19 |   531156 |   458182 |     5451    153 |        0 |        0
521.11/521.26	c  521s |      19 |   532806 |   459682 |     5451    154 |        0 |        0
523.21/523.32	c  523s |      19 |   534481 |   461182 |     5451    154 |        0 |        0
525.31/525.44	c  525s |      19 |   536002 |   462582 |     5451    154 |        0 |        0
527.40/527.51	c  527s |      19 |   537667 |   464082 |     5451    155 |        0 |        0
529.40/529.56	c  529s |      19 |   539363 |   465582 |     5451    155 |        0 |        0
531.41/531.57	c  531s |      19 |   540973 |   466982 |     5451    156 |        0 |        0
533.51/533.63	c  533s |      19 |   543031 |   468782 |     5451    156 |        0 |        0
535.50/535.65	c  535s |      19 |   544574 |   470182 |     5451    157 |        0 |        0
537.61/537.73	c  537s |      19 |   546305 |   471682 |     5451    157 |        0 |        0
539.61/539.80	c  539s |      19 |   548279 |   473282 |     5451    157 |        0 |        0
541.81/541.90	c  541s |      19 |   550094 |   474882 |     5451    158 |        0 |        0
543.91/544.02	c  543s |      19 |   551837 |   476482 |     5451    158 |        0 |        0
546.01/546.11	c  546s |      19 |   553359 |   477882 |     5451    159 |        0 |        0
548.01/548.17	c  548s |      19 |   555144 |   479482 |     5451    159 |        0 |        0
550.31/550.48	c  550s |      19 |   556599 |   480782 |     5451    160 |        0 |        0
552.51/552.61	c  552s |      19 |   558484 |   482482 |     5451    160 |        0 |        0
554.52/554.63	c  554s |      19 |   560305 |   484082 |     5451    160 |        0 |        0
556.51/556.70	c  556s |      19 |   562157 |   485682 |     5451    161 |        0 |        0
558.61/558.74	c  558s |      19 |   563844 |   487182 |     5451    161 |        0 |        0
560.71/560.83	c  560s |      19 |   565254 |   488482 |     5451    162 |        0 |        0
562.71/562.85	c  562s |      19 |   566744 |   489782 |     5451    162 |        0 |        0
564.71/564.86	c  564s |      19 |   568387 |   491282 |     5451    162 |        0 |        0
566.80/566.97	c  566s |      19 |   569825 |   492582 |     5451    163 |        0 |        0
568.81/568.99	c  568s |      19 |   571342 |   493982 |     5451    163 |        0 |        0
570.91/571.08	c  571s |      19 |   572683 |   495182 |     5451    164 |        0 |        0
573.00/573.11	c  573s |      19 |   574418 |   496682 |     5451    164 |        0 |        0
575.00/575.18	c  575s |      19 |   576088 |   498182 |     5451    164 |        0 |        0
577.10/577.25	c  577s |      19 |   577534 |   499482 |     5451    165 |        0 |        0
579.10/579.27	c  579s |      19 |   579475 |   501182 |     5451    165 |        0 |        0
581.20/581.34	c  581s |      19 |   581001 |   502582 |     5451    166 |        0 |        0
583.20/583.37	c  583s |      19 |   582532 |   503982 |     5451    166 |        0 |        0
585.31/585.41	c  585s |      19 |   583974 |   505282 |     5451    166 |        0 |        0
587.30/587.48	c  587s |      19 |   585511 |   506682 |     5451    167 |        0 |        0
589.40/589.53	c  589s |      19 |   587165 |   508182 |     5451    167 |        0 |        0
591.70/591.85	c  591s |      19 |   588570 |   509482 |     5451    167 |        0 |        0
593.80/593.97	c  593s |      19 |   589981 |   510782 |     5451    168 |        0 |        0
596.00/596.16	c  596s |      19 |   591317 |   511982 |     5451    168 |        0 |        0
598.10/598.29	c  598s |      19 |   592546 |   513082 |     5451    168 |        0 |        0
600.20/600.30	c  600s |      19 |   593888 |   514282 |     5451    169 |        0 |        0
602.20/602.36	c  602s |      19 |   595701 |   515882 |     5451    169 |        0 |        0
604.30/604.49	c  604s |      19 |   597251 |   517282 |     5451    170 |        0 |        0
606.49/606.63	c  606s |      19 |   598769 |   518682 |     5451    170 |        0 |        0
608.59/608.77	c  608s |      19 |   600097 |   519882 |     5451    170 |        0 |        0
610.69/610.87	c  610s |      19 |   601724 |   521382 |     5451    171 |        0 |        0
612.80/613.00	c  612s |      19 |   603447 |   522982 |     5451    171 |        0 |        0
614.91/615.02	c  614s |      19 |   604790 |   524182 |     5451    172 |        0 |        0
617.00/617.12	c  617s |      19 |   606394 |   525582 |     5451    172 |        0 |        0
619.10/619.24	c  619s |      19 |   608063 |   527082 |     5451    172 |        0 |        0
621.10/621.29	c  621s |      19 |   609624 |   528482 |     5451    173 |        0 |        0
623.20/623.35	c  623s |      19 |   611139 |   529882 |     5451    173 |        0 |        0
625.30/625.45	c  625s |      19 |   612461 |   531082 |     5451    173 |        0 |        0
627.30/627.47	c  627s |      19 |   613773 |   532282 |     5451    174 |        0 |        0
629.40/629.56	c  629s |      19 |   615828 |   534082 |     5451    174 |        0 |        0
631.40/631.57	c  631s |      19 |   617383 |   535482 |     5451    175 |        0 |        0
633.49/633.68	c  633s |      19 |   619353 |   537282 |     5451    175 |        0 |        0
635.69/635.88	c  635s |      19 |   620661 |   538482 |     5451    176 |        0 |        0
637.79/637.91	c  637s |      19 |   622177 |   539882 |     5451    176 |        0 |        0
639.79/639.96	c  639s |      19 |   623847 |   541382 |     5451    176 |        0 |        0
641.89/642.08	c  642s |      19 |   625525 |   542882 |     5451    177 |        0 |        0
643.89/644.09	c  644s |      19 |   627181 |   544382 |     5451    177 |        0 |        0
645.99/646.16	c  646s |      19 |   628597 |   545682 |     5451    177 |        0 |        0
648.09/648.24	c  648s |      19 |   629986 |   546982 |     5451    178 |        0 |        0
650.10/650.29	c  650s |      19 |   631395 |   548282 |     5451    178 |        0 |        0
652.30/652.41	c  652s |      19 |   632604 |   549382 |     5451    179 |        0 |        0
654.29/654.45	c  654s |      19 |   634657 |   551182 |     5451    179 |        0 |        0
656.39/656.54	c  656s |      19 |   636291 |   552682 |     5451    179 |        0 |        0
658.39/658.58	c  658s |      19 |   637945 |   554182 |     5451    180 |        0 |        0
660.49/660.60	c  660s |      19 |   639567 |   555682 |     5451    180 |        0 |        0
662.49/662.67	c  662s |      19 |   641071 |   557082 |     5451    181 |        0 |        0
664.59/664.75	c  664s |      19 |   642700 |   558582 |     5451    181 |        0 |        0
666.60/666.76	c  666s |      19 |   644105 |   559882 |     5451    181 |        0 |        0
668.68/668.82	c  668s |      19 |   645461 |   561082 |     5451    182 |        0 |        0
670.78/670.93	c  670s |      19 |   647478 |   562782 |     5451    182 |        0 |        0
672.78/672.97	c  672s |      19 |   649029 |   564182 |     5451    183 |        0 |        0
674.88/675.06	c  675s |      19 |   650854 |   565782 |     5451    183 |        0 |        0
676.88/677.10	c  677s |      19 |   652174 |   566982 |     5451    183 |        0 |        0
678.98/679.15	c  679s |      19 |   653532 |   568182 |     5451    184 |        0 |        0
681.18/681.30	c  681s |      19 |   654885 |   569382 |     5451    184 |        0 |        0
683.19/683.31	c  683s |      19 |   656126 |   570482 |     5451    184 |        0 |        0
685.18/685.41	c  685s |      19 |   657323 |   571582 |     5451    185 |        0 |        0
687.28/687.43	c  687s |      19 |   658501 |   572682 |     5451    185 |        0 |        0
689.38/689.59	c  689s |      19 |   659836 |   573882 |     5451    185 |        0 |        0
691.58/691.71	c  691s |      19 |   661159 |   575082 |     5451    186 |        0 |        0
693.68/693.82	c  693s |      19 |   662490 |   576282 |     5451    186 |        0 |        0
695.78/695.93	c  695s |      19 |   663912 |   577482 |     5451    186 |        0 |        0
697.88/698.05	c  698s |      19 |   665278 |   578682 |     5451    187 |        0 |        0
699.98/700.13	c  700s |      19 |   666786 |   579982 |     5451    187 |        0 |        0
702.18/702.33	c  702s |      19 |   667878 |   580982 |     5451    187 |        0 |        0
704.18/704.39	c  704s |      19 |   668869 |   581882 |     5451    188 |        0 |        0
706.29/706.43	c  706s |      19 |   669939 |   582882 |     5451    188 |        0 |        0
708.28/708.44	c  708s |      19 |   671463 |   584182 |     5451    188 |        0 |        0
710.48/710.63	c  710s |      19 |   672759 |   585382 |     5451    189 |        0 |        0
712.57/712.79	c  712s |      19 |   674255 |   586682 |     5451    189 |        0 |        0
714.67/714.87	c  714s |      19 |   675373 |   587682 |     5451    189 |        0 |        0
716.87/717.07	c  717s |      19 |   676590 |   588782 |     5451    189 |        0 |        0
718.97/719.12	c  719s |      19 |   677593 |   589682 |     5451    190 |        0 |        0
721.07/721.28	c  721s |      19 |   678792 |   590782 |     5451    190 |        0 |        0
723.07/723.29	c  723s |      19 |   679896 |   591782 |     5451    190 |        0 |        0
725.17/725.37	c  725s |      19 |   680875 |   592682 |     5451    191 |        0 |        0
727.26/727.40	c  727s |      19 |   681989 |   593682 |     5451    191 |        0 |        0
729.27/729.50	c  729s |      19 |   683113 |   594682 |     5451    191 |        0 |        0
731.47/731.62	c  731s |      19 |   685140 |   596482 |     5451    192 |        0 |        0
733.57/733.75	c  733s |      19 |   686779 |   597982 |     5451    192 |        0 |        0
735.77/735.90	c  735s |      19 |   688408 |   599482 |     5451    192 |        0 |        0
737.87/738.03	c  737s |      19 |   689702 |   600682 |     5451    193 |        0 |        0
740.07/740.20	c  740s |      19 |   691087 |   601982 |     5451    193 |        0 |        0
742.17/742.31	c  742s |      19 |   692381 |   603182 |     5451    193 |        0 |        0
744.17/744.37	c  744s |      19 |   693762 |   604482 |     5451    194 |        0 |        0
746.26/746.49	c  746s |      19 |   695298 |   605882 |     5451    194 |        0 |        0
748.46/748.68	c  748s |      19 |   696597 |   607082 |     5451    195 |        0 |        0
750.56/750.74	c  750s |      19 |   698033 |   608382 |     5451    195 |        0 |        0
752.76/752.92	c  752s |      19 |   699534 |   609782 |     5451    195 |        0 |        0
754.76/754.93	c  754s |      19 |   701361 |   611382 |     5451    196 |        0 |        0
756.77/756.97	c  756s |      19 |   703020 |   612882 |     5451    196 |        0 |        0
758.85/759.05	c  759s |      19 |   704428 |   614182 |     5451    197 |        0 |        0
760.85/761.07	c  761s |      19 |   706274 |   615882 |     5451    197 |        0 |        0
763.05/763.22	c  763s |      19 |   707796 |   617282 |     5451    197 |        0 |        0
765.05/765.24	c  765s |      19 |   709178 |   618582 |     5451    198 |        0 |        0
767.05/767.25	c  767s |      19 |   710808 |   620082 |     5451    198 |        0 |        0
769.25/769.41	c  769s |      19 |   712324 |   621482 |     5451    199 |        0 |        0
771.25/771.46	c  771s |      19 |   714220 |   623182 |     5451    199 |        0 |        0
773.36/773.58	c  773s |      19 |   715758 |   624582 |     5451    199 |        0 |        0
775.35/775.61	c  775s |      19 |   717294 |   625982 |     5451    200 |        0 |        0
777.44/777.66	c  777s |      19 |   718792 |   627382 |     5451    200 |        0 |        0
779.44/779.68	c  779s |      19 |   720362 |   628782 |     5451    201 |        0 |        0
781.54/781.77	c  781s |      19 |   722088 |   630382 |     5451    201 |        0 |        0
783.64/783.86	c  783s |      19 |   723782 |   631882 |     5451    201 |        0 |        0
785.74/785.94	c  785s |      19 |   725399 |   633382 |     5451    202 |        0 |        0
787.83/788.08	c  788s |      19 |   727018 |   634882 |     5451    202 |        0 |        0
789.93/790.10	c  790s |      19 |   728189 |   635982 |     5451    203 |        0 |        0
791.94/792.15	c  792s |      19 |   729825 |   637482 |     5451    203 |        0 |        0
793.93/794.19	c  794s |      19 |   731491 |   638982 |     5451    203 |        0 |        0
796.02/796.27	c  796s |      19 |   732925 |   640282 |     5451    204 |        0 |        0
798.12/798.31	c  798s |      19 |   734366 |   641582 |     5451    204 |        0 |        0
800.12/800.33	c  800s |      19 |   735433 |   642582 |     5451    204 |        0 |        0
802.22/802.49	c  802s |      19 |   737022 |   643982 |     5451    205 |        0 |        0
804.32/804.54	c  804s |      19 |   739120 |   645882 |     5451    205 |        0 |        0
806.41/806.65	c  806s |      19 |   740809 |   647382 |     5451    206 |        0 |        0
808.42/808.71	c  808s |      19 |   742376 |   648782 |     5451    206 |        0 |        0
810.81/811.05	c  811s |      19 |   744034 |   650282 |     5451    207 |        0 |        0
812.92/813.16	c  813s |      19 |   745868 |   651982 |     5451    207 |        0 |        0
815.02/815.26	c  815s |      19 |   747376 |   653382 |     5451    207 |        0 |        0
817.01/817.26	c  817s |      19 |   748797 |   654682 |     5451    208 |        0 |        0
819.11/819.32	c  819s |      19 |   750623 |   656282 |     5451    208 |        0 |        0
821.21/821.47	c  821s |      19 |   751942 |   657482 |     5451    209 |        0 |        0
823.31/823.53	c  823s |      19 |   753582 |   658982 |     5451    209 |        0 |        0
825.41/825.63	c  825s |      19 |   755131 |   660382 |     5451    209 |        0 |        0
827.51/827.71	c  827s |      19 |   756559 |   661682 |     5451    210 |        0 |        0
829.61/829.82	c  829s |      19 |   758088 |   663082 |     5997    210 |        0 |        0
831.71/831.97	c  831s |      19 |   759746 |   664582 |     5997    210 |        0 |        0
833.71/834.00	c  833s |      19 |   761035 |   665782 |     5997    211 |        0 |        0
835.30/835.50	c  835s |      20 |   762178 |   666827 |     5997    211 |        0 |        0
837.30/837.54	c  837s |      20 |   766350 |   669727 |     5997    212 |        0 |        0
839.31/839.58	c  839s |      20 |   768807 |   671927 |     5997    212 |        0 |        0
841.51/841.76	c  841s |      20 |   770925 |   673827 |     5997    213 |        0 |        0
843.50/843.79	c  843s |      20 |   773238 |   675927 |     5997    213 |        0 |        0
845.69/845.90	c  845s |      20 |   775291 |   677727 |     5997    213 |        0 |        0
847.69/847.93	c  847s |      20 |   777085 |   679327 |     5997    214 |        0 |        0
849.69/849.99	c  849s |      20 |   779096 |   681127 |     5997    214 |        0 |        0
851.79/852.01	c  851s |      20 |   780995 |   682827 |     5997    215 |        0 |        0
853.79/854.06	c  854s |      20 |   783071 |   684727 |     5997    215 |        0 |        0
855.89/856.11	c  856s |      20 |   784876 |   686327 |     5997    216 |        0 |        0
858.00/858.23	c  858s |      20 |   786738 |   688027 |     5997    216 |        0 |        0
860.10/860.34	c  860s |      20 |   788375 |   689527 |     5997    216 |        0 |        0
862.09/862.35	c  862s |      20 |   789864 |   690827 |     5997    217 |        0 |        0
864.19/864.46	c  864s |      20 |   792244 |   692827 |     5997    217 |        0 |        0
866.28/866.57	c  866s |      20 |   793837 |   694227 |     5997    217 |        0 |        0
868.38/868.63	c  868s |      20 |   795420 |   695627 |     5997    218 |        0 |        0
870.38/870.68	c  870s |      20 |   797372 |   697327 |     5997    218 |        0 |        0
872.48/872.78	c  872s |      20 |   799066 |   698827 |     5997    219 |        0 |        0
874.68/874.94	c  874s |      20 |   800811 |   700327 |     5997    219 |        0 |        0
876.68/876.98	c  876s |      20 |   802361 |   701727 |     5997    219 |        0 |        0
878.78/879.02	c  878s |      20 |   803829 |   703027 |     5997    220 |        0 |        0
880.87/881.19	c  881s |      20 |   805360 |   704427 |     5997    220 |        0 |        0
882.97/883.20	c  883s |      20 |   807050 |   705927 |     5997    220 |        0 |        0
884.97/885.21	c  885s |      20 |   808771 |   707427 |     5997    221 |        0 |        0
886.96/887.24	c  887s |      20 |   810711 |   709127 |     5997    221 |        0 |        0
888.96/889.28	c  889s |      20 |   812368 |   710627 |     5997    221 |        0 |        0
891.07/891.33	c  891s |      20 |   813931 |   712027 |     5997    222 |        0 |        0
893.08/893.35	c  893s |      20 |   816683 |   714127 |     5997    222 |        0 |        0
895.17/895.45	c  895s |      20 |   818717 |   715927 |     5997    223 |        0 |        0
897.26/897.50	c  897s |      20 |   820529 |   717527 |     5997    223 |        0 |        0
899.26/899.58	c  899s |      20 |   821980 |   718827 |     5997    224 |        0 |        0
901.46/901.73	c  901s |      20 |   823721 |   720327 |     5997    224 |        0 |        0
903.56/903.81	c  903s |      20 |   825166 |   721627 |     5997    224 |        0 |        0
905.76/906.01	c  905s |      20 |   826523 |   722827 |     5997    225 |        0 |        0
907.75/908.02	c  907s |      20 |   827970 |   724127 |     5997    225 |        0 |        0
909.75/910.05	c  910s |      20 |   829503 |   725527 |     5997    225 |        0 |        0
911.95/912.21	c  912s |      20 |   830830 |   726727 |     5997    225 |        0 |        0
913.96/914.25	c  914s |      20 |   832286 |   728027 |     5997    226 |        0 |        0
915.95/916.29	c  916s |      20 |   834091 |   729627 |     5997    226 |        0 |        0
918.05/918.32	c  918s |      20 |   835548 |   730927 |     5997    227 |        0 |        0
920.04/920.37	c  920s |      20 |   837108 |   732327 |     5997    227 |        0 |        0
922.14/922.45	c  922s |      20 |   838528 |   733627 |     5997    227 |        0 |        0
924.34/924.63	c  924s |      20 |   839766 |   734727 |     5997    228 |        0 |        0
926.44/926.73	c  926s |      20 |   841450 |   736227 |     5997    228 |        0 |        0
928.43/928.76	c  928s |      20 |   842887 |   737527 |     5997    228 |        0 |        0
930.63/930.95	c  930s |      20 |   844227 |   738727 |     5997    229 |        0 |        0
932.83/933.10	c  933s |      20 |   845634 |   740027 |     5997    229 |        0 |        0
934.94/935.25	c  935s |      20 |   847052 |   741327 |     5997    229 |        0 |        0
937.04/937.31	c  937s |      20 |   848265 |   742427 |     5997    229 |        0 |        0
939.03/939.33	c  939s |      20 |   849609 |   743627 |     5997    230 |        0 |        0
941.03/941.39	c  941s |      20 |   851321 |   745127 |     5997    230 |        0 |        0
943.22/943.58	c  943s |      20 |   852781 |   746427 |     5997    230 |        0 |        0
945.32/945.69	c  945s |      20 |   854121 |   747627 |     5997    231 |        0 |        0
947.52/947.88	c  947s |      20 |   855421 |   748827 |     5997    231 |        0 |        0
949.61/949.94	c  949s |      20 |   856750 |   750027 |     5997    231 |        0 |        0
951.61/951.99	c  951s |      20 |   857756 |   750927 |     5997    232 |        0 |        0
953.81/954.10	c  954s |      20 |   859347 |   752327 |     5997    232 |        0 |        0
955.91/956.24	c  956s |      20 |   860906 |   753727 |     5997    232 |        0 |        0
958.02/958.37	c  958s |      20 |   862248 |   754927 |     5997    233 |        0 |        0
960.12/960.42	c  960s |      20 |   863668 |   756227 |     5997    233 |        0 |        0
962.32/962.63	c  962s |      20 |   864894 |   757327 |     5997    233 |        0 |        0
964.52/964.85	c  964s |      20 |   866294 |   758627 |     5997    234 |        0 |        0
966.60/966.92	c  966s |      20 |   867864 |   760027 |     5997    234 |        0 |        0
968.70/969.04	c  969s |      20 |   869087 |   761127 |     5997    234 |        0 |        0
970.80/971.10	c  971s |      20 |   870186 |   762127 |     5997    234 |        0 |        0
972.90/973.23	c  973s |      20 |   871498 |   763327 |     5997    235 |        0 |        0
975.00/975.37	c  975s |      20 |   873021 |   764727 |     5997    235 |        0 |        0
977.19/977.52	c  977s |      20 |   874344 |   765927 |     5997    235 |        0 |        0
979.19/979.54	c  979s |      20 |   875334 |   766727 |     5997    236 |        0 |        0
981.19/981.55	c  981s |      20 |   877000 |   768127 |     5997    236 |        0 |        0
983.30/983.64	c  983s |      20 |   878419 |   769427 |     5997    236 |        0 |        0
985.29/985.69	c  985s |      20 |   879661 |   770527 |     5997    237 |        0 |        0
987.48/987.81	c  987s |      20 |   881072 |   771727 |     5997    237 |        0 |        0
989.58/989.93	c  989s |      20 |   882427 |   772927 |     5997    237 |        0 |        0
991.58/991.98	c  991s |      20 |   883682 |   774027 |     5997    237 |        0 |        0
993.68/994.05	c  994s |      20 |   884956 |   775127 |     5997    238 |        0 |        0
995.78/996.16	c  996s |      20 |   886584 |   776527 |     5997    238 |        0 |        0
997.87/998.23	c  998s |      20 |   887845 |   777627 |     5997    238 |        0 |        0
999.97/1000.35	c 1000s |      20 |   889098 |   778627 |     5997    239 |        0 |        0
1002.07/1002.48	c 1002s |      20 |   890767 |   780027 |     5997    239 |        0 |        0
1004.27/1004.67	c 1004s |      20 |   892291 |   781327 |     5997    239 |        0 |        0
1006.47/1006.84	c 1006s |      20 |   893542 |   782427 |     5997    240 |        0 |        0
1008.49/1008.91	c 1008s |      20 |   895079 |   783727 |     5997    240 |        0 |        0
1010.69/1011.03	c 1010s |      20 |   896469 |   784927 |     5997    240 |        0 |        0
1012.78/1013.16	c 1013s |      20 |   897829 |   786127 |     5997    240 |        0 |        0
1014.87/1015.26	c 1015s |      20 |   899103 |   787227 |     5997    241 |        0 |        0
1016.87/1017.27	c 1017s |      20 |   900351 |   788327 |     5997    241 |        0 |        0
1019.07/1019.41	c 1019s |      20 |   901697 |   789527 |     5997    241 |        0 |        0
1021.17/1021.56	c 1021s |      20 |   903063 |   790727 |     5997    242 |        0 |        0
1023.17/1023.59	c 1023s |      20 |   904711 |   792227 |     5997    242 |        0 |        0
1025.27/1025.60	c 1025s |      20 |   906061 |   793427 |     5997    242 |        0 |        0
1027.36/1027.72	c 1027s |      20 |   907310 |   794527 |     5997    243 |        0 |        0
1029.37/1029.73	c 1029s |      20 |   908796 |   795827 |     5997    243 |        0 |        0
1031.46/1031.81	c 1031s |      20 |   910125 |   797027 |     5997    243 |        0 |        0
1033.46/1033.86	c 1033s |      20 |   911329 |   798127 |     5997    243 |        0 |        0
1035.55/1035.90	c 1035s |      20 |   912648 |   799227 |     5997    244 |        0 |        0
1037.65/1038.05	c 1038s |      20 |   914512 |   800727 |     5997    244 |        0 |        0
1039.85/1040.21	c 1040s |      20 |   916032 |   802027 |     5997    244 |        0 |        0
1041.95/1042.30	c 1042s |      20 |   917244 |   803127 |     5997    245 |        0 |        0
1043.95/1044.31	c 1044s |      20 |   918495 |   804227 |     5997    245 |        0 |        0
1045.95/1046.33	c 1046s |      20 |   919796 |   805327 |     5997    245 |        0 |        0
1047.94/1048.33	c 1048s |      20 |   921062 |   806427 |     5997    246 |        0 |        0
1050.04/1050.49	c 1050s |      20 |   922673 |   807827 |     5997    246 |        0 |        0
1052.14/1052.54	c 1052s |      20 |   923908 |   808927 |     5997    246 |        0 |        0
1054.14/1054.56	c 1054s |      20 |   925171 |   810027 |     5997    246 |        0 |        0
1056.23/1056.65	c 1056s |      20 |   926550 |   811227 |     5997    247 |        0 |        0
1058.23/1058.65	c 1058s |      20 |   927766 |   812327 |     5997    247 |        0 |        0
1060.33/1060.71	c 1060s |      20 |   928885 |   813327 |     5997    247 |        0 |        0
1062.44/1062.89	c 1062s |      20 |   929919 |   814227 |     5997    248 |        0 |        0
1064.64/1065.03	c 1064s |      20 |   931482 |   815627 |     5997    248 |        0 |        0
1066.63/1067.09	c 1067s |      20 |   932997 |   816927 |     5997    248 |        0 |        0
1068.73/1069.19	c 1069s |      20 |   934208 |   818027 |     5997    249 |        0 |        0
1070.83/1071.27	c 1071s |      20 |   935682 |   819327 |     5997    249 |        0 |        0
1073.03/1073.40	c 1073s |      20 |   936997 |   820527 |     5997    249 |        0 |        0
1075.13/1075.52	c 1075s |      20 |   938219 |   821627 |     5997    249 |        0 |        0
1077.22/1077.66	c 1077s |      20 |   939477 |   822727 |     5997    250 |        0 |        0
1079.42/1079.82	c 1079s |      20 |   941118 |   824127 |     5997    250 |        0 |        0
1081.52/1081.98	c 1081s |      20 |   942599 |   825427 |     5997    250 |        0 |        0
1083.62/1084.08	c 1084s |      20 |   943847 |   826527 |     5997    251 |        0 |        0
1085.72/1086.10	c 1086s |      20 |   945144 |   827627 |     5997    251 |        0 |        0
1087.72/1088.13	c 1088s |      20 |   946651 |   828827 |     5997    251 |        0 |        0
1089.71/1090.15	c 1090s |      20 |   947953 |   829927 |     5997    252 |        0 |        0
1091.91/1092.35	c 1092s |      20 |   949356 |   831127 |     5997    252 |        0 |        0
1094.01/1094.46	c 1094s |      20 |   950937 |   832527 |     5997    252 |        0 |        0
1096.31/1096.72	c 1096s |      20 |   952294 |   833727 |     5997    253 |        0 |        0
1098.41/1098.83	c 1098s |      20 |   953641 |   834927 |     5997    253 |        0 |        0
1100.51/1100.97	c 1100s |      20 |   954998 |   836127 |     5997    253 |        0 |        0
1102.61/1103.01	c 1102s |      20 |   956252 |   837227 |     5997    253 |        0 |        0
1104.61/1105.06	c 1105s |      20 |   957474 |   838327 |     5997    254 |        0 |        0
1106.70/1107.13	c 1107s |      20 |   958656 |   839327 |     5997    254 |        0 |        0
1108.70/1109.18	c 1109s |      20 |   959899 |   840427 |     5997    254 |        0 |        0
1110.71/1111.18	c 1111s |      20 |   961281 |   841627 |     5997    255 |        0 |        0
1112.80/1113.29	c 1113s |      20 |   962877 |   843027 |     5997    255 |        0 |        0
1114.90/1115.33	c 1115s |      20 |   964267 |   844227 |     5997    255 |        0 |        0
1117.00/1117.42	c 1117s |      20 |   965658 |   845427 |     5997    255 |        0 |        0
1119.00/1119.46	c 1119s |      20 |   966906 |   846527 |     5997    256 |        0 |        0
1121.10/1121.52	c 1121s |      20 |   968280 |   847727 |     5997    256 |        0 |        0
1123.10/1123.54	c 1123s |      20 |   969414 |   848727 |     5997    256 |        0 |        0
1125.11/1125.56	c 1125s |      20 |   970448 |   849627 |     5997    257 |        0 |        0
1127.09/1127.57	c 1127s |      20 |   971940 |   850927 |     5997    257 |        0 |        0
1129.29/1129.71	c 1129s |      20 |   973524 |   852327 |     5997    257 |        0 |        0
1131.39/1131.89	c 1131s |      20 |   974868 |   853527 |     5997    258 |        0 |        0
1133.59/1134.05	c 1134s |      20 |   976324 |   854827 |     5997    258 |        0 |        0
1135.69/1136.17	c 1136s |      20 |   977809 |   856127 |     5997    258 |        0 |        0
1137.88/1138.30	c 1138s |      20 |   979025 |   857227 |     5997    258 |        0 |        0
1139.98/1140.41	c 1140s |      20 |   980193 |   858227 |     5997    259 |        0 |        0
1141.98/1142.42	c 1142s |      20 |   981879 |   859627 |     5997    259 |        0 |        0
1144.08/1144.52	c 1144s |      20 |   983398 |   860927 |     5997    259 |        0 |        0
1146.07/1146.54	c 1146s |      20 |   984651 |   862027 |     5997    260 |        0 |        0
1148.18/1148.66	c 1148s |      20 |   985995 |   863227 |     5997    260 |        0 |        0
1150.28/1150.78	c 1150s |      20 |   987191 |   864327 |     5997    260 |        0 |        0
1152.48/1152.92	c 1152s |      20 |   988276 |   865327 |     5997    261 |        0 |        0
1154.47/1154.95	c 1154s |      20 |   989503 |   866427 |     5997    261 |        0 |        0
1156.57/1157.02	c 1156s |      20 |   990870 |   867627 |     5997    261 |        0 |        0
1158.66/1159.15	c 1159s |      20 |   992447 |   869027 |     5997    261 |        0 |        0
1160.86/1161.33	c 1161s |      20 |   993832 |   870227 |     5997    262 |        0 |        0
1162.96/1163.42	c 1163s |      20 |   995201 |   871427 |     5997    262 |        0 |        0
1165.06/1165.50	c 1165s |      20 |   996412 |   872527 |     5997    262 |        0 |        0
1167.16/1167.66	c 1167s |      20 |   997403 |   873427 |     5997    263 |        0 |        0
1169.26/1169.72	c 1169s |      20 |   998704 |   874627 |     5997    263 |        0 |        0
1171.36/1171.84	c 1171s |      20 |   999902 |   875727 |     5997    263 |        0 |        0
1173.46/1173.92	c 1173s |      20 |  1001035 |   876727 |     5997    263 |        0 |        0
1175.46/1175.97	c 1175s |      20 |  1002365 |   877927 |     5997    264 |        0 |        0
1177.66/1178.11	c 1178s |      20 |  1004073 |   879427 |     5997    264 |        0 |        0
1179.76/1180.22	c 1180s |      20 |  1005533 |   880727 |     5997    264 |        0 |        0
1181.86/1182.38	c 1182s |      20 |  1006755 |   881827 |     5997    265 |        0 |        0
1183.96/1184.43	c 1184s |      20 |  1008117 |   883027 |     5997    265 |        0 |        0
1186.05/1186.56	c 1186s |      20 |  1009326 |   884127 |     5997    265 |        0 |        0
1188.05/1188.58	c 1188s |      20 |  1010460 |   885127 |     5997    266 |        0 |        0
1190.15/1190.65	c 1190s |      20 |  1011706 |   886227 |     5997    266 |        0 |        0
1192.16/1192.65	c 1192s |      20 |  1012925 |   887327 |     5997    266 |        0 |        0
1194.15/1194.69	c 1194s |      20 |  1014146 |   888427 |     5997    266 |        0 |        0
1196.34/1196.81	c 1196s |      20 |  1015299 |   889427 |     5997    267 |        0 |        0
1198.44/1198.94	c 1198s |      20 |  1017060 |   890827 |     5997    267 |        0 |        0
1200.54/1201.03	c 1200s |      20 |  1018565 |   892127 |     5997    267 |        0 |        0
1202.64/1203.12	c 1203s |      20 |  1019915 |   893327 |     5997    268 |        0 |        0
1204.64/1205.15	c 1205s |      20 |  1021388 |   894627 |     5997    268 |        0 |        0
1206.64/1207.15	c 1207s |      20 |  1022716 |   895827 |     5997    268 |        0 |        0
1208.94/1209.47	c 1209s |      20 |  1023940 |   896927 |     5997    269 |        0 |        0
1211.04/1211.51	c 1211s |      20 |  1025330 |   898127 |     5997    269 |        0 |        0
1213.14/1213.64	c 1213s |      20 |  1026703 |   899327 |     5997    269 |        0 |        0
1215.15/1215.69	c 1215s |      20 |  1027749 |   900227 |     5997    269 |        0 |        0
1217.34/1217.84	c 1217s |      20 |  1028825 |   901127 |     5997    270 |        0 |        0
1219.33/1219.89	c 1219s |      20 |  1030471 |   902527 |     5997    270 |        0 |        0
1221.43/1221.95	c 1221s |      20 |  1031986 |   903827 |     5997    270 |        0 |        0
1223.53/1224.06	c 1224s |      20 |  1033095 |   904827 |     5997    271 |        0 |        0
1225.63/1226.11	c 1226s |      20 |  1034416 |   906027 |     5997    271 |        0 |        0
1227.72/1228.21	c 1228s |      20 |  1035808 |   907227 |     5997    271 |        0 |        0
1229.72/1230.29	c 1230s |      20 |  1037119 |   908327 |     5997    271 |        0 |        0
1231.82/1232.38	c 1232s |      20 |  1038678 |   909627 |     5997    272 |        0 |        0
1234.02/1234.52	c 1234s |      20 |  1040253 |   911027 |     5997    272 |        0 |        0
1236.03/1236.56	c 1236s |      20 |  1041663 |   912227 |     5997    272 |        0 |        0
1238.12/1238.67	c 1238s |      20 |  1043054 |   913427 |     5997    273 |        0 |        0
1240.22/1240.73	c 1240s |      20 |  1044273 |   914527 |     5997    273 |        0 |        0
1242.32/1242.87	c 1242s |      20 |  1045475 |   915627 |     5997    273 |        0 |        0
1244.52/1245.01	c 1244s |      20 |  1046579 |   916627 |     5997    274 |        0 |        0
1246.51/1247.07	c 1247s |      20 |  1048195 |   917927 |     5997    274 |        0 |        0
1248.71/1249.20	c 1249s |      20 |  1049963 |   919327 |     5997    274 |        0 |        0
1250.71/1251.25	c 1251s |      20 |  1051418 |   920427 |     5997    275 |        0 |        0
1252.81/1253.37	c 1253s |      20 |  1053040 |   921727 |     5997    275 |        0 |        0
1254.91/1255.49	c 1255s |      20 |  1054457 |   922927 |     5997    275 |        0 |        0
1257.01/1257.51	c 1257s |      20 |  1055677 |   923927 |     5997    275 |        0 |        0
1259.11/1259.65	c 1259s |      20 |  1056755 |   924827 |     5997    276 |        0 |        0
1261.31/1261.84	c 1261s |      20 |  1057895 |   925827 |     5997    276 |        0 |        0
1263.40/1263.92	c 1263s |      20 |  1058779 |   926627 |     5997    276 |        0 |        0
1265.60/1266.12	c 1266s |      20 |  1060040 |   927727 |     5997    276 |        0 |        0
1267.59/1268.18	c 1268s |      20 |  1061050 |   928627 |     5997    277 |        0 |        0
1269.59/1270.19	c 1270s |      20 |  1062122 |   929527 |     5997    277 |        0 |        0
1271.69/1272.20	c 1272s |      20 |  1063042 |   930327 |     5997    277 |        0 |        0
1273.89/1274.45	c 1274s |      20 |  1063936 |   931127 |     5997    277 |        0 |        0
1276.18/1276.73	c 1276s |      20 |  1064835 |   931927 |     5997    277 |        0 |        0
1278.38/1278.90	c 1278s |      20 |  1065745 |   932727 |     5997    278 |        0 |        0
1280.48/1281.01	c 1280s |      20 |  1066627 |   933527 |     5997    278 |        0 |        0
1282.48/1283.04	c 1283s |      20 |  1067506 |   934327 |     5997    278 |        0 |        0
1284.68/1285.29	c 1285s |      20 |  1068373 |   935127 |     5997    278 |        0 |        0
1286.77/1287.38	c 1287s |      20 |  1069159 |   935827 |     5997    278 |        0 |        0
1288.98/1289.58	c 1289s |      20 |  1069840 |   936427 |     5997    279 |        0 |        0
1291.18/1291.75	c 1291s |      20 |  1070685 |   937227 |     5997    279 |        0 |        0
1293.38/1293.99	c 1293s |      20 |  1071422 |   937927 |     5997    279 |        0 |        0
1295.58/1296.14	c 1296s |      20 |  1072072 |   938527 |     5997    279 |        0 |        0
1297.78/1298.31	c 1298s |      20 |  1073532 |   939727 |     5997    279 |        0 |        0
1299.89/1300.46	c 1300s |      20 |  1074674 |   940727 |     5997    280 |        0 |        0
1301.99/1302.52	c 1302s |      20 |  1075705 |   941627 |     5997    280 |        0 |        0
1304.08/1304.63	c 1304s |      20 |  1076774 |   942627 |     5997    280 |        0 |        0
1306.18/1306.74	c 1306s |      20 |  1077934 |   943627 |     5997    280 |        0 |        0
1308.27/1308.80	c 1308s |      20 |  1078911 |   944427 |     5997    281 |        0 |        0
1310.27/1310.83	c 1310s |      20 |  1080026 |   945427 |     5997    281 |        0 |        0
1312.27/1312.83	c 1312s |      20 |  1081017 |   946327 |     5997    281 |        0 |        0
1314.47/1315.09	c 1315s |      20 |  1082003 |   947227 |     5997    281 |        0 |        0
1316.57/1317.17	c 1317s |      20 |  1082910 |   948027 |     5997    282 |        0 |        0
1318.67/1319.29	c 1319s |      20 |  1084100 |   949027 |     5997    282 |        0 |        0
1320.87/1321.48	c 1321s |      20 |  1085218 |   950027 |     5997    282 |        0 |        0
1322.98/1323.54	c 1323s |      20 |  1086186 |   950927 |     5997    282 |        0 |        0
1325.18/1325.73	c 1325s |      20 |  1087094 |   951727 |     5997    283 |        0 |        0
1327.28/1327.90	c 1327s |      20 |  1088447 |   952927 |     5997    283 |        0 |        0
1329.48/1330.09	c 1330s |      20 |  1089747 |   954027 |     5997    283 |        0 |        0
1331.57/1332.17	c 1332s |      20 |  1090779 |   954927 |     5997    283 |        0 |        0
1333.88/1334.50	c 1334s |      20 |  1091712 |   955727 |     5997    284 |        0 |        0
1336.07/1336.70	c 1336s |      20 |  1093071 |   956827 |     5997    284 |        0 |        0
1338.27/1338.89	c 1338s |      20 |  1094271 |   957927 |     5997    284 |        0 |        0
1340.47/1341.04	c 1341s |      20 |  1095396 |   958927 |     5997    284 |        0 |        0
1342.56/1343.21	c 1343s |      20 |  1096308 |   959727 |     5997    285 |        0 |        0
1344.66/1345.26	c 1345s |      20 |  1097661 |   960827 |     5997    285 |        0 |        0
1346.86/1347.40	c 1347s |      20 |  1099033 |   962027 |     5997    285 |        0 |        0
1348.86/1349.49	c 1349s |      20 |  1100191 |   963027 |     5997    285 |        0 |        0
1351.06/1351.63	c 1351s |      20 |  1101186 |   963927 |     5997    286 |        0 |        0
1353.26/1353.80	c 1353s |      20 |  1102648 |   965127 |     5997    286 |        0 |        0
1355.36/1355.90	c 1355s |      20 |  1104187 |   966427 |     5997    286 |        0 |        0
1357.35/1357.98	c 1357s |      20 |  1105635 |   967427 |     5997    287 |        0 |        0
1359.45/1360.00	c 1359s |      20 |  1106793 |   968427 |     5997    287 |        0 |        0
1361.55/1362.15	c 1362s |      20 |  1108123 |   969627 |     5997    287 |        0 |        0
1363.66/1364.24	c 1364s |      20 |  1109213 |   970627 |     5997    287 |        0 |        0
1365.86/1366.43	c 1366s |      20 |  1110236 |   971527 |     5997    288 |        0 |        0
1367.96/1368.55	c 1368s |      20 |  1111210 |   972427 |     5997    288 |        0 |        0
1370.05/1370.60	c 1370s |      20 |  1112091 |   973227 |     5997    288 |        0 |        0
1372.05/1372.66	c 1372s |      20 |  1112947 |   974027 |     5997    288 |        0 |        0
1374.35/1374.95	c 1374s |      20 |  1113844 |   974827 |     5997    288 |        0 |        0
1376.44/1377.07	c 1377s |      20 |  1115031 |   975827 |     5997    289 |        0 |        0
1378.54/1379.17	c 1379s |      20 |  1116243 |   976927 |     5997    289 |        0 |        0
1380.64/1381.23	c 1381s |      20 |  1117347 |   977927 |     5997    289 |        0 |        0
1382.64/1383.24	c 1383s |      20 |  1118327 |   978827 |     5997    289 |        0 |        0
1384.64/1385.26	c 1385s |      20 |  1119327 |   979727 |     5997    290 |        0 |        0
1386.84/1387.49	c 1387s |      20 |  1120411 |   980727 |     5997    290 |        0 |        0
1388.95/1389.54	c 1389s |      20 |  1121928 |   982027 |     5997    290 |        0 |        0
1391.05/1391.62	c 1391s |      20 |  1123183 |   983127 |     5997    291 |        0 |        0
1393.04/1393.68	c 1393s |      20 |  1124407 |   984227 |     5997    291 |        0 |        0
1395.14/1395.78	c 1395s |      20 |  1125529 |   985227 |     5997    291 |        0 |        0
1397.34/1397.92	c 1397s |      20 |  1126559 |   986127 |     5997    291 |        0 |        0
1399.64/1400.25	c 1400s |      20 |  1127636 |   987127 |     5997    292 |        0 |        0
1401.74/1402.38	c 1402s |      20 |  1128867 |   988227 |     5997    292 |        0 |        0
1403.74/1404.39	c 1404s |      20 |  1129880 |   989127 |     5997    292 |        0 |        0
1405.94/1406.57	c 1406s |      20 |  1130883 |   990027 |     5997    292 |        0 |        0
1408.14/1408.75	c 1408s |      20 |  1131795 |   990827 |     5997    292 |        0 |        0
1410.24/1410.88	c 1410s |      20 |  1132969 |   991827 |     5997    293 |        0 |        0
1412.34/1412.98	c 1412s |      20 |  1134152 |   992827 |     5997    293 |        0 |        0
1414.54/1415.17	c 1415s |      20 |  1135321 |   993827 |     6597    293 |        0 |        0
1416.74/1417.34	c 1417s |      20 |  1136305 |   994727 |     6597    293 |        0 |        0
1418.94/1419.56	c 1419s |      20 |  1137186 |   995527 |     6597    294 |        0 |        0
1421.14/1421.73	c 1421s |      20 |  1138273 |   996527 |     6597    294 |        0 |        0
1423.23/1423.90	c 1423s |      20 |  1139391 |   997527 |     6597    294 |        0 |        0
1425.53/1426.10	c 1426s |      20 |  1140487 |   998527 |     6597    294 |        0 |        0
1427.53/1428.17	c 1428s |      20 |  1141367 |   999327 |     6597    294 |        0 |        0
1429.64/1430.29	c 1430s |      20 |  1142146 |  1000027 |     6597    295 |        0 |        0
1430.53/1431.12	c 1431s |      21 |  1142479 |  1000345 |     6597    295 |        0 |        0
1432.63/1433.20	c 1433s |      21 |  1145965 |  1002445 |     6597    295 |        0 |        0
1434.83/1435.44	c 1435s |      21 |  1147768 |  1004045 |     6597    296 |        0 |        0
1436.93/1437.59	c 1437s |      21 |  1149460 |  1005545 |     6597    296 |        0 |        0
1439.13/1439.72	c 1439s |      21 |  1150931 |  1006845 |     6597    296 |        0 |        0
1441.23/1441.81	c 1441s |      21 |  1152041 |  1007845 |     6597    296 |        0 |        0
1443.33/1443.98	c 1443s |      21 |  1153117 |  1008845 |     6597    297 |        0 |        0
1445.44/1446.08	c 1446s |      21 |  1154690 |  1010245 |     6597    297 |        0 |        0
1447.64/1448.26	c 1448s |      21 |  1156026 |  1011445 |     6597    297 |        0 |        0
1450.04/1450.61	c 1450s |      21 |  1157263 |  1012545 |     6597    298 |        0 |        0
1452.04/1452.66	c 1452s |      21 |  1158702 |  1013845 |     6597    298 |        0 |        0
1454.04/1454.69	c 1454s |      21 |  1160488 |  1015445 |     6597    298 |        0 |        0
1456.05/1456.69	c 1456s |      21 |  1161822 |  1016645 |     6597    299 |        0 |        0
1458.25/1458.83	c 1458s |      21 |  1163466 |  1018145 |     6597    299 |        0 |        0
1460.34/1460.98	c 1460s |      21 |  1164900 |  1019345 |     6597    299 |        0 |        0
1462.43/1463.03	c 1462s |      21 |  1166019 |  1020345 |     6597    300 |        0 |        0
1464.43/1465.04	c 1465s |      21 |  1167428 |  1021645 |     6597    300 |        0 |        0
1466.43/1467.07	c 1467s |      21 |  1168749 |  1022845 |     6597    300 |        0 |        0
1468.53/1469.10	c 1469s |      21 |  1170007 |  1023945 |     6597    300 |        0 |        0
1470.63/1471.21	c 1471s |      21 |  1171215 |  1025045 |     6597    301 |        0 |        0
1472.73/1473.38	c 1473s |      21 |  1172695 |  1026345 |     6597    301 |        0 |        0
1474.93/1475.55	c 1475s |      21 |  1173920 |  1027445 |     6597    301 |        0 |        0
1476.94/1477.59	c 1477s |      21 |  1175029 |  1028445 |     6597    302 |        0 |        0
1479.05/1479.68	c 1479s |      21 |  1176582 |  1029845 |     6597    302 |        0 |        0
1481.13/1481.71	c 1481s |      21 |  1177915 |  1031045 |     6597    302 |        0 |        0
1483.23/1483.81	c 1483s |      21 |  1179140 |  1032145 |     6597    302 |        0 |        0
1485.23/1485.84	c 1485s |      21 |  1180478 |  1033345 |     6597    303 |        0 |        0
1487.33/1487.94	c 1487s |      21 |  1181970 |  1034645 |     6597    303 |        0 |        0
1489.33/1489.94	c 1489s |      21 |  1183003 |  1035545 |     6597    303 |        0 |        0
1491.33/1491.95	c 1491s |      21 |  1184117 |  1036545 |     6597    304 |        0 |        0
1493.34/1493.96	c 1493s |      21 |  1185775 |  1037945 |     6597    304 |        0 |        0
1495.43/1496.03	c 1495s |      21 |  1187366 |  1039345 |     6597    304 |        0 |        0
1497.53/1498.14	c 1498s |      21 |  1188709 |  1040545 |     6597    305 |        0 |        0
1499.53/1500.17	c 1500s |      21 |  1190321 |  1041945 |     6597    305 |        0 |        0
1501.63/1502.23	c 1502s |      21 |  1191721 |  1043145 |     6597    305 |        0 |        0
1503.73/1504.38	c 1504s |      21 |  1192927 |  1044245 |     6597    305 |        0 |        0
1505.83/1506.42	c 1506s |      21 |  1194295 |  1045445 |     6597    306 |        0 |        0
1507.83/1508.49	c 1508s |      21 |  1195926 |  1046945 |     6597    306 |        0 |        0
1510.03/1510.60	c 1510s |      21 |  1197382 |  1048245 |     6597    306 |        0 |        0
1512.04/1512.71	c 1512s |      21 |  1198714 |  1049445 |     6597    307 |        0 |        0
1514.13/1514.71	c 1514s |      21 |  1200022 |  1050645 |     6597    307 |        0 |        0
1516.23/1516.89	c 1516s |      21 |  1201334 |  1051845 |     6597    307 |        0 |        0
1518.33/1518.93	c 1518s |      21 |  1202600 |  1052945 |     6597    308 |        0 |        0
1520.42/1521.08	c 1521s |      21 |  1204116 |  1054345 |     6597    308 |        0 |        0
1522.52/1523.12	c 1523s |      21 |  1205431 |  1055545 |     6597    308 |        0 |        0
1524.52/1525.15	c 1525s |      21 |  1206640 |  1056645 |     6597    309 |        0 |        0
1526.62/1527.25	c 1527s |      21 |  1208062 |  1057945 |     6597    309 |        0 |        0
1528.72/1529.30	c 1529s |      21 |  1209573 |  1059245 |     6597    309 |        0 |        0
1530.73/1531.34	c 1531s |      21 |  1211124 |  1060645 |     6597    310 |        0 |        0
1532.72/1533.40	c 1533s |      21 |  1212552 |  1061945 |     6597    310 |        0 |        0
1534.92/1535.53	c 1535s |      21 |  1213992 |  1063245 |     6597    310 |        0 |        0
1537.02/1537.69	c 1537s |      21 |  1215287 |  1064445 |     6597    310 |        0 |        0
1539.22/1539.84	c 1539s |      21 |  1216609 |  1065645 |     6597    311 |        0 |        0
1541.42/1542.01	c 1541s |      21 |  1217956 |  1066845 |     6597    311 |        0 |        0
1543.42/1544.07	c 1544s |      21 |  1219382 |  1068145 |     6597    311 |        0 |        0
1545.52/1546.17	c 1546s |      21 |  1220669 |  1069345 |     6597    312 |        0 |        0
1547.62/1548.20	c 1548s |      21 |  1222016 |  1070545 |     6597    312 |        0 |        0
1549.62/1550.27	c 1550s |      21 |  1223593 |  1071945 |     6597    312 |        0 |        0
1551.73/1552.34	c 1552s |      21 |  1225182 |  1073345 |     6597    313 |        0 |        0
1553.83/1554.43	c 1554s |      21 |  1226523 |  1074545 |     6597    313 |        0 |        0
1555.82/1556.48	c 1556s |      21 |  1227758 |  1075645 |     6597    313 |        0 |        0
1557.92/1558.56	c 1558s |      21 |  1229008 |  1076745 |     6597    314 |        0 |        0
1560.02/1560.63	c 1560s |      21 |  1230575 |  1078145 |     6597    314 |        0 |        0
1562.22/1562.80	c 1562s |      21 |  1232166 |  1079545 |     6597    314 |        0 |        0
1564.22/1564.81	c 1564s |      21 |  1233264 |  1080545 |     6597    314 |        0 |        0
1566.32/1566.94	c 1566s |      21 |  1234577 |  1081745 |     6597    315 |        0 |        0
1568.42/1569.06	c 1569s |      21 |  1235794 |  1082845 |     6597    315 |        0 |        0
1570.43/1571.08	c 1571s |      21 |  1236777 |  1083745 |     6597    315 |        0 |        0
1572.63/1573.26	c 1573s |      21 |  1237739 |  1084645 |     6597    315 |        0 |        0
1574.62/1575.27	c 1575s |      21 |  1238965 |  1085745 |     6597    316 |        0 |        0
1576.82/1577.40	c 1577s |      21 |  1240566 |  1087145 |     6597    316 |        0 |        0
1578.82/1579.43	c 1579s |      21 |  1241912 |  1088345 |     6597    316 |        0 |        0
1580.92/1581.55	c 1581s |      21 |  1243222 |  1089545 |     6597    317 |        0 |        0
1583.02/1583.66	c 1583s |      21 |  1244889 |  1091045 |     6597    317 |        0 |        0
1585.02/1585.67	c 1585s |      21 |  1246196 |  1092245 |     6597    317 |        0 |        0
1587.12/1587.72	c 1587s |      21 |  1247398 |  1093345 |     6597    318 |        0 |        0
1589.13/1589.75	c 1589s |      21 |  1248804 |  1094645 |     6597    318 |        0 |        0
1591.23/1591.81	c 1591s |      21 |  1250092 |  1095845 |     6597    318 |        0 |        0
1593.32/1593.98	c 1593s |      21 |  1251153 |  1096845 |     6597    319 |        0 |        0
1595.42/1596.03	c 1595s |      21 |  1252478 |  1098045 |     6597    319 |        0 |        0
1597.52/1598.10	c 1598s |      21 |  1253786 |  1099145 |     6597    319 |        0 |        0
1599.51/1600.18	c 1600s |      21 |  1255326 |  1100545 |     6597    319 |        0 |        0
1601.61/1602.27	c 1602s |      21 |  1256831 |  1101945 |     6597    320 |        0 |        0
1603.71/1604.37	c 1604s |      21 |  1258229 |  1103245 |     6597    320 |        0 |        0
1605.71/1606.37	c 1606s |      21 |  1259518 |  1104445 |     6597    320 |        0 |        0
1607.91/1608.54	c 1608s |      21 |  1260789 |  1105645 |     6597    321 |        0 |        0
1610.02/1610.66	c 1610s |      21 |  1262203 |  1106945 |     6597    321 |        0 |        0
1612.22/1612.82	c 1612s |      21 |  1263500 |  1108145 |     6597    321 |        0 |        0
1614.21/1614.85	c 1614s |      21 |  1264448 |  1109045 |     6597    322 |        0 |        0
1616.31/1616.93	c 1616s |      21 |  1265719 |  1110145 |     6597    322 |        0 |        0
1618.31/1618.94	c 1618s |      21 |  1267272 |  1111545 |     6597    322 |        0 |        0
1620.51/1621.17	c 1621s |      21 |  1268721 |  1112845 |     6597    323 |        0 |        0
1622.71/1623.33	c 1623s |      21 |  1270237 |  1114245 |     6597    323 |        0 |        0
1624.91/1625.54	c 1625s |      21 |  1271544 |  1115445 |     6597    323 |        0 |        0
1626.91/1627.57	c 1627s |      21 |  1272708 |  1116545 |     6597    323 |        0 |        0
1629.11/1629.73	c 1629s |      21 |  1273885 |  1117645 |     6597    324 |        0 |        0
1631.21/1631.89	c 1631s |      21 |  1275311 |  1118945 |     6597    324 |        0 |        0
1633.30/1633.98	c 1633s |      21 |  1277114 |  1120545 |     6597    324 |        0 |        0
1635.40/1636.04	c 1636s |      21 |  1278443 |  1121745 |     6597    325 |        0 |        0
1637.51/1638.13	c 1638s |      21 |  1279848 |  1123045 |     6597    325 |        0 |        0
1639.71/1640.33	c 1640s |      21 |  1281208 |  1124345 |     6597    325 |        0 |        0
1641.70/1642.35	c 1642s |      21 |  1282270 |  1125345 |     6597    326 |        0 |        0
1643.70/1644.35	c 1644s |      21 |  1283445 |  1126445 |     6597    326 |        0 |        0
1645.80/1646.40	c 1646s |      21 |  1284663 |  1127545 |     6597    326 |        0 |        0
1647.91/1648.53	c 1648s |      21 |  1286207 |  1128845 |     6597    326 |        0 |        0
1649.91/1650.56	c 1650s |      21 |  1287521 |  1130045 |     6597    327 |        0 |        0
1651.91/1652.56	c 1652s |      21 |  1288823 |  1131245 |     6597    327 |        0 |        0
1654.02/1654.64	c 1654s |      21 |  1290229 |  1132545 |     6597    327 |        0 |        0
1656.12/1656.73	c 1656s |      21 |  1291627 |  1133845 |     6597    328 |        0 |        0
1658.21/1658.80	c 1658s |      21 |  1293023 |  1135145 |     6597    328 |        0 |        0
1660.31/1660.98	c 1660s |      21 |  1294326 |  1136345 |     6597    328 |        0 |        0
1662.50/1663.13	c 1663s |      21 |  1295402 |  1137345 |     6597    329 |        0 |        0
1664.60/1665.28	c 1665s |      21 |  1296909 |  1138745 |     6597    329 |        0 |        0
1666.80/1667.44	c 1667s |      21 |  1298097 |  1139845 |     6597    329 |        0 |        0
1669.10/1669.77	c 1669s |      21 |  1299408 |  1141045 |     6597    330 |        0 |        0
1671.30/1671.90	c 1671s |      21 |  1300442 |  1141945 |     6597    330 |        0 |        0
1673.30/1673.96	c 1673s |      21 |  1301731 |  1143045 |     6597    330 |        0 |        0
1675.50/1676.14	c 1676s |      21 |  1303027 |  1144145 |     6597    330 |        0 |        0
1677.60/1678.29	c 1678s |      21 |  1304078 |  1145045 |     6597    331 |        0 |        0
1679.70/1680.37	c 1680s |      21 |  1305103 |  1145945 |     6597    331 |        0 |        0
1681.80/1682.44	c 1682s |      21 |  1306226 |  1146945 |     6597    331 |        0 |        0
1683.80/1684.47	c 1684s |      21 |  1307256 |  1147845 |     6597    331 |        0 |        0
1685.91/1686.58	c 1686s |      21 |  1308351 |  1148745 |     6597    331 |        0 |        0
1688.11/1688.75	c 1688s |      21 |  1309375 |  1149645 |     6597    332 |        0 |        0
1690.21/1690.82	c 1690s |      21 |  1310397 |  1150545 |     6597    332 |        0 |        0
1692.41/1693.04	c 1693s |      21 |  1311327 |  1151345 |     6597    332 |        0 |        0
1694.50/1695.17	c 1695s |      21 |  1312203 |  1152145 |     6597    332 |        0 |        0
1696.50/1697.19	c 1697s |      21 |  1312988 |  1152845 |     6597    332 |        0 |        0
1698.50/1699.19	c 1699s |      21 |  1313771 |  1153545 |     6597    333 |        0 |        0
1700.70/1701.30	c 1701s |      21 |  1314663 |  1154345 |     6597    333 |        0 |        0
1702.80/1703.45	c 1703s |      21 |  1315575 |  1155145 |     6597    333 |        0 |        0
1704.80/1705.49	c 1705s |      21 |  1316492 |  1155945 |     6597    333 |        0 |        0
1707.10/1707.76	c 1707s |      21 |  1317349 |  1156745 |     6597    333 |        0 |        0
1709.30/1709.91	c 1709s |      21 |  1318124 |  1157445 |     6597    334 |        0 |        0
1711.40/1712.00	c 1711s |      21 |  1318884 |  1158145 |     6597    334 |        0 |        0
1713.50/1714.14	c 1714s |      21 |  1319643 |  1158845 |     6597    334 |        0 |        0
1715.51/1716.16	c 1716s |      21 |  1320754 |  1159845 |     6597    334 |        0 |        0
1717.71/1718.31	c 1718s |      21 |  1321991 |  1160945 |     6597    334 |        0 |        0
1719.79/1720.46	c 1720s |      21 |  1323090 |  1161945 |     6597    335 |        0 |        0
1721.89/1722.59	c 1722s |      21 |  1324317 |  1163045 |     6597    335 |        0 |        0
1724.19/1724.80	c 1724s |      21 |  1325336 |  1163945 |     6597    335 |        0 |        0
1726.39/1727.01	c 1726s |      21 |  1326365 |  1164845 |     6597    335 |        0 |        0
1728.49/1729.11	c 1729s |      21 |  1327251 |  1165645 |     6597    336 |        0 |        0
1730.59/1731.22	c 1731s |      21 |  1328062 |  1166345 |     6597    336 |        0 |        0
1732.59/1733.26	c 1733s |      21 |  1328851 |  1167045 |     6597    336 |        0 |        0
1734.79/1735.48	c 1735s |      21 |  1329650 |  1167745 |     6597    336 |        0 |        0
1736.99/1737.67	c 1737s |      21 |  1330570 |  1168545 |     6597    336 |        0 |        0
1739.09/1739.78	c 1739s |      21 |  1331455 |  1169345 |     6597    337 |        0 |        0
1741.19/1741.86	c 1741s |      21 |  1332508 |  1170245 |     6597    337 |        0 |        0
1743.39/1744.00	c 1743s |      21 |  1333521 |  1171145 |     6597    337 |        0 |        0
1745.39/1746.03	c 1745s |      21 |  1334410 |  1171945 |     6597    337 |        0 |        0
1747.50/1748.12	c 1748s |      21 |  1335302 |  1172745 |     6597    337 |        0 |        0
1749.49/1750.13	c 1750s |      21 |  1336087 |  1173445 |     6597    338 |        0 |        0
1751.59/1752.27	c 1752s |      21 |  1336883 |  1174145 |     6597    338 |        0 |        0
1753.79/1754.40	c 1754s |      21 |  1337787 |  1174945 |     6597    338 |        0 |        0
1755.99/1756.67	c 1756s |      21 |  1338673 |  1175745 |     6597    338 |        0 |        0
1758.19/1758.85	c 1758s |      21 |  1339446 |  1176445 |     6597    338 |        0 |        0
1760.70/1761.32	c 1761s |      21 |  1340221 |  1177145 |     6597    339 |        0 |        0
1762.80/1763.42	c 1763s |      21 |  1341010 |  1177845 |     6597    339 |        0 |        0
1764.78/1765.47	c 1765s |      21 |  1341787 |  1178545 |     6597    339 |        0 |        0
1766.78/1767.47	c 1767s |      21 |  1343403 |  1179945 |     6597    339 |        0 |        0
1769.08/1769.76	c 1769s |      21 |  1344933 |  1181345 |     6597    340 |        0 |        0
1771.18/1771.82	c 1771s |      21 |  1346595 |  1182845 |     6597    340 |        0 |        0
1773.18/1773.85	c 1773s |      21 |  1347992 |  1184145 |     6597    340 |        0 |        0
1775.28/1775.94	c 1775s |      21 |  1349207 |  1185245 |     6597    341 |        0 |        0
1777.38/1778.02	c 1777s |      21 |  1351117 |  1186945 |     6597    341 |        0 |        0
1779.48/1780.16	c 1780s |      21 |  1352765 |  1188445 |     6597    341 |        0 |        0
1781.69/1782.30	c 1782s |      21 |  1354459 |  1189945 |     6597    342 |        0 |        0
1783.70/1784.31	c 1784s |      21 |  1356235 |  1191545 |     6597    342 |        0 |        0
1785.79/1786.44	c 1786s |      21 |  1357736 |  1192945 |     6597    342 |        0 |        0
1787.89/1788.60	c 1788s |      21 |  1359170 |  1194245 |     6597    343 |        0 |        0
1789.99/1790.66	c 1790s |      21 |  1360573 |  1195545 |     6597    343 |        0 |        0
1792.09/1792.73	c 1792s |      21 |  1362003 |  1196845 |     6597    343 |        0 |        0
1794.09/1794.78	c 1794s |      21 |  1363412 |  1198145 |     6597    344 |        0 |        0
1796.29/1796.94	c 1796s |      21 |  1364941 |  1199545 |     6597    344 |        0 |        0
1798.38/1799.07	c 1799s |      21 |  1366463 |  1200945 |     6597    344 |        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-4078602-1465221218/watcher-4078602-1465221218 -o /tmp/evaluation-result-4078602-1465221218/solver-4078602-1465221218 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25906 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078602-1465221218.opb 

pid=29590
running on 8 cores: 4-7,12-15

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.22 2.14 2.10 3/261 29593
/proc/meminfo: memFree=30972628/32872528 swapFree=9196/9196
[pid=29593] ppid=29590 vsize=1099196 CPUtime=0 cores=4-7,12-15
/proc/29593/stat : 29593 (toysat) R 29590 29593 25889 0 -1 4202496 4168 0 0 0 0 0 0 0 20 0 4 0 103963830 1125576704 5039 33554432000 4194304 16246674 140733749872368 140733749871792 13880264 0 2 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29593/statm: 275567 5050 441 2943 0 272461 0
[pid=29593/tid=29594] ppid=29590 vsize=1122748 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29594/stat : 29594 (toysat) S 29590 29593 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103963830 1149693952 5129 33554432000 4194304 16246674 140733749872368 139756918779120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29593/tid=29595] ppid=29590 vsize=1125820 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29595/stat : 29595 (toysat) S 29590 29593 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103963830 1152839680 5143 33554432000 4194304 16246674 140733749872368 139756908289264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29593/tid=29596] ppid=29590 vsize=1130940 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29596/stat : 29596 (toysat) S 29590 29593 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103963830 1158082560 5163 33554432000 4194304 16246674 140733749872368 139756826520752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0

[startup+0.100173 s]
/proc/loadavg: 2.22 2.14 2.10 3/261 29593
/proc/meminfo: memFree=30972628/32872528 swapFree=9196/9196
[pid=29593] ppid=29590 vsize=1218116 CPUtime=0.08 cores=4-7,12-15
/proc/29593/stat : 29593 (toysat) R 29590 29593 25889 0 -1 4202496 32033 0 0 0 4 4 0 0 20 0 4 0 103963830 1247350784 32894 33554432000 4194304 16246674 140733749872368 140733749871792 5723366 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29593/statm: 304529 32908 705 2943 0 301423 0
[pid=29593/tid=29594] ppid=29590 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29594/stat : 29594 (toysat) S 29590 29593 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103963830 1247350784 32915 33554432000 4194304 16246674 140733749872368 139756918779120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29593/tid=29595] ppid=29590 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29595/stat : 29595 (toysat) S 29590 29593 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103963830 1247350784 32922 33554432000 4194304 16246674 140733749872368 139756908289264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29593/tid=29596] ppid=29590 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29596/stat : 29596 (toysat) S 29590 29593 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103963830 1247350784 32930 33554432000 4194304 16246674 140733749872368 139756826520752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200538 s]
/proc/loadavg: 2.22 2.14 2.10 3/261 29593
/proc/meminfo: memFree=30972628/32872528 swapFree=9196/9196
[pid=29593] ppid=29590 vsize=1218116 CPUtime=0.19 cores=4-7,12-15
/proc/29593/stat : 29593 (toysat) R 29590 29593 25889 0 -1 4202496 70253 0 0 0 11 8 0 0 20 0 4 0 103963830 1247350784 71113 33554432000 4194304 16246674 140733749872368 140733749871792 13191638 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29593/statm: 304529 71126 705 2943 0 301423 0
[pid=29593/tid=29594] ppid=29590 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29594/stat : 29594 (toysat) S 29590 29593 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103963830 1247350784 71131 33554432000 4194304 16246674 140733749872368 139756918779120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29593/tid=29595] ppid=29590 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29595/stat : 29595 (toysat) S 29590 29593 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103963830 1247350784 71139 33554432000 4194304 16246674 140733749872368 139756908289264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29593/tid=29596] ppid=29590 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29596/stat : 29596 (toysat) S 29590 29593 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103963830 1247350784 71151 33554432000 4194304 16246674 140733749872368 139756826520752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300509 s]
/proc/loadavg: 2.22 2.14 2.10 3/261 29593
/proc/meminfo: memFree=30972628/32872528 swapFree=9196/9196
[pid=29593] ppid=29590 vsize=1218116 CPUtime=0.28 cores=4-7,12-15
/proc/29593/stat : 29593 (toysat) R 29590 29593 25889 0 -1 4202496 107662 0 0 0 15 13 0 0 20 0 4 0 103963830 1247350784 108522 33554432000 4194304 16246674 140733749872368 140733749871792 12479207 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29593/statm: 304529 108546 705 2943 0 301423 0
[pid=29593/tid=29594] ppid=29590 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29594/stat : 29594 (toysat) S 29590 29593 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103963830 1247350784 108562 33554432000 4194304 16246674 140733749872368 139756918779120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29593/tid=29595] ppid=29590 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29595/stat : 29595 (toysat) S 29590 29593 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103963830 1247350784 108576 33554432000 4194304 16246674 140733749872368 139756908289264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29593/tid=29596] ppid=29590 vsize=1218116 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29596/stat : 29596 (toysat) S 29590 29593 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103963830 1247350784 108591 33554432000 4194304 16246674 140733749872368 139756826520752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.70039 s]
/proc/loadavg: 2.22 2.14 2.10 3/261 29593
/proc/meminfo: memFree=30972628/32872528 swapFree=9196/9196
[pid=29593] ppid=29590 vsize=1221188 CPUtime=0.69 cores=4-7,12-15
/proc/29593/stat : 29593 (toysat) R 29590 29593 25889 0 -1 4202496 246187 0 0 0 37 32 0 0 20 0 4 0 103963830 1250496512 247027 33554432000 4194304 16246674 140733749872368 140733749871680 13963975 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29593/statm: 305297 247027 784 2943 0 302191 0
[pid=29593/tid=29594] ppid=29590 vsize=1221188 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29594/stat : 29594 (toysat) S 29590 29593 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103963830 1250496512 247027 33554432000 4194304 16246674 140733749872368 139756918779120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29593/tid=29595] ppid=29590 vsize=1221188 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29595/stat : 29595 (toysat) S 29590 29593 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103963830 1250496512 247027 33554432000 4194304 16246674 140733749872368 139756908289264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29593/tid=29596] ppid=29590 vsize=1221188 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29596/stat : 29596 (toysat) S 29590 29593 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103963830 1250496512 247027 33554432000 4194304 16246674 140733749872368 139756826520752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1221188

[startup+1.50042 s]
/proc/loadavg: 2.22 2.14 2.10 3/265 29597
/proc/meminfo: memFree=29905100/32872528 swapFree=9196/9196
[pid=29593] ppid=29590 vsize=1307204 CPUtime=1.49 cores=4-7,12-15
/proc/29593/stat : 29593 (toysat) R 29590 29593 25889 0 -1 4202496 267712 0 0 0 114 35 0 0 20 0 4 0 103963830 1338576896 268552 33554432000 4194304 16246674 140733749872368 140733749854272 5546271 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29593/statm: 326801 268552 790 2943 0 323695 0
[pid=29593/tid=29594] ppid=29590 vsize=1307204 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29594/stat : 29594 (toysat) S 29590 29593 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103963830 1338576896 268552 33554432000 4194304 16246674 140733749872368 139756918779120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29593/tid=29595] ppid=29590 vsize=1307204 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29595/stat : 29595 (toysat) S 29590 29593 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103963830 1338576896 268552 33554432000 4194304 16246674 140733749872368 139756908289264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29593/tid=29596] ppid=29590 vsize=1307204 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29596/stat : 29596 (toysat) S 29590 29593 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103963830 1338576896 268552 33554432000 4194304 16246674 140733749872368 139756826520752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.10039 s]
/proc/loadavg: 2.22 2.14 2.10 3/265 29597
/proc/meminfo: memFree=29898024/32872528 swapFree=9196/9196
[pid=29593] ppid=29590 vsize=1308228 CPUtime=3.09 cores=4-7,12-15
/proc/29593/stat : 29593 (toysat) R 29590 29593 25889 0 -1 4202496 267866 0 0 0 274 35 0 0 20 0 4 0 103963830 1339625472 268706 33554432000 4194304 16246674 140733749872368 140733749854272 12477752 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29593/statm: 327057 268706 790 2943 0 323951 0
[pid=29593/tid=29594] ppid=29590 vsize=1308228 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29594/stat : 29594 (toysat) S 29590 29593 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103963830 1339625472 268706 33554432000 4194304 16246674 140733749872368 139756918779120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29593/tid=29595] ppid=29590 vsize=1308228 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29595/stat : 29595 (toysat) S 29590 29593 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103963830 1339625472 268706 33554432000 4194304 16246674 140733749872368 139756908289264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29593/tid=29596] ppid=29590 vsize=1308228 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29596/stat : 29596 (toysat) S 29590 29593 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103963830 1339625472 268706 33554432000 4194304 16246674 140733749872368 139756826520752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1308228

[startup+6.30044 s]
/proc/loadavg: 2.20 2.13 2.10 3/265 29597
/proc/meminfo: memFree=29896676/32872528 swapFree=9196/9196
[pid=29593] ppid=29590 vsize=1309252 CPUtime=6.28 cores=4-7,12-15
/proc/29593/stat : 29593 (toysat) R 29590 29593 25889 0 -1 4202496 268339 0 0 0 593 35 0 0 20 0 4 0 103963830 1340674048 269179 33554432000 4194304 16246674 140733749872368 140733749854272 5545713 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29593/statm: 327313 269179 790 2943 0 324207 0
[pid=29593/tid=29594] ppid=29590 vsize=1309252 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29594/stat : 29594 (toysat) S 29590 29593 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103963830 1340674048 269179 33554432000 4194304 16246674 140733749872368 139756918779120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29593/tid=29595] ppid=29590 vsize=1309252 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29595/stat : 29595 (toysat) S 29590 29593 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103963830 1340674048 269179 33554432000 4194304 16246674 140733749872368 139756908289264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29593/tid=29596] ppid=29590 vsize=1309252 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29596/stat : 29596 (toysat) S 29590 29593 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103963830 1340674048 269179 33554432000 4194304 16246674 140733749872368 139756826520752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1309252

[startup+12.7004 s]
/proc/loadavg: 2.19 2.13 2.10 3/265 29597
/proc/meminfo: memFree=29895900/32872528 swapFree=9196/9196
[pid=29593] ppid=29590 vsize=1310276 CPUtime=12.69 cores=4-7,12-15
/proc/29593/stat : 29593 (toysat) R 29590 29593 25889 0 -1 4202496 268595 0 0 0 1233 36 0 0 20 0 4 0 103963830 1341722624 269435 33554432000 4194304 16246674 140733749872368 140733749854272 6021684 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29593/statm: 327569 269435 790 2943 0 324463 0
[pid=29593/tid=29594] ppid=29590 vsize=1310276 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29594/stat : 29594 (toysat) S 29590 29593 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103963830 1341722624 269435 33554432000 4194304 16246674 140733749872368 139756918779120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29593/tid=29595] ppid=29590 vsize=1310276 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29595/stat : 29595 (toysat) S 29590 29593 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103963830 1341722624 269435 33554432000 4194304 16246674 140733749872368 139756908289264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29593/tid=29596] ppid=29590 vsize=1310276 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29596/stat : 29596 (toysat) S 29590 29593 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103963830 1341722624 269435 33554432000 4194304 16246674 140733749872368 139756826520752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1310276

[startup+25.5111 s]
/proc/loadavg: 2.14 2.12 2.10 3/265 29597
/proc/meminfo: memFree=29894664/32872528 swapFree=9196/9196
[pid=29593] ppid=29590 vsize=1312324 CPUtime=25.49 cores=4-7,12-15
/proc/29593/stat : 29593 (toysat) R 29590 29593 25889 0 -1 4202496 269107 0 0 0 2513 36 0 0 20 0 4 0 103963830 1343819776 269947 33554432000 4194304 16246674 140733749872368 140733749854272 5861812 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29593/statm: 328081 269947 790 2943 0 324975 0
[pid=29593/tid=29594] ppid=29590 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29594/stat : 29594 (toysat) S 29590 29593 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103963830 1343819776 269947 33554432000 4194304 16246674 140733749872368 139756918779120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29593/tid=29595] ppid=29590 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29595/stat : 29595 (toysat) S 29590 29593 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103963830 1343819776 269947 33554432000 4194304 16246674 140733749872368 139756908289264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29593/tid=29596] ppid=29590 vsize=1312324 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29596/stat : 29596 (toysat) S 29590 29593 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103963830 1343819776 269947 33554432000 4194304 16246674 140733749872368 139756826520752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1312324

[startup+51.1004 s]
/proc/loadavg: 2.09 2.11 2.09 3/265 29597
/proc/meminfo: memFree=29886312/32872528 swapFree=9196/9196
[pid=29593] ppid=29590 vsize=1320516 CPUtime=51.08 cores=4-7,12-15
/proc/29593/stat : 29593 (toysat) R 29590 29593 25889 0 -1 4202496 271056 0 0 0 5070 38 0 0 20 0 4 0 103963830 1352208384 271896 33554432000 4194304 16246674 140733749872368 140733749854272 5677720 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29593/statm: 330129 271896 792 2943 0 327023 0
[pid=29593/tid=29594] ppid=29590 vsize=1320516 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29594/stat : 29594 (toysat) S 29590 29593 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103963830 1352208384 271896 33554432000 4194304 16246674 140733749872368 139756918779120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29593/tid=29595] ppid=29590 vsize=1320516 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29595/stat : 29595 (toysat) S 29590 29593 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103963830 1352208384 271896 33554432000 4194304 16246674 140733749872368 139756908289264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29593/tid=29596] ppid=29590 vsize=1320516 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29596/stat : 29596 (toysat) S 29590 29593 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103963830 1352208384 271896 33554432000 4194304 16246674 140733749872368 139756826520752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1320516

[startup+102.3 s]
/proc/loadavg: 2.10 2.11 2.09 3/265 29598
/proc/meminfo: memFree=29885604/32872528 swapFree=9196/9196
[pid=29593] ppid=29590 vsize=1320516 CPUtime=102.27 cores=4-7,12-15
/proc/29593/stat : 29593 (toysat) R 29590 29593 25889 0 -1 4202496 271157 0 0 0 10188 39 0 0 20 0 4 0 103963830 1352208384 271997 33554432000 4194304 16246674 140733749872368 140733749854272 5722960 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29593/statm: 330129 271997 792 2943 0 327023 0
[pid=29593/tid=29594] ppid=29590 vsize=1320516 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29594/stat : 29594 (toysat) S 29590 29593 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103963830 1352208384 271997 33554432000 4194304 16246674 140733749872368 139756918779120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29593/tid=29595] ppid=29590 vsize=1320516 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29595/stat : 29595 (toysat) S 29590 29593 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103963830 1352208384 271997 33554432000 4194304 16246674 140733749872368 139756908289264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29593/tid=29596] ppid=29590 vsize=1320516 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29596/stat : 29596 (toysat) S 29590 29593 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103963830 1352208384 271997 33554432000 4194304 16246674 140733749872368 139756826520752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1320516


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

/proc/29593/task/29596/stat : 29596 (toysat) S 29590 29593 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103963830 1381568512 279068 33554432000 4194304 16246674 140733749872368 139756826520752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 1349188

[startup+1302.3 s]
/proc/loadavg: 2.03 2.05 2.04 3/265 29651
/proc/meminfo: memFree=29839164/32872528 swapFree=9196/9196
[pid=29593] ppid=29590 vsize=1349188 CPUtime=1301.78 cores=4-7,12-15
/proc/29593/stat : 29593 (toysat) R 29590 29593 25889 0 -1 4202496 278754 0 0 0 130124 54 0 0 20 0 4 0 103963830 1381568512 279169 33554432000 4194304 16246674 140733749872368 140733749870208 5546001 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29593/statm: 337297 279169 793 2943 0 334191 0
[pid=29593/tid=29594] ppid=29590 vsize=1349188 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29594/stat : 29594 (toysat) S 29590 29593 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103963830 1381568512 279169 33554432000 4194304 16246674 140733749872368 139756918779120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29593/tid=29595] ppid=29590 vsize=1349188 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29595/stat : 29595 (toysat) S 29590 29593 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103963830 1381568512 279169 33554432000 4194304 16246674 140733749872368 139756908289264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29593/tid=29596] ppid=29590 vsize=1349188 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29596/stat : 29596 (toysat) S 29590 29593 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103963830 1381568512 279169 33554432000 4194304 16246674 140733749872368 139756826520752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 1349188

[startup+1362.3 s]
/proc/loadavg: 2.04 2.05 2.04 3/266 29653
/proc/meminfo: memFree=29839056/32872528 swapFree=9196/9196
[pid=29593] ppid=29590 vsize=1349188 CPUtime=1361.75 cores=4-7,12-15
/proc/29593/stat : 29593 (toysat) R 29590 29593 25889 0 -1 4202496 278779 0 0 0 136121 54 0 0 20 0 4 0 103963830 1381568512 279169 33554432000 4194304 16246674 140733749872368 140733749854272 13950199 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29593/statm: 337297 279169 793 2943 0 334191 0
[pid=29593/tid=29594] ppid=29590 vsize=1349188 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29594/stat : 29594 (toysat) S 29590 29593 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103963830 1381568512 279169 33554432000 4194304 16246674 140733749872368 139756918779120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29593/tid=29595] ppid=29590 vsize=1349188 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29595/stat : 29595 (toysat) S 29590 29593 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103963830 1381568512 279169 33554432000 4194304 16246674 140733749872368 139756908289264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29593/tid=29596] ppid=29590 vsize=1349188 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29596/stat : 29596 (toysat) S 29590 29593 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103963830 1381568512 279169 33554432000 4194304 16246674 140733749872368 139756826520752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 1349188

[startup+1422.3 s]
/proc/loadavg: 2.12 2.07 2.05 3/265 29655
/proc/meminfo: memFree=29839988/32872528 swapFree=9196/9196
[pid=29593] ppid=29590 vsize=1349188 CPUtime=1421.73 cores=4-7,12-15
/proc/29593/stat : 29593 (toysat) R 29590 29593 25889 0 -1 4202496 278785 0 0 0 142119 54 0 0 20 0 4 0 103963830 1381568512 279169 33554432000 4194304 16246674 140733749872368 140733749854272 5672188 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29593/statm: 337297 279169 793 2943 0 334191 0
[pid=29593/tid=29594] ppid=29590 vsize=1349188 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29594/stat : 29594 (toysat) S 29590 29593 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103963830 1381568512 279169 33554432000 4194304 16246674 140733749872368 139756918779120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29593/tid=29595] ppid=29590 vsize=1349188 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29595/stat : 29595 (toysat) S 29590 29593 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103963830 1381568512 279169 33554432000 4194304 16246674 140733749872368 139756908289264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29593/tid=29596] ppid=29590 vsize=1349188 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29596/stat : 29596 (toysat) S 29590 29593 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103963830 1381568512 279169 33554432000 4194304 16246674 140733749872368 139756826520752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1421.73
Current children cumulated vsize (KiB) 1349188

[startup+1482.3 s]
/proc/loadavg: 2.04 2.05 2.04 3/265 29656
/proc/meminfo: memFree=29839736/32872528 swapFree=9196/9196
[pid=29593] ppid=29590 vsize=1349188 CPUtime=1481.73 cores=4-7,12-15
/proc/29593/stat : 29593 (toysat) R 29590 29593 25889 0 -1 4202496 278785 0 0 0 148117 56 0 0 20 0 4 0 103963830 1381568512 279169 33554432000 4194304 16246674 140733749872368 140733749854272 5523464 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29593/statm: 337297 279169 793 2943 0 334191 0
[pid=29593/tid=29594] ppid=29590 vsize=1349188 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29594/stat : 29594 (toysat) S 29590 29593 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103963830 1381568512 279169 33554432000 4194304 16246674 140733749872368 139756918779120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29593/tid=29595] ppid=29590 vsize=1349188 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29595/stat : 29595 (toysat) S 29590 29593 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103963830 1381568512 279169 33554432000 4194304 16246674 140733749872368 139756908289264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29593/tid=29596] ppid=29590 vsize=1349188 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29596/stat : 29596 (toysat) S 29590 29593 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103963830 1381568512 279169 33554432000 4194304 16246674 140733749872368 139756826520752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 1349188

[startup+1542.3 s]
/proc/loadavg: 2.19 2.10 2.06 3/265 29657
/proc/meminfo: memFree=29839988/32872528 swapFree=9196/9196
[pid=29593] ppid=29590 vsize=1349188 CPUtime=1541.73 cores=4-7,12-15
/proc/29593/stat : 29593 (toysat) R 29590 29593 25889 0 -1 4202496 278785 0 0 0 154117 56 0 0 20 0 4 0 103963830 1381568512 279169 33554432000 4194304 16246674 140733749872368 140733749854272 5553752 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29593/statm: 337297 279169 793 2943 0 334191 0
[pid=29593/tid=29594] ppid=29590 vsize=1349188 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29594/stat : 29594 (toysat) S 29590 29593 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103963830 1381568512 279169 33554432000 4194304 16246674 140733749872368 139756918779120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29593/tid=29595] ppid=29590 vsize=1349188 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29595/stat : 29595 (toysat) S 29590 29593 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103963830 1381568512 279169 33554432000 4194304 16246674 140733749872368 139756908289264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29593/tid=29596] ppid=29590 vsize=1349188 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29596/stat : 29596 (toysat) S 29590 29593 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103963830 1381568512 279169 33554432000 4194304 16246674 140733749872368 139756826520752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 1349188

[startup+1602.3 s]
/proc/loadavg: 2.11 2.09 2.05 3/266 29661
/proc/meminfo: memFree=29840148/32872528 swapFree=9196/9196
[pid=29593] ppid=29590 vsize=1349188 CPUtime=1601.71 cores=4-7,12-15
/proc/29593/stat : 29593 (toysat) R 29590 29593 25889 0 -1 4202496 278785 0 0 0 160114 57 0 0 20 0 4 0 103963830 1381568512 279169 33554432000 4194304 16246674 140733749872368 140733749854272 4220897 0 2 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29593/statm: 337297 279169 793 2943 0 334191 0
[pid=29593/tid=29594] ppid=29590 vsize=1349188 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29594/stat : 29594 (toysat) S 29590 29593 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103963830 1381568512 279169 33554432000 4194304 16246674 140733749872368 139756918779120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29593/tid=29595] ppid=29590 vsize=1349188 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29595/stat : 29595 (toysat) S 29590 29593 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103963830 1381568512 279169 33554432000 4194304 16246674 140733749872368 139756908289264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29593/tid=29596] ppid=29590 vsize=1349188 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29596/stat : 29596 (toysat) S 29590 29593 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103963830 1381568512 279169 33554432000 4194304 16246674 140733749872368 139756826520752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 1349188

[startup+1662.31 s]
/proc/loadavg: 2.09 2.09 2.05 3/265 29662
/proc/meminfo: memFree=29840148/32872528 swapFree=9196/9196
[pid=29593] ppid=29590 vsize=1349188 CPUtime=1661.72 cores=4-7,12-15
/proc/29593/stat : 29593 (toysat) R 29590 29593 25889 0 -1 4202496 278785 0 0 0 166114 58 0 0 20 0 4 0 103963830 1381568512 279169 33554432000 4194304 16246674 140733749872368 140733749854272 5546098 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29593/statm: 337297 279169 793 2943 0 334191 0
[pid=29593/tid=29594] ppid=29590 vsize=1349188 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29594/stat : 29594 (toysat) S 29590 29593 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103963830 1381568512 279169 33554432000 4194304 16246674 140733749872368 139756918779120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29593/tid=29595] ppid=29590 vsize=1349188 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29595/stat : 29595 (toysat) S 29590 29593 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103963830 1381568512 279169 33554432000 4194304 16246674 140733749872368 139756908289264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29593/tid=29596] ppid=29590 vsize=1349188 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29596/stat : 29596 (toysat) S 29590 29593 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103963830 1381568512 279169 33554432000 4194304 16246674 140733749872368 139756826520752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 1349188

[startup+1722.3 s]
/proc/loadavg: 2.03 2.07 2.05 3/265 29664
/proc/meminfo: memFree=29840152/32872528 swapFree=9196/9196
[pid=29593] ppid=29590 vsize=1349188 CPUtime=1721.69 cores=4-7,12-15
/proc/29593/stat : 29593 (toysat) R 29590 29593 25889 0 -1 4202496 278785 0 0 0 172111 58 0 0 20 0 4 0 103963830 1381568512 279169 33554432000 4194304 16246674 140733749872368 140733749854272 13950232 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29593/statm: 337297 279169 793 2943 0 334191 0
[pid=29593/tid=29594] ppid=29590 vsize=1349188 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29594/stat : 29594 (toysat) S 29590 29593 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103963830 1381568512 279169 33554432000 4194304 16246674 140733749872368 139756918779120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29593/tid=29595] ppid=29590 vsize=1349188 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29595/stat : 29595 (toysat) S 29590 29593 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103963830 1381568512 279169 33554432000 4194304 16246674 140733749872368 139756908289264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29593/tid=29596] ppid=29590 vsize=1349188 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29596/stat : 29596 (toysat) S 29590 29593 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103963830 1381568512 279169 33554432000 4194304 16246674 140733749872368 139756826520752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 1349188

[startup+1782.3 s]
/proc/loadavg: 2.07 2.07 2.05 3/265 29714
/proc/meminfo: memFree=29866776/32872528 swapFree=9196/9196
[pid=29593] ppid=29590 vsize=1349188 CPUtime=1781.69 cores=4-7,12-15
/proc/29593/stat : 29593 (toysat) R 29590 29593 25889 0 -1 4202496 278785 0 0 0 178110 59 0 0 20 0 4 0 103963830 1381568512 279169 33554432000 4194304 16246674 140733749872368 140733749854272 13963968 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29593/statm: 337297 279169 793 2943 0 334191 0
[pid=29593/tid=29594] ppid=29590 vsize=1349188 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29594/stat : 29594 (toysat) S 29590 29593 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103963830 1381568512 279169 33554432000 4194304 16246674 140733749872368 139756918779120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29593/tid=29595] ppid=29590 vsize=1349188 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29595/stat : 29595 (toysat) S 29590 29593 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103963830 1381568512 279169 33554432000 4194304 16246674 140733749872368 139756908289264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29593/tid=29596] ppid=29590 vsize=1349188 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29596/stat : 29596 (toysat) S 29590 29593 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103963830 1381568512 279169 33554432000 4194304 16246674 140733749872368 139756826520752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 1349188



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 2.06 2.07 2.05 3/265 29714
/proc/meminfo: memFree=29866148/32872528 swapFree=9196/9196
[pid=29593] ppid=29590 vsize=1349188 CPUtime=1800.08 cores=4-7,12-15
/proc/29593/stat : 29593 (toysat) R 29590 29593 25889 0 -1 4202496 278785 0 0 0 179949 59 0 0 20 0 4 0 103963830 1381568512 279169 33554432000 4194304 16246674 140733749872368 140733749854272 5545784 0 0 0 34082818 18446744073709551615 0 0 17 12 0 0 0 0 0
/proc/29593/statm: 337297 279169 793 2943 0 334191 0
[pid=29593/tid=29594] ppid=29590 vsize=1349188 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29594/stat : 29594 (toysat) S 29590 29593 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103963830 1381568512 279169 33554432000 4194304 16246674 140733749872368 139756918779120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 13 0 0 0 0 0
[pid=29593/tid=29595] ppid=29590 vsize=1349188 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29595/stat : 29595 (toysat) S 29590 29593 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103963830 1381568512 279169 33554432000 4194304 16246674 140733749872368 139756908289264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 14 0 0 0 0 0
[pid=29593/tid=29596] ppid=29590 vsize=1349188 CPUtime=0 cores=4-7,12-15
/proc/29593/task/29596/stat : 29596 (toysat) S 29590 29593 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103963830 1381568512 279169 33554432000 4194304 16246674 140733749872368 139756826520752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1349188

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 29593 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.71
CPU time (s): 1800.1
CPU user time (s): 1799.5
CPU system time (s): 0.592909
CPU usage (%): 99.966
Max. virtual memory (cumulated for all children) (KiB): 1349188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 0.592909
maximum resident set size= 1116676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278785
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 472
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.05877 second user time and 11.1373 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-06 15:53:38
IDJOB=4078602
IDBENCH=1426
IDSOLVER=2542
FILE ID=node132/4078602-1465221218
RUNJOBID= node132-1465216787-25906
PBS_JOBID= 19843203
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078602-1465221218/watcher-4078602-1465221218 -o /tmp/evaluation-result-4078602-1465221218/solver-4078602-1465221218 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25906 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078602-1465221218.opb

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

MD5SUM BENCH= 63dafaa5a785f38064ac19ced11339d2
RANDOM SEED=946280121

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

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

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30972248 kB
Buffers:           12068 kB
Cached:            76896 kB
SwapCached:         3232 kB
Active:          1148360 kB
Inactive:          29588 kB
Active(anon):    1088828 kB
Inactive(anon):     3236 kB
Active(file):      59532 kB
Inactive(file):    26352 kB
Unevictable:        9196 kB
Mlocked:            9196 kB
SwapTotal:      67108856 kB
SwapFree:       67094520 kB
Dirty:             16908 kB
Writeback:             0 kB
AnonPages:       1100488 kB
Mapped:            10792 kB
Shmem:                 0 kB
Slab:             573508 kB
SReclaimable:      12988 kB
SUnreclaim:       560520 kB
KernelStack:        2256 kB
PageTables:         5900 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1239132 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 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 node132 at 2016-06-06 16:23:39