Trace number 4093315

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_31_pb.cnf.cr--soft-33-100-0.wbo
MD5SUMa55e12002eaa3d7d50414499a072c521
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark1800.02
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1860
Total number of constraints122
Number of soft constraints83
Number of constraints which are clauses62
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint31
Top cost 4163
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 4162
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 32
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T14:46:55+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--wbo","--search=bcd2","HOME/instance-4093315-1466081215.wbo"]
0.00/0.01	c use --random-gen="3011352663 3578733923 3683860065 232148758 2937264689 898970756 924283478 1823862138 441173842 2900613046 4020662531 2210925005 381611665 2403164825 827515110 1947290714 2591494200 1610948696 304043461 2660595732 1510996104 2232108580 2079027313 437324228 1469004193 3815459172 3967463342 3343130128 2386163229 1525734072 1772919162 1767746989 1266669187 3432361765 3261956596 1793682692 4266068306 1327506470 1289741904 141948056 3027811982 4033627475 1266971006 497263227 1777728410 2525584417 1441897088 3456426132 4219791952 2361391495 3867226281 311633722 1509123048 1909477363 2490385187 2251563240 3997981580 1189524791 175983401 1128184730 2484809940 532995979 1707483338 3917651633 93856853 3443272056 2093326833 188706955 3965900809 2069714619 1006102586 3823678955 1155678989 1612627566 2244558153 378335591 2618713426 216014336 1317066926 1741532657 2138292745 735522349 2663432218 4241719004 3269918233 1958905071 2742499647 730465493 498877497 3162524268 1755960219 3698944972 3211367559 1900922195 1549476660 1168940455 467386232 3596626148 1059027853 2291300756 424645517 4203020929 1774689317 3645885811 352727673 1860672531 750501628 3921491738 1926745367 2826934203 1611531720 2747234292 494373825 647233 2707714880 2854005566 908184 1774696085 921829403 702456012 1477067822 2856134628 4050887497 3721894202 2187916601 3777796421 2465381949 1208256346 2013958682 1561588432 2409465915 522920909 1621608511 2650995684 4188600888 3821684443 2522592359 4139959042 2513857682 3213590517 2012674793 254902264 266990904 1926104106 3205722265 2632231254 1029687046 959956962 1434953502 2192265147 2827062797 4177512379 1934725635 4119576588 3488014103 925943821 4124219479 333876759 2668514919 1698851863 1835797208 2245346717 2054661114 2885389496 3477089271 1662956084 1452825930 1476872440 2113684701 993867696 2886041807 3777083685 4293302713 1007880682 2783328795 1173130344 3251921878 1350745535 3866598887 3270584426 2707586252 1295644442 1964000313 921149302 433935517 3437831121 804662484 3978166509 3822331113 1434724556 2108756643 3889547132 137488275 1335160577 3370530695 1042540981 2092203847 2481939043 3551399657 4266880073 716731652 3095378091 4274209215 903149243 187208069 1060295180 3565682300 2944930692 269940021 1523707047 58237544 909738368 1988269973 3626766660 3631695254 2115705439 3099754617 1010884186 1786778429 4063374824 3223652118 2426869352 3953706688 1367797706 1171099915 2052009986 539278323 2913267616 2838991374 1525322240 1547183166 292603829 1931572708 4142699271 3073671790 2329790068 3279564654 2128489362 584778740 3683214960 3232321386 2381481901 320043513 2995217936 1540479641 915421486 1124106731 3363172303 3613596509 4016890220 1288898693 2246670021 1103733216 3743307908 3717715098 582787282 255 362436" option to reproduce the execution
0.00/0.09	c #vars 1860
0.00/0.09	c #constraints 122
0.09/0.10	c BCD2: Hardening is enabled.
0.09/0.10	c BCD2: BiasedSearch is enabled.
0.09/0.10	c Solving starts ...
0.09/0.10	c ============================[ Search Statistics ]============================
0.09/0.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.10	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.10	c =============================================================================
0.09/0.10	c  0.0s |       0 |        0 |        0 |      688      0 |        0 |        0
0.09/0.13	c  0.0s |       1 |      231 |      100 |      688      0 |        0 |        0
0.09/0.13	c  0.0s |       1 |     1533 |      101 |      757      0 |        0 |        0
0.09/0.13	c #cpu_time = 0.035s
0.09/0.13	c #wall_clock_time = 0.035s
0.09/0.13	c #decision = 1533
0.09/0.13	c #random_decision = 6
0.09/0.13	c #conflict = 101
0.09/0.13	c #restart = 1
0.09/0.13	o 1809
0.09/0.13	c BCD2: updating upper bound: 4162 -> 1808
0.09/0.14	c BCD2: 0 <= obj <= 1808
0.09/0.14	c BCD2: #cores=0, #unrelaxed=83, #relaxed=0, #hardened=0
0.09/0.14	c BCD2: #sat=1 #unsat=1 bias=1/2
0.09/0.14	c Solving starts ...
0.09/0.14	c ============================[ Search Statistics ]============================
0.09/0.14	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.14	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.14	c =============================================================================
0.09/0.14	c  0.0s |       0 |        0 |        0 |      757      0 |        0 |        0
0.09/0.18	c  0.0s |       1 |      419 |      100 |      757      0 |        0 |        0
0.19/0.28	c  0.1s |       2 |     1371 |      250 |      833      0 |        0 |        0
0.39/0.43	c  0.3s |       3 |     2666 |      475 |      917      0 |        0 |        0
0.59/0.66	c  0.5s |       4 |     3891 |      813 |     1009      0 |        0 |        0
0.99/1.01	c  0.9s |       5 |     5022 |     1320 |     1110      0 |        0 |        0
1.49/1.53	c  1.4s |       6 |     6462 |     2081 |     1221      1 |        0 |        0
2.20/2.22	c  2.1s |       7 |     8475 |     3223 |     1344      2 |        0 |        0
3.79/3.85	c  3.7s |       8 |    11204 |     4936 |     1479      4 |        0 |        0
5.50/5.55	c  5.4s |       9 |    14643 |     7506 |     1627      6 |        0 |        0
7.49/7.56	c  7.4s |       9 |    18505 |    10306 |     1627      8 |        0 |        0
8.39/8.49	c  8.4s |      10 |    19695 |    11361 |     1790      9 |        0 |        0
10.49/10.55	c 10.4s |      10 |    23230 |    13761 |     1790     11 |        0 |        0
12.49/12.57	c 12.4s |      10 |    25510 |    15761 |     1790     13 |        0 |        0
13.98/14.05	c 13.9s |      11 |    27115 |    17144 |     1970     13 |        0 |        0
15.98/16.06	c 15.9s |      11 |    30587 |    19244 |     1970     15 |        0 |        0
17.98/18.06	c 17.9s |      11 |    32532 |    20944 |     1970     16 |        0 |        0
20.08/20.14	c 20.0s |      11 |    35099 |    23044 |     1970     17 |        0 |        0
22.09/22.15	c 22.0s |      11 |    37157 |    24844 |     1970     19 |        0 |        0
23.19/23.22	c 23.1s |      12 |    38232 |    25819 |     2167     19 |        0 |        0
25.18/25.28	c 25.1s |      12 |    42278 |    28319 |     2167     21 |        0 |        0
27.28/27.34	c 27.2s |      12 |    44709 |    30119 |     2167     22 |        0 |        0
29.28/29.35	c 29.2s |      12 |    46646 |    31619 |     2167     23 |        0 |        0
31.38/31.49	c 31.4s |      12 |    48321 |    33019 |     2167     24 |        0 |        0
33.48/33.55	c 33.4s |      12 |    50601 |    34819 |     2167     25 |        0 |        0
35.58/35.69	c 35.6s |      12 |    52368 |    36219 |     2167     26 |        0 |        0
37.78/37.83	c 37.7s |      12 |    54451 |    37719 |     2167     27 |        0 |        0
39.08/39.16	c 39.0s |      13 |    55889 |    38832 |     2384     28 |        0 |        0
41.19/41.24	c 41.1s |      13 |    59365 |    40832 |     2384     28 |        0 |        0
43.19/43.24	c 43.1s |      13 |    61006 |    42232 |     2384     29 |        0 |        0
45.19/45.25	c 45.1s |      13 |    62822 |    43832 |     2384     30 |        0 |        0
47.29/47.39	c 47.3s |      13 |    64500 |    45332 |     2384     31 |        0 |        0
49.49/49.51	c 49.4s |      13 |    66262 |    46832 |     2384     31 |        0 |        0
51.48/51.58	c 51.4s |      13 |    71883 |    49632 |     2384     33 |        0 |        0
53.58/53.65	c 53.5s |      13 |    74484 |    51932 |     2384     35 |        0 |        0
55.58/55.66	c 55.5s |      13 |    76788 |    54032 |     2384     36 |        0 |        0
57.68/57.71	c 57.6s |      13 |    79584 |    56432 |     2384     37 |        0 |        0
59.58/59.60	c 59.5s |      14 |    81712 |    58352 |     2623     38 |        0 |        0
61.59/61.65	c 61.5s |      14 |    86324 |    61252 |     2623     40 |        0 |        0
63.68/63.71	c 63.6s |      14 |    88781 |    63452 |     2623     41 |        0 |        0
65.68/65.79	c 65.7s |      14 |    91361 |    65752 |     2623     42 |        0 |        0
67.78/67.89	c 67.8s |      14 |    93675 |    67852 |     2623     43 |        0 |        0
69.88/69.96	c 69.8s |      14 |    95557 |    69552 |     2623     44 |        0 |        0
71.98/72.01	c 71.9s |      14 |    98004 |    71652 |     2623     45 |        0 |        0
73.98/74.05	c 73.9s |      14 |   100663 |    74052 |     2623     46 |        0 |        0
75.99/76.05	c 75.9s |      14 |   103036 |    76152 |     2623     47 |        0 |        0
77.98/78.10	c 78.0s |      14 |   105611 |    78452 |     2623     48 |        0 |        0
80.18/80.20	c 80.1s |      14 |   108051 |    80652 |     2623     49 |        0 |        0
82.18/82.26	c 82.1s |      14 |   110374 |    82752 |     2623     50 |        0 |        0
84.18/84.27	c 84.1s |      14 |   112473 |    84652 |     2623     51 |        0 |        0
86.18/86.29	c 86.2s |      14 |   114681 |    86652 |     2623     52 |        0 |        0
87.08/87.16	c 87.0s |      15 |   115788 |    87632 |     2886     53 |        0 |        0
89.19/89.24	c 89.1s |      15 |   119277 |    90032 |     2886     54 |        0 |        0
91.29/91.31	c 91.2s |      15 |   121226 |    91732 |     2886     55 |        0 |        0
93.28/93.35	c 93.2s |      15 |   123073 |    93332 |     2886     55 |        0 |        0
95.38/95.43	c 95.3s |      15 |   124909 |    94932 |     2886     56 |        0 |        0
97.48/97.54	c 97.4s |      15 |   126607 |    96432 |     2886     57 |        0 |        0
99.48/99.55	c 99.4s |      15 |   128186 |    97832 |     2886     57 |        0 |        0
101.58/101.60	c  101s |      15 |   130749 |   100032 |     2886     59 |        0 |        0
103.68/103.73	c  103s |      15 |   133011 |   102032 |     2886     60 |        0 |        0
105.68/105.78	c  105s |      15 |   135091 |   103832 |     2886     60 |        0 |        0
107.78/107.83	c  107s |      15 |   136851 |   105332 |     2886     61 |        0 |        0
109.78/109.84	c  109s |      15 |   138437 |   106732 |     2886     62 |        0 |        0
111.97/112.00	c  111s |      15 |   140135 |   108232 |     2886     62 |        0 |        0
113.97/114.02	c  113s |      15 |   141680 |   109632 |     2886     63 |        0 |        0
115.97/116.09	c  115s |      15 |   144427 |   112032 |     2886     64 |        0 |        0
118.17/118.20	c  118s |      15 |   146444 |   113832 |     2886     65 |        0 |        0
120.17/120.28	c  120s |      15 |   148440 |   115632 |     2886     66 |        0 |        0
122.37/122.41	c  122s |      15 |   150318 |   117332 |     2886     67 |        0 |        0
124.38/124.44	c  124s |      15 |   152147 |   118932 |     2886     68 |        0 |        0
126.37/126.48	c  126s |      15 |   153919 |   120532 |     2886     68 |        0 |        0
128.57/128.61	c  128s |      15 |   155693 |   122132 |     2886     69 |        0 |        0
130.67/130.70	c  130s |      15 |   157339 |   123632 |     2886     70 |        0 |        0
132.67/132.75	c  132s |      15 |   159115 |   125232 |     2886     71 |        0 |        0
134.77/134.84	c  134s |      15 |   160898 |   126832 |     2886     71 |        0 |        0
136.87/136.90	c  136s |      15 |   162560 |   128332 |     2886     72 |        0 |        0
138.87/138.94	c  138s |      15 |   164185 |   129832 |     2886     73 |        0 |        0
140.87/140.97	c  140s |      15 |   165852 |   131332 |     3175     74 |        0 |        0
141.17/141.25	c  141s |      16 |   166093 |   131552 |     3175     74 |        0 |        0
143.27/143.34	c  143s |      16 |   169563 |   134252 |     3175     75 |        0 |        0
145.27/145.36	c  145s |      16 |   173079 |   136852 |     3175     76 |        0 |        0
147.37/147.45	c  147s |      16 |   175348 |   138852 |     3175     77 |        0 |        0
149.47/149.56	c  149s |      16 |   177537 |   140752 |     3175     78 |        0 |        0
151.56/151.60	c  151s |      16 |   179444 |   142452 |     3175     79 |        0 |        0
153.56/153.67	c  153s |      16 |   181408 |   144152 |     3175     80 |        0 |        0
155.66/155.70	c  155s |      16 |   183557 |   145952 |     3175     80 |        0 |        0
157.66/157.75	c  157s |      16 |   185360 |   147452 |     3175     81 |        0 |        0
159.76/159.88	c  159s |      16 |   187386 |   149152 |     3175     82 |        0 |        0
161.86/161.97	c  161s |      16 |   189394 |   150852 |     3175     83 |        0 |        0
163.87/163.99	c  163s |      16 |   191469 |   152552 |     3175     83 |        0 |        0
165.96/166.04	c  165s |      16 |   193393 |   154252 |     3175     84 |        0 |        0
168.06/168.17	c  168s |      16 |   195417 |   155952 |     3175     85 |        0 |        0
170.06/170.18	c  170s |      16 |   197501 |   157552 |     3175     86 |        0 |        0
172.16/172.29	c  172s |      16 |   199448 |   159152 |     3175     86 |        0 |        0
174.26/174.36	c  174s |      16 |   201173 |   160552 |     3175     87 |        0 |        0
176.36/176.41	c  176s |      16 |   203295 |   162052 |     3175     88 |        0 |        0
178.46/178.56	c  178s |      16 |   205198 |   163552 |     3175     88 |        0 |        0
180.47/180.57	c  180s |      16 |   206713 |   164852 |     3175     89 |        0 |        0
182.67/182.73	c  182s |      16 |   208181 |   166052 |     3175     89 |        0 |        0
184.76/184.86	c  184s |      16 |   209548 |   167252 |     3175     90 |        0 |        0
186.96/187.08	c  186s |      16 |   210913 |   168452 |     3175     91 |        0 |        0
189.17/189.22	c  189s |      16 |   212320 |   169652 |     3175     91 |        0 |        0
191.17/191.25	c  191s |      16 |   214050 |   171052 |     3175     92 |        0 |        0
193.27/193.35	c  193s |      16 |   216159 |   172652 |     3175     92 |        0 |        0
195.37/195.47	c  195s |      16 |   218180 |   174352 |     3175     93 |        0 |        0
197.37/197.49	c  197s |      16 |   219883 |   175752 |     3175     94 |        0 |        0
199.46/199.51	c  199s |      16 |   221760 |   177352 |     3175     94 |        0 |        0
201.46/201.54	c  201s |      16 |   223492 |   178852 |     3175     95 |        0 |        0
203.57/203.66	c  203s |      16 |   225439 |   180452 |     3175     96 |        0 |        0
205.56/205.69	c  205s |      16 |   227253 |   181952 |     3175     97 |        0 |        0
207.66/207.77	c  207s |      16 |   228936 |   183452 |     3175     97 |        0 |        0
209.76/209.85	c  209s |      16 |   230664 |   184852 |     3175     98 |        0 |        0
211.86/211.97	c  211s |      16 |   232285 |   186252 |     3175     99 |        0 |        0
213.96/214.06	c  213s |      16 |   233839 |   187652 |     3175     99 |        0 |        0
216.06/216.15	c  216s |      16 |   235302 |   188952 |     3175    100 |        0 |        0
218.16/218.29	c  218s |      16 |   236874 |   190252 |     3175    100 |        0 |        0
220.36/220.41	c  220s |      16 |   238300 |   191452 |     3175    101 |        0 |        0
222.46/222.57	c  222s |      16 |   239666 |   192652 |     3175    101 |        0 |        0
224.66/224.71	c  224s |      16 |   241199 |   193952 |     3175    102 |        0 |        0
226.76/226.82	c  226s |      16 |   242482 |   195052 |     3175    102 |        0 |        0
228.77/228.87	c  228s |      16 |   244049 |   196352 |     3493    103 |        0 |        0
230.66/230.72	c  230s |      17 |   245316 |   197432 |     3493    103 |        0 |        0
232.66/232.73	c  232s |      17 |   248048 |   199332 |     3493    105 |        0 |        0
234.66/234.74	c  234s |      17 |   250318 |   201232 |     3493    106 |        0 |        0
236.66/236.76	c  236s |      17 |   252882 |   203332 |     3493    107 |        0 |        0
238.66/238.76	c  238s |      17 |   254949 |   205132 |     3493    108 |        0 |        0
240.86/240.94	c  240s |      17 |   257117 |   207032 |     3493    109 |        0 |        0
242.96/243.04	c  242s |      17 |   259515 |   209032 |     3493    109 |        0 |        0
244.96/245.07	c  244s |      17 |   262327 |   211232 |     3493    111 |        0 |        0
247.06/247.10	c  246s |      17 |   264680 |   213332 |     3493    112 |        0 |        0
249.06/249.13	c  248s |      17 |   266705 |   215032 |     3493    113 |        0 |        0
251.05/251.18	c  251s |      17 |   270162 |   217732 |     3493    113 |        0 |        0
253.15/253.23	c  253s |      17 |   272858 |   220132 |     3493    114 |        0 |        0
255.16/255.25	c  255s |      17 |   275400 |   222332 |     3493    115 |        0 |        0
257.15/257.27	c  257s |      17 |   277990 |   224632 |     3493    116 |        0 |        0
259.15/259.28	c  259s |      17 |   280340 |   226732 |     3493    117 |        0 |        0
261.25/261.34	c  261s |      17 |   282692 |   228832 |     3493    118 |        0 |        0
263.35/263.44	c  263s |      17 |   285227 |   231132 |     3493    118 |        0 |        0
265.35/265.48	c  265s |      17 |   287560 |   233232 |     3493    119 |        0 |        0
267.36/267.48	c  267s |      17 |   289937 |   235332 |     3493    120 |        0 |        0
269.46/269.54	c  269s |      17 |   292058 |   237232 |     3493    121 |        0 |        0
271.45/271.59	c  271s |      17 |   294463 |   239332 |     3493    122 |        0 |        0
273.55/273.63	c  273s |      17 |   297291 |   241832 |     3493    123 |        0 |        0
275.65/275.73	c  275s |      17 |   300091 |   244332 |     3493    124 |        0 |        0
277.65/277.79	c  277s |      17 |   302699 |   246632 |     3493    124 |        0 |        0
279.75/279.81	c  279s |      17 |   305343 |   248932 |     3493    125 |        0 |        0
281.75/281.90	c  281s |      17 |   307922 |   251232 |     3493    126 |        0 |        0
283.85/283.93	c  283s |      17 |   310184 |   253232 |     3493    127 |        0 |        0
285.85/286.00	c  285s |      17 |   313112 |   255732 |     3493    128 |        0 |        0
287.95/288.01	c  287s |      17 |   315432 |   257832 |     3493    129 |        0 |        0
289.95/290.05	c  289s |      17 |   318174 |   260232 |     3493    130 |        0 |        0
291.94/292.07	c  291s |      17 |   320812 |   262532 |     3493    131 |        0 |        0
294.04/294.10	c  293s |      17 |   323369 |   264832 |     3493    131 |        0 |        0
296.04/296.19	c  296s |      17 |   326060 |   267232 |     3493    132 |        0 |        0
298.15/298.29	c  298s |      17 |   328614 |   269432 |     3493    133 |        0 |        0
300.14/300.30	c  300s |      17 |   331090 |   271632 |     3493    134 |        0 |        0
302.24/302.30	c  302s |      17 |   333395 |   273632 |     3493    135 |        0 |        0
304.24/304.35	c  304s |      17 |   335806 |   275732 |     3493    136 |        0 |        0
306.34/306.46	c  306s |      17 |   338129 |   277832 |     3493    136 |        0 |        0
308.34/308.47	c  308s |      17 |   340656 |   280032 |     3493    137 |        0 |        0
310.44/310.55	c  310s |      17 |   343154 |   282232 |     3493    138 |        0 |        0
312.54/312.65	c  312s |      17 |   345797 |   284532 |     3493    139 |        0 |        0
314.55/314.67	c  314s |      17 |   348308 |   286732 |     3493    140 |        0 |        0
316.64/316.70	c  316s |      17 |   350787 |   288932 |     3493    141 |        0 |        0
318.64/318.72	c  318s |      17 |   353030 |   290932 |     3493    142 |        0 |        0
320.64/320.73	c  320s |      17 |   355466 |   293032 |     3493    142 |        0 |        0
322.74/322.81	c  322s |      17 |   357892 |   295132 |     3843    143 |        0 |        0
323.84/323.92	c  323s |      18 |   359141 |   296252 |     3843    143 |        0 |        0
325.84/325.99	c  325s |      18 |   362438 |   298652 |     3843    144 |        0 |        0
327.94/328.09	c  327s |      18 |   364791 |   300752 |     3843    145 |        0 |        0
330.04/330.14	c  330s |      18 |   366969 |   302652 |     3843    146 |        0 |        0
332.14/332.21	c  332s |      18 |   368725 |   304252 |     3843    146 |        0 |        0
334.14/334.23	c  334s |      18 |   370394 |   305752 |     3843    147 |        0 |        0
336.23/336.35	c  336s |      18 |   372169 |   307352 |     3843    148 |        0 |        0
338.23/338.36	c  338s |      18 |   374017 |   309052 |     3843    148 |        0 |        0
340.33/340.46	c  340s |      18 |   375761 |   310652 |     3843    149 |        0 |        0
342.43/342.53	c  342s |      18 |   377638 |   312352 |     3843    149 |        0 |        0
344.53/344.67	c  344s |      18 |   379384 |   313952 |     3843    150 |        0 |        0
346.63/346.79	c  346s |      18 |   381113 |   315552 |     3843    151 |        0 |        0
348.74/348.89	c  348s |      18 |   382993 |   317252 |     3843    151 |        0 |        0
350.84/350.93	c  350s |      18 |   384589 |   318652 |     3843    152 |        0 |        0
352.82/352.93	c  352s |      18 |   386433 |   320252 |     3843    152 |        0 |        0
354.92/355.03	c  354s |      18 |   388222 |   321752 |     3843    153 |        0 |        0
356.92/357.06	c  356s |      18 |   390020 |   323252 |     3843    153 |        0 |        0
359.02/359.10	c  358s |      18 |   391709 |   324752 |     3843    154 |        0 |        0
361.12/361.27	c  361s |      18 |   393621 |   326452 |     3843    155 |        0 |        0
363.22/363.32	c  363s |      18 |   395388 |   328052 |     3843    155 |        0 |        0
365.22/365.35	c  365s |      18 |   396968 |   329452 |     3843    156 |        0 |        0
367.32/367.45	c  367s |      18 |   398822 |   331152 |     3843    156 |        0 |        0
369.32/369.48	c  369s |      18 |   400463 |   332652 |     3843    157 |        0 |        0
371.41/371.57	c  371s |      18 |   402425 |   334452 |     3843    157 |        0 |        0
373.41/373.58	c  373s |      18 |   404225 |   336052 |     3843    158 |        0 |        0
375.51/375.70	c  375s |      18 |   405857 |   337552 |     3843    159 |        0 |        0
377.61/377.74	c  377s |      18 |   407769 |   339252 |     3843    159 |        0 |        0
379.71/379.83	c  379s |      18 |   409554 |   340852 |     3843    160 |        0 |        0
381.80/381.92	c  381s |      18 |   411188 |   342352 |     3843    160 |        0 |        0
383.81/383.98	c  383s |      18 |   412827 |   343852 |     3843    161 |        0 |        0
385.90/386.02	c  385s |      18 |   414457 |   345352 |     3843    161 |        0 |        0
387.90/388.07	c  387s |      18 |   415990 |   346752 |     3843    162 |        0 |        0
390.11/390.20	c  390s |      18 |   417745 |   348352 |     3843    163 |        0 |        0
392.21/392.33	c  392s |      18 |   419602 |   350052 |     3843    163 |        0 |        0
394.31/394.43	c  394s |      18 |   421102 |   351452 |     3843    164 |        0 |        0
396.41/396.53	c  396s |      18 |   422737 |   352952 |     3843    164 |        0 |        0
398.41/398.57	c  398s |      18 |   424348 |   354452 |     3843    165 |        0 |        0
400.61/400.70	c  400s |      18 |   425953 |   355952 |     3843    165 |        0 |        0
402.70/402.82	c  402s |      18 |   427140 |   357052 |     3843    166 |        0 |        0
404.71/404.89	c  404s |      18 |   428421 |   358252 |     3843    166 |        0 |        0
406.80/406.94	c  406s |      18 |   430126 |   359752 |     3843    167 |        0 |        0
408.90/409.05	c  408s |      18 |   431992 |   361452 |     3843    167 |        0 |        0
410.90/411.05	c  410s |      18 |   433321 |   362652 |     3843    168 |        0 |        0
412.99/413.18	c  413s |      18 |   435400 |   364552 |     3843    168 |        0 |        0
415.19/415.32	c  415s |      18 |   437048 |   366052 |     3843    169 |        0 |        0
417.29/417.42	c  417s |      18 |   438433 |   367352 |     3843    169 |        0 |        0
419.29/419.43	c  419s |      18 |   439951 |   368752 |     3843    170 |        0 |        0
421.39/421.50	c  421s |      18 |   441710 |   370352 |     3843    171 |        0 |        0
423.39/423.56	c  423s |      18 |   443203 |   371752 |     3843    171 |        0 |        0
425.39/425.59	c  425s |      18 |   444578 |   373052 |     3843    172 |        0 |        0
427.59/427.72	c  427s |      18 |   446012 |   374352 |     3843    172 |        0 |        0
429.68/429.82	c  429s |      18 |   448122 |   376252 |     3843    173 |        0 |        0
431.68/431.87	c  431s |      18 |   449907 |   377852 |     3843    173 |        0 |        0
433.88/434.00	c  433s |      18 |   451571 |   379352 |     3843    174 |        0 |        0
435.88/436.01	c  435s |      18 |   452846 |   380552 |     3843    174 |        0 |        0
437.88/438.08	c  437s |      18 |   454273 |   381852 |     3843    175 |        0 |        0
439.99/440.11	c  439s |      18 |   456275 |   383652 |     3843    175 |        0 |        0
441.97/442.12	c  441s |      18 |   458040 |   385252 |     3843    176 |        0 |        0
443.97/444.15	c  444s |      18 |   459544 |   386652 |     3843    177 |        0 |        0
446.07/446.24	c  446s |      18 |   461269 |   388252 |     3843    177 |        0 |        0
448.07/448.25	c  448s |      18 |   462794 |   389652 |     3843    178 |        0 |        0
450.17/450.37	c  450s |      18 |   464411 |   391152 |     3843    178 |        0 |        0
452.16/452.39	c  452s |      18 |   465731 |   392352 |     3843    179 |        0 |        0
454.27/454.44	c  454s |      18 |   467252 |   393752 |     3843    179 |        0 |        0
456.26/456.45	c  456s |      18 |   468659 |   395052 |     3843    180 |        0 |        0
458.36/458.50	c  458s |      18 |   470181 |   396452 |     3843    180 |        0 |        0
460.46/460.61	c  460s |      18 |   472318 |   398352 |     3843    181 |        0 |        0
462.46/462.62	c  462s |      18 |   473858 |   399752 |     3843    181 |        0 |        0
464.56/464.73	c  464s |      18 |   475539 |   401252 |     3843    182 |        0 |        0
466.66/466.86	c  466s |      18 |   477045 |   402652 |     3843    182 |        0 |        0
468.66/468.88	c  468s |      18 |   478578 |   404052 |     3843    183 |        0 |        0
470.76/470.96	c  470s |      18 |   480097 |   405452 |     3843    183 |        0 |        0
472.86/473.10	c  472s |      18 |   481711 |   406952 |     3843    184 |        0 |        0
475.06/475.25	c  475s |      18 |   482887 |   408052 |     3843    184 |        0 |        0
477.15/477.38	c  477s |      18 |   484146 |   409252 |     3843    185 |        0 |        0
479.35/479.53	c  479s |      18 |   485767 |   410652 |     3843    185 |        0 |        0
481.35/481.56	c  481s |      18 |   487306 |   412052 |     3843    186 |        0 |        0
483.54/483.72	c  483s |      18 |   489310 |   413852 |     3843    187 |        0 |        0
485.64/485.87	c  485s |      18 |   491188 |   415552 |     3843    187 |        0 |        0
487.74/487.93	c  487s |      18 |   492950 |   417152 |     3843    188 |        0 |        0
489.84/490.01	c  489s |      18 |   494671 |   418752 |     3843    188 |        0 |        0
491.84/492.06	c  491s |      18 |   496281 |   420252 |     3843    189 |        0 |        0
493.93/494.15	c  494s |      18 |   497918 |   421752 |     3843    189 |        0 |        0
496.04/496.25	c  496s |      18 |   499328 |   423052 |     3843    190 |        0 |        0
498.14/498.34	c  498s |      18 |   500715 |   424352 |     3843    190 |        0 |        0
500.23/500.45	c  500s |      18 |   502235 |   425752 |     3843    191 |        0 |        0
502.33/502.53	c  502s |      18 |   503716 |   427152 |     3843    191 |        0 |        0
504.43/504.63	c  504s |      18 |   505230 |   428552 |     3843    192 |        0 |        0
506.53/506.72	c  506s |      18 |   506800 |   429952 |     3843    192 |        0 |        0
508.53/508.76	c  508s |      18 |   508592 |   431552 |     3843    193 |        0 |        0
510.63/510.88	c  510s |      18 |   510232 |   433052 |     3843    194 |        0 |        0
512.82/513.05	c  512s |      18 |   511855 |   434552 |     3843    194 |        0 |        0
514.92/515.18	c  515s |      18 |   513367 |   435952 |     3843    195 |        0 |        0
517.02/517.27	c  517s |      18 |   514876 |   437352 |     3843    195 |        0 |        0
519.13/519.36	c  519s |      18 |   516385 |   438752 |     3843    196 |        0 |        0
521.23/521.44	c  521s |      18 |   517884 |   440152 |     3843    196 |        0 |        0
523.22/523.47	c  523s |      18 |   519276 |   441452 |     4228    197 |        0 |        0
525.41/525.64	c  525s |      18 |   520658 |   442752 |     4228    197 |        0 |        0
527.51/527.76	c  527s |      18 |   521938 |   443952 |     4228    197 |        0 |        0
528.51/528.78	c  528s |      19 |   522507 |   444482 |     4228    198 |        0 |        0
530.51/530.79	c  530s |      19 |   526484 |   447282 |     4228    199 |        0 |        0
532.61/532.87	c  532s |      19 |   529135 |   449582 |     4228    199 |        0 |        0
534.71/534.91	c  534s |      19 |   531717 |   451882 |     4228    200 |        0 |        0
536.71/536.98	c  536s |      19 |   534185 |   454082 |     4228    201 |        0 |        0
538.81/539.05	c  538s |      19 |   536285 |   455982 |     4228    201 |        0 |        0
540.91/541.19	c  541s |      19 |   538470 |   457982 |     4228    202 |        0 |        0
543.00/543.27	c  543s |      19 |   540600 |   459882 |     4228    203 |        0 |        0
545.10/545.38	c  545s |      19 |   542907 |   461982 |     4228    203 |        0 |        0
547.20/547.44	c  547s |      19 |   545218 |   464082 |     4228    204 |        0 |        0
549.30/549.54	c  549s |      19 |   547411 |   466082 |     4228    205 |        0 |        0
551.40/551.62	c  551s |      19 |   549578 |   467982 |     4228    206 |        0 |        0
553.39/553.67	c  553s |      19 |   552281 |   470382 |     4228    206 |        0 |        0
555.49/555.71	c  555s |      19 |   554633 |   472482 |     4228    207 |        0 |        0
557.50/557.72	c  557s |      19 |   556793 |   474382 |     4228    208 |        0 |        0
559.49/559.75	c  559s |      19 |   558986 |   476382 |     4228    208 |        0 |        0
561.59/561.84	c  561s |      19 |   561360 |   478482 |     4228    209 |        0 |        0
563.58/563.85	c  563s |      19 |   563117 |   480082 |     4228    210 |        0 |        0
565.58/565.88	c  565s |      19 |   565076 |   481882 |     4228    210 |        0 |        0
567.68/567.93	c  567s |      19 |   567301 |   483882 |     4228    211 |        0 |        0
569.78/570.04	c  569s |      19 |   569436 |   485782 |     4228    212 |        0 |        0
571.88/572.11	c  571s |      19 |   572211 |   488182 |     4228    212 |        0 |        0
573.87/574.17	c  574s |      19 |   574456 |   490182 |     4228    213 |        0 |        0
575.97/576.23	c  576s |      19 |   576449 |   491982 |     4228    214 |        0 |        0
578.07/578.34	c  578s |      19 |   578759 |   493982 |     4228    214 |        0 |        0
580.17/580.45	c  580s |      19 |   580532 |   495582 |     4228    215 |        0 |        0
582.17/582.47	c  582s |      19 |   582442 |   497282 |     4228    215 |        0 |        0
584.27/584.52	c  584s |      19 |   584836 |   499382 |     4228    216 |        0 |        0
586.27/586.53	c  586s |      19 |   586881 |   501182 |     4228    217 |        0 |        0
588.37/588.63	c  588s |      19 |   588870 |   502982 |     4228    217 |        0 |        0
590.47/590.73	c  590s |      19 |   590991 |   504882 |     4228    218 |        0 |        0
592.67/592.92	c  592s |      19 |   592846 |   506582 |     4228    219 |        0 |        0
594.76/595.01	c  594s |      19 |   595269 |   508782 |     4228    219 |        0 |        0
596.86/597.11	c  596s |      19 |   597375 |   510682 |     4228    220 |        0 |        0
598.86/599.12	c  598s |      19 |   599726 |   512682 |     4228    221 |        0 |        0
600.86/601.12	c  600s |      19 |   602339 |   514882 |     4228    221 |        0 |        0
602.85/603.14	c  603s |      19 |   604585 |   516882 |     4228    222 |        0 |        0
604.95/605.20	c  605s |      19 |   606812 |   518882 |     4228    223 |        0 |        0
606.96/607.23	c  607s |      19 |   609135 |   520982 |     4228    223 |        0 |        0
608.95/609.26	c  609s |      19 |   611392 |   522982 |     4228    224 |        0 |        0
611.05/611.32	c  611s |      19 |   613678 |   524982 |     4228    225 |        0 |        0
613.15/613.43	c  613s |      19 |   615920 |   526982 |     4228    226 |        0 |        0
615.25/615.53	c  615s |      19 |   618203 |   529082 |     4228    226 |        0 |        0
617.25/617.57	c  617s |      19 |   620296 |   530982 |     4228    227 |        0 |        0
619.34/619.61	c  619s |      19 |   622380 |   532882 |     4228    228 |        0 |        0
621.35/621.63	c  621s |      19 |   624629 |   534882 |     4228    228 |        0 |        0
623.34/623.69	c  623s |      19 |   626802 |   536882 |     4228    229 |        0 |        0
625.44/625.75	c  625s |      19 |   628744 |   538682 |     4228    229 |        0 |        0
627.54/627.81	c  627s |      19 |   630953 |   540682 |     4228    230 |        0 |        0
629.55/629.86	c  629s |      19 |   632738 |   542282 |     4228    231 |        0 |        0
631.65/631.95	c  631s |      19 |   634749 |   544082 |     4228    231 |        0 |        0
633.74/634.07	c  633s |      19 |   636869 |   545982 |     4228    232 |        0 |        0
635.74/636.09	c  635s |      19 |   638893 |   547782 |     4228    233 |        0 |        0
637.85/638.16	c  638s |      19 |   641091 |   549782 |     4228    233 |        0 |        0
639.95/640.27	c  640s |      19 |   643020 |   551582 |     4228    234 |        0 |        0
642.04/642.36	c  642s |      19 |   644971 |   553282 |     4228    234 |        0 |        0
644.14/644.44	c  644s |      19 |   646900 |   555082 |     4228    235 |        0 |        0
646.14/646.46	c  646s |      19 |   648632 |   556482 |     4228    236 |        0 |        0
648.23/648.54	c  648s |      19 |   651061 |   558582 |     4228    236 |        0 |        0
650.33/650.65	c  650s |      19 |   652989 |   560282 |     4228    237 |        0 |        0
652.33/652.69	c  652s |      19 |   654892 |   561882 |     4228    237 |        0 |        0
654.43/654.77	c  654s |      19 |   656987 |   563682 |     4228    238 |        0 |        0
656.54/656.85	c  656s |      19 |   658714 |   565282 |     4228    239 |        0 |        0
658.53/658.90	c  658s |      19 |   660560 |   566982 |     4228    239 |        0 |        0
660.63/660.97	c  660s |      19 |   662644 |   568882 |     4228    240 |        0 |        0
662.72/663.05	c  662s |      19 |   664393 |   570482 |     4228    240 |        0 |        0
664.82/665.15	c  665s |      19 |   666625 |   572382 |     4228    241 |        0 |        0
666.92/667.28	c  667s |      19 |   668480 |   573982 |     4228    242 |        0 |        0
669.02/669.36	c  669s |      19 |   670420 |   575682 |     4228    242 |        0 |        0
671.02/671.37	c  671s |      19 |   672798 |   577782 |     4228    243 |        0 |        0
673.12/673.41	c  673s |      19 |   674809 |   579582 |     4228    243 |        0 |        0
675.12/675.45	c  675s |      19 |   676807 |   581382 |     4228    244 |        0 |        0
677.22/677.56	c  677s |      19 |   678999 |   583382 |     4228    245 |        0 |        0
679.32/679.62	c  679s |      19 |   680863 |   585082 |     4228    245 |        0 |        0
681.32/681.63	c  681s |      19 |   682452 |   586582 |     4228    246 |        0 |        0
683.31/683.68	c  683s |      19 |   684166 |   588182 |     4228    246 |        0 |        0
685.41/685.75	c  685s |      19 |   685842 |   589682 |     4228    247 |        0 |        0
687.41/687.78	c  687s |      19 |   688186 |   591782 |     4228    248 |        0 |        0
689.52/689.89	c  689s |      19 |   690261 |   593582 |     4228    248 |        0 |        0
691.51/691.89	c  691s |      19 |   692154 |   595282 |     4228    249 |        0 |        0
693.70/694.01	c  693s |      19 |   694143 |   597082 |     4228    249 |        0 |        0
695.80/696.13	c  695s |      19 |   696089 |   598882 |     4228    250 |        0 |        0
697.80/698.14	c  698s |      19 |   697896 |   600482 |     4228    251 |        0 |        0
699.90/700.24	c  700s |      19 |   699929 |   602382 |     4228    251 |        0 |        0
702.00/702.34	c  702s |      19 |   701777 |   604082 |     4228    252 |        0 |        0
704.00/704.37	c  704s |      19 |   703431 |   605582 |     4228    252 |        0 |        0
706.10/706.44	c  706s |      19 |   705083 |   607082 |     4228    253 |        0 |        0
708.20/708.53	c  708s |      19 |   706836 |   608682 |     4228    253 |        0 |        0
710.20/710.59	c  710s |      19 |   708321 |   609982 |     4228    254 |        0 |        0
712.29/712.64	c  712s |      19 |   710046 |   611482 |     4228    254 |        0 |        0
714.29/714.67	c  714s |      19 |   711612 |   612882 |     4228    255 |        0 |        0
716.49/716.82	c  716s |      19 |   713413 |   614482 |     4228    255 |        0 |        0
718.59/718.90	c  718s |      19 |   714929 |   615882 |     4228    256 |        0 |        0
720.59/720.94	c  720s |      19 |   716580 |   617382 |     4228    256 |        0 |        0
722.68/723.03	c  722s |      19 |   718032 |   618682 |     4228    257 |        0 |        0
724.78/725.10	c  724s |      19 |   719927 |   620382 |     4228    257 |        0 |        0
726.79/727.13	c  726s |      19 |   721453 |   621782 |     4228    258 |        0 |        0
728.78/729.16	c  729s |      19 |   722988 |   623182 |     4228    258 |        0 |        0
730.88/731.20	c  731s |      19 |   724415 |   624482 |     4228    259 |        0 |        0
732.87/733.24	c  733s |      19 |   725950 |   625882 |     4228    259 |        0 |        0
734.87/735.29	c  735s |      19 |   727362 |   627182 |     4228    260 |        0 |        0
737.07/737.43	c  737s |      19 |   728869 |   628582 |     4228    260 |        0 |        0
739.07/739.45	c  739s |      19 |   730049 |   629682 |     4228    260 |        0 |        0
741.18/741.60	c  741s |      19 |   731503 |   630982 |     4228    261 |        0 |        0
743.27/743.66	c  743s |      19 |   732927 |   632282 |     4228    261 |        0 |        0
745.36/745.71	c  745s |      19 |   734231 |   633482 |     4228    262 |        0 |        0
747.36/747.74	c  747s |      19 |   735646 |   634782 |     4228    262 |        0 |        0
749.46/749.85	c  749s |      19 |   737155 |   636182 |     4228    263 |        0 |        0
751.56/751.95	c  751s |      19 |   738447 |   637382 |     4228    263 |        0 |        0
753.86/754.24	c  754s |      19 |   739744 |   638582 |     4228    264 |        0 |        0
755.96/756.38	c  756s |      19 |   741271 |   639982 |     4228    264 |        0 |        0
758.16/758.52	c  758s |      19 |   743039 |   641582 |     4228    265 |        0 |        0
760.16/760.54	c  760s |      19 |   745606 |   643882 |     4228    265 |        0 |        0
762.15/762.57	c  762s |      19 |   747681 |   645782 |     4228    266 |        0 |        0
764.16/764.60	c  764s |      19 |   749780 |   647682 |     4228    267 |        0 |        0
766.36/766.73	c  766s |      19 |   752031 |   649682 |     4228    267 |        0 |        0
768.35/768.73	c  768s |      19 |   753808 |   651282 |     4228    268 |        0 |        0
770.45/770.86	c  770s |      19 |   755678 |   652982 |     4228    268 |        0 |        0
772.44/772.88	c  772s |      19 |   757573 |   654682 |     4228    269 |        0 |        0
774.64/775.04	c  774s |      19 |   759343 |   656282 |     4228    270 |        0 |        0
776.64/777.04	c  776s |      19 |   761466 |   658182 |     4228    270 |        0 |        0
778.64/779.08	c  778s |      19 |   762981 |   659582 |     4228    271 |        0 |        0
780.65/781.10	c  780s |      19 |   764627 |   661082 |     4228    271 |        0 |        0
782.84/783.28	c  783s |      19 |   766255 |   662582 |     4651    272 |        0 |        0
784.83/785.28	c  785s |      19 |   768236 |   664382 |     4651    272 |        0 |        0
787.04/787.44	c  787s |      19 |   769934 |   665882 |     4651    273 |        0 |        0
788.24/788.62	c  788s |      20 |   770981 |   666827 |     4651    273 |        0 |        0
790.24/790.68	c  790s |      20 |   773631 |   668527 |     4651    273 |        0 |        0
792.34/792.74	c  792s |      20 |   775127 |   669827 |     4651    274 |        0 |        0
794.34/794.75	c  794s |      20 |   776453 |   671027 |     4651    274 |        0 |        0
796.43/796.89	c  796s |      20 |   777540 |   672027 |     4651    275 |        0 |        0
798.53/798.94	c  798s |      20 |   778649 |   673027 |     4651    275 |        0 |        0
800.54/801.00	c  800s |      20 |   779736 |   674027 |     4651    275 |        0 |        0
802.73/803.13	c  802s |      20 |   781012 |   675127 |     4651    276 |        0 |        0
804.83/805.22	c  805s |      20 |   782365 |   676327 |     4651    276 |        0 |        0
806.83/807.29	c  807s |      20 |   783489 |   677327 |     4651    276 |        0 |        0
809.03/809.47	c  809s |      20 |   784470 |   678227 |     4651    277 |        0 |        0
811.12/811.51	c  811s |      20 |   785569 |   679227 |     4651    277 |        0 |        0
813.22/813.62	c  813s |      20 |   786657 |   680227 |     4651    277 |        0 |        0
815.32/815.72	c  815s |      20 |   787625 |   681127 |     4651    278 |        0 |        0
817.42/817.83	c  817s |      20 |   788604 |   682027 |     4651    278 |        0 |        0
819.63/820.03	c  819s |      20 |   789577 |   682927 |     4651    278 |        0 |        0
821.82/822.24	c  822s |      20 |   790411 |   683727 |     4651    278 |        0 |        0
823.82/824.28	c  824s |      20 |   791174 |   684427 |     4651    279 |        0 |        0
825.82/826.28	c  826s |      20 |   792273 |   685427 |     4651    279 |        0 |        0
827.92/828.35	c  828s |      20 |   793410 |   686427 |     4651    279 |        0 |        0
830.12/830.53	c  830s |      20 |   794582 |   687427 |     4651    280 |        0 |        0
832.21/832.70	c  832s |      20 |   795923 |   688627 |     4651    280 |        0 |        0
834.41/834.81	c  834s |      20 |   796808 |   689427 |     4651    280 |        0 |        0
836.51/836.99	c  836s |      20 |   797803 |   690327 |     4651    281 |        0 |        0
838.71/839.18	c  839s |      20 |   798883 |   691327 |     4651    281 |        0 |        0
840.81/841.29	c  841s |      20 |   799744 |   692127 |     4651    281 |        0 |        0
843.00/843.45	c  843s |      20 |   800708 |   693027 |     4651    281 |        0 |        0
845.10/845.57	c  845s |      20 |   801717 |   693927 |     4651    282 |        0 |        0
847.20/847.68	c  847s |      20 |   802687 |   694827 |     4651    282 |        0 |        0
849.30/849.78	c  849s |      20 |   803920 |   695927 |     4651    282 |        0 |        0
851.40/851.84	c  851s |      20 |   804902 |   696827 |     4651    283 |        0 |        0
853.40/853.88	c  853s |      20 |   805859 |   697727 |     4651    283 |        0 |        0
855.60/856.04	c  855s |      20 |   806749 |   698527 |     4651    283 |        0 |        0
857.90/858.30	c  858s |      20 |   807699 |   699427 |     4651    283 |        0 |        0
860.00/860.46	c  860s |      20 |   808578 |   700227 |     4651    284 |        0 |        0
862.00/862.47	c  862s |      20 |   809592 |   701127 |     4651    284 |        0 |        0
864.09/864.56	c  864s |      20 |   810805 |   702127 |     4651    284 |        0 |        0
866.29/866.70	c  866s |      20 |   812050 |   703227 |     4651    285 |        0 |        0
868.39/868.85	c  868s |      20 |   813317 |   704327 |     4651    285 |        0 |        0
870.49/870.99	c  870s |      20 |   814485 |   705327 |     4651    285 |        0 |        0
872.59/873.00	c  872s |      20 |   815520 |   706227 |     4651    286 |        0 |        0
874.69/875.11	c  874s |      20 |   816564 |   707127 |     4651    286 |        0 |        0
876.89/877.31	c  877s |      20 |   817442 |   707927 |     4651    286 |        0 |        0
878.89/879.34	c  879s |      20 |   818210 |   708627 |     4651    286 |        0 |        0
880.89/881.36	c  881s |      20 |   818980 |   709327 |     4651    287 |        0 |        0
883.08/883.50	c  883s |      20 |   819850 |   710127 |     4651    287 |        0 |        0
885.29/885.73	c  885s |      20 |   820726 |   710927 |     4651    287 |        0 |        0
887.49/887.92	c  887s |      20 |   821488 |   711627 |     4651    287 |        0 |        0
889.78/890.21	c  890s |      20 |   822263 |   712327 |     4651    288 |        0 |        0
891.79/892.26	c  892s |      20 |   823039 |   713027 |     4651    288 |        0 |        0
893.98/894.45	c  894s |      20 |   823853 |   713727 |     4651    288 |        0 |        0
896.09/896.56	c  896s |      20 |   824622 |   714427 |     4651    288 |        0 |        0
898.08/898.59	c  898s |      20 |   825521 |   715227 |     4651    289 |        0 |        0
900.28/900.77	c  900s |      20 |   826763 |   716327 |     4651    289 |        0 |        0
902.37/902.83	c  902s |      20 |   827872 |   717327 |     4651    289 |        0 |        0
904.47/904.96	c  904s |      20 |   828755 |   718127 |     4651    290 |        0 |        0
906.67/907.12	c  906s |      20 |   829838 |   719127 |     4651    290 |        0 |        0
908.87/909.38	c  909s |      20 |   830831 |   720027 |     4651    290 |        0 |        0
910.87/911.38	c  911s |      20 |   831583 |   720727 |     4651    290 |        0 |        0
913.07/913.57	c  913s |      20 |   832494 |   721527 |     4651    291 |        0 |        0
915.37/915.80	c  915s |      20 |   833629 |   722527 |     4651    291 |        0 |        0
917.37/917.84	c  917s |      20 |   834503 |   723327 |     4651    291 |        0 |        0
919.47/919.91	c  919s |      20 |   835406 |   724127 |     4651    292 |        0 |        0
921.56/922.07	c  921s |      20 |   836522 |   725127 |     4651    292 |        0 |        0
923.77/924.23	c  924s |      20 |   837383 |   725927 |     4651    292 |        0 |        0
925.77/926.27	c  926s |      20 |   838277 |   726727 |     4651    292 |        0 |        0
927.97/928.45	c  928s |      20 |   839151 |   727527 |     4651    293 |        0 |        0
930.07/930.57	c  930s |      20 |   840031 |   728327 |     4651    293 |        0 |        0
932.26/932.71	c  932s |      20 |   840888 |   729127 |     4651    293 |        0 |        0
934.46/934.91	c  934s |      20 |   841643 |   729827 |     4651    293 |        0 |        0
936.46/936.98	c  936s |      20 |   842469 |   730527 |     4651    294 |        0 |        0
938.66/939.19	c  939s |      20 |   843579 |   731527 |     4651    294 |        0 |        0
940.86/941.34	c  941s |      20 |   844554 |   732427 |     4651    294 |        0 |        0
943.15/943.64	c  943s |      20 |   845430 |   733227 |     4651    294 |        0 |        0
945.25/945.71	c  945s |      20 |   846188 |   733927 |     4651    295 |        0 |        0
947.35/947.80	c  947s |      20 |   846972 |   734627 |     4651    295 |        0 |        0
949.36/949.81	c  949s |      20 |   847726 |   735327 |     4651    295 |        0 |        0
951.36/951.81	c  951s |      20 |   848714 |   736227 |     4651    295 |        0 |        0
953.36/953.88	c  953s |      20 |   849597 |   737027 |     4651    296 |        0 |        0
955.46/955.95	c  955s |      20 |   850586 |   737927 |     4651    296 |        0 |        0
957.75/958.27	c  958s |      20 |   851464 |   738727 |     4651    296 |        0 |        0
960.15/960.60	c  960s |      20 |   852222 |   739427 |     4651    297 |        0 |        0
962.15/962.68	c  962s |      20 |   852997 |   740127 |     4651    297 |        0 |        0
964.35/964.80	c  964s |      20 |   854362 |   741327 |     4651    297 |        0 |        0
966.34/966.81	c  966s |      20 |   855476 |   742327 |     4651    297 |        0 |        0
968.34/968.83	c  968s |      20 |   856350 |   743127 |     4651    298 |        0 |        0
970.54/971.00	c  970s |      20 |   857434 |   744127 |     4651    298 |        0 |        0
972.63/973.13	c  972s |      20 |   858419 |   745027 |     4651    298 |        0 |        0
974.83/975.34	c  975s |      20 |   859412 |   745927 |     4651    299 |        0 |        0
976.83/977.39	c  977s |      20 |   860409 |   746827 |     4651    299 |        0 |        0
979.03/979.52	c  979s |      20 |   861422 |   747727 |     4651    299 |        0 |        0
981.03/981.53	c  981s |      20 |   862467 |   748627 |     4651    299 |        0 |        0
983.04/983.54	c  983s |      20 |   863625 |   749627 |     4651    300 |        0 |        0
985.14/985.63	c  985s |      20 |   864723 |   750627 |     4651    300 |        0 |        0
987.34/987.85	c  987s |      20 |   865820 |   751627 |     4651    300 |        0 |        0
989.43/989.94	c  989s |      20 |   866932 |   752627 |     4651    301 |        0 |        0
991.53/992.04	c  991s |      20 |   868307 |   753827 |     4651    301 |        0 |        0
993.53/994.06	c  993s |      20 |   869612 |   754927 |     4651    302 |        0 |        0
995.53/996.09	c  995s |      20 |   870823 |   756027 |     4651    302 |        0 |        0
997.73/998.27	c  998s |      20 |   872125 |   757227 |     4651    302 |        0 |        0
999.83/1000.35	c 1000s |      20 |   873247 |   758227 |     4651    303 |        0 |        0
1001.83/1002.36	c 1002s |      20 |   874598 |   759427 |     4651    303 |        0 |        0
1004.03/1004.55	c 1004s |      20 |   875793 |   760527 |     4651    303 |        0 |        0
1006.13/1006.60	c 1006s |      20 |   876917 |   761527 |     4651    304 |        0 |        0
1008.12/1008.64	c 1008s |      20 |   878234 |   762727 |     4651    304 |        0 |        0
1010.22/1010.78	c 1010s |      20 |   879434 |   763827 |     4651    304 |        0 |        0
1012.32/1012.86	c 1012s |      20 |   880534 |   764827 |     4651    305 |        0 |        0
1014.52/1015.08	c 1014s |      20 |   881526 |   765727 |     4651    305 |        0 |        0
1016.62/1017.11	c 1016s |      20 |   882656 |   766727 |     4651    305 |        0 |        0
1018.62/1019.11	c 1018s |      20 |   883736 |   767727 |     4651    306 |        0 |        0
1020.62/1021.19	c 1021s |      20 |   884925 |   768827 |     4651    306 |        0 |        0
1022.82/1023.32	c 1023s |      20 |   886014 |   769827 |     4651    306 |        0 |        0
1025.02/1025.50	c 1025s |      20 |   887231 |   770927 |     4651    307 |        0 |        0
1027.32/1027.84	c 1027s |      20 |   888307 |   771927 |     4651    307 |        0 |        0
1029.52/1030.04	c 1029s |      20 |   889491 |   773027 |     4651    307 |        0 |        0
1031.72/1032.22	c 1032s |      20 |   890590 |   774027 |     4651    308 |        0 |        0
1033.72/1034.27	c 1034s |      20 |   891653 |   775027 |     4651    308 |        0 |        0
1035.83/1036.37	c 1036s |      20 |   892913 |   776127 |     4651    308 |        0 |        0
1038.03/1038.52	c 1038s |      20 |   894274 |   777327 |     4651    309 |        0 |        0
1040.22/1040.72	c 1040s |      20 |   895491 |   778427 |     4651    309 |        0 |        0
1042.42/1042.96	c 1042s |      20 |   896576 |   779427 |     4651    310 |        0 |        0
1044.52/1045.06	c 1044s |      20 |   897803 |   780527 |     4651    310 |        0 |        0
1046.52/1047.08	c 1046s |      20 |   898912 |   781527 |     4651    310 |        0 |        0
1048.82/1049.37	c 1049s |      20 |   900006 |   782527 |     4651    311 |        0 |        0
1050.82/1051.38	c 1051s |      20 |   901117 |   783527 |     4651    311 |        0 |        0
1053.01/1053.53	c 1053s |      20 |   902221 |   784527 |     4651    311 |        0 |        0
1055.11/1055.62	c 1055s |      20 |   903193 |   785427 |     4651    311 |        0 |        0
1057.21/1057.72	c 1057s |      20 |   904216 |   786327 |     4651    312 |        0 |        0
1059.32/1059.87	c 1059s |      20 |   905463 |   787427 |     4651    312 |        0 |        0
1061.42/1061.98	c 1061s |      20 |   906615 |   788427 |     4651    312 |        0 |        0
1063.52/1064.08	c 1063s |      20 |   907698 |   789427 |     4651    313 |        0 |        0
1065.62/1066.14	c 1066s |      20 |   908780 |   790427 |     4651    313 |        0 |        0
1067.63/1068.14	c 1068s |      20 |   909786 |   791327 |     4651    313 |        0 |        0
1069.62/1070.19	c 1070s |      20 |   910906 |   792327 |     4651    314 |        0 |        0
1071.72/1072.27	c 1072s |      20 |   911905 |   793227 |     4651    314 |        0 |        0
1073.92/1074.49	c 1074s |      20 |   913135 |   794327 |     4651    314 |        0 |        0
1076.22/1076.73	c 1076s |      20 |   914084 |   795227 |     4651    315 |        0 |        0
1078.22/1078.74	c 1078s |      20 |   915446 |   796327 |     4651    315 |        0 |        0
1080.32/1080.80	c 1080s |      20 |   916800 |   797527 |     4651    315 |        0 |        0
1082.32/1082.84	c 1082s |      20 |   918031 |   798627 |     4651    316 |        0 |        0
1084.42/1084.99	c 1084s |      20 |   919266 |   799727 |     4651    316 |        0 |        0
1086.72/1087.20	c 1087s |      20 |   920628 |   800927 |     4651    317 |        0 |        0
1088.82/1089.31	c 1089s |      20 |   922044 |   802227 |     4651    317 |        0 |        0
1090.92/1091.42	c 1091s |      20 |   923204 |   803327 |     4651    317 |        0 |        0
1092.92/1093.44	c 1093s |      20 |   924328 |   804327 |     4651    318 |        0 |        0
1094.92/1095.47	c 1095s |      20 |   925527 |   805427 |     4651    318 |        0 |        0
1097.12/1097.60	c 1097s |      20 |   926833 |   806627 |     4651    318 |        0 |        0
1099.11/1099.64	c 1099s |      20 |   928006 |   807727 |     4651    319 |        0 |        0
1101.31/1101.90	c 1101s |      20 |   929321 |   808927 |     4651    319 |        0 |        0
1103.41/1103.91	c 1103s |      20 |   930431 |   809927 |     4651    319 |        0 |        0
1105.41/1105.93	c 1105s |      20 |   931707 |   811027 |     4651    320 |        0 |        0
1107.51/1108.05	c 1107s |      20 |   933183 |   812327 |     4651    320 |        0 |        0
1109.61/1110.13	c 1109s |      20 |   934270 |   813327 |     4651    321 |        0 |        0
1111.72/1112.28	c 1112s |      20 |   935622 |   814527 |     4651    321 |        0 |        0
1113.82/1114.34	c 1114s |      20 |   936958 |   815727 |     4651    321 |        0 |        0
1115.91/1116.41	c 1116s |      20 |   938153 |   816827 |     4651    322 |        0 |        0
1118.01/1118.53	c 1118s |      20 |   939464 |   818027 |     4651    322 |        0 |        0
1120.11/1120.69	c 1120s |      20 |   940680 |   819127 |     4651    322 |        0 |        0
1122.21/1122.70	c 1122s |      20 |   941929 |   820227 |     4651    323 |        0 |        0
1124.31/1124.82	c 1124s |      20 |   943376 |   821527 |     4651    323 |        0 |        0
1126.31/1126.85	c 1126s |      20 |   944495 |   822527 |     4651    324 |        0 |        0
1128.31/1128.89	c 1128s |      20 |   945707 |   823627 |     4651    324 |        0 |        0
1130.41/1130.94	c 1130s |      20 |   946916 |   824727 |     4651    324 |        0 |        0
1132.51/1133.03	c 1132s |      20 |   948016 |   825727 |     4651    325 |        0 |        0
1134.61/1135.11	c 1134s |      20 |   949258 |   826827 |     4651    325 |        0 |        0
1136.61/1137.13	c 1136s |      20 |   950226 |   827727 |     4651    325 |        0 |        0
1138.80/1139.31	c 1139s |      20 |   951378 |   828727 |     4651    326 |        0 |        0
1140.90/1141.46	c 1141s |      20 |   952777 |   829927 |     4651    326 |        0 |        0
1142.90/1143.48	c 1143s |      20 |   953882 |   830927 |     4651    326 |        0 |        0
1145.10/1145.64	c 1145s |      20 |   954985 |   831927 |     4651    327 |        0 |        0
1147.10/1147.66	c 1147s |      20 |   956067 |   832927 |     4651    327 |        0 |        0
1149.20/1149.71	c 1149s |      20 |   957160 |   833927 |     4651    327 |        0 |        0
1151.31/1151.87	c 1151s |      20 |   958127 |   834827 |     4651    328 |        0 |        0
1153.41/1153.97	c 1153s |      20 |   959610 |   836127 |     4651    328 |        0 |        0
1155.50/1156.02	c 1155s |      20 |   960805 |   837227 |     4651    328 |        0 |        0
1157.60/1158.11	c 1157s |      20 |   961916 |   838227 |     4651    329 |        0 |        0
1159.70/1160.26	c 1160s |      20 |   963112 |   839327 |     4651    329 |        0 |        0
1161.90/1162.40	c 1162s |      20 |   964307 |   840427 |     4651    329 |        0 |        0
1163.90/1164.47	c 1164s |      20 |   965404 |   841427 |     4651    330 |        0 |        0
1166.10/1166.62	c 1166s |      20 |   966496 |   842427 |     4651    330 |        0 |        0
1168.20/1168.79	c 1168s |      20 |   967574 |   843427 |     4651    330 |        0 |        0
1170.30/1170.86	c 1170s |      20 |   968560 |   844327 |     4651    331 |        0 |        0
1172.40/1172.95	c 1172s |      20 |   969798 |   845427 |     4651    331 |        0 |        0
1174.41/1174.97	c 1174s |      20 |   970918 |   846427 |     4651    331 |        0 |        0
1176.51/1177.07	c 1176s |      20 |   972215 |   847527 |     4651    332 |        0 |        0
1178.60/1179.15	c 1179s |      20 |   973634 |   848727 |     4651    332 |        0 |        0
1180.60/1181.18	c 1181s |      20 |   974989 |   849927 |     4651    332 |        0 |        0
1182.80/1183.35	c 1183s |      20 |   976188 |   851027 |     4651    333 |        0 |        0
1184.80/1185.38	c 1185s |      20 |   977417 |   852127 |     4651    333 |        0 |        0
1187.00/1187.54	c 1187s |      20 |   978618 |   853227 |     4651    333 |        0 |        0
1189.00/1189.57	c 1189s |      20 |   979611 |   854127 |     4651    334 |        0 |        0
1191.10/1191.60	c 1191s |      20 |   980837 |   855227 |     4651    334 |        0 |        0
1193.20/1193.75	c 1193s |      20 |   982041 |   856327 |     4651    334 |        0 |        0
1195.20/1195.79	c 1195s |      20 |   983110 |   857327 |     4651    335 |        0 |        0
1197.40/1197.95	c 1197s |      20 |   984332 |   858427 |     4651    335 |        0 |        0
1199.60/1200.17	c 1200s |      20 |   985572 |   859527 |     4651    336 |        0 |        0
1201.69/1202.28	c 1202s |      20 |   986810 |   860627 |     4651    336 |        0 |        0
1203.79/1204.33	c 1204s |      20 |   987918 |   861627 |     4651    336 |        0 |        0
1205.89/1206.40	c 1206s |      20 |   988890 |   862527 |     4651    337 |        0 |        0
1207.89/1208.44	c 1208s |      20 |   990262 |   863727 |     4651    337 |        0 |        0
1209.99/1210.52	c 1210s |      20 |   991495 |   864827 |     4651    337 |        0 |        0
1211.99/1212.59	c 1212s |      20 |   992698 |   865927 |     4651    338 |        0 |        0
1214.09/1214.63	c 1214s |      20 |   993795 |   866927 |     4651    338 |        0 |        0
1216.29/1216.88	c 1216s |      20 |   994870 |   867927 |     4651    338 |        0 |        0
1218.59/1219.14	c 1219s |      20 |   995830 |   868827 |     4651    339 |        0 |        0
1220.69/1221.23	c 1221s |      20 |   997157 |   869927 |     4651    339 |        0 |        0
1222.80/1223.33	c 1223s |      20 |   998504 |   871027 |     4651    339 |        0 |        0
1224.90/1225.47	c 1225s |      20 |   999652 |   872027 |     4651    340 |        0 |        0
1226.89/1227.49	c 1227s |      20 |  1001018 |   873227 |     4651    340 |        0 |        0
1228.99/1229.58	c 1229s |      20 |  1002286 |   874327 |     4651    340 |        0 |        0
1231.19/1231.74	c 1231s |      20 |  1003640 |   875527 |     4651    341 |        0 |        0
1233.29/1233.86	c 1233s |      20 |  1004861 |   876627 |     4651    341 |        0 |        0
1235.39/1235.96	c 1235s |      20 |  1005982 |   877627 |     4651    341 |        0 |        0
1237.49/1238.07	c 1237s |      20 |  1007239 |   878727 |     4651    342 |        0 |        0
1239.59/1240.17	c 1240s |      20 |  1008591 |   879927 |     4651    342 |        0 |        0
1241.89/1242.40	c 1242s |      20 |  1009826 |   881027 |     4651    343 |        0 |        0
1243.88/1244.45	c 1244s |      20 |  1011069 |   882127 |     4651    343 |        0 |        0
1245.98/1246.51	c 1246s |      20 |  1012292 |   883227 |     4651    343 |        0 |        0
1248.09/1248.65	c 1248s |      20 |  1013389 |   884227 |     4651    344 |        0 |        0
1250.19/1250.71	c 1250s |      20 |  1014773 |   885427 |     4651    344 |        0 |        0
1252.28/1252.86	c 1252s |      20 |  1015908 |   886427 |     4651    344 |        0 |        0
1254.38/1254.99	c 1254s |      20 |  1016994 |   887427 |     4651    345 |        0 |        0
1256.48/1257.05	c 1256s |      20 |  1018214 |   888527 |     4651    345 |        0 |        0
1258.58/1259.16	c 1259s |      20 |  1019280 |   889527 |     4651    345 |        0 |        0
1260.68/1261.20	c 1261s |      20 |  1020268 |   890427 |     4651    346 |        0 |        0
1262.79/1263.34	c 1263s |      20 |  1021557 |   891627 |     4651    346 |        0 |        0
1264.79/1265.37	c 1265s |      20 |  1022531 |   892527 |     4651    346 |        0 |        0
1266.89/1267.43	c 1267s |      20 |  1023357 |   893327 |     4651    347 |        0 |        0
1268.90/1269.43	c 1269s |      20 |  1024440 |   894227 |     4651    347 |        0 |        0
1270.99/1271.50	c 1271s |      20 |  1025856 |   895427 |     4651    347 |        0 |        0
1273.09/1273.63	c 1273s |      20 |  1027091 |   896527 |     4651    348 |        0 |        0
1275.19/1275.72	c 1275s |      20 |  1028072 |   897427 |     4651    348 |        0 |        0
1277.39/1277.95	c 1277s |      20 |  1029286 |   898527 |     4651    348 |        0 |        0
1279.59/1280.10	c 1279s |      20 |  1030256 |   899427 |     4651    349 |        0 |        0
1281.59/1282.17	c 1282s |      20 |  1031361 |   900427 |     4651    349 |        0 |        0
1283.79/1284.34	c 1284s |      20 |  1032432 |   901427 |     4651    349 |        0 |        0
1286.09/1286.63	c 1286s |      20 |  1033649 |   902527 |     4651    350 |        0 |        0
1288.09/1288.65	c 1288s |      20 |  1034987 |   903727 |     4651    350 |        0 |        0
1290.19/1290.72	c 1290s |      20 |  1036094 |   904727 |     4651    350 |        0 |        0
1292.19/1292.75	c 1292s |      20 |  1037223 |   905727 |     4651    351 |        0 |        0
1294.19/1294.75	c 1294s |      20 |  1038299 |   906727 |     4651    351 |        0 |        0
1296.39/1296.91	c 1296s |      20 |  1039300 |   907627 |     4651    351 |        0 |        0
1298.38/1298.97	c 1298s |      20 |  1040353 |   908627 |     4651    351 |        0 |        0
1300.58/1301.15	c 1301s |      20 |  1041584 |   909727 |     4651    352 |        0 |        0
1302.78/1303.37	c 1303s |      20 |  1042580 |   910627 |     4651    352 |        0 |        0
1304.88/1305.44	c 1305s |      20 |  1043430 |   911427 |     4651    352 |        0 |        0
1307.08/1307.66	c 1307s |      20 |  1044266 |   912227 |     4651    353 |        0 |        0
1309.08/1309.66	c 1309s |      20 |  1045726 |   913427 |     4651    353 |        0 |        0
1311.28/1311.86	c 1311s |      20 |  1047210 |   914727 |     4651    353 |        0 |        0
1313.48/1314.04	c 1313s |      20 |  1048403 |   915827 |     4651    354 |        0 |        0
1315.58/1316.15	c 1316s |      20 |  1049629 |   916927 |     4651    354 |        0 |        0
1317.58/1318.19	c 1318s |      20 |  1050740 |   917927 |     4651    355 |        0 |        0
1319.78/1320.33	c 1320s |      20 |  1051971 |   919027 |     4651    355 |        0 |        0
1321.88/1322.49	c 1322s |      20 |  1053157 |   920127 |     4651    355 |        0 |        0
1324.08/1324.65	c 1324s |      20 |  1054283 |   921127 |     4651    356 |        0 |        0
1326.28/1326.80	c 1326s |      20 |  1055732 |   922427 |     4651    356 |        0 |        0
1328.29/1328.81	c 1328s |      20 |  1056834 |   923427 |     4651    356 |        0 |        0
1330.38/1330.94	c 1330s |      20 |  1057899 |   924427 |     4651    357 |        0 |        0
1332.38/1332.96	c 1332s |      20 |  1059087 |   925427 |     4651    357 |        0 |        0
1334.48/1335.01	c 1334s |      20 |  1060287 |   926527 |     4651    357 |        0 |        0
1336.48/1337.02	c 1336s |      20 |  1061381 |   927527 |     4651    358 |        0 |        0
1338.58/1339.15	c 1339s |      20 |  1062825 |   928827 |     4651    358 |        0 |        0
1340.68/1341.23	c 1341s |      20 |  1064007 |   929927 |     4651    358 |        0 |        0
1342.78/1343.33	c 1343s |      20 |  1065205 |   931027 |     4651    359 |        0 |        0
1344.98/1345.53	c 1345s |      20 |  1066383 |   932127 |     4651    359 |        0 |        0
1347.08/1347.62	c 1347s |      20 |  1067495 |   933127 |     4651    359 |        0 |        0
1349.08/1349.65	c 1349s |      20 |  1068725 |   934227 |     4651    360 |        0 |        0
1351.18/1351.73	c 1351s |      20 |  1069833 |   935227 |     4651    360 |        0 |        0
1353.28/1353.88	c 1353s |      20 |  1071052 |   936327 |     4651    360 |        0 |        0
1355.28/1355.89	c 1355s |      20 |  1072255 |   937427 |     4651    361 |        0 |        0
1357.37/1357.91	c 1357s |      20 |  1073323 |   938427 |     4651    361 |        0 |        0
1359.47/1360.06	c 1359s |      20 |  1074391 |   939427 |     4651    361 |        0 |        0
1361.57/1362.15	c 1362s |      20 |  1075479 |   940427 |     4651    362 |        0 |        0
1363.77/1364.35	c 1364s |      20 |  1076713 |   941527 |     4651    362 |        0 |        0
1365.78/1366.38	c 1366s |      20 |  1077810 |   942527 |     4651    363 |        0 |        0
1367.98/1368.51	c 1368s |      20 |  1079136 |   943727 |     4651    363 |        0 |        0
1370.18/1370.74	c 1370s |      20 |  1080226 |   944727 |     4651    363 |        0 |        0
1372.28/1372.81	c 1372s |      20 |  1081260 |   945627 |     4651    364 |        0 |        0
1374.27/1374.89	c 1374s |      20 |  1082358 |   946627 |     4651    364 |        0 |        0
1376.37/1376.95	c 1376s |      20 |  1083453 |   947627 |     4651    364 |        0 |        0
1378.57/1379.18	c 1379s |      20 |  1084406 |   948527 |     4651    364 |        0 |        0
1380.67/1381.29	c 1381s |      20 |  1085656 |   949627 |     4651    365 |        0 |        0
1382.87/1383.45	c 1383s |      20 |  1086744 |   950627 |     4651    365 |        0 |        0
1384.87/1385.47	c 1385s |      20 |  1087712 |   951527 |     4651    365 |        0 |        0
1386.97/1387.57	c 1387s |      20 |  1088829 |   952527 |     4651    366 |        0 |        0
1389.17/1389.70	c 1389s |      20 |  1090033 |   953627 |     4651    366 |        0 |        0
1391.17/1391.78	c 1391s |      20 |  1091007 |   954527 |     4651    366 |        0 |        0
1393.47/1394.05	c 1393s |      20 |  1092007 |   955427 |     4651    367 |        0 |        0
1395.47/1396.06	c 1395s |      20 |  1093372 |   956627 |     4651    367 |        0 |        0
1397.47/1398.07	c 1397s |      20 |  1094613 |   957727 |     4651    367 |        0 |        0
1399.57/1400.12	c 1399s |      20 |  1095732 |   958727 |     4651    368 |        0 |        0
1401.57/1402.16	c 1402s |      20 |  1097007 |   959827 |     4651    368 |        0 |        0
1403.57/1404.18	c 1404s |      20 |  1098144 |   960827 |     4651    368 |        0 |        0
1405.67/1406.28	c 1406s |      20 |  1099358 |   961927 |     4651    369 |        0 |        0
1407.67/1408.28	c 1408s |      20 |  1100486 |   962927 |     4651    369 |        0 |        0
1409.77/1410.37	c 1410s |      20 |  1101432 |   963827 |     4651    369 |        0 |        0
1411.87/1412.46	c 1412s |      20 |  1102433 |   964727 |     4651    370 |        0 |        0
1413.96/1414.50	c 1414s |      20 |  1103529 |   965727 |     4651    370 |        0 |        0
1416.06/1416.68	c 1416s |      20 |  1104608 |   966727 |     4651    370 |        0 |        0
1418.16/1418.75	c 1418s |      20 |  1105586 |   967627 |     4651    371 |        0 |        0
1420.26/1420.84	c 1420s |      20 |  1106691 |   968627 |     4651    371 |        0 |        0
1422.46/1423.03	c 1422s |      20 |  1107763 |   969627 |     4651    371 |        0 |        0
1424.46/1425.09	c 1424s |      20 |  1108639 |   970427 |     4651    372 |        0 |        0
1426.66/1427.28	c 1427s |      20 |  1109955 |   971627 |     4651    372 |        0 |        0
1428.86/1429.46	c 1429s |      20 |  1111335 |   972827 |     4651    372 |        0 |        0
1430.96/1431.51	c 1431s |      20 |  1112539 |   973927 |     4651    373 |        0 |        0
1432.96/1433.53	c 1433s |      20 |  1113747 |   975027 |     4651    373 |        0 |        0
1435.07/1435.68	c 1435s |      20 |  1114845 |   976027 |     4651    373 |        0 |        0
1437.17/1437.77	c 1437s |      20 |  1115930 |   977027 |     4651    374 |        0 |        0
1439.26/1439.82	c 1439s |      20 |  1117117 |   978127 |     4651    374 |        0 |        0
1441.26/1441.85	c 1441s |      20 |  1117987 |   978927 |     4651    374 |        0 |        0
1443.46/1444.01	c 1443s |      20 |  1118841 |   979727 |     4651    375 |        0 |        0
1445.56/1446.17	c 1446s |      20 |  1119922 |   980727 |     4651    375 |        0 |        0
1447.56/1448.20	c 1448s |      20 |  1121253 |   981927 |     4651    375 |        0 |        0
1449.76/1450.39	c 1450s |      20 |  1122335 |   982927 |     4651    376 |        0 |        0
1451.86/1452.44	c 1452s |      20 |  1123572 |   984027 |     4651    376 |        0 |        0
1453.96/1454.57	c 1454s |      20 |  1124660 |   985027 |     4651    376 |        0 |        0
1456.26/1456.82	c 1456s |      20 |  1125767 |   986027 |     4651    377 |        0 |        0
1458.46/1459.00	c 1458s |      20 |  1126765 |   986927 |     4651    377 |        0 |        0
1460.46/1461.09	c 1460s |      20 |  1127970 |   988027 |     4651    377 |        0 |        0
1462.66/1463.25	c 1463s |      20 |  1129188 |   989127 |     4651    378 |        0 |        0
1464.76/1465.31	c 1465s |      20 |  1130387 |   990227 |     4651    378 |        0 |        0
1467.05/1467.62	c 1467s |      20 |  1131493 |   991227 |     4651    378 |        0 |        0
1469.16/1469.71	c 1469s |      20 |  1132357 |   992027 |     4651    379 |        0 |        0
1471.15/1471.74	c 1471s |      20 |  1133341 |   992927 |     4651    379 |        0 |        0
1473.25/1473.86	c 1473s |      20 |  1134309 |   993827 |     5117    379 |        0 |        0
1475.45/1476.02	c 1475s |      20 |  1135350 |   994727 |     5117    379 |        0 |        0
1477.55/1478.17	c 1478s |      20 |  1136629 |   995827 |     5117    380 |        0 |        0
1479.75/1480.31	c 1480s |      20 |  1137992 |   997027 |     5117    380 |        0 |        0
1481.85/1482.45	c 1482s |      20 |  1139236 |   998127 |     5117    380 |        0 |        0
1483.85/1484.45	c 1484s |      20 |  1140223 |   999027 |     5117    381 |        0 |        0
1485.85/1486.46	c 1486s |      20 |  1141298 |  1000027 |     5117    381 |        0 |        0
1486.55/1487.20	c 1487s |      21 |  1141646 |  1000345 |     5117    381 |        0 |        0
1488.65/1489.23	c 1489s |      21 |  1144533 |  1002045 |     5117    382 |        0 |        0
1490.65/1491.23	c 1491s |      21 |  1146211 |  1003545 |     5117    382 |        0 |        0
1492.65/1493.25	c 1493s |      21 |  1147905 |  1005045 |     5117    382 |        0 |        0
1494.75/1495.32	c 1495s |      21 |  1149338 |  1006345 |     5117    383 |        0 |        0
1496.75/1497.35	c 1497s |      21 |  1150821 |  1007645 |     5117    383 |        0 |        0
1498.86/1499.45	c 1499s |      21 |  1152429 |  1009045 |     5117    384 |        0 |        0
1500.95/1501.58	c 1501s |      21 |  1154099 |  1010545 |     5117    384 |        0 |        0
1503.05/1503.68	c 1503s |      21 |  1155447 |  1011745 |     5117    385 |        0 |        0
1505.05/1505.69	c 1505s |      21 |  1156871 |  1013045 |     5117    385 |        0 |        0
1507.15/1507.73	c 1507s |      21 |  1158276 |  1014245 |     5117    385 |        0 |        0
1509.15/1509.76	c 1509s |      21 |  1159518 |  1015345 |     5117    386 |        0 |        0
1511.35/1511.92	c 1511s |      21 |  1161006 |  1016645 |     5117    386 |        0 |        0
1513.45/1514.07	c 1513s |      21 |  1162540 |  1018045 |     5117    386 |        0 |        0
1515.55/1516.13	c 1515s |      21 |  1164092 |  1019445 |     5117    387 |        0 |        0
1517.55/1518.14	c 1518s |      21 |  1165401 |  1020645 |     5117    387 |        0 |        0
1519.54/1520.17	c 1520s |      21 |  1166631 |  1021745 |     5117    388 |        0 |        0
1521.64/1522.20	c 1522s |      21 |  1168099 |  1023045 |     5117    388 |        0 |        0
1523.74/1524.32	c 1524s |      21 |  1169388 |  1024245 |     5117    388 |        0 |        0
1525.74/1526.38	c 1526s |      21 |  1170574 |  1025345 |     5117    389 |        0 |        0
1527.84/1528.43	c 1528s |      21 |  1171894 |  1026545 |     5117    389 |        0 |        0
1529.94/1530.56	c 1530s |      21 |  1173295 |  1027845 |     5117    389 |        0 |        0
1532.14/1532.70	c 1532s |      21 |  1174869 |  1029245 |     5117    390 |        0 |        0
1534.24/1534.83	c 1534s |      21 |  1176287 |  1030545 |     5117    390 |        0 |        0
1536.25/1536.89	c 1536s |      21 |  1177476 |  1031645 |     5117    391 |        0 |        0
1538.36/1538.91	c 1538s |      21 |  1178881 |  1032845 |     5117    391 |        0 |        0
1540.45/1541.03	c 1540s |      21 |  1180234 |  1034045 |     5117    391 |        0 |        0
1542.45/1543.03	c 1542s |      21 |  1181583 |  1035245 |     5117    392 |        0 |        0
1544.45/1545.04	c 1544s |      21 |  1182775 |  1036345 |     5117    392 |        0 |        0
1546.45/1547.07	c 1546s |      21 |  1183914 |  1037345 |     5117    393 |        0 |        0
1548.55/1549.19	c 1549s |      21 |  1185465 |  1038745 |     5117    393 |        0 |        0
1550.65/1551.26	c 1551s |      21 |  1186800 |  1039945 |     5117    393 |        0 |        0
1552.85/1553.41	c 1553s |      21 |  1188085 |  1041145 |     5117    394 |        0 |        0
1554.85/1555.45	c 1555s |      21 |  1190625 |  1043045 |     5117    394 |        0 |        0
1556.95/1557.59	c 1557s |      21 |  1192823 |  1044145 |     5117    395 |        0 |        0
1558.95/1559.60	c 1559s |      21 |  1193888 |  1044945 |     5117    395 |        0 |        0
1561.15/1561.74	c 1561s |      21 |  1194907 |  1045745 |     5117    395 |        0 |        0
1563.44/1564.02	c 1563s |      21 |  1196042 |  1046545 |     5117    396 |        0 |        0
1565.64/1566.29	c 1566s |      21 |  1197214 |  1047345 |     5117    396 |        0 |        0
1567.94/1568.50	c 1568s |      21 |  1198325 |  1048145 |     5117    396 |        0 |        0
1570.04/1570.64	c 1570s |      21 |  1199168 |  1048845 |     5117    396 |        0 |        0
1572.24/1572.86	c 1572s |      21 |  1200035 |  1049545 |     5117    397 |        0 |        0
1574.34/1574.91	c 1574s |      21 |  1200993 |  1050245 |     5117    397 |        0 |        0
1576.54/1577.16	c 1577s |      21 |  1202204 |  1051045 |     5117    397 |        0 |        0
1578.84/1579.44	c 1579s |      21 |  1203246 |  1051845 |     5117    397 |        0 |        0
1581.14/1581.70	c 1581s |      21 |  1204267 |  1052545 |     5117    398 |        0 |        0
1583.34/1583.93	c 1583s |      21 |  1205569 |  1053445 |     5117    398 |        0 |        0
1585.65/1586.22	c 1586s |      21 |  1206510 |  1054245 |     5117    398 |        0 |        0
1587.74/1588.30	c 1588s |      21 |  1207453 |  1054945 |     5117    398 |        0 |        0
1589.94/1590.50	c 1590s |      21 |  1208261 |  1055645 |     5117    399 |        0 |        0
1592.04/1592.66	c 1592s |      21 |  1209213 |  1056345 |     5117    399 |        0 |        0
1594.24/1594.86	c 1594s |      21 |  1210199 |  1057145 |     5117    399 |        0 |        0
1596.44/1597.07	c 1596s |      21 |  1211631 |  1057945 |     5117    399 |        0 |        0
1598.64/1599.20	c 1599s |      21 |  1212576 |  1058745 |     5117    400 |        0 |        0
1600.74/1601.37	c 1601s |      21 |  1213881 |  1059445 |     5117    400 |        0 |        0
1603.04/1603.68	c 1603s |      21 |  1214899 |  1060145 |     5117    400 |        0 |        0
1605.14/1605.79	c 1605s |      21 |  1215771 |  1060845 |     5117    400 |        0 |        0
1607.44/1608.06	c 1607s |      21 |  1217269 |  1061645 |     5117    401 |        0 |        0
1609.54/1610.18	c 1610s |      21 |  1218564 |  1062445 |     5117    401 |        0 |        0
1611.64/1612.28	c 1612s |      21 |  1219745 |  1063145 |     5117    401 |        0 |        0
1613.64/1614.28	c 1614s |      21 |  1220515 |  1063745 |     5117    401 |        0 |        0
1615.94/1616.56	c 1616s |      21 |  1221285 |  1064345 |     5117    402 |        0 |        0
1618.04/1618.60	c 1618s |      21 |  1222473 |  1065045 |     5117    402 |        0 |        0
1620.24/1620.85	c 1620s |      21 |  1223395 |  1065745 |     5117    402 |        0 |        0
1622.44/1623.08	c 1622s |      21 |  1224161 |  1066345 |     5117    402 |        0 |        0
1624.74/1625.32	c 1625s |      21 |  1224960 |  1066945 |     5117    402 |        0 |        0
1626.73/1627.33	c 1627s |      21 |  1225586 |  1067445 |     5117    403 |        0 |        0
1628.73/1629.39	c 1629s |      21 |  1226667 |  1068145 |     5117    403 |        0 |        0
1630.93/1631.54	c 1631s |      21 |  1227859 |  1068945 |     5117    403 |        0 |        0
1633.13/1633.70	c 1633s |      21 |  1228750 |  1069645 |     5117    403 |        0 |        0
1635.14/1635.73	c 1635s |      21 |  1229573 |  1070245 |     5117    404 |        0 |        0
1637.13/1637.75	c 1637s |      21 |  1230701 |  1070945 |     5117    404 |        0 |        0
1639.33/1639.97	c 1639s |      21 |  1231701 |  1071645 |     5117    404 |        0 |        0
1641.43/1642.02	c 1641s |      21 |  1232877 |  1072345 |     5117    404 |        0 |        0
1643.43/1644.05	c 1643s |      21 |  1233568 |  1072945 |     5117    404 |        0 |        0
1645.73/1646.35	c 1646s |      21 |  1234656 |  1073645 |     5117    405 |        0 |        0
1648.03/1648.63	c 1648s |      21 |  1235612 |  1074345 |     5117    405 |        0 |        0
1650.33/1650.91	c 1650s |      21 |  1236337 |  1074945 |     5117    405 |        0 |        0
1652.33/1652.97	c 1652s |      21 |  1237068 |  1075445 |     5117    405 |        0 |        0
1654.63/1655.20	c 1655s |      21 |  1237897 |  1076045 |     5117    405 |        0 |        0
1656.73/1657.39	c 1657s |      21 |  1238978 |  1076845 |     5117    406 |        0 |        0
1658.93/1659.53	c 1659s |      21 |  1240079 |  1077645 |     5117    406 |        0 |        0
1661.13/1661.71	c 1661s |      21 |  1241202 |  1078445 |     5117    406 |        0 |        0
1663.33/1663.96	c 1663s |      21 |  1242325 |  1079245 |     5117    407 |        0 |        0
1665.33/1665.98	c 1665s |      21 |  1243305 |  1079945 |     5117    407 |        0 |        0
1667.53/1668.14	c 1668s |      21 |  1244448 |  1080745 |     5117    407 |        0 |        0
1669.53/1670.15	c 1670s |      21 |  1245122 |  1081345 |     5117    407 |        0 |        0
1671.83/1672.47	c 1672s |      21 |  1246143 |  1082045 |     5117    407 |        0 |        0
1674.13/1674.73	c 1674s |      21 |  1247006 |  1082745 |     5117    408 |        0 |        0
1676.43/1677.02	c 1676s |      21 |  1247943 |  1083545 |     5117    408 |        0 |        0
1678.63/1679.21	c 1679s |      21 |  1248947 |  1084245 |     5117    408 |        0 |        0
1680.63/1681.27	c 1681s |      21 |  1249700 |  1084845 |     5117    408 |        0 |        0
1682.83/1683.49	c 1683s |      21 |  1250399 |  1085445 |     5117    409 |        0 |        0
1685.02/1685.65	c 1685s |      21 |  1251391 |  1086145 |     5117    409 |        0 |        0
1687.12/1687.73	c 1687s |      21 |  1252330 |  1086845 |     5117    409 |        0 |        0
1689.13/1689.76	c 1689s |      21 |  1253138 |  1087445 |     5117    409 |        0 |        0
1691.33/1691.96	c 1691s |      21 |  1253968 |  1088045 |     5117    409 |        0 |        0
1693.43/1694.08	c 1693s |      21 |  1254936 |  1088645 |     5117    410 |        0 |        0
1695.73/1696.33	c 1696s |      21 |  1256248 |  1089545 |     5117    410 |        0 |        0
1697.72/1698.39	c 1698s |      21 |  1257211 |  1090245 |     5117    410 |        0 |        0
1699.72/1700.39	c 1700s |      21 |  1258440 |  1090945 |     5117    410 |        0 |        0
1701.82/1702.46	c 1702s |      21 |  1259361 |  1091645 |     5117    411 |        0 |        0
1704.12/1704.75	c 1704s |      21 |  1260426 |  1092445 |     5117    411 |        0 |        0
1706.32/1706.92	c 1706s |      21 |  1261347 |  1093145 |     5117    411 |        0 |        0
1708.42/1709.09	c 1708s |      21 |  1262063 |  1093745 |     5117    411 |        0 |        0
1710.52/1711.15	c 1711s |      21 |  1262678 |  1094245 |     5117    412 |        0 |        0
1712.62/1713.26	c 1713s |      21 |  1263870 |  1094945 |     5117    412 |        0 |        0
1714.92/1715.55	c 1715s |      21 |  1265092 |  1095645 |     5117    412 |        0 |        0
1717.12/1717.72	c 1717s |      21 |  1265961 |  1096245 |     5117    412 |        0 |        0
1719.32/1719.90	c 1719s |      21 |  1266993 |  1096845 |     5117    412 |        0 |        0
1721.32/1721.96	c 1721s |      21 |  1267646 |  1097345 |     5117    413 |        0 |        0
1723.42/1724.09	c 1723s |      21 |  1268563 |  1097945 |     5117    413 |        0 |        0
1725.72/1726.35	c 1726s |      21 |  1269313 |  1098545 |     5117    413 |        0 |        0
1727.92/1728.59	c 1728s |      21 |  1270065 |  1099145 |     5117    413 |        0 |        0
1730.42/1731.03	c 1730s |      21 |  1270838 |  1099745 |     5117    413 |        0 |        0
1732.71/1733.36	c 1733s |      21 |  1271419 |  1100245 |     5117    414 |        0 |        0
1734.81/1735.45	c 1735s |      21 |  1272030 |  1100745 |     5117    414 |        0 |        0
1736.81/1737.45	c 1737s |      21 |  1273005 |  1101445 |     5117    414 |        0 |        0
1738.81/1739.48	c 1739s |      21 |  1274207 |  1102345 |     5117    414 |        0 |        0
1741.11/1741.74	c 1741s |      21 |  1275286 |  1103145 |     5117    415 |        0 |        0
1743.11/1743.78	c 1743s |      21 |  1277793 |  1104945 |     5117    415 |        0 |        0
1745.41/1746.03	c 1745s |      21 |  1280386 |  1106145 |     5117    416 |        0 |        0
1747.51/1748.11	c 1747s |      21 |  1281680 |  1107045 |     5117    416 |        0 |        0
1749.62/1750.29	c 1750s |      21 |  1283321 |  1108045 |     5117    416 |        0 |        0
1751.91/1752.51	c 1752s |      21 |  1284621 |  1108945 |     5117    416 |        0 |        0
1754.02/1754.67	c 1754s |      21 |  1285867 |  1109745 |     5117    417 |        0 |        0
1756.12/1756.80	c 1756s |      21 |  1287245 |  1110545 |     5117    417 |        0 |        0
1758.21/1758.84	c 1758s |      21 |  1288181 |  1111245 |     5117    417 |        0 |        0
1760.21/1760.85	c 1760s |      21 |  1289137 |  1111945 |     5117    417 |        0 |        0
1762.41/1763.07	c 1762s |      21 |  1290461 |  1112745 |     5117    418 |        0 |        0
1764.61/1765.28	c 1765s |      21 |  1291498 |  1113545 |     5117    418 |        0 |        0
1766.91/1767.53	c 1767s |      21 |  1292661 |  1114345 |     5117    418 |        0 |        0
1769.32/1769.96	c 1769s |      21 |  1293813 |  1115145 |     5117    419 |        0 |        0
1771.31/1771.96	c 1771s |      21 |  1294692 |  1115845 |     5117    419 |        0 |        0
1773.41/1774.08	c 1773s |      21 |  1295653 |  1116545 |     5117    419 |        0 |        0
1775.51/1776.19	c 1776s |      21 |  1296678 |  1117245 |     5117    419 |        0 |        0
1777.81/1778.46	c 1778s |      21 |  1297778 |  1118045 |     5117    419 |        0 |        0
1780.01/1780.68	c 1780s |      21 |  1298895 |  1118845 |     5117    420 |        0 |        0
1782.41/1783.00	c 1782s |      21 |  1299903 |  1119645 |     5117    420 |        0 |        0
1784.51/1785.12	c 1784s |      21 |  1300859 |  1120345 |     5117    420 |        0 |        0
1786.71/1787.38	c 1787s |      21 |  1301748 |  1121045 |     5117    420 |        0 |        0
1788.91/1789.54	c 1789s |      21 |  1302752 |  1121745 |     5117    421 |        0 |        0
1791.10/1791.74	c 1791s |      21 |  1303993 |  1122545 |     5117    421 |        0 |        0
1793.30/1793.96	c 1793s |      21 |  1305166 |  1123445 |     5117    421 |        0 |        0
1795.60/1796.20	c 1796s |      21 |  1306255 |  1124245 |     5117    422 |        0 |        0
1797.80/1798.43	c 1798s |      21 |  1307214 |  1125045 |     5117    422 |        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-4093315-1466081215/watcher-4093315-1466081215 -o /tmp/evaluation-result-4093315-1466081215/solver-4093315-1466081215 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466074317-17184 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093315-1466081215.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.09 2.09 2.05 3/177 17821
/proc/meminfo: memFree=30481540/32872528 swapFree=446836/479540
[pid=17821] ppid=17818 vsize=696764 CPUtime=0 cores=1,3,5,7
/proc/17821/stat : 17821 (toysat) R 17818 17821 15681 0 -1 4202496 2597 0 0 0 0 0 0 0 20 0 4 0 10171637 713486336 2957 33554432000 4194304 16246674 140734991315984 140734991315408 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17821/statm: 174959 2967 441 2943 0 171853 0
[pid=17821/tid=17822] ppid=17818 vsize=715196 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17822/stat : 17822 (toysat) S 17818 17821 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10171637 732360704 3029 33554432000 4194304 16246674 140734991315984 139992688995568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17821/tid=17823] ppid=17818 vsize=719292 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17823/stat : 17823 (toysat) S 17818 17821 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10171637 736555008 3044 33554432000 4194304 16246674 140734991315984 139992678505712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17821/tid=17824] ppid=17818 vsize=723388 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17824/stat : 17824 (toysat) S 17818 17821 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10171638 740749312 3060 33554432000 4194304 16246674 140734991315984 139992668032176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100175 s]
/proc/loadavg: 2.09 2.09 2.05 3/177 17821
/proc/meminfo: memFree=30481540/32872528 swapFree=446836/479540
[pid=17821] ppid=17818 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/17821/stat : 17821 (toysat) R 17818 17821 15681 0 -1 4202496 25848 0 0 0 6 3 0 0 20 0 4 0 10171637 1247350784 26199 33554432000 4194304 16246674 140734991315984 140734991315408 6836566 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17821/statm: 304529 26214 681 2943 0 301423 0
[pid=17821/tid=17822] ppid=17818 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17822/stat : 17822 (toysat) S 17818 17821 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10171637 1247350784 26225 33554432000 4194304 16246674 140734991315984 139992688995568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17821/tid=17823] ppid=17818 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17823/stat : 17823 (toysat) S 17818 17821 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10171637 1247350784 26234 33554432000 4194304 16246674 140734991315984 139992678505712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17821/tid=17824] ppid=17818 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17824/stat : 17824 (toysat) S 17818 17821 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10171638 1247350784 26243 33554432000 4194304 16246674 140734991315984 139992668032176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200539 s]
/proc/loadavg: 2.09 2.09 2.05 3/177 17821
/proc/meminfo: memFree=30481540/32872528 swapFree=446836/479540
[pid=17821] ppid=17818 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/17821/stat : 17821 (toysat) R 17818 17821 15681 0 -1 4202496 49475 0 0 0 13 6 0 0 20 0 4 0 10171637 1247350784 49822 33554432000 4194304 16246674 140734991315984 140734991315408 5723873 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17821/statm: 304529 49835 808 2943 0 301423 0
[pid=17821/tid=17822] ppid=17818 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17822/stat : 17822 (toysat) S 17818 17821 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10171637 1247350784 49843 33554432000 4194304 16246674 140734991315984 139992688995568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17821/tid=17823] ppid=17818 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17823/stat : 17823 (toysat) S 17818 17821 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10171637 1247350784 49846 33554432000 4194304 16246674 140734991315984 139992678505712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17821/tid=17824] ppid=17818 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17824/stat : 17824 (toysat) S 17818 17821 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10171638 1247350784 49851 33554432000 4194304 16246674 140734991315984 139992668032176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300479 s]
/proc/loadavg: 2.09 2.09 2.05 3/177 17821
/proc/meminfo: memFree=30481540/32872528 swapFree=446836/479540
[pid=17821] ppid=17818 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/17821/stat : 17821 (toysat) R 17818 17821 15681 0 -1 4202496 77269 0 0 0 19 10 0 0 20 0 4 0 10171637 1247350784 77616 33554432000 4194304 16246674 140734991315984 140734991315408 5831697 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17821/statm: 304529 77625 808 2943 0 301423 0
[pid=17821/tid=17822] ppid=17818 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17822/stat : 17822 (toysat) S 17818 17821 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10171637 1247350784 77631 33554432000 4194304 16246674 140734991315984 139992688995568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17821/tid=17823] ppid=17818 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17823/stat : 17823 (toysat) S 17818 17821 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10171637 1247350784 77636 33554432000 4194304 16246674 140734991315984 139992678505712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17821/tid=17824] ppid=17818 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17824/stat : 17824 (toysat) S 17818 17821 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10171638 1247350784 77641 33554432000 4194304 16246674 140734991315984 139992668032176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700409 s]
/proc/loadavg: 2.09 2.09 2.05 3/177 17821
/proc/meminfo: memFree=30481540/32872528 swapFree=446836/479540
[pid=17821] ppid=17818 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/17821/stat : 17821 (toysat) R 17818 17821 15681 0 -1 4202496 195412 0 0 0 45 24 0 0 20 0 4 0 10171637 1247350784 195759 33554432000 4194304 16246674 140734991315984 140734991297856 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17821/statm: 304529 195781 808 2943 0 301423 0
[pid=17821/tid=17822] ppid=17818 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17822/stat : 17822 (toysat) S 17818 17821 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10171637 1247350784 195790 33554432000 4194304 16246674 140734991315984 139992688995568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17821/tid=17823] ppid=17818 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17823/stat : 17823 (toysat) S 17818 17821 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10171637 1247350784 195798 33554432000 4194304 16246674 140734991315984 139992678505712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17821/tid=17824] ppid=17818 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17824/stat : 17824 (toysat) S 17818 17821 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10171638 1247350784 195805 33554432000 4194304 16246674 140734991315984 139992668032176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50043 s]
/proc/loadavg: 2.09 2.09 2.05 4/181 17825
/proc/meminfo: memFree=29496512/32872528 swapFree=446836/479540
[pid=17821] ppid=17818 vsize=1302084 CPUtime=1.49 cores=1,3,5,7
/proc/17821/stat : 17821 (toysat) R 17818 17821 15681 0 -1 4202496 266469 0 0 0 116 33 0 0 20 0 4 0 10171637 1333334016 266793 33554432000 4194304 16246674 140734991315984 140734991297856 5676626 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17821/statm: 325521 266793 871 2943 0 322415 0
[pid=17821/tid=17822] ppid=17818 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17822/stat : 17822 (toysat) S 17818 17821 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10171637 1333334016 266793 33554432000 4194304 16246674 140734991315984 139992688995568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17821/tid=17823] ppid=17818 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17823/stat : 17823 (toysat) S 17818 17821 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10171637 1333334016 266793 33554432000 4194304 16246674 140734991315984 139992678505712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17821/tid=17824] ppid=17818 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17824/stat : 17824 (toysat) S 17818 17821 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10171638 1333334016 266793 33554432000 4194304 16246674 140734991315984 139992668032176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1302084

[startup+3.10043 s]
/proc/loadavg: 2.09 2.09 2.05 3/181 17825
/proc/meminfo: memFree=29410952/32872528 swapFree=446836/479540
[pid=17821] ppid=17818 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/17821/stat : 17821 (toysat) R 17818 17821 15681 0 -1 4202496 267744 0 0 0 276 33 0 0 20 0 4 0 10171637 1338576896 268068 33554432000 4194304 16246674 140734991315984 140734991298984 5754983 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17821/statm: 326801 268068 873 2943 0 323695 0
[pid=17821/tid=17822] ppid=17818 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17822/stat : 17822 (toysat) S 17818 17821 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10171637 1338576896 268068 33554432000 4194304 16246674 140734991315984 139992688995568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17821/tid=17823] ppid=17818 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17823/stat : 17823 (toysat) S 17818 17821 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10171637 1338576896 268068 33554432000 4194304 16246674 140734991315984 139992678505712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17821/tid=17824] ppid=17818 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17824/stat : 17824 (toysat) S 17818 17821 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10171638 1338576896 268068 33554432000 4194304 16246674 140734991315984 139992668032176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30041 s]
/proc/loadavg: 2.08 2.09 2.05 3/181 17825
/proc/meminfo: memFree=29408904/32872528 swapFree=446836/479540
[pid=17821] ppid=17818 vsize=1308228 CPUtime=6.29 cores=1,3,5,7
/proc/17821/stat : 17821 (toysat) R 17818 17821 15681 0 -1 4202496 268058 0 0 0 596 33 0 0 20 0 4 0 10171637 1339625472 268382 33554432000 4194304 16246674 140734991315984 140734991297856 13950199 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17821/statm: 327057 268382 873 2943 0 323951 0
[pid=17821/tid=17822] ppid=17818 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17822/stat : 17822 (toysat) S 17818 17821 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10171637 1339625472 268382 33554432000 4194304 16246674 140734991315984 139992688995568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17821/tid=17823] ppid=17818 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17823/stat : 17823 (toysat) S 17818 17821 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10171637 1339625472 268382 33554432000 4194304 16246674 140734991315984 139992678505712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17821/tid=17824] ppid=17818 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17824/stat : 17824 (toysat) S 17818 17821 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10171638 1339625472 268382 33554432000 4194304 16246674 140734991315984 139992668032176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.08 2.09 2.05 3/181 17825
/proc/meminfo: memFree=29407092/32872528 swapFree=446836/479540
[pid=17821] ppid=17818 vsize=1309252 CPUtime=12.69 cores=1,3,5,7
/proc/17821/stat : 17821 (toysat) R 17818 17821 15681 0 -1 4202496 268435 0 0 0 1236 33 0 0 20 0 4 0 10171637 1340674048 268759 33554432000 4194304 16246674 140734991315984 140734991315080 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17821/statm: 327313 268759 875 2943 0 324207 0
[pid=17821/tid=17822] ppid=17818 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17822/stat : 17822 (toysat) S 17818 17821 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10171637 1340674048 268759 33554432000 4194304 16246674 140734991315984 139992688995568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17821/tid=17823] ppid=17818 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17823/stat : 17823 (toysat) S 17818 17821 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10171637 1340674048 268759 33554432000 4194304 16246674 140734991315984 139992678505712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17821/tid=17824] ppid=17818 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17824/stat : 17824 (toysat) S 17818 17821 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10171638 1340674048 268759 33554432000 4194304 16246674 140734991315984 139992668032176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1309252

[startup+25.5005 s]
/proc/loadavg: 2.13 2.10 2.05 3/181 17825
/proc/meminfo: memFree=29403508/32872528 swapFree=446836/479540
[pid=17821] ppid=17818 vsize=1313348 CPUtime=25.48 cores=1,3,5,7
/proc/17821/stat : 17821 (toysat) R 17818 17821 15681 0 -1 4202496 269459 0 0 0 2515 33 0 0 20 0 4 0 10171637 1344868352 269783 33554432000 4194304 16246674 140734991315984 140734991297856 5722908 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17821/statm: 328337 269783 875 2943 0 325231 0
[pid=17821/tid=17822] ppid=17818 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17822/stat : 17822 (toysat) S 17818 17821 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10171637 1344868352 269783 33554432000 4194304 16246674 140734991315984 139992688995568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17821/tid=17823] ppid=17818 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17823/stat : 17823 (toysat) S 17818 17821 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10171637 1344868352 269783 33554432000 4194304 16246674 140734991315984 139992678505712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17821/tid=17824] ppid=17818 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17824/stat : 17824 (toysat) S 17818 17821 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10171638 1344868352 269783 33554432000 4194304 16246674 140734991315984 139992668032176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.16 2.10 2.05 3/181 17825
/proc/meminfo: memFree=29401772/32872528 swapFree=446836/479540
[pid=17821] ppid=17818 vsize=1315396 CPUtime=51.08 cores=1,3,5,7
/proc/17821/stat : 17821 (toysat) R 17818 17821 15681 0 -1 4202496 269971 0 0 0 5074 34 0 0 20 0 4 0 10171637 1346965504 270295 33554432000 4194304 16246674 140734991315984 140734991297856 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17821/statm: 328849 270295 875 2943 0 325743 0
[pid=17821/tid=17822] ppid=17818 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17822/stat : 17822 (toysat) S 17818 17821 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10171637 1346965504 270295 33554432000 4194304 16246674 140734991315984 139992688995568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17821/tid=17823] ppid=17818 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17823/stat : 17823 (toysat) S 17818 17821 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10171637 1346965504 270295 33554432000 4194304 16246674 140734991315984 139992678505712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17821/tid=17824] ppid=17818 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17824/stat : 17824 (toysat) S 17818 17821 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10171638 1346965504 270295 33554432000 4194304 16246674 140734991315984 139992668032176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1315396

[startup+102.301 s]
/proc/loadavg: 2.16 2.12 2.06 3/181 17826
/proc/meminfo: memFree=29401448/32872528 swapFree=446836/479540
[pid=17821] ppid=17818 vsize=1315396 CPUtime=102.28 cores=1,3,5,7
/proc/17821/stat : 17821 (toysat) R 17818 17821 15681 0 -1 4202496 269971 0 0 0 10194 34 0 0 20 0 4 0 10171637 1346965504 270295 33554432000 4194304 16246674 140734991315984 140734991297856 5545784 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17821/statm: 328849 270295 875 2943 0 325743 0
[pid=17821/tid=17822] ppid=17818 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17822/stat : 17822 (toysat) S 17818 17821 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10171637 1346965504 270295 33554432000 4194304 16246674 140734991315984 139992688995568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17821/tid=17823] ppid=17818 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17823/stat : 17823 (toysat) S 17818 17821 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10171637 1346965504 270295 33554432000 4194304 16246674 140734991315984 139992678505712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17821/tid=17824] ppid=17818 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17824/stat : 17824 (toysat) S 17818 17821 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10171638 1346965504 270295 33554432000 4194304 16246674 140734991315984 139992668032176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1315396


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

/proc/17821/task/17824/stat : 17824 (toysat) S 17818 17821 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10171638 1361645568 273883 33554432000 4194304 16246674 140734991315984 139992668032176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1241.79
Current children cumulated vsize (KiB) 1329732

[startup+1302.3 s]
/proc/loadavg: 2.21 2.16 2.10 3/181 17929
/proc/meminfo: memFree=29373688/32872528 swapFree=446836/479540
[pid=17821] ppid=17818 vsize=1329732 CPUtime=1301.78 cores=1,3,5,7
/proc/17821/stat : 17821 (toysat) R 17818 17821 15681 0 -1 4202496 274007 0 0 0 130130 48 0 0 20 0 4 0 10171637 1361645568 273883 33554432000 4194304 16246674 140734991315984 140734991315160 5545776 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17821/statm: 332433 273883 875 2943 0 329327 0
[pid=17821/tid=17822] ppid=17818 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17822/stat : 17822 (toysat) S 17818 17821 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10171637 1361645568 273883 33554432000 4194304 16246674 140734991315984 139992688995568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17821/tid=17823] ppid=17818 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17823/stat : 17823 (toysat) S 17818 17821 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10171637 1361645568 273883 33554432000 4194304 16246674 140734991315984 139992678505712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17821/tid=17824] ppid=17818 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17824/stat : 17824 (toysat) S 17818 17821 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10171638 1361645568 273883 33554432000 4194304 16246674 140734991315984 139992668032176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 1329732

[startup+1362.3 s]
/proc/loadavg: 2.12 2.14 2.09 3/181 17930
/proc/meminfo: memFree=29373964/32872528 swapFree=446836/479540
[pid=17821] ppid=17818 vsize=1329732 CPUtime=1361.77 cores=1,3,5,7
/proc/17821/stat : 17821 (toysat) R 17818 17821 15681 0 -1 4202496 274007 0 0 0 136129 48 0 0 20 0 4 0 10171637 1361645568 273883 33554432000 4194304 16246674 140734991315984 140734991315080 5545898 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17821/statm: 332433 273883 875 2943 0 329327 0
[pid=17821/tid=17822] ppid=17818 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17822/stat : 17822 (toysat) S 17818 17821 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10171637 1361645568 273883 33554432000 4194304 16246674 140734991315984 139992688995568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17821/tid=17823] ppid=17818 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17823/stat : 17823 (toysat) S 17818 17821 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10171637 1361645568 273883 33554432000 4194304 16246674 140734991315984 139992678505712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17821/tid=17824] ppid=17818 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17824/stat : 17824 (toysat) S 17818 17821 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10171638 1361645568 273883 33554432000 4194304 16246674 140734991315984 139992668032176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 1329732

[startup+1422.3 s]
/proc/loadavg: 2.21 2.16 2.10 3/182 17935
/proc/meminfo: memFree=29373916/32872528 swapFree=446836/479540
[pid=17821] ppid=17818 vsize=1329732 CPUtime=1421.77 cores=1,3,5,7
/proc/17821/stat : 17821 (toysat) R 17818 17821 15681 0 -1 4202496 274007 0 0 0 142129 48 0 0 20 0 4 0 10171637 1361645568 273883 33554432000 4194304 16246674 140734991315984 140734991297856 6012041 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17821/statm: 332433 273883 875 2943 0 329327 0
[pid=17821/tid=17822] ppid=17818 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17822/stat : 17822 (toysat) S 17818 17821 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10171637 1361645568 273883 33554432000 4194304 16246674 140734991315984 139992688995568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17821/tid=17823] ppid=17818 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17823/stat : 17823 (toysat) S 17818 17821 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10171637 1361645568 273883 33554432000 4194304 16246674 140734991315984 139992678505712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17821/tid=17824] ppid=17818 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17824/stat : 17824 (toysat) S 17818 17821 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10171638 1361645568 273883 33554432000 4194304 16246674 140734991315984 139992668032176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 1329732

[startup+1482.3 s]
/proc/loadavg: 2.13 2.14 2.09 3/181 17936
/proc/meminfo: memFree=29374080/32872528 swapFree=446836/479540
[pid=17821] ppid=17818 vsize=1329732 CPUtime=1481.75 cores=1,3,5,7
/proc/17821/stat : 17821 (toysat) R 17818 17821 15681 0 -1 4202496 274007 0 0 0 148127 48 0 0 20 0 4 0 10171637 1361645568 273883 33554432000 4194304 16246674 140734991315984 140734991297856 13949905 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17821/statm: 332433 273883 875 2943 0 329327 0
[pid=17821/tid=17822] ppid=17818 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17822/stat : 17822 (toysat) S 17818 17821 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10171637 1361645568 273883 33554432000 4194304 16246674 140734991315984 139992688995568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17821/tid=17823] ppid=17818 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17823/stat : 17823 (toysat) S 17818 17821 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10171637 1361645568 273883 33554432000 4194304 16246674 140734991315984 139992678505712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17821/tid=17824] ppid=17818 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17824/stat : 17824 (toysat) S 17818 17821 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10171638 1361645568 273883 33554432000 4194304 16246674 140734991315984 139992668032176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 1329732

[startup+1542.31 s]
/proc/loadavg: 2.22 2.16 2.10 3/181 17937
/proc/meminfo: memFree=29373856/32872528 swapFree=446836/479540
[pid=17821] ppid=17818 vsize=1329732 CPUtime=1541.76 cores=1,3,5,7
/proc/17821/stat : 17821 (toysat) R 17818 17821 15681 0 -1 4202496 274007 0 0 0 154127 49 0 0 20 0 4 0 10171637 1361645568 273883 33554432000 4194304 16246674 140734991315984 140734991297856 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17821/statm: 332433 273883 875 2943 0 329327 0
[pid=17821/tid=17822] ppid=17818 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17822/stat : 17822 (toysat) S 17818 17821 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10171637 1361645568 273883 33554432000 4194304 16246674 140734991315984 139992688995568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17821/tid=17823] ppid=17818 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17823/stat : 17823 (toysat) S 17818 17821 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10171637 1361645568 273883 33554432000 4194304 16246674 140734991315984 139992678505712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17821/tid=17824] ppid=17818 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17824/stat : 17824 (toysat) S 17818 17821 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10171638 1361645568 273883 33554432000 4194304 16246674 140734991315984 139992668032176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 1329732

[startup+1602.3 s]
/proc/loadavg: 2.18 2.16 2.10 3/181 17938
/proc/meminfo: memFree=29373636/32872528 swapFree=446836/479540
[pid=17821] ppid=17818 vsize=1329732 CPUtime=1601.74 cores=1,3,5,7
/proc/17821/stat : 17821 (toysat) R 17818 17821 15681 0 -1 4202496 274007 0 0 0 160125 49 0 0 20 0 4 0 10171637 1361645568 273883 33554432000 4194304 16246674 140734991315984 140734991297856 5545784 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17821/statm: 332433 273883 875 2943 0 329327 0
[pid=17821/tid=17822] ppid=17818 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17822/stat : 17822 (toysat) S 17818 17821 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10171637 1361645568 273883 33554432000 4194304 16246674 140734991315984 139992688995568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17821/tid=17823] ppid=17818 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17823/stat : 17823 (toysat) S 17818 17821 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10171637 1361645568 273883 33554432000 4194304 16246674 140734991315984 139992678505712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17821/tid=17824] ppid=17818 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17824/stat : 17824 (toysat) S 17818 17821 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10171638 1361645568 273883 33554432000 4194304 16246674 140734991315984 139992668032176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 1329732

[startup+1662.3 s]
/proc/loadavg: 2.18 2.16 2.10 3/181 17939
/proc/meminfo: memFree=29373908/32872528 swapFree=446836/479540
[pid=17821] ppid=17818 vsize=1329732 CPUtime=1661.73 cores=1,3,5,7
/proc/17821/stat : 17821 (toysat) R 17818 17821 15681 0 -1 4202496 274007 0 0 0 166124 49 0 0 20 0 4 0 10171637 1361645568 273883 33554432000 4194304 16246674 140734991315984 140734991297856 6020976 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17821/statm: 332433 273883 875 2943 0 329327 0
[pid=17821/tid=17822] ppid=17818 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17822/stat : 17822 (toysat) S 17818 17821 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10171637 1361645568 273883 33554432000 4194304 16246674 140734991315984 139992688995568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17821/tid=17823] ppid=17818 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17823/stat : 17823 (toysat) S 17818 17821 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10171637 1361645568 273883 33554432000 4194304 16246674 140734991315984 139992678505712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17821/tid=17824] ppid=17818 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17824/stat : 17824 (toysat) S 17818 17821 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10171638 1361645568 273883 33554432000 4194304 16246674 140734991315984 139992668032176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 1329732

[startup+1722.3 s]
/proc/loadavg: 2.20 2.17 2.10 3/181 17941
/proc/meminfo: memFree=29373732/32872528 swapFree=446836/479540
[pid=17821] ppid=17818 vsize=1329732 CPUtime=1721.72 cores=1,3,5,7
/proc/17821/stat : 17821 (toysat) R 17818 17821 15681 0 -1 4202496 274007 0 0 0 172123 49 0 0 20 0 4 0 10171637 1361645568 273883 33554432000 4194304 16246674 140734991315984 140734991297856 5545903 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17821/statm: 332433 273883 875 2943 0 329327 0
[pid=17821/tid=17822] ppid=17818 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17822/stat : 17822 (toysat) S 17818 17821 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10171637 1361645568 273883 33554432000 4194304 16246674 140734991315984 139992688995568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17821/tid=17823] ppid=17818 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17823/stat : 17823 (toysat) S 17818 17821 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10171637 1361645568 273883 33554432000 4194304 16246674 140734991315984 139992678505712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17821/tid=17824] ppid=17818 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17824/stat : 17824 (toysat) S 17818 17821 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10171638 1361645568 273883 33554432000 4194304 16246674 140734991315984 139992668032176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 1329732

[startup+1782.3 s]
/proc/loadavg: 2.42 2.23 2.12 3/181 17942
/proc/meminfo: memFree=29373732/32872528 swapFree=446836/479540
[pid=17821] ppid=17818 vsize=1329732 CPUtime=1781.71 cores=1,3,5,7
/proc/17821/stat : 17821 (toysat) R 17818 17821 15681 0 -1 4202496 274007 0 0 0 178122 49 0 0 20 0 4 0 10171637 1361645568 273883 33554432000 4194304 16246674 140734991315984 140734991297856 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17821/statm: 332433 273883 875 2943 0 329327 0
[pid=17821/tid=17822] ppid=17818 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17822/stat : 17822 (toysat) S 17818 17821 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10171637 1361645568 273883 33554432000 4194304 16246674 140734991315984 139992688995568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17821/tid=17823] ppid=17818 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17823/stat : 17823 (toysat) S 17818 17821 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10171637 1361645568 273883 33554432000 4194304 16246674 140734991315984 139992678505712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17821/tid=17824] ppid=17818 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17824/stat : 17824 (toysat) S 17818 17821 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10171638 1361645568 273883 33554432000 4194304 16246674 140734991315984 139992668032176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 1329732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.36 2.23 2.12 3/181 17942
/proc/meminfo: memFree=29373856/32872528 swapFree=446836/479540
[pid=17821] ppid=17818 vsize=1329732 CPUtime=1800 cores=1,3,5,7
/proc/17821/stat : 17821 (toysat) R 17818 17821 15681 0 -1 4202496 274007 0 0 0 179951 49 0 0 20 0 4 0 10171637 1361645568 273883 33554432000 4194304 16246674 140734991315984 140734991297856 5545784 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17821/statm: 332433 273883 875 2943 0 329327 0
[pid=17821/tid=17822] ppid=17818 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17822/stat : 17822 (toysat) S 17818 17821 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10171637 1361645568 273883 33554432000 4194304 16246674 140734991315984 139992688995568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17821/tid=17823] ppid=17818 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17823/stat : 17823 (toysat) S 17818 17821 15681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10171637 1361645568 273883 33554432000 4194304 16246674 140734991315984 139992678505712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17821/tid=17824] ppid=17818 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/17821/task/17824/stat : 17824 (toysat) S 17818 17821 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10171638 1361645568 273883 33554432000 4194304 16246674 140734991315984 139992668032176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1329732

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 17821 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.02
CPU user time (s): 1799.52
CPU system time (s): 0.496924
CPU usage (%): 99.9672
Max. virtual memory (cumulated for all children) (KiB): 1329732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.52
system time used= 0.496924
maximum resident set size= 1095532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274007
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= 466
involuntary context switches= 1837

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.72128 second user time and 6.79497 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-16 14:46:55
IDJOB=4093315
IDBENCH=78701
IDSOLVER=2553
FILE ID=node104/4093315-1466081215
RUNJOBID= node104-1466074317-17184
PBS_JOBID= 19904028
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl30_31_pb.cnf.cr--soft-33-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093315-1466081215/watcher-4093315-1466081215 -o /tmp/evaluation-result-4093315-1466081215/solver-4093315-1466081215 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466074317-17184 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093315-1466081215.wbo

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

MD5SUM BENCH= a55e12002eaa3d7d50414499a072c521
RANDOM SEED=606268818

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30482456 kB
Buffers:           26312 kB
Cached:           101136 kB
SwapCached:          516 kB
Active:          1157796 kB
Inactive:          55320 kB
Active(anon):    1086472 kB
Inactive(anon):     1168 kB
Active(file):      71324 kB
Inactive(file):    54152 kB
Unevictable:      479540 kB
Mlocked:          446836 kB
SwapTotal:      67108856 kB
SwapFree:       67100316 kB
Dirty:             16320 kB
Writeback:             0 kB
AnonPages:       1639836 kB
Mapped:            10592 kB
Shmem:                 0 kB
Slab:             566464 kB
SReclaimable:      10884 kB
SUnreclaim:       555580 kB
KernelStack:        1504 kB
PageTables:         7052 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1697064 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1179648 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node104 at 2016-06-16 15:16:56