Trace number 4090184

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

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/
Instances3col_OPB/normalized-3col-almost3reg-l055-r054-n1.opb
MD5SUM9962e07353bb4a7d8331e0339e579362
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 benchmark405.016
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2991
Total number of constraints6388
Number of constraints which are clauses5391
Number of constraints which are cardinality constraints (but not clauses)997
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4
Number of bits of the biggest sum of numbers3
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-16T03:00:28+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-4090184-1466038828.opb"]
0.00/0.01	c use --random-gen="3948610016 2237903124 219529176 3732076589 935476240 1319654486 715595027 2226544038 3710353572 4165364997 3104763553 219939319 2588864921 3773359521 852168728 465812479 637783477 3523430588 2546817438 623675362 2974842989 1367225507 2160169774 3976797357 468625423 1314919813 3518172381 4148485711 3414593186 2767667673 1562838490 1446295016 3455423768 1542061078 3008706339 2470350012 3459092057 2987373466 582516069 1780322070 249228453 3857272922 883028477 1129921006 614382423 2097256917 4151326076 3207371900 2360212448 1730353087 2212946880 1148782298 1153309692 4254000506 2380230327 459578223 1320765427 3510339510 1207637342 2026151086 1274097212 317080781 146611923 949069512 949167855 3041046315 3198977492 434735465 1820996066 3537287366 2080013760 1874688422 2086640220 1645177924 3596947397 2522401764 2307907198 2657003359 453014230 3296899688 178468830 3645040294 3775394052 3138912208 2325509034 3911880745 3247230127 302874527 1531146992 3824081460 3959791888 2491745182 3550087875 1964223547 225393642 3830871113 876114626 1562518930 4089928487 4095624145 140026158 660208717 1098605592 3515300508 687178028 3807690149 1402875163 3137678968 3242096101 2644929649 1094186245 2501241208 3141358615 1044082843 3293990515 3907131196 1458373457 2736943131 3339304226 455311449 433997414 1566322919 347533697 957322055 3952304588 1585537057 3666987842 159015322 1251100738 3091806781 2642030963 4013560365 3862188178 3698223099 1831435722 4048518722 371251269 26321656 2916493842 3459401140 697493039 3459797685 2807588393 1300269829 159857414 3158546997 3993749363 2045577307 1657451397 1081063643 550340318 3363172892 3740171827 1113148850 3898770688 910022792 3648890183 4208303260 1259638005 2625536812 2067637571 3392591099 2860002801 3623112056 261652086 3091610255 2795749449 3753395928 2543579763 1400378537 3829741097 2527163148 3252028174 2635762711 506895234 2377287038 3898876228 3315065437 2746927497 552245140 363155169 818803735 4215992771 2252031839 3312422760 1423648321 4100743704 2010255376 3102062943 2321941589 3026879715 1227613807 3788464567 3388639656 354110592 2695754286 2061846734 183943507 2821316349 3139063925 1950029421 3736376896 1547512469 2399536022 556365261 1367741962 129332944 164958820 3317966743 2878177502 1817150979 297241630 1094423917 3263938810 254959807 1011382746 634590342 2765354810 2827374121 2294452594 1242207795 2095507309 2022890756 3438276039 1253624967 4243744764 2167926638 1315714254 3929008591 3255702768 394019549 1124356624 2992419324 3245501378 3387707376 3848075588 2906686284 2918674973 1363435474 1854671179 1646852426 198215799 3361485078 1445862985 3126943350 2281002598 2618514535 2069236423 2198619706 2853219985 2461082570 2103833972 938620076 1237841125 3335516183 678110950 255 362436" option to reproduce the execution
0.00/0.06	c #vars 2991
0.00/0.06	c #constraints 6388
0.09/0.13	c Solving starts ...
0.09/0.13	c ============================[ Search Statistics ]============================
0.09/0.13	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.13	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.13	c =============================================================================
0.09/0.13	c  0.0s |       0 |        0 |        0 |     3458      0 |        0 |        0
0.19/0.21	c  0.1s |       1 |     6127 |      100 |     3458      0 |        0 |        0
0.38/0.42	c  0.3s |       2 |    20025 |      250 |     3804      0 |        0 |        0
0.79/0.83	c  0.7s |       3 |    41355 |      475 |     4185      0 |        0 |        0
1.19/1.29	c  1.2s |       4 |    52248 |      813 |     4604      0 |        0 |        0
1.79/1.80	c  1.7s |       5 |    56367 |     1320 |     5065      0 |        0 |        0
2.38/2.49	c  2.4s |       6 |    67683 |     2081 |     6130      0 |        0 |        0
3.39/3.46	c  3.3s |       7 |    70419 |     3223 |     6744      0 |        0 |        0
5.18/5.29	c  5.2s |       8 |   106143 |     4936 |     7419      0 |        0 |        0
7.28/7.36	c  7.2s |       8 |   126478 |     7036 |     7419      0 |        0 |        0
7.88/7.96	c  7.8s |       9 |   127180 |     7506 |     8161      0 |        0 |        0
9.99/10.01	c  9.9s |       9 |   135933 |     9006 |     8161      1 |        0 |        0
11.98/12.06	c 11.9s |       9 |   138946 |    10806 |     8161      1 |        0 |        0
12.68/12.76	c 12.6s |      10 |   139596 |    11361 |     8978      1 |        0 |        0
14.78/14.83	c 14.7s |      10 |   146714 |    12961 |     8978      1 |        0 |        0
16.89/16.90	c 16.8s |      10 |   153035 |    14661 |     8978      2 |        0 |        0
18.99/19.00	c 18.9s |      10 |   157476 |    16261 |     8978      2 |        0 |        0
19.99/20.08	c 19.9s |      11 |   158637 |    17144 |     9876      2 |        0 |        0
22.19/22.23	c 22.1s |      11 |   164229 |    18544 |     9876      2 |        0 |        0
24.20/24.28	c 24.2s |      11 |   165822 |    19944 |     9876      3 |        0 |        0
26.19/26.28	c 26.2s |      11 |   168438 |    21444 |     9876      3 |        0 |        0
28.19/28.29	c 28.2s |      11 |   169969 |    22844 |     9876      3 |        0 |        0
30.29/30.37	c 30.2s |      11 |   174115 |    24244 |     9876      3 |        0 |        0
32.39/32.47	c 32.3s |      11 |   175956 |    25744 |    10864      4 |        0 |        0
32.49/32.57	c 32.4s |      12 |   176027 |    25819 |    10864      4 |        0 |        0
34.59/34.65	c 34.5s |      12 |   181083 |    27319 |    10864      4 |        0 |        0
36.69/36.72	c 36.6s |      12 |   189323 |    28719 |    10864      4 |        0 |        0
38.69/38.79	c 38.7s |      12 |   190688 |    29819 |    10864      4 |        0 |        0
40.79/40.86	c 40.7s |      12 |   192020 |    31019 |    10864      5 |        0 |        0
42.89/42.92	c 42.8s |      12 |   193610 |    32419 |    10864      5 |        0 |        0
44.99/45.05	c 44.9s |      12 |   230242 |    34019 |    10864      5 |        0 |        0
47.18/47.20	c 47.1s |      12 |   240800 |    35419 |    10864      5 |        0 |        0
49.18/49.29	c 49.2s |      12 |   250101 |    37019 |    10864      6 |        0 |        0
51.38/51.45	c 51.3s |      12 |   252983 |    38419 |    10864      6 |        0 |        0
52.18/52.28	c 52.1s |      13 |   253842 |    38832 |    11951      6 |        0 |        0
54.28/54.35	c 54.2s |      13 |   268816 |    40132 |    11951      6 |        0 |        0
56.38/56.42	c 56.3s |      13 |   271811 |    41532 |    11951      6 |        0 |        0
58.48/58.52	c 58.4s |      13 |   275219 |    42732 |    11951      7 |        0 |        0
60.49/60.58	c 60.4s |      13 |   279864 |    44232 |    11951      7 |        0 |        0
62.69/62.72	c 62.6s |      13 |   281901 |    45732 |    11951      7 |        0 |        0
64.78/64.81	c 64.7s |      13 |   284502 |    47132 |    11951      7 |        0 |        0
66.78/66.87	c 66.7s |      13 |   286402 |    48532 |    11951      7 |        0 |        0
68.78/68.89	c 68.8s |      13 |   288076 |    50032 |    11951      8 |        0 |        0
70.88/71.00	c 70.9s |      13 |   289933 |    51732 |    11951      8 |        0 |        0
73.08/73.12	c 73.0s |      13 |   293791 |    53132 |    11951      8 |        0 |        0
75.17/75.28	c 75.2s |      13 |   298293 |    54232 |    11951      8 |        0 |        0
77.27/77.39	c 77.3s |      13 |   302972 |    55332 |    11951      9 |        0 |        0
79.47/79.52	c 79.4s |      13 |   308143 |    56632 |    11951      9 |        0 |        0
81.48/81.58	c 81.5s |      13 |   311749 |    58032 |    13147      9 |        0 |        0
82.07/82.14	c 82.0s |      14 |   312092 |    58352 |    13147      9 |        0 |        0
84.17/84.27	c 84.1s |      14 |   317927 |    59652 |    13147      9 |        0 |        0
86.37/86.41	c 86.3s |      14 |   326194 |    60952 |    13147      9 |        0 |        0
88.47/88.55	c 88.4s |      14 |   327457 |    62052 |    13147      9 |        0 |        0
90.57/90.63	c 90.5s |      14 |   328704 |    63152 |    13147     10 |        0 |        0
92.57/92.63	c 92.5s |      14 |   329800 |    64152 |    13147     10 |        0 |        0
94.57/94.68	c 94.5s |      14 |   331466 |    65252 |    13147     10 |        0 |        0
96.67/96.76	c 96.6s |      14 |   332721 |    66352 |    13147     10 |        0 |        0
98.87/98.93	c 98.8s |      14 |   333925 |    67452 |    13147     10 |        0 |        0
100.97/101.07	c  100s |      14 |   335209 |    68552 |    13147     10 |        0 |        0
102.97/103.09	c  102s |      14 |   336203 |    69452 |    13147     11 |        0 |        0
105.16/105.27	c  105s |      14 |   356259 |    70952 |    13147     11 |        0 |        0
107.26/107.30	c  107s |      14 |   357339 |    71952 |    13147     11 |        0 |        0
109.26/109.36	c  109s |      14 |   358440 |    72952 |    13147     11 |        0 |        0
111.36/111.47	c  111s |      14 |   369657 |    74052 |    13147     11 |        0 |        0
113.76/113.82	c  113s |      14 |   372399 |    75152 |    13147     11 |        0 |        0
115.86/115.98	c  115s |      14 |   373608 |    75752 |    13147     11 |        0 |        0
118.06/118.14	c  118s |      14 |   374911 |    76452 |    13147     12 |        0 |        0
120.15/120.20	c  120s |      14 |   376257 |    77052 |    13147     12 |        0 |        0
122.16/122.25	c  122s |      14 |   385628 |    78252 |    13147     12 |        0 |        0
124.26/124.33	c  124s |      14 |   387499 |    79452 |    13147     12 |        0 |        0
126.25/126.36	c  126s |      14 |   388734 |    80552 |    13147     12 |        0 |        0
128.25/128.39	c  128s |      14 |   389834 |    81552 |    13147     12 |        0 |        0
130.35/130.50	c  130s |      14 |   390943 |    82552 |    13147     12 |        0 |        0
132.45/132.55	c  132s |      14 |   392033 |    83552 |    13147     13 |        0 |        0
134.54/134.67	c  134s |      14 |   393302 |    84752 |    13147     13 |        0 |        0
136.74/136.84	c  136s |      14 |   394508 |    85852 |    13147     13 |        0 |        0
138.94/139.05	c  138s |      14 |   395625 |    86852 |    13147     13 |        0 |        0
140.64/140.71	c  140s |      15 |   396487 |    87632 |    14462     13 |        0 |        0
142.64/142.78	c  142s |      15 |   401925 |    88532 |    14462     13 |        0 |        0
144.74/144.84	c  144s |      15 |   410071 |    89532 |    14462     13 |        0 |        0
146.74/146.86	c  146s |      15 |   412645 |    90632 |    14462     13 |        0 |        0
148.84/148.94	c  148s |      15 |   415394 |    91632 |    14462     14 |        0 |        0
150.94/151.03	c  150s |      15 |   416583 |    92732 |    14462     14 |        0 |        0
152.95/153.05	c  152s |      15 |   417840 |    93832 |    14462     14 |        0 |        0
154.94/155.10	c  154s |      15 |   418991 |    94832 |    14462     14 |        0 |        0
157.14/157.25	c  157s |      15 |   420140 |    95832 |    14462     14 |        0 |        0
159.13/159.26	c  159s |      15 |   421388 |    96632 |    14462     14 |        0 |        0
161.33/161.43	c  161s |      15 |   422846 |    97532 |    14462     14 |        0 |        0
163.43/163.50	c  163s |      15 |   424340 |    98232 |    14462     14 |        0 |        0
165.43/165.51	c  165s |      15 |   428307 |    99032 |    14462     15 |        0 |        0
167.53/167.68	c  167s |      15 |   432080 |    99932 |    14462     15 |        0 |        0
169.83/169.90	c  169s |      15 |   433270 |   101032 |    14462     15 |        0 |        0
172.03/172.10	c  171s |      15 |   434461 |   102132 |    14462     15 |        0 |        0
174.12/174.24	c  174s |      15 |   435521 |   103132 |    14462     15 |        0 |        0
176.22/176.33	c  176s |      15 |   436597 |   104132 |    14462     15 |        0 |        0
178.22/178.38	c  178s |      15 |   437577 |   105032 |    14462     15 |        0 |        0
180.72/180.85	c  180s |      15 |   438672 |   106032 |    14462     16 |        0 |        0
182.82/182.94	c  182s |      15 |   439993 |   107232 |    14462     16 |        0 |        0
185.01/185.13	c  184s |      15 |   446331 |   108332 |    14462     16 |        0 |        0
187.02/187.19	c  187s |      15 |   452274 |   109332 |    14462     16 |        0 |        0
189.12/189.26	c  189s |      15 |   456068 |   110232 |    14462     16 |        0 |        0
191.32/191.50	c  191s |      15 |   457838 |   111132 |    14462     16 |        0 |        0
193.51/193.67	c  193s |      15 |   459285 |   112032 |    14462     16 |        0 |        0
195.71/195.85	c  195s |      15 |   461042 |   112932 |    14462     16 |        0 |        0
197.91/198.05	c  197s |      15 |   463082 |   113732 |    14462     17 |        0 |        0
200.01/200.14	c  200s |      15 |   466325 |   114732 |    14462     17 |        0 |        0
202.01/202.18	c  202s |      15 |   468301 |   115732 |    14462     17 |        0 |        0
204.10/204.27	c  204s |      15 |   470347 |   116932 |    14462     17 |        0 |        0
206.20/206.34	c  206s |      15 |   471700 |   118132 |    14462     17 |        0 |        0
208.30/208.41	c  208s |      15 |   473529 |   119232 |    14462     17 |        0 |        0
210.50/210.66	c  210s |      15 |   475997 |   120132 |    14462     17 |        0 |        0
212.70/212.81	c  212s |      15 |   477216 |   120932 |    14462     17 |        0 |        0
214.80/214.94	c  214s |      15 |   479548 |   121832 |    14462     18 |        0 |        0
216.90/217.01	c  216s |      15 |   480578 |   122832 |    14462     18 |        0 |        0
218.90/219.02	c  218s |      15 |   481529 |   123732 |    14462     18 |        0 |        0
220.90/221.05	c  220s |      15 |   482502 |   124632 |    14462     18 |        0 |        0
223.00/223.19	c  223s |      15 |   483603 |   125632 |    14462     18 |        0 |        0
225.19/225.30	c  225s |      15 |   484548 |   126532 |    14462     18 |        0 |        0
227.29/227.45	c  227s |      15 |   485637 |   127532 |    14462     18 |        0 |        0
229.39/229.58	c  229s |      15 |   486779 |   128532 |    14462     18 |        0 |        0
231.49/231.64	c  231s |      15 |   487885 |   129532 |    14462     19 |        0 |        0
233.68/233.82	c  233s |      15 |   501378 |   130832 |    15909     19 |        0 |        0
234.98/235.11	c  234s |      16 |   502206 |   131552 |    15909     19 |        0 |        0
237.08/237.27	c  237s |      16 |   511665 |   132952 |    15909     19 |        0 |        0
239.18/239.33	c  239s |      16 |   525620 |   134252 |    15909     19 |        0 |        0
241.28/241.40	c  241s |      16 |   547735 |   135452 |    15909     19 |        0 |        0
243.27/243.45	c  243s |      16 |   548845 |   136452 |    15909     19 |        0 |        0
245.37/245.56	c  245s |      16 |   549945 |   137452 |    15909     19 |        0 |        0
247.38/247.59	c  247s |      16 |   551155 |   138552 |    15909     20 |        0 |        0
249.47/249.61	c  249s |      16 |   552541 |   139852 |    15909     20 |        0 |        0
251.67/251.80	c  251s |      16 |   558360 |   140952 |    15909     20 |        0 |        0
253.77/254.00	c  253s |      16 |   561779 |   142052 |    15909     20 |        0 |        0
255.87/256.07	c  255s |      16 |   562870 |   143052 |    15909     20 |        0 |        0
258.07/258.22	c  258s |      16 |   564954 |   144052 |    15909     20 |        0 |        0
260.17/260.33	c  260s |      16 |   570145 |   145052 |    15909     20 |        0 |        0
262.57/262.70	c  262s |      16 |   571247 |   146052 |    15909     21 |        0 |        0
264.56/264.74	c  264s |      16 |   572596 |   147252 |    15909     21 |        0 |        0
266.66/266.84	c  266s |      16 |   573788 |   148352 |    15909     21 |        0 |        0
268.66/268.85	c  268s |      16 |   574992 |   149452 |    15909     21 |        0 |        0
270.66/270.86	c  270s |      16 |   576075 |   150452 |    15909     21 |        0 |        0
272.86/273.08	c  272s |      16 |   577157 |   151452 |    15909     21 |        0 |        0
275.06/275.25	c  275s |      16 |   578318 |   152452 |    15909     21 |        0 |        0
277.26/277.45	c  277s |      16 |   579302 |   153352 |    15909     21 |        0 |        0
279.37/279.51	c  279s |      16 |   590171 |   154452 |    15909     22 |        0 |        0
281.36/281.53	c  281s |      16 |   592695 |   155752 |    15909     22 |        0 |        0
283.46/283.65	c  283s |      16 |   616579 |   157152 |    15909     22 |        0 |        0
285.56/285.73	c  285s |      16 |   628386 |   158152 |    15909     22 |        0 |        0
287.66/287.82	c  287s |      16 |   631301 |   159352 |    15909     22 |        0 |        0
289.66/289.84	c  289s |      16 |   632630 |   160252 |    15909     22 |        0 |        0
291.66/291.86	c  291s |      16 |   643970 |   161152 |    15909     22 |        0 |        0
293.66/293.88	c  293s |      16 |   645298 |   161952 |    15909     22 |        0 |        0
295.76/295.97	c  295s |      16 |   646463 |   162952 |    15909     23 |        0 |        0
297.85/298.02	c  297s |      16 |   647679 |   164052 |    15909     23 |        0 |        0
299.85/300.05	c  299s |      16 |   648874 |   165152 |    15909     23 |        0 |        0
301.95/302.18	c  302s |      16 |   650186 |   166352 |    15909     23 |        0 |        0
304.05/304.27	c  304s |      16 |   651501 |   167552 |    15909     23 |        0 |        0
306.15/306.38	c  306s |      16 |   653066 |   168552 |    15909     23 |        0 |        0
308.45/308.62	c  308s |      16 |   654375 |   169552 |    15909     23 |        0 |        0
310.54/310.77	c  310s |      16 |   655357 |   170452 |    15909     23 |        0 |        0
312.74/312.91	c  312s |      16 |   656439 |   171452 |    15909     24 |        0 |        0
314.84/315.05	c  314s |      16 |   657623 |   172552 |    15909     24 |        0 |        0
316.94/317.11	c  316s |      16 |   677827 |   173652 |    15909     24 |        0 |        0
319.04/319.21	c  319s |      16 |   684294 |   174752 |    15909     24 |        0 |        0
321.15/321.38	c  321s |      16 |   685579 |   175852 |    15909     24 |        0 |        0
323.34/323.50	c  323s |      16 |   686977 |   176952 |    15909     24 |        0 |        0
325.33/325.59	c  325s |      16 |   688672 |   177952 |    15909     24 |        0 |        0
327.33/327.59	c  327s |      16 |   689687 |   178852 |    15909     25 |        0 |        0
329.43/329.65	c  329s |      16 |   691162 |   180152 |    15909     25 |        0 |        0
331.53/331.77	c  331s |      16 |   700731 |   181452 |    15909     25 |        0 |        0
333.63/333.83	c  333s |      16 |   703395 |   182452 |    15909     25 |        0 |        0
335.73/335.94	c  335s |      16 |   704363 |   183352 |    15909     25 |        0 |        0
337.83/338.01	c  337s |      16 |   705278 |   184152 |    15909     25 |        0 |        0
340.03/340.20	c  340s |      16 |   710380 |   185252 |    15909     25 |        0 |        0
342.13/342.36	c  342s |      16 |   711680 |   186252 |    15909     25 |        0 |        0
344.23/344.41	c  344s |      16 |   723581 |   187352 |    15909     26 |        0 |        0
346.22/346.47	c  346s |      16 |   737937 |   188752 |    15909     26 |        0 |        0
348.32/348.55	c  348s |      16 |   744312 |   189852 |    15909     26 |        0 |        0
350.52/350.72	c  350s |      16 |   746200 |   190952 |    15909     26 |        0 |        0
352.52/352.76	c  352s |      16 |   748514 |   191952 |    15909     26 |        0 |        0
354.62/354.85	c  354s |      16 |   749524 |   192852 |    15909     26 |        0 |        0
356.72/356.95	c  356s |      16 |   750523 |   193752 |    15909     26 |        0 |        0
358.82/359.08	c  358s |      16 |   751564 |   194652 |    15909     26 |        0 |        0
361.01/361.20	c  361s |      16 |   752587 |   195552 |    15909     27 |        0 |        0
363.11/363.31	c  363s |      16 |   753844 |   196652 |    17500     27 |        0 |        0
364.71/364.93	c  364s |      17 |   755738 |   197432 |    17500     27 |        0 |        0
366.91/367.10	c  366s |      17 |   761943 |   198632 |    17500     27 |        0 |        0
368.91/369.10	c  368s |      17 |   767417 |   199532 |    17500     27 |        0 |        0
371.01/371.25	c  371s |      17 |   768584 |   200432 |    17500     27 |        0 |        0
373.20/373.49	c  373s |      17 |   769592 |   201332 |    17500     27 |        0 |        0
375.60/375.82	c  375s |      17 |   770492 |   202132 |    17500     27 |        0 |        0
377.70/377.90	c  377s |      17 |   771244 |   202832 |    17500     27 |        0 |        0
379.70/379.90	c  379s |      17 |   772074 |   203532 |    17500     27 |        0 |        0
381.90/382.12	c  381s |      17 |   772888 |   204232 |    17500     27 |        0 |        0
384.00/384.25	c  384s |      17 |   773674 |   204932 |    17500     28 |        0 |        0
386.00/386.27	c  386s |      17 |   774696 |   205832 |    17500     28 |        0 |        0
388.20/388.46	c  388s |      17 |   775681 |   206732 |    17500     28 |        0 |        0
390.30/390.58	c  390s |      17 |   790803 |   207832 |    17500     28 |        0 |        0
392.40/392.60	c  392s |      17 |   801885 |   209032 |    17500     28 |        0 |        0
394.49/394.77	c  394s |      17 |   810520 |   210232 |    17500     28 |        0 |        0
396.59/396.89	c  396s |      17 |   814510 |   211132 |    17500     28 |        0 |        0
398.69/398.91	c  398s |      17 |   816160 |   212032 |    17500     28 |        0 |        0
400.79/401.01	c  400s |      17 |   817050 |   212832 |    17500     28 |        0 |        0
402.89/403.19	c  403s |      17 |   818158 |   213632 |    17500     28 |        0 |        0
404.99/405.22	c  405s |      17 |   819164 |   214532 |    17500     29 |        0 |        0
407.09/407.30	c  407s |      17 |   820560 |   215832 |    17500     29 |        0 |        0
409.19/409.41	c  409s |      17 |   821950 |   216732 |    17500     29 |        0 |        0
411.19/411.46	c  411s |      17 |   823319 |   217732 |    17500     29 |        0 |        0
413.39/413.68	c  413s |      17 |   824262 |   218632 |    17500     29 |        0 |        0
415.58/415.89	c  415s |      17 |   825237 |   219532 |    17500     29 |        0 |        0
417.68/417.96	c  417s |      17 |   826068 |   220332 |    17500     29 |        0 |        0
419.78/420.02	c  419s |      17 |   831696 |   221032 |    17500     29 |        0 |        0
421.98/422.29	c  422s |      17 |   833760 |   221832 |    17500     29 |        0 |        0
424.08/424.38	c  424s |      17 |   834530 |   222532 |    17500     29 |        0 |        0
426.38/426.64	c  426s |      17 |   835276 |   223232 |    17500     30 |        0 |        0
428.48/428.79	c  428s |      17 |   836738 |   224232 |    17500     30 |        0 |        0
430.78/431.02	c  430s |      17 |   838260 |   225132 |    17500     30 |        0 |        0
432.88/433.10	c  432s |      17 |   839111 |   225932 |    17500     30 |        0 |        0
434.98/435.22	c  435s |      17 |   841029 |   226932 |    17500     30 |        0 |        0
436.97/437.29	c  437s |      17 |   844336 |   228032 |    17500     30 |        0 |        0
439.07/439.32	c  439s |      17 |   860074 |   229032 |    17500     30 |        0 |        0
441.17/441.49	c  441s |      17 |   861852 |   229732 |    17500     30 |        0 |        0
443.37/443.64	c  443s |      17 |   863408 |   230332 |    17500     30 |        0 |        0
445.38/445.69	c  445s |      17 |   864385 |   231032 |    17500     30 |        0 |        0
447.47/447.79	c  447s |      17 |   865298 |   231732 |    17500     30 |        0 |        0
449.57/449.83	c  449s |      17 |   866625 |   232732 |    17500     31 |        0 |        0
451.77/452.01	c  451s |      17 |   867703 |   233732 |    17500     31 |        0 |        0
453.76/454.04	c  453s |      17 |   868651 |   234632 |    17500     31 |        0 |        0
455.86/456.12	c  455s |      17 |   869752 |   235532 |    17500     31 |        0 |        0
457.96/458.23	c  458s |      17 |   870897 |   236432 |    17500     31 |        0 |        0
459.96/460.28	c  460s |      17 |   871732 |   237232 |    17500     31 |        0 |        0
462.16/462.47	c  462s |      17 |   873108 |   238032 |    17500     31 |        0 |        0
464.16/464.49	c  464s |      17 |   875574 |   238832 |    17500     31 |        0 |        0
466.26/466.50	c  466s |      17 |   876515 |   239632 |    17500     31 |        0 |        0
468.26/468.60	c  468s |      17 |   877604 |   240532 |    17500     31 |        0 |        0
470.36/470.64	c  470s |      17 |   901096 |   241332 |    17500     32 |        0 |        0
472.46/472.77	c  472s |      17 |   905166 |   242332 |    17500     32 |        0 |        0
474.55/474.83	c  474s |      17 |   906809 |   243232 |    17500     32 |        0 |        0
476.65/476.92	c  476s |      17 |   908898 |   244132 |    17500     32 |        0 |        0
478.65/478.97	c  478s |      17 |   911300 |   245032 |    17500     32 |        0 |        0
480.85/481.10	c  480s |      17 |   913747 |   246032 |    17500     32 |        0 |        0
482.95/483.27	c  483s |      17 |   914849 |   247032 |    17500     32 |        0 |        0
485.15/485.47	c  485s |      17 |   917265 |   247932 |    17500     32 |        0 |        0
487.24/487.56	c  487s |      17 |   918131 |   248732 |    17500     32 |        0 |        0
489.35/489.69	c  489s |      17 |   918990 |   249532 |    17500     32 |        0 |        0
491.45/491.80	c  491s |      17 |   920110 |   250532 |    17500     33 |        0 |        0
493.54/493.81	c  493s |      17 |   921447 |   251732 |    17500     33 |        0 |        0
495.54/495.88	c  495s |      17 |   922812 |   252932 |    17500     33 |        0 |        0
497.64/497.98	c  497s |      17 |   924046 |   254032 |    17500     33 |        0 |        0
499.74/500.09	c  499s |      17 |   925141 |   255032 |    17500     33 |        0 |        0
501.94/502.27	c  502s |      17 |   926208 |   256032 |    17500     33 |        0 |        0
504.03/504.34	c  504s |      17 |   927300 |   257032 |    17500     33 |        0 |        0
506.13/506.41	c  506s |      17 |   928469 |   258132 |    17500     33 |        0 |        0
508.13/508.49	c  508s |      17 |   929365 |   258932 |    17500     34 |        0 |        0
510.24/510.55	c  510s |      17 |   945122 |   260032 |    17500     34 |        0 |        0
512.34/512.60	c  512s |      17 |   949724 |   261232 |    17500     34 |        0 |        0
514.43/514.77	c  514s |      17 |   951119 |   262432 |    17500     34 |        0 |        0
516.63/516.92	c  516s |      17 |   952483 |   263632 |    17500     34 |        0 |        0
518.63/518.98	c  518s |      17 |   971628 |   264632 |    17500     34 |        0 |        0
520.83/521.13	c  521s |      17 |   972523 |   265432 |    17500     34 |        0 |        0
523.03/523.30	c  523s |      17 |   973446 |   266232 |    17500     34 |        0 |        0
525.12/525.40	c  525s |      17 |   974367 |   267032 |    17500     34 |        0 |        0
527.62/527.90	c  527s |      17 |   976213 |   267732 |    17500     35 |        0 |        0
529.82/530.15	c  530s |      17 |   978648 |   269032 |    17500     35 |        0 |        0
532.12/532.41	c  532s |      17 |   979487 |   269832 |    17500     35 |        0 |        0
534.21/534.59	c  534s |      17 |   980348 |   270632 |    17500     35 |        0 |        0
536.41/536.74	c  536s |      17 |   983888 |   271532 |    17500     35 |        0 |        0
538.51/538.81	c  538s |      17 |   984885 |   272432 |    17500     35 |        0 |        0
540.61/540.95	c  540s |      17 |   985877 |   273332 |    17500     35 |        0 |        0
542.71/543.03	c  542s |      17 |   987218 |   274332 |    17500     35 |        0 |        0
544.81/545.16	c  545s |      17 |  1013063 |   275332 |    17500     35 |        0 |        0
546.91/547.20	c  547s |      17 |  1015859 |   276332 |    17500     35 |        0 |        0
549.21/549.52	c  549s |      17 |  1017849 |   277232 |    17500     36 |        0 |        0
551.31/551.65	c  551s |      17 |  1019134 |   278232 |    17500     36 |        0 |        0
553.41/553.76	c  553s |      17 |  1020587 |   279532 |    17500     36 |        0 |        0
555.61/555.92	c  555s |      17 |  1021900 |   280732 |    17500     36 |        0 |        0
557.71/558.03	c  557s |      17 |  1023231 |   281932 |    17500     36 |        0 |        0
559.90/560.20	c  560s |      17 |  1025972 |   283132 |    17500     36 |        0 |        0
562.00/562.33	c  562s |      17 |  1027188 |   284232 |    17500     36 |        0 |        0
564.01/564.36	c  564s |      17 |  1028391 |   285332 |    17500     36 |        0 |        0
566.00/566.39	c  566s |      17 |  1031441 |   286532 |    17500     37 |        0 |        0
568.10/568.44	c  568s |      17 |  1033072 |   287932 |    17500     37 |        0 |        0
570.10/570.48	c  570s |      17 |  1034693 |   289132 |    17500     37 |        0 |        0
572.30/572.61	c  572s |      17 |  1036358 |   290232 |    17500     37 |        0 |        0
574.29/574.66	c  574s |      17 |  1036998 |   290832 |    17500     37 |        0 |        0
576.49/576.86	c  576s |      17 |  1042293 |   291532 |    17500     37 |        0 |        0
578.59/578.93	c  578s |      17 |  1044075 |   292532 |    17500     37 |        0 |        0
580.79/581.12	c  580s |      17 |  1053166 |   293532 |    17500     37 |        0 |        0
582.80/583.12	c  582s |      17 |  1056388 |   294332 |    19250     37 |        0 |        0
584.79/585.12	c  584s |      17 |  1057155 |   295032 |    19250     37 |        0 |        0
586.89/587.27	c  587s |      17 |  1059623 |   295832 |    19250     37 |        0 |        0
587.99/588.36	c  588s |      18 |  1060110 |   296252 |    19250     37 |        0 |        0
590.09/590.48	c  590s |      18 |  1067184 |   297252 |    19250     38 |        0 |        0
592.29/592.60	c  592s |      18 |  1071047 |   298552 |    19250     38 |        0 |        0
594.38/594.73	c  594s |      18 |  1078950 |   299552 |    19250     38 |        0 |        0
596.48/596.83	c  596s |      18 |  1079957 |   300452 |    19250     38 |        0 |        0
598.58/598.92	c  598s |      18 |  1081063 |   301352 |    19250     38 |        0 |        0
600.58/600.93	c  600s |      18 |  1082228 |   302452 |    19250     38 |        0 |        0
602.59/602.95	c  602s |      18 |  1083311 |   303452 |    19250     38 |        0 |        0
604.68/605.01	c  604s |      18 |  1084298 |   304352 |    19250     38 |        0 |        0
606.77/607.15	c  607s |      18 |  1085253 |   305252 |    19250     38 |        0 |        0
608.87/609.20	c  609s |      18 |  1086237 |   305852 |    19250     38 |        0 |        0
610.97/611.35	c  611s |      18 |  1095631 |   306552 |    19250     39 |        0 |        0
613.17/613.55	c  613s |      18 |  1097688 |   307452 |    19250     39 |        0 |        0
615.27/615.66	c  615s |      18 |  1099344 |   308252 |    19250     39 |        0 |        0
617.57/617.93	c  617s |      18 |  1100420 |   309152 |    19250     39 |        0 |        0
619.67/620.08	c  619s |      18 |  1101969 |   309952 |    19250     39 |        0 |        0
621.87/622.20	c  622s |      18 |  1104436 |   310752 |    19250     39 |        0 |        0
623.86/624.24	c  624s |      18 |  1105318 |   311552 |    19250     39 |        0 |        0
625.86/626.25	c  626s |      18 |  1106224 |   312352 |    19250     39 |        0 |        0
628.16/628.50	c  628s |      18 |  1107110 |   313152 |    19250     39 |        0 |        0
630.36/630.71	c  630s |      18 |  1109343 |   313952 |    19250     39 |        0 |        0
632.56/632.99	c  632s |      18 |  1110606 |   314852 |    19250     39 |        0 |        0
634.76/635.19	c  635s |      18 |  1111318 |   315452 |    19250     39 |        0 |        0
636.76/637.19	c  637s |      18 |  1112092 |   316152 |    19250     39 |        0 |        0
638.96/639.38	c  639s |      18 |  1112967 |   316952 |    19250     40 |        0 |        0
641.16/641.51	c  641s |      18 |  1117073 |   317752 |    19250     40 |        0 |        0
643.16/643.52	c  643s |      18 |  1117912 |   318352 |    19250     40 |        0 |        0
645.36/645.73	c  645s |      18 |  1119208 |   319052 |    19250     40 |        0 |        0
647.56/647.94	c  647s |      18 |  1121044 |   319952 |    19250     40 |        0 |        0
649.76/650.15	c  650s |      18 |  1122828 |   320752 |    19250     40 |        0 |        0
651.85/652.26	c  652s |      18 |  1123830 |   321452 |    19250     40 |        0 |        0
653.94/654.38	c  654s |      18 |  1124717 |   322252 |    19250     40 |        0 |        0
656.04/656.48	c  656s |      18 |  1125487 |   322952 |    19250     40 |        0 |        0
658.24/658.69	c  658s |      18 |  1126338 |   323752 |    19250     40 |        0 |        0
660.44/660.83	c  660s |      18 |  1127232 |   324552 |    19250     40 |        0 |        0
662.64/663.04	c  662s |      18 |  1128113 |   325352 |    19250     40 |        0 |        0
664.64/665.08	c  664s |      18 |  1128877 |   326052 |    19250     40 |        0 |        0
666.74/667.19	c  667s |      18 |  1151186 |   326852 |    19250     41 |        0 |        0
668.84/669.23	c  669s |      18 |  1155338 |   327852 |    19250     41 |        0 |        0
670.84/671.28	c  671s |      18 |  1156513 |   328952 |    19250     41 |        0 |        0
672.94/673.38	c  673s |      18 |  1157559 |   329952 |    19250     41 |        0 |        0
675.14/675.57	c  675s |      18 |  1158704 |   330852 |    19250     41 |        0 |        0
677.24/677.65	c  677s |      18 |  1159574 |   331652 |    19250     41 |        0 |        0
679.44/679.86	c  679s |      18 |  1160717 |   332352 |    19250     41 |        0 |        0
681.64/682.09	c  681s |      18 |  1161718 |   333252 |    19250     41 |        0 |        0
683.73/684.17	c  684s |      18 |  1162578 |   334052 |    19250     41 |        0 |        0
685.93/686.33	c  686s |      18 |  1164121 |   334852 |    19250     41 |        0 |        0
688.03/688.43	c  688s |      18 |  1167245 |   335652 |    19250     41 |        0 |        0
690.13/690.51	c  690s |      18 |  1172124 |   336352 |    19250     42 |        0 |        0
692.13/692.53	c  692s |      18 |  1173631 |   337352 |    19250     42 |        0 |        0
694.23/694.60	c  694s |      18 |  1174761 |   338352 |    19250     42 |        0 |        0
696.23/696.61	c  696s |      18 |  1175900 |   339352 |    19250     42 |        0 |        0
698.33/698.76	c  698s |      18 |  1177126 |   340452 |    19250     42 |        0 |        0
700.34/700.76	c  700s |      18 |  1178153 |   341352 |    19250     42 |        0 |        0
702.54/702.94	c  702s |      18 |  1179271 |   342352 |    19250     42 |        0 |        0
704.62/705.02	c  704s |      18 |  1180259 |   343252 |    19250     42 |        0 |        0
706.62/707.08	c  706s |      18 |  1181126 |   344052 |    19250     42 |        0 |        0
708.72/709.15	c  709s |      18 |  1181983 |   344852 |    19250     42 |        0 |        0
710.82/711.20	c  711s |      18 |  1182847 |   345652 |    19250     42 |        0 |        0
712.92/713.30	c  713s |      18 |  1183833 |   346552 |    19250     43 |        0 |        0
715.02/715.47	c  715s |      18 |  1185419 |   347752 |    19250     43 |        0 |        0
717.12/717.55	c  717s |      18 |  1186571 |   348752 |    19250     43 |        0 |        0
719.22/719.66	c  719s |      18 |  1187581 |   349652 |    19250     43 |        0 |        0
721.32/721.72	c  721s |      18 |  1188577 |   350552 |    19250     43 |        0 |        0
723.42/723.85	c  723s |      18 |  1189494 |   351352 |    19250     43 |        0 |        0
725.41/725.89	c  725s |      18 |  1190286 |   352052 |    19250     43 |        0 |        0
727.61/728.05	c  727s |      18 |  1191049 |   352752 |    19250     43 |        0 |        0
729.71/730.13	c  730s |      18 |  1191815 |   353452 |    19250     43 |        0 |        0
731.91/732.31	c  732s |      18 |  1194830 |   354152 |    19250     43 |        0 |        0
734.01/734.40	c  734s |      18 |  1195579 |   354852 |    19250     43 |        0 |        0
736.01/736.46	c  736s |      18 |  1196379 |   355552 |    19250     43 |        0 |        0
738.01/738.48	c  738s |      18 |  1197048 |   356152 |    19250     44 |        0 |        0
740.21/740.62	c  740s |      18 |  1214325 |   357352 |    19250     44 |        0 |        0
742.21/742.67	c  742s |      18 |  1215678 |   358552 |    19250     44 |        0 |        0
744.41/744.87	c  744s |      18 |  1217537 |   359752 |    19250     44 |        0 |        0
746.62/747.01	c  746s |      18 |  1218847 |   360652 |    19250     44 |        0 |        0
748.72/749.11	c  748s |      18 |  1222749 |   361652 |    19250     44 |        0 |        0
750.71/751.12	c  750s |      18 |  1248407 |   362552 |    19250     44 |        0 |        0
752.81/753.25	c  753s |      18 |  1251301 |   363352 |    19250     44 |        0 |        0
754.91/755.33	c  755s |      18 |  1253217 |   364052 |    19250     44 |        0 |        0
757.10/757.54	c  757s |      18 |  1254020 |   364752 |    19250     44 |        0 |        0
759.30/759.72	c  759s |      18 |  1254795 |   365452 |    19250     44 |        0 |        0
761.50/761.94	c  761s |      18 |  1255483 |   366052 |    19250     45 |        0 |        0
763.60/764.02	c  763s |      18 |  1257695 |   367052 |    19250     45 |        0 |        0
765.60/766.09	c  765s |      18 |  1258961 |   368152 |    19250     45 |        0 |        0
767.70/768.18	c  768s |      18 |  1260347 |   369052 |    19250     45 |        0 |        0
769.80/770.20	c  770s |      18 |  1263759 |   369952 |    19250     45 |        0 |        0
771.91/772.37	c  772s |      18 |  1264757 |   370852 |    19250     45 |        0 |        0
773.90/774.38	c  774s |      18 |  1265648 |   371652 |    19250     45 |        0 |        0
776.00/776.45	c  776s |      18 |  1266524 |   372452 |    19250     45 |        0 |        0
778.10/778.53	c  778s |      18 |  1267426 |   373252 |    19250     45 |        0 |        0
780.10/780.56	c  780s |      18 |  1282863 |   374052 |    19250     45 |        0 |        0
782.40/782.83	c  782s |      18 |  1285208 |   374752 |    19250     45 |        0 |        0
784.60/785.08	c  784s |      18 |  1285887 |   375352 |    19250     45 |        0 |        0
786.80/787.29	c  787s |      18 |  1286657 |   376052 |    19250     46 |        0 |        0
788.90/789.37	c  789s |      18 |  1287508 |   376852 |    19250     46 |        0 |        0
791.00/791.45	c  791s |      18 |  1288594 |   377752 |    19250     46 |        0 |        0
793.20/793.63	c  793s |      18 |  1290957 |   378752 |    19250     46 |        0 |        0
795.30/795.77	c  795s |      18 |  1292108 |   379752 |    19250     46 |        0 |        0
797.50/797.90	c  797s |      18 |  1293120 |   380652 |    19250     46 |        0 |        0
799.50/799.91	c  799s |      18 |  1294049 |   381452 |    19250     46 |        0 |        0
801.50/801.98	c  801s |      18 |  1294955 |   382252 |    19250     46 |        0 |        0
803.60/804.06	c  803s |      18 |  1295845 |   383052 |    19250     46 |        0 |        0
805.80/806.26	c  806s |      18 |  1297900 |   383852 |    19250     46 |        0 |        0
807.90/808.31	c  808s |      18 |  1298770 |   384652 |    19250     46 |        0 |        0
809.99/810.48	c  810s |      18 |  1299812 |   385352 |    19250     46 |        0 |        0
812.29/812.70	c  812s |      18 |  1306192 |   386152 |    19250     47 |        0 |        0
814.49/814.96	c  814s |      18 |  1307365 |   387052 |    19250     47 |        0 |        0
816.69/817.11	c  816s |      18 |  1308246 |   387852 |    19250     47 |        0 |        0
818.79/819.25	c  819s |      18 |  1309410 |   388752 |    19250     47 |        0 |        0
820.89/821.36	c  821s |      18 |  1311021 |   389552 |    19250     47 |        0 |        0
823.09/823.50	c  823s |      18 |  1311881 |   390352 |    19250     47 |        0 |        0
825.29/825.71	c  825s |      18 |  1313862 |   391152 |    19250     47 |        0 |        0
827.59/828.01	c  827s |      18 |  1314751 |   391952 |    19250     47 |        0 |        0
829.59/830.01	c  829s |      18 |  1315533 |   392652 |    19250     47 |        0 |        0
831.69/832.16	c  832s |      18 |  1316323 |   393352 |    19250     47 |        0 |        0
833.99/834.42	c  834s |      18 |  1317076 |   394052 |    19250     47 |        0 |        0
835.99/836.47	c  836s |      18 |  1317711 |   394652 |    19250     47 |        0 |        0
838.19/838.65	c  838s |      18 |  1318392 |   395252 |    19250     47 |        0 |        0
840.39/840.84	c  840s |      18 |  1319061 |   395852 |    19250     48 |        0 |        0
842.49/842.99	c  842s |      18 |  1319831 |   396552 |    19250     48 |        0 |        0
844.69/845.10	c  844s |      18 |  1320610 |   397252 |    19250     48 |        0 |        0
846.89/847.33	c  847s |      18 |  1321372 |   397952 |    19250     48 |        0 |        0
848.90/849.39	c  849s |      18 |  1322021 |   398552 |    19250     48 |        0 |        0
851.19/851.66	c  851s |      18 |  1322799 |   399252 |    19250     48 |        0 |        0
853.39/853.81	c  853s |      18 |  1323465 |   399852 |    19250     48 |        0 |        0
855.39/855.83	c  855s |      18 |  1324172 |   400452 |    19250     48 |        0 |        0
857.49/857.96	c  857s |      18 |  1324829 |   401052 |    19250     48 |        0 |        0
859.59/860.05	c  859s |      18 |  1325515 |   401652 |    19250     48 |        0 |        0
861.59/862.10	c  861s |      18 |  1326062 |   402152 |    19250     48 |        0 |        0
863.98/864.49	c  864s |      18 |  1326731 |   402752 |    19250     48 |        0 |        0
866.18/866.62	c  866s |      18 |  1328100 |   403252 |    19250     48 |        0 |        0
868.48/868.90	c  868s |      18 |  1330085 |   403952 |    19250     48 |        0 |        0
870.58/871.08	c  870s |      18 |  1330837 |   404652 |    19250     48 |        0 |        0
873.09/873.54	c  873s |      18 |  1331628 |   405352 |    19250     49 |        0 |        0
875.38/875.82	c  875s |      18 |  1332279 |   405952 |    19250     49 |        0 |        0
877.39/877.85	c  877s |      18 |  1333052 |   406652 |    19250     49 |        0 |        0
879.59/880.03	c  879s |      18 |  1333806 |   407352 |    19250     49 |        0 |        0
881.89/882.35	c  882s |      18 |  1334575 |   408052 |    19250     49 |        0 |        0
883.99/884.43	c  884s |      18 |  1335253 |   408652 |    19250     49 |        0 |        0
886.08/886.54	c  886s |      18 |  1349536 |   409352 |    19250     49 |        0 |        0
888.08/888.56	c  888s |      18 |  1353604 |   410152 |    19250     49 |        0 |        0
890.08/890.58	c  890s |      18 |  1375326 |   411052 |    19250     49 |        0 |        0
892.18/892.64	c  892s |      18 |  1377619 |   412152 |    19250     49 |        0 |        0
894.28/894.78	c  894s |      18 |  1378975 |   413052 |    19250     49 |        0 |        0
896.38/896.85	c  896s |      18 |  1379864 |   413852 |    19250     49 |        0 |        0
898.48/898.93	c  898s |      18 |  1380775 |   414652 |    19250     49 |        0 |        0
900.68/901.19	c  901s |      18 |  1381552 |   415352 |    19250     50 |        0 |        0
902.79/903.23	c  903s |      18 |  1382983 |   416252 |    19250     50 |        0 |        0
904.88/905.40	c  905s |      18 |  1384181 |   417352 |    19250     50 |        0 |        0
907.08/907.53	c  907s |      18 |  1385256 |   418352 |    19250     50 |        0 |        0
909.08/909.56	c  909s |      18 |  1386241 |   419252 |    19250     50 |        0 |        0
911.18/911.66	c  911s |      18 |  1410991 |   420152 |    19250     50 |        0 |        0
913.38/913.81	c  913s |      18 |  1413181 |   420852 |    19250     50 |        0 |        0
915.58/916.01	c  915s |      18 |  1414573 |   421652 |    19250     50 |        0 |        0
917.88/918.32	c  918s |      18 |  1417651 |   422552 |    19250     50 |        0 |        0
919.97/920.41	c  920s |      18 |  1422690 |   423452 |    19250     50 |        0 |        0
922.07/922.58	c  922s |      18 |  1423685 |   424352 |    19250     50 |        0 |        0
924.17/924.65	c  924s |      18 |  1424554 |   425152 |    19250     50 |        0 |        0
926.27/926.80	c  926s |      18 |  1425844 |   426152 |    19250     51 |        0 |        0
928.37/928.86	c  928s |      18 |  1427160 |   427252 |    19250     51 |        0 |        0
930.47/930.97	c  930s |      18 |  1428509 |   428452 |    19250     51 |        0 |        0
932.67/933.13	c  932s |      18 |  1429712 |   429552 |    19250     51 |        0 |        0
934.77/935.25	c  935s |      18 |  1431528 |   430452 |    19250     51 |        0 |        0
936.97/937.42	c  937s |      18 |  1432670 |   431452 |    19250     51 |        0 |        0
938.98/939.45	c  939s |      18 |  1433765 |   432452 |    19250     51 |        0 |        0
940.97/941.46	c  941s |      18 |  1434788 |   433352 |    19250     51 |        0 |        0
942.97/943.48	c  943s |      18 |  1435651 |   434152 |    19250     51 |        0 |        0
944.97/945.49	c  945s |      18 |  1436508 |   434952 |    19250     51 |        0 |        0
947.17/947.63	c  947s |      18 |  1437645 |   435952 |    19250     52 |        0 |        0
949.27/949.77	c  949s |      18 |  1438751 |   436952 |    19250     52 |        0 |        0
951.47/951.92	c  951s |      18 |  1457243 |   437852 |    19250     52 |        0 |        0
953.67/954.13	c  954s |      18 |  1458274 |   438752 |    19250     52 |        0 |        0
955.67/956.18	c  956s |      18 |  1459346 |   439652 |    19250     52 |        0 |        0
957.77/958.27	c  958s |      18 |  1460489 |   440452 |    19250     52 |        0 |        0
959.87/960.34	c  960s |      18 |  1461369 |   441252 |    19250     52 |        0 |        0
961.87/962.34	c  962s |      18 |  1462543 |   442052 |    21175     52 |        0 |        0
964.07/964.51	c  964s |      18 |  1463451 |   442852 |    21175     52 |        0 |        0
966.17/966.69	c  966s |      18 |  1464348 |   443652 |    21175     52 |        0 |        0
968.37/968.82	c  968s |      18 |  1465221 |   444452 |    21175     52 |        0 |        0
968.47/968.91	c  968s |      19 |  1465252 |   444482 |    21175     52 |        0 |        0
970.57/971.04	c  970s |      19 |  1497703 |   445182 |    21175     52 |        0 |        0
972.77/973.28	c  973s |      19 |  1501535 |   445982 |    21175     52 |        0 |        0
975.06/975.52	c  975s |      19 |  1503473 |   446882 |    21175     52 |        0 |        0
977.06/977.55	c  977s |      19 |  1504474 |   447782 |    21175     53 |        0 |        0
979.06/979.58	c  979s |      19 |  1507235 |   448682 |    21175     53 |        0 |        0
981.16/981.66	c  981s |      19 |  1508348 |   449682 |    21175     53 |        0 |        0
983.36/983.81	c  983s |      19 |  1509497 |   450682 |    21175     53 |        0 |        0
985.36/985.88	c  985s |      19 |  1510771 |   451482 |    21175     53 |        0 |        0
987.47/987.95	c  987s |      19 |  1511893 |   452182 |    21175     53 |        0 |        0
989.57/990.06	c  989s |      19 |  1512654 |   452882 |    21175     53 |        0 |        0
991.66/992.17	c  992s |      19 |  1513425 |   453582 |    21175     53 |        0 |        0
993.76/994.24	c  994s |      19 |  1514192 |   454282 |    21175     53 |        0 |        0
995.86/996.38	c  996s |      19 |  1514954 |   454982 |    21175     53 |        0 |        0
998.16/998.60	c  998s |      19 |  1515708 |   455682 |    21175     53 |        0 |        0
1000.16/1000.67	c 1000s |      19 |  1516370 |   456282 |    21175     53 |        0 |        0
1002.26/1002.75	c 1002s |      19 |  1517033 |   456882 |    21175     53 |        0 |        0
1004.46/1004.90	c 1004s |      19 |  1517806 |   457582 |    21175     53 |        0 |        0
1006.56/1007.03	c 1006s |      19 |  1518573 |   458282 |    21175     54 |        0 |        0
1008.66/1009.15	c 1009s |      19 |  1519588 |   459182 |    21175     54 |        0 |        0
1010.86/1011.31	c 1011s |      19 |  1521218 |   460082 |    21175     54 |        0 |        0
1012.96/1013.42	c 1013s |      19 |  1522086 |   460882 |    21175     54 |        0 |        0
1015.16/1015.64	c 1015s |      19 |  1523068 |   461782 |    21175     54 |        0 |        0
1017.36/1017.85	c 1017s |      19 |  1524042 |   462682 |    21175     54 |        0 |        0
1019.46/1019.95	c 1019s |      19 |  1524904 |   463482 |    21175     54 |        0 |        0
1021.56/1022.02	c 1021s |      19 |  1525781 |   464282 |    21175     54 |        0 |        0
1023.76/1024.23	c 1024s |      19 |  1527178 |   465182 |    21175     54 |        0 |        0
1025.96/1026.45	c 1026s |      19 |  1528163 |   466082 |    21175     54 |        0 |        0
1028.26/1028.74	c 1028s |      19 |  1529052 |   466882 |    21175     54 |        0 |        0
1030.46/1030.93	c 1030s |      19 |  1529852 |   467582 |    21175     54 |        0 |        0
1032.56/1033.00	c 1032s |      19 |  1530659 |   468282 |    21175     54 |        0 |        0
1034.85/1035.32	c 1035s |      19 |  1531205 |   468782 |    21175     55 |        0 |        0
1037.05/1037.55	c 1037s |      19 |  1532182 |   469682 |    21175     55 |        0 |        0
1039.35/1039.87	c 1039s |      19 |  1534958 |   470582 |    21175     55 |        0 |        0
1041.55/1042.03	c 1041s |      19 |  1535950 |   471482 |    21175     55 |        0 |        0
1043.75/1044.20	c 1044s |      19 |  1536940 |   472382 |    21175     55 |        0 |        0
1045.85/1046.38	c 1046s |      19 |  1537936 |   473282 |    21175     55 |        0 |        0
1048.15/1048.61	c 1048s |      19 |  1538931 |   474182 |    21175     55 |        0 |        0
1050.35/1050.85	c 1050s |      19 |  1539799 |   474982 |    21175     55 |        0 |        0
1052.65/1053.15	c 1053s |      19 |  1540672 |   475782 |    21175     55 |        0 |        0
1054.65/1055.16	c 1055s |      19 |  1544529 |   476482 |    21175     55 |        0 |        0
1056.66/1057.18	c 1057s |      19 |  1545297 |   477182 |    21175     55 |        0 |        0
1058.75/1059.29	c 1059s |      19 |  1546179 |   477982 |    21175     55 |        0 |        0
1060.85/1061.36	c 1061s |      19 |  1546938 |   478682 |    21175     55 |        0 |        0
1063.15/1063.65	c 1063s |      19 |  1547729 |   479382 |    21175     55 |        0 |        0
1065.25/1065.75	c 1065s |      19 |  1548271 |   479882 |    21175     56 |        0 |        0
1067.25/1067.75	c 1067s |      19 |  1549257 |   480782 |    21175     56 |        0 |        0
1069.25/1069.76	c 1069s |      19 |  1550291 |   481682 |    21175     56 |        0 |        0
1071.35/1071.81	c 1071s |      19 |  1551303 |   482582 |    21175     56 |        0 |        0
1073.35/1073.90	c 1073s |      19 |  1552274 |   483482 |    21175     56 |        0 |        0
1075.55/1076.07	c 1075s |      19 |  1553256 |   484382 |    21175     56 |        0 |        0
1077.55/1078.09	c 1077s |      19 |  1554153 |   485182 |    21175     56 |        0 |        0
1079.65/1080.20	c 1080s |      19 |  1554929 |   485882 |    21175     56 |        0 |        0
1081.95/1082.41	c 1082s |      19 |  1555839 |   486682 |    21175     56 |        0 |        0
1084.05/1084.50	c 1084s |      19 |  1556607 |   487382 |    21175     56 |        0 |        0
1086.05/1086.50	c 1086s |      19 |  1557251 |   487982 |    21175     56 |        0 |        0
1088.25/1088.77	c 1088s |      19 |  1558019 |   488682 |    21175     56 |        0 |        0
1090.25/1090.80	c 1090s |      19 |  1558658 |   489282 |    21175     56 |        0 |        0
1092.35/1092.82	c 1092s |      19 |  1559321 |   489882 |    21175     56 |        0 |        0
1094.44/1094.92	c 1094s |      19 |  1559989 |   490482 |    21175     56 |        0 |        0
1096.54/1097.09	c 1096s |      19 |  1560785 |   491182 |    21175     57 |        0 |        0
1099.25/1099.73	c 1099s |      19 |  1564844 |   491882 |    21175     57 |        0 |        0
1101.35/1101.87	c 1101s |      19 |  1566610 |   492782 |    21175     57 |        0 |        0
1103.55/1104.03	c 1103s |      19 |  1567601 |   493682 |    21175     57 |        0 |        0
1105.75/1106.21	c 1106s |      19 |  1568696 |   494682 |    21175     57 |        0 |        0
1107.95/1108.41	c 1108s |      19 |  1569737 |   495582 |    21175     57 |        0 |        0
1109.95/1110.43	c 1110s |      19 |  1570635 |   496382 |    21175     57 |        0 |        0
1112.15/1112.63	c 1112s |      19 |  1572792 |   497282 |    21175     57 |        0 |        0
1114.25/1114.74	c 1114s |      19 |  1573550 |   497982 |    21175     57 |        0 |        0
1116.55/1117.02	c 1116s |      19 |  1574426 |   498782 |    21175     57 |        0 |        0
1118.65/1119.10	c 1118s |      19 |  1575211 |   499482 |    21175     57 |        0 |        0
1120.65/1121.19	c 1121s |      19 |  1575963 |   500182 |    21175     57 |        0 |        0
1122.76/1123.27	c 1123s |      19 |  1576959 |   500982 |    21175     57 |        0 |        0
1124.96/1125.44	c 1125s |      19 |  1577825 |   501782 |    21175     58 |        0 |        0
1127.16/1127.67	c 1127s |      19 |  1579024 |   502882 |    21175     58 |        0 |        0
1129.15/1129.68	c 1129s |      19 |  1580018 |   503782 |    21175     58 |        0 |        0
1131.25/1131.76	c 1131s |      19 |  1581309 |   504382 |    21175     58 |        0 |        0
1133.45/1133.97	c 1133s |      19 |  1582310 |   505282 |    21175     58 |        0 |        0
1135.55/1136.05	c 1135s |      19 |  1583168 |   506082 |    21175     58 |        0 |        0
1137.75/1138.28	c 1138s |      19 |  1584025 |   506882 |    21175     58 |        0 |        0
1139.85/1140.33	c 1140s |      19 |  1584810 |   507582 |    21175     58 |        0 |        0
1141.85/1142.33	c 1142s |      19 |  1585600 |   508282 |    21175     58 |        0 |        0
1144.05/1144.53	c 1144s |      19 |  1586475 |   509082 |    21175     58 |        0 |        0
1146.24/1146.71	c 1146s |      19 |  1587344 |   509882 |    21175     58 |        0 |        0
1148.44/1148.92	c 1148s |      19 |  1588237 |   510682 |    21175     58 |        0 |        0
1150.54/1151.08	c 1150s |      19 |  1589026 |   511382 |    21175     58 |        0 |        0
1152.64/1153.17	c 1153s |      19 |  1589708 |   511982 |    21175     58 |        0 |        0
1154.74/1155.22	c 1155s |      19 |  1590370 |   512582 |    21175     59 |        0 |        0
1157.04/1157.51	c 1157s |      19 |  1591265 |   513382 |    21175     59 |        0 |        0
1159.05/1159.53	c 1159s |      19 |  1592144 |   514182 |    21175     59 |        0 |        0
1161.15/1161.62	c 1161s |      19 |  1593009 |   514982 |    21175     59 |        0 |        0
1163.35/1163.87	c 1163s |      19 |  1593888 |   515782 |    21175     59 |        0 |        0
1165.44/1165.97	c 1165s |      19 |  1600546 |   516682 |    21175     59 |        0 |        0
1167.54/1168.00	c 1167s |      19 |  1601464 |   517482 |    21175     59 |        0 |        0
1169.64/1170.19	c 1170s |      19 |  1602249 |   518082 |    21175     59 |        0 |        0
1171.94/1172.43	c 1172s |      19 |  1603220 |   518982 |    21175     59 |        0 |        0
1174.24/1174.72	c 1174s |      19 |  1604080 |   519782 |    21175     59 |        0 |        0
1176.55/1177.02	c 1176s |      19 |  1605069 |   520582 |    21175     59 |        0 |        0
1178.74/1179.30	c 1179s |      19 |  1605850 |   521282 |    21175     59 |        0 |        0
1180.94/1181.46	c 1181s |      19 |  1606625 |   521982 |    21175     59 |        0 |        0
1183.14/1183.69	c 1183s |      19 |  1607408 |   522682 |    21175     59 |        0 |        0
1185.24/1185.79	c 1185s |      19 |  1607869 |   523082 |    21175     60 |        0 |        0
1187.54/1188.03	c 1187s |      19 |  1609011 |   524082 |    21175     60 |        0 |        0
1189.74/1190.24	c 1190s |      19 |  1609983 |   524982 |    21175     60 |        0 |        0
1191.94/1192.46	c 1192s |      19 |  1611102 |   525982 |    21175     60 |        0 |        0
1194.04/1194.55	c 1194s |      19 |  1612253 |   526982 |    21175     60 |        0 |        0
1196.14/1196.69	c 1196s |      19 |  1614839 |   527782 |    21175     60 |        0 |        0
1198.34/1198.85	c 1198s |      19 |  1615721 |   528582 |    21175     60 |        0 |        0
1200.54/1201.01	c 1200s |      19 |  1616596 |   529382 |    21175     60 |        0 |        0
1202.74/1203.29	c 1203s |      19 |  1618474 |   530182 |    21175     60 |        0 |        0
1204.93/1205.42	c 1205s |      19 |  1619328 |   530882 |    21175     60 |        0 |        0
1206.93/1207.44	c 1207s |      19 |  1620141 |   531582 |    21175     60 |        0 |        0
1208.93/1209.45	c 1209s |      19 |  1620913 |   532282 |    21175     60 |        0 |        0
1211.13/1211.65	c 1211s |      19 |  1621674 |   532982 |    21175     60 |        0 |        0
1213.23/1213.71	c 1213s |      19 |  1622309 |   533582 |    21175     60 |        0 |        0
1215.23/1215.77	c 1215s |      19 |  1623124 |   533982 |    21175     61 |        0 |        0
1217.24/1217.80	c 1217s |      19 |  1624298 |   534982 |    21175     61 |        0 |        0
1219.44/1219.99	c 1219s |      19 |  1625385 |   535982 |    21175     61 |        0 |        0
1221.64/1222.17	c 1222s |      19 |  1626477 |   536982 |    21175     61 |        0 |        0
1223.84/1224.34	c 1224s |      19 |  1627448 |   537882 |    21175     61 |        0 |        0
1226.04/1226.57	c 1226s |      19 |  1628442 |   538782 |    21175     61 |        0 |        0
1228.03/1228.59	c 1228s |      19 |  1629212 |   539482 |    21175     61 |        0 |        0
1230.13/1230.67	c 1230s |      19 |  1629965 |   540182 |    21175     61 |        0 |        0
1232.33/1232.88	c 1232s |      19 |  1630876 |   540982 |    21175     61 |        0 |        0
1234.43/1234.90	c 1234s |      19 |  1631653 |   541682 |    21175     61 |        0 |        0
1236.63/1237.15	c 1237s |      19 |  1632390 |   542382 |    21175     61 |        0 |        0
1238.73/1239.26	c 1239s |      19 |  1633213 |   543082 |    21175     61 |        0 |        0
1240.73/1241.29	c 1241s |      19 |  1634020 |   543782 |    21175     61 |        0 |        0
1242.93/1243.48	c 1243s |      19 |  1634791 |   544482 |    21175     61 |        0 |        0
1245.03/1245.59	c 1245s |      19 |  1635456 |   545082 |    21175     62 |        0 |        0
1247.13/1247.60	c 1247s |      19 |  1636437 |   545982 |    21175     62 |        0 |        0
1249.23/1249.73	c 1249s |      19 |  1637566 |   546982 |    21175     62 |        0 |        0
1251.33/1251.86	c 1251s |      19 |  1640744 |   547682 |    21175     62 |        0 |        0
1253.43/1253.94	c 1253s |      19 |  1641624 |   548482 |    21175     62 |        0 |        0
1255.53/1256.08	c 1255s |      19 |  1642671 |   549382 |    21175     62 |        0 |        0
1257.73/1258.23	c 1258s |      19 |  1643516 |   550182 |    21175     62 |        0 |        0
1259.93/1260.45	c 1260s |      19 |  1644506 |   551082 |    21175     62 |        0 |        0
1262.03/1262.51	c 1262s |      19 |  1645372 |   551882 |    21175     62 |        0 |        0
1264.22/1264.74	c 1264s |      19 |  1646260 |   552682 |    21175     62 |        0 |        0
1266.32/1266.81	c 1266s |      19 |  1647024 |   553382 |    21175     62 |        0 |        0
1268.52/1269.00	c 1268s |      19 |  1647767 |   554082 |    21175     62 |        0 |        0
1270.72/1271.20	c 1271s |      19 |  1648533 |   554782 |    21175     62 |        0 |        0
1272.82/1273.30	c 1273s |      19 |  1649269 |   555482 |    21175     62 |        0 |        0
1274.82/1275.37	c 1275s |      19 |  1649935 |   556082 |    21175     63 |        0 |        0
1276.92/1277.45	c 1277s |      19 |  1653331 |   556982 |    21175     63 |        0 |        0
1279.02/1279.57	c 1279s |      19 |  1654312 |   557882 |    21175     63 |        0 |        0
1281.13/1281.65	c 1281s |      19 |  1655179 |   558682 |    21175     63 |        0 |        0
1283.23/1283.78	c 1283s |      19 |  1656051 |   559482 |    21175     63 |        0 |        0
1285.53/1286.00	c 1285s |      19 |  1656924 |   560282 |    21175     63 |        0 |        0
1287.82/1288.39	c 1288s |      19 |  1663803 |   561082 |    21175     63 |        0 |        0
1290.02/1290.54	c 1290s |      19 |  1678071 |   561982 |    21175     63 |        0 |        0
1292.03/1292.60	c 1292s |      19 |  1679473 |   562782 |    21175     63 |        0 |        0
1294.12/1294.70	c 1294s |      19 |  1680567 |   563682 |    21175     63 |        0 |        0
1296.22/1296.78	c 1296s |      19 |  1681444 |   564482 |    21175     63 |        0 |        0
1298.42/1298.94	c 1298s |      19 |  1683219 |   565282 |    21175     63 |        0 |        0
1300.52/1301.09	c 1300s |      19 |  1684021 |   565982 |    21175     63 |        0 |        0
1302.62/1303.11	c 1302s |      19 |  1684568 |   566482 |    21175     64 |        0 |        0
1304.72/1305.28	c 1305s |      19 |  1685661 |   567482 |    21175     64 |        0 |        0
1306.82/1307.30	c 1307s |      19 |  1686616 |   568282 |    21175     64 |        0 |        0
1308.92/1309.49	c 1309s |      19 |  1687912 |   569182 |    21175     64 |        0 |        0
1311.22/1311.70	c 1311s |      19 |  1688902 |   570082 |    21175     64 |        0 |        0
1313.22/1313.74	c 1313s |      19 |  1689757 |   570882 |    21175     64 |        0 |        0
1315.22/1315.78	c 1315s |      19 |  1690949 |   571582 |    21175     64 |        0 |        0
1317.42/1317.98	c 1317s |      19 |  1691856 |   572382 |    21175     64 |        0 |        0
1319.62/1320.20	c 1320s |      19 |  1692738 |   573182 |    21175     64 |        0 |        0
1321.72/1322.27	c 1322s |      19 |  1693632 |   573982 |    21175     64 |        0 |        0
1323.81/1324.39	c 1324s |      19 |  1694535 |   574782 |    21175     64 |        0 |        0
1326.01/1326.50	c 1326s |      19 |  1695411 |   575582 |    21175     64 |        0 |        0
1328.21/1328.74	c 1328s |      19 |  1696288 |   576382 |    21175     64 |        0 |        0
1330.41/1330.94	c 1330s |      19 |  1697051 |   577082 |    21175     64 |        0 |        0
1332.72/1333.21	c 1333s |      19 |  1697908 |   577882 |    21175     65 |        0 |        0
1334.81/1335.37	c 1335s |      19 |  1698782 |   578682 |    21175     65 |        0 |        0
1336.91/1337.41	c 1337s |      19 |  1699650 |   579482 |    21175     65 |        0 |        0
1339.11/1339.61	c 1339s |      19 |  1700549 |   580282 |    21175     65 |        0 |        0
1341.31/1341.81	c 1341s |      19 |  1701436 |   581082 |    21175     65 |        0 |        0
1343.41/1343.99	c 1343s |      19 |  1702312 |   581882 |    21175     65 |        0 |        0
1345.51/1346.03	c 1345s |      19 |  1703083 |   582582 |    21175     65 |        0 |        0
1347.71/1348.24	c 1348s |      19 |  1703848 |   583282 |    21175     65 |        0 |        0
1349.91/1350.47	c 1350s |      19 |  1704641 |   583982 |    21175     65 |        0 |        0
1352.01/1352.53	c 1352s |      19 |  1705295 |   584582 |    21175     65 |        0 |        0
1354.11/1354.65	c 1354s |      19 |  1705957 |   585182 |    21175     65 |        0 |        0
1356.41/1356.94	c 1356s |      19 |  1706736 |   585882 |    21175     65 |        0 |        0
1358.61/1359.16	c 1359s |      19 |  1707501 |   586582 |    21175     65 |        0 |        0
1361.01/1361.50	c 1361s |      19 |  1708236 |   587282 |    21175     65 |        0 |        0
1363.01/1363.54	c 1363s |      19 |  1708878 |   587882 |    21175     65 |        0 |        0
1365.81/1366.30	c 1366s |      19 |  1709110 |   588082 |    21175     66 |        0 |        0
1367.91/1368.41	c 1368s |      19 |  1710112 |   588982 |    21175     66 |        0 |        0
1370.11/1370.66	c 1370s |      19 |  1711112 |   589882 |    21175     66 |        0 |        0
1372.10/1372.69	c 1372s |      19 |  1712105 |   590782 |    21175     66 |        0 |        0
1374.20/1374.72	c 1374s |      19 |  1712985 |   591582 |    21175     66 |        0 |        0
1376.20/1376.79	c 1376s |      19 |  1713835 |   592382 |    21175     66 |        0 |        0
1378.50/1379.02	c 1378s |      19 |  1714746 |   593182 |    21175     66 |        0 |        0
1380.70/1381.26	c 1381s |      19 |  1715584 |   593982 |    21175     66 |        0 |        0
1383.00/1383.55	c 1383s |      19 |  1716313 |   594682 |    21175     66 |        0 |        0
1385.20/1385.71	c 1385s |      19 |  1716982 |   595282 |    21175     66 |        0 |        0
1387.40/1387.91	c 1387s |      19 |  1717763 |   595982 |    21175     66 |        0 |        0
1389.50/1390.01	c 1389s |      19 |  1718420 |   596582 |    21175     66 |        0 |        0
1391.60/1392.16	c 1392s |      19 |  1719061 |   597182 |    21175     66 |        0 |        0
1393.90/1394.41	c 1394s |      19 |  1719714 |   597782 |    21175     66 |        0 |        0
1395.90/1396.42	c 1396s |      19 |  1720253 |   598282 |    21175     66 |        0 |        0
1398.60/1399.16	c 1399s |      19 |  1722782 |   598882 |    21175     67 |        0 |        0
1400.80/1401.32	c 1401s |      19 |  1723788 |   599782 |    21175     67 |        0 |        0
1402.80/1403.35	c 1403s |      19 |  1724760 |   600682 |    21175     67 |        0 |        0
1405.00/1405.58	c 1405s |      19 |  1725775 |   601582 |    21175     67 |        0 |        0
1407.20/1407.76	c 1407s |      19 |  1726625 |   602382 |    21175     67 |        0 |        0
1409.40/1409.92	c 1409s |      19 |  1727483 |   603182 |    21175     67 |        0 |        0
1411.60/1412.16	c 1412s |      19 |  1729346 |   603882 |    21175     67 |        0 |        0
1413.80/1414.35	c 1414s |      19 |  1730246 |   604682 |    21175     67 |        0 |        0
1415.90/1416.44	c 1416s |      19 |  1731001 |   605382 |    21175     67 |        0 |        0
1418.10/1418.62	c 1418s |      19 |  1731897 |   606182 |    21175     67 |        0 |        0
1420.10/1420.67	c 1420s |      19 |  1732796 |   606982 |    21175     67 |        0 |        0
1422.39/1422.95	c 1422s |      19 |  1734157 |   607882 |    21175     67 |        0 |        0
1424.69/1425.21	c 1425s |      19 |  1735022 |   608682 |    21175     67 |        0 |        0
1426.99/1427.51	c 1427s |      19 |  1735774 |   609382 |    21175     67 |        0 |        0
1429.09/1429.63	c 1429s |      19 |  1736312 |   609882 |    21175     68 |        0 |        0
1431.19/1431.72	c 1431s |      19 |  1737179 |   610682 |    21175     68 |        0 |        0
1433.19/1433.75	c 1433s |      19 |  1738149 |   611582 |    21175     68 |        0 |        0
1435.39/1435.93	c 1435s |      19 |  1739151 |   612482 |    21175     68 |        0 |        0
1437.59/1438.18	c 1438s |      19 |  1740230 |   613482 |    21175     68 |        0 |        0
1439.79/1440.30	c 1440s |      19 |  1741185 |   614382 |    21175     68 |        0 |        0
1441.79/1442.35	c 1442s |      19 |  1742096 |   615182 |    21175     68 |        0 |        0
1443.99/1444.57	c 1444s |      19 |  1742926 |   615882 |    21175     68 |        0 |        0
1446.19/1446.74	c 1446s |      19 |  1743795 |   616682 |    21175     68 |        0 |        0
1448.20/1448.75	c 1448s |      19 |  1744560 |   617382 |    21175     68 |        0 |        0
1450.30/1450.87	c 1450s |      19 |  1745363 |   618082 |    21175     68 |        0 |        0
1452.40/1452.95	c 1452s |      19 |  1746126 |   618782 |    21175     68 |        0 |        0
1454.60/1455.18	c 1455s |      19 |  1747124 |   619582 |    21175     68 |        0 |        0
1456.90/1457.42	c 1457s |      19 |  1747865 |   620282 |    21175     68 |        0 |        0
1458.90/1459.48	c 1459s |      19 |  1748192 |   620582 |    21175     69 |        0 |        0
1461.40/1461.99	c 1461s |      19 |  1749707 |   621382 |    21175     69 |        0 |        0
1463.50/1464.04	c 1463s |      19 |  1751220 |   622382 |    21175     69 |        0 |        0
1465.60/1466.11	c 1465s |      19 |  1752325 |   623382 |    21175     69 |        0 |        0
1467.59/1468.12	c 1467s |      19 |  1753293 |   624282 |    21175     69 |        0 |        0
1469.69/1470.26	c 1470s |      19 |  1754289 |   625182 |    21175     69 |        0 |        0
1471.89/1472.48	c 1472s |      19 |  1755222 |   626082 |    21175     69 |        0 |        0
1473.89/1474.48	c 1474s |      19 |  1756074 |   626882 |    21175     69 |        0 |        0
1475.99/1476.50	c 1476s |      19 |  1756912 |   627682 |    21175     69 |        0 |        0
1478.00/1478.54	c 1478s |      19 |  1757778 |   628482 |    21175     69 |        0 |        0
1480.20/1480.73	c 1480s |      19 |  1758630 |   629282 |    21175     69 |        0 |        0
1482.40/1482.96	c 1482s |      19 |  1759476 |   630082 |    21175     69 |        0 |        0
1484.60/1485.16	c 1485s |      19 |  1760370 |   630882 |    21175     69 |        0 |        0
1486.99/1487.54	c 1487s |      19 |  1761055 |   631482 |    21175     70 |        0 |        0
1489.00/1489.55	c 1489s |      19 |  1762111 |   632382 |    21175     70 |        0 |        0
1491.10/1491.63	c 1491s |      19 |  1763079 |   633282 |    21175     70 |        0 |        0
1493.09/1493.68	c 1493s |      19 |  1764031 |   634182 |    21175     70 |        0 |        0
1495.19/1495.76	c 1495s |      19 |  1764896 |   634982 |    21175     70 |        0 |        0
1497.59/1498.13	c 1498s |      19 |  1765582 |   635582 |    21175     70 |        0 |        0
1499.79/1500.32	c 1500s |      19 |  1766527 |   636482 |    21175     70 |        0 |        0
1501.99/1502.50	c 1502s |      19 |  1767489 |   637382 |    21175     70 |        0 |        0
1503.99/1504.55	c 1504s |      19 |  1768382 |   638182 |    21175     70 |        0 |        0
1505.99/1506.58	c 1506s |      19 |  1769132 |   638882 |    21175     70 |        0 |        0
1508.19/1508.75	c 1508s |      19 |  1769894 |   639582 |    21175     70 |        0 |        0
1510.19/1510.79	c 1510s |      19 |  1770632 |   640282 |    21175     70 |        0 |        0
1512.39/1512.93	c 1512s |      19 |  1771410 |   640982 |    21175     70 |        0 |        0
1514.39/1514.95	c 1514s |      19 |  1775491 |   641582 |    21175     70 |        0 |        0
1516.49/1517.08	c 1516s |      19 |  1776472 |   642182 |    21175     70 |        0 |        0
1518.98/1519.51	c 1519s |      19 |  1777143 |   642782 |    21175     71 |        0 |        0
1520.98/1521.56	c 1521s |      19 |  1778132 |   643682 |    21175     71 |        0 |        0
1523.18/1523.71	c 1523s |      19 |  1779139 |   644582 |    21175     71 |        0 |        0
1525.19/1525.79	c 1525s |      19 |  1782099 |   645382 |    21175     71 |        0 |        0
1527.39/1527.94	c 1527s |      19 |  1782989 |   646182 |    21175     71 |        0 |        0
1529.48/1530.06	c 1529s |      19 |  1784001 |   646982 |    21175     71 |        0 |        0
1531.68/1532.20	c 1532s |      19 |  1784858 |   647782 |    21175     71 |        0 |        0
1533.88/1534.44	c 1534s |      19 |  1785734 |   648582 |    21175     71 |        0 |        0
1535.98/1536.54	c 1536s |      19 |  1786669 |   649382 |    21175     71 |        0 |        0
1538.08/1538.66	c 1538s |      19 |  1787460 |   650082 |    21175     71 |        0 |        0
1540.18/1540.79	c 1540s |      19 |  1788624 |   650782 |    21175     71 |        0 |        0
1542.38/1542.93	c 1542s |      19 |  1789404 |   651482 |    21175     71 |        0 |        0
1544.48/1545.02	c 1544s |      19 |  1790055 |   652082 |    21175     71 |        0 |        0
1546.48/1547.02	c 1546s |      19 |  1790716 |   652682 |    21175     71 |        0 |        0
1548.68/1549.26	c 1549s |      19 |  1791380 |   653282 |    21175     72 |        0 |        0
1550.88/1551.42	c 1551s |      19 |  1793288 |   653982 |    21175     72 |        0 |        0
1552.98/1553.57	c 1553s |      19 |  1794268 |   654882 |    21175     72 |        0 |        0
1555.18/1555.72	c 1555s |      19 |  1795115 |   655682 |    21175     72 |        0 |        0
1557.28/1557.81	c 1557s |      19 |  1796033 |   656182 |    21175     72 |        0 |        0
1559.28/1559.82	c 1559s |      19 |  1796908 |   656982 |    21175     72 |        0 |        0
1561.48/1562.00	c 1561s |      19 |  1797872 |   657882 |    21175     72 |        0 |        0
1563.58/1564.11	c 1563s |      19 |  1798717 |   658682 |    21175     72 |        0 |        0
1565.78/1566.38	c 1566s |      19 |  1799601 |   659482 |    21175     72 |        0 |        0
1567.77/1568.39	c 1568s |      19 |  1800391 |   660182 |    21175     72 |        0 |        0
1569.87/1570.43	c 1570s |      19 |  1801041 |   660782 |    21175     72 |        0 |        0
1572.17/1572.74	c 1572s |      19 |  1801800 |   661482 |    21175     72 |        0 |        0
1574.27/1574.81	c 1574s |      19 |  1802437 |   662082 |    21175     72 |        0 |        0
1576.47/1577.07	c 1576s |      19 |  1803191 |   662782 |    23293     72 |        0 |        0
1578.57/1579.14	c 1579s |      19 |  1803847 |   663382 |    23293     72 |        0 |        0
1580.67/1581.29	c 1581s |      19 |  1804489 |   663982 |    23293     72 |        0 |        0
1582.97/1583.55	c 1583s |      19 |  1805135 |   664582 |    23293     72 |        0 |        0
1585.07/1585.67	c 1585s |      19 |  1805778 |   665182 |    23293     72 |        0 |        0
1587.27/1587.80	c 1587s |      19 |  1806420 |   665782 |    23293     72 |        0 |        0
1589.27/1589.89	c 1589s |      19 |  1806943 |   666282 |    23293     73 |        0 |        0
1590.77/1591.31	c 1591s |      20 |  1807534 |   666827 |    23293     73 |        0 |        0
1592.87/1593.43	c 1593s |      20 |  1823940 |   667127 |    23293     73 |        0 |        0
1594.87/1595.44	c 1595s |      20 |  1837038 |   668127 |    23293     73 |        0 |        0
1596.97/1597.56	c 1597s |      20 |  1838134 |   669127 |    23293     73 |        0 |        0
1599.07/1599.67	c 1599s |      20 |  1839221 |   670127 |    23293     73 |        0 |        0
1601.17/1601.75	c 1601s |      20 |  1840209 |   671027 |    23293     73 |        0 |        0
1603.17/1603.76	c 1603s |      20 |  1842544 |   671827 |    23293     73 |        0 |        0
1605.37/1605.91	c 1605s |      20 |  1843493 |   672627 |    23293     73 |        0 |        0
1607.37/1607.91	c 1607s |      20 |  1844278 |   673327 |    23293     73 |        0 |        0
1609.47/1610.00	c 1609s |      20 |  1846351 |   674127 |    23293     73 |        0 |        0
1611.57/1612.15	c 1612s |      20 |  1847233 |   674927 |    23293     73 |        0 |        0
1613.77/1614.36	c 1614s |      20 |  1848105 |   675727 |    23293     73 |        0 |        0
1615.87/1616.49	c 1616s |      20 |  1848988 |   676527 |    23293     73 |        0 |        0
1617.97/1618.50	c 1618s |      20 |  1849925 |   677327 |    23293     73 |        0 |        0
1620.26/1620.89	c 1620s |      20 |  1850808 |   678127 |    23293     74 |        0 |        0
1622.37/1622.97	c 1622s |      20 |  1852390 |   679227 |    23293     74 |        0 |        0
1624.57/1625.12	c 1624s |      20 |  1853691 |   680427 |    23293     74 |        0 |        0
1626.67/1627.28	c 1627s |      20 |  1854907 |   681527 |    23293     74 |        0 |        0
1628.77/1629.31	c 1629s |      20 |  1856012 |   682527 |    23293     74 |        0 |        0
1630.88/1631.43	c 1631s |      20 |  1874911 |   683527 |    23293     74 |        0 |        0
1633.08/1633.61	c 1633s |      20 |  1884976 |   684327 |    23293     74 |        0 |        0
1635.18/1635.78	c 1635s |      20 |  1885861 |   685027 |    23293     74 |        0 |        0
1637.17/1637.79	c 1637s |      20 |  1887779 |   685427 |    23293     74 |        0 |        0
1639.47/1640.04	c 1639s |      20 |  1888544 |   685827 |    23293     74 |        0 |        0
1641.88/1642.43	c 1642s |      20 |  1888963 |   686227 |    23293     74 |        0 |        0
1643.98/1644.53	c 1644s |      20 |  1889414 |   686627 |    23293     74 |        0 |        0
1646.18/1646.77	c 1646s |      20 |  1890164 |   687027 |    23293     74 |        0 |        0
1648.38/1648.95	c 1648s |      20 |  1890602 |   687427 |    23293     74 |        0 |        0
1650.58/1651.15	c 1651s |      20 |  1891063 |   687827 |    23293     74 |        0 |        0
1652.77/1653.34	c 1653s |      20 |  1891527 |   688227 |    23293     74 |        0 |        0
1655.07/1655.68	c 1655s |      20 |  1892227 |   688827 |    23293     74 |        0 |        0
1657.17/1657.78	c 1657s |      20 |  1892897 |   689427 |    23293     74 |        0 |        0
1659.67/1660.27	c 1660s |      20 |  1893550 |   690027 |    23293     75 |        0 |        0
1661.87/1662.48	c 1662s |      20 |  1894321 |   690727 |    23293     75 |        0 |        0
1664.27/1664.86	c 1664s |      20 |  1895001 |   691327 |    23293     75 |        0 |        0
1666.67/1667.25	c 1667s |      20 |  1895571 |   691827 |    23293     75 |        0 |        0
1669.07/1669.65	c 1669s |      20 |  1896116 |   692327 |    23293     75 |        0 |        0
1671.17/1671.72	c 1671s |      20 |  1896564 |   692727 |    23293     75 |        0 |        0
1673.16/1673.74	c 1673s |      20 |  1896997 |   693127 |    23293     75 |        0 |        0
1675.16/1675.75	c 1675s |      20 |  1897450 |   693527 |    23293     75 |        0 |        0
1677.36/1677.94	c 1677s |      20 |  1897890 |   693927 |    23293     75 |        0 |        0
1679.46/1680.09	c 1679s |      20 |  1898453 |   694427 |    23293     75 |        0 |        0
1681.86/1682.49	c 1682s |      20 |  1899226 |   695127 |    23293     75 |        0 |        0
1684.36/1684.94	c 1684s |      20 |  1900209 |   695727 |    23293     75 |        0 |        0
1686.56/1687.11	c 1686s |      20 |  1900752 |   696227 |    23293     75 |        0 |        0
1688.56/1689.14	c 1689s |      20 |  1901182 |   696627 |    23293     75 |        0 |        0
1690.56/1691.18	c 1691s |      20 |  1901629 |   697027 |    23293     75 |        0 |        0
1692.86/1693.47	c 1693s |      20 |  1902594 |   697527 |    23293     75 |        0 |        0
1694.96/1695.51	c 1695s |      20 |  1903283 |   698127 |    23293     75 |        0 |        0
1697.26/1697.89	c 1697s |      20 |  1903723 |   698527 |    23293     75 |        0 |        0
1699.66/1700.24	c 1700s |      20 |  1904312 |   699027 |    23293     75 |        0 |        0
1701.96/1702.57	c 1702s |      20 |  1904775 |   699427 |    23293     75 |        0 |        0
1704.36/1704.98	c 1704s |      20 |  1905201 |   699827 |    23293     75 |        0 |        0
1706.56/1707.16	c 1707s |      20 |  1905636 |   700227 |    23293     75 |        0 |        0
1708.76/1709.35	c 1709s |      20 |  1906088 |   700627 |    23293     75 |        0 |        0
1711.06/1711.65	c 1711s |      20 |  1906521 |   701027 |    23293     75 |        0 |        0
1713.16/1713.73	c 1713s |      20 |  1906951 |   701427 |    23293     75 |        0 |        0
1715.66/1716.20	c 1716s |      20 |  1907385 |   701827 |    23293     76 |        0 |        0
1717.96/1718.51	c 1718s |      20 |  1907815 |   702227 |    23293     76 |        0 |        0
1720.46/1721.01	c 1720s |      20 |  1908239 |   702627 |    23293     76 |        0 |        0
1722.56/1723.16	c 1723s |      20 |  1908671 |   703027 |    23293     76 |        0 |        0
1724.76/1725.31	c 1725s |      20 |  1909098 |   703427 |    23293     76 |        0 |        0
1726.86/1727.41	c 1727s |      20 |  1909533 |   703827 |    23293     76 |        0 |        0
1728.96/1729.52	c 1729s |      20 |  1909980 |   704227 |    23293     76 |        0 |        0
1731.15/1731.79	c 1731s |      20 |  1910411 |   704627 |    23293     76 |        0 |        0
1733.25/1733.80	c 1733s |      20 |  1910867 |   705027 |    23293     76 |        0 |        0
1735.55/1736.12	c 1735s |      20 |  1911423 |   705527 |    23293     76 |        0 |        0
1737.56/1738.19	c 1738s |      20 |  1911866 |   705927 |    23293     76 |        0 |        0
1739.95/1740.53	c 1740s |      20 |  1912404 |   706427 |    23293     76 |        0 |        0
1741.96/1742.60	c 1742s |      20 |  1914061 |   706927 |    23293     76 |        0 |        0
1744.35/1744.98	c 1744s |      20 |  1914593 |   707427 |    23293     76 |        0 |        0
1746.55/1747.19	c 1747s |      20 |  1915022 |   707827 |    23293     76 |        0 |        0
1749.15/1749.73	c 1749s |      20 |  1915675 |   708427 |    23293     76 |        0 |        0
1751.55/1752.14	c 1752s |      20 |  1916120 |   708827 |    23293     76 |        0 |        0
1753.75/1754.30	c 1754s |      20 |  1916562 |   709227 |    23293     76 |        0 |        0
1756.26/1756.83	c 1756s |      20 |  1916978 |   709627 |    23293     76 |        0 |        0
1758.46/1759.07	c 1758s |      20 |  1917434 |   710027 |    23293     76 |        0 |        0
1760.75/1761.39	c 1761s |      20 |  1917889 |   710427 |    23293     76 |        0 |        0
1763.15/1763.79	c 1763s |      20 |  1918320 |   710827 |    23293     76 |        0 |        0
1765.75/1766.30	c 1766s |      20 |  1918740 |   711227 |    23293     76 |        0 |        0
1768.25/1768.81	c 1768s |      20 |  1919177 |   711627 |    23293     76 |        0 |        0
1770.55/1771.20	c 1771s |      20 |  1919613 |   712027 |    23293     76 |        0 |        0
1773.15/1773.75	c 1773s |      20 |  1920039 |   712427 |    23293     76 |        0 |        0
1775.75/1776.33	c 1776s |      20 |  1920448 |   712827 |    23293     76 |        0 |        0
1778.15/1778.74	c 1778s |      20 |  1920876 |   713227 |    23293     76 |        0 |        0
1780.55/1781.16	c 1781s |      20 |  1921328 |   713627 |    23293     76 |        0 |        0
1783.25/1783.82	c 1783s |      20 |  1921651 |   713927 |    23293     77 |        0 |        0
1785.55/1786.19	c 1786s |      20 |  1922296 |   714527 |    23293     77 |        0 |        0
1787.95/1788.56	c 1788s |      20 |  1922836 |   715027 |    23293     77 |        0 |        0
1790.14/1790.77	c 1790s |      20 |  1923384 |   715527 |    23293     77 |        0 |        0
1792.64/1793.26	c 1793s |      20 |  1923912 |   716027 |    23293     77 |        0 |        0
1794.94/1795.56	c 1795s |      20 |  1924441 |   716527 |    23293     77 |        0 |        0
1797.04/1797.60	c 1797s |      20 |  1924873 |   716927 |    23293     77 |        0 |        0
1799.05/1799.66	c 1799s |      20 |  1925303 |   717327 |    23293     77 |        0 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4090184-1466038828/watcher-4090184-1466038828 -o /tmp/evaluation-result-4090184-1466038828/solver-4090184-1466038828 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466038828-13979 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4090184-1466038828.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.06 2.13 2.05 4/174 14007
/proc/meminfo: memFree=31550368/32872528 swapFree=446836/479540
[pid=14007] ppid=14001 vsize=670140 CPUtime=0 cores=1,3,5,7
/proc/14007/stat : 14007 (toysat) R 14001 14007 5711 0 -1 4202496 2491 0 0 0 0 0 0 0 20 0 4 0 5932961 686223360 2341 33554432000 4194304 16246674 140737063237568 140737063236992 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14007/statm: 168047 2352 441 2943 0 164941 0
[pid=14007/tid=14011] ppid=14001 vsize=686524 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14011/stat : 14011 (toysat) S 14001 14007 5711 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5932961 703000576 2408 33554432000 4194304 16246674 140737063237568 139780567313648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14007/tid=14012] ppid=14001 vsize=691644 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14012/stat : 14012 (toysat) S 14001 14007 5711 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5932961 708243456 2427 33554432000 4194304 16246674 140737063237568 139780556823792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14007/tid=14013] ppid=14001 vsize=695740 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14013/stat : 14013 (toysat) S 14001 14007 5711 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5932961 712437760 2444 33554432000 4194304 16246674 140737063237568 139780546350256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100183 s]
/proc/loadavg: 2.06 2.13 2.05 4/174 14007
/proc/meminfo: memFree=31550368/32872528 swapFree=446836/479540
[pid=14007] ppid=14001 vsize=1221188 CPUtime=0.09 cores=1,3,5,7
/proc/14007/stat : 14007 (toysat) R 14001 14007 5711 0 -1 4202496 21732 0 0 0 6 3 0 0 20 0 4 0 5932961 1250496512 21520 33554432000 4194304 16246674 140737063237568 140737063219456 13906976 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14007/statm: 305297 21520 833 2943 0 302191 0
[pid=14007/tid=14011] ppid=14001 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14011/stat : 14011 (toysat) S 14001 14007 5711 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5932961 1250496512 21520 33554432000 4194304 16246674 140737063237568 139780567313648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14007/tid=14012] ppid=14001 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14012/stat : 14012 (toysat) S 14001 14007 5711 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5932961 1250496512 21520 33554432000 4194304 16246674 140737063237568 139780556823792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14007/tid=14013] ppid=14001 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14013/stat : 14013 (toysat) S 14001 14007 5711 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5932961 1250496512 21520 33554432000 4194304 16246674 140737063237568 139780546350256 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) 1221188

[startup+0.200442 s]
/proc/loadavg: 2.06 2.13 2.05 4/174 14007
/proc/meminfo: memFree=31550368/32872528 swapFree=446836/479540
[pid=14007] ppid=14001 vsize=1221188 CPUtime=0.19 cores=1,3,5,7
/proc/14007/stat : 14007 (toysat) R 14001 14007 5711 0 -1 4202496 36181 0 0 0 14 5 0 0 20 0 4 0 5932961 1250496512 35970 33554432000 4194304 16246674 140737063237568 140737063219456 5676613 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14007/statm: 305297 35977 871 2943 0 302191 0
[pid=14007/tid=14011] ppid=14001 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14011/stat : 14011 (toysat) S 14001 14007 5711 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5932961 1250496512 35981 33554432000 4194304 16246674 140737063237568 139780567313648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14007/tid=14012] ppid=14001 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14012/stat : 14012 (toysat) S 14001 14007 5711 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5932961 1250496512 35986 33554432000 4194304 16246674 140737063237568 139780556823792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14007/tid=14013] ppid=14001 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14013/stat : 14013 (toysat) S 14001 14007 5711 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5932961 1250496512 35991 33554432000 4194304 16246674 140737063237568 139780546350256 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) 1221188

[startup+0.300396 s]
/proc/loadavg: 2.06 2.13 2.05 4/174 14007
/proc/meminfo: memFree=31550368/32872528 swapFree=446836/479540
[pid=14007] ppid=14001 vsize=1221188 CPUtime=0.29 cores=1,3,5,7
/proc/14007/stat : 14007 (toysat) R 14001 14007 5711 0 -1 4202496 53730 0 0 0 22 7 0 0 20 0 4 0 5932961 1250496512 53518 33554432000 4194304 16246674 140737063237568 140737063219456 5677277 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14007/statm: 305297 53526 871 2943 0 302191 0
[pid=14007/tid=14011] ppid=14001 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14011/stat : 14011 (toysat) S 14001 14007 5711 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5932961 1250496512 53532 33554432000 4194304 16246674 140737063237568 139780567313648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14007/tid=14012] ppid=14001 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14012/stat : 14012 (toysat) S 14001 14007 5711 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5932961 1250496512 53538 33554432000 4194304 16246674 140737063237568 139780556823792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14007/tid=14013] ppid=14001 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14013/stat : 14013 (toysat) S 14001 14007 5711 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5932961 1250496512 53543 33554432000 4194304 16246674 140737063237568 139780546350256 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) 1221188

[startup+0.700363 s]
/proc/loadavg: 2.06 2.13 2.05 4/174 14007
/proc/meminfo: memFree=31550368/32872528 swapFree=446836/479540
[pid=14007] ppid=14001 vsize=1221188 CPUtime=0.68 cores=1,3,5,7
/proc/14007/stat : 14007 (toysat) R 14001 14007 5711 0 -1 4202496 122948 0 0 0 50 18 0 0 20 0 4 0 5932961 1250496512 122737 33554432000 4194304 16246674 140737063237568 140737063219456 5830026 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14007/statm: 305297 122743 871 2943 0 302191 0
[pid=14007/tid=14011] ppid=14001 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14011/stat : 14011 (toysat) S 14001 14007 5711 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5932961 1250496512 122748 33554432000 4194304 16246674 140737063237568 139780567313648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14007/tid=14012] ppid=14001 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14012/stat : 14012 (toysat) S 14001 14007 5711 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5932961 1250496512 122752 33554432000 4194304 16246674 140737063237568 139780556823792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14007/tid=14013] ppid=14001 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14013/stat : 14013 (toysat) S 14001 14007 5711 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5932961 1250496512 122757 33554432000 4194304 16246674 140737063237568 139780546350256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1221188

[startup+1.50037 s]
/proc/loadavg: 2.06 2.13 2.05 4/182 14015
/proc/meminfo: memFree=29960808/32872528 swapFree=446836/479540
[pid=14007] ppid=14001 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/14007/stat : 14007 (toysat) R 14001 14007 5711 0 -1 4202496 266291 0 0 0 111 38 0 0 20 0 4 0 5932961 1332285440 266079 33554432000 4194304 16246674 140737063237568 140737063236880 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14007/statm: 325265 266079 874 2943 0 322159 0
[pid=14007/tid=14011] ppid=14001 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14011/stat : 14011 (toysat) S 14001 14007 5711 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5932961 1332285440 266079 33554432000 4194304 16246674 140737063237568 139780567313648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14007/tid=14012] ppid=14001 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14012/stat : 14012 (toysat) S 14001 14007 5711 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5932961 1332285440 266079 33554432000 4194304 16246674 140737063237568 139780556823792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14007/tid=14013] ppid=14001 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14013/stat : 14013 (toysat) S 14001 14007 5711 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5932961 1332285440 266079 33554432000 4194304 16246674 140737063237568 139780546350256 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) 1301060

[startup+3.10039 s]
/proc/loadavg: 2.06 2.13 2.05 4/182 14015
/proc/meminfo: memFree=29454376/32872528 swapFree=446836/479540
[pid=14007] ppid=14001 vsize=1307204 CPUtime=3.08 cores=1,3,5,7
/proc/14007/stat : 14007 (toysat) R 14001 14007 5711 0 -1 4202496 267798 0 0 0 270 38 0 0 20 0 4 0 5932961 1338576896 267586 33554432000 4194304 16246674 140737063237568 140737063219456 5523464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14007/statm: 326801 267586 874 2943 0 323695 0
[pid=14007/tid=14011] ppid=14001 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14011/stat : 14011 (toysat) S 14001 14007 5711 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5932961 1338576896 267586 33554432000 4194304 16246674 140737063237568 139780567313648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14007/tid=14012] ppid=14001 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14012/stat : 14012 (toysat) S 14001 14007 5711 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5932961 1338576896 267586 33554432000 4194304 16246674 140737063237568 139780556823792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14007/tid=14013] ppid=14001 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14013/stat : 14013 (toysat) S 14001 14007 5711 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5932961 1338576896 267586 33554432000 4194304 16246674 140737063237568 139780546350256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1307204

[startup+6.30039 s]
/proc/loadavg: 2.05 2.13 2.05 4/182 14015
/proc/meminfo: memFree=29407668/32872528 swapFree=446836/479540
[pid=14007] ppid=14001 vsize=1307204 CPUtime=6.28 cores=1,3,5,7
/proc/14007/stat : 14007 (toysat) R 14001 14007 5711 0 -1 4202496 267977 0 0 0 590 38 0 0 20 0 4 0 5932961 1338576896 267765 33554432000 4194304 16246674 140737063237568 140737063219456 5828829 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14007/statm: 326801 267765 877 2943 0 323695 0
[pid=14007/tid=14011] ppid=14001 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14011/stat : 14011 (toysat) S 14001 14007 5711 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5932961 1338576896 267765 33554432000 4194304 16246674 140737063237568 139780567313648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14007/tid=14012] ppid=14001 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14012/stat : 14012 (toysat) S 14001 14007 5711 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5932961 1338576896 267765 33554432000 4194304 16246674 140737063237568 139780556823792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14007/tid=14013] ppid=14001 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14013/stat : 14013 (toysat) S 14001 14007 5711 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5932961 1338576896 267765 33554432000 4194304 16246674 140737063237568 139780546350256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1307204

[startup+12.7003 s]
/proc/loadavg: 2.05 2.13 2.05 4/182 14015
/proc/meminfo: memFree=29406520/32872528 swapFree=446836/479540
[pid=14007] ppid=14001 vsize=1308228 CPUtime=12.68 cores=1,3,5,7
/proc/14007/stat : 14007 (toysat) R 14001 14007 5711 0 -1 4202496 268240 0 0 0 1230 38 0 0 20 0 4 0 5932961 1339625472 268028 33554432000 4194304 16246674 140737063237568 140737063219456 6837016 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14007/statm: 327057 268028 882 2943 0 323951 0
[pid=14007/tid=14011] ppid=14001 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14011/stat : 14011 (toysat) S 14001 14007 5711 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5932961 1339625472 268028 33554432000 4194304 16246674 140737063237568 139780567313648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14007/tid=14012] ppid=14001 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14012/stat : 14012 (toysat) S 14001 14007 5711 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5932961 1339625472 268028 33554432000 4194304 16246674 140737063237568 139780556823792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14007/tid=14013] ppid=14001 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14013/stat : 14013 (toysat) S 14001 14007 5711 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5932961 1339625472 268028 33554432000 4194304 16246674 140737063237568 139780546350256 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) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.04 2.12 2.05 4/182 14016
/proc/meminfo: memFree=29400008/32872528 swapFree=446836/479540
[pid=14007] ppid=14001 vsize=1314372 CPUtime=25.49 cores=1,3,5,7
/proc/14007/stat : 14007 (toysat) R 14001 14007 5711 0 -1 4202496 269779 0 0 0 2510 39 0 0 20 0 4 0 5932961 1345916928 269567 33554432000 4194304 16246674 140737063237568 140737063219456 12477720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14007/statm: 328593 269567 885 2943 0 325487 0
[pid=14007/tid=14011] ppid=14001 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14011/stat : 14011 (toysat) S 14001 14007 5711 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5932961 1345916928 269567 33554432000 4194304 16246674 140737063237568 139780567313648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14007/tid=14012] ppid=14001 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14012/stat : 14012 (toysat) S 14001 14007 5711 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5932961 1345916928 269567 33554432000 4194304 16246674 140737063237568 139780556823792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14007/tid=14013] ppid=14001 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14013/stat : 14013 (toysat) S 14001 14007 5711 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5932961 1345916928 269567 33554432000 4194304 16246674 140737063237568 139780546350256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1314372

[startup+51.1005 s]
/proc/loadavg: 2.09 2.12 2.05 4/183 14039
/proc/meminfo: memFree=29387696/32872528 swapFree=446836/479540
[pid=14007] ppid=14001 vsize=1319492 CPUtime=51.08 cores=1,3,5,7
/proc/14007/stat : 14007 (toysat) R 14001 14007 5711 0 -1 4202496 271059 0 0 0 5069 39 0 0 20 0 4 0 5932961 1351159808 270847 33554432000 4194304 16246674 140737063237568 140737063219456 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14007/statm: 329873 270847 885 2943 0 326767 0
[pid=14007/tid=14011] ppid=14001 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14011/stat : 14011 (toysat) S 14001 14007 5711 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5932961 1351159808 270847 33554432000 4194304 16246674 140737063237568 139780567313648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14007/tid=14012] ppid=14001 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14012/stat : 14012 (toysat) S 14001 14007 5711 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5932961 1351159808 270847 33554432000 4194304 16246674 140737063237568 139780556823792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14007/tid=14013] ppid=14001 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14013/stat : 14013 (toysat) S 14001 14007 5711 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5932961 1351159808 270847 33554432000 4194304 16246674 140737063237568 139780546350256 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.301 s]
/proc/loadavg: 2.08 2.12 2.05 3/182 14235
/proc/meminfo: memFree=29394580/32872528 swapFree=446836/479540
[pid=14007] ppid=14001 vsize=1319492 CPUtime=102.27 cores=1,3,5,7
/proc/14007/stat : 14007 (toysat) R 14001 14007 5711 0 -1 4202496 271072 0 0 0 10188 39 0 0 20 0 4 0 5932961 1351159808 271103 33554432000 4194304 16246674 140737063237568 140737063219456 5763245 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14007/statm: 329873 271103 885 2943 0 326767 0
[pid=14007/tid=14011] ppid=14001 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14011/stat : 14011 (toysat) S 14001 14007 5711 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5932961 1351159808 271103 33554432000 4194304 16246674 140737063237568 139780567313648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14007/tid=14012] ppid=14001 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14012/stat : 14012 (toysat) S 14001 14007 5711 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5932961 1351159808 271103 33554432000 4194304 16246674 140737063237568 139780556823792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14007/tid=14013] ppid=14001 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14013/stat : 14013 (toysat) S 14001 14007 5711 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5932961 1351159808 271103 33554432000 4194304 16246674 140737063237568 139780546350256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1319492


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

/proc/14007/task/14013/stat : 14013 (toysat) S 14001 14007 5711 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5932961 1401491456 283392 33554432000 4194304 16246674 140737063237568 139780546350256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 1368644

[startup+1302.3 s]
/proc/loadavg: 2.11 2.13 2.09 3/182 14266
/proc/meminfo: memFree=29288840/32872528 swapFree=446836/479540
[pid=14007] ppid=14001 vsize=1368644 CPUtime=1301.82 cores=1,3,5,7
/proc/14007/stat : 14007 (toysat) R 14001 14007 5711 0 -1 4202496 283790 0 0 0 130138 44 0 0 20 0 4 0 5932961 1401491456 283392 33554432000 4194304 16246674 140737063237568 140737063219456 5861860 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14007/statm: 342161 283392 886 2943 0 339055 0
[pid=14007/tid=14011] ppid=14001 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14011/stat : 14011 (toysat) S 14001 14007 5711 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5932961 1401491456 283392 33554432000 4194304 16246674 140737063237568 139780567313648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14007/tid=14012] ppid=14001 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14012/stat : 14012 (toysat) S 14001 14007 5711 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5932961 1401491456 283392 33554432000 4194304 16246674 140737063237568 139780556823792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14007/tid=14013] ppid=14001 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14013/stat : 14013 (toysat) S 14001 14007 5711 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5932961 1401491456 283392 33554432000 4194304 16246674 140737063237568 139780546350256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 1368644

[startup+1362.3 s]
/proc/loadavg: 2.20 2.15 2.10 3/182 14267
/proc/meminfo: memFree=29288372/32872528 swapFree=446836/479540
[pid=14007] ppid=14001 vsize=1368644 CPUtime=1361.81 cores=1,3,5,7
/proc/14007/stat : 14007 (toysat) R 14001 14007 5711 0 -1 4202496 283790 0 0 0 136137 44 0 0 20 0 4 0 5932961 1401491456 283392 33554432000 4194304 16246674 140737063237568 140737063219456 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14007/statm: 342161 283392 886 2943 0 339055 0
[pid=14007/tid=14011] ppid=14001 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14011/stat : 14011 (toysat) S 14001 14007 5711 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5932961 1401491456 283392 33554432000 4194304 16246674 140737063237568 139780567313648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14007/tid=14012] ppid=14001 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14012/stat : 14012 (toysat) S 14001 14007 5711 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5932961 1401491456 283392 33554432000 4194304 16246674 140737063237568 139780556823792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14007/tid=14013] ppid=14001 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14013/stat : 14013 (toysat) S 14001 14007 5711 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5932961 1401491456 283392 33554432000 4194304 16246674 140737063237568 139780546350256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 1368644

[startup+1422.3 s]
/proc/loadavg: 2.17 2.15 2.09 3/182 14268
/proc/meminfo: memFree=29288144/32872528 swapFree=446836/479540
[pid=14007] ppid=14001 vsize=1368644 CPUtime=1421.8 cores=1,3,5,7
/proc/14007/stat : 14007 (toysat) R 14001 14007 5711 0 -1 4202496 283790 0 0 0 142136 44 0 0 20 0 4 0 5932961 1401491456 283392 33554432000 4194304 16246674 140737063237568 140737063219456 5546243 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14007/statm: 342161 283392 886 2943 0 339055 0
[pid=14007/tid=14011] ppid=14001 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14011/stat : 14011 (toysat) S 14001 14007 5711 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5932961 1401491456 283392 33554432000 4194304 16246674 140737063237568 139780567313648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14007/tid=14012] ppid=14001 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14012/stat : 14012 (toysat) S 14001 14007 5711 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5932961 1401491456 283392 33554432000 4194304 16246674 140737063237568 139780556823792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14007/tid=14013] ppid=14001 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14013/stat : 14013 (toysat) S 14001 14007 5711 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5932961 1401491456 283392 33554432000 4194304 16246674 140737063237568 139780546350256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1368644

[startup+1482.3 s]
/proc/loadavg: 2.18 2.15 2.10 3/182 14269
/proc/meminfo: memFree=29288124/32872528 swapFree=446836/479540
[pid=14007] ppid=14001 vsize=1368644 CPUtime=1481.79 cores=1,3,5,7
/proc/14007/stat : 14007 (toysat) R 14001 14007 5711 0 -1 4202496 283790 0 0 0 148134 45 0 0 20 0 4 0 5932961 1401491456 283392 33554432000 4194304 16246674 140737063237568 140737063219456 5677837 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14007/statm: 342161 283392 886 2943 0 339055 0
[pid=14007/tid=14011] ppid=14001 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14011/stat : 14011 (toysat) S 14001 14007 5711 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5932961 1401491456 283392 33554432000 4194304 16246674 140737063237568 139780567313648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14007/tid=14012] ppid=14001 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14012/stat : 14012 (toysat) S 14001 14007 5711 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5932961 1401491456 283392 33554432000 4194304 16246674 140737063237568 139780556823792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14007/tid=14013] ppid=14001 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14013/stat : 14013 (toysat) S 14001 14007 5711 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5932961 1401491456 283392 33554432000 4194304 16246674 140737063237568 139780546350256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 1368644

[startup+1542.31 s]
/proc/loadavg: 2.11 2.13 2.09 4/182 14270
/proc/meminfo: memFree=29288132/32872528 swapFree=446836/479540
[pid=14007] ppid=14001 vsize=1368644 CPUtime=1541.79 cores=1,3,5,7
/proc/14007/stat : 14007 (toysat) R 14001 14007 5711 0 -1 4202496 283790 0 0 0 154134 45 0 0 20 0 4 0 5932961 1401491456 283392 33554432000 4194304 16246674 140737063237568 140737063219456 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14007/statm: 342161 283392 886 2943 0 339055 0
[pid=14007/tid=14011] ppid=14001 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14011/stat : 14011 (toysat) S 14001 14007 5711 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5932961 1401491456 283392 33554432000 4194304 16246674 140737063237568 139780567313648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14007/tid=14012] ppid=14001 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14012/stat : 14012 (toysat) S 14001 14007 5711 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5932961 1401491456 283392 33554432000 4194304 16246674 140737063237568 139780556823792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14007/tid=14013] ppid=14001 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14013/stat : 14013 (toysat) S 14001 14007 5711 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5932961 1401491456 283392 33554432000 4194304 16246674 140737063237568 139780546350256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1368644

[startup+1602.3 s]
/proc/loadavg: 2.17 2.15 2.09 3/182 14272
/proc/meminfo: memFree=29288368/32872528 swapFree=446836/479540
[pid=14007] ppid=14001 vsize=1368644 CPUtime=1601.77 cores=1,3,5,7
/proc/14007/stat : 14007 (toysat) R 14001 14007 5711 0 -1 4202496 283790 0 0 0 160132 45 0 0 20 0 4 0 5932961 1401491456 283392 33554432000 4194304 16246674 140737063237568 140737063219456 5677888 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14007/statm: 342161 283392 886 2943 0 339055 0
[pid=14007/tid=14011] ppid=14001 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14011/stat : 14011 (toysat) S 14001 14007 5711 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5932961 1401491456 283392 33554432000 4194304 16246674 140737063237568 139780567313648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14007/tid=14012] ppid=14001 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14012/stat : 14012 (toysat) S 14001 14007 5711 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5932961 1401491456 283392 33554432000 4194304 16246674 140737063237568 139780556823792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14007/tid=14013] ppid=14001 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14013/stat : 14013 (toysat) S 14001 14007 5711 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5932961 1401491456 283392 33554432000 4194304 16246674 140737063237568 139780546350256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1368644

[startup+1662.3 s]
/proc/loadavg: 2.22 2.17 2.10 3/182 14273
/proc/meminfo: memFree=29288240/32872528 swapFree=446836/479540
[pid=14007] ppid=14001 vsize=1368644 CPUtime=1661.77 cores=1,3,5,7
/proc/14007/stat : 14007 (toysat) R 14001 14007 5711 0 -1 4202496 283790 0 0 0 166131 46 0 0 20 0 4 0 5932961 1401491456 283392 33554432000 4194304 16246674 140737063237568 140737063219456 5667927 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14007/statm: 342161 283392 886 2943 0 339055 0
[pid=14007/tid=14011] ppid=14001 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14011/stat : 14011 (toysat) S 14001 14007 5711 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5932961 1401491456 283392 33554432000 4194304 16246674 140737063237568 139780567313648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14007/tid=14012] ppid=14001 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14012/stat : 14012 (toysat) S 14001 14007 5711 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5932961 1401491456 283392 33554432000 4194304 16246674 140737063237568 139780556823792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14007/tid=14013] ppid=14001 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14013/stat : 14013 (toysat) S 14001 14007 5711 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5932961 1401491456 283392 33554432000 4194304 16246674 140737063237568 139780546350256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1368644

[startup+1722.3 s]
/proc/loadavg: 2.22 2.18 2.10 3/182 14274
/proc/meminfo: memFree=29288116/32872528 swapFree=446836/479540
[pid=14007] ppid=14001 vsize=1368644 CPUtime=1721.76 cores=1,3,5,7
/proc/14007/stat : 14007 (toysat) R 14001 14007 5711 0 -1 4202496 283790 0 0 0 172130 46 0 0 20 0 4 0 5932961 1401491456 283392 33554432000 4194304 16246674 140737063237568 140737063219456 5672869 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14007/statm: 342161 283392 886 2943 0 339055 0
[pid=14007/tid=14011] ppid=14001 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14011/stat : 14011 (toysat) S 14001 14007 5711 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5932961 1401491456 283392 33554432000 4194304 16246674 140737063237568 139780567313648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14007/tid=14012] ppid=14001 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14012/stat : 14012 (toysat) S 14001 14007 5711 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5932961 1401491456 283392 33554432000 4194304 16246674 140737063237568 139780556823792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14007/tid=14013] ppid=14001 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14013/stat : 14013 (toysat) S 14001 14007 5711 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5932961 1401491456 283392 33554432000 4194304 16246674 140737063237568 139780546350256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1368644

[startup+1782.3 s]
/proc/loadavg: 2.21 2.19 2.11 3/183 14278
/proc/meminfo: memFree=29288152/32872528 swapFree=446836/479540
[pid=14007] ppid=14001 vsize=1368644 CPUtime=1781.75 cores=1,3,5,7
/proc/14007/stat : 14007 (toysat) R 14001 14007 5711 0 -1 4202496 283790 0 0 0 178129 46 0 0 20 0 4 0 5932961 1401491456 283392 33554432000 4194304 16246674 140737063237568 140737063219456 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14007/statm: 342161 283392 886 2943 0 339055 0
[pid=14007/tid=14011] ppid=14001 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14011/stat : 14011 (toysat) S 14001 14007 5711 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5932961 1401491456 283392 33554432000 4194304 16246674 140737063237568 139780567313648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14007/tid=14012] ppid=14001 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14012/stat : 14012 (toysat) S 14001 14007 5711 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5932961 1401491456 283392 33554432000 4194304 16246674 140737063237568 139780556823792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14007/tid=14013] ppid=14001 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14013/stat : 14013 (toysat) S 14001 14007 5711 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5932961 1401491456 283392 33554432000 4194304 16246674 140737063237568 139780546350256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1368644



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.15 2.17 2.10 3/183 14278
/proc/meminfo: memFree=29288436/32872528 swapFree=446836/479540
[pid=14007] ppid=14001 vsize=1368644 CPUtime=1800.04 cores=1,3,5,7
/proc/14007/stat : 14007 (toysat) R 14001 14007 5711 0 -1 4202496 283790 0 0 0 179958 46 0 0 20 0 4 0 5932961 1401491456 283392 33554432000 4194304 16246674 140737063237568 140737063219456 5545840 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14007/statm: 342161 283392 886 2943 0 339055 0
[pid=14007/tid=14011] ppid=14001 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14011/stat : 14011 (toysat) S 14001 14007 5711 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5932961 1401491456 283392 33554432000 4194304 16246674 140737063237568 139780567313648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14007/tid=14012] ppid=14001 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14012/stat : 14012 (toysat) S 14001 14007 5711 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5932961 1401491456 283392 33554432000 4194304 16246674 140737063237568 139780556823792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14007/tid=14013] ppid=14001 vsize=1368644 CPUtime=0 cores=1,3,5,7
/proc/14007/task/14013/stat : 14013 (toysat) S 14001 14007 5711 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5932961 1401491456 283392 33554432000 4194304 16246674 140737063237568 139780546350256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1368644

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.06
CPU user time (s): 1799.59
CPU system time (s): 0.462929
CPU usage (%): 99.9693
Max. virtual memory (cumulated for all children) (KiB): 1368644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.462929
maximum resident set size= 1133568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 283790
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= 457
involuntary context switches= 1947

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5973 second user time and 6.98294 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-16 03:00:28
IDJOB=4090184
IDBENCH=107513
IDSOLVER=2542
FILE ID=node104/4090184-1466038828
RUNJOBID= node104-1466038828-13979
PBS_JOBID= 19902812
Free space on /tmp= 71740 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/Instances3col_OPB/normalized-3col-almost3reg-l055-r054-n1.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090184-1466038828/watcher-4090184-1466038828 -o /tmp/evaluation-result-4090184-1466038828/solver-4090184-1466038828 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466038828-13979 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4090184-1466038828.opb

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

MD5SUM BENCH= 9962e07353bb4a7d8331e0339e579362
RANDOM SEED=630245175

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31551688 kB
Buffers:           32684 kB
Cached:           106484 kB
SwapCached:         1448 kB
Active:            86128 kB
Inactive:          56080 kB
Active(anon):       3512 kB
Inactive(anon):     2028 kB
Active(file):      82616 kB
Inactive(file):    54052 kB
Unevictable:      479540 kB
Mlocked:          446836 kB
SwapTotal:      67108856 kB
SwapFree:       67099956 kB
Dirty:             32648 kB
Writeback:             0 kB
AnonPages:        563244 kB
Mapped:             7152 kB
Shmem:                 0 kB
Slab:             568480 kB
SReclaimable:      12412 kB
SUnreclaim:       556068 kB
KernelStack:        1560 kB
PageTables:         4416 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     565424 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    114688 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= 71708 MiB
End job on node104 at 2016-06-16 03:30:29