Trace number 4097961

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.04 1800.51

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression32_10.opb
MD5SUMf1acc2fb39eccfc74fef16372cea6500
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark23.8374
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1806
Total number of constraints8614
Number of constraints which are clauses8610
Number of constraints which are cardinality constraints (but not clauses)4
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint42
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 52
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-17T01:17:51+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-4097961-1466119070.opb"]
0.00/0.01	c use --random-gen="2517853491 4013279213 684028816 3438570380 298579604 3207174498 1468250675 4170842834 642189057 4249983122 2013717576 1464628257 2125802348 3214049800 145078053 2179738644 2913418640 3559168490 1017779839 893918016 1533339256 2576906416 1070371293 1057024064 2032602333 2047592018 757773682 1056219480 3280424251 98089771 912931575 350575286 1186757257 2157097952 172737262 2551780639 3786531189 1174981608 1121400024 91679121 129004942 531910845 2551462196 2132279619 1455678156 3779643370 4240184626 2785125063 3605533940 3951226962 3113761629 1408251983 984187011 3603266323 1848244212 3408772520 3214420951 2565932034 1640532078 926329152 3263604811 1779554403 4218208494 2683444394 2451012848 2058954107 1666583209 4084605844 552134111 919841841 3330862602 337387141 964821853 1440755931 3347389627 850734485 2023658445 3462593604 1568209627 3161186425 1689122880 3253092799 3772992123 3929857331 1370785187 3204626508 3371220521 3166206646 2701280992 1462098102 473691286 3705863910 1691884361 2566778305 2855867424 194001858 1294773006 1454819280 2696909094 2018522443 293150988 4102230831 623244821 3648377587 26551356 4202884132 1678991454 2811956956 659629026 953781063 2695502294 3587321152 1185707796 4031790658 617994806 2961509887 2112224389 2745596462 2960311848 2850048873 3123608095 2950891258 513528927 4036333327 1040229701 2683884541 2144263304 2960740092 1675590099 4215388472 3425761149 3851022421 3094553730 1539660382 2605712471 2293153935 2837339276 3493792902 2671481209 954143952 1607203122 812858689 1876045563 2083411976 3229734515 2636457988 3408746530 2354919118 3863453100 2684552886 1177847439 1394348975 3376758684 801293764 3517265374 3033135777 3687615234 974399451 3284673438 527316165 3121091296 2473397334 2425528394 4180939444 221241633 1116764509 1724894326 1717921703 2679418009 1423312955 2480378376 794537156 4118838104 2668661303 1756614429 1111372566 3006232534 1979121877 1793772548 2933886633 780446539 2376136593 4245699665 407958590 1322497467 1587765399 2873055092 2764741331 844549374 3821218372 1371517344 2397894819 2314255105 4255675193 3121559051 1436853121 1291400742 1109660623 1063912471 4125242880 1286925830 1632251156 3151812796 435572691 1780998559 2811264103 2399091187 2148231981 3159527272 1872382099 1498605576 1148748318 2929313859 1632941996 3772050743 4285016856 268970484 2466913515 2312573517 607457084 3365191182 2209210833 215028222 1707005603 444875769 1766466228 3466437552 3617448136 3140481720 432136695 1713774192 2379454226 3654976227 1450536082 1322278585 2803979507 3855154163 2871241021 309201384 2356937901 4082966002 1488412679 3823846117 1379277439 612541317 2711905144 3033167593 1946009091 2316664349 3735978438 1644730659 3517981739 3514462414 2996186479 4196594416 640982803 255 362436" option to reproduce the execution
0.09/0.17	c #vars 1806
0.09/0.17	c #constraints 8614
0.39/0.41	c Solving starts ...
0.39/0.41	c ============================[ Search Statistics ]============================
0.39/0.41	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.39/0.41	c       |         |          |          |    Limit     GC | Var      | Constra 
0.39/0.41	c =============================================================================
0.39/0.41	c  0.0s |       0 |        0 |        0 |     3472      0 |        5 |        0
0.48/0.53	c  0.1s |       1 |      705 |      100 |     3472      0 |        5 |      360
0.59/0.67	c  0.3s |       2 |     1519 |      250 |     3820      0 |        5 |      360
0.89/0.90	c  0.5s |       3 |     2337 |      475 |     4202      0 |        5 |      360
1.20/1.26	c  0.9s |       4 |     3339 |      813 |     4623      0 |        5 |      360
1.59/1.68	c  1.3s |       5 |     4606 |     1320 |     5086      0 |        5 |      360
2.09/2.19	c  1.8s |       6 |     6444 |     2081 |     6155      0 |        5 |      360
2.89/2.90	c  2.5s |       7 |     8695 |     3223 |     6771      0 |        5 |      360
4.29/4.37	c  4.0s |       8 |    12245 |     4936 |     7449      0 |        5 |      360
6.39/6.41	c  6.0s |       8 |    16168 |     7336 |     7449      0 |        5 |      360
6.49/6.56	c  6.2s |       9 |    16649 |     7506 |     8194      0 |        5 |      360
8.49/8.59	c  8.2s |       9 |    20746 |     9506 |     8194      1 |        5 |      360
10.09/10.16	c  9.8s |      10 |    23915 |    11361 |     9014      1 |        5 |      360
12.19/12.21	c 11.8s |      10 |    28356 |    13561 |     9014      1 |        5 |      360
14.18/14.26	c 13.8s |      10 |    32715 |    15961 |     9014      2 |        5 |      360
15.18/15.20	c 14.8s |      11 |    34817 |    17144 |     9916      2 |        5 |      360
17.18/17.28	c 16.9s |      11 |    39510 |    19644 |     9916      2 |        5 |      360
19.28/19.34	c 18.9s |      11 |    43801 |    22144 |     9916      3 |        5 |      360
21.38/21.41	c 21.0s |      11 |    47826 |    24644 |     9916      3 |        5 |      360
22.58/22.64	c 22.2s |      12 |    49738 |    25819 |    10908      4 |        5 |      360
24.58/24.65	c 24.2s |      12 |    54110 |    28619 |    10908      4 |        5 |      360
26.68/26.72	c 26.3s |      12 |    58130 |    31219 |    10908      5 |        5 |      360
28.69/28.77	c 28.4s |      12 |    62876 |    33619 |    10908      5 |        5 |      360
30.79/30.82	c 30.4s |      12 |    66388 |    35919 |    10908      5 |        5 |      360
32.88/32.90	c 32.5s |      12 |    69460 |    38219 |    10908      6 |        5 |      360
33.48/33.55	c 33.1s |      13 |    70370 |    38832 |    11999      6 |        5 |      360
35.58/35.62	c 35.2s |      13 |    73797 |    40832 |    11999      6 |        5 |      360
37.58/37.69	c 37.3s |      13 |    76849 |    42732 |    11999      6 |        5 |      360
39.69/39.76	c 39.3s |      13 |    79844 |    44732 |    11999      7 |        5 |      360
41.68/41.76	c 41.4s |      13 |    83242 |    47032 |    11999      7 |        5 |      360
43.78/43.84	c 43.4s |      13 |    86147 |    49232 |    11999      7 |        5 |      360
45.79/45.87	c 45.5s |      13 |    88946 |    50832 |    11999      8 |        5 |      360
47.78/47.87	c 47.5s |      13 |    92683 |    53032 |    11999      8 |        5 |      360
49.88/49.91	c 49.5s |      13 |    95925 |    55032 |    11999      8 |        5 |      360
51.88/51.95	c 51.5s |      13 |    99201 |    57232 |    11999      9 |        5 |      360
52.68/52.77	c 52.4s |      14 |   100687 |    58352 |    13199      9 |        5 |      360
54.68/54.79	c 54.4s |      14 |   103661 |    60752 |    13199      9 |        5 |      360
56.78/56.81	c 56.4s |      14 |   106358 |    62852 |    13199      9 |        5 |      360
58.78/58.83	c 58.4s |      14 |   109156 |    65052 |    13199     10 |        5 |      360
60.78/60.89	c 60.5s |      14 |   112444 |    67552 |    13199     10 |        5 |      360
62.88/62.92	c 62.5s |      14 |   115257 |    69752 |    13199     10 |        5 |      360
64.89/64.92	c 64.5s |      14 |   117803 |    71752 |    13199     11 |        5 |      360
66.88/66.99	c 66.6s |      14 |   120898 |    74252 |    13199     11 |        5 |      360
69.08/69.13	c 68.7s |      14 |   123439 |    76452 |    13199     11 |        5 |      360
71.08/71.16	c 70.8s |      14 |   125667 |    78152 |    13199     11 |        5 |      360
73.18/73.23	c 72.8s |      14 |   128018 |    80052 |    13199     12 |        5 |      360
75.28/75.30	c 74.9s |      14 |   130994 |    82352 |    13199     12 |        5 |      360
77.28/77.30	c 76.9s |      14 |   133241 |    84052 |    13199     12 |        5 |      360
79.28/79.31	c 78.9s |      14 |   135751 |    85952 |    13199     13 |        5 |      360
80.78/80.87	c 80.5s |      15 |   137842 |    87632 |    14519     13 |        5 |      360
82.78/82.87	c 82.5s |      15 |   140342 |    89232 |    14519     13 |        5 |      360
84.88/84.95	c 84.5s |      15 |   143195 |    91132 |    14519     13 |        5 |      360
86.89/86.99	c 86.6s |      15 |   145936 |    93032 |    14519     13 |        5 |      360
88.98/89.08	c 88.7s |      15 |   148682 |    95132 |    14519     14 |        5 |      360
91.08/91.11	c 90.7s |      15 |   151851 |    97632 |    14519     14 |        5 |      360
93.07/93.17	c 92.8s |      15 |   154083 |    99032 |    14519     14 |        5 |      360
95.07/95.19	c 94.8s |      15 |   156732 |   100632 |    14519     14 |        5 |      360
97.07/97.19	c 96.8s |      15 |   160068 |   102632 |    14519     15 |        5 |      360
99.17/99.29	c 98.9s |      15 |   163237 |   104732 |    14519     15 |        5 |      360
101.28/101.39	c  100s |      15 |   166525 |   106932 |    14519     15 |        5 |      360
103.38/103.45	c  103s |      15 |   169651 |   109032 |    14519     15 |        5 |      360
105.37/105.47	c  105s |      15 |   172598 |   111432 |    14519     16 |        5 |      360
107.47/107.57	c  107s |      15 |   175872 |   113432 |    14519     16 |        5 |      360
109.47/109.58	c  109s |      15 |   178764 |   115232 |    14519     16 |        5 |      360
111.57/111.65	c  111s |      15 |   182286 |   117332 |    14519     17 |        5 |      360
113.57/113.66	c  113s |      15 |   186127 |   119732 |    14519     17 |        5 |      360
115.58/115.67	c  115s |      15 |   189355 |   121932 |    14519     17 |        5 |      360
117.57/117.68	c  117s |      15 |   192501 |   124132 |    14519     18 |        5 |      360
119.88/119.92	c  119s |      15 |   196225 |   126932 |    14519     18 |        5 |      360
121.87/121.95	c  121s |      15 |   199541 |   128932 |    14519     18 |        5 |      360
123.87/123.99	c  123s |      15 |   202698 |   130932 |    15971     18 |        5 |      360
124.47/124.53	c  124s |      16 |   203528 |   131552 |    15971     18 |        5 |      360
126.48/126.57	c  126s |      16 |   206208 |   133452 |    15971     19 |        5 |      360
128.57/128.63	c  128s |      16 |   209420 |   135952 |    15971     19 |        5 |      360
131.37/131.43	c  131s |      16 |   212159 |   137552 |    15971     19 |        5 |      360
133.37/133.47	c  133s |      16 |   215424 |   139352 |    15971     19 |        5 |      360
135.47/135.54	c  135s |      16 |   218628 |   141352 |    15971     19 |        5 |      360
137.57/137.61	c  137s |      16 |   221550 |   143352 |    15971     20 |        5 |      360
139.56/139.62	c  139s |      16 |   224350 |   145352 |    15971     20 |        5 |      360
141.56/141.65	c  141s |      16 |   226896 |   147352 |    15971     20 |        5 |      360
143.66/143.73	c  143s |      16 |   229366 |   149152 |    15971     20 |        5 |      360
145.66/145.73	c  145s |      16 |   231601 |   150752 |    15971     21 |        5 |      360
147.66/147.76	c  147s |      16 |   235388 |   152752 |    15971     21 |        5 |      360
149.76/149.84	c  149s |      16 |   239175 |   154852 |    15971     21 |        5 |      360
151.77/151.84	c  151s |      16 |   242038 |   156652 |    15971     21 |        5 |      360
153.76/153.86	c  153s |      16 |   244759 |   158452 |    15971     21 |        5 |      360
155.76/155.89	c  155s |      16 |   248764 |   160652 |    15971     22 |        5 |      360
157.86/157.97	c  157s |      16 |   252460 |   163152 |    15971     22 |        5 |      360
159.96/160.01	c  159s |      16 |   255649 |   165452 |    15971     22 |        5 |      360
161.96/162.05	c  161s |      16 |   258592 |   167352 |    15971     23 |        5 |      360
163.97/164.09	c  163s |      16 |   263121 |   169352 |    15971     23 |        5 |      360
166.07/166.19	c  165s |      16 |   266886 |   171652 |    15971     23 |        5 |      360
168.16/168.22	c  167s |      16 |   270251 |   173752 |    15971     23 |        5 |      360
170.16/170.24	c  169s |      16 |   273307 |   175952 |    15971     24 |        5 |      360
172.16/172.26	c  171s |      16 |   276853 |   178552 |    15971     24 |        5 |      360
174.16/174.29	c  173s |      16 |   279569 |   180652 |    15971     24 |        5 |      360
176.26/176.31	c  175s |      16 |   282121 |   182552 |    15971     24 |        5 |      360
178.26/178.36	c  177s |      16 |   284852 |   184552 |    15971     25 |        5 |      360
180.36/180.46	c  180s |      16 |   288257 |   186652 |    15971     25 |        5 |      360
182.46/182.56	c  182s |      16 |   291114 |   188552 |    15971     25 |        5 |      360
184.46/184.56	c  184s |      16 |   293684 |   190452 |    15971     25 |        5 |      360
186.56/186.63	c  186s |      16 |   295970 |   192352 |    15971     26 |        5 |      360
188.56/188.67	c  188s |      16 |   298430 |   194252 |    15971     26 |        5 |      360
190.56/190.68	c  190s |      16 |   301104 |   196252 |    17569     26 |        5 |      360
191.66/191.75	c  191s |      17 |   302461 |   197432 |    17569     26 |        5 |      360
193.66/193.76	c  193s |      17 |   305217 |   199232 |    17569     26 |        5 |      360
195.76/195.81	c  195s |      17 |   307653 |   201132 |    17569     26 |        5 |      360
197.76/197.87	c  197s |      17 |   310290 |   203032 |    17569     27 |        5 |      360
199.76/199.89	c  199s |      17 |   313428 |   205232 |    17569     27 |        5 |      360
201.86/201.95	c  201s |      17 |   316595 |   207432 |    17569     27 |        5 |      360
203.86/203.95	c  203s |      17 |   319167 |   209432 |    17569     27 |        5 |      360
206.06/206.18	c  205s |      17 |   322114 |   211732 |    17569     28 |        5 |      360
208.16/208.24	c  207s |      17 |   325331 |   214332 |    17569     28 |        5 |      360
210.17/210.24	c  209s |      17 |   328444 |   216932 |    17569     28 |        5 |      360
212.66/212.70	c  212s |      17 |   329983 |   218232 |    17569     28 |        5 |      360
214.66/214.73	c  214s |      17 |   332875 |   219532 |    17569     28 |        5 |      360
216.76/216.82	c  216s |      17 |   336036 |   221232 |    17569     29 |        5 |      360
218.75/218.86	c  218s |      17 |   339846 |   223432 |    17569     29 |        5 |      360
220.75/220.89	c  220s |      17 |   343091 |   225432 |    17569     29 |        5 |      360
222.85/222.92	c  222s |      17 |   347577 |   227632 |    17569     29 |        5 |      360
224.85/224.97	c  224s |      17 |   350560 |   229732 |    17569     29 |        5 |      360
226.85/226.97	c  226s |      17 |   354187 |   232232 |    17569     30 |        5 |      360
228.95/229.03	c  228s |      17 |   357268 |   234232 |    17569     30 |        5 |      360
231.06/231.11	c  230s |      17 |   359850 |   236032 |    17569     30 |        5 |      360
233.05/233.13	c  232s |      17 |   362600 |   237932 |    17569     30 |        5 |      360
235.05/235.19	c  234s |      17 |   365407 |   239832 |    17569     31 |        5 |      360
237.15/237.23	c  236s |      17 |   368486 |   242032 |    17569     31 |        5 |      360
239.25/239.33	c  238s |      17 |   371703 |   243932 |    17569     31 |        5 |      360
241.25/241.34	c  240s |      17 |   375226 |   245832 |    17569     31 |        5 |      360
243.35/243.41	c  243s |      17 |   377861 |   247532 |    17569     31 |        5 |      360
245.35/245.42	c  245s |      17 |   381092 |   249432 |    17569     32 |        5 |      360
247.35/247.47	c  247s |      17 |   384306 |   251732 |    17569     32 |        5 |      360
249.45/249.56	c  249s |      17 |   387620 |   254032 |    17569     32 |        5 |      360
251.55/251.64	c  251s |      17 |   390760 |   256232 |    17569     32 |        5 |      360
253.56/253.68	c  253s |      17 |   393692 |   258032 |    17569     33 |        5 |      360
255.65/255.73	c  255s |      17 |   396732 |   260232 |    17569     33 |        5 |      360
257.65/257.79	c  257s |      17 |   400033 |   262532 |    17569     33 |        5 |      360
259.75/259.87	c  259s |      17 |   403310 |   264932 |    17569     33 |        5 |      360
261.86/261.91	c  261s |      17 |   405965 |   266732 |    17569     34 |        5 |      360
263.85/263.96	c  263s |      17 |   409397 |   269132 |    17569     34 |        5 |      360
265.85/265.99	c  265s |      17 |   412344 |   271432 |    17569     34 |        5 |      360
267.95/268.01	c  267s |      17 |   414984 |   273432 |    17569     34 |        5 |      360
270.15/270.24	c  269s |      17 |   417644 |   275632 |    17569     35 |        5 |      360
272.15/272.26	c  271s |      17 |   420822 |   277832 |    17569     35 |        5 |      360
274.25/274.30	c  273s |      17 |   423860 |   280032 |    17569     35 |        5 |      360
276.25/276.35	c  275s |      17 |   426858 |   282232 |    17569     35 |        5 |      360
278.36/278.40	c  277s |      17 |   429667 |   284532 |    17569     35 |        5 |      360
280.35/280.48	c  280s |      17 |   432801 |   287032 |    17569     36 |        5 |      360
282.45/282.51	c  282s |      17 |   436080 |   289632 |    17569     36 |        5 |      360
284.45/284.56	c  284s |      17 |   439130 |   292132 |    17569     36 |        5 |      360
286.85/286.95	c  286s |      17 |   441258 |   293932 |    17569     37 |        5 |      360
289.25/289.36	c  288s |      17 |   441873 |   294132 |    17569     37 |        5 |      360
291.25/291.38	c  290s |      17 |   445171 |   296232 |    19326     37 |        5 |      360
291.35/291.40	c  290s |      18 |   445207 |   296252 |    19326     37 |        5 |      360
293.35/293.47	c  293s |      18 |   449301 |   298652 |    19326     37 |        5 |      360
295.45/295.54	c  295s |      18 |   452242 |   300652 |    19326     37 |        5 |      360
297.44/297.59	c  297s |      18 |   455183 |   302852 |    19326     37 |        5 |      360
299.54/299.66	c  299s |      18 |   457875 |   304952 |    19326     37 |        5 |      360
301.64/301.73	c  301s |      18 |   460776 |   307252 |    19326     38 |        5 |      360
303.74/303.85	c  303s |      18 |   463004 |   308352 |    19326     38 |        5 |      360
305.85/305.91	c  305s |      18 |   466196 |   310352 |    19326     38 |        5 |      360
307.84/307.95	c  307s |      18 |   469505 |   312052 |    19326     38 |        5 |      360
309.94/310.06	c  309s |      18 |   472950 |   313952 |    19326     38 |        5 |      360
312.04/312.14	c  311s |      18 |   476409 |   315952 |    19326     39 |        5 |      360
314.04/314.19	c  313s |      18 |   479466 |   318152 |    19326     39 |        5 |      360
316.14/316.27	c  315s |      18 |   482329 |   320352 |    19326     39 |        5 |      360
318.14/318.28	c  317s |      18 |   485221 |   322452 |    19326     39 |        5 |      360
320.24/320.31	c  319s |      18 |   488005 |   324252 |    19326     39 |        5 |      360
322.25/322.35	c  321s |      18 |   490155 |   325752 |    19326     40 |        5 |      360
324.34/324.46	c  324s |      18 |   493259 |   328052 |    19326     40 |        5 |      360
326.34/326.47	c  326s |      18 |   496175 |   329952 |    19326     40 |        5 |      360
328.34/328.49	c  328s |      18 |   499469 |   331952 |    19326     40 |        5 |      360
330.44/330.55	c  330s |      18 |   502704 |   333852 |    19326     40 |        5 |      360
332.44/332.57	c  332s |      18 |   505738 |   335852 |    19326     41 |        5 |      360
334.54/334.64	c  334s |      18 |   508615 |   338152 |    19326     41 |        5 |      360
336.54/336.68	c  336s |      18 |   511549 |   340052 |    19326     41 |        5 |      360
338.64/338.75	c  338s |      18 |   515115 |   342052 |    19326     41 |        5 |      360
340.74/340.82	c  340s |      18 |   518112 |   343952 |    19326     41 |        5 |      360
342.84/342.90	c  342s |      18 |   520932 |   345652 |    19326     42 |        5 |      360
344.84/344.98	c  344s |      18 |   523901 |   347752 |    19326     42 |        5 |      360
346.94/347.03	c  346s |      18 |   526754 |   350052 |    19326     42 |        5 |      360
348.94/349.04	c  348s |      18 |   529681 |   351852 |    19326     42 |        5 |      360
350.94/351.08	c  350s |      18 |   532292 |   353652 |    19326     42 |        5 |      360
353.23/353.31	c  352s |      18 |   534839 |   355252 |    19326     43 |        5 |      360
355.34/355.42	c  355s |      18 |   538194 |   357452 |    19326     43 |        5 |      360
357.44/357.51	c  357s |      18 |   541310 |   359752 |    19326     43 |        5 |      360
359.43/359.52	c  359s |      18 |   544189 |   361852 |    19326     43 |        5 |      360
361.43/361.54	c  361s |      18 |   546867 |   363952 |    19326     43 |        5 |      360
363.53/363.61	c  363s |      18 |   549288 |   365752 |    19326     44 |        5 |      360
365.53/365.66	c  365s |      18 |   552468 |   368052 |    19326     44 |        5 |      360
367.53/367.68	c  367s |      18 |   555233 |   369952 |    19326     44 |        5 |      360
369.64/369.75	c  369s |      18 |   558047 |   371952 |    19326     44 |        5 |      360
371.74/371.84	c  371s |      18 |   560458 |   373952 |    19326     44 |        5 |      360
373.73/373.89	c  373s |      18 |   562739 |   375652 |    19326     45 |        5 |      360
375.83/375.91	c  375s |      18 |   565426 |   377652 |    19326     45 |        5 |      360
377.83/377.98	c  377s |      18 |   567846 |   379652 |    19326     45 |        5 |      360
379.93/380.09	c  379s |      18 |   570534 |   381652 |    19326     45 |        5 |      360
382.03/382.12	c  381s |      18 |   572865 |   383552 |    19326     45 |        5 |      360
384.13/384.23	c  383s |      18 |   575267 |   385452 |    19326     45 |        5 |      360
386.14/386.23	c  385s |      18 |   577810 |   387552 |    19326     46 |        5 |      360
388.24/388.34	c  387s |      18 |   580554 |   389852 |    19326     46 |        5 |      360
390.23/390.39	c  389s |      18 |   583084 |   392052 |    19326     46 |        5 |      360
392.33/392.43	c  392s |      18 |   585140 |   393352 |    19326     46 |        5 |      360
394.33/394.46	c  394s |      18 |   587558 |   395152 |    19326     46 |        5 |      360
396.33/396.48	c  396s |      18 |   590096 |   396852 |    19326     47 |        5 |      360
398.43/398.52	c  398s |      18 |   593371 |   399152 |    19326     47 |        5 |      360
400.53/400.62	c  400s |      18 |   596449 |   401552 |    19326     47 |        5 |      360
403.53/403.70	c  403s |      18 |   597405 |   402152 |    19326     47 |        5 |      360
405.63/405.77	c  405s |      18 |   600428 |   403752 |    19326     47 |        5 |      360
407.73/407.90	c  407s |      18 |   602839 |   405152 |    19326     48 |        5 |      360
409.83/409.92	c  409s |      18 |   606350 |   407252 |    19326     48 |        5 |      360
411.83/411.96	c  411s |      18 |   609578 |   409252 |    19326     48 |        5 |      360
413.93/414.03	c  413s |      18 |   612537 |   411152 |    19326     48 |        5 |      360
415.93/416.04	c  415s |      18 |   615262 |   413052 |    19326     48 |        5 |      360
417.93/418.05	c  417s |      18 |   617721 |   414852 |    19326     48 |        5 |      360
419.93/420.06	c  419s |      18 |   620420 |   416752 |    19326     49 |        5 |      360
421.92/422.06	c  421s |      18 |   623732 |   418352 |    19326     49 |        5 |      360
424.02/424.14	c  423s |      18 |   627171 |   420252 |    19326     49 |        5 |      360
426.12/426.22	c  425s |      18 |   630502 |   422052 |    19326     49 |        5 |      360
428.12/428.25	c  427s |      18 |   633534 |   423852 |    19326     49 |        5 |      360
430.22/430.31	c  429s |      18 |   635911 |   425452 |    19326     50 |        5 |      360
432.23/432.33	c  431s |      18 |   639332 |   427752 |    19326     50 |        5 |      360
434.22/434.36	c  433s |      18 |   642202 |   429752 |    19326     50 |        5 |      360
436.22/436.37	c  435s |      18 |   644928 |   431852 |    19326     50 |        5 |      360
438.32/438.47	c  438s |      18 |   647171 |   433652 |    19326     50 |        5 |      360
440.42/440.55	c  440s |      18 |   649502 |   435252 |    19326     51 |        5 |      360
442.52/442.60	c  442s |      18 |   652889 |   437452 |    19326     51 |        5 |      360
444.52/444.62	c  444s |      18 |   656087 |   439652 |    19326     51 |        5 |      360
446.53/446.69	c  446s |      18 |   658895 |   441852 |    21259     51 |        5 |      360
448.62/448.78	c  448s |      18 |   661944 |   443852 |    21259     51 |        5 |      360
449.32/449.49	c  449s |      19 |   662867 |   444482 |    21259     51 |        5 |      360
451.42/451.57	c  451s |      19 |   665327 |   445682 |    21259     51 |        5 |      360
453.52/453.64	c  453s |      19 |   668273 |   447182 |    21259     52 |        5 |      360
455.62/455.71	c  455s |      19 |   671895 |   449182 |    21259     52 |        5 |      360
457.63/457.71	c  457s |      19 |   675552 |   451282 |    21259     52 |        5 |      360
459.62/459.76	c  459s |      19 |   678247 |   453182 |    21259     52 |        5 |      360
461.72/461.84	c  461s |      19 |   681208 |   455282 |    21259     52 |        5 |      360
463.72/463.86	c  463s |      19 |   683696 |   457182 |    21259     52 |        5 |      360
465.82/465.92	c  465s |      19 |   686488 |   459382 |    21259     53 |        5 |      360
467.82/467.96	c  467s |      19 |   689157 |   460982 |    21259     53 |        5 |      360
469.92/470.02	c  469s |      19 |   692756 |   462882 |    21259     53 |        5 |      360
471.93/472.08	c  471s |      19 |   696736 |   464682 |    21259     53 |        5 |      360
473.92/474.09	c  473s |      19 |   699686 |   466582 |    21259     53 |        5 |      360
476.02/476.18	c  475s |      19 |   702121 |   468282 |    21259     53 |        5 |      360
478.12/478.28	c  477s |      19 |   704633 |   470082 |    21259     54 |        5 |      360
480.22/480.33	c  479s |      19 |   707325 |   472182 |    21259     54 |        5 |      360
482.32/482.44	c  482s |      19 |   710046 |   473982 |    21259     54 |        5 |      360
484.42/484.50	c  484s |      19 |   712885 |   475782 |    21259     54 |        5 |      360
486.52/486.63	c  486s |      19 |   716018 |   477582 |    21259     54 |        5 |      360
488.52/488.65	c  488s |      19 |   718315 |   479182 |    21259     54 |        5 |      360
490.52/490.65	c  490s |      19 |   720112 |   480582 |    21259     55 |        5 |      360
492.62/492.77	c  492s |      19 |   723179 |   482482 |    21259     55 |        5 |      360
494.72/494.88	c  494s |      19 |   726209 |   484582 |    21259     55 |        5 |      360
496.82/496.93	c  496s |      19 |   729083 |   486582 |    21259     55 |        5 |      360
498.82/498.96	c  498s |      19 |   732086 |   488682 |    21259     55 |        5 |      360
500.81/500.99	c  500s |      19 |   735594 |   490482 |    21259     55 |        5 |      360
502.91/503.07	c  502s |      19 |   738079 |   492082 |    21259     56 |        5 |      360
504.92/505.07	c  504s |      19 |   740982 |   494182 |    21259     56 |        5 |      360
507.02/507.11	c  506s |      19 |   743763 |   496382 |    21259     56 |        5 |      360
509.01/509.15	c  508s |      19 |   746490 |   498182 |    21259     56 |        5 |      360
511.11/511.25	c  510s |      19 |   749437 |   500082 |    21259     56 |        5 |      360
513.21/513.31	c  512s |      19 |   751879 |   501782 |    21259     56 |        5 |      360
515.21/515.34	c  514s |      19 |   754637 |   503682 |    21259     57 |        5 |      360
517.31/517.41	c  517s |      19 |   757516 |   505882 |    21259     57 |        5 |      360
519.41/519.51	c  519s |      19 |   760080 |   507882 |    21259     57 |        5 |      360
521.51/521.61	c  521s |      19 |   762296 |   509582 |    21259     57 |        5 |      360
523.52/523.63	c  523s |      19 |   764640 |   511382 |    21259     57 |        5 |      360
525.61/525.70	c  525s |      19 |   766741 |   512982 |    21259     57 |        5 |      360
527.61/527.78	c  527s |      19 |   769337 |   514782 |    21259     58 |        5 |      360
529.71/529.87	c  529s |      19 |   772247 |   516982 |    21259     58 |        5 |      360
531.71/531.88	c  531s |      19 |   774926 |   519082 |    21259     58 |        5 |      360
533.81/533.92	c  533s |      19 |   777156 |   520882 |    21259     58 |        5 |      360
535.81/535.97	c  535s |      19 |   779579 |   522782 |    21259     58 |        5 |      360
537.92/538.07	c  537s |      19 |   781716 |   524582 |    21259     59 |        5 |      360
539.91/540.08	c  539s |      19 |   784607 |   526782 |    21259     59 |        5 |      360
542.01/542.10	c  541s |      19 |   787310 |   529082 |    21259     59 |        5 |      360
544.01/544.10	c  543s |      19 |   789741 |   531182 |    21259     59 |        5 |      360
546.01/546.11	c  545s |      19 |   792169 |   533182 |    21259     59 |        5 |      360
548.60/548.75	c  548s |      19 |   792901 |   533682 |    21259     59 |        5 |      360
550.61/550.77	c  550s |      19 |   794265 |   534482 |    21259     59 |        5 |      360
552.61/552.78	c  552s |      19 |   796718 |   535882 |    21259     60 |        5 |      360
554.71/554.84	c  554s |      19 |   800232 |   537682 |    21259     60 |        5 |      360
556.81/556.94	c  556s |      19 |   803471 |   539782 |    21259     60 |        5 |      360
558.82/558.94	c  558s |      19 |   806341 |   541782 |    21259     60 |        5 |      360
560.81/560.96	c  560s |      19 |   809477 |   543882 |    21259     60 |        5 |      360
562.81/562.97	c  562s |      19 |   813112 |   545882 |    21259     60 |        5 |      360
564.81/564.98	c  564s |      19 |   815847 |   548082 |    21259     61 |        5 |      360
566.91/567.08	c  566s |      19 |   818486 |   549882 |    21259     61 |        5 |      360
569.01/569.13	c  568s |      19 |   821915 |   551582 |    21259     61 |        5 |      360
571.01/571.14	c  570s |      19 |   824981 |   553282 |    21259     61 |        5 |      360
573.01/573.20	c  572s |      19 |   827740 |   555082 |    21259     61 |        5 |      360
575.10/575.29	c  574s |      19 |   830115 |   556782 |    21259     61 |        5 |      360
577.20/577.32	c  576s |      19 |   832572 |   558582 |    21259     62 |        5 |      360
579.20/579.36	c  578s |      19 |   835055 |   560582 |    21259     62 |        5 |      360
581.30/581.43	c  581s |      19 |   838132 |   562382 |    21259     62 |        5 |      360
583.40/583.56	c  583s |      19 |   840539 |   564082 |    21259     62 |        5 |      360
585.50/585.68	c  585s |      19 |   842932 |   565682 |    21259     62 |        5 |      360
587.60/587.78	c  587s |      19 |   845365 |   567282 |    21259     62 |        5 |      360
589.70/589.85	c  589s |      19 |   847929 |   569182 |    21259     63 |        5 |      360
591.81/591.94	c  591s |      19 |   850760 |   571482 |    21259     63 |        5 |      360
593.80/593.99	c  593s |      19 |   853593 |   573282 |    21259     63 |        5 |      360
595.90/596.01	c  595s |      19 |   856388 |   575182 |    21259     63 |        5 |      360
598.00/598.11	c  597s |      19 |   859048 |   577182 |    21259     63 |        5 |      360
600.00/600.14	c  599s |      19 |   861426 |   578982 |    21259     63 |        5 |      360
602.10/602.20	c  601s |      19 |   864379 |   580782 |    21259     64 |        5 |      360
604.10/604.26	c  603s |      19 |   867582 |   582882 |    21259     64 |        5 |      360
606.11/606.26	c  605s |      19 |   870400 |   584982 |    21259     64 |        5 |      360
608.10/608.26	c  607s |      19 |   873062 |   586982 |    21259     64 |        5 |      360
610.20/610.33	c  609s |      19 |   875747 |   588782 |    21259     64 |        5 |      360
612.40/612.53	c  612s |      19 |   877980 |   590682 |    21259     65 |        5 |      360
614.40/614.58	c  614s |      19 |   880627 |   592782 |    21259     65 |        5 |      360
616.50/616.65	c  616s |      19 |   883386 |   594882 |    21259     65 |        5 |      360
618.60/618.75	c  618s |      19 |   885979 |   597082 |    21259     65 |        5 |      360
620.60/620.75	c  620s |      19 |   888426 |   599082 |    21259     65 |        5 |      360
622.60/622.79	c  622s |      19 |   890693 |   601082 |    21259     65 |        5 |      360
624.60/624.79	c  624s |      19 |   892515 |   602482 |    21259     66 |        5 |      360
626.69/626.90	c  626s |      19 |   894719 |   604182 |    21259     66 |        5 |      360
628.79/628.90	c  628s |      19 |   897325 |   606182 |    21259     66 |        5 |      360
632.69/632.85	c  632s |      19 |   898849 |   607382 |    21259     66 |        5 |      360
634.79/634.91	c  634s |      19 |   901487 |   609182 |    21259     66 |        5 |      360
636.90/637.01	c  636s |      19 |   903683 |   610982 |    21259     66 |        5 |      360
638.89/639.03	c  638s |      19 |   905560 |   612582 |    21259     66 |        5 |      360
640.99/641.15	c  640s |      19 |   907794 |   614282 |    21259     67 |        5 |      360
642.99/643.15	c  642s |      19 |   909958 |   615882 |    21259     67 |        5 |      360
644.99/645.18	c  644s |      19 |   912463 |   617482 |    21259     67 |        5 |      360
647.09/647.28	c  646s |      19 |   915074 |   619282 |    21259     67 |        5 |      360
649.19/649.37	c  648s |      19 |   917289 |   620882 |    21259     67 |        5 |      360
651.29/651.47	c  651s |      19 |   919591 |   622582 |    21259     67 |        5 |      360
653.30/653.50	c  653s |      19 |   921719 |   624282 |    21259     68 |        5 |      360
655.39/655.53	c  655s |      19 |   923933 |   625882 |    21259     68 |        5 |      360
657.39/657.57	c  657s |      19 |   926252 |   627682 |    21259     68 |        5 |      360
659.49/659.61	c  659s |      19 |   928627 |   629582 |    21259     68 |        5 |      360
661.49/661.65	c  661s |      19 |   931097 |   631182 |    21259     68 |        5 |      360
663.59/663.78	c  663s |      19 |   933490 |   632782 |    21259     68 |        5 |      360
665.69/665.82	c  665s |      19 |   935515 |   634382 |    21259     68 |        5 |      360
667.79/667.90	c  667s |      19 |   937649 |   636082 |    21259     69 |        5 |      360
669.79/669.90	c  669s |      19 |   939889 |   637882 |    21259     69 |        5 |      360
671.78/671.90	c  671s |      19 |   942183 |   639782 |    21259     69 |        5 |      360
673.78/673.95	c  673s |      19 |   944245 |   641582 |    21259     69 |        5 |      360
675.88/676.02	c  675s |      19 |   946293 |   643182 |    21259     69 |        5 |      360
677.88/678.09	c  677s |      19 |   948332 |   644882 |    21259     69 |        5 |      360
679.98/680.15	c  679s |      19 |   950202 |   646482 |    21259     70 |        5 |      360
682.08/682.23	c  681s |      19 |   952736 |   648582 |    21259     70 |        5 |      360
684.09/684.26	c  683s |      19 |   955040 |   650582 |    21259     70 |        5 |      360
686.48/686.63	c  686s |      19 |   955833 |   651282 |    21259     70 |        5 |      360
688.49/688.63	c  688s |      19 |   958306 |   653182 |    21259     70 |        5 |      360
690.58/690.74	c  690s |      19 |   960832 |   655282 |    21259     70 |        5 |      360
692.99/693.19	c  692s |      19 |   963038 |   656882 |    21259     71 |        5 |      360
695.09/695.26	c  694s |      19 |   965294 |   658582 |    21259     71 |        5 |      360
697.18/697.36	c  696s |      19 |   967937 |   660682 |    21259     71 |        5 |      360
699.28/699.41	c  699s |      19 |   970110 |   662282 |    23385     71 |        5 |      360
701.28/701.42	c  701s |      19 |   972404 |   663882 |    23385     71 |        5 |      360
703.28/703.49	c  703s |      19 |   974513 |   665582 |    23385     71 |        5 |      360
704.88/705.01	c  704s |      20 |   976025 |   666827 |    23385     71 |        5 |      360
706.88/707.01	c  706s |      20 |   977549 |   667827 |    23385     71 |        5 |      360
708.88/709.07	c  708s |      20 |   979786 |   669327 |    23385     71 |        5 |      360
710.99/711.10	c  710s |      20 |   981624 |   670727 |    23385     72 |        5 |      360
712.99/713.15	c  712s |      20 |   984432 |   672927 |    23385     72 |        5 |      360
715.09/715.25	c  714s |      20 |   986934 |   674827 |    23385     72 |        5 |      360
717.19/717.35	c  716s |      20 |   989546 |   676827 |    23385     72 |        5 |      360
719.29/719.43	c  719s |      20 |   991917 |   678427 |    23385     72 |        5 |      360
721.38/721.53	c  721s |      20 |   993826 |   679927 |    23385     72 |        5 |      360
723.38/723.56	c  723s |      20 |   995957 |   681527 |    23385     72 |        5 |      360
725.48/725.64	c  725s |      20 |   997829 |   683027 |    23385     73 |        5 |      360
727.48/727.65	c  727s |      20 |  1000157 |   684927 |    23385     73 |        5 |      360
729.48/729.66	c  729s |      20 |  1002617 |   686827 |    23385     73 |        5 |      360
731.58/731.71	c  731s |      20 |  1005118 |   688827 |    23385     73 |        5 |      360
733.59/733.76	c  733s |      20 |  1007437 |   690827 |    23385     73 |        5 |      360
735.68/735.82	c  735s |      20 |  1009548 |   692727 |    23385     73 |        5 |      360
737.78/737.99	c  737s |      20 |  1011640 |   693927 |    23385     74 |        5 |      360
739.88/740.01	c  739s |      20 |  1013468 |   695327 |    23385     74 |        5 |      360
741.88/742.03	c  741s |      20 |  1016039 |   697327 |    23385     74 |        5 |      360
745.18/745.39	c  744s |      20 |  1018704 |   699227 |    23385     74 |        5 |      360
747.38/747.51	c  747s |      20 |  1021749 |   701027 |    23385     74 |        5 |      360
749.48/749.62	c  749s |      20 |  1025115 |   702827 |    23385     74 |        5 |      360
751.47/751.64	c  751s |      20 |  1028448 |   704627 |    23385     74 |        5 |      360
753.77/753.95	c  753s |      20 |  1031146 |   706327 |    23385     75 |        5 |      360
755.77/755.99	c  755s |      20 |  1033820 |   708127 |    23385     75 |        5 |      360
757.88/758.06	c  757s |      20 |  1036769 |   710327 |    23385     75 |        5 |      360
759.87/760.08	c  759s |      20 |  1039417 |   712427 |    23385     75 |        5 |      360
761.97/762.16	c  761s |      20 |  1041998 |   714427 |    23385     75 |        5 |      360
764.07/764.29	c  763s |      20 |  1044455 |   715927 |    23385     75 |        5 |      360
766.27/766.40	c  765s |      20 |  1047072 |   717727 |    23385     75 |        5 |      360
768.27/768.47	c  768s |      20 |  1049549 |   719427 |    23385     76 |        5 |      360
770.37/770.54	c  770s |      20 |  1052975 |   721527 |    23385     76 |        5 |      360
772.37/772.58	c  772s |      20 |  1055891 |   723527 |    23385     76 |        5 |      360
774.47/774.67	c  774s |      20 |  1058862 |   725427 |    23385     76 |        5 |      360
776.58/776.71	c  776s |      20 |  1061450 |   727427 |    23385     76 |        5 |      360
778.57/778.72	c  778s |      20 |  1063965 |   729427 |    23385     76 |        5 |      360
780.77/780.91	c  780s |      20 |  1065945 |   730827 |    23385     77 |        5 |      360
782.77/782.98	c  782s |      20 |  1069122 |   732727 |    23385     77 |        5 |      360
784.87/785.03	c  784s |      20 |  1072031 |   734627 |    23385     77 |        5 |      360
786.87/787.05	c  786s |      20 |  1075124 |   736327 |    23385     77 |        5 |      360
788.97/789.15	c  788s |      20 |  1077647 |   738127 |    23385     77 |        5 |      360
790.97/791.19	c  790s |      20 |  1080103 |   739927 |    23385     77 |        5 |      360
793.07/793.27	c  792s |      20 |  1082819 |   741827 |    23385     77 |        5 |      360
795.17/795.33	c  794s |      20 |  1085829 |   744127 |    23385     78 |        5 |      360
797.26/797.43	c  797s |      20 |  1088250 |   745727 |    23385     78 |        5 |      360
799.36/799.50	c  799s |      20 |  1091074 |   747627 |    23385     78 |        5 |      360
801.36/801.52	c  801s |      20 |  1094032 |   749527 |    23385     78 |        5 |      360
803.36/803.53	c  803s |      20 |  1096728 |   751427 |    23385     78 |        5 |      360
805.36/805.57	c  805s |      20 |  1099404 |   753427 |    23385     78 |        5 |      360
807.46/807.64	c  807s |      20 |  1101741 |   755027 |    23385     79 |        5 |      360
809.57/809.72	c  809s |      20 |  1105000 |   757227 |    23385     79 |        5 |      360
811.56/811.77	c  811s |      20 |  1107859 |   759427 |    23385     79 |        5 |      360
813.66/813.87	c  813s |      20 |  1110614 |   761527 |    23385     79 |        5 |      360
815.76/815.93	c  815s |      20 |  1113590 |   763427 |    23385     79 |        5 |      360
817.86/818.00	c  817s |      20 |  1116445 |   765427 |    23385     79 |        5 |      360
819.86/820.07	c  819s |      20 |  1119118 |   767427 |    23385     80 |        5 |      360
821.96/822.16	c  821s |      20 |  1121774 |   769527 |    23385     80 |        5 |      360
823.96/824.18	c  823s |      20 |  1124526 |   771727 |    23385     80 |        5 |      360
825.97/826.20	c  825s |      20 |  1127181 |   773727 |    23385     80 |        5 |      360
828.06/828.26	c  827s |      20 |  1129703 |   775827 |    23385     80 |        5 |      360
830.16/830.31	c  829s |      20 |  1132348 |   777727 |    23385     80 |        5 |      360
832.16/832.35	c  831s |      20 |  1134506 |   779527 |    23385     81 |        5 |      360
834.26/834.41	c  834s |      20 |  1137384 |   781827 |    23385     81 |        5 |      360
836.27/836.42	c  836s |      20 |  1139879 |   784027 |    23385     81 |        5 |      360
838.27/838.43	c  838s |      20 |  1142297 |   785927 |    23385     81 |        5 |      360
840.37/840.51	c  840s |      20 |  1144637 |   787627 |    23385     81 |        5 |      360
845.96/846.14	c  845s |      20 |  1146341 |   789027 |    23385     81 |        5 |      360
848.07/848.23	c  847s |      20 |  1147785 |   789727 |    23385     81 |        5 |      360
850.36/850.55	c  850s |      20 |  1150078 |   791327 |    23385     82 |        5 |      360
852.47/852.62	c  852s |      20 |  1152763 |   793027 |    23385     82 |        5 |      360
854.46/854.65	c  854s |      20 |  1156185 |   794927 |    23385     82 |        5 |      360
856.56/856.74	c  856s |      20 |  1159001 |   797027 |    23385     82 |        5 |      360
858.66/858.85	c  858s |      20 |  1161642 |   799027 |    23385     82 |        5 |      360
860.76/860.98	c  860s |      20 |  1164248 |   800727 |    23385     82 |        5 |      360
862.86/863.04	c  862s |      20 |  1166766 |   802327 |    23385     82 |        5 |      360
864.96/865.11	c  864s |      20 |  1169292 |   803927 |    23385     83 |        5 |      360
866.96/867.19	c  866s |      20 |  1172259 |   806127 |    23385     83 |        5 |      360
869.06/869.25	c  868s |      20 |  1174937 |   808327 |    23385     83 |        5 |      360
871.16/871.34	c  870s |      20 |  1177442 |   810227 |    23385     83 |        5 |      360
873.16/873.38	c  872s |      20 |  1179500 |   811727 |    23385     83 |        5 |      360
875.26/875.48	c  875s |      20 |  1181905 |   813427 |    23385     83 |        5 |      360
877.36/877.57	c  877s |      20 |  1184050 |   815027 |    23385     83 |        5 |      360
879.46/879.64	c  879s |      20 |  1186495 |   817027 |    23385     84 |        5 |      360
881.45/881.68	c  881s |      20 |  1189226 |   818927 |    23385     84 |        5 |      360
883.55/883.72	c  883s |      20 |  1191723 |   820727 |    23385     84 |        5 |      360
885.55/885.73	c  885s |      20 |  1194151 |   822627 |    23385     84 |        5 |      360
887.56/887.78	c  887s |      20 |  1196620 |   824527 |    23385     84 |        5 |      360
889.65/889.86	c  889s |      20 |  1198803 |   826227 |    23385     84 |        5 |      360
891.65/891.87	c  891s |      20 |  1201004 |   828027 |    23385     85 |        5 |      360
893.75/893.94	c  893s |      20 |  1203668 |   830127 |    23385     85 |        5 |      360
895.75/895.97	c  895s |      20 |  1206487 |   832327 |    23385     85 |        5 |      360
897.75/897.98	c  897s |      20 |  1208913 |   834327 |    23385     85 |        5 |      360
899.85/900.04	c  899s |      20 |  1211325 |   836327 |    23385     85 |        5 |      360
901.86/902.10	c  901s |      20 |  1213699 |   838327 |    23385     85 |        5 |      360
903.95/904.15	c  903s |      20 |  1215708 |   840127 |    23385     86 |        5 |      360
906.05/906.22	c  905s |      20 |  1218348 |   842527 |    23385     86 |        5 |      360
909.75/909.98	c  909s |      20 |  1219147 |   843227 |    23385     86 |        5 |      360
911.86/912.08	c  911s |      20 |  1220804 |   844427 |    23385     86 |        5 |      360
913.96/914.18	c  913s |      20 |  1223819 |   846327 |    23385     86 |        5 |      360
916.05/916.20	c  915s |      20 |  1226488 |   848227 |    23385     86 |        5 |      360
918.05/918.24	c  917s |      20 |  1228954 |   850127 |    23385     86 |        5 |      360
920.15/920.33	c  919s |      20 |  1231062 |   851827 |    23385     87 |        5 |      360
922.15/922.39	c  921s |      20 |  1233022 |   853327 |    23385     87 |        5 |      360
924.25/924.42	c  924s |      20 |  1236047 |   855227 |    23385     87 |        5 |      360
926.35/926.51	c  926s |      20 |  1238838 |   857127 |    23385     87 |        5 |      360
928.36/928.57	c  928s |      20 |  1241627 |   858827 |    23385     87 |        5 |      360
930.35/930.59	c  930s |      20 |  1243997 |   860627 |    23385     87 |        5 |      360
932.45/932.69	c  932s |      20 |  1246578 |   862527 |    23385     87 |        5 |      360
934.65/934.85	c  934s |      20 |  1248869 |   864327 |    23385     88 |        5 |      360
936.65/936.89	c  936s |      20 |  1251614 |   866027 |    23385     88 |        5 |      360
938.75/938.95	c  938s |      20 |  1254872 |   868027 |    23385     88 |        5 |      360
940.85/941.02	c  940s |      20 |  1257398 |   870127 |    23385     88 |        5 |      360
942.95/943.10	c  942s |      20 |  1260077 |   872127 |    23385     88 |        5 |      360
945.05/945.21	c  944s |      20 |  1262757 |   873927 |    23385     88 |        5 |      360
947.15/947.31	c  946s |      20 |  1265410 |   875627 |    23385     88 |        5 |      360
949.15/949.37	c  948s |      20 |  1267917 |   877527 |    23385     89 |        5 |      360
951.25/951.47	c  951s |      20 |  1270789 |   879727 |    23385     89 |        5 |      360
953.35/953.52	c  953s |      20 |  1273340 |   881627 |    23385     89 |        5 |      360
955.34/955.54	c  955s |      20 |  1276020 |   883727 |    23385     89 |        5 |      360
957.34/957.55	c  957s |      20 |  1278519 |   885727 |    23385     89 |        5 |      360
959.34/959.56	c  959s |      20 |  1280938 |   887527 |    23385     89 |        5 |      360
961.35/961.57	c  961s |      20 |  1283192 |   889327 |    23385     90 |        5 |      360
963.45/963.61	c  963s |      20 |  1285687 |   891327 |    23385     90 |        5 |      360
965.44/965.70	c  965s |      20 |  1288369 |   893527 |    23385     90 |        5 |      360
967.44/967.70	c  967s |      20 |  1290856 |   895527 |    23385     90 |        5 |      360
969.54/969.76	c  969s |      20 |  1293254 |   897427 |    23385     90 |        5 |      360
971.54/971.77	c  971s |      20 |  1295519 |   899127 |    23385     90 |        5 |      360
973.64/973.85	c  973s |      20 |  1296480 |   899727 |    23385     90 |        5 |      360
975.74/975.91	c  975s |      20 |  1298797 |   901227 |    23385     91 |        5 |      360
977.75/977.97	c  977s |      20 |  1302252 |   903427 |    23385     91 |        5 |      360
979.84/980.05	c  979s |      20 |  1305286 |   905527 |    23385     91 |        5 |      360
981.94/982.14	c  981s |      20 |  1308056 |   907627 |    23385     91 |        5 |      360
983.94/984.17	c  983s |      20 |  1310971 |   909927 |    23385     91 |        5 |      360
986.04/986.28	c  985s |      20 |  1313720 |   911627 |    23385     91 |        5 |      360
988.14/988.32	c  987s |      20 |  1316022 |   913227 |    23385     92 |        5 |      360
990.24/990.41	c  990s |      20 |  1318909 |   915327 |    23385     92 |        5 |      360
992.24/992.45	c  992s |      20 |  1321473 |   917327 |    23385     92 |        5 |      360
994.24/994.47	c  994s |      20 |  1324333 |   919227 |    23385     92 |        5 |      360
996.34/996.51	c  996s |      20 |  1327117 |   921227 |    23385     92 |        5 |      360
998.34/998.53	c  998s |      20 |  1329855 |   923327 |    23385     92 |        5 |      360
1000.34/1000.59	c 1000s |      20 |  1332030 |   925127 |    23385     93 |        5 |      360
1002.44/1002.66	c 1002s |      20 |  1334739 |   927227 |    23385     93 |        5 |      360
1004.54/1004.72	c 1004s |      20 |  1337419 |   929327 |    23385     93 |        5 |      360
1006.54/1006.72	c 1006s |      20 |  1339851 |   931327 |    23385     93 |        5 |      360
1008.54/1008.80	c 1008s |      20 |  1342330 |   933427 |    23385     93 |        5 |      360
1010.63/1010.85	c 1010s |      20 |  1344712 |   935427 |    23385     93 |        5 |      360
1012.63/1012.86	c 1012s |      20 |  1346811 |   937127 |    23385     94 |        5 |      360
1014.73/1014.94	c 1014s |      20 |  1349249 |   939127 |    23385     94 |        5 |      360
1016.83/1017.05	c 1016s |      20 |  1351469 |   940927 |    23385     94 |        5 |      360
1018.93/1019.11	c 1018s |      20 |  1353506 |   942627 |    23385     94 |        5 |      360
1021.03/1021.22	c 1020s |      20 |  1355819 |   944327 |    23385     94 |        5 |      360
1023.13/1023.31	c 1022s |      20 |  1358001 |   946127 |    23385     94 |        5 |      360
1027.44/1027.67	c 1027s |      20 |  1359716 |   947227 |    23385     94 |        5 |      360
1029.94/1030.15	c 1029s |      20 |  1361959 |   948727 |    23385     95 |        5 |      360
1032.04/1032.24	c 1031s |      20 |  1364728 |   950627 |    23385     95 |        5 |      360
1034.03/1034.27	c 1033s |      20 |  1367642 |   952827 |    23385     95 |        5 |      360
1036.04/1036.29	c 1035s |      20 |  1370513 |   955127 |    23385     95 |        5 |      360
1038.03/1038.29	c 1037s |      20 |  1373136 |   956927 |    23385     95 |        5 |      360
1040.13/1040.35	c 1039s |      20 |  1375904 |   958827 |    23385     95 |        5 |      360
1042.33/1042.59	c 1042s |      20 |  1378324 |   960727 |    23385     96 |        5 |      360
1044.43/1044.60	c 1044s |      20 |  1381214 |   962727 |    23385     96 |        5 |      360
1046.43/1046.61	c 1046s |      20 |  1384298 |   965027 |    23385     96 |        5 |      360
1048.43/1048.66	c 1048s |      20 |  1387032 |   967227 |    23385     96 |        5 |      360
1050.53/1050.70	c 1050s |      20 |  1389461 |   969227 |    23385     96 |        5 |      360
1052.54/1052.78	c 1052s |      20 |  1391953 |   971327 |    23385     96 |        5 |      360
1054.53/1054.78	c 1054s |      20 |  1394003 |   973127 |    23385     97 |        5 |      360
1056.63/1056.83	c 1056s |      20 |  1396694 |   975227 |    23385     97 |        5 |      360
1058.63/1058.90	c 1058s |      20 |  1399160 |   977127 |    23385     97 |        5 |      360
1061.93/1062.11	c 1061s |      20 |  1401763 |   979027 |    23385     97 |        5 |      360
1063.93/1064.14	c 1063s |      20 |  1404382 |   980727 |    23385     97 |        5 |      360
1065.93/1066.19	c 1065s |      20 |  1406800 |   982527 |    23385     97 |        5 |      360
1068.03/1068.21	c 1067s |      20 |  1409415 |   984427 |    23385     97 |        5 |      360
1070.23/1070.43	c 1070s |      20 |  1411984 |   986427 |    23385     98 |        5 |      360
1072.23/1072.44	c 1072s |      20 |  1415215 |   988427 |    23385     98 |        5 |      360
1074.23/1074.49	c 1074s |      20 |  1418421 |   990727 |    23385     98 |        5 |      360
1076.33/1076.53	c 1076s |      20 |  1421074 |   992927 |    23385     98 |        5 |      360
1078.33/1078.56	c 1078s |      20 |  1423435 |   994927 |    25724     98 |        5 |      360
1080.42/1080.63	c 1080s |      20 |  1425963 |   996727 |    25724     98 |        5 |      360
1082.52/1082.71	c 1082s |      20 |  1428547 |   998727 |    25724     98 |        5 |      360
1084.32/1084.50	c 1084s |      21 |  1430509 |  1000345 |    25724     99 |        5 |      360
1087.52/1087.71	c 1087s |      21 |  1432598 |  1001845 |    25724     99 |        5 |      360
1089.62/1089.80	c 1089s |      21 |  1434192 |  1002545 |    25724     99 |        5 |      360
1091.72/1091.90	c 1091s |      21 |  1437432 |  1004545 |    25724     99 |        5 |      360
1093.72/1093.93	c 1093s |      21 |  1440177 |  1006345 |    25724     99 |        5 |      360
1095.72/1095.96	c 1095s |      21 |  1443480 |  1007945 |    25724     99 |        5 |      360
1097.82/1098.02	c 1097s |      21 |  1446148 |  1009745 |    25724     99 |        5 |      360
1099.83/1100.07	c 1099s |      21 |  1449050 |  1011445 |    25724     99 |        5 |      360
1101.82/1102.07	c 1101s |      21 |  1451719 |  1013045 |    25724    100 |        5 |      360
1103.92/1104.11	c 1103s |      21 |  1454750 |  1015145 |    25724    100 |        5 |      360
1105.92/1106.20	c 1105s |      21 |  1457583 |  1017345 |    25724    100 |        5 |      360
1108.02/1108.23	c 1107s |      21 |  1460267 |  1019145 |    25724    100 |        5 |      360
1110.12/1110.31	c 1109s |      21 |  1462810 |  1020845 |    25724    100 |        5 |      360
1112.12/1112.36	c 1111s |      21 |  1465124 |  1022445 |    25724    100 |        5 |      360
1114.23/1114.45	c 1114s |      21 |  1467751 |  1024245 |    25724    100 |        5 |      360
1116.22/1116.49	c 1116s |      21 |  1469896 |  1025845 |    25724    100 |        5 |      360
1118.32/1118.53	c 1118s |      21 |  1471967 |  1027445 |    25724    101 |        5 |      360
1120.42/1120.61	c 1120s |      21 |  1474755 |  1029045 |    25724    101 |        5 |      360
1122.42/1122.64	c 1122s |      21 |  1477397 |  1030645 |    25724    101 |        5 |      360
1124.42/1124.65	c 1124s |      21 |  1480153 |  1032345 |    25724    101 |        5 |      360
1126.52/1126.77	c 1126s |      21 |  1483033 |  1034145 |    25724    101 |        5 |      360
1128.62/1128.87	c 1128s |      21 |  1485766 |  1035945 |    25724    101 |        5 |      360
1130.72/1130.96	c 1130s |      21 |  1488269 |  1037645 |    25724    101 |        5 |      360
1132.82/1133.05	c 1132s |      21 |  1490596 |  1039345 |    25724    101 |        5 |      360
1134.92/1135.10	c 1134s |      21 |  1493131 |  1041345 |    25724    102 |        5 |      360
1136.92/1137.11	c 1136s |      21 |  1495986 |  1043445 |    25724    102 |        5 |      360
1138.91/1139.17	c 1138s |      21 |  1498916 |  1045145 |    25724    102 |        5 |      360
1141.01/1141.20	c 1140s |      21 |  1501191 |  1046845 |    25724    102 |        5 |      360
1143.01/1143.27	c 1142s |      21 |  1503554 |  1048645 |    25724    102 |        5 |      360
1145.11/1145.36	c 1144s |      21 |  1505947 |  1050545 |    25724    102 |        5 |      360
1147.11/1147.39	c 1146s |      21 |  1508336 |  1052045 |    25724    102 |        5 |      360
1149.21/1149.41	c 1149s |      21 |  1510597 |  1053745 |    25724    103 |        5 |      360
1151.21/1151.47	c 1151s |      21 |  1513480 |  1056045 |    25724    103 |        5 |      360
1153.30/1153.56	c 1153s |      21 |  1515974 |  1057945 |    25724    103 |        5 |      360
1155.40/1155.61	c 1155s |      21 |  1518738 |  1059745 |    25724    103 |        5 |      360
1157.40/1157.63	c 1157s |      21 |  1521221 |  1061545 |    25724    103 |        5 |      360
1159.50/1159.70	c 1159s |      21 |  1524155 |  1063445 |    25724    103 |        5 |      360
1161.50/1161.73	c 1161s |      21 |  1526561 |  1065345 |    25724    103 |        5 |      360
1163.60/1163.87	c 1163s |      21 |  1528748 |  1067045 |    25724    104 |        5 |      360
1165.69/1165.93	c 1165s |      21 |  1531144 |  1069145 |    25724    104 |        5 |      360
1167.79/1168.02	c 1167s |      21 |  1533673 |  1071045 |    25724    104 |        5 |      360
1169.79/1170.09	c 1169s |      21 |  1536163 |  1072945 |    25724    104 |        5 |      360
1171.89/1172.18	c 1171s |      21 |  1538481 |  1074745 |    25724    104 |        5 |      360
1173.99/1174.24	c 1173s |      21 |  1540817 |  1076545 |    25724    104 |        5 |      360
1176.09/1176.30	c 1175s |      21 |  1543213 |  1078445 |    25724    104 |        5 |      360
1178.09/1178.35	c 1177s |      21 |  1545671 |  1080345 |    25724    105 |        5 |      360
1180.09/1180.40	c 1179s |      21 |  1548496 |  1082645 |    25724    105 |        5 |      360
1182.19/1182.41	c 1182s |      21 |  1551031 |  1084845 |    25724    105 |        5 |      360
1184.18/1184.48	c 1184s |      21 |  1553659 |  1087045 |    25724    105 |        5 |      360
1186.28/1186.57	c 1186s |      21 |  1556234 |  1089345 |    25724    105 |        5 |      360
1189.79/1190.08	c 1189s |      21 |  1556540 |  1089545 |    25724    105 |        5 |      360
1192.29/1192.56	c 1192s |      21 |  1557234 |  1090045 |    25724    105 |        5 |      360
1194.28/1194.60	c 1194s |      21 |  1559989 |  1091545 |    25724    105 |        5 |      360
1196.38/1196.65	c 1196s |      21 |  1562077 |  1092845 |    25724    106 |        5 |      360
1198.48/1198.76	c 1198s |      21 |  1564629 |  1094745 |    25724    106 |        5 |      360
1200.58/1200.86	c 1200s |      21 |  1567393 |  1096645 |    25724    106 |        5 |      360
1202.58/1202.88	c 1202s |      21 |  1569717 |  1098445 |    25724    106 |        5 |      360
1204.68/1204.98	c 1204s |      21 |  1572265 |  1100345 |    25724    106 |        5 |      360
1206.78/1207.01	c 1206s |      21 |  1574518 |  1101945 |    25724    106 |        5 |      360
1208.78/1209.04	c 1208s |      21 |  1576418 |  1103345 |    25724    106 |        5 |      360
1210.78/1211.04	c 1210s |      21 |  1578544 |  1104745 |    25724    106 |        5 |      360
1212.87/1213.15	c 1212s |      21 |  1580539 |  1106145 |    25724    107 |        5 |      360
1214.97/1215.21	c 1214s |      21 |  1582846 |  1107845 |    25724    107 |        5 |      360
1217.07/1217.34	c 1216s |      21 |  1585620 |  1109645 |    25724    107 |        5 |      360
1219.07/1219.36	c 1218s |      21 |  1588021 |  1111345 |    25724    107 |        5 |      360
1221.17/1221.44	c 1221s |      21 |  1590541 |  1113245 |    25724    107 |        5 |      360
1223.27/1223.50	c 1223s |      21 |  1592878 |  1114945 |    25724    107 |        5 |      360
1225.36/1225.61	c 1225s |      21 |  1595469 |  1116445 |    25724    107 |        5 |      360
1227.37/1227.66	c 1227s |      21 |  1597847 |  1117945 |    25724    107 |        5 |      360
1229.46/1229.72	c 1229s |      21 |  1599614 |  1119145 |    25724    108 |        5 |      360
1231.46/1231.79	c 1231s |      21 |  1602350 |  1120945 |    25724    108 |        5 |      360
1233.56/1233.80	c 1233s |      21 |  1605423 |  1122845 |    25724    108 |        5 |      360
1235.56/1235.83	c 1235s |      21 |  1607949 |  1124645 |    25724    108 |        5 |      360
1237.66/1237.90	c 1237s |      21 |  1610393 |  1126445 |    25724    108 |        5 |      360
1239.66/1239.96	c 1239s |      21 |  1613260 |  1128545 |    25724    108 |        5 |      360
1241.77/1242.08	c 1241s |      21 |  1616031 |  1130145 |    25724    108 |        5 |      360
1243.86/1244.12	c 1243s |      21 |  1618710 |  1131745 |    25724    108 |        5 |      360
1245.86/1246.18	c 1245s |      21 |  1621429 |  1133645 |    25724    109 |        5 |      360
1247.96/1248.22	c 1247s |      21 |  1624652 |  1135845 |    25724    109 |        5 |      360
1249.96/1250.23	c 1249s |      21 |  1627340 |  1138045 |    25724    109 |        5 |      360
1251.96/1252.28	c 1251s |      21 |  1629795 |  1139745 |    25724    109 |        5 |      360
1254.05/1254.38	c 1253s |      21 |  1632456 |  1141645 |    25724    109 |        5 |      360
1256.15/1256.47	c 1256s |      21 |  1635100 |  1143645 |    25724    109 |        5 |      360
1258.26/1258.58	c 1258s |      21 |  1637319 |  1145445 |    25724    110 |        5 |      360
1260.36/1260.63	c 1260s |      21 |  1640013 |  1147545 |    25724    110 |        5 |      360
1262.35/1262.69	c 1262s |      21 |  1642678 |  1149545 |    25724    110 |        5 |      360
1264.45/1264.72	c 1264s |      21 |  1645058 |  1151345 |    25724    110 |        5 |      360
1266.45/1266.73	c 1266s |      21 |  1647480 |  1153245 |    25724    110 |        5 |      360
1268.55/1268.83	c 1268s |      21 |  1649818 |  1155145 |    25724    110 |        5 |      360
1270.55/1270.84	c 1270s |      21 |  1651774 |  1156745 |    25724    110 |        5 |      360
1272.55/1272.88	c 1272s |      21 |  1653887 |  1158445 |    25724    110 |        5 |      360
1274.65/1274.96	c 1274s |      21 |  1656032 |  1160345 |    25724    111 |        5 |      360
1276.74/1277.03	c 1276s |      21 |  1658399 |  1162045 |    25724    111 |        5 |      360
1278.74/1279.04	c 1278s |      21 |  1660522 |  1163545 |    25724    111 |        5 |      360
1280.84/1281.17	c 1280s |      21 |  1662795 |  1165445 |    25724    111 |        5 |      360
1285.65/1285.95	c 1285s |      21 |  1664435 |  1166545 |    25724    111 |        5 |      360
1287.74/1288.06	c 1287s |      21 |  1666781 |  1168045 |    25724    111 |        5 |      360
1289.74/1290.06	c 1289s |      21 |  1669096 |  1169345 |    25724    111 |        5 |      360
1291.74/1292.09	c 1291s |      21 |  1671575 |  1170745 |    25724    111 |        5 |      360
1293.84/1294.12	c 1293s |      21 |  1673879 |  1171945 |    25724    112 |        5 |      360
1295.94/1296.27	c 1295s |      21 |  1677344 |  1174145 |    25724    112 |        5 |      360
1298.04/1298.30	c 1297s |      21 |  1680197 |  1176045 |    25724    112 |        5 |      360
1300.14/1300.41	c 1300s |      21 |  1683185 |  1178145 |    25724    112 |        5 |      360
1302.15/1302.47	c 1302s |      21 |  1686064 |  1180145 |    25724    112 |        5 |      360
1304.13/1304.49	c 1304s |      21 |  1688368 |  1181945 |    25724    112 |        5 |      360
1306.23/1306.53	c 1306s |      21 |  1690581 |  1183545 |    25724    112 |        5 |      360
1308.23/1308.56	c 1308s |      21 |  1692965 |  1185145 |    25724    113 |        5 |      360
1310.23/1310.58	c 1310s |      21 |  1695814 |  1186945 |    25724    113 |        5 |      360
1312.33/1312.61	c 1312s |      21 |  1698996 |  1189145 |    25724    113 |        5 |      360
1314.33/1314.64	c 1314s |      21 |  1701918 |  1191245 |    25724    113 |        5 |      360
1316.33/1316.64	c 1316s |      21 |  1704556 |  1193245 |    25724    113 |        5 |      360
1318.43/1318.75	c 1318s |      21 |  1707174 |  1194845 |    25724    113 |        5 |      360
1320.53/1320.84	c 1320s |      21 |  1710007 |  1196645 |    25724    113 |        5 |      360
1322.52/1322.88	c 1322s |      21 |  1712388 |  1198245 |    25724    114 |        5 |      360
1324.62/1324.96	c 1324s |      21 |  1715563 |  1200645 |    25724    114 |        5 |      360
1326.72/1327.03	c 1326s |      21 |  1718543 |  1202645 |    25724    114 |        5 |      360
1328.72/1329.07	c 1328s |      21 |  1721709 |  1204645 |    25724    114 |        5 |      360
1330.83/1331.14	c 1330s |      21 |  1724466 |  1206645 |    25724    114 |        5 |      360
1332.92/1333.21	c 1332s |      21 |  1726978 |  1208645 |    25724    114 |        5 |      360
1335.02/1335.33	c 1334s |      21 |  1729765 |  1210445 |    25724    114 |        5 |      360
1337.12/1337.40	c 1336s |      21 |  1732214 |  1212045 |    25724    115 |        5 |      360
1339.12/1339.42	c 1339s |      21 |  1735051 |  1214245 |    25724    115 |        5 |      360
1341.12/1341.43	c 1341s |      21 |  1737957 |  1216545 |    25724    115 |        5 |      360
1343.21/1343.52	c 1343s |      21 |  1740820 |  1218445 |    25724    115 |        5 |      360
1345.21/1345.55	c 1345s |      21 |  1743504 |  1220445 |    25724    115 |        5 |      360
1347.32/1347.61	c 1347s |      21 |  1745964 |  1222445 |    25724    115 |        5 |      360
1349.31/1349.70	c 1349s |      21 |  1748711 |  1224245 |    25724    115 |        5 |      360
1351.41/1351.76	c 1351s |      21 |  1751394 |  1226345 |    25724    116 |        5 |      360
1353.41/1353.77	c 1353s |      21 |  1754356 |  1228545 |    25724    116 |        5 |      360
1355.41/1355.79	c 1355s |      21 |  1757377 |  1230845 |    25724    116 |        5 |      360
1357.51/1357.80	c 1357s |      21 |  1760287 |  1232945 |    25724    116 |        5 |      360
1359.51/1359.85	c 1359s |      21 |  1763136 |  1235245 |    25724    116 |        5 |      360
1361.51/1361.89	c 1361s |      21 |  1765727 |  1237345 |    25724    116 |        5 |      360
1363.60/1363.90	c 1363s |      21 |  1768263 |  1239445 |    25724    117 |        5 |      360
1365.60/1365.93	c 1365s |      21 |  1771274 |  1242045 |    25724    117 |        5 |      360
1370.60/1370.95	c 1370s |      21 |  1772367 |  1242945 |    25724    117 |        5 |      360
1372.71/1373.04	c 1372s |      21 |  1773804 |  1243745 |    25724    117 |        5 |      360
1374.72/1375.07	c 1374s |      21 |  1776297 |  1245745 |    25724    117 |        5 |      360
1376.81/1377.12	c 1376s |      21 |  1778738 |  1247745 |    25724    117 |        5 |      360
1378.81/1379.14	c 1378s |      21 |  1781192 |  1249545 |    25724    117 |        5 |      360
1380.91/1381.20	c 1380s |      21 |  1783739 |  1251245 |    25724    117 |        5 |      360
1383.10/1383.40	c 1382s |      21 |  1785574 |  1252545 |    25724    118 |        5 |      360
1385.10/1385.45	c 1385s |      21 |  1788426 |  1254445 |    25724    118 |        5 |      360
1387.10/1387.48	c 1387s |      21 |  1791139 |  1256345 |    25724    118 |        5 |      360
1389.20/1389.59	c 1389s |      21 |  1793869 |  1258345 |    25724    118 |        5 |      360
1391.21/1391.59	c 1391s |      21 |  1796484 |  1260345 |    25724    118 |        5 |      360
1393.29/1393.68	c 1393s |      21 |  1798962 |  1262245 |    25724    118 |        5 |      360
1395.39/1395.71	c 1395s |      21 |  1801519 |  1263845 |    25724    118 |        5 |      360
1397.49/1397.82	c 1397s |      21 |  1803700 |  1265245 |    25724    119 |        5 |      360
1399.49/1399.83	c 1399s |      21 |  1806680 |  1267445 |    25724    119 |        5 |      360
1401.49/1401.86	c 1401s |      21 |  1809428 |  1269545 |    25724    119 |        5 |      360
1403.49/1403.86	c 1403s |      21 |  1812373 |  1271445 |    25724    119 |        5 |      360
1405.60/1405.96	c 1405s |      21 |  1815043 |  1273245 |    25724    119 |        5 |      360
1407.59/1408.00	c 1407s |      21 |  1817678 |  1275145 |    25724    119 |        5 |      360
1409.69/1410.01	c 1409s |      21 |  1820131 |  1277045 |    25724    119 |        5 |      360
1411.69/1412.05	c 1411s |      21 |  1822563 |  1278745 |    25724    120 |        5 |      360
1413.78/1414.12	c 1413s |      21 |  1825827 |  1281045 |    25724    120 |        5 |      360
1415.78/1416.13	c 1415s |      21 |  1828822 |  1283345 |    25724    120 |        5 |      360
1417.88/1418.21	c 1417s |      21 |  1831493 |  1285445 |    25724    120 |        5 |      360
1419.89/1420.29	c 1419s |      21 |  1834144 |  1287445 |    25724    120 |        5 |      360
1421.99/1422.37	c 1421s |      21 |  1836680 |  1289445 |    25724    120 |        5 |      360
1423.98/1424.38	c 1423s |      21 |  1838885 |  1291145 |    25724    120 |        5 |      360
1426.08/1426.44	c 1426s |      21 |  1841495 |  1293245 |    25724    121 |        5 |      360
1428.08/1428.47	c 1428s |      21 |  1844229 |  1295545 |    25724    121 |        5 |      360
1430.18/1430.52	c 1430s |      21 |  1846729 |  1297645 |    25724    121 |        5 |      360
1432.48/1432.88	c 1432s |      21 |  1847213 |  1298045 |    25724    121 |        5 |      360
1434.57/1434.99	c 1434s |      21 |  1849482 |  1299745 |    25724    121 |        5 |      360
1436.67/1437.04	c 1436s |      21 |  1852031 |  1301545 |    25724    121 |        5 |      360
1438.67/1439.08	c 1438s |      21 |  1854834 |  1303445 |    25724    121 |        5 |      360
1440.78/1441.11	c 1440s |      21 |  1857214 |  1305345 |    25724    122 |        5 |      360
1442.89/1443.20	c 1442s |      21 |  1859145 |  1306845 |    25724    122 |        5 |      360
1444.88/1445.22	c 1444s |      21 |  1862092 |  1308945 |    25724    122 |        5 |      360
1446.88/1447.27	c 1446s |      21 |  1865102 |  1311245 |    25724    122 |        5 |      360
1448.98/1449.33	c 1448s |      21 |  1867747 |  1313345 |    25724    122 |        5 |      360
1450.98/1451.36	c 1450s |      21 |  1870000 |  1315245 |    25724    122 |        5 |      360
1453.08/1453.46	c 1453s |      21 |  1872523 |  1317145 |    25724    122 |        5 |      360
1455.08/1455.48	c 1455s |      21 |  1874924 |  1319045 |    25724    123 |        5 |      360
1457.18/1457.52	c 1457s |      21 |  1877635 |  1321145 |    25724    123 |        5 |      360
1459.18/1459.58	c 1459s |      21 |  1880157 |  1323245 |    25724    123 |        5 |      360
1461.28/1461.63	c 1461s |      21 |  1882706 |  1325345 |    25724    123 |        5 |      360
1463.27/1463.66	c 1463s |      21 |  1885028 |  1327345 |    25724    123 |        5 |      360
1465.37/1465.70	c 1465s |      21 |  1887037 |  1328845 |    25724    123 |        5 |      360
1467.37/1467.76	c 1467s |      21 |  1889075 |  1330445 |    25724    123 |        5 |      360
1469.38/1469.77	c 1469s |      21 |  1891430 |  1332345 |    25724    124 |        5 |      360
1472.17/1472.54	c 1472s |      21 |  1891681 |  1332545 |    25724    124 |        5 |      360
1474.16/1474.57	c 1474s |      21 |  1894666 |  1334345 |    25724    124 |        5 |      360
1476.16/1476.58	c 1476s |      21 |  1897223 |  1336345 |    25724    124 |        5 |      360
1478.26/1478.65	c 1478s |      21 |  1899752 |  1338345 |    25724    124 |        5 |      360
1480.27/1480.68	c 1480s |      21 |  1901893 |  1339945 |    25724    124 |        5 |      360
1482.36/1482.71	c 1482s |      21 |  1904173 |  1341645 |    25724    124 |        5 |      360
1484.36/1484.79	c 1484s |      21 |  1906295 |  1343445 |    25724    124 |        5 |      360
1486.46/1486.83	c 1486s |      21 |  1908159 |  1344845 |    25724    124 |        5 |      360
1488.46/1488.87	c 1488s |      21 |  1910217 |  1346245 |    25724    125 |        5 |      360
1490.46/1490.89	c 1490s |      21 |  1913101 |  1348245 |    25724    125 |        5 |      360
1492.56/1492.94	c 1492s |      21 |  1916301 |  1350445 |    25724    125 |        5 |      360
1494.66/1495.01	c 1494s |      21 |  1919071 |  1352545 |    25724    125 |        5 |      360
1496.65/1497.07	c 1496s |      21 |  1921999 |  1354545 |    25724    125 |        5 |      360
1498.65/1499.09	c 1498s |      21 |  1924556 |  1356645 |    25724    125 |        5 |      360
1500.75/1501.15	c 1500s |      21 |  1926756 |  1358445 |    25724    126 |        5 |      360
1502.85/1503.20	c 1502s |      21 |  1929740 |  1360945 |    25724    126 |        5 |      360
1504.85/1505.27	c 1504s |      21 |  1932272 |  1363045 |    25724    126 |        5 |      360
1506.85/1507.29	c 1506s |      21 |  1934672 |  1364945 |    25724    126 |        5 |      360
1508.96/1509.36	c 1508s |      21 |  1937213 |  1366845 |    25724    126 |        5 |      360
1510.95/1511.37	c 1510s |      21 |  1939514 |  1368645 |    25724    126 |        5 |      360
1513.36/1513.73	c 1513s |      21 |  1941226 |  1369845 |    25724    126 |        5 |      360
1515.75/1516.12	c 1515s |      21 |  1943653 |  1371445 |    25724    127 |        5 |      360
1517.76/1518.17	c 1517s |      21 |  1946483 |  1373745 |    25724    127 |        5 |      360
1519.75/1520.20	c 1519s |      21 |  1949385 |  1375845 |    25724    127 |        5 |      360
1521.85/1522.26	c 1521s |      21 |  1952000 |  1377745 |    25724    127 |        5 |      360
1523.94/1524.31	c 1523s |      21 |  1954820 |  1379745 |    25724    127 |        5 |      360
1525.94/1526.32	c 1525s |      21 |  1957231 |  1381545 |    25724    127 |        5 |      360
1527.94/1528.36	c 1527s |      21 |  1959741 |  1383445 |    25724    127 |        5 |      360
1529.94/1530.37	c 1529s |      21 |  1961565 |  1384945 |    25724    128 |        5 |      360
1532.05/1532.43	c 1532s |      21 |  1964268 |  1387145 |    25724    128 |        5 |      360
1534.04/1534.47	c 1534s |      21 |  1966999 |  1389345 |    25724    128 |        5 |      360
1536.14/1536.54	c 1536s |      21 |  1969564 |  1391545 |    25724    128 |        5 |      360
1538.14/1538.56	c 1538s |      21 |  1972141 |  1393745 |    25724    128 |        5 |      360
1540.13/1540.58	c 1540s |      21 |  1974015 |  1395045 |    25724    128 |        5 |      360
1542.23/1542.60	c 1542s |      21 |  1976567 |  1396745 |    25724    128 |        5 |      360
1544.23/1544.67	c 1544s |      21 |  1978914 |  1398545 |    25724    129 |        5 |      360
1546.33/1546.70	c 1546s |      21 |  1981598 |  1400545 |    25724    129 |        5 |      360
1548.33/1548.74	c 1548s |      21 |  1984666 |  1402745 |    25724    129 |        5 |      360
1550.43/1550.82	c 1550s |      21 |  1987575 |  1404945 |    25724    129 |        5 |      360
1552.53/1552.90	c 1552s |      21 |  1990297 |  1407145 |    25724    129 |        5 |      360
1554.62/1555.00	c 1554s |      21 |  1992889 |  1409245 |    25724    129 |        5 |      360
1556.72/1557.12	c 1556s |      21 |  1995401 |  1411345 |    25724    129 |        5 |      360
1558.72/1559.18	c 1558s |      21 |  1998240 |  1413745 |    25724    130 |        5 |      360
1560.72/1561.18	c 1560s |      21 |  1999711 |  1414945 |    25724    130 |        5 |      360
1562.82/1563.23	c 1562s |      21 |  2002432 |  1417245 |    25724    130 |        5 |      360
1564.82/1565.27	c 1564s |      21 |  2005024 |  1419445 |    25724    130 |        5 |      360
1566.91/1567.31	c 1566s |      21 |  2007168 |  1421245 |    25724    130 |        5 |      360
1568.91/1569.32	c 1568s |      21 |  2009283 |  1423045 |    25724    130 |        5 |      360
1570.91/1571.33	c 1570s |      21 |  2011362 |  1424645 |    25724    130 |        5 |      360
1572.91/1573.34	c 1572s |      21 |  2012846 |  1425845 |    25724    131 |        5 |      360
1575.01/1575.41	c 1575s |      21 |  2015636 |  1427945 |    25724    131 |        5 |      360
1577.02/1577.42	c 1577s |      21 |  2018215 |  1430045 |    25724    131 |        5 |      360
1579.11/1579.50	c 1579s |      21 |  2021017 |  1432045 |    25724    131 |        5 |      360
1581.11/1581.59	c 1581s |      21 |  2023667 |  1434145 |    25724    131 |        5 |      360
1583.20/1583.60	c 1583s |      21 |  2025943 |  1435945 |    25724    131 |        5 |      360
1585.20/1585.67	c 1585s |      21 |  2028136 |  1437845 |    25724    131 |        5 |      360
1587.30/1587.74	c 1587s |      21 |  2030351 |  1439745 |    25724    132 |        5 |      360
1589.40/1589.83	c 1589s |      21 |  2033017 |  1441845 |    25724    132 |        5 |      360
1591.41/1591.89	c 1591s |      21 |  2035461 |  1443845 |    25724    132 |        5 |      360
1593.50/1593.91	c 1593s |      21 |  2038170 |  1446045 |    25724    132 |        5 |      360
1595.50/1595.99	c 1595s |      21 |  2040746 |  1448245 |    25724    132 |        5 |      360
1597.60/1598.08	c 1597s |      21 |  2042977 |  1450045 |    25724    132 |        5 |      360
1599.90/1600.33	c 1599s |      21 |  2045327 |  1452045 |    25724    133 |        5 |      360
1601.90/1602.34	c 1601s |      21 |  2047789 |  1454145 |    25724    133 |        5 |      360
1603.89/1604.36	c 1603s |      21 |  2050537 |  1456545 |    25724    133 |        5 |      360
1605.99/1606.43	c 1606s |      21 |  2053290 |  1458845 |    25724    133 |        5 |      360
1607.99/1608.49	c 1608s |      21 |  2055954 |  1461145 |    25724    133 |        5 |      360
1610.10/1610.51	c 1610s |      21 |  2058421 |  1463345 |    25724    133 |        5 |      360
1618.69/1619.20	c 1618s |      21 |  2059317 |  1463945 |    25724    133 |        5 |      360
1620.80/1621.22	c 1620s |      21 |  2059960 |  1464245 |    25724    133 |        5 |      360
1622.89/1623.35	c 1622s |      21 |  2061728 |  1465445 |    25724    134 |        5 |      360
1624.99/1625.49	c 1625s |      21 |  2064632 |  1467045 |    25724    134 |        5 |      360
1627.09/1627.53	c 1627s |      21 |  2067255 |  1469045 |    25724    134 |        5 |      360
1629.19/1629.63	c 1629s |      21 |  2069688 |  1471045 |    25724    134 |        5 |      360
1631.19/1631.67	c 1631s |      21 |  2072266 |  1472845 |    25724    134 |        5 |      360
1633.28/1633.78	c 1633s |      21 |  2074551 |  1474445 |    25724    134 |        5 |      360
1635.39/1635.87	c 1635s |      21 |  2076926 |  1476045 |    25724    134 |        5 |      360
1637.59/1638.04	c 1637s |      21 |  2079422 |  1477645 |    25724    134 |        5 |      360
1639.69/1640.15	c 1639s |      21 |  2081653 |  1479145 |    25724    135 |        5 |      360
1641.78/1642.21	c 1641s |      21 |  2084266 |  1480945 |    25724    135 |        5 |      360
1643.78/1644.27	c 1643s |      21 |  2086799 |  1482745 |    25724    135 |        5 |      360
1645.88/1646.35	c 1645s |      21 |  2089394 |  1484645 |    25724    135 |        5 |      360
1647.88/1648.40	c 1647s |      21 |  2091945 |  1486645 |    25724    135 |        5 |      360
1650.08/1650.51	c 1650s |      21 |  2094060 |  1488145 |    25724    135 |        5 |      360
1652.07/1652.60	c 1652s |      21 |  2097055 |  1489645 |    25724    135 |        5 |      360
1654.17/1654.63	c 1654s |      21 |  2099486 |  1491045 |    28297    135 |        5 |      360
1656.28/1656.77	c 1656s |      21 |  2101540 |  1492445 |    28297    135 |        5 |      360
1658.77/1659.29	c 1658s |      21 |  2103507 |  1493845 |    28297    136 |        5 |      360
1660.87/1661.30	c 1660s |      21 |  2105931 |  1495545 |    28297    136 |        5 |      360
1662.88/1663.35	c 1662s |      21 |  2109038 |  1497545 |    28297    136 |        5 |      360
1664.98/1665.41	c 1665s |      21 |  2111644 |  1499545 |    28297    136 |        5 |      360
1665.87/1666.38	c 1665s |      22 |  2113011 |  1500622 |    28297    136 |        5 |      360
1668.27/1668.71	c 1668s |      22 |  2114485 |  1501622 |    28297    136 |        5 |      360
1670.27/1670.78	c 1670s |      22 |  2117303 |  1503122 |    28297    136 |        5 |      360
1672.37/1672.89	c 1672s |      22 |  2120201 |  1504822 |    28297    136 |        5 |      360
1674.46/1674.95	c 1674s |      22 |  2123124 |  1506422 |    28297    136 |        5 |      360
1676.56/1677.06	c 1676s |      22 |  2126031 |  1508122 |    28297    136 |        5 |      360
1678.66/1679.12	c 1678s |      22 |  2128439 |  1509822 |    28297    137 |        5 |      360
1680.66/1681.17	c 1680s |      22 |  2131510 |  1511922 |    28297    137 |        5 |      360
1682.76/1683.24	c 1682s |      22 |  2134227 |  1514022 |    28297    137 |        5 |      360
1684.86/1685.32	c 1684s |      22 |  2136861 |  1516122 |    28297    137 |        5 |      360
1686.86/1687.33	c 1686s |      22 |  2138933 |  1517522 |    28297    137 |        5 |      360
1688.86/1689.36	c 1688s |      22 |  2141326 |  1519022 |    28297    137 |        5 |      360
1690.96/1691.44	c 1691s |      22 |  2143656 |  1520622 |    28297    137 |        5 |      360
1693.05/1693.55	c 1693s |      22 |  2146226 |  1522322 |    28297    137 |        5 |      360
1695.15/1695.63	c 1695s |      22 |  2148449 |  1524022 |    28297    138 |        5 |      360
1697.16/1697.65	c 1697s |      22 |  2151292 |  1526222 |    28297    138 |        5 |      360
1699.17/1699.67	c 1699s |      22 |  2153979 |  1528422 |    28297    138 |        5 |      360
1701.27/1701.72	c 1701s |      22 |  2156201 |  1530022 |    28297    138 |        5 |      360
1703.26/1703.79	c 1703s |      22 |  2158408 |  1531722 |    28297    138 |        5 |      360
1705.46/1705.91	c 1705s |      22 |  2160567 |  1533522 |    28297    138 |        5 |      360
1707.46/1707.92	c 1707s |      22 |  2162465 |  1535022 |    28297    138 |        5 |      360
1709.56/1710.00	c 1709s |      22 |  2164537 |  1536622 |    28297    138 |        5 |      360
1711.56/1712.08	c 1711s |      22 |  2166655 |  1538222 |    28297    139 |        5 |      360
1713.66/1714.15	c 1713s |      22 |  2168921 |  1540222 |    28297    139 |        5 |      360
1715.76/1716.21	c 1715s |      22 |  2171136 |  1542022 |    28297    139 |        5 |      360
1717.76/1718.21	c 1717s |      22 |  2173225 |  1543722 |    28297    139 |        5 |      360
1719.86/1720.32	c 1719s |      22 |  2175481 |  1545622 |    28297    139 |        5 |      360
1721.96/1722.42	c 1722s |      22 |  2177522 |  1547422 |    28297    139 |        5 |      360
1723.96/1724.43	c 1724s |      22 |  2179555 |  1549222 |    28297    139 |        5 |      360
1726.06/1726.55	c 1726s |      22 |  2181554 |  1550822 |    28297    139 |        5 |      360
1728.16/1728.61	c 1728s |      22 |  2183162 |  1552222 |    28297    140 |        5 |      360
1730.85/1731.35	c 1730s |      22 |  2185251 |  1553922 |    28297    140 |        5 |      360
1732.95/1733.42	c 1733s |      22 |  2186686 |  1555022 |    28297    140 |        5 |      360
1735.05/1735.52	c 1735s |      22 |  2188730 |  1556622 |    28297    140 |        5 |      360
1737.05/1737.55	c 1737s |      22 |  2190682 |  1558122 |    28297    140 |        5 |      360
1739.05/1739.59	c 1739s |      22 |  2192519 |  1559622 |    28297    140 |        5 |      360
1741.25/1741.70	c 1741s |      22 |  2194514 |  1561322 |    28297    140 |        5 |      360
1743.25/1743.76	c 1743s |      22 |  2196375 |  1562522 |    28297    140 |        5 |      360
1745.36/1745.88	c 1745s |      22 |  2198305 |  1564022 |    28297    140 |        5 |      360
1747.46/1748.00	c 1747s |      22 |  2200092 |  1565422 |    28297    140 |        5 |      360
1749.55/1750.04	c 1749s |      22 |  2201856 |  1566822 |    28297    140 |        5 |      360
1751.85/1752.36	c 1751s |      22 |  2203515 |  1568222 |    28297    141 |        5 |      360
1753.85/1754.37	c 1753s |      22 |  2205471 |  1569622 |    28297    141 |        5 |      360
1759.55/1760.01	c 1759s |      22 |  2207434 |  1570822 |    28297    141 |        5 |      360
1761.64/1762.10	c 1761s |      22 |  2209830 |  1572322 |    28297    141 |        5 |      360
1763.64/1764.19	c 1763s |      22 |  2213045 |  1574022 |    28297    141 |        5 |      360
1765.74/1766.25	c 1765s |      22 |  2215623 |  1575722 |    28297    141 |        5 |      360
1767.74/1768.29	c 1767s |      22 |  2218111 |  1577222 |    28297    141 |        5 |      360
1769.84/1770.39	c 1769s |      22 |  2220739 |  1579022 |    28297    141 |        5 |      360
1771.93/1772.42	c 1772s |      22 |  2223128 |  1581022 |    28297    141 |        5 |      360
1773.94/1774.45	c 1774s |      22 |  2225473 |  1582822 |    28297    142 |        5 |      360
1776.04/1776.55	c 1776s |      22 |  2227996 |  1584722 |    28297    142 |        5 |      360
1778.04/1778.59	c 1778s |      22 |  2229468 |  1585722 |    28297    142 |        5 |      360
1780.14/1780.67	c 1780s |      22 |  2231884 |  1587422 |    28297    142 |        5 |      360
1782.24/1782.73	c 1782s |      22 |  2235208 |  1589222 |    28297    142 |        5 |      360
1784.23/1784.78	c 1784s |      22 |  2237648 |  1591022 |    28297    142 |        5 |      360
1786.33/1786.83	c 1786s |      22 |  2240214 |  1592822 |    28297    142 |        5 |      360
1788.43/1788.91	c 1788s |      22 |  2243086 |  1594622 |    28297    142 |        5 |      360
1790.44/1790.99	c 1790s |      22 |  2245934 |  1596522 |    28297    143 |        5 |      360
1792.54/1793.02	c 1792s |      22 |  2249325 |  1599122 |    28297    143 |        5 |      360
1794.53/1795.05	c 1794s |      22 |  2251319 |  1600622 |    28297    143 |        5 |      360
1796.63/1797.10	c 1796s |      22 |  2254226 |  1602222 |    28297    143 |        5 |      360
1798.63/1799.19	c 1798s |      22 |  2257295 |  1604122 |    28297    143 |        5 |      360

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-4097961-1466119070/watcher-4097961-1466119070 -o /tmp/evaluation-result-4097961-1466119070/solver-4097961-1466119070 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466119066-21115 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4097961-1466119070.opb 

pid=21242
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: 1.40 1.46 1.79 4/179 21245
/proc/meminfo: memFree=29203264/32872528 swapFree=1497568/1644736
[pid=21245] ppid=21242 vsize=805308 CPUtime=0 cores=1,3,5,7
/proc/21245/stat : 21245 (toysat) R 21242 21245 15832 0 -1 4202496 3021 0 0 0 0 0 0 0 20 0 4 0 13953911 824635392 2872 33554432000 4194304 16246674 140733577380688 140733577380112 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21245/statm: 202095 2881 441 2943 0 198989 0
[pid=21245/tid=21246] ppid=21242 vsize=823740 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21246/stat : 21246 (toysat) S 21242 21245 15832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13953912 843509760 2943 33554432000 4194304 16246674 140733577380688 139868333124848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21245/tid=21247] ppid=21242 vsize=827836 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21247/stat : 21247 (toysat) S 21242 21245 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13953912 847704064 2959 33554432000 4194304 16246674 140733577380688 139868322634992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21245/tid=21248] ppid=21242 vsize=831932 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21248/stat : 21248 (toysat) S 21242 21245 15832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13953912 851898368 2976 33554432000 4194304 16246674 140733577380688 139868312161456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100182 s]
/proc/loadavg: 1.40 1.46 1.79 4/179 21245
/proc/meminfo: memFree=29203264/32872528 swapFree=1497568/1644736
[pid=21245] ppid=21242 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/21245/stat : 21245 (toysat) R 21242 21245 15832 0 -1 4202496 28770 0 0 0 5 4 0 0 20 0 4 0 13953911 1249447936 28558 33554432000 4194304 16246674 140733577380688 140733577380000 4221031 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21245/statm: 305041 28558 801 2943 0 301935 0
[pid=21245/tid=21246] ppid=21242 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21246/stat : 21246 (toysat) S 21242 21245 15832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13953912 1249447936 28558 33554432000 4194304 16246674 140733577380688 139868333124848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21245/tid=21247] ppid=21242 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21247/stat : 21247 (toysat) S 21242 21245 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13953912 1249447936 28558 33554432000 4194304 16246674 140733577380688 139868322634992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21245/tid=21248] ppid=21242 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21248/stat : 21248 (toysat) S 21242 21245 15832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13953912 1249447936 28558 33554432000 4194304 16246674 140733577380688 139868312161456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200543 s]
/proc/loadavg: 1.40 1.46 1.79 4/179 21245
/proc/meminfo: memFree=29203264/32872528 swapFree=1497568/1644736
[pid=21245] ppid=21242 vsize=1302084 CPUtime=0.19 cores=1,3,5,7
/proc/21245/stat : 21245 (toysat) R 21242 21245 15832 0 -1 4202496 49248 0 0 0 12 7 0 0 20 0 4 0 13953911 1333334016 49036 33554432000 4194304 16246674 140733577380688 140733577380000 5589389 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21245/statm: 325521 49049 835 2943 0 322415 0
[pid=21245/tid=21246] ppid=21242 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21246/stat : 21246 (toysat) S 21242 21245 15832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13953912 1333334016 49059 33554432000 4194304 16246674 140733577380688 139868333124848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21245/tid=21247] ppid=21242 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21247/stat : 21247 (toysat) S 21242 21245 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13953912 1333334016 49065 33554432000 4194304 16246674 140733577380688 139868322634992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21245/tid=21248] ppid=21242 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21248/stat : 21248 (toysat) S 21242 21245 15832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13953912 1333334016 49073 33554432000 4194304 16246674 140733577380688 139868312161456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1302084

[startup+0.300506 s]
/proc/loadavg: 1.40 1.46 1.79 4/179 21245
/proc/meminfo: memFree=29203264/32872528 swapFree=1497568/1644736
[pid=21245] ppid=21242 vsize=1302084 CPUtime=0.29 cores=1,3,5,7
/proc/21245/stat : 21245 (toysat) R 21242 21245 15832 0 -1 4202496 75364 0 0 0 18 11 0 0 20 0 4 0 13953911 1333334016 75152 33554432000 4194304 16246674 140733577380688 140733577380000 6761361 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21245/statm: 325521 75166 835 2943 0 322415 0
[pid=21245/tid=21246] ppid=21242 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21246/stat : 21246 (toysat) S 21242 21245 15832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13953912 1333334016 75173 33554432000 4194304 16246674 140733577380688 139868333124848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21245/tid=21247] ppid=21242 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21247/stat : 21247 (toysat) S 21242 21245 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13953912 1333334016 75181 33554432000 4194304 16246674 140733577380688 139868322634992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21245/tid=21248] ppid=21242 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21248/stat : 21248 (toysat) S 21242 21245 15832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13953912 1333334016 75189 33554432000 4194304 16246674 140733577380688 139868312161456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1302084

[startup+0.700421 s]
/proc/loadavg: 1.40 1.46 1.79 4/179 21245
/proc/meminfo: memFree=29203264/32872528 swapFree=1497568/1644736
[pid=21245] ppid=21242 vsize=1302084 CPUtime=0.69 cores=1,3,5,7
/proc/21245/stat : 21245 (toysat) R 21242 21245 15832 0 -1 4202496 149578 0 0 0 48 21 0 0 20 0 4 0 13953911 1333334016 149366 33554432000 4194304 16246674 140733577380688 140733577362560 5675010 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21245/statm: 325521 149378 877 2943 0 322415 0
[pid=21245/tid=21246] ppid=21242 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21246/stat : 21246 (toysat) S 21242 21245 15832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13953912 1333334016 149383 33554432000 4194304 16246674 140733577380688 139868333124848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21245/tid=21247] ppid=21242 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21247/stat : 21247 (toysat) S 21242 21245 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13953912 1333334016 149388 33554432000 4194304 16246674 140733577380688 139868322634992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21245/tid=21248] ppid=21242 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21248/stat : 21248 (toysat) S 21242 21245 15832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13953912 1333334016 149392 33554432000 4194304 16246674 140733577380688 139868312161456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1302084

[startup+1.50043 s]
/proc/loadavg: 1.40 1.46 1.79 3/183 21249
/proc/meminfo: memFree=28316732/32872528 swapFree=1497568/1644736
[pid=21245] ppid=21242 vsize=1311300 CPUtime=1.49 cores=1,3,5,7
/proc/21245/stat : 21245 (toysat) R 21242 21245 15832 0 -1 4202496 268893 0 0 0 111 38 0 0 20 0 4 0 13953911 1342771200 268681 33554432000 4194304 16246674 140733577380688 140733577380000 5676564 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21245/statm: 327825 268681 884 2943 0 324719 0
[pid=21245/tid=21246] ppid=21242 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21246/stat : 21246 (toysat) S 21242 21245 15832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13953912 1342771200 268681 33554432000 4194304 16246674 140733577380688 139868333124848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21245/tid=21247] ppid=21242 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21247/stat : 21247 (toysat) S 21242 21245 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13953912 1342771200 268681 33554432000 4194304 16246674 140733577380688 139868322634992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21245/tid=21248] ppid=21242 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21248/stat : 21248 (toysat) S 21242 21245 15832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13953912 1342771200 268681 33554432000 4194304 16246674 140733577380688 139868312161456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1311300

[startup+3.10043 s]
/proc/loadavg: 1.40 1.46 1.79 3/183 21249
/proc/meminfo: memFree=28129740/32872528 swapFree=1497568/1644736
[pid=21245] ppid=21242 vsize=1311300 CPUtime=3.09 cores=1,3,5,7
/proc/21245/stat : 21245 (toysat) R 21242 21245 15832 0 -1 4202496 268903 0 0 0 271 38 0 0 20 0 4 0 13953911 1342771200 268691 33554432000 4194304 16246674 140733577380688 140733577362560 6845944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21245/statm: 327825 268691 884 2943 0 324719 0
[pid=21245/tid=21246] ppid=21242 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21246/stat : 21246 (toysat) S 21242 21245 15832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13953912 1342771200 268691 33554432000 4194304 16246674 140733577380688 139868333124848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21245/tid=21247] ppid=21242 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21247/stat : 21247 (toysat) S 21242 21245 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13953912 1342771200 268691 33554432000 4194304 16246674 140733577380688 139868322634992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21245/tid=21248] ppid=21242 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21248/stat : 21248 (toysat) S 21242 21245 15832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13953912 1342771200 268691 33554432000 4194304 16246674 140733577380688 139868312161456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1311300

[startup+6.30043 s]
/proc/loadavg: 1.45 1.47 1.79 3/183 21249
/proc/meminfo: memFree=28128508/32872528 swapFree=1497568/1644736
[pid=21245] ppid=21242 vsize=1311300 CPUtime=6.29 cores=1,3,5,7
/proc/21245/stat : 21245 (toysat) R 21242 21245 15832 0 -1 4202496 269010 0 0 0 591 38 0 0 20 0 4 0 13953911 1342771200 268798 33554432000 4194304 16246674 140733577380688 140733577362560 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21245/statm: 327825 268798 885 2943 0 324719 0
[pid=21245/tid=21246] ppid=21242 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21246/stat : 21246 (toysat) S 21242 21245 15832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13953912 1342771200 268798 33554432000 4194304 16246674 140733577380688 139868333124848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21245/tid=21247] ppid=21242 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21247/stat : 21247 (toysat) S 21242 21245 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13953912 1342771200 268798 33554432000 4194304 16246674 140733577380688 139868322634992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21245/tid=21248] ppid=21242 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21248/stat : 21248 (toysat) S 21242 21245 15832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13953912 1342771200 268798 33554432000 4194304 16246674 140733577380688 139868312161456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1311300

[startup+12.7004 s]
/proc/loadavg: 1.49 1.48 1.79 3/183 21249
/proc/meminfo: memFree=28128984/32872528 swapFree=1497568/1644736
[pid=21245] ppid=21242 vsize=1313348 CPUtime=12.68 cores=1,3,5,7
/proc/21245/stat : 21245 (toysat) R 21242 21245 15832 0 -1 4202496 269475 0 0 0 1230 38 0 0 20 0 4 0 13953911 1344868352 269263 33554432000 4194304 16246674 140733577380688 140733577362560 5677716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21245/statm: 328337 269263 887 2943 0 325231 0
[pid=21245/tid=21246] ppid=21242 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21246/stat : 21246 (toysat) S 21242 21245 15832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13953912 1344868352 269263 33554432000 4194304 16246674 140733577380688 139868333124848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21245/tid=21247] ppid=21242 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21247/stat : 21247 (toysat) S 21242 21245 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13953912 1344868352 269263 33554432000 4194304 16246674 140733577380688 139868322634992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21245/tid=21248] ppid=21242 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21248/stat : 21248 (toysat) S 21242 21245 15832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13953912 1344868352 269263 33554432000 4194304 16246674 140733577380688 139868312161456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 1.60 1.50 1.80 4/183 21249
/proc/meminfo: memFree=28123484/32872528 swapFree=1497568/1644736
[pid=21245] ppid=21242 vsize=1317444 CPUtime=25.48 cores=1,3,5,7
/proc/21245/stat : 21245 (toysat) R 21242 21245 15832 0 -1 4202496 270549 0 0 0 2510 38 0 0 20 0 4 0 13953911 1349062656 270337 33554432000 4194304 16246674 140733577380688 140733577362560 6837238 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21245/statm: 329361 270337 887 2943 0 326255 0
[pid=21245/tid=21246] ppid=21242 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21246/stat : 21246 (toysat) S 21242 21245 15832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13953912 1349062656 270337 33554432000 4194304 16246674 140733577380688 139868333124848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21245/tid=21247] ppid=21242 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21247/stat : 21247 (toysat) S 21242 21245 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13953912 1349062656 270337 33554432000 4194304 16246674 140733577380688 139868322634992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21245/tid=21248] ppid=21242 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21248/stat : 21248 (toysat) S 21242 21245 15832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13953912 1349062656 270337 33554432000 4194304 16246674 140733577380688 139868312161456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1317444

[startup+51.1005 s]
/proc/loadavg: 1.87 1.58 1.81 3/183 21249
/proc/meminfo: memFree=28121512/32872528 swapFree=1497568/1644736
[pid=21245] ppid=21242 vsize=1319492 CPUtime=51.08 cores=1,3,5,7
/proc/21245/stat : 21245 (toysat) R 21242 21245 15832 0 -1 4202496 271061 0 0 0 5069 39 0 0 20 0 4 0 13953911 1351159808 270849 33554432000 4194304 16246674 140733577380688 140733577362560 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21245/statm: 329873 270849 887 2943 0 326767 0
[pid=21245/tid=21246] ppid=21242 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21246/stat : 21246 (toysat) S 21242 21245 15832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13953912 1351159808 270849 33554432000 4194304 16246674 140733577380688 139868333124848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21245/tid=21247] ppid=21242 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21247/stat : 21247 (toysat) S 21242 21245 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13953912 1351159808 270849 33554432000 4194304 16246674 140733577380688 139868322634992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21245/tid=21248] ppid=21242 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21248/stat : 21248 (toysat) S 21242 21245 15832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13953912 1351159808 270849 33554432000 4194304 16246674 140733577380688 139868312161456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1319492

[startup+102.3 s]
/proc/loadavg: 2.14 1.70 1.84 3/183 21251
/proc/meminfo: memFree=28097212/32872528 swapFree=1497568/1644736
[pid=21245] ppid=21242 vsize=1344068 CPUtime=102.28 cores=1,3,5,7
/proc/21245/stat : 21245 (toysat) R 21242 21245 15832 0 -1 4202496 277205 0 0 0 10188 40 0 0 20 0 4 0 13953911 1376325632 276993 33554432000 4194304 16246674 140733577380688 140733577362560 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21245/statm: 336017 276993 887 2943 0 332911 0
[pid=21245/tid=21246] ppid=21242 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21246/stat : 21246 (toysat) S 21242 21245 15832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13953912 1376325632 276993 33554432000 4194304 16246674 140733577380688 139868333124848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21245/tid=21247] ppid=21242 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21247/stat : 21247 (toysat) S 21242 21245 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13953912 1376325632 276993 33554432000 4194304 16246674 140733577380688 139868322634992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21245/tid=21248] ppid=21242 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21248/stat : 21248 (toysat) S 21242 21245 15832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13953912 1376325632 276993 33554432000 4194304 16246674 140733577380688 139868312161456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1344068


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

/proc/21245/task/21248/stat : 21248 (toysat) S 21242 21245 15832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13953912 1426657280 289538 33554432000 4194304 16246674 140733577380688 139868312161456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 1393220

[startup+1362.3 s]
/proc/loadavg: 2.35 2.24 2.11 3/184 21285
/proc/meminfo: memFree=27869740/32872528 swapFree=1497568/1644736
[pid=21245] ppid=21242 vsize=1393220 CPUtime=1362.01 cores=1,3,5,7
/proc/21245/stat : 21245 (toysat) R 21242 21245 15832 0 -1 4202496 289616 0 0 0 136147 54 0 0 20 0 4 0 13953911 1426657280 289538 33554432000 4194304 16246674 140733577380688 140733577362560 5827969 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21245/statm: 348305 289538 888 2943 0 345199 0
[pid=21245/tid=21246] ppid=21242 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21246/stat : 21246 (toysat) S 21242 21245 15832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13953912 1426657280 289538 33554432000 4194304 16246674 140733577380688 139868333124848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21245/tid=21247] ppid=21242 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21247/stat : 21247 (toysat) S 21242 21245 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13953912 1426657280 289538 33554432000 4194304 16246674 140733577380688 139868322634992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21245/tid=21248] ppid=21242 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21248/stat : 21248 (toysat) S 21242 21245 15832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13953912 1426657280 289538 33554432000 4194304 16246674 140733577380688 139868312161456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 1393220

[startup+1422.3 s]
/proc/loadavg: 2.32 2.25 2.12 3/183 21286
/proc/meminfo: memFree=27869780/32872528 swapFree=1497568/1644736
[pid=21245] ppid=21242 vsize=1393220 CPUtime=1421.99 cores=1,3,5,7
/proc/21245/stat : 21245 (toysat) R 21242 21245 15832 0 -1 4202496 289648 0 0 0 142143 56 0 0 20 0 4 0 13953911 1426657280 289538 33554432000 4194304 16246674 140733577380688 140733577362560 5661469 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21245/statm: 348305 289538 888 2943 0 345199 0
[pid=21245/tid=21246] ppid=21242 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21246/stat : 21246 (toysat) S 21242 21245 15832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13953912 1426657280 289538 33554432000 4194304 16246674 140733577380688 139868333124848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21245/tid=21247] ppid=21242 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21247/stat : 21247 (toysat) S 21242 21245 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13953912 1426657280 289538 33554432000 4194304 16246674 140733577380688 139868322634992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21245/tid=21248] ppid=21242 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21248/stat : 21248 (toysat) S 21242 21245 15832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13953912 1426657280 289538 33554432000 4194304 16246674 140733577380688 139868312161456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 1393220

[startup+1482.3 s]
/proc/loadavg: 2.21 2.23 2.12 3/183 21287
/proc/meminfo: memFree=27869440/32872528 swapFree=1497568/1644736
[pid=21245] ppid=21242 vsize=1393220 CPUtime=1481.96 cores=1,3,5,7
/proc/21245/stat : 21245 (toysat) R 21242 21245 15832 0 -1 4202496 289669 0 0 0 148139 57 0 0 20 0 4 0 13953911 1426657280 289538 33554432000 4194304 16246674 140733577380688 140733577362560 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21245/statm: 348305 289538 888 2943 0 345199 0
[pid=21245/tid=21246] ppid=21242 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21246/stat : 21246 (toysat) S 21242 21245 15832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13953912 1426657280 289538 33554432000 4194304 16246674 140733577380688 139868333124848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21245/tid=21247] ppid=21242 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21247/stat : 21247 (toysat) S 21242 21245 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13953912 1426657280 289538 33554432000 4194304 16246674 140733577380688 139868322634992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21245/tid=21248] ppid=21242 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21248/stat : 21248 (toysat) S 21242 21245 15832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13953912 1426657280 289538 33554432000 4194304 16246674 140733577380688 139868312161456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 1393220

[startup+1542.31 s]
/proc/loadavg: 2.27 2.25 2.13 3/183 21288
/proc/meminfo: memFree=27869348/32872528 swapFree=1497568/1644736
[pid=21245] ppid=21242 vsize=1393220 CPUtime=1541.94 cores=1,3,5,7
/proc/21245/stat : 21245 (toysat) R 21242 21245 15832 0 -1 4202496 289705 0 0 0 154136 58 0 0 20 0 4 0 13953911 1426657280 289538 33554432000 4194304 16246674 140733577380688 140733577362560 5661428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21245/statm: 348305 289538 888 2943 0 345199 0
[pid=21245/tid=21246] ppid=21242 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21246/stat : 21246 (toysat) S 21242 21245 15832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13953912 1426657280 289538 33554432000 4194304 16246674 140733577380688 139868333124848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21245/tid=21247] ppid=21242 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21247/stat : 21247 (toysat) S 21242 21245 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13953912 1426657280 289538 33554432000 4194304 16246674 140733577380688 139868322634992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21245/tid=21248] ppid=21242 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21248/stat : 21248 (toysat) S 21242 21245 15832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13953912 1426657280 289538 33554432000 4194304 16246674 140733577380688 139868312161456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 1393220

[startup+1602.3 s]
/proc/loadavg: 2.36 2.27 2.14 3/183 21289
/proc/meminfo: memFree=27869380/32872528 swapFree=1497568/1644736
[pid=21245] ppid=21242 vsize=1393220 CPUtime=1601.9 cores=1,3,5,7
/proc/21245/stat : 21245 (toysat) R 21242 21245 15832 0 -1 4202496 289749 0 0 0 160132 58 0 0 20 0 4 0 13953911 1426657280 289538 33554432000 4194304 16246674 140733577380688 140733577362560 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21245/statm: 348305 289538 888 2943 0 345199 0
[pid=21245/tid=21246] ppid=21242 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21246/stat : 21246 (toysat) S 21242 21245 15832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13953912 1426657280 289538 33554432000 4194304 16246674 140733577380688 139868333124848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21245/tid=21247] ppid=21242 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21247/stat : 21247 (toysat) S 21242 21245 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13953912 1426657280 289538 33554432000 4194304 16246674 140733577380688 139868322634992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21245/tid=21248] ppid=21242 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21248/stat : 21248 (toysat) S 21242 21245 15832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13953912 1426657280 289538 33554432000 4194304 16246674 140733577380688 139868312161456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 1393220

[startup+1662.3 s]
/proc/loadavg: 2.24 2.25 2.14 3/183 21291
/proc/meminfo: memFree=27869420/32872528 swapFree=1497568/1644736
[pid=21245] ppid=21242 vsize=1393220 CPUtime=1661.87 cores=1,3,5,7
/proc/21245/stat : 21245 (toysat) R 21242 21245 15832 0 -1 4202496 289782 0 0 0 166127 60 0 0 20 0 4 0 13953911 1426657280 289538 33554432000 4194304 16246674 140733577380688 140733577362560 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21245/statm: 348305 289538 888 2943 0 345199 0
[pid=21245/tid=21246] ppid=21242 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21246/stat : 21246 (toysat) S 21242 21245 15832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13953912 1426657280 289538 33554432000 4194304 16246674 140733577380688 139868333124848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21245/tid=21247] ppid=21242 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21247/stat : 21247 (toysat) S 21242 21245 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13953912 1426657280 289538 33554432000 4194304 16246674 140733577380688 139868322634992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21245/tid=21248] ppid=21242 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21248/stat : 21248 (toysat) S 21242 21245 15832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13953912 1426657280 289538 33554432000 4194304 16246674 140733577380688 139868312161456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1393220

[startup+1722.3 s]
/proc/loadavg: 2.23 2.25 2.15 3/183 21292
/proc/meminfo: memFree=27869448/32872528 swapFree=1497568/1644736
[pid=21245] ppid=21242 vsize=1393220 CPUtime=1721.86 cores=1,3,5,7
/proc/21245/stat : 21245 (toysat) R 21242 21245 15832 0 -1 4202496 289799 0 0 0 172125 61 0 0 20 0 4 0 13953911 1426657280 289538 33554432000 4194304 16246674 140733577380688 140733577362560 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21245/statm: 348305 289538 888 2943 0 345199 0
[pid=21245/tid=21246] ppid=21242 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21246/stat : 21246 (toysat) S 21242 21245 15832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13953912 1426657280 289538 33554432000 4194304 16246674 140733577380688 139868333124848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21245/tid=21247] ppid=21242 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21247/stat : 21247 (toysat) S 21242 21245 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13953912 1426657280 289538 33554432000 4194304 16246674 140733577380688 139868322634992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21245/tid=21248] ppid=21242 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21248/stat : 21248 (toysat) S 21242 21245 15832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13953912 1426657280 289538 33554432000 4194304 16246674 140733577380688 139868312161456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1393220

[startup+1782.3 s]
/proc/loadavg: 2.22 2.25 2.15 3/183 21293
/proc/meminfo: memFree=27869096/32872528 swapFree=1497568/1644736
[pid=21245] ppid=21242 vsize=1393220 CPUtime=1781.84 cores=1,3,5,7
/proc/21245/stat : 21245 (toysat) R 21242 21245 15832 0 -1 4202496 289815 0 0 0 178122 62 0 0 20 0 4 0 13953911 1426657280 289538 33554432000 4194304 16246674 140733577380688 140733577362560 5676784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21245/statm: 348305 289538 888 2943 0 345199 0
[pid=21245/tid=21246] ppid=21242 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21246/stat : 21246 (toysat) S 21242 21245 15832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13953912 1426657280 289538 33554432000 4194304 16246674 140733577380688 139868333124848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21245/tid=21247] ppid=21242 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21247/stat : 21247 (toysat) S 21242 21245 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13953912 1426657280 289538 33554432000 4194304 16246674 140733577380688 139868322634992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21245/tid=21248] ppid=21242 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21248/stat : 21248 (toysat) S 21242 21245 15832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13953912 1426657280 289538 33554432000 4194304 16246674 140733577380688 139868312161456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1393220



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.08 2.21 2.14 2/173 21324
/proc/meminfo: memFree=29149976/32872528 swapFree=1497568/1644736
[pid=21245] ppid=21242 vsize=1393220 CPUtime=1800.03 cores=1,3,5,7
/proc/21245/stat : 21245 (toysat) R 21242 21245 15832 0 -1 4202496 289828 0 0 0 179941 62 0 0 20 0 4 0 13953911 1426657280 289538 33554432000 4194304 16246674 140733577380688 140733577362560 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21245/statm: 348305 289538 888 2943 0 345199 0
[pid=21245/tid=21246] ppid=21242 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21246/stat : 21246 (toysat) S 21242 21245 15832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13953912 1426657280 289538 33554432000 4194304 16246674 140733577380688 139868333124848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21245/tid=21247] ppid=21242 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21247/stat : 21247 (toysat) S 21242 21245 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13953912 1426657280 289538 33554432000 4194304 16246674 140733577380688 139868322634992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21245/tid=21248] ppid=21242 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21248/stat : 21248 (toysat) S 21242 21245 15832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13953912 1426657280 289538 33554432000 4194304 16246674 140733577380688 139868312161456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1393220

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

[startup+1800.5 s]
/proc/loadavg: 2.08 2.21 2.14 2/173 21324
/proc/meminfo: memFree=29149976/32872528 swapFree=1497568/1644736
[pid=21245] ppid=21242 vsize=1393220 CPUtime=1800.03 cores=1,3,5,7
/proc/21245/stat : 21245 (toysat) R 21242 21245 15832 0 -1 4202496 289828 0 0 0 179941 62 0 0 20 0 4 0 13953911 1426657280 289538 33554432000 4194304 16246674 140733577380688 140733577362560 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21245/statm: 348305 289538 888 2943 0 345199 0
[pid=21245/tid=21246] ppid=21242 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21246/stat : 21246 (toysat) S 21242 21245 15832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13953912 1426657280 289538 33554432000 4194304 16246674 140733577380688 139868333124848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21245/tid=21247] ppid=21242 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21247/stat : 21247 (toysat) S 21242 21245 15832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13953912 1426657280 289538 33554432000 4194304 16246674 140733577380688 139868322634992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=21245/tid=21248] ppid=21242 vsize=1393220 CPUtime=0 cores=1,3,5,7
/proc/21245/task/21248/stat : 21248 (toysat) S 21242 21245 15832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13953912 1426657280 289538 33554432000 4194304 16246674 140733577380688 139868312161456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1393220

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1799.42
CPU system time (s): 0.624905
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 1393220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.42
system time used= 0.624905
maximum resident set size= 1158152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 289828
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= 352
involuntary context switches= 1840

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.8831 second user time and 7.38688 second system time

The end

Launcher Data 

Begin job on node124 at 2016-06-17 01:17:51
IDJOB=4097961
IDBENCH=107832
IDSOLVER=2542
FILE ID=node124/4097961-1466119070
RUNJOBID= node124-1466119066-21115
PBS_JOBID= 19904063
Free space on /tmp= 71700 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_10.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4097961-1466119070/watcher-4097961-1466119070 -o /tmp/evaluation-result-4097961-1466119070/solver-4097961-1466119070 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466119066-21115 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4097961-1466119070.opb

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

MD5SUM BENCH= f1acc2fb39eccfc74fef16372cea6500
RANDOM SEED=1160311008

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29203644 kB
Buffers:           48056 kB
Cached:           179520 kB
SwapCached:         2460 kB
Active:          1220428 kB
Inactive:          95612 kB
Active(anon):    1088824 kB
Inactive(anon):     2184 kB
Active(file):     131604 kB
Inactive(file):    93428 kB
Unevictable:     1644736 kB
Mlocked:         1497568 kB
SwapTotal:      67108856 kB
SwapFree:       67099600 kB
Dirty:             37476 kB
Writeback:             0 kB
AnonPages:       2732104 kB
Mapped:            10628 kB
Shmem:                 0 kB
Slab:             571620 kB
SReclaimable:      14900 kB
SUnreclaim:       556720 kB
KernelStack:        1448 kB
PageTables:         9796 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2875328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    151552 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= 71704 MiB
End job on node124 at 2016-06-17 01:47:51