Trace number 4093399

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.1 1800.61

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-31-30--soft-66-100-0.wbo
MD5SUM318c9cc5b16e210b9b0a9873d7c14d4c
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark1800.02
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables930
Total number of constraints61
Number of soft constraints16
Number of constraints which are clauses31
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint31
Top cost 916
Min constraint cost 1
Max constraint cost 96
Sum of constraints costs 915
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 32
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T15:06:17+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","--wbo","--search=bcd2","HOME/instance-4093399-1466082377.wbo"]
0.00/0.01	c use --random-gen="3102072744 2769229551 2926730856 140168550 203866654 1403966468 4203587276 913714739 3738266364 2539484839 4095904899 176767507 3993705563 207750838 3392634875 2778792743 965689426 4039428665 343682253 1402201792 1954559667 703768688 2873762524 4234841424 1840703888 1391526190 3691879570 4019756739 1189841449 119073388 3469686820 4139928625 343008849 564803778 3448190252 2763105291 2446028030 1847029479 989146225 2964384035 711522798 3029190272 4153603111 1391018593 3592582199 3137168864 2558103802 4281084484 3851199218 451274465 2439473814 1323863909 2302546775 2656831691 3306020138 3710224638 455340620 2045799893 1580628511 2902250166 58789459 168725285 696423021 787161204 1097204443 1206051284 1313228896 2444597503 3905180176 1133865441 2753225864 4010222285 201969235 3690213358 2737279328 1004342071 4120008585 824822707 2303982 3185316036 1440076067 3304913312 629742243 62965817 4162237087 1114168836 529566239 884263442 1639973242 1880836238 3567096636 2580096898 2858943287 1802167297 29997410 2625224685 127478897 1933258730 484529726 3275932540 373631366 1520521400 3078451019 1709752148 3690377954 302922225 212069361 535627558 1180368143 1501308119 3370756494 3648679666 3932397819 2207457526 797489819 2571259249 2072097318 3641652548 2741636474 446189832 1897228292 936451333 3581234927 4194059799 3233346097 4193762040 3584018505 2021538133 3032968704 1692830414 2031145818 1386784417 4007099867 3279379589 3688124632 2635412428 3886230371 1674057273 3748657039 3349251969 2225858844 3855604371 1368727197 3624626218 2365180490 433012459 41495207 153490375 4010571992 430846093 1385218903 1765192249 1369967275 1234332485 3232814655 2267160164 1553977164 506052709 850592688 2562688865 1792074475 2647485187 1779145008 680969711 3401207907 300268541 1070609192 3559370771 308518923 3478567134 2301871742 3855950782 3015426939 36369856 1501812520 3325911153 2064820239 2558951294 2064801551 3655913074 122921055 1050720125 2839663719 1427485066 1864778177 1698446729 1181551889 3432198720 2385311780 2811244188 2578471700 2273233546 3394838364 1233048265 566356173 4053423196 3749156673 221793448 721518197 1769229523 1821270838 4257933608 3226884201 934096818 2114537294 2772055347 4193563217 1333769717 2871779275 3941352823 1579742425 2516701478 3961895969 3712498238 1082338242 3432314713 225635170 2280062158 3430781691 1167978469 2285158445 3807029685 3323403848 1289806061 341956467 2692529394 3041149308 1545639725 1756174596 890911879 2197169082 2910369569 968913471 4229823300 1054753652 4231114857 259579695 3408188337 694921341 2081062170 2972455654 3249668113 1071386419 2088627647 3981094172 2951127008 3068149753 3257688614 274272363 1764553775 2862129411 2760652794 4253891786 1979446687 1684353423 2535592097 255 362436" option to reproduce the execution
0.00/0.05	c #vars 930
0.00/0.05	c #constraints 61
0.00/0.05	c BCD2: Hardening is enabled.
0.00/0.05	c BCD2: BiasedSearch is enabled.
0.00/0.05	c Solving starts ...
0.00/0.05	c ============================[ Search Statistics ]============================
0.00/0.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.05	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.05	c =============================================================================
0.00/0.05	c  0.0s |       0 |        0 |        0 |      335      0 |        0 |        0
0.00/0.08	c  0.0s |       1 |      163 |      100 |      335      0 |        0 |        0
0.00/0.08	c  0.0s |       1 |      677 |      101 |      369      0 |        0 |        0
0.00/0.08	c #cpu_time = 0.031s
0.00/0.08	c #wall_clock_time = 0.031s
0.00/0.08	c #decision = 677
0.00/0.08	c #random_decision = 2
0.00/0.08	c #conflict = 101
0.00/0.08	c #restart = 1
0.00/0.08	o 702
0.00/0.08	c BCD2: updating upper bound: 915 -> 701
0.00/0.08	c BCD2: 0 <= obj <= 701
0.00/0.08	c BCD2: #cores=0, #unrelaxed=16, #relaxed=0, #hardened=0
0.00/0.08	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.08	c Solving starts ...
0.00/0.08	c ============================[ Search Statistics ]============================
0.00/0.08	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.08	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.08	c =============================================================================
0.00/0.08	c  0.0s |       0 |        0 |        0 |      369      0 |        0 |        0
0.09/0.14	c  0.1s |       1 |      512 |      100 |      369      0 |        0 |        0
0.19/0.21	c  0.1s |       2 |     1351 |      250 |      406      0 |        0 |        0
0.29/0.32	c  0.2s |       3 |     2175 |      475 |      447      0 |        0 |        0
0.49/0.54	c  0.5s |       4 |     3045 |      813 |      492      1 |        0 |        0
0.79/0.86	c  0.8s |       5 |     4071 |     1320 |      542      2 |        0 |        0
1.20/1.24	c  1.2s |       6 |     5399 |     2081 |      597      3 |        0 |        0
1.69/1.78	c  1.7s |       7 |     7196 |     3223 |      657      5 |        0 |        0
2.49/2.54	c  2.5s |       8 |     9632 |     4936 |      723      7 |        0 |        0
4.19/4.22	c  4.1s |       9 |    13056 |     7506 |      796     10 |        0 |        0
6.19/6.25	c  6.2s |       9 |    17158 |    10106 |      796     14 |        0 |        0
7.39/7.45	c  7.4s |      10 |    18594 |    11361 |      876     16 |        0 |        0
9.39/9.46	c  9.4s |      10 |    22460 |    13761 |      876     19 |        0 |        0
11.49/11.52	c 11.4s |      10 |    25437 |    15861 |      876     21 |        0 |        0
12.69/12.77	c 12.7s |      11 |    27450 |    17144 |      964     23 |        0 |        0
14.78/14.81	c 14.7s |      11 |    32238 |    20444 |      964     27 |        0 |        0
16.88/16.92	c 16.8s |      11 |    35603 |    23044 |      964     29 |        0 |        0
18.98/19.00	c 18.9s |      11 |    37985 |    24844 |      964     31 |        0 |        0
19.98/20.08	c 20.0s |      12 |    39400 |    25819 |     1061     32 |        0 |        0
22.09/22.12	c 22.0s |      12 |    44494 |    29019 |     1061     37 |        0 |        0
24.08/24.15	c 24.1s |      12 |    49087 |    32119 |     1061     41 |        0 |        0
26.08/26.17	c 26.1s |      12 |    53719 |    36119 |     1061     47 |        0 |        0
27.78/27.81	c 27.7s |      13 |    56793 |    38832 |     1168     50 |        0 |        0
29.79/29.84	c 29.8s |      13 |    59873 |    41132 |     1168     52 |        0 |        0
31.78/31.84	c 31.8s |      13 |    61991 |    43032 |     1168     54 |        0 |        0
33.78/33.89	c 33.8s |      13 |    63841 |    44732 |     1168     56 |        0 |        0
35.88/35.96	c 35.9s |      13 |    66371 |    46932 |     1168     58 |        0 |        0
37.98/38.00	c 37.9s |      13 |    68896 |    49132 |     1168     60 |        0 |        0
39.98/40.04	c 40.0s |      13 |    71317 |    51232 |     1168     62 |        0 |        0
42.08/42.12	c 42.0s |      13 |    73661 |    53332 |     1168     64 |        0 |        0
44.18/44.23	c 44.1s |      13 |    75994 |    55432 |     1168     67 |        0 |        0
46.19/46.25	c 46.2s |      13 |    78197 |    57432 |     1168     69 |        0 |        0
47.08/47.14	c 47.1s |      14 |    79305 |    58352 |     1285     69 |        0 |        0
49.08/49.15	c 49.1s |      14 |    82857 |    60952 |     1285     72 |        0 |        0
51.18/51.20	c 51.1s |      14 |    85463 |    63252 |     1285     74 |        0 |        0
53.17/53.26	c 53.2s |      14 |    87970 |    65452 |     1285     76 |        0 |        0
55.27/55.33	c 55.3s |      14 |    90493 |    67652 |     1285     78 |        0 |        0
57.28/57.37	c 57.3s |      14 |    93040 |    69952 |     1285     80 |        0 |        0
59.38/59.44	c 59.4s |      14 |    95703 |    72252 |     1285     82 |        0 |        0
61.37/61.48	c 61.4s |      14 |    98326 |    74552 |     1285     85 |        0 |        0
63.47/63.52	c 63.4s |      14 |   100518 |    76552 |     1285     86 |        0 |        0
65.47/65.58	c 65.5s |      14 |   102718 |    78552 |     1285     88 |        0 |        0
67.57/67.67	c 67.6s |      14 |   105000 |    80552 |     1285     90 |        0 |        0
69.67/69.72	c 69.6s |      14 |   107012 |    82352 |     1285     92 |        0 |        0
71.66/71.78	c 71.7s |      14 |   109131 |    84252 |     1285     94 |        0 |        0
73.77/73.82	c 73.7s |      14 |   111368 |    86252 |     1285     96 |        0 |        0
75.26/75.36	c 75.3s |      15 |   112900 |    87632 |     1414     97 |        0 |        0
77.36/77.43	c 77.3s |      15 |   116718 |    90632 |     1414     99 |        0 |        0
79.46/79.53	c 79.4s |      15 |   119591 |    93132 |     1414    102 |        0 |        0
81.46/81.53	c 81.4s |      15 |   122297 |    95532 |     1414    104 |        0 |        0
83.45/83.60	c 83.5s |      15 |   125065 |    98032 |     1414    106 |        0 |        0
85.55/85.68	c 85.6s |      15 |   127922 |   100532 |     1414    108 |        0 |        0
87.65/87.71	c 87.6s |      15 |   130504 |   102832 |     1414    110 |        0 |        0
89.65/89.76	c 89.7s |      15 |   133297 |   105332 |     1414    113 |        0 |        0
91.65/91.79	c 91.7s |      15 |   136068 |   107832 |     1414    115 |        0 |        0
93.75/93.82	c 93.7s |      15 |   138846 |   110332 |     1414    117 |        0 |        0
95.76/95.88	c 95.8s |      15 |   141742 |   112832 |     1414    119 |        0 |        0
97.75/97.90	c 97.8s |      15 |   144564 |   115332 |     1414    121 |        0 |        0
99.85/99.94	c 99.9s |      15 |   147596 |   117932 |     1414    124 |        0 |        0
101.86/101.94	c  101s |      15 |   150452 |   120432 |     1414    126 |        0 |        0
103.86/103.96	c  103s |      15 |   153258 |   122932 |     1414    128 |        0 |        0
105.85/105.98	c  105s |      15 |   155821 |   125232 |     1414    130 |        0 |        0
107.95/108.04	c  107s |      15 |   158497 |   127632 |     1414    133 |        0 |        0
110.06/110.15	c  110s |      15 |   161004 |   129832 |     1414    135 |        0 |        0
111.75/111.82	c  111s |      16 |   162890 |   131552 |     1556    136 |        0 |        0
113.75/113.84	c  113s |      16 |   167240 |   134952 |     1556    139 |        0 |        0
115.75/115.86	c  115s |      16 |   170261 |   137652 |     1556    141 |        0 |        0
117.85/117.92	c  117s |      16 |   173263 |   140252 |     1556    143 |        0 |        0
119.86/119.94	c  119s |      16 |   176138 |   142752 |     1556    145 |        0 |        0
121.85/121.99	c  121s |      16 |   179112 |   145352 |     1556    148 |        0 |        0
123.95/124.03	c  123s |      16 |   182293 |   148152 |     1556    150 |        0 |        0
125.94/126.07	c  125s |      16 |   185363 |   150852 |     1556    152 |        0 |        0
128.04/128.17	c  128s |      16 |   188525 |   153552 |     1556    155 |        0 |        0
130.04/130.19	c  130s |      16 |   191103 |   155852 |     1556    156 |        0 |        0
132.14/132.26	c  132s |      16 |   193658 |   158152 |     1556    158 |        0 |        0
134.24/134.35	c  134s |      16 |   196227 |   160452 |     1556    160 |        0 |        0
136.34/136.40	c  136s |      16 |   198891 |   162852 |     1556    162 |        0 |        0
138.34/138.49	c  138s |      16 |   201656 |   165352 |     1556    164 |        0 |        0
140.44/140.58	c  140s |      16 |   204547 |   167852 |     1556    167 |        0 |        0
142.53/142.63	c  142s |      16 |   207431 |   170452 |     1556    169 |        0 |        0
144.53/144.65	c  144s |      16 |   210317 |   173052 |     1556    171 |        0 |        0
146.63/146.75	c  146s |      16 |   213187 |   175652 |     1556    173 |        0 |        0
148.73/148.80	c  148s |      16 |   216228 |   178452 |     1556    175 |        0 |        0
150.74/150.83	c  150s |      16 |   219202 |   181052 |     1556    178 |        0 |        0
152.73/152.87	c  152s |      16 |   222087 |   183652 |     1556    180 |        0 |        0
154.73/154.88	c  154s |      16 |   225030 |   186152 |     1556    182 |        0 |        0
156.83/156.91	c  156s |      16 |   227598 |   188452 |     1556    184 |        0 |        0
158.83/158.97	c  158s |      16 |   230410 |   190952 |     1556    186 |        0 |        0
160.82/160.99	c  160s |      16 |   233008 |   193252 |     1556    188 |        0 |        0
162.92/163.03	c  162s |      16 |   235876 |   195752 |     1556    190 |        0 |        0
164.32/164.48	c  164s |      17 |   237819 |   197432 |     1712    191 |        0 |        0
166.42/166.55	c  166s |      17 |   241987 |   200732 |     1712    194 |        0 |        0
168.42/168.55	c  168s |      17 |   244697 |   203232 |     1712    196 |        0 |        0
170.43/170.57	c  170s |      17 |   247424 |   205732 |     1712    198 |        0 |        0
172.42/172.57	c  172s |      17 |   250089 |   208132 |     1712    200 |        0 |        0
174.52/174.62	c  174s |      17 |   253168 |   210832 |     1712    202 |        0 |        0
176.52/176.66	c  176s |      17 |   255770 |   213132 |     1712    204 |        0 |        0
178.52/178.66	c  178s |      17 |   258383 |   215432 |     1712    205 |        0 |        0
180.62/180.75	c  180s |      17 |   261050 |   217732 |     1712    207 |        0 |        0
182.71/182.80	c  182s |      17 |   263839 |   220132 |     1712    209 |        0 |        0
184.72/184.83	c  184s |      17 |   266958 |   222832 |     1712    211 |        0 |        0
186.81/186.90	c  186s |      17 |   269834 |   225432 |     1712    213 |        0 |        0
188.81/188.91	c  188s |      17 |   272556 |   227832 |     1712    215 |        0 |        0
190.81/190.98	c  190s |      17 |   275375 |   230332 |     1712    217 |        0 |        0
192.91/193.01	c  192s |      17 |   278263 |   232832 |     1712    219 |        0 |        0
194.91/195.02	c  194s |      17 |   281102 |   235332 |     1712    221 |        0 |        0
197.01/197.10	c  197s |      17 |   284140 |   238032 |     1712    223 |        0 |        0
199.01/199.12	c  199s |      17 |   287252 |   240732 |     1712    225 |        0 |        0
201.01/201.19	c  201s |      17 |   290089 |   243232 |     1712    227 |        0 |        0
203.10/203.20	c  203s |      17 |   292747 |   245532 |     1712    229 |        0 |        0
205.10/205.22	c  205s |      17 |   295335 |   247832 |     1712    231 |        0 |        0
207.20/207.31	c  207s |      17 |   298229 |   250332 |     1712    233 |        0 |        0
209.20/209.35	c  209s |      17 |   300716 |   252532 |     1712    234 |        0 |        0
211.30/211.40	c  211s |      17 |   303161 |   254732 |     1712    236 |        0 |        0
213.30/213.42	c  213s |      17 |   305847 |   257132 |     1712    238 |        0 |        0
215.30/215.44	c  215s |      17 |   308351 |   259432 |     1712    240 |        0 |        0
217.30/217.49	c  217s |      17 |   310743 |   261632 |     1712    241 |        0 |        0
219.40/219.52	c  219s |      17 |   313085 |   263732 |     1712    243 |        0 |        0
221.49/221.60	c  221s |      17 |   315633 |   266032 |     1712    245 |        0 |        0
223.49/223.63	c  223s |      17 |   317883 |   268132 |     1712    247 |        0 |        0
225.50/225.64	c  225s |      17 |   320297 |   270332 |     1712    248 |        0 |        0
227.49/227.64	c  227s |      17 |   322874 |   272632 |     1712    250 |        0 |        0
229.59/229.71	c  229s |      17 |   325369 |   274932 |     1712    252 |        0 |        0
231.58/231.72	c  231s |      17 |   327669 |   277032 |     1712    253 |        0 |        0
233.58/233.77	c  233s |      17 |   330142 |   279232 |     1712    255 |        0 |        0
235.68/235.83	c  235s |      17 |   332838 |   281632 |     1712    257 |        0 |        0
237.68/237.87	c  237s |      17 |   335585 |   284132 |     1712    259 |        0 |        0
239.69/239.88	c  239s |      17 |   338110 |   286432 |     1712    261 |        0 |        0
241.68/241.88	c  241s |      17 |   340679 |   288732 |     1712    263 |        0 |        0
243.78/243.94	c  243s |      17 |   343217 |   291032 |     1712    264 |        0 |        0
245.78/245.97	c  245s |      17 |   345837 |   293332 |     1712    266 |        0 |        0
247.78/247.99	c  247s |      17 |   348181 |   295432 |     1884    268 |        0 |        0
248.58/248.70	c  248s |      18 |   349049 |   296252 |     1884    268 |        0 |        0
250.57/250.74	c  250s |      18 |   352960 |   299352 |     1884    271 |        0 |        0
252.67/252.81	c  252s |      18 |   355785 |   301852 |     1884    272 |        0 |        0
254.67/254.86	c  254s |      18 |   358571 |   304352 |     1884    274 |        0 |        0
256.77/256.92	c  256s |      18 |   361205 |   306752 |     1884    276 |        0 |        0
258.77/258.94	c  258s |      18 |   364006 |   309252 |     1884    278 |        0 |        0
260.77/260.96	c  260s |      18 |   366830 |   311752 |     1884    280 |        0 |        0
262.87/263.02	c  262s |      18 |   369418 |   314052 |     1884    281 |        0 |        0
264.86/265.08	c  264s |      18 |   372094 |   316352 |     1884    283 |        0 |        0
266.96/267.19	c  267s |      18 |   374834 |   318752 |     1884    285 |        0 |        0
269.06/269.27	c  269s |      18 |   377388 |   321052 |     1884    287 |        0 |        0
271.16/271.31	c  271s |      18 |   380303 |   323552 |     1884    288 |        0 |        0
273.16/273.38	c  273s |      18 |   383031 |   325852 |     1884    290 |        0 |        0
275.26/275.42	c  275s |      18 |   385416 |   327952 |     1884    292 |        0 |        0
277.27/277.43	c  277s |      18 |   388090 |   330252 |     1884    293 |        0 |        0
279.27/279.44	c  279s |      18 |   390631 |   332452 |     1884    295 |        0 |        0
281.26/281.46	c  281s |      18 |   393030 |   334552 |     1884    296 |        0 |        0
283.36/283.53	c  283s |      18 |   395632 |   336852 |     1884    298 |        0 |        0
285.46/285.60	c  285s |      18 |   398124 |   339052 |     1884    300 |        0 |        0
287.46/287.64	c  287s |      18 |   400737 |   341352 |     1884    301 |        0 |        0
289.56/289.72	c  289s |      18 |   403376 |   343652 |     1884    303 |        0 |        0
291.55/291.75	c  291s |      18 |   405699 |   345752 |     1884    305 |        0 |        0
293.56/293.80	c  293s |      18 |   408171 |   347952 |     1884    306 |        0 |        0
295.65/295.89	c  295s |      18 |   410388 |   349852 |     1884    308 |        0 |        0
297.75/297.97	c  297s |      18 |   412874 |   352052 |     1884    309 |        0 |        0
299.85/300.06	c  299s |      18 |   415512 |   354352 |     1884    311 |        0 |        0
301.95/302.12	c  302s |      18 |   418088 |   356652 |     1884    313 |        0 |        0
303.95/304.19	c  304s |      18 |   420547 |   358852 |     1884    314 |        0 |        0
306.05/306.21	c  306s |      18 |   422839 |   360952 |     1884    316 |        0 |        0
308.05/308.23	c  308s |      18 |   425348 |   363152 |     1884    317 |        0 |        0
310.06/310.26	c  310s |      18 |   428168 |   365652 |     1884    319 |        0 |        0
312.05/312.27	c  312s |      18 |   430713 |   367952 |     1884    321 |        0 |        0
314.05/314.29	c  314s |      18 |   433123 |   370152 |     1884    323 |        0 |        0
316.14/316.34	c  316s |      18 |   435615 |   372452 |     1884    324 |        0 |        0
318.14/318.39	c  318s |      18 |   438161 |   374752 |     1884    326 |        0 |        0
320.24/320.42	c  320s |      18 |   441074 |   377252 |     1884    328 |        0 |        0
322.25/322.48	c  322s |      18 |   443524 |   379352 |     1884    329 |        0 |        0
324.35/324.50	c  324s |      18 |   446405 |   381852 |     1884    331 |        0 |        0
326.34/326.55	c  326s |      18 |   448936 |   384152 |     1884    333 |        0 |        0
328.34/328.56	c  328s |      18 |   451517 |   386352 |     1884    335 |        0 |        0
330.34/330.58	c  330s |      18 |   454124 |   388652 |     1884    336 |        0 |        0
332.43/332.64	c  332s |      18 |   456829 |   391052 |     1884    338 |        0 |        0
334.43/334.69	c  334s |      18 |   459205 |   393152 |     1884    340 |        0 |        0
336.54/336.76	c  336s |      18 |   462170 |   395752 |     1884    341 |        0 |        0
338.64/338.83	c  338s |      18 |   464503 |   397852 |     1884    343 |        0 |        0
340.63/340.89	c  340s |      18 |   467135 |   400152 |     1884    345 |        0 |        0
342.73/342.95	c  342s |      18 |   469745 |   402452 |     1884    346 |        0 |        0
344.73/344.98	c  344s |      18 |   472011 |   404452 |     1884    348 |        0 |        0
346.83/347.07	c  346s |      18 |   474564 |   406752 |     1884    350 |        0 |        0
348.93/349.18	c  349s |      18 |   476895 |   408852 |     1884    351 |        0 |        0
350.93/351.19	c  351s |      18 |   478938 |   410652 |     1884    352 |        0 |        0
353.03/353.26	c  353s |      18 |   481684 |   412852 |     1884    354 |        0 |        0
355.02/355.26	c  355s |      18 |   483947 |   414852 |     1884    356 |        0 |        0
357.02/357.27	c  357s |      18 |   486230 |   416852 |     1884    357 |        0 |        0
359.12/359.35	c  359s |      18 |   488560 |   418952 |     1884    359 |        0 |        0
361.22/361.41	c  361s |      18 |   490896 |   421052 |     1884    360 |        0 |        0
363.21/363.46	c  363s |      18 |   493225 |   423152 |     1884    362 |        0 |        0
365.31/365.50	c  365s |      18 |   495490 |   425152 |     1884    363 |        0 |        0
367.32/367.55	c  367s |      18 |   497712 |   427152 |     1884    365 |        0 |        0
369.42/369.62	c  369s |      18 |   500195 |   429352 |     1884    366 |        0 |        0
371.41/371.67	c  371s |      18 |   502443 |   431352 |     1884    368 |        0 |        0
373.51/373.72	c  373s |      18 |   505130 |   433752 |     1884    369 |        0 |        0
375.51/375.78	c  375s |      18 |   507478 |   435852 |     1884    371 |        0 |        0
377.61/377.84	c  377s |      18 |   509896 |   437952 |     1884    373 |        0 |        0
379.71/379.94	c  379s |      18 |   512360 |   440152 |     1884    374 |        0 |        0
381.80/382.03	c  381s |      18 |   514737 |   442252 |     2073    376 |        0 |        0
383.90/384.11	c  384s |      18 |   517242 |   444452 |     2073    377 |        0 |        0
383.90/384.15	c  384s |      19 |   517277 |   444482 |     2073    377 |        0 |        0
386.01/386.22	c  386s |      19 |   521143 |   447282 |     2073    379 |        0 |        0
388.00/388.29	c  388s |      19 |   523952 |   449782 |     2073    381 |        0 |        0
390.10/390.38	c  390s |      19 |   526265 |   451882 |     2073    382 |        0 |        0
392.10/392.39	c  392s |      19 |   529015 |   454282 |     2073    384 |        0 |        0
394.20/394.41	c  394s |      19 |   531579 |   456582 |     2073    386 |        0 |        0
396.20/396.43	c  396s |      19 |   534290 |   458882 |     2073    387 |        0 |        0
398.20/398.48	c  398s |      19 |   536861 |   461182 |     2073    389 |        0 |        0
400.20/400.49	c  400s |      19 |   539421 |   463482 |     2073    390 |        0 |        0
402.29/402.56	c  402s |      19 |   541799 |   465582 |     2073    392 |        0 |        0
404.39/404.61	c  404s |      19 |   543946 |   467482 |     2073    393 |        0 |        0
406.39/406.65	c  406s |      19 |   546433 |   469482 |     2073    394 |        0 |        0
408.59/408.82	c  408s |      19 |   548437 |   471182 |     2073    396 |        0 |        0
410.59/410.84	c  410s |      19 |   550973 |   473382 |     2073    397 |        0 |        0
412.69/412.92	c  412s |      19 |   553141 |   475282 |     2073    398 |        0 |        0
414.69/414.95	c  414s |      19 |   555394 |   477282 |     2073    400 |        0 |        0
416.69/416.99	c  416s |      19 |   557712 |   479382 |     2073    401 |        0 |        0
418.79/419.10	c  419s |      19 |   559975 |   481382 |     2073    403 |        0 |        0
420.89/421.12	c  421s |      19 |   562183 |   483382 |     2073    404 |        0 |        0
422.99/423.20	c  423s |      19 |   564520 |   485482 |     2073    405 |        0 |        0
424.99/425.22	c  425s |      19 |   567005 |   487682 |     2073    407 |        0 |        0
426.99/427.29	c  427s |      19 |   569307 |   489782 |     2073    408 |        0 |        0
429.09/429.37	c  429s |      19 |   571639 |   491882 |     2073    410 |        0 |        0
431.19/431.41	c  431s |      19 |   574361 |   494282 |     2073    411 |        0 |        0
433.20/433.48	c  433s |      19 |   576394 |   496182 |     2073    413 |        0 |        0
435.29/435.57	c  435s |      19 |   578748 |   498282 |     2073    414 |        0 |        0
437.39/437.61	c  437s |      19 |   581100 |   500382 |     2073    416 |        0 |        0
439.39/439.62	c  439s |      19 |   583280 |   502382 |     2073    417 |        0 |        0
441.39/441.65	c  441s |      19 |   585573 |   504482 |     2073    418 |        0 |        0
443.48/443.72	c  443s |      19 |   587780 |   506482 |     2073    420 |        0 |        0
445.48/445.77	c  445s |      19 |   590008 |   508482 |     2073    421 |        0 |        0
447.59/447.82	c  447s |      19 |   592389 |   510582 |     2073    422 |        0 |        0
449.58/449.86	c  449s |      19 |   594781 |   512682 |     2073    424 |        0 |        0
451.68/451.92	c  451s |      19 |   597277 |   514882 |     2073    425 |        0 |        0
453.68/453.97	c  453s |      19 |   599957 |   517282 |     2073    427 |        0 |        0
455.78/456.02	c  455s |      19 |   602607 |   519582 |     2073    429 |        0 |        0
457.78/458.09	c  458s |      19 |   605162 |   521782 |     2073    430 |        0 |        0
459.88/460.18	c  460s |      19 |   607270 |   523682 |     2073    431 |        0 |        0
461.97/462.29	c  462s |      19 |   609523 |   525682 |     2073    433 |        0 |        0
464.08/464.36	c  464s |      19 |   611838 |   527682 |     2073    434 |        0 |        0
466.07/466.38	c  466s |      19 |   614423 |   529982 |     2073    436 |        0 |        0
468.07/468.39	c  468s |      19 |   616741 |   532082 |     2073    437 |        0 |        0
470.17/470.45	c  470s |      19 |   618849 |   533982 |     2073    438 |        0 |        0
472.17/472.49	c  472s |      19 |   620833 |   535782 |     2073    440 |        0 |        0
474.27/474.58	c  474s |      19 |   623090 |   537782 |     2073    441 |        0 |        0
476.37/476.66	c  476s |      19 |   625053 |   539582 |     2073    442 |        0 |        0
478.47/478.73	c  478s |      19 |   627295 |   541582 |     2073    444 |        0 |        0
480.47/480.74	c  480s |      19 |   629618 |   543682 |     2073    445 |        0 |        0
482.56/482.83	c  482s |      19 |   632007 |   545782 |     2073    447 |        0 |        0
484.56/484.85	c  484s |      19 |   633976 |   547582 |     2073    448 |        0 |        0
486.66/486.95	c  486s |      19 |   635739 |   549182 |     2073    449 |        0 |        0
488.76/489.03	c  488s |      19 |   638397 |   551582 |     2073    451 |        0 |        0
490.76/491.09	c  491s |      19 |   640795 |   553782 |     2073    452 |        0 |        0
492.85/493.17	c  493s |      19 |   643072 |   555882 |     2073    453 |        0 |        0
494.95/495.20	c  495s |      19 |   645112 |   557682 |     2073    455 |        0 |        0
496.96/497.23	c  497s |      19 |   647105 |   559482 |     2073    456 |        0 |        0
498.95/499.29	c  499s |      19 |   649060 |   561282 |     2073    457 |        0 |        0
501.05/501.34	c  501s |      19 |   651024 |   563082 |     2073    458 |        0 |        0
503.05/503.35	c  503s |      19 |   653266 |   565082 |     2073    460 |        0 |        0
505.15/505.41	c  505s |      19 |   655352 |   566982 |     2073    461 |        0 |        0
507.15/507.44	c  507s |      19 |   657316 |   568782 |     2073    462 |        0 |        0
509.25/509.50	c  509s |      19 |   659322 |   570582 |     2073    464 |        0 |        0
511.25/511.52	c  511s |      19 |   661524 |   572582 |     2073    465 |        0 |        0
513.24/513.52	c  513s |      19 |   663727 |   574582 |     2073    466 |        0 |        0
515.24/515.59	c  515s |      19 |   665818 |   576482 |     2073    468 |        0 |        0
517.34/517.61	c  517s |      19 |   667735 |   578182 |     2073    469 |        0 |        0
519.34/519.62	c  519s |      19 |   670137 |   580382 |     2073    470 |        0 |        0
521.34/521.65	c  521s |      19 |   672361 |   582382 |     2073    472 |        0 |        0
523.44/523.71	c  523s |      19 |   674530 |   584382 |     2073    473 |        0 |        0
525.43/525.71	c  525s |      19 |   676601 |   586282 |     2073    474 |        0 |        0
527.43/527.72	c  527s |      19 |   678555 |   588082 |     2073    475 |        0 |        0
529.43/529.76	c  529s |      19 |   680524 |   589882 |     2073    477 |        0 |        0
531.43/531.76	c  531s |      19 |   682657 |   591782 |     2073    478 |        0 |        0
533.52/533.89	c  533s |      19 |   685110 |   593982 |     2073    480 |        0 |        0
535.62/535.97	c  535s |      19 |   687461 |   596082 |     2073    481 |        0 |        0
537.73/538.01	c  537s |      19 |   689686 |   598082 |     2073    482 |        0 |        0
539.72/540.09	c  540s |      19 |   691926 |   600082 |     2073    484 |        0 |        0
541.82/542.11	c  542s |      19 |   693934 |   601882 |     2073    485 |        0 |        0
543.92/544.22	c  544s |      19 |   696039 |   603782 |     2073    486 |        0 |        0
546.02/546.32	c  546s |      19 |   698258 |   605682 |     2073    488 |        0 |        0
548.02/548.33	c  548s |      19 |   700426 |   607582 |     2073    489 |        0 |        0
550.02/550.36	c  550s |      19 |   702410 |   609382 |     2073    490 |        0 |        0
552.12/552.46	c  552s |      19 |   704405 |   611182 |     2073    491 |        0 |        0
554.12/554.48	c  554s |      19 |   706322 |   612882 |     2073    492 |        0 |        0
556.21/556.56	c  556s |      19 |   708436 |   614782 |     2073    494 |        0 |        0
558.31/558.65	c  558s |      19 |   710246 |   616382 |     2073    495 |        0 |        0
560.31/560.67	c  560s |      19 |   712167 |   618082 |     2073    496 |        0 |        0
562.42/562.72	c  562s |      19 |   714684 |   620282 |     2073    498 |        0 |        0
564.42/564.74	c  564s |      19 |   717353 |   622582 |     2073    499 |        0 |        0
566.52/566.83	c  566s |      19 |   719733 |   624682 |     2073    501 |        0 |        0
568.53/568.88	c  568s |      19 |   721994 |   626682 |     2073    502 |        0 |        0
570.63/570.92	c  570s |      19 |   724064 |   628582 |     2073    503 |        0 |        0
572.62/572.95	c  572s |      19 |   726077 |   630382 |     2073    504 |        0 |        0
574.72/575.01	c  574s |      19 |   728551 |   632582 |     2073    506 |        0 |        0
576.72/577.02	c  576s |      19 |   731169 |   634882 |     2073    508 |        0 |        0
578.72/579.07	c  578s |      19 |   733768 |   637082 |     2073    509 |        0 |        0
580.71/581.08	c  581s |      19 |   736099 |   639182 |     2073    510 |        0 |        0
582.82/583.13	c  583s |      19 |   738343 |   641182 |     2073    512 |        0 |        0
584.92/585.22	c  585s |      19 |   740745 |   643282 |     2073    513 |        0 |        0
586.91/587.28	c  587s |      19 |   743099 |   645382 |     2073    515 |        0 |        0
589.01/589.31	c  589s |      19 |   745421 |   647482 |     2073    516 |        0 |        0
591.01/591.37	c  591s |      19 |   747444 |   649282 |     2073    517 |        0 |        0
593.10/593.42	c  593s |      19 |   749649 |   651282 |     2073    519 |        0 |        0
595.10/595.49	c  595s |      19 |   751849 |   653282 |     2073    520 |        0 |        0
597.20/597.56	c  597s |      19 |   753726 |   654982 |     2073    521 |        0 |        0
599.31/599.63	c  599s |      19 |   755922 |   656982 |     2073    523 |        0 |        0
601.41/601.71	c  601s |      19 |   757894 |   658782 |     2073    524 |        0 |        0
603.40/603.73	c  603s |      19 |   760015 |   660682 |     2073    525 |        0 |        0
605.50/605.85	c  605s |      19 |   762146 |   662582 |     2281    526 |        0 |        0
607.50/607.87	c  607s |      19 |   764076 |   664282 |     2281    527 |        0 |        0
609.50/609.89	c  609s |      19 |   766332 |   666282 |     2281    529 |        0 |        0
610.10/610.44	c  610s |      20 |   766929 |   666827 |     2281    529 |        0 |        0
612.19/612.50	c  612s |      20 |   770996 |   669827 |     2281    531 |        0 |        0
614.19/614.56	c  614s |      20 |   773685 |   672227 |     2281    533 |        0 |        0
616.19/616.57	c  616s |      20 |   775877 |   674227 |     2281    534 |        0 |        0
618.29/618.66	c  618s |      20 |   778038 |   676227 |     2281    535 |        0 |        0
620.29/620.66	c  620s |      20 |   779965 |   678027 |     2281    536 |        0 |        0
622.30/622.70	c  622s |      20 |   782904 |   680527 |     2281    538 |        0 |        0
624.39/624.74	c  624s |      20 |   785066 |   682527 |     2281    539 |        0 |        0
626.49/626.85	c  626s |      20 |   787003 |   684327 |     2281    540 |        0 |        0
628.59/628.94	c  628s |      20 |   788835 |   686027 |     2281    542 |        0 |        0
630.69/631.01	c  630s |      20 |   791245 |   688127 |     2281    543 |        0 |        0
632.69/633.04	c  632s |      20 |   793636 |   690227 |     2281    544 |        0 |        0
634.69/635.07	c  634s |      20 |   795846 |   692227 |     2281    545 |        0 |        0
636.79/637.12	c  637s |      20 |   798338 |   694427 |     2281    547 |        0 |        0
638.79/639.15	c  639s |      20 |   800588 |   696427 |     2281    548 |        0 |        0
640.78/641.18	c  641s |      20 |   802955 |   698527 |     2281    550 |        0 |        0
642.88/643.27	c  643s |      20 |   805527 |   700827 |     2281    551 |        0 |        0
644.98/645.30	c  645s |      20 |   807597 |   702727 |     2281    552 |        0 |        0
646.98/647.32	c  647s |      20 |   809969 |   704827 |     2281    554 |        0 |        0
648.98/649.39	c  649s |      20 |   812544 |   707127 |     2281    555 |        0 |        0
651.08/651.41	c  651s |      20 |   814853 |   709227 |     2281    556 |        0 |        0
653.08/653.46	c  653s |      20 |   817128 |   711227 |     2281    558 |        0 |        0
655.08/655.49	c  655s |      20 |   819246 |   713127 |     2281    559 |        0 |        0
657.18/657.52	c  657s |      20 |   821584 |   715227 |     2281    560 |        0 |        0
659.17/659.54	c  659s |      20 |   823782 |   717227 |     2281    561 |        0 |        0
661.17/661.57	c  661s |      20 |   825751 |   719027 |     2281    563 |        0 |        0
663.17/663.58	c  663s |      20 |   828317 |   721227 |     2281    564 |        0 |        0
665.28/665.68	c  665s |      20 |   830775 |   723427 |     2281    565 |        0 |        0
667.38/667.72	c  667s |      20 |   833008 |   725427 |     2281    567 |        0 |        0
669.37/669.79	c  669s |      20 |   835561 |   727727 |     2281    568 |        0 |        0
671.47/671.84	c  671s |      20 |   837766 |   729727 |     2281    569 |        0 |        0
673.46/673.86	c  673s |      20 |   840073 |   731827 |     2281    571 |        0 |        0
675.46/675.86	c  675s |      20 |   842117 |   733627 |     2281    572 |        0 |        0
677.56/677.96	c  677s |      20 |   844960 |   736127 |     2281    574 |        0 |        0
679.66/680.02	c  679s |      20 |   847529 |   738427 |     2281    575 |        0 |        0
681.66/682.02	c  681s |      20 |   849522 |   740227 |     2281    576 |        0 |        0
683.76/684.12	c  684s |      20 |   851645 |   742127 |     2281    577 |        0 |        0
685.75/686.16	c  686s |      20 |   853646 |   743927 |     2281    578 |        0 |        0
687.85/688.23	c  688s |      20 |   855680 |   745727 |     2281    580 |        0 |        0
689.95/690.34	c  690s |      20 |   858580 |   747927 |     2281    581 |        0 |        0
692.05/692.42	c  692s |      20 |   860619 |   749627 |     2281    582 |        0 |        0
694.05/694.42	c  694s |      20 |   862611 |   751327 |     2281    583 |        0 |        0
696.06/696.42	c  696s |      20 |   864511 |   752927 |     2281    584 |        0 |        0
698.05/698.48	c  698s |      20 |   866545 |   754627 |     2281    585 |        0 |        0
700.15/700.51	c  700s |      20 |   868711 |   756427 |     2281    586 |        0 |        0
702.25/702.62	c  702s |      20 |   870566 |   758027 |     2281    588 |        0 |        0
704.25/704.67	c  704s |      20 |   872235 |   759527 |     2281    588 |        0 |        0
706.35/706.77	c  706s |      20 |   874342 |   761327 |     2281    590 |        0 |        0
708.35/708.78	c  708s |      20 |   876408 |   763127 |     2281    591 |        0 |        0
710.45/710.88	c  710s |      20 |   878914 |   765227 |     2281    592 |        0 |        0
712.56/712.93	c  712s |      20 |   880808 |   766927 |     2281    593 |        0 |        0
714.55/714.99	c  714s |      20 |   883084 |   768927 |     2281    594 |        0 |        0
716.65/717.09	c  717s |      20 |   885439 |   770927 |     2281    596 |        0 |        0
718.75/719.12	c  719s |      20 |   887305 |   772627 |     2281    597 |        0 |        0
720.85/721.22	c  721s |      20 |   889440 |   774427 |     2281    598 |        0 |        0
722.85/723.29	c  723s |      20 |   891392 |   776127 |     2281    599 |        0 |        0
724.95/725.37	c  725s |      20 |   893795 |   778227 |     2281    600 |        0 |        0
726.95/727.39	c  727s |      20 |   895546 |   779727 |     2281    601 |        0 |        0
728.95/729.40	c  729s |      20 |   897227 |   781227 |     2281    602 |        0 |        0
731.05/731.45	c  731s |      20 |   899004 |   782727 |     2281    603 |        0 |        0
733.04/733.49	c  733s |      20 |   900660 |   784127 |     2281    604 |        0 |        0
735.14/735.53	c  735s |      20 |   902843 |   786027 |     2281    605 |        0 |        0
737.24/737.69	c  737s |      20 |   904898 |   787827 |     2281    607 |        0 |        0
739.34/739.78	c  739s |      20 |   906807 |   789427 |     2281    608 |        0 |        0
741.44/741.85	c  741s |      20 |   909467 |   791727 |     2281    609 |        0 |        0
743.54/743.91	c  743s |      20 |   911969 |   793927 |     2281    610 |        0 |        0
745.55/745.98	c  745s |      20 |   914343 |   796027 |     2281    612 |        0 |        0
747.65/748.04	c  747s |      20 |   916710 |   798027 |     2281    613 |        0 |        0
749.74/750.12	c  750s |      20 |   919213 |   800127 |     2281    614 |        0 |        0
751.74/752.13	c  752s |      20 |   921144 |   801827 |     2281    615 |        0 |        0
753.74/754.19	c  754s |      20 |   923863 |   804127 |     2281    617 |        0 |        0
755.84/756.30	c  756s |      20 |   926282 |   806227 |     2281    618 |        0 |        0
757.94/758.31	c  758s |      20 |   928325 |   808027 |     2281    619 |        0 |        0
759.94/760.34	c  760s |      20 |   930410 |   809827 |     2281    621 |        0 |        0
762.05/762.44	c  762s |      20 |   933001 |   812027 |     2281    622 |        0 |        0
764.05/764.48	c  764s |      20 |   935438 |   814127 |     2281    623 |        0 |        0
766.15/766.54	c  766s |      20 |   937675 |   816027 |     2281    625 |        0 |        0
768.15/768.59	c  768s |      20 |   939693 |   817827 |     2281    626 |        0 |        0
770.25/770.65	c  770s |      20 |   942303 |   820027 |     2281    627 |        0 |        0
772.35/772.78	c  772s |      20 |   944435 |   821927 |     2281    628 |        0 |        0
774.45/774.81	c  774s |      20 |   946539 |   823727 |     2281    629 |        0 |        0
776.55/776.93	c  776s |      20 |   948419 |   825427 |     2281    631 |        0 |        0
778.64/779.00	c  778s |      20 |   950305 |   827127 |     2281    632 |        0 |        0
780.65/781.01	c  780s |      20 |   952766 |   829227 |     2281    633 |        0 |        0
782.64/783.01	c  782s |      20 |   955315 |   831427 |     2281    634 |        0 |        0
784.64/785.08	c  785s |      20 |   957807 |   833527 |     2281    636 |        0 |        0
786.84/787.20	c  787s |      20 |   960079 |   835527 |     2281    637 |        0 |        0
788.84/789.21	c  789s |      20 |   962399 |   837527 |     2281    638 |        0 |        0
790.94/791.30	c  791s |      20 |   964977 |   839727 |     2281    640 |        0 |        0
792.94/793.32	c  793s |      20 |   967545 |   841927 |     2281    641 |        0 |        0
794.95/795.36	c  795s |      20 |   969931 |   844027 |     2281    642 |        0 |        0
796.94/797.37	c  797s |      20 |   972053 |   845927 |     2281    644 |        0 |        0
799.04/799.43	c  799s |      20 |   974453 |   848027 |     2281    645 |        0 |        0
801.04/801.46	c  801s |      20 |   976643 |   850027 |     2281    646 |        0 |        0
803.14/803.53	c  803s |      20 |   978766 |   851927 |     2281    647 |        0 |        0
805.14/805.53	c  805s |      20 |   981136 |   853927 |     2281    649 |        0 |        0
807.14/807.59	c  807s |      20 |   983396 |   855927 |     2281    650 |        0 |        0
809.24/809.65	c  809s |      20 |   985500 |   857827 |     2281    651 |        0 |        0
811.23/811.69	c  811s |      20 |   987473 |   859627 |     2281    652 |        0 |        0
813.33/813.77	c  813s |      20 |   989609 |   861527 |     2281    654 |        0 |        0
815.33/815.78	c  815s |      20 |   991735 |   863427 |     2281    655 |        0 |        0
817.33/817.79	c  817s |      20 |   993799 |   865227 |     2281    656 |        0 |        0
819.53/819.91	c  819s |      20 |   996038 |   867227 |     2281    657 |        0 |        0
821.53/821.96	c  821s |      20 |   998056 |   869027 |     2281    658 |        0 |        0
823.64/824.05	c  823s |      20 |  1000162 |   870927 |     2281    660 |        0 |        0
825.63/826.07	c  825s |      20 |  1002185 |   872727 |     2281    661 |        0 |        0
827.73/828.12	c  828s |      20 |  1004395 |   874727 |     2281    662 |        0 |        0
829.73/830.20	c  830s |      20 |  1006155 |   876327 |     2281    663 |        0 |        0
831.83/832.29	c  832s |      20 |  1008107 |   878027 |     2281    664 |        0 |        0
833.93/834.31	c  834s |      20 |  1009887 |   879627 |     2281    665 |        0 |        0
836.03/836.40	c  836s |      20 |  1011664 |   881227 |     2281    666 |        0 |        0
838.03/838.44	c  838s |      20 |  1013405 |   882727 |     2281    667 |        0 |        0
840.14/840.54	c  840s |      20 |  1015112 |   884227 |     2281    668 |        0 |        0
842.24/842.67	c  842s |      20 |  1016800 |   885727 |     2281    669 |        0 |        0
844.33/844.71	c  844s |      20 |  1018819 |   887527 |     2281    670 |        0 |        0
846.33/846.79	c  846s |      20 |  1021095 |   889527 |     2281    671 |        0 |        0
848.43/848.80	c  848s |      20 |  1023206 |   891427 |     2281    673 |        0 |        0
850.43/850.81	c  850s |      20 |  1025422 |   893427 |     2281    674 |        0 |        0
852.43/852.86	c  852s |      20 |  1027618 |   895427 |     2281    675 |        0 |        0
854.53/854.94	c  854s |      20 |  1029719 |   897327 |     2281    676 |        0 |        0
856.63/857.07	c  856s |      20 |  1031796 |   899227 |     2281    678 |        0 |        0
858.73/859.14	c  859s |      20 |  1033661 |   900927 |     2281    679 |        0 |        0
860.73/861.18	c  861s |      20 |  1035779 |   902827 |     2281    680 |        0 |        0
862.82/863.26	c  863s |      20 |  1037533 |   904427 |     2281    681 |        0 |        0
864.82/865.26	c  865s |      20 |  1039654 |   906327 |     2281    682 |        0 |        0
866.92/867.35	c  867s |      20 |  1041493 |   908027 |     2281    683 |        0 |        0
869.02/869.44	c  869s |      20 |  1043479 |   909827 |     2281    684 |        0 |        0
871.12/871.53	c  871s |      20 |  1045649 |   911827 |     2281    686 |        0 |        0
873.22/873.61	c  873s |      20 |  1047774 |   913727 |     2281    687 |        0 |        0
875.23/875.67	c  875s |      20 |  1049998 |   915727 |     2281    688 |        0 |        0
877.32/877.79	c  877s |      20 |  1052016 |   917527 |     2281    689 |        0 |        0
879.42/879.89	c  879s |      20 |  1053658 |   919027 |     2281    690 |        0 |        0
881.52/881.99	c  881s |      20 |  1055675 |   920827 |     2281    691 |        0 |        0
883.62/884.02	c  883s |      20 |  1057873 |   922727 |     2281    693 |        0 |        0
885.62/886.09	c  886s |      20 |  1060174 |   924727 |     2281    694 |        0 |        0
887.72/888.13	c  888s |      20 |  1062185 |   926527 |     2281    695 |        0 |        0
889.72/890.16	c  890s |      20 |  1064209 |   928327 |     2281    696 |        0 |        0
891.83/892.22	c  892s |      20 |  1066106 |   930027 |     2281    697 |        0 |        0
893.82/894.22	c  894s |      20 |  1067976 |   931727 |     2281    698 |        0 |        0
895.82/896.26	c  896s |      20 |  1069675 |   933227 |     2281    699 |        0 |        0
897.92/898.33	c  898s |      20 |  1072421 |   935627 |     2281    701 |        0 |        0
900.02/900.42	c  900s |      20 |  1075084 |   937927 |     2281    702 |        0 |        0
902.02/902.44	c  902s |      20 |  1077497 |   940027 |     2281    704 |        0 |        0
904.12/904.51	c  904s |      20 |  1080235 |   942227 |     2281    705 |        0 |        0
906.13/906.52	c  906s |      20 |  1082605 |   944227 |     2281    706 |        0 |        0
908.13/908.52	c  908s |      20 |  1084699 |   946027 |     2281    708 |        0 |        0
910.22/910.62	c  910s |      20 |  1087197 |   948127 |     2281    709 |        0 |        0
912.22/912.66	c  912s |      20 |  1089616 |   950227 |     2281    710 |        0 |        0
914.32/914.76	c  914s |      20 |  1091721 |   952127 |     2281    711 |        0 |        0
916.42/916.84	c  916s |      20 |  1094045 |   954127 |     2281    713 |        0 |        0
918.42/918.85	c  918s |      20 |  1096310 |   956027 |     2281    714 |        0 |        0
920.52/920.93	c  920s |      20 |  1098353 |   957827 |     2281    715 |        0 |        0
922.53/922.97	c  922s |      20 |  1100285 |   959527 |     2281    716 |        0 |        0
924.62/925.05	c  924s |      20 |  1102605 |   961527 |     2281    717 |        0 |        0
926.72/927.10	c  927s |      20 |  1104810 |   963427 |     2281    719 |        0 |        0
928.72/929.17	c  929s |      20 |  1107481 |   965727 |     2281    720 |        0 |        0
930.82/931.21	c  931s |      20 |  1110345 |   968127 |     2281    722 |        0 |        0
932.82/933.26	c  933s |      20 |  1112962 |   970327 |     2281    723 |        0 |        0
934.92/935.37	c  935s |      20 |  1115432 |   972427 |     2281    724 |        0 |        0
936.93/937.39	c  937s |      20 |  1118005 |   974627 |     2281    726 |        0 |        0
939.03/939.45	c  939s |      20 |  1120415 |   976827 |     2281    727 |        0 |        0
941.12/941.54	c  941s |      20 |  1122921 |   979027 |     2281    729 |        0 |        0
943.12/943.57	c  943s |      20 |  1125504 |   981327 |     2281    730 |        0 |        0
945.22/945.62	c  945s |      20 |  1127871 |   983427 |     2281    732 |        0 |        0
947.32/947.70	c  947s |      20 |  1130354 |   985627 |     2281    733 |        0 |        0
949.42/949.81	c  949s |      20 |  1132694 |   987727 |     2281    734 |        0 |        0
951.42/951.87	c  951s |      20 |  1135132 |   989827 |     2281    736 |        0 |        0
953.52/953.95	c  953s |      20 |  1137646 |   992027 |     2281    737 |        0 |        0
955.52/956.00	c  955s |      20 |  1139915 |   994027 |     2510    738 |        0 |        0
957.62/958.09	c  958s |      20 |  1141945 |   995827 |     2510    739 |        0 |        0
959.72/960.17	c  960s |      20 |  1143975 |   997627 |     2510    740 |        0 |        0
961.81/962.21	c  962s |      20 |  1146663 |   999727 |     2510    742 |        0 |        0
962.41/962.83	c  962s |      21 |  1147374 |  1000345 |     2510    742 |        0 |        0
964.51/964.93	c  964s |      21 |  1150577 |  1002745 |     2510    743 |        0 |        0
966.52/966.96	c  966s |      21 |  1152759 |  1004645 |     2510    745 |        0 |        0
968.61/969.05	c  968s |      21 |  1155247 |  1006845 |     2510    746 |        0 |        0
970.71/971.14	c  971s |      21 |  1157406 |  1008745 |     2510    747 |        0 |        0
972.81/973.23	c  973s |      21 |  1159372 |  1010545 |     2510    748 |        0 |        0
974.81/975.28	c  975s |      21 |  1161533 |  1012445 |     2510    749 |        0 |        0
976.91/977.33	c  977s |      21 |  1163852 |  1014445 |     2510    750 |        0 |        0
979.01/979.44	c  979s |      21 |  1166135 |  1016445 |     2510    752 |        0 |        0
981.01/981.45	c  981s |      21 |  1168454 |  1018445 |     2510    753 |        0 |        0
983.02/983.50	c  983s |      21 |  1170917 |  1020645 |     2510    754 |        0 |        0
985.11/985.50	c  985s |      21 |  1173053 |  1022545 |     2510    755 |        0 |        0
987.11/987.55	c  987s |      21 |  1175555 |  1024745 |     2510    756 |        0 |        0
989.11/989.57	c  989s |      21 |  1177670 |  1026645 |     2510    758 |        0 |        0
991.21/991.68	c  991s |      21 |  1179985 |  1028745 |     2510    759 |        0 |        0
993.31/993.72	c  993s |      21 |  1182484 |  1030845 |     2510    760 |        0 |        0
995.31/995.78	c  995s |      21 |  1184855 |  1032945 |     2510    761 |        0 |        0
997.42/997.89	c  997s |      21 |  1187258 |  1035045 |     2510    763 |        0 |        0
999.52/999.94	c  999s |      21 |  1189491 |  1037045 |     2510    764 |        0 |        0
1001.51/1001.97	c 1001s |      21 |  1191600 |  1038945 |     2510    765 |        0 |        0
1003.51/1003.98	c 1003s |      21 |  1193696 |  1040845 |     2510    766 |        0 |        0
1005.61/1006.04	c 1005s |      21 |  1196083 |  1042945 |     2510    767 |        0 |        0
1007.61/1008.07	c 1007s |      21 |  1198151 |  1044845 |     2510    768 |        0 |        0
1009.60/1010.09	c 1010s |      21 |  1200522 |  1046945 |     2510    770 |        0 |        0
1011.71/1012.16	c 1012s |      21 |  1202635 |  1048845 |     2510    771 |        0 |        0
1013.70/1014.18	c 1014s |      21 |  1205048 |  1050945 |     2510    772 |        0 |        0
1015.80/1016.22	c 1016s |      21 |  1206947 |  1052645 |     2510    773 |        0 |        0
1017.80/1018.27	c 1018s |      21 |  1209300 |  1054745 |     2510    774 |        0 |        0
1019.90/1020.31	c 1020s |      21 |  1211349 |  1056645 |     2510    775 |        0 |        0
1022.00/1022.40	c 1022s |      21 |  1213234 |  1058345 |     2510    776 |        0 |        0
1024.00/1024.47	c 1024s |      21 |  1215152 |  1060045 |     2510    777 |        0 |        0
1026.10/1026.53	c 1026s |      21 |  1217636 |  1062245 |     2510    779 |        0 |        0
1028.11/1028.54	c 1028s |      21 |  1219599 |  1064045 |     2510    780 |        0 |        0
1030.10/1030.58	c 1030s |      21 |  1221885 |  1066045 |     2510    781 |        0 |        0
1032.20/1032.65	c 1032s |      21 |  1224004 |  1067945 |     2510    782 |        0 |        0
1034.30/1034.71	c 1034s |      21 |  1225962 |  1069745 |     2510    783 |        0 |        0
1036.30/1036.76	c 1036s |      21 |  1228313 |  1071845 |     2510    784 |        0 |        0
1038.40/1038.82	c 1038s |      21 |  1230654 |  1073945 |     2510    786 |        0 |        0
1040.40/1040.86	c 1040s |      21 |  1232744 |  1075845 |     2510    787 |        0 |        0
1042.51/1042.96	c 1042s |      21 |  1234862 |  1077745 |     2510    788 |        0 |        0
1044.61/1045.08	c 1045s |      21 |  1236919 |  1079645 |     2510    789 |        0 |        0
1046.70/1047.15	c 1047s |      21 |  1239459 |  1081845 |     2510    790 |        0 |        0
1048.80/1049.29	c 1049s |      21 |  1241544 |  1083745 |     2510    792 |        0 |        0
1050.90/1051.35	c 1051s |      21 |  1243612 |  1085645 |     2510    793 |        0 |        0
1052.89/1053.37	c 1053s |      21 |  1245702 |  1087545 |     2510    794 |        0 |        0
1054.99/1055.42	c 1055s |      21 |  1248056 |  1089645 |     2510    795 |        0 |        0
1057.09/1057.50	c 1057s |      21 |  1250334 |  1091745 |     2510    796 |        0 |        0
1059.09/1059.59	c 1059s |      21 |  1252568 |  1093745 |     2510    797 |        0 |        0
1061.20/1061.63	c 1061s |      21 |  1254812 |  1095745 |     2510    799 |        0 |        0
1063.19/1063.65	c 1063s |      21 |  1257186 |  1097845 |     2510    800 |        0 |        0
1065.19/1065.67	c 1065s |      21 |  1259171 |  1099645 |     2510    801 |        0 |        0
1067.29/1067.71	c 1067s |      21 |  1261514 |  1101745 |     2510    802 |        0 |        0
1069.29/1069.75	c 1069s |      21 |  1263714 |  1103645 |     2510    803 |        0 |        0
1071.39/1071.83	c 1071s |      21 |  1265736 |  1105445 |     2510    804 |        0 |        0
1073.39/1073.85	c 1073s |      21 |  1267688 |  1107245 |     2510    806 |        0 |        0
1075.50/1075.93	c 1075s |      21 |  1270374 |  1109545 |     2510    807 |        0 |        0
1077.49/1077.96	c 1077s |      21 |  1272351 |  1111345 |     2510    808 |        0 |        0
1079.49/1079.98	c 1079s |      21 |  1274322 |  1113045 |     2510    809 |        0 |        0
1081.59/1082.00	c 1081s |      21 |  1276300 |  1114845 |     2510    810 |        0 |        0
1083.59/1084.05	c 1083s |      21 |  1278391 |  1116745 |     2510    811 |        0 |        0
1085.69/1086.13	c 1086s |      21 |  1280247 |  1118445 |     2510    812 |        0 |        0
1087.70/1088.19	c 1088s |      21 |  1282083 |  1120145 |     2510    813 |        0 |        0
1089.90/1090.30	c 1090s |      21 |  1283841 |  1121745 |     2510    814 |        0 |        0
1091.91/1092.33	c 1092s |      21 |  1286338 |  1123545 |     2510    815 |        0 |        0
1093.90/1094.36	c 1094s |      21 |  1288709 |  1125445 |     2510    816 |        0 |        0
1096.00/1096.42	c 1096s |      21 |  1290686 |  1127145 |     2510    817 |        0 |        0
1098.10/1098.52	c 1098s |      21 |  1292788 |  1128945 |     2510    818 |        0 |        0
1100.20/1100.61	c 1100s |      21 |  1294960 |  1130845 |     2510    820 |        0 |        0
1102.30/1102.70	c 1102s |      21 |  1297314 |  1132845 |     2510    821 |        0 |        0
1104.30/1104.74	c 1104s |      21 |  1299620 |  1134845 |     2510    822 |        0 |        0
1106.40/1106.83	c 1106s |      21 |  1301788 |  1136745 |     2510    823 |        0 |        0
1108.50/1108.91	c 1108s |      21 |  1303810 |  1138545 |     2510    824 |        0 |        0
1110.50/1110.95	c 1110s |      21 |  1305701 |  1140245 |     2510    825 |        0 |        0
1112.49/1113.00	c 1112s |      21 |  1307807 |  1142045 |     2510    826 |        0 |        0
1114.59/1115.07	c 1114s |      21 |  1309873 |  1143845 |     2510    827 |        0 |        0
1116.59/1117.07	c 1116s |      21 |  1311555 |  1145345 |     2510    828 |        0 |        0
1118.69/1119.11	c 1119s |      21 |  1313316 |  1146945 |     2510    829 |        0 |        0
1120.69/1121.18	c 1121s |      21 |  1315113 |  1148545 |     2510    830 |        0 |        0
1122.80/1123.24	c 1123s |      21 |  1317123 |  1150245 |     2510    831 |        0 |        0
1124.90/1125.32	c 1125s |      21 |  1319399 |  1152245 |     2510    832 |        0 |        0
1126.89/1127.33	c 1127s |      21 |  1321481 |  1154045 |     2510    833 |        0 |        0
1128.89/1129.35	c 1129s |      21 |  1323286 |  1155645 |     2510    834 |        0 |        0
1130.99/1131.42	c 1131s |      21 |  1325271 |  1157445 |     2510    835 |        0 |        0
1132.99/1133.49	c 1133s |      21 |  1327104 |  1159045 |     2510    836 |        0 |        0
1135.09/1135.58	c 1135s |      21 |  1329334 |  1160945 |     2510    838 |        0 |        0
1137.10/1137.59	c 1137s |      21 |  1331615 |  1162945 |     2510    839 |        0 |        0
1139.20/1139.65	c 1139s |      21 |  1333841 |  1164945 |     2510    840 |        0 |        0
1141.29/1141.72	c 1141s |      21 |  1335873 |  1166745 |     2510    841 |        0 |        0
1143.39/1143.80	c 1143s |      21 |  1338014 |  1168645 |     2510    842 |        0 |        0
1145.39/1145.82	c 1145s |      21 |  1340130 |  1170545 |     2510    843 |        0 |        0
1147.39/1147.87	c 1147s |      21 |  1341989 |  1172245 |     2510    844 |        0 |        0
1149.49/1149.97	c 1149s |      21 |  1344205 |  1174145 |     2510    845 |        0 |        0
1151.49/1151.97	c 1151s |      21 |  1346534 |  1176045 |     2510    847 |        0 |        0
1153.59/1154.05	c 1153s |      21 |  1348514 |  1177845 |     2510    848 |        0 |        0
1155.69/1156.14	c 1156s |      21 |  1350661 |  1179645 |     2510    849 |        0 |        0
1157.79/1158.21	c 1158s |      21 |  1353129 |  1181545 |     2510    850 |        0 |        0
1159.88/1160.31	c 1160s |      21 |  1355116 |  1183245 |     2510    851 |        0 |        0
1161.98/1162.40	c 1162s |      21 |  1357505 |  1185245 |     2510    852 |        0 |        0
1163.98/1164.44	c 1164s |      21 |  1360000 |  1187245 |     2510    853 |        0 |        0
1166.08/1166.52	c 1166s |      21 |  1362030 |  1189045 |     2510    854 |        0 |        0
1168.08/1168.56	c 1168s |      21 |  1364037 |  1190745 |     2510    855 |        0 |        0
1170.18/1170.63	c 1170s |      21 |  1366205 |  1192545 |     2510    856 |        0 |        0
1172.19/1172.69	c 1172s |      21 |  1368619 |  1194445 |     2510    858 |        0 |        0
1174.28/1174.75	c 1174s |      21 |  1370668 |  1196245 |     2510    859 |        0 |        0
1176.38/1176.85	c 1176s |      21 |  1372503 |  1197845 |     2510    860 |        0 |        0
1178.38/1178.85	c 1178s |      21 |  1374787 |  1199845 |     2510    861 |        0 |        0
1180.48/1180.94	c 1180s |      21 |  1376878 |  1201645 |     2510    862 |        0 |        0
1182.58/1183.00	c 1182s |      21 |  1378952 |  1203445 |     2510    863 |        0 |        0
1184.58/1185.03	c 1184s |      21 |  1380733 |  1205045 |     2510    864 |        0 |        0
1186.59/1187.05	c 1186s |      21 |  1382782 |  1206845 |     2510    865 |        0 |        0
1188.58/1189.10	c 1189s |      21 |  1384752 |  1208545 |     2510    866 |        0 |        0
1190.68/1191.17	c 1191s |      21 |  1386700 |  1210245 |     2510    867 |        0 |        0
1192.78/1193.28	c 1193s |      21 |  1388732 |  1212045 |     2510    868 |        0 |        0
1194.88/1195.34	c 1195s |      21 |  1391000 |  1214045 |     2510    869 |        0 |        0
1196.98/1197.42	c 1197s |      21 |  1392867 |  1215745 |     2510    870 |        0 |        0
1198.98/1199.49	c 1199s |      21 |  1395054 |  1217645 |     2510    871 |        0 |        0
1201.08/1201.59	c 1201s |      21 |  1396850 |  1219245 |     2510    872 |        0 |        0
1203.08/1203.59	c 1203s |      21 |  1398517 |  1220745 |     2510    873 |        0 |        0
1205.18/1205.69	c 1205s |      21 |  1400606 |  1222545 |     2510    874 |        0 |        0
1207.28/1207.70	c 1207s |      21 |  1402408 |  1224145 |     2510    875 |        0 |        0
1209.28/1209.78	c 1209s |      21 |  1404513 |  1225945 |     2510    876 |        0 |        0
1211.47/1211.91	c 1211s |      21 |  1406406 |  1227645 |     2510    877 |        0 |        0
1213.47/1213.99	c 1213s |      21 |  1408318 |  1229345 |     2510    878 |        0 |        0
1215.57/1216.08	c 1216s |      21 |  1410280 |  1231045 |     2510    879 |        0 |        0
1217.67/1218.11	c 1218s |      21 |  1412574 |  1232945 |     2510    880 |        0 |        0
1219.67/1220.14	c 1220s |      21 |  1414735 |  1234745 |     2510    882 |        0 |        0
1221.68/1222.14	c 1222s |      21 |  1417118 |  1236645 |     2510    883 |        0 |        0
1223.67/1224.16	c 1224s |      21 |  1419094 |  1238345 |     2510    884 |        0 |        0
1225.77/1226.21	c 1226s |      21 |  1421049 |  1240045 |     2510    885 |        0 |        0
1227.77/1228.21	c 1228s |      21 |  1423449 |  1241845 |     2510    886 |        0 |        0
1229.77/1230.26	c 1230s |      21 |  1425208 |  1243345 |     2510    887 |        0 |        0
1231.87/1232.30	c 1232s |      21 |  1427307 |  1245045 |     2510    888 |        0 |        0
1233.97/1234.40	c 1234s |      21 |  1429829 |  1247245 |     2510    889 |        0 |        0
1235.98/1236.50	c 1236s |      21 |  1432009 |  1249145 |     2510    890 |        0 |        0
1238.07/1238.51	c 1238s |      21 |  1433787 |  1250745 |     2510    891 |        0 |        0
1240.07/1240.53	c 1240s |      21 |  1435827 |  1252545 |     2510    892 |        0 |        0
1242.07/1242.58	c 1242s |      21 |  1437888 |  1254345 |     2510    893 |        0 |        0
1244.17/1244.60	c 1244s |      21 |  1439768 |  1256045 |     2510    894 |        0 |        0
1246.27/1246.72	c 1246s |      21 |  1441626 |  1257745 |     2510    895 |        0 |        0
1248.27/1248.78	c 1248s |      21 |  1443142 |  1259145 |     2510    896 |        0 |        0
1250.27/1250.79	c 1250s |      21 |  1445269 |  1261045 |     2510    897 |        0 |        0
1252.37/1252.89	c 1252s |      21 |  1447416 |  1262945 |     2510    898 |        0 |        0
1254.47/1254.93	c 1254s |      21 |  1449402 |  1264745 |     2510    899 |        0 |        0
1256.57/1257.02	c 1256s |      21 |  1451412 |  1266545 |     2510    900 |        0 |        0
1258.57/1259.03	c 1258s |      21 |  1453168 |  1268145 |     2510    901 |        0 |        0
1260.67/1261.11	c 1261s |      21 |  1455158 |  1269945 |     2510    902 |        0 |        0
1262.67/1263.17	c 1263s |      21 |  1456918 |  1271545 |     2510    903 |        0 |        0
1264.67/1265.18	c 1265s |      21 |  1458788 |  1273245 |     2510    904 |        0 |        0
1266.77/1267.22	c 1267s |      21 |  1460543 |  1274845 |     2510    905 |        0 |        0
1268.76/1269.28	c 1269s |      21 |  1462279 |  1276445 |     2510    906 |        0 |        0
1270.76/1271.28	c 1271s |      21 |  1463810 |  1277845 |     2510    907 |        0 |        0
1272.86/1273.37	c 1273s |      21 |  1465387 |  1279245 |     2510    908 |        0 |        0
1274.86/1275.38	c 1275s |      21 |  1467190 |  1280845 |     2510    909 |        0 |        0
1276.96/1277.45	c 1277s |      21 |  1469257 |  1282645 |     2510    910 |        0 |        0
1279.06/1279.52	c 1279s |      21 |  1471157 |  1284345 |     2510    911 |        0 |        0
1281.17/1281.63	c 1281s |      21 |  1472945 |  1285945 |     2510    912 |        0 |        0
1283.16/1283.67	c 1283s |      21 |  1474692 |  1287545 |     2510    913 |        0 |        0
1285.26/1285.79	c 1285s |      21 |  1476580 |  1289245 |     2510    914 |        0 |        0
1287.36/1287.84	c 1287s |      21 |  1478221 |  1290745 |     2510    915 |        0 |        0
1289.36/1289.85	c 1289s |      21 |  1479847 |  1292245 |     2510    916 |        0 |        0
1291.36/1291.87	c 1291s |      21 |  1481518 |  1293745 |     2510    917 |        0 |        0
1293.46/1293.94	c 1293s |      21 |  1483759 |  1295745 |     2510    918 |        0 |        0
1295.56/1296.00	c 1295s |      21 |  1485818 |  1297545 |     2510    919 |        0 |        0
1297.57/1298.04	c 1297s |      21 |  1488081 |  1299545 |     2510    920 |        0 |        0
1299.66/1300.10	c 1300s |      21 |  1490518 |  1301645 |     2510    921 |        0 |        0
1301.76/1302.23	c 1302s |      21 |  1492790 |  1303645 |     2510    923 |        0 |        0
1303.86/1304.30	c 1304s |      21 |  1495001 |  1305545 |     2510    924 |        0 |        0
1305.86/1306.34	c 1306s |      21 |  1497060 |  1307345 |     2510    925 |        0 |        0
1307.86/1308.39	c 1308s |      21 |  1498828 |  1308945 |     2510    926 |        0 |        0
1309.96/1310.41	c 1310s |      21 |  1500450 |  1310445 |     2510    927 |        0 |        0
1311.96/1312.46	c 1312s |      21 |  1502538 |  1312245 |     2510    928 |        0 |        0
1313.96/1314.46	c 1314s |      21 |  1504488 |  1313945 |     2510    929 |        0 |        0
1316.06/1316.53	c 1316s |      21 |  1506285 |  1315545 |     2510    930 |        0 |        0
1318.16/1318.62	c 1318s |      21 |  1508026 |  1317145 |     2510    931 |        0 |        0
1320.16/1320.63	c 1320s |      21 |  1509665 |  1318645 |     2510    931 |        0 |        0
1322.16/1322.69	c 1322s |      21 |  1511321 |  1320145 |     2510    932 |        0 |        0
1324.26/1324.70	c 1324s |      21 |  1512933 |  1321545 |     2510    933 |        0 |        0
1326.36/1326.80	c 1326s |      21 |  1514497 |  1322845 |     2510    934 |        0 |        0
1328.36/1328.84	c 1328s |      21 |  1516955 |  1324945 |     2510    935 |        0 |        0
1330.45/1330.92	c 1330s |      21 |  1519202 |  1326945 |     2510    936 |        0 |        0
1332.55/1333.01	c 1332s |      21 |  1521269 |  1328745 |     2510    937 |        0 |        0
1334.65/1335.10	c 1335s |      21 |  1523465 |  1330645 |     2510    939 |        0 |        0
1336.65/1337.12	c 1337s |      21 |  1525493 |  1332345 |     2510    940 |        0 |        0
1338.65/1339.16	c 1339s |      21 |  1527218 |  1333845 |     2510    941 |        0 |        0
1340.75/1341.22	c 1341s |      21 |  1529193 |  1335545 |     2510    942 |        0 |        0
1342.76/1343.28	c 1343s |      21 |  1530900 |  1337045 |     2510    942 |        0 |        0
1344.86/1345.31	c 1345s |      21 |  1533700 |  1339245 |     2510    944 |        0 |        0
1346.85/1347.38	c 1347s |      21 |  1535898 |  1341145 |     2510    945 |        0 |        0
1348.95/1349.49	c 1349s |      21 |  1537805 |  1342845 |     2510    946 |        0 |        0
1351.05/1351.50	c 1351s |      21 |  1539607 |  1344445 |     2510    947 |        0 |        0
1353.05/1353.52	c 1353s |      21 |  1541939 |  1346445 |     2510    948 |        0 |        0
1355.05/1355.53	c 1355s |      21 |  1543971 |  1348245 |     2510    949 |        0 |        0
1357.15/1357.61	c 1357s |      21 |  1545969 |  1350045 |     2510    950 |        0 |        0
1359.26/1359.71	c 1359s |      21 |  1548245 |  1351945 |     2510    951 |        0 |        0
1361.25/1361.78	c 1361s |      21 |  1550285 |  1353745 |     2510    952 |        0 |        0
1363.35/1363.85	c 1363s |      21 |  1552067 |  1355345 |     2510    953 |        0 |        0
1365.35/1365.89	c 1365s |      21 |  1554829 |  1357545 |     2510    955 |        0 |        0
1367.45/1367.90	c 1367s |      21 |  1557282 |  1359545 |     2510    956 |        0 |        0
1369.45/1369.97	c 1369s |      21 |  1559139 |  1361145 |     2510    957 |        0 |        0
1371.55/1372.04	c 1371s |      21 |  1561324 |  1363045 |     2510    958 |        0 |        0
1373.56/1374.06	c 1373s |      21 |  1563411 |  1364845 |     2510    959 |        0 |        0
1375.55/1376.06	c 1375s |      21 |  1565199 |  1366445 |     2510    960 |        0 |        0
1377.65/1378.17	c 1378s |      21 |  1566800 |  1367945 |     2510    961 |        0 |        0
1379.65/1380.18	c 1380s |      21 |  1569444 |  1370145 |     2510    962 |        0 |        0
1381.75/1382.21	c 1382s |      21 |  1571758 |  1372045 |     2510    963 |        0 |        0
1383.75/1384.24	c 1384s |      21 |  1573908 |  1373845 |     2510    964 |        0 |        0
1385.84/1386.33	c 1386s |      21 |  1576121 |  1375745 |     2510    966 |        0 |        0
1387.85/1388.38	c 1388s |      21 |  1578060 |  1377445 |     2510    967 |        0 |        0
1389.95/1390.48	c 1390s |      21 |  1580459 |  1379545 |     2510    968 |        0 |        0
1392.04/1392.55	c 1392s |      21 |  1582450 |  1381345 |     2510    969 |        0 |        0
1394.04/1394.57	c 1394s |      21 |  1584334 |  1383045 |     2510    970 |        0 |        0
1396.14/1396.63	c 1396s |      21 |  1586324 |  1384845 |     2510    971 |        0 |        0
1398.14/1398.68	c 1398s |      21 |  1588492 |  1386745 |     2510    972 |        0 |        0
1400.25/1400.72	c 1400s |      21 |  1590451 |  1388445 |     2510    973 |        0 |        0
1402.25/1402.73	c 1402s |      21 |  1592438 |  1390145 |     2510    974 |        0 |        0
1404.26/1404.79	c 1404s |      21 |  1594560 |  1391945 |     2510    975 |        0 |        0
1406.35/1406.89	c 1406s |      21 |  1596457 |  1393645 |     2510    976 |        0 |        0
1408.45/1408.97	c 1408s |      21 |  1598508 |  1395445 |     2510    977 |        0 |        0
1410.55/1411.01	c 1410s |      21 |  1600386 |  1397145 |     2510    978 |        0 |        0
1412.65/1413.14	c 1413s |      21 |  1602628 |  1399145 |     2510    980 |        0 |        0
1414.75/1415.25	c 1415s |      21 |  1604829 |  1401045 |     2510    981 |        0 |        0
1416.75/1417.25	c 1417s |      21 |  1606464 |  1402545 |     2510    982 |        0 |        0
1418.85/1419.32	c 1419s |      21 |  1608621 |  1404445 |     2510    983 |        0 |        0
1420.95/1421.42	c 1421s |      21 |  1610521 |  1406145 |     2510    984 |        0 |        0
1422.95/1423.46	c 1423s |      21 |  1612573 |  1407945 |     2510    985 |        0 |        0
1425.05/1425.51	c 1425s |      21 |  1614620 |  1409745 |     2510    986 |        0 |        0
1427.05/1427.59	c 1427s |      21 |  1616546 |  1411445 |     2510    987 |        0 |        0
1429.14/1429.63	c 1429s |      21 |  1618491 |  1413145 |     2510    988 |        0 |        0
1431.14/1431.67	c 1431s |      21 |  1620195 |  1414645 |     2510    989 |        0 |        0
1433.14/1433.69	c 1433s |      21 |  1622660 |  1416745 |     2510    990 |        0 |        0
1435.24/1435.73	c 1435s |      21 |  1624617 |  1418445 |     2510    991 |        0 |        0
1437.35/1437.81	c 1437s |      21 |  1627019 |  1420545 |     2510    992 |        0 |        0
1439.45/1439.93	c 1439s |      21 |  1629419 |  1422645 |     2510    994 |        0 |        0
1441.54/1442.00	c 1441s |      21 |  1631740 |  1424645 |     2510    995 |        0 |        0
1443.54/1444.01	c 1443s |      21 |  1633920 |  1426345 |     2510    996 |        0 |        0
1445.54/1446.07	c 1445s |      21 |  1636017 |  1428145 |     2510    997 |        0 |        0
1447.54/1448.09	c 1448s |      21 |  1637974 |  1429845 |     2510    998 |        0 |        0
1449.64/1450.14	c 1450s |      21 |  1639765 |  1431445 |     2510    999 |        0 |        0
1451.65/1452.15	c 1452s |      21 |  1641613 |  1433045 |     2510   1000 |        0 |        0
1453.75/1454.21	c 1454s |      21 |  1643518 |  1434745 |     2510   1001 |        0 |        0
1455.84/1456.31	c 1456s |      21 |  1645329 |  1436345 |     2510   1002 |        0 |        0
1457.84/1458.36	c 1458s |      21 |  1647026 |  1437845 |     2510   1003 |        0 |        0
1459.84/1460.39	c 1460s |      21 |  1649176 |  1439745 |     2510   1004 |        0 |        0
1461.94/1462.46	c 1462s |      21 |  1650818 |  1441245 |     2510   1005 |        0 |        0
1464.04/1464.51	c 1464s |      21 |  1652336 |  1442645 |     2510   1005 |        0 |        0
1466.04/1466.58	c 1466s |      21 |  1653988 |  1444145 |     2510   1006 |        0 |        0
1468.14/1468.67	c 1468s |      21 |  1655596 |  1445645 |     2510   1007 |        0 |        0
1470.24/1470.73	c 1470s |      21 |  1657247 |  1447145 |     2510   1008 |        0 |        0
1472.24/1472.78	c 1472s |      21 |  1658849 |  1448645 |     2510   1009 |        0 |        0
1474.34/1474.80	c 1474s |      21 |  1660618 |  1450245 |     2510   1010 |        0 |        0
1476.44/1476.97	c 1476s |      21 |  1662131 |  1451645 |     2510   1011 |        0 |        0
1478.54/1479.06	c 1478s |      21 |  1663954 |  1453245 |     2510   1012 |        0 |        0
1480.63/1481.17	c 1481s |      21 |  1665612 |  1454745 |     2510   1013 |        0 |        0
1482.83/1483.30	c 1483s |      21 |  1667376 |  1456345 |     2510   1014 |        0 |        0
1484.83/1485.30	c 1485s |      21 |  1669511 |  1458245 |     2510   1015 |        0 |        0
1486.84/1487.33	c 1487s |      21 |  1671494 |  1460045 |     2510   1016 |        0 |        0
1488.83/1489.37	c 1489s |      21 |  1673464 |  1461845 |     2510   1017 |        0 |        0
1490.83/1491.39	c 1491s |      21 |  1675343 |  1463545 |     2510   1018 |        0 |        0
1492.93/1493.45	c 1493s |      21 |  1677046 |  1465145 |     2510   1019 |        0 |        0
1495.03/1495.54	c 1495s |      21 |  1679378 |  1467145 |     2510   1020 |        0 |        0
1497.13/1497.60	c 1497s |      21 |  1681214 |  1468845 |     2510   1021 |        0 |        0
1499.13/1499.63	c 1499s |      21 |  1682906 |  1470345 |     2510   1022 |        0 |        0
1501.14/1501.64	c 1501s |      21 |  1685079 |  1472145 |     2510   1023 |        0 |        0
1503.24/1503.72	c 1503s |      21 |  1686851 |  1473745 |     2510   1024 |        0 |        0
1505.33/1505.80	c 1505s |      21 |  1688789 |  1475445 |     2510   1025 |        0 |        0
1507.33/1507.89	c 1507s |      21 |  1690722 |  1477145 |     2510   1026 |        0 |        0
1509.43/1509.90	c 1509s |      21 |  1692625 |  1478845 |     2510   1027 |        0 |        0
1511.43/1511.94	c 1511s |      21 |  1694204 |  1480245 |     2510   1028 |        0 |        0
1513.53/1514.01	c 1513s |      21 |  1696474 |  1482245 |     2510   1029 |        0 |        0
1515.53/1516.01	c 1515s |      21 |  1698393 |  1483945 |     2510   1030 |        0 |        0
1517.63/1518.12	c 1518s |      21 |  1699811 |  1485245 |     2510   1031 |        0 |        0
1519.63/1520.17	c 1520s |      21 |  1702123 |  1487245 |     2510   1032 |        0 |        0
1521.72/1522.23	c 1522s |      21 |  1704184 |  1489045 |     2510   1033 |        0 |        0
1523.72/1524.28	c 1524s |      21 |  1706081 |  1490745 |     2761   1034 |        0 |        0
1525.82/1526.39	c 1526s |      21 |  1707972 |  1492445 |     2761   1035 |        0 |        0
1527.82/1528.39	c 1528s |      21 |  1709829 |  1494145 |     2761   1036 |        0 |        0
1529.92/1530.48	c 1530s |      21 |  1711824 |  1495945 |     2761   1037 |        0 |        0
1532.02/1532.56	c 1532s |      21 |  1713724 |  1497645 |     2761   1038 |        0 |        0
1534.13/1534.64	c 1534s |      21 |  1715615 |  1499345 |     2761   1039 |        0 |        0
1535.72/1536.25	c 1536s |      22 |  1716996 |  1500622 |     2761   1039 |        0 |        0
1537.82/1538.31	c 1538s |      22 |  1720386 |  1503222 |     2761   1041 |        0 |        0
1539.82/1540.31	c 1540s |      22 |  1722880 |  1505422 |     2761   1042 |        0 |        0
1541.83/1542.39	c 1542s |      22 |  1725210 |  1507522 |     2761   1043 |        0 |        0
1543.82/1544.40	c 1544s |      22 |  1727346 |  1509422 |     2761   1044 |        0 |        0
1545.93/1546.43	c 1546s |      22 |  1729446 |  1511322 |     2761   1045 |        0 |        0
1548.03/1548.58	c 1548s |      22 |  1731644 |  1513322 |     2761   1047 |        0 |        0
1550.13/1550.62	c 1550s |      22 |  1734095 |  1515522 |     2761   1048 |        0 |        0
1552.13/1552.67	c 1552s |      22 |  1736166 |  1517422 |     2761   1049 |        0 |        0
1554.13/1554.68	c 1554s |      22 |  1738572 |  1519522 |     2761   1050 |        0 |        0
1556.23/1556.77	c 1556s |      22 |  1740819 |  1521522 |     2761   1051 |        0 |        0
1558.23/1558.80	c 1558s |      22 |  1742928 |  1523422 |     2761   1052 |        0 |        0
1560.33/1560.81	c 1560s |      22 |  1745122 |  1525322 |     2761   1053 |        0 |        0
1562.33/1562.84	c 1562s |      22 |  1747142 |  1527122 |     2761   1054 |        0 |        0
1564.43/1564.91	c 1564s |      22 |  1749065 |  1528822 |     2761   1055 |        0 |        0
1566.43/1566.97	c 1566s |      22 |  1751211 |  1530722 |     2761   1056 |        0 |        0
1568.53/1569.08	c 1568s |      22 |  1753072 |  1532422 |     2761   1057 |        0 |        0
1570.52/1571.09	c 1571s |      22 |  1755284 |  1534322 |     2761   1058 |        0 |        0
1572.63/1573.16	c 1573s |      22 |  1757462 |  1536322 |     2761   1059 |        0 |        0
1574.62/1575.18	c 1575s |      22 |  1759592 |  1538222 |     2761   1060 |        0 |        0
1576.72/1577.21	c 1577s |      22 |  1761696 |  1540122 |     2761   1061 |        0 |        0
1578.72/1579.25	c 1579s |      22 |  1763812 |  1542022 |     2761   1063 |        0 |        0
1580.72/1581.30	c 1581s |      22 |  1765906 |  1543822 |     2761   1064 |        0 |        0
1582.82/1583.36	c 1583s |      22 |  1768031 |  1545722 |     2761   1065 |        0 |        0
1584.82/1585.39	c 1585s |      22 |  1770053 |  1547522 |     2761   1066 |        0 |        0
1586.93/1587.45	c 1587s |      22 |  1772462 |  1549622 |     2761   1067 |        0 |        0
1589.03/1589.55	c 1589s |      22 |  1774614 |  1551522 |     2761   1068 |        0 |        0
1591.12/1591.64	c 1591s |      22 |  1776768 |  1553422 |     2761   1069 |        0 |        0
1593.22/1593.73	c 1593s |      22 |  1778866 |  1555322 |     2761   1070 |        0 |        0
1595.22/1595.76	c 1595s |      22 |  1780729 |  1557022 |     2761   1071 |        0 |        0
1597.32/1597.87	c 1597s |      22 |  1782812 |  1558922 |     2761   1072 |        0 |        0
1599.42/1599.90	c 1599s |      22 |  1784887 |  1560722 |     2761   1073 |        0 |        0
1601.42/1601.94	c 1601s |      22 |  1786888 |  1562522 |     2761   1074 |        0 |        0
1603.52/1604.01	c 1603s |      22 |  1789042 |  1564422 |     2761   1075 |        0 |        0
1605.52/1606.01	c 1605s |      22 |  1791203 |  1566322 |     2761   1076 |        0 |        0
1607.52/1608.05	c 1607s |      22 |  1793125 |  1568022 |     2761   1077 |        0 |        0
1609.62/1610.12	c 1610s |      22 |  1795314 |  1569922 |     2761   1078 |        0 |        0
1611.62/1612.14	c 1612s |      22 |  1797318 |  1571722 |     2761   1079 |        0 |        0
1613.71/1614.21	c 1614s |      22 |  1799316 |  1573522 |     2761   1080 |        0 |        0
1615.71/1616.23	c 1616s |      22 |  1801145 |  1575222 |     2761   1081 |        0 |        0
1617.81/1618.36	c 1618s |      22 |  1802783 |  1576722 |     2761   1082 |        0 |        0
1619.82/1620.40	c 1620s |      22 |  1805191 |  1578822 |     2761   1083 |        0 |        0
1621.91/1622.49	c 1622s |      22 |  1807330 |  1580722 |     2761   1084 |        0 |        0
1624.01/1624.56	c 1624s |      22 |  1809704 |  1582822 |     2761   1085 |        0 |        0
1626.01/1626.59	c 1626s |      22 |  1811737 |  1584622 |     2761   1086 |        0 |        0
1628.11/1628.64	c 1628s |      22 |  1813970 |  1586622 |     2761   1087 |        0 |        0
1630.11/1630.65	c 1630s |      22 |  1815963 |  1588422 |     2761   1088 |        0 |        0
1632.21/1632.78	c 1632s |      22 |  1818236 |  1590422 |     2761   1089 |        0 |        0
1634.22/1634.78	c 1634s |      22 |  1820259 |  1592222 |     2761   1090 |        0 |        0
1636.42/1636.91	c 1636s |      22 |  1822433 |  1594122 |     2761   1091 |        0 |        0
1638.41/1638.94	c 1638s |      22 |  1824462 |  1595922 |     2761   1092 |        0 |        0
1640.61/1641.10	c 1641s |      22 |  1826596 |  1597822 |     2761   1094 |        0 |        0
1642.61/1643.19	c 1643s |      22 |  1828697 |  1599622 |     2761   1095 |        0 |        0
1644.81/1645.36	c 1645s |      22 |  1830606 |  1601322 |     2761   1096 |        0 |        0
1646.91/1647.40	c 1647s |      22 |  1832389 |  1602922 |     2761   1096 |        0 |        0
1648.91/1649.42	c 1649s |      22 |  1834122 |  1604422 |     2761   1097 |        0 |        0
1650.91/1651.47	c 1651s |      22 |  1835816 |  1605922 |     2761   1098 |        0 |        0
1653.01/1653.57	c 1653s |      22 |  1837512 |  1607422 |     2761   1099 |        0 |        0
1655.11/1655.68	c 1655s |      22 |  1838960 |  1608722 |     2761   1100 |        0 |        0
1657.21/1657.75	c 1657s |      22 |  1840630 |  1610222 |     2761   1100 |        0 |        0
1659.21/1659.77	c 1659s |      22 |  1842179 |  1611622 |     2761   1101 |        0 |        0
1661.31/1661.83	c 1661s |      22 |  1844059 |  1613322 |     2761   1102 |        0 |        0
1663.41/1663.92	c 1663s |      22 |  1845795 |  1614922 |     2761   1103 |        0 |        0
1665.51/1666.01	c 1665s |      22 |  1847875 |  1616822 |     2761   1104 |        0 |        0
1667.51/1668.05	c 1667s |      22 |  1849697 |  1618522 |     2761   1105 |        0 |        0
1669.61/1670.10	c 1670s |      22 |  1851657 |  1620322 |     2761   1106 |        0 |        0
1671.61/1672.10	c 1672s |      22 |  1853434 |  1621922 |     2761   1107 |        0 |        0
1673.60/1674.14	c 1674s |      22 |  1855194 |  1623522 |     2761   1108 |        0 |        0
1675.70/1676.20	c 1676s |      22 |  1857110 |  1625222 |     2761   1109 |        0 |        0
1677.70/1678.20	c 1678s |      22 |  1858850 |  1626822 |     2761   1110 |        0 |        0
1679.80/1680.31	c 1680s |      22 |  1860634 |  1628422 |     2761   1111 |        0 |        0
1681.80/1682.38	c 1682s |      22 |  1862556 |  1630122 |     2761   1112 |        0 |        0
1684.00/1684.52	c 1684s |      22 |  1864400 |  1631822 |     2761   1113 |        0 |        0
1686.10/1686.62	c 1686s |      22 |  1866141 |  1633422 |     2761   1113 |        0 |        0
1688.20/1688.75	c 1688s |      22 |  1867880 |  1635022 |     2761   1114 |        0 |        0
1690.31/1690.87	c 1690s |      22 |  1869528 |  1636522 |     2761   1115 |        0 |        0
1692.41/1692.92	c 1692s |      22 |  1871180 |  1638022 |     2761   1116 |        0 |        0
1694.50/1695.01	c 1694s |      22 |  1872845 |  1639522 |     2761   1117 |        0 |        0
1696.60/1697.12	c 1697s |      22 |  1874353 |  1640922 |     2761   1118 |        0 |        0
1698.60/1699.17	c 1699s |      22 |  1876034 |  1642422 |     2761   1118 |        0 |        0
1700.70/1701.21	c 1701s |      22 |  1877865 |  1644122 |     2761   1119 |        0 |        0
1702.70/1703.24	c 1703s |      22 |  1879591 |  1645722 |     2761   1120 |        0 |        0
1704.70/1705.25	c 1705s |      22 |  1881456 |  1647422 |     2761   1121 |        0 |        0
1706.70/1707.28	c 1707s |      22 |  1883102 |  1648922 |     2761   1122 |        0 |        0
1708.80/1709.39	c 1709s |      22 |  1884846 |  1650522 |     2761   1123 |        0 |        0
1711.00/1711.52	c 1711s |      22 |  1887027 |  1652422 |     2761   1124 |        0 |        0
1713.00/1713.56	c 1713s |      22 |  1888670 |  1653922 |     2761   1125 |        0 |        0
1715.10/1715.61	c 1715s |      22 |  1890291 |  1655422 |     2761   1126 |        0 |        0
1717.10/1717.69	c 1717s |      22 |  1892420 |  1657222 |     2761   1127 |        0 |        0
1719.19/1719.73	c 1719s |      22 |  1894184 |  1658822 |     2761   1128 |        0 |        0
1721.29/1721.83	c 1721s |      22 |  1895942 |  1660422 |     2761   1128 |        0 |        0
1723.39/1723.96	c 1723s |      22 |  1897700 |  1662022 |     2761   1129 |        0 |        0
1725.50/1726.07	c 1725s |      22 |  1899516 |  1663622 |     2761   1130 |        0 |        0
1727.60/1728.16	c 1728s |      22 |  1901386 |  1665322 |     2761   1131 |        0 |        0
1729.69/1730.29	c 1730s |      22 |  1903252 |  1667022 |     2761   1132 |        0 |        0
1731.79/1732.38	c 1732s |      22 |  1905005 |  1668622 |     2761   1133 |        0 |        0
1733.89/1734.48	c 1734s |      22 |  1906767 |  1670222 |     2761   1134 |        0 |        0
1735.99/1736.51	c 1736s |      22 |  1908542 |  1671822 |     2761   1135 |        0 |        0
1738.09/1738.62	c 1738s |      22 |  1910775 |  1673822 |     2761   1136 |        0 |        0
1740.09/1740.64	c 1740s |      22 |  1912759 |  1675622 |     2761   1137 |        0 |        0
1742.19/1742.76	c 1742s |      22 |  1914494 |  1677222 |     2761   1138 |        0 |        0
1744.29/1744.85	c 1744s |      22 |  1916115 |  1678722 |     2761   1139 |        0 |        0
1746.30/1746.89	c 1746s |      22 |  1918280 |  1680622 |     2761   1140 |        0 |        0
1748.50/1749.04	c 1748s |      22 |  1919799 |  1682022 |     2761   1141 |        0 |        0
1750.59/1751.14	c 1751s |      22 |  1921578 |  1683622 |     2761   1141 |        0 |        0
1752.69/1753.25	c 1753s |      22 |  1923339 |  1685222 |     2761   1142 |        0 |        0
1754.69/1755.27	c 1755s |      22 |  1925334 |  1687022 |     2761   1143 |        0 |        0
1756.89/1757.42	c 1757s |      22 |  1927220 |  1688722 |     2761   1144 |        0 |        0
1758.89/1759.49	c 1759s |      22 |  1929050 |  1690322 |     2761   1145 |        0 |        0
1761.00/1761.52	c 1761s |      22 |  1930697 |  1691822 |     2761   1146 |        0 |        0
1763.00/1763.56	c 1763s |      22 |  1932599 |  1693522 |     2761   1147 |        0 |        0
1765.10/1765.66	c 1765s |      22 |  1934375 |  1695122 |     2761   1148 |        0 |        0
1767.20/1767.76	c 1767s |      22 |  1936247 |  1696822 |     2761   1149 |        0 |        0
1769.29/1769.90	c 1769s |      22 |  1938083 |  1698522 |     2761   1150 |        0 |        0
1771.49/1772.03	c 1771s |      22 |  1939800 |  1700122 |     2761   1151 |        0 |        0
1773.49/1774.04	c 1773s |      22 |  1941782 |  1701822 |     2761   1152 |        0 |        0
1775.59/1776.18	c 1776s |      22 |  1943695 |  1703522 |     2761   1153 |        0 |        0
1777.69/1778.26	c 1778s |      22 |  1945587 |  1705222 |     2761   1153 |        0 |        0
1779.79/1780.36	c 1780s |      22 |  1947491 |  1706922 |     2761   1154 |        0 |        0
1781.89/1782.45	c 1782s |      22 |  1949377 |  1708622 |     2761   1155 |        0 |        0
1783.99/1784.56	c 1784s |      22 |  1951353 |  1710422 |     2761   1156 |        0 |        0
1786.09/1786.61	c 1786s |      22 |  1952986 |  1711922 |     2761   1157 |        0 |        0
1788.20/1788.75	c 1788s |      22 |  1954748 |  1713522 |     2761   1158 |        0 |        0
1790.19/1790.79	c 1790s |      22 |  1956383 |  1715022 |     2761   1159 |        0 |        0
1792.19/1792.79	c 1792s |      22 |  1958268 |  1716722 |     2761   1160 |        0 |        0
1794.29/1794.82	c 1794s |      22 |  1959922 |  1718222 |     2761   1161 |        0 |        0
1796.29/1796.89	c 1796s |      22 |  1961688 |  1719822 |     2761   1162 |        0 |        0
1798.39/1798.91	c 1798s |      22 |  1963443 |  1721422 |     2761   1163 |        0 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4093399-1466082377/watcher-4093399-1466082377 -o /tmp/evaluation-result-4093399-1466082377/solver-4093399-1466082377 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466074835-11959 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093399-1466082377.wbo 

pid=13022
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.02 2.03 2.00 3/179 13025
/proc/meminfo: memFree=30395252/32872528 swapFree=525044/557748
[pid=13025] ppid=13022 vsize=755132 CPUtime=0 cores=1,3,5,7
/proc/13025/stat : 13025 (toysat) R 13022 13025 10502 0 -1 4202496 2820 0 0 0 0 0 0 0 20 0 4 0 10287840 773255168 3692 33554432000 4194304 16246674 140736856784944 140736856784368 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13025/statm: 189295 3702 441 2943 0 186189 0
[pid=13025/tid=13026] ppid=13022 vsize=773564 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13026/stat : 13026 (toysat) S 13022 13025 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10287841 792129536 3763 33554432000 4194304 16246674 140736856784944 140374525848816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13025/tid=13027] ppid=13022 vsize=777660 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13027/stat : 13027 (toysat) S 13022 13025 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10287841 796323840 3780 33554432000 4194304 16246674 140736856784944 140374515358960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13025/tid=13028] ppid=13022 vsize=781756 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13028/stat : 13028 (toysat) S 13022 13025 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10287841 800518144 3798 33554432000 4194304 16246674 140736856784944 140374429396144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100174 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 13025
/proc/meminfo: memFree=30395252/32872528 swapFree=525044/557748
[pid=13025] ppid=13022 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/13025/stat : 13025 (toysat) R 13022 13025 10502 0 -1 4202496 26948 0 0 0 6 3 0 0 20 0 4 0 10287840 1247350784 27807 33554432000 4194304 16246674 140736856784944 140736856784368 5724508 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13025/statm: 304529 27825 804 2943 0 301423 0
[pid=13025/tid=13026] ppid=13022 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13026/stat : 13026 (toysat) S 13022 13025 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10287841 1247350784 27836 33554432000 4194304 16246674 140736856784944 140374525848816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13025/tid=13027] ppid=13022 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13027/stat : 13027 (toysat) S 13022 13025 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10287841 1247350784 27848 33554432000 4194304 16246674 140736856784944 140374515358960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13025/tid=13028] ppid=13022 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13028/stat : 13028 (toysat) S 13022 13025 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10287841 1247350784 27856 33554432000 4194304 16246674 140736856784944 140374429396144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200539 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 13025
/proc/meminfo: memFree=30395252/32872528 swapFree=525044/557748
[pid=13025] ppid=13022 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/13025/stat : 13025 (toysat) R 13022 13025 10502 0 -1 4202496 59216 0 0 0 12 7 0 0 20 0 4 0 10287840 1247350784 60075 33554432000 4194304 16246674 140736856784944 140736856784368 5722241 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13025/statm: 304529 60095 804 2943 0 301423 0
[pid=13025/tid=13026] ppid=13022 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13026/stat : 13026 (toysat) S 13022 13025 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10287841 1247350784 60109 33554432000 4194304 16246674 140736856784944 140374525848816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13025/tid=13027] ppid=13022 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13027/stat : 13027 (toysat) S 13022 13025 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10287841 1247350784 60119 33554432000 4194304 16246674 140736856784944 140374515358960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13025/tid=13028] ppid=13022 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13028/stat : 13028 (toysat) S 13022 13025 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10287841 1247350784 60127 33554432000 4194304 16246674 140736856784944 140374429396144 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.300489 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 13025
/proc/meminfo: memFree=30395252/32872528 swapFree=525044/557748
[pid=13025] ppid=13022 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/13025/stat : 13025 (toysat) R 13022 13025 10502 0 -1 4202496 92670 0 0 0 18 11 0 0 20 0 4 0 10287840 1247350784 93529 33554432000 4194304 16246674 140736856784944 140736856766848 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13025/statm: 304529 93544 804 2943 0 301423 0
[pid=13025/tid=13026] ppid=13022 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13026/stat : 13026 (toysat) S 13022 13025 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10287841 1247350784 93556 33554432000 4194304 16246674 140736856784944 140374525848816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13025/tid=13027] ppid=13022 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13027/stat : 13027 (toysat) S 13022 13025 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10287841 1247350784 93568 33554432000 4194304 16246674 140736856784944 140374515358960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13025/tid=13028] ppid=13022 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13028/stat : 13028 (toysat) S 13022 13025 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10287841 1247350784 93578 33554432000 4194304 16246674 140736856784944 140374429396144 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.700417 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 13025
/proc/meminfo: memFree=30395252/32872528 swapFree=525044/557748
[pid=13025] ppid=13022 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/13025/stat : 13025 (toysat) R 13022 13025 10502 0 -1 4202496 227130 0 0 0 40 29 0 0 20 0 4 0 10287840 1247350784 227989 33554432000 4194304 16246674 140736856784944 140736856766848 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13025/statm: 304529 228008 810 2943 0 301423 0
[pid=13025/tid=13026] ppid=13022 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13026/stat : 13026 (toysat) S 13022 13025 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10287841 1247350784 228021 33554432000 4194304 16246674 140736856784944 140374525848816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13025/tid=13027] ppid=13022 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13027/stat : 13027 (toysat) S 13022 13025 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10287841 1247350784 228033 33554432000 4194304 16246674 140736856784944 140374515358960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13025/tid=13028] ppid=13022 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13028/stat : 13028 (toysat) S 13022 13025 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10287841 1247350784 228047 33554432000 4194304 16246674 140736856784944 140374429396144 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.02 2.03 2.00 3/183 13029
/proc/meminfo: memFree=29409060/32872528 swapFree=525044/557748
[pid=13025] ppid=13022 vsize=1303108 CPUtime=1.49 cores=1,3,5,7
/proc/13025/stat : 13025 (toysat) R 13022 13025 10502 0 -1 4202496 266680 0 0 0 115 34 0 0 20 0 4 0 10287840 1334382592 267516 33554432000 4194304 16246674 140736856784944 140736856766848 13950218 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13025/statm: 325777 267516 871 2943 0 322671 0
[pid=13025/tid=13026] ppid=13022 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13026/stat : 13026 (toysat) S 13022 13025 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10287841 1334382592 267516 33554432000 4194304 16246674 140736856784944 140374525848816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13025/tid=13027] ppid=13022 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13027/stat : 13027 (toysat) S 13022 13025 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10287841 1334382592 267516 33554432000 4194304 16246674 140736856784944 140374515358960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13025/tid=13028] ppid=13022 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13028/stat : 13028 (toysat) S 13022 13025 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10287841 1334382592 267516 33554432000 4194304 16246674 140736856784944 140374429396144 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) 1303108

[startup+3.10042 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 13029
/proc/meminfo: memFree=29321516/32872528 swapFree=525044/557748
[pid=13025] ppid=13022 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/13025/stat : 13025 (toysat) R 13022 13025 10502 0 -1 4202496 267865 0 0 0 275 34 0 0 20 0 4 0 10287840 1338576896 268701 33554432000 4194304 16246674 140736856784944 140736856766848 5723776 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13025/statm: 326801 268701 872 2943 0 323695 0
[pid=13025/tid=13026] ppid=13022 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13026/stat : 13026 (toysat) S 13022 13025 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10287841 1338576896 268701 33554432000 4194304 16246674 140736856784944 140374525848816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13025/tid=13027] ppid=13022 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13027/stat : 13027 (toysat) S 13022 13025 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10287841 1338576896 268701 33554432000 4194304 16246674 140736856784944 140374515358960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13025/tid=13028] ppid=13022 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13028/stat : 13028 (toysat) S 13022 13025 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10287841 1338576896 268701 33554432000 4194304 16246674 140736856784944 140374429396144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30043 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 13078
/proc/meminfo: memFree=29338160/32872528 swapFree=525044/557748
[pid=13025] ppid=13022 vsize=1310276 CPUtime=6.29 cores=1,3,5,7
/proc/13025/stat : 13025 (toysat) R 13022 13025 10502 0 -1 4202496 268476 0 0 0 595 34 0 0 20 0 4 0 10287840 1341722624 269312 33554432000 4194304 16246674 140736856784944 140736856766848 12477756 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13025/statm: 327569 269312 872 2943 0 324463 0
[pid=13025/tid=13026] ppid=13022 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13026/stat : 13026 (toysat) S 13022 13025 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10287841 1341722624 269312 33554432000 4194304 16246674 140736856784944 140374525848816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13025/tid=13027] ppid=13022 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13027/stat : 13027 (toysat) S 13022 13025 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10287841 1341722624 269312 33554432000 4194304 16246674 140736856784944 140374515358960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13025/tid=13028] ppid=13022 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13028/stat : 13028 (toysat) S 13022 13025 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10287841 1341722624 269312 33554432000 4194304 16246674 140736856784944 140374429396144 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) 1310276

[startup+12.7004 s]
/proc/loadavg: 2.09 2.05 2.01 3/183 13078
/proc/meminfo: memFree=29335508/32872528 swapFree=525044/557748
[pid=13025] ppid=13022 vsize=1310276 CPUtime=12.69 cores=1,3,5,7
/proc/13025/stat : 13025 (toysat) R 13022 13025 10502 0 -1 4202496 268688 0 0 0 1235 34 0 0 20 0 4 0 10287840 1341722624 269524 33554432000 4194304 16246674 140736856784944 140736856766848 5861860 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13025/statm: 327569 269524 874 2943 0 324463 0
[pid=13025/tid=13026] ppid=13022 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13026/stat : 13026 (toysat) S 13022 13025 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10287841 1341722624 269524 33554432000 4194304 16246674 140736856784944 140374525848816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13025/tid=13027] ppid=13022 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13027/stat : 13027 (toysat) S 13022 13025 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10287841 1341722624 269524 33554432000 4194304 16246674 140736856784944 140374515358960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13025/tid=13028] ppid=13022 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13028/stat : 13028 (toysat) S 13022 13025 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10287841 1341722624 269524 33554432000 4194304 16246674 140736856784944 140374429396144 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) 1310276

[startup+25.5005 s]
/proc/loadavg: 2.07 2.05 2.00 3/183 13078
/proc/meminfo: memFree=29333336/32872528 swapFree=525044/557748
[pid=13025] ppid=13022 vsize=1310276 CPUtime=25.48 cores=1,3,5,7
/proc/13025/stat : 13025 (toysat) R 13022 13025 10502 0 -1 4202496 268688 0 0 0 2514 34 0 0 20 0 4 0 10287840 1341722624 269524 33554432000 4194304 16246674 140736856784944 140736856766848 5721579 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13025/statm: 327569 269524 874 2943 0 324463 0
[pid=13025/tid=13026] ppid=13022 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13026/stat : 13026 (toysat) S 13022 13025 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10287841 1341722624 269524 33554432000 4194304 16246674 140736856784944 140374525848816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13025/tid=13027] ppid=13022 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13027/stat : 13027 (toysat) S 13022 13025 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10287841 1341722624 269524 33554432000 4194304 16246674 140736856784944 140374515358960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13025/tid=13028] ppid=13022 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13028/stat : 13028 (toysat) S 13022 13025 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10287841 1341722624 269524 33554432000 4194304 16246674 140736856784944 140374429396144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1310276

[startup+51.1005 s]
/proc/loadavg: 2.13 2.06 2.01 4/183 13078
/proc/meminfo: memFree=29326692/32872528 swapFree=525044/557748
[pid=13025] ppid=13022 vsize=1312324 CPUtime=51.08 cores=1,3,5,7
/proc/13025/stat : 13025 (toysat) R 13022 13025 10502 0 -1 4202496 269207 0 0 0 5074 34 0 0 20 0 4 0 10287840 1343819776 270036 33554432000 4194304 16246674 140736856784944 140736856766848 5600326 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13025/statm: 328081 270036 874 2943 0 324975 0
[pid=13025/tid=13026] ppid=13022 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13026/stat : 13026 (toysat) S 13022 13025 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10287841 1343819776 270036 33554432000 4194304 16246674 140736856784944 140374525848816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13025/tid=13027] ppid=13022 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13027/stat : 13027 (toysat) S 13022 13025 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10287841 1343819776 270036 33554432000 4194304 16246674 140736856784944 140374515358960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13025/tid=13028] ppid=13022 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13028/stat : 13028 (toysat) S 13022 13025 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10287841 1343819776 270036 33554432000 4194304 16246674 140736856784944 140374429396144 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) 1312324

[startup+102.301 s]
/proc/loadavg: 2.17 2.08 2.01 3/183 13079
/proc/meminfo: memFree=29326156/32872528 swapFree=525044/557748
[pid=13025] ppid=13022 vsize=1312324 CPUtime=102.26 cores=1,3,5,7
/proc/13025/stat : 13025 (toysat) R 13022 13025 10502 0 -1 4202496 269240 0 0 0 10191 35 0 0 20 0 4 0 10287840 1343819776 270036 33554432000 4194304 16246674 140736856784944 140736856766848 5677837 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13025/statm: 328081 270036 874 2943 0 324975 0
[pid=13025/tid=13026] ppid=13022 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13026/stat : 13026 (toysat) S 13022 13025 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10287841 1343819776 270036 33554432000 4194304 16246674 140736856784944 140374525848816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13025/tid=13027] ppid=13022 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13027/stat : 13027 (toysat) S 13022 13025 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10287841 1343819776 270036 33554432000 4194304 16246674 140736856784944 140374515358960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13025/tid=13028] ppid=13022 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13028/stat : 13028 (toysat) S 13022 13025 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10287841 1343819776 270036 33554432000 4194304 16246674 140736856784944 140374429396144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1312324


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

/proc/13025/task/13028/stat : 13028 (toysat) S 13022 13025 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10287841 1349062656 271318 33554432000 4194304 16246674 140736856784944 140374429396144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1317444

[startup+1302.3 s]
/proc/loadavg: 2.11 2.09 2.06 3/183 13109
/proc/meminfo: memFree=29311668/32872528 swapFree=525044/557748
[pid=13025] ppid=13022 vsize=1317444 CPUtime=1301.86 cores=1,3,5,7
/proc/13025/stat : 13025 (toysat) R 13022 13025 10502 0 -1 4202496 270910 0 0 0 130145 41 0 0 20 0 4 0 10287840 1349062656 271318 33554432000 4194304 16246674 140736856784944 140736856766848 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13025/statm: 329361 271318 876 2943 0 326255 0
[pid=13025/tid=13026] ppid=13022 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13026/stat : 13026 (toysat) S 13022 13025 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10287841 1349062656 271318 33554432000 4194304 16246674 140736856784944 140374525848816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13025/tid=13027] ppid=13022 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13027/stat : 13027 (toysat) S 13022 13025 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10287841 1349062656 271318 33554432000 4194304 16246674 140736856784944 140374515358960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13025/tid=13028] ppid=13022 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13028/stat : 13028 (toysat) S 13022 13025 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10287841 1349062656 271318 33554432000 4194304 16246674 140736856784944 140374429396144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1317444

[startup+1362.3 s]
/proc/loadavg: 2.16 2.10 2.06 3/183 13110
/proc/meminfo: memFree=29311592/32872528 swapFree=525044/557748
[pid=13025] ppid=13022 vsize=1317444 CPUtime=1361.85 cores=1,3,5,7
/proc/13025/stat : 13025 (toysat) R 13022 13025 10502 0 -1 4202496 270910 0 0 0 136144 41 0 0 20 0 4 0 10287840 1349062656 271318 33554432000 4194304 16246674 140736856784944 140736856766848 13949872 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13025/statm: 329361 271318 876 2943 0 326255 0
[pid=13025/tid=13026] ppid=13022 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13026/stat : 13026 (toysat) S 13022 13025 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10287841 1349062656 271318 33554432000 4194304 16246674 140736856784944 140374525848816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13025/tid=13027] ppid=13022 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13027/stat : 13027 (toysat) S 13022 13025 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10287841 1349062656 271318 33554432000 4194304 16246674 140736856784944 140374515358960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13025/tid=13028] ppid=13022 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13028/stat : 13028 (toysat) S 13022 13025 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10287841 1349062656 271318 33554432000 4194304 16246674 140736856784944 140374429396144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1317444

[startup+1422.3 s]
/proc/loadavg: 2.06 2.08 2.05 3/183 13111
/proc/meminfo: memFree=29311956/32872528 swapFree=525044/557748
[pid=13025] ppid=13022 vsize=1317444 CPUtime=1421.85 cores=1,3,5,7
/proc/13025/stat : 13025 (toysat) R 13022 13025 10502 0 -1 4202496 270910 0 0 0 142143 42 0 0 20 0 4 0 10287840 1349062656 271318 33554432000 4194304 16246674 140736856784944 140736856766848 13950188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13025/statm: 329361 271318 876 2943 0 326255 0
[pid=13025/tid=13026] ppid=13022 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13026/stat : 13026 (toysat) S 13022 13025 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10287841 1349062656 271318 33554432000 4194304 16246674 140736856784944 140374525848816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13025/tid=13027] ppid=13022 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13027/stat : 13027 (toysat) S 13022 13025 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10287841 1349062656 271318 33554432000 4194304 16246674 140736856784944 140374515358960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13025/tid=13028] ppid=13022 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13028/stat : 13028 (toysat) S 13022 13025 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10287841 1349062656 271318 33554432000 4194304 16246674 140736856784944 140374429396144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1317444

[startup+1482.3 s]
/proc/loadavg: 2.20 2.11 2.06 3/184 13115
/proc/meminfo: memFree=29309768/32872528 swapFree=525044/557748
[pid=13025] ppid=13022 vsize=1317444 CPUtime=1481.83 cores=1,3,5,7
/proc/13025/stat : 13025 (toysat) R 13022 13025 10502 0 -1 4202496 270910 0 0 0 148141 42 0 0 20 0 4 0 10287840 1349062656 271318 33554432000 4194304 16246674 140736856784944 140736856766848 5545784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13025/statm: 329361 271318 876 2943 0 326255 0
[pid=13025/tid=13026] ppid=13022 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13026/stat : 13026 (toysat) S 13022 13025 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10287841 1349062656 271318 33554432000 4194304 16246674 140736856784944 140374525848816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13025/tid=13027] ppid=13022 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13027/stat : 13027 (toysat) S 13022 13025 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10287841 1349062656 271318 33554432000 4194304 16246674 140736856784944 140374515358960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13025/tid=13028] ppid=13022 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13028/stat : 13028 (toysat) S 13022 13025 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10287841 1349062656 271318 33554432000 4194304 16246674 140736856784944 140374429396144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1317444

[startup+1542.31 s]
/proc/loadavg: 2.14 2.10 2.06 3/183 13117
/proc/meminfo: memFree=29309796/32872528 swapFree=525044/557748
[pid=13025] ppid=13022 vsize=1317444 CPUtime=1541.83 cores=1,3,5,7
/proc/13025/stat : 13025 (toysat) R 13022 13025 10502 0 -1 4202496 270910 0 0 0 154141 42 0 0 20 0 4 0 10287840 1349062656 271318 33554432000 4194304 16246674 140736856784944 140736856766848 13950230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13025/statm: 329361 271318 876 2943 0 326255 0
[pid=13025/tid=13026] ppid=13022 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13026/stat : 13026 (toysat) S 13022 13025 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10287841 1349062656 271318 33554432000 4194304 16246674 140736856784944 140374525848816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13025/tid=13027] ppid=13022 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13027/stat : 13027 (toysat) S 13022 13025 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10287841 1349062656 271318 33554432000 4194304 16246674 140736856784944 140374515358960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13025/tid=13028] ppid=13022 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13028/stat : 13028 (toysat) S 13022 13025 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10287841 1349062656 271318 33554432000 4194304 16246674 140736856784944 140374429396144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1317444

[startup+1602.3 s]
/proc/loadavg: 2.24 2.13 2.07 3/183 13118
/proc/meminfo: memFree=29309608/32872528 swapFree=525044/557748
[pid=13025] ppid=13022 vsize=1317444 CPUtime=1601.82 cores=1,3,5,7
/proc/13025/stat : 13025 (toysat) R 13022 13025 10502 0 -1 4202496 270910 0 0 0 160139 43 0 0 20 0 4 0 10287840 1349062656 271318 33554432000 4194304 16246674 140736856784944 140736856766848 12477716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13025/statm: 329361 271318 876 2943 0 326255 0
[pid=13025/tid=13026] ppid=13022 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13026/stat : 13026 (toysat) S 13022 13025 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10287841 1349062656 271318 33554432000 4194304 16246674 140736856784944 140374525848816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13025/tid=13027] ppid=13022 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13027/stat : 13027 (toysat) S 13022 13025 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10287841 1349062656 271318 33554432000 4194304 16246674 140736856784944 140374515358960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13025/tid=13028] ppid=13022 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13028/stat : 13028 (toysat) S 13022 13025 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10287841 1349062656 271318 33554432000 4194304 16246674 140736856784944 140374429396144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1317444

[startup+1662.3 s]
/proc/loadavg: 2.09 2.10 2.07 3/183 13119
/proc/meminfo: memFree=29309856/32872528 swapFree=525044/557748
[pid=13025] ppid=13022 vsize=1317444 CPUtime=1661.81 cores=1,3,5,7
/proc/13025/stat : 13025 (toysat) R 13022 13025 10502 0 -1 4202496 270910 0 0 0 166138 43 0 0 20 0 4 0 10287840 1349062656 271318 33554432000 4194304 16246674 140736856784944 140736856766848 5711496 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13025/statm: 329361 271318 876 2943 0 326255 0
[pid=13025/tid=13026] ppid=13022 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13026/stat : 13026 (toysat) S 13022 13025 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10287841 1349062656 271318 33554432000 4194304 16246674 140736856784944 140374525848816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13025/tid=13027] ppid=13022 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13027/stat : 13027 (toysat) S 13022 13025 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10287841 1349062656 271318 33554432000 4194304 16246674 140736856784944 140374515358960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13025/tid=13028] ppid=13022 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13028/stat : 13028 (toysat) S 13022 13025 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10287841 1349062656 271318 33554432000 4194304 16246674 140736856784944 140374429396144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1317444

[startup+1722.3 s]
/proc/loadavg: 2.03 2.08 2.06 3/183 13120
/proc/meminfo: memFree=29309844/32872528 swapFree=525044/557748
[pid=13025] ppid=13022 vsize=1317444 CPUtime=1721.79 cores=1,3,5,7
/proc/13025/stat : 13025 (toysat) R 13022 13025 10502 0 -1 4202496 270910 0 0 0 172136 43 0 0 20 0 4 0 10287840 1349062656 271318 33554432000 4194304 16246674 140736856784944 140736856766848 5722972 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13025/statm: 329361 271318 876 2943 0 326255 0
[pid=13025/tid=13026] ppid=13022 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13026/stat : 13026 (toysat) S 13022 13025 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10287841 1349062656 271318 33554432000 4194304 16246674 140736856784944 140374525848816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13025/tid=13027] ppid=13022 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13027/stat : 13027 (toysat) S 13022 13025 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10287841 1349062656 271318 33554432000 4194304 16246674 140736856784944 140374515358960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13025/tid=13028] ppid=13022 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13028/stat : 13028 (toysat) S 13022 13025 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10287841 1349062656 271318 33554432000 4194304 16246674 140736856784944 140374429396144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1317444

[startup+1782.3 s]
/proc/loadavg: 2.08 2.09 2.07 3/183 13121
/proc/meminfo: memFree=29309156/32872528 swapFree=525044/557748
[pid=13025] ppid=13022 vsize=1317444 CPUtime=1781.79 cores=1,3,5,7
/proc/13025/stat : 13025 (toysat) R 13022 13025 10502 0 -1 4202496 270911 0 0 0 178135 44 0 0 20 0 4 0 10287840 1349062656 271321 33554432000 4194304 16246674 140736856784944 140736856766848 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13025/statm: 329361 271321 876 2943 0 326255 0
[pid=13025/tid=13026] ppid=13022 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13026/stat : 13026 (toysat) S 13022 13025 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10287841 1349062656 271321 33554432000 4194304 16246674 140736856784944 140374525848816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13025/tid=13027] ppid=13022 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13027/stat : 13027 (toysat) S 13022 13025 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10287841 1349062656 271321 33554432000 4194304 16246674 140736856784944 140374515358960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13025/tid=13028] ppid=13022 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13028/stat : 13028 (toysat) S 13022 13025 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10287841 1349062656 271321 33554432000 4194304 16246674 140736856784944 140374429396144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1317444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.12 2.10 2.07 3/182 13121
/proc/meminfo: memFree=29309288/32872528 swapFree=525044/557748
[pid=13025] ppid=13022 vsize=1317444 CPUtime=1800.09 cores=1,3,5,7
/proc/13025/stat : 13025 (toysat) R 13022 13025 10502 0 -1 4202496 270911 0 0 0 179965 44 0 0 20 0 4 0 10287840 1349062656 271321 33554432000 4194304 16246674 140736856784944 140736856766848 13191360 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13025/statm: 329361 271321 876 2943 0 326255 0
[pid=13025/tid=13026] ppid=13022 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13026/stat : 13026 (toysat) S 13022 13025 10502 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10287841 1349062656 271321 33554432000 4194304 16246674 140736856784944 140374525848816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=13025/tid=13027] ppid=13022 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13027/stat : 13027 (toysat) S 13022 13025 10502 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10287841 1349062656 271321 33554432000 4194304 16246674 140736856784944 140374515358960 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=13025/tid=13028] ppid=13022 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/13025/task/13028/stat : 13028 (toysat) S 13022 13025 10502 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10287841 1349062656 271321 33554432000 4194304 16246674 140736856784944 140374429396144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1317444

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1799.66
CPU system time (s): 0.443932
CPU usage (%): 99.9718
Max. virtual memory (cumulated for all children) (KiB): 1317444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.66
system time used= 0.443932
maximum resident set size= 1085284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270911
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= 442
involuntary context switches= 1864

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.55631 second user time and 6.97594 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-16 15:06:17
IDJOB=4093399
IDBENCH=78707
IDSOLVER=2553
FILE ID=node106/4093399-1466082377
RUNJOBID= node106-1466074835-11959
PBS_JOBID= 19904026
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-31-30--soft-66-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093399-1466082377/watcher-4093399-1466082377 -o /tmp/evaluation-result-4093399-1466082377/solver-4093399-1466082377 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466074835-11959 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093399-1466082377.wbo

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

MD5SUM BENCH= 318c9cc5b16e210b9b0a9873d7c14d4c
RANDOM SEED=2111701272

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
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:        30396036 kB
Buffers:           27356 kB
Cached:            98524 kB
SwapCached:         1840 kB
Active:          1170148 kB
Inactive:          50760 kB
Active(anon):    1096200 kB
Inactive(anon):     1072 kB
Active(file):      73948 kB
Inactive(file):    49688 kB
Unevictable:      557748 kB
Mlocked:          525044 kB
SwapTotal:      67108856 kB
SwapFree:       67098928 kB
Dirty:             16336 kB
Writeback:             0 kB
AnonPages:       1741724 kB
Mapped:            10588 kB
Shmem:                 0 kB
Slab:             566200 kB
SReclaimable:      10488 kB
SUnreclaim:       555712 kB
KernelStack:        1520 kB
PageTables:         7360 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1796396 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1208320 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 node106 at 2016-06-16 15:36:18