Trace number 4100049

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.09 1800.52

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-bal8x12.opb
MD5SUM08c9d2f9c7022678189ff579f66c642f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.031995
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables2976
Total number of constraints116
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints116
Minimum length of a constraint31
Maximum length of a constraint360
Number of terms in the objective function 2976
Biggest coefficient in the objective function 6132
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 526551
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262143
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 526551
Number of bits of the biggest sum of numbers20
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-18T02:31:13+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-4100049-1466209873.opb"]
0.00/0.01	c use --random-gen="1862601161 3487657672 1117567362 2988195436 3601737050 1350742637 3672674805 1981422465 1341315373 2786967769 2837823672 3943847653 4162219881 3511114156 2350716413 3419394436 3824765391 624893858 2581160099 2468239107 2843887134 868056939 2606817083 172914785 313916212 3599821902 1619038465 4097098395 3939599359 4051045010 945868157 3571220921 1317197534 4110044378 102652959 3664403551 2405103049 3936535438 3723965860 1071481455 2411965354 3375081457 869307254 519114989 1933444359 616378344 3713990318 2127591397 602609711 1770372822 2784842252 302273374 2421058922 419106869 319595338 2382511445 779527926 2276133807 1615433109 225641948 1317366361 2581721659 896450159 630168828 2870474373 95585630 2918601344 3331152161 874823733 3454754830 109730753 1791870972 2796048520 1831135753 1645914102 2266494069 2719615372 3131582457 591622689 1111682671 211587954 141692606 1564565122 748823470 1646471787 2472456814 2224103527 1487212609 40440719 1593560599 3975212247 3303281275 3618702245 3496647017 4249642108 2125563029 2740250068 2621534181 1276263654 2464189156 1934354698 2001812256 1717197612 1794235293 793210612 3683194354 3081102129 1577705072 1983524866 2293840939 855955491 2203660915 2962270510 3002541972 941624537 865242883 3698716993 620602970 2158446080 388811123 592696114 3813468671 4197693642 1433876751 1174367723 877111721 835223041 1901400081 1631275381 3552302409 2315119018 3169171637 3575654581 2712143555 4113442764 4225268563 4065226918 1040637846 3170778364 4094992813 2710862399 3256620805 1099103511 1923414192 3248032117 1313352911 1253445040 1216869800 2536532659 4085822456 4264703271 2370240433 4046667583 3800613447 2526959457 2186861192 648423778 885566688 1459268813 2030067270 2186357406 320119235 1803934236 2121989010 1885573206 2011686285 2302799063 1158717426 3665372826 2311164304 1675978906 2781782668 2136620439 1309276110 3429552457 3381885639 3217352096 2235380113 3926729082 2960905519 2400934722 3183540043 3659608206 396731920 2340952840 760893122 827488415 1893018146 3445710524 185920132 2313956076 963311132 2043569822 4052757614 54096821 1069354655 2409239550 3088619457 611050855 4082000306 2098765147 256388237 1859179425 90787783 3946603748 2586137737 613821171 4104830221 2370264734 2528565755 300294267 612506864 2565302336 1099690538 3549352321 3662537154 1003752015 1592162126 605506464 233697197 2601527285 3401374709 3615128060 1594529164 187700205 3939565527 258709739 1671217452 2924795359 3535338791 426748828 3014400466 2240311215 1607337460 1901372127 3891995752 1634284671 1194700627 2491253943 3375247140 1644711594 4080118078 3808163666 2129153928 767244033 2741735257 1637706683 2514595468 2942446399 3341290826 1233209985 398872695 823599429 3030906776 616842781 3574881816 255 362436" option to reproduce the execution
0.00/0.04	c #vars 2976
0.00/0.04	c #constraints 116
0.00/0.07	c BCD2: Hardening is enabled.
0.00/0.07	c BCD2: BiasedSearch is enabled.
0.00/0.07	c Solving starts ...
0.00/0.07	c ============================[ Search Statistics ]============================
0.00/0.07	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.07	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.07	c =============================================================================
0.00/0.07	c  0.0s |       0 |        0 |        0 |     1037      0 |     1493 |        0
0.09/0.19	c  0.1s |       1 |      455 |      100 |     1037      0 |     1493 |        0
0.39/0.48	c  0.4s |       2 |     1749 |      250 |     1141      0 |     1493 |        0
0.59/0.69	c  0.6s |       3 |     2965 |      475 |     1256      0 |     1493 |        0
1.68/1.72	c  1.7s |       4 |     4660 |      813 |     1382      0 |     1493 |        0
2.79/2.81	c  2.7s |       5 |     7626 |     1320 |     1521      0 |     1493 |        0
4.19/4.27	c  4.2s |       6 |    10792 |     2081 |     1842      0 |     1493 |        0
6.39/6.49	c  6.4s |       6 |    17345 |     3081 |     1842      0 |     1493 |        0
6.79/6.80	c  6.7s |       7 |    17611 |     3223 |     2027      0 |     1493 |        0
8.89/8.92	c  8.8s |       7 |    20480 |     4423 |     2027      0 |     1493 |        0
10.08/10.11	c 10.0s |       8 |    21105 |     4936 |     2230      1 |     1493 |        0
12.09/12.20	c 12.1s |       8 |    26014 |     6636 |     2230      1 |     1493 |        0
13.38/13.45	c 13.4s |       9 |    28680 |     7506 |     2453      2 |     1493 |        0
15.49/15.59	c 15.5s |       9 |    33471 |     8806 |     2453      2 |     1493 |        0
17.59/17.68	c 17.6s |       9 |    37317 |     9906 |     2453      2 |     1493 |        0
19.68/19.73	c 19.7s |       9 |    40379 |    10906 |     2453      3 |     1493 |        0
20.68/20.79	c 20.7s |      10 |    41304 |    11361 |     2699      3 |     1493 |        0
22.98/23.03	c 23.0s |      10 |    45836 |    12261 |     2699      3 |     1493 |        0
25.18/25.23	c 25.2s |      10 |    49930 |    13061 |     2699      4 |     1493 |        0
27.29/27.35	c 27.3s |      10 |    54722 |    13961 |     2699      4 |     1493 |        0
29.29/29.37	c 29.3s |      10 |    57631 |    14761 |     2699      4 |     1493 |        0
31.29/31.39	c 31.3s |      10 |    60641 |    15361 |     2699      5 |     1493 |        0
33.49/33.53	c 33.5s |      10 |    63932 |    15961 |     2699      5 |     1493 |        0
35.89/35.91	c 35.8s |      10 |    68318 |    16761 |     2699      5 |     1493 |        0
37.39/37.41	c 37.3s |      11 |    70343 |    17144 |     2969      5 |     1493 |        0
39.39/39.44	c 39.4s |      11 |    74770 |    18744 |     2969      6 |     1493 |        0
41.49/41.57	c 41.5s |      11 |    79206 |    20644 |     2969      6 |     1493 |        0
43.59/43.62	c 43.5s |      11 |    82286 |    22144 |     2969      7 |     1493 |        0
45.69/45.70	c 45.6s |      11 |    86000 |    23744 |     2969      8 |     1493 |        0
47.78/47.82	c 47.7s |      11 |    89465 |    25544 |     2969      8 |     1493 |        0
48.08/48.15	c 48.1s |      12 |    89841 |    25819 |     3266      8 |     1493 |        0
50.18/50.23	c 50.2s |      12 |    95699 |    27119 |     3266      9 |     1493 |        0
52.28/52.35	c 52.3s |      12 |    98932 |    28119 |     3266      9 |     1493 |        0
54.38/54.40	c 54.3s |      12 |   102191 |    29019 |     3266      9 |     1493 |        0
56.38/56.42	c 56.4s |      12 |   105250 |    29919 |     3266     10 |     1493 |        0
58.48/58.55	c 58.5s |      12 |   109053 |    30819 |     3266     10 |     1493 |        0
60.59/60.62	c 60.5s |      12 |   111631 |    31619 |     3266     10 |     1493 |        0
62.69/62.80	c 62.7s |      12 |   114959 |    32519 |     3266     11 |     1493 |        0
64.78/64.88	c 64.8s |      12 |   118021 |    33419 |     3266     11 |     1493 |        0
66.98/67.01	c 66.9s |      12 |   121742 |    34319 |     3266     11 |     1493 |        0
69.18/69.30	c 69.2s |      12 |   124997 |    35119 |     3266     11 |     1493 |        0
71.38/71.50	c 71.4s |      12 |   126419 |    35819 |     3266     12 |     1493 |        0
73.48/73.50	c 73.4s |      12 |   129326 |    36719 |     3266     12 |     1493 |        0
75.48/75.52	c 75.4s |      12 |   131585 |    37619 |     3266     12 |     1493 |        0
77.68/77.72	c 77.7s |      12 |   133163 |    38319 |     3266     13 |     1493 |        0
78.98/79.03	c 79.0s |      13 |   134464 |    38832 |     3593     13 |     1493 |        0
80.97/81.06	c 81.0s |      13 |   140214 |    39732 |     3593     13 |     1493 |        0
82.97/83.06	c 83.0s |      13 |   144539 |    40732 |     3593     13 |     1493 |        0
85.07/85.12	c 85.1s |      13 |   147699 |    41532 |     3593     14 |     1493 |        0
87.07/87.15	c 87.1s |      13 |   151106 |    42432 |     3593     14 |     1493 |        0
89.18/89.28	c 89.2s |      13 |   154597 |    43332 |     3593     14 |     1493 |        0
91.38/91.46	c 91.4s |      13 |   157615 |    44232 |     3593     14 |     1493 |        0
93.48/93.60	c 93.5s |      13 |   159241 |    44932 |     3593     15 |     1493 |        0
95.57/95.63	c 95.6s |      13 |   160683 |    45532 |     3593     15 |     1493 |        0
97.67/97.78	c 97.7s |      13 |   161709 |    46132 |     3593     15 |     1493 |        0
99.77/99.81	c 99.7s |      13 |   164409 |    46832 |     3593     15 |     1493 |        0
101.87/101.97	c  101s |      13 |   167589 |    47632 |     3593     15 |     1493 |        0
103.97/104.06	c  103s |      13 |   169818 |    48332 |     3593     16 |     1493 |        0
106.37/106.40	c  106s |      13 |   171947 |    49032 |     3593     16 |     1493 |        0
108.67/108.73	c  108s |      13 |   174226 |    49732 |     3593     16 |     1493 |        0
110.77/110.80	c  110s |      13 |   176410 |    50332 |     3593     16 |     1493 |        0
112.97/113.06	c  112s |      13 |   178008 |    51032 |     3593     17 |     1493 |        0
115.07/115.16	c  115s |      13 |   179728 |    51632 |     3593     17 |     1493 |        0
117.17/117.28	c  117s |      13 |   181995 |    52232 |     3593     17 |     1493 |        0
119.17/119.28	c  119s |      13 |   183520 |    52832 |     3593     17 |     1493 |        0
121.57/121.65	c  121s |      13 |   185366 |    53432 |     3593     17 |     1493 |        0
123.87/123.92	c  123s |      13 |   187163 |    54032 |     3593     18 |     1493 |        0
125.87/125.96	c  125s |      13 |   189783 |    54732 |     3593     18 |     1493 |        0
127.97/128.07	c  127s |      13 |   192351 |    55632 |     3593     18 |     1493 |        0
130.07/130.11	c  130s |      13 |   194559 |    56332 |     3593     18 |     1493 |        0
132.27/132.33	c  132s |      13 |   196996 |    57032 |     3593     19 |     1493 |        0
134.47/134.59	c  134s |      13 |   199402 |    57732 |     3593     19 |     1493 |        0
136.57/136.64	c  136s |      14 |   201819 |    58352 |     3953     19 |     1493 |        0
138.57/138.68	c  138s |      14 |   206417 |    59452 |     3953     19 |     1493 |        0
140.67/140.71	c  140s |      14 |   208491 |    60252 |     3953     19 |     1493 |        0
142.87/142.95	c  142s |      14 |   210377 |    60852 |     3953     20 |     1493 |        0
144.87/144.96	c  144s |      14 |   212929 |    61752 |     3953     20 |     1493 |        0
147.06/147.16	c  147s |      14 |   215289 |    62952 |     3953     20 |     1493 |        0
149.26/149.34	c  149s |      14 |   217465 |    63952 |     3953     21 |     1493 |        0
151.26/151.35	c  151s |      14 |   219040 |    64852 |     3953     21 |     1493 |        0
153.26/153.36	c  153s |      14 |   221388 |    65652 |     3953     21 |     1493 |        0
155.36/155.49	c  155s |      14 |   223350 |    66252 |     3953     21 |     1493 |        0
157.46/157.58	c  157s |      14 |   225697 |    66952 |     3953     21 |     1493 |        0
159.47/159.59	c  159s |      14 |   226828 |    67452 |     3953     22 |     1493 |        0
161.56/161.61	c  161s |      14 |   228682 |    68052 |     3953     22 |     1493 |        0
163.87/163.94	c  163s |      14 |   230606 |    68852 |     3953     22 |     1493 |        0
165.96/166.08	c  166s |      14 |   232366 |    69552 |     3953     22 |     1493 |        0
168.06/168.13	c  168s |      14 |   233742 |    70252 |     3953     22 |     1493 |        0
170.16/170.27	c  170s |      14 |   234923 |    70752 |     3953     23 |     1493 |        0
172.36/172.43	c  172s |      14 |   235910 |    71252 |     3953     23 |     1493 |        0
174.66/174.70	c  174s |      14 |   236861 |    71752 |     3953     23 |     1493 |        0
176.66/176.77	c  176s |      14 |   237551 |    72152 |     3953     23 |     1493 |        0
178.86/178.92	c  178s |      14 |   238724 |    72652 |     3953     23 |     1493 |        0
180.86/180.96	c  180s |      14 |   240735 |    73452 |     3953     23 |     1493 |        0
182.96/183.00	c  182s |      14 |   243923 |    74452 |     3953     24 |     1493 |        0
185.06/185.10	c  185s |      14 |   247589 |    75552 |     3953     24 |     1493 |        0
187.16/187.28	c  187s |      14 |   251230 |    76552 |     3953     24 |     1493 |        0
189.36/189.48	c  189s |      14 |   253957 |    77452 |     3953     25 |     1493 |        0
191.46/191.58	c  191s |      14 |   256300 |    78352 |     3953     25 |     1493 |        0
193.66/193.79	c  193s |      14 |   258830 |    79252 |     3953     25 |     1493 |        0
195.95/196.08	c  196s |      14 |   260760 |    80052 |     3953     25 |     1493 |        0
198.25/198.30	c  198s |      14 |   262581 |    80752 |     3953     26 |     1493 |        0
200.45/200.50	c  200s |      14 |   264447 |    81452 |     3953     26 |     1493 |        0
202.65/202.73	c  202s |      14 |   266525 |    82152 |     3953     26 |     1493 |        0
204.75/204.86	c  204s |      14 |   268332 |    82852 |     3953     26 |     1493 |        0
206.86/206.93	c  206s |      14 |   271225 |    83752 |     3953     27 |     1493 |        0
208.96/209.10	c  209s |      14 |   274030 |    84652 |     3953     27 |     1493 |        0
211.05/211.17	c  211s |      14 |   276593 |    85352 |     3953     27 |     1493 |        0
213.15/213.20	c  213s |      14 |   278891 |    86052 |     3953     27 |     1493 |        0
215.15/215.23	c  215s |      14 |   281378 |    87052 |     4349     28 |     1493 |        0
216.45/216.56	c  216s |      15 |   283544 |    87632 |     4349     28 |     1493 |        0
218.55/218.64	c  218s |      15 |   286548 |    88532 |     4349     28 |     1493 |        0
220.65/220.76	c  220s |      15 |   288582 |    89432 |     4349     28 |     1493 |        0
222.75/222.86	c  222s |      15 |   290516 |    90232 |     4349     28 |     1493 |        0
224.95/225.02	c  224s |      15 |   292674 |    91232 |     4349     29 |     1493 |        0
227.16/227.26	c  227s |      15 |   296157 |    92132 |     4349     29 |     1493 |        0
229.26/229.33	c  229s |      15 |   298424 |    92932 |     4349     29 |     1493 |        0
231.36/231.48	c  231s |      15 |   300663 |    93932 |     4349     29 |     1493 |        0
233.36/233.49	c  233s |      15 |   303853 |    94832 |     4349     30 |     1493 |        0
235.46/235.53	c  235s |      15 |   305075 |    95532 |     4349     30 |     1493 |        0
237.56/237.65	c  237s |      15 |   306157 |    96132 |     4349     30 |     1493 |        0
239.56/239.69	c  239s |      15 |   307875 |    96732 |     4349     30 |     1493 |        0
241.66/241.77	c  241s |      15 |   308819 |    97232 |     4349     30 |     1493 |        0
243.76/243.84	c  243s |      15 |   309887 |    97732 |     4349     30 |     1493 |        0
245.86/245.98	c  245s |      15 |   310973 |    98232 |     4349     31 |     1493 |        0
248.06/248.13	c  248s |      15 |   311926 |    98932 |     4349     31 |     1493 |        0
250.06/250.19	c  250s |      15 |   313151 |    99432 |     4349     31 |     1493 |        0
252.25/252.32	c  252s |      15 |   314015 |    99932 |     4349     31 |     1493 |        0
254.45/254.56	c  254s |      15 |   315400 |   100532 |     4349     31 |     1493 |        0
256.75/256.89	c  256s |      15 |   316595 |   101132 |     4349     31 |     1493 |        0
259.15/259.23	c  259s |      15 |   318072 |   101732 |     4349     32 |     1493 |        0
261.35/261.44	c  261s |      15 |   320152 |   102632 |     4349     32 |     1493 |        0
263.35/263.45	c  263s |      15 |   321766 |   103332 |     4349     32 |     1493 |        0
265.55/265.61	c  265s |      15 |   323178 |   104232 |     4349     32 |     1493 |        0
267.95/268.02	c  267s |      15 |   325406 |   104932 |     4349     33 |     1493 |        0
270.05/270.18	c  270s |      15 |   326885 |   105532 |     4349     33 |     1493 |        0
272.25/272.30	c  272s |      15 |   329163 |   106232 |     4349     33 |     1493 |        0
274.35/274.45	c  274s |      15 |   331353 |   107032 |     4349     33 |     1493 |        0
276.45/276.58	c  276s |      15 |   333029 |   107732 |     4349     33 |     1493 |        0
278.85/278.97	c  278s |      15 |   334879 |   108432 |     4349     34 |     1493 |        0
281.15/281.26	c  281s |      15 |   336711 |   109132 |     4349     34 |     1493 |        0
283.15/283.28	c  283s |      15 |   338041 |   109732 |     4349     34 |     1493 |        0
285.65/285.76	c  285s |      15 |   339035 |   110332 |     4349     34 |     1493 |        0
287.85/287.93	c  287s |      15 |   343260 |   111432 |     4349     34 |     1493 |        0
289.85/289.95	c  289s |      15 |   345679 |   112132 |     4349     35 |     1493 |        0
292.25/292.30	c  292s |      15 |   347282 |   112932 |     4349     35 |     1493 |        0
294.45/294.52	c  294s |      15 |   350163 |   113832 |     4349     35 |     1493 |        0
296.64/296.72	c  296s |      15 |   353774 |   114732 |     4349     35 |     1493 |        0
298.94/299.05	c  298s |      15 |   356551 |   115632 |     4349     36 |     1493 |        0
301.04/301.15	c  301s |      15 |   359522 |   116332 |     4349     36 |     1493 |        0
303.04/303.18	c  303s |      15 |   361825 |   117132 |     4349     36 |     1493 |        0
305.14/305.21	c  305s |      15 |   364266 |   118132 |     4349     36 |     1493 |        0
307.44/307.50	c  307s |      15 |   367309 |   119132 |     4349     37 |     1493 |        0
309.74/309.83	c  309s |      15 |   369354 |   119832 |     4349     37 |     1493 |        0
311.74/311.88	c  311s |      15 |   372610 |   120532 |     4349     37 |     1493 |        0
313.84/313.91	c  313s |      15 |   374792 |   121432 |     4349     37 |     1493 |        0
315.84/315.98	c  315s |      15 |   376686 |   122132 |     4349     37 |     1493 |        0
318.14/318.25	c  318s |      15 |   379147 |   122932 |     4349     38 |     1493 |        0
320.44/320.52	c  320s |      15 |   381989 |   123732 |     4349     38 |     1493 |        0
322.64/322.70	c  322s |      15 |   384676 |   124632 |     4349     38 |     1493 |        0
324.74/324.84	c  324s |      15 |   387344 |   125532 |     4349     38 |     1493 |        0
326.84/326.91	c  326s |      15 |   389393 |   126232 |     4349     39 |     1493 |        0
328.94/329.05	c  328s |      15 |   391837 |   127032 |     4349     39 |     1493 |        0
331.04/331.13	c  331s |      15 |   393835 |   127732 |     4349     39 |     1493 |        0
333.24/333.32	c  333s |      15 |   395168 |   128332 |     4349     39 |     1493 |        0
335.54/335.61	c  335s |      15 |   396729 |   128932 |     4349     39 |     1493 |        0
337.74/337.87	c  337s |      15 |   398663 |   129532 |     4349     40 |     1493 |        0
339.94/340.04	c  339s |      15 |   400740 |   130232 |     4349     40 |     1493 |        0
341.94/342.06	c  341s |      15 |   402053 |   130832 |     4784     40 |     1493 |        0
343.83/343.96	c  343s |      16 |   404579 |   131552 |     4784     40 |     1493 |        0
346.03/346.18	c  346s |      16 |   409610 |   132552 |     4784     40 |     1493 |        0
348.13/348.20	c  348s |      16 |   412892 |   133452 |     4784     41 |     1493 |        0
350.23/350.33	c  350s |      16 |   416877 |   134552 |     4784     41 |     1493 |        0
352.23/352.39	c  352s |      16 |   419869 |   135352 |     4784     41 |     1493 |        0
354.43/354.57	c  354s |      16 |   422693 |   136252 |     4784     41 |     1493 |        0
356.63/356.70	c  356s |      16 |   425549 |   137052 |     4784     42 |     1493 |        0
358.64/358.79	c  358s |      16 |   428072 |   137852 |     4784     42 |     1493 |        0
360.74/360.89	c  360s |      16 |   430709 |   138552 |     4784     42 |     1493 |        0
362.94/363.09	c  363s |      16 |   432743 |   139152 |     4784     42 |     1493 |        0
365.14/365.21	c  365s |      16 |   434679 |   139752 |     4784     42 |     1493 |        0
367.34/367.42	c  367s |      16 |   436645 |   140352 |     4784     42 |     1493 |        0
369.43/369.54	c  369s |      16 |   438198 |   140952 |     4784     43 |     1493 |        0
371.53/371.62	c  371s |      16 |   439566 |   141452 |     4784     43 |     1493 |        0
373.63/373.72	c  373s |      16 |   441891 |   142052 |     4784     43 |     1493 |        0
375.93/376.03	c  375s |      16 |   443897 |   142652 |     4784     43 |     1493 |        0
378.13/378.28	c  378s |      16 |   445691 |   143252 |     4784     43 |     1493 |        0
380.33/380.45	c  380s |      16 |   446871 |   143752 |     4784     43 |     1493 |        0
382.53/382.68	c  382s |      16 |   448252 |   144252 |     4784     44 |     1493 |        0
384.63/384.72	c  384s |      16 |   449482 |   144752 |     4784     44 |     1493 |        0
386.73/386.88	c  386s |      16 |   451781 |   145352 |     4784     44 |     1493 |        0
388.83/388.93	c  388s |      16 |   454780 |   146052 |     4784     44 |     1493 |        0
391.03/391.14	c  391s |      16 |   457755 |   146652 |     4784     44 |     1493 |        0
393.33/393.41	c  393s |      16 |   459916 |   147252 |     4784     44 |     1493 |        0
395.53/395.61	c  395s |      16 |   461788 |   147852 |     4784     44 |     1493 |        0
397.73/397.83	c  397s |      16 |   464253 |   148552 |     4784     45 |     1493 |        0
399.73/399.87	c  399s |      16 |   466518 |   149252 |     4784     45 |     1493 |        0
402.03/402.10	c  402s |      16 |   469126 |   150152 |     4784     45 |     1493 |        0
404.13/404.25	c  404s |      16 |   473672 |   151152 |     4784     45 |     1493 |        0
406.33/406.41	c  406s |      16 |   476931 |   151952 |     4784     46 |     1493 |        0
408.42/408.55	c  408s |      16 |   482284 |   153152 |     4784     46 |     1493 |        0
410.42/410.59	c  410s |      16 |   485690 |   154052 |     4784     46 |     1493 |        0
412.62/412.70	c  412s |      16 |   488937 |   154852 |     4784     46 |     1493 |        0
414.63/414.72	c  414s |      16 |   491416 |   155552 |     4784     47 |     1493 |        0
416.83/416.97	c  416s |      16 |   494097 |   156452 |     4784     47 |     1493 |        0
419.22/419.32	c  419s |      16 |   496892 |   157252 |     4784     47 |     1493 |        0
421.52/421.63	c  421s |      16 |   498713 |   157952 |     4784     47 |     1493 |        0
423.72/423.83	c  423s |      16 |   502438 |   158752 |     4784     47 |     1493 |        0
425.92/426.01	c  425s |      16 |   505696 |   159652 |     4784     48 |     1493 |        0
427.93/428.09	c  428s |      16 |   508406 |   160352 |     4784     48 |     1493 |        0
430.13/430.28	c  430s |      16 |   512219 |   161152 |     4784     48 |     1493 |        0
432.23/432.37	c  432s |      16 |   516294 |   162052 |     4784     48 |     1493 |        0
434.43/434.55	c  434s |      16 |   518348 |   162752 |     4784     49 |     1493 |        0
436.52/436.69	c  436s |      16 |   521733 |   163552 |     4784     49 |     1493 |        0
438.72/438.83	c  438s |      16 |   525965 |   164452 |     4784     49 |     1493 |        0
440.72/440.84	c  440s |      16 |   528856 |   165152 |     4784     49 |     1493 |        0
442.92/443.03	c  442s |      16 |   531568 |   165852 |     4784     49 |     1493 |        0
445.12/445.22	c  445s |      16 |   534045 |   166552 |     4784     50 |     1493 |        0
447.42/447.51	c  447s |      16 |   537223 |   167352 |     4784     50 |     1493 |        0
449.62/449.74	c  449s |      16 |   540768 |   168052 |     4784     50 |     1493 |        0
451.62/451.79	c  451s |      16 |   543599 |   168752 |     4784     50 |     1493 |        0
453.72/453.82	c  453s |      16 |   547435 |   169552 |     4784     50 |     1493 |        0
455.92/456.07	c  456s |      16 |   550523 |   170352 |     4784     51 |     1493 |        0
458.02/458.14	c  458s |      16 |   553888 |   171152 |     4784     51 |     1493 |        0
460.32/460.40	c  460s |      16 |   557060 |   172052 |     4784     51 |     1493 |        0
462.52/462.63	c  462s |      16 |   560307 |   172752 |     4784     51 |     1493 |        0
464.62/464.72	c  464s |      16 |   563699 |   173452 |     4784     51 |     1493 |        0
466.72/466.84	c  466s |      16 |   566716 |   174152 |     4784     52 |     1493 |        0
468.82/468.95	c  468s |      16 |   571542 |   174952 |     4784     52 |     1493 |        0
470.92/471.04	c  470s |      16 |   574687 |   175752 |     4784     52 |     1493 |        0
473.11/473.25	c  473s |      16 |   577401 |   176452 |     4784     52 |     1493 |        0
475.22/475.32	c  475s |      16 |   579445 |   177152 |     4784     52 |     1493 |        0
477.21/477.37	c  477s |      16 |   581195 |   177852 |     4784     53 |     1493 |        0
479.31/479.49	c  479s |      16 |   583753 |   178552 |     4784     53 |     1493 |        0
481.41/481.57	c  481s |      16 |   586038 |   179352 |     4784     53 |     1493 |        0
483.71/483.88	c  483s |      16 |   588972 |   180252 |     4784     53 |     1493 |        0
485.81/485.94	c  485s |      16 |   590894 |   180852 |     4784     53 |     1493 |        0
488.01/488.17	c  488s |      16 |   593649 |   181552 |     4784     54 |     1493 |        0
490.31/490.46	c  490s |      16 |   597209 |   182352 |     4784     54 |     1493 |        0
492.41/492.52	c  492s |      16 |   599945 |   182952 |     4784     54 |     1493 |        0
494.51/494.62	c  494s |      16 |   602360 |   183552 |     4784     54 |     1493 |        0
496.81/496.95	c  496s |      16 |   604232 |   184152 |     4784     54 |     1493 |        0
498.91/499.00	c  498s |      16 |   605871 |   184652 |     4784     54 |     1493 |        0
500.92/501.06	c  500s |      16 |   607507 |   185152 |     4784     55 |     1493 |        0
503.12/503.29	c  503s |      16 |   609625 |   185752 |     4784     55 |     1493 |        0
505.52/505.62	c  505s |      16 |   612794 |   186452 |     4784     55 |     1493 |        0
507.61/507.74	c  507s |      16 |   615455 |   187052 |     4784     55 |     1493 |        0
509.91/510.04	c  509s |      16 |   617533 |   187652 |     4784     55 |     1493 |        0
512.01/512.19	c  512s |      16 |   618816 |   188152 |     4784     55 |     1493 |        0
514.21/514.38	c  514s |      16 |   620257 |   188652 |     4784     56 |     1493 |        0
516.31/516.47	c  516s |      16 |   623755 |   189352 |     4784     56 |     1493 |        0
518.51/518.67	c  518s |      16 |   626852 |   190252 |     4784     56 |     1493 |        0
520.81/520.94	c  520s |      16 |   631474 |   191252 |     4784     56 |     1493 |        0
522.91/523.07	c  522s |      16 |   635702 |   192052 |     4784     56 |     1493 |        0
524.91/525.08	c  525s |      16 |   638655 |   192752 |     4784     57 |     1493 |        0
527.11/527.23	c  527s |      16 |   642554 |   193552 |     4784     57 |     1493 |        0
529.31/529.41	c  529s |      16 |   645916 |   194252 |     4784     57 |     1493 |        0
531.32/531.45	c  531s |      16 |   648186 |   194852 |     4784     57 |     1493 |        0
533.31/533.49	c  533s |      16 |   650671 |   195552 |     4784     57 |     1493 |        0
535.41/535.58	c  535s |      16 |   653404 |   196252 |     5263     58 |     1493 |        0
537.51/537.64	c  537s |      16 |   655277 |   196952 |     5263     58 |     1493 |        0
538.92/539.01	c  538s |      17 |   657417 |   197432 |     5263     58 |     1493 |        0
541.01/541.10	c  541s |      17 |   660605 |   198532 |     5263     58 |     1493 |        0
543.01/543.19	c  543s |      17 |   662497 |   199432 |     5263     58 |     1493 |        0
545.11/545.22	c  545s |      17 |   664899 |   200532 |     5263     59 |     1493 |        0
547.31/547.41	c  547s |      17 |   667106 |   201532 |     5263     59 |     1493 |        0
549.41/549.58	c  549s |      17 |   668352 |   202332 |     5263     59 |     1493 |        0
551.41/551.59	c  551s |      17 |   669955 |   203032 |     5263     59 |     1493 |        0
553.51/553.67	c  553s |      17 |   671927 |   203832 |     5263     59 |     1493 |        0
555.71/555.82	c  555s |      17 |   673853 |   204732 |     5263     60 |     1493 |        0
557.81/557.94	c  557s |      17 |   676030 |   205732 |     5263     60 |     1493 |        0
560.00/560.17	c  560s |      17 |   677470 |   206532 |     5263     60 |     1493 |        0
562.01/562.20	c  562s |      17 |   678668 |   207232 |     5263     60 |     1493 |        0
564.31/564.43	c  564s |      17 |   680300 |   207932 |     5263     60 |     1493 |        0
566.30/566.50	c  566s |      17 |   681362 |   208632 |     5263     61 |     1493 |        0
568.50/568.62	c  568s |      17 |   682481 |   209332 |     5263     61 |     1493 |        0
570.50/570.67	c  570s |      17 |   684123 |   210032 |     5263     61 |     1493 |        0
572.70/572.84	c  572s |      17 |   685806 |   210832 |     5263     61 |     1493 |        0
574.80/574.91	c  574s |      17 |   687221 |   211532 |     5263     61 |     1493 |        0
576.90/577.05	c  576s |      17 |   688355 |   212232 |     5263     62 |     1493 |        0
579.00/579.13	c  579s |      17 |   689505 |   212932 |     5263     62 |     1493 |        0
581.20/581.33	c  581s |      17 |   691042 |   213732 |     5263     62 |     1493 |        0
583.40/583.57	c  583s |      17 |   693321 |   214632 |     5263     62 |     1493 |        0
585.50/585.66	c  585s |      17 |   695113 |   215432 |     5263     62 |     1493 |        0
587.50/587.69	c  587s |      17 |   696330 |   216132 |     5263     62 |     1493 |        0
589.70/589.85	c  589s |      17 |   697962 |   216832 |     5263     63 |     1493 |        0
591.90/592.01	c  591s |      17 |   700329 |   217732 |     5263     63 |     1493 |        0
594.01/594.15	c  594s |      17 |   702617 |   218632 |     5263     63 |     1493 |        0
596.30/596.46	c  596s |      17 |   705139 |   219332 |     5263     63 |     1493 |        0
598.41/598.52	c  598s |      17 |   707695 |   220032 |     5263     63 |     1493 |        0
600.51/600.68	c  600s |      17 |   708805 |   220732 |     5263     64 |     1493 |        0
602.71/602.82	c  602s |      17 |   709901 |   221432 |     5263     64 |     1493 |        0
604.80/604.92	c  604s |      17 |   711414 |   222232 |     5263     64 |     1493 |        0
606.90/607.02	c  606s |      17 |   714178 |   222832 |     5263     64 |     1493 |        0
609.00/609.12	c  609s |      17 |   715742 |   223432 |     5263     64 |     1493 |        0
611.20/611.33	c  611s |      17 |   716726 |   224032 |     5263     64 |     1493 |        0
613.39/613.54	c  613s |      17 |   717957 |   224632 |     5263     65 |     1493 |        0
615.39/615.57	c  615s |      17 |   719837 |   225232 |     5263     65 |     1493 |        0
617.39/617.59	c  617s |      17 |   721175 |   225732 |     5263     65 |     1493 |        0
619.59/619.71	c  619s |      17 |   722988 |   226432 |     5263     65 |     1493 |        0
621.79/621.92	c  621s |      17 |   724816 |   227132 |     5263     65 |     1493 |        0
624.09/624.28	c  624s |      17 |   726067 |   227832 |     5263     65 |     1493 |        0
626.59/626.71	c  626s |      17 |   726925 |   228432 |     5263     66 |     1493 |        0
628.59/628.72	c  628s |      17 |   727904 |   228932 |     5263     66 |     1493 |        0
630.69/630.81	c  630s |      17 |   728628 |   229432 |     5263     66 |     1493 |        0
633.09/633.21	c  633s |      17 |   729811 |   230032 |     5263     66 |     1493 |        0
635.19/635.39	c  635s |      17 |   730766 |   230532 |     5263     66 |     1493 |        0
637.49/637.63	c  637s |      17 |   731701 |   231132 |     5263     66 |     1493 |        0
639.69/639.85	c  639s |      17 |   732760 |   231632 |     5263     66 |     1493 |        0
641.79/641.95	c  641s |      17 |   733547 |   232132 |     5263     66 |     1493 |        0
644.09/644.28	c  644s |      17 |   734346 |   232632 |     5263     67 |     1493 |        0
646.49/646.67	c  646s |      17 |   735087 |   233132 |     5263     67 |     1493 |        0
648.59/648.77	c  648s |      17 |   736277 |   233632 |     5263     67 |     1493 |        0
650.79/650.98	c  650s |      17 |   737595 |   234132 |     5263     67 |     1493 |        0
652.99/653.16	c  653s |      17 |   738554 |   234632 |     5263     67 |     1493 |        0
655.39/655.60	c  655s |      17 |   739869 |   235232 |     5263     67 |     1493 |        0
657.69/657.88	c  657s |      17 |   741224 |   235732 |     5263     67 |     1493 |        0
660.19/660.39	c  660s |      17 |   742627 |   236332 |     5263     68 |     1493 |        0
662.29/662.48	c  662s |      17 |   743924 |   236832 |     5263     68 |     1493 |        0
664.39/664.57	c  664s |      17 |   746292 |   237532 |     5263     68 |     1493 |        0
666.49/666.68	c  666s |      17 |   747393 |   238132 |     5263     68 |     1493 |        0
668.69/668.82	c  668s |      17 |   750463 |   239032 |     5263     68 |     1493 |        0
670.89/671.10	c  671s |      17 |   753772 |   239932 |     5263     68 |     1493 |        0
672.98/673.17	c  673s |      17 |   755946 |   240632 |     5263     69 |     1493 |        0
675.18/675.36	c  675s |      17 |   759041 |   241732 |     5263     69 |     1493 |        0
677.38/677.54	c  677s |      17 |   760677 |   242332 |     5263     69 |     1493 |        0
679.38/679.56	c  679s |      17 |   763352 |   243232 |     5263     69 |     1493 |        0
681.48/681.65	c  681s |      17 |   765957 |   244032 |     5263     69 |     1493 |        0
683.88/684.00	c  683s |      17 |   768038 |   244732 |     5263     70 |     1493 |        0
685.98/686.16	c  686s |      17 |   769556 |   245332 |     5263     70 |     1493 |        0
688.28/688.43	c  688s |      17 |   771284 |   246132 |     5263     70 |     1493 |        0
690.38/690.53	c  690s |      17 |   773150 |   246832 |     5263     70 |     1493 |        0
692.38/692.59	c  692s |      17 |   774581 |   247432 |     5263     70 |     1493 |        0
694.38/694.59	c  694s |      17 |   776006 |   248032 |     5263     70 |     1493 |        0
696.58/696.72	c  696s |      17 |   777021 |   248532 |     5263     71 |     1493 |        0
698.78/698.92	c  698s |      17 |   778382 |   249132 |     5263     71 |     1493 |        0
700.98/701.11	c  701s |      17 |   779171 |   249732 |     5263     71 |     1493 |        0
703.08/703.20	c  703s |      17 |   780798 |   250332 |     5263     71 |     1493 |        0
705.28/705.49	c  705s |      17 |   782704 |   250932 |     5263     71 |     1493 |        0
707.38/707.54	c  707s |      17 |   784868 |   251832 |     5263     71 |     1493 |        0
709.48/709.64	c  709s |      17 |   787114 |   252632 |     5263     72 |     1493 |        0
711.78/711.98	c  711s |      17 |   790339 |   253432 |     5263     72 |     1493 |        0
713.98/714.19	c  714s |      17 |   793975 |   254432 |     5263     72 |     1493 |        0
716.08/716.21	c  716s |      17 |   795947 |   255032 |     5263     72 |     1493 |        0
718.28/718.47	c  718s |      17 |   798199 |   255732 |     5263     72 |     1493 |        0
720.77/720.90	c  720s |      17 |   800237 |   256432 |     5263     73 |     1493 |        0
722.77/722.94	c  722s |      17 |   801690 |   257032 |     5263     73 |     1493 |        0
724.78/724.95	c  724s |      17 |   803337 |   257632 |     5263     73 |     1493 |        0
727.08/727.21	c  727s |      17 |   804491 |   258232 |     5263     73 |     1493 |        0
729.37/729.58	c  729s |      17 |   805904 |   258832 |     5263     73 |     1493 |        0
731.48/731.67	c  731s |      17 |   806773 |   259332 |     5263     73 |     1493 |        0
733.58/733.78	c  733s |      17 |   807502 |   259832 |     5263     73 |     1493 |        0
735.67/735.86	c  735s |      17 |   808893 |   260432 |     5263     74 |     1493 |        0
737.77/737.91	c  737s |      17 |   810129 |   261032 |     5263     74 |     1493 |        0
739.97/740.16	c  740s |      17 |   812017 |   261632 |     5263     74 |     1493 |        0
742.17/742.36	c  742s |      17 |   814318 |   262332 |     5263     74 |     1493 |        0
744.47/744.70	c  744s |      17 |   817393 |   263032 |     5263     74 |     1493 |        0
746.67/746.84	c  746s |      17 |   819596 |   263732 |     5263     74 |     1493 |        0
748.77/748.97	c  748s |      17 |   821847 |   264632 |     5263     75 |     1493 |        0
750.97/751.10	c  751s |      17 |   824651 |   265532 |     5263     75 |     1493 |        0
752.97/753.19	c  753s |      17 |   826599 |   266232 |     5263     75 |     1493 |        0
755.07/755.24	c  755s |      17 |   828128 |   266832 |     5263     75 |     1493 |        0
757.27/757.41	c  757s |      17 |   829865 |   267432 |     5263     75 |     1493 |        0
759.67/759.81	c  759s |      17 |   830961 |   268032 |     5263     75 |     1493 |        0
761.97/762.10	c  762s |      17 |   832181 |   268632 |     5263     76 |     1493 |        0
764.07/764.28	c  764s |      17 |   833247 |   269232 |     5263     76 |     1493 |        0
766.37/766.56	c  766s |      17 |   835931 |   270032 |     5263     76 |     1493 |        0
768.57/768.70	c  768s |      17 |   837382 |   270632 |     5263     76 |     1493 |        0
770.87/771.02	c  770s |      17 |   838592 |   271232 |     5263     76 |     1493 |        0
773.27/773.42	c  773s |      17 |   840000 |   271832 |     5263     76 |     1493 |        0
775.37/775.60	c  775s |      17 |   841573 |   272432 |     5263     77 |     1493 |        0
777.67/777.81	c  777s |      17 |   845158 |   273432 |     5263     77 |     1493 |        0
779.67/779.83	c  779s |      17 |   847076 |   274332 |     5263     77 |     1493 |        0
781.87/782.00	c  781s |      17 |   848805 |   275132 |     5263     77 |     1493 |        0
783.86/784.00	c  783s |      17 |   850327 |   275732 |     5263     77 |     1493 |        0
786.06/786.21	c  786s |      17 |   851648 |   276332 |     5263     78 |     1493 |        0
788.06/788.22	c  788s |      17 |   852930 |   276932 |     5263     78 |     1493 |        0
790.16/790.38	c  790s |      17 |   854341 |   277532 |     5263     78 |     1493 |        0
792.36/792.52	c  792s |      17 |   856565 |   278432 |     5263     78 |     1493 |        0
794.36/794.57	c  794s |      17 |   858548 |   279232 |     5263     78 |     1493 |        0
796.46/796.67	c  796s |      17 |   860849 |   280032 |     5263     78 |     1493 |        0
798.57/798.71	c  798s |      17 |   862751 |   280732 |     5263     79 |     1493 |        0
800.77/800.93	c  800s |      17 |   864647 |   281532 |     5263     79 |     1493 |        0
802.97/803.13	c  803s |      17 |   866826 |   282332 |     5263     79 |     1493 |        0
805.07/805.23	c  805s |      17 |   869207 |   283132 |     5263     79 |     1493 |        0
807.16/807.37	c  807s |      17 |   871395 |   283732 |     5263     79 |     1493 |        0
809.47/809.61	c  809s |      17 |   873887 |   284632 |     5263     80 |     1493 |        0
811.56/811.80	c  811s |      17 |   875885 |   285332 |     5263     80 |     1493 |        0
813.66/813.82	c  813s |      17 |   878045 |   285932 |     5263     80 |     1493 |        0
815.96/816.11	c  816s |      17 |   879508 |   286532 |     5263     80 |     1493 |        0
818.16/818.40	c  818s |      17 |   881805 |   287132 |     5263     80 |     1493 |        0
820.26/820.47	c  820s |      17 |   883298 |   287732 |     5263     80 |     1493 |        0
822.56/822.78	c  822s |      17 |   885063 |   288332 |     5263     81 |     1493 |        0
824.76/824.97	c  824s |      17 |   886285 |   288832 |     5263     81 |     1493 |        0
826.97/827.16	c  827s |      17 |   888200 |   289432 |     5263     81 |     1493 |        0
829.07/829.22	c  829s |      17 |   889260 |   289932 |     5263     81 |     1493 |        0
831.07/831.28	c  831s |      17 |   890881 |   290632 |     5263     81 |     1493 |        0
833.37/833.58	c  833s |      17 |   892032 |   291332 |     5263     81 |     1493 |        0
835.47/835.61	c  835s |      17 |   893068 |   291932 |     5263     81 |     1493 |        0
837.47/837.65	c  837s |      17 |   893748 |   292432 |     5263     82 |     1493 |        0
839.77/839.91	c  839s |      17 |   894603 |   293032 |     5263     82 |     1493 |        0
841.87/842.09	c  842s |      17 |   895487 |   293532 |     5263     82 |     1493 |        0
844.26/844.42	c  844s |      17 |   896238 |   294132 |     5263     82 |     1493 |        0
846.56/846.72	c  846s |      17 |   897191 |   294732 |     5790     82 |     1493 |        0
848.66/848.83	c  848s |      17 |   899893 |   295532 |     5790     82 |     1493 |        0
850.66/850.85	c  850s |      17 |   901291 |   296232 |     5790     82 |     1493 |        0
850.76/850.90	c  850s |      18 |   901364 |   296252 |     5790     82 |     1493 |        0
852.76/852.97	c  852s |      18 |   904092 |   297252 |     5790     83 |     1493 |        0
854.86/855.06	c  854s |      18 |   907062 |   298552 |     5790     83 |     1493 |        0
856.87/857.06	c  856s |      18 |   909441 |   299552 |     5790     83 |     1493 |        0
859.16/859.33	c  859s |      18 |   911559 |   300352 |     5790     83 |     1493 |        0
861.17/861.37	c  861s |      18 |   913339 |   301052 |     5790     84 |     1493 |        0
863.37/863.57	c  863s |      18 |   916198 |   302052 |     5790     84 |     1493 |        0
865.57/865.75	c  865s |      18 |   919052 |   302952 |     5790     84 |     1493 |        0
867.66/867.87	c  867s |      18 |   920560 |   303652 |     5790     84 |     1493 |        0
869.76/869.99	c  869s |      18 |   921900 |   304252 |     5790     84 |     1493 |        0
872.17/872.34	c  872s |      18 |   923351 |   304952 |     5790     85 |     1493 |        0
874.26/874.42	c  874s |      18 |   925211 |   305652 |     5790     85 |     1493 |        0
876.46/876.62	c  876s |      18 |   927532 |   306552 |     5790     85 |     1493 |        0
878.66/878.86	c  878s |      18 |   929366 |   307252 |     5790     85 |     1493 |        0
881.06/881.24	c  881s |      18 |   930653 |   307852 |     5790     85 |     1493 |        0
883.16/883.34	c  883s |      18 |   931973 |   308452 |     5790     85 |     1493 |        0
885.36/885.54	c  885s |      18 |   933018 |   309052 |     5790     85 |     1493 |        0
887.56/887.71	c  887s |      18 |   935711 |   309852 |     5790     86 |     1493 |        0
889.76/889.95	c  889s |      18 |   940882 |   311052 |     5790     86 |     1493 |        0
891.85/892.02	c  891s |      18 |   944747 |   311852 |     5790     86 |     1493 |        0
893.95/894.10	c  894s |      18 |   947917 |   312552 |     5790     86 |     1493 |        0
896.15/896.37	c  896s |      18 |   950936 |   313252 |     5790     86 |     1493 |        0
898.35/898.57	c  898s |      18 |   952973 |   313852 |     5790     87 |     1493 |        0
900.45/900.63	c  900s |      18 |   955219 |   314452 |     5790     87 |     1493 |        0
902.45/902.66	c  902s |      18 |   957765 |   315052 |     5790     87 |     1493 |        0
904.65/904.89	c  904s |      18 |   959755 |   315652 |     5790     87 |     1493 |        0
906.95/907.11	c  907s |      18 |   961674 |   316252 |     5790     87 |     1493 |        0
909.15/909.30	c  909s |      18 |   963209 |   316752 |     5790     87 |     1493 |        0
911.45/911.62	c  911s |      18 |   964860 |   317352 |     5790     87 |     1493 |        0
913.75/913.93	c  913s |      18 |   966785 |   317852 |     5790     88 |     1493 |        0
916.05/916.25	c  916s |      18 |   968249 |   318352 |     5790     88 |     1493 |        0
918.36/918.55	c  918s |      18 |   969092 |   318752 |     5790     88 |     1493 |        0
920.45/920.62	c  920s |      18 |   971222 |   319252 |     5790     88 |     1493 |        0
922.85/923.03	c  922s |      18 |   973577 |   319852 |     5790     88 |     1493 |        0
925.15/925.37	c  925s |      18 |   975693 |   320352 |     5790     88 |     1493 |        0
927.55/927.74	c  927s |      18 |   977669 |   320852 |     5790     88 |     1493 |        0
929.75/929.90	c  929s |      18 |   979531 |   321352 |     5790     88 |     1493 |        0
931.75/931.93	c  931s |      18 |   980520 |   321752 |     5790     88 |     1493 |        0
933.95/934.10	c  934s |      18 |   982250 |   322252 |     5790     89 |     1493 |        0
936.15/936.35	c  936s |      18 |   983883 |   322752 |     5790     89 |     1493 |        0
938.25/938.43	c  938s |      18 |   985220 |   323152 |     5790     89 |     1493 |        0
940.35/940.60	c  940s |      18 |   986262 |   323552 |     5790     89 |     1493 |        0
942.74/942.94	c  942s |      18 |   987817 |   324052 |     5790     89 |     1493 |        0
944.75/944.96	c  944s |      18 |   989488 |   324452 |     5790     89 |     1493 |        0
946.95/947.16	c  947s |      18 |   990783 |   324852 |     5790     89 |     1493 |        0
949.34/949.51	c  949s |      18 |   991785 |   325252 |     5790     89 |     1493 |        0
951.35/951.55	c  951s |      18 |   992932 |   325652 |     5790     89 |     1493 |        0
953.65/953.84	c  953s |      18 |   994281 |   326052 |     5790     90 |     1493 |        0
955.75/955.92	c  955s |      18 |   995742 |   326452 |     5790     90 |     1493 |        0
957.95/958.18	c  958s |      18 |   997787 |   327152 |     5790     90 |     1493 |        0
960.04/960.25	c  960s |      18 |  1000076 |   327852 |     5790     90 |     1493 |        0
962.24/962.41	c  962s |      18 |  1003135 |   329052 |     5790     90 |     1493 |        0
964.24/964.47	c  964s |      18 |  1004949 |   330152 |     5790     90 |     1493 |        0
966.34/966.56	c  966s |      18 |  1008250 |   331152 |     5790     91 |     1493 |        0
968.44/968.60	c  968s |      18 |  1010938 |   332152 |     5790     91 |     1493 |        0
970.44/970.60	c  970s |      18 |  1014223 |   333252 |     5790     91 |     1493 |        0
972.54/972.79	c  972s |      18 |  1017357 |   334352 |     5790     91 |     1493 |        0
974.64/974.84	c  974s |      18 |  1020105 |   335152 |     5790     92 |     1493 |        0
976.94/977.12	c  977s |      18 |  1022531 |   336052 |     5790     92 |     1493 |        0
979.04/979.22	c  979s |      18 |  1024715 |   336852 |     5790     92 |     1493 |        0
981.04/981.29	c  981s |      18 |  1026234 |   337552 |     5790     92 |     1493 |        0
983.24/983.43	c  983s |      18 |  1027923 |   338252 |     5790     92 |     1493 |        0
985.44/985.67	c  985s |      18 |  1029619 |   338952 |     5790     93 |     1493 |        0
987.53/987.76	c  987s |      18 |  1031226 |   339752 |     5790     93 |     1493 |        0
989.53/989.79	c  989s |      18 |  1033506 |   340552 |     5790     93 |     1493 |        0
991.63/991.88	c  991s |      18 |  1036745 |   341552 |     5790     93 |     1493 |        0
993.73/993.90	c  993s |      18 |  1039467 |   342452 |     5790     93 |     1493 |        0
995.93/996.11	c  996s |      18 |  1041968 |   343252 |     5790     94 |     1493 |        0
997.93/998.12	c  998s |      18 |  1044868 |   344052 |     5790     94 |     1493 |        0
1000.13/1000.31	c 1000s |      18 |  1046512 |   344752 |     5790     94 |     1493 |        0
1002.33/1002.53	c 1002s |      18 |  1048493 |   345452 |     5790     94 |     1493 |        0
1004.43/1004.67	c 1004s |      18 |  1049898 |   346052 |     5790     94 |     1493 |        0
1006.53/1006.79	c 1006s |      18 |  1052443 |   346952 |     5790     94 |     1493 |        0
1008.83/1009.00	c 1008s |      18 |  1055542 |   348052 |     5790     95 |     1493 |        0
1010.84/1011.02	c 1010s |      18 |  1058972 |   349052 |     5790     95 |     1493 |        0
1012.83/1013.04	c 1012s |      18 |  1061741 |   349952 |     5790     95 |     1493 |        0
1014.93/1015.10	c 1015s |      18 |  1063795 |   350852 |     5790     95 |     1493 |        0
1016.93/1017.17	c 1017s |      18 |  1066034 |   351752 |     5790     96 |     1493 |        0
1019.23/1019.44	c 1019s |      18 |  1067580 |   352652 |     5790     96 |     1493 |        0
1021.33/1021.55	c 1021s |      18 |  1068819 |   353452 |     5790     96 |     1493 |        0
1023.43/1023.61	c 1023s |      18 |  1070446 |   354152 |     5790     96 |     1493 |        0
1025.43/1025.68	c 1025s |      18 |  1073519 |   354852 |     5790     96 |     1493 |        0
1027.83/1028.03	c 1027s |      18 |  1075565 |   355652 |     5790     97 |     1493 |        0
1029.84/1030.09	c 1030s |      18 |  1079189 |   356552 |     5790     97 |     1493 |        0
1032.14/1032.37	c 1032s |      18 |  1081782 |   357352 |     5790     97 |     1493 |        0
1034.44/1034.63	c 1034s |      18 |  1084361 |   358052 |     5790     97 |     1493 |        0
1036.64/1036.87	c 1036s |      18 |  1086953 |   358652 |     5790     97 |     1493 |        0
1039.04/1039.25	c 1039s |      18 |  1089286 |   359252 |     5790     97 |     1493 |        0
1041.43/1041.60	c 1041s |      18 |  1091784 |   359852 |     5790     97 |     1493 |        0
1043.63/1043.87	c 1043s |      18 |  1093150 |   360352 |     5790     98 |     1493 |        0
1045.73/1045.93	c 1045s |      18 |  1095242 |   360852 |     5790     98 |     1493 |        0
1047.93/1048.13	c 1048s |      18 |  1096937 |   361352 |     5790     98 |     1493 |        0
1050.03/1050.21	c 1050s |      18 |  1098666 |   361852 |     5790     98 |     1493 |        0
1052.13/1052.32	c 1052s |      18 |  1100544 |   362352 |     5790     98 |     1493 |        0
1054.23/1054.46	c 1054s |      18 |  1102268 |   362852 |     5790     98 |     1493 |        0
1056.43/1056.65	c 1056s |      18 |  1103841 |   363352 |     5790     98 |     1493 |        0
1058.83/1059.04	c 1058s |      18 |  1105665 |   363852 |     5790     98 |     1493 |        0
1061.13/1061.35	c 1061s |      18 |  1107951 |   364352 |     5790     99 |     1493 |        0
1063.43/1063.61	c 1063s |      18 |  1110091 |   364952 |     5790     99 |     1493 |        0
1065.53/1065.74	c 1065s |      18 |  1112252 |   365652 |     5790     99 |     1493 |        0
1067.53/1067.76	c 1067s |      18 |  1114292 |   366552 |     5790     99 |     1493 |        0
1069.63/1069.89	c 1069s |      18 |  1116166 |   367452 |     5790     99 |     1493 |        0
1071.83/1072.06	c 1071s |      18 |  1118324 |   368452 |     5790     99 |     1493 |        0
1073.93/1074.14	c 1074s |      18 |  1120731 |   369352 |     5790    100 |     1493 |        0
1075.93/1076.18	c 1076s |      18 |  1123432 |   370352 |     5790    100 |     1493 |        0
1078.13/1078.32	c 1078s |      18 |  1125240 |   371152 |     5790    100 |     1493 |        0
1080.13/1080.39	c 1080s |      18 |  1127604 |   372052 |     5790    100 |     1493 |        0
1082.23/1082.43	c 1082s |      18 |  1130205 |   372752 |     5790    101 |     1493 |        0
1084.33/1084.59	c 1084s |      18 |  1132727 |   373652 |     5790    101 |     1493 |        0
1086.63/1086.83	c 1086s |      18 |  1135325 |   374552 |     5790    101 |     1493 |        0
1088.83/1089.04	c 1088s |      18 |  1136789 |   375252 |     5790    101 |     1493 |        0
1090.82/1091.07	c 1091s |      18 |  1138163 |   375952 |     5790    101 |     1493 |        0
1092.92/1093.15	c 1093s |      18 |  1139720 |   376752 |     5790    101 |     1493 |        0
1095.12/1095.33	c 1095s |      18 |  1141586 |   377552 |     5790    102 |     1493 |        0
1097.12/1097.37	c 1097s |      18 |  1143378 |   378352 |     5790    102 |     1493 |        0
1099.52/1099.77	c 1099s |      18 |  1145430 |   379252 |     5790    102 |     1493 |        0
1101.72/1101.95	c 1101s |      18 |  1148847 |   380252 |     5790    102 |     1493 |        0
1104.02/1104.21	c 1104s |      18 |  1151807 |   381152 |     5790    103 |     1493 |        0
1106.22/1106.41	c 1106s |      18 |  1154436 |   381952 |     5790    103 |     1493 |        0
1108.42/1108.64	c 1108s |      18 |  1157491 |   382852 |     5790    103 |     1493 |        0
1110.52/1110.73	c 1110s |      18 |  1160286 |   383652 |     5790    103 |     1493 |        0
1112.82/1113.04	c 1112s |      18 |  1162162 |   384352 |     5790    103 |     1493 |        0
1114.92/1115.17	c 1115s |      18 |  1164207 |   385052 |     5790    103 |     1493 |        0
1117.12/1117.38	c 1117s |      18 |  1165522 |   385652 |     5790    104 |     1493 |        0
1119.42/1119.67	c 1119s |      18 |  1166927 |   386252 |     5790    104 |     1493 |        0
1121.52/1121.76	c 1121s |      18 |  1168919 |   386952 |     5790    104 |     1493 |        0
1123.82/1124.08	c 1124s |      18 |  1170603 |   387552 |     5790    104 |     1493 |        0
1126.12/1126.38	c 1126s |      18 |  1172068 |   388152 |     5790    104 |     1493 |        0
1128.32/1128.60	c 1128s |      18 |  1174686 |   388852 |     5790    104 |     1493 |        0
1130.52/1130.77	c 1130s |      18 |  1177017 |   389452 |     5790    104 |     1493 |        0
1132.72/1132.91	c 1132s |      18 |  1179211 |   390152 |     5790    105 |     1493 |        0
1134.72/1134.96	c 1134s |      18 |  1182385 |   391252 |     5790    105 |     1493 |        0
1136.82/1137.05	c 1136s |      18 |  1185387 |   392252 |     5790    105 |     1493 |        0
1138.92/1139.16	c 1139s |      18 |  1188598 |   393252 |     5790    105 |     1493 |        0
1141.02/1141.22	c 1141s |      18 |  1191442 |   394052 |     5790    106 |     1493 |        0
1143.22/1143.40	c 1143s |      18 |  1194580 |   395052 |     5790    106 |     1493 |        0
1145.31/1145.52	c 1145s |      18 |  1197204 |   395952 |     5790    106 |     1493 |        0
1147.41/1147.60	c 1147s |      18 |  1199167 |   396752 |     5790    106 |     1493 |        0
1149.71/1149.93	c 1149s |      18 |  1201381 |   397552 |     5790    106 |     1493 |        0
1152.01/1152.20	c 1152s |      18 |  1203098 |   398252 |     5790    107 |     1493 |        0
1154.01/1154.26	c 1154s |      18 |  1205545 |   399152 |     5790    107 |     1493 |        0
1156.21/1156.48	c 1156s |      18 |  1209140 |   400152 |     5790    107 |     1493 |        0
1158.41/1158.63	c 1158s |      18 |  1212172 |   400952 |     5790    107 |     1493 |        0
1160.71/1160.91	c 1160s |      18 |  1215500 |   401752 |     5790    107 |     1493 |        0
1163.01/1163.29	c 1163s |      18 |  1217910 |   402452 |     5790    108 |     1493 |        0
1165.11/1165.35	c 1165s |      18 |  1219496 |   402952 |     5790    108 |     1493 |        0
1167.21/1167.41	c 1167s |      18 |  1221389 |   403552 |     5790    108 |     1493 |        0
1169.31/1169.51	c 1169s |      18 |  1223326 |   404152 |     5790    108 |     1493 |        0
1171.51/1171.70	c 1171s |      18 |  1224970 |   404752 |     5790    108 |     1493 |        0
1173.62/1173.86	c 1173s |      18 |  1227484 |   405652 |     5790    108 |     1493 |        0
1175.72/1175.96	c 1175s |      18 |  1230921 |   406552 |     5790    109 |     1493 |        0
1177.81/1178.00	c 1177s |      18 |  1233582 |   407552 |     5790    109 |     1493 |        0
1179.81/1180.08	c 1180s |      18 |  1235524 |   408452 |     5790    109 |     1493 |        0
1181.91/1182.12	c 1182s |      18 |  1236943 |   409152 |     5790    109 |     1493 |        0
1183.91/1184.18	c 1184s |      18 |  1238626 |   409852 |     5790    109 |     1493 |        0
1186.11/1186.31	c 1186s |      18 |  1240764 |   410652 |     5790    109 |     1493 |        0
1188.21/1188.49	c 1188s |      18 |  1243866 |   411452 |     5790    110 |     1493 |        0
1190.51/1190.72	c 1190s |      18 |  1246457 |   412352 |     5790    110 |     1493 |        0
1192.61/1192.80	c 1192s |      18 |  1249232 |   413152 |     5790    110 |     1493 |        0
1194.61/1194.84	c 1194s |      18 |  1251315 |   413852 |     5790    110 |     1493 |        0
1196.71/1196.94	c 1196s |      18 |  1252971 |   414452 |     5790    110 |     1493 |        0
1198.71/1198.99	c 1198s |      18 |  1254627 |   415052 |     5790    111 |     1493 |        0
1200.81/1201.03	c 1200s |      18 |  1256348 |   415652 |     5790    111 |     1493 |        0
1203.01/1203.23	c 1203s |      18 |  1258739 |   416252 |     5790    111 |     1493 |        0
1205.11/1205.36	c 1205s |      18 |  1260793 |   417052 |     5790    111 |     1493 |        0
1207.41/1207.67	c 1207s |      18 |  1263388 |   418052 |     5790    111 |     1493 |        0
1209.41/1209.69	c 1209s |      18 |  1265217 |   418752 |     5790    111 |     1493 |        0
1211.60/1211.85	c 1211s |      18 |  1268009 |   419652 |     5790    112 |     1493 |        0
1213.60/1213.89	c 1213s |      18 |  1270890 |   420452 |     5790    112 |     1493 |        0
1215.90/1216.12	c 1216s |      18 |  1273625 |   421252 |     5790    112 |     1493 |        0
1218.00/1218.21	c 1218s |      18 |  1276994 |   422152 |     5790    112 |     1493 |        0
1220.00/1220.22	c 1220s |      18 |  1280162 |   423252 |     5790    112 |     1493 |        0
1222.10/1222.31	c 1222s |      18 |  1281970 |   424052 |     5790    113 |     1493 |        0
1224.11/1224.33	c 1224s |      18 |  1283765 |   424852 |     5790    113 |     1493 |        0
1226.20/1226.40	c 1226s |      18 |  1285832 |   425652 |     5790    113 |     1493 |        0
1228.40/1228.65	c 1228s |      18 |  1289026 |   426552 |     5790    113 |     1493 |        0
1230.50/1230.77	c 1230s |      18 |  1291507 |   427252 |     5790    113 |     1493 |        0
1232.60/1232.84	c 1232s |      18 |  1293423 |   427852 |     5790    114 |     1493 |        0
1234.70/1235.00	c 1234s |      18 |  1295912 |   428652 |     5790    114 |     1493 |        0
1236.90/1237.18	c 1237s |      18 |  1297617 |   429352 |     5790    114 |     1493 |        0
1239.20/1239.41	c 1239s |      18 |  1300262 |   430152 |     5790    114 |     1493 |        0
1241.20/1241.42	c 1241s |      18 |  1302159 |   430852 |     5790    114 |     1493 |        0
1243.50/1243.70	c 1243s |      18 |  1303805 |   431552 |     5790    114 |     1493 |        0
1245.49/1245.77	c 1245s |      18 |  1305117 |   432152 |     5790    115 |     1493 |        0
1247.60/1247.89	c 1247s |      18 |  1306407 |   432752 |     5790    115 |     1493 |        0
1249.80/1250.10	c 1250s |      18 |  1308860 |   433552 |     5790    115 |     1493 |        0
1251.90/1252.11	c 1252s |      18 |  1309951 |   434052 |     5790    115 |     1493 |        0
1253.91/1254.16	c 1254s |      18 |  1311635 |   434652 |     5790    115 |     1493 |        0
1256.11/1256.30	c 1256s |      18 |  1313790 |   435352 |     5790    115 |     1493 |        0
1258.10/1258.32	c 1258s |      18 |  1315716 |   436052 |     5790    116 |     1493 |        0
1260.10/1260.35	c 1260s |      18 |  1317422 |   436752 |     5790    116 |     1493 |        0
1262.10/1262.39	c 1262s |      18 |  1319136 |   437452 |     5790    116 |     1493 |        0
1264.30/1264.59	c 1264s |      18 |  1321015 |   438152 |     5790    116 |     1493 |        0
1266.40/1266.68	c 1266s |      18 |  1323323 |   438852 |     5790    116 |     1493 |        0
1268.70/1268.96	c 1268s |      18 |  1325432 |   439652 |     5790    116 |     1493 |        0
1270.80/1271.08	c 1271s |      18 |  1327138 |   440352 |     5790    117 |     1493 |        0
1273.10/1273.38	c 1273s |      18 |  1328843 |   441052 |     5790    117 |     1493 |        0
1275.40/1275.64	c 1275s |      18 |  1330835 |   441752 |     6370    117 |     1493 |        0
1277.70/1277.91	c 1277s |      18 |  1332282 |   442452 |     6370    117 |     1493 |        0
1280.00/1280.23	c 1280s |      18 |  1334092 |   443152 |     6370    117 |     1493 |        0
1282.20/1282.40	c 1282s |      18 |  1335526 |   443752 |     6370    117 |     1493 |        0
1284.30/1284.55	c 1284s |      18 |  1336528 |   444252 |     6370    117 |     1493 |        0
1285.39/1285.63	c 1285s |      19 |  1336834 |   444482 |     6370    117 |     1493 |        0
1287.50/1287.75	c 1287s |      19 |  1339814 |   445382 |     6370    118 |     1493 |        0
1289.70/1289.92	c 1289s |      19 |  1342065 |   446382 |     6370    118 |     1493 |        0
1291.80/1292.04	c 1291s |      19 |  1346247 |   447482 |     6370    118 |     1493 |        0
1293.90/1294.18	c 1294s |      19 |  1350158 |   448582 |     6370    118 |     1493 |        0
1296.20/1296.40	c 1296s |      19 |  1352686 |   449382 |     6370    119 |     1493 |        0
1298.20/1298.40	c 1298s |      19 |  1355603 |   450282 |     6370    119 |     1493 |        0
1300.19/1300.41	c 1300s |      19 |  1358556 |   451082 |     6370    119 |     1493 |        0
1302.20/1302.42	c 1302s |      19 |  1361000 |   451882 |     6370    119 |     1493 |        0
1304.29/1304.54	c 1304s |      19 |  1363308 |   452682 |     6370    119 |     1493 |        0
1306.29/1306.55	c 1306s |      19 |  1365461 |   453382 |     6370    119 |     1493 |        0
1308.29/1308.56	c 1308s |      19 |  1367848 |   453982 |     6370    120 |     1493 |        0
1310.29/1310.59	c 1310s |      19 |  1369333 |   454582 |     6370    120 |     1493 |        0
1312.39/1312.64	c 1312s |      19 |  1371920 |   455282 |     6370    120 |     1493 |        0
1314.59/1314.86	c 1314s |      19 |  1374414 |   455982 |     6370    120 |     1493 |        0
1317.09/1317.30	c 1317s |      19 |  1376131 |   456682 |     6370    120 |     1493 |        0
1319.39/1319.68	c 1319s |      19 |  1377705 |   457282 |     6370    120 |     1493 |        0
1321.58/1321.85	c 1321s |      19 |  1379867 |   457882 |     6370    120 |     1493 |        0
1323.78/1324.07	c 1323s |      19 |  1381447 |   458482 |     6370    121 |     1493 |        0
1326.08/1326.31	c 1326s |      19 |  1384833 |   459282 |     6370    121 |     1493 |        0
1328.18/1328.40	c 1328s |      19 |  1388093 |   460082 |     6370    121 |     1493 |        0
1330.28/1330.50	c 1330s |      19 |  1390814 |   460882 |     6370    121 |     1493 |        0
1332.28/1332.58	c 1332s |      19 |  1393653 |   461682 |     6370    121 |     1493 |        0
1334.48/1334.79	c 1334s |      19 |  1397416 |   462482 |     6370    121 |     1493 |        0
1336.58/1336.84	c 1336s |      19 |  1401050 |   463482 |     6370    122 |     1493 |        0
1338.68/1338.99	c 1338s |      19 |  1402954 |   464182 |     6370    122 |     1493 |        0
1340.78/1341.05	c 1340s |      19 |  1406371 |   464982 |     6370    122 |     1493 |        0
1342.98/1343.26	c 1343s |      19 |  1408217 |   465782 |     6370    122 |     1493 |        0
1345.08/1345.35	c 1345s |      19 |  1410166 |   466482 |     6370    122 |     1493 |        0
1347.38/1347.69	c 1347s |      19 |  1412980 |   467382 |     6370    122 |     1493 |        0
1349.48/1349.73	c 1349s |      19 |  1414332 |   467882 |     6370    123 |     1493 |        0
1351.78/1352.05	c 1351s |      19 |  1415545 |   468482 |     6370    123 |     1493 |        0
1354.17/1354.40	c 1354s |      19 |  1416988 |   469082 |     6370    123 |     1493 |        0
1356.18/1356.48	c 1356s |      19 |  1418309 |   469682 |     6370    123 |     1493 |        0
1358.38/1358.67	c 1358s |      19 |  1419742 |   470282 |     6370    123 |     1493 |        0
1360.47/1360.76	c 1360s |      19 |  1421418 |   470782 |     6370    123 |     1493 |        0
1362.67/1362.98	c 1362s |      19 |  1422865 |   471382 |     6370    123 |     1493 |        0
1364.76/1365.08	c 1365s |      19 |  1425972 |   472182 |     6370    124 |     1493 |        0
1366.96/1367.27	c 1367s |      19 |  1427669 |   472982 |     6370    124 |     1493 |        0
1369.56/1369.86	c 1369s |      19 |  1429145 |   473582 |     6370    124 |     1493 |        0
1371.86/1372.15	c 1372s |      19 |  1431539 |   474282 |     6370    124 |     1493 |        0
1373.96/1374.22	c 1374s |      19 |  1434409 |   475082 |     6370    124 |     1493 |        0
1376.16/1376.40	c 1376s |      19 |  1436508 |   475682 |     6370    124 |     1493 |        0
1378.46/1378.74	c 1378s |      19 |  1438669 |   476282 |     6370    124 |     1493 |        0
1380.66/1380.97	c 1380s |      19 |  1441088 |   476882 |     6370    125 |     1493 |        0
1382.96/1383.27	c 1383s |      19 |  1443574 |   477682 |     6370    125 |     1493 |        0
1385.16/1385.43	c 1385s |      19 |  1446196 |   478282 |     6370    125 |     1493 |        0
1387.16/1387.46	c 1387s |      19 |  1448368 |   478882 |     6370    125 |     1493 |        0
1389.26/1389.50	c 1389s |      19 |  1450765 |   479382 |     6370    125 |     1493 |        0
1391.55/1391.84	c 1391s |      19 |  1452940 |   479982 |     6370    125 |     1493 |        0
1393.85/1394.17	c 1394s |      19 |  1454816 |   480582 |     6370    125 |     1493 |        0
1396.15/1396.45	c 1396s |      19 |  1457476 |   481282 |     6370    126 |     1493 |        0
1398.45/1398.76	c 1398s |      19 |  1459181 |   481882 |     6370    126 |     1493 |        0
1400.55/1400.83	c 1400s |      19 |  1460649 |   482382 |     6370    126 |     1493 |        0
1402.55/1402.88	c 1402s |      19 |  1461348 |   482782 |     6370    126 |     1493 |        0
1404.95/1405.20	c 1405s |      19 |  1462603 |   483282 |     6370    126 |     1493 |        0
1406.94/1407.28	c 1407s |      19 |  1463502 |   483682 |     6370    126 |     1493 |        0
1409.04/1409.32	c 1409s |      19 |  1464442 |   484082 |     6370    126 |     1493 |        0
1411.24/1411.57	c 1411s |      19 |  1467545 |   484882 |     6370    126 |     1493 |        0
1413.44/1413.79	c 1413s |      19 |  1470143 |   485582 |     6370    126 |     1493 |        0
1415.54/1415.86	c 1415s |      19 |  1471409 |   486082 |     6370    127 |     1493 |        0
1417.74/1418.09	c 1418s |      19 |  1473529 |   486782 |     6370    127 |     1493 |        0
1419.84/1420.14	c 1420s |      19 |  1475903 |   487582 |     6370    127 |     1493 |        0
1422.14/1422.47	c 1422s |      19 |  1478292 |   488382 |     6370    127 |     1493 |        0
1424.43/1424.71	c 1424s |      19 |  1480907 |   489082 |     6370    127 |     1493 |        0
1426.54/1426.89	c 1426s |      19 |  1483215 |   489682 |     6370    127 |     1493 |        0
1428.93/1429.22	c 1429s |      19 |  1485358 |   490282 |     6370    128 |     1493 |        0
1431.43/1431.71	c 1431s |      19 |  1487399 |   490882 |     6370    128 |     1493 |        0
1433.83/1434.13	c 1434s |      19 |  1488443 |   491382 |     6370    128 |     1493 |        0
1436.12/1436.45	c 1436s |      19 |  1490225 |   491982 |     6370    128 |     1493 |        0
1438.42/1438.73	c 1438s |      19 |  1492165 |   492482 |     6370    128 |     1493 |        0
1440.52/1440.81	c 1440s |      19 |  1493608 |   493082 |     6370    128 |     1493 |        0
1442.52/1442.89	c 1442s |      19 |  1495411 |   493682 |     6370    128 |     1493 |        0
1444.52/1444.90	c 1444s |      19 |  1497451 |   494282 |     6370    128 |     1493 |        0
1446.82/1447.14	c 1447s |      19 |  1499861 |   494882 |     6370    129 |     1493 |        0
1448.82/1449.16	c 1449s |      19 |  1501420 |   495382 |     6370    129 |     1493 |        0
1450.92/1451.21	c 1451s |      19 |  1503941 |   495982 |     6370    129 |     1493 |        0
1453.02/1453.35	c 1453s |      19 |  1506298 |   496582 |     6370    129 |     1493 |        0
1455.12/1455.45	c 1455s |      19 |  1509720 |   497182 |     6370    129 |     1493 |        0
1457.32/1457.68	c 1457s |      19 |  1511875 |   497782 |     6370    129 |     1493 |        0
1459.52/1459.88	c 1459s |      19 |  1514415 |   498382 |     6370    129 |     1493 |        0
1461.91/1462.28	c 1462s |      19 |  1516751 |   499082 |     6370    129 |     1493 |        0
1464.02/1464.35	c 1464s |      19 |  1518674 |   499582 |     6370    130 |     1493 |        0
1466.13/1466.42	c 1466s |      19 |  1520938 |   500182 |     6370    130 |     1493 |        0
1468.33/1468.62	c 1468s |      19 |  1523211 |   500882 |     6370    130 |     1493 |        0
1470.42/1470.76	c 1470s |      19 |  1525198 |   501582 |     6370    130 |     1493 |        0
1472.62/1472.97	c 1472s |      19 |  1527738 |   502282 |     6370    130 |     1493 |        0
1475.02/1475.31	c 1475s |      19 |  1529949 |   502882 |     6370    130 |     1493 |        0
1477.12/1477.42	c 1477s |      19 |  1532267 |   503482 |     6370    130 |     1493 |        0
1479.52/1479.81	c 1479s |      19 |  1533602 |   503982 |     6370    131 |     1493 |        0
1481.61/1481.90	c 1481s |      19 |  1534977 |   504482 |     6370    131 |     1493 |        0
1484.01/1484.34	c 1484s |      19 |  1536262 |   504982 |     6370    131 |     1493 |        0
1486.31/1486.69	c 1486s |      19 |  1537700 |   505582 |     6370    131 |     1493 |        0
1488.51/1488.85	c 1488s |      19 |  1540315 |   506082 |     6370    131 |     1493 |        0
1490.61/1490.94	c 1490s |      19 |  1542270 |   506782 |     6370    131 |     1493 |        0
1493.01/1493.31	c 1493s |      19 |  1544409 |   507482 |     6370    131 |     1493 |        0
1495.11/1495.48	c 1495s |      19 |  1546262 |   507982 |     6370    131 |     1493 |        0
1497.30/1497.65	c 1497s |      19 |  1547405 |   508382 |     6370    132 |     1493 |        0
1499.70/1500.08	c 1500s |      19 |  1549021 |   508982 |     6370    132 |     1493 |        0
1501.80/1502.10	c 1502s |      19 |  1550192 |   509482 |     6370    132 |     1493 |        0
1504.00/1504.33	c 1504s |      19 |  1551938 |   509982 |     6370    132 |     1493 |        0
1506.60/1506.97	c 1506s |      19 |  1553471 |   510482 |     6370    132 |     1493 |        0
1508.91/1509.24	c 1509s |      19 |  1554262 |   510882 |     6370    132 |     1493 |        0
1511.30/1511.69	c 1511s |      19 |  1555795 |   511382 |     6370    132 |     1493 |        0
1513.60/1513.96	c 1513s |      19 |  1557150 |   511882 |     6370    132 |     1493 |        0
1515.69/1516.09	c 1516s |      19 |  1558407 |   512282 |     6370    132 |     1493 |        0
1518.09/1518.46	c 1518s |      19 |  1559166 |   512682 |     6370    132 |     1493 |        0
1520.39/1520.74	c 1520s |      19 |  1559878 |   513082 |     6370    133 |     1493 |        0
1522.39/1522.78	c 1522s |      19 |  1561162 |   513582 |     6370    133 |     1493 |        0
1524.49/1524.80	c 1524s |      19 |  1562429 |   514082 |     6370    133 |     1493 |        0
1526.69/1527.08	c 1527s |      19 |  1564037 |   514582 |     6370    133 |     1493 |        0
1528.70/1529.09	c 1529s |      19 |  1564989 |   514982 |     6370    133 |     1493 |        0
1531.29/1531.62	c 1531s |      19 |  1566204 |   515482 |     6370    133 |     1493 |        0
1533.39/1533.77	c 1533s |      19 |  1568202 |   516182 |     6370    133 |     1493 |        0
1535.49/1535.85	c 1535s |      19 |  1570185 |   516982 |     6370    133 |     1493 |        0
1537.79/1538.14	c 1538s |      19 |  1573773 |   517782 |     6370    134 |     1493 |        0
1539.89/1540.22	c 1540s |      19 |  1576149 |   518382 |     6370    134 |     1493 |        0
1542.09/1542.46	c 1542s |      19 |  1578486 |   519082 |     6370    134 |     1493 |        0
1544.19/1544.58	c 1544s |      19 |  1581063 |   519782 |     6370    134 |     1493 |        0
1546.19/1546.59	c 1546s |      19 |  1583415 |   520382 |     6370    134 |     1493 |        0
1548.68/1549.01	c 1548s |      19 |  1585476 |   520982 |     6370    134 |     1493 |        0
1550.88/1551.27	c 1551s |      19 |  1587697 |   521582 |     6370    134 |     1493 |        0
1553.28/1553.65	c 1553s |      19 |  1590429 |   522182 |     6370    135 |     1493 |        0
1555.58/1555.93	c 1555s |      19 |  1593135 |   522782 |     6370    135 |     1493 |        0
1557.68/1558.08	c 1558s |      19 |  1594908 |   523382 |     6370    135 |     1493 |        0
1559.78/1560.17	c 1560s |      19 |  1597150 |   524082 |     6370    135 |     1493 |        0
1562.08/1562.42	c 1562s |      19 |  1599584 |   524582 |     6370    135 |     1493 |        0
1564.18/1564.56	c 1564s |      19 |  1600928 |   525082 |     6370    135 |     1493 |        0
1566.38/1566.77	c 1566s |      19 |  1603275 |   525682 |     6370    135 |     1493 |        0
1568.68/1569.05	c 1568s |      19 |  1604697 |   526182 |     6370    135 |     1493 |        0
1570.87/1571.22	c 1571s |      19 |  1605795 |   526682 |     6370    136 |     1493 |        0
1573.07/1573.40	c 1573s |      19 |  1607680 |   527282 |     6370    136 |     1493 |        0
1575.07/1575.48	c 1575s |      19 |  1609617 |   527882 |     6370    136 |     1493 |        0
1577.18/1577.57	c 1577s |      19 |  1612298 |   528482 |     6370    136 |     1493 |        0
1579.38/1579.73	c 1579s |      19 |  1614733 |   529182 |     6370    136 |     1493 |        0
1581.47/1581.89	c 1581s |      19 |  1617216 |   529782 |     6370    136 |     1493 |        0
1583.57/1583.92	c 1583s |      19 |  1618576 |   530282 |     6370    136 |     1493 |        0
1585.57/1585.95	c 1585s |      19 |  1620221 |   530782 |     6370    136 |     1493 |        0
1587.67/1588.04	c 1587s |      19 |  1621286 |   531282 |     6370    137 |     1493 |        0
1589.76/1590.18	c 1590s |      19 |  1622659 |   531782 |     6370    137 |     1493 |        0
1591.96/1592.30	c 1592s |      19 |  1623878 |   532182 |     6370    137 |     1493 |        0
1594.16/1594.55	c 1594s |      19 |  1625207 |   532682 |     6370    137 |     1493 |        0
1596.36/1596.79	c 1596s |      19 |  1626971 |   533182 |     6370    137 |     1493 |        0
1598.66/1599.05	c 1598s |      19 |  1629129 |   533782 |     6370    137 |     1493 |        0
1600.86/1601.25	c 1601s |      19 |  1631032 |   534482 |     6370    137 |     1493 |        0
1602.86/1603.29	c 1603s |      19 |  1633026 |   535082 |     6370    137 |     1493 |        0
1604.96/1605.31	c 1605s |      19 |  1635728 |   535682 |     6370    138 |     1493 |        0
1607.25/1607.67	c 1607s |      19 |  1637946 |   536382 |     6370    138 |     1493 |        0
1609.55/1609.98	c 1609s |      19 |  1640827 |   537082 |     6370    138 |     1493 |        0
1611.55/1611.99	c 1611s |      19 |  1642542 |   537682 |     6370    138 |     1493 |        0
1613.85/1614.25	c 1614s |      19 |  1644201 |   538282 |     6370    138 |     1493 |        0
1616.05/1616.42	c 1616s |      19 |  1645471 |   538882 |     6370    138 |     1493 |        0
1618.25/1618.63	c 1618s |      19 |  1646919 |   539382 |     6370    138 |     1493 |        0
1620.25/1620.65	c 1620s |      19 |  1649112 |   539882 |     6370    138 |     1493 |        0
1622.25/1622.69	c 1622s |      19 |  1651423 |   540382 |     6370    139 |     1493 |        0
1624.35/1624.71	c 1624s |      19 |  1654075 |   541082 |     6370    139 |     1493 |        0
1626.66/1627.02	c 1626s |      19 |  1657611 |   541882 |     6370    139 |     1493 |        0
1628.95/1629.30	c 1629s |      19 |  1661494 |   542582 |     6370    139 |     1493 |        0
1631.15/1631.58	c 1631s |      19 |  1662966 |   543182 |     6370    139 |     1493 |        0
1633.26/1633.65	c 1633s |      19 |  1664686 |   543782 |     6370    139 |     1493 |        0
1635.36/1635.76	c 1635s |      19 |  1666135 |   544282 |     6370    139 |     1493 |        0
1637.75/1638.17	c 1638s |      19 |  1667385 |   544782 |     6370    140 |     1493 |        0
1639.95/1640.36	c 1640s |      19 |  1670277 |   545482 |     6370    140 |     1493 |        0
1642.05/1642.46	c 1642s |      19 |  1672216 |   546082 |     6370    140 |     1493 |        0
1644.25/1644.65	c 1644s |      19 |  1674922 |   546682 |     6370    140 |     1493 |        0
1646.25/1646.70	c 1646s |      19 |  1676585 |   547182 |     6370    140 |     1493 |        0
1648.34/1648.72	c 1648s |      19 |  1678240 |   547682 |     6370    140 |     1493 |        0
1650.64/1651.01	c 1650s |      19 |  1680022 |   548282 |     6370    140 |     1493 |        0
1652.74/1653.12	c 1653s |      19 |  1681741 |   548882 |     6370    140 |     1493 |        0
1654.74/1655.19	c 1655s |      19 |  1682733 |   549282 |     6370    141 |     1493 |        0
1657.14/1657.50	c 1657s |      19 |  1684236 |   549782 |     6370    141 |     1493 |        0
1659.44/1659.82	c 1659s |      19 |  1687171 |   550382 |     6370    141 |     1493 |        0
1661.64/1662.04	c 1661s |      19 |  1690415 |   551082 |     6370    141 |     1493 |        0
1663.64/1664.08	c 1664s |      19 |  1691596 |   551582 |     6370    141 |     1493 |        0
1665.83/1666.26	c 1666s |      19 |  1693473 |   552182 |     6370    141 |     1493 |        0
1667.83/1668.29	c 1668s |      19 |  1694853 |   552682 |     6370    141 |     1493 |        0
1670.23/1670.61	c 1670s |      19 |  1697322 |   553282 |     6370    141 |     1493 |        0
1672.63/1673.01	c 1672s |      19 |  1699346 |   553982 |     6370    142 |     1493 |        0
1674.63/1675.08	c 1675s |      19 |  1701245 |   554482 |     6370    142 |     1493 |        0
1676.73/1677.10	c 1677s |      19 |  1703117 |   554982 |     6370    142 |     1493 |        0
1679.13/1679.53	c 1679s |      19 |  1704715 |   555482 |     6370    142 |     1493 |        0
1681.22/1681.69	c 1681s |      19 |  1706355 |   556082 |     6370    142 |     1493 |        0
1683.52/1683.94	c 1683s |      19 |  1708573 |   556682 |     6370    142 |     1493 |        0
1685.82/1686.21	c 1686s |      19 |  1710564 |   557282 |     6370    142 |     1493 |        0
1688.13/1688.54	c 1688s |      19 |  1712325 |   557882 |     6370    142 |     1493 |        0
1690.42/1690.87	c 1690s |      19 |  1714060 |   558482 |     6370    143 |     1493 |        0
1692.72/1693.18	c 1693s |      19 |  1716095 |   559082 |     6370    143 |     1493 |        0
1695.02/1695.46	c 1695s |      19 |  1717765 |   559582 |     6370    143 |     1493 |        0
1697.32/1697.79	c 1697s |      19 |  1719587 |   560182 |     6370    143 |     1493 |        0
1699.52/1699.96	c 1699s |      19 |  1720874 |   560682 |     6370    143 |     1493 |        0
1701.61/1702.07	c 1702s |      19 |  1722150 |   561182 |     6370    143 |     1493 |        0
1703.91/1704.30	c 1704s |      19 |  1723802 |   561782 |     6370    143 |     1493 |        0
1705.92/1706.34	c 1706s |      19 |  1726987 |   562582 |     6370    143 |     1493 |        0
1707.92/1708.37	c 1708s |      19 |  1730100 |   563282 |     6370    144 |     1493 |        0
1710.12/1710.59	c 1710s |      19 |  1732714 |   563982 |     6370    144 |     1493 |        0
1712.42/1712.86	c 1712s |      19 |  1734772 |   564682 |     6370    144 |     1493 |        0
1714.81/1715.21	c 1715s |      19 |  1736082 |   565282 |     6370    144 |     1493 |        0
1717.21/1717.62	c 1717s |      19 |  1737549 |   565882 |     6370    144 |     1493 |        0
1719.31/1719.76	c 1719s |      19 |  1739555 |   566482 |     6370    144 |     1493 |        0
1721.71/1722.16	c 1722s |      19 |  1740773 |   567082 |     6370    145 |     1493 |        0
1723.91/1724.33	c 1724s |      19 |  1741982 |   567682 |     6370    145 |     1493 |        0
1725.91/1726.38	c 1726s |      19 |  1743225 |   568282 |     6370    145 |     1493 |        0
1728.11/1728.55	c 1728s |      19 |  1746221 |   568982 |     6370    145 |     1493 |        0
1730.20/1730.61	c 1730s |      19 |  1749546 |   569682 |     6370    145 |     1493 |        0
1732.30/1732.72	c 1732s |      19 |  1752109 |   570382 |     6370    145 |     1493 |        0
1734.60/1735.02	c 1734s |      19 |  1754284 |   571082 |     6370    145 |     1493 |        0
1736.70/1737.18	c 1737s |      19 |  1755981 |   571682 |     6370    146 |     1493 |        0
1738.81/1739.27	c 1739s |      19 |  1759475 |   572482 |     6370    146 |     1493 |        0
1740.90/1741.33	c 1741s |      19 |  1762543 |   573482 |     6370    146 |     1493 |        0
1743.10/1743.51	c 1743s |      19 |  1765134 |   574382 |     6370    146 |     1493 |        0
1745.20/1745.67	c 1745s |      19 |  1767670 |   575182 |     6370    146 |     1493 |        0
1747.39/1747.89	c 1747s |      19 |  1771425 |   575982 |     6370    146 |     1493 |        0
1749.80/1750.21	c 1750s |      19 |  1774025 |   576782 |     6370    147 |     1493 |        0
1751.79/1752.26	c 1752s |      19 |  1776705 |   577382 |     6370    147 |     1493 |        0
1753.89/1754.32	c 1754s |      19 |  1778528 |   577982 |     6370    147 |     1493 |        0
1755.89/1756.38	c 1756s |      19 |  1780651 |   578682 |     6370    147 |     1493 |        0
1758.29/1758.71	c 1758s |      19 |  1782167 |   579282 |     6370    147 |     1493 |        0
1760.58/1761.00	c 1760s |      19 |  1785152 |   579982 |     6370    147 |     1493 |        0
1762.58/1763.06	c 1762s |      19 |  1787138 |   580482 |     6370    147 |     1493 |        0
1764.68/1765.10	c 1765s |      19 |  1788849 |   581082 |     6370    148 |     1493 |        0
1766.98/1767.49	c 1767s |      19 |  1790686 |   581782 |     6370    148 |     1493 |        0
1769.19/1769.64	c 1769s |      19 |  1792749 |   582382 |     6370    148 |     1493 |        0
1771.58/1772.00	c 1771s |      19 |  1794046 |   582982 |     6370    148 |     1493 |        0
1773.68/1774.14	c 1774s |      19 |  1796089 |   583582 |     6370    148 |     1493 |        0
1775.98/1776.43	c 1776s |      19 |  1797643 |   584182 |     6370    148 |     1493 |        0
1778.18/1778.63	c 1778s |      19 |  1799957 |   584882 |     6370    148 |     1493 |        0
1780.18/1780.67	c 1780s |      19 |  1803225 |   585582 |     6370    149 |     1493 |        0
1782.48/1782.95	c 1782s |      19 |  1805367 |   586282 |     6370    149 |     1493 |        0
1784.68/1785.12	c 1785s |      19 |  1806841 |   586982 |     6370    149 |     1493 |        0
1786.98/1787.40	c 1787s |      19 |  1810632 |   587782 |     6370    149 |     1493 |        0
1789.18/1789.67	c 1789s |      19 |  1815325 |   588582 |     6370    149 |     1493 |        0
1791.37/1791.88	c 1791s |      19 |  1818336 |   589482 |     6370    149 |     1493 |        0
1793.47/1793.98	c 1793s |      19 |  1820332 |   590282 |     6370    150 |     1493 |        0
1795.57/1796.00	c 1795s |      19 |  1822053 |   590982 |     6370    150 |     1493 |        0
1797.67/1798.11	c 1798s |      19 |  1823454 |   591682 |     6370    150 |     1493 |        0
1799.77/1800.23	c 1800s |      19 |  1825795 |   592382 |     6370    150 |     1493 |        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-4100049-1466209873/watcher-4100049-1466209873 -o /tmp/evaluation-result-4100049-1466209873/solver-4100049-1466209873 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466206066-13000 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100049-1466209873.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.31 2.25 2.19 3/179 14228
/proc/meminfo: memFree=29424568/32872528 swapFree=1286400/1433568
[pid=14228] ppid=14225 vsize=709052 CPUtime=0 cores=1,3,5,7
/proc/14228/stat : 14228 (toysat) R 14225 14228 12983 0 -1 4202496 2640 0 0 0 0 0 0 0 20 0 4 0 23034083 726069248 3001 33554432000 4194304 16246674 140735724112992 140735724112416 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14228/statm: 177775 3011 441 2943 0 174669 0
[pid=14228/tid=14229] ppid=14225 vsize=726460 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14229/stat : 14229 (toysat) S 14225 14228 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23034083 743895040 3070 33554432000 4194304 16246674 140735724112992 139778654711024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14228/tid=14230] ppid=14225 vsize=730556 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14230/stat : 14230 (toysat) S 14225 14228 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23034083 748089344 3087 33554432000 4194304 16246674 140735724112992 139778569776368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14228/tid=14231] ppid=14225 vsize=734652 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14231/stat : 14231 (toysat) S 14225 14228 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23034083 752283648 3103 33554432000 4194304 16246674 140735724112992 139778559302832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100183 s]
/proc/loadavg: 2.31 2.25 2.19 3/179 14228
/proc/meminfo: memFree=29424568/32872528 swapFree=1286400/1433568
[pid=14228] ppid=14225 vsize=1222212 CPUtime=0.09 cores=1,3,5,7
/proc/14228/stat : 14228 (toysat) R 14225 14228 12983 0 -1 4202496 20538 0 0 0 6 3 0 0 20 0 4 0 23034083 1251545088 20846 33554432000 4194304 16246674 140735724112992 140735724112304 5721406 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14228/statm: 305553 20846 883 2943 0 302447 0
[pid=14228/tid=14229] ppid=14225 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14229/stat : 14229 (toysat) S 14225 14228 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23034083 1251545088 20846 33554432000 4194304 16246674 140735724112992 139778654711024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14228/tid=14230] ppid=14225 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14230/stat : 14230 (toysat) S 14225 14228 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23034083 1251545088 20846 33554432000 4194304 16246674 140735724112992 139778569776368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14228/tid=14231] ppid=14225 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14231/stat : 14231 (toysat) S 14225 14228 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23034083 1251545088 20846 33554432000 4194304 16246674 140735724112992 139778559302832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1222212

[startup+0.200547 s]
/proc/loadavg: 2.31 2.25 2.19 3/179 14228
/proc/meminfo: memFree=29424568/32872528 swapFree=1286400/1433568
[pid=14228] ppid=14225 vsize=1222212 CPUtime=0.19 cores=1,3,5,7
/proc/14228/stat : 14228 (toysat) R 14225 14228 12983 0 -1 4202496 28233 0 0 0 15 4 0 0 20 0 4 0 23034083 1251545088 28542 33554432000 4194304 16246674 140735724112992 140735724112304 5600539 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14228/statm: 305553 28551 883 2943 0 302447 0
[pid=14228/tid=14229] ppid=14225 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14229/stat : 14229 (toysat) S 14225 14228 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23034083 1251545088 28553 33554432000 4194304 16246674 140735724112992 139778654711024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14228/tid=14230] ppid=14225 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14230/stat : 14230 (toysat) S 14225 14228 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23034083 1251545088 28554 33554432000 4194304 16246674 140735724112992 139778569776368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14228/tid=14231] ppid=14225 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14231/stat : 14231 (toysat) S 14225 14228 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23034083 1251545088 28555 33554432000 4194304 16246674 140735724112992 139778559302832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1222212

[startup+0.300478 s]
/proc/loadavg: 2.31 2.25 2.19 3/179 14228
/proc/meminfo: memFree=29424568/32872528 swapFree=1286400/1433568
[pid=14228] ppid=14225 vsize=1222212 CPUtime=0.29 cores=1,3,5,7
/proc/14228/stat : 14228 (toysat) R 14225 14228 12983 0 -1 4202496 46218 0 0 0 23 6 0 0 20 0 4 0 23034083 1251545088 46526 33554432000 4194304 16246674 140735724112992 140735724112304 13780501 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14228/statm: 305553 46526 883 2943 0 302447 0
[pid=14228/tid=14229] ppid=14225 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14229/stat : 14229 (toysat) S 14225 14228 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23034083 1251545088 46535 33554432000 4194304 16246674 140735724112992 139778654711024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14228/tid=14230] ppid=14225 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14230/stat : 14230 (toysat) S 14225 14228 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23034083 1251545088 46543 33554432000 4194304 16246674 140735724112992 139778569776368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14228/tid=14231] ppid=14225 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14231/stat : 14231 (toysat) S 14225 14228 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23034083 1251545088 46545 33554432000 4194304 16246674 140735724112992 139778559302832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1222212

[startup+0.700384 s]
/proc/loadavg: 2.31 2.25 2.19 3/179 14228
/proc/meminfo: memFree=29424568/32872528 swapFree=1286400/1433568
[pid=14228] ppid=14225 vsize=1222212 CPUtime=0.69 cores=1,3,5,7
/proc/14228/stat : 14228 (toysat) R 14225 14228 12983 0 -1 4202496 120008 0 0 0 53 16 0 0 20 0 4 0 23034083 1251545088 120316 33554432000 4194304 16246674 140735724112992 140735724112304 5530837 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14228/statm: 305553 120334 883 2943 0 302447 0
[pid=14228/tid=14229] ppid=14225 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14229/stat : 14229 (toysat) S 14225 14228 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23034083 1251545088 120344 33554432000 4194304 16246674 140735724112992 139778654711024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14228/tid=14230] ppid=14225 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14230/stat : 14230 (toysat) S 14225 14228 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23034083 1251545088 120355 33554432000 4194304 16246674 140735724112992 139778569776368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14228/tid=14231] ppid=14225 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14231/stat : 14231 (toysat) S 14225 14228 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23034083 1251545088 120365 33554432000 4194304 16246674 140735724112992 139778559302832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1222212

[startup+1.50041 s]
/proc/loadavg: 2.28 2.25 2.19 3/183 14232
/proc/meminfo: memFree=28714548/32872528 swapFree=1286400/1433568
[pid=14228] ppid=14225 vsize=1222212 CPUtime=1.49 cores=1,3,5,7
/proc/14228/stat : 14228 (toysat) R 14225 14228 12983 0 -1 4202496 232556 0 0 0 120 29 0 0 20 0 4 0 23034083 1251545088 232865 33554432000 4194304 16246674 140735724112992 140735724094912 5545885 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14228/statm: 305553 232879 883 2943 0 302447 0
[pid=14228/tid=14229] ppid=14225 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14229/stat : 14229 (toysat) S 14225 14228 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23034083 1251545088 232888 33554432000 4194304 16246674 140735724112992 139778654711024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14228/tid=14230] ppid=14225 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14230/stat : 14230 (toysat) S 14225 14228 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23034083 1251545088 232901 33554432000 4194304 16246674 140735724112992 139778569776368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14228/tid=14231] ppid=14225 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14231/stat : 14231 (toysat) S 14225 14228 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23034083 1251545088 232910 33554432000 4194304 16246674 140735724112992 139778559302832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1222212

[startup+3.10041 s]
/proc/loadavg: 2.28 2.25 2.19 3/183 14232
/proc/meminfo: memFree=28359536/32872528 swapFree=1286400/1433568
[pid=14228] ppid=14225 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/14228/stat : 14228 (toysat) R 14225 14228 12983 0 -1 4202496 267973 0 0 0 275 34 0 0 20 0 4 0 23034083 1338576896 268281 33554432000 4194304 16246674 140735724112992 140735724094912 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14228/statm: 326801 268281 892 2943 0 323695 0
[pid=14228/tid=14229] ppid=14225 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14229/stat : 14229 (toysat) S 14225 14228 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23034083 1338576896 268281 33554432000 4194304 16246674 140735724112992 139778654711024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14228/tid=14230] ppid=14225 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14230/stat : 14230 (toysat) S 14225 14228 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23034083 1338576896 268281 33554432000 4194304 16246674 140735724112992 139778569776368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14228/tid=14231] ppid=14225 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14231/stat : 14231 (toysat) S 14225 14228 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23034083 1338576896 268281 33554432000 4194304 16246674 140735724112992 139778559302832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30038 s]
/proc/loadavg: 2.26 2.24 2.19 3/183 14232
/proc/meminfo: memFree=28352084/32872528 swapFree=1286400/1433568
[pid=14228] ppid=14225 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/14228/stat : 14228 (toysat) R 14225 14228 12983 0 -1 4202496 267973 0 0 0 595 34 0 0 20 0 4 0 23034083 1338576896 268281 33554432000 4194304 16246674 140735724112992 140735724094912 13780568 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14228/statm: 326801 268281 892 2943 0 323695 0
[pid=14228/tid=14229] ppid=14225 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14229/stat : 14229 (toysat) S 14225 14228 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23034083 1338576896 268281 33554432000 4194304 16246674 140735724112992 139778654711024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14228/tid=14230] ppid=14225 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14230/stat : 14230 (toysat) S 14225 14228 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23034083 1338576896 268281 33554432000 4194304 16246674 140735724112992 139778569776368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14228/tid=14231] ppid=14225 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14231/stat : 14231 (toysat) S 14225 14228 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23034083 1338576896 268281 33554432000 4194304 16246674 140735724112992 139778559302832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.24 2.24 2.18 4/183 14232
/proc/meminfo: memFree=28352492/32872528 swapFree=1286400/1433568
[pid=14228] ppid=14225 vsize=1307204 CPUtime=12.68 cores=1,3,5,7
/proc/14228/stat : 14228 (toysat) R 14225 14228 12983 0 -1 4202496 267979 0 0 0 1234 34 0 0 20 0 4 0 23034083 1338576896 268287 33554432000 4194304 16246674 140735724112992 140735724094912 5711952 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14228/statm: 326801 268287 898 2943 0 323695 0
[pid=14228/tid=14229] ppid=14225 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14229/stat : 14229 (toysat) S 14225 14228 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23034083 1338576896 268287 33554432000 4194304 16246674 140735724112992 139778654711024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14228/tid=14230] ppid=14225 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14230/stat : 14230 (toysat) S 14225 14228 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23034083 1338576896 268287 33554432000 4194304 16246674 140735724112992 139778569776368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14228/tid=14231] ppid=14225 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14231/stat : 14231 (toysat) S 14225 14228 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23034083 1338576896 268287 33554432000 4194304 16246674 140735724112992 139778559302832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.25 2.24 2.19 4/183 14232
/proc/meminfo: memFree=28350268/32872528 swapFree=1286400/1433568
[pid=14228] ppid=14225 vsize=1309252 CPUtime=25.48 cores=1,3,5,7
/proc/14228/stat : 14228 (toysat) R 14225 14228 12983 0 -1 4202496 268492 0 0 0 2514 34 0 0 20 0 4 0 23034083 1340674048 268800 33554432000 4194304 16246674 140735724112992 140735724094912 5711980 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14228/statm: 327313 268800 899 2943 0 324207 0
[pid=14228/tid=14229] ppid=14225 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14229/stat : 14229 (toysat) S 14225 14228 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23034083 1340674048 268800 33554432000 4194304 16246674 140735724112992 139778654711024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14228/tid=14230] ppid=14225 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14230/stat : 14230 (toysat) S 14225 14228 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23034083 1340674048 268800 33554432000 4194304 16246674 140735724112992 139778569776368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14228/tid=14231] ppid=14225 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14231/stat : 14231 (toysat) S 14225 14228 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23034083 1340674048 268800 33554432000 4194304 16246674 140735724112992 139778559302832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1309252

[startup+51.1005 s]
/proc/loadavg: 2.17 2.22 2.18 3/183 14232
/proc/meminfo: memFree=28348164/32872528 swapFree=1286400/1433568
[pid=14228] ppid=14225 vsize=1311300 CPUtime=51.08 cores=1,3,5,7
/proc/14228/stat : 14228 (toysat) R 14225 14228 12983 0 -1 4202496 269004 0 0 0 5073 35 0 0 20 0 4 0 23034083 1342771200 269312 33554432000 4194304 16246674 140735724112992 140735724094912 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14228/statm: 327825 269312 899 2943 0 324719 0
[pid=14228/tid=14229] ppid=14225 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14229/stat : 14229 (toysat) S 14225 14228 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23034083 1342771200 269312 33554432000 4194304 16246674 140735724112992 139778654711024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14228/tid=14230] ppid=14225 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14230/stat : 14230 (toysat) S 14225 14228 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23034083 1342771200 269312 33554432000 4194304 16246674 140735724112992 139778569776368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14228/tid=14231] ppid=14225 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14231/stat : 14231 (toysat) S 14225 14228 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23034083 1342771200 269312 33554432000 4194304 16246674 140735724112992 139778559302832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1311300

[startup+102.301 s]
/proc/loadavg: 2.16 2.21 2.18 4/183 14233
/proc/meminfo: memFree=28345096/32872528 swapFree=1286400/1433568
[pid=14228] ppid=14225 vsize=1314372 CPUtime=102.28 cores=1,3,5,7
/proc/14228/stat : 14228 (toysat) R 14225 14228 12983 0 -1 4202496 269715 0 0 0 10193 35 0 0 20 0 4 0 23034083 1345916928 270023 33554432000 4194304 16246674 140735724112992 140735724094912 5712536 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14228/statm: 328593 270023 899 2943 0 325487 0
[pid=14228/tid=14229] ppid=14225 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14229/stat : 14229 (toysat) S 14225 14228 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23034083 1345916928 270023 33554432000 4194304 16246674 140735724112992 139778654711024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14228/tid=14230] ppid=14225 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14230/stat : 14230 (toysat) S 14225 14228 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23034083 1345916928 270023 33554432000 4194304 16246674 140735724112992 139778569776368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14228/tid=14231] ppid=14225 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14231/stat : 14231 (toysat) S 14225 14228 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23034083 1345916928 270023 33554432000 4194304 16246674 140735724112992 139778559302832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1314372


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

/proc/14228/task/14231/stat : 14231 (toysat) S 14225 14228 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23034083 1385762816 280066 33554432000 4194304 16246674 140735724112992 139778559302832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1353284

[startup+1362.3 s]
/proc/loadavg: 2.14 2.20 2.18 3/183 14264
/proc/meminfo: memFree=27985180/32872528 swapFree=1286400/1433568
[pid=14228] ppid=14225 vsize=1353284 CPUtime=1362.06 cores=1,3,5,7
/proc/14228/stat : 14228 (toysat) R 14225 14228 12983 0 -1 4202496 279545 0 0 0 136165 41 0 0 20 0 4 0 23034083 1385762816 280066 33554432000 4194304 16246674 140735724112992 140735724094912 5572124 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14228/statm: 338321 280066 901 2943 0 335215 0
[pid=14228/tid=14229] ppid=14225 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14229/stat : 14229 (toysat) S 14225 14228 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23034083 1385762816 280066 33554432000 4194304 16246674 140735724112992 139778654711024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14228/tid=14230] ppid=14225 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14230/stat : 14230 (toysat) S 14225 14228 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23034083 1385762816 280066 33554432000 4194304 16246674 140735724112992 139778569776368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14228/tid=14231] ppid=14225 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14231/stat : 14231 (toysat) S 14225 14228 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23034083 1385762816 280066 33554432000 4194304 16246674 140735724112992 139778559302832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1353284

[startup+1422.3 s]
/proc/loadavg: 2.15 2.19 2.18 3/182 14265
/proc/meminfo: memFree=27929544/32872528 swapFree=1286400/1433568
[pid=14228] ppid=14225 vsize=1353284 CPUtime=1422.04 cores=1,3,5,7
/proc/14228/stat : 14228 (toysat) R 14225 14228 12983 0 -1 4202496 279578 0 0 0 142163 41 0 0 20 0 4 0 23034083 1385762816 280066 33554432000 4194304 16246674 140735724112992 140735724094912 5545984 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14228/statm: 338321 280066 901 2943 0 335215 0
[pid=14228/tid=14229] ppid=14225 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14229/stat : 14229 (toysat) S 14225 14228 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23034083 1385762816 280066 33554432000 4194304 16246674 140735724112992 139778654711024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14228/tid=14230] ppid=14225 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14230/stat : 14230 (toysat) S 14225 14228 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23034083 1385762816 280066 33554432000 4194304 16246674 140735724112992 139778569776368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14228/tid=14231] ppid=14225 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14231/stat : 14231 (toysat) S 14225 14228 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23034083 1385762816 280066 33554432000 4194304 16246674 140735724112992 139778559302832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 1353284

[startup+1482.3 s]
/proc/loadavg: 2.17 2.18 2.17 3/183 14267
/proc/meminfo: memFree=27929816/32872528 swapFree=1286400/1433568
[pid=14228] ppid=14225 vsize=1353284 CPUtime=1482.01 cores=1,3,5,7
/proc/14228/stat : 14228 (toysat) R 14225 14228 12983 0 -1 4202496 279604 0 0 0 148159 42 0 0 20 0 4 0 23034083 1385762816 280066 33554432000 4194304 16246674 140735724112992 140735724094912 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14228/statm: 338321 280066 901 2943 0 335215 0
[pid=14228/tid=14229] ppid=14225 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14229/stat : 14229 (toysat) S 14225 14228 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23034083 1385762816 280066 33554432000 4194304 16246674 140735724112992 139778654711024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14228/tid=14230] ppid=14225 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14230/stat : 14230 (toysat) S 14225 14228 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23034083 1385762816 280066 33554432000 4194304 16246674 140735724112992 139778569776368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14228/tid=14231] ppid=14225 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14231/stat : 14231 (toysat) S 14225 14228 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23034083 1385762816 280066 33554432000 4194304 16246674 140735724112992 139778559302832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 1353284

[startup+1542.31 s]
/proc/loadavg: 2.17 2.18 2.17 3/183 14268
/proc/meminfo: memFree=27883412/32872528 swapFree=1286400/1433568
[pid=14228] ppid=14225 vsize=1353284 CPUtime=1541.99 cores=1,3,5,7
/proc/14228/stat : 14228 (toysat) R 14225 14228 12983 0 -1 4202496 279639 0 0 0 154156 43 0 0 20 0 4 0 23034083 1385762816 280066 33554432000 4194304 16246674 140735724112992 140735724094912 13950199 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14228/statm: 338321 280066 901 2943 0 335215 0
[pid=14228/tid=14229] ppid=14225 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14229/stat : 14229 (toysat) S 14225 14228 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23034083 1385762816 280066 33554432000 4194304 16246674 140735724112992 139778654711024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14228/tid=14230] ppid=14225 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14230/stat : 14230 (toysat) S 14225 14228 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23034083 1385762816 280066 33554432000 4194304 16246674 140735724112992 139778569776368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14228/tid=14231] ppid=14225 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14231/stat : 14231 (toysat) S 14225 14228 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23034083 1385762816 280066 33554432000 4194304 16246674 140735724112992 139778559302832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 1353284

[startup+1602.3 s]
/proc/loadavg: 2.16 2.17 2.17 3/183 14269
/proc/meminfo: memFree=27840284/32872528 swapFree=1286400/1433568
[pid=14228] ppid=14225 vsize=1353284 CPUtime=1601.96 cores=1,3,5,7
/proc/14228/stat : 14228 (toysat) R 14225 14228 12983 0 -1 4202496 279675 0 0 0 160153 43 0 0 20 0 4 0 23034083 1385762816 280066 33554432000 4194304 16246674 140735724112992 140735724094912 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14228/statm: 338321 280066 901 2943 0 335215 0
[pid=14228/tid=14229] ppid=14225 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14229/stat : 14229 (toysat) S 14225 14228 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23034083 1385762816 280066 33554432000 4194304 16246674 140735724112992 139778654711024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14228/tid=14230] ppid=14225 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14230/stat : 14230 (toysat) S 14225 14228 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23034083 1385762816 280066 33554432000 4194304 16246674 140735724112992 139778569776368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14228/tid=14231] ppid=14225 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14231/stat : 14231 (toysat) S 14225 14228 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23034083 1385762816 280066 33554432000 4194304 16246674 140735724112992 139778559302832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 1353284

[startup+1662.3 s]
/proc/loadavg: 2.14 2.17 2.17 4/183 14270
/proc/meminfo: memFree=27803860/32872528 swapFree=1286400/1433568
[pid=14228] ppid=14225 vsize=1353284 CPUtime=1661.94 cores=1,3,5,7
/proc/14228/stat : 14228 (toysat) R 14225 14228 12983 0 -1 4202496 279707 0 0 0 166150 44 0 0 20 0 4 0 23034083 1385762816 280066 33554432000 4194304 16246674 140735724112992 140735724094912 12477827 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14228/statm: 338321 280066 901 2943 0 335215 0
[pid=14228/tid=14229] ppid=14225 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14229/stat : 14229 (toysat) S 14225 14228 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23034083 1385762816 280066 33554432000 4194304 16246674 140735724112992 139778654711024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14228/tid=14230] ppid=14225 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14230/stat : 14230 (toysat) S 14225 14228 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23034083 1385762816 280066 33554432000 4194304 16246674 140735724112992 139778569776368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14228/tid=14231] ppid=14225 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14231/stat : 14231 (toysat) S 14225 14228 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23034083 1385762816 280066 33554432000 4194304 16246674 140735724112992 139778559302832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 1353284

[startup+1722.3 s]
/proc/loadavg: 2.19 2.18 2.18 3/183 14319
/proc/meminfo: memFree=28370700/32872528 swapFree=1286400/1433568
[pid=14228] ppid=14225 vsize=1353284 CPUtime=1721.91 cores=1,3,5,7
/proc/14228/stat : 14228 (toysat) R 14225 14228 12983 0 -1 4202496 279747 0 0 0 172146 45 0 0 20 0 4 0 23034083 1385762816 280066 33554432000 4194304 16246674 140735724112992 140735724094912 5546098 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14228/statm: 338321 280066 901 2943 0 335215 0
[pid=14228/tid=14229] ppid=14225 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14229/stat : 14229 (toysat) S 14225 14228 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23034083 1385762816 280066 33554432000 4194304 16246674 140735724112992 139778654711024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14228/tid=14230] ppid=14225 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14230/stat : 14230 (toysat) S 14225 14228 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23034083 1385762816 280066 33554432000 4194304 16246674 140735724112992 139778569776368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14228/tid=14231] ppid=14225 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14231/stat : 14231 (toysat) S 14225 14228 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23034083 1385762816 280066 33554432000 4194304 16246674 140735724112992 139778559302832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 1353284

[startup+1782.3 s]
/proc/loadavg: 2.22 2.19 2.18 3/184 14324
/proc/meminfo: memFree=28370128/32872528 swapFree=1286400/1433568
[pid=14228] ppid=14225 vsize=1353284 CPUtime=1781.88 cores=1,3,5,7
/proc/14228/stat : 14228 (toysat) R 14225 14228 12983 0 -1 4202496 279776 0 0 0 178142 46 0 0 20 0 4 0 23034083 1385762816 280066 33554432000 4194304 16246674 140735724112992 140735724094912 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14228/statm: 338321 280066 901 2943 0 335215 0
[pid=14228/tid=14229] ppid=14225 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14229/stat : 14229 (toysat) S 14225 14228 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23034083 1385762816 280066 33554432000 4194304 16246674 140735724112992 139778654711024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14228/tid=14230] ppid=14225 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14230/stat : 14230 (toysat) S 14225 14228 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23034083 1385762816 280066 33554432000 4194304 16246674 140735724112992 139778569776368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14228/tid=14231] ppid=14225 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14231/stat : 14231 (toysat) S 14225 14228 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23034083 1385762816 280066 33554432000 4194304 16246674 140735724112992 139778559302832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 1353284



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.25 2.19 2.18 4/185 14348
/proc/meminfo: memFree=28370100/32872528 swapFree=1286400/1433568
[pid=14228] ppid=14225 vsize=1353284 CPUtime=1800.07 cores=1,3,5,7
/proc/14228/stat : 14228 (toysat) R 14225 14228 12983 0 -1 4202496 279786 0 0 0 179961 46 0 0 20 0 4 0 23034083 1385762816 280066 33554432000 4194304 16246674 140735724112992 140735724094912 5754664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14228/statm: 338321 280066 901 2943 0 335215 0
[pid=14228/tid=14229] ppid=14225 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14229/stat : 14229 (toysat) S 14225 14228 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23034083 1385762816 280066 33554432000 4194304 16246674 140735724112992 139778654711024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14228/tid=14230] ppid=14225 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14230/stat : 14230 (toysat) S 14225 14228 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23034083 1385762816 280066 33554432000 4194304 16246674 140735724112992 139778569776368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14228/tid=14231] ppid=14225 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14231/stat : 14231 (toysat) S 14225 14228 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23034083 1385762816 280066 33554432000 4194304 16246674 140735724112992 139778559302832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1353284

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

[startup+1800.5 s]
/proc/loadavg: 2.25 2.19 2.18 4/185 14348
/proc/meminfo: memFree=28370100/32872528 swapFree=1286400/1433568
[pid=14228] ppid=14225 vsize=1353284 CPUtime=1800.07 cores=1,3,5,7
/proc/14228/stat : 14228 (toysat) R 14225 14228 12983 0 -1 4202496 279786 0 0 0 179961 46 0 0 20 0 4 0 23034083 1385762816 280066 33554432000 4194304 16246674 140735724112992 140735724094912 5754664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14228/statm: 338321 280066 901 2943 0 335215 0
[pid=14228/tid=14229] ppid=14225 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14229/stat : 14229 (toysat) S 14225 14228 12983 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23034083 1385762816 280066 33554432000 4194304 16246674 140735724112992 139778654711024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=14228/tid=14230] ppid=14225 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14230/stat : 14230 (toysat) S 14225 14228 12983 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23034083 1385762816 280066 33554432000 4194304 16246674 140735724112992 139778569776368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=14228/tid=14231] ppid=14225 vsize=1353284 CPUtime=0 cores=1,3,5,7
/proc/14228/task/14231/stat : 14231 (toysat) S 14225 14228 12983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23034083 1385762816 280066 33554432000 4194304 16246674 140735724112992 139778559302832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1353284

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.52
CPU time (s): 1800.09
CPU user time (s): 1799.62
CPU system time (s): 0.475927
CPU usage (%): 99.9761
Max. virtual memory (cumulated for all children) (KiB): 1353284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.62
system time used= 0.475927
maximum resident set size= 1120264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 279786
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= 296
involuntary context switches= 1841

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5763 second user time and 7.55185 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-18 02:31:13
IDJOB=4100049
IDBENCH=1567
IDSOLVER=2542
FILE ID=node130/4100049-1466209873
RUNJOBID= node130-1466206066-13000
PBS_JOBID= 19918147
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-bal8x12.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100049-1466209873/watcher-4100049-1466209873 -o /tmp/evaluation-result-4100049-1466209873/solver-4100049-1466209873 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466206066-13000 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100049-1466209873.opb

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

MD5SUM BENCH= 08c9d2f9c7022678189ff579f66c642f
RANDOM SEED=45722310

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.365
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:        29424956 kB
Buffers:           42364 kB
Cached:           115912 kB
SwapCached:         1824 kB
Active:          1235156 kB
Inactive:          71452 kB
Active(anon):    1149072 kB
Inactive(anon):     1544 kB
Active(file):      86084 kB
Inactive(file):    69908 kB
Unevictable:     1433568 kB
Mlocked:         1286400 kB
SwapTotal:      67108856 kB
SwapFree:       67098948 kB
Dirty:             16304 kB
Writeback:             0 kB
AnonPages:       2580804 kB
Mapped:            10624 kB
Shmem:                 0 kB
Slab:             572228 kB
SReclaimable:      15936 kB
SUnreclaim:       556292 kB
KernelStack:        1480 kB
PageTables:         9144 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2725088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    163840 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node130 at 2016-06-18 03:01:14