Trace number 4106172

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=233-P1=79-P2=107-P3=23-P4=107-P5=223-P6=239-P7=127-P8=229-P9=181-B.opb
MD5SUM9ac2b65e6f5a9e0208aa5abddde874b2
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.154975
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables216
Total number of constraints19
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints19
Minimum length of a constraint8
Maximum length of a constraint80
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 32768
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 130560
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)576
Sum of products size (including duplicates)1152
Number of different products576
Sum of products size1152

Solver Data 

0.00/0.00	c 2016-06-18T18:22:12+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-4106172-1466266932.opb"]
0.00/0.01	c use --random-gen="1862680765 3777561494 2653566986 1552893707 2037807125 1430334722 2994353781 3250919393 2967450596 3364030071 3317358534 651873994 4147024906 3191720709 3634033492 3084543098 4110812805 4040949216 2600773959 489345134 2241951946 1517106646 4077094648 1648829262 1585975373 889688064 3967054176 1111902269 155924569 3069533021 3320832421 247819561 2802293898 1079961424 575887574 2000401725 3719246559 2426552107 1478479090 2708946375 592574464 3026692289 2451764108 3972571316 630452903 744764227 982694467 1410970504 1276304677 2333762519 3673251949 3242636648 4082826718 1625799864 2626698216 847759360 1086129344 817545895 2335368564 787778791 820946880 1028012098 1290916163 4193271088 3921660613 1981548696 339829218 276134582 2484181191 2897003633 599544023 2001452564 835485009 349688427 4210236979 1698683559 2959575548 202528595 1893084383 1016766238 3509468301 1321511766 1068604000 748010296 2340239340 2867844175 2411177724 356776271 1198002440 3516885406 3580576997 1855188500 238017793 1340238418 1490240387 3572918820 2624690094 672123065 2912911920 1219788457 1042311914 3648691201 457467243 1451115950 1040124246 1645610360 3912530864 1916192911 2220173272 2051070276 3380239757 1314637055 1555232519 1927132910 3160955640 1195789596 2999716013 3216655335 1494967580 2174250384 3006978752 444579615 730675972 65378755 227835986 3992952174 317801086 4258465808 1316239211 852271307 1898555342 3839342472 991238614 692275962 2018623752 3751822127 743322106 2256403835 2866434822 676345424 4156261520 140489688 2534120963 2825614847 70653314 3233706682 4170132420 3803591183 1323702866 2046166178 3310491587 1600927076 449334937 1748175718 2065446559 3462411628 473344141 1924974132 533576654 306338235 28955099 1454160811 1148280867 938661892 4288291435 3424387295 2068387631 4211390765 42586297 40766179 10668872 3800578525 1900514133 2715070451 824564177 3758159079 1366581885 3333004126 1834479564 4119258067 3531375668 1756167706 4034672466 1136810036 2109346009 1870367833 241354390 1730031045 2180036806 1077283417 3439883212 2517363872 877033828 3311055348 35555280 2078344179 1417976860 1096172234 3089327317 3466075662 3028954477 865054720 3143717325 3571137575 1494913311 203419708 2758400283 4210023096 3792400644 1197682822 3981288266 2049777801 1373151930 2877583048 2697182983 2889111704 1732237448 3403548299 288252259 2190157253 2368755060 627967918 889558065 3886851433 1910072360 3826106401 166326879 1940202941 4002417164 2506626580 3685929340 3570999795 2310024043 821746248 1929156772 3135391080 1355026307 1057504560 2082563810 2817862846 559768140 4225332833 862471348 389914785 2844987115 1102098574 1278209043 813066751 3002200032 3948330053 2493481360 1893448213 3415720744 1967002720 670240944 1500736965 255 362436" option to reproduce the execution
0.00/0.01	c #vars 216
0.00/0.01	c #constraints 19
0.00/0.03	c BCD2: Hardening is enabled.
0.00/0.03	c BCD2: BiasedSearch is enabled.
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      849      0 |        0 |        0
0.00/0.06	c  0.0s |       1 |      135 |      100 |      849      0 |        0 |        0
0.00/0.09	c  0.1s |       2 |      349 |      250 |      934      0 |        0 |        0
0.08/0.15	c  0.1s |       3 |      640 |      475 |     1028      0 |        0 |        0
0.19/0.23	c  0.2s |       4 |     1052 |      813 |     1131      0 |        0 |        0
0.39/0.41	c  0.4s |       5 |     1718 |     1320 |     1245      0 |        0 |        0
0.79/0.80	c  0.8s |       6 |     2655 |     2081 |     1508      1 |        0 |        0
1.20/1.28	c  1.2s |       7 |     3977 |     3223 |     1659      2 |        0 |        0
1.79/1.88	c  1.8s |       8 |     5974 |     4936 |     1825      4 |        0 |        0
2.29/2.40	c  2.4s |       8 |     8727 |     7437 |     1825      6 |        0 |        0
2.29/2.40	c #cpu_time = 2.360s
2.29/2.40	c #wall_clock_time = 2.366s
2.29/2.40	c #decision = 8727
2.29/2.40	c #random_decision = 30
2.29/2.40	c #conflict = 7437
2.29/2.40	c #restart = 8
2.29/2.40	o 175
2.29/2.40	c BCD2: updating upper bound: 255 -> 174
2.39/2.40	c BCD2: 0 <= obj <= 174
2.39/2.40	c BCD2: #cores=0, #unrelaxed=8, #relaxed=0, #hardened=0
2.39/2.40	c BCD2: #sat=1 #unsat=1 bias=1/2
2.39/2.40	c Solving starts ...
2.39/2.40	c ============================[ Search Statistics ]============================
2.39/2.40	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.39/2.40	c       |         |          |          |    Limit     GC | Var      | Constra 
2.39/2.40	c =============================================================================
2.39/2.40	c  0.0s |       0 |        0 |        0 |     1825      0 |        0 |        0
2.39/2.41	c  0.0s |       0 |        6 |        0 |     1825      1 |        0 |        0
2.39/2.41	c #cpu_time = 0.011s
2.39/2.41	c #wall_clock_time = 0.011s
2.39/2.41	c #decision = 6
2.39/2.41	c #random_decision = 0
2.39/2.41	c #conflict = 0
2.39/2.41	c #restart = 0
2.39/2.41	c BCD2: found a new core of size 7: cost of the new core is >=2
2.39/2.41	c lower bound updated to 2
2.39/2.41	c BCD2: 2 <= obj <= 174
2.39/2.41	c BCD2: #cores=1, #unrelaxed=1, #relaxed=7, #hardened=0
2.39/2.41	c BCD2: #sat=1 #unsat=2 bias=2/3
2.39/2.41	c Solving starts ...
2.39/2.41	c ============================[ Search Statistics ]============================
2.39/2.41	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.39/2.41	c       |         |          |          |    Limit     GC | Var      | Constra 
2.39/2.41	c =============================================================================
2.39/2.41	c  0.0s |       0 |        0 |        0 |     1825      0 |        0 |        0
2.39/2.43	c  0.0s |       1 |      218 |      100 |     2008      0 |        0 |        0
2.49/2.52	c  0.1s |       2 |      431 |      250 |     2008      0 |        0 |        0
2.69/2.79	c  0.4s |       3 |      998 |      475 |     2008      0 |        0 |        0
2.78/2.89	c  0.5s |       4 |     1556 |      813 |     2008      0 |        0 |        0
2.98/3.02	c  0.6s |       5 |     2205 |     1320 |     2008      0 |        0 |        0
3.18/3.22	c  0.8s |       6 |     3137 |     2081 |     2008      1 |        0 |        0
3.48/3.55	c  1.1s |       7 |     4627 |     3223 |     2008      2 |        0 |        0
3.98/4.02	c  1.6s |       8 |     6717 |     4936 |     2209      3 |        0 |        0
4.58/4.60	c  2.2s |       9 |     9492 |     7506 |     2209      5 |        0 |        0
5.49/5.57	c  3.2s |      10 |    13553 |    11361 |     2430      8 |        0 |        0
6.99/7.07	c  4.7s |      11 |    20472 |    17144 |     2430     12 |        0 |        0
8.99/9.09	c  6.7s |      11 |    28497 |    24844 |     2673     16 |        0 |        0
9.29/9.35	c  6.9s |      12 |    29485 |    25819 |     2673     17 |        0 |        0
11.29/11.38	c  9.0s |      12 |    38348 |    34519 |     2941     23 |        0 |        0
12.49/12.59	c 10.2s |      13 |    43362 |    38832 |     2941     25 |        0 |        0
14.59/14.64	c 12.2s |      13 |    47829 |    42932 |     2941     28 |        0 |        0
16.60/16.64	c 14.2s |      13 |    51083 |    45932 |     2941     29 |        0 |        0
18.59/18.66	c 16.3s |      13 |    53971 |    48432 |     2941     31 |        0 |        0
20.59/20.68	c 18.3s |      13 |    61707 |    55432 |     3236     34 |        0 |        0
21.59/21.66	c 19.3s |      14 |    64882 |    58352 |     3236     36 |        0 |        0
23.59/23.67	c 21.3s |      14 |    72194 |    65252 |     3236     40 |        0 |        0
25.59/25.69	c 23.3s |      14 |    78976 |    71752 |     3236     43 |        0 |        0
27.69/27.71	c 25.3s |      14 |    84679 |    77052 |     3236     46 |        0 |        0
29.69/29.73	c 27.3s |      14 |    90720 |    82852 |     3560     49 |        0 |        0
31.19/31.27	c 28.9s |      15 |    95667 |    87632 |     3560     51 |        0 |        0
33.19/33.29	c 30.9s |      15 |   104185 |    95832 |     3560     55 |        0 |        0
35.29/35.32	c 32.9s |      15 |   111304 |   102532 |     3560     58 |        0 |        0
37.29/37.34	c 34.9s |      15 |   116784 |   107632 |     3560     61 |        0 |        0
39.29/39.36	c 37.0s |      15 |   122235 |   112832 |     3560     63 |        0 |        0
41.28/41.37	c 39.0s |      15 |   128432 |   118832 |     3560     66 |        0 |        0
43.28/43.38	c 41.0s |      15 |   134248 |   124332 |     3917     69 |        0 |        0
45.28/45.38	c 43.0s |      15 |   139876 |   129632 |     3917     71 |        0 |        0
46.08/46.19	c 43.8s |      16 |   141921 |   131552 |     3917     72 |        0 |        0
48.18/48.22	c 45.8s |      16 |   149861 |   138852 |     3917     75 |        0 |        0
50.18/50.27	c 47.9s |      16 |   155897 |   144652 |     3917     78 |        0 |        0
52.18/52.28	c 49.9s |      16 |   162463 |   150952 |     3917     80 |        0 |        0
54.28/54.30	c 51.9s |      16 |   168590 |   156752 |     3917     83 |        0 |        0
56.28/56.32	c 53.9s |      16 |   174288 |   162252 |     3917     85 |        0 |        0
58.29/58.33	c 55.9s |      16 |   179845 |   167552 |     3917     88 |        0 |        0
60.28/60.36	c 58.0s |      16 |   185376 |   172652 |     3917     90 |        0 |        0
62.28/62.38	c 60.0s |      16 |   190857 |   177952 |     3917     92 |        0 |        0
64.28/64.38	c 62.0s |      16 |   196275 |   182952 |     3917     95 |        0 |        0
66.28/66.39	c 64.0s |      16 |   201723 |   188152 |     3917     97 |        0 |        0
68.38/68.42	c 66.0s |      16 |   206761 |   192852 |     4309     99 |        0 |        0
70.28/70.30	c 67.9s |      17 |   211648 |   197432 |     4309    101 |        0 |        0
72.28/72.32	c 69.9s |      17 |   218871 |   204232 |     4309    104 |        0 |        0
74.28/74.35	c 71.9s |      17 |   225278 |   210332 |     4309    106 |        0 |        0
76.28/76.36	c 74.0s |      17 |   231047 |   215632 |     4309    109 |        0 |        0
78.28/78.38	c 76.0s |      17 |   237217 |   221532 |     4309    111 |        0 |        0
80.28/80.40	c 78.0s |      17 |   243247 |   227132 |     4309    114 |        0 |        0
82.38/82.43	c 80.0s |      17 |   250147 |   233432 |     4309    116 |        0 |        0
84.38/84.47	c 82.1s |      17 |   256654 |   239532 |     4309    119 |        0 |        0
86.38/86.49	c 84.1s |      17 |   263254 |   245632 |     4309    121 |        0 |        0
88.48/88.51	c 86.1s |      17 |   268990 |   250832 |     4309    123 |        0 |        0
90.48/90.53	c 88.1s |      17 |   274133 |   255532 |     4309    125 |        0 |        0
92.48/92.54	c 90.1s |      17 |   279881 |   260832 |     4309    127 |        0 |        0
94.47/94.54	c 92.1s |      17 |   285783 |   266432 |     4309    129 |        0 |        0
96.47/96.55	c 94.1s |      17 |   291866 |   272232 |     4309    132 |        0 |        0
98.47/98.57	c 96.2s |      17 |   297502 |   277432 |     4309    134 |        0 |        0
100.47/100.58	c 98.2s |      17 |   302561 |   282132 |     4309    136 |        0 |        0
102.47/102.58	c  100s |      17 |   309034 |   288232 |     4740    138 |        0 |        0
104.48/104.59	c  102s |      17 |   314966 |   293732 |     4740    140 |        0 |        0
105.47/105.52	c  103s |      18 |   317693 |   296252 |     4740    141 |        0 |        0
107.47/107.56	c  105s |      18 |   320351 |   298152 |     4740    142 |        0 |        0
109.57/109.62	c  107s |      18 |   324611 |   301152 |     4740    143 |        0 |        0
111.57/111.63	c  109s |      18 |   328961 |   303752 |     4740    144 |        0 |        0
113.57/113.64	c  111s |      18 |   333053 |   306152 |     4740    145 |        0 |        0
115.67/115.70	c  113s |      18 |   337355 |   310252 |     4740    146 |        0 |        0
117.68/117.71	c  115s |      18 |   339683 |   312052 |     4740    147 |        0 |        0
119.67/119.77	c  117s |      18 |   343358 |   315452 |     4740    148 |        0 |        0
121.87/121.92	c  119s |      18 |   344867 |   316552 |     4740    149 |        0 |        0
123.87/123.95	c  121s |      18 |   349941 |   321252 |     4740    150 |        0 |        0
125.87/125.96	c  123s |      18 |   355034 |   325952 |     4740    152 |        0 |        0
127.87/127.96	c  125s |      18 |   359444 |   330052 |     4740    154 |        0 |        0
129.87/129.98	c  127s |      18 |   364960 |   335552 |     4740    156 |        0 |        0
131.97/132.01	c  129s |      18 |   370031 |   340552 |     4740    158 |        0 |        0
133.97/134.04	c  131s |      18 |   374899 |   345352 |     4740    159 |        0 |        0
135.96/136.09	c  133s |      18 |   379062 |   349252 |     4740    161 |        0 |        0
138.07/138.13	c  135s |      18 |   384144 |   353952 |     4740    162 |        0 |        0
140.07/140.18	c  137s |      18 |   391806 |   361452 |     4740    165 |        0 |        0
142.07/142.19	c  139s |      18 |   397404 |   365752 |     4740    167 |        0 |        0
144.18/144.21	c  141s |      18 |   401295 |   367852 |     4740    168 |        0 |        0
146.17/146.22	c  143s |      18 |   404448 |   369552 |     4740    168 |        0 |        0
148.17/148.26	c  145s |      18 |   406156 |   370852 |     4740    169 |        0 |        0
150.27/150.30	c  147s |      18 |   409163 |   373052 |     4740    170 |        0 |        0
152.27/152.34	c  149s |      18 |   413930 |   376252 |     4740    171 |        0 |        0
154.27/154.37	c  151s |      18 |   418257 |   379652 |     4740    172 |        0 |        0
156.28/156.38	c  153s |      18 |   423202 |   383252 |     4740    174 |        0 |        0
158.27/158.40	c  155s |      18 |   428819 |   387452 |     4740    175 |        0 |        0
160.37/160.43	c  158s |      18 |   432064 |   389852 |     4740    176 |        0 |        0
162.37/162.44	c  160s |      18 |   434776 |   392252 |     4740    177 |        0 |        0
164.37/164.47	c  162s |      18 |   436696 |   393752 |     4740    178 |        0 |        0
166.37/166.47	c  164s |      18 |   438467 |   395252 |     4740    178 |        0 |        0
168.47/168.52	c  166s |      18 |   440666 |   397052 |     4740    179 |        0 |        0
170.47/170.53	c  168s |      18 |   442576 |   398752 |     4740    180 |        0 |        0
172.56/172.61	c  170s |      18 |   444182 |   400052 |     4740    180 |        0 |        0
174.66/174.76	c  172s |      18 |   446354 |   401652 |     4740    181 |        0 |        0
176.76/176.87	c  174s |      18 |   447989 |   402952 |     4740    181 |        0 |        0
178.86/178.98	c  176s |      18 |   449693 |   404452 |     4740    182 |        0 |        0
180.96/181.02	c  178s |      18 |   453264 |   406552 |     4740    183 |        0 |        0
182.96/183.05	c  180s |      18 |   458692 |   410552 |     4740    184 |        0 |        0
185.06/185.13	c  182s |      18 |   463000 |   413752 |     4740    185 |        0 |        0
187.07/187.14	c  184s |      18 |   466192 |   416052 |     4740    186 |        0 |        0
189.06/189.19	c  186s |      18 |   469608 |   418652 |     4740    187 |        0 |        0
191.16/191.22	c  188s |      18 |   473617 |   421452 |     4740    188 |        0 |        0
193.16/193.22	c  190s |      18 |   477654 |   424852 |     4740    190 |        0 |        0
195.16/195.23	c  192s |      18 |   483667 |   429452 |     4740    191 |        0 |        0
197.16/197.24	c  194s |      18 |   489487 |   433852 |     4740    193 |        0 |        0
199.16/199.26	c  196s |      18 |   494231 |   437952 |     5214    194 |        0 |        0
201.26/201.31	c  198s |      18 |   498874 |   441652 |     5214    196 |        0 |        0
202.46/202.53	c  200s |      19 |   502346 |   444482 |     5214    197 |        0 |        0
204.46/204.56	c  202s |      19 |   507984 |   449482 |     5214    198 |        0 |        0
206.46/206.58	c  204s |      19 |   512507 |   453682 |     5214    200 |        0 |        0
208.46/208.59	c  206s |      19 |   515565 |   456382 |     5214    201 |        0 |        0
210.56/210.67	c  208s |      19 |   519054 |   459182 |     5214    202 |        0 |        0
212.56/212.68	c  210s |      19 |   521881 |   461382 |     5214    203 |        0 |        0
214.57/214.68	c  212s |      19 |   525722 |   464682 |     5214    204 |        0 |        0
216.67/216.77	c  214s |      19 |   529083 |   467482 |     5214    205 |        0 |        0
218.76/218.84	c  216s |      19 |   532091 |   469982 |     5214    206 |        0 |        0
220.76/220.86	c  218s |      19 |   536290 |   473882 |     5214    207 |        0 |        0
222.86/222.94	c  220s |      19 |   539024 |   476282 |     5214    208 |        0 |        0
224.86/224.99	c  222s |      19 |   543201 |   480082 |     5214    209 |        0 |        0
226.86/226.99	c  224s |      19 |   548223 |   484782 |     5214    211 |        0 |        0
228.96/229.00	c  226s |      19 |   555639 |   491482 |     5214    214 |        0 |        0
230.96/231.01	c  228s |      19 |   562889 |   498182 |     5214    216 |        0 |        0
232.96/233.03	c  230s |      19 |   569946 |   504782 |     5214    218 |        0 |        0
234.96/235.04	c  232s |      19 |   576710 |   511082 |     5214    221 |        0 |        0
236.96/237.05	c  234s |      19 |   583924 |   517682 |     5214    223 |        0 |        0
238.96/239.06	c  236s |      19 |   590852 |   523982 |     5214    225 |        0 |        0
240.96/241.08	c  238s |      19 |   597706 |   530282 |     5214    228 |        0 |        0
242.95/243.09	c  240s |      19 |   605108 |   537482 |     5214    230 |        0 |        0
245.05/245.10	c  242s |      19 |   611292 |   543482 |     5214    232 |        0 |        0
247.05/247.14	c  244s |      19 |   617463 |   549382 |     5214    234 |        0 |        0
249.05/249.16	c  246s |      19 |   623808 |   555482 |     5214    237 |        0 |        0
251.05/251.16	c  248s |      19 |   630784 |   561982 |     5214    239 |        0 |        0
253.06/253.18	c  250s |      19 |   636835 |   567782 |     5214    241 |        0 |        0
255.16/255.22	c  252s |      19 |   644140 |   574482 |     5214    244 |        0 |        0
257.15/257.25	c  254s |      19 |   651277 |   581182 |     5214    246 |        0 |        0
259.15/259.28	c  256s |      19 |   657816 |   586982 |     5214    248 |        0 |        0
261.25/261.34	c  258s |      19 |   662146 |   591082 |     5214    249 |        0 |        0
263.35/263.41	c  261s |      19 |   666969 |   595582 |     5214    251 |        0 |        0
265.35/265.46	c  263s |      19 |   671615 |   599782 |     5214    253 |        0 |        0
267.36/267.50	c  265s |      19 |   676396 |   604282 |     5214    254 |        0 |        0
269.46/269.54	c  267s |      19 |   680999 |   608282 |     5214    256 |        0 |        0
271.55/271.62	c  269s |      19 |   683743 |   610582 |     5214    256 |        0 |        0
273.55/273.66	c  271s |      19 |   688867 |   615282 |     5214    258 |        0 |        0
275.55/275.67	c  273s |      19 |   692883 |   618882 |     5214    259 |        0 |        0
277.55/277.69	c  275s |      19 |   697479 |   622882 |     5214    261 |        0 |        0
279.55/279.69	c  277s |      19 |   701866 |   626782 |     5214    262 |        0 |        0
281.65/281.72	c  279s |      19 |   707471 |   631882 |     5214    264 |        0 |        0
283.65/283.74	c  281s |      19 |   712844 |   636782 |     5214    266 |        0 |        0
285.65/285.80	c  283s |      19 |   717464 |   640882 |     5214    267 |        0 |        0
287.75/287.84	c  285s |      19 |   723261 |   646282 |     5214    269 |        0 |        0
289.75/289.87	c  287s |      19 |   727450 |   650182 |     5214    271 |        0 |        0
291.84/291.91	c  289s |      19 |   733211 |   655482 |     5736    273 |        0 |        0
293.84/293.92	c  291s |      19 |   737648 |   659582 |     5736    274 |        0 |        0
295.85/295.92	c  293s |      19 |   742715 |   663982 |     5736    275 |        0 |        0
296.74/296.85	c  294s |      20 |   745694 |   666827 |     5736    276 |        0 |        0
298.74/298.85	c  296s |      20 |   753418 |   674227 |     5736    279 |        0 |        0
300.74/300.88	c  298s |      20 |   760063 |   680527 |     5736    281 |        0 |        0
302.84/302.91	c  300s |      20 |   767336 |   687327 |     5736    283 |        0 |        0
304.84/304.93	c  302s |      20 |   773922 |   693727 |     5736    285 |        0 |        0
306.85/306.95	c  304s |      20 |   779784 |   699327 |     5736    287 |        0 |        0
308.84/308.96	c  306s |      20 |   785739 |   705027 |     5736    288 |        0 |        0
310.84/310.98	c  308s |      20 |   791967 |   710627 |     5736    290 |        0 |        0
312.84/312.99	c  310s |      20 |   798981 |   717127 |     5736    292 |        0 |        0
314.94/315.02	c  312s |      20 |   805273 |   723227 |     5736    294 |        0 |        0
316.94/317.03	c  314s |      20 |   811352 |   728927 |     5736    296 |        0 |        0
318.95/319.04	c  316s |      20 |   816601 |   733927 |     5736    298 |        0 |        0
320.94/321.05	c  318s |      20 |   822466 |   739127 |     5736    299 |        0 |        0
322.94/323.05	c  320s |      20 |   827861 |   744227 |     5736    301 |        0 |        0
324.94/325.06	c  322s |      20 |   833471 |   749327 |     5736    302 |        0 |        0
326.94/327.07	c  324s |      20 |   839184 |   754327 |     5736    304 |        0 |        0
328.94/329.08	c  326s |      20 |   845122 |   759727 |     5736    306 |        0 |        0
330.94/331.08	c  328s |      20 |   850947 |   765427 |     5736    308 |        0 |        0
333.04/333.11	c  330s |      20 |   856383 |   770627 |     5736    309 |        0 |        0
335.04/335.13	c  332s |      20 |   861448 |   775427 |     5736    311 |        0 |        0
337.03/337.14	c  334s |      20 |   867441 |   781127 |     5736    312 |        0 |        0
339.03/339.17	c  336s |      20 |   873529 |   786927 |     5736    314 |        0 |        0
341.04/341.17	c  338s |      20 |   879469 |   792627 |     5736    316 |        0 |        0
343.03/343.19	c  340s |      20 |   885459 |   798327 |     5736    318 |        0 |        0
345.13/345.22	c  342s |      20 |   891712 |   804227 |     5736    320 |        0 |        0
347.13/347.26	c  344s |      20 |   897739 |   809927 |     5736    322 |        0 |        0
349.13/349.29	c  346s |      20 |   903759 |   815627 |     5736    323 |        0 |        0
351.24/351.31	c  348s |      20 |   909834 |   821427 |     5736    325 |        0 |        0
353.24/353.32	c  350s |      20 |   915249 |   826527 |     5736    327 |        0 |        0
355.24/355.33	c  352s |      20 |   921525 |   832427 |     5736    329 |        0 |        0
357.24/357.36	c  354s |      20 |   927419 |   838027 |     5736    330 |        0 |        0
359.23/359.37	c  356s |      20 |   933402 |   843927 |     5736    332 |        0 |        0
361.23/361.37	c  358s |      20 |   939809 |   850127 |     5736    334 |        0 |        0
363.23/363.37	c  360s |      20 |   946157 |   856227 |     5736    336 |        0 |        0
365.24/365.37	c  362s |      20 |   951973 |   861727 |     5736    338 |        0 |        0
367.23/367.39	c  364s |      20 |   957976 |   867427 |     5736    340 |        0 |        0
369.33/369.40	c  366s |      20 |   964502 |   873527 |     5736    342 |        0 |        0
371.32/371.40	c  368s |      20 |   970491 |   879227 |     5736    343 |        0 |        0
373.32/373.41	c  371s |      20 |   976852 |   885227 |     5736    345 |        0 |        0
375.32/375.42	c  373s |      20 |   982177 |   890327 |     5736    347 |        0 |        0
377.33/377.43	c  375s |      20 |   988356 |   896327 |     5736    349 |        0 |        0
379.32/379.46	c  377s |      20 |   994684 |   902327 |     5736    351 |        0 |        0
381.32/381.48	c  379s |      20 |  1000996 |   908427 |     5736    353 |        0 |        0
383.42/383.50	c  381s |      20 |  1007555 |   914627 |     5736    355 |        0 |        0
385.42/385.52	c  383s |      20 |  1014136 |   920927 |     5736    356 |        0 |        0
387.42/387.53	c  385s |      20 |  1020186 |   926627 |     5736    358 |        0 |        0
389.42/389.53	c  387s |      20 |  1025842 |   932127 |     5736    360 |        0 |        0
391.41/391.56	c  389s |      20 |  1031388 |   937527 |     5736    362 |        0 |        0
393.41/393.59	c  391s |      20 |  1037292 |   943127 |     5736    363 |        0 |        0
395.51/395.62	c  393s |      20 |  1043070 |   948527 |     5736    365 |        0 |        0
397.51/397.62	c  395s |      20 |  1048706 |   953827 |     5736    367 |        0 |        0
399.51/399.63	c  397s |      20 |  1055023 |   959827 |     5736    369 |        0 |        0
401.52/401.64	c  399s |      20 |  1060535 |   965027 |     5736    370 |        0 |        0
403.51/403.64	c  401s |      20 |  1066453 |   970627 |     5736    372 |        0 |        0
405.51/405.65	c  403s |      20 |  1072310 |   976127 |     5736    374 |        0 |        0
407.61/407.70	c  405s |      20 |  1078060 |   981627 |     5736    376 |        0 |        0
409.60/409.75	c  407s |      20 |  1084266 |   987727 |     6310    377 |        0 |        0
411.60/411.77	c  409s |      20 |  1090219 |   993427 |     6310    379 |        0 |        0
413.61/413.78	c  411s |      20 |  1095952 |   998827 |     6310    381 |        0 |        0
414.20/414.37	c  411s |      21 |  1097586 |  1000345 |     6310    381 |        0 |        0
416.20/416.39	c  413s |      21 |  1101629 |  1003145 |     6310    382 |        0 |        0
418.30/418.40	c  415s |      21 |  1107510 |  1008945 |     6310    383 |        0 |        0
420.30/420.41	c  417s |      21 |  1112201 |  1013545 |     6310    385 |        0 |        0
422.31/422.50	c  420s |      21 |  1116436 |  1016945 |     6310    386 |        0 |        0
424.40/424.54	c  422s |      21 |  1120993 |  1021045 |     6310    387 |        0 |        0
426.40/426.54	c  424s |      21 |  1125294 |  1025245 |     6310    388 |        0 |        0
428.51/428.62	c  426s |      21 |  1128464 |  1027745 |     6310    389 |        0 |        0
430.51/430.62	c  428s |      21 |  1131621 |  1029945 |     6310    390 |        0 |        0
432.51/432.65	c  430s |      21 |  1135021 |  1032845 |     6310    390 |        0 |        0
434.51/434.67	c  432s |      21 |  1139114 |  1035945 |     6310    391 |        0 |        0
436.61/436.72	c  434s |      21 |  1142577 |  1038545 |     6310    392 |        0 |        0
438.60/438.77	c  436s |      21 |  1145981 |  1041545 |     6310    393 |        0 |        0
440.70/440.80	c  438s |      21 |  1150520 |  1045545 |     6310    394 |        0 |        0
442.70/442.85	c  440s |      21 |  1155392 |  1049545 |     6310    395 |        0 |        0
444.70/444.88	c  442s |      21 |  1159684 |  1053345 |     6310    396 |        0 |        0
446.70/446.89	c  444s |      21 |  1163969 |  1056945 |     6310    397 |        0 |        0
448.71/448.90	c  446s |      21 |  1169023 |  1061445 |     6310    399 |        0 |        0
450.80/450.94	c  448s |      21 |  1172440 |  1063945 |     6310    399 |        0 |        0
452.80/452.95	c  450s |      21 |  1175830 |  1066645 |     6310    400 |        0 |        0
454.90/455.02	c  452s |      21 |  1179744 |  1069745 |     6310    401 |        0 |        0
456.90/457.03	c  454s |      21 |  1182752 |  1071945 |     6310    402 |        0 |        0
458.90/459.06	c  456s |      21 |  1185309 |  1073845 |     6310    402 |        0 |        0
460.99/461.12	c  458s |      21 |  1188157 |  1076045 |     6310    403 |        0 |        0
463.00/463.16	c  460s |      21 |  1192307 |  1078745 |     6310    404 |        0 |        0
464.99/465.17	c  462s |      21 |  1196129 |  1081745 |     6310    405 |        0 |        0
467.09/467.20	c  464s |      21 |  1201294 |  1086345 |     6310    406 |        0 |        0
469.09/469.26	c  466s |      21 |  1205144 |  1089345 |     6310    407 |        0 |        0
471.09/471.29	c  468s |      21 |  1211615 |  1093545 |     6310    408 |        0 |        0
473.09/473.30	c  470s |      21 |  1216723 |  1096645 |     6310    409 |        0 |        0
475.20/475.34	c  472s |      21 |  1220878 |  1099745 |     6310    410 |        0 |        0
477.30/477.42	c  475s |      21 |  1225093 |  1102945 |     6310    411 |        0 |        0
479.29/479.45	c  477s |      21 |  1229898 |  1106245 |     6310    412 |        0 |        0
481.28/481.46	c  479s |      21 |  1237077 |  1112245 |     6310    414 |        0 |        0
483.28/483.49	c  481s |      21 |  1242585 |  1117245 |     6310    415 |        0 |        0
485.28/485.49	c  483s |      21 |  1247837 |  1122145 |     6310    417 |        0 |        0
487.38/487.51	c  485s |      21 |  1252702 |  1126245 |     6310    418 |        0 |        0
489.39/489.54	c  487s |      21 |  1257729 |  1130845 |     6310    419 |        0 |        0
491.38/491.58	c  489s |      21 |  1264085 |  1136345 |     6310    421 |        0 |        0
493.48/493.61	c  491s |      21 |  1269711 |  1141345 |     6310    422 |        0 |        0
495.48/495.61	c  493s |      21 |  1274617 |  1146145 |     6310    424 |        0 |        0
497.48/497.63	c  495s |      21 |  1279722 |  1150945 |     6310    425 |        0 |        0
499.47/499.64	c  497s |      21 |  1284524 |  1155445 |     6310    426 |        0 |        0
501.48/501.65	c  499s |      21 |  1289092 |  1159845 |     6310    428 |        0 |        0
503.47/503.65	c  501s |      21 |  1294410 |  1164745 |     6310    429 |        0 |        0
505.47/505.66	c  503s |      21 |  1300568 |  1170245 |     6310    431 |        0 |        0
507.47/507.69	c  505s |      21 |  1306505 |  1175445 |     6310    432 |        0 |        0
509.57/509.74	c  507s |      21 |  1311743 |  1180145 |     6310    434 |        0 |        0
511.57/511.76	c  509s |      21 |  1316930 |  1184845 |     6310    435 |        0 |        0
513.57/513.78	c  511s |      21 |  1320717 |  1188145 |     6310    436 |        0 |        0
515.67/515.81	c  513s |      21 |  1325472 |  1192545 |     6310    437 |        0 |        0
517.67/517.83	c  515s |      21 |  1329943 |  1196745 |     6310    438 |        0 |        0
519.67/519.85	c  517s |      21 |  1336013 |  1202445 |     6310    440 |        0 |        0
521.67/521.85	c  519s |      21 |  1341862 |  1207945 |     6310    442 |        0 |        0
523.67/523.89	c  521s |      21 |  1347261 |  1213145 |     6310    443 |        0 |        0
525.78/525.90	c  523s |      21 |  1353412 |  1218845 |     6310    445 |        0 |        0
527.77/527.91	c  525s |      21 |  1359576 |  1224245 |     6310    446 |        0 |        0
529.77/529.93	c  527s |      21 |  1365642 |  1229945 |     6310    448 |        0 |        0
531.77/531.93	c  529s |      21 |  1370872 |  1234745 |     6310    449 |        0 |        0
533.76/533.94	c  531s |      21 |  1376822 |  1240345 |     6310    451 |        0 |        0
535.76/535.99	c  533s |      21 |  1382822 |  1245745 |     6310    453 |        0 |        0
537.87/538.02	c  535s |      21 |  1388436 |  1250745 |     6310    454 |        0 |        0
539.86/540.05	c  537s |      21 |  1394861 |  1256545 |     6310    456 |        0 |        0
541.86/542.09	c  539s |      21 |  1399802 |  1261245 |     6310    457 |        0 |        0
543.86/544.09	c  541s |      21 |  1405093 |  1266245 |     6310    459 |        0 |        0
545.96/546.10	c  543s |      21 |  1410632 |  1271245 |     6310    460 |        0 |        0
547.96/548.11	c  545s |      21 |  1415602 |  1275845 |     6310    461 |        0 |        0
549.96/550.15	c  547s |      21 |  1421508 |  1281045 |     6310    463 |        0 |        0
551.95/552.17	c  549s |      21 |  1428053 |  1287145 |     6310    465 |        1 |        8
554.05/554.21	c  551s |      21 |  1433624 |  1292345 |     6310    466 |        1 |        8
556.05/556.22	c  553s |      21 |  1439245 |  1297645 |     6310    468 |        1 |        8
558.05/558.25	c  555s |      21 |  1444859 |  1302945 |     6310    470 |        1 |        8
560.04/560.27	c  557s |      21 |  1450152 |  1307945 |     6310    471 |        1 |        8
562.05/562.27	c  559s |      21 |  1455331 |  1312645 |     6310    472 |        1 |        8
564.04/564.30	c  561s |      21 |  1460649 |  1317745 |     6310    474 |        1 |        8
566.14/566.32	c  563s |      21 |  1465547 |  1322445 |     6310    475 |        1 |        8
568.14/568.36	c  565s |      21 |  1470975 |  1327645 |     6310    477 |        1 |        8
570.14/570.37	c  567s |      21 |  1475985 |  1332445 |     6310    478 |        1 |        8
572.14/572.37	c  569s |      21 |  1481041 |  1337345 |     6310    480 |        1 |        8
574.15/574.38	c  571s |      21 |  1486329 |  1342245 |     6310    481 |        1 |        8
576.25/576.42	c  574s |      21 |  1491437 |  1346945 |     6310    483 |        1 |        8
578.24/578.45	c  576s |      21 |  1496683 |  1351945 |     6310    484 |        1 |        8
580.23/580.47	c  578s |      21 |  1502219 |  1357245 |     6310    486 |        1 |        8
582.23/582.48	c  580s |      21 |  1507245 |  1362045 |     6310    487 |        1 |        8
584.23/584.48	c  582s |      21 |  1512443 |  1367045 |     6310    489 |        1 |        8
586.24/586.49	c  584s |      21 |  1517423 |  1371645 |     6310    490 |        1 |        8
588.34/588.54	c  586s |      21 |  1523193 |  1377145 |     6310    492 |        1 |        8
590.33/590.56	c  588s |      21 |  1529209 |  1382845 |     6310    493 |        1 |        8
592.33/592.57	c  590s |      21 |  1534256 |  1387745 |     6310    495 |        1 |        8
594.43/594.60	c  592s |      21 |  1539822 |  1393145 |     6310    496 |        1 |        8
596.43/596.61	c  594s |      21 |  1545625 |  1398745 |     6310    498 |        1 |        8
598.43/598.63	c  596s |      21 |  1551224 |  1404045 |     6310    500 |        1 |        8
600.44/600.67	c  598s |      21 |  1556533 |  1408945 |     6310    501 |        1 |        8
602.43/602.67	c  600s |      21 |  1561550 |  1413745 |     6310    502 |        1 |        8
604.43/604.68	c  602s |      21 |  1567115 |  1418845 |     6310    504 |        1 |        8
606.53/606.70	c  604s |      21 |  1572579 |  1423945 |     6310    505 |        1 |        8
608.53/608.71	c  606s |      21 |  1577445 |  1428545 |     6310    507 |        1 |        8
610.53/610.75	c  608s |      21 |  1582859 |  1433545 |     6310    508 |        1 |        8
612.54/612.78	c  610s |      21 |  1587600 |  1438045 |     6310    509 |        1 |        8
614.63/614.80	c  612s |      21 |  1592717 |  1442945 |     6310    511 |        1 |        8
616.63/616.83	c  614s |      21 |  1598084 |  1448045 |     6310    512 |        1 |        8
618.63/618.85	c  616s |      21 |  1603604 |  1453345 |     6310    514 |        1 |        8
620.63/620.88	c  618s |      21 |  1609038 |  1458545 |     6310    515 |        1 |        8
622.62/622.89	c  620s |      21 |  1614851 |  1464045 |     6310    517 |        1 |        8
624.73/624.93	c  622s |      21 |  1619352 |  1468345 |     6310    518 |        1 |        8
626.72/626.94	c  624s |      21 |  1624543 |  1473345 |     6310    520 |        1 |        8
628.72/628.99	c  626s |      21 |  1628979 |  1477645 |     6310    521 |        1 |        8
630.72/630.99	c  628s |      21 |  1634092 |  1482345 |     6310    522 |        1 |        8
632.82/633.00	c  630s |      21 |  1638902 |  1486945 |     6942    523 |        1 |        8
634.82/635.02	c  632s |      21 |  1643723 |  1491545 |     6942    525 |        1 |        8
636.83/637.04	c  634s |      21 |  1648871 |  1496445 |     6942    526 |        1 |        8
638.42/638.70	c  636s |      22 |  1653323 |  1500622 |     6942    527 |        1 |        8
640.52/640.73	c  638s |      22 |  1660845 |  1507622 |     6942    529 |        1 |        8
642.52/642.76	c  640s |      22 |  1666519 |  1513022 |     6942    530 |        1 |        8
644.52/644.77	c  642s |      22 |  1672639 |  1518822 |     6942    532 |        1 |        8
646.62/646.81	c  644s |      22 |  1678269 |  1524122 |     6942    533 |        1 |        8
648.61/648.84	c  646s |      22 |  1683185 |  1528722 |     6942    535 |        1 |        8
650.61/650.85	c  648s |      22 |  1688264 |  1533622 |     6942    536 |        1 |        8
652.61/652.89	c  650s |      22 |  1693850 |  1538922 |     6942    537 |        1 |        8
654.71/654.91	c  652s |      22 |  1699304 |  1544122 |     6942    539 |        1 |        8
656.71/656.93	c  654s |      22 |  1704802 |  1549422 |     6942    540 |        1 |        8
658.72/658.94	c  656s |      22 |  1709986 |  1554422 |     6942    542 |        1 |        8
660.71/660.98	c  658s |      22 |  1715105 |  1559222 |     6942    543 |        1 |        8
662.81/663.00	c  660s |      22 |  1721079 |  1564922 |     6942    544 |        1 |        8
664.81/665.01	c  662s |      22 |  1726691 |  1570222 |     6942    546 |        1 |        8
666.81/667.02	c  664s |      22 |  1732067 |  1575322 |     6942    547 |        1 |        8
668.80/669.07	c  666s |      22 |  1737214 |  1580222 |     6942    549 |        1 |        8
670.81/671.09	c  668s |      22 |  1741992 |  1584722 |     6942    550 |        1 |        8
672.90/673.10	c  670s |      22 |  1747679 |  1590122 |     6942    551 |        1 |        8
674.90/675.13	c  672s |      22 |  1752731 |  1594922 |     6942    552 |        1 |        8
676.90/677.14	c  674s |      22 |  1757830 |  1599722 |     6942    554 |        1 |        8
678.90/679.16	c  676s |      22 |  1763735 |  1605222 |     6942    555 |        1 |        8
680.90/681.16	c  678s |      22 |  1768581 |  1609822 |     6942    557 |        1 |        8
682.91/683.19	c  680s |      22 |  1774467 |  1615422 |     6942    558 |        1 |        8
685.00/685.20	c  682s |      22 |  1780110 |  1620822 |     6942    559 |        1 |        8
687.00/687.22	c  684s |      22 |  1786201 |  1626522 |     6942    561 |        1 |        8
688.99/689.28	c  686s |      22 |  1791865 |  1631822 |     6942    562 |        1 |        8
691.09/691.30	c  688s |      22 |  1797718 |  1637322 |     6942    564 |        1 |        8
693.09/693.35	c  690s |      22 |  1803930 |  1643222 |     6942    566 |        1 |        8
695.10/695.36	c  692s |      22 |  1809734 |  1648622 |     6942    567 |        1 |        8
697.09/697.37	c  694s |      22 |  1815233 |  1653722 |     6942    568 |        1 |        8
699.19/699.40	c  696s |      22 |  1821485 |  1659622 |     6942    570 |        1 |        8
701.19/701.42	c  699s |      22 |  1827227 |  1664922 |     6942    571 |        1 |        8
703.19/703.43	c  701s |      22 |  1832846 |  1670322 |     6942    573 |        1 |        8
705.19/705.47	c  703s |      22 |  1838886 |  1676022 |     6942    574 |        1 |        8
707.29/707.50	c  705s |      22 |  1844880 |  1681822 |     6942    576 |        1 |        8
709.30/709.51	c  707s |      22 |  1850752 |  1687522 |     6942    577 |        1 |        8
711.29/711.52	c  709s |      22 |  1856043 |  1692522 |     6942    579 |        1 |        8
713.29/713.53	c  711s |      22 |  1862123 |  1698322 |     6942    580 |        1 |        8
715.29/715.55	c  713s |      22 |  1868190 |  1704122 |     6942    582 |        1 |        8
717.29/717.56	c  715s |      22 |  1874107 |  1709822 |     6942    584 |        1 |        8
719.29/719.57	c  717s |      22 |  1880089 |  1715622 |     6942    585 |        1 |        8
721.28/721.58	c  719s |      22 |  1886174 |  1721422 |     6942    587 |        1 |        8
723.28/723.59	c  721s |      22 |  1892381 |  1727422 |     6942    588 |        1 |        8
725.38/725.62	c  723s |      22 |  1898179 |  1732822 |     6942    590 |        1 |        8
727.38/727.62	c  725s |      22 |  1903973 |  1738322 |     6942    591 |        1 |        8
729.37/729.62	c  727s |      22 |  1909811 |  1743722 |     6942    593 |        1 |        8
731.38/731.63	c  729s |      22 |  1915668 |  1749322 |     6942    594 |        1 |        8
733.37/733.65	c  731s |      22 |  1921152 |  1754522 |     6942    596 |        1 |        8
735.37/735.65	c  733s |      22 |  1927409 |  1760322 |     6942    597 |        1 |        8
737.37/737.67	c  735s |      22 |  1933460 |  1766122 |     6942    599 |        1 |        8
739.37/739.68	c  737s |      22 |  1939130 |  1771622 |     6942    600 |        1 |        8
741.47/741.72	c  739s |      22 |  1945684 |  1777922 |     6942    602 |        1 |        8
743.47/743.75	c  741s |      22 |  1951288 |  1783322 |     6942    603 |        1 |        8
745.47/745.77	c  743s |      22 |  1957308 |  1789222 |     6942    605 |        1 |        8
747.47/747.77	c  745s |      22 |  1962796 |  1794522 |     6942    606 |        1 |        8
749.46/749.79	c  747s |      22 |  1968754 |  1800122 |     6942    608 |        1 |        8
751.56/751.82	c  749s |      22 |  1973958 |  1805122 |     6942    609 |        1 |        8
753.56/753.82	c  751s |      22 |  1980050 |  1810722 |     6942    611 |        1 |        8
755.57/755.85	c  753s |      22 |  1986354 |  1816622 |     6942    612 |        1 |        8
757.56/757.86	c  755s |      22 |  1993649 |  1823422 |     6942    614 |        1 |        8
759.66/759.90	c  757s |      22 |  1999059 |  1828522 |     6942    616 |        1 |        8
761.66/761.91	c  759s |      22 |  2004557 |  1833622 |     6942    617 |        1 |        8
763.65/763.92	c  761s |      22 |  2009645 |  1838422 |     6942    618 |        1 |        8
765.65/765.95	c  763s |      22 |  2015823 |  1844122 |     6942    620 |        1 |        8
767.66/767.96	c  765s |      22 |  2021546 |  1849422 |     6942    621 |        1 |        8
769.65/769.97	c  767s |      22 |  2026762 |  1854222 |     6942    623 |        1 |        8
771.65/771.98	c  769s |      22 |  2031695 |  1858722 |     6942    624 |        1 |        8
773.65/773.98	c  771s |      22 |  2036975 |  1863622 |     6942    625 |        1 |        8
775.75/776.01	c  773s |      22 |  2041894 |  1868022 |     6942    626 |        1 |        8
777.75/778.06	c  775s |      22 |  2046364 |  1872022 |     6942    627 |        1 |        8
779.75/780.07	c  777s |      22 |  2050333 |  1875822 |     6942    628 |        1 |        8
781.74/782.08	c  779s |      22 |  2054729 |  1880122 |     6942    630 |        1 |        8
783.85/784.12	c  781s |      22 |  2060506 |  1885522 |     6942    631 |        1 |        8
785.85/786.13	c  783s |      22 |  2066845 |  1891522 |     6942    633 |        1 |        8
787.85/788.16	c  785s |      22 |  2072240 |  1896822 |     6942    634 |        1 |        8
789.84/790.16	c  787s |      22 |  2078396 |  1902822 |     6942    636 |        1 |        8
791.85/792.17	c  789s |      22 |  2084224 |  1908322 |     6942    637 |        1 |        8
793.84/794.18	c  791s |      22 |  2089068 |  1913022 |     6942    638 |        1 |        8
795.84/796.19	c  793s |      22 |  2093588 |  1917322 |     6942    640 |        1 |        8
797.94/798.21	c  795s |      22 |  2098639 |  1922222 |     6942    641 |        1 |        8
799.94/800.23	c  797s |      22 |  2104406 |  1927722 |     6942    642 |        1 |        8
801.94/802.27	c  799s |      22 |  2109305 |  1932522 |     6942    644 |        1 |        8
804.14/804.40	c  801s |      22 |  2114993 |  1938122 |     6942    645 |        1 |        8
806.14/806.40	c  803s |      22 |  2120482 |  1943422 |     6942    647 |        1 |        8
808.14/808.41	c  806s |      22 |  2125858 |  1948622 |     6942    648 |        1 |        8
810.13/810.45	c  808s |      22 |  2130849 |  1953522 |     6942    649 |        1 |        8
812.13/812.47	c  810s |      22 |  2135556 |  1958122 |     6942    651 |        1 |        8
814.23/814.50	c  812s |      22 |  2140466 |  1962822 |     6942    652 |        1 |        8
816.23/816.52	c  814s |      22 |  2145395 |  1967622 |     6942    653 |        1 |        8
818.24/818.54	c  816s |      22 |  2150384 |  1972422 |     6942    654 |        1 |        8
820.23/820.56	c  818s |      22 |  2155540 |  1977422 |     6942    656 |        1 |        8
822.23/822.59	c  820s |      22 |  2160462 |  1982222 |     6942    657 |        1 |        8
824.33/824.63	c  822s |      22 |  2165577 |  1987222 |     6942    658 |        1 |        8
826.33/826.64	c  824s |      22 |  2170173 |  1991722 |     6942    660 |        1 |        8
828.33/828.65	c  826s |      22 |  2174942 |  1996322 |     6942    661 |        1 |        8
830.33/830.67	c  828s |      22 |  2180247 |  2001422 |     6942    662 |        1 |        8
832.32/832.68	c  830s |      22 |  2185442 |  2006522 |     6942    664 |        1 |        8
834.42/834.70	c  832s |      22 |  2190276 |  2011222 |     6942    665 |        1 |        8
836.42/836.74	c  834s |      22 |  2195316 |  2016122 |     6942    666 |        1 |        8
838.42/838.77	c  836s |      22 |  2200467 |  2021122 |     6942    668 |        1 |        8
840.52/840.81	c  838s |      22 |  2206163 |  2026622 |     6942    669 |        1 |        8
842.51/842.84	c  840s |      22 |  2211244 |  2031622 |     6942    670 |        1 |        8
844.52/844.86	c  842s |      22 |  2216563 |  2036822 |     6942    672 |        1 |        8
846.51/846.87	c  844s |      22 |  2222288 |  2042322 |     6942    673 |        1 |        8
848.51/848.87	c  846s |      22 |  2227700 |  2047622 |     6942    675 |        1 |        8
850.51/850.88	c  848s |      22 |  2232922 |  2052722 |     6942    676 |        1 |        8
852.51/852.89	c  850s |      22 |  2238518 |  2058022 |     6942    678 |        1 |        8
854.61/854.91	c  852s |      22 |  2243995 |  2063322 |     6942    679 |        1 |        8
856.61/856.91	c  854s |      22 |  2249027 |  2068222 |     6942    680 |        1 |        8
858.61/858.93	c  856s |      22 |  2254301 |  2073222 |     6942    682 |        1 |        8
860.60/860.94	c  858s |      22 |  2260015 |  2078622 |     6942    683 |        1 |        8
862.60/862.95	c  860s |      22 |  2265263 |  2083622 |     6942    685 |        1 |        8
864.60/864.96	c  862s |      22 |  2270106 |  2088322 |     6942    686 |        1 |        8
866.71/867.01	c  864s |      22 |  2276802 |  2094722 |     6942    688 |        1 |        8
868.72/869.03	c  866s |      22 |  2283158 |  2100922 |     6942    689 |        1 |        8
870.71/871.06	c  868s |      22 |  2288648 |  2106322 |     6942    691 |        1 |        8
872.70/873.08	c  870s |      22 |  2293579 |  2111122 |     6942    692 |        1 |        8
874.80/875.14	c  872s |      22 |  2299611 |  2116922 |     6942    694 |        1 |        8
876.80/877.14	c  874s |      22 |  2304801 |  2121922 |     6942    695 |        1 |        8
878.80/879.15	c  876s |      22 |  2310180 |  2127122 |     6942    696 |        1 |        8
880.81/881.18	c  878s |      22 |  2315546 |  2132322 |     6942    698 |        1 |        8
882.90/883.20	c  880s |      22 |  2321283 |  2137822 |     6942    699 |        1 |        8
884.90/885.23	c  882s |      22 |  2326473 |  2142822 |     6942    701 |        1 |        8
886.90/887.25	c  884s |      22 |  2331154 |  2146922 |     6942    702 |        1 |        8
888.89/889.27	c  886s |      22 |  2336183 |  2151422 |     6942    703 |        1 |        8
890.99/891.30	c  888s |      22 |  2341508 |  2156322 |     6942    704 |        1 |        8
893.00/893.31	c  890s |      22 |  2346136 |  2160622 |     6942    705 |        1 |        8
894.99/895.32	c  892s |      22 |  2350650 |  2164822 |     6942    706 |        1 |        8
896.99/897.35	c  894s |      22 |  2356760 |  2170522 |     6942    708 |        1 |        8
898.99/899.36	c  896s |      22 |  2362454 |  2175822 |     6942    709 |        1 |        8
900.99/901.38	c  898s |      22 |  2367611 |  2180622 |     6942    711 |        1 |        8
902.99/903.39	c  900s |      22 |  2372996 |  2185722 |     6942    712 |        1 |        8
904.99/905.39	c  902s |      22 |  2378320 |  2190522 |     6942    713 |        1 |        8
907.09/907.42	c  905s |      22 |  2383774 |  2195622 |     6942    715 |        1 |        8
909.08/909.46	c  907s |      22 |  2389753 |  2201022 |     6942    716 |        1 |        8
911.08/911.47	c  909s |      22 |  2394893 |  2205922 |     6942    718 |        1 |        8
913.18/913.50	c  911s |      22 |  2401087 |  2211722 |     6942    719 |        1 |        8
915.18/915.51	c  913s |      22 |  2407389 |  2217622 |     6942    721 |        1 |        8
917.19/917.53	c  915s |      22 |  2412534 |  2222322 |     6942    722 |        1 |        8
919.18/919.55	c  917s |      22 |  2417407 |  2226722 |     6942    723 |        1 |        8
921.28/921.60	c  919s |      22 |  2422311 |  2231222 |     7637    724 |        1 |        8
923.27/923.64	c  921s |      22 |  2427288 |  2235922 |     7637    725 |        1 |        8
925.27/925.67	c  923s |      22 |  2432732 |  2240722 |     7637    727 |        1 |        8
927.27/927.67	c  925s |      22 |  2437600 |  2245122 |     7637    728 |        1 |        8
929.37/929.70	c  927s |      22 |  2443211 |  2250422 |     7637    729 |        1 |        8
929.67/930.02	c  927s |      23 |  2443842 |  2251038 |     7637    729 |        1 |        8
931.67/932.02	c  929s |      23 |  2451590 |  2255638 |     7637    730 |        1 |        8
933.68/934.05	c  931s |      23 |  2456770 |  2260238 |     7637    731 |        1 |        8
935.67/936.06	c  933s |      23 |  2461658 |  2264438 |     7637    732 |        1 |        8
937.77/938.10	c  935s |      23 |  2466028 |  2268238 |     7637    733 |        1 |        8
939.77/940.15	c  937s |      23 |  2471331 |  2272438 |     7637    734 |        1 |        8
941.76/942.16	c  939s |      23 |  2476515 |  2277138 |     7637    735 |        1 |        8
943.76/944.18	c  941s |      23 |  2481228 |  2281538 |     7637    737 |        1 |        8
945.86/946.21	c  943s |      23 |  2487138 |  2286738 |     7637    738 |        1 |        8
947.87/948.22	c  945s |      23 |  2492439 |  2291038 |     7637    739 |        1 |        8
949.86/950.24	c  947s |      23 |  2496967 |  2294838 |     7637    740 |        1 |        8
951.96/952.30	c  949s |      23 |  2501270 |  2298338 |     7637    741 |        1 |        8
953.96/954.35	c  951s |      23 |  2505000 |  2301238 |     7637    741 |        1 |        8
955.97/956.35	c  953s |      23 |  2508043 |  2303838 |     7637    742 |        1 |        8
958.07/958.42	c  956s |      23 |  2510922 |  2306338 |     7637    743 |        1 |        8
960.07/960.47	c  958s |      23 |  2513898 |  2308838 |     7637    743 |        1 |        8
962.17/962.51	c  960s |      23 |  2517002 |  2311638 |     7637    744 |        1 |        8
964.26/964.64	c  962s |      23 |  2519753 |  2314238 |     7637    744 |        1 |        8
966.26/966.65	c  964s |      23 |  2522487 |  2316738 |     7637    745 |        1 |        8
968.26/968.68	c  966s |      23 |  2526659 |  2320538 |     7637    746 |        1 |        8
970.36/970.73	c  968s |      23 |  2531223 |  2324438 |     7637    747 |        1 |        8
972.36/972.75	c  970s |      23 |  2535453 |  2327938 |     7637    748 |        1 |        8
974.36/974.79	c  972s |      23 |  2538655 |  2331038 |     7637    749 |        1 |        8
976.46/976.84	c  974s |      23 |  2542668 |  2334838 |     7637    749 |        1 |        8
978.46/978.86	c  976s |      23 |  2547176 |  2338938 |     7637    750 |        1 |        8
980.45/980.88	c  978s |      23 |  2551068 |  2342238 |     7637    751 |        1 |        8
982.55/982.92	c  980s |      23 |  2555397 |  2346138 |     7637    752 |        1 |        8
984.55/984.95	c  982s |      23 |  2559590 |  2350038 |     7637    753 |        1 |        8
986.55/986.96	c  984s |      23 |  2564250 |  2354138 |     7637    754 |        1 |        8
988.56/988.99	c  986s |      23 |  2568752 |  2358338 |     7637    755 |        1 |        8
990.65/991.03	c  988s |      23 |  2573792 |  2362538 |     7637    756 |        1 |        8
992.65/993.04	c  990s |      23 |  2577963 |  2366038 |     7637    757 |        1 |        8
994.65/995.05	c  992s |      23 |  2581907 |  2369538 |     7637    758 |        1 |        8
996.65/997.09	c  994s |      23 |  2585740 |  2373138 |     7637    759 |        1 |        8
998.75/999.10	c  996s |      23 |  2591106 |  2378138 |     7637    760 |        1 |        8
1000.75/1001.11	c  998s |      23 |  2596120 |  2382438 |     7637    761 |        1 |        8
1002.74/1003.14	c 1000s |      23 |  2603489 |  2386838 |     7637    762 |        1 |        8
1004.74/1005.19	c 1002s |      23 |  2607774 |  2390538 |     7637    763 |        1 |        8
1006.74/1007.19	c 1004s |      23 |  2611608 |  2394038 |     7637    764 |        1 |        8
1008.84/1009.21	c 1006s |      23 |  2615409 |  2397638 |     7637    765 |        1 |        8
1010.84/1011.24	c 1008s |      23 |  2619475 |  2401338 |     7637    766 |        1 |        8
1012.85/1013.28	c 1010s |      23 |  2624901 |  2405838 |     7637    767 |        1 |        8
1014.95/1015.33	c 1012s |      23 |  2629360 |  2410238 |     7637    768 |        1 |        8
1016.94/1017.36	c 1014s |      23 |  2633026 |  2413738 |     7637    769 |        1 |        8
1018.94/1019.37	c 1016s |      23 |  2636125 |  2416738 |     7637    769 |        1 |        8
1021.04/1021.41	c 1019s |      23 |  2639443 |  2419938 |     7637    770 |        1 |        8
1023.04/1023.44	c 1021s |      23 |  2643005 |  2423438 |     7637    771 |        1 |        8
1025.04/1025.48	c 1023s |      23 |  2646851 |  2427238 |     7637    772 |        1 |        8
1027.15/1027.52	c 1025s |      23 |  2650904 |  2431138 |     7637    773 |        1 |        8
1029.14/1029.54	c 1027s |      23 |  2655026 |  2435038 |     7637    774 |        1 |        8
1031.14/1031.54	c 1029s |      23 |  2657880 |  2437738 |     7637    775 |        1 |        8
1033.24/1033.61	c 1031s |      23 |  2662175 |  2441838 |     7637    776 |        1 |        8
1035.24/1035.62	c 1033s |      23 |  2666306 |  2445838 |     7637    776 |        1 |        8
1037.24/1037.65	c 1035s |      23 |  2670581 |  2450038 |     7637    778 |        1 |        8
1039.24/1039.68	c 1037s |      23 |  2675042 |  2454238 |     7637    779 |        1 |        8
1041.24/1041.69	c 1039s |      23 |  2678866 |  2457738 |     7637    779 |        1 |        8
1043.34/1043.71	c 1041s |      23 |  2682681 |  2461338 |     7637    780 |        1 |        8
1045.34/1045.73	c 1043s |      23 |  2686982 |  2465538 |     7637    781 |        1 |        8
1047.33/1047.75	c 1045s |      23 |  2691514 |  2470038 |     7637    782 |        1 |        8
1049.33/1049.76	c 1047s |      23 |  2696008 |  2474138 |     7637    783 |        1 |        8
1051.34/1051.77	c 1049s |      23 |  2700178 |  2478038 |     7637    784 |        1 |        8
1053.44/1053.81	c 1051s |      23 |  2704233 |  2481738 |     7637    785 |        1 |        8
1055.43/1055.81	c 1053s |      23 |  2709141 |  2485838 |     7637    786 |        1 |        8
1057.43/1057.82	c 1055s |      23 |  2712950 |  2489538 |     7637    787 |        1 |        8
1059.43/1059.84	c 1057s |      23 |  2718229 |  2494238 |     7637    788 |        1 |        8
1061.53/1061.93	c 1059s |      23 |  2722026 |  2497838 |     7637    789 |        1 |        8
1063.64/1064.00	c 1061s |      23 |  2727968 |  2501538 |     7637    790 |        1 |        8
1065.65/1066.04	c 1063s |      23 |  2734143 |  2506038 |     7637    791 |        1 |        8
1067.64/1068.07	c 1065s |      23 |  2738622 |  2509638 |     7637    792 |        1 |        8
1069.74/1070.11	c 1067s |      23 |  2742575 |  2513138 |     7637    793 |        1 |        8
1071.74/1072.14	c 1069s |      23 |  2746017 |  2516138 |     7637    794 |        1 |        8
1073.74/1074.18	c 1071s |      23 |  2749956 |  2519438 |     7637    794 |        1 |        8
1075.84/1076.24	c 1073s |      23 |  2754028 |  2523138 |     7637    795 |        1 |        8
1077.84/1078.24	c 1075s |      23 |  2757810 |  2526438 |     7637    796 |        1 |        8
1079.85/1080.25	c 1077s |      23 |  2762025 |  2530138 |     7637    797 |        1 |        8
1081.84/1082.26	c 1079s |      23 |  2767012 |  2534338 |     7637    798 |        1 |        8
1083.84/1084.27	c 1081s |      23 |  2771538 |  2538238 |     7637    799 |        1 |        8
1085.94/1086.31	c 1083s |      23 |  2775301 |  2541438 |     7637    800 |        1 |        8
1087.94/1088.31	c 1085s |      23 |  2779002 |  2544138 |     7637    800 |        1 |        8
1089.94/1090.36	c 1087s |      23 |  2783144 |  2547938 |     7637    801 |        1 |        8
1091.94/1092.36	c 1089s |      23 |  2787458 |  2552138 |     7637    802 |        1 |        8
1093.94/1094.37	c 1091s |      23 |  2791219 |  2555638 |     7637    803 |        1 |        8
1095.94/1096.38	c 1093s |      23 |  2795000 |  2558838 |     7637    804 |        1 |        8
1098.04/1098.44	c 1096s |      23 |  2797700 |  2561338 |     7637    805 |        1 |        8
1100.03/1100.45	c 1098s |      23 |  2801556 |  2564838 |     7637    806 |        1 |        8
1102.13/1102.51	c 1100s |      23 |  2804922 |  2567738 |     7637    806 |        1 |        8
1104.14/1104.52	c 1102s |      23 |  2808570 |  2571238 |     7637    807 |        1 |        8
1106.13/1106.53	c 1104s |      23 |  2812813 |  2575338 |     7637    808 |        1 |        8
1108.13/1108.54	c 1106s |      23 |  2816329 |  2578738 |     7637    809 |        1 |        8
1110.13/1110.57	c 1108s |      23 |  2819737 |  2581638 |     7637    810 |        1 |        8
1112.23/1112.60	c 1110s |      23 |  2823496 |  2584938 |     7637    810 |        1 |        8
1114.23/1114.63	c 1112s |      23 |  2827835 |  2589038 |     7637    811 |        1 |        8
1116.24/1116.65	c 1114s |      23 |  2832164 |  2593238 |     7637    812 |        1 |        8
1118.23/1118.69	c 1116s |      23 |  2836955 |  2597738 |     7637    814 |        1 |        8
1120.33/1120.75	c 1118s |      23 |  2840725 |  2601338 |     7637    814 |        1 |        8
1122.43/1122.84	c 1120s |      23 |  2845230 |  2605138 |     7637    815 |        1 |        8
1124.43/1124.84	c 1122s |      23 |  2849358 |  2608838 |     7637    816 |        1 |        8
1126.43/1126.87	c 1124s |      23 |  2852982 |  2612338 |     7637    817 |        1 |        8
1128.43/1128.89	c 1126s |      23 |  2857207 |  2616338 |     7637    818 |        1 |        8
1130.53/1130.96	c 1128s |      23 |  2861169 |  2620138 |     7637    819 |        1 |        8
1132.53/1132.97	c 1130s |      23 |  2863927 |  2622638 |     7637    820 |        1 |        8
1134.63/1135.03	c 1132s |      23 |  2866813 |  2625338 |     7637    820 |        1 |        8
1136.63/1137.06	c 1134s |      23 |  2870707 |  2629138 |     7637    821 |        1 |        8
1138.63/1139.07	c 1136s |      23 |  2874105 |  2631938 |     7637    822 |        1 |        8
1140.73/1141.11	c 1138s |      23 |  2877731 |  2634938 |     7637    823 |        1 |        8
1142.73/1143.12	c 1140s |      23 |  2883000 |  2640038 |     7637    824 |        1 |        8
1144.73/1145.15	c 1142s |      23 |  2888953 |  2645738 |     7637    825 |        1 |        8
1146.72/1147.15	c 1144s |      23 |  2893107 |  2649738 |     7637    826 |        1 |        8
1148.72/1149.20	c 1146s |      23 |  2896412 |  2652938 |     7637    827 |        1 |        8
1150.82/1151.20	c 1148s |      23 |  2900503 |  2656938 |     7637    828 |        1 |        8
1152.82/1153.20	c 1150s |      23 |  2905658 |  2661338 |     7637    829 |        1 |        8
1154.82/1155.25	c 1152s |      23 |  2910152 |  2665338 |     7637    830 |        1 |        8
1156.93/1157.33	c 1154s |      23 |  2914295 |  2668938 |     7637    831 |        1 |        8
1158.92/1159.37	c 1156s |      23 |  2917752 |  2671638 |     7637    832 |        1 |        8
1161.02/1161.42	c 1159s |      23 |  2921469 |  2675038 |     7637    832 |        1 |        8
1163.02/1163.45	c 1161s |      23 |  2925486 |  2678638 |     7637    833 |        1 |        8
1165.02/1165.49	c 1163s |      23 |  2928104 |  2681038 |     7637    834 |        1 |        8
1167.12/1167.53	c 1165s |      23 |  2931178 |  2683838 |     7637    835 |        1 |        8
1169.12/1169.57	c 1167s |      23 |  2934923 |  2687438 |     7637    835 |        1 |        8
1171.13/1171.57	c 1169s |      23 |  2938905 |  2691238 |     7637    836 |        1 |        8
1173.22/1173.63	c 1171s |      23 |  2943384 |  2695338 |     7637    837 |        1 |        8
1175.22/1175.64	c 1173s |      23 |  2946620 |  2698538 |     7637    838 |        1 |        8
1177.22/1177.64	c 1175s |      23 |  2950082 |  2701938 |     7637    839 |        1 |        8
1179.22/1179.69	c 1177s |      23 |  2953883 |  2705538 |     7637    840 |        1 |        8
1181.32/1181.70	c 1179s |      23 |  2956852 |  2708438 |     7637    841 |        1 |        8
1183.32/1183.72	c 1181s |      23 |  2959805 |  2711338 |     7637    841 |        1 |        8
1185.32/1185.77	c 1183s |      23 |  2963234 |  2714638 |     7637    842 |        1 |        8
1187.32/1187.78	c 1185s |      23 |  2967276 |  2718438 |     7637    843 |        1 |        8
1189.41/1189.80	c 1187s |      23 |  2971659 |  2722538 |     7637    844 |        1 |        8
1191.41/1191.81	c 1189s |      23 |  2976494 |  2727238 |     7637    845 |        1 |        8
1193.41/1193.83	c 1191s |      23 |  2981026 |  2731438 |     7637    846 |        1 |        8
1195.42/1195.87	c 1193s |      23 |  2985078 |  2735438 |     7637    847 |        1 |        8
1197.52/1197.91	c 1195s |      23 |  2988819 |  2739138 |     7637    848 |        1 |        8
1199.51/1199.92	c 1197s |      23 |  2993282 |  2743238 |     7637    849 |        1 |        8
1201.52/1201.92	c 1199s |      23 |  2998288 |  2747438 |     7637    850 |        1 |        8
1203.52/1203.94	c 1201s |      23 |  3003471 |  2752038 |     7637    851 |        1 |        8
1205.52/1205.99	c 1203s |      23 |  3007740 |  2756138 |     7637    852 |        1 |        8
1207.62/1208.01	c 1205s |      23 |  3013944 |  2762138 |     7637    854 |        1 |        8
1209.63/1210.01	c 1207s |      23 |  3018757 |  2766738 |     7637    855 |        1 |        8
1211.62/1212.04	c 1209s |      23 |  3023234 |  2770938 |     7637    856 |        1 |        8
1213.62/1214.06	c 1211s |      23 |  3028677 |  2775838 |     7637    857 |        1 |        8
1215.62/1216.08	c 1213s |      23 |  3033726 |  2780038 |     7637    858 |        1 |        8
1217.62/1218.09	c 1215s |      23 |  3038210 |  2784238 |     7637    859 |        1 |        8
1219.72/1220.10	c 1217s |      23 |  3043814 |  2789738 |     7637    860 |        1 |        8
1221.72/1222.14	c 1219s |      23 |  3048584 |  2794438 |     7637    861 |        1 |        8
1223.72/1224.14	c 1221s |      23 |  3052812 |  2798538 |     7637    862 |        1 |        8
1225.71/1226.15	c 1223s |      23 |  3057141 |  2802838 |     7637    863 |        1 |        8
1227.71/1228.18	c 1225s |      23 |  3061703 |  2806938 |     7637    864 |        1 |        8
1229.71/1230.18	c 1227s |      23 |  3065963 |  2811138 |     7637    865 |        1 |        8
1231.81/1232.20	c 1229s |      23 |  3071129 |  2815538 |     7637    867 |        1 |        8
1233.82/1234.21	c 1231s |      23 |  3075351 |  2819338 |     7637    867 |        1 |        8
1235.81/1236.27	c 1233s |      23 |  3080136 |  2823738 |     7637    869 |        1 |        8
1237.81/1238.28	c 1235s |      23 |  3084349 |  2827538 |     7637    869 |        1 |        8
1239.91/1240.32	c 1237s |      23 |  3089472 |  2832238 |     7637    871 |        1 |        8
1241.91/1242.33	c 1239s |      23 |  3093967 |  2836238 |     7637    872 |        1 |        8
1243.91/1244.38	c 1241s |      23 |  3098631 |  2840238 |     7637    873 |        1 |        8
1246.02/1246.40	c 1243s |      23 |  3103675 |  2844238 |     7637    873 |        1 |        8
1248.01/1248.42	c 1246s |      23 |  3107869 |  2847938 |     7637    874 |        1 |        8
1250.01/1250.44	c 1248s |      23 |  3111753 |  2851538 |     7637    875 |        1 |        8
1252.01/1252.46	c 1250s |      23 |  3115105 |  2854838 |     7637    876 |        1 |        8
1254.11/1254.50	c 1252s |      23 |  3118988 |  2858638 |     7637    877 |        1 |        8
1256.11/1256.53	c 1254s |      23 |  3123561 |  2862838 |     7637    878 |        1 |        8
1258.11/1258.54	c 1256s |      23 |  3128060 |  2866938 |     7637    879 |        1 |        8
1260.11/1260.56	c 1258s |      23 |  3132017 |  2870638 |     7637    880 |        1 |        8
1262.11/1262.59	c 1260s |      23 |  3136155 |  2874538 |     7637    881 |        1 |        8
1264.21/1264.62	c 1262s |      23 |  3141233 |  2879438 |     7637    882 |        1 |        8
1266.21/1266.65	c 1264s |      23 |  3145549 |  2883138 |     7637    883 |        1 |        8
1268.21/1268.69	c 1266s |      23 |  3149778 |  2886838 |     7637    884 |        1 |        8
1270.30/1270.72	c 1268s |      23 |  3154199 |  2891038 |     7637    885 |        1 |        8
1272.31/1272.75	c 1270s |      23 |  3157713 |  2894038 |     7637    886 |        1 |        8
1274.30/1274.78	c 1272s |      23 |  3163567 |  2898338 |     7637    887 |        1 |        8
1276.30/1276.79	c 1274s |      23 |  3167562 |  2901738 |     7637    888 |        1 |        8
1278.40/1278.80	c 1276s |      23 |  3171990 |  2905638 |     7637    888 |        1 |        8
1280.40/1280.81	c 1278s |      23 |  3175546 |  2908738 |     7637    889 |        1 |        8
1282.40/1282.83	c 1280s |      23 |  3179107 |  2912038 |     7637    890 |        1 |        8
1284.41/1284.85	c 1282s |      23 |  3182922 |  2915638 |     7637    891 |        1 |        8
1286.40/1286.89	c 1284s |      23 |  3187370 |  2919638 |     7637    892 |        1 |        8
1288.50/1288.91	c 1286s |      23 |  3191023 |  2923238 |     7637    893 |        1 |        8
1290.50/1290.95	c 1288s |      23 |  3194433 |  2926538 |     7637    894 |        1 |        8
1292.50/1292.97	c 1290s |      23 |  3199269 |  2931138 |     7637    895 |        1 |        8
1294.60/1295.00	c 1292s |      23 |  3203316 |  2934638 |     7637    896 |        1 |        8
1296.61/1297.04	c 1294s |      23 |  3207464 |  2937738 |     7637    896 |        1 |        8
1298.60/1299.08	c 1296s |      23 |  3210727 |  2940338 |     7637    897 |        1 |        8
1300.70/1301.14	c 1298s |      23 |  3213508 |  2942938 |     7637    898 |        1 |        8
1302.70/1303.19	c 1300s |      23 |  3216840 |  2946038 |     7637    898 |        1 |        8
1304.80/1305.24	c 1302s |      23 |  3220625 |  2949738 |     7637    899 |        1 |        8
1306.80/1307.27	c 1304s |      23 |  3223870 |  2952938 |     7637    900 |        1 |        8
1308.90/1309.33	c 1306s |      23 |  3227415 |  2956238 |     7637    901 |        1 |        8
1310.90/1311.37	c 1308s |      23 |  3231170 |  2959738 |     7637    902 |        1 |        8
1312.90/1313.39	c 1310s |      23 |  3235282 |  2963738 |     7637    903 |        1 |        8
1314.90/1315.39	c 1312s |      23 |  3240434 |  2968438 |     7637    904 |        1 |        8
1317.00/1317.41	c 1314s |      23 |  3245139 |  2972938 |     7637    905 |        1 |        8
1319.00/1319.41	c 1317s |      23 |  3250634 |  2978338 |     7637    906 |        1 |        8
1321.00/1321.43	c 1319s |      23 |  3255806 |  2983438 |     7637    907 |        1 |        8
1323.00/1323.43	c 1321s |      23 |  3261095 |  2988638 |     7637    909 |        1 |        8
1324.99/1325.48	c 1323s |      23 |  3265912 |  2992738 |     7637    910 |        1 |        8
1327.09/1327.51	c 1325s |      23 |  3270137 |  2996238 |     7637    911 |        1 |        8
1329.10/1329.51	c 1327s |      23 |  3275423 |  3001338 |     7637    912 |        1 |        8
1331.10/1331.54	c 1329s |      23 |  3280028 |  3005838 |     7637    913 |        1 |        8
1333.10/1333.56	c 1331s |      23 |  3284529 |  3010238 |     7637    914 |        1 |        8
1335.11/1335.58	c 1333s |      23 |  3288690 |  3014338 |     7637    915 |        1 |        8
1337.21/1337.62	c 1335s |      23 |  3293134 |  3018738 |     7637    916 |        1 |        8
1339.20/1339.65	c 1337s |      23 |  3297662 |  3023238 |     7637    917 |        1 |        8
1341.20/1341.67	c 1339s |      23 |  3301861 |  3027338 |     7637    918 |        1 |        8
1343.29/1343.70	c 1341s |      23 |  3306935 |  3032338 |     7637    919 |        1 |        8
1345.29/1345.70	c 1343s |      23 |  3312346 |  3037638 |     7637    921 |        1 |        8
1347.29/1347.71	c 1345s |      23 |  3317237 |  3042438 |     7637    922 |        1 |        8
1349.30/1349.73	c 1347s |      23 |  3321092 |  3046238 |     7637    923 |        1 |        8
1351.29/1351.74	c 1349s |      23 |  3325065 |  3050138 |     7637    924 |        1 |        8
1353.39/1353.88	c 1351s |      23 |  3330259 |  3055138 |     7637    925 |        1 |        8
1355.39/1355.89	c 1353s |      23 |  3335172 |  3059138 |     7637    926 |        1 |        8
1357.49/1357.98	c 1355s |      23 |  3339673 |  3063338 |     7637    927 |        1 |        8
1359.49/1359.99	c 1357s |      23 |  3343878 |  3066938 |     7637    928 |        1 |        8
1361.59/1362.00	c 1359s |      23 |  3347276 |  3070038 |     7637    929 |        1 |        8
1363.60/1364.02	c 1361s |      23 |  3351846 |  3074238 |     7637    930 |        1 |        8
1365.59/1366.04	c 1363s |      23 |  3356987 |  3079038 |     7637    931 |        1 |        8
1367.59/1368.08	c 1365s |      23 |  3362385 |  3084338 |     7637    932 |        1 |        8
1369.59/1370.08	c 1367s |      23 |  3367315 |  3089138 |     7637    933 |        1 |        8
1371.69/1372.12	c 1369s |      23 |  3371947 |  3093638 |     7637    934 |        1 |        8
1373.69/1374.15	c 1371s |      23 |  3376529 |  3098138 |     7637    935 |        1 |        8
1375.69/1376.16	c 1373s |      23 |  3381224 |  3102738 |     7637    937 |        1 |        8
1377.69/1378.17	c 1375s |      23 |  3386743 |  3108138 |     7637    938 |        1 |        8
1379.69/1380.18	c 1377s |      23 |  3391946 |  3113138 |     7637    939 |        1 |        8
1381.79/1382.21	c 1379s |      23 |  3397439 |  3118538 |     7637    940 |        1 |        8
1383.79/1384.22	c 1381s |      23 |  3402725 |  3123638 |     7637    942 |        1 |        8
1385.79/1386.25	c 1383s |      23 |  3406101 |  3126638 |     7637    942 |        1 |        8
1387.79/1388.27	c 1385s |      23 |  3409395 |  3129638 |     7637    943 |        1 |        8
1389.79/1390.28	c 1387s |      23 |  3412114 |  3132238 |     7637    944 |        1 |        8
1391.89/1392.39	c 1389s |      23 |  3414775 |  3134538 |     7637    944 |        1 |        8
1393.99/1394.44	c 1392s |      23 |  3418812 |  3137538 |     7637    945 |        1 |        8
1395.98/1396.46	c 1394s |      23 |  3422421 |  3140338 |     7637    946 |        1 |        8
1398.08/1398.50	c 1396s |      23 |  3427404 |  3143538 |     7637    947 |        1 |        8
1400.08/1400.53	c 1398s |      23 |  3431475 |  3147538 |     7637    948 |        1 |        8
1402.09/1402.53	c 1400s |      23 |  3435876 |  3151638 |     7637    949 |        1 |        8
1404.08/1404.55	c 1402s |      23 |  3441602 |  3156938 |     7637    950 |        1 |        8
1406.08/1406.56	c 1404s |      23 |  3447113 |  3160838 |     7637    951 |        1 |        8
1408.18/1408.62	c 1406s |      23 |  3452656 |  3165838 |     7637    952 |        1 |        8
1410.28/1410.70	c 1408s |      23 |  3457135 |  3169638 |     7637    953 |        1 |        8
1412.28/1412.71	c 1410s |      23 |  3460560 |  3172038 |     7637    953 |        1 |        8
1414.38/1414.81	c 1412s |      23 |  3465264 |  3175738 |     7637    954 |        1 |        8
1416.39/1416.85	c 1414s |      23 |  3469080 |  3177838 |     7637    955 |        1 |        8
1418.38/1418.88	c 1416s |      23 |  3472291 |  3180238 |     7637    955 |        1 |        8
1420.48/1420.93	c 1418s |      23 |  3474751 |  3182638 |     7637    956 |        1 |        8
1422.48/1422.99	c 1420s |      23 |  3477973 |  3184838 |     7637    957 |        1 |        8
1424.58/1425.07	c 1422s |      23 |  3481681 |  3187038 |     7637    957 |        1 |        8
1426.68/1427.10	c 1424s |      23 |  3485114 |  3189238 |     7637    958 |        1 |        8
1428.68/1429.18	c 1426s |      23 |  3488069 |  3190838 |     7637    958 |        1 |        8
1430.88/1431.33	c 1428s |      23 |  3491101 |  3192838 |     7637    959 |        1 |        8
1432.88/1433.37	c 1430s |      23 |  3495555 |  3196438 |     7637    959 |        1 |        8
1434.88/1435.40	c 1432s |      23 |  3498351 |  3199038 |     7637    960 |        1 |        8
1436.98/1437.41	c 1435s |      23 |  3500795 |  3201138 |     7637    961 |        1 |        8
1439.08/1439.50	c 1437s |      23 |  3503154 |  3203338 |     7637    961 |        1 |        8
1441.08/1441.55	c 1439s |      23 |  3505872 |  3205738 |     7637    962 |        1 |        8
1443.08/1443.59	c 1441s |      23 |  3508802 |  3208238 |     7637    962 |        1 |        8
1445.18/1445.69	c 1443s |      23 |  3510967 |  3210138 |     7637    963 |        1 |        8
1447.28/1447.78	c 1445s |      23 |  3513428 |  3212338 |     7637    963 |        1 |        8
1449.38/1449.83	c 1447s |      23 |  3515813 |  3214438 |     7637    964 |        1 |        8
1451.37/1451.85	c 1449s |      23 |  3517895 |  3216338 |     7637    964 |        1 |        8
1453.47/1453.90	c 1451s |      23 |  3520149 |  3218338 |     7637    965 |        1 |        8
1455.57/1456.00	c 1453s |      23 |  3522649 |  3220638 |     7637    965 |        1 |        8
1457.57/1458.05	c 1455s |      23 |  3524916 |  3222738 |     7637    966 |        1 |        8
1459.57/1460.09	c 1457s |      23 |  3527091 |  3224838 |     7637    966 |        1 |        8
1461.67/1462.16	c 1459s |      23 |  3528996 |  3226638 |     7637    967 |        1 |        8
1463.78/1464.29	c 1461s |      23 |  3530944 |  3228438 |     7637    967 |        1 |        8
1465.88/1466.31	c 1463s |      23 |  3533315 |  3230538 |     7637    968 |        1 |        8
1467.88/1468.35	c 1465s |      23 |  3535600 |  3232638 |     7637    968 |        1 |        8
1469.88/1470.35	c 1467s |      23 |  3537721 |  3234538 |     7637    969 |        1 |        8
1471.98/1472.41	c 1469s |      23 |  3540264 |  3236838 |     7637    969 |        1 |        8
1473.98/1474.44	c 1472s |      23 |  3542565 |  3238938 |     7637    970 |        1 |        8
1476.08/1476.56	c 1474s |      23 |  3545416 |  3241538 |     7637    970 |        1 |        8
1478.18/1478.64	c 1476s |      23 |  3547760 |  3243538 |     7637    971 |        1 |        8
1480.19/1480.66	c 1478s |      23 |  3550183 |  3245738 |     7637    971 |        1 |        8
1482.28/1482.75	c 1480s |      23 |  3552664 |  3248138 |     7637    972 |        1 |        8
1484.28/1484.78	c 1482s |      23 |  3554833 |  3250138 |     7637    972 |        1 |        8
1486.28/1486.79	c 1484s |      23 |  3558057 |  3253238 |     7637    973 |        1 |        8
1488.28/1488.79	c 1486s |      23 |  3561131 |  3256138 |     7637    974 |        1 |        8
1490.38/1490.82	c 1488s |      23 |  3563895 |  3258638 |     7637    974 |        1 |        8
1492.38/1492.86	c 1490s |      23 |  3566441 |  3260938 |     7637    975 |        1 |        8
1494.48/1494.94	c 1492s |      23 |  3568745 |  3262938 |     7637    976 |        1 |        8
1496.47/1496.99	c 1494s |      23 |  3571407 |  3265238 |     7637    976 |        1 |        8
1498.57/1499.03	c 1496s |      23 |  3573857 |  3267438 |     7637    977 |        1 |        8
1500.67/1501.12	c 1498s |      23 |  3576649 |  3269838 |     7637    977 |        1 |        8
1502.67/1503.15	c 1500s |      23 |  3578984 |  3272038 |     7637    978 |        1 |        8
1504.67/1505.17	c 1502s |      23 |  3581752 |  3274238 |     7637    978 |        1 |        8
1506.77/1507.23	c 1504s |      23 |  3584217 |  3276438 |     7637    979 |        1 |        8
1508.88/1509.31	c 1506s |      23 |  3586991 |  3278938 |     7637    979 |        1 |        8
1510.87/1511.35	c 1508s |      23 |  3589828 |  3281738 |     7637    980 |        1 |        8
1512.87/1513.39	c 1510s |      23 |  3592466 |  3284038 |     7637    981 |        1 |        8
1514.97/1515.44	c 1513s |      23 |  3595067 |  3286338 |     7637    981 |        1 |        8
1516.97/1517.45	c 1515s |      23 |  3597541 |  3288538 |     7637    982 |        1 |        8
1518.97/1519.45	c 1517s |      23 |  3600227 |  3290738 |     7637    982 |        1 |        8
1521.07/1521.53	c 1519s |      23 |  3602906 |  3292838 |     7637    983 |        1 |        8
1523.08/1523.58	c 1521s |      23 |  3605931 |  3295138 |     7637    983 |        1 |        8
1525.17/1525.60	c 1523s |      23 |  3608715 |  3297438 |     7637    984 |        1 |        8
1527.17/1527.62	c 1525s |      23 |  3611045 |  3299738 |     7637    985 |        1 |        8
1529.17/1529.68	c 1527s |      23 |  3613790 |  3302138 |     7637    985 |        1 |        8
1531.17/1531.68	c 1529s |      23 |  3616130 |  3304238 |     7637    986 |        1 |        8
1533.17/1533.69	c 1531s |      23 |  3618345 |  3306338 |     7637    986 |        1 |        8
1535.28/1535.72	c 1533s |      23 |  3620308 |  3308238 |     7637    987 |        1 |        8
1537.27/1537.79	c 1535s |      23 |  3622583 |  3310438 |     7637    987 |        1 |        8
1539.27/1539.79	c 1537s |      23 |  3624606 |  3312338 |     7637    988 |        1 |        8
1541.37/1541.82	c 1539s |      23 |  3627018 |  3314638 |     7637    988 |        1 |        8
1543.37/1543.83	c 1541s |      23 |  3629954 |  3317438 |     7637    989 |        1 |        8
1545.37/1545.89	c 1543s |      23 |  3632957 |  3320238 |     7637    990 |        1 |        8
1547.47/1547.97	c 1545s |      23 |  3635951 |  3322938 |     7637    990 |        1 |        8
1549.57/1550.05	c 1547s |      23 |  3638240 |  3325138 |     7637    991 |        1 |        8
1551.57/1552.09	c 1549s |      23 |  3641016 |  3327738 |     7637    991 |        1 |        8
1553.66/1554.13	c 1551s |      23 |  3643307 |  3329938 |     7637    992 |        1 |        8
1555.76/1556.22	c 1553s |      23 |  3645938 |  3332438 |     7637    992 |        1 |        8
1557.76/1558.25	c 1555s |      23 |  3650402 |  3336838 |     7637    994 |        1 |        8
1559.86/1560.30	c 1557s |      23 |  3654239 |  3340638 |     7637    995 |        1 |        8
1561.86/1562.30	c 1559s |      23 |  3658230 |  3344538 |     7637    995 |        1 |        8
1563.87/1564.37	c 1561s |      23 |  3662736 |  3348738 |     8401    996 |        1 |        8
1565.97/1566.44	c 1564s |      23 |  3665001 |  3350838 |     8401    997 |        1 |        8
1568.06/1568.56	c 1566s |      23 |  3667701 |  3352938 |     8401    997 |        1 |        8
1570.06/1570.59	c 1568s |      23 |  3672538 |  3355838 |     8401    998 |        1 |        8
1572.16/1572.60	c 1570s |      23 |  3675262 |  3358338 |     8401    998 |        1 |        8
1574.16/1574.63	c 1572s |      23 |  3678745 |  3361238 |     8401    999 |        1 |        8
1576.16/1576.67	c 1574s |      23 |  3682675 |  3363238 |     8401   1000 |        1 |        8
1578.16/1578.68	c 1576s |      23 |  3687646 |  3367738 |     8401   1001 |        1 |        8
1580.26/1580.70	c 1578s |      23 |  3691997 |  3371738 |     8401   1001 |        1 |        8
1582.26/1582.71	c 1580s |      23 |  3696801 |  3376138 |     8401   1002 |        1 |        8
1582.46/1582.97	c 1580s |      24 |  3697349 |  3376662 |     8401   1003 |        1 |        8
1584.56/1585.00	c 1582s |      24 |  3705266 |  3383762 |     8401   1004 |        1 |        8
1586.56/1587.03	c 1584s |      24 |  3710670 |  3388862 |     8401   1005 |        1 |        8
1588.55/1589.03	c 1586s |      24 |  3715446 |  3393462 |     8401   1006 |        1 |        8
1590.55/1591.05	c 1588s |      24 |  3720859 |  3398662 |     8401   1007 |        1 |        8
1592.55/1593.05	c 1590s |      24 |  3725584 |  3403162 |     8401   1008 |        1 |        8
1594.56/1595.07	c 1592s |      24 |  3730923 |  3408262 |     8401   1009 |        1 |        8
1596.55/1597.09	c 1594s |      24 |  3737110 |  3414162 |     8401   1011 |        1 |        8
1598.65/1599.13	c 1596s |      24 |  3741322 |  3418262 |     8401   1012 |        1 |        8
1600.65/1601.13	c 1598s |      24 |  3746208 |  3422962 |     8401   1013 |        1 |        8
1602.65/1603.13	c 1600s |      24 |  3751945 |  3428262 |     8401   1014 |        1 |        8
1604.65/1605.16	c 1602s |      24 |  3756935 |  3432962 |     8401   1015 |        1 |        8
1606.66/1607.18	c 1604s |      24 |  3762000 |  3437862 |     8401   1016 |        1 |        8
1608.65/1609.19	c 1606s |      24 |  3767352 |  3442962 |     8401   1017 |        1 |        8
1610.75/1611.21	c 1608s |      24 |  3772675 |  3447962 |     8401   1018 |        1 |        8
1612.75/1613.22	c 1610s |      24 |  3777718 |  3452562 |     8401   1019 |        1 |        8
1614.75/1615.23	c 1612s |      24 |  3782874 |  3457462 |     8401   1020 |        1 |        8
1616.75/1617.26	c 1614s |      24 |  3787701 |  3462162 |     8401   1021 |        1 |        8
1618.75/1619.29	c 1616s |      24 |  3793392 |  3467562 |     8401   1023 |        1 |        8
1620.85/1621.32	c 1618s |      24 |  3797815 |  3471662 |     8401   1023 |        1 |        8
1622.85/1623.35	c 1620s |      24 |  3803277 |  3476862 |     8401   1025 |        1 |        8
1624.85/1625.35	c 1622s |      24 |  3808768 |  3481862 |     8401   1026 |        1 |        8
1626.86/1627.38	c 1624s |      24 |  3814016 |  3486662 |     8401   1027 |        1 |        8
1628.86/1629.38	c 1626s |      24 |  3818832 |  3491062 |     8401   1028 |        1 |        8
1630.86/1631.39	c 1628s |      24 |  3823145 |  3494762 |     8401   1029 |        1 |        8
1632.95/1633.42	c 1631s |      24 |  3828413 |  3499362 |     8401   1030 |        1 |        8
1634.95/1635.42	c 1633s |      24 |  3833941 |  3504362 |     8401   1031 |        1 |        8
1636.95/1637.44	c 1635s |      24 |  3838867 |  3508762 |     8401   1032 |        1 |        8
1638.95/1639.49	c 1637s |      24 |  3844284 |  3513562 |     8401   1033 |        1 |        8
1641.05/1641.51	c 1639s |      24 |  3849113 |  3518062 |     8401   1034 |        1 |        8
1643.06/1643.53	c 1641s |      24 |  3853678 |  3522262 |     8401   1035 |        1 |        8
1645.05/1645.54	c 1643s |      24 |  3858519 |  3526562 |     8401   1036 |        1 |        8
1647.15/1647.61	c 1645s |      24 |  3863135 |  3530662 |     8401   1037 |        1 |        8
1649.15/1649.62	c 1647s |      24 |  3868503 |  3535562 |     8401   1038 |        1 |        8
1651.15/1651.65	c 1649s |      24 |  3873786 |  3540162 |     8401   1039 |        1 |        8
1653.15/1653.68	c 1651s |      24 |  3879181 |  3544862 |     8401   1040 |        1 |        8
1655.16/1655.68	c 1653s |      24 |  3884323 |  3549462 |     8401   1041 |        1 |        8
1657.15/1657.69	c 1655s |      24 |  3889447 |  3553762 |     8401   1042 |        1 |        8
1659.25/1659.71	c 1657s |      24 |  3894313 |  3557562 |     8401   1043 |        1 |        8
1661.25/1661.74	c 1659s |      24 |  3899963 |  3561962 |     8401   1044 |        1 |        8
1663.25/1663.76	c 1661s |      24 |  3905805 |  3566962 |     8401   1045 |        1 |        8
1665.25/1665.78	c 1663s |      24 |  3911445 |  3571662 |     8401   1046 |        1 |        8
1667.35/1667.81	c 1665s |      24 |  3916283 |  3575962 |     8401   1047 |        1 |        8
1669.36/1669.83	c 1667s |      24 |  3922166 |  3581362 |     8401   1048 |        1 |        8
1671.35/1671.84	c 1669s |      24 |  3927508 |  3586062 |     8401   1049 |        1 |        8
1673.35/1673.86	c 1671s |      24 |  3933255 |  3591262 |     8401   1050 |        1 |        8
1675.35/1675.87	c 1673s |      24 |  3939088 |  3596562 |     8401   1051 |        1 |        8
1677.45/1677.91	c 1675s |      24 |  3944815 |  3601562 |     8401   1052 |        1 |        8
1679.45/1679.92	c 1677s |      24 |  3950411 |  3606462 |     8401   1053 |        1 |        8
1681.45/1681.94	c 1679s |      24 |  3956121 |  3611462 |     8401   1054 |        1 |        8
1683.55/1684.00	c 1681s |      24 |  3961678 |  3615962 |     8401   1056 |        1 |        8
1685.55/1686.02	c 1683s |      24 |  3966985 |  3620762 |     8401   1057 |        1 |        8
1687.55/1688.07	c 1685s |      24 |  3972179 |  3625262 |     8401   1058 |        1 |        8
1689.65/1690.10	c 1687s |      24 |  3977430 |  3630062 |     8401   1059 |        1 |        8
1691.64/1692.13	c 1689s |      24 |  3982259 |  3634262 |     8401   1060 |        1 |        8
1693.65/1694.16	c 1691s |      24 |  3987746 |  3638962 |     8401   1061 |        1 |        8
1695.64/1696.18	c 1693s |      24 |  3992510 |  3643262 |     8401   1062 |        1 |        8
1697.74/1698.22	c 1695s |      24 |  3997373 |  3647662 |     8401   1063 |        1 |        8
1699.74/1700.24	c 1697s |      24 |  4003282 |  3652762 |     8401   1064 |        1 |        8
1701.74/1702.27	c 1699s |      24 |  4008828 |  3657662 |     8401   1065 |        1 |        8
1703.84/1704.30	c 1701s |      24 |  4013113 |  3661462 |     8401   1066 |        1 |        8
1705.84/1706.34	c 1703s |      24 |  4017913 |  3665962 |     8401   1067 |        1 |        8
1707.85/1708.34	c 1705s |      24 |  4022686 |  3670362 |     8401   1068 |        1 |        8
1709.84/1710.34	c 1707s |      24 |  4027580 |  3674962 |     8401   1069 |        1 |        8
1711.84/1712.35	c 1709s |      24 |  4033010 |  3679862 |     8401   1070 |        1 |        8
1713.84/1714.35	c 1711s |      24 |  4037240 |  3683562 |     8401   1070 |        1 |        8
1715.84/1716.39	c 1713s |      24 |  4042032 |  3688062 |     8401   1071 |        1 |        8
1717.94/1718.41	c 1716s |      24 |  4046741 |  3692362 |     8401   1072 |        1 |        8
1719.94/1720.45	c 1718s |      24 |  4051340 |  3696562 |     8401   1073 |        1 |        8
1721.94/1722.46	c 1720s |      24 |  4056619 |  3701262 |     8401   1074 |        1 |        8
1723.94/1724.47	c 1722s |      24 |  4061634 |  3705962 |     8401   1075 |        1 |        8
1725.94/1726.48	c 1724s |      24 |  4066358 |  3710362 |     8401   1076 |        1 |        8
1728.03/1728.53	c 1726s |      24 |  4071224 |  3714962 |     8401   1077 |        1 |        8
1730.03/1730.57	c 1728s |      24 |  4076342 |  3719862 |     8401   1079 |        1 |        8
1732.04/1732.59	c 1730s |      24 |  4081524 |  3724562 |     8401   1080 |        1 |        8
1734.13/1734.62	c 1732s |      24 |  4086524 |  3729262 |     8401   1081 |        1 |        8
1736.13/1736.67	c 1734s |      24 |  4091181 |  3733462 |     8401   1082 |        1 |        8
1738.23/1738.70	c 1736s |      24 |  4096122 |  3738062 |     8401   1083 |        1 |        8
1740.23/1740.71	c 1738s |      24 |  4101042 |  3742662 |     8401   1084 |        1 |        8
1742.23/1742.74	c 1740s |      24 |  4105755 |  3747062 |     8401   1085 |        1 |        8
1744.24/1744.77	c 1742s |      24 |  4110213 |  3751162 |     8401   1085 |        1 |        8
1746.23/1746.80	c 1744s |      24 |  4115240 |  3755662 |     8401   1086 |        1 |        8
1748.33/1748.81	c 1746s |      24 |  4120412 |  3760162 |     8401   1087 |        1 |        8
1750.33/1750.82	c 1748s |      24 |  4125020 |  3764362 |     8401   1088 |        1 |        8
1752.33/1752.85	c 1750s |      24 |  4129576 |  3768562 |     8401   1089 |        1 |        8
1754.33/1754.87	c 1752s |      24 |  4134728 |  3773362 |     8401   1090 |        1 |        8
1756.43/1756.93	c 1754s |      24 |  4139714 |  3777862 |     8401   1091 |        1 |        8
1758.43/1758.99	c 1756s |      24 |  4144268 |  3782062 |     8401   1092 |        1 |        8
1760.53/1761.01	c 1758s |      24 |  4148851 |  3786462 |     8401   1093 |        1 |        8
1762.53/1763.03	c 1760s |      24 |  4153503 |  3790862 |     8401   1094 |        1 |        8
1764.53/1765.07	c 1762s |      24 |  4158470 |  3795462 |     8401   1095 |        1 |        8
1766.53/1767.09	c 1764s |      24 |  4163222 |  3799962 |     8401   1096 |        1 |        8
1768.63/1769.15	c 1766s |      24 |  4167807 |  3804262 |     8401   1097 |        1 |        8
1770.64/1771.17	c 1768s |      24 |  4172033 |  3808162 |     8401   1098 |        1 |        8
1772.63/1773.19	c 1770s |      24 |  4177668 |  3813262 |     8401   1099 |        1 |        8
1774.73/1775.21	c 1772s |      24 |  4182972 |  3818162 |     8401   1100 |        1 |        8
1776.73/1777.22	c 1774s |      24 |  4188197 |  3823062 |     8401   1101 |        1 |        8
1778.73/1779.24	c 1776s |      24 |  4193322 |  3827962 |     8401   1102 |        1 |        8
1780.73/1781.26	c 1778s |      24 |  4198434 |  3832762 |     8401   1104 |        1 |        8
1782.74/1783.29	c 1780s |      24 |  4203806 |  3837962 |     8401   1105 |        1 |        8
1784.84/1785.33	c 1782s |      24 |  4209221 |  3843162 |     8401   1106 |        1 |        8
1786.83/1787.37	c 1784s |      24 |  4213988 |  3847662 |     8401   1107 |        1 |        8
1788.83/1789.39	c 1786s |      24 |  4219092 |  3852162 |     8401   1108 |        1 |        8
1790.93/1791.41	c 1789s |      24 |  4223217 |  3856062 |     8401   1109 |        1 |        8
1792.93/1793.43	c 1791s |      24 |  4227678 |  3860262 |     8401   1110 |        1 |        8
1794.93/1795.48	c 1793s |      24 |  4231761 |  3864062 |     8401   1110 |        1 |        8
1796.93/1797.49	c 1795s |      24 |  4236766 |  3868562 |     8401   1111 |        1 |        8
1799.03/1799.51	c 1797s |      24 |  4242258 |  3873662 |     8401   1113 |        1 |        8

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

pid=27191
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.08 2.12 2.09 3/179 27194
/proc/meminfo: memFree=29387792/32872528 swapFree=1191052/1305516
[pid=27194] ppid=27191 vsize=579140 CPUtime=0 cores=1,3,5,7
/proc/27194/stat : 27194 (toysat) R 27191 27194 26736 0 -1 4202496 2134 0 0 0 0 0 0 0 20 0 4 0 28739845 593039360 3005 33554432000 4194304 16246674 140733583960576 140733583960000 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27194/statm: 145297 3014 442 2943 0 142191 0
[pid=27194/tid=27195] ppid=27191 vsize=597572 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27195/stat : 27195 (toysat) S 27191 27194 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28739846 611913728 3075 33554432000 4194304 16246674 140733583960576 140170506513648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27194/tid=27196] ppid=27191 vsize=601668 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27196/stat : 27196 (toysat) S 27191 27194 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28739846 616108032 3094 33554432000 4194304 16246674 140733583960576 140170418433264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27194/tid=27197] ppid=27191 vsize=605764 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27197/stat : 27197 (toysat) S 27191 27194 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28739846 620302336 3110 33554432000 4194304 16246674 140733583960576 140170407959728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100164 s]
/proc/loadavg: 2.08 2.12 2.09 3/179 27194
/proc/meminfo: memFree=29387792/32872528 swapFree=1191052/1305516
[pid=27194] ppid=27191 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/27194/stat : 27194 (toysat) R 27191 27194 26736 0 -1 4202496 22225 0 0 0 6 2 0 0 20 0 4 0 28739845 1247350784 23084 33554432000 4194304 16246674 140733583960576 140733583960000 5677277 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27194/statm: 304529 23087 759 2943 0 301423 0
[pid=27194/tid=27195] ppid=27191 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27195/stat : 27195 (toysat) S 27191 27194 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28739846 1247350784 23091 33554432000 4194304 16246674 140733583960576 140170506513648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27194/tid=27196] ppid=27191 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27196/stat : 27196 (toysat) S 27191 27194 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28739846 1247350784 23096 33554432000 4194304 16246674 140733583960576 140170418433264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27194/tid=27197] ppid=27191 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27197/stat : 27197 (toysat) S 27191 27194 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28739846 1247350784 23101 33554432000 4194304 16246674 140733583960576 140170407959728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.20051 s]
/proc/loadavg: 2.08 2.12 2.09 3/179 27194
/proc/meminfo: memFree=29387792/32872528 swapFree=1191052/1305516
[pid=27194] ppid=27191 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/27194/stat : 27194 (toysat) R 27191 27194 26736 0 -1 4202496 40627 0 0 0 13 6 0 0 20 0 4 0 28739845 1247350784 41486 33554432000 4194304 16246674 140733583960576 140733583960000 13191557 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27194/statm: 304529 41491 759 2943 0 301423 0
[pid=27194/tid=27195] ppid=27191 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27195/stat : 27195 (toysat) S 27191 27194 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28739846 1247350784 41495 33554432000 4194304 16246674 140733583960576 140170506513648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27194/tid=27196] ppid=27191 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27196/stat : 27196 (toysat) S 27191 27194 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28739846 1247350784 41500 33554432000 4194304 16246674 140733583960576 140170418433264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27194/tid=27197] ppid=27191 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27197/stat : 27197 (toysat) S 27191 27194 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28739846 1247350784 41505 33554432000 4194304 16246674 140733583960576 140170407959728 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) 1218116

[startup+0.300507 s]
/proc/loadavg: 2.08 2.12 2.09 3/179 27194
/proc/meminfo: memFree=29387792/32872528 swapFree=1191052/1305516
[pid=27194] ppid=27191 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/27194/stat : 27194 (toysat) R 27191 27194 26736 0 -1 4202496 58923 0 0 0 21 8 0 0 20 0 4 0 28739845 1247350784 59782 33554432000 4194304 16246674 140733583960576 140733583942464 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27194/statm: 304529 59789 759 2943 0 301423 0
[pid=27194/tid=27195] ppid=27191 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27195/stat : 27195 (toysat) S 27191 27194 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28739846 1247350784 59794 33554432000 4194304 16246674 140733583960576 140170506513648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27194/tid=27196] ppid=27191 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27196/stat : 27196 (toysat) S 27191 27194 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28739846 1247350784 59800 33554432000 4194304 16246674 140733583960576 140170418433264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27194/tid=27197] ppid=27191 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27197/stat : 27197 (toysat) S 27191 27194 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28739846 1247350784 59805 33554432000 4194304 16246674 140733583960576 140170407959728 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) 1218116

[startup+0.700415 s]
/proc/loadavg: 2.08 2.12 2.09 3/179 27194
/proc/meminfo: memFree=29387792/32872528 swapFree=1191052/1305516
[pid=27194] ppid=27191 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/27194/stat : 27194 (toysat) R 27191 27194 26736 0 -1 4202496 131196 0 0 0 52 17 0 0 20 0 4 0 28739845 1247350784 132056 33554432000 4194304 16246674 140733583960576 140733583942464 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27194/statm: 304529 132079 766 2943 0 301423 0
[pid=27194/tid=27195] ppid=27191 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27195/stat : 27195 (toysat) S 27191 27194 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28739846 1247350784 132090 33554432000 4194304 16246674 140733583960576 140170506513648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27194/tid=27196] ppid=27191 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27196/stat : 27196 (toysat) S 27191 27194 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28739846 1247350784 132100 33554432000 4194304 16246674 140733583960576 140170418433264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27194/tid=27197] ppid=27191 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27197/stat : 27197 (toysat) S 27191 27194 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28739846 1247350784 132105 33554432000 4194304 16246674 140733583960576 140170407959728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50043 s]
/proc/loadavg: 2.08 2.12 2.09 3/183 27198
/proc/meminfo: memFree=28536204/32872528 swapFree=1191052/1305516
[pid=27194] ppid=27191 vsize=1221188 CPUtime=1.49 cores=1,3,5,7
/proc/27194/stat : 27194 (toysat) R 27191 27194 26736 0 -1 4202496 246332 0 0 0 118 31 0 0 20 0 4 0 28739845 1250496512 247168 33554432000 4194304 16246674 140733583960576 140733583943576 5545776 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27194/statm: 305297 247168 833 2943 0 302191 0
[pid=27194/tid=27195] ppid=27191 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27195/stat : 27195 (toysat) S 27191 27194 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28739846 1250496512 247168 33554432000 4194304 16246674 140733583960576 140170506513648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27194/tid=27196] ppid=27191 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27196/stat : 27196 (toysat) S 27191 27194 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28739846 1250496512 247168 33554432000 4194304 16246674 140733583960576 140170418433264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27194/tid=27197] ppid=27191 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27197/stat : 27197 (toysat) S 27191 27194 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28739846 1250496512 247168 33554432000 4194304 16246674 140733583960576 140170407959728 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) 1221188

[startup+3.10043 s]
/proc/loadavg: 2.08 2.12 2.09 3/183 27198
/proc/meminfo: memFree=28319204/32872528 swapFree=1191052/1305516
[pid=27194] ppid=27191 vsize=1307204 CPUtime=3.08 cores=1,3,5,7
/proc/27194/stat : 27194 (toysat) R 27191 27194 26736 0 -1 4202496 267676 0 0 0 274 34 0 0 20 0 4 0 28739845 1338576896 268512 33554432000 4194304 16246674 140733583960576 140733583942464 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27194/statm: 326801 268512 854 2943 0 323695 0
[pid=27194/tid=27195] ppid=27191 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27195/stat : 27195 (toysat) S 27191 27194 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28739846 1338576896 268512 33554432000 4194304 16246674 140733583960576 140170506513648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27194/tid=27196] ppid=27191 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27196/stat : 27196 (toysat) S 27191 27194 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28739846 1338576896 268512 33554432000 4194304 16246674 140733583960576 140170418433264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27194/tid=27197] ppid=27191 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27197/stat : 27197 (toysat) S 27191 27194 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28739846 1338576896 268512 33554432000 4194304 16246674 140733583960576 140170407959728 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.30038 s]
/proc/loadavg: 2.15 2.13 2.09 4/183 27198
/proc/meminfo: memFree=28312396/32872528 swapFree=1191052/1305516
[pid=27194] ppid=27191 vsize=1309252 CPUtime=6.29 cores=1,3,5,7
/proc/27194/stat : 27194 (toysat) R 27191 27194 26736 0 -1 4202496 268272 0 0 0 594 35 0 0 20 0 4 0 28739845 1340674048 269108 33554432000 4194304 16246674 140733583960576 140733583942464 5711680 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27194/statm: 327313 269108 854 2943 0 324207 0
[pid=27194/tid=27195] ppid=27191 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27195/stat : 27195 (toysat) S 27191 27194 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28739846 1340674048 269108 33554432000 4194304 16246674 140733583960576 140170506513648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27194/tid=27196] ppid=27191 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27196/stat : 27196 (toysat) S 27191 27194 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28739846 1340674048 269108 33554432000 4194304 16246674 140733583960576 140170418433264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27194/tid=27197] ppid=27191 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27197/stat : 27197 (toysat) S 27191 27194 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28739846 1340674048 269108 33554432000 4194304 16246674 140733583960576 140170407959728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1309252

[startup+12.7004 s]
/proc/loadavg: 2.14 2.13 2.09 3/183 27198
/proc/meminfo: memFree=28308972/32872528 swapFree=1191052/1305516
[pid=27194] ppid=27191 vsize=1312324 CPUtime=12.69 cores=1,3,5,7
/proc/27194/stat : 27194 (toysat) R 27191 27194 26736 0 -1 4202496 269000 0 0 0 1234 35 0 0 20 0 4 0 28739845 1343819776 269836 33554432000 4194304 16246674 140733583960576 140733583942464 5712452 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27194/statm: 328081 269836 854 2943 0 324975 0
[pid=27194/tid=27195] ppid=27191 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27195/stat : 27195 (toysat) S 27191 27194 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28739846 1343819776 269836 33554432000 4194304 16246674 140733583960576 140170506513648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27194/tid=27196] ppid=27191 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27196/stat : 27196 (toysat) S 27191 27194 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28739846 1343819776 269836 33554432000 4194304 16246674 140733583960576 140170418433264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27194/tid=27197] ppid=27191 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27197/stat : 27197 (toysat) S 27191 27194 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28739846 1343819776 269836 33554432000 4194304 16246674 140733583960576 140170407959728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5004 s]
/proc/loadavg: 2.18 2.14 2.09 3/183 27198
/proc/meminfo: memFree=28307608/32872528 swapFree=1191052/1305516
[pid=27194] ppid=27191 vsize=1313348 CPUtime=25.49 cores=1,3,5,7
/proc/27194/stat : 27194 (toysat) R 27191 27194 26736 0 -1 4202496 269432 0 0 0 2514 35 0 0 20 0 4 0 28739845 1344868352 270268 33554432000 4194304 16246674 140733583960576 140733583942464 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27194/statm: 328337 270268 854 2943 0 325231 0
[pid=27194/tid=27195] ppid=27191 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27195/stat : 27195 (toysat) S 27191 27194 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28739846 1344868352 270268 33554432000 4194304 16246674 140733583960576 140170506513648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27194/tid=27196] ppid=27191 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27196/stat : 27196 (toysat) S 27191 27194 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28739846 1344868352 270268 33554432000 4194304 16246674 140733583960576 140170418433264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27194/tid=27197] ppid=27191 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27197/stat : 27197 (toysat) S 27191 27194 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28739846 1344868352 270268 33554432000 4194304 16246674 140733583960576 140170407959728 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) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.25 2.16 2.10 4/183 27199
/proc/meminfo: memFree=28306816/32872528 swapFree=1191052/1305516
[pid=27194] ppid=27191 vsize=1314372 CPUtime=51.08 cores=1,3,5,7
/proc/27194/stat : 27194 (toysat) R 27191 27194 26736 0 -1 4202496 269688 0 0 0 5073 35 0 0 20 0 4 0 28739845 1345916928 270524 33554432000 4194304 16246674 140733583960576 140733583942464 5822756 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27194/statm: 328593 270524 854 2943 0 325487 0
[pid=27194/tid=27195] ppid=27191 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27195/stat : 27195 (toysat) S 27191 27194 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28739846 1345916928 270524 33554432000 4194304 16246674 140733583960576 140170506513648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27194/tid=27196] ppid=27191 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27196/stat : 27196 (toysat) S 27191 27194 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28739846 1345916928 270524 33554432000 4194304 16246674 140733583960576 140170418433264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27194/tid=27197] ppid=27191 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27197/stat : 27197 (toysat) S 27191 27194 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28739846 1345916928 270524 33554432000 4194304 16246674 140733583960576 140170407959728 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) 1314372

[startup+102.3 s]
/proc/loadavg: 2.18 2.15 2.10 3/183 27200
/proc/meminfo: memFree=28306296/32872528 swapFree=1191052/1305516
[pid=27194] ppid=27191 vsize=1314372 CPUtime=102.28 cores=1,3,5,7
/proc/27194/stat : 27194 (toysat) R 27191 27194 26736 0 -1 4202496 269689 0 0 0 10193 35 0 0 20 0 4 0 28739845 1345916928 270525 33554432000 4194304 16246674 140733583960576 140733583942464 5712771 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27194/statm: 328593 270525 855 2943 0 325487 0
[pid=27194/tid=27195] ppid=27191 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27195/stat : 27195 (toysat) S 27191 27194 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28739846 1345916928 270525 33554432000 4194304 16246674 140733583960576 140170506513648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27194/tid=27196] ppid=27191 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27196/stat : 27196 (toysat) S 27191 27194 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28739846 1345916928 270525 33554432000 4194304 16246674 140733583960576 140170418433264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27194/tid=27197] ppid=27191 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27197/stat : 27197 (toysat) S 27191 27194 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28739846 1345916928 270525 33554432000 4194304 16246674 140733583960576 140170407959728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1314372


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

/proc/27194/task/27197/stat : 27197 (toysat) S 27191 27194 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28739846 1363742720 274882 33554432000 4194304 16246674 140733583960576 140170407959728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1331780

[startup+1362.3 s]
/proc/loadavg: 2.52 2.37 2.20 3/183 27379
/proc/meminfo: memFree=28292948/32872528 swapFree=1191052/1305516
[pid=27194] ppid=27191 vsize=1331780 CPUtime=1361.89 cores=1,3,5,7
/proc/27194/stat : 27194 (toysat) R 27191 27194 26736 0 -1 4202496 274416 0 0 0 136141 48 0 0 20 0 4 0 28739845 1363742720 274882 33554432000 4194304 16246674 140733583960576 140733583942464 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27194/statm: 332945 274882 855 2943 0 329839 0
[pid=27194/tid=27195] ppid=27191 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27195/stat : 27195 (toysat) S 27191 27194 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28739846 1363742720 274882 33554432000 4194304 16246674 140733583960576 140170506513648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27194/tid=27196] ppid=27191 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27196/stat : 27196 (toysat) S 27191 27194 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28739846 1363742720 274882 33554432000 4194304 16246674 140733583960576 140170418433264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27194/tid=27197] ppid=27191 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27197/stat : 27197 (toysat) S 27191 27194 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28739846 1363742720 274882 33554432000 4194304 16246674 140733583960576 140170407959728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1331780

[startup+1422.3 s]
/proc/loadavg: 2.34 2.35 2.20 3/183 27380
/proc/meminfo: memFree=28292976/32872528 swapFree=1191052/1305516
[pid=27194] ppid=27191 vsize=1331780 CPUtime=1421.89 cores=1,3,5,7
/proc/27194/stat : 27194 (toysat) R 27191 27194 26736 0 -1 4202496 274416 0 0 0 142141 48 0 0 20 0 4 0 28739845 1363742720 274882 33554432000 4194304 16246674 140733583960576 140733583942464 5677716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27194/statm: 332945 274882 855 2943 0 329839 0
[pid=27194/tid=27195] ppid=27191 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27195/stat : 27195 (toysat) S 27191 27194 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28739846 1363742720 274882 33554432000 4194304 16246674 140733583960576 140170506513648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27194/tid=27196] ppid=27191 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27196/stat : 27196 (toysat) S 27191 27194 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28739846 1363742720 274882 33554432000 4194304 16246674 140733583960576 140170418433264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27194/tid=27197] ppid=27191 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27197/stat : 27197 (toysat) S 27191 27194 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28739846 1363742720 274882 33554432000 4194304 16246674 140733583960576 140170407959728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1331780

[startup+1482.3 s]
/proc/loadavg: 2.23 2.31 2.20 3/183 27381
/proc/meminfo: memFree=28292616/32872528 swapFree=1191052/1305516
[pid=27194] ppid=27191 vsize=1331780 CPUtime=1481.88 cores=1,3,5,7
/proc/27194/stat : 27194 (toysat) R 27191 27194 26736 0 -1 4202496 274416 0 0 0 148139 49 0 0 20 0 4 0 28739845 1363742720 274882 33554432000 4194304 16246674 140733583960576 140733583942464 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27194/statm: 332945 274882 855 2943 0 329839 0
[pid=27194/tid=27195] ppid=27191 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27195/stat : 27195 (toysat) S 27191 27194 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28739846 1363742720 274882 33554432000 4194304 16246674 140733583960576 140170506513648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27194/tid=27196] ppid=27191 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27196/stat : 27196 (toysat) S 27191 27194 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28739846 1363742720 274882 33554432000 4194304 16246674 140733583960576 140170418433264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27194/tid=27197] ppid=27191 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27197/stat : 27197 (toysat) S 27191 27194 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28739846 1363742720 274882 33554432000 4194304 16246674 140733583960576 140170407959728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1331780

[startup+1542.31 s]
/proc/loadavg: 2.23 2.30 2.19 3/183 27382
/proc/meminfo: memFree=28292740/32872528 swapFree=1191052/1305516
[pid=27194] ppid=27191 vsize=1331780 CPUtime=1541.87 cores=1,3,5,7
/proc/27194/stat : 27194 (toysat) R 27191 27194 26736 0 -1 4202496 274416 0 0 0 154138 49 0 0 20 0 4 0 28739845 1363742720 274882 33554432000 4194304 16246674 140733583960576 140733583943576 13780488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27194/statm: 332945 274882 855 2943 0 329839 0
[pid=27194/tid=27195] ppid=27191 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27195/stat : 27195 (toysat) S 27191 27194 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28739846 1363742720 274882 33554432000 4194304 16246674 140733583960576 140170506513648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27194/tid=27196] ppid=27191 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27196/stat : 27196 (toysat) S 27191 27194 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28739846 1363742720 274882 33554432000 4194304 16246674 140733583960576 140170418433264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27194/tid=27197] ppid=27191 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27197/stat : 27197 (toysat) S 27191 27194 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28739846 1363742720 274882 33554432000 4194304 16246674 140733583960576 140170407959728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1331780

[startup+1602.3 s]
/proc/loadavg: 2.35 2.30 2.20 3/183 27384
/proc/meminfo: memFree=28292636/32872528 swapFree=1191052/1305516
[pid=27194] ppid=27191 vsize=1331780 CPUtime=1601.85 cores=1,3,5,7
/proc/27194/stat : 27194 (toysat) R 27191 27194 26736 0 -1 4202496 274416 0 0 0 160136 49 0 0 20 0 4 0 28739845 1363742720 274882 33554432000 4194304 16246674 140733583960576 140733583942464 13191992 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27194/statm: 332945 274882 855 2943 0 329839 0
[pid=27194/tid=27195] ppid=27191 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27195/stat : 27195 (toysat) S 27191 27194 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28739846 1363742720 274882 33554432000 4194304 16246674 140733583960576 140170506513648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27194/tid=27196] ppid=27191 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27196/stat : 27196 (toysat) S 27191 27194 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28739846 1363742720 274882 33554432000 4194304 16246674 140733583960576 140170418433264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27194/tid=27197] ppid=27191 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27197/stat : 27197 (toysat) S 27191 27194 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28739846 1363742720 274882 33554432000 4194304 16246674 140733583960576 140170407959728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1331780

[startup+1662.3 s]
/proc/loadavg: 2.24 2.29 2.20 3/183 27385
/proc/meminfo: memFree=28292044/32872528 swapFree=1191052/1305516
[pid=27194] ppid=27191 vsize=1331780 CPUtime=1661.85 cores=1,3,5,7
/proc/27194/stat : 27194 (toysat) R 27191 27194 26736 0 -1 4202496 274416 0 0 0 166135 50 0 0 20 0 4 0 28739845 1363742720 274882 33554432000 4194304 16246674 140733583960576 140733583942464 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27194/statm: 332945 274882 855 2943 0 329839 0
[pid=27194/tid=27195] ppid=27191 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27195/stat : 27195 (toysat) S 27191 27194 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28739846 1363742720 274882 33554432000 4194304 16246674 140733583960576 140170506513648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27194/tid=27196] ppid=27191 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27196/stat : 27196 (toysat) S 27191 27194 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28739846 1363742720 274882 33554432000 4194304 16246674 140733583960576 140170418433264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27194/tid=27197] ppid=27191 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27197/stat : 27197 (toysat) S 27191 27194 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28739846 1363742720 274882 33554432000 4194304 16246674 140733583960576 140170407959728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1331780

[startup+1722.3 s]
/proc/loadavg: 2.25 2.28 2.19 3/184 27389
/proc/meminfo: memFree=28292832/32872528 swapFree=1191052/1305516
[pid=27194] ppid=27191 vsize=1331780 CPUtime=1721.84 cores=1,3,5,7
/proc/27194/stat : 27194 (toysat) R 27191 27194 26736 0 -1 4202496 274416 0 0 0 172134 50 0 0 20 0 4 0 28739845 1363742720 274882 33554432000 4194304 16246674 140733583960576 140733583942464 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27194/statm: 332945 274882 855 2943 0 329839 0
[pid=27194/tid=27195] ppid=27191 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27195/stat : 27195 (toysat) S 27191 27194 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28739846 1363742720 274882 33554432000 4194304 16246674 140733583960576 140170506513648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27194/tid=27196] ppid=27191 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27196/stat : 27196 (toysat) S 27191 27194 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28739846 1363742720 274882 33554432000 4194304 16246674 140733583960576 140170418433264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27194/tid=27197] ppid=27191 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27197/stat : 27197 (toysat) S 27191 27194 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28739846 1363742720 274882 33554432000 4194304 16246674 140733583960576 140170407959728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1331780

[startup+1782.3 s]
/proc/loadavg: 2.27 2.27 2.19 3/183 27390
/proc/meminfo: memFree=28293120/32872528 swapFree=1191052/1305516
[pid=27194] ppid=27191 vsize=1331780 CPUtime=1781.83 cores=1,3,5,7
/proc/27194/stat : 27194 (toysat) R 27191 27194 26736 0 -1 4202496 274417 0 0 0 178132 51 0 0 20 0 4 0 28739845 1363742720 274883 33554432000 4194304 16246674 140733583960576 140733583942464 5677228 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27194/statm: 332945 274883 856 2943 0 329839 0
[pid=27194/tid=27195] ppid=27191 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27195/stat : 27195 (toysat) S 27191 27194 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28739846 1363742720 274883 33554432000 4194304 16246674 140733583960576 140170506513648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27194/tid=27196] ppid=27191 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27196/stat : 27196 (toysat) S 27191 27194 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28739846 1363742720 274883 33554432000 4194304 16246674 140733583960576 140170418433264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27194/tid=27197] ppid=27191 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27197/stat : 27197 (toysat) S 27191 27194 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28739846 1363742720 274883 33554432000 4194304 16246674 140733583960576 140170407959728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1331780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.27 2.27 2.19 3/183 27390
/proc/meminfo: memFree=28292872/32872528 swapFree=1191052/1305516
[pid=27194] ppid=27191 vsize=1331780 CPUtime=1800.03 cores=1,3,5,7
/proc/27194/stat : 27194 (toysat) R 27191 27194 26736 0 -1 4202496 274417 0 0 0 179952 51 0 0 20 0 4 0 28739845 1363742720 274883 33554432000 4194304 16246674 140733583960576 140733583943576 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27194/statm: 332945 274883 856 2943 0 329839 0
[pid=27194/tid=27195] ppid=27191 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27195/stat : 27195 (toysat) S 27191 27194 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28739846 1363742720 274883 33554432000 4194304 16246674 140733583960576 140170506513648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27194/tid=27196] ppid=27191 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27196/stat : 27196 (toysat) S 27191 27194 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28739846 1363742720 274883 33554432000 4194304 16246674 140733583960576 140170418433264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27194/tid=27197] ppid=27191 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27197/stat : 27197 (toysat) S 27191 27194 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28739846 1363742720 274883 33554432000 4194304 16246674 140733583960576 140170407959728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1331780

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

[startup+1800.5 s]
/proc/loadavg: 2.27 2.27 2.19 3/183 27390
/proc/meminfo: memFree=28292872/32872528 swapFree=1191052/1305516
[pid=27194] ppid=27191 vsize=1331780 CPUtime=1800.03 cores=1,3,5,7
/proc/27194/stat : 27194 (toysat) R 27191 27194 26736 0 -1 4202496 274417 0 0 0 179952 51 0 0 20 0 4 0 28739845 1363742720 274883 33554432000 4194304 16246674 140733583960576 140733583943576 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27194/statm: 332945 274883 856 2943 0 329839 0
[pid=27194/tid=27195] ppid=27191 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27195/stat : 27195 (toysat) S 27191 27194 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28739846 1363742720 274883 33554432000 4194304 16246674 140733583960576 140170506513648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=27194/tid=27196] ppid=27191 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27196/stat : 27196 (toysat) S 27191 27194 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28739846 1363742720 274883 33554432000 4194304 16246674 140733583960576 140170418433264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=27194/tid=27197] ppid=27191 vsize=1331780 CPUtime=0 cores=1,3,5,7
/proc/27194/task/27197/stat : 27197 (toysat) S 27191 27194 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28739846 1363742720 274883 33554432000 4194304 16246674 140733583960576 140170407959728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1331780

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1799.53
CPU system time (s): 0.511922
CPU usage (%): 99.9739
Max. virtual memory (cumulated for all children) (KiB): 1331780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.511922
maximum resident set size= 1099532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274417
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= 388
involuntary context switches= 1845

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.80227 second user time and 7.07592 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-18 18:22:12
IDJOB=4106172
IDBENCH=47960
IDSOLVER=2542
FILE ID=node127/4106172-1466266932
RUNJOBID= node127-1466265123-26753
PBS_JOBID= 19918231
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=233-P1=79-P2=107-P3=23-P4=107-P5=223-P6=239-P7=127-P8=229-P9=181-B.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106172-1466266932/watcher-4106172-1466266932 -o /tmp/evaluation-result-4106172-1466266932/solver-4106172-1466266932 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466265123-26753 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106172-1466266932.opb

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

MD5SUM BENCH= 9ac2b65e6f5a9e0208aa5abddde874b2
RANDOM SEED=110552100

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
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:        29388320 kB
Buffers:           82812 kB
Cached:           258568 kB
SwapCached:          516 kB
Active:          1186716 kB
Inactive:         252568 kB
Active(anon):    1098332 kB
Inactive(anon):     2184 kB
Active(file):      88384 kB
Inactive(file):   250384 kB
Unevictable:     1305516 kB
Mlocked:         1191052 kB
SwapTotal:      67108856 kB
SwapFree:       67100260 kB
Dirty:             16644 kB
Writeback:             0 kB
AnonPages:       2405616 kB
Mapped:            10528 kB
Shmem:                 0 kB
Slab:             604400 kB
SReclaimable:      48100 kB
SUnreclaim:       556300 kB
KernelStack:        1520 kB
PageTables:         8716 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2545928 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    698368 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 node127 at 2016-06-18 18:52:13