Trace number 4090128

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

Namenormalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/
Instances3col_OPB/normalized-3col-almost3reg-l060-r059-n1.opb
MD5SUM7b7ca250942f40bb888b7a621ec4b2b8
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark325.635
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3282
Total number of constraints6986
Number of constraints which are clauses5892
Number of constraints which are cardinality constraints (but not clauses)1094
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T02:51:48+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4090128-1466038308.opb"]
0.00/0.01	c use --random-gen="3913010081 1347177136 2670020932 1836858225 567164209 3246457606 633857742 3028221282 311656485 1525709414 2206023365 1573288376 2411947971 3277822369 2974471073 2385326728 4206700588 4046826827 766825315 3963276309 3472696310 2355279659 246405354 2476862630 2884201065 1025684455 1662608448 1556581361 2255640593 2894522587 1031932577 2005054513 4007202184 473261635 4144094117 2242154599 942304998 737006140 746988483 1770488673 4006146340 685773904 3716640484 2343237012 3392036995 4111471426 1209073662 1583274401 3794697620 713451491 353333858 292551049 4039006576 2263152545 1340870580 2002307496 2891251419 2781253632 623730768 294230376 3417813300 1762711851 4220510506 3728132373 1099514537 3249855736 567447020 1708886135 1025213415 1624372079 2045406451 1704865889 3435081563 3800555816 1779713001 659996706 3254210532 2318305528 2563621642 4006324198 3743607267 2461520637 1756211701 2146455341 1144880188 2571251761 1717811239 764289034 2542101854 203838971 1911629538 2684357474 2539160040 3812244583 904020762 961814130 2508326007 930661868 2703085461 2729322110 2671463253 3834530452 2664610234 368493618 4070446075 3554105312 3172652147 29940098 1655325335 3254248976 2995868091 3526982404 1080189911 873875466 3475633342 2113139730 3943923380 2516134698 633431069 2165474001 3116333858 785095644 4235723863 1459811598 2981285335 1467125520 304769556 2716448236 2897298297 2496129342 3841471059 3556013171 2895770085 2409294403 3545767137 4017678813 474008188 3876399919 1352877428 950737080 3042462412 97518299 4087595021 271394357 570776218 931204425 2687157488 3545194132 3220246419 442781623 1132608080 2027965953 3877593097 2654716698 3184388313 3116904974 1471042651 2853236862 175633752 3009929073 2867771704 970894468 1215908547 1899025582 3575674416 125380152 3864581990 1935652541 3259257533 1411495527 2785434435 2335792000 1218012928 3045924792 175314637 2715725343 275706960 309736231 1225945355 4107587985 2708192614 2153975169 280515180 1466937517 527745287 1549792205 3841004086 2365493163 3006831590 2508029691 1908894511 853106862 297432001 2416508092 2751364493 628442619 4070877932 1495982988 3730936105 824072544 1193414798 401660759 2947362555 1654379883 1527829560 1637102183 2869346245 228238612 3103512341 2062287725 632135024 624222634 1922809676 453891583 3012807194 3448158953 766752904 479975482 353552068 2411565557 3559063364 493262194 3931561436 143352663 1105924083 4172375886 1770311129 3256759568 3912086525 1173410677 160669097 2047128220 321717219 3434884346 58026473 3967289275 3903995574 2895303960 2525175105 1889894076 3815989642 556783350 3517576064 1578946909 2875113930 115077544 1813598978 579096709 100049442 3809666520 3818935799 3397080920 2577597681 3276827443 4009736163 2710167245 255 362436" option to reproduce the execution
0.00/0.06	c #vars 3282
0.00/0.06	c #constraints 6986
0.09/0.15	c Solving starts ...
0.09/0.15	c ============================[ Search Statistics ]============================
0.09/0.15	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.15	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.15	c =============================================================================
0.09/0.15	c  0.0s |       0 |        0 |        0 |     3787      0 |        0 |        0
0.19/0.23	c  0.1s |       1 |     6568 |      100 |     3787      0 |        0 |        0
0.39/0.48	c  0.3s |       2 |    22327 |      250 |     4166      0 |        0 |        0
0.89/0.94	c  0.8s |       3 |    45672 |      475 |     4583      0 |        0 |        0
1.58/1.61	c  1.5s |       4 |    70670 |      813 |     5042      0 |        0 |        0
2.20/2.25	c  2.1s |       5 |   102263 |     1320 |     5547      0 |        0 |        0
2.99/3.02	c  2.9s |       6 |   122572 |     2081 |     6713      0 |        0 |        0
4.09/4.18	c  4.0s |       7 |   136781 |     3223 |     7385      0 |        0 |        0
6.19/6.23	c  6.1s |       7 |   144861 |     4823 |     7385      0 |        0 |        0
6.29/6.39	c  6.2s |       8 |   144980 |     4936 |     8124      0 |        0 |        0
8.39/8.46	c  8.3s |       8 |   150194 |     6536 |     8124      0 |        0 |        0
10.09/10.10	c 10.0s |       9 |   151276 |     7506 |     8937      0 |        0 |        0
12.09/12.18	c 12.0s |       9 |   163273 |     8706 |     8937      0 |        0 |        0
14.29/14.31	c 14.2s |       9 |   168575 |    10006 |     8937      1 |        0 |        0
16.28/16.34	c 16.2s |       9 |   173029 |    11306 |     9831      1 |        0 |        0
16.38/16.40	c 16.3s |      10 |   173083 |    11361 |     9831      1 |        0 |        0
18.48/18.54	c 18.4s |      10 |   192781 |    12961 |     9831      1 |        0 |        0
20.58/20.65	c 20.5s |      10 |   210517 |    14561 |     9831      1 |        0 |        0
22.68/22.74	c 22.6s |      10 |   214819 |    16061 |     9831      2 |        0 |        0
24.68/24.77	c 24.6s |      11 |   217649 |    17144 |    10815      2 |        0 |        0
26.78/26.86	c 26.7s |      11 |   222852 |    18644 |    10815      2 |        0 |        0
28.88/28.92	c 28.8s |      11 |   224307 |    19844 |    10815      2 |        0 |        0
30.89/30.95	c 30.8s |      11 |   225485 |    20844 |    10815      2 |        0 |        0
32.99/33.04	c 32.9s |      11 |   227591 |    22144 |    10815      3 |        0 |        0
35.19/35.21	c 35.1s |      11 |   228926 |    23344 |    10815      3 |        0 |        0
37.18/37.28	c 37.1s |      11 |   231311 |    24844 |    10815      3 |        0 |        0
38.49/38.57	c 38.4s |      12 |   237018 |    25819 |    11897      3 |        0 |        0
40.59/40.66	c 40.5s |      12 |   247748 |    26919 |    11897      3 |        0 |        0
42.69/42.78	c 42.6s |      12 |   249335 |    28019 |    11897      3 |        0 |        0
44.79/44.84	c 44.7s |      12 |   250961 |    29019 |    11897      4 |        0 |        0
46.89/46.94	c 46.8s |      12 |   254202 |    30319 |    11897      4 |        0 |        0
48.89/48.99	c 48.8s |      12 |   267220 |    31619 |    11897      4 |        0 |        0
50.99/51.06	c 50.9s |      12 |   272122 |    32919 |    11897      4 |        0 |        0
52.99/53.09	c 52.9s |      12 |   273421 |    34119 |    11897      4 |        0 |        0
54.99/55.09	c 54.9s |      12 |   274727 |    35319 |    11897      5 |        0 |        0
57.08/57.16	c 57.0s |      12 |   276018 |    36519 |    11897      5 |        0 |        0
59.18/59.25	c 59.1s |      12 |   277444 |    37819 |    11897      5 |        0 |        0
60.88/60.94	c 60.8s |      13 |   278544 |    38832 |    13087      5 |        0 |        0
62.88/62.96	c 62.8s |      13 |   295506 |    39932 |    13087      5 |        0 |        0
64.99/65.06	c 64.9s |      13 |   298005 |    41032 |    13087      5 |        0 |        0
67.09/67.19	c 67.0s |      13 |   298747 |    41732 |    13087      6 |        0 |        0
69.18/69.20	c 69.1s |      13 |   299766 |    42632 |    13087      6 |        0 |        0
71.28/71.36	c 71.2s |      13 |   300767 |    43532 |    13087      6 |        0 |        0
73.38/73.43	c 73.3s |      13 |   301681 |    44332 |    13087      6 |        0 |        0
75.58/75.61	c 75.5s |      13 |   302689 |    45232 |    13087      6 |        0 |        0
77.58/77.65	c 77.5s |      13 |   303558 |    46032 |    13087      6 |        0 |        0
79.77/79.89	c 79.7s |      13 |   304583 |    46932 |    13087      6 |        0 |        0
81.97/82.08	c 81.9s |      13 |   305595 |    47832 |    13087      6 |        0 |        0
84.07/84.11	c 84.0s |      13 |   309580 |    48632 |    13087      7 |        0 |        0
86.07/86.19	c 86.0s |      13 |   317326 |    50232 |    13087      7 |        0 |        0
88.27/88.34	c 88.2s |      13 |   342917 |    51732 |    13087      7 |        0 |        0
90.47/90.50	c 90.4s |      13 |   348276 |    52932 |    13087      7 |        0 |        0
92.57/92.65	c 92.5s |      13 |   351806 |    54232 |    13087      7 |        0 |        0
94.68/94.72	c 94.6s |      13 |   355189 |    55332 |    13087      8 |        0 |        0
96.67/96.74	c 96.6s |      13 |   357211 |    56732 |    13087      8 |        0 |        0
98.67/98.75	c 98.6s |      14 |   359156 |    58352 |    14396      8 |        0 |        0
100.87/100.93	c  100s |      14 |   363813 |    59352 |    14396      8 |        0 |        0
102.97/103.04	c  102s |      14 |   385082 |    60652 |    14396      8 |        0 |        0
105.07/105.11	c  104s |      14 |   389582 |    61752 |    14396      8 |        0 |        0
107.07/107.13	c  106s |      14 |   391987 |    62652 |    14396      8 |        0 |        0
109.37/109.47	c  109s |      14 |   393172 |    63652 |    14396      9 |        0 |        0
111.37/111.47	c  111s |      14 |   394627 |    64752 |    14396      9 |        0 |        0
113.47/113.50	c  113s |      14 |   396200 |    65852 |    14396      9 |        0 |        0
115.58/115.63	c  115s |      14 |   398078 |    66952 |    14396      9 |        0 |        0
117.57/117.64	c  117s |      14 |   401258 |    68052 |    14396      9 |        0 |        0
119.77/119.83	c  119s |      14 |   402638 |    69052 |    14396      9 |        0 |        0
121.87/121.94	c  121s |      14 |   404113 |    69952 |    14396      9 |        0 |        0
123.87/123.99	c  123s |      14 |   415204 |    70952 |    14396     10 |        0 |        0
126.06/126.19	c  126s |      14 |   417975 |    72052 |    14396     10 |        0 |        0
128.16/128.21	c  128s |      14 |   421114 |    73152 |    14396     10 |        0 |        0
130.16/130.23	c  130s |      14 |   422826 |    74452 |    14396     10 |        0 |        0
132.26/132.33	c  132s |      14 |   424336 |    75752 |    14396     10 |        0 |        0
134.27/134.37	c  134s |      14 |   451193 |    76852 |    14396     10 |        0 |        0
136.37/136.48	c  136s |      14 |   456613 |    78252 |    14396     10 |        0 |        0
138.46/138.54	c  138s |      14 |   458193 |    79552 |    14396     11 |        0 |        0
140.56/140.64	c  140s |      14 |   460917 |    80952 |    14396     11 |        0 |        0
142.55/142.66	c  142s |      14 |   462217 |    82152 |    14396     11 |        0 |        0
144.65/144.79	c  144s |      14 |   463569 |    83352 |    14396     11 |        0 |        0
146.75/146.82	c  146s |      14 |   464763 |    84452 |    14396     11 |        0 |        0
148.85/148.95	c  148s |      14 |   466064 |    85652 |    14396     11 |        0 |        0
150.95/151.09	c  150s |      14 |   468164 |    86952 |    14396     12 |        0 |        0
152.25/152.32	c  152s |      15 |   474810 |    87632 |    15836     12 |        0 |        0
154.25/154.37	c  154s |      15 |   491289 |    88832 |    15836     12 |        0 |        0
156.45/156.50	c  156s |      15 |   496078 |    89832 |    15836     12 |        0 |        0
158.45/158.54	c  158s |      15 |   504248 |    90732 |    15836     12 |        0 |        0
160.55/160.69	c  160s |      15 |   514568 |    91832 |    15836     12 |        0 |        0
162.64/162.80	c  162s |      15 |   519060 |    92932 |    15836     12 |        0 |        0
164.74/164.81	c  164s |      15 |   520291 |    94032 |    15836     12 |        0 |        0
166.74/166.84	c  166s |      15 |   521466 |    95132 |    15836     13 |        0 |        0
168.74/168.89	c  168s |      15 |   523036 |    96532 |    15836     13 |        0 |        0
171.04/171.12	c  170s |      15 |   525236 |    97732 |    15836     13 |        0 |        0
173.24/173.35	c  173s |      15 |   526297 |    98732 |    15836     13 |        0 |        0
175.34/175.46	c  175s |      15 |   528104 |    99732 |    15836     13 |        0 |        0
177.44/177.51	c  177s |      15 |   529743 |   100932 |    15836     13 |        0 |        0
179.44/179.56	c  179s |      15 |   531215 |   102232 |    15836     13 |        0 |        0
181.45/181.57	c  181s |      15 |   537009 |   103232 |    15836     14 |        0 |        0
183.54/183.63	c  183s |      15 |   538785 |   104632 |    15836     14 |        0 |        0
185.54/185.69	c  185s |      15 |   540503 |   105932 |    15836     14 |        0 |        0
187.54/187.69	c  187s |      15 |   542889 |   106732 |    15836     14 |        0 |        0
189.74/189.86	c  189s |      15 |   544426 |   107632 |    15836     14 |        0 |        0
191.84/191.90	c  191s |      15 |   545403 |   108532 |    15836     14 |        0 |        0
193.84/193.93	c  193s |      15 |   557776 |   109632 |    15836     14 |        0 |        0
195.94/196.05	c  195s |      15 |   561912 |   110632 |    15836     14 |        0 |        0
198.04/198.16	c  198s |      15 |   563037 |   111332 |    15836     15 |        0 |        0
200.34/200.49	c  200s |      15 |   564281 |   112032 |    15836     15 |        0 |        0
202.44/202.57	c  202s |      15 |   564961 |   112632 |    15836     15 |        0 |        0
204.73/204.80	c  204s |      15 |   565602 |   113232 |    15836     15 |        0 |        0
207.03/207.12	c  206s |      15 |   566345 |   113932 |    15836     15 |        0 |        0
209.04/209.14	c  208s |      15 |   566995 |   114532 |    15836     15 |        0 |        0
211.03/211.16	c  211s |      15 |   568285 |   115032 |    15836     15 |        0 |        0
213.23/213.31	c  213s |      15 |   568948 |   115632 |    15836     15 |        0 |        0
215.43/215.50	c  215s |      15 |   569473 |   116132 |    15836     15 |        0 |        0
217.43/217.55	c  217s |      15 |   570121 |   116732 |    15836     15 |        0 |        0
219.43/219.57	c  219s |      15 |   570750 |   117332 |    15836     15 |        0 |        0
221.53/221.62	c  221s |      15 |   571495 |   118032 |    15836     15 |        0 |        0
223.53/223.62	c  223s |      15 |   572656 |   118732 |    15836     15 |        0 |        0
225.53/225.62	c  225s |      15 |   573852 |   119732 |    15836     16 |        0 |        0
227.53/227.64	c  227s |      15 |   575317 |   121032 |    15836     16 |        0 |        0
229.63/229.75	c  229s |      15 |   576670 |   122232 |    15836     16 |        0 |        0
231.72/231.80	c  231s |      15 |   579685 |   123332 |    15836     16 |        0 |        0
233.82/233.92	c  233s |      15 |   591861 |   124432 |    15836     16 |        0 |        0
236.02/236.16	c  236s |      15 |   607024 |   125532 |    15836     16 |        0 |        0
238.12/238.21	c  238s |      15 |   609174 |   126432 |    15836     16 |        0 |        0
240.22/240.38	c  240s |      15 |   610103 |   127032 |    15836     16 |        0 |        0
242.42/242.50	c  242s |      15 |   610642 |   127532 |    15836     17 |        0 |        0
244.41/244.57	c  244s |      15 |   613592 |   128532 |    15836     17 |        0 |        0
246.51/246.69	c  246s |      15 |   615900 |   129532 |    15836     17 |        0 |        0
248.71/248.82	c  248s |      15 |   616965 |   130532 |    15836     17 |        0 |        0
250.82/250.95	c  250s |      15 |   617949 |   131432 |    17420     17 |        0 |        0
251.11/251.26	c  251s |      16 |   618077 |   131552 |    17420     17 |        0 |        0
253.21/253.34	c  253s |      16 |   634215 |   133052 |    17420     17 |        0 |        0
255.22/255.37	c  255s |      16 |   636597 |   134652 |    17420     17 |        0 |        0
257.21/257.38	c  257s |      16 |   638008 |   135952 |    17420     17 |        0 |        0
259.21/259.39	c  259s |      16 |   640650 |   137252 |    17420     17 |        0 |        0
261.41/261.50	c  261s |      16 |   645415 |   138752 |    17420     18 |        0 |        0
263.41/263.53	c  263s |      16 |   647456 |   140452 |    17420     18 |        0 |        0
265.51/265.65	c  265s |      16 |   649354 |   142052 |    17420     18 |        0 |        0
267.61/267.70	c  267s |      16 |   651864 |   143452 |    17420     18 |        0 |        0
269.61/269.79	c  269s |      16 |   653396 |   144752 |    17420     18 |        0 |        0
271.80/271.96	c  271s |      16 |   654844 |   146052 |    17420     18 |        0 |        0
273.91/274.06	c  273s |      16 |   657118 |   147552 |    17420     19 |        0 |        0
276.01/276.14	c  275s |      16 |   659085 |   149252 |    17420     19 |        0 |        0
278.10/278.20	c  278s |      16 |   661981 |   150452 |    17420     19 |        0 |        0
280.10/280.24	c  280s |      16 |   663509 |   151852 |    17420     19 |        0 |        0
282.10/282.25	c  282s |      16 |   664929 |   153152 |    17420     19 |        0 |        0
284.20/284.37	c  284s |      16 |   666597 |   154552 |    17420     19 |        0 |        0
286.30/286.45	c  286s |      16 |   670208 |   155952 |    17420     20 |        0 |        0
288.30/288.46	c  288s |      16 |   673488 |   156952 |    17420     20 |        0 |        0
290.40/290.50	c  290s |      16 |   675101 |   158452 |    17420     20 |        0 |        0
292.39/292.53	c  292s |      16 |   676725 |   159952 |    17420     20 |        0 |        0
294.49/294.66	c  294s |      16 |   678208 |   161352 |    17420     20 |        0 |        0
296.59/296.79	c  296s |      16 |   705069 |   162652 |    17420     20 |        0 |        0
298.69/298.87	c  298s |      16 |   708014 |   163752 |    17420     20 |        0 |        0
300.89/301.04	c  300s |      16 |   709626 |   164952 |    17420     21 |        0 |        0
303.08/303.22	c  303s |      16 |   711070 |   166252 |    17420     21 |        0 |        0
305.28/305.40	c  305s |      16 |   712378 |   167452 |    17420     21 |        0 |        0
307.38/307.51	c  307s |      16 |   714120 |   168552 |    17420     21 |        0 |        0
309.38/309.54	c  309s |      16 |   715188 |   169552 |    17420     21 |        0 |        0
311.48/311.66	c  311s |      16 |   716972 |   170452 |    17420     21 |        0 |        0
313.68/313.85	c  313s |      16 |   719418 |   171552 |    17420     21 |        0 |        0
315.78/315.91	c  315s |      16 |   720537 |   172552 |    17420     21 |        0 |        0
317.78/317.99	c  317s |      16 |   721552 |   173452 |    17420     22 |        0 |        0
319.88/320.00	c  319s |      16 |   722761 |   174552 |    17420     22 |        0 |        0
321.97/322.12	c  321s |      16 |   724073 |   175752 |    17420     22 |        0 |        0
324.07/324.24	c  324s |      16 |   725314 |   176852 |    17420     22 |        0 |        0
326.17/326.38	c  326s |      16 |   726420 |   177852 |    17420     22 |        0 |        0
328.37/328.57	c  328s |      16 |   727527 |   178852 |    17420     22 |        0 |        0
330.57/330.74	c  330s |      16 |   728537 |   179752 |    17420     22 |        0 |        0
332.67/332.89	c  332s |      16 |   729401 |   180552 |    17420     22 |        0 |        0
334.87/335.04	c  334s |      16 |   730414 |   181452 |    17420     22 |        0 |        0
336.87/337.09	c  336s |      16 |   731168 |   182152 |    17420     23 |        0 |        0
339.17/339.35	c  339s |      16 |   731802 |   182752 |    17420     23 |        0 |        0
341.36/341.51	c  341s |      16 |   735462 |   183852 |    17420     23 |        0 |        0
343.36/343.52	c  343s |      16 |   736558 |   184852 |    17420     23 |        0 |        0
345.46/345.65	c  345s |      16 |   737643 |   185852 |    17420     23 |        0 |        0
347.57/347.77	c  347s |      16 |   740747 |   186852 |    17420     23 |        0 |        0
349.77/349.98	c  349s |      16 |   742439 |   187852 |    17420     23 |        0 |        0
351.96/352.12	c  351s |      16 |   743514 |   188752 |    17420     23 |        0 |        0
353.96/354.14	c  353s |      16 |   744523 |   189652 |    17420     23 |        0 |        0
356.16/356.31	c  356s |      16 |   745523 |   190552 |    17420     23 |        0 |        0
358.36/358.55	c  358s |      16 |   746371 |   191352 |    17420     24 |        0 |        0
360.46/360.68	c  360s |      16 |   747456 |   192352 |    17420     24 |        0 |        0
362.55/362.70	c  362s |      16 |   748533 |   193352 |    17420     24 |        0 |        0
364.75/364.92	c  364s |      16 |   749734 |   194452 |    17420     24 |        0 |        0
366.75/366.96	c  366s |      16 |   752441 |   195252 |    17420     24 |        0 |        0
368.85/369.07	c  368s |      16 |   754390 |   196252 |    19162     24 |        0 |        0
371.15/371.32	c  371s |      16 |   755548 |   197252 |    19162     24 |        0 |        0
371.55/371.71	c  371s |      17 |   755766 |   197432 |    19162     24 |        0 |        0
373.55/373.76	c  373s |      17 |   780083 |   198332 |    19162     24 |        0 |        0
375.65/375.86	c  375s |      17 |   781919 |   199332 |    19162     24 |        0 |        0
377.75/377.97	c  377s |      17 |   782934 |   200232 |    19162     24 |        0 |        0
379.85/380.02	c  379s |      17 |   783996 |   201132 |    19162     24 |        0 |        0
382.14/382.31	c  382s |      17 |   799234 |   201832 |    19162     25 |        0 |        0
384.24/384.49	c  384s |      17 |   799802 |   202332 |    19162     25 |        0 |        0
386.74/386.93	c  386s |      17 |   800478 |   202932 |    19162     25 |        0 |        0
389.14/389.32	c  389s |      17 |   801048 |   203432 |    19162     25 |        0 |        0
391.14/391.33	c  391s |      17 |   801525 |   203832 |    19162     25 |        0 |        0
393.13/393.33	c  393s |      17 |   802072 |   204332 |    19162     25 |        0 |        0
395.23/395.48	c  395s |      17 |   803563 |   205532 |    19162     25 |        0 |        0
397.33/397.51	c  397s |      17 |   807746 |   206732 |    19162     25 |        0 |        0
399.53/399.71	c  399s |      17 |   809005 |   207532 |    19162     25 |        0 |        0
401.53/401.76	c  401s |      17 |   813412 |   208332 |    19162     25 |        0 |        0
403.53/403.79	c  403s |      17 |   814573 |   209132 |    19162     25 |        0 |        0
405.73/406.00	c  405s |      17 |   815929 |   210032 |    19162     25 |        0 |        0
407.82/408.08	c  407s |      17 |   816914 |   210932 |    19162     25 |        0 |        0
410.02/410.23	c  410s |      17 |   817900 |   211832 |    19162     26 |        0 |        0
412.12/412.36	c  412s |      17 |   819309 |   213132 |    19162     26 |        0 |        0
414.32/414.56	c  414s |      17 |   820760 |   214432 |    19162     26 |        0 |        0
416.42/416.69	c  416s |      17 |   822076 |   215632 |    19162     26 |        0 |        0
418.52/418.76	c  418s |      17 |   823276 |   216732 |    19162     26 |        0 |        0
420.62/420.81	c  420s |      17 |   825533 |   217732 |    19162     26 |        0 |        0
422.71/422.91	c  422s |      17 |   827234 |   218632 |    19162     26 |        0 |        0
424.71/424.93	c  424s |      17 |   829401 |   219532 |    19162     26 |        0 |        0
426.91/427.11	c  426s |      17 |   830882 |   220632 |    19162     26 |        0 |        0
428.92/429.14	c  428s |      17 |   831662 |   221332 |    19162     26 |        0 |        0
430.91/431.15	c  430s |      17 |   832571 |   222132 |    19162     27 |        0 |        0
433.01/433.21	c  433s |      17 |   833957 |   223132 |    19162     27 |        0 |        0
435.01/435.22	c  435s |      17 |   836223 |   224232 |    19162     27 |        0 |        0
437.01/437.29	c  437s |      17 |   837386 |   225232 |    19162     27 |        0 |        0
439.11/439.35	c  439s |      17 |   838579 |   226232 |    19162     27 |        0 |        0
441.21/441.41	c  441s |      17 |   839747 |   227232 |    19162     27 |        0 |        0
443.40/443.61	c  443s |      17 |   844657 |   228132 |    19162     27 |        0 |        0
445.41/445.65	c  445s |      17 |   845725 |   229032 |    19162     27 |        0 |        0
447.51/447.75	c  447s |      17 |   847622 |   229932 |    19162     27 |        0 |        0
449.60/449.86	c  449s |      17 |   849937 |   230832 |    19162     27 |        0 |        0
451.80/452.06	c  451s |      17 |   851128 |   231632 |    19162     28 |        0 |        0
453.90/454.16	c  454s |      17 |   855892 |   233032 |    19162     28 |        0 |        0
456.00/456.27	c  456s |      17 |   857585 |   234532 |    19162     28 |        0 |        0
458.00/458.28	c  458s |      17 |   860437 |   235632 |    19162     28 |        0 |        0
460.20/460.47	c  460s |      17 |   861637 |   236732 |    19162     28 |        0 |        0
462.29/462.50	c  462s |      17 |   867244 |   237632 |    19162     28 |        0 |        0
464.29/464.54	c  464s |      17 |   871455 |   238532 |    19162     28 |        0 |        0
466.39/466.63	c  466s |      17 |   872334 |   239332 |    19162     28 |        0 |        0
468.59/468.83	c  468s |      17 |   873330 |   240232 |    19162     28 |        0 |        0
470.60/470.87	c  470s |      17 |   874210 |   241032 |    19162     28 |        0 |        0
472.80/473.05	c  472s |      17 |   877142 |   241932 |    19162     29 |        0 |        0
474.89/475.18	c  475s |      17 |   879196 |   243032 |    19162     29 |        0 |        0
477.09/477.34	c  477s |      17 |   881187 |   244132 |    19162     29 |        0 |        0
479.19/479.41	c  479s |      17 |   882160 |   245032 |    19162     29 |        0 |        0
481.19/481.42	c  481s |      17 |   883527 |   246032 |    19162     29 |        0 |        0
483.18/483.47	c  483s |      17 |   885445 |   247032 |    19162     29 |        0 |        0
485.28/485.56	c  485s |      17 |   886965 |   248432 |    19162     29 |        0 |        0
487.48/487.77	c  487s |      17 |   893690 |   249732 |    19162     29 |        0 |        0
489.78/490.06	c  489s |      17 |   895626 |   250632 |    19162     29 |        0 |        0
491.88/492.19	c  492s |      17 |   896364 |   251332 |    19162     30 |        0 |        0
493.98/494.25	c  494s |      17 |   897448 |   252332 |    19162     30 |        0 |        0
496.18/496.44	c  496s |      17 |   899259 |   253532 |    19162     30 |        0 |        0
498.28/498.54	c  498s |      17 |   900385 |   254532 |    19162     30 |        0 |        0
500.48/500.73	c  500s |      17 |   903602 |   255632 |    19162     30 |        0 |        0
502.58/502.89	c  502s |      17 |   906075 |   256632 |    19162     30 |        0 |        0
504.78/505.02	c  504s |      17 |   907217 |   257632 |    19162     30 |        0 |        0
506.77/507.02	c  506s |      17 |   908246 |   258532 |    19162     30 |        0 |        0
508.87/509.13	c  508s |      17 |   909617 |   259432 |    19162     30 |        0 |        0
511.07/511.35	c  511s |      17 |   910791 |   260332 |    19162     30 |        0 |        0
513.17/513.44	c  513s |      17 |   911666 |   261132 |    19162     31 |        0 |        0
515.17/515.49	c  515s |      17 |   912774 |   262132 |    19162     31 |        0 |        0
517.47/517.72	c  517s |      17 |   914330 |   263132 |    19162     31 |        0 |        0
519.57/519.83	c  519s |      17 |   915429 |   264132 |    19162     31 |        0 |        0
521.56/521.87	c  521s |      17 |   916402 |   265032 |    19162     31 |        0 |        0
523.76/524.01	c  523s |      17 |   917540 |   266032 |    19162     31 |        0 |        0
525.86/526.17	c  526s |      17 |   921854 |   267032 |    19162     31 |        0 |        0
527.96/528.21	c  528s |      17 |   922956 |   268032 |    19162     31 |        0 |        0
530.07/530.33	c  530s |      17 |   924109 |   269032 |    19162     31 |        0 |        0
532.26/532.53	c  532s |      17 |   925203 |   270032 |    19162     31 |        0 |        0
534.66/534.93	c  534s |      17 |   926198 |   270932 |    19162     32 |        0 |        0
536.75/537.05	c  536s |      17 |   928082 |   271732 |    19162     32 |        0 |        0
538.86/539.19	c  539s |      17 |   929459 |   272932 |    19162     32 |        0 |        0
541.06/541.30	c  541s |      17 |   930774 |   274132 |    19162     32 |        0 |        0
543.16/543.45	c  543s |      17 |   932024 |   275232 |    19162     32 |        0 |        0
545.26/545.51	c  545s |      17 |   938592 |   276332 |    19162     32 |        0 |        0
547.36/547.64	c  547s |      17 |   958326 |   277632 |    19162     32 |        0 |        0
549.46/549.78	c  549s |      17 |   960710 |   279132 |    19162     32 |        0 |        0
551.65/551.92	c  551s |      17 |   962362 |   280232 |    19162     32 |        0 |        0
553.75/554.08	c  553s |      17 |   963477 |   281232 |    19162     33 |        0 |        0
555.85/556.18	c  556s |      17 |   965067 |   282432 |    19162     33 |        0 |        0
557.95/558.26	c  558s |      17 |   967089 |   283732 |    19162     33 |        0 |        0
560.05/560.36	c  560s |      17 |   968391 |   284832 |    19162     33 |        0 |        0
562.34/562.61	c  562s |      17 |   969881 |   285632 |    19162     33 |        0 |        0
564.34/564.63	c  564s |      17 |   971068 |   286632 |    19162     33 |        0 |        0
566.44/566.71	c  566s |      17 |   972088 |   287532 |    19162     33 |        0 |        0
568.55/568.84	c  568s |      17 |   972956 |   288332 |    19162     33 |        0 |        0
570.75/571.09	c  570s |      17 |   974005 |   289232 |    19162     33 |        0 |        0
573.03/573.36	c  573s |      17 |   974875 |   290032 |    19162     33 |        0 |        0
575.14/575.41	c  575s |      17 |   975697 |   290732 |    19162     34 |        0 |        0
577.13/577.43	c  577s |      17 |   976817 |   291732 |    19162     34 |        0 |        0
579.13/579.44	c  579s |      17 |   978720 |   292832 |    19162     34 |        0 |        0
581.33/581.60	c  581s |      17 |   980175 |   293932 |    19162     34 |        0 |        0
583.33/583.69	c  583s |      17 |   981265 |   294932 |    21079     34 |        0 |        0
585.43/585.73	c  585s |      17 |   983678 |   295832 |    21079     34 |        0 |        0
586.33/586.66	c  586s |      18 |   984175 |   296252 |    21079     34 |        0 |        0
588.33/588.69	c  588s |      18 |  1004697 |   296952 |    21079     34 |        0 |        0
590.73/591.08	c  590s |      18 |  1005469 |   297652 |    21079     34 |        0 |        0
592.92/593.22	c  593s |      18 |  1006233 |   298352 |    21079     34 |        0 |        0
595.02/595.30	c  595s |      18 |  1028505 |   299252 |    21079     34 |        0 |        0
597.13/597.43	c  597s |      18 |  1032684 |   300152 |    21079     34 |        0 |        0
599.12/599.45	c  599s |      18 |  1033542 |   300952 |    21079     34 |        0 |        0
601.22/601.56	c  601s |      18 |  1034418 |   301752 |    21079     34 |        0 |        0
603.81/604.12	c  603s |      18 |  1036039 |   302452 |    21079     35 |        0 |        0
605.82/606.17	c  606s |      18 |  1037273 |   303552 |    21079     35 |        0 |        0
608.02/608.32	c  608s |      18 |  1038492 |   304652 |    21079     35 |        0 |        0
610.01/610.38	c  610s |      18 |  1039591 |   305652 |    21079     35 |        0 |        0
612.21/612.51	c  612s |      18 |  1040668 |   306652 |    21079     35 |        0 |        0
614.21/614.51	c  614s |      18 |  1041876 |   307552 |    21079     35 |        0 |        0
616.31/616.66	c  616s |      18 |  1043005 |   308552 |    21079     35 |        0 |        0
618.31/618.66	c  618s |      18 |  1044020 |   309452 |    21079     35 |        0 |        0
620.41/620.75	c  620s |      18 |  1045116 |   310452 |    21079     35 |        0 |        0
622.60/622.90	c  622s |      18 |  1046498 |   311352 |    21079     35 |        0 |        0
624.70/625.08	c  624s |      18 |  1047599 |   312252 |    21079     35 |        0 |        0
627.00/627.39	c  627s |      18 |  1048627 |   313152 |    21079     35 |        0 |        0
629.20/629.51	c  629s |      18 |  1050142 |   314052 |    21079     36 |        0 |        0
631.21/631.51	c  631s |      18 |  1051273 |   315052 |    21079     36 |        0 |        0
633.30/633.70	c  633s |      18 |  1052651 |   316252 |    21079     36 |        0 |        0
635.40/635.77	c  635s |      18 |  1054861 |   317352 |    21079     36 |        0 |        0
637.60/637.95	c  637s |      18 |  1056103 |   318452 |    21079     36 |        0 |        0
639.59/639.96	c  639s |      18 |  1057314 |   319552 |    21079     36 |        0 |        0
641.79/642.13	c  641s |      18 |  1058954 |   320652 |    21079     36 |        0 |        0
643.79/644.13	c  643s |      18 |  1060189 |   321652 |    21079     36 |        0 |        0
645.89/646.27	c  646s |      18 |  1061348 |   322652 |    21079     36 |        0 |        0
648.09/648.47	c  648s |      18 |  1063406 |   323552 |    21079     36 |        0 |        0
650.29/650.65	c  650s |      18 |  1084613 |   324352 |    21079     37 |        0 |        0
652.39/652.78	c  652s |      18 |  1085914 |   325352 |    21079     37 |        0 |        0
654.49/654.85	c  654s |      18 |  1087066 |   326352 |    21079     37 |        0 |        0
656.59/656.93	c  656s |      18 |  1089179 |   327352 |    21079     37 |        0 |        0
658.59/658.96	c  658s |      18 |  1090296 |   328352 |    21079     37 |        0 |        0
660.68/661.04	c  660s |      18 |  1091990 |   329352 |    21079     37 |        0 |        0
662.78/663.15	c  663s |      18 |  1093218 |   330352 |    21079     37 |        0 |        0
664.88/665.25	c  665s |      18 |  1109725 |   331452 |    21079     37 |        0 |        0
666.98/667.33	c  667s |      18 |  1121042 |   332552 |    21079     37 |        0 |        0
668.98/669.37	c  669s |      18 |  1124035 |   333352 |    21079     37 |        0 |        0
671.08/671.47	c  671s |      18 |  1126232 |   334052 |    21079     37 |        0 |        0
673.18/673.58	c  673s |      18 |  1126938 |   334652 |    21079     37 |        0 |        0
675.28/675.64	c  675s |      18 |  1131367 |   335252 |    21079     38 |        0 |        0
677.28/677.66	c  677s |      18 |  1132297 |   336052 |    21079     38 |        0 |        0
679.48/679.87	c  679s |      18 |  1133251 |   336852 |    21079     38 |        0 |        0
681.68/682.04	c  681s |      18 |  1134190 |   337652 |    21079     38 |        0 |        0
683.77/684.13	c  683s |      18 |  1135649 |   338852 |    21079     38 |        0 |        0
685.87/686.28	c  686s |      18 |  1137356 |   340252 |    21079     38 |        0 |        0
687.98/688.37	c  688s |      18 |  1138835 |   341552 |    21079     38 |        0 |        0
690.08/690.41	c  690s |      18 |  1140300 |   342752 |    21079     38 |        0 |        0
692.17/692.53	c  692s |      18 |  1141542 |   343852 |    21079     38 |        0 |        0
694.27/694.66	c  694s |      18 |  1144009 |   344552 |    21079     38 |        0 |        0
696.57/696.92	c  696s |      18 |  1144754 |   345252 |    21079     38 |        0 |        0
698.67/699.03	c  698s |      18 |  1146154 |   345752 |    21079     39 |        0 |        0
700.77/701.12	c  700s |      18 |  1147786 |   346652 |    21079     39 |        0 |        0
702.77/703.20	c  703s |      18 |  1150212 |   347652 |    21079     39 |        0 |        0
704.87/705.24	c  705s |      18 |  1170021 |   348852 |    21079     39 |        0 |        0
706.87/707.26	c  707s |      18 |  1171081 |   349752 |    21079     39 |        0 |        0
709.07/709.49	c  709s |      18 |  1172794 |   350752 |    21079     39 |        0 |        0
711.37/711.71	c  711s |      18 |  1173788 |   351652 |    21079     39 |        0 |        0
713.46/713.90	c  713s |      18 |  1186343 |   352852 |    21079     39 |        0 |        0
715.56/715.93	c  715s |      18 |  1187457 |   353652 |    21079     39 |        0 |        0
717.76/718.14	c  717s |      18 |  1188445 |   354552 |    21079     39 |        0 |        0
719.86/720.25	c  720s |      18 |  1189412 |   355452 |    21079     39 |        0 |        0
722.06/722.40	c  722s |      18 |  1192351 |   356252 |    21079     39 |        0 |        0
724.06/724.46	c  724s |      18 |  1193281 |   357052 |    21079     40 |        0 |        0
726.26/726.67	c  726s |      18 |  1194614 |   358152 |    21079     40 |        0 |        0
728.26/728.67	c  728s |      18 |  1197378 |   359652 |    21079     40 |        0 |        0
730.36/730.75	c  730s |      18 |  1199035 |   361052 |    21079     40 |        0 |        0
732.46/732.89	c  732s |      18 |  1200851 |   362452 |    21079     40 |        0 |        0
734.76/735.16	c  735s |      18 |  1203519 |   363252 |    21079     40 |        0 |        0
736.86/737.26	c  737s |      18 |  1204292 |   363952 |    21079     40 |        0 |        0
739.16/739.52	c  739s |      18 |  1205171 |   364752 |    21079     40 |        0 |        0
741.35/741.72	c  741s |      18 |  1205938 |   365452 |    21079     40 |        0 |        0
743.55/743.93	c  743s |      18 |  1206682 |   366152 |    21079     40 |        0 |        0
745.75/746.12	c  745s |      18 |  1207447 |   366852 |    21079     40 |        0 |        0
748.05/748.46	c  748s |      18 |  1208219 |   367552 |    21079     41 |        0 |        0
750.25/750.61	c  750s |      18 |  1209205 |   368452 |    21079     41 |        0 |        0
752.35/752.70	c  752s |      18 |  1228144 |   369752 |    21079     41 |        0 |        0
754.45/754.82	c  754s |      18 |  1242207 |   371152 |    21079     41 |        0 |        0
756.55/756.91	c  756s |      18 |  1243822 |   372452 |    21079     41 |        0 |        0
758.65/759.02	c  758s |      18 |  1244998 |   373552 |    21079     41 |        0 |        0
760.75/761.14	c  760s |      18 |  1246196 |   374652 |    21079     41 |        0 |        0
762.74/763.14	c  762s |      18 |  1247398 |   375752 |    21079     41 |        0 |        0
764.74/765.15	c  765s |      18 |  1249364 |   376852 |    21079     41 |        0 |        0
766.84/767.20	c  767s |      18 |  1250492 |   377852 |    21079     41 |        0 |        0
768.94/769.37	c  769s |      18 |  1251602 |   378852 |    21079     42 |        0 |        0
771.14/771.54	c  771s |      18 |  1253220 |   380052 |    21079     42 |        0 |        0
773.14/773.59	c  773s |      18 |  1254760 |   381152 |    21079     42 |        0 |        0
775.25/775.61	c  775s |      18 |  1255969 |   382252 |    21079     42 |        0 |        0
777.24/777.61	c  777s |      18 |  1266874 |   383352 |    21079     42 |        0 |        0
779.24/779.69	c  779s |      18 |  1268518 |   384452 |    21079     42 |        0 |        0
781.24/781.69	c  781s |      18 |  1269880 |   385352 |    21079     42 |        0 |        0
783.34/783.76	c  783s |      18 |  1271395 |   386252 |    21079     42 |        0 |        0
785.44/785.86	c  785s |      18 |  1273437 |   387352 |    21079     42 |        0 |        0
787.54/787.98	c  787s |      18 |  1274640 |   388452 |    21079     42 |        0 |        0
789.74/790.10	c  789s |      18 |  1275825 |   389452 |    21079     43 |        0 |        0
791.74/792.12	c  791s |      18 |  1277049 |   390552 |    21079     43 |        0 |        0
793.73/794.13	c  793s |      18 |  1278298 |   391652 |    21079     43 |        0 |        0
795.83/796.20	c  796s |      18 |  1279507 |   392752 |    21079     43 |        0 |        0
797.93/798.36	c  798s |      18 |  1280594 |   393752 |    21079     43 |        0 |        0
799.93/800.37	c  800s |      18 |  1281625 |   394652 |    21079     43 |        0 |        0
801.93/802.37	c  802s |      18 |  1282634 |   395552 |    21079     43 |        0 |        0
803.93/804.40	c  804s |      18 |  1283627 |   396452 |    21079     43 |        0 |        0
806.04/806.49	c  806s |      18 |  1285088 |   397452 |    21079     43 |        0 |        0
808.24/808.65	c  808s |      18 |  1286209 |   398452 |    21079     43 |        0 |        0
810.44/810.84	c  810s |      18 |  1287381 |   399452 |    21079     43 |        0 |        0
812.43/812.88	c  812s |      18 |  1288276 |   400252 |    21079     44 |        0 |        0
814.63/815.05	c  814s |      18 |  1289582 |   401352 |    21079     44 |        0 |        0
816.63/817.09	c  816s |      18 |  1290717 |   402352 |    21079     44 |        0 |        0
818.73/819.11	c  818s |      18 |  1291716 |   403252 |    21079     44 |        0 |        0
820.83/821.26	c  821s |      18 |  1292840 |   404252 |    21079     44 |        0 |        0
822.93/823.33	c  823s |      18 |  1293979 |   405252 |    21079     44 |        0 |        0
825.03/825.44	c  825s |      18 |  1295140 |   406252 |    21079     44 |        0 |        0
827.03/827.49	c  827s |      18 |  1296207 |   407152 |    21079     44 |        0 |        0
829.23/829.60	c  829s |      18 |  1297824 |   407952 |    21079     44 |        0 |        0
831.23/831.61	c  831s |      18 |  1298798 |   408752 |    21079     44 |        0 |        0
833.23/833.63	c  833s |      18 |  1299749 |   409552 |    21079     44 |        0 |        0
835.33/835.78	c  835s |      18 |  1300785 |   410452 |    21079     44 |        0 |        0
837.52/837.93	c  837s |      18 |  1301517 |   411052 |    21079     45 |        0 |        0
839.62/840.03	c  839s |      18 |  1302894 |   412252 |    21079     45 |        0 |        0
841.72/842.15	c  842s |      18 |  1306216 |   413152 |    21079     45 |        0 |        0
843.92/844.31	c  844s |      18 |  1307448 |   414152 |    21079     45 |        0 |        0
846.12/846.50	c  846s |      18 |  1308603 |   415152 |    21079     45 |        0 |        0
848.12/848.59	c  848s |      18 |  1309635 |   416052 |    21079     45 |        0 |        0
850.22/850.63	c  850s |      18 |  1310593 |   416852 |    21079     45 |        0 |        0
852.42/852.89	c  852s |      18 |  1311630 |   417752 |    21079     45 |        0 |        0
854.72/855.13	c  854s |      18 |  1312636 |   418652 |    21079     45 |        0 |        0
856.72/857.14	c  856s |      18 |  1313546 |   419452 |    21079     45 |        0 |        0
858.92/859.36	c  859s |      18 |  1314335 |   420152 |    21079     45 |        0 |        0
861.12/861.50	c  861s |      18 |  1315661 |   420952 |    21079     45 |        0 |        0
863.43/863.88	c  863s |      18 |  1336164 |   421452 |    21079     46 |        0 |        0
865.53/865.91	c  865s |      18 |  1339362 |   422452 |    21079     46 |        0 |        0
867.54/867.94	c  867s |      18 |  1346075 |   423552 |    21079     46 |        0 |        0
869.73/870.13	c  869s |      18 |  1356742 |   424452 |    21079     46 |        0 |        0
871.73/872.18	c  872s |      18 |  1359385 |   425252 |    21079     46 |        0 |        0
873.83/874.22	c  874s |      18 |  1360274 |   426052 |    21079     46 |        0 |        0
876.03/876.41	c  876s |      18 |  1361904 |   426852 |    21079     46 |        0 |        0
878.23/878.68	c  878s |      18 |  1362566 |   427452 |    21079     46 |        0 |        0
880.63/881.03	c  880s |      18 |  1363230 |   428052 |    21079     46 |        0 |        0
882.82/883.24	c  883s |      18 |  1363775 |   428552 |    21079     46 |        0 |        0
884.92/885.34	c  885s |      18 |  1365083 |   429152 |    21079     46 |        0 |        0
887.02/887.41	c  887s |      18 |  1365851 |   429852 |    21079     46 |        0 |        0
889.02/889.42	c  889s |      18 |  1366574 |   430452 |    21079     46 |        0 |        0
891.12/891.58	c  891s |      18 |  1367494 |   431052 |    21079     46 |        0 |        0
893.22/893.62	c  893s |      18 |  1368167 |   431652 |    21079     46 |        0 |        0
895.52/895.93	c  895s |      18 |  1368800 |   432252 |    21079     46 |        0 |        0
897.82/898.20	c  898s |      18 |  1369501 |   432852 |    21079     47 |        0 |        0
900.02/900.40	c  900s |      18 |  1370246 |   433552 |    21079     47 |        0 |        0
902.12/902.56	c  902s |      18 |  1371462 |   434352 |    21079     47 |        0 |        0
904.42/904.89	c  904s |      18 |  1372451 |   435152 |    21079     47 |        0 |        0
906.62/907.00	c  906s |      18 |  1373227 |   435852 |    21079     47 |        0 |        0
908.72/909.15	c  909s |      18 |  1374018 |   436552 |    21079     47 |        0 |        0
910.92/911.33	c  911s |      18 |  1374805 |   437252 |    21079     47 |        0 |        0
913.02/913.49	c  913s |      18 |  1375583 |   437952 |    21079     47 |        0 |        0
915.32/915.74	c  915s |      18 |  1376717 |   438652 |    21079     47 |        0 |        0
917.32/917.76	c  917s |      18 |  1396218 |   439852 |    21079     47 |        0 |        0
919.32/919.79	c  919s |      18 |  1397434 |   440952 |    21079     47 |        0 |        0
921.42/921.82	c  921s |      18 |  1399201 |   442052 |    23187     47 |        0 |        0
923.62/924.01	c  923s |      18 |  1407204 |   443052 |    23187     47 |        0 |        0
925.82/926.22	c  926s |      18 |  1409531 |   444052 |    23187     47 |        0 |        0
927.02/927.49	c  927s |      19 |  1410000 |   444482 |    23187     47 |        0 |        0
929.12/929.52	c  929s |      19 |  1418169 |   445082 |    23187     47 |        0 |        0
931.22/931.66	c  931s |      19 |  1428258 |   445782 |    23187     48 |        0 |        0
933.32/933.70	c  933s |      19 |  1432167 |   446982 |    23187     48 |        0 |        0
935.51/935.95	c  935s |      19 |  1440236 |   448282 |    23187     48 |        0 |        0
937.61/938.02	c  937s |      19 |  1442728 |   449482 |    23187     48 |        0 |        0
939.81/940.21	c  940s |      19 |  1445691 |   450482 |    23187     48 |        0 |        0
941.91/942.36	c  942s |      19 |  1449205 |   451382 |    23187     48 |        0 |        0
944.11/944.51	c  944s |      19 |  1450391 |   452282 |    23187     48 |        0 |        0
946.21/946.65	c  946s |      19 |  1451138 |   452982 |    23187     48 |        0 |        0
948.31/948.74	c  948s |      19 |  1452806 |   453982 |    23187     48 |        0 |        0
950.51/950.97	c  950s |      19 |  1456015 |   454982 |    23187     48 |        0 |        0
952.51/952.98	c  952s |      19 |  1458083 |   455882 |    23187     48 |        0 |        0
954.61/955.01	c  954s |      19 |  1459119 |   456782 |    23187     48 |        0 |        0
956.62/957.08	c  956s |      19 |  1460153 |   457682 |    23187     49 |        0 |        0
958.71/959.12	c  958s |      19 |  1461674 |   458882 |    23187     49 |        0 |        0
960.81/961.24	c  961s |      19 |  1463023 |   460082 |    23187     49 |        0 |        0
962.81/963.28	c  963s |      19 |  1464268 |   461182 |    23187     49 |        0 |        0
964.81/965.29	c  965s |      19 |  1465489 |   462282 |    23187     49 |        0 |        0
966.91/967.35	c  967s |      19 |  1466635 |   463282 |    23187     49 |        0 |        0
968.91/969.39	c  969s |      19 |  1467782 |   464282 |    23187     49 |        0 |        0
971.21/971.63	c  971s |      19 |  1468902 |   465282 |    23187     49 |        0 |        0
973.31/973.74	c  973s |      19 |  1469872 |   466182 |    23187     49 |        0 |        0
975.61/976.00	c  975s |      19 |  1470898 |   467082 |    23187     49 |        0 |        0
977.71/978.17	c  978s |      19 |  1471884 |   467982 |    23187     49 |        0 |        0
979.91/980.35	c  980s |      19 |  1472903 |   468882 |    23187     49 |        0 |        0
981.91/982.40	c  982s |      19 |  1473887 |   469782 |    23187     50 |        0 |        0
984.01/984.47	c  984s |      19 |  1476249 |   470882 |    23187     50 |        0 |        0
986.11/986.55	c  986s |      19 |  1477900 |   471882 |    23187     50 |        0 |        0
988.31/988.77	c  988s |      19 |  1479099 |   472982 |    23187     50 |        0 |        0
990.41/990.83	c  990s |      19 |  1480242 |   473982 |    23187     50 |        0 |        0
992.41/992.89	c  992s |      19 |  1481221 |   474882 |    23187     50 |        0 |        0
994.51/994.90	c  994s |      19 |  1482202 |   475782 |    23187     50 |        0 |        0
996.61/997.05	c  996s |      19 |  1483304 |   476782 |    23187     50 |        0 |        0
998.81/999.23	c  999s |      19 |  1484270 |   477682 |    23187     50 |        0 |        0
1000.90/1001.36	c 1001s |      19 |  1485113 |   478482 |    23187     50 |        0 |        0
1003.10/1003.54	c 1003s |      19 |  1486087 |   479382 |    23187     50 |        0 |        0
1005.11/1005.56	c 1005s |      19 |  1487070 |   480282 |    23187     50 |        0 |        0
1007.31/1007.79	c 1007s |      19 |  1487936 |   481082 |    23187     51 |        0 |        0
1009.41/1009.82	c 1009s |      19 |  1491490 |   482182 |    23187     51 |        0 |        0
1011.50/1011.97	c 1011s |      19 |  1492352 |   482982 |    23187     51 |        0 |        0
1013.70/1014.11	c 1013s |      19 |  1493568 |   484082 |    23187     51 |        0 |        0
1015.80/1016.29	c 1016s |      19 |  1494780 |   485182 |    23187     51 |        0 |        0
1017.90/1018.38	c 1018s |      19 |  1495876 |   486182 |    23187     51 |        0 |        0
1020.10/1020.58	c 1020s |      19 |  1496862 |   487082 |    23187     51 |        0 |        0
1022.30/1022.76	c 1022s |      19 |  1497719 |   487882 |    23187     51 |        0 |        0
1024.40/1024.84	c 1024s |      19 |  1503582 |   488682 |    23187     51 |        0 |        0
1026.50/1026.99	c 1026s |      19 |  1504822 |   489782 |    23187     51 |        0 |        0
1028.70/1029.19	c 1029s |      19 |  1505958 |   490782 |    23187     51 |        0 |        0
1030.80/1031.28	c 1031s |      19 |  1506961 |   491682 |    23187     51 |        0 |        0
1032.90/1033.35	c 1033s |      19 |  1507963 |   492582 |    23187     51 |        0 |        0
1035.00/1035.48	c 1035s |      19 |  1508995 |   493082 |    23187     52 |        0 |        0
1037.10/1037.59	c 1037s |      19 |  1510204 |   493982 |    23187     52 |        0 |        0
1039.20/1039.68	c 1039s |      19 |  1511410 |   495082 |    23187     52 |        0 |        0
1041.30/1041.77	c 1041s |      19 |  1512880 |   496182 |    23187     52 |        0 |        0
1043.39/1043.80	c 1043s |      19 |  1514129 |   497282 |    23187     52 |        0 |        0
1045.49/1045.94	c 1045s |      19 |  1515376 |   498382 |    23187     52 |        0 |        0
1047.59/1048.06	c 1047s |      19 |  1516486 |   499382 |    23187     52 |        0 |        0
1049.79/1050.26	c 1050s |      19 |  1517614 |   500382 |    23187     52 |        0 |        0
1051.99/1052.40	c 1052s |      19 |  1520111 |   501282 |    23187     52 |        0 |        0
1054.09/1054.51	c 1054s |      19 |  1521173 |   502182 |    23187     52 |        0 |        0
1056.09/1056.55	c 1056s |      19 |  1522184 |   503082 |    23187     52 |        0 |        0
1058.29/1058.70	c 1058s |      19 |  1523281 |   504082 |    23187     52 |        0 |        0
1060.59/1061.05	c 1060s |      19 |  1524141 |   504882 |    23187     53 |        0 |        0
1062.79/1063.23	c 1063s |      19 |  1525222 |   505882 |    23187     53 |        0 |        0
1064.99/1065.44	c 1065s |      19 |  1526519 |   507082 |    23187     53 |        0 |        0
1067.70/1068.14	c 1067s |      19 |  1528744 |   507682 |    23187     53 |        0 |        0
1069.90/1070.32	c 1070s |      19 |  1530121 |   508882 |    23187     53 |        0 |        0
1072.00/1072.47	c 1072s |      19 |  1533230 |   509982 |    23187     53 |        0 |        0
1074.20/1074.66	c 1074s |      19 |  1534494 |   511082 |    23187     53 |        0 |        0
1076.40/1076.83	c 1076s |      19 |  1535648 |   512082 |    23187     53 |        0 |        0
1078.40/1078.86	c 1078s |      19 |  1537048 |   512982 |    23187     53 |        0 |        0
1080.59/1081.05	c 1080s |      19 |  1538151 |   513982 |    23187     53 |        0 |        0
1082.79/1083.20	c 1083s |      19 |  1539125 |   514882 |    23187     53 |        0 |        0
1084.89/1085.38	c 1085s |      19 |  1540125 |   515782 |    23187     53 |        0 |        0
1086.99/1087.44	c 1087s |      19 |  1541005 |   516582 |    23187     53 |        0 |        0
1089.09/1089.53	c 1089s |      19 |  1541857 |   517382 |    23187     54 |        0 |        0
1091.39/1091.86	c 1091s |      19 |  1542389 |   517882 |    23187     54 |        0 |        0
1093.49/1093.94	c 1093s |      19 |  1543926 |   518982 |    23187     54 |        0 |        0
1095.69/1096.12	c 1095s |      19 |  1545275 |   520182 |    23187     54 |        0 |        0
1097.69/1098.12	c 1097s |      19 |  1546513 |   521282 |    23187     54 |        0 |        0
1099.70/1100.16	c 1100s |      19 |  1547627 |   522282 |    23187     54 |        0 |        0
1101.80/1102.28	c 1102s |      19 |  1548746 |   523282 |    23187     54 |        0 |        0
1103.89/1104.36	c 1104s |      19 |  1549742 |   524182 |    23187     54 |        0 |        0
1106.09/1106.53	c 1106s |      19 |  1550748 |   525082 |    23187     54 |        0 |        0
1108.29/1108.70	c 1108s |      19 |  1551755 |   525982 |    23187     54 |        0 |        0
1110.39/1110.82	c 1110s |      19 |  1552647 |   526782 |    23187     54 |        0 |        0
1112.59/1113.07	c 1112s |      19 |  1553515 |   527582 |    23187     54 |        0 |        0
1114.69/1115.16	c 1115s |      19 |  1554412 |   528382 |    23187     54 |        0 |        0
1116.79/1117.24	c 1117s |      19 |  1555184 |   529082 |    23187     55 |        0 |        0
1118.88/1119.35	c 1119s |      19 |  1556447 |   530182 |    23187     55 |        0 |        0
1121.08/1121.55	c 1121s |      19 |  1557645 |   531282 |    23187     55 |        0 |        0
1123.28/1123.78	c 1123s |      19 |  1561866 |   532382 |    23187     55 |        0 |        0
1125.48/1125.91	c 1125s |      19 |  1562961 |   533382 |    23187     55 |        0 |        0
1127.58/1128.06	c 1127s |      19 |  1564047 |   534382 |    23187     55 |        0 |        0
1129.88/1130.31	c 1130s |      19 |  1565120 |   535382 |    23187     55 |        0 |        0
1132.08/1132.53	c 1132s |      19 |  1566109 |   536282 |    23187     55 |        0 |        0
1134.18/1134.67	c 1134s |      19 |  1571297 |   537082 |    23187     55 |        0 |        0
1136.28/1136.70	c 1136s |      19 |  1572472 |   537982 |    23187     55 |        0 |        0
1138.38/1138.81	c 1138s |      19 |  1573713 |   538882 |    23187     55 |        0 |        0
1140.48/1140.93	c 1140s |      19 |  1574687 |   539782 |    23187     55 |        0 |        0
1143.18/1143.68	c 1143s |      19 |  1575438 |   540482 |    23187     56 |        0 |        0
1145.28/1145.70	c 1145s |      19 |  1576633 |   541582 |    23187     56 |        0 |        0
1147.38/1147.83	c 1147s |      19 |  1577958 |   542782 |    23187     56 |        0 |        0
1149.48/1149.97	c 1149s |      19 |  1578931 |   543682 |    23187     56 |        0 |        0
1151.48/1151.98	c 1151s |      19 |  1580042 |   544682 |    23187     56 |        0 |        0
1153.78/1154.20	c 1154s |      19 |  1581269 |   545782 |    23187     56 |        0 |        0
1155.98/1156.41	c 1156s |      19 |  1582364 |   546782 |    23187     56 |        0 |        0
1158.18/1158.62	c 1158s |      19 |  1583319 |   547682 |    23187     56 |        0 |        0
1160.38/1160.87	c 1160s |      19 |  1584299 |   548582 |    23187     56 |        0 |        0
1162.48/1162.97	c 1162s |      19 |  1585160 |   549382 |    23187     56 |        0 |        0
1164.48/1164.99	c 1164s |      19 |  1586040 |   550182 |    23187     56 |        0 |        0
1166.57/1167.06	c 1166s |      19 |  1586924 |   550982 |    23187     56 |        0 |        0
1168.67/1169.14	c 1168s |      19 |  1587712 |   551682 |    23187     56 |        0 |        0
1170.67/1171.18	c 1171s |      19 |  1590547 |   552182 |    23187     56 |        0 |        0
1172.77/1173.27	c 1173s |      19 |  1594420 |   552882 |    23187     57 |        0 |        0
1174.87/1175.38	c 1175s |      19 |  1596141 |   554082 |    23187     57 |        0 |        0
1176.97/1177.47	c 1177s |      19 |  1597344 |   555182 |    23187     57 |        0 |        0
1179.17/1179.61	c 1179s |      19 |  1598556 |   556282 |    23187     57 |        0 |        0
1181.27/1181.79	c 1181s |      19 |  1600080 |   557282 |    23187     57 |        0 |        0
1183.37/1183.83	c 1183s |      19 |  1601085 |   558182 |    23187     57 |        0 |        0
1185.48/1185.99	c 1185s |      19 |  1602212 |   559182 |    23187     57 |        0 |        0
1187.69/1188.14	c 1187s |      19 |  1603087 |   559982 |    23187     57 |        0 |        0
1189.79/1190.30	c 1190s |      19 |  1604505 |   560982 |    23187     57 |        0 |        0
1191.99/1192.43	c 1192s |      19 |  1605400 |   561782 |    23187     57 |        0 |        0
1194.19/1194.67	c 1194s |      19 |  1606258 |   562582 |    23187     57 |        0 |        0
1196.49/1196.93	c 1196s |      19 |  1607248 |   563482 |    23187     57 |        0 |        0
1198.88/1199.37	c 1199s |      19 |  1608000 |   564182 |    23187     58 |        0 |        0
1200.98/1201.45	c 1201s |      19 |  1608766 |   564882 |    23187     58 |        0 |        0
1203.17/1203.64	c 1203s |      19 |  1609991 |   565982 |    23187     58 |        0 |        0
1205.18/1205.70	c 1205s |      19 |  1611192 |   567082 |    23187     58 |        0 |        0
1207.38/1207.87	c 1207s |      19 |  1612513 |   568282 |    23187     58 |        0 |        0
1209.47/1209.97	c 1209s |      19 |  1613694 |   569382 |    23187     58 |        0 |        0
1211.57/1212.00	c 1211s |      19 |  1614814 |   570382 |    23187     58 |        0 |        0
1213.57/1214.00	c 1213s |      19 |  1615800 |   571282 |    23187     58 |        0 |        0
1215.77/1216.22	c 1216s |      19 |  1618680 |   572182 |    23187     58 |        0 |        0
1217.87/1218.40	c 1218s |      19 |  1619681 |   573082 |    23187     58 |        0 |        0
1220.07/1220.59	c 1220s |      19 |  1620673 |   573982 |    23187     58 |        0 |        0
1222.17/1222.65	c 1222s |      19 |  1621856 |   574682 |    23187     58 |        0 |        0
1224.17/1224.68	c 1224s |      19 |  1622705 |   575482 |    23187     58 |        0 |        0
1226.37/1226.80	c 1226s |      19 |  1623333 |   576082 |    23187     59 |        0 |        0
1228.47/1228.97	c 1228s |      19 |  1624528 |   577182 |    23187     59 |        0 |        0
1230.58/1231.06	c 1230s |      19 |  1625716 |   578282 |    23187     59 |        0 |        0
1232.57/1233.07	c 1232s |      19 |  1626821 |   579282 |    23187     59 |        0 |        0
1234.77/1235.21	c 1235s |      19 |  1627891 |   580282 |    23187     59 |        0 |        0
1236.77/1237.24	c 1237s |      19 |  1630050 |   580882 |    23187     59 |        0 |        0
1238.77/1239.24	c 1239s |      19 |  1631205 |   581882 |    23187     59 |        0 |        0
1240.77/1241.28	c 1241s |      19 |  1632316 |   582882 |    23187     59 |        0 |        0
1242.87/1243.36	c 1243s |      19 |  1633406 |   583882 |    23187     59 |        0 |        0
1244.97/1245.45	c 1245s |      19 |  1634501 |   584882 |    23187     59 |        0 |        0
1247.17/1247.65	c 1247s |      19 |  1635508 |   585782 |    23187     59 |        0 |        0
1249.27/1249.79	c 1249s |      19 |  1636684 |   586682 |    23187     59 |        0 |        0
1251.37/1251.87	c 1251s |      19 |  1637681 |   587582 |    23187     59 |        0 |        0
1253.47/1253.92	c 1253s |      19 |  1640684 |   588282 |    23187     60 |        0 |        0
1255.57/1256.04	c 1255s |      19 |  1642667 |   589482 |    23187     60 |        0 |        0
1257.57/1258.05	c 1257s |      19 |  1643879 |   590582 |    23187     60 |        0 |        0
1259.66/1260.18	c 1260s |      19 |  1645070 |   591682 |    23187     60 |        0 |        0
1261.86/1262.34	c 1262s |      19 |  1645966 |   592482 |    23187     60 |        0 |        0
1264.06/1264.52	c 1264s |      19 |  1647152 |   593582 |    23187     60 |        0 |        0
1266.16/1266.61	c 1266s |      19 |  1648167 |   594482 |    23187     60 |        0 |        0
1268.36/1268.84	c 1268s |      19 |  1649278 |   595482 |    23187     60 |        0 |        0
1270.56/1271.03	c 1270s |      19 |  1650255 |   596382 |    23187     60 |        0 |        0
1272.56/1273.06	c 1272s |      19 |  1651261 |   597282 |    23187     60 |        0 |        0
1274.66/1275.15	c 1275s |      19 |  1652263 |   598182 |    23187     60 |        0 |        0
1276.96/1277.41	c 1277s |      19 |  1653368 |   599182 |    23187     60 |        0 |        0
1279.46/1279.94	c 1279s |      19 |  1654156 |   599882 |    23187     61 |        0 |        0
1281.56/1282.05	c 1281s |      19 |  1659023 |   601182 |    23187     61 |        0 |        0
1283.66/1284.11	c 1283s |      19 |  1660223 |   602282 |    23187     61 |        0 |        0
1285.76/1286.22	c 1286s |      19 |  1661475 |   603382 |    23187     61 |        0 |        0
1287.96/1288.42	c 1288s |      19 |  1662966 |   604282 |    23187     61 |        0 |        0
1289.96/1290.44	c 1290s |      19 |  1664030 |   605282 |    23187     61 |        0 |        0
1292.06/1292.56	c 1292s |      19 |  1665287 |   606382 |    23187     61 |        0 |        0
1294.26/1294.73	c 1294s |      19 |  1666410 |   607382 |    23187     61 |        0 |        0
1296.26/1296.74	c 1296s |      19 |  1667398 |   608282 |    23187     61 |        0 |        0
1298.56/1299.00	c 1298s |      19 |  1668356 |   609182 |    23187     61 |        0 |        0
1300.56/1301.04	c 1300s |      19 |  1669231 |   609982 |    23187     61 |        0 |        0
1302.66/1303.12	c 1302s |      19 |  1670113 |   610782 |    23187     61 |        0 |        0
1305.36/1305.81	c 1305s |      19 |  1670979 |   611582 |    23187     62 |        0 |        0
1307.35/1307.88	c 1307s |      19 |  1672084 |   612582 |    23187     62 |        0 |        0
1309.45/1309.99	c 1309s |      19 |  1673516 |   613882 |    23187     62 |        0 |        0
1311.65/1312.10	c 1311s |      19 |  1674820 |   615082 |    23187     62 |        0 |        0
1313.65/1314.12	c 1313s |      19 |  1676038 |   616182 |    23187     62 |        0 |        0
1315.75/1316.28	c 1316s |      19 |  1677141 |   617182 |    23187     62 |        0 |        0
1317.95/1318.41	c 1318s |      19 |  1678229 |   618182 |    23187     62 |        0 |        0
1320.35/1320.89	c 1320s |      19 |  1682707 |   619082 |    23187     62 |        0 |        0
1322.55/1323.06	c 1322s |      19 |  1683767 |   619982 |    23187     62 |        0 |        0
1324.75/1325.28	c 1325s |      19 |  1684770 |   620882 |    23187     62 |        0 |        0
1326.95/1327.42	c 1327s |      19 |  1685775 |   621782 |    23187     62 |        0 |        0
1329.15/1329.68	c 1329s |      19 |  1686761 |   622682 |    23187     62 |        0 |        0
1331.95/1332.47	c 1332s |      19 |  1687544 |   623382 |    23187     63 |        0 |        0
1334.06/1334.59	c 1334s |      19 |  1688780 |   624482 |    23187     63 |        0 |        0
1336.16/1336.66	c 1336s |      19 |  1689883 |   625482 |    23187     63 |        0 |        0
1338.36/1338.83	c 1338s |      19 |  1691658 |   626582 |    23187     63 |        0 |        0
1340.36/1340.84	c 1340s |      19 |  1692739 |   627582 |    23187     63 |        0 |        0
1342.46/1342.93	c 1342s |      19 |  1693813 |   628582 |    23187     63 |        0 |        0
1344.46/1344.99	c 1344s |      19 |  1694922 |   629582 |    23187     63 |        0 |        0
1346.56/1347.00	c 1346s |      19 |  1695928 |   630482 |    23187     63 |        0 |        0
1348.66/1349.10	c 1348s |      19 |  1696851 |   631282 |    23187     63 |        0 |        0
1350.75/1351.21	c 1351s |      19 |  1698852 |   632282 |    23187     63 |        0 |        0
1352.85/1353.31	c 1353s |      19 |  1699730 |   633082 |    23187     63 |        0 |        0
1354.86/1355.36	c 1355s |      19 |  1700725 |   633982 |    23187     63 |        0 |        0
1356.96/1357.50	c 1357s |      19 |  1702918 |   634782 |    23187     63 |        0 |        0
1359.26/1359.71	c 1359s |      19 |  1703650 |   635382 |    23187     64 |        0 |        0
1361.36/1361.84	c 1361s |      19 |  1704982 |   636582 |    23187     64 |        0 |        0
1363.45/1363.96	c 1363s |      19 |  1706321 |   637782 |    23187     64 |        0 |        0
1365.55/1366.06	c 1365s |      19 |  1707417 |   638782 |    23187     64 |        0 |        0
1367.65/1368.17	c 1368s |      19 |  1708523 |   639782 |    23187     64 |        0 |        0
1369.65/1370.17	c 1370s |      19 |  1709506 |   640682 |    23187     64 |        0 |        0
1371.65/1372.19	c 1372s |      19 |  1710526 |   641582 |    23187     64 |        0 |        0
1373.75/1374.23	c 1374s |      19 |  1711543 |   642482 |    23187     64 |        0 |        0
1375.85/1376.33	c 1376s |      19 |  1712656 |   643482 |    23187     64 |        0 |        0
1377.96/1378.48	c 1378s |      19 |  1713653 |   644382 |    23187     64 |        0 |        0
1380.25/1380.70	c 1380s |      19 |  1714626 |   645282 |    23187     64 |        0 |        0
1382.45/1382.95	c 1382s |      19 |  1715625 |   646182 |    23187     64 |        0 |        0
1384.56/1385.02	c 1384s |      19 |  1716524 |   646982 |    23187     64 |        0 |        0
1386.55/1387.07	c 1386s |      19 |  1717389 |   647782 |    23187     65 |        0 |        0
1388.95/1389.41	c 1389s |      19 |  1718637 |   648882 |    23187     65 |        0 |        0
1390.94/1391.46	c 1391s |      19 |  1722930 |   649582 |    23187     65 |        0 |        0
1393.14/1393.62	c 1393s |      19 |  1725360 |   650882 |    23187     65 |        0 |        0
1395.24/1395.71	c 1395s |      19 |  1726682 |   652082 |    23187     65 |        0 |        0
1397.24/1397.72	c 1397s |      19 |  1728014 |   653282 |    23187     65 |        0 |        0
1399.24/1399.77	c 1399s |      19 |  1729405 |   654482 |    23187     65 |        0 |        0
1401.44/1401.97	c 1401s |      19 |  1730668 |   655582 |    23187     65 |        0 |        0
1403.64/1404.17	c 1404s |      19 |  1731767 |   656582 |    23187     65 |        0 |        0
1405.74/1406.26	c 1406s |      19 |  1732739 |   657482 |    23187     65 |        0 |        0
1407.84/1408.30	c 1408s |      19 |  1733735 |   658382 |    23187     65 |        0 |        0
1409.94/1410.48	c 1410s |      19 |  1740228 |   659182 |    23187     66 |        0 |        0
1411.95/1412.50	c 1412s |      19 |  1741843 |   659982 |    23187     66 |        0 |        0
1414.15/1414.65	c 1414s |      19 |  1743312 |   661282 |    23187     66 |        0 |        0
1416.24/1416.71	c 1416s |      19 |  1744540 |   662382 |    25506     66 |        0 |        0
1418.24/1418.77	c 1418s |      19 |  1745933 |   663582 |    25506     66 |        0 |        0
1420.34/1420.86	c 1420s |      19 |  1747154 |   664682 |    25506     66 |        0 |        0
1422.44/1422.94	c 1422s |      19 |  1759210 |   665682 |    25506     66 |        0 |        0
1424.54/1425.07	c 1424s |      19 |  1769965 |   666782 |    25506     66 |        0 |        0
1424.64/1425.16	c 1425s |      20 |  1770014 |   666827 |    25506     66 |        0 |        0
1426.84/1427.31	c 1427s |      20 |  1779322 |   667727 |    25506     66 |        0 |        0
1428.94/1429.46	c 1429s |      20 |  1799497 |   668727 |    25506     66 |        0 |        0
1431.04/1431.53	c 1431s |      20 |  1800591 |   669727 |    25506     66 |        0 |        0
1433.04/1433.60	c 1433s |      20 |  1804433 |   670527 |    25506     66 |        0 |        0
1435.15/1435.64	c 1435s |      20 |  1805381 |   671327 |    25506     66 |        0 |        0
1437.25/1437.79	c 1437s |      20 |  1808322 |   672027 |    25506     66 |        0 |        0
1439.34/1439.86	c 1439s |      20 |  1809233 |   672827 |    25506     66 |        0 |        0
1441.44/1441.96	c 1441s |      20 |  1819553 |   673427 |    25506     67 |        0 |        0
1443.44/1443.99	c 1443s |      20 |  1825701 |   674427 |    25506     67 |        0 |        0
1445.54/1446.03	c 1445s |      20 |  1828698 |   675627 |    25506     67 |        0 |        0
1447.54/1448.07	c 1447s |      20 |  1830363 |   676427 |    25506     67 |        0 |        0
1449.84/1450.32	c 1450s |      20 |  1831247 |   677227 |    25506     67 |        0 |        0
1451.94/1452.41	c 1452s |      20 |  1832003 |   677927 |    25506     67 |        0 |        0
1454.04/1454.53	c 1454s |      20 |  1833163 |   678827 |    25506     67 |        0 |        0
1456.24/1456.77	c 1456s |      20 |  1835089 |   679727 |    25506     67 |        0 |        0
1458.43/1458.97	c 1458s |      20 |  1836835 |   680527 |    25506     67 |        0 |        0
1460.44/1460.98	c 1460s |      20 |  1838199 |   681227 |    25506     67 |        0 |        0
1462.54/1463.03	c 1462s |      20 |  1839970 |   681927 |    25506     67 |        0 |        0
1464.74/1465.29	c 1465s |      20 |  1841327 |   682627 |    25506     67 |        0 |        0
1466.94/1467.43	c 1467s |      20 |  1842238 |   683327 |    25506     67 |        0 |        0
1469.14/1469.69	c 1469s |      20 |  1843510 |   684027 |    25506     67 |        0 |        0
1471.34/1471.84	c 1471s |      20 |  1844712 |   684727 |    25506     67 |        0 |        0
1473.33/1473.85	c 1473s |      20 |  1845762 |   685527 |    25506     67 |        0 |        0
1475.43/1475.97	c 1475s |      20 |  1846645 |   686327 |    25506     68 |        0 |        0
1477.53/1478.03	c 1477s |      20 |  1848556 |   687727 |    25506     68 |        0 |        0
1479.73/1480.23	c 1480s |      20 |  1850007 |   688627 |    25506     68 |        0 |        0
1481.83/1482.37	c 1482s |      20 |  1851270 |   689727 |    25506     68 |        0 |        0
1483.93/1484.44	c 1484s |      20 |  1852729 |   691027 |    25506     68 |        0 |        0
1486.13/1486.61	c 1486s |      20 |  1855074 |   692127 |    25506     68 |        0 |        0
1488.13/1488.62	c 1488s |      20 |  1857473 |   693027 |    25506     68 |        0 |        0
1490.33/1490.85	c 1490s |      20 |  1859896 |   693727 |    25506     68 |        0 |        0
1492.53/1493.04	c 1492s |      20 |  1860680 |   694427 |    25506     68 |        0 |        0
1494.63/1495.12	c 1494s |      20 |  1861435 |   695127 |    25506     68 |        0 |        0
1496.63/1497.16	c 1497s |      20 |  1862518 |   695727 |    25506     68 |        0 |        0
1498.73/1499.22	c 1499s |      20 |  1864538 |   696627 |    25506     68 |        0 |        0
1500.72/1501.25	c 1501s |      20 |  1866241 |   697527 |    25506     68 |        0 |        0
1502.82/1503.35	c 1503s |      20 |  1867291 |   698427 |    25506     68 |        0 |        0
1505.02/1505.50	c 1505s |      20 |  1868238 |   699227 |    25506     69 |        0 |        0
1507.02/1507.56	c 1507s |      20 |  1871660 |   700127 |    25506     69 |        0 |        0
1509.12/1509.61	c 1509s |      20 |  1872781 |   701127 |    25506     69 |        0 |        0
1511.12/1511.65	c 1511s |      20 |  1874066 |   702127 |    25506     69 |        0 |        0
1513.13/1513.69	c 1513s |      20 |  1888165 |   703327 |    25506     69 |        0 |        0
1515.22/1515.71	c 1515s |      20 |  1896370 |   704627 |    25506     69 |        0 |        0
1517.32/1517.86	c 1517s |      20 |  1897994 |   705827 |    25506     69 |        0 |        0
1519.52/1520.03	c 1519s |      20 |  1898729 |   706527 |    25506     69 |        0 |        0
1521.52/1522.07	c 1521s |      20 |  1899477 |   707227 |    25506     69 |        0 |        0
1523.72/1524.26	c 1524s |      20 |  1901172 |   708127 |    25506     69 |        0 |        0
1525.92/1526.47	c 1526s |      20 |  1902614 |   709127 |    25506     69 |        0 |        0
1528.22/1528.70	c 1528s |      20 |  1905394 |   709927 |    25506     69 |        0 |        0
1530.22/1530.79	c 1530s |      20 |  1906246 |   710727 |    25506     69 |        0 |        0
1532.42/1532.96	c 1532s |      20 |  1907399 |   711727 |    25506     69 |        0 |        0
1534.43/1534.98	c 1534s |      20 |  1909628 |   712327 |    25506     70 |        0 |        0
1536.43/1536.99	c 1536s |      20 |  1910695 |   713327 |    25506     70 |        0 |        0
1538.63/1539.11	c 1538s |      20 |  1913250 |   714527 |    25506     70 |        0 |        0
1540.63/1541.17	c 1541s |      20 |  1914630 |   715727 |    25506     70 |        0 |        0
1542.73/1543.28	c 1543s |      20 |  1916529 |   716627 |    25506     70 |        0 |        0
1544.73/1545.28	c 1545s |      20 |  1918802 |   717627 |    25506     70 |        0 |        0
1546.92/1547.40	c 1547s |      20 |  1920593 |   718827 |    25506     70 |        0 |        0
1548.92/1549.45	c 1549s |      20 |  1928073 |   719927 |    25506     70 |        0 |        0
1551.02/1551.53	c 1551s |      20 |  1933206 |   720927 |    25506     70 |        0 |        0
1553.12/1553.69	c 1553s |      20 |  1934362 |   721927 |    25506     70 |        0 |        0
1555.22/1555.74	c 1555s |      20 |  1935495 |   722927 |    25506     70 |        0 |        0
1557.23/1557.79	c 1557s |      20 |  1936605 |   723927 |    25506     70 |        0 |        0
1559.33/1559.84	c 1559s |      20 |  1938800 |   724827 |    25506     70 |        0 |        0
1561.42/1561.95	c 1561s |      20 |  1940047 |   725927 |    25506     71 |        0 |        0
1563.52/1564.05	c 1563s |      20 |  1942060 |   726927 |    25506     71 |        0 |        0
1565.72/1566.20	c 1566s |      20 |  1943607 |   728327 |    25506     71 |        0 |        0
1567.82/1568.32	c 1568s |      20 |  1945049 |   729627 |    25506     71 |        0 |        0
1569.92/1570.42	c 1570s |      20 |  1947206 |   730827 |    25506     71 |        0 |        0
1572.02/1572.55	c 1572s |      20 |  1953022 |   732027 |    25506     71 |        0 |        0
1574.12/1574.60	c 1574s |      20 |  1954289 |   733127 |    25506     71 |        0 |        0
1576.22/1576.73	c 1576s |      20 |  1956069 |   734327 |    25506     71 |        0 |        0
1578.32/1578.89	c 1578s |      20 |  1957854 |   735327 |    25506     71 |        0 |        0
1580.52/1581.09	c 1580s |      20 |  1963635 |   736327 |    25506     71 |        0 |        0
1582.72/1583.26	c 1583s |      20 |  1965576 |   737227 |    25506     71 |        0 |        0
1584.92/1585.44	c 1585s |      20 |  1966678 |   738127 |    25506     71 |        0 |        0
1587.02/1587.56	c 1587s |      20 |  1968521 |   738727 |    25506     72 |        0 |        0
1589.12/1589.68	c 1589s |      20 |  1970215 |   739527 |    25506     72 |        0 |        0
1591.42/1591.90	c 1591s |      20 |  1971102 |   740327 |    25506     72 |        0 |        0
1593.52/1594.01	c 1593s |      20 |  1972004 |   741127 |    25506     72 |        0 |        0
1595.72/1596.21	c 1596s |      20 |  1973176 |   741927 |    25506     72 |        0 |        0
1597.82/1598.33	c 1598s |      20 |  1974074 |   742727 |    25506     72 |        0 |        0
1599.91/1600.46	c 1600s |      20 |  1976424 |   743527 |    25506     72 |        0 |        0
1602.11/1602.70	c 1602s |      20 |  1977464 |   744427 |    25506     72 |        0 |        0
1604.31/1604.82	c 1604s |      20 |  1978325 |   745227 |    25506     72 |        0 |        0
1606.41/1606.90	c 1606s |      20 |  1979216 |   746027 |    25506     72 |        0 |        0
1608.41/1608.98	c 1608s |      20 |  1980334 |   746927 |    25506     72 |        0 |        0
1610.61/1611.14	c 1610s |      20 |  1981318 |   747827 |    25506     72 |        0 |        0
1612.71/1613.23	c 1613s |      20 |  1982173 |   748627 |    25506     72 |        0 |        0
1614.81/1615.39	c 1615s |      20 |  1983448 |   749427 |    25506     72 |        0 |        0
1616.91/1617.43	c 1617s |      20 |  1984322 |   750227 |    25506     72 |        0 |        0
1618.91/1619.46	c 1619s |      20 |  1985243 |   751027 |    25506     72 |        0 |        0
1621.11/1621.62	c 1621s |      20 |  1987037 |   751827 |    25506     73 |        0 |        0
1623.12/1623.66	c 1623s |      20 |  1988193 |   752627 |    25506     73 |        0 |        0
1625.11/1625.67	c 1625s |      20 |  1989060 |   753427 |    25506     73 |        0 |        0
1627.21/1627.78	c 1627s |      20 |  1990257 |   754527 |    25506     73 |        0 |        0
1629.31/1629.89	c 1629s |      20 |  1993243 |   755327 |    25506     73 |        0 |        0
1631.51/1632.07	c 1631s |      20 |  1995111 |   756127 |    25506     73 |        0 |        0
1633.61/1634.17	c 1634s |      20 |  1995895 |   756827 |    25506     73 |        0 |        0
1635.61/1636.18	c 1636s |      20 |  1996649 |   757527 |    25506     73 |        0 |        0
1637.91/1638.41	c 1638s |      20 |  1998522 |   758327 |    25506     73 |        0 |        0
1639.91/1640.50	c 1640s |      20 |  1999314 |   759027 |    25506     73 |        0 |        0
1642.11/1642.69	c 1642s |      20 |  2000075 |   759727 |    25506     73 |        0 |        0
1644.21/1644.72	c 1644s |      20 |  2002313 |   760627 |    25506     73 |        0 |        0
1646.41/1646.91	c 1646s |      20 |  2003942 |   761727 |    25506     73 |        0 |        0
1648.61/1649.13	c 1648s |      20 |  2005968 |   762627 |    25506     73 |        0 |        0
1650.61/1651.17	c 1651s |      20 |  2007271 |   763727 |    25506     73 |        0 |        0
1652.71/1653.20	c 1653s |      20 |  2008224 |   764527 |    25506     74 |        0 |        0
1654.91/1655.42	c 1655s |      20 |  2009202 |   765427 |    25506     74 |        0 |        0
1657.01/1657.51	c 1657s |      20 |  2010466 |   766427 |    25506     74 |        0 |        0
1659.10/1659.68	c 1659s |      20 |  2011681 |   767327 |    25506     74 |        0 |        0
1661.20/1661.78	c 1661s |      20 |  2012852 |   768427 |    25506     74 |        0 |        0
1663.30/1663.81	c 1663s |      20 |  2036456 |   769327 |    25506     74 |        0 |        0
1665.30/1665.88	c 1665s |      20 |  2042227 |   770727 |    25506     74 |        0 |        0
1667.40/1667.97	c 1667s |      20 |  2043969 |   772027 |    25506     74 |        0 |        0
1669.60/1670.12	c 1669s |      20 |  2045472 |   773327 |    25506     74 |        0 |        0
1671.61/1672.16	c 1672s |      20 |  2047234 |   774527 |    25506     74 |        0 |        0
1673.71/1674.25	c 1674s |      20 |  2049168 |   775627 |    25506     74 |        0 |        0
1675.70/1676.27	c 1676s |      20 |  2050289 |   776627 |    25506     74 |        0 |        0
1677.70/1678.27	c 1678s |      20 |  2051557 |   777527 |    25506     75 |        0 |        0
1679.80/1680.33	c 1680s |      20 |  2053319 |   778727 |    25506     75 |        0 |        0
1681.90/1682.40	c 1682s |      20 |  2055007 |   779827 |    25506     75 |        0 |        0
1684.10/1684.64	c 1684s |      20 |  2064007 |   781027 |    25506     75 |        0 |        0
1686.10/1686.68	c 1686s |      20 |  2073047 |   782127 |    25506     75 |        0 |        0
1688.20/1688.73	c 1688s |      20 |  2074806 |   783227 |    25506     75 |        0 |        0
1690.40/1690.91	c 1690s |      20 |  2098488 |   784427 |    25506     75 |        0 |        0
1692.41/1692.96	c 1692s |      20 |  2100487 |   785227 |    25506     75 |        0 |        0
1694.61/1695.13	c 1694s |      20 |  2102045 |   786227 |    25506     75 |        0 |        0
1696.81/1697.33	c 1697s |      20 |  2103015 |   787127 |    25506     75 |        0 |        0
1698.90/1699.43	c 1699s |      20 |  2104488 |   788027 |    25506     75 |        0 |        0
1701.00/1701.59	c 1701s |      20 |  2105770 |   789127 |    25506     75 |        0 |        0
1703.10/1703.64	c 1703s |      20 |  2107091 |   790027 |    25506     75 |        0 |        0
1705.20/1705.74	c 1705s |      20 |  2108073 |   790827 |    25506     76 |        0 |        0
1707.39/1707.91	c 1707s |      20 |  2109765 |   791827 |    25506     76 |        0 |        0
1709.49/1710.01	c 1709s |      20 |  2111030 |   792927 |    25506     76 |        0 |        0
1711.59/1712.19	c 1712s |      20 |  2112118 |   793927 |    25506     76 |        0 |        0
1713.79/1714.35	c 1714s |      20 |  2113279 |   794927 |    25506     76 |        0 |        0
1715.99/1716.55	c 1716s |      20 |  2114396 |   795927 |    25506     76 |        0 |        0
1718.09/1718.60	c 1718s |      20 |  2115416 |   796827 |    25506     76 |        0 |        0
1720.09/1720.61	c 1720s |      20 |  2116417 |   797727 |    25506     76 |        0 |        0
1722.10/1722.70	c 1722s |      20 |  2118067 |   798727 |    25506     76 |        0 |        0
1724.19/1724.79	c 1724s |      20 |  2119692 |   799827 |    25506     76 |        0 |        0
1726.29/1726.80	c 1726s |      20 |  2121013 |   800727 |    25506     76 |        0 |        0
1728.39/1728.94	c 1728s |      20 |  2122137 |   801727 |    25506     76 |        0 |        0
1730.39/1730.98	c 1730s |      20 |  2123185 |   802627 |    25506     76 |        0 |        0
1733.20/1733.79	c 1733s |      20 |  2124340 |   803627 |    25506     77 |        0 |        0
1735.40/1735.96	c 1735s |      20 |  2125802 |   804927 |    25506     77 |        0 |        0
1737.39/1737.98	c 1737s |      20 |  2127006 |   806027 |    25506     77 |        0 |        0
1739.49/1740.04	c 1739s |      20 |  2128106 |   807027 |    25506     77 |        0 |        0
1741.59/1742.19	c 1742s |      20 |  2129210 |   808027 |    25506     77 |        0 |        0
1743.79/1744.39	c 1744s |      20 |  2130300 |   809027 |    25506     77 |        0 |        0
1745.89/1746.41	c 1746s |      20 |  2131289 |   809927 |    25506     77 |        0 |        0
1747.89/1748.44	c 1748s |      20 |  2132291 |   810827 |    25506     77 |        0 |        0
1750.09/1750.60	c 1750s |      20 |  2133180 |   811627 |    25506     77 |        0 |        0
1752.19/1752.74	c 1752s |      20 |  2134186 |   812527 |    25506     77 |        0 |        0
1754.29/1754.85	c 1754s |      20 |  2135182 |   813427 |    25506     77 |        0 |        0
1756.29/1756.88	c 1756s |      20 |  2136043 |   814227 |    25506     77 |        0 |        0
1758.49/1759.03	c 1758s |      20 |  2138044 |   814927 |    25506     77 |        0 |        0
1760.59/1761.14	c 1760s |      20 |  2138807 |   815627 |    25506     77 |        0 |        0
1762.69/1763.28	c 1763s |      20 |  2139656 |   816427 |    25506     77 |        0 |        0
1764.88/1765.40	c 1765s |      20 |  2140205 |   816927 |    25506     78 |        0 |        0
1768.48/1769.04	c 1768s |      20 |  2149405 |   817827 |    25506     78 |        0 |        0
1770.68/1771.21	c 1771s |      20 |  2168169 |   819027 |    25506     78 |        0 |        0
1772.79/1773.33	c 1773s |      20 |  2169866 |   820127 |    25506     78 |        0 |        0
1774.78/1775.37	c 1775s |      20 |  2171299 |   821127 |    25506     78 |        0 |        0
1776.98/1777.58	c 1777s |      20 |  2172309 |   822027 |    25506     78 |        0 |        0
1779.29/1779.80	c 1779s |      20 |  2173578 |   822827 |    25506     78 |        0 |        0
1781.49/1782.07	c 1781s |      20 |  2174431 |   823627 |    25506     78 |        0 |        0
1783.69/1784.23	c 1784s |      20 |  2175214 |   824327 |    25506     78 |        0 |        0
1785.89/1786.41	c 1786s |      20 |  2175963 |   825027 |    25506     78 |        0 |        0
1787.98/1788.54	c 1788s |      20 |  2176728 |   825727 |    25506     78 |        0 |        0
1790.18/1790.73	c 1790s |      20 |  2177477 |   826427 |    25506     78 |        0 |        0
1792.28/1792.82	c 1792s |      20 |  2178224 |   827127 |    25506     78 |        0 |        0
1794.38/1794.90	c 1794s |      20 |  2178971 |   827827 |    25506     78 |        0 |        0
1796.38/1796.94	c 1796s |      20 |  2200927 |   828827 |    25506     78 |        0 |        0
1798.38/1798.95	c 1798s |      20 |  2204069 |   829727 |    25506     78 |        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-4090128-1466038308/watcher-4090128-1466038308 -o /tmp/evaluation-result-4090128-1466038308/solver-4090128-1466038308 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466012020-5772 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4090128-1466038308.opb 

pid=9064
running on 4 cores: 0,2,4,6

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.11 2.12 2.09 2/179 9067
/proc/meminfo: memFree=30396732/32872528 swapFree=524788/557492
[pid=9067] ppid=9064 vsize=678332 CPUtime=0 cores=0,2,4,6
/proc/9067/stat : 9067 (toysat) R 9064 9067 5756 0 -1 4202496 2524 0 0 0 0 0 0 0 20 0 4 0 5880902 694611968 2884 33554432000 4194304 16246674 140733626771648 140733626771072 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9067/statm: 170351 2892 441 2943 0 167245 0
[pid=9067/tid=9068] ppid=9064 vsize=695740 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9068/stat : 9068 (toysat) S 9064 9067 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5880902 712437760 2952 33554432000 4194304 16246674 140733626771648 140384265022704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9067/tid=9069] ppid=9064 vsize=699836 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9069/stat : 9069 (toysat) S 9064 9067 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5880902 716632064 2966 33554432000 4194304 16246674 140733626771648 140384254532848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9067/tid=9070] ppid=9064 vsize=704956 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9070/stat : 9070 (toysat) S 9064 9067 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5880902 721874944 2985 33554432000 4194304 16246674 140733626771648 140384244059312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.11 2.12 2.09 2/179 9067
/proc/meminfo: memFree=30396732/32872528 swapFree=524788/557492
[pid=9067] ppid=9064 vsize=1221188 CPUtime=0.09 cores=0,2,4,6
/proc/9067/stat : 9067 (toysat) R 9064 9067 5756 0 -1 4202496 21737 0 0 0 6 3 0 0 20 0 4 0 5880902 1250496512 22035 33554432000 4194304 16246674 140733626771648 140733626770960 6939176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9067/statm: 305297 22035 834 2943 0 302191 0
[pid=9067/tid=9068] ppid=9064 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9068/stat : 9068 (toysat) S 9064 9067 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5880902 1250496512 22035 33554432000 4194304 16246674 140733626771648 140384265022704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9067/tid=9069] ppid=9064 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9069/stat : 9069 (toysat) S 9064 9067 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5880902 1250496512 22035 33554432000 4194304 16246674 140733626771648 140384254532848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9067/tid=9070] ppid=9064 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9070/stat : 9070 (toysat) S 9064 9067 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5880902 1250496512 22035 33554432000 4194304 16246674 140733626771648 140384244059312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.20053 s]
/proc/loadavg: 2.11 2.12 2.09 2/179 9067
/proc/meminfo: memFree=30396732/32872528 swapFree=524788/557492
[pid=9067] ppid=9064 vsize=1221188 CPUtime=0.19 cores=0,2,4,6
/proc/9067/stat : 9067 (toysat) R 9064 9067 5756 0 -1 4202496 37168 0 0 0 14 5 0 0 20 0 4 0 5880902 1250496512 37466 33554432000 4194304 16246674 140733626771648 140733626770960 5523634 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9067/statm: 305297 37476 872 2943 0 302191 0
[pid=9067/tid=9068] ppid=9064 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9068/stat : 9068 (toysat) S 9064 9067 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5880902 1250496512 37481 33554432000 4194304 16246674 140733626771648 140384265022704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9067/tid=9069] ppid=9064 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9069/stat : 9069 (toysat) S 9064 9067 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5880902 1250496512 37487 33554432000 4194304 16246674 140733626771648 140384254532848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9067/tid=9070] ppid=9064 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9070/stat : 9070 (toysat) S 9064 9067 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5880902 1250496512 37491 33554432000 4194304 16246674 140733626771648 140384244059312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1221188

[startup+0.300479 s]
/proc/loadavg: 2.11 2.12 2.09 2/179 9067
/proc/meminfo: memFree=30396732/32872528 swapFree=524788/557492
[pid=9067] ppid=9064 vsize=1221188 CPUtime=0.29 cores=0,2,4,6
/proc/9067/stat : 9067 (toysat) R 9064 9067 5756 0 -1 4202496 54315 0 0 0 22 7 0 0 20 0 4 0 5880902 1250496512 54614 33554432000 4194304 16246674 140733626771648 140733626770960 13954518 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9067/statm: 305297 54622 872 2943 0 302191 0
[pid=9067/tid=9068] ppid=9064 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9068/stat : 9068 (toysat) S 9064 9067 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5880902 1250496512 54628 33554432000 4194304 16246674 140733626771648 140384265022704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9067/tid=9069] ppid=9064 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9069/stat : 9069 (toysat) S 9064 9067 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5880902 1250496512 54633 33554432000 4194304 16246674 140733626771648 140384254532848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9067/tid=9070] ppid=9064 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9070/stat : 9070 (toysat) S 9064 9067 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5880902 1250496512 54639 33554432000 4194304 16246674 140733626771648 140384244059312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1221188

[startup+0.700404 s]
/proc/loadavg: 2.11 2.12 2.09 2/179 9067
/proc/meminfo: memFree=30396732/32872528 swapFree=524788/557492
[pid=9067] ppid=9064 vsize=1221188 CPUtime=0.68 cores=0,2,4,6
/proc/9067/stat : 9067 (toysat) R 9064 9067 5756 0 -1 4202496 119337 0 0 0 52 16 0 0 20 0 4 0 5880902 1250496512 119635 33554432000 4194304 16246674 140733626771648 140733626753536 13954518 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9067/statm: 305297 119643 872 2943 0 302191 0
[pid=9067/tid=9068] ppid=9064 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9068/stat : 9068 (toysat) S 9064 9067 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5880902 1250496512 119647 33554432000 4194304 16246674 140733626771648 140384265022704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9067/tid=9069] ppid=9064 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9069/stat : 9069 (toysat) S 9064 9067 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5880902 1250496512 119652 33554432000 4194304 16246674 140733626771648 140384254532848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9067/tid=9070] ppid=9064 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9070/stat : 9070 (toysat) S 9064 9067 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5880902 1250496512 119657 33554432000 4194304 16246674 140733626771648 140384244059312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1221188

[startup+1.5004 s]
/proc/loadavg: 2.11 2.12 2.09 3/183 9071
/proc/meminfo: memFree=29660200/32872528 swapFree=524788/557492
[pid=9067] ppid=9064 vsize=1221188 CPUtime=1.49 cores=0,2,4,6
/proc/9067/stat : 9067 (toysat) R 9064 9067 5756 0 -1 4202496 246427 0 0 0 115 34 0 0 20 0 4 0 5880902 1250496512 246725 33554432000 4194304 16246674 140733626771648 140733626753536 4221019 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9067/statm: 305297 246725 875 2943 0 302191 0
[pid=9067/tid=9068] ppid=9064 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9068/stat : 9068 (toysat) S 9064 9067 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5880902 1250496512 246725 33554432000 4194304 16246674 140733626771648 140384265022704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9067/tid=9069] ppid=9064 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9069/stat : 9069 (toysat) S 9064 9067 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5880902 1250496512 246725 33554432000 4194304 16246674 140733626771648 140384254532848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9067/tid=9070] ppid=9064 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9070/stat : 9070 (toysat) S 9064 9067 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5880902 1250496512 246725 33554432000 4194304 16246674 140733626771648 140384244059312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1221188

[startup+3.10042 s]
/proc/loadavg: 2.11 2.12 2.09 3/183 9071
/proc/meminfo: memFree=29332048/32872528 swapFree=524788/557492
[pid=9067] ppid=9064 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/9067/stat : 9067 (toysat) R 9064 9067 5756 0 -1 4202496 267645 0 0 0 272 37 0 0 20 0 4 0 5880902 1337528320 267943 33554432000 4194304 16246674 140733626771648 140733626753536 6842300 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9067/statm: 326545 267943 876 2943 0 323439 0
[pid=9067/tid=9068] ppid=9064 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9068/stat : 9068 (toysat) S 9064 9067 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5880902 1337528320 267943 33554432000 4194304 16246674 140733626771648 140384265022704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9067/tid=9069] ppid=9064 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9069/stat : 9069 (toysat) S 9064 9067 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5880902 1337528320 267943 33554432000 4194304 16246674 140733626771648 140384254532848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9067/tid=9070] ppid=9064 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9070/stat : 9070 (toysat) S 9064 9067 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5880902 1337528320 267943 33554432000 4194304 16246674 140733626771648 140384244059312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30041 s]
/proc/loadavg: 2.10 2.12 2.09 3/183 9071
/proc/meminfo: memFree=29325724/32872528 swapFree=524788/557492
[pid=9067] ppid=9064 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/9067/stat : 9067 (toysat) R 9064 9067 5756 0 -1 4202496 267875 0 0 0 592 37 0 0 20 0 4 0 5880902 1338576896 268173 33554432000 4194304 16246674 140733626771648 140733626753536 12477716 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9067/statm: 326801 268173 880 2943 0 323695 0
[pid=9067/tid=9068] ppid=9064 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9068/stat : 9068 (toysat) S 9064 9067 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5880902 1338576896 268173 33554432000 4194304 16246674 140733626771648 140384265022704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9067/tid=9069] ppid=9064 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9069/stat : 9069 (toysat) S 9064 9067 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5880902 1338576896 268173 33554432000 4194304 16246674 140733626771648 140384254532848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9067/tid=9070] ppid=9064 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9070/stat : 9070 (toysat) S 9064 9067 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5880902 1338576896 268173 33554432000 4194304 16246674 140733626771648 140384244059312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.09 2.11 2.09 3/183 9071
/proc/meminfo: memFree=29325040/32872528 swapFree=524788/557492
[pid=9067] ppid=9064 vsize=1307204 CPUtime=12.68 cores=0,2,4,6
/proc/9067/stat : 9067 (toysat) R 9064 9067 5756 0 -1 4202496 267980 0 0 0 1231 37 0 0 20 0 4 0 5880902 1338576896 268278 33554432000 4194304 16246674 140733626771648 140733626753536 5823258 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9067/statm: 326801 268278 880 2943 0 323695 0
[pid=9067/tid=9068] ppid=9064 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9068/stat : 9068 (toysat) S 9064 9067 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5880902 1338576896 268278 33554432000 4194304 16246674 140733626771648 140384265022704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9067/tid=9069] ppid=9064 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9069/stat : 9069 (toysat) S 9064 9067 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5880902 1338576896 268278 33554432000 4194304 16246674 140733626771648 140384254532848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9067/tid=9070] ppid=9064 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9070/stat : 9070 (toysat) S 9064 9067 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5880902 1338576896 268278 33554432000 4194304 16246674 140733626771648 140384244059312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.07 2.11 2.09 3/183 9071
/proc/meminfo: memFree=29325676/32872528 swapFree=524788/557492
[pid=9067] ppid=9064 vsize=1308228 CPUtime=25.48 cores=0,2,4,6
/proc/9067/stat : 9067 (toysat) R 9064 9067 5756 0 -1 4202496 268016 0 0 0 2511 37 0 0 20 0 4 0 5880902 1339625472 268314 33554432000 4194304 16246674 140733626771648 140733626753536 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9067/statm: 327057 268314 886 2943 0 323951 0
[pid=9067/tid=9068] ppid=9064 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9068/stat : 9068 (toysat) S 9064 9067 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5880902 1339625472 268314 33554432000 4194304 16246674 140733626771648 140384265022704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9067/tid=9069] ppid=9064 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9069/stat : 9069 (toysat) S 9064 9067 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5880902 1339625472 268314 33554432000 4194304 16246674 140733626771648 140384254532848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9067/tid=9070] ppid=9064 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9070/stat : 9070 (toysat) S 9064 9067 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5880902 1339625472 268314 33554432000 4194304 16246674 140733626771648 140384244059312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1308228

[startup+51.1005 s]
/proc/loadavg: 2.04 2.10 2.08 3/183 9072
/proc/meminfo: memFree=29320872/32872528 swapFree=524788/557492
[pid=9067] ppid=9064 vsize=1312324 CPUtime=51.09 cores=0,2,4,6
/proc/9067/stat : 9067 (toysat) R 9064 9067 5756 0 -1 4202496 269207 0 0 0 5071 38 0 0 20 0 4 0 5880902 1343819776 269505 33554432000 4194304 16246674 140733626771648 140733626753536 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9067/statm: 328081 269505 887 2943 0 324975 0
[pid=9067/tid=9068] ppid=9064 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9068/stat : 9068 (toysat) S 9064 9067 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5880902 1343819776 269505 33554432000 4194304 16246674 140733626771648 140384265022704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9067/tid=9069] ppid=9064 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9069/stat : 9069 (toysat) S 9064 9067 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5880902 1343819776 269505 33554432000 4194304 16246674 140733626771648 140384254532848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9067/tid=9070] ppid=9064 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9070/stat : 9070 (toysat) S 9064 9067 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5880902 1343819776 269505 33554432000 4194304 16246674 140733626771648 140384244059312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1312324

[startup+102.3 s]
/proc/loadavg: 2.02 2.08 2.08 3/183 9122
/proc/meminfo: memFree=29303060/32872528 swapFree=524788/557492
[pid=9067] ppid=9064 vsize=1327684 CPUtime=102.28 cores=0,2,4,6
/proc/9067/stat : 9067 (toysat) R 9064 9067 5756 0 -1 4202496 273108 0 0 0 10189 39 0 0 20 0 4 0 5880902 1359548416 273406 33554432000 4194304 16246674 140733626771648 140733626753536 6843824 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9067/statm: 331921 273406 887 2943 0 328815 0
[pid=9067/tid=9068] ppid=9064 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9068/stat : 9068 (toysat) S 9064 9067 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5880902 1359548416 273406 33554432000 4194304 16246674 140733626771648 140384265022704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9067/tid=9069] ppid=9064 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9069/stat : 9069 (toysat) S 9064 9067 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5880902 1359548416 273406 33554432000 4194304 16246674 140733626771648 140384254532848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9067/tid=9070] ppid=9064 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9070/stat : 9070 (toysat) S 9064 9067 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5880902 1359548416 273406 33554432000 4194304 16246674 140733626771648 140384244059312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1327684


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

/proc/9067/task/9070/stat : 9070 (toysat) S 9064 9067 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5880902 1382617088 279042 33554432000 4194304 16246674 140733626771648 140384244059312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1350212

[startup+1302.3 s]
/proc/loadavg: 2.17 2.20 2.15 3/183 9380
/proc/meminfo: memFree=29151576/32872528 swapFree=524788/557492
[pid=9067] ppid=9064 vsize=1350212 CPUtime=1301.86 cores=0,2,4,6
/proc/9067/stat : 9067 (toysat) R 9064 9067 5756 0 -1 4202496 279194 0 0 0 130140 46 0 0 20 0 4 0 5880902 1382617088 279042 33554432000 4194304 16246674 140733626771648 140733626753536 5522977 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9067/statm: 337553 279042 888 2943 0 334447 0
[pid=9067/tid=9068] ppid=9064 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9068/stat : 9068 (toysat) S 9064 9067 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5880902 1382617088 279042 33554432000 4194304 16246674 140733626771648 140384265022704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9067/tid=9069] ppid=9064 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9069/stat : 9069 (toysat) S 9064 9067 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5880902 1382617088 279042 33554432000 4194304 16246674 140733626771648 140384254532848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9067/tid=9070] ppid=9064 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9070/stat : 9070 (toysat) S 9064 9067 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5880902 1382617088 279042 33554432000 4194304 16246674 140733626771648 140384244059312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1350212

[startup+1362.3 s]
/proc/loadavg: 2.10 2.18 2.14 3/183 9381
/proc/meminfo: memFree=29151592/32872528 swapFree=524788/557492
[pid=9067] ppid=9064 vsize=1350212 CPUtime=1361.85 cores=0,2,4,6
/proc/9067/stat : 9067 (toysat) R 9064 9067 5756 0 -1 4202496 279194 0 0 0 136138 47 0 0 20 0 4 0 5880902 1382617088 279042 33554432000 4194304 16246674 140733626771648 140733626753536 5546214 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9067/statm: 337553 279042 888 2943 0 334447 0
[pid=9067/tid=9068] ppid=9064 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9068/stat : 9068 (toysat) S 9064 9067 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5880902 1382617088 279042 33554432000 4194304 16246674 140733626771648 140384265022704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9067/tid=9069] ppid=9064 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9069/stat : 9069 (toysat) S 9064 9067 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5880902 1382617088 279042 33554432000 4194304 16246674 140733626771648 140384254532848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9067/tid=9070] ppid=9064 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9070/stat : 9070 (toysat) S 9064 9067 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5880902 1382617088 279042 33554432000 4194304 16246674 140733626771648 140384244059312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1350212

[startup+1422.3 s]
/proc/loadavg: 2.03 2.14 2.13 3/183 9382
/proc/meminfo: memFree=29151112/32872528 swapFree=524788/557492
[pid=9067] ppid=9064 vsize=1350212 CPUtime=1421.85 cores=0,2,4,6
/proc/9067/stat : 9067 (toysat) R 9064 9067 5756 0 -1 4202496 279194 0 0 0 142137 48 0 0 20 0 4 0 5880902 1382617088 279042 33554432000 4194304 16246674 140733626771648 140733626753536 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9067/statm: 337553 279042 888 2943 0 334447 0
[pid=9067/tid=9068] ppid=9064 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9068/stat : 9068 (toysat) S 9064 9067 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5880902 1382617088 279042 33554432000 4194304 16246674 140733626771648 140384265022704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9067/tid=9069] ppid=9064 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9069/stat : 9069 (toysat) S 9064 9067 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5880902 1382617088 279042 33554432000 4194304 16246674 140733626771648 140384254532848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9067/tid=9070] ppid=9064 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9070/stat : 9070 (toysat) S 9064 9067 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5880902 1382617088 279042 33554432000 4194304 16246674 140733626771648 140384244059312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1350212

[startup+1482.3 s]
/proc/loadavg: 1.76 2.06 2.10 2/173 9413
/proc/meminfo: memFree=30285500/32872528 swapFree=524788/557492
[pid=9067] ppid=9064 vsize=1350212 CPUtime=1481.83 cores=0,2,4,6
/proc/9067/stat : 9067 (toysat) R 9064 9067 5756 0 -1 4202496 279194 0 0 0 148135 48 0 0 20 0 4 0 5880902 1382617088 279042 33554432000 4194304 16246674 140733626771648 140733626753536 5829901 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9067/statm: 337553 279042 888 2943 0 334447 0
[pid=9067/tid=9068] ppid=9064 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9068/stat : 9068 (toysat) S 9064 9067 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5880902 1382617088 279042 33554432000 4194304 16246674 140733626771648 140384265022704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9067/tid=9069] ppid=9064 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9069/stat : 9069 (toysat) S 9064 9067 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5880902 1382617088 279042 33554432000 4194304 16246674 140733626771648 140384254532848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9067/tid=9070] ppid=9064 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9070/stat : 9070 (toysat) S 9064 9067 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5880902 1382617088 279042 33554432000 4194304 16246674 140733626771648 140384244059312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1350212

[startup+1542.31 s]
/proc/loadavg: 1.31 1.88 2.04 2/173 9414
/proc/meminfo: memFree=30276472/32872528 swapFree=524788/557492
[pid=9067] ppid=9064 vsize=1359428 CPUtime=1541.83 cores=0,2,4,6
/proc/9067/stat : 9067 (toysat) R 9064 9067 5756 0 -1 4202496 281498 0 0 0 154134 49 0 0 20 0 4 0 5880902 1392054272 281346 33554432000 4194304 16246674 140733626771648 140733626753536 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9067/statm: 339857 281346 888 2943 0 336751 0
[pid=9067/tid=9068] ppid=9064 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9068/stat : 9068 (toysat) S 9064 9067 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5880902 1392054272 281346 33554432000 4194304 16246674 140733626771648 140384265022704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9067/tid=9069] ppid=9064 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9069/stat : 9069 (toysat) S 9064 9067 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5880902 1392054272 281346 33554432000 4194304 16246674 140733626771648 140384254532848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9067/tid=9070] ppid=9064 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9070/stat : 9070 (toysat) S 9064 9067 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5880902 1392054272 281346 33554432000 4194304 16246674 140733626771648 140384244059312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1359428

[startup+1602.3 s]
/proc/loadavg: 1.11 1.72 1.97 2/173 9416
/proc/meminfo: memFree=30276244/32872528 swapFree=524788/557492
[pid=9067] ppid=9064 vsize=1359428 CPUtime=1601.81 cores=0,2,4,6
/proc/9067/stat : 9067 (toysat) R 9064 9067 5756 0 -1 4202496 281498 0 0 0 160132 49 0 0 20 0 4 0 5880902 1392054272 281346 33554432000 4194304 16246674 140733626771648 140733626770744 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9067/statm: 339857 281346 888 2943 0 336751 0
[pid=9067/tid=9068] ppid=9064 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9068/stat : 9068 (toysat) S 9064 9067 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5880902 1392054272 281346 33554432000 4194304 16246674 140733626771648 140384265022704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9067/tid=9069] ppid=9064 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9069/stat : 9069 (toysat) S 9064 9067 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5880902 1392054272 281346 33554432000 4194304 16246674 140733626771648 140384254532848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9067/tid=9070] ppid=9064 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9070/stat : 9070 (toysat) S 9064 9067 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5880902 1392054272 281346 33554432000 4194304 16246674 140733626771648 140384244059312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1359428

[startup+1662.3 s]
/proc/loadavg: 1.13 1.61 1.92 2/173 9417
/proc/meminfo: memFree=30276132/32872528 swapFree=524788/557492
[pid=9067] ppid=9064 vsize=1359428 CPUtime=1661.8 cores=0,2,4,6
/proc/9067/stat : 9067 (toysat) R 9064 9067 5756 0 -1 4202496 281499 0 0 0 166131 49 0 0 20 0 4 0 5880902 1392054272 281347 33554432000 4194304 16246674 140733626771648 140733626753536 5722604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9067/statm: 339857 281347 889 2943 0 336751 0
[pid=9067/tid=9068] ppid=9064 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9068/stat : 9068 (toysat) S 9064 9067 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5880902 1392054272 281347 33554432000 4194304 16246674 140733626771648 140384265022704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9067/tid=9069] ppid=9064 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9069/stat : 9069 (toysat) S 9064 9067 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5880902 1392054272 281347 33554432000 4194304 16246674 140733626771648 140384254532848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9067/tid=9070] ppid=9064 vsize=1359428 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9070/stat : 9070 (toysat) S 9064 9067 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5880902 1392054272 281347 33554432000 4194304 16246674 140733626771648 140384244059312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1359428

[startup+1722.3 s]
/proc/loadavg: 1.04 1.50 1.86 2/174 9421
/proc/meminfo: memFree=30268944/32872528 swapFree=524788/557492
[pid=9067] ppid=9064 vsize=1369668 CPUtime=1721.79 cores=0,2,4,6
/proc/9067/stat : 9067 (toysat) R 9064 9067 5756 0 -1 4202496 283824 0 0 0 172130 49 0 0 20 0 4 0 5880902 1402540032 283672 33554432000 4194304 16246674 140733626771648 140733626753536 5823131 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9067/statm: 342417 283672 889 2943 0 339311 0
[pid=9067/tid=9068] ppid=9064 vsize=1369668 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9068/stat : 9068 (toysat) S 9064 9067 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5880902 1402540032 283672 33554432000 4194304 16246674 140733626771648 140384265022704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9067/tid=9069] ppid=9064 vsize=1369668 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9069/stat : 9069 (toysat) S 9064 9067 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5880902 1402540032 283672 33554432000 4194304 16246674 140733626771648 140384254532848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9067/tid=9070] ppid=9064 vsize=1369668 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9070/stat : 9070 (toysat) S 9064 9067 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5880902 1402540032 283672 33554432000 4194304 16246674 140733626771648 140384244059312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1369668

[startup+1782.3 s]
/proc/loadavg: 1.05 1.42 1.80 2/173 9422
/proc/meminfo: memFree=30267596/32872528 swapFree=524788/557492
[pid=9067] ppid=9064 vsize=1369668 CPUtime=1781.78 cores=0,2,4,6
/proc/9067/stat : 9067 (toysat) R 9064 9067 5756 0 -1 4202496 284059 0 0 0 178129 49 0 0 20 0 4 0 5880902 1402540032 283907 33554432000 4194304 16246674 140733626771648 140733626753536 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9067/statm: 342417 283907 889 2943 0 339311 0
[pid=9067/tid=9068] ppid=9064 vsize=1369668 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9068/stat : 9068 (toysat) S 9064 9067 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5880902 1402540032 283907 33554432000 4194304 16246674 140733626771648 140384265022704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9067/tid=9069] ppid=9064 vsize=1369668 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9069/stat : 9069 (toysat) S 9064 9067 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5880902 1402540032 283907 33554432000 4194304 16246674 140733626771648 140384254532848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9067/tid=9070] ppid=9064 vsize=1369668 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9070/stat : 9070 (toysat) S 9064 9067 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5880902 1402540032 283907 33554432000 4194304 16246674 140733626771648 140384244059312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1369668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.16 1.42 1.80 2/173 9422
/proc/meminfo: memFree=30267600/32872528 swapFree=524788/557492
[pid=9067] ppid=9064 vsize=1369668 CPUtime=1800.09 cores=0,2,4,6
/proc/9067/stat : 9067 (toysat) R 9064 9067 5756 0 -1 4202496 284059 0 0 0 179959 50 0 0 20 0 4 0 5880902 1402540032 283907 33554432000 4194304 16246674 140733626771648 140733626753536 13906983 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9067/statm: 342417 283907 889 2943 0 339311 0
[pid=9067/tid=9068] ppid=9064 vsize=1369668 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9068/stat : 9068 (toysat) S 9064 9067 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5880902 1402540032 283907 33554432000 4194304 16246674 140733626771648 140384265022704 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9067/tid=9069] ppid=9064 vsize=1369668 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9069/stat : 9069 (toysat) S 9064 9067 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5880902 1402540032 283907 33554432000 4194304 16246674 140733626771648 140384254532848 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9067/tid=9070] ppid=9064 vsize=1369668 CPUtime=0 cores=0,2,4,6
/proc/9067/task/9070/stat : 9070 (toysat) S 9064 9067 5756 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 5880902 1402540032 283907 33554432000 4194304 16246674 140733626771648 140384244059312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1369668

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 9067 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.6
CPU system time (s): 0.501923
CPU usage (%): 99.9715
Max. virtual memory (cumulated for all children) (KiB): 1369668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.6
system time used= 0.501923
maximum resident set size= 1135628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284059
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= 469
involuntary context switches= 2090

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5733 second user time and 6.96294 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-16 02:51:48
IDJOB=4090128
IDBENCH=107505
IDSOLVER=2542
FILE ID=node106/4090128-1466038308
RUNJOBID= node106-1466012020-5772
PBS_JOBID= 19902815
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 7b7ca250942f40bb888b7a621ec4b2b8
RANDOM SEED=2067599168

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:        30397344 kB
Buffers:           50568 kB
Cached:            80692 kB
SwapCached:         1476 kB
Active:          1145308 kB
Inactive:          60376 kB
Active(anon):    1075612 kB
Inactive(anon):     1188 kB
Active(file):      69696 kB
Inactive(file):    59188 kB
Unevictable:      557492 kB
Mlocked:          524788 kB
SwapTotal:      67108856 kB
SwapFree:       67099848 kB
Dirty:             16332 kB
Writeback:             4 kB
AnonPages:       1631100 kB
Mapped:            10416 kB
Shmem:                 0 kB
Slab:             577588 kB
SReclaimable:      21028 kB
SUnreclaim:       556560 kB
KernelStack:        1480 kB
PageTables:         6976 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1775672 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1099776 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= 71724 MiB
End job on node106 at 2016-06-16 03:21:49