Trace number 4078603

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

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb
MD5SUMd3d31f2bec4390bf166702fac3cf6fcc
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
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 benchmark0.020996
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables2800
Total number of constraints150
Number of constraints which are clauses80
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint35
Maximum length of a constraint40
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 41
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-06T15:34:53+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-4078603-1465220093.opb"]
0.00/0.01	c use --random-gen="2928463386 3090942734 1346380048 3357115215 1685175185 600370036 714139785 4213475025 4018644037 3137569898 1828002789 1661976516 1696360710 2408668819 886335769 3812003969 3728135389 1418169911 4237601307 1444223073 538685750 3789378203 1536137232 3637796288 1888919451 246262193 1631335415 3898256853 1753411587 2956768772 1154983054 2137684058 3375646103 2822848452 88708708 2493030432 335159083 2282754936 2712516354 302532966 3391329783 1720207692 4102109085 1680520438 2657918419 1503415608 192463415 1048324514 1603885404 1742235012 795066953 4231904297 4270918765 786169110 1089602009 2050174820 577604177 3133918443 1595915529 2345690698 1757800464 2885626380 3339464148 2281778009 2384191937 291693701 938616523 1127766538 546646667 158395189 3857839529 1309728347 1671866874 3907577169 2856309754 1043245336 81522136 2833943368 1871433744 1792357989 3736969312 3908789810 2329891238 115015158 914738524 607176598 1657890556 988761446 882508448 1492888904 1603418995 2031065454 727846226 4128261598 3651328700 3897489743 1434808500 568395443 1807780703 298050689 1151736395 80326112 1080546102 191381996 2735587213 4062901132 971775154 3650254715 861832505 3302384029 3619568923 3380795173 2741275201 108487371 3564330387 3731975680 2692086243 253633254 3855431258 3277307510 2398666227 3109368790 2737886215 2046913826 2118654617 4102684515 2746127896 2698093344 4111504139 3098828527 1034590760 642187157 809851751 233152028 2308845177 1592776191 2225614700 327332315 1580586223 1156306215 4233140259 713528745 1899913258 2408689239 3193326425 3205331500 1213639104 3078223123 418585465 3630462007 2279832406 3976700550 673368621 4099592205 820994596 2796203666 2425549855 2264059514 226029873 1246505195 1109093771 2456034669 4054779262 3480761986 3348399294 2015917475 814057000 624262143 2630529669 2274317606 954211365 35648942 3233960053 2916307049 4216618142 3481166880 2394374005 117809424 1767971393 1072392701 294157394 2157308268 2150513450 4208513273 3877093600 3047797923 1399268488 2428946079 152594925 2536268200 393308852 3397213505 1511731668 69881973 1777467359 2689091196 419252626 2718168364 1769804606 4206589579 4288350663 1912629450 751431073 2949865874 333767412 2526472799 736790171 2002527565 934513411 1242097116 2915765714 3046159545 447141755 3789610764 2375729179 2372936667 4174186963 1246921317 3576670080 3180883694 986053051 1894580044 1656767838 2787806609 3495374738 3036721411 3968405359 2688842917 3457861078 2864226086 324300854 3842348401 3501815703 2157195818 3126441075 1498005037 3152882706 814737724 3169242963 3433338021 3017332861 2618160029 464781795 4245605137 3229198779 390949549 3261737412 1942426139 3723783923 34578535 2761144682 4287076089 2314488082 1583798416 2864448072 1385297421 255 362436" option to reproduce the execution
0.00/0.02	c #vars 2800
0.00/0.02	c #constraints 150
0.00/0.04	c Solving starts ...
0.00/0.04	c ============================[ Search Statistics ]============================
0.00/0.04	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.04	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.04	c =============================================================================
0.00/0.04	c  0.0s |       0 |        0 |        0 |      983      0 |        0 |        0
0.00/0.07	c  0.0s |       1 |      146 |      100 |      983      0 |        0 |        0
0.09/0.16	c  0.1s |       2 |      983 |      250 |     1082      0 |        0 |        0
0.29/0.30	c  0.3s |       3 |     2048 |      475 |     1191      0 |        0 |        0
0.39/0.50	c  0.5s |       4 |     3189 |      813 |     1311      0 |        0 |        0
0.79/0.82	c  0.8s |       5 |     4467 |     1320 |     1443      0 |        0 |        0
1.39/1.47	c  1.4s |       6 |     6342 |     2081 |     1747      0 |        0 |        0
2.19/2.28	c  2.2s |       7 |     8941 |     3223 |     1922      1 |        0 |        0
3.89/3.95	c  3.9s |       8 |    11824 |     4936 |     2115      2 |        0 |        0
5.59/5.63	c  5.6s |       9 |    16197 |     7506 |     2327      4 |        0 |        0
7.58/7.68	c  7.6s |       9 |    19764 |    10106 |     2327      5 |        0 |        0
8.89/8.98	c  8.9s |      10 |    21147 |    11361 |     2560      6 |        0 |        0
11.00/11.06	c 11.0s |      10 |    24809 |    13961 |     2560      7 |        0 |        0
12.99/13.07	c 13.0s |      10 |    26876 |    15761 |     2560      8 |        0 |        0
14.59/14.68	c 14.6s |      11 |    28456 |    17144 |     2816      9 |        0 |        0
16.69/16.74	c 16.7s |      11 |    32090 |    19644 |     2816     10 |        0 |        0
18.80/18.81	c 18.8s |      11 |    34327 |    21644 |     2816     11 |        0 |        0
20.79/20.85	c 20.8s |      11 |    36228 |    23344 |     2816     12 |        0 |        0
22.79/22.88	c 22.8s |      11 |    38056 |    25044 |     2816     13 |        0 |        0
23.79/23.80	c 23.8s |      12 |    38891 |    25819 |     3098     13 |        0 |        0
25.79/25.83	c 25.8s |      12 |    43288 |    28619 |     3098     15 |        0 |        0
27.79/27.86	c 27.8s |      12 |    45895 |    30919 |     3098     16 |        0 |        0
29.79/29.87	c 29.8s |      12 |    48133 |    32919 |     3098     17 |        0 |        0
31.89/31.92	c 31.9s |      12 |    50311 |    34919 |     3098     17 |        0 |        0
33.89/33.96	c 33.9s |      12 |    52620 |    36919 |     3098     18 |        0 |        0
35.79/35.87	c 35.8s |      13 |    54811 |    38832 |     3408     19 |        0 |        0
37.89/37.92	c 37.9s |      13 |    59060 |    41232 |     3408     20 |        0 |        0
39.88/39.97	c 39.9s |      13 |    61240 |    43132 |     3408     21 |        0 |        0
41.98/42.00	c 42.0s |      13 |    63138 |    44832 |     3408     22 |        0 |        0
43.99/44.06	c 44.0s |      13 |    64954 |    46432 |     3408     23 |        0 |        0
46.08/46.14	c 46.1s |      13 |    67072 |    48332 |     3408     23 |        0 |        0
48.18/48.23	c 48.2s |      13 |    69072 |    50132 |     3408     24 |        0 |        0
50.18/50.26	c 50.2s |      13 |    70812 |    51732 |     3408     25 |        0 |        0
52.28/52.36	c 52.3s |      13 |    72885 |    53632 |     3408     26 |        0 |        0
54.38/54.45	c 54.4s |      13 |    74614 |    55232 |     3408     26 |        0 |        0
56.38/56.45	c 56.4s |      13 |    76263 |    56732 |     3408     27 |        0 |        0
58.29/58.36	c 58.3s |      14 |    78034 |    58352 |     3749     27 |        0 |        0
60.38/60.45	c 60.4s |      14 |    82746 |    60752 |     3749     28 |        0 |        0
62.48/62.51	c 62.5s |      14 |    84500 |    62352 |     3749     29 |        0 |        0
64.47/64.54	c 64.5s |      14 |    85787 |    63552 |     3749     29 |        0 |        0
66.58/66.68	c 66.6s |      14 |    87352 |    64952 |     3749     29 |        0 |        0
68.68/68.76	c 68.7s |      14 |    88563 |    66052 |     3749     30 |        0 |        0
70.78/70.81	c 70.8s |      14 |    89780 |    67152 |     3749     30 |        0 |        0
72.88/72.90	c 72.9s |      14 |    91140 |    68352 |     3749     30 |        0 |        0
74.88/74.94	c 74.9s |      14 |    92587 |    69652 |     3749     31 |        0 |        0
76.98/77.04	c 77.0s |      14 |    94294 |    71152 |     3749     31 |        0 |        0
79.07/79.12	c 79.1s |      14 |    95797 |    72452 |     3749     32 |        0 |        0
81.18/81.26	c 81.2s |      14 |    97248 |    73752 |     3749     32 |        0 |        0
83.28/83.31	c 83.3s |      14 |    98832 |    75152 |     3749     33 |        0 |        0
85.28/85.39	c 85.4s |      14 |   100520 |    76652 |     3749     33 |        0 |        0
87.37/87.48	c 87.4s |      14 |   101815 |    77852 |     3749     33 |        0 |        0
89.47/89.52	c 89.5s |      14 |   103027 |    78952 |     3749     34 |        0 |        0
91.47/91.55	c 91.5s |      14 |   104458 |    80252 |     3749     34 |        0 |        0
93.48/93.58	c 93.5s |      14 |   105944 |    81552 |     3749     35 |        0 |        0
95.57/95.62	c 95.6s |      14 |   107744 |    83152 |     3749     35 |        0 |        0
97.67/97.76	c 97.7s |      14 |   109175 |    84452 |     3749     36 |        0 |        0
99.78/99.88	c 99.8s |      14 |   110693 |    85852 |     3749     36 |        0 |        0
101.77/101.89	c  101s |      14 |   111899 |    86952 |     3749     36 |        0 |        0
103.27/103.33	c  103s |      15 |   112624 |    87632 |     4124     36 |        0 |        0
105.27/105.37	c  105s |      15 |   116092 |    89632 |     4124     37 |        0 |        0
107.37/107.43	c  107s |      15 |   117975 |    91332 |     4124     38 |        0 |        0
109.37/109.45	c  109s |      15 |   119556 |    92732 |     4124     38 |        0 |        0
111.47/111.54	c  111s |      15 |   120985 |    94032 |     4124     39 |        0 |        0
113.57/113.64	c  113s |      15 |   122533 |    95432 |     4124     39 |        0 |        0
115.67/115.76	c  115s |      15 |   124306 |    97032 |     4124     40 |        0 |        0
117.78/117.80	c  117s |      15 |   125937 |    98532 |     4124     40 |        0 |        0
119.87/119.93	c  119s |      15 |   127463 |    99932 |     4124     41 |        0 |        0
121.97/122.08	c  122s |      15 |   128849 |   101232 |     4124     41 |        0 |        0
124.07/124.13	c  124s |      15 |   130278 |   102532 |     4124     42 |        0 |        0
126.07/126.19	c  126s |      15 |   132008 |   104132 |     4124     42 |        0 |        0
128.17/128.27	c  128s |      15 |   133410 |   105432 |     4124     43 |        0 |        0
130.27/130.37	c  130s |      15 |   134976 |   106832 |     4124     43 |        0 |        0
132.46/132.50	c  132s |      15 |   136374 |   108132 |     4124     44 |        0 |        0
134.46/134.56	c  134s |      15 |   137895 |   109532 |     4124     44 |        0 |        0
136.56/136.60	c  136s |      15 |   139195 |   110732 |     4124     45 |        0 |        0
138.57/138.64	c  138s |      15 |   140632 |   112032 |     4124     45 |        0 |        0
140.77/140.87	c  140s |      15 |   142244 |   113532 |     4124     46 |        0 |        0
142.97/143.01	c  142s |      15 |   143679 |   114832 |     4124     46 |        0 |        0
145.06/145.15	c  145s |      15 |   145019 |   116032 |     4124     46 |        0 |        0
147.06/147.19	c  147s |      15 |   146334 |   117232 |     4124     47 |        0 |        0
149.16/149.25	c  149s |      15 |   147640 |   118432 |     4124     47 |        0 |        0
151.16/151.28	c  151s |      15 |   149084 |   119732 |     4124     48 |        0 |        0
153.16/153.28	c  153s |      15 |   150391 |   120932 |     4124     48 |        0 |        0
155.26/155.34	c  155s |      15 |   151708 |   122132 |     4124     48 |        0 |        0
157.27/157.36	c  157s |      15 |   153131 |   123432 |     4124     49 |        0 |        0
159.36/159.45	c  159s |      15 |   154545 |   124732 |     4124     49 |        0 |        0
161.57/161.62	c  161s |      15 |   155626 |   125732 |     4124     50 |        0 |        0
163.57/163.64	c  163s |      15 |   156802 |   126832 |     4124     50 |        0 |        0
165.56/165.65	c  165s |      15 |   157990 |   127932 |     4124     50 |        0 |        0
167.66/167.77	c  167s |      15 |   159204 |   129032 |     4124     51 |        0 |        0
169.76/169.86	c  169s |      15 |   160514 |   130232 |     4124     51 |        0 |        0
171.96/172.02	c  171s |      15 |   161690 |   131332 |     4537     52 |        0 |        0
172.36/172.41	c  172s |      16 |   161914 |   131552 |     4537     52 |        0 |        0
174.36/174.42	c  174s |      16 |   166105 |   133852 |     4537     52 |        0 |        0
176.36/176.44	c  176s |      16 |   167905 |   135452 |     4537     53 |        0 |        0
178.36/178.46	c  178s |      16 |   169620 |   136952 |     4537     53 |        0 |        0
180.47/180.58	c  180s |      16 |   171087 |   138252 |     4537     54 |        0 |        0
182.57/182.66	c  182s |      16 |   172736 |   139752 |     4537     54 |        0 |        0
184.66/184.77	c  184s |      16 |   174269 |   141152 |     4537     55 |        0 |        0
186.66/186.79	c  186s |      16 |   175840 |   142552 |     4537     55 |        0 |        0
188.76/188.88	c  188s |      16 |   177396 |   143952 |     4537     56 |        0 |        0
190.86/190.97	c  190s |      16 |   179034 |   145452 |     4537     56 |        0 |        0
192.96/193.05	c  193s |      16 |   180475 |   146752 |     4537     57 |        0 |        0
195.06/195.15	c  195s |      16 |   182230 |   148352 |     4537     57 |        0 |        0
197.06/197.17	c  197s |      16 |   183752 |   149752 |     4537     58 |        0 |        0
199.17/199.26	c  199s |      16 |   185504 |   151352 |     4537     58 |        0 |        0
201.27/201.34	c  201s |      16 |   186949 |   152652 |     4537     59 |        0 |        0
203.26/203.35	c  203s |      16 |   188756 |   154252 |     4537     59 |        0 |        0
205.36/205.42	c  205s |      16 |   190410 |   155752 |     4537     60 |        0 |        0
207.46/207.56	c  207s |      16 |   192177 |   157352 |     4537     60 |        0 |        0
209.66/209.70	c  209s |      16 |   193572 |   158652 |     4537     61 |        0 |        0
211.76/211.82	c  211s |      16 |   195157 |   160052 |     4537     61 |        0 |        0
213.86/213.98	c  213s |      16 |   196583 |   161352 |     4537     61 |        0 |        0
216.15/216.21	c  216s |      16 |   197815 |   162452 |     4537     62 |        0 |        0
218.25/218.40	c  218s |      16 |   199285 |   163752 |     4537     62 |        0 |        0
220.35/220.42	c  220s |      16 |   200519 |   164852 |     4537     63 |        0 |        0
222.45/222.53	c  222s |      16 |   201852 |   166052 |     4537     63 |        0 |        0
224.46/224.59	c  224s |      16 |   203351 |   167352 |     4537     63 |        0 |        0
226.56/226.61	c  226s |      16 |   204691 |   168552 |     4537     64 |        0 |        0
228.65/228.71	c  228s |      16 |   206151 |   169852 |     4537     64 |        0 |        0
230.65/230.75	c  230s |      16 |   207238 |   170852 |     4537     65 |        0 |        0
232.75/232.81	c  232s |      16 |   208557 |   172052 |     4537     65 |        0 |        0
234.85/234.99	c  234s |      16 |   209737 |   173152 |     4537     65 |        0 |        0
237.05/237.11	c  237s |      16 |   210695 |   174052 |     4537     66 |        0 |        0
239.15/239.24	c  239s |      16 |   212264 |   175452 |     4537     66 |        0 |        0
241.35/241.42	c  241s |      16 |   213561 |   176652 |     4537     66 |        0 |        0
243.45/243.57	c  243s |      16 |   214885 |   177852 |     4537     67 |        0 |        0
245.45/245.58	c  245s |      16 |   216076 |   178952 |     4537     67 |        0 |        0
247.56/247.67	c  247s |      16 |   217181 |   179952 |     4537     68 |        0 |        0
249.65/249.71	c  249s |      16 |   218393 |   181052 |     4537     68 |        0 |        0
251.64/251.72	c  251s |      16 |   219353 |   181952 |     4537     68 |        0 |        0
253.85/253.97	c  253s |      16 |   220422 |   182952 |     4537     69 |        0 |        0
255.94/256.08	c  256s |      16 |   221972 |   184352 |     4537     69 |        0 |        0
257.94/258.09	c  258s |      16 |   223504 |   185752 |     4537     69 |        0 |        0
260.04/260.18	c  260s |      16 |   224929 |   187052 |     4537     70 |        0 |        0
262.24/262.31	c  262s |      16 |   226208 |   188252 |     4537     70 |        0 |        0
264.24/264.34	c  264s |      16 |   227169 |   189152 |     4537     71 |        0 |        0
266.34/266.43	c  266s |      16 |   228458 |   190352 |     4537     71 |        0 |        0
268.45/268.59	c  268s |      16 |   229642 |   191452 |     4537     71 |        0 |        0
270.65/270.77	c  270s |      16 |   230728 |   192452 |     4537     72 |        0 |        0
272.76/272.82	c  272s |      16 |   232137 |   193752 |     4537     72 |        0 |        0
274.96/275.02	c  274s |      16 |   233346 |   194852 |     4537     72 |        0 |        0
276.95/277.03	c  276s |      16 |   234432 |   195852 |     4537     73 |        0 |        0
279.15/279.20	c  279s |      16 |   235985 |   197252 |     4991     73 |        0 |        0
279.46/279.56	c  279s |      17 |   236177 |   197432 |     4991     73 |        0 |        0
281.45/281.56	c  281s |      17 |   240279 |   199632 |     4991     74 |        0 |        0
283.55/283.61	c  283s |      17 |   242386 |   201532 |     4991     74 |        0 |        0
285.55/285.66	c  285s |      17 |   244113 |   203032 |     4991     75 |        0 |        0
287.65/287.74	c  287s |      17 |   245685 |   204432 |     4991     75 |        0 |        0
289.75/289.84	c  289s |      17 |   247146 |   205732 |     4991     75 |        0 |        0
291.85/291.97	c  291s |      17 |   248506 |   206932 |     4991     76 |        0 |        0
293.95/294.09	c  294s |      17 |   250049 |   208332 |     4991     76 |        0 |        0
296.05/296.14	c  296s |      17 |   251404 |   209532 |     4991     76 |        0 |        0
298.15/298.25	c  298s |      17 |   252860 |   210832 |     4991     77 |        0 |        0
300.25/300.37	c  300s |      17 |   254433 |   212232 |     4991     77 |        0 |        0
302.55/302.62	c  302s |      17 |   255786 |   213432 |     4991     78 |        0 |        0
304.54/304.67	c  304s |      17 |   257599 |   215032 |     4991     78 |        0 |        0
306.64/306.76	c  306s |      17 |   259170 |   216432 |     4991     78 |        0 |        0
308.74/308.84	c  308s |      17 |   260768 |   217832 |     4991     79 |        0 |        0
310.84/310.95	c  310s |      17 |   262488 |   219332 |     4991     79 |        0 |        0
312.84/312.97	c  312s |      17 |   263812 |   220532 |     4991     79 |        0 |        0
314.94/315.05	c  315s |      17 |   265285 |   221832 |     4991     80 |        0 |        0
316.94/317.09	c  317s |      17 |   266861 |   223232 |     4991     80 |        0 |        0
319.05/319.17	c  319s |      17 |   268200 |   224432 |     4991     80 |        0 |        0
321.25/321.32	c  321s |      17 |   269420 |   225532 |     4991     81 |        0 |        0
323.24/323.39	c  323s |      17 |   270762 |   226732 |     4991     81 |        0 |        0
325.43/325.53	c  325s |      17 |   272229 |   228032 |     4991     81 |        0 |        0
327.53/327.65	c  327s |      17 |   273651 |   229332 |     4991     82 |        0 |        0
329.53/329.67	c  329s |      17 |   275085 |   230632 |     4991     82 |        0 |        0
331.74/331.84	c  331s |      17 |   276532 |   231932 |     4991     82 |        0 |        0
333.84/333.91	c  333s |      17 |   277981 |   233232 |     4991     83 |        0 |        0
335.94/336.00	c  335s |      17 |   279561 |   234632 |     4991     83 |        0 |        0
338.04/338.14	c  338s |      17 |   280903 |   235832 |     4991     84 |        0 |        0
340.04/340.17	c  340s |      17 |   282338 |   237132 |     4991     84 |        0 |        0
342.15/342.27	c  342s |      17 |   283766 |   238432 |     4991     84 |        0 |        0
344.24/344.33	c  344s |      17 |   284977 |   239532 |     4991     85 |        0 |        0
346.34/346.43	c  346s |      17 |   286507 |   240932 |     4991     85 |        0 |        0
348.54/348.60	c  348s |      17 |   288082 |   242332 |     4991     85 |        0 |        0
350.54/350.63	c  350s |      17 |   289406 |   243532 |     4991     86 |        0 |        0
352.64/352.73	c  352s |      17 |   290678 |   244732 |     4991     86 |        0 |        0
354.63/354.75	c  354s |      17 |   292029 |   245932 |     4991     86 |        0 |        0
356.73/356.81	c  356s |      17 |   293139 |   246932 |     4991     86 |        0 |        0
358.93/359.01	c  358s |      17 |   294258 |   247932 |     4991     87 |        0 |        0
361.03/361.13	c  361s |      17 |   295487 |   249032 |     4991     87 |        0 |        0
363.23/363.32	c  363s |      17 |   296692 |   250132 |     4991     87 |        0 |        0
365.33/365.49	c  365s |      17 |   297802 |   251132 |     4991     88 |        0 |        0
367.44/367.54	c  367s |      17 |   299154 |   252332 |     4991     88 |        0 |        0
369.64/369.77	c  369s |      17 |   300220 |   253332 |     4991     88 |        0 |        0
371.83/371.90	c  371s |      17 |   301327 |   254332 |     4991     88 |        0 |        0
373.94/374.03	c  373s |      17 |   302972 |   255832 |     4991     89 |        0 |        0
375.93/376.05	c  376s |      17 |   304406 |   257132 |     4991     89 |        0 |        0
377.93/378.07	c  378s |      17 |   305720 |   258332 |     4991     90 |        0 |        0
380.13/380.21	c  380s |      17 |   307198 |   259632 |     4991     90 |        0 |        0
382.23/382.37	c  382s |      17 |   308635 |   260932 |     4991     90 |        0 |        0
384.33/384.43	c  384s |      17 |   309738 |   261932 |     4991     91 |        0 |        0
386.33/386.45	c  386s |      17 |   310731 |   262832 |     4991     91 |        0 |        0
388.53/388.68	c  388s |      17 |   311945 |   263932 |     4991     91 |        0 |        0
390.73/390.85	c  390s |      17 |   313026 |   264932 |     4991     91 |        0 |        0
392.83/392.90	c  392s |      17 |   313809 |   265632 |     4991     92 |        0 |        0
394.83/394.99	c  394s |      17 |   314774 |   266532 |     4991     92 |        0 |        0
397.03/397.13	c  397s |      17 |   315991 |   267632 |     4991     92 |        0 |        0
399.03/399.14	c  399s |      17 |   316988 |   268532 |     4991     92 |        0 |        0
401.33/401.42	c  401s |      17 |   318009 |   269432 |     4991     93 |        0 |        0
403.43/403.55	c  403s |      17 |   319013 |   270332 |     4991     93 |        0 |        0
405.63/405.77	c  405s |      17 |   319871 |   271132 |     4991     93 |        0 |        0
407.73/407.88	c  407s |      17 |   321259 |   272332 |     4991     93 |        0 |        0
409.93/410.02	c  409s |      17 |   322601 |   273532 |     4991     94 |        0 |        0
412.03/412.17	c  412s |      17 |   324164 |   274932 |     4991     94 |        0 |        0
414.33/414.40	c  414s |      17 |   325360 |   276032 |     4991     94 |        0 |        0
416.33/416.47	c  416s |      17 |   326484 |   277032 |     4991     95 |        0 |        0
418.42/418.60	c  418s |      17 |   327930 |   278332 |     4991     95 |        0 |        0
420.52/420.63	c  420s |      17 |   329118 |   279432 |     4991     95 |        0 |        0
422.52/422.65	c  422s |      17 |   330338 |   280532 |     4991     95 |        0 |        0
424.63/424.78	c  424s |      17 |   331810 |   281832 |     4991     96 |        0 |        0
426.83/426.95	c  426s |      17 |   333246 |   283132 |     4991     96 |        0 |        0
428.93/429.03	c  428s |      17 |   334426 |   284232 |     4991     96 |        0 |        0
430.92/431.08	c  431s |      17 |   335635 |   285332 |     4991     97 |        0 |        0
433.12/433.23	c  433s |      17 |   336969 |   286532 |     4991     97 |        0 |        0
435.12/435.27	c  435s |      17 |   338192 |   287632 |     4991     97 |        0 |        0
437.23/437.36	c  437s |      17 |   339263 |   288632 |     4991     98 |        0 |        0
439.22/439.37	c  439s |      17 |   340438 |   289732 |     4991     98 |        0 |        0
441.22/441.39	c  441s |      17 |   341545 |   290732 |     4991     98 |        0 |        0
443.33/443.44	c  443s |      17 |   342628 |   291732 |     4991     98 |        0 |        0
445.32/445.48	c  445s |      17 |   343726 |   292732 |     4991     99 |        0 |        0
447.42/447.55	c  447s |      17 |   344700 |   293632 |     4991     99 |        0 |        0
449.51/449.64	c  449s |      17 |   345676 |   294532 |     5491     99 |        0 |        0
451.61/451.74	c  451s |      17 |   346899 |   295632 |     5491     99 |        0 |        0
452.91/453.01	c  452s |      18 |   347597 |   296252 |     5491    100 |        0 |        0
454.91/455.02	c  454s |      18 |   351664 |   298152 |     5491    100 |        0 |        0
457.01/457.16	c  457s |      18 |   353533 |   299752 |     5491    101 |        0 |        0
459.11/459.29	c  459s |      18 |   355130 |   301152 |     5491    101 |        0 |        0
461.21/461.35	c  461s |      18 |   356489 |   302352 |     5491    101 |        0 |        0
463.32/463.50	c  463s |      18 |   357717 |   303452 |     5491    102 |        0 |        0
465.42/465.52	c  465s |      18 |   359031 |   304652 |     5491    102 |        0 |        0
467.62/467.70	c  467s |      18 |   360371 |   305852 |     5491    102 |        0 |        0
469.63/469.78	c  469s |      18 |   361860 |   307152 |     5491    103 |        0 |        0
471.72/471.89	c  471s |      18 |   363131 |   308252 |     5491    103 |        0 |        0
473.82/473.93	c  473s |      18 |   364328 |   309352 |     5491    103 |        0 |        0
475.92/476.10	c  476s |      18 |   365431 |   310352 |     5491    103 |        0 |        0
478.12/478.23	c  478s |      18 |   366517 |   311352 |     5491    104 |        0 |        0
480.22/480.30	c  480s |      18 |   367719 |   312452 |     5491    104 |        0 |        0
482.22/482.35	c  482s |      18 |   368705 |   313352 |     5491    104 |        0 |        0
484.42/484.50	c  484s |      18 |   370068 |   314552 |     5491    105 |        0 |        0
486.42/486.52	c  486s |      18 |   371639 |   315952 |     5491    105 |        0 |        0
488.51/488.65	c  488s |      18 |   373048 |   317252 |     5491    105 |        0 |        0
490.71/490.81	c  490s |      18 |   374128 |   318252 |     5491    106 |        0 |        0
492.82/492.92	c  492s |      18 |   375429 |   319452 |     5491    106 |        0 |        0
494.92/495.03	c  494s |      18 |   376656 |   320552 |     5491    106 |        0 |        0
497.01/497.15	c  497s |      18 |   377763 |   321552 |     5491    107 |        0 |        0
499.01/499.18	c  499s |      18 |   379055 |   322752 |     5491    107 |        0 |        0
501.21/501.31	c  501s |      18 |   380160 |   323752 |     5491    107 |        0 |        0
503.31/503.49	c  503s |      18 |   381367 |   324852 |     5491    107 |        0 |        0
505.51/505.61	c  505s |      18 |   382652 |   325952 |     5491    108 |        0 |        0
507.61/507.73	c  507s |      18 |   384059 |   327152 |     5491    108 |        0 |        0
509.71/509.89	c  509s |      18 |   385369 |   328252 |     5491    108 |        0 |        0
511.91/512.00	c  511s |      18 |   386531 |   329252 |     5491    109 |        0 |        0
514.01/514.17	c  514s |      18 |   388138 |   330652 |     5491    109 |        0 |        0
516.11/516.20	c  516s |      18 |   389478 |   331852 |     5491    109 |        0 |        0
518.21/518.34	c  518s |      18 |   390761 |   332952 |     5491    110 |        0 |        0
520.21/520.36	c  520s |      18 |   392087 |   334152 |     5491    110 |        0 |        0
522.21/522.38	c  522s |      18 |   393201 |   335152 |     5491    110 |        0 |        0
524.51/524.61	c  524s |      18 |   394323 |   336152 |     5491    111 |        0 |        0
526.51/526.66	c  526s |      18 |   395742 |   337452 |     5491    111 |        0 |        0
528.60/528.76	c  528s |      18 |   397046 |   338652 |     5491    111 |        0 |        0
530.81/530.98	c  530s |      18 |   398256 |   339752 |     5491    111 |        0 |        0
533.01/533.14	c  533s |      18 |   399506 |   340852 |     5491    112 |        0 |        0
535.00/535.15	c  535s |      18 |   400611 |   341852 |     5491    112 |        0 |        0
537.00/537.19	c  537s |      18 |   401995 |   343052 |     5491    112 |        0 |        0
539.10/539.27	c  539s |      18 |   403240 |   344152 |     5491    113 |        0 |        0
541.21/541.31	c  541s |      18 |   404454 |   345252 |     5491    113 |        0 |        0
543.20/543.32	c  543s |      18 |   405715 |   346352 |     5491    113 |        0 |        0
545.20/545.33	c  545s |      18 |   406945 |   347452 |     5491    114 |        0 |        0
547.20/547.39	c  547s |      18 |   408308 |   348652 |     5491    114 |        0 |        0
549.30/549.48	c  549s |      18 |   409660 |   349852 |     5491    114 |        0 |        0
551.50/551.62	c  551s |      18 |   410855 |   350952 |     5491    115 |        0 |        0
553.60/553.76	c  553s |      18 |   412079 |   352052 |     5491    115 |        0 |        0
555.80/555.98	c  555s |      18 |   413308 |   353152 |     5491    115 |        0 |        0
557.80/557.98	c  557s |      18 |   414315 |   354052 |     5491    115 |        0 |        0
560.00/560.18	c  560s |      18 |   415218 |   354852 |     5491    116 |        0 |        0
562.11/562.24	c  562s |      18 |   416428 |   355952 |     5491    116 |        0 |        0
564.31/564.44	c  564s |      18 |   417654 |   357052 |     5491    116 |        0 |        0
566.41/566.58	c  566s |      18 |   418794 |   358052 |     5491    116 |        0 |        0
568.50/568.65	c  568s |      18 |   419952 |   359052 |     5491    117 |        0 |        0
570.60/570.76	c  570s |      18 |   421285 |   360252 |     5491    117 |        0 |        0
572.80/572.96	c  572s |      18 |   422527 |   361352 |     5491    117 |        0 |        0
575.00/575.11	c  575s |      18 |   423646 |   362352 |     5491    118 |        0 |        0
577.00/577.13	c  577s |      18 |   424767 |   363352 |     5491    118 |        0 |        0
579.10/579.27	c  579s |      18 |   425895 |   364352 |     5491    118 |        0 |        0
581.30/581.43	c  581s |      18 |   426920 |   365252 |     5491    118 |        0 |        0
583.40/583.53	c  583s |      18 |   427938 |   366152 |     5491    119 |        0 |        0
585.40/585.55	c  585s |      18 |   429178 |   367252 |     5491    119 |        0 |        0
587.50/587.61	c  587s |      18 |   430175 |   368152 |     5491    119 |        0 |        0
589.61/589.72	c  589s |      18 |   431073 |   368952 |     5491    119 |        0 |        0
591.60/591.74	c  591s |      18 |   432179 |   369952 |     5491    120 |        0 |        0
593.80/593.90	c  593s |      18 |   433528 |   371152 |     5491    120 |        0 |        0
595.80/595.97	c  595s |      18 |   434780 |   372252 |     5491    120 |        0 |        0
597.90/598.08	c  598s |      18 |   435888 |   373252 |     5491    121 |        0 |        0
600.10/600.22	c  600s |      18 |   437157 |   374352 |     5491    121 |        0 |        0
602.10/602.27	c  602s |      18 |   438282 |   375352 |     5491    121 |        0 |        0
604.30/604.49	c  604s |      18 |   439408 |   376352 |     5491    121 |        0 |        0
606.49/606.66	c  606s |      18 |   440386 |   377252 |     5491    122 |        0 |        0
608.59/608.77	c  608s |      18 |   441512 |   378252 |     5491    122 |        0 |        0
610.79/610.92	c  610s |      18 |   442846 |   379452 |     5491    122 |        0 |        0
612.79/612.93	c  612s |      18 |   444077 |   380552 |     5491    123 |        0 |        0
614.90/615.07	c  615s |      18 |   445355 |   381752 |     5491    123 |        0 |        0
617.10/617.24	c  617s |      18 |   446719 |   382952 |     5491    123 |        0 |        0
619.39/619.51	c  619s |      18 |   447702 |   383852 |     5491    124 |        0 |        0
621.40/621.52	c  621s |      18 |   448835 |   384852 |     5491    124 |        0 |        0
623.49/623.69	c  623s |      18 |   449816 |   385752 |     5491    124 |        0 |        0
625.69/625.85	c  625s |      18 |   451089 |   386852 |     5491    124 |        0 |        0
627.79/627.95	c  627s |      18 |   452124 |   387752 |     5491    125 |        0 |        0
629.89/630.04	c  630s |      18 |   453251 |   388752 |     5491    125 |        0 |        0
631.89/632.09	c  632s |      18 |   454351 |   389752 |     5491    125 |        0 |        0
633.99/634.17	c  634s |      18 |   455203 |   390552 |     5491    125 |        0 |        0
636.19/636.38	c  636s |      18 |   456121 |   391352 |     5491    126 |        0 |        0
638.29/638.42	c  638s |      18 |   457131 |   392252 |     5491    126 |        0 |        0
640.29/640.49	c  640s |      18 |   458494 |   393452 |     5491    126 |        0 |        0
642.49/642.65	c  642s |      18 |   459726 |   394552 |     5491    126 |        0 |        0
644.59/644.78	c  644s |      18 |   460981 |   395652 |     5491    127 |        0 |        0
646.69/646.82	c  646s |      18 |   462422 |   396852 |     5491    127 |        0 |        0
648.68/648.83	c  648s |      18 |   463599 |   397852 |     5491    127 |        0 |        0
650.69/650.85	c  650s |      18 |   464591 |   398752 |     5491    128 |        0 |        0
652.78/652.99	c  652s |      18 |   465818 |   399852 |     5491    128 |        0 |        0
655.08/655.21	c  655s |      18 |   466907 |   400852 |     5491    128 |        0 |        0
657.18/657.38	c  657s |      18 |   467872 |   401752 |     5491    128 |        0 |        0
659.39/659.53	c  659s |      18 |   468788 |   402552 |     5491    129 |        0 |        0
661.39/661.55	c  661s |      18 |   469902 |   403552 |     5491    129 |        0 |        0
663.49/663.64	c  663s |      18 |   471367 |   404852 |     5491    129 |        0 |        0
665.50/665.69	c  665s |      18 |   472485 |   405852 |     5491    130 |        0 |        0
667.70/667.85	c  667s |      18 |   473816 |   407052 |     5491    130 |        0 |        0
669.90/670.02	c  669s |      18 |   475041 |   408152 |     5491    130 |        0 |        0
672.00/672.14	c  672s |      18 |   476130 |   409152 |     5491    130 |        0 |        0
674.09/674.29	c  674s |      18 |   477232 |   410152 |     5491    131 |        0 |        0
676.29/676.45	c  676s |      18 |   478453 |   411252 |     5491    131 |        0 |        0
678.39/678.51	c  678s |      18 |   479436 |   412152 |     5491    131 |        0 |        0
680.49/680.61	c  680s |      18 |   480473 |   413052 |     5491    131 |        0 |        0
682.49/682.65	c  682s |      18 |   481744 |   414152 |     5491    132 |        0 |        0
684.49/684.68	c  684s |      18 |   482957 |   415252 |     5491    132 |        0 |        0
686.59/686.72	c  686s |      18 |   484215 |   416352 |     5491    132 |        0 |        0
688.69/688.88	c  688s |      18 |   485432 |   417452 |     5491    133 |        0 |        0
690.79/690.99	c  690s |      18 |   486655 |   418552 |     5491    133 |        0 |        0
692.89/693.05	c  693s |      18 |   487923 |   419652 |     5491    133 |        0 |        0
694.99/695.18	c  695s |      18 |   489023 |   420652 |     5491    134 |        0 |        0
697.09/697.20	c  697s |      18 |   490210 |   421752 |     5491    134 |        0 |        0
699.08/699.22	c  699s |      18 |   491460 |   422852 |     5491    134 |        0 |        0
701.09/701.29	c  701s |      18 |   492728 |   423952 |     5491    134 |        0 |        0
703.19/703.32	c  703s |      18 |   493738 |   424852 |     5491    135 |        0 |        0
705.28/705.45	c  705s |      18 |   494835 |   425852 |     5491    135 |        0 |        0
707.29/707.49	c  707s |      18 |   495804 |   426752 |     5491    135 |        0 |        0
709.28/709.49	c  709s |      18 |   496769 |   427652 |     5491    135 |        0 |        0
711.48/711.60	c  711s |      18 |   497962 |   428652 |     5491    136 |        0 |        0
713.58/713.75	c  713s |      18 |   499326 |   429852 |     5491    136 |        0 |        0
715.68/715.86	c  715s |      18 |   500443 |   430852 |     5491    136 |        0 |        0
717.78/717.92	c  717s |      18 |   501331 |   431652 |     5491    137 |        0 |        0
719.98/720.12	c  720s |      18 |   502578 |   432752 |     5491    137 |        0 |        0
722.08/722.27	c  722s |      18 |   503554 |   433652 |     5491    137 |        0 |        0
724.28/724.49	c  724s |      18 |   504449 |   434452 |     5491    137 |        0 |        0
726.48/726.65	c  726s |      18 |   505474 |   435352 |     5491    138 |        0 |        0
728.58/728.79	c  728s |      18 |   506961 |   436652 |     5491    138 |        0 |        0
730.78/730.97	c  730s |      18 |   508318 |   437852 |     5491    138 |        0 |        0
733.08/733.26	c  733s |      18 |   509432 |   438852 |     5491    139 |        0 |        0
735.08/735.28	c  735s |      18 |   510411 |   439752 |     5491    139 |        0 |        0
737.28/737.41	c  737s |      18 |   511381 |   440652 |     5491    139 |        0 |        0
739.28/739.46	c  739s |      18 |   512473 |   441652 |     6041    139 |        0 |        0
741.28/741.50	c  741s |      18 |   513330 |   442452 |     6041    139 |        0 |        0
743.38/743.54	c  743s |      18 |   514082 |   443152 |     6041    140 |        0 |        0
745.58/745.78	c  745s |      18 |   515279 |   444252 |     6041    140 |        0 |        0
746.18/746.33	c  746s |      19 |   515535 |   444482 |     6041    140 |        0 |        0
748.18/748.36	c  748s |      19 |   519888 |   446682 |     6041    140 |        0 |        0
750.18/750.37	c  750s |      19 |   521824 |   448382 |     6041    141 |        0 |        0
752.28/752.48	c  752s |      19 |   523762 |   450082 |     6041    141 |        0 |        0
754.37/754.57	c  754s |      19 |   525512 |   451582 |     6041    141 |        0 |        0
756.37/756.59	c  756s |      19 |   527223 |   453082 |     6041    142 |        0 |        0
758.57/758.70	c  758s |      19 |   529029 |   454682 |     6041    142 |        0 |        0
760.67/760.80	c  760s |      19 |   530602 |   456082 |     6041    142 |        0 |        0
762.67/762.82	c  762s |      19 |   532303 |   457582 |     6041    143 |        0 |        0
764.77/764.94	c  764s |      19 |   534322 |   459382 |     6041    143 |        0 |        0
766.87/767.06	c  767s |      19 |   535885 |   460782 |     6041    144 |        0 |        0
768.88/769.07	c  769s |      19 |   537651 |   462382 |     6041    144 |        0 |        0
770.98/771.16	c  771s |      19 |   539283 |   463882 |     6041    144 |        0 |        0
772.97/773.17	c  773s |      19 |   540485 |   464982 |     6041    145 |        0 |        0
775.07/775.21	c  775s |      19 |   542140 |   466482 |     6041    145 |        0 |        0
777.17/777.34	c  777s |      19 |   543688 |   467882 |     6041    145 |        0 |        0
779.47/779.65	c  779s |      19 |   544975 |   469082 |     6041    146 |        0 |        0
781.57/781.72	c  781s |      19 |   546404 |   470382 |     6041    146 |        0 |        0
783.57/783.74	c  783s |      19 |   547843 |   471682 |     6041    146 |        0 |        0
785.57/785.79	c  785s |      19 |   549568 |   473182 |     6041    146 |        0 |        0
787.77/787.90	c  787s |      19 |   551154 |   474582 |     6041    147 |        0 |        0
789.77/789.96	c  789s |      19 |   552738 |   475982 |     6041    147 |        0 |        0
791.87/792.09	c  792s |      19 |   554162 |   477282 |     6041    147 |        0 |        0
793.96/794.20	c  794s |      19 |   555609 |   478582 |     6041    148 |        0 |        0
796.06/796.29	c  796s |      19 |   557074 |   479882 |     6041    148 |        0 |        0
798.16/798.30	c  798s |      19 |   558384 |   481082 |     6041    148 |        0 |        0
800.26/800.41	c  800s |      19 |   559672 |   482182 |     6041    149 |        0 |        0
802.36/802.51	c  802s |      19 |   561245 |   483582 |     6041    149 |        0 |        0
804.46/804.66	c  804s |      19 |   562583 |   484782 |     6041    149 |        0 |        0
806.57/806.78	c  806s |      19 |   563826 |   485882 |     6041    149 |        0 |        0
808.67/808.87	c  808s |      19 |   565082 |   486982 |     6041    150 |        0 |        0
810.76/810.95	c  810s |      19 |   566416 |   488182 |     6041    150 |        0 |        0
812.96/813.16	c  813s |      19 |   567738 |   489382 |     6041    150 |        0 |        0
815.26/815.48	c  815s |      19 |   568850 |   490382 |     6041    151 |        0 |        0
817.35/817.50	c  817s |      19 |   570431 |   491782 |     6041    151 |        0 |        0
819.36/819.57	c  819s |      19 |   572151 |   493282 |     6041    151 |        0 |        0
821.75/821.91	c  821s |      19 |   573747 |   494682 |     6041    152 |        0 |        0
823.75/823.94	c  823s |      19 |   575317 |   496082 |     6041    152 |        0 |        0
825.75/825.98	c  825s |      19 |   576738 |   497382 |     6041    152 |        0 |        0
827.85/828.08	c  828s |      19 |   578210 |   498682 |     6041    152 |        0 |        0
829.94/830.10	c  830s |      19 |   579638 |   499982 |     6041    153 |        0 |        0
832.04/832.23	c  832s |      19 |   581073 |   501282 |     6041    153 |        0 |        0
834.04/834.29	c  834s |      19 |   582322 |   502382 |     6041    153 |        0 |        0
836.14/836.32	c  836s |      19 |   583209 |   503182 |     6041    154 |        0 |        0
838.16/838.34	c  838s |      19 |   584289 |   504182 |     6041    154 |        0 |        0
840.25/840.44	c  840s |      19 |   585820 |   505582 |     6041    154 |        0 |        0
842.34/842.51	c  842s |      19 |   587009 |   506682 |     6041    154 |        0 |        0
844.54/844.70	c  844s |      19 |   588098 |   507682 |     6041    155 |        0 |        0
846.54/846.74	c  846s |      19 |   589529 |   508982 |     6041    155 |        0 |        0
848.64/848.87	c  848s |      19 |   591287 |   510482 |     6041    155 |        0 |        0
850.94/851.18	c  851s |      19 |   592737 |   511782 |     6041    156 |        0 |        0
853.03/853.24	c  853s |      19 |   594198 |   513082 |     6041    156 |        0 |        0
855.13/855.34	c  855s |      19 |   595405 |   514182 |     6041    156 |        0 |        0
857.23/857.48	c  857s |      19 |   596612 |   515282 |     6041    156 |        0 |        0
859.23/859.48	c  859s |      19 |   597898 |   516382 |     6041    157 |        0 |        0
861.33/861.54	c  861s |      19 |   599695 |   517882 |     6041    157 |        0 |        0
863.43/863.65	c  863s |      19 |   601294 |   519282 |     6041    157 |        0 |        0
865.43/865.67	c  865s |      19 |   602601 |   520482 |     6041    158 |        0 |        0
867.43/867.67	c  867s |      19 |   604108 |   521882 |     6041    158 |        0 |        0
869.62/869.81	c  869s |      19 |   605628 |   523282 |     6041    158 |        0 |        0
871.72/871.97	c  871s |      19 |   606947 |   524482 |     6041    158 |        0 |        0
873.82/874.03	c  873s |      19 |   608252 |   525682 |     6041    159 |        0 |        0
875.82/876.09	c  876s |      19 |   609793 |   527082 |     6041    159 |        0 |        0
878.02/878.20	c  878s |      19 |   611344 |   528482 |     6041    159 |        0 |        0
880.02/880.22	c  880s |      19 |   612579 |   529582 |     6041    160 |        0 |        0
882.12/882.32	c  882s |      19 |   613896 |   530782 |     6041    160 |        0 |        0
884.12/884.33	c  884s |      19 |   615210 |   531982 |     6041    160 |        0 |        0
886.42/886.63	c  886s |      19 |   616557 |   533182 |     6041    161 |        0 |        0
888.51/888.71	c  888s |      19 |   618001 |   534482 |     6041    161 |        0 |        0
890.51/890.75	c  890s |      19 |   619706 |   535982 |     6041    161 |        0 |        0
892.61/892.88	c  892s |      19 |   621115 |   537282 |     6041    161 |        0 |        0
894.71/894.97	c  894s |      19 |   622549 |   538582 |     6041    162 |        0 |        0
896.81/897.03	c  896s |      19 |   623978 |   539882 |     6041    162 |        0 |        0
898.91/899.13	c  899s |      19 |   625352 |   541082 |     6041    162 |        0 |        0
900.92/901.18	c  901s |      19 |   626339 |   541982 |     6041    163 |        0 |        0
903.02/903.23	c  903s |      19 |   628156 |   543582 |     6041    163 |        0 |        0
905.12/905.34	c  905s |      19 |   629690 |   544982 |     6041    163 |        0 |        0
907.11/907.36	c  907s |      19 |   630908 |   546082 |     6041    164 |        0 |        0
909.21/909.43	c  909s |      19 |   632622 |   547582 |     6041    164 |        0 |        0
911.31/911.58	c  911s |      19 |   633942 |   548782 |     6041    164 |        0 |        0
913.40/913.65	c  913s |      19 |   635236 |   549882 |     6041    164 |        0 |        0
915.40/915.68	c  915s |      19 |   636444 |   550982 |     6041    165 |        0 |        0
917.50/917.79	c  917s |      19 |   638059 |   552382 |     6041    165 |        0 |        0
919.70/919.97	c  919s |      19 |   639531 |   553682 |     6041    165 |        0 |        0
921.80/922.05	c  922s |      19 |   640566 |   554582 |     6041    166 |        0 |        0
923.80/924.09	c  924s |      19 |   642069 |   555882 |     6041    166 |        0 |        0
926.00/926.23	c  926s |      19 |   643535 |   557182 |     6041    166 |        0 |        0
928.20/928.44	c  928s |      19 |   644930 |   558382 |     6041    166 |        0 |        0
930.29/930.50	c  930s |      19 |   646158 |   559382 |     6041    167 |        0 |        0
932.39/932.64	c  932s |      19 |   647354 |   560482 |     6041    167 |        0 |        0
934.39/934.66	c  934s |      19 |   648444 |   561482 |     6041    167 |        0 |        0
936.49/936.76	c  936s |      19 |   649595 |   562482 |     6041    167 |        0 |        0
938.89/939.11	c  939s |      19 |   650763 |   563482 |     6041    168 |        0 |        0
940.99/941.22	c  941s |      19 |   652065 |   564582 |     6041    168 |        0 |        0
943.08/943.33	c  943s |      19 |   653359 |   565782 |     6041    168 |        0 |        0
945.08/945.37	c  945s |      19 |   654488 |   566782 |     6041    168 |        0 |        0
947.28/947.50	c  947s |      19 |   655388 |   567582 |     6041    169 |        0 |        0
949.28/949.58	c  949s |      19 |   656877 |   568882 |     6041    169 |        0 |        0
951.49/951.70	c  951s |      19 |   657896 |   569782 |     6041    169 |        0 |        0
953.49/953.76	c  953s |      19 |   658816 |   570582 |     6041    169 |        0 |        0
955.58/955.85	c  955s |      19 |   659732 |   571382 |     6041    169 |        0 |        0
957.78/958.03	c  957s |      19 |   660714 |   572282 |     6041    170 |        0 |        0
959.88/960.14	c  960s |      19 |   661793 |   573282 |     6041    170 |        0 |        0
961.88/962.18	c  962s |      19 |   662666 |   574082 |     6041    170 |        0 |        0
964.07/964.38	c  964s |      19 |   663560 |   574882 |     6041    170 |        0 |        0
966.17/966.49	c  966s |      19 |   664503 |   575682 |     6041    170 |        0 |        0
968.37/968.62	c  968s |      19 |   665504 |   576582 |     6041    171 |        0 |        0
970.37/970.67	c  970s |      19 |   666516 |   577482 |     6041    171 |        0 |        0
972.57/972.85	c  972s |      19 |   667629 |   578482 |     6041    171 |        0 |        0
974.76/975.07	c  975s |      19 |   668604 |   579382 |     6041    171 |        0 |        0
977.26/977.51	c  977s |      19 |   669497 |   580182 |     6041    172 |        0 |        0
979.27/979.56	c  979s |      19 |   670440 |   580982 |     6041    172 |        0 |        0
981.27/981.56	c  981s |      19 |   671374 |   581782 |     6041    172 |        0 |        0
983.47/983.75	c  983s |      19 |   672597 |   582882 |     6041    172 |        0 |        0
985.57/985.81	c  985s |      19 |   673751 |   583882 |     6041    172 |        0 |        0
987.57/987.89	c  987s |      19 |   674644 |   584682 |     6041    173 |        0 |        0
989.77/990.03	c  989s |      19 |   676193 |   586082 |     6041    173 |        0 |        0
991.96/992.21	c  992s |      19 |   677377 |   587182 |     6041    173 |        0 |        0
993.95/994.23	c  994s |      19 |   678390 |   588082 |     6041    173 |        0 |        0
996.05/996.36	c  996s |      19 |   679243 |   588882 |     6041    174 |        0 |        0
998.16/998.46	c  998s |      19 |   680554 |   590082 |     6041    174 |        0 |        0
1000.25/1000.56	c 1000s |      19 |   681773 |   591182 |     6041    174 |        0 |        0
1002.45/1002.75	c 1002s |      19 |   683012 |   592282 |     6041    174 |        0 |        0
1004.56/1004.81	c 1004s |      19 |   683923 |   593082 |     6041    175 |        0 |        0
1006.56/1006.88	c 1006s |      19 |   685116 |   594182 |     6041    175 |        0 |        0
1008.65/1008.93	c 1008s |      19 |   686193 |   595182 |     6041    175 |        0 |        0
1010.85/1011.13	c 1011s |      19 |   687267 |   596182 |     6041    175 |        0 |        0
1012.85/1013.15	c 1013s |      19 |   688111 |   596982 |     6041    175 |        0 |        0
1014.95/1015.23	c 1015s |      19 |   688998 |   597782 |     6041    176 |        0 |        0
1016.95/1017.27	c 1017s |      19 |   690450 |   599082 |     6041    176 |        0 |        0
1019.15/1019.40	c 1019s |      19 |   691776 |   600282 |     6041    176 |        0 |        0
1021.24/1021.50	c 1021s |      19 |   693019 |   601382 |     6041    176 |        0 |        0
1023.24/1023.52	c 1023s |      19 |   694134 |   602382 |     6041    177 |        0 |        0
1025.44/1025.71	c 1025s |      19 |   695472 |   603582 |     6041    177 |        0 |        0
1027.54/1027.80	c 1027s |      19 |   696590 |   604582 |     6041    177 |        0 |        0
1029.64/1029.92	c 1029s |      19 |   697610 |   605482 |     6041    177 |        0 |        0
1031.65/1031.97	c 1031s |      19 |   698635 |   606382 |     6041    178 |        0 |        0
1033.64/1033.99	c 1033s |      19 |   699949 |   607582 |     6041    178 |        0 |        0
1035.74/1036.09	c 1036s |      19 |   701437 |   608882 |     6041    178 |        0 |        0
1038.04/1038.34	c 1038s |      19 |   702620 |   609982 |     6041    179 |        0 |        0
1040.04/1040.35	c 1040s |      19 |   703819 |   611082 |     6041    179 |        0 |        0
1042.23/1042.52	c 1042s |      19 |   705110 |   612282 |     6041    179 |        0 |        0
1044.43/1044.72	c 1044s |      19 |   706308 |   613382 |     6041    179 |        0 |        0
1046.63/1046.91	c 1046s |      19 |   707182 |   614182 |     6041    180 |        0 |        0
1048.63/1048.97	c 1048s |      19 |   708158 |   615082 |     6041    180 |        0 |        0
1050.73/1051.08	c 1051s |      19 |   709245 |   616082 |     6041    180 |        0 |        0
1052.83/1053.16	c 1053s |      19 |   710639 |   617282 |     6041    180 |        0 |        0
1055.12/1055.48	c 1055s |      19 |   712023 |   618482 |     6041    181 |        0 |        0
1057.32/1057.62	c 1057s |      19 |   713460 |   619782 |     6041    181 |        0 |        0
1059.32/1059.68	c 1059s |      19 |   714642 |   620882 |     6041    181 |        0 |        0
1061.43/1061.73	c 1061s |      19 |   715852 |   621982 |     6041    181 |        0 |        0
1063.63/1063.98	c 1063s |      19 |   716838 |   622882 |     6041    182 |        0 |        0
1065.83/1066.12	c 1066s |      19 |   718136 |   624082 |     6041    182 |        0 |        0
1067.83/1068.13	c 1068s |      19 |   719240 |   625082 |     6041    182 |        0 |        0
1069.92/1070.20	c 1070s |      19 |   720340 |   626082 |     6041    182 |        0 |        0
1072.12/1072.47	c 1072s |      19 |   721310 |   626982 |     6041    183 |        0 |        0
1074.22/1074.51	c 1074s |      19 |   722465 |   628082 |     6041    183 |        0 |        0
1076.32/1076.61	c 1076s |      19 |   723578 |   629082 |     6041    183 |        0 |        0
1078.32/1078.68	c 1078s |      19 |   725057 |   630382 |     6041    183 |        0 |        0
1080.42/1080.71	c 1080s |      19 |   726398 |   631582 |     6041    184 |        0 |        0
1082.42/1082.72	c 1082s |      19 |   727949 |   632982 |     6041    184 |        0 |        0
1084.52/1084.85	c 1084s |      19 |   729363 |   634282 |     6041    184 |        0 |        0
1086.52/1086.89	c 1086s |      19 |   730696 |   635482 |     6041    184 |        0 |        0
1088.61/1088.94	c 1088s |      19 |   731893 |   636582 |     6041    185 |        0 |        0
1090.71/1091.01	c 1090s |      19 |   733234 |   637782 |     6041    185 |        0 |        0
1092.81/1093.11	c 1093s |      19 |   734438 |   638882 |     6041    185 |        0 |        0
1094.91/1095.26	c 1095s |      19 |   735560 |   639882 |     6041    186 |        0 |        0
1097.02/1097.32	c 1097s |      19 |   737200 |   641382 |     6041    186 |        0 |        0
1099.01/1099.34	c 1099s |      19 |   738736 |   642782 |     6041    186 |        0 |        0
1101.41/1101.76	c 1101s |      19 |   740141 |   644082 |     6041    187 |        0 |        0
1103.51/1103.84	c 1103s |      19 |   741524 |   645382 |     6041    187 |        0 |        0
1105.51/1105.86	c 1105s |      19 |   742934 |   646682 |     6041    187 |        0 |        0
1107.61/1107.97	c 1107s |      19 |   744235 |   647882 |     6041    187 |        0 |        0
1109.71/1110.08	c 1110s |      19 |   745222 |   648782 |     6041    188 |        0 |        0
1111.81/1112.13	c 1112s |      19 |   746754 |   650182 |     6041    188 |        0 |        0
1113.90/1114.21	c 1114s |      19 |   747939 |   651282 |     6041    188 |        0 |        0
1115.90/1116.26	c 1116s |      19 |   749269 |   652482 |     6041    188 |        0 |        0
1118.10/1118.41	c 1118s |      19 |   750478 |   653582 |     6041    189 |        0 |        0
1120.29/1120.60	c 1120s |      19 |   751776 |   654782 |     6041    189 |        0 |        0
1122.29/1122.61	c 1122s |      19 |   753138 |   655982 |     6041    189 |        0 |        0
1124.30/1124.69	c 1124s |      19 |   754257 |   656982 |     6041    190 |        0 |        0
1126.40/1126.73	c 1126s |      19 |   755682 |   658282 |     6041    190 |        0 |        0
1128.50/1128.81	c 1128s |      19 |   756880 |   659382 |     6041    190 |        0 |        0
1130.51/1130.86	c 1130s |      19 |   758087 |   660482 |     6041    190 |        0 |        0
1132.59/1132.99	c 1132s |      19 |   759162 |   661482 |     6041    191 |        0 |        0
1134.79/1135.13	c 1135s |      19 |   760451 |   662682 |     6646    191 |        0 |        0
1136.89/1137.27	c 1137s |      19 |   761628 |   663782 |     6646    191 |        0 |        0
1139.09/1139.40	c 1139s |      19 |   762939 |   664982 |     6646    191 |        0 |        0
1141.29/1141.65	c 1141s |      19 |   764035 |   665982 |     6646    192 |        0 |        0
1142.78/1143.15	c 1143s |      20 |   764978 |   666827 |     6646    192 |        0 |        0
1144.79/1145.19	c 1145s |      20 |   768223 |   668327 |     6646    192 |        0 |        0
1146.88/1147.27	c 1147s |      20 |   769895 |   669827 |     6646    192 |        0 |        0
1149.08/1149.41	c 1149s |      20 |   771234 |   671027 |     6646    193 |        0 |        0
1151.18/1151.53	c 1151s |      20 |   772587 |   672227 |     6646    193 |        0 |        0
1153.28/1153.65	c 1153s |      20 |   773859 |   673327 |     6646    193 |        0 |        0
1155.38/1155.76	c 1155s |      20 |   775017 |   674327 |     6646    193 |        0 |        0
1157.58/1157.91	c 1157s |      20 |   776178 |   675327 |     6646    194 |        0 |        0
1159.68/1160.05	c 1160s |      20 |   777467 |   676427 |     6646    194 |        0 |        0
1161.88/1162.24	c 1162s |      20 |   778725 |   677527 |     6646    194 |        0 |        0
1163.98/1164.31	c 1164s |      20 |   780048 |   678627 |     6646    194 |        0 |        0
1166.08/1166.49	c 1166s |      20 |   781296 |   679727 |     6646    195 |        0 |        0
1168.18/1168.50	c 1168s |      20 |   782531 |   680827 |     6646    195 |        0 |        0
1170.18/1170.52	c 1170s |      20 |   783511 |   681727 |     6646    195 |        0 |        0
1172.17/1172.57	c 1172s |      20 |   784865 |   682927 |     6646    195 |        0 |        0
1174.27/1174.67	c 1174s |      20 |   786095 |   684027 |     6646    196 |        0 |        0
1176.47/1176.83	c 1176s |      20 |   787212 |   685027 |     6646    196 |        0 |        0
1178.67/1179.02	c 1178s |      20 |   788451 |   686127 |     6646    196 |        0 |        0
1180.77/1181.17	c 1181s |      20 |   789554 |   687127 |     6646    196 |        0 |        0
1182.96/1183.34	c 1183s |      20 |   790539 |   688027 |     6646    197 |        0 |        0
1184.96/1185.37	c 1185s |      20 |   791612 |   689027 |     6646    197 |        0 |        0
1186.96/1187.37	c 1187s |      20 |   792708 |   690027 |     6646    197 |        0 |        0
1189.06/1189.45	c 1189s |      20 |   793799 |   691027 |     6646    197 |        0 |        0
1191.16/1191.54	c 1191s |      20 |   794853 |   691927 |     6646    198 |        0 |        0
1193.16/1193.55	c 1193s |      20 |   796204 |   693127 |     6646    198 |        0 |        0
1195.26/1195.60	c 1195s |      20 |   797438 |   694227 |     6646    198 |        0 |        0
1197.26/1197.61	c 1197s |      20 |   798552 |   695227 |     6646    198 |        0 |        0
1199.25/1199.66	c 1199s |      20 |   799452 |   696027 |     6646    199 |        0 |        0
1201.25/1201.68	c 1201s |      20 |   800561 |   697027 |     6646    199 |        0 |        0
1203.45/1203.83	c 1203s |      20 |   801792 |   698127 |     6646    199 |        0 |        0
1205.45/1205.86	c 1205s |      20 |   802887 |   699127 |     6646    199 |        0 |        0
1207.65/1208.00	c 1207s |      20 |   803759 |   699927 |     6646    199 |        0 |        0
1209.76/1210.19	c 1210s |      20 |   804510 |   700627 |     6646    200 |        0 |        0
1211.85/1212.26	c 1212s |      20 |   805643 |   701627 |     6646    200 |        0 |        0
1213.94/1214.39	c 1214s |      20 |   806986 |   702827 |     6646    200 |        0 |        0
1216.14/1216.52	c 1216s |      20 |   808191 |   703927 |     6646    200 |        0 |        0
1218.24/1218.60	c 1218s |      20 |   809178 |   704827 |     6646    201 |        0 |        0
1220.34/1220.71	c 1220s |      20 |   810166 |   705727 |     6646    201 |        0 |        0
1222.45/1222.88	c 1222s |      20 |   811139 |   706627 |     6646    201 |        0 |        0
1224.75/1225.14	c 1225s |      20 |   812124 |   707527 |     6646    201 |        0 |        0
1226.85/1227.26	c 1227s |      20 |   812972 |   708327 |     6646    201 |        0 |        0
1228.95/1229.33	c 1229s |      20 |   813860 |   709127 |     6646    202 |        0 |        0
1230.95/1231.34	c 1231s |      20 |   815125 |   710227 |     6646    202 |        0 |        0
1233.04/1233.42	c 1233s |      20 |   816326 |   711327 |     6646    202 |        0 |        0
1235.14/1235.55	c 1235s |      20 |   817420 |   712327 |     6646    202 |        0 |        0
1237.15/1237.58	c 1237s |      20 |   818381 |   713227 |     6646    202 |        0 |        0
1239.34/1239.77	c 1239s |      20 |   819348 |   714127 |     6646    203 |        0 |        0
1241.54/1241.94	c 1241s |      20 |   820217 |   714927 |     6646    203 |        0 |        0
1243.63/1244.02	c 1243s |      20 |   820998 |   715627 |     6646    203 |        0 |        0
1245.63/1246.05	c 1246s |      20 |   821750 |   716327 |     6646    203 |        0 |        0
1247.63/1248.08	c 1248s |      20 |   822791 |   717227 |     6646    203 |        0 |        0
1249.73/1250.20	c 1250s |      20 |   823909 |   718227 |     6646    204 |        0 |        0
1251.83/1252.24	c 1252s |      20 |   825109 |   719327 |     6646    204 |        0 |        0
1254.32/1254.76	c 1254s |      20 |   826228 |   720327 |     6646    204 |        0 |        0
1256.52/1256.92	c 1256s |      20 |   827340 |   721327 |     6646    204 |        0 |        0
1258.52/1258.99	c 1258s |      20 |   828308 |   722227 |     6646    205 |        0 |        0
1260.92/1261.38	c 1261s |      20 |   829434 |   723227 |     6646    205 |        0 |        0
1263.02/1263.47	c 1263s |      20 |   830624 |   724227 |     6646    205 |        0 |        0
1265.22/1265.64	c 1265s |      20 |   831718 |   725227 |     6646    205 |        0 |        0
1267.22/1267.69	c 1267s |      20 |   832709 |   726127 |     6646    205 |        0 |        0
1269.32/1269.73	c 1269s |      20 |   833601 |   726927 |     6646    206 |        0 |        0
1271.32/1271.77	c 1271s |      20 |   834582 |   727827 |     6646    206 |        0 |        0
1273.42/1273.87	c 1273s |      20 |   835684 |   728827 |     6646    206 |        0 |        0
1275.62/1276.08	c 1276s |      20 |   836787 |   729827 |     6646    206 |        0 |        0
1277.82/1278.21	c 1278s |      20 |   837663 |   730627 |     6646    207 |        0 |        0
1279.91/1280.34	c 1280s |      20 |   838767 |   731527 |     6646    207 |        0 |        0
1282.01/1282.49	c 1282s |      20 |   840225 |   732727 |     6646    207 |        0 |        0
1284.11/1284.55	c 1284s |      20 |   841366 |   733727 |     6646    207 |        0 |        0
1286.21/1286.60	c 1286s |      20 |   842520 |   734727 |     6646    207 |        0 |        0
1288.31/1288.70	c 1288s |      20 |   843616 |   735727 |     6646    208 |        0 |        0
1290.40/1290.84	c 1290s |      20 |   844872 |   736827 |     6646    208 |        0 |        0
1292.50/1292.99	c 1292s |      20 |   845982 |   737827 |     6646    208 |        0 |        0
1294.60/1295.00	c 1294s |      20 |   847005 |   738727 |     6646    208 |        0 |        0
1296.61/1297.07	c 1297s |      20 |   848009 |   739627 |     6646    209 |        0 |        0
1298.81/1299.25	c 1299s |      20 |   849224 |   740727 |     6646    209 |        0 |        0
1300.91/1301.39	c 1301s |      20 |   850463 |   741827 |     6646    209 |        0 |        0
1303.00/1303.40	c 1303s |      20 |   851353 |   742627 |     6646    209 |        0 |        0
1305.20/1305.65	c 1305s |      20 |   852256 |   743427 |     6646    210 |        0 |        0
1307.30/1307.79	c 1307s |      20 |   853516 |   744527 |     6646    210 |        0 |        0
1309.40/1309.80	c 1309s |      20 |   854864 |   745727 |     6646    210 |        0 |        0
1311.39/1311.86	c 1311s |      20 |   855972 |   746727 |     6646    210 |        0 |        0
1313.49/1313.96	c 1313s |      20 |   857364 |   747927 |     6646    211 |        0 |        0
1315.59/1316.07	c 1316s |      20 |   858817 |   749227 |     6646    211 |        0 |        0
1317.79/1318.22	c 1318s |      20 |   860012 |   750327 |     6646    211 |        0 |        0
1319.99/1320.43	c 1320s |      20 |   861134 |   751327 |     6646    211 |        0 |        0
1322.08/1322.53	c 1322s |      20 |   862136 |   752227 |     6646    212 |        0 |        0
1324.18/1324.68	c 1324s |      20 |   863191 |   753227 |     6646    212 |        0 |        0
1326.38/1326.82	c 1326s |      20 |   864277 |   754227 |     6646    212 |        0 |        0
1328.68/1329.16	c 1329s |      20 |   865389 |   755227 |     6646    212 |        0 |        0
1330.98/1331.46	c 1331s |      20 |   866654 |   756327 |     6646    213 |        0 |        0
1333.18/1333.63	c 1333s |      20 |   867874 |   757427 |     6646    213 |        0 |        0
1335.28/1335.72	c 1335s |      20 |   869215 |   758627 |     6646    213 |        0 |        0
1337.28/1337.78	c 1337s |      20 |   870214 |   759527 |     6646    213 |        0 |        0
1339.38/1339.87	c 1339s |      20 |   871326 |   760527 |     6646    213 |        0 |        0
1341.47/1341.94	c 1341s |      20 |   872321 |   761427 |     6646    214 |        0 |        0
1343.47/1343.99	c 1343s |      20 |   873405 |   762427 |     6646    214 |        0 |        0
1345.67/1346.14	c 1346s |      20 |   874406 |   763327 |     6646    214 |        0 |        0
1347.77/1348.28	c 1348s |      20 |   875403 |   764227 |     6646    214 |        0 |        0
1349.98/1350.44	c 1350s |      20 |   876264 |   765027 |     6646    215 |        0 |        0
1352.07/1352.58	c 1352s |      20 |   877237 |   765927 |     6646    215 |        0 |        0
1354.07/1354.58	c 1354s |      20 |   878330 |   766927 |     6646    215 |        0 |        0
1356.17/1356.62	c 1356s |      20 |   879425 |   767927 |     6646    215 |        0 |        0
1358.37/1358.82	c 1358s |      20 |   880502 |   768927 |     6646    215 |        0 |        0
1360.38/1360.86	c 1360s |      20 |   881269 |   769627 |     6646    216 |        0 |        0
1362.47/1362.98	c 1362s |      20 |   882469 |   770727 |     6646    216 |        0 |        0
1364.57/1365.07	c 1365s |      20 |   883573 |   771727 |     6646    216 |        0 |        0
1366.77/1367.20	c 1367s |      20 |   884660 |   772727 |     6646    216 |        0 |        0
1368.97/1369.42	c 1369s |      20 |   885628 |   773627 |     6646    217 |        0 |        0
1370.96/1371.45	c 1371s |      20 |   886494 |   774427 |     6646    217 |        0 |        0
1373.16/1373.67	c 1373s |      20 |   887350 |   775227 |     6646    217 |        0 |        0
1375.36/1375.83	c 1375s |      20 |   888843 |   776527 |     6646    217 |        0 |        0
1377.46/1377.93	c 1377s |      20 |   890036 |   777627 |     6646    217 |        0 |        0
1379.56/1380.00	c 1379s |      20 |   891185 |   778627 |     6646    218 |        0 |        0
1381.56/1382.03	c 1381s |      20 |   892276 |   779627 |     6646    218 |        0 |        0
1383.66/1384.14	c 1384s |      20 |   893353 |   780627 |     6646    218 |        0 |        0
1385.85/1386.34	c 1386s |      20 |   894326 |   781527 |     6646    218 |        0 |        0
1387.95/1388.43	c 1388s |      20 |   895101 |   782227 |     6646    219 |        0 |        0
1390.15/1390.60	c 1390s |      20 |   896219 |   783227 |     6646    219 |        0 |        0
1392.26/1392.73	c 1392s |      20 |   897561 |   784427 |     6646    219 |        0 |        0
1394.46/1394.96	c 1394s |      20 |   898765 |   785527 |     6646    219 |        0 |        0
1396.65/1397.19	c 1397s |      20 |   899743 |   786427 |     6646    220 |        0 |        0
1398.85/1399.34	c 1399s |      20 |   900979 |   787527 |     6646    220 |        0 |        0
1401.05/1401.54	c 1401s |      20 |   902272 |   788727 |     6646    220 |        0 |        0
1403.15/1403.68	c 1403s |      20 |   903378 |   789727 |     6646    220 |        0 |        0
1405.24/1405.72	c 1405s |      20 |   904361 |   790627 |     6646    220 |        0 |        0
1407.44/1407.91	c 1407s |      20 |   905370 |   791527 |     6646    221 |        0 |        0
1409.44/1409.95	c 1409s |      20 |   906484 |   792527 |     6646    221 |        0 |        0
1411.44/1411.95	c 1411s |      20 |   907643 |   793527 |     6646    221 |        0 |        0
1413.54/1414.01	c 1413s |      20 |   908755 |   794527 |     6646    221 |        0 |        0
1415.64/1416.10	c 1416s |      20 |   909624 |   795327 |     6646    222 |        0 |        0
1417.74/1418.20	c 1418s |      20 |   910922 |   796427 |     6646    222 |        0 |        0
1419.74/1420.25	c 1420s |      20 |   911987 |   797427 |     6646    222 |        0 |        0
1421.94/1422.42	c 1422s |      20 |   913199 |   798527 |     6646    222 |        0 |        0
1424.04/1424.59	c 1424s |      20 |   914089 |   799327 |     6646    223 |        0 |        0
1426.34/1426.81	c 1426s |      20 |   915263 |   800427 |     6646    223 |        0 |        0
1428.44/1428.93	c 1428s |      20 |   916384 |   801427 |     6646    223 |        0 |        0
1430.43/1430.97	c 1430s |      20 |   917337 |   802327 |     6646    223 |        0 |        0
1432.53/1433.02	c 1432s |      20 |   918312 |   803227 |     6646    223 |        0 |        0
1434.63/1435.12	c 1435s |      20 |   919302 |   804127 |     6646    224 |        0 |        0
1436.73/1437.29	c 1437s |      20 |   920495 |   805227 |     6646    224 |        0 |        0
1438.93/1439.41	c 1439s |      20 |   921476 |   806127 |     6646    224 |        0 |        0
1440.93/1441.49	c 1441s |      20 |   922444 |   807027 |     6646    224 |        0 |        0
1443.12/1443.66	c 1443s |      20 |   923308 |   807827 |     6646    225 |        0 |        0
1445.22/1445.75	c 1445s |      20 |   924422 |   808827 |     6646    225 |        0 |        0
1447.32/1447.87	c 1447s |      20 |   925500 |   809827 |     6646    225 |        0 |        0
1449.43/1449.97	c 1449s |      20 |   926503 |   810727 |     6646    225 |        0 |        0
1451.63/1452.13	c 1452s |      20 |   927486 |   811627 |     6646    225 |        0 |        0
1453.83/1454.31	c 1454s |      20 |   928375 |   812427 |     6646    226 |        0 |        0
1455.82/1456.40	c 1456s |      20 |   929580 |   813527 |     6646    226 |        0 |        0
1457.92/1458.42	c 1458s |      20 |   930544 |   814427 |     6646    226 |        0 |        0
1460.02/1460.50	c 1460s |      20 |   931492 |   815327 |     6646    226 |        0 |        0
1462.11/1462.67	c 1462s |      20 |   932461 |   816227 |     6646    226 |        0 |        0
1464.31/1464.80	c 1464s |      20 |   933424 |   817127 |     6646    227 |        0 |        0
1466.41/1466.95	c 1466s |      20 |   934485 |   818127 |     6646    227 |        0 |        0
1468.61/1469.17	c 1469s |      20 |   935607 |   819127 |     6646    227 |        0 |        0
1470.81/1471.32	c 1471s |      20 |   936601 |   820027 |     6646    227 |        0 |        0
1472.91/1473.45	c 1473s |      20 |   937682 |   821027 |     6646    228 |        0 |        0
1475.11/1475.65	c 1475s |      20 |   938903 |   822127 |     6646    228 |        0 |        0
1477.11/1477.66	c 1477s |      20 |   939856 |   823027 |     6646    228 |        0 |        0
1479.21/1479.74	c 1479s |      20 |   940725 |   823827 |     6646    228 |        0 |        0
1481.31/1481.88	c 1481s |      20 |   941691 |   824727 |     6646    228 |        0 |        0
1483.41/1483.94	c 1483s |      20 |   942431 |   825427 |     6646    229 |        0 |        0
1485.51/1486.02	c 1485s |      20 |   943296 |   826227 |     6646    229 |        0 |        0
1487.60/1488.18	c 1488s |      20 |   944151 |   827027 |     6646    229 |        0 |        0
1489.81/1490.32	c 1490s |      20 |   944924 |   827727 |     6646    229 |        0 |        0
1491.81/1492.38	c 1492s |      20 |   945687 |   828427 |     6646    229 |        0 |        0
1494.00/1494.57	c 1494s |      20 |   946327 |   829027 |     6646    229 |        0 |        0
1496.10/1496.66	c 1496s |      20 |   946955 |   829627 |     6646    230 |        0 |        0
1498.10/1498.69	c 1498s |      20 |   948194 |   830727 |     6646    230 |        0 |        0
1500.30/1500.84	c 1500s |      20 |   949411 |   831827 |     6646    230 |        0 |        0
1502.50/1503.03	c 1502s |      20 |   950410 |   832727 |     6646    230 |        0 |        0
1504.50/1505.09	c 1505s |      20 |   951313 |   833527 |     6646    230 |        0 |        0
1506.61/1507.17	c 1507s |      20 |   952210 |   834327 |     6646    231 |        0 |        0
1508.81/1509.33	c 1509s |      20 |   953228 |   835227 |     6646    231 |        0 |        0
1510.80/1511.36	c 1511s |      20 |   954239 |   836127 |     6646    231 |        0 |        0
1513.00/1513.58	c 1513s |      20 |   955084 |   836927 |     6646    231 |        0 |        0
1515.31/1515.83	c 1515s |      20 |   955962 |   837727 |     6646    231 |        0 |        0
1517.30/1517.89	c 1517s |      20 |   956805 |   838427 |     6646    232 |        0 |        0
1519.50/1520.00	c 1519s |      20 |   958322 |   839727 |     6646    232 |        0 |        0
1521.50/1522.00	c 1521s |      20 |   959842 |   841027 |     6646    232 |        0 |        0
1523.60/1524.17	c 1524s |      20 |   961062 |   842127 |     6646    232 |        0 |        0
1525.70/1526.23	c 1526s |      20 |   962154 |   843127 |     6646    233 |        0 |        0
1527.70/1528.29	c 1528s |      20 |   963363 |   844227 |     6646    233 |        0 |        0
1529.90/1530.47	c 1530s |      20 |   964465 |   845227 |     6646    233 |        0 |        0
1532.00/1532.54	c 1532s |      20 |   965461 |   846127 |     6646    233 |        0 |        0
1534.10/1534.61	c 1534s |      20 |   966323 |   846927 |     6646    234 |        0 |        0
1536.20/1536.75	c 1536s |      20 |   967522 |   848027 |     6646    234 |        0 |        0
1538.40/1538.93	c 1538s |      20 |   968515 |   848927 |     6646    234 |        0 |        0
1540.39/1540.96	c 1540s |      20 |   969413 |   849727 |     6646    234 |        0 |        0
1542.59/1543.10	c 1543s |      20 |   970610 |   850827 |     6646    235 |        0 |        0
1544.69/1545.23	c 1545s |      20 |   971945 |   852027 |     6646    235 |        0 |        0
1546.79/1547.32	c 1547s |      20 |   973138 |   853127 |     6646    235 |        0 |        0
1548.99/1549.52	c 1549s |      20 |   974343 |   854227 |     6646    235 |        0 |        0
1551.39/1551.92	c 1551s |      20 |   975329 |   855127 |     6646    236 |        0 |        0
1553.59/1554.16	c 1554s |      20 |   976308 |   856027 |     6646    236 |        0 |        0
1555.80/1556.37	c 1556s |      20 |   977309 |   856927 |     6646    236 |        0 |        0
1557.90/1558.42	c 1558s |      20 |   978767 |   858227 |     6646    236 |        0 |        0
1560.20/1560.71	c 1560s |      20 |   980005 |   859327 |     6646    237 |        0 |        0
1562.30/1562.89	c 1562s |      20 |   981486 |   860627 |     6646    237 |        0 |        0
1564.40/1564.93	c 1564s |      20 |   982716 |   861727 |     6646    237 |        0 |        0
1566.50/1567.07	c 1567s |      20 |   983830 |   862727 |     6646    237 |        0 |        0
1568.70/1569.27	c 1569s |      20 |   984956 |   863727 |     6646    238 |        0 |        0
1570.90/1571.47	c 1571s |      20 |   986147 |   864827 |     6646    238 |        0 |        0
1573.00/1573.58	c 1573s |      20 |   987269 |   865827 |     6646    238 |        0 |        0
1575.20/1575.73	c 1575s |      20 |   988252 |   866727 |     6646    238 |        0 |        0
1577.30/1577.81	c 1577s |      20 |   989230 |   867627 |     6646    238 |        0 |        0
1579.40/1579.96	c 1579s |      20 |   990282 |   868527 |     6646    239 |        0 |        0
1581.50/1582.03	c 1581s |      20 |   991279 |   869427 |     6646    239 |        0 |        0
1583.60/1584.13	c 1584s |      20 |   992301 |   870327 |     6646    239 |        0 |        0
1585.70/1586.25	c 1586s |      20 |   993256 |   871227 |     6646    239 |        0 |        0
1587.90/1588.47	c 1588s |      20 |   994111 |   872027 |     6646    239 |        0 |        0
1589.90/1590.48	c 1590s |      20 |   994872 |   872727 |     6646    240 |        0 |        0
1592.10/1592.63	c 1592s |      20 |   995874 |   873627 |     6646    240 |        0 |        0
1594.09/1594.67	c 1594s |      20 |   996735 |   874427 |     6646    240 |        0 |        0
1596.29/1596.82	c 1596s |      20 |   998052 |   875527 |     6646    240 |        0 |        0
1598.49/1599.09	c 1599s |      20 |   999191 |   876527 |     6646    241 |        0 |        0
1600.69/1601.25	c 1601s |      20 |  1000274 |   877527 |     6646    241 |        0 |        0
1602.89/1603.43	c 1603s |      20 |  1001518 |   878627 |     6646    241 |        0 |        0
1605.09/1605.66	c 1605s |      20 |  1002630 |   879627 |     6646    241 |        0 |        0
1607.29/1607.84	c 1607s |      20 |  1003604 |   880527 |     6646    241 |        0 |        0
1609.39/1609.91	c 1609s |      20 |  1004490 |   881327 |     6646    242 |        0 |        0
1611.39/1611.99	c 1611s |      20 |  1005629 |   882327 |     6646    242 |        0 |        0
1613.49/1614.09	c 1614s |      20 |  1006869 |   883427 |     6646    242 |        0 |        0
1615.59/1616.10	c 1616s |      20 |  1007956 |   884427 |     6646    242 |        0 |        0
1617.70/1618.23	c 1618s |      20 |  1008941 |   885327 |     6646    243 |        0 |        0
1619.79/1620.39	c 1620s |      20 |  1010025 |   886327 |     6646    243 |        0 |        0
1621.99/1622.52	c 1622s |      20 |  1011100 |   887327 |     6646    243 |        0 |        0
1624.09/1624.67	c 1624s |      20 |  1012223 |   888327 |     6646    243 |        0 |        0
1626.29/1626.89	c 1626s |      20 |  1013306 |   889327 |     6646    243 |        0 |        0
1628.39/1628.99	c 1628s |      20 |  1014292 |   890227 |     6646    244 |        0 |        0
1630.49/1631.08	c 1631s |      20 |  1015245 |   891127 |     6646    244 |        0 |        0
1632.59/1633.19	c 1633s |      20 |  1016393 |   892127 |     6646    244 |        0 |        0
1634.69/1635.26	c 1635s |      20 |  1017465 |   893127 |     6646    244 |        0 |        0
1636.79/1637.38	c 1637s |      20 |  1018249 |   893827 |     6646    245 |        0 |        0
1638.88/1639.48	c 1639s |      20 |  1019336 |   894827 |     6646    245 |        0 |        0
1641.18/1641.72	c 1641s |      20 |  1020282 |   895727 |     6646    245 |        0 |        0
1643.28/1643.81	c 1643s |      20 |  1021371 |   896727 |     6646    245 |        0 |        0
1645.28/1645.85	c 1645s |      20 |  1022250 |   897527 |     6646    245 |        0 |        0
1647.48/1648.01	c 1647s |      20 |  1023019 |   898227 |     6646    246 |        0 |        0
1649.59/1650.18	c 1650s |      20 |  1024082 |   899227 |     6646    246 |        0 |        0
1651.69/1652.30	c 1652s |      20 |  1025086 |   900127 |     6646    246 |        0 |        0
1653.99/1654.55	c 1654s |      20 |  1026042 |   901027 |     6646    246 |        0 |        0
1656.09/1656.60	c 1656s |      20 |  1026892 |   901827 |     6646    246 |        0 |        0
1658.08/1658.68	c 1658s |      20 |  1027654 |   902527 |     6646    247 |        0 |        0
1660.18/1660.72	c 1660s |      20 |  1028643 |   903427 |     6646    247 |        0 |        0
1662.18/1662.74	c 1662s |      20 |  1029487 |   904227 |     6646    247 |        0 |        0
1664.18/1664.74	c 1664s |      20 |  1030330 |   905027 |     6646    247 |        0 |        0
1666.38/1666.91	c 1666s |      20 |  1031189 |   905827 |     6646    247 |        0 |        0
1669.18/1669.80	c 1669s |      20 |  1031942 |   906527 |     6646    248 |        0 |        0
1671.28/1671.86	c 1671s |      20 |  1033020 |   907527 |     6646    248 |        0 |        0
1673.28/1673.87	c 1673s |      20 |  1034006 |   908427 |     6646    248 |        0 |        0
1675.58/1676.12	c 1676s |      20 |  1034963 |   909327 |     6646    248 |        0 |        0
1677.78/1678.32	c 1678s |      20 |  1035847 |   910127 |     6646    248 |        0 |        0
1679.77/1680.33	c 1680s |      20 |  1036486 |   910727 |     6646    248 |        0 |        0
1681.77/1682.38	c 1682s |      20 |  1037128 |   911327 |     6646    249 |        0 |        0
1683.98/1684.54	c 1684s |      20 |  1038030 |   912127 |     6646    249 |        0 |        0
1686.07/1686.66	c 1686s |      20 |  1039127 |   913127 |     6646    249 |        0 |        0
1688.08/1688.67	c 1688s |      20 |  1040116 |   914027 |     6646    249 |        0 |        0
1690.18/1690.78	c 1690s |      20 |  1041091 |   914927 |     6646    249 |        0 |        0
1692.87/1693.44	c 1693s |      20 |  1041953 |   915727 |     6646    250 |        0 |        0
1694.87/1695.49	c 1695s |      20 |  1042699 |   916427 |     6646    250 |        0 |        0
1697.07/1697.62	c 1697s |      20 |  1043600 |   917227 |     6646    250 |        0 |        0
1699.17/1699.75	c 1699s |      20 |  1044891 |   918327 |     6646    250 |        0 |        0
1701.28/1701.89	c 1701s |      20 |  1046118 |   919427 |     6646    251 |        0 |        0
1703.38/1703.98	c 1703s |      20 |  1047323 |   920527 |     6646    251 |        0 |        0
1705.58/1706.19	c 1706s |      20 |  1048314 |   921427 |     6646    251 |        0 |        0
1707.67/1708.26	c 1708s |      20 |  1049303 |   922327 |     6646    251 |        0 |        0
1709.67/1710.27	c 1710s |      20 |  1050404 |   923327 |     6646    251 |        0 |        0
1711.87/1712.42	c 1712s |      20 |  1051381 |   924227 |     6646    252 |        0 |        0
1713.87/1714.45	c 1714s |      20 |  1052336 |   925127 |     6646    252 |        0 |        0
1715.97/1716.59	c 1716s |      20 |  1053430 |   926127 |     6646    252 |        0 |        0
1718.07/1718.65	c 1718s |      20 |  1054393 |   927027 |     6646    252 |        0 |        0
1720.37/1720.97	c 1720s |      20 |  1055373 |   927927 |     6646    252 |        0 |        0
1722.47/1723.02	c 1722s |      20 |  1056156 |   928627 |     6646    253 |        0 |        0
1724.57/1725.10	c 1725s |      20 |  1057391 |   929727 |     6646    253 |        0 |        0
1726.67/1727.24	c 1727s |      20 |  1058494 |   930727 |     6646    253 |        0 |        0
1728.77/1729.33	c 1729s |      20 |  1059491 |   931627 |     6646    253 |        0 |        0
1730.87/1731.43	c 1731s |      20 |  1060289 |   932327 |     6646    254 |        0 |        0
1732.86/1733.47	c 1733s |      20 |  1061365 |   933327 |     6646    254 |        0 |        0
1734.96/1735.52	c 1735s |      20 |  1062344 |   934227 |     6646    254 |        0 |        0
1737.17/1737.73	c 1737s |      20 |  1063431 |   935227 |     6646    254 |        0 |        0
1739.27/1739.85	c 1739s |      20 |  1064278 |   936027 |     6646    254 |        0 |        0
1741.27/1741.89	c 1741s |      20 |  1065191 |   936827 |     6646    255 |        0 |        0
1743.47/1744.00	c 1743s |      20 |  1066274 |   937827 |     6646    255 |        0 |        0
1745.57/1746.19	c 1746s |      20 |  1067161 |   938627 |     6646    255 |        0 |        0
1747.77/1748.30	c 1748s |      20 |  1068282 |   939627 |     6646    255 |        0 |        0
1749.97/1750.53	c 1750s |      20 |  1069372 |   940627 |     6646    255 |        0 |        0
1752.07/1752.60	c 1752s |      20 |  1070117 |   941327 |     6646    256 |        0 |        0
1754.08/1754.64	c 1754s |      20 |  1070896 |   942027 |     6646    256 |        0 |        0
1756.28/1756.85	c 1756s |      20 |  1071889 |   942927 |     6646    256 |        0 |        0
1758.38/1758.99	c 1758s |      20 |  1072743 |   943727 |     6646    256 |        0 |        0
1760.58/1761.13	c 1761s |      20 |  1073847 |   944727 |     6646    256 |        0 |        0
1762.67/1763.22	c 1763s |      20 |  1074592 |   945427 |     6646    257 |        0 |        0
1764.67/1765.28	c 1765s |      20 |  1075559 |   946327 |     6646    257 |        0 |        0
1766.87/1767.45	c 1767s |      20 |  1076200 |   946927 |     6646    257 |        0 |        0
1768.87/1769.49	c 1769s |      20 |  1076867 |   947527 |     6646    257 |        0 |        0
1771.07/1771.60	c 1771s |      20 |  1077852 |   948427 |     6646    257 |        0 |        0
1773.06/1773.67	c 1773s |      20 |  1078815 |   949327 |     6646    257 |        0 |        0
1775.17/1775.77	c 1775s |      20 |  1079657 |   950127 |     6646    258 |        0 |        0
1777.26/1777.84	c 1777s |      20 |  1080305 |   950727 |     6646    258 |        0 |        0
1779.27/1779.89	c 1779s |      20 |  1081228 |   951527 |     6646    258 |        0 |        0
1781.36/1781.97	c 1781s |      20 |  1082705 |   952827 |     6646    258 |        0 |        0
1783.46/1784.09	c 1784s |      20 |  1083950 |   953927 |     6646    259 |        0 |        0
1785.66/1786.25	c 1786s |      20 |  1085374 |   955227 |     6646    259 |        0 |        0
1787.76/1788.34	c 1788s |      20 |  1086567 |   956327 |     6646    259 |        0 |        0
1789.86/1790.45	c 1790s |      20 |  1087672 |   957327 |     6646    259 |        0 |        0
1791.96/1792.59	c 1792s |      20 |  1088708 |   958227 |     6646    260 |        0 |        0
1794.06/1794.67	c 1794s |      20 |  1090142 |   959527 |     6646    260 |        0 |        0
1796.06/1796.68	c 1796s |      20 |  1091390 |   960627 |     6646    260 |        0 |        0
1798.16/1798.78	c 1798s |      20 |  1092527 |   961627 |     6646    260 |        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-4078603-1465220093/watcher-4078603-1465220093 -o /tmp/evaluation-result-4078603-1465220093/solver-4078603-1465220093 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1465219870-1858 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078603-1465220093.opb 

pid=2428
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.19 2.04 1.99 3/179 2431
/proc/meminfo: memFree=30413388/32872528 swapFree=13600/559348
[pid=2431] ppid=2428 vsize=725436 CPUtime=0 cores=0,2,4,6
/proc/2431/stat : 2431 (toysat) R 2428 2431 1842 0 -1 4202496 2708 0 0 0 0 0 0 0 20 0 4 0 103944250 742846464 3069 33554432000 4194304 16246674 140734098195536 140734098194960 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2431/statm: 182127 3077 441 2943 0 179021 0
[pid=2431/tid=2432] ppid=2428 vsize=743868 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2432/stat : 2432 (toysat) S 2428 2431 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103944251 761720832 3139 33554432000 4194304 16246674 140734098195536 139944739712240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2431/tid=2433] ppid=2428 vsize=748988 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2433/stat : 2433 (toysat) S 2428 2431 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103944251 766963712 3158 33554432000 4194304 16246674 140734098195536 139944729222384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2431/tid=2434] ppid=2428 vsize=753084 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2434/stat : 2434 (toysat) S 2428 2431 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103944251 771158016 3176 33554432000 4194304 16246674 140734098195536 139944718748848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100166 s]
/proc/loadavg: 2.19 2.04 1.99 3/179 2431
/proc/meminfo: memFree=30413388/32872528 swapFree=13600/559348
[pid=2431] ppid=2428 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/2431/stat : 2431 (toysat) R 2428 2431 1842 0 -1 4202496 32081 0 0 0 5 4 0 0 20 0 4 0 103944250 1247350784 32431 33554432000 4194304 16246674 140734098195536 140734098194960 5669490 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2431/statm: 304529 32442 705 2943 0 301423 0
[pid=2431/tid=2432] ppid=2428 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2432/stat : 2432 (toysat) S 2428 2431 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103944251 1247350784 32452 33554432000 4194304 16246674 140734098195536 139944739712240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2431/tid=2433] ppid=2428 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2433/stat : 2433 (toysat) S 2428 2431 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103944251 1247350784 32466 33554432000 4194304 16246674 140734098195536 139944729222384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2431/tid=2434] ppid=2428 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2434/stat : 2434 (toysat) S 2428 2431 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103944251 1247350784 32480 33554432000 4194304 16246674 140734098195536 139944718748848 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) 1218116

[startup+0.200569 s]
/proc/loadavg: 2.19 2.04 1.99 3/179 2431
/proc/meminfo: memFree=30413388/32872528 swapFree=13600/559348
[pid=2431] ppid=2428 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/2431/stat : 2431 (toysat) R 2428 2431 1842 0 -1 4202496 69968 0 0 0 10 9 0 0 20 0 4 0 103944250 1247350784 70319 33554432000 4194304 16246674 140734098195536 140734098177408 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2431/statm: 304529 70340 705 2943 0 301423 0
[pid=2431/tid=2432] ppid=2428 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2432/stat : 2432 (toysat) S 2428 2431 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103944251 1247350784 70354 33554432000 4194304 16246674 140734098195536 139944739712240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2431/tid=2433] ppid=2428 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2433/stat : 2433 (toysat) S 2428 2431 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103944251 1247350784 70368 33554432000 4194304 16246674 140734098195536 139944729222384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2431/tid=2434] ppid=2428 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2434/stat : 2434 (toysat) S 2428 2431 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103944251 1247350784 70382 33554432000 4194304 16246674 140734098195536 139944718748848 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) 1218116

[startup+0.300471 s]
/proc/loadavg: 2.19 2.04 1.99 3/179 2431
/proc/meminfo: memFree=30413388/32872528 swapFree=13600/559348
[pid=2431] ppid=2428 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/2431/stat : 2431 (toysat) R 2428 2431 1842 0 -1 4202496 107969 0 0 0 15 14 0 0 20 0 4 0 103944250 1247350784 108320 33554432000 4194304 16246674 140734098195536 140734098177408 13954518 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2431/statm: 304529 108329 705 2943 0 301423 0
[pid=2431/tid=2432] ppid=2428 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2432/stat : 2432 (toysat) S 2428 2431 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103944251 1247350784 108332 33554432000 4194304 16246674 140734098195536 139944739712240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2431/tid=2433] ppid=2428 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2433/stat : 2433 (toysat) S 2428 2431 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103944251 1247350784 108338 33554432000 4194304 16246674 140734098195536 139944729222384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2431/tid=2434] ppid=2428 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2434/stat : 2434 (toysat) S 2428 2431 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103944251 1247350784 108343 33554432000 4194304 16246674 140734098195536 139944718748848 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) 1218116

[startup+0.700416 s]
/proc/loadavg: 2.19 2.04 1.99 3/179 2431
/proc/meminfo: memFree=30413388/32872528 swapFree=13600/559348
[pid=2431] ppid=2428 vsize=1221188 CPUtime=0.69 cores=0,2,4,6
/proc/2431/stat : 2431 (toysat) R 2428 2431 1842 0 -1 4202496 246262 0 0 0 36 33 0 0 20 0 4 0 103944250 1250496512 246592 33554432000 4194304 16246674 140734098195536 140734098194848 5677833 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2431/statm: 305297 246592 784 2943 0 302191 0
[pid=2431/tid=2432] ppid=2428 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2432/stat : 2432 (toysat) S 2428 2431 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103944251 1250496512 246592 33554432000 4194304 16246674 140734098195536 139944739712240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2431/tid=2433] ppid=2428 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2433/stat : 2433 (toysat) S 2428 2431 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103944251 1250496512 246592 33554432000 4194304 16246674 140734098195536 139944729222384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2431/tid=2434] ppid=2428 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2434/stat : 2434 (toysat) S 2428 2431 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103944251 1250496512 246592 33554432000 4194304 16246674 140734098195536 139944718748848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1221188

[startup+1.50041 s]
/proc/loadavg: 2.17 2.04 1.99 3/183 2435
/proc/meminfo: memFree=29347776/32872528 swapFree=13600/559348
[pid=2431] ppid=2428 vsize=1307204 CPUtime=1.49 cores=0,2,4,6
/proc/2431/stat : 2431 (toysat) R 2428 2431 1842 0 -1 4202496 267752 0 0 0 113 36 0 0 20 0 4 0 103944250 1338576896 268082 33554432000 4194304 16246674 140734098195536 140734098177408 5652712 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2431/statm: 326801 268086 788 2943 0 323695 0
[pid=2431/tid=2432] ppid=2428 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2432/stat : 2432 (toysat) S 2428 2431 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103944251 1338576896 268086 33554432000 4194304 16246674 140734098195536 139944739712240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2431/tid=2433] ppid=2428 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2433/stat : 2433 (toysat) S 2428 2431 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103944251 1338576896 268086 33554432000 4194304 16246674 140734098195536 139944729222384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2431/tid=2434] ppid=2428 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2434/stat : 2434 (toysat) S 2428 2431 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103944251 1338576896 268086 33554432000 4194304 16246674 140734098195536 139944718748848 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) 1307204

[startup+3.10043 s]
/proc/loadavg: 2.17 2.04 1.99 3/183 2435
/proc/meminfo: memFree=29340948/32872528 swapFree=13600/559348
[pid=2431] ppid=2428 vsize=1308228 CPUtime=3.09 cores=0,2,4,6
/proc/2431/stat : 2431 (toysat) R 2428 2431 1842 0 -1 4202496 267893 0 0 0 273 36 0 0 20 0 4 0 103944250 1339625472 268223 33554432000 4194304 16246674 140734098195536 140734098177408 12477776 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2431/statm: 327057 268223 789 2943 0 323951 0
[pid=2431/tid=2432] ppid=2428 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2432/stat : 2432 (toysat) S 2428 2431 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103944251 1339625472 268223 33554432000 4194304 16246674 140734098195536 139944739712240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2431/tid=2433] ppid=2428 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2433/stat : 2433 (toysat) S 2428 2431 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103944251 1339625472 268223 33554432000 4194304 16246674 140734098195536 139944729222384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2431/tid=2434] ppid=2428 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2434/stat : 2434 (toysat) S 2428 2431 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103944251 1339625472 268223 33554432000 4194304 16246674 140734098195536 139944718748848 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) 1308228

[startup+6.30043 s]
/proc/loadavg: 2.16 2.04 1.99 3/183 2435
/proc/meminfo: memFree=29339708/32872528 swapFree=13600/559348
[pid=2431] ppid=2428 vsize=1309252 CPUtime=6.29 cores=0,2,4,6
/proc/2431/stat : 2431 (toysat) R 2428 2431 1842 0 -1 4202496 268232 0 0 0 593 36 0 0 20 0 4 0 103944250 1340674048 268562 33554432000 4194304 16246674 140734098195536 140734098177408 5545776 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2431/statm: 327313 268562 790 2943 0 324207 0
[pid=2431/tid=2432] ppid=2428 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2432/stat : 2432 (toysat) S 2428 2431 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103944251 1340674048 268562 33554432000 4194304 16246674 140734098195536 139944739712240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2431/tid=2433] ppid=2428 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2433/stat : 2433 (toysat) S 2428 2431 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103944251 1340674048 268562 33554432000 4194304 16246674 140734098195536 139944729222384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2431/tid=2434] ppid=2428 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2434/stat : 2434 (toysat) S 2428 2431 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103944251 1340674048 268562 33554432000 4194304 16246674 140734098195536 139944718748848 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) 1309252

[startup+12.7004 s]
/proc/loadavg: 2.15 2.04 1.99 3/183 2435
/proc/meminfo: memFree=29330568/32872528 swapFree=13600/559348
[pid=2431] ppid=2428 vsize=1317444 CPUtime=12.69 cores=0,2,4,6
/proc/2431/stat : 2431 (toysat) R 2428 2431 1842 0 -1 4202496 270388 0 0 0 1232 37 0 0 20 0 4 0 103944250 1349062656 270718 33554432000 4194304 16246674 140734098195536 140734098177408 13950192 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2431/statm: 329361 270718 792 2943 0 326255 0
[pid=2431/tid=2432] ppid=2428 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2432/stat : 2432 (toysat) S 2428 2431 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103944251 1349062656 270718 33554432000 4194304 16246674 140734098195536 139944739712240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2431/tid=2433] ppid=2428 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2433/stat : 2433 (toysat) S 2428 2431 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103944251 1349062656 270718 33554432000 4194304 16246674 140734098195536 139944729222384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2431/tid=2434] ppid=2428 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2434/stat : 2434 (toysat) S 2428 2431 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103944251 1349062656 270718 33554432000 4194304 16246674 140734098195536 139944718748848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1317444

[startup+25.5005 s]
/proc/loadavg: 2.12 2.04 1.99 3/183 2435
/proc/meminfo: memFree=29331260/32872528 swapFree=13600/559348
[pid=2431] ppid=2428 vsize=1317444 CPUtime=25.49 cores=0,2,4,6
/proc/2431/stat : 2431 (toysat) R 2428 2431 1842 0 -1 4202496 270388 0 0 0 2512 37 0 0 20 0 4 0 103944250 1349062656 270718 33554432000 4194304 16246674 140734098195536 140734098177408 5822240 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2431/statm: 329361 270718 792 2943 0 326255 0
[pid=2431/tid=2432] ppid=2428 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2432/stat : 2432 (toysat) S 2428 2431 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103944251 1349062656 270718 33554432000 4194304 16246674 140734098195536 139944739712240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2431/tid=2433] ppid=2428 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2433/stat : 2433 (toysat) S 2428 2431 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103944251 1349062656 270718 33554432000 4194304 16246674 140734098195536 139944729222384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2431/tid=2434] ppid=2428 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2434/stat : 2434 (toysat) S 2428 2431 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103944251 1349062656 270718 33554432000 4194304 16246674 140734098195536 139944718748848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1317444

[startup+51.1005 s]
/proc/loadavg: 2.07 2.03 1.99 3/183 2436
/proc/meminfo: memFree=29331028/32872528 swapFree=13600/559348
[pid=2431] ppid=2428 vsize=1317444 CPUtime=51.08 cores=0,2,4,6
/proc/2431/stat : 2431 (toysat) R 2428 2431 1842 0 -1 4202496 270389 0 0 0 5071 37 0 0 20 0 4 0 103944250 1349062656 270719 33554432000 4194304 16246674 140734098195536 140734098177408 5545752 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2431/statm: 329361 270719 792 2943 0 326255 0
[pid=2431/tid=2432] ppid=2428 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2432/stat : 2432 (toysat) S 2428 2431 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103944251 1349062656 270719 33554432000 4194304 16246674 140734098195536 139944739712240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2431/tid=2433] ppid=2428 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2433/stat : 2433 (toysat) S 2428 2431 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103944251 1349062656 270719 33554432000 4194304 16246674 140734098195536 139944729222384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2431/tid=2434] ppid=2428 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2434/stat : 2434 (toysat) S 2428 2431 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103944251 1349062656 270719 33554432000 4194304 16246674 140734098195536 139944718748848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1317444

[startup+102.301 s]
/proc/loadavg: 2.19 2.07 2.00 3/183 2437
/proc/meminfo: memFree=29329780/32872528 swapFree=13600/559348
[pid=2431] ppid=2428 vsize=1318468 CPUtime=102.28 cores=0,2,4,6
/proc/2431/stat : 2431 (toysat) R 2428 2431 1842 0 -1 4202496 270646 0 0 0 10188 40 0 0 20 0 4 0 103944250 1350111232 270976 33554432000 4194304 16246674 140734098195536 140734098194712 5545708 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2431/statm: 329617 270976 792 2943 0 326511 0
[pid=2431/tid=2432] ppid=2428 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2432/stat : 2432 (toysat) S 2428 2431 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103944251 1350111232 270976 33554432000 4194304 16246674 140734098195536 139944739712240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2431/tid=2433] ppid=2428 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2433/stat : 2433 (toysat) S 2428 2431 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103944251 1350111232 270976 33554432000 4194304 16246674 140734098195536 139944729222384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2431/tid=2434] ppid=2428 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2434/stat : 2434 (toysat) S 2428 2431 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103944251 1350111232 270976 33554432000 4194304 16246674 140734098195536 139944718748848 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) 1318468


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

/proc/2431/task/2434/stat : 2434 (toysat) S 2428 2431 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103944251 1379471360 278009 33554432000 4194304 16246674 140734098195536 139944718748848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 1347140

[startup+1302.3 s]
/proc/loadavg: 2.17 2.09 2.05 3/183 2467
/proc/meminfo: memFree=29288312/32872528 swapFree=13600/559348
[pid=2431] ppid=2428 vsize=1350212 CPUtime=1301.9 cores=0,2,4,6
/proc/2431/stat : 2431 (toysat) R 2428 2431 1842 0 -1 4202496 278745 0 0 0 130130 60 0 0 20 0 4 0 103944250 1382617088 278741 33554432000 4194304 16246674 140734098195536 140734098177408 5546093 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2431/statm: 337553 278741 792 2943 0 334447 0
[pid=2431/tid=2432] ppid=2428 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2432/stat : 2432 (toysat) S 2428 2431 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103944251 1382617088 278741 33554432000 4194304 16246674 140734098195536 139944739712240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2431/tid=2433] ppid=2428 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2433/stat : 2433 (toysat) S 2428 2431 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103944251 1382617088 278741 33554432000 4194304 16246674 140734098195536 139944729222384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2431/tid=2434] ppid=2428 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2434/stat : 2434 (toysat) S 2428 2431 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103944251 1382617088 278741 33554432000 4194304 16246674 140734098195536 139944718748848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1350212

[startup+1362.3 s]
/proc/loadavg: 2.06 2.07 2.04 3/183 2468
/proc/meminfo: memFree=29288476/32872528 swapFree=13600/559348
[pid=2431] ppid=2428 vsize=1350212 CPUtime=1361.87 cores=0,2,4,6
/proc/2431/stat : 2431 (toysat) R 2428 2431 1842 0 -1 4202496 278786 0 0 0 136126 61 0 0 20 0 4 0 103944250 1382617088 278741 33554432000 4194304 16246674 140734098195536 140734098177408 5677228 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2431/statm: 337553 278741 792 2943 0 334447 0
[pid=2431/tid=2432] ppid=2428 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2432/stat : 2432 (toysat) S 2428 2431 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103944251 1382617088 278741 33554432000 4194304 16246674 140734098195536 139944739712240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2431/tid=2433] ppid=2428 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2433/stat : 2433 (toysat) S 2428 2431 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103944251 1382617088 278741 33554432000 4194304 16246674 140734098195536 139944729222384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2431/tid=2434] ppid=2428 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2434/stat : 2434 (toysat) S 2428 2431 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103944251 1382617088 278741 33554432000 4194304 16246674 140734098195536 139944718748848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1350212

[startup+1422.3 s]
/proc/loadavg: 2.06 2.07 2.04 3/183 2469
/proc/meminfo: memFree=29288628/32872528 swapFree=13600/559348
[pid=2431] ppid=2428 vsize=1350212 CPUtime=1421.84 cores=0,2,4,6
/proc/2431/stat : 2431 (toysat) R 2428 2431 1842 0 -1 4202496 278827 0 0 0 142123 61 0 0 20 0 4 0 103944250 1382617088 278741 33554432000 4194304 16246674 140734098195536 140734098177408 5823455 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2431/statm: 337553 278741 792 2943 0 334447 0
[pid=2431/tid=2432] ppid=2428 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2432/stat : 2432 (toysat) S 2428 2431 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103944251 1382617088 278741 33554432000 4194304 16246674 140734098195536 139944739712240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2431/tid=2433] ppid=2428 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2433/stat : 2433 (toysat) S 2428 2431 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103944251 1382617088 278741 33554432000 4194304 16246674 140734098195536 139944729222384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2431/tid=2434] ppid=2428 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2434/stat : 2434 (toysat) S 2428 2431 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103944251 1382617088 278741 33554432000 4194304 16246674 140734098195536 139944718748848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1350212

[startup+1482.3 s]
/proc/loadavg: 2.09 2.07 2.04 3/183 2470
/proc/meminfo: memFree=29288532/32872528 swapFree=13600/559348
[pid=2431] ppid=2428 vsize=1350212 CPUtime=1481.81 cores=0,2,4,6
/proc/2431/stat : 2431 (toysat) R 2428 2431 1842 0 -1 4202496 278865 0 0 0 148120 61 0 0 20 0 4 0 103944250 1382617088 278742 33554432000 4194304 16246674 140734098195536 140734098177408 5545984 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2431/statm: 337553 278742 793 2943 0 334447 0
[pid=2431/tid=2432] ppid=2428 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2432/stat : 2432 (toysat) S 2428 2431 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103944251 1382617088 278742 33554432000 4194304 16246674 140734098195536 139944739712240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2431/tid=2433] ppid=2428 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2433/stat : 2433 (toysat) S 2428 2431 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103944251 1382617088 278742 33554432000 4194304 16246674 140734098195536 139944729222384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2431/tid=2434] ppid=2428 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2434/stat : 2434 (toysat) S 2428 2431 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103944251 1382617088 278742 33554432000 4194304 16246674 140734098195536 139944718748848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1350212

[startup+1542.31 s]
/proc/loadavg: 2.07 2.07 2.04 4/184 2474
/proc/meminfo: memFree=29288412/32872528 swapFree=13600/559348
[pid=2431] ppid=2428 vsize=1350212 CPUtime=1541.8 cores=0,2,4,6
/proc/2431/stat : 2431 (toysat) R 2428 2431 1842 0 -1 4202496 278865 0 0 0 154119 61 0 0 20 0 4 0 103944250 1382617088 278742 33554432000 4194304 16246674 140734098195536 140734098177408 5677784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2431/statm: 337553 278742 793 2943 0 334447 0
[pid=2431/tid=2432] ppid=2428 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2432/stat : 2432 (toysat) S 2428 2431 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103944251 1382617088 278742 33554432000 4194304 16246674 140734098195536 139944739712240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2431/tid=2433] ppid=2428 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2433/stat : 2433 (toysat) S 2428 2431 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103944251 1382617088 278742 33554432000 4194304 16246674 140734098195536 139944729222384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2431/tid=2434] ppid=2428 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2434/stat : 2434 (toysat) S 2428 2431 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103944251 1382617088 278742 33554432000 4194304 16246674 140734098195536 139944718748848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1350212

[startup+1602.3 s]
/proc/loadavg: 2.14 2.09 2.05 3/184 2499
/proc/meminfo: memFree=29288156/32872528 swapFree=13600/559348
[pid=2431] ppid=2428 vsize=1350212 CPUtime=1601.79 cores=0,2,4,6
/proc/2431/stat : 2431 (toysat) R 2428 2431 1842 0 -1 4202496 278865 0 0 0 160117 62 0 0 20 0 4 0 103944250 1382617088 278742 33554432000 4194304 16246674 140734098195536 140734098177408 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2431/statm: 337553 278742 793 2943 0 334447 0
[pid=2431/tid=2432] ppid=2428 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2432/stat : 2432 (toysat) S 2428 2431 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103944251 1382617088 278742 33554432000 4194304 16246674 140734098195536 139944739712240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2431/tid=2433] ppid=2428 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2433/stat : 2433 (toysat) S 2428 2431 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103944251 1382617088 278742 33554432000 4194304 16246674 140734098195536 139944729222384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2431/tid=2434] ppid=2428 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2434/stat : 2434 (toysat) S 2428 2431 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103944251 1382617088 278742 33554432000 4194304 16246674 140734098195536 139944718748848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1350212

[startup+1662.3 s]
/proc/loadavg: 2.22 2.12 2.06 3/183 2500
/proc/meminfo: memFree=29288032/32872528 swapFree=13600/559348
[pid=2431] ppid=2428 vsize=1350212 CPUtime=1661.78 cores=0,2,4,6
/proc/2431/stat : 2431 (toysat) R 2428 2431 1842 0 -1 4202496 278865 0 0 0 166116 62 0 0 20 0 4 0 103944250 1382617088 278742 33554432000 4194304 16246674 140734098195536 140734098177408 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2431/statm: 337553 278742 793 2943 0 334447 0
[pid=2431/tid=2432] ppid=2428 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2432/stat : 2432 (toysat) S 2428 2431 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103944251 1382617088 278742 33554432000 4194304 16246674 140734098195536 139944739712240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2431/tid=2433] ppid=2428 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2433/stat : 2433 (toysat) S 2428 2431 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103944251 1382617088 278742 33554432000 4194304 16246674 140734098195536 139944729222384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2431/tid=2434] ppid=2428 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2434/stat : 2434 (toysat) S 2428 2431 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103944251 1382617088 278742 33554432000 4194304 16246674 140734098195536 139944718748848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1350212

[startup+1722.3 s]
/proc/loadavg: 2.16 2.12 2.06 3/183 2501
/proc/meminfo: memFree=29287656/32872528 swapFree=13600/559348
[pid=2431] ppid=2428 vsize=1350212 CPUtime=1721.77 cores=0,2,4,6
/proc/2431/stat : 2431 (toysat) R 2428 2431 1842 0 -1 4202496 278926 0 0 0 172115 62 0 0 20 0 4 0 103944250 1382617088 278803 33554432000 4194304 16246674 140734098195536 140734098177408 5545832 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2431/statm: 337553 278803 793 2943 0 334447 0
[pid=2431/tid=2432] ppid=2428 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2432/stat : 2432 (toysat) S 2428 2431 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103944251 1382617088 278803 33554432000 4194304 16246674 140734098195536 139944739712240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2431/tid=2433] ppid=2428 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2433/stat : 2433 (toysat) S 2428 2431 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103944251 1382617088 278803 33554432000 4194304 16246674 140734098195536 139944729222384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2431/tid=2434] ppid=2428 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2434/stat : 2434 (toysat) S 2428 2431 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103944251 1382617088 278803 33554432000 4194304 16246674 140734098195536 139944718748848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1350212

[startup+1782.3 s]
/proc/loadavg: 2.10 2.11 2.06 3/176 2635
/proc/meminfo: memFree=30375640/32872528 swapFree=13600/559348
[pid=2431] ppid=2428 vsize=1350212 CPUtime=1781.76 cores=0,2,4,6
/proc/2431/stat : 2431 (toysat) R 2428 2431 1842 0 -1 4202496 279039 0 0 0 178113 63 0 0 20 0 4 0 103944250 1382617088 278916 33554432000 4194304 16246674 140734098195536 140734098177408 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2431/statm: 337553 278916 793 2943 0 334447 0
[pid=2431/tid=2432] ppid=2428 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2432/stat : 2432 (toysat) S 2428 2431 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103944251 1382617088 278916 33554432000 4194304 16246674 140734098195536 139944739712240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2431/tid=2433] ppid=2428 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2433/stat : 2433 (toysat) S 2428 2431 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103944251 1382617088 278916 33554432000 4194304 16246674 140734098195536 139944729222384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2431/tid=2434] ppid=2428 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2434/stat : 2434 (toysat) S 2428 2431 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103944251 1382617088 278916 33554432000 4194304 16246674 140734098195536 139944718748848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1350212



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.14 2.12 2.07 3/183 2649
/proc/meminfo: memFree=29267532/32872528 swapFree=13600/559348
[pid=2431] ppid=2428 vsize=1350212 CPUtime=1800.06 cores=0,2,4,6
/proc/2431/stat : 2431 (toysat) R 2428 2431 1842 0 -1 4202496 279039 0 0 0 179943 63 0 0 20 0 4 0 103944250 1382617088 278916 33554432000 4194304 16246674 140734098195536 140734098177408 7249867 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2431/statm: 337553 278916 793 2943 0 334447 0
[pid=2431/tid=2432] ppid=2428 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2432/stat : 2432 (toysat) S 2428 2431 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103944251 1382617088 278916 33554432000 4194304 16246674 140734098195536 139944739712240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2431/tid=2433] ppid=2428 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2433/stat : 2433 (toysat) S 2428 2431 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103944251 1382617088 278916 33554432000 4194304 16246674 140734098195536 139944729222384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2431/tid=2434] ppid=2428 vsize=1350212 CPUtime=0 cores=0,2,4,6
/proc/2431/task/2434/stat : 2434 (toysat) S 2428 2431 1842 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 103944251 1382617088 278916 33554432000 4194304 16246674 140734098195536 139944718748848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1350212

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 2431 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.07
CPU user time (s): 1799.44
CPU system time (s): 0.635903
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (KiB): 1350212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.44
system time used= 0.635903
maximum resident set size= 1115664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 279039
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= 470
involuntary context switches= 1837

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.8142 second user time and 17.5343 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-06 15:34:53
IDJOB=4078603
IDBENCH=1390
IDSOLVER=2542
FILE ID=node106/4078603-1465220093
RUNJOBID= node106-1465219870-1858
PBS_JOBID= 19843217
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078603-1465220093/watcher-4078603-1465220093 -o /tmp/evaluation-result-4078603-1465220093/solver-4078603-1465220093 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1465219870-1858 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078603-1465220093.opb

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

MD5SUM BENCH= d3d31f2bec4390bf166702fac3cf6fcc
RANDOM SEED=672309696

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.775
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:        30414304 kB
Buffers:            6608 kB
Cached:           117240 kB
SwapCached:         1840 kB
Active:          1150884 kB
Inactive:          49280 kB
Active(anon):    1077360 kB
Inactive(anon):     1244 kB
Active(file):      73524 kB
Inactive(file):    48036 kB
Unevictable:      559348 kB
Mlocked:           13600 kB
SwapTotal:      67108856 kB
SwapFree:       67098504 kB
Dirty:             32952 kB
Writeback:             0 kB
AnonPages:       1634948 kB
Mapped:            10456 kB
Shmem:                 0 kB
Slab:             567256 kB
SReclaimable:      11256 kB
SUnreclaim:       556000 kB
KernelStack:        1480 kB
PageTables:         7028 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1777504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    550912 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node106 at 2016-06-06 16:04:54