Trace number 4079993

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.07 1800.61

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-f2000.opb
MD5SUMacba870ceff62e653e0b2927ff2b81fb
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4000
Total number of constraints10500
Number of constraints which are clauses10500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 4000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 4000
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4000
Number of bits of the biggest sum of numbers12
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-07T07:52:39+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-4079993-1465278758.opb"]
0.00/0.01	c use --random-gen="4248702654 947596386 3075397150 4032373471 1013914123 1769078978 4273124062 836841253 3229725380 4140294065 1205878125 229447641 571063290 1385511343 3438441360 1235123668 3463139970 779510496 176572784 4040974304 495541692 2522842420 3415687528 175361564 1377059180 3725205140 564975897 1237528693 142663261 428856313 3350029535 1493648634 1947133030 2814137256 24502881 3859676016 808596341 2923737093 3692509286 923609885 1480941638 3589026439 1115100035 914153198 1716839906 622584554 3496592712 651731158 2153391998 1566345802 1075975704 2097879162 3049334659 2264582222 3457491553 2310974223 2306605653 1724969636 1395848154 2915541496 2151207777 271211499 2239209911 22426081 1086605197 3184731880 932786882 1124165153 3584625434 91973980 4237289075 1925593078 3166253236 1424187812 1481450014 827112897 780345527 3198517730 4224347570 3839727576 1404018167 1270063521 627036447 726153509 999421912 956265805 1306798660 73848033 292458226 4119488128 2424088907 1742583433 1996129497 201216198 2602190457 71796860 2009587737 1350107874 1785612140 3975534132 3110603733 3578546017 1670497013 2094648500 3649966283 1687474048 190312583 3781543183 3635891131 1427587795 3392465932 3997426580 1446805792 2371277133 831447892 4268200240 182828840 2068489615 1847975312 1484756604 3893828921 3204596073 2141747696 3860373013 782428418 2856037515 3297571712 702781718 464011050 2443258556 28636156 3868545251 776464633 3438921884 2712915933 1832079243 4052320958 2849514116 546410437 3700655225 3231227330 1846035635 3466288419 806485817 1412557748 53038574 823602838 2007765865 3548351821 3675756729 657885444 716721890 672025714 2425958867 2615061226 615951190 3427014283 1809216960 3595438643 1954403883 1700874176 1728458730 2843335466 2567710222 3215520569 1880486312 3209155563 2848181704 3504651338 2511423761 1953157666 580359766 3180303326 732759559 2595289628 2272041702 2244447030 2409588661 3904225822 1219711108 3436300316 3748245189 294378769 950973375 1763956529 2511848204 1882207685 2136023128 2548901701 2060996664 1761589932 4276936488 1505964405 2791736546 1770696934 1683677389 941803812 852049040 4011657787 3278749731 4248551928 872178153 1202796944 202426479 3097948532 4102381177 359998143 2348836312 619493938 986274708 951390993 168987079 2526244437 3097177358 2205210075 1529268901 4200530156 1280986167 1282117816 279501159 640951027 2894306799 3895053297 233462961 2267213690 289366516 2445711626 808651671 4259653336 3802961038 2814362097 404178970 2323011505 913478016 2597214994 2532471034 2209886371 345462314 2706725991 267061130 1454006734 3051421666 519177616 3193612623 2534146331 2195768562 2055898452 355347289 711930002 3936952674 3167111890 429212039 608950817 4081789835 2145969943 2038651059 255 362436" option to reproduce the execution
0.09/0.10	c #vars 4000
0.09/0.10	c #constraints 10500
0.19/0.23	c BCD2: Hardening is enabled.
0.19/0.23	c BCD2: BiasedSearch is enabled.
0.19/0.23	c Solving starts ...
0.19/0.23	c ============================[ Search Statistics ]============================
0.19/0.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.23	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.23	c =============================================================================
0.19/0.23	c  0.0s |       0 |        0 |        0 |     4833      0 |        0 |        0
0.29/0.33	c  0.1s |       1 |      338 |      100 |     4833      0 |        0 |        0
0.49/0.50	c  0.3s |       2 |      682 |      250 |     5317      0 |        0 |        0
0.69/0.77	c  0.5s |       3 |     1164 |      475 |     5849      0 |        0 |        0
1.09/1.18	c  0.9s |       4 |     1724 |      813 |     6434      0 |        0 |        0
1.69/1.75	c  1.5s |       5 |     2562 |     1320 |     7078      0 |        0 |        0
2.39/2.47	c  2.2s |       6 |     3745 |     2081 |     8565      0 |        0 |        0
3.59/3.63	c  3.4s |       7 |     5478 |     3223 |     9422      0 |        0 |        0
5.29/5.36	c  5.1s |       8 |     7872 |     4936 |    10365      0 |        0 |        0
7.29/7.38	c  7.1s |       8 |    10372 |     6736 |    10365      0 |        0 |        0
8.19/8.29	c  8.1s |       9 |    11419 |     7506 |    11402      0 |        0 |        0
10.29/10.38	c 10.1s |       9 |    13961 |     9306 |    11402      0 |        0 |        0
12.29/12.39	c 12.2s |       9 |    15924 |    10906 |    11402      0 |        0 |        0
12.99/13.00	c 12.8s |      10 |    16482 |    11361 |    12543      0 |        0 |        0
14.99/15.01	c 14.8s |      10 |    18565 |    12861 |    12543      0 |        0 |        0
17.09/17.10	c 16.9s |      10 |    20629 |    14461 |    12543      1 |        0 |        0
19.09/19.15	c 18.9s |      10 |    22811 |    16061 |    12543      1 |        0 |        0
20.59/20.65	c 20.4s |      11 |    24206 |    17144 |    13798      1 |        0 |        0
22.69/22.74	c 22.5s |      11 |    26402 |    18744 |    13798      1 |        0 |        0
24.79/24.82	c 24.6s |      11 |    28127 |    20144 |    13798      1 |        0 |        0
26.89/26.91	c 26.7s |      11 |    29881 |    21544 |    13798      2 |        0 |        0
28.99/29.03	c 28.8s |      11 |    31738 |    23044 |    13798      2 |        0 |        0
30.99/31.03	c 30.8s |      11 |    33489 |    24444 |    13798      2 |        0 |        0
33.10/33.11	c 32.9s |      12 |    35221 |    25819 |    15178      2 |        0 |        0
35.19/35.22	c 35.0s |      12 |    37469 |    27419 |    15178      2 |        0 |        0
37.29/37.32	c 37.1s |      12 |    39363 |    28919 |    15178      2 |        0 |        0
39.29/39.35	c 39.1s |      12 |    41198 |    30319 |    15178      3 |        0 |        0
41.49/41.50	c 41.3s |      12 |    43192 |    31819 |    15178      3 |        0 |        0
43.59/43.65	c 43.4s |      12 |    45041 |    33219 |    15178      3 |        0 |        0
45.69/45.75	c 45.5s |      12 |    46761 |    34519 |    15178      3 |        0 |        0
47.79/47.84	c 47.6s |      12 |    48298 |    35719 |    15178      3 |        0 |        0
49.89/49.97	c 49.7s |      12 |    49791 |    36919 |    15178      3 |        0 |        0
51.99/52.07	c 51.8s |      12 |    51578 |    38319 |    15178      4 |        0 |        0
52.79/52.81	c 52.6s |      13 |    52265 |    38832 |    16696      4 |        0 |        0
54.78/54.84	c 54.6s |      13 |    54141 |    40232 |    16696      4 |        0 |        0
56.78/56.89	c 56.7s |      13 |    55947 |    41632 |    16696      4 |        0 |        0
58.98/59.05	c 58.8s |      13 |    57748 |    43032 |    16696      4 |        0 |        0
60.98/61.06	c 60.8s |      13 |    59372 |    44332 |    16696      4 |        0 |        0
63.08/63.15	c 62.9s |      13 |    60904 |    45532 |    16696      4 |        0 |        0
65.18/65.26	c 65.0s |      13 |    62450 |    46732 |    16696      5 |        0 |        0
67.28/67.36	c 67.1s |      13 |    64256 |    48132 |    16696      5 |        0 |        0
69.39/69.47	c 69.2s |      13 |    65888 |    49432 |    16696      5 |        0 |        0
71.49/71.53	c 71.3s |      13 |    67370 |    50632 |    16696      5 |        0 |        0
73.58/73.62	c 73.4s |      13 |    68922 |    51832 |    16696      5 |        0 |        0
75.58/75.66	c 75.4s |      13 |    70329 |    52932 |    16696      5 |        0 |        0
77.58/77.66	c 77.4s |      13 |    71872 |    54132 |    16696      5 |        0 |        0
79.68/79.73	c 79.5s |      13 |    73320 |    55332 |    16696      6 |        0 |        0
81.78/81.84	c 81.6s |      13 |    74924 |    56632 |    16696      6 |        0 |        0
83.78/83.87	c 83.6s |      13 |    76589 |    57932 |    16696      6 |        0 |        0
84.48/84.58	c 84.4s |      14 |    77109 |    58352 |    18366      6 |        0 |        0
86.48/86.59	c 86.4s |      14 |    78993 |    59752 |    18366      6 |        0 |        0
88.58/88.67	c 88.4s |      14 |    80730 |    61152 |    18366      6 |        0 |        0
90.68/90.79	c 90.6s |      14 |    82626 |    62652 |    18366      6 |        0 |        0
92.78/92.80	c 92.6s |      14 |    84279 |    63952 |    18366      6 |        0 |        0
94.78/94.84	c 94.6s |      14 |    85792 |    65152 |    18366      7 |        0 |        0
96.88/96.95	c 96.7s |      14 |    87617 |    66552 |    18366      7 |        0 |        0
98.98/99.07	c 98.8s |      14 |    89476 |    67952 |    18366      7 |        0 |        0
101.08/101.20	c  100s |      14 |    91128 |    69252 |    18366      7 |        0 |        0
103.18/103.27	c  103s |      14 |    92629 |    70452 |    18366      7 |        0 |        0
105.18/105.27	c  105s |      14 |    94042 |    71552 |    18366      7 |        0 |        0
107.37/107.40	c  107s |      14 |    95421 |    72652 |    18366      7 |        0 |        0
109.37/109.41	c  109s |      14 |    96728 |    73652 |    18366      7 |        0 |        0
111.47/111.51	c  111s |      14 |    98122 |    74752 |    18366      8 |        0 |        0
113.47/113.57	c  113s |      14 |    99629 |    75952 |    18366      8 |        0 |        0
115.58/115.60	c  115s |      14 |   101081 |    77152 |    18366      8 |        0 |        0
117.68/117.72	c  117s |      14 |   102557 |    78352 |    18366      8 |        0 |        0
119.67/119.75	c  119s |      14 |   103962 |    79452 |    18366      8 |        0 |        0
121.77/121.85	c  121s |      14 |   105352 |    80552 |    18366      8 |        0 |        0
123.77/123.86	c  123s |      14 |   106623 |    81552 |    18366      8 |        0 |        0
125.97/126.05	c  125s |      14 |   107996 |    82652 |    18366      8 |        0 |        0
128.37/128.40	c  128s |      14 |   109427 |    83752 |    18366      9 |        0 |        0
130.37/130.42	c  130s |      14 |   111020 |    85052 |    18366      9 |        0 |        0
132.37/132.47	c  132s |      14 |   112536 |    86252 |    18366      9 |        0 |        0
134.47/134.56	c  134s |      14 |   114071 |    87452 |    20203      9 |        0 |        0
134.87/134.92	c  134s |      15 |   114279 |    87632 |    20203      9 |        0 |        0
136.87/136.96	c  136s |      15 |   116043 |    88932 |    20203      9 |        0 |        0
138.97/139.02	c  138s |      15 |   117711 |    90232 |    20203      9 |        0 |        0
140.97/141.06	c  140s |      15 |   119488 |    91532 |    20203      9 |        0 |        0
143.07/143.19	c  142s |      15 |   121084 |    92832 |    20203      9 |        0 |        0
145.17/145.22	c  144s |      15 |   122684 |    94032 |    20203      9 |        0 |        0
147.26/147.38	c  147s |      15 |   124052 |    95132 |    20203     10 |        0 |        0
149.36/149.47	c  149s |      15 |   125649 |    96432 |    20203     10 |        0 |        0
151.36/151.47	c  151s |      15 |   127127 |    97632 |    20203     10 |        0 |        0
153.46/153.59	c  153s |      15 |   128613 |    98832 |    20203     10 |        0 |        0
155.56/155.66	c  155s |      15 |   130097 |   100032 |    20203     10 |        0 |        0
157.76/157.80	c  157s |      15 |   131664 |   101232 |    20203     10 |        0 |        0
159.86/159.96	c  159s |      15 |   133037 |   102332 |    20203     10 |        0 |        0
161.86/161.98	c  161s |      15 |   134263 |   103332 |    20203     10 |        0 |        0
164.06/164.14	c  163s |      15 |   135686 |   104432 |    20203     10 |        0 |        0
166.17/166.23	c  165s |      15 |   136941 |   105432 |    20203     11 |        0 |        0
168.16/168.25	c  168s |      15 |   138559 |   106732 |    20203     11 |        0 |        0
170.26/170.37	c  170s |      15 |   140068 |   107932 |    20203     11 |        0 |        0
172.36/172.47	c  172s |      15 |   141511 |   109132 |    20203     11 |        0 |        0
174.56/174.65	c  174s |      15 |   143048 |   110332 |    20203     11 |        0 |        0
176.66/176.78	c  176s |      15 |   144367 |   111432 |    20203     11 |        0 |        0
178.76/178.82	c  178s |      15 |   145791 |   112532 |    20203     11 |        0 |        0
180.86/180.95	c  180s |      15 |   147136 |   113632 |    20203     11 |        0 |        0
183.06/183.13	c  182s |      15 |   148521 |   114732 |    20203     11 |        0 |        0
185.06/185.14	c  184s |      15 |   149541 |   115532 |    20203     12 |        0 |        0
187.07/187.16	c  186s |      15 |   151107 |   116832 |    20203     12 |        0 |        0
189.16/189.23	c  188s |      15 |   152782 |   118132 |    20203     12 |        0 |        0
191.16/191.25	c  191s |      15 |   154306 |   119332 |    20203     12 |        0 |        0
193.26/193.38	c  193s |      15 |   155821 |   120532 |    20203     12 |        0 |        0
195.36/195.44	c  195s |      15 |   157223 |   121632 |    20203     12 |        0 |        0
197.46/197.52	c  197s |      15 |   158478 |   122632 |    20203     12 |        0 |        0
199.46/199.53	c  199s |      15 |   159752 |   123632 |    20203     12 |        0 |        0
201.56/201.62	c  201s |      15 |   161165 |   124732 |    20203     12 |        0 |        0
203.86/203.95	c  203s |      15 |   162582 |   125832 |    20203     13 |        0 |        0
205.96/206.03	c  205s |      15 |   164050 |   127032 |    20203     13 |        0 |        0
207.96/208.04	c  207s |      15 |   165575 |   128232 |    20203     13 |        0 |        0
209.96/210.06	c  209s |      15 |   167083 |   129432 |    20203     13 |        0 |        0
212.05/212.10	c  211s |      15 |   168509 |   130632 |    20203     13 |        0 |        0
213.55/213.63	c  213s |      16 |   169653 |   131552 |    22224     13 |        0 |        0
215.66/215.74	c  215s |      16 |   171589 |   132952 |    22224     13 |        0 |        0
217.76/217.89	c  217s |      16 |   173420 |   134352 |    22224     13 |        0 |        0
219.85/219.95	c  219s |      16 |   175145 |   135652 |    22224     13 |        0 |        0
221.85/222.00	c  221s |      16 |   176694 |   136852 |    22224     13 |        0 |        0
224.05/224.10	c  223s |      16 |   178252 |   138052 |    22224     13 |        0 |        0
226.15/226.23	c  226s |      16 |   179809 |   139252 |    22224     14 |        0 |        0
228.35/228.40	c  228s |      16 |   181452 |   140552 |    22224     14 |        0 |        0
230.35/230.46	c  230s |      16 |   183168 |   141852 |    22224     14 |        0 |        0
232.45/232.50	c  232s |      16 |   184702 |   143052 |    22224     14 |        0 |        0
234.45/234.57	c  234s |      16 |   186305 |   144252 |    22224     14 |        0 |        0
236.56/236.68	c  236s |      16 |   187725 |   145352 |    22224     14 |        0 |        0
238.66/238.75	c  238s |      16 |   189038 |   146352 |    22224     14 |        0 |        0
240.86/240.91	c  240s |      16 |   190513 |   147452 |    22224     14 |        0 |        0
242.85/242.97	c  242s |      16 |   191833 |   148452 |    22224     14 |        0 |        0
245.05/245.20	c  244s |      16 |   193115 |   149452 |    22224     15 |        0 |        0
247.25/247.30	c  247s |      16 |   194653 |   150652 |    22224     15 |        0 |        0
249.35/249.44	c  249s |      16 |   196195 |   151852 |    22224     15 |        0 |        0
251.35/251.46	c  251s |      16 |   197569 |   152952 |    22224     15 |        0 |        0
253.45/253.50	c  253s |      16 |   198969 |   154052 |    22224     15 |        0 |        0
255.55/255.60	c  255s |      16 |   200268 |   155052 |    22224     15 |        0 |        0
257.55/257.61	c  257s |      16 |   201607 |   156052 |    22224     15 |        0 |        0
259.65/259.77	c  259s |      16 |   203077 |   157152 |    22224     15 |        0 |        0
261.75/261.80	c  261s |      16 |   204373 |   158152 |    22224     15 |        0 |        0
263.85/263.95	c  263s |      16 |   205676 |   159152 |    22224     15 |        0 |        0
265.95/266.06	c  265s |      16 |   207010 |   160152 |    22224     15 |        0 |        0
268.05/268.10	c  267s |      16 |   208194 |   161052 |    22224     16 |        0 |        0
270.04/270.17	c  269s |      16 |   209857 |   162352 |    22224     16 |        0 |        0
272.14/272.28	c  272s |      16 |   211536 |   163652 |    22224     16 |        0 |        0
274.24/274.31	c  274s |      16 |   213024 |   164852 |    22224     16 |        0 |        0
276.24/276.32	c  276s |      16 |   214475 |   165952 |    22224     16 |        0 |        0
278.35/278.41	c  278s |      16 |   215801 |   166952 |    22224     16 |        0 |        0
280.45/280.56	c  280s |      16 |   217151 |   167952 |    22224     16 |        0 |        0
282.65/282.75	c  282s |      16 |   218427 |   168952 |    22224     16 |        0 |        0
284.74/284.81	c  284s |      16 |   219609 |   169852 |    22224     16 |        0 |        0
286.74/286.84	c  286s |      16 |   220748 |   170752 |    22224     16 |        0 |        0
288.74/288.88	c  288s |      16 |   221929 |   171652 |    22224     16 |        0 |        0
290.94/291.03	c  290s |      16 |   223248 |   172652 |    22224     17 |        0 |        0
293.04/293.14	c  292s |      16 |   224778 |   173852 |    22224     17 |        0 |        0
295.14/295.21	c  294s |      16 |   226216 |   174952 |    22224     17 |        0 |        0
297.14/297.24	c  297s |      16 |   227500 |   175952 |    22224     17 |        0 |        0
299.25/299.33	c  299s |      16 |   228852 |   176952 |    22224     17 |        0 |        0
301.35/301.42	c  301s |      16 |   230147 |   177952 |    22224     17 |        0 |        0
303.44/303.51	c  303s |      16 |   231471 |   178952 |    22224     17 |        0 |        0
305.55/305.68	c  305s |      16 |   232887 |   180052 |    22224     17 |        0 |        0
307.65/307.78	c  307s |      16 |   234256 |   181152 |    22224     17 |        0 |        0
309.85/309.91	c  309s |      16 |   235540 |   182152 |    22224     17 |        0 |        0
311.95/312.05	c  311s |      16 |   236847 |   183152 |    22224     17 |        0 |        0
313.95/314.06	c  313s |      16 |   238130 |   184152 |    22224     18 |        0 |        0
316.05/316.16	c  315s |      16 |   239663 |   185352 |    22224     18 |        0 |        0
318.25/318.31	c  318s |      16 |   241373 |   186652 |    22224     18 |        0 |        0
320.35/320.48	c  320s |      16 |   242868 |   187852 |    22224     18 |        0 |        0
322.45/322.55	c  322s |      16 |   244290 |   188952 |    22224     18 |        0 |        0
324.55/324.65	c  324s |      16 |   245726 |   190052 |    22224     18 |        0 |        0
326.54/326.65	c  326s |      16 |   246981 |   191052 |    22224     18 |        0 |        0
328.64/328.76	c  328s |      16 |   248258 |   192052 |    22224     18 |        0 |        0
330.74/330.86	c  330s |      16 |   249587 |   193052 |    22224     18 |        0 |        0
332.94/333.01	c  332s |      16 |   250804 |   193952 |    22224     18 |        0 |        0
335.24/335.40	c  335s |      16 |   251921 |   194852 |    22224     19 |        0 |        0
337.44/337.52	c  337s |      16 |   253411 |   196052 |    22224     19 |        0 |        0
339.44/339.55	c  339s |      16 |   254806 |   197152 |    24447     19 |        0 |        0
339.95/340.09	c  339s |      17 |   255151 |   197432 |    24447     19 |        0 |        0
341.94/342.09	c  341s |      17 |   257015 |   198732 |    24447     19 |        0 |        0
344.04/344.10	c  343s |      17 |   258733 |   200032 |    24447     19 |        0 |        0
346.04/346.19	c  345s |      17 |   260435 |   201332 |    24447     19 |        0 |        0
348.14/348.25	c  348s |      17 |   262006 |   202532 |    24447     19 |        0 |        0
350.34/350.41	c  350s |      17 |   263568 |   203732 |    24447     19 |        0 |        0
352.44/352.53	c  352s |      17 |   264971 |   204832 |    24447     19 |        0 |        0
354.64/354.70	c  354s |      17 |   266392 |   205932 |    24447     19 |        0 |        0
356.64/356.77	c  356s |      17 |   267611 |   206932 |    24447     19 |        0 |        0
358.74/358.82	c  358s |      17 |   268886 |   207932 |    24447     19 |        0 |        0
360.74/360.87	c  360s |      17 |   270030 |   208832 |    24447     20 |        0 |        0
362.94/363.06	c  362s |      17 |   271387 |   209932 |    24447     20 |        0 |        0
365.04/365.15	c  364s |      17 |   272707 |   211032 |    24447     20 |        0 |        0
367.13/367.21	c  366s |      17 |   273979 |   212032 |    24447     20 |        0 |        0
369.23/369.36	c  369s |      17 |   275413 |   213132 |    24447     20 |        0 |        0
371.33/371.41	c  371s |      17 |   276935 |   214332 |    24447     20 |        0 |        0
373.43/373.52	c  373s |      17 |   278321 |   215432 |    24447     20 |        0 |        0
375.53/375.69	c  375s |      17 |   279778 |   216532 |    24447     20 |        0 |        0
377.73/377.81	c  377s |      17 |   281063 |   217532 |    24447     20 |        0 |        0
379.93/380.03	c  379s |      17 |   282328 |   218532 |    24447     20 |        0 |        0
382.03/382.19	c  381s |      17 |   283564 |   219532 |    24447     20 |        0 |        0
384.13/384.22	c  383s |      17 |   284670 |   220432 |    24447     20 |        0 |        0
386.23/386.37	c  386s |      17 |   285824 |   221332 |    24447     21 |        0 |        0
388.23/388.39	c  388s |      17 |   287180 |   222432 |    24447     21 |        0 |        0
390.32/390.49	c  390s |      17 |   288559 |   223532 |    24447     21 |        0 |        0
392.42/392.59	c  392s |      17 |   289897 |   224632 |    24447     21 |        0 |        0
394.62/394.70	c  394s |      17 |   291261 |   225732 |    24447     21 |        0 |        0
396.72/396.83	c  396s |      17 |   292683 |   226832 |    24447     21 |        0 |        0
398.82/398.95	c  398s |      17 |   293958 |   227832 |    24447     21 |        0 |        0
400.92/401.07	c  400s |      17 |   295192 |   228832 |    24447     21 |        0 |        0
402.92/403.10	c  402s |      17 |   296494 |   229832 |    24447     21 |        0 |        0
405.12/405.24	c  405s |      17 |   297754 |   230832 |    24447     21 |        0 |        0
407.11/407.26	c  407s |      17 |   298895 |   231732 |    24447     21 |        0 |        0
409.31/409.44	c  409s |      17 |   300039 |   232632 |    24447     21 |        0 |        0
411.51/411.61	c  411s |      17 |   301042 |   233432 |    24447     22 |        0 |        0
413.52/413.67	c  413s |      17 |   302434 |   234532 |    24447     22 |        0 |        0
415.51/415.68	c  415s |      17 |   303828 |   235632 |    24447     22 |        0 |        0
417.71/417.85	c  417s |      17 |   305416 |   236832 |    24447     22 |        0 |        0
419.81/419.99	c  419s |      17 |   306884 |   238032 |    24447     22 |        0 |        0
421.90/422.05	c  421s |      17 |   308318 |   239132 |    24447     22 |        0 |        0
424.00/424.11	c  423s |      17 |   309624 |   240132 |    24447     22 |        0 |        0
426.00/426.14	c  425s |      17 |   310911 |   241132 |    24447     22 |        0 |        0
428.20/428.39	c  428s |      17 |   312210 |   242132 |    24447     22 |        0 |        0
430.30/430.41	c  430s |      17 |   313373 |   243032 |    24447     22 |        0 |        0
432.50/432.61	c  432s |      17 |   314621 |   244032 |    24447     22 |        0 |        0
434.51/434.63	c  434s |      17 |   315760 |   244932 |    24447     22 |        0 |        0
436.70/436.85	c  436s |      17 |   316771 |   245732 |    24447     23 |        0 |        0
438.90/439.02	c  438s |      17 |   318348 |   246932 |    24447     23 |        0 |        0
440.89/441.02	c  440s |      17 |   319817 |   248032 |    24447     23 |        0 |        0
442.89/443.09	c  442s |      17 |   321247 |   249132 |    24447     23 |        0 |        0
445.09/445.21	c  444s |      17 |   322711 |   250232 |    24447     23 |        0 |        0
447.19/447.38	c  447s |      17 |   324174 |   251332 |    24447     23 |        0 |        0
449.29/449.45	c  449s |      17 |   325605 |   252432 |    24447     23 |        0 |        0
451.29/451.49	c  451s |      17 |   326917 |   253432 |    24447     23 |        0 |        0
453.49/453.62	c  453s |      17 |   328373 |   254532 |    24447     23 |        0 |        0
455.49/455.66	c  455s |      17 |   329716 |   255532 |    24447     23 |        0 |        0
457.68/457.84	c  457s |      17 |   330993 |   256532 |    24447     23 |        0 |        0
459.79/459.98	c  459s |      17 |   332251 |   257532 |    24447     23 |        0 |        0
461.89/462.09	c  461s |      17 |   333408 |   258432 |    24447     24 |        0 |        0
463.98/464.19	c  463s |      17 |   334939 |   259632 |    24447     24 |        0 |        0
466.08/466.28	c  466s |      17 |   336483 |   260832 |    24447     24 |        0 |        0
468.18/468.38	c  468s |      17 |   337806 |   261932 |    24447     24 |        0 |        0
470.38/470.54	c  470s |      17 |   339227 |   263032 |    24447     24 |        0 |        0
472.38/472.57	c  472s |      17 |   340643 |   264132 |    24447     24 |        0 |        0
474.57/474.73	c  474s |      17 |   342045 |   265232 |    24447     24 |        0 |        0
476.67/476.90	c  476s |      17 |   343344 |   266232 |    24447     24 |        0 |        0
478.77/478.92	c  478s |      17 |   344516 |   267132 |    24447     24 |        0 |        0
480.87/481.03	c  480s |      17 |   345781 |   268132 |    24447     24 |        0 |        0
482.97/483.16	c  482s |      17 |   346978 |   269132 |    24447     24 |        0 |        0
485.08/485.21	c  484s |      17 |   348050 |   270032 |    24447     24 |        0 |        0
487.07/487.26	c  487s |      17 |   349135 |   270932 |    24447     25 |        0 |        0
489.26/489.45	c  489s |      17 |   350626 |   272132 |    24447     25 |        0 |        0
491.36/491.50	c  491s |      17 |   352062 |   273232 |    24447     25 |        0 |        0
493.36/493.58	c  493s |      17 |   353525 |   274332 |    24447     25 |        0 |        0
495.46/495.65	c  495s |      17 |   354963 |   275432 |    24447     25 |        0 |        0
497.46/497.67	c  497s |      17 |   356403 |   276532 |    24447     25 |        0 |        0
499.56/499.75	c  499s |      17 |   357830 |   277632 |    24447     25 |        0 |        0
501.76/501.92	c  501s |      17 |   359294 |   278732 |    24447     25 |        0 |        0
503.77/503.95	c  503s |      17 |   360603 |   279732 |    24447     25 |        0 |        0
505.76/505.98	c  505s |      17 |   361862 |   280732 |    24447     25 |        0 |        0
507.75/507.99	c  507s |      17 |   363012 |   281632 |    24447     25 |        0 |        0
509.95/510.18	c  509s |      17 |   364288 |   282632 |    24447     25 |        0 |        0
512.15/512.31	c  512s |      17 |   365521 |   283632 |    24447     26 |        0 |        0
514.15/514.33	c  514s |      17 |   366900 |   284732 |    24447     26 |        0 |        0
516.25/516.43	c  516s |      17 |   368475 |   285932 |    24447     26 |        0 |        0
518.25/518.46	c  518s |      17 |   369934 |   287032 |    24447     26 |        0 |        0
520.35/520.53	c  520s |      17 |   371392 |   288132 |    24447     26 |        0 |        0
522.35/522.60	c  522s |      17 |   372631 |   289132 |    24447     26 |        0 |        0
524.56/524.77	c  524s |      17 |   374076 |   290232 |    24447     26 |        0 |        0
526.75/526.96	c  526s |      17 |   375629 |   291432 |    24447     26 |        0 |        0
528.95/529.14	c  528s |      17 |   377058 |   292532 |    24447     26 |        0 |        0
531.04/531.29	c  531s |      17 |   378426 |   293632 |    24447     26 |        0 |        0
533.04/533.30	c  533s |      17 |   379552 |   294532 |    26892     26 |        0 |        0
535.24/535.43	c  535s |      17 |   380870 |   295532 |    26892     26 |        0 |        0
536.84/537.06	c  536s |      18 |   381808 |   296252 |    26892     26 |        0 |        0
538.85/539.06	c  538s |      18 |   383155 |   297252 |    26892     26 |        0 |        0
540.84/541.09	c  540s |      18 |   384549 |   298352 |    26892     27 |        0 |        0
543.04/543.23	c  542s |      18 |   386282 |   299752 |    26892     27 |        0 |        0
545.04/545.29	c  545s |      18 |   387979 |   301052 |    26892     27 |        0 |        0
547.24/547.44	c  547s |      18 |   389646 |   302352 |    26892     27 |        0 |        0
549.34/549.52	c  549s |      18 |   391202 |   303552 |    26892     27 |        0 |        0
551.34/551.59	c  551s |      18 |   392592 |   304652 |    26892     27 |        0 |        0
553.53/553.70	c  553s |      18 |   394056 |   305752 |    26892     27 |        0 |        0
555.63/555.84	c  555s |      18 |   395486 |   306852 |    26892     27 |        0 |        0
557.64/557.85	c  557s |      18 |   397009 |   307952 |    26892     27 |        0 |        0
559.84/560.04	c  559s |      18 |   398540 |   309152 |    26892     27 |        0 |        0
561.94/562.14	c  561s |      18 |   399990 |   310252 |    26892     27 |        0 |        0
564.14/564.35	c  564s |      18 |   401356 |   311352 |    26892     27 |        0 |        0
566.23/566.40	c  566s |      18 |   402730 |   312452 |    26892     28 |        0 |        0
568.23/568.41	c  568s |      18 |   404296 |   313652 |    26892     28 |        0 |        0
570.33/570.57	c  570s |      18 |   405822 |   314852 |    26892     28 |        0 |        0
572.43/572.63	c  572s |      18 |   407197 |   315952 |    26892     28 |        0 |        0
574.53/574.77	c  574s |      18 |   408653 |   317152 |    26892     28 |        0 |        0
576.73/576.92	c  576s |      18 |   410074 |   318252 |    26892     28 |        0 |        0
578.83/579.01	c  578s |      18 |   411462 |   319352 |    26892     28 |        0 |        0
580.92/581.17	c  580s |      18 |   412870 |   320452 |    26892     28 |        0 |        0
582.93/583.18	c  582s |      18 |   414161 |   321452 |    26892     28 |        0 |        0
585.13/585.33	c  585s |      18 |   415505 |   322452 |    26892     28 |        0 |        0
587.23/587.45	c  587s |      18 |   416948 |   323552 |    26892     28 |        0 |        0
589.32/589.57	c  589s |      18 |   418185 |   324552 |    26892     28 |        0 |        0
591.32/591.59	c  591s |      18 |   419179 |   325352 |    26892     29 |        0 |        0
593.42/593.68	c  593s |      18 |   420669 |   326552 |    26892     29 |        0 |        0
595.52/595.72	c  595s |      18 |   422097 |   327652 |    26892     29 |        0 |        0
597.62/597.89	c  597s |      18 |   423696 |   328852 |    26892     29 |        0 |        0
599.71/599.91	c  599s |      18 |   425178 |   329952 |    26892     29 |        0 |        0
601.81/602.04	c  601s |      18 |   426603 |   331052 |    26892     29 |        0 |        0
603.91/604.14	c  603s |      18 |   427899 |   332052 |    26892     29 |        0 |        0
606.11/606.36	c  606s |      18 |   429156 |   333052 |    26892     29 |        0 |        0
608.11/608.40	c  608s |      18 |   430301 |   333952 |    26892     29 |        0 |        0
610.42/610.61	c  610s |      18 |   431627 |   334952 |    26892     29 |        0 |        0
612.51/612.72	c  612s |      18 |   432708 |   335852 |    26892     29 |        0 |        0
614.61/614.83	c  614s |      18 |   433817 |   336752 |    26892     29 |        0 |        0
616.60/616.83	c  616s |      18 |   434984 |   337652 |    26892     29 |        0 |        0
618.60/618.88	c  618s |      18 |   436157 |   338552 |    26892     29 |        0 |        0
620.70/620.90	c  620s |      18 |   437319 |   339452 |    26892     30 |        0 |        0
622.80/623.10	c  622s |      18 |   438818 |   340652 |    26892     30 |        0 |        0
625.00/625.26	c  625s |      18 |   440197 |   341752 |    26892     30 |        0 |        0
627.10/627.34	c  627s |      18 |   441414 |   342752 |    26892     30 |        0 |        0
629.20/629.45	c  629s |      18 |   442686 |   343752 |    26892     30 |        0 |        0
631.30/631.57	c  631s |      18 |   443912 |   344752 |    26892     30 |        0 |        0
633.30/633.59	c  633s |      18 |   445199 |   345752 |    26892     30 |        0 |        0
635.50/635.74	c  635s |      18 |   446650 |   346852 |    26892     30 |        0 |        0
637.49/637.77	c  637s |      18 |   447905 |   347852 |    26892     30 |        0 |        0
639.79/640.02	c  639s |      18 |   449153 |   348852 |    26892     30 |        0 |        0
641.79/642.03	c  641s |      18 |   450148 |   349652 |    26892     30 |        0 |        0
643.99/644.21	c  643s |      18 |   451338 |   350552 |    26892     30 |        0 |        0
645.99/646.24	c  646s |      18 |   452359 |   351352 |    26892     30 |        0 |        0
648.18/648.49	c  648s |      18 |   453481 |   352252 |    26892     30 |        0 |        0
650.38/650.62	c  650s |      18 |   454577 |   353152 |    26892     31 |        0 |        0
652.48/652.72	c  652s |      18 |   456163 |   354352 |    26892     31 |        0 |        0
654.58/654.88	c  654s |      18 |   457602 |   355452 |    26892     31 |        0 |        0
656.68/656.91	c  656s |      18 |   458998 |   356552 |    26892     31 |        0 |        0
658.78/659.02	c  658s |      18 |   460411 |   357652 |    26892     31 |        0 |        0
660.98/661.23	c  660s |      18 |   461831 |   358752 |    26892     31 |        0 |        0
663.08/663.37	c  663s |      18 |   463059 |   359752 |    26892     31 |        0 |        0
665.18/665.50	c  665s |      18 |   464371 |   360752 |    26892     31 |        0 |        0
667.37/667.60	c  667s |      18 |   465703 |   361752 |    26892     31 |        0 |        0
669.57/669.81	c  669s |      18 |   466928 |   362752 |    26892     31 |        0 |        0
671.67/671.93	c  671s |      18 |   468073 |   363652 |    26892     31 |        0 |        0
673.77/674.02	c  673s |      18 |   469196 |   364552 |    26892     31 |        0 |        0
675.97/676.20	c  675s |      18 |   470376 |   365452 |    26892     31 |        0 |        0
678.17/678.46	c  678s |      18 |   471404 |   366252 |    26892     32 |        0 |        0
680.17/680.47	c  680s |      18 |   472977 |   367452 |    26892     32 |        0 |        0
682.27/682.50	c  682s |      18 |   474559 |   368652 |    26892     32 |        0 |        0
684.37/684.67	c  684s |      18 |   476073 |   369852 |    26892     32 |        0 |        0
686.46/686.75	c  686s |      18 |   477455 |   370952 |    26892     32 |        0 |        0
688.56/688.85	c  688s |      18 |   478892 |   372052 |    26892     32 |        0 |        0
690.76/691.01	c  690s |      18 |   480265 |   373152 |    26892     32 |        0 |        0
692.96/693.21	c  692s |      18 |   481696 |   374252 |    26892     32 |        0 |        0
695.07/695.34	c  695s |      18 |   482966 |   375252 |    26892     32 |        0 |        0
697.16/697.50	c  697s |      18 |   484257 |   376252 |    26892     32 |        0 |        0
699.36/699.60	c  699s |      18 |   485524 |   377252 |    26892     32 |        0 |        0
701.36/701.66	c  701s |      18 |   486658 |   378152 |    26892     32 |        0 |        0
703.56/703.80	c  703s |      18 |   487786 |   379052 |    26892     32 |        0 |        0
705.85/706.13	c  705s |      18 |   488969 |   379952 |    26892     33 |        0 |        0
707.85/708.16	c  707s |      18 |   490351 |   381052 |    26892     33 |        0 |        0
709.95/710.25	c  710s |      18 |   491904 |   382252 |    26892     33 |        0 |        0
712.05/712.34	c  712s |      18 |   493263 |   383352 |    26892     33 |        0 |        0
714.16/714.41	c  714s |      18 |   494617 |   384452 |    26892     33 |        0 |        0
716.26/716.55	c  716s |      18 |   495967 |   385552 |    26892     33 |        0 |        0
718.45/718.75	c  718s |      18 |   497389 |   386652 |    26892     33 |        0 |        0
720.65/720.90	c  720s |      18 |   498662 |   387652 |    26892     33 |        0 |        0
722.75/723.05	c  722s |      18 |   499933 |   388652 |    26892     33 |        0 |        0
724.85/725.10	c  724s |      18 |   501033 |   389552 |    26892     33 |        0 |        0
727.05/727.30	c  727s |      18 |   502276 |   390552 |    26892     33 |        0 |        0
729.05/729.38	c  729s |      18 |   503395 |   391452 |    26892     33 |        0 |        0
731.25/731.52	c  731s |      18 |   504563 |   392352 |    26892     33 |        0 |        0
733.25/733.53	c  733s |      18 |   505696 |   393252 |    26892     33 |        0 |        0
735.35/735.62	c  735s |      18 |   506871 |   394152 |    26892     34 |        0 |        0
737.44/737.79	c  737s |      18 |   508362 |   395352 |    26892     34 |        0 |        0
739.54/739.85	c  739s |      18 |   509726 |   396452 |    26892     34 |        0 |        0
741.64/741.99	c  741s |      18 |   511087 |   397552 |    26892     34 |        0 |        0
743.84/744.13	c  743s |      18 |   512478 |   398652 |    26892     34 |        0 |        0
745.84/746.18	c  745s |      18 |   513715 |   399652 |    26892     34 |        0 |        0
747.93/748.29	c  748s |      18 |   515118 |   400752 |    26892     34 |        0 |        0
750.04/750.38	c  750s |      18 |   516556 |   401852 |    26892     34 |        0 |        0
752.24/752.52	c  752s |      18 |   518004 |   402952 |    26892     34 |        0 |        0
754.34/754.67	c  754s |      18 |   519232 |   403952 |    26892     34 |        0 |        0
756.43/756.70	c  756s |      18 |   520534 |   404952 |    26892     34 |        0 |        0
758.42/758.74	c  758s |      18 |   521790 |   405952 |    26892     34 |        0 |        0
760.62/760.92	c  760s |      18 |   523053 |   406952 |    26892     34 |        0 |        0
762.62/762.95	c  762s |      18 |   524194 |   407852 |    26892     35 |        0 |        0
764.72/765.10	c  764s |      18 |   525821 |   409152 |    26892     35 |        0 |        0
766.82/767.12	c  766s |      18 |   527320 |   410352 |    26892     35 |        0 |        0
768.92/769.28	c  769s |      18 |   528827 |   411552 |    26892     35 |        0 |        0
771.12/771.42	c  771s |      18 |   530357 |   412752 |    26892     35 |        0 |        0
773.22/773.59	c  773s |      18 |   531925 |   413952 |    26892     35 |        0 |        0
775.42/775.77	c  775s |      18 |   533303 |   415052 |    26892     35 |        0 |        0
777.52/777.87	c  777s |      18 |   534594 |   416052 |    26892     35 |        0 |        0
779.62/779.91	c  779s |      18 |   535873 |   417052 |    26892     35 |        0 |        0
781.71/782.00	c  781s |      18 |   537131 |   418052 |    26892     35 |        0 |        0
783.81/784.12	c  783s |      18 |   538423 |   419052 |    26892     35 |        0 |        0
786.01/786.30	c  786s |      18 |   539714 |   420052 |    26892     35 |        0 |        0
788.21/788.56	c  788s |      18 |   540883 |   420952 |    26892     36 |        0 |        0
790.31/790.68	c  790s |      18 |   542402 |   422152 |    26892     36 |        0 |        0
792.41/792.70	c  792s |      18 |   543767 |   423252 |    26892     36 |        0 |        0
794.41/794.74	c  794s |      18 |   545138 |   424352 |    26892     36 |        0 |        0
796.60/796.90	c  796s |      18 |   546511 |   425452 |    26892     36 |        0 |        0
798.60/798.97	c  798s |      18 |   547884 |   426552 |    26892     36 |        0 |        0
800.70/801.09	c  800s |      18 |   549231 |   427652 |    26892     36 |        0 |        0
802.70/803.10	c  802s |      18 |   550601 |   428652 |    26892     36 |        0 |        0
804.80/805.18	c  804s |      18 |   551901 |   429652 |    26892     36 |        0 |        0
806.89/807.25	c  807s |      18 |   553125 |   430652 |    26892     36 |        0 |        0
808.99/809.30	c  809s |      18 |   554293 |   431552 |    26892     36 |        0 |        0
810.99/811.31	c  811s |      18 |   555501 |   432452 |    26892     36 |        0 |        0
813.09/813.49	c  813s |      18 |   556779 |   433452 |    26892     36 |        0 |        0
815.39/815.74	c  815s |      18 |   558055 |   434452 |    26892     36 |        0 |        0
817.39/817.77	c  817s |      18 |   559211 |   435352 |    26892     37 |        0 |        0
819.39/819.78	c  819s |      18 |   560543 |   436452 |    26892     37 |        0 |        0
821.49/821.88	c  821s |      18 |   561935 |   437552 |    26892     37 |        0 |        0
823.69/824.06	c  823s |      18 |   563312 |   438652 |    26892     37 |        0 |        0
825.89/826.22	c  825s |      18 |   564719 |   439752 |    26892     37 |        0 |        0
827.88/828.28	c  828s |      18 |   565956 |   440752 |    26892     37 |        0 |        0
829.98/830.39	c  830s |      18 |   567197 |   441752 |    29582     37 |        0 |        0
832.08/832.45	c  832s |      18 |   568465 |   442752 |    29582     37 |        0 |        0
834.28/834.63	c  834s |      18 |   569736 |   443752 |    29582     37 |        0 |        0
835.88/836.29	c  836s |      19 |   570667 |   444482 |    29582     37 |        0 |        0
838.07/838.44	c  838s |      19 |   571996 |   445482 |    29582     37 |        0 |        0
840.08/840.50	c  840s |      19 |   573550 |   446682 |    29582     37 |        0 |        0
842.28/842.62	c  842s |      19 |   575065 |   447882 |    29582     37 |        0 |        0
844.37/844.74	c  844s |      19 |   576591 |   449082 |    29582     37 |        0 |        0
846.57/846.94	c  846s |      19 |   578118 |   450282 |    29582     37 |        0 |        0
848.67/849.09	c  848s |      19 |   579500 |   451382 |    29582     38 |        0 |        0
850.87/851.22	c  850s |      19 |   581245 |   452782 |    29582     38 |        0 |        0
852.87/853.23	c  852s |      19 |   582960 |   454082 |    29582     38 |        0 |        0
854.97/855.35	c  855s |      19 |   584624 |   455382 |    29582     38 |        0 |        0
856.96/857.38	c  857s |      19 |   585988 |   456482 |    29582     38 |        0 |        0
859.16/859.52	c  859s |      19 |   587594 |   457682 |    29582     38 |        0 |        0
861.26/861.61	c  861s |      19 |   589205 |   458882 |    29582     38 |        0 |        0
863.27/863.65	c  863s |      19 |   590591 |   459982 |    29582     38 |        0 |        0
865.47/865.85	c  865s |      19 |   591990 |   461082 |    29582     38 |        0 |        0
867.46/867.88	c  867s |      19 |   593268 |   462082 |    29582     38 |        0 |        0
869.55/869.97	c  869s |      19 |   594538 |   463082 |    29582     38 |        0 |        0
871.75/872.14	c  871s |      19 |   595825 |   464082 |    29582     38 |        0 |        0
873.75/874.16	c  873s |      19 |   596993 |   464982 |    29582     38 |        0 |        0
875.85/876.29	c  876s |      19 |   598268 |   465982 |    29582     38 |        0 |        0
877.95/878.30	c  878s |      19 |   599644 |   467082 |    29582     39 |        0 |        0
879.95/880.35	c  880s |      19 |   601207 |   468282 |    29582     39 |        0 |        0
881.95/882.37	c  882s |      19 |   602605 |   469382 |    29582     39 |        0 |        0
884.05/884.48	c  884s |      19 |   604082 |   470582 |    29582     39 |        0 |        0
886.25/886.68	c  886s |      19 |   605641 |   471782 |    29582     39 |        0 |        0
888.24/888.69	c  888s |      19 |   607021 |   472882 |    29582     39 |        0 |        0
890.44/890.86	c  890s |      19 |   608389 |   473982 |    29582     39 |        0 |        0
892.54/892.92	c  892s |      19 |   609778 |   475082 |    29582     39 |        0 |        0
894.64/895.09	c  894s |      19 |   611200 |   476182 |    29582     39 |        0 |        0
896.84/897.20	c  896s |      19 |   612410 |   477182 |    29582     39 |        0 |        0
898.84/899.29	c  899s |      19 |   613692 |   478182 |    29582     39 |        0 |        0
901.04/901.46	c  901s |      19 |   614939 |   479182 |    29582     39 |        0 |        0
903.14/903.51	c  903s |      19 |   616123 |   480082 |    29582     39 |        0 |        0
905.24/905.68	c  905s |      19 |   617269 |   480982 |    29582     39 |        0 |        0
907.43/907.80	c  907s |      19 |   618518 |   481982 |    29582     40 |        0 |        0
909.44/909.87	c  909s |      19 |   619879 |   483082 |    29582     40 |        0 |        0
911.54/911.98	c  911s |      19 |   621445 |   484282 |    29582     40 |        0 |        0
913.63/914.01	c  913s |      19 |   622783 |   485382 |    29582     40 |        0 |        0
915.63/916.06	c  915s |      19 |   624235 |   486482 |    29582     40 |        0 |        0
917.83/918.25	c  918s |      19 |   625676 |   487582 |    29582     40 |        0 |        0
919.93/920.38	c  920s |      19 |   627022 |   488582 |    29582     40 |        0 |        0
922.13/922.51	c  922s |      19 |   628281 |   489582 |    29582     40 |        0 |        0
924.13/924.52	c  924s |      19 |   629390 |   490482 |    29582     40 |        0 |        0
926.13/926.55	c  926s |      19 |   630692 |   491482 |    29582     40 |        0 |        0
928.22/928.65	c  928s |      19 |   631899 |   492482 |    29582     40 |        0 |        0
930.33/930.72	c  930s |      19 |   633202 |   493482 |    29582     40 |        0 |        0
932.43/932.86	c  932s |      19 |   634530 |   494482 |    29582     40 |        0 |        0
934.62/935.06	c  934s |      19 |   635826 |   495482 |    29582     40 |        0 |        0
936.71/937.16	c  936s |      19 |   636790 |   496282 |    29582     41 |        0 |        0
938.91/939.32	c  939s |      19 |   638400 |   497582 |    29582     41 |        0 |        0
940.91/941.32	c  941s |      19 |   639921 |   498782 |    29582     41 |        0 |        0
943.01/943.44	c  943s |      19 |   641411 |   499982 |    29582     41 |        0 |        0
945.01/945.49	c  945s |      19 |   642762 |   501082 |    29582     41 |        0 |        0
947.21/947.67	c  947s |      19 |   644278 |   502282 |    29582     41 |        0 |        0
949.31/949.79	c  949s |      19 |   645636 |   503382 |    29582     41 |        0 |        0
951.41/951.87	c  951s |      19 |   646974 |   504482 |    29582     41 |        0 |        0
953.51/953.98	c  953s |      19 |   648384 |   505582 |    29582     41 |        0 |        0
955.71/956.11	c  955s |      19 |   649657 |   506582 |    29582     41 |        0 |        0
957.81/958.27	c  958s |      19 |   650938 |   507582 |    29582     41 |        0 |        0
959.80/960.27	c  960s |      19 |   652065 |   508482 |    29582     41 |        0 |        0
962.00/962.49	c  962s |      19 |   653300 |   509482 |    29582     41 |        0 |        0
964.10/964.54	c  964s |      19 |   654456 |   510382 |    29582     41 |        0 |        0
966.21/966.66	c  966s |      19 |   655451 |   511182 |    29582     42 |        0 |        0
968.40/968.80	c  968s |      19 |   656801 |   512282 |    29582     42 |        0 |        0
970.50/970.95	c  970s |      19 |   658128 |   513382 |    29582     42 |        0 |        0
972.50/972.98	c  972s |      19 |   659356 |   514382 |    29582     42 |        0 |        0
974.70/975.15	c  974s |      19 |   660873 |   515582 |    29582     42 |        0 |        0
976.90/977.32	c  977s |      19 |   662227 |   516682 |    29582     42 |        0 |        0
979.00/979.44	c  979s |      19 |   663652 |   517782 |    29582     42 |        0 |        0
981.10/981.50	c  981s |      19 |   664912 |   518782 |    29582     42 |        0 |        0
983.20/983.63	c  983s |      19 |   666167 |   519782 |    29582     42 |        0 |        0
985.20/985.70	c  985s |      19 |   667307 |   520682 |    29582     42 |        0 |        0
987.29/987.74	c  987s |      19 |   668422 |   521582 |    29582     42 |        0 |        0
989.29/989.79	c  989s |      19 |   669481 |   522482 |    29582     42 |        0 |        0
991.39/991.82	c  991s |      19 |   670486 |   523282 |    29582     42 |        0 |        0
993.39/993.82	c  993s |      19 |   671565 |   524182 |    29582     42 |        0 |        0
995.49/995.97	c  995s |      19 |   672675 |   525082 |    29582     42 |        0 |        0
997.69/998.15	c  997s |      19 |   673797 |   525982 |    29582     42 |        0 |        0
999.79/1000.25	c 1000s |      19 |   675034 |   526982 |    29582     43 |        0 |        0
1001.89/1002.31	c 1002s |      19 |   676402 |   528082 |    29582     43 |        0 |        0
1003.89/1004.39	c 1004s |      19 |   677760 |   529182 |    29582     43 |        0 |        0
1005.99/1006.40	c 1006s |      19 |   679132 |   530282 |    29582     43 |        0 |        0
1007.98/1008.43	c 1008s |      19 |   680500 |   531382 |    29582     43 |        0 |        0
1010.18/1010.61	c 1010s |      19 |   681895 |   532482 |    29582     43 |        0 |        0
1012.28/1012.76	c 1012s |      19 |   683212 |   533582 |    29582     43 |        0 |        0
1014.38/1014.81	c 1014s |      19 |   684410 |   534582 |    29582     43 |        0 |        0
1016.48/1016.99	c 1016s |      19 |   685640 |   535582 |    29582     43 |        0 |        0
1018.68/1019.11	c 1018s |      19 |   686878 |   536582 |    29582     43 |        0 |        0
1020.68/1021.16	c 1020s |      19 |   687996 |   537482 |    29582     43 |        0 |        0
1022.88/1023.37	c 1023s |      19 |   689286 |   538482 |    29582     43 |        0 |        0
1024.98/1025.44	c 1025s |      19 |   690352 |   539382 |    29582     43 |        0 |        0
1027.08/1027.53	c 1027s |      19 |   691453 |   540282 |    29582     43 |        0 |        0
1029.18/1029.68	c 1029s |      19 |   692544 |   541182 |    29582     43 |        0 |        0
1031.27/1031.75	c 1031s |      19 |   693776 |   542182 |    29582     44 |        0 |        0
1033.47/1033.94	c 1033s |      19 |   695265 |   543382 |    29582     44 |        0 |        0
1035.47/1035.99	c 1035s |      19 |   696475 |   544382 |    29582     44 |        0 |        0
1037.67/1038.14	c 1037s |      19 |   697827 |   545482 |    29582     44 |        0 |        0
1039.87/1040.35	c 1040s |      19 |   699181 |   546582 |    29582     44 |        0 |        0
1042.07/1042.51	c 1042s |      19 |   700433 |   547582 |    29582     44 |        0 |        0
1044.07/1044.53	c 1044s |      19 |   701533 |   548482 |    29582     44 |        0 |        0
1046.27/1046.72	c 1046s |      19 |   702767 |   549482 |    29582     44 |        0 |        0
1048.47/1048.92	c 1048s |      19 |   703994 |   550482 |    29582     44 |        0 |        0
1050.67/1051.12	c 1050s |      19 |   705283 |   551482 |    29582     44 |        0 |        0
1052.77/1053.29	c 1053s |      19 |   706560 |   552482 |    29582     44 |        0 |        0
1054.97/1055.48	c 1055s |      19 |   707847 |   553482 |    29582     44 |        0 |        0
1057.27/1057.72	c 1057s |      19 |   709153 |   554482 |    29582     44 |        0 |        0
1059.47/1059.96	c 1059s |      19 |   710264 |   555382 |    29582     44 |        0 |        0
1061.57/1062.09	c 1061s |      19 |   711281 |   556182 |    29582     45 |        0 |        0
1063.77/1064.22	c 1063s |      19 |   712769 |   557382 |    29582     45 |        0 |        0
1065.87/1066.37	c 1066s |      19 |   714402 |   558682 |    29582     45 |        0 |        0
1067.97/1068.42	c 1068s |      19 |   715827 |   559782 |    29582     45 |        0 |        0
1070.07/1070.51	c 1070s |      19 |   717222 |   560882 |    29582     45 |        0 |        0
1072.07/1072.59	c 1072s |      19 |   718419 |   561882 |    29582     45 |        0 |        0
1074.27/1074.78	c 1074s |      19 |   719702 |   562882 |    29582     45 |        0 |        0
1076.47/1076.99	c 1076s |      19 |   720902 |   563882 |    29582     45 |        0 |        0
1078.57/1079.10	c 1078s |      19 |   722092 |   564782 |    29582     45 |        0 |        0
1080.77/1081.30	c 1081s |      19 |   723452 |   565882 |    29582     45 |        0 |        0
1082.97/1083.49	c 1083s |      19 |   724878 |   566982 |    29582     45 |        0 |        0
1085.07/1085.56	c 1085s |      19 |   726111 |   567982 |    29582     45 |        0 |        0
1087.26/1087.71	c 1087s |      19 |   727519 |   569082 |    29582     45 |        0 |        0
1089.36/1089.89	c 1089s |      19 |   728790 |   570082 |    29582     45 |        0 |        0
1091.56/1092.08	c 1091s |      19 |   729869 |   570982 |    29582     45 |        0 |        0
1093.66/1094.19	c 1093s |      19 |   731072 |   571982 |    29582     46 |        0 |        0
1095.76/1096.24	c 1096s |      19 |   732533 |   573182 |    29582     46 |        0 |        0
1097.86/1098.35	c 1098s |      19 |   734060 |   574382 |    29582     46 |        0 |        0
1099.96/1100.48	c 1100s |      19 |   735591 |   575582 |    29582     46 |        0 |        0
1102.06/1102.57	c 1102s |      19 |   737142 |   576782 |    29582     46 |        0 |        0
1104.16/1104.67	c 1104s |      19 |   738703 |   577982 |    29582     46 |        0 |        0
1106.36/1106.85	c 1106s |      19 |   740282 |   579182 |    29582     46 |        0 |        0
1108.37/1108.89	c 1108s |      19 |   741650 |   580282 |    29582     46 |        0 |        0
1110.46/1110.96	c 1110s |      19 |   742926 |   581282 |    29582     46 |        0 |        0
1112.56/1113.07	c 1112s |      19 |   744345 |   582382 |    29582     46 |        0 |        0
1114.76/1115.21	c 1114s |      19 |   745740 |   583482 |    29582     46 |        0 |        0
1116.86/1117.33	c 1117s |      19 |   747001 |   584482 |    29582     46 |        0 |        0
1118.86/1119.34	c 1119s |      19 |   748158 |   585382 |    29582     46 |        0 |        0
1121.16/1121.66	c 1121s |      19 |   749314 |   586282 |    29582     47 |        0 |        0
1123.26/1123.70	c 1123s |      19 |   750877 |   587482 |    29582     47 |        0 |        0
1125.26/1125.78	c 1125s |      19 |   752384 |   588682 |    29582     47 |        0 |        0
1127.46/1127.98	c 1127s |      19 |   753939 |   589882 |    29582     47 |        0 |        0
1129.56/1130.02	c 1129s |      19 |   755358 |   590982 |    29582     47 |        0 |        0
1131.57/1132.05	c 1131s |      19 |   756792 |   592082 |    29582     47 |        0 |        0
1133.66/1134.19	c 1133s |      19 |   758179 |   593182 |    29582     47 |        0 |        0
1135.76/1136.24	c 1136s |      19 |   759482 |   594182 |    29582     47 |        0 |        0
1137.86/1138.34	c 1138s |      19 |   760891 |   595282 |    29582     47 |        0 |        0
1139.96/1140.41	c 1140s |      19 |   762180 |   596282 |    29582     47 |        0 |        0
1141.96/1142.46	c 1142s |      19 |   763322 |   597182 |    29582     47 |        0 |        0
1144.06/1144.51	c 1144s |      19 |   764454 |   598082 |    29582     47 |        0 |        0
1146.05/1146.52	c 1146s |      19 |   765574 |   598982 |    29582     47 |        0 |        0
1148.25/1148.72	c 1148s |      19 |   766716 |   599882 |    29582     47 |        0 |        0
1150.35/1150.89	c 1150s |      19 |   767883 |   600782 |    29582     47 |        0 |        0
1152.55/1153.05	c 1152s |      19 |   769010 |   601682 |    29582     48 |        0 |        0
1154.75/1155.24	c 1155s |      19 |   770517 |   602882 |    29582     48 |        0 |        0
1156.86/1157.37	c 1157s |      19 |   772037 |   604082 |    29582     48 |        0 |        0
1159.06/1159.52	c 1159s |      19 |   773547 |   605282 |    29582     48 |        0 |        0
1161.16/1161.65	c 1161s |      19 |   774851 |   606382 |    29582     48 |        0 |        0
1163.15/1163.65	c 1163s |      19 |   776079 |   607382 |    29582     48 |        0 |        0
1165.25/1165.76	c 1165s |      19 |   777301 |   608382 |    29582     48 |        0 |        0
1167.45/1167.94	c 1167s |      19 |   778671 |   609482 |    29582     48 |        0 |        0
1169.55/1170.00	c 1169s |      19 |   779898 |   610482 |    29582     48 |        0 |        0
1171.65/1172.13	c 1171s |      19 |   781188 |   611482 |    29582     48 |        0 |        0
1173.85/1174.36	c 1174s |      19 |   782424 |   612482 |    29582     48 |        0 |        0
1175.85/1176.37	c 1176s |      19 |   783520 |   613382 |    29582     48 |        0 |        0
1178.15/1178.61	c 1178s |      19 |   784775 |   614382 |    29582     48 |        0 |        0
1180.15/1180.69	c 1180s |      19 |   785879 |   615282 |    29582     48 |        0 |        0
1182.25/1182.71	c 1182s |      19 |   786977 |   616182 |    29582     48 |        0 |        0
1184.36/1184.88	c 1184s |      19 |   788345 |   617282 |    29582     49 |        0 |        0
1186.55/1187.01	c 1186s |      19 |   789824 |   618482 |    29582     49 |        0 |        0
1188.65/1189.12	c 1188s |      19 |   791166 |   619582 |    29582     49 |        0 |        0
1190.75/1191.20	c 1190s |      19 |   792533 |   620682 |    29582     49 |        0 |        0
1192.75/1193.22	c 1192s |      19 |   793755 |   621682 |    29582     49 |        0 |        0
1194.75/1195.26	c 1195s |      19 |   794969 |   622682 |    29582     49 |        0 |        0
1196.95/1197.44	c 1197s |      19 |   796341 |   623782 |    29582     49 |        0 |        0
1198.94/1199.46	c 1199s |      19 |   797587 |   624782 |    29582     49 |        0 |        0
1201.14/1201.63	c 1201s |      19 |   798980 |   625882 |    29582     49 |        0 |        0
1203.14/1203.64	c 1203s |      19 |   800076 |   626782 |    29582     49 |        0 |        0
1205.15/1205.69	c 1205s |      19 |   801184 |   627682 |    29582     49 |        0 |        0
1207.24/1207.77	c 1207s |      19 |   802328 |   628582 |    29582     49 |        0 |        0
1209.44/1209.90	c 1209s |      19 |   803426 |   629482 |    29582     49 |        0 |        0
1211.44/1211.95	c 1211s |      19 |   804574 |   630382 |    29582     49 |        0 |        0
1213.64/1214.18	c 1213s |      19 |   805732 |   631282 |    29582     50 |        0 |        0
1215.74/1216.25	c 1216s |      19 |   807231 |   632482 |    29582     50 |        0 |        0
1217.84/1218.30	c 1218s |      19 |   808663 |   633682 |    29582     50 |        0 |        0
1219.84/1220.34	c 1220s |      19 |   810090 |   634782 |    29582     50 |        0 |        0
1221.94/1222.49	c 1222s |      19 |   811501 |   635882 |    29582     50 |        0 |        0
1224.04/1224.55	c 1224s |      19 |   812878 |   636982 |    29582     50 |        0 |        0
1226.24/1226.74	c 1226s |      19 |   814279 |   638082 |    29582     50 |        0 |        0
1228.35/1228.83	c 1228s |      19 |   815512 |   639082 |    29582     50 |        0 |        0
1230.45/1230.99	c 1230s |      19 |   816792 |   640082 |    29582     50 |        0 |        0
1232.54/1233.06	c 1232s |      19 |   818103 |   641082 |    29582     50 |        0 |        0
1234.74/1235.25	c 1235s |      19 |   819356 |   642082 |    29582     50 |        0 |        0
1236.94/1237.45	c 1237s |      19 |   820592 |   643082 |    29582     50 |        0 |        0
1239.14/1239.65	c 1239s |      19 |   821830 |   644082 |    29582     50 |        0 |        0
1241.24/1241.72	c 1241s |      19 |   823003 |   644982 |    29582     50 |        0 |        0
1243.44/1243.90	c 1243s |      19 |   824154 |   645882 |    29582     50 |        0 |        0
1245.54/1246.00	c 1245s |      19 |   825123 |   646682 |    29582     51 |        0 |        0
1247.54/1248.04	c 1247s |      19 |   826450 |   647782 |    29582     51 |        0 |        0
1249.64/1250.10	c 1249s |      19 |   827814 |   648882 |    29582     51 |        0 |        0
1251.74/1252.25	c 1252s |      19 |   829381 |   650082 |    29582     51 |        0 |        0
1253.84/1254.34	c 1254s |      19 |   830782 |   651182 |    29582     51 |        0 |        0
1255.84/1256.39	c 1256s |      19 |   832176 |   652282 |    29582     51 |        0 |        0
1257.94/1258.43	c 1258s |      19 |   833390 |   653282 |    29582     51 |        0 |        0
1260.14/1260.63	c 1260s |      19 |   834837 |   654382 |    29582     51 |        0 |        0
1262.34/1262.84	c 1262s |      19 |   836228 |   655482 |    29582     51 |        0 |        0
1264.54/1265.00	c 1264s |      19 |   837513 |   656482 |    29582     51 |        0 |        0
1266.63/1267.13	c 1266s |      19 |   838732 |   657482 |    29582     51 |        0 |        0
1268.63/1269.15	c 1268s |      19 |   839885 |   658382 |    29582     51 |        0 |        0
1270.63/1271.19	c 1270s |      19 |   840859 |   659182 |    29582     51 |        0 |        0
1272.83/1273.31	c 1273s |      19 |   842000 |   660082 |    29582     51 |        0 |        0
1274.93/1275.43	c 1275s |      19 |   843144 |   660982 |    29582     51 |        0 |        0
1277.03/1277.51	c 1277s |      19 |   844259 |   661882 |    29582     52 |        0 |        0
1279.23/1279.70	c 1279s |      19 |   845743 |   663082 |    32541     52 |        0 |        0
1281.23/1281.72	c 1281s |      19 |   847275 |   664282 |    32541     52 |        0 |        0
1283.24/1283.78	c 1283s |      19 |   848508 |   665282 |    32541     52 |        0 |        0
1285.33/1285.84	c 1285s |      19 |   849781 |   666282 |    32541     52 |        0 |        0
1286.43/1286.93	c 1286s |      20 |   850456 |   666827 |    32541     52 |        0 |        0
1288.53/1289.08	c 1288s |      20 |   851968 |   667927 |    32541     52 |        0 |        0
1290.73/1291.25	c 1291s |      20 |   853563 |   669227 |    32541     52 |        0 |        0
1292.73/1293.26	c 1293s |      20 |   855144 |   670427 |    32541     52 |        0 |        0
1294.83/1295.39	c 1295s |      20 |   856627 |   671627 |    32541     52 |        0 |        0
1296.93/1297.43	c 1297s |      20 |   858038 |   672727 |    32541     52 |        0 |        0
1299.03/1299.53	c 1299s |      20 |   859430 |   673827 |    32541     52 |        0 |        0
1301.03/1301.56	c 1301s |      20 |   860675 |   674827 |    32541     52 |        0 |        0
1303.03/1303.59	c 1303s |      20 |   861975 |   675827 |    32541     52 |        0 |        0
1305.13/1305.66	c 1305s |      20 |   863258 |   676827 |    32541     52 |        0 |        0
1307.23/1307.70	c 1307s |      20 |   864506 |   677827 |    32541     52 |        0 |        0
1309.42/1309.95	c 1309s |      20 |   865764 |   678827 |    32541     52 |        0 |        0
1311.42/1311.97	c 1311s |      20 |   866893 |   679727 |    32541     53 |        0 |        0
1313.62/1314.13	c 1313s |      20 |   868370 |   680927 |    32541     53 |        0 |        0
1315.72/1316.23	c 1316s |      20 |   869737 |   682027 |    32541     53 |        0 |        0
1317.72/1318.28	c 1318s |      20 |   871276 |   683227 |    32541     53 |        0 |        0
1319.82/1320.32	c 1320s |      20 |   872574 |   684327 |    32541     53 |        0 |        0
1321.92/1322.43	c 1322s |      20 |   873979 |   685427 |    32541     53 |        0 |        0
1324.12/1324.63	c 1324s |      20 |   875392 |   686527 |    32541     53 |        0 |        0
1326.32/1326.80	c 1326s |      20 |   876645 |   687527 |    32541     53 |        0 |        0
1328.43/1328.94	c 1328s |      20 |   877948 |   688527 |    32541     53 |        0 |        0
1330.53/1331.01	c 1330s |      20 |   879086 |   689427 |    32541     53 |        0 |        0
1332.52/1333.04	c 1332s |      20 |   880218 |   690327 |    32541     53 |        0 |        0
1334.62/1335.11	c 1334s |      20 |   881368 |   691227 |    32541     53 |        0 |        0
1336.83/1337.30	c 1337s |      20 |   882499 |   692127 |    32541     53 |        0 |        0
1338.83/1339.32	c 1339s |      20 |   883520 |   692927 |    32541     53 |        0 |        0
1340.93/1341.49	c 1341s |      20 |   884515 |   693727 |    32541     53 |        0 |        0
1343.03/1343.57	c 1343s |      20 |   885557 |   694527 |    32541     53 |        0 |        0
1345.13/1345.67	c 1345s |      20 |   886538 |   695327 |    32541     53 |        0 |        0
1347.13/1347.67	c 1347s |      20 |   887388 |   696027 |    32541     54 |        0 |        0
1349.13/1349.68	c 1349s |      20 |   888746 |   697127 |    32541     54 |        0 |        0
1351.33/1351.81	c 1351s |      20 |   890142 |   698227 |    32541     54 |        0 |        0
1353.33/1353.88	c 1353s |      20 |   891526 |   699327 |    32541     54 |        0 |        0
1355.52/1356.00	c 1355s |      20 |   892763 |   700327 |    32541     54 |        0 |        0
1357.52/1358.02	c 1357s |      20 |   894030 |   701327 |    32541     54 |        0 |        0
1359.52/1360.03	c 1359s |      20 |   895302 |   702327 |    32541     54 |        0 |        0
1361.72/1362.21	c 1361s |      20 |   896521 |   703327 |    32541     54 |        0 |        0
1363.72/1364.24	c 1364s |      20 |   897683 |   704227 |    32541     54 |        0 |        0
1365.92/1366.47	c 1366s |      20 |   898794 |   705127 |    32541     54 |        0 |        0
1368.22/1368.73	c 1368s |      20 |   899904 |   706027 |    32541     54 |        0 |        0
1370.42/1370.94	c 1370s |      20 |   901023 |   706927 |    32541     54 |        0 |        0
1372.62/1373.13	c 1372s |      20 |   902150 |   707827 |    32541     54 |        0 |        0
1374.82/1375.35	c 1375s |      20 |   903262 |   708727 |    32541     54 |        0 |        0
1377.02/1377.59	c 1377s |      20 |   904389 |   709627 |    32541     54 |        0 |        0
1379.12/1379.67	c 1379s |      20 |   905355 |   710427 |    32541     54 |        0 |        0
1381.13/1381.69	c 1381s |      20 |   906343 |   711227 |    32541     54 |        0 |        0
1383.22/1383.75	c 1383s |      20 |   907334 |   712027 |    32541     54 |        0 |        0
1385.32/1385.83	c 1385s |      20 |   908321 |   712827 |    32541     55 |        0 |        0
1387.42/1387.96	c 1387s |      20 |   909556 |   713827 |    32541     55 |        0 |        0
1389.52/1390.08	c 1389s |      20 |   910998 |   714927 |    32541     55 |        0 |        0
1391.72/1392.26	c 1392s |      20 |   912397 |   716027 |    32541     55 |        0 |        0
1393.82/1394.32	c 1394s |      20 |   913680 |   717027 |    32541     55 |        0 |        0
1395.82/1396.38	c 1396s |      20 |   914982 |   718027 |    32541     55 |        0 |        0
1398.02/1398.51	c 1398s |      20 |   916242 |   719027 |    32541     55 |        0 |        0
1400.02/1400.53	c 1400s |      20 |   917396 |   719927 |    32541     55 |        0 |        0
1402.02/1402.55	c 1402s |      20 |   918538 |   720827 |    32541     55 |        0 |        0
1404.22/1404.72	c 1404s |      20 |   919834 |   721827 |    32541     55 |        0 |        0
1406.31/1406.89	c 1406s |      20 |   920921 |   722727 |    32541     55 |        0 |        0
1408.41/1408.91	c 1408s |      20 |   921936 |   723527 |    32541     55 |        0 |        0
1410.61/1411.12	c 1410s |      20 |   923113 |   724427 |    32541     55 |        0 |        0
1412.61/1413.17	c 1412s |      20 |   924239 |   725327 |    32541     55 |        0 |        0
1414.81/1415.33	c 1415s |      20 |   925387 |   726227 |    32541     55 |        0 |        0
1416.91/1417.45	c 1417s |      20 |   926340 |   727027 |    32541     55 |        0 |        0
1419.11/1419.69	c 1419s |      20 |   927472 |   727927 |    32541     55 |        0 |        0
1421.31/1421.83	c 1421s |      20 |   928325 |   728627 |    32541     56 |        0 |        0
1423.31/1423.84	c 1423s |      20 |   929580 |   729627 |    32541     56 |        0 |        0
1425.31/1425.86	c 1425s |      20 |   930979 |   730727 |    32541     56 |        0 |        0
1427.41/1427.98	c 1427s |      20 |   932251 |   731727 |    32541     56 |        0 |        0
1429.51/1430.01	c 1429s |      20 |   933537 |   732727 |    32541     56 |        0 |        0
1431.50/1432.06	c 1431s |      20 |   934800 |   733727 |    32541     56 |        0 |        0
1433.70/1434.26	c 1434s |      20 |   936164 |   734827 |    32541     56 |        0 |        0
1435.80/1436.39	c 1436s |      20 |   937276 |   735727 |    32541     56 |        0 |        0
1438.10/1438.61	c 1438s |      20 |   938517 |   736727 |    32541     56 |        0 |        0
1440.10/1440.67	c 1440s |      20 |   939640 |   737627 |    32541     56 |        0 |        0
1442.30/1442.86	c 1442s |      20 |   940786 |   738527 |    32541     56 |        0 |        0
1444.50/1445.05	c 1444s |      20 |   941889 |   739427 |    32541     56 |        0 |        0
1446.50/1447.09	c 1446s |      20 |   942869 |   740227 |    32541     56 |        0 |        0
1448.70/1449.23	c 1449s |      20 |   943828 |   741027 |    32541     56 |        0 |        0
1450.70/1451.28	c 1451s |      20 |   944789 |   741827 |    32541     56 |        0 |        0
1452.90/1453.45	c 1453s |      20 |   945745 |   742627 |    32541     56 |        0 |        0
1455.00/1455.51	c 1455s |      20 |   946711 |   743427 |    32541     56 |        0 |        0
1457.01/1457.57	c 1457s |      20 |   947728 |   744227 |    32541     56 |        0 |        0
1459.31/1459.81	c 1459s |      20 |   948859 |   745127 |    32541     56 |        0 |        0
1461.30/1461.81	c 1461s |      20 |   949943 |   746027 |    32541     57 |        0 |        0
1463.40/1463.98	c 1463s |      20 |   951163 |   747027 |    32541     57 |        0 |        0
1465.50/1466.02	c 1465s |      20 |   952511 |   748127 |    32541     57 |        0 |        0
1467.60/1468.18	c 1467s |      20 |   953901 |   749227 |    32541     57 |        0 |        0
1469.80/1470.32	c 1470s |      20 |   955245 |   750327 |    32541     57 |        0 |        0
1471.90/1472.44	c 1472s |      20 |   956485 |   751327 |    32541     57 |        0 |        0
1473.90/1474.49	c 1474s |      20 |   957689 |   752327 |    32541     57 |        0 |        0
1476.10/1476.64	c 1476s |      20 |   958920 |   753327 |    32541     57 |        0 |        0
1478.10/1478.68	c 1478s |      20 |   960033 |   754227 |    32541     57 |        0 |        0
1480.30/1480.85	c 1480s |      20 |   961266 |   755227 |    32541     57 |        0 |        0
1482.50/1483.01	c 1482s |      20 |   962583 |   756227 |    32541     57 |        0 |        0
1484.50/1485.01	c 1484s |      20 |   963754 |   757127 |    32541     57 |        0 |        0
1486.60/1487.15	c 1486s |      20 |   964897 |   758027 |    32541     57 |        0 |        0
1488.60/1489.19	c 1488s |      20 |   965900 |   758827 |    32541     57 |        0 |        0
1490.70/1491.23	c 1491s |      20 |   966863 |   759627 |    32541     57 |        0 |        0
1492.90/1493.45	c 1493s |      20 |   968018 |   760527 |    32541     57 |        0 |        0
1495.09/1495.61	c 1495s |      20 |   969126 |   761427 |    32541     57 |        0 |        0
1497.10/1497.62	c 1497s |      20 |   970036 |   762127 |    32541     58 |        0 |        0
1499.40/1499.95	c 1499s |      20 |   971308 |   763127 |    32541     58 |        0 |        0
1501.50/1502.07	c 1501s |      20 |   972811 |   764327 |    32541     58 |        0 |        0
1503.50/1504.07	c 1503s |      20 |   974208 |   765427 |    32541     58 |        0 |        0
1505.60/1506.10	c 1505s |      20 |   975459 |   766427 |    32541     58 |        0 |        0
1507.71/1508.26	c 1508s |      20 |   976888 |   767527 |    32541     58 |        0 |        0
1509.91/1510.41	c 1510s |      20 |   978159 |   768527 |    32541     58 |        0 |        0
1512.01/1512.52	c 1512s |      20 |   979431 |   769527 |    32541     58 |        0 |        0
1514.10/1514.68	c 1514s |      20 |   980672 |   770527 |    32541     58 |        0 |        0
1516.10/1516.69	c 1516s |      20 |   981784 |   771427 |    32541     58 |        0 |        0
1518.20/1518.75	c 1518s |      20 |   982910 |   772327 |    32541     58 |        0 |        0
1520.20/1520.78	c 1520s |      20 |   983897 |   773127 |    32541     58 |        0 |        0
1522.50/1523.01	c 1522s |      20 |   984968 |   774027 |    32541     58 |        0 |        0
1524.70/1525.20	c 1524s |      20 |   986092 |   774927 |    32541     58 |        0 |        0
1526.80/1527.33	c 1527s |      20 |   987103 |   775727 |    32541     58 |        0 |        0
1528.80/1529.39	c 1529s |      20 |   988105 |   776527 |    32541     58 |        0 |        0
1530.90/1531.47	c 1531s |      20 |   989050 |   777327 |    32541     58 |        0 |        0
1533.20/1533.70	c 1533s |      20 |   989940 |   778027 |    32541     59 |        0 |        0
1535.20/1535.76	c 1535s |      20 |   991164 |   779027 |    32541     59 |        0 |        0
1537.40/1537.93	c 1537s |      20 |   992505 |   780127 |    32541     59 |        0 |        0
1539.50/1540.02	c 1539s |      20 |   993767 |   781127 |    32541     59 |        0 |        0
1541.70/1542.24	c 1542s |      20 |   995119 |   782227 |    32541     59 |        0 |        0
1543.90/1544.44	c 1544s |      20 |   996526 |   783327 |    32541     59 |        0 |        0
1546.00/1546.53	c 1546s |      20 |   997769 |   784327 |    32541     59 |        0 |        0
1548.09/1548.64	c 1548s |      20 |   999006 |   785327 |    32541     59 |        0 |        0
1550.09/1550.69	c 1550s |      20 |   999983 |   786127 |    32541     59 |        0 |        0
1552.29/1552.81	c 1552s |      20 |  1001087 |   787027 |    32541     59 |        0 |        0
1554.49/1555.06	c 1554s |      20 |  1002193 |   787927 |    32541     59 |        0 |        0
1556.69/1557.21	c 1556s |      20 |  1003347 |   788827 |    32541     59 |        0 |        0
1558.79/1559.32	c 1559s |      20 |  1004369 |   789627 |    32541     59 |        0 |        0
1560.89/1561.47	c 1561s |      20 |  1005508 |   790527 |    32541     59 |        0 |        0
1563.09/1563.68	c 1563s |      20 |  1006849 |   791527 |    32541     59 |        0 |        0
1565.19/1565.77	c 1565s |      20 |  1008021 |   792427 |    32541     59 |        0 |        0
1567.39/1567.93	c 1567s |      20 |  1009157 |   793327 |    32541     59 |        0 |        0
1569.49/1570.07	c 1569s |      20 |  1010302 |   794227 |    32541     59 |        0 |        0
1571.59/1572.16	c 1571s |      20 |  1011398 |   795127 |    32541     60 |        0 |        0
1573.59/1574.19	c 1573s |      20 |  1012818 |   796227 |    32541     60 |        0 |        0
1575.69/1576.24	c 1576s |      20 |  1014250 |   797327 |    32541     60 |        0 |        0
1577.79/1578.30	c 1578s |      20 |  1015648 |   798427 |    32541     60 |        0 |        0
1579.79/1580.34	c 1580s |      20 |  1017077 |   799527 |    32541     60 |        0 |        0
1581.79/1582.37	c 1582s |      20 |  1018347 |   800527 |    32541     60 |        0 |        0
1583.79/1584.39	c 1584s |      20 |  1019635 |   801527 |    32541     60 |        0 |        0
1585.89/1586.46	c 1586s |      20 |  1021016 |   802627 |    32541     60 |        0 |        0
1587.89/1588.47	c 1588s |      20 |  1022273 |   803627 |    32541     60 |        0 |        0
1590.09/1590.70	c 1590s |      20 |  1023466 |   804627 |    32541     60 |        0 |        0
1592.29/1592.89	c 1592s |      20 |  1024586 |   805527 |    32541     60 |        0 |        0
1594.38/1594.96	c 1594s |      20 |  1025907 |   806527 |    32541     60 |        0 |        0
1596.48/1597.07	c 1596s |      20 |  1027051 |   807427 |    32541     60 |        0 |        0
1598.48/1599.08	c 1598s |      20 |  1028061 |   808227 |    32541     60 |        0 |        0
1600.78/1601.31	c 1601s |      20 |  1029163 |   809127 |    32541     60 |        0 |        0
1602.98/1603.57	c 1603s |      20 |  1030314 |   810027 |    32541     60 |        0 |        0
1605.18/1605.70	c 1605s |      20 |  1031291 |   810827 |    32541     60 |        0 |        0
1607.28/1607.81	c 1607s |      20 |  1032290 |   811627 |    32541     61 |        0 |        0
1609.38/1609.97	c 1609s |      20 |  1033669 |   812727 |    32541     61 |        0 |        0
1611.48/1612.01	c 1611s |      20 |  1035111 |   813827 |    32541     61 |        0 |        0
1613.48/1614.06	c 1613s |      20 |  1036518 |   814927 |    32541     61 |        0 |        0
1615.58/1616.16	c 1615s |      20 |  1037918 |   816027 |    32541     61 |        0 |        0
1617.59/1618.16	c 1617s |      20 |  1039186 |   817027 |    32541     61 |        0 |        0
1619.79/1620.32	c 1620s |      20 |  1040404 |   818027 |    32541     61 |        0 |        0
1621.88/1622.43	c 1622s |      20 |  1041682 |   819027 |    32541     61 |        0 |        0
1623.98/1624.55	c 1624s |      20 |  1042977 |   820027 |    32541     61 |        0 |        0
1626.08/1626.66	c 1626s |      20 |  1044128 |   820927 |    32541     61 |        0 |        0
1628.18/1628.79	c 1628s |      20 |  1045218 |   821827 |    32541     61 |        0 |        0
1630.28/1630.90	c 1630s |      20 |  1046324 |   822727 |    32541     61 |        0 |        0
1632.48/1633.09	c 1632s |      20 |  1047484 |   823627 |    32541     61 |        0 |        0
1634.58/1635.19	c 1634s |      20 |  1048461 |   824427 |    32541     61 |        0 |        0
1636.68/1637.22	c 1636s |      20 |  1049457 |   825227 |    32541     61 |        0 |        0
1638.88/1639.40	c 1639s |      20 |  1050456 |   826027 |    32541     61 |        0 |        0
1640.98/1641.59	c 1641s |      20 |  1051456 |   826827 |    32541     61 |        0 |        0
1643.38/1643.96	c 1643s |      20 |  1052475 |   827627 |    32541     62 |        0 |        0
1645.48/1646.02	c 1645s |      20 |  1054029 |   828827 |    32541     62 |        0 |        0
1647.67/1648.23	c 1648s |      20 |  1055571 |   830027 |    32541     62 |        0 |        0
1649.67/1650.24	c 1650s |      20 |  1057046 |   831127 |    32541     62 |        0 |        0
1651.78/1652.36	c 1652s |      20 |  1058379 |   832227 |    32541     62 |        0 |        0
1653.77/1654.36	c 1654s |      20 |  1059703 |   833227 |    32541     62 |        0 |        0
1655.97/1656.53	c 1656s |      20 |  1061124 |   834327 |    32541     62 |        0 |        0
1657.97/1658.59	c 1658s |      20 |  1062361 |   835327 |    32541     62 |        0 |        0
1660.17/1660.71	c 1660s |      20 |  1063642 |   836327 |    32541     62 |        0 |        0
1662.17/1662.76	c 1662s |      20 |  1064771 |   837227 |    32541     62 |        0 |        0
1664.27/1664.81	c 1664s |      20 |  1065896 |   838127 |    32541     62 |        0 |        0
1666.37/1666.93	c 1666s |      20 |  1067237 |   839127 |    32541     62 |        0 |        0
1668.47/1669.07	c 1668s |      20 |  1068384 |   840027 |    32541     62 |        0 |        0
1670.67/1671.20	c 1670s |      20 |  1069496 |   840927 |    32541     62 |        0 |        0
1672.77/1673.36	c 1673s |      20 |  1070517 |   841727 |    32541     62 |        0 |        0
1674.97/1675.55	c 1675s |      20 |  1071642 |   842627 |    32541     62 |        0 |        0
1677.17/1677.74	c 1677s |      20 |  1072810 |   843527 |    32541     62 |        0 |        0
1679.18/1679.79	c 1679s |      20 |  1073660 |   844227 |    32541     63 |        0 |        0
1681.27/1681.88	c 1681s |      20 |  1075055 |   845327 |    32541     63 |        0 |        0
1683.37/1683.96	c 1683s |      20 |  1076491 |   846427 |    32541     63 |        0 |        0
1685.57/1686.20	c 1685s |      20 |  1077742 |   847427 |    32541     63 |        0 |        0
1687.67/1688.24	c 1688s |      20 |  1078996 |   848427 |    32541     63 |        0 |        0
1689.77/1690.38	c 1690s |      20 |  1080257 |   849427 |    32541     63 |        0 |        0
1691.97/1692.55	c 1692s |      20 |  1081531 |   850427 |    32541     63 |        0 |        0
1694.07/1694.67	c 1694s |      20 |  1082625 |   851327 |    32541     63 |        0 |        0
1696.17/1696.76	c 1696s |      20 |  1083758 |   852227 |    32541     63 |        0 |        0
1698.37/1698.93	c 1698s |      20 |  1084868 |   853127 |    32541     63 |        0 |        0
1700.37/1700.96	c 1700s |      20 |  1085870 |   853927 |    32541     63 |        0 |        0
1702.37/1702.96	c 1702s |      20 |  1086863 |   854727 |    32541     63 |        0 |        0
1704.36/1704.98	c 1704s |      20 |  1087832 |   855527 |    32541     63 |        0 |        0
1706.46/1707.05	c 1706s |      20 |  1088858 |   856327 |    32541     63 |        0 |        0
1708.56/1709.16	c 1708s |      20 |  1089992 |   857227 |    32541     63 |        0 |        0
1710.76/1711.31	c 1711s |      20 |  1091113 |   858127 |    32541     63 |        0 |        0
1712.86/1713.46	c 1713s |      20 |  1092236 |   859027 |    32541     63 |        0 |        0
1715.16/1715.70	c 1715s |      20 |  1093371 |   859927 |    32541     63 |        0 |        0
1717.26/1717.85	c 1717s |      20 |  1094334 |   860727 |    32541     64 |        0 |        0
1719.26/1719.88	c 1719s |      20 |  1095676 |   861827 |    32541     64 |        0 |        0
1721.36/1721.98	c 1721s |      20 |  1097085 |   862927 |    32541     64 |        0 |        0
1723.56/1724.13	c 1723s |      20 |  1098621 |   864127 |    32541     64 |        0 |        0
1725.66/1726.20	c 1725s |      20 |  1099956 |   865227 |    32541     64 |        0 |        0
1727.67/1728.22	c 1727s |      20 |  1101209 |   866227 |    32541     64 |        0 |        0
1729.66/1730.25	c 1730s |      20 |  1102529 |   867227 |    32541     64 |        0 |        0
1731.66/1732.29	c 1732s |      20 |  1103821 |   868227 |    32541     64 |        0 |        0
1733.76/1734.38	c 1734s |      20 |  1105097 |   869227 |    32541     64 |        0 |        0
1735.96/1736.54	c 1736s |      20 |  1106387 |   870227 |    32541     64 |        0 |        0
1738.06/1738.68	c 1738s |      20 |  1107482 |   871127 |    32541     64 |        0 |        0
1740.16/1740.74	c 1740s |      20 |  1108602 |   872027 |    32541     64 |        0 |        0
1742.16/1742.79	c 1742s |      20 |  1109706 |   872927 |    32541     64 |        0 |        0
1744.26/1744.88	c 1744s |      20 |  1110770 |   873827 |    32541     64 |        0 |        0
1746.37/1746.95	c 1746s |      20 |  1111739 |   874627 |    32541     64 |        0 |        0
1748.46/1749.04	c 1748s |      20 |  1112783 |   875427 |    32541     64 |        0 |        0
1750.56/1751.19	c 1750s |      20 |  1113789 |   876227 |    32541     64 |        0 |        0
1752.76/1753.36	c 1753s |      20 |  1114825 |   877027 |    32541     64 |        0 |        0
1754.86/1755.49	c 1755s |      20 |  1115979 |   877927 |    32541     65 |        0 |        0
1756.96/1757.55	c 1757s |      20 |  1117231 |   878927 |    32541     65 |        0 |        0
1758.96/1759.57	c 1759s |      20 |  1118491 |   879927 |    32541     65 |        0 |        0
1761.16/1761.72	c 1761s |      20 |  1119752 |   880927 |    32541     65 |        0 |        0
1763.26/1763.87	c 1763s |      20 |  1120969 |   881927 |    32541     65 |        0 |        0
1765.45/1766.08	c 1765s |      20 |  1122191 |   882927 |    32541     65 |        0 |        0
1767.55/1768.19	c 1767s |      20 |  1123457 |   883927 |    32541     65 |        0 |        0
1769.75/1770.31	c 1770s |      20 |  1124671 |   884927 |    32541     65 |        0 |        0
1771.85/1772.43	c 1772s |      20 |  1125808 |   885827 |    32541     65 |        0 |        0
1774.05/1774.67	c 1774s |      20 |  1127073 |   886827 |    32541     65 |        0 |        0
1776.25/1776.86	c 1776s |      20 |  1128355 |   887827 |    32541     65 |        0 |        0
1778.35/1778.99	c 1778s |      20 |  1129525 |   888727 |    32541     65 |        0 |        0
1780.55/1781.17	c 1780s |      20 |  1130616 |   889627 |    32541     65 |        0 |        0
1782.75/1783.35	c 1783s |      20 |  1131738 |   890527 |    32541     65 |        0 |        0
1784.95/1785.51	c 1785s |      20 |  1132880 |   891427 |    32541     65 |        0 |        0
1787.15/1787.74	c 1787s |      20 |  1133996 |   892327 |    32541     65 |        0 |        0
1789.26/1789.88	c 1789s |      20 |  1135090 |   893227 |    32541     65 |        0 |        0
1791.36/1791.97	c 1791s |      20 |  1136222 |   894127 |    32541     66 |        0 |        0
1793.35/1793.98	c 1793s |      20 |  1137606 |   895227 |    32541     66 |        0 |        0
1795.45/1796.03	c 1795s |      20 |  1138984 |   896327 |    32541     66 |        0 |        0
1797.65/1798.20	c 1797s |      20 |  1140347 |   897427 |    32541     66 |        0 |        0
1799.75/1800.34	c 1800s |      20 |  1141622 |   898427 |    32541     66 |        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-4079993-1465278758/watcher-4079993-1465278758 -o /tmp/evaluation-result-4079993-1465278758/solver-4079993-1465278758 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1465278758-3412 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079993-1465278758.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.03 1.35 1.69 3/179 3445
/proc/meminfo: memFree=31111836/32872528 swapFree=12328/568296
[pid=3445] ppid=3442 vsize=777660 CPUtime=0 cores=0,2,4,6
/proc/3445/stat : 3445 (toysat) R 3442 3445 3396 0 -1 4202496 2911 0 0 0 0 0 0 0 20 0 4 0 109808426 796323840 3272 33554432000 4194304 16246674 140733587354176 140733587353600 15002730 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3445/statm: 195183 3281 441 2943 0 192077 0
[pid=3445/tid=3446] ppid=3442 vsize=796092 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3446/stat : 3446 (toysat) S 3442 3445 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109808426 815198208 3340 33554432000 4194304 16246674 140733587354176 140323609095408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3447] ppid=3442 vsize=800188 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (toysat) S 3442 3445 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109808426 819392512 3359 33554432000 4194304 16246674 140733587354176 140323598605552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=804284 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (toysat) S 3442 3445 3396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109808426 823586816 3375 33554432000 4194304 16246674 140733587354176 140323588132016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100207 s]
/proc/loadavg: 1.03 1.35 1.69 3/179 3445
/proc/meminfo: memFree=31111836/32872528 swapFree=12328/568296
[pid=3445] ppid=3442 vsize=1301060 CPUtime=0.09 cores=0,2,4,6
/proc/3445/stat : 3445 (toysat) R 3442 3445 3396 0 -1 4202496 26220 0 0 0 6 3 0 0 20 0 4 0 109808426 1332285440 26520 33554432000 4194304 16246674 140733587354176 140733587353488 7853005 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3445/statm: 325265 26534 798 2943 0 322159 0
[pid=3445/tid=3446] ppid=3442 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3446/stat : 3446 (toysat) S 3442 3445 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109808426 1332285440 26545 33554432000 4194304 16246674 140733587354176 140323609095408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3447] ppid=3442 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (toysat) S 3442 3445 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109808426 1332285440 26557 33554432000 4194304 16246674 140733587354176 140323598605552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (toysat) S 3442 3445 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109808426 1332285440 26568 33554432000 4194304 16246674 140733587354176 140323588132016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200496 s]
/proc/loadavg: 1.03 1.35 1.69 3/179 3445
/proc/meminfo: memFree=31111836/32872528 swapFree=12328/568296
[pid=3445] ppid=3442 vsize=1302084 CPUtime=0.19 cores=0,2,4,6
/proc/3445/stat : 3445 (toysat) R 3442 3445 3396 0 -1 4202496 45306 0 0 0 14 5 0 0 20 0 4 0 109808426 1333334016 45605 33554432000 4194304 16246674 140733587354176 140733587353488 6953210 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3445/statm: 325521 45605 830 2943 0 322415 0
[pid=3445/tid=3446] ppid=3442 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3446/stat : 3446 (toysat) S 3442 3445 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109808426 1333334016 45605 33554432000 4194304 16246674 140733587354176 140323609095408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3447] ppid=3442 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (toysat) S 3442 3445 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109808426 1333334016 45605 33554432000 4194304 16246674 140733587354176 140323598605552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (toysat) S 3442 3445 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109808426 1333334016 45605 33554432000 4194304 16246674 140733587354176 140323588132016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1302084

[startup+0.30047 s]
/proc/loadavg: 1.03 1.35 1.69 3/179 3445
/proc/meminfo: memFree=31111836/32872528 swapFree=12328/568296
[pid=3445] ppid=3442 vsize=1302084 CPUtime=0.29 cores=0,2,4,6
/proc/3445/stat : 3445 (toysat) R 3442 3445 3396 0 -1 4202496 50859 0 0 0 23 6 0 0 20 0 4 0 109808426 1333334016 51159 33554432000 4194304 16246674 140733587354176 140733587353488 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3445/statm: 325521 51166 878 2943 0 322415 0
[pid=3445/tid=3446] ppid=3442 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3446/stat : 3446 (toysat) S 3442 3445 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109808426 1333334016 51171 33554432000 4194304 16246674 140733587354176 140323609095408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3447] ppid=3442 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (toysat) S 3442 3445 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109808426 1333334016 51176 33554432000 4194304 16246674 140733587354176 140323598605552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (toysat) S 3442 3445 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109808426 1333334016 51180 33554432000 4194304 16246674 140733587354176 140323588132016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1302084

[startup+0.700351 s]
/proc/loadavg: 1.03 1.35 1.69 3/179 3445
/proc/meminfo: memFree=31111836/32872528 swapFree=12328/568296
[pid=3445] ppid=3442 vsize=1302084 CPUtime=0.69 cores=0,2,4,6
/proc/3445/stat : 3445 (toysat) R 3442 3445 3396 0 -1 4202496 124082 0 0 0 53 16 0 0 20 0 4 0 109808426 1333334016 124381 33554432000 4194304 16246674 140733587354176 140733587336064 5523634 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3445/statm: 325521 124387 878 2943 0 322415 0
[pid=3445/tid=3446] ppid=3442 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3446/stat : 3446 (toysat) S 3442 3445 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109808426 1333334016 124390 33554432000 4194304 16246674 140733587354176 140323609095408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3447] ppid=3442 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (toysat) S 3442 3445 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109808426 1333334016 124394 33554432000 4194304 16246674 140733587354176 140323598605552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (toysat) S 3442 3445 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109808426 1333334016 124397 33554432000 4194304 16246674 140733587354176 140323588132016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1302084

[startup+1.50037 s]
/proc/loadavg: 1.11 1.36 1.70 3/183 3449
/proc/meminfo: memFree=29759396/32872528 swapFree=12328/568296
[pid=3445] ppid=3442 vsize=1310276 CPUtime=1.49 cores=0,2,4,6
/proc/3445/stat : 3445 (toysat) R 3442 3445 3396 0 -1 4202496 268556 0 0 0 114 35 0 0 20 0 4 0 109808426 1341722624 268855 33554432000 4194304 16246674 140733587354176 140733587353488 5827686 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3445/statm: 327569 268855 884 2943 0 324463 0
[pid=3445/tid=3446] ppid=3442 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3446/stat : 3446 (toysat) S 3442 3445 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109808426 1341722624 268855 33554432000 4194304 16246674 140733587354176 140323609095408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3447] ppid=3442 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (toysat) S 3442 3445 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109808426 1341722624 268855 33554432000 4194304 16246674 140733587354176 140323598605552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (toysat) S 3442 3445 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109808426 1341722624 268855 33554432000 4194304 16246674 140733587354176 140323588132016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1310276

[startup+3.10036 s]
/proc/loadavg: 1.11 1.36 1.70 3/183 3449
/proc/meminfo: memFree=29039568/32872528 swapFree=12328/568296
[pid=3445] ppid=3442 vsize=1310276 CPUtime=3.09 cores=0,2,4,6
/proc/3445/stat : 3445 (toysat) R 3442 3445 3396 0 -1 4202496 268744 0 0 0 274 35 0 0 20 0 4 0 109808426 1341722624 269043 33554432000 4194304 16246674 140733587354176 140733587336064 5828996 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3445/statm: 327569 269043 884 2943 0 324463 0
[pid=3445/tid=3446] ppid=3442 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3446/stat : 3446 (toysat) S 3442 3445 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109808426 1341722624 269043 33554432000 4194304 16246674 140733587354176 140323609095408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3447] ppid=3442 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (toysat) S 3442 3445 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109808426 1341722624 269043 33554432000 4194304 16246674 140733587354176 140323598605552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (toysat) S 3442 3445 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109808426 1341722624 269043 33554432000 4194304 16246674 140733587354176 140323588132016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1310276

[startup+6.30037 s]
/proc/loadavg: 1.18 1.37 1.70 3/183 3498
/proc/meminfo: memFree=29783488/32872528 swapFree=12328/568296
[pid=3445] ppid=3442 vsize=1310276 CPUtime=6.29 cores=0,2,4,6
/proc/3445/stat : 3445 (toysat) R 3442 3445 3396 0 -1 4202496 268745 0 0 0 594 35 0 0 20 0 4 0 109808426 1341722624 269044 33554432000 4194304 16246674 140733587354176 140733587336064 5523400 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3445/statm: 327569 269044 884 2943 0 324463 0
[pid=3445/tid=3446] ppid=3442 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3446/stat : 3446 (toysat) S 3442 3445 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109808426 1341722624 269044 33554432000 4194304 16246674 140733587354176 140323609095408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3447] ppid=3442 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (toysat) S 3442 3445 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109808426 1341722624 269044 33554432000 4194304 16246674 140733587354176 140323598605552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (toysat) S 3442 3445 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109808426 1341722624 269044 33554432000 4194304 16246674 140733587354176 140323588132016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1310276

[startup+12.7004 s]
/proc/loadavg: 1.24 1.38 1.70 3/183 3498
/proc/meminfo: memFree=28883996/32872528 swapFree=12328/568296
[pid=3445] ppid=3442 vsize=1310276 CPUtime=12.69 cores=0,2,4,6
/proc/3445/stat : 3445 (toysat) R 3442 3445 3396 0 -1 4202496 268745 0 0 0 1234 35 0 0 20 0 4 0 109808426 1341722624 269044 33554432000 4194304 16246674 140733587354176 140733587336064 13966199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3445/statm: 327569 269044 884 2943 0 324463 0
[pid=3445/tid=3446] ppid=3442 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3446/stat : 3446 (toysat) S 3442 3445 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109808426 1341722624 269044 33554432000 4194304 16246674 140733587354176 140323609095408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3447] ppid=3442 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (toysat) S 3442 3445 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109808426 1341722624 269044 33554432000 4194304 16246674 140733587354176 140323598605552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (toysat) S 3442 3445 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109808426 1341722624 269044 33554432000 4194304 16246674 140733587354176 140323588132016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1310276

[startup+25.5005 s]
/proc/loadavg: 1.36 1.40 1.70 3/183 3498
/proc/meminfo: memFree=28884948/32872528 swapFree=12328/568296
[pid=3445] ppid=3442 vsize=1310276 CPUtime=25.49 cores=0,2,4,6
/proc/3445/stat : 3445 (toysat) R 3442 3445 3396 0 -1 4202496 268753 0 0 0 2514 35 0 0 20 0 4 0 109808426 1341722624 269052 33554432000 4194304 16246674 140733587354176 140733587336064 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3445/statm: 327569 269052 890 2943 0 324463 0
[pid=3445/tid=3446] ppid=3442 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3446/stat : 3446 (toysat) S 3442 3445 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109808426 1341722624 269052 33554432000 4194304 16246674 140733587354176 140323609095408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3447] ppid=3442 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (toysat) S 3442 3445 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109808426 1341722624 269052 33554432000 4194304 16246674 140733587354176 140323598605552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (toysat) S 3442 3445 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109808426 1341722624 269052 33554432000 4194304 16246674 140733587354176 140323588132016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1310276

[startup+51.1004 s]
/proc/loadavg: 1.61 1.46 1.71 3/183 3498
/proc/meminfo: memFree=28885416/32872528 swapFree=12328/568296
[pid=3445] ppid=3442 vsize=1310276 CPUtime=51.09 cores=0,2,4,6
/proc/3445/stat : 3445 (toysat) R 3442 3445 3396 0 -1 4202496 268753 0 0 0 5074 35 0 0 20 0 4 0 109808426 1341722624 269052 33554432000 4194304 16246674 140733587354176 140733587336064 5828829 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3445/statm: 327569 269052 890 2943 0 324463 0
[pid=3445/tid=3446] ppid=3442 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3446/stat : 3446 (toysat) S 3442 3445 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109808426 1341722624 269052 33554432000 4194304 16246674 140733587354176 140323609095408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3447] ppid=3442 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (toysat) S 3442 3445 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109808426 1341722624 269052 33554432000 4194304 16246674 140733587354176 140323598605552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (toysat) S 3442 3445 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109808426 1341722624 269052 33554432000 4194304 16246674 140733587354176 140323588132016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1310276

[startup+102.3 s]
/proc/loadavg: 1.83 1.54 1.72 3/183 3499
/proc/meminfo: memFree=28694392/32872528 swapFree=12328/568296
[pid=3445] ppid=3442 vsize=1312324 CPUtime=102.28 cores=0,2,4,6
/proc/3445/stat : 3445 (toysat) R 3442 3445 3396 0 -1 4202496 269265 0 0 0 10193 35 0 0 20 0 4 0 109808426 1343819776 269564 33554432000 4194304 16246674 140733587354176 140733587336064 5672213 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3445/statm: 328081 269564 890 2943 0 324975 0
[pid=3445/tid=3446] ppid=3442 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3446/stat : 3446 (toysat) S 3442 3445 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109808426 1343819776 269564 33554432000 4194304 16246674 140733587354176 140323609095408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3447] ppid=3442 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (toysat) S 3442 3445 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109808426 1343819776 269564 33554432000 4194304 16246674 140733587354176 140323598605552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (toysat) S 3442 3445 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109808426 1343819776 269564 33554432000 4194304 16246674 140733587354176 140323588132016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1312324


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

/proc/3445/task/3448/stat : 3448 (toysat) S 3442 3445 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109808426 1362694144 274182 33554432000 4194304 16246674 140733587354176 140323588132016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 1330756

[startup+1302.3 s]
/proc/loadavg: 2.12 2.07 1.95 3/183 3554
/proc/meminfo: memFree=28524068/32872528 swapFree=12328/568296
[pid=3445] ppid=3442 vsize=1330756 CPUtime=1301.83 cores=0,2,4,6
/proc/3445/stat : 3445 (toysat) R 3442 3445 3396 0 -1 4202496 274349 0 0 0 130145 38 0 0 20 0 4 0 109808426 1362694144 274182 33554432000 4194304 16246674 140733587354176 140733587336064 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3445/statm: 332689 274182 893 2943 0 329583 0
[pid=3445/tid=3446] ppid=3442 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3446/stat : 3446 (toysat) S 3442 3445 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109808426 1362694144 274182 33554432000 4194304 16246674 140733587354176 140323609095408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3447] ppid=3442 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (toysat) S 3442 3445 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109808426 1362694144 274182 33554432000 4194304 16246674 140733587354176 140323598605552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (toysat) S 3442 3445 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109808426 1362694144 274182 33554432000 4194304 16246674 140733587354176 140323588132016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1330756

[startup+1362.3 s]
/proc/loadavg: 2.20 2.10 1.97 3/183 3555
/proc/meminfo: memFree=28466696/32872528 swapFree=12328/568296
[pid=3445] ppid=3442 vsize=1330756 CPUtime=1361.82 cores=0,2,4,6
/proc/3445/stat : 3445 (toysat) R 3442 3445 3396 0 -1 4202496 274349 0 0 0 136143 39 0 0 20 0 4 0 109808426 1362694144 274182 33554432000 4194304 16246674 140733587354176 140733587336064 5828648 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3445/statm: 332689 274182 893 2943 0 329583 0
[pid=3445/tid=3446] ppid=3442 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3446/stat : 3446 (toysat) S 3442 3445 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109808426 1362694144 274182 33554432000 4194304 16246674 140733587354176 140323609095408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3447] ppid=3442 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (toysat) S 3442 3445 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109808426 1362694144 274182 33554432000 4194304 16246674 140733587354176 140323598605552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (toysat) S 3442 3445 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109808426 1362694144 274182 33554432000 4194304 16246674 140733587354176 140323588132016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1330756

[startup+1422.3 s]
/proc/loadavg: 2.15 2.10 1.98 3/183 3556
/proc/meminfo: memFree=28431772/32872528 swapFree=12328/568296
[pid=3445] ppid=3442 vsize=1330756 CPUtime=1421.82 cores=0,2,4,6
/proc/3445/stat : 3445 (toysat) R 3442 3445 3396 0 -1 4202496 274349 0 0 0 142143 39 0 0 20 0 4 0 109808426 1362694144 274182 33554432000 4194304 16246674 140733587354176 140733587336064 12477921 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3445/statm: 332689 274182 893 2943 0 329583 0
[pid=3445/tid=3446] ppid=3442 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3446/stat : 3446 (toysat) S 3442 3445 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109808426 1362694144 274182 33554432000 4194304 16246674 140733587354176 140323609095408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3447] ppid=3442 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (toysat) S 3442 3445 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109808426 1362694144 274182 33554432000 4194304 16246674 140733587354176 140323598605552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (toysat) S 3442 3445 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109808426 1362694144 274182 33554432000 4194304 16246674 140733587354176 140323588132016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1330756

[startup+1482.3 s]
/proc/loadavg: 2.14 2.11 1.99 3/183 3557
/proc/meminfo: memFree=28417732/32872528 swapFree=12328/568296
[pid=3445] ppid=3442 vsize=1344068 CPUtime=1481.8 cores=0,2,4,6
/proc/3445/stat : 3445 (toysat) R 3442 3445 3396 0 -1 4202496 277677 0 0 0 148141 39 0 0 20 0 4 0 109808426 1376325632 277510 33554432000 4194304 16246674 140733587354176 140733587336064 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3445/statm: 336017 277510 893 2943 0 332911 0
[pid=3445/tid=3446] ppid=3442 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3446/stat : 3446 (toysat) S 3442 3445 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109808426 1376325632 277510 33554432000 4194304 16246674 140733587354176 140323609095408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3447] ppid=3442 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (toysat) S 3442 3445 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109808426 1376325632 277510 33554432000 4194304 16246674 140733587354176 140323598605552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (toysat) S 3442 3445 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109808426 1376325632 277510 33554432000 4194304 16246674 140733587354176 140323588132016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1344068

[startup+1542.31 s]
/proc/loadavg: 2.08 2.10 1.99 4/183 3559
/proc/meminfo: memFree=28409344/32872528 swapFree=12328/568296
[pid=3445] ppid=3442 vsize=1344068 CPUtime=1541.8 cores=0,2,4,6
/proc/3445/stat : 3445 (toysat) R 3442 3445 3396 0 -1 4202496 277677 0 0 0 154140 40 0 0 20 0 4 0 109808426 1376325632 277510 33554432000 4194304 16246674 140733587354176 140733587336064 5515792 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3445/statm: 336017 277510 893 2943 0 332911 0
[pid=3445/tid=3446] ppid=3442 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3446/stat : 3446 (toysat) S 3442 3445 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109808426 1376325632 277510 33554432000 4194304 16246674 140733587354176 140323609095408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3447] ppid=3442 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (toysat) S 3442 3445 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109808426 1376325632 277510 33554432000 4194304 16246674 140733587354176 140323598605552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (toysat) S 3442 3445 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109808426 1376325632 277510 33554432000 4194304 16246674 140733587354176 140323588132016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1344068

[startup+1602.3 s]
/proc/loadavg: 2.12 2.11 2.00 3/183 3560
/proc/meminfo: memFree=28409504/32872528 swapFree=12328/568296
[pid=3445] ppid=3442 vsize=1344068 CPUtime=1601.78 cores=0,2,4,6
/proc/3445/stat : 3445 (toysat) R 3442 3445 3396 0 -1 4202496 277677 0 0 0 160138 40 0 0 20 0 4 0 109808426 1376325632 277510 33554432000 4194304 16246674 140733587354176 140733587336064 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3445/statm: 336017 277510 893 2943 0 332911 0
[pid=3445/tid=3446] ppid=3442 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3446/stat : 3446 (toysat) S 3442 3445 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109808426 1376325632 277510 33554432000 4194304 16246674 140733587354176 140323609095408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3447] ppid=3442 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (toysat) S 3442 3445 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109808426 1376325632 277510 33554432000 4194304 16246674 140733587354176 140323598605552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (toysat) S 3442 3445 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109808426 1376325632 277510 33554432000 4194304 16246674 140733587354176 140323588132016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1344068

[startup+1662.3 s]
/proc/loadavg: 2.09 2.10 2.00 3/184 3564
/proc/meminfo: memFree=28401808/32872528 swapFree=12328/568296
[pid=3445] ppid=3442 vsize=1344068 CPUtime=1661.77 cores=0,2,4,6
/proc/3445/stat : 3445 (toysat) R 3442 3445 3396 0 -1 4202496 277677 0 0 0 166137 40 0 0 20 0 4 0 109808426 1376325632 277510 33554432000 4194304 16246674 140733587354176 140733587336064 5721984 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3445/statm: 336017 277510 893 2943 0 332911 0
[pid=3445/tid=3446] ppid=3442 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3446/stat : 3446 (toysat) S 3442 3445 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109808426 1376325632 277510 33554432000 4194304 16246674 140733587354176 140323609095408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3447] ppid=3442 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (toysat) S 3442 3445 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109808426 1376325632 277510 33554432000 4194304 16246674 140733587354176 140323598605552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (toysat) S 3442 3445 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109808426 1376325632 277510 33554432000 4194304 16246674 140733587354176 140323588132016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1344068

[startup+1722.3 s]
/proc/loadavg: 2.09 2.10 2.00 3/183 3565
/proc/meminfo: memFree=28388332/32872528 swapFree=12328/568296
[pid=3445] ppid=3442 vsize=1344068 CPUtime=1721.76 cores=0,2,4,6
/proc/3445/stat : 3445 (toysat) R 3442 3445 3396 0 -1 4202496 277677 0 0 0 172136 40 0 0 20 0 4 0 109808426 1376325632 277510 33554432000 4194304 16246674 140733587354176 140733587336064 5829044 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3445/statm: 336017 277510 893 2943 0 332911 0
[pid=3445/tid=3446] ppid=3442 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3446/stat : 3446 (toysat) S 3442 3445 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109808426 1376325632 277510 33554432000 4194304 16246674 140733587354176 140323609095408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3447] ppid=3442 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (toysat) S 3442 3445 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109808426 1376325632 277510 33554432000 4194304 16246674 140733587354176 140323598605552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (toysat) S 3442 3445 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109808426 1376325632 277510 33554432000 4194304 16246674 140733587354176 140323588132016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1344068

[startup+1782.3 s]
/proc/loadavg: 2.12 2.11 2.01 3/183 3566
/proc/meminfo: memFree=28371628/32872528 swapFree=12328/568296
[pid=3445] ppid=3442 vsize=1344068 CPUtime=1781.75 cores=0,2,4,6
/proc/3445/stat : 3445 (toysat) R 3442 3445 3396 0 -1 4202496 277677 0 0 0 178135 40 0 0 20 0 4 0 109808426 1376325632 277510 33554432000 4194304 16246674 140733587354176 140733587336064 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3445/statm: 336017 277510 893 2943 0 332911 0
[pid=3445/tid=3446] ppid=3442 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3446/stat : 3446 (toysat) S 3442 3445 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109808426 1376325632 277510 33554432000 4194304 16246674 140733587354176 140323609095408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3447] ppid=3442 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (toysat) S 3442 3445 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109808426 1376325632 277510 33554432000 4194304 16246674 140733587354176 140323598605552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (toysat) S 3442 3445 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109808426 1376325632 277510 33554432000 4194304 16246674 140733587354176 140323588132016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1344068



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.10 2.10 2.01 3/183 3566
/proc/meminfo: memFree=28371864/32872528 swapFree=12328/568296
[pid=3445] ppid=3442 vsize=1344068 CPUtime=1800.05 cores=0,2,4,6
/proc/3445/stat : 3445 (toysat) R 3442 3445 3396 0 -1 4202496 277677 0 0 0 179965 40 0 0 20 0 4 0 109808426 1376325632 277510 33554432000 4194304 16246674 140733587354176 140733587336064 4220807 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3445/statm: 336017 277510 893 2943 0 332911 0
[pid=3445/tid=3446] ppid=3442 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3446/stat : 3446 (toysat) S 3442 3445 3396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109808426 1376325632 277510 33554432000 4194304 16246674 140733587354176 140323609095408 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=3445/tid=3447] ppid=3442 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3447/stat : 3447 (toysat) S 3442 3445 3396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109808426 1376325632 277510 33554432000 4194304 16246674 140733587354176 140323598605552 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=3445/tid=3448] ppid=3442 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/3445/task/3448/stat : 3448 (toysat) S 3442 3445 3396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109808426 1376325632 277510 33554432000 4194304 16246674 140733587354176 140323588132016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1344068

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.07
CPU user time (s): 1799.66
CPU system time (s): 0.408937
CPU usage (%): 99.9699
Max. virtual memory (cumulated for all children) (KiB): 1344068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.66
system time used= 0.408937
maximum resident set size= 1110040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277677
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= 489
involuntary context switches= 1900

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.63929 second user time and 6.92395 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-07 07:52:39
IDJOB=4079993
IDBENCH=89869
IDSOLVER=2542
FILE ID=node138/4079993-1465278758
RUNJOBID= node138-1465278758-3412
PBS_JOBID= 19843315
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-f2000.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079993-1465278758/watcher-4079993-1465278758 -o /tmp/evaluation-result-4079993-1465278758/solver-4079993-1465278758 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1465278758-3412 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079993-1465278758.opb

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

MD5SUM BENCH= acba870ceff62e653e0b2927ff2b81fb
RANDOM SEED=269986772

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31138148 kB
Buffers:           97680 kB
Cached:           242404 kB
SwapCached:        46740 kB
Active:           176372 kB
Inactive:         251184 kB
Active(anon):      42152 kB
Inactive(anon):    47688 kB
Active(file):     134220 kB
Inactive(file):   203496 kB
Unevictable:      568296 kB
Mlocked:           12328 kB
SwapTotal:      67108856 kB
SwapFree:       67053656 kB
Dirty:             33112 kB
Writeback:             0 kB
AnonPages:        608748 kB
Mapped:             9776 kB
Shmem:                 0 kB
Slab:             602524 kB
SReclaimable:      46260 kB
SUnreclaim:       556264 kB
KernelStack:        1336 kB
PageTables:         7452 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1697740 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    557056 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= 71696 MiB
End job on node138 at 2016-06-07 08:22:39