Trace number 4103521

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.09 1800.61

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-boeing2.opb
MD5SUM5e2e92f5cdf687685f560235d961ce1c
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3371
Total number of constraints197
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints197
Minimum length of a constraint12
Maximum length of a constraint1921
Number of terms in the objective function 3114
Biggest coefficient in the objective function 40265318400000
Number of bits for the biggest coefficient in the objective function 46
Sum of the numbers in the objective function 2533036563346675
Number of bits of the sum of numbers in the objective function 52
Biggest number in a constraint 431563682611200
Number of bits of the biggest number in a constraint 49
Biggest sum of numbers in a constraint 17042207919312540
Number of bits of the biggest sum of numbers54
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-18T10:13:54+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4103521-1466237634.opb"]
0.00/0.01	c use --random-gen="1830779823 945715175 302474249 2590706489 3533690664 3144456882 3960856028 1790182720 89162319 471624853 63154719 29992546 1561356887 2395312042 3084605361 450715535 1148950119 767705830 2128256959 2646540154 4112169876 15842129 874186301 1460781188 1162276101 1804141430 1566227565 4265189063 4098069767 1078673222 1461022765 903787335 3587498916 979891344 717387654 814625083 1332587327 2207784296 2855130930 1754708640 2429002343 2162165702 4024694611 1595385468 873033382 1754673474 2597038286 3253696907 3120115601 483740905 3171894937 1182625685 269434020 1598284090 3635561804 122347932 380803333 3750217937 1654414850 3743540672 1490843575 4085602789 2078056389 622188268 1938412182 3246138028 1811125369 2840556843 1625999676 2988957368 2794100149 2315860056 3887673048 2089815349 2770239083 1918287105 3756916338 2301147845 318252395 1027227877 1500397520 107439485 3882643453 1953702800 1769125908 739176065 1791597263 1413760795 1806845817 2833254646 1926397879 3625931689 3081331961 1637444678 1331389551 3054872635 1263164871 1266819221 1808747204 328761409 4233970533 1779381719 1164465471 3540373109 2647698970 2419209295 2413556026 700273554 1440551136 2649055745 403839749 1006933780 60676887 689774464 396807607 1372610722 3092663431 2787414425 2035209150 1092892136 3674885792 2417695801 3019072458 2810063738 3007525399 443784427 2425038155 2976240594 3435518889 3161295138 3585624575 2344901416 2926339570 792801932 4122891035 2077542678 4166379382 3090263176 864042247 2252886699 2637633392 203539529 3376433175 3292297355 1205335587 2318301710 980734092 2197644683 3880411209 1354510301 2831216305 2885245086 2502338959 251679826 304812785 1933027540 1200196949 4276266550 2238894710 2100930653 76682157 3808890838 2187372546 1638737891 3997660837 1772112293 1596001701 15336676 4286157175 528884247 2114094274 2662645154 93795349 3977500357 3265415253 2220758252 2276500891 3892438900 3204220792 3136048037 1916737271 1405591619 474408742 3740040331 4158140283 3927183074 796669174 763180017 1974847658 2015271042 1881246207 3226862383 3664302780 564343893 1347510852 2386234242 304461813 3039496957 670287259 1232465817 778579461 1151636621 3417179463 2841339608 2781334767 2736600302 2912126568 1171308475 1418433488 2255761772 694272523 1245799649 2081963917 3521915533 3656294974 4115507888 4075913852 4137986926 234176079 273538537 2080772696 497499437 3580907882 2148191901 3291831658 938575765 599015668 1187850506 4250041848 3065314631 1510787806 4047359493 2675618726 3042639026 2630898554 941355080 3537485882 2449661998 1855582108 1411274561 2861904932 1598749702 2366361669 1299514512 753196157 2786326122 564896540 1376338946 1293500010 1581317561 4246849546 3141550744 112784309 142113349 683147912 3665785979 255 362436" option to reproduce the execution
0.00/0.06	c #vars 3371
0.00/0.06	c #constraints 197
8.19/8.28	c BCD2: Hardening is enabled.
8.19/8.28	c BCD2: BiasedSearch is enabled.
8.19/8.28	c Solving starts ...
8.19/8.28	c ============================[ Search Statistics ]============================
8.19/8.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
8.19/8.28	c       |         |          |          |    Limit     GC | Var      | Constra 
8.19/8.28	c =============================================================================
8.19/8.28	c  0.0s |       0 |        0 |        0 |     1190      0 |     1142 |        0
8.29/8.31	c  0.0s |       1 |      486 |      100 |     1190      0 |     1142 |        6
8.29/8.35	c  0.1s |       2 |      712 |      250 |     1309      0 |     1142 |        6
8.39/8.41	c  0.1s |       3 |      996 |      475 |     1440      0 |     1142 |        6
8.49/8.56	c  0.3s |       4 |     1409 |      813 |     1585      0 |     1142 |        6
8.69/8.71	c  0.4s |       5 |     1974 |     1320 |     1744      0 |     1142 |        6
9.00/9.01	c  0.7s |       6 |     2809 |     2081 |     2111      0 |     1142 |        6
9.49/9.51	c  1.2s |       7 |     4126 |     3223 |     2323      0 |     1142 |        6
10.49/10.51	c  2.2s |       8 |     6200 |     4936 |     2556      1 |     1143 |        6
11.10/11.19	c  2.9s |       9 |     9162 |     7506 |     2812      2 |     1143 |        6
12.30/12.34	c  4.1s |      10 |    13738 |    11361 |     3094      4 |     1143 |        6
14.29/14.35	c  6.1s |      10 |    19529 |    16661 |     3094      6 |     1143 |        6
14.50/14.57	c  6.3s |      11 |    20031 |    17144 |     3404      7 |     1143 |        6
16.59/16.62	c  8.3s |      11 |    24698 |    21444 |     3404      8 |     1143 |        6
18.39/18.48	c 10.2s |      12 |    29521 |    25819 |     3745     10 |     1143 |        6
20.39/20.49	c 12.2s |      12 |    33762 |    29719 |     3745     12 |     1143 |        6
22.49/22.50	c 14.2s |      12 |    38716 |    34319 |     3745     14 |     1143 |        6
24.49/24.58	c 16.3s |      12 |    40996 |    36319 |     3745     14 |     1143 |        6
26.59/26.68	c 18.4s |      12 |    42791 |    38019 |     3745     15 |     1143 |        6
27.59/27.63	c 19.4s |      13 |    43613 |    38832 |     4120     15 |     1143 |        6
29.58/29.65	c 21.4s |      13 |    45006 |    40132 |     4120     16 |     1143 |        6
31.68/31.76	c 23.5s |      13 |    46668 |    41732 |     4120     16 |     1143 |        6
33.78/33.82	c 25.5s |      13 |    48091 |    43032 |     4120     17 |     1143 |        6
35.78/35.83	c 27.5s |      13 |    49755 |    44632 |     4120     17 |     1143 |        6
37.78/37.88	c 29.6s |      13 |    51404 |    46232 |     4120     18 |     1143 |        6
39.98/40.01	c 31.7s |      13 |    53048 |    47832 |     4120     18 |     1143 |        6
42.18/42.24	c 34.0s |      13 |    54708 |    49432 |     4120     19 |     1143 |        6
44.19/44.29	c 36.0s |      13 |    56291 |    50932 |     4120     20 |     1143 |        6
46.29/46.31	c 38.0s |      13 |    58018 |    52632 |     4120     20 |     1143 |        6
48.28/48.33	c 40.1s |      13 |    59637 |    54232 |     4120     21 |     1143 |        6
50.38/50.43	c 42.1s |      13 |    61378 |    55932 |     4120     21 |     1143 |        6
52.38/52.45	c 44.2s |      13 |    63026 |    57532 |     4120     22 |     1143 |        6
53.38/53.46	c 45.2s |      14 |    63865 |    58352 |     4532     22 |     1143 |        6
55.48/55.50	c 47.2s |      14 |    65490 |    59852 |     4532     23 |     1143 |        6
57.48/57.55	c 49.3s |      14 |    67152 |    61452 |     4532     23 |     1143 |        6
59.49/59.56	c 51.3s |      14 |    68799 |    63052 |     4532     24 |     1143 |        6
61.58/61.63	c 53.3s |      14 |    70593 |    64752 |     4532     24 |     1143 |        6
63.58/63.69	c 55.4s |      14 |    72263 |    66352 |     4532     25 |     1143 |        6
65.78/65.80	c 57.5s |      14 |    73892 |    67952 |     4532     25 |     1143 |        6
67.88/67.91	c 59.6s |      14 |    75570 |    69552 |     4532     26 |     1143 |        6
69.88/69.97	c 61.7s |      14 |    77236 |    71152 |     4532     26 |     1143 |        6
71.98/72.00	c 63.7s |      14 |    78955 |    72752 |     4532     27 |     1143 |        6
73.97/74.04	c 65.8s |      14 |    80607 |    74352 |     4532     27 |     1143 |        6
75.98/76.05	c 67.8s |      14 |    82298 |    75952 |     4532     28 |     1143 |        6
77.97/78.09	c 69.8s |      14 |    83849 |    77452 |     4532     28 |     1143 |        6
80.07/80.13	c 71.8s |      14 |    85497 |    79052 |     4532     29 |     1143 |        6
82.07/82.17	c 73.9s |      14 |    87147 |    80652 |     4532     30 |     1143 |        6
84.07/84.17	c 75.9s |      14 |    88786 |    82252 |     4532     30 |     1143 |        6
86.17/86.29	c 78.0s |      14 |    90424 |    83852 |     4532     31 |     1143 |        6
88.27/88.33	c 80.0s |      14 |    91975 |    85352 |     4532     31 |     1143 |        6
90.28/90.33	c 82.0s |      14 |    93541 |    86852 |     4532     32 |     1143 |        6
91.27/91.35	c 83.1s |      15 |    94350 |    87632 |     4986     32 |     1143 |        6
93.27/93.38	c 85.1s |      15 |    96192 |    89332 |     4986     32 |     1143 |        6
95.37/95.44	c 87.2s |      15 |    98001 |    91132 |     4986     33 |     1143 |        6
97.37/97.45	c 89.2s |      15 |    99706 |    92832 |     4986     33 |     1143 |        6
99.48/99.53	c 91.3s |      15 |   101412 |    94532 |     4986     34 |     1143 |        6
101.58/101.65	c 93.4s |      15 |   103117 |    96232 |     4986     34 |     1143 |        6
103.68/103.72	c 95.4s |      15 |   104823 |    97932 |     4986     35 |     1143 |        6
105.68/105.77	c 97.5s |      15 |   106330 |    99432 |     4986     35 |     1143 |        6
107.77/107.85	c 99.6s |      15 |   108033 |   101132 |     4986     36 |     1143 |        6
109.87/109.90	c  101s |      15 |   109637 |   102732 |     4986     37 |     1143 |        6
111.87/111.92	c  103s |      15 |   111347 |   104432 |     4986     37 |     1143 |        6
113.87/113.94	c  105s |      15 |   112949 |   106032 |     4986     38 |     1143 |        6
115.87/115.95	c  107s |      15 |   114558 |   107632 |     4986     38 |     1143 |        6
117.88/117.99	c  109s |      15 |   119185 |   111032 |     4986     39 |     1143 |        6
119.87/119.99	c  111s |      15 |   123558 |   114732 |     4986     40 |     1143 |        6
121.97/122.04	c  113s |      15 |   127651 |   118232 |     4986     41 |     1143 |        6
123.97/124.04	c  115s |      15 |   131686 |   121732 |     4986     42 |     1143 |        6
125.97/126.05	c  117s |      15 |   135414 |   124932 |     4986     43 |     1143 |        6
128.07/128.10	c  119s |      15 |   139185 |   128132 |     4986     44 |     1143 |        6
130.07/130.11	c  121s |      15 |   142665 |   131132 |     5485     45 |     1143 |        6
130.27/130.36	c  122s |      16 |   143143 |   131552 |     5485     45 |     1143 |        6
132.37/132.42	c  124s |      16 |   147399 |   135252 |     5485     46 |     1143 |        6
134.38/134.47	c  126s |      16 |   151167 |   138552 |     5485     47 |     1143 |        6
136.37/136.48	c  128s |      16 |   155028 |   141852 |     5485     48 |     1143 |        6
138.37/138.48	c  130s |      16 |   158601 |   144852 |     5485     49 |     1143 |        6
140.47/140.52	c  132s |      16 |   162030 |   147752 |     5485     50 |     1143 |        6
142.47/142.59	c  134s |      16 |   165016 |   150252 |     5485     50 |     1143 |        6
144.57/144.69	c  136s |      16 |   168153 |   152852 |     5485     51 |     1143 |        6
146.67/146.76	c  138s |      16 |   171138 |   155452 |     5485     52 |     1143 |        6
148.77/148.82	c  140s |      16 |   174095 |   158052 |     5485     53 |     1143 |        6
150.78/150.87	c  142s |      16 |   177488 |   160852 |     5485     53 |     1143 |        6
152.77/152.88	c  144s |      16 |   180365 |   163352 |     5485     54 |     1143 |        6
154.87/154.92	c  146s |      16 |   183152 |   165852 |     5485     55 |     1143 |        6
156.87/156.95	c  148s |      16 |   185962 |   168352 |     5485     56 |     1143 |        6
158.87/158.99	c  150s |      16 |   189114 |   171152 |     5485     56 |     1143 |        6
160.97/161.01	c  152s |      16 |   192120 |   173852 |     5485     57 |     1143 |        6
162.97/163.03	c  154s |      16 |   195123 |   176552 |     5485     58 |     1143 |        6
164.97/165.05	c  156s |      16 |   197928 |   179052 |     5485     59 |     1143 |        6
166.97/167.07	c  158s |      16 |   200848 |   181552 |     5485     59 |     1143 |        6
169.07/169.14	c  160s |      16 |   203768 |   184052 |     5485     60 |     1143 |        6
171.17/171.21	c  162s |      16 |   206399 |   186452 |     5485     61 |     1143 |        6
173.16/173.27	c  164s |      16 |   209048 |   188852 |     5485     62 |     1143 |        6
175.26/175.31	c  167s |      16 |   211821 |   191352 |     5485     62 |     1143 |        6
177.27/177.34	c  169s |      16 |   214441 |   193652 |     5485     63 |     1143 |        6
179.26/179.38	c  171s |      16 |   216844 |   195852 |     5485     64 |     1143 |        6
180.66/180.73	c  172s |      17 |   218661 |   197432 |     6034     64 |     1143 |        6
182.67/182.74	c  174s |      17 |   222027 |   199232 |     6034     64 |     1143 |        6
184.66/184.79	c  176s |      17 |   224065 |   201032 |     6034     65 |     1143 |        6
186.76/186.85	c  178s |      17 |   226098 |   202832 |     6034     65 |     1143 |        6
188.96/189.02	c  180s |      17 |   228188 |   204632 |     6034     66 |     1143 |        6
190.96/191.08	c  182s |      17 |   230120 |   206332 |     6034     66 |     1143 |        6
193.06/193.13	c  184s |      17 |   231775 |   207832 |     6034     66 |     1143 |        6
195.06/195.15	c  186s |      17 |   233406 |   209232 |     6034     67 |     1143 |        6
197.16/197.24	c  188s |      17 |   235095 |   210732 |     6034     67 |     1143 |        6
199.27/199.31	c  191s |      17 |   236886 |   212332 |     6034     67 |     1143 |        6
201.37/201.41	c  193s |      17 |   238407 |   213632 |     6034     68 |     1143 |        6
203.36/203.42	c  195s |      17 |   240121 |   215132 |     6034     68 |     1143 |        6
205.46/205.55	c  197s |      17 |   241981 |   216732 |     6034     68 |     1143 |        6
207.46/207.56	c  199s |      17 |   243353 |   217932 |     6034     69 |     1143 |        6
209.56/209.60	c  201s |      17 |   245020 |   219432 |     6034     69 |     1143 |        6
211.56/211.62	c  203s |      17 |   246665 |   220932 |     6034     69 |     1143 |        6
213.56/213.67	c  205s |      17 |   248194 |   222232 |     6034     70 |     1143 |        6
215.66/215.79	c  207s |      17 |   249841 |   223732 |     6034     70 |     1143 |        6
217.76/217.89	c  209s |      17 |   251491 |   225232 |     6034     70 |     1143 |        6
220.06/220.15	c  211s |      17 |   252906 |   226532 |     6034     71 |     1143 |        6
222.15/222.26	c  213s |      17 |   254722 |   228132 |     6034     71 |     1143 |        6
224.25/224.37	c  216s |      17 |   256487 |   229732 |     6034     71 |     1143 |        6
226.35/226.40	c  218s |      17 |   258166 |   231232 |     6034     72 |     1143 |        6
228.35/228.49	c  220s |      17 |   259931 |   232832 |     6034     72 |     1143 |        6
230.45/230.58	c  222s |      17 |   261379 |   234132 |     6034     73 |     1143 |        6
232.65/232.72	c  224s |      17 |   262995 |   235632 |     6034     73 |     1143 |        6
234.65/234.76	c  226s |      17 |   264622 |   237132 |     6034     73 |     1143 |        6
236.75/236.85	c  228s |      17 |   266488 |   238532 |     6034     74 |     1143 |        6
238.86/238.99	c  230s |      17 |   268194 |   239932 |     6034     74 |     1143 |        6
240.96/241.08	c  232s |      17 |   269631 |   241232 |     6034     74 |     1143 |        6
243.05/243.12	c  234s |      17 |   271037 |   242532 |     6034     75 |     1143 |        6
245.15/245.25	c  236s |      17 |   272733 |   244032 |     6034     75 |     1143 |        6
247.25/247.38	c  239s |      17 |   274326 |   245432 |     6034     75 |     1143 |        6
249.35/249.42	c  241s |      17 |   275767 |   246732 |     6034     76 |     1143 |        6
251.45/251.51	c  243s |      17 |   277068 |   247932 |     6034     76 |     1143 |        6
253.55/253.62	c  245s |      17 |   278661 |   249332 |     6034     76 |     1143 |        6
255.55/255.65	c  247s |      17 |   280170 |   250632 |     6034     76 |     1143 |        6
257.55/257.67	c  249s |      17 |   281580 |   251832 |     6034     77 |     1143 |        6
259.65/259.76	c  251s |      17 |   283168 |   253232 |     6034     77 |     1143 |        6
261.75/261.84	c  253s |      17 |   284497 |   254432 |     6034     77 |     1143 |        6
263.95/264.02	c  255s |      17 |   285521 |   255332 |     6034     78 |     1143 |        6
265.95/266.09	c  257s |      17 |   287082 |   256732 |     6034     78 |     1143 |        6
268.05/268.17	c  259s |      17 |   288753 |   258232 |     6034     78 |     1143 |        6
270.05/270.19	c  261s |      17 |   290233 |   259532 |     6034     79 |     1143 |        6
272.14/272.22	c  263s |      17 |   291758 |   260932 |     6034     79 |     1143 |        6
274.24/274.33	c  266s |      17 |   293405 |   262432 |     6034     79 |     1143 |        6
276.34/276.45	c  268s |      17 |   294687 |   263632 |     6034     80 |     1143 |        6
278.45/278.54	c  270s |      17 |   296326 |   265032 |     6034     80 |     1143 |        6
280.55/280.62	c  272s |      17 |   297992 |   266432 |     6034     80 |     1143 |        6
282.64/282.77	c  274s |      17 |   299382 |   267632 |     6034     80 |     1143 |        6
284.64/284.78	c  276s |      17 |   300553 |   268632 |     6034     81 |     1143 |        6
286.74/286.81	c  278s |      17 |   302471 |   270232 |     6034     81 |     1143 |        6
288.74/288.89	c  280s |      17 |   304355 |   271832 |     6034     81 |     1143 |        6
290.84/290.97	c  282s |      17 |   306001 |   273232 |     6034     82 |     1143 |        6
292.84/292.99	c  284s |      17 |   307679 |   274732 |     6034     82 |     1143 |        6
294.95/295.04	c  286s |      17 |   309437 |   276232 |     6034     83 |     1143 |        6
297.05/297.12	c  288s |      17 |   311277 |   277832 |     6034     83 |     1143 |        6
299.04/299.13	c  290s |      17 |   313387 |   279532 |     6034     83 |     1143 |        6
301.14/301.20	c  292s |      17 |   315044 |   280932 |     6034     84 |     1143 |        6
303.14/303.20	c  294s |      17 |   316786 |   282432 |     6034     84 |     1143 |        6
305.15/305.21	c  296s |      17 |   318849 |   284232 |     6034     84 |     1143 |        6
307.25/307.32	c  299s |      17 |   320471 |   285632 |     6034     85 |     1143 |        6
309.35/309.43	c  301s |      17 |   322413 |   287332 |     6034     85 |     1143 |        6
311.45/311.59	c  303s |      17 |   324079 |   288832 |     6034     86 |     1143 |        6
313.55/313.69	c  305s |      17 |   325863 |   290432 |     6034     86 |     1143 |        6
315.65/315.76	c  307s |      17 |   327693 |   292032 |     6034     86 |     1143 |        6
317.64/317.77	c  309s |      17 |   329072 |   293232 |     6034     87 |     1143 |        6
319.74/319.89	c  311s |      17 |   330777 |   294732 |     6638     87 |     1143 |        6
321.84/321.94	c  313s |      17 |   332277 |   296032 |     6638     87 |     1143 |        6
322.24/322.32	c  314s |      18 |   332508 |   296252 |     6638     87 |     1143 |        6
324.24/324.35	c  316s |      18 |   335475 |   298452 |     6638     88 |     1143 |        6
326.24/326.38	c  318s |      18 |   338092 |   300752 |     6638     88 |     1143 |        6
328.34/328.41	c  320s |      18 |   340343 |   302652 |     6638     89 |     1143 |        6
330.44/330.52	c  322s |      18 |   342440 |   304352 |     6638     89 |     1143 |        6
332.44/332.59	c  324s |      18 |   344358 |   305952 |     6638     90 |     1143 |        6
334.55/334.67	c  326s |      18 |   346926 |   307952 |     6638     90 |     1143 |        6
336.65/336.71	c  328s |      18 |   349105 |   309652 |     6638     91 |     1143 |        6
338.64/338.76	c  330s |      18 |   351060 |   311252 |     6638     91 |     1143 |        6
340.64/340.79	c  332s |      18 |   353331 |   312952 |     6638     91 |     1143 |        6
342.74/342.84	c  334s |      18 |   355076 |   314352 |     6638     92 |     1143 |        6
344.74/344.86	c  336s |      18 |   357040 |   316052 |     6638     92 |     1143 |        6
346.84/346.98	c  338s |      18 |   358884 |   317452 |     6638     93 |     1143 |        6
349.04/349.10	c  340s |      18 |   360656 |   318952 |     6638     93 |     1143 |        6
351.14/351.24	c  342s |      18 |   362567 |   320552 |     6638     93 |     1143 |        6
353.14/353.27	c  344s |      18 |   365030 |   322352 |     6638     94 |     1143 |        6
355.24/355.32	c  347s |      18 |   367587 |   324152 |     6638     94 |     1143 |        6
357.24/357.34	c  349s |      18 |   369806 |   325752 |     6638     95 |     1143 |        6
359.34/359.44	c  351s |      18 |   372350 |   327452 |     6638     95 |     1143 |        6
361.34/361.45	c  353s |      18 |   374249 |   328752 |     6638     95 |     1143 |        6
363.43/363.56	c  355s |      18 |   376181 |   330152 |     6638     96 |     1143 |        6
365.43/365.58	c  357s |      18 |   378534 |   331752 |     6638     96 |     1143 |        6
367.54/367.65	c  359s |      18 |   380603 |   333352 |     6638     97 |     1143 |        6
369.64/369.74	c  361s |      18 |   383142 |   335052 |     6638     97 |     1143 |        6
371.63/371.75	c  363s |      18 |   385681 |   336752 |     6638     97 |     1143 |        6
373.73/373.81	c  365s |      18 |   387712 |   338352 |     6638     98 |     1143 |        6
375.93/376.05	c  367s |      18 |   389928 |   340052 |     6638     98 |     1143 |        6
377.93/378.07	c  369s |      18 |   392052 |   341652 |     6638     99 |     1143 |        6
379.93/380.07	c  371s |      18 |   394436 |   343352 |     6638     99 |     1143 |        6
382.03/382.14	c  373s |      18 |   396850 |   345052 |     6638     99 |     1143 |        6
384.13/384.22	c  375s |      18 |   399056 |   346752 |     6638    100 |     1143 |        6
386.24/386.31	c  378s |      18 |   400965 |   348252 |     6638    100 |     1143 |        6
388.23/388.36	c  380s |      18 |   402903 |   349852 |     6638    101 |     1143 |        6
390.33/390.46	c  382s |      18 |   405010 |   351552 |     6638    101 |     1143 |        6
392.43/392.54	c  384s |      18 |   406699 |   352852 |     6638    101 |     1143 |        6
394.83/394.90	c  386s |      18 |   408430 |   354052 |     6638    102 |     1143 |        6
396.93/397.05	c  388s |      18 |   410544 |   355452 |     6638    102 |     1143 |        6
399.03/399.14	c  390s |      18 |   412214 |   356652 |     6638    102 |     1143 |        6
401.03/401.18	c  392s |      18 |   413747 |   357752 |     6638    103 |     1143 |        6
403.13/403.20	c  394s |      18 |   415636 |   359052 |     6638    103 |     1143 |        6
405.13/405.22	c  396s |      18 |   417703 |   360552 |     6638    103 |     1143 |        6
407.13/407.25	c  398s |      18 |   419505 |   361852 |     6638    104 |     1143 |        6
409.13/409.26	c  400s |      18 |   421094 |   363052 |     6638    104 |     1143 |        6
411.33/411.40	c  403s |      18 |   423259 |   364552 |     6638    104 |     1143 |        6
413.43/413.51	c  405s |      18 |   424784 |   365752 |     6638    105 |     1143 |        6
415.42/415.52	c  407s |      18 |   426391 |   367052 |     6638    105 |     1143 |        6
417.42/417.59	c  409s |      18 |   428144 |   368452 |     6638    105 |     1143 |        6
419.52/419.63	c  411s |      18 |   429618 |   369652 |     6638    106 |     1143 |        6
421.52/421.70	c  413s |      18 |   431846 |   371152 |     6638    106 |     1143 |        6
423.63/423.73	c  415s |      18 |   433609 |   372652 |     6638    106 |     1143 |        6
425.62/425.75	c  417s |      18 |   435446 |   374052 |     6638    107 |     1143 |        6
428.03/428.15	c  419s |      18 |   437596 |   375552 |     6638    107 |     1143 |        6
430.13/430.22	c  421s |      18 |   439700 |   377152 |     6638    107 |     1143 |        6
432.22/432.35	c  424s |      18 |   441237 |   378352 |     6638    108 |     1143 |        6
434.42/434.50	c  426s |      18 |   443027 |   379652 |     6638    108 |     1143 |        6
436.42/436.55	c  428s |      18 |   444453 |   380652 |     6638    108 |     1143 |        6
438.42/438.55	c  430s |      18 |   446825 |   382252 |     6638    109 |     1143 |        6
440.42/440.58	c  432s |      18 |   449056 |   383852 |     6638    109 |     1143 |        6
442.52/442.68	c  434s |      18 |   451292 |   385452 |     6638    109 |     1143 |        6
444.62/444.73	c  436s |      18 |   453271 |   386952 |     6638    110 |     1143 |        6
446.73/446.82	c  438s |      18 |   455228 |   388452 |     6638    110 |     1143 |        6
448.72/448.86	c  440s |      18 |   457156 |   389852 |     6638    111 |     1143 |        6
450.82/450.98	c  442s |      18 |   459353 |   391452 |     6638    111 |     1143 |        6
452.92/453.00	c  444s |      18 |   461444 |   392952 |     6638    111 |     1143 |        6
454.92/455.03	c  446s |      18 |   463098 |   394152 |     6638    112 |     1143 |        6
457.02/457.15	c  448s |      18 |   465419 |   395752 |     6638    112 |     1143 |        6
459.12/459.27	c  450s |      18 |   467462 |   397252 |     6638    112 |     1143 |        6
461.11/461.28	c  452s |      18 |   469174 |   398452 |     6638    113 |     1143 |        6
463.22/463.38	c  455s |      18 |   471502 |   400052 |     6638    113 |     1143 |        6
465.32/465.50	c  457s |      18 |   473580 |   401552 |     6638    113 |     1143 |        6
467.52/467.60	c  459s |      18 |   475521 |   402952 |     6638    114 |     1143 |        6
469.61/469.70	c  461s |      18 |   477651 |   404452 |     6638    114 |     1143 |        6
471.61/471.77	c  463s |      18 |   479426 |   405752 |     6638    115 |     1143 |        6
473.71/473.86	c  465s |      18 |   481188 |   407152 |     6638    115 |     1143 |        6
475.71/475.87	c  467s |      18 |   483110 |   408552 |     6638    115 |     1143 |        6
477.81/477.98	c  469s |      18 |   484919 |   409952 |     6638    116 |     1143 |        6
479.91/480.01	c  471s |      18 |   486887 |   411452 |     6638    116 |     1143 |        6
481.92/482.05	c  473s |      18 |   489227 |   413052 |     6638    116 |     1143 |        6
484.02/484.16	c  475s |      18 |   491287 |   414552 |     6638    117 |     1143 |        6
486.11/486.23	c  477s |      18 |   492994 |   415952 |     6638    117 |     1143 |        6
488.21/488.32	c  480s |      18 |   495008 |   417452 |     6638    117 |     1143 |        6
490.21/490.34	c  482s |      18 |   496678 |   418752 |     6638    118 |     1143 |        6
492.21/492.38	c  484s |      18 |   498882 |   420352 |     6638    118 |     1143 |        6
494.31/494.49	c  486s |      18 |   501145 |   421952 |     6638    119 |     1143 |        6
496.42/496.51	c  488s |      18 |   503397 |   423552 |     6638    119 |     1143 |        6
498.42/498.58	c  490s |      18 |   505576 |   425152 |     6638    119 |     1143 |        6
500.52/500.62	c  492s |      18 |   507291 |   426552 |     6638    120 |     1143 |        6
502.72/502.85	c  494s |      18 |   508916 |   427752 |     6638    120 |     1143 |        6
505.22/505.30	c  497s |      18 |   510544 |   428852 |     6638    120 |     1143 |        6
507.22/507.31	c  499s |      18 |   512446 |   430252 |     6638    121 |     1143 |        6
509.21/509.36	c  501s |      18 |   514371 |   431752 |     6638    121 |     1143 |        6
511.41/511.50	c  503s |      18 |   516261 |   433352 |     6638    121 |     1143 |        6
513.41/513.53	c  505s |      18 |   517702 |   434552 |     6638    122 |     1143 |        6
515.41/515.55	c  507s |      18 |   519510 |   435952 |     6638    122 |     1143 |        6
517.51/517.62	c  509s |      18 |   521716 |   437552 |     6638    122 |     1143 |        6
519.61/519.70	c  511s |      18 |   523519 |   438752 |     6638    123 |     1143 |        6
521.71/521.80	c  513s |      18 |   525797 |   440352 |     6638    123 |     1143 |        6
523.62/523.80	c  515s |      18 |   528274 |   441952 |     7302    123 |     1143 |        6
525.71/525.84	c  517s |      18 |   530077 |   443252 |     7302    124 |     1143 |        6
527.31/527.42	c  519s |      19 |   531835 |   444482 |     7302    124 |     1143 |        6
529.31/529.42	c  521s |      19 |   533708 |   445682 |     7302    124 |     1143 |        6
531.42/531.54	c  523s |      19 |   536289 |   447382 |     7302    125 |     1143 |        6
533.41/533.58	c  525s |      19 |   538699 |   448982 |     7302    125 |     1143 |        6
535.61/535.70	c  527s |      19 |   541170 |   450682 |     7302    125 |     1143 |        6
537.61/537.71	c  529s |      19 |   543223 |   452182 |     7302    126 |     1143 |        6
539.71/539.80	c  531s |      19 |   545751 |   453982 |     7302    126 |     1143 |        6
541.71/541.85	c  533s |      19 |   547930 |   455482 |     7302    126 |     1143 |        6
543.71/543.87	c  535s |      19 |   549830 |   456782 |     7302    127 |     1143 |        6
545.71/545.89	c  537s |      19 |   551988 |   458282 |     7302    127 |     1143 |        6
547.81/547.96	c  539s |      19 |   554520 |   459982 |     7302    127 |     1143 |        6
549.80/549.97	c  541s |      19 |   556549 |   461382 |     7302    128 |     1143 |        6
551.80/551.97	c  543s |      19 |   558652 |   462982 |     7302    128 |     1143 |        6
553.90/554.08	c  545s |      19 |   560541 |   464482 |     7302    129 |     1143 |        6
556.00/556.10	c  547s |      19 |   562586 |   465982 |     7302    129 |     1143 |        6
558.00/558.12	c  549s |      19 |   564515 |   467482 |     7302    129 |     1143 |        6
560.10/560.25	c  551s |      19 |   566262 |   468882 |     7302    130 |     1143 |        6
562.11/562.28	c  553s |      19 |   568469 |   470482 |     7302    130 |     1143 |        6
564.10/564.29	c  556s |      19 |   570459 |   471982 |     7302    130 |     1143 |        6
566.20/566.38	c  558s |      19 |   572505 |   473482 |     7302    131 |     1143 |        6
568.20/568.39	c  560s |      19 |   574496 |   474982 |     7302    131 |     1143 |        6
570.30/570.43	c  562s |      19 |   576293 |   476382 |     7302    131 |     1143 |        6
572.40/572.53	c  564s |      19 |   577981 |   477782 |     7302    132 |     1143 |        6
574.40/574.55	c  566s |      19 |   579886 |   479282 |     7302    132 |     1143 |        6
576.51/576.64	c  568s |      19 |   581167 |   480082 |     7302    132 |     1143 |        6
578.61/578.71	c  570s |      19 |   584184 |   481882 |     7302    132 |     1143 |        6
580.60/580.78	c  572s |      19 |   586073 |   483382 |     7302    133 |     1143 |        6
582.70/582.81	c  574s |      19 |   588610 |   485082 |     7302    133 |     1143 |        6
584.70/584.86	c  576s |      19 |   591039 |   486582 |     7302    134 |     1143 |        6
586.70/586.89	c  578s |      19 |   593740 |   488382 |     7302    134 |     1143 |        6
588.70/588.89	c  580s |      19 |   595913 |   489982 |     7302    134 |     1143 |        6
590.80/590.93	c  582s |      19 |   597985 |   491482 |     7302    135 |     1143 |        6
592.80/592.96	c  584s |      19 |   600035 |   493082 |     7302    135 |     1143 |        6
594.80/594.97	c  586s |      19 |   602268 |   494682 |     7302    135 |     1143 |        6
596.89/597.07	c  588s |      19 |   604285 |   496182 |     7302    136 |     1143 |        6
598.99/599.17	c  590s |      19 |   606218 |   497682 |     7302    136 |     1143 |        6
601.19/601.30	c  593s |      19 |   608072 |   499182 |     7302    136 |     1143 |        6
603.19/603.30	c  595s |      19 |   609905 |   500582 |     7302    137 |     1143 |        6
605.19/605.33	c  597s |      19 |   611424 |   501682 |     7302    137 |     1143 |        6
607.30/607.44	c  599s |      19 |   613212 |   502982 |     7302    137 |     1143 |        6
609.40/609.60	c  601s |      19 |   615141 |   504382 |     7302    138 |     1143 |        6
611.49/611.62	c  603s |      19 |   617299 |   505982 |     7302    138 |     1143 |        6
613.49/613.68	c  605s |      19 |   619346 |   507582 |     7302    138 |     1143 |        6
615.59/615.78	c  607s |      19 |   621291 |   509082 |     7302    139 |     1143 |        6
617.69/617.85	c  609s |      19 |   623311 |   510682 |     7302    139 |     1143 |        6
619.79/619.92	c  611s |      19 |   624832 |   511882 |     7302    139 |     1143 |        6
621.89/622.01	c  613s |      19 |   626745 |   513382 |     7302    140 |     1143 |        6
623.99/624.12	c  615s |      19 |   628897 |   514982 |     7302    140 |     1143 |        6
626.08/626.25	c  617s |      19 |   631137 |   516582 |     7302    140 |     1143 |        6
628.19/628.35	c  620s |      19 |   632883 |   517782 |     7302    141 |     1143 |        6
630.18/630.37	c  622s |      19 |   635107 |   519282 |     7302    141 |     1143 |        6
632.28/632.42	c  624s |      19 |   637492 |   520982 |     7302    141 |     1143 |        6
634.38/634.51	c  626s |      19 |   639138 |   522282 |     7302    142 |     1143 |        6
636.38/636.58	c  628s |      19 |   640801 |   523482 |     7302    142 |     1143 |        6
638.48/638.69	c  630s |      19 |   642692 |   524882 |     7302    142 |     1143 |        6
640.58/640.78	c  632s |      19 |   644236 |   526082 |     7302    143 |     1143 |        6
642.78/642.94	c  634s |      19 |   645777 |   527182 |     7302    143 |     1143 |        6
644.88/645.02	c  636s |      19 |   647748 |   528582 |     7302    143 |     1143 |        6
646.97/647.14	c  638s |      19 |   649511 |   529882 |     7302    144 |     1143 |        6
649.07/649.28	c  641s |      19 |   651479 |   531382 |     7302    144 |     1143 |        6
651.17/651.40	c  643s |      19 |   653387 |   532882 |     7302    144 |     1143 |        6
653.27/653.41	c  645s |      19 |   655232 |   534182 |     7302    144 |     1143 |        6
655.36/655.55	c  647s |      19 |   656927 |   535482 |     7302    145 |     1143 |        6
657.46/657.64	c  649s |      19 |   658618 |   536782 |     7302    145 |     1143 |        6
659.56/659.72	c  651s |      19 |   660628 |   538282 |     7302    145 |     1143 |        6
662.06/662.22	c  653s |      19 |   662664 |   539682 |     7302    146 |     1143 |        6
664.06/664.27	c  655s |      19 |   664796 |   541282 |     7302    146 |     1143 |        6
666.26/666.40	c  658s |      19 |   666871 |   542782 |     7302    146 |     1143 |        6
668.26/668.47	c  660s |      19 |   668674 |   544182 |     7302    147 |     1143 |        6
670.46/670.64	c  662s |      19 |   670649 |   545682 |     7302    147 |     1143 |        6
672.46/672.68	c  664s |      19 |   672681 |   547082 |     7302    147 |     1143 |        6
674.56/674.72	c  666s |      19 |   674507 |   548482 |     7302    148 |     1143 |        6
676.65/676.85	c  668s |      19 |   676674 |   550082 |     7302    148 |     1143 |        6
678.76/678.98	c  670s |      19 |   678624 |   551482 |     7302    148 |     1143 |        6
680.75/680.99	c  672s |      19 |   680809 |   552882 |     7302    149 |     1143 |        6
682.85/683.08	c  674s |      19 |   682984 |   554282 |     7302    149 |     1143 |        6
685.05/685.22	c  676s |      19 |   685193 |   555782 |     7302    149 |     1143 |        6
687.05/687.25	c  678s |      19 |   687091 |   557182 |     7302    150 |     1143 |        6
689.15/689.33	c  681s |      19 |   689096 |   558582 |     7302    150 |     1143 |        6
691.15/691.36	c  683s |      19 |   690928 |   559982 |     7302    150 |     1143 |        6
693.35/693.53	c  685s |      19 |   692660 |   561382 |     7302    151 |     1143 |        6
695.44/695.66	c  687s |      19 |   694500 |   562782 |     7302    151 |     1143 |        6
697.45/697.66	c  689s |      19 |   696133 |   564082 |     7302    151 |     1143 |        6
699.55/699.73	c  691s |      19 |   697676 |   565282 |     7302    152 |     1143 |        6
701.54/701.76	c  693s |      19 |   699415 |   566582 |     7302    152 |     1143 |        6
703.54/703.77	c  695s |      19 |   700746 |   567582 |     7302    152 |     1143 |        6
705.84/706.04	c  697s |      19 |   703075 |   569182 |     7302    153 |     1143 |        6
707.83/708.09	c  699s |      19 |   705125 |   570682 |     7302    153 |     1143 |        6
709.93/710.15	c  701s |      19 |   707079 |   572082 |     7302    153 |     1143 |        6
712.03/712.26	c  703s |      19 |   708886 |   573482 |     7302    153 |     1143 |        6
714.23/714.41	c  706s |      19 |   710646 |   574882 |     7302    154 |     1143 |        6
716.23/716.45	c  708s |      19 |   712557 |   576182 |     7302    154 |     1143 |        6
718.33/718.59	c  710s |      19 |   714567 |   577582 |     7302    154 |     1143 |        6
720.43/720.64	c  712s |      19 |   716478 |   578882 |     7302    155 |     1143 |        6
722.43/722.64	c  714s |      19 |   717773 |   579882 |     7302    155 |     1143 |        6
724.42/724.68	c  716s |      19 |   719691 |   581382 |     7302    155 |     1143 |        6
726.52/726.77	c  718s |      19 |   721554 |   582682 |     7302    156 |     1143 |        6
728.62/728.87	c  720s |      19 |   723697 |   584182 |     7302    156 |     1143 |        6
730.82/731.02	c  722s |      19 |   725741 |   585682 |     7302    156 |     1143 |        6
733.02/733.22	c  724s |      19 |   727235 |   586682 |     7302    157 |     1143 |        6
735.12/735.33	c  727s |      19 |   729625 |   588282 |     7302    157 |     1143 |        6
737.11/737.37	c  729s |      19 |   731769 |   589782 |     7302    157 |     1143 |        6
739.12/739.39	c  731s |      19 |   733441 |   591082 |     7302    158 |     1143 |        6
741.32/741.54	c  733s |      19 |   735222 |   592582 |     7302    158 |     1143 |        6
743.41/743.69	c  735s |      19 |   737129 |   593982 |     7302    158 |     1143 |        6
745.51/745.73	c  737s |      19 |   738968 |   595282 |     7302    158 |     1143 |        6
747.51/747.73	c  739s |      19 |   740625 |   596582 |     7302    159 |     1143 |        6
749.61/749.88	c  741s |      19 |   742353 |   597882 |     7302    159 |     1143 |        6
751.81/752.01	c  743s |      19 |   743926 |   599082 |     7302    159 |     1143 |        6
753.81/754.05	c  745s |      19 |   745460 |   600282 |     7302    160 |     1143 |        6
755.80/756.09	c  747s |      19 |   747174 |   601482 |     7302    160 |     1143 |        6
757.91/758.11	c  749s |      19 |   748389 |   602282 |     7302    160 |     1143 |        6
759.90/760.14	c  751s |      19 |   750758 |   603982 |     7302    160 |     1143 |        6
762.00/762.26	c  753s |      19 |   753167 |   605582 |     7302    161 |     1143 |        6
764.10/764.32	c  756s |      19 |   754872 |   606782 |     7302    161 |     1143 |        6
766.10/766.33	c  758s |      19 |   756982 |   608282 |     7302    161 |     1143 |        6
768.20/768.46	c  760s |      19 |   759298 |   609882 |     7302    162 |     1143 |        6
770.30/770.53	c  762s |      19 |   761413 |   611482 |     7302    162 |     1143 |        6
772.40/772.62	c  764s |      19 |   763524 |   612882 |     7302    163 |     1143 |        6
774.50/774.70	c  766s |      19 |   765554 |   614382 |     7302    163 |     1143 |        6
776.50/776.73	c  768s |      19 |   767597 |   615882 |     7302    163 |     1143 |        6
778.59/778.85	c  770s |      19 |   769475 |   617282 |     7302    164 |     1143 |        6
780.69/780.99	c  772s |      19 |   771444 |   618782 |     7302    164 |     1143 |        6
782.90/783.12	c  774s |      19 |   773147 |   619982 |     7302    164 |     1143 |        6
785.00/785.22	c  776s |      19 |   774938 |   621282 |     7302    164 |     1143 |        6
787.00/787.26	c  778s |      19 |   776618 |   622582 |     7302    165 |     1143 |        6
789.40/789.61	c  781s |      19 |   778207 |   623682 |     7302    165 |     1143 |        6
791.50/791.72	c  783s |      19 |   780323 |   625182 |     7302    165 |     1143 |        6
793.60/793.81	c  785s |      19 |   782074 |   626482 |     7302    166 |     1143 |        6
795.69/795.90	c  787s |      19 |   784085 |   627882 |     7302    166 |     1143 |        6
797.79/798.02	c  789s |      19 |   785722 |   628982 |     7302    166 |     1143 |        6
799.79/800.03	c  791s |      19 |   787538 |   630282 |     7302    167 |     1143 |        6
801.80/802.07	c  793s |      19 |   789391 |   631682 |     7302    167 |     1143 |        6
803.89/804.13	c  795s |      19 |   791375 |   633082 |     7302    167 |     1143 |        6
805.89/806.16	c  797s |      19 |   793336 |   634482 |     7302    167 |     1143 |        6
807.89/808.17	c  799s |      19 |   795089 |   635682 |     7302    168 |     1143 |        6
810.09/810.31	c  802s |      19 |   797129 |   637082 |     7302    168 |     1143 |        6
812.19/812.41	c  804s |      19 |   799066 |   638482 |     7302    168 |     1143 |        6
814.19/814.41	c  806s |      19 |   800791 |   639782 |     7302    169 |     1143 |        6
816.19/816.42	c  808s |      19 |   802741 |   641282 |     7302    169 |     1143 |        6
818.29/818.55	c  810s |      19 |   804704 |   642682 |     7302    169 |     1143 |        6
820.38/820.67	c  812s |      19 |   806338 |   643882 |     7302    170 |     1143 |        6
822.58/822.83	c  814s |      19 |   808043 |   645182 |     7302    170 |     1143 |        6
824.68/824.96	c  816s |      19 |   809982 |   646582 |     7302    170 |     1143 |        6
826.88/827.14	c  818s |      19 |   811682 |   647782 |     7302    171 |     1143 |        6
829.28/829.52	c  821s |      19 |   812223 |   648182 |     7302    171 |     1143 |        6
831.37/831.61	c  823s |      19 |   814642 |   649882 |     7302    171 |     1143 |        6
833.37/833.67	c  825s |      19 |   816904 |   651582 |     7302    171 |     1143 |        6
835.47/835.74	c  827s |      19 |   819134 |   653182 |     7302    172 |     1143 |        6
837.47/837.77	c  829s |      19 |   821244 |   654782 |     7302    172 |     1143 |        6
839.57/839.89	c  831s |      19 |   823357 |   656382 |     7302    172 |     1143 |        6
841.67/841.90	c  833s |      19 |   825567 |   657682 |     7302    173 |     1143 |        6
843.67/843.99	c  835s |      19 |   827761 |   659282 |     7302    173 |     1143 |        6
845.87/846.18	c  837s |      19 |   829836 |   660782 |     7302    174 |     1143 |        6
847.97/848.22	c  839s |      19 |   831921 |   662382 |     8033    174 |     1143 |        6
849.96/850.25	c  841s |      19 |   834308 |   663982 |     8033    174 |     1143 |        6
852.06/852.34	c  844s |      19 |   836551 |   665582 |     8033    174 |     1143 |        6
853.76/854.06	c  845s |      20 |   838224 |   666827 |     8033    175 |     1143 |        6
855.86/856.19	c  847s |      20 |   840545 |   668327 |     8033    175 |     1143 |        6
857.96/858.21	c  849s |      20 |   842343 |   669727 |     8033    175 |     1143 |        6
859.96/860.23	c  851s |      20 |   844001 |   670927 |     8033    176 |     1143 |        6
861.95/862.26	c  853s |      20 |   845992 |   672327 |     8033    176 |     1143 |        6
864.05/864.32	c  856s |      20 |   848147 |   673927 |     8033    176 |     1143 |        6
866.05/866.33	c  858s |      20 |   850226 |   675327 |     8033    177 |     1143 |        6
868.05/868.35	c  860s |      20 |   852586 |   676927 |     8033    177 |     1143 |        6
870.15/870.48	c  862s |      20 |   854520 |   678327 |     8033    177 |     1143 |        6
872.25/872.57	c  864s |      20 |   856474 |   679827 |     8033    177 |     1143 |        6
874.35/874.64	c  866s |      20 |   858141 |   681127 |     8033    178 |     1143 |        6
876.44/876.70	c  868s |      20 |   860180 |   682527 |     8033    178 |     1143 |        6
878.44/878.71	c  870s |      20 |   862020 |   683827 |     8033    178 |     1143 |        6
881.05/881.35	c  873s |      20 |   863531 |   685027 |     8033    179 |     1143 |        6
883.05/883.36	c  875s |      20 |   865468 |   686427 |     8033    179 |     1143 |        6
885.24/885.51	c  877s |      20 |   867581 |   687927 |     8033    179 |     1143 |        6
887.24/887.52	c  879s |      20 |   869348 |   689227 |     8033    179 |     1143 |        6
889.24/889.54	c  881s |      20 |   871245 |   690627 |     8033    180 |     1143 |        6
891.34/891.65	c  883s |      20 |   873519 |   692227 |     8033    180 |     1143 |        6
893.44/893.76	c  885s |      20 |   875350 |   693627 |     8033    180 |     1143 |        6
895.44/895.79	c  887s |      20 |   877109 |   694927 |     8033    181 |     1143 |        6
897.55/897.89	c  889s |      20 |   879153 |   696427 |     8033    181 |     1143 |        6
899.65/900.00	c  891s |      20 |   881079 |   697927 |     8033    181 |     1143 |        6
901.85/902.11	c  893s |      20 |   882853 |   699227 |     8033    182 |     1143 |        6
903.94/904.22	c  895s |      20 |   884885 |   700727 |     8033    182 |     1143 |        6
905.93/906.25	c  897s |      20 |   886654 |   702127 |     8033    182 |     1143 |        6
908.03/908.38	c  900s |      20 |   888664 |   703627 |     8033    182 |     1143 |        6
910.13/910.44	c  902s |      20 |   890449 |   704927 |     8033    183 |     1143 |        6
912.23/912.50	c  904s |      20 |   892382 |   706327 |     8033    183 |     1143 |        6
914.33/914.64	c  906s |      20 |   894467 |   707727 |     8033    183 |     1143 |        6
916.33/916.65	c  908s |      20 |   895961 |   708727 |     8033    184 |     1143 |        6
918.62/918.90	c  910s |      20 |   896843 |   709427 |     8033    184 |     1143 |        6
920.63/920.93	c  912s |      20 |   898806 |   710927 |     8033    184 |     1143 |        6
922.62/923.00	c  914s |      20 |   900890 |   712427 |     8033    184 |     1143 |        6
924.72/925.04	c  916s |      20 |   902767 |   713827 |     8033    185 |     1143 |        6
926.72/927.05	c  918s |      20 |   904727 |   715327 |     8033    185 |     1143 |        6
928.82/929.19	c  920s |      20 |   906754 |   716827 |     8033    185 |     1143 |        6
930.92/931.22	c  922s |      20 |   908457 |   718127 |     8033    186 |     1143 |        6
933.02/933.32	c  925s |      20 |   910269 |   719427 |     8033    186 |     1143 |        6
935.12/935.41	c  927s |      20 |   912478 |   720927 |     8033    186 |     1143 |        6
937.21/937.56	c  929s |      20 |   914545 |   722427 |     8033    186 |     1143 |        6
939.22/939.56	c  931s |      20 |   916381 |   723727 |     8033    187 |     1143 |        6
941.31/941.60	c  933s |      20 |   918278 |   725127 |     8033    187 |     1143 |        6
943.31/943.64	c  935s |      20 |   920755 |   726527 |     8033    187 |     1143 |        6
945.31/945.67	c  937s |      20 |   922696 |   727927 |     8033    188 |     1143 |        6
947.41/947.72	c  939s |      20 |   924732 |   729327 |     8033    188 |     1143 |        6
949.41/949.77	c  941s |      20 |   926897 |   730927 |     8033    188 |     1143 |        6
951.51/951.84	c  943s |      20 |   928574 |   732227 |     8033    189 |     1143 |        6
953.52/953.87	c  945s |      20 |   930701 |   733427 |     8033    189 |     1143 |        6
955.61/955.94	c  947s |      20 |   932664 |   734827 |     8033    189 |     1143 |        6
957.61/957.96	c  949s |      20 |   934430 |   736127 |     8033    189 |     1143 |        6
959.71/960.03	c  951s |      20 |   936172 |   737427 |     8033    190 |     1143 |        6
961.81/962.14	c  953s |      20 |   938502 |   739027 |     8033    190 |     1143 |        6
963.81/964.17	c  955s |      20 |   940348 |   740427 |     8033    190 |     1143 |        6
965.92/966.25	c  957s |      20 |   942317 |   741727 |     8033    191 |     1143 |        6
968.02/968.35	c  960s |      20 |   944560 |   743227 |     8033    191 |     1143 |        6
970.12/970.43	c  962s |      20 |   946309 |   744527 |     8033    191 |     1143 |        6
972.12/972.47	c  964s |      20 |   948151 |   745827 |     8033    191 |     1143 |        6
974.21/974.50	c  966s |      20 |   949830 |   747027 |     8033    192 |     1143 |        6
976.31/976.62	c  968s |      20 |   952347 |   748727 |     8033    192 |     1143 |        6
978.31/978.67	c  970s |      20 |   954433 |   750227 |     8033    192 |     1143 |        6
980.41/980.77	c  972s |      20 |   956385 |   751727 |     8033    193 |     1143 |        6
982.51/982.81	c  974s |      20 |   958676 |   753327 |     8033    193 |     1143 |        6
984.61/984.90	c  976s |      20 |   960875 |   755027 |     8033    193 |     1143 |        6
986.62/986.92	c  978s |      20 |   962850 |   756527 |     8033    194 |     1143 |        6
988.72/989.10	c  980s |      20 |   964216 |   757527 |     8033    194 |     1143 |        6
990.81/991.20	c  982s |      20 |   966053 |   758927 |     8033    194 |     1143 |        6
993.22/993.55	c  985s |      20 |   968157 |   760527 |     8033    195 |     1143 |        6
995.21/995.59	c  987s |      20 |   970289 |   762127 |     8033    195 |     1143 |        6
997.41/997.71	c  989s |      20 |   972396 |   763727 |     8033    195 |     1143 |        6
999.41/999.75	c  991s |      20 |   974357 |   765227 |     8033    196 |     1143 |        6
1001.51/1001.81	c  993s |      20 |   976557 |   766927 |     8033    196 |     1143 |        6
1003.51/1003.86	c  995s |      20 |   978565 |   768527 |     8033    196 |     1143 |        6
1005.70/1006.07	c  997s |      20 |   980374 |   769927 |     8033    197 |     1143 |        6
1007.80/1008.17	c  999s |      20 |   982090 |   771327 |     8033    197 |     1143 |        6
1010.30/1010.62	c 1002s |      20 |   983720 |   772627 |     8033    197 |     1143 |        6
1012.30/1012.65	c 1004s |      20 |   985238 |   773727 |     8033    197 |     1143 |        6
1014.30/1014.66	c 1006s |      20 |   986936 |   775027 |     8033    198 |     1143 |        6
1016.40/1016.73	c 1008s |      20 |   988653 |   776427 |     8033    198 |     1143 |        6
1018.51/1018.85	c 1010s |      20 |   990653 |   777927 |     8033    198 |     1143 |        6
1020.71/1021.00	c 1012s |      20 |   992516 |   779327 |     8033    198 |     1143 |        6
1022.81/1023.16	c 1014s |      20 |   993995 |   780427 |     8033    199 |     1143 |        6
1024.90/1025.30	c 1017s |      20 |   996178 |   782027 |     8033    199 |     1143 |        6
1027.10/1027.43	c 1019s |      20 |   998113 |   783427 |     8033    199 |     1143 |        6
1029.20/1029.50	c 1021s |      20 |   999945 |   784827 |     8033    200 |     1143 |        6
1031.30/1031.61	c 1023s |      20 |  1001690 |   786227 |     8033    200 |     1143 |        6
1033.30/1033.69	c 1025s |      20 |  1003575 |   787627 |     8033    200 |     1143 |        6
1035.40/1035.75	c 1027s |      20 |  1005291 |   788927 |     8033    201 |     1143 |        6
1037.40/1037.80	c 1029s |      20 |  1006983 |   790127 |     8033    201 |     1143 |        6
1039.60/1039.92	c 1031s |      20 |  1009296 |   791727 |     8033    201 |     1143 |        6
1041.60/1041.95	c 1033s |      20 |  1010674 |   792727 |     8033    201 |     1143 |        6
1043.70/1044.06	c 1035s |      20 |  1012640 |   794127 |     8033    202 |     1143 |        6
1045.79/1046.19	c 1037s |      20 |  1014569 |   795527 |     8033    202 |     1143 |        6
1047.99/1048.31	c 1040s |      20 |  1016481 |   797027 |     8033    202 |     1143 |        6
1049.99/1050.36	c 1042s |      20 |  1018301 |   798427 |     8033    203 |     1143 |        6
1052.09/1052.47	c 1044s |      20 |  1020140 |   799827 |     8033    203 |     1143 |        6
1054.19/1054.53	c 1046s |      20 |  1021777 |   801127 |     8033    203 |     1143 |        6
1056.18/1056.53	c 1048s |      20 |  1023556 |   802527 |     8033    203 |     1143 |        6
1058.18/1058.56	c 1050s |      20 |  1025040 |   803727 |     8033    204 |     1143 |        6
1060.19/1060.57	c 1052s |      20 |  1027264 |   805227 |     8033    204 |     1143 |        6
1062.28/1062.67	c 1054s |      20 |  1029058 |   806627 |     8033    204 |     1143 |        6
1064.38/1064.70	c 1056s |      20 |  1030551 |   807827 |     8033    205 |     1143 |        6
1066.48/1066.83	c 1058s |      20 |  1032314 |   809227 |     8033    205 |     1143 |        6
1068.48/1068.88	c 1060s |      20 |  1033756 |   810427 |     8033    205 |     1143 |        6
1070.58/1070.95	c 1062s |      20 |  1034819 |   811127 |     8033    205 |     1143 |        6
1072.88/1073.25	c 1064s |      20 |  1036765 |   812527 |     8033    206 |     1143 |        6
1074.98/1075.33	c 1067s |      20 |  1038568 |   813927 |     8033    206 |     1143 |        6
1077.07/1077.47	c 1069s |      20 |  1040553 |   815327 |     8033    206 |     1143 |        6
1079.17/1079.52	c 1071s |      20 |  1042087 |   816627 |     8033    206 |     1143 |        6
1081.18/1081.59	c 1073s |      20 |  1043814 |   817827 |     8033    207 |     1143 |        6
1083.28/1083.66	c 1075s |      20 |  1045975 |   819327 |     8033    207 |     1143 |        6
1085.37/1085.71	c 1077s |      20 |  1047807 |   820727 |     8033    207 |     1143 |        6
1087.37/1087.77	c 1079s |      20 |  1049530 |   822027 |     8033    208 |     1143 |        6
1089.47/1089.87	c 1081s |      20 |  1051742 |   823527 |     8033    208 |     1143 |        6
1091.97/1092.30	c 1084s |      20 |  1053271 |   824727 |     8033    208 |     1143 |        6
1093.98/1094.32	c 1086s |      20 |  1054573 |   825427 |     8033    208 |     1143 |        6
1095.98/1096.39	c 1088s |      20 |  1056287 |   826627 |     8033    208 |     1143 |        6
1098.08/1098.41	c 1090s |      20 |  1058301 |   828127 |     8033    209 |     1143 |        6
1100.17/1100.52	c 1092s |      20 |  1060194 |   829627 |     8033    209 |     1143 |        6
1102.17/1102.58	c 1094s |      20 |  1062332 |   831227 |     8033    209 |     1143 |        6
1104.28/1104.68	c 1096s |      20 |  1064429 |   832727 |     8033    210 |     1143 |        6
1106.38/1106.79	c 1098s |      20 |  1066629 |   834327 |     8033    210 |     1143 |        6
1108.47/1108.83	c 1100s |      20 |  1067617 |   835127 |     8033    210 |     1143 |        6
1110.57/1110.90	c 1102s |      20 |  1069129 |   836227 |     8033    211 |     1143 |        6
1112.67/1113.02	c 1104s |      20 |  1070975 |   837527 |     8033    211 |     1143 |        6
1114.67/1115.07	c 1106s |      20 |  1073178 |   839127 |     8033    211 |     1143 |        6
1116.77/1117.15	c 1108s |      20 |  1075179 |   840627 |     8033    211 |     1143 |        6
1118.86/1119.27	c 1110s |      20 |  1077076 |   842027 |     8033    212 |     1143 |        6
1120.96/1121.34	c 1113s |      20 |  1079093 |   843527 |     8033    212 |     1143 |        6
1123.06/1123.42	c 1115s |      20 |  1081032 |   844827 |     8033    212 |     1143 |        6
1125.07/1125.48	c 1117s |      20 |  1083100 |   846227 |     8033    213 |     1143 |        6
1127.06/1127.48	c 1119s |      20 |  1084985 |   847627 |     8033    213 |     1143 |        6
1129.16/1129.57	c 1121s |      20 |  1087047 |   849127 |     8033    213 |     1143 |        6
1131.26/1131.60	c 1123s |      20 |  1088727 |   850427 |     8033    214 |     1143 |        6
1133.26/1133.63	c 1125s |      20 |  1090759 |   851827 |     8033    214 |     1143 |        6
1135.35/1135.75	c 1127s |      20 |  1093073 |   853527 |     8033    214 |     1143 |        6
1137.35/1137.77	c 1129s |      20 |  1095202 |   855027 |     8033    215 |     1143 |        6
1139.75/1140.18	c 1131s |      20 |  1096470 |   855927 |     8033    215 |     1143 |        6
1141.85/1142.20	c 1133s |      20 |  1098796 |   857527 |     8033    215 |     1143 |        6
1143.86/1144.23	c 1135s |      20 |  1100843 |   858927 |     8033    215 |     1143 |        6
1145.85/1146.23	c 1137s |      20 |  1102685 |   860227 |     8033    216 |     1143 |        6
1147.95/1148.31	c 1140s |      20 |  1104833 |   861727 |     8033    216 |     1143 |        6
1150.05/1150.42	c 1142s |      20 |  1106495 |   863027 |     8033    216 |     1143 |        6
1152.35/1152.72	c 1144s |      20 |  1108620 |   864527 |     8033    217 |     1143 |        6
1154.45/1154.81	c 1146s |      20 |  1110428 |   865827 |     8033    217 |     1143 |        6
1156.44/1156.81	c 1148s |      20 |  1112210 |   867127 |     8033    217 |     1143 |        6
1158.44/1158.84	c 1150s |      20 |  1113959 |   868527 |     8033    217 |     1143 |        6
1160.54/1160.94	c 1152s |      20 |  1115546 |   869827 |     8033    218 |     1143 |        6
1162.64/1163.04	c 1154s |      20 |  1117414 |   871227 |     8033    218 |     1143 |        6
1164.65/1165.08	c 1156s |      20 |  1119039 |   872527 |     8033    218 |     1143 |        6
1166.74/1167.18	c 1158s |      20 |  1120661 |   873727 |     8033    218 |     1143 |        6
1168.84/1169.29	c 1161s |      20 |  1122171 |   874927 |     8033    219 |     1143 |        6
1170.93/1171.37	c 1163s |      20 |  1123513 |   875827 |     8033    219 |     1143 |        6
1173.03/1173.49	c 1165s |      20 |  1125477 |   877327 |     8033    219 |     1143 |        6
1175.13/1175.57	c 1167s |      20 |  1127232 |   878627 |     8033    219 |     1143 |        6
1177.23/1177.66	c 1169s |      20 |  1129046 |   879927 |     8033    220 |     1143 |        6
1179.43/1179.81	c 1171s |      20 |  1130838 |   881327 |     8033    220 |     1143 |        6
1181.43/1181.89	c 1173s |      20 |  1132950 |   882727 |     8033    220 |     1143 |        6
1183.53/1183.93	c 1175s |      20 |  1134858 |   884027 |     8033    221 |     1143 |        6
1185.63/1186.04	c 1177s |      20 |  1137124 |   885627 |     8033    221 |     1143 |        6
1187.73/1188.18	c 1179s |      20 |  1139129 |   887127 |     8033    221 |     1143 |        6
1189.82/1190.26	c 1181s |      20 |  1140997 |   888427 |     8033    222 |     1143 |        6
1191.92/1192.39	c 1184s |      20 |  1142765 |   889727 |     8033    222 |     1143 |        6
1194.12/1194.50	c 1186s |      20 |  1145000 |   891327 |     8033    222 |     1143 |        6
1196.12/1196.55	c 1188s |      20 |  1146925 |   892727 |     8033    222 |     1143 |        6
1198.22/1198.64	c 1190s |      20 |  1148831 |   894127 |     8033    223 |     1143 |        6
1200.22/1200.69	c 1192s |      20 |  1150571 |   895527 |     8033    223 |     1143 |        6
1202.32/1202.73	c 1194s |      20 |  1152245 |   896827 |     8033    223 |     1143 |        6
1204.42/1204.81	c 1196s |      20 |  1154059 |   898127 |     8033    224 |     1143 |        6
1206.52/1206.92	c 1198s |      20 |  1156499 |   899727 |     8033    224 |     1143 |        6
1208.62/1209.01	c 1200s |      20 |  1158221 |   901027 |     8033    224 |     1143 |        6
1210.82/1211.27	c 1202s |      20 |  1159990 |   902327 |     8033    225 |     1143 |        6
1212.91/1213.34	c 1205s |      20 |  1161726 |   903527 |     8033    225 |     1143 |        6
1215.01/1215.45	c 1207s |      20 |  1163568 |   904827 |     8033    225 |     1143 |        6
1217.11/1217.52	c 1209s |      20 |  1165465 |   906127 |     8033    225 |     1143 |        6
1219.11/1219.52	c 1211s |      20 |  1166944 |   907227 |     8033    226 |     1143 |        6
1221.11/1221.53	c 1213s |      20 |  1168707 |   908527 |     8033    226 |     1143 |        6
1223.11/1223.54	c 1215s |      20 |  1170888 |   909927 |     8033    226 |     1143 |        6
1225.21/1225.61	c 1217s |      20 |  1172973 |   911427 |     8033    226 |     1143 |        6
1227.31/1227.76	c 1219s |      20 |  1174321 |   912527 |     8033    227 |     1143 |        6
1229.40/1229.85	c 1221s |      20 |  1176226 |   913927 |     8033    227 |     1143 |        6
1231.60/1232.04	c 1223s |      20 |  1178181 |   915327 |     8033    227 |     1143 |        6
1233.60/1234.08	c 1225s |      20 |  1179895 |   916627 |     8033    228 |     1143 |        6
1235.69/1236.13	c 1227s |      20 |  1181351 |   917627 |     8033    228 |     1143 |        6
1237.79/1238.21	c 1229s |      20 |  1183315 |   919027 |     8033    228 |     1143 |        6
1239.79/1240.26	c 1231s |      20 |  1184919 |   920227 |     8033    228 |     1143 |        6
1241.79/1242.28	c 1233s |      20 |  1186368 |   921327 |     8033    229 |     1143 |        6
1243.99/1244.41	c 1236s |      20 |  1188271 |   922727 |     8033    229 |     1143 |        6
1246.00/1246.46	c 1238s |      20 |  1189831 |   923927 |     8033    229 |     1143 |        6
1248.09/1248.56	c 1240s |      20 |  1191406 |   925027 |     8033    229 |     1143 |        6
1250.19/1250.60	c 1242s |      20 |  1193270 |   926327 |     8033    230 |     1143 |        6
1252.19/1252.66	c 1244s |      20 |  1195635 |   927827 |     8033    230 |     1143 |        6
1254.29/1254.76	c 1246s |      20 |  1197541 |   929227 |     8033    230 |     1143 |        6
1256.58/1257.03	c 1248s |      20 |  1200069 |   930727 |     8033    231 |     1143 |        6
1258.58/1259.05	c 1250s |      20 |  1202658 |   932327 |     8033    231 |     1143 |        6
1260.58/1261.08	c 1252s |      20 |  1205082 |   933927 |     8033    231 |     1143 |        6
1262.88/1263.30	c 1255s |      20 |  1207094 |   935427 |     8033    232 |     1143 |        6
1264.88/1265.36	c 1257s |      20 |  1209344 |   936827 |     8033    232 |     1143 |        6
1266.99/1267.48	c 1259s |      20 |  1211165 |   938027 |     8033    232 |     1143 |        6
1268.98/1269.49	c 1261s |      20 |  1213205 |   939427 |     8033    232 |     1143 |        6
1271.18/1271.62	c 1263s |      20 |  1214977 |   940727 |     8033    233 |     1143 |        6
1273.28/1273.72	c 1265s |      20 |  1216810 |   942027 |     8033    233 |     1143 |        6
1275.28/1275.76	c 1267s |      20 |  1218939 |   943427 |     8033    233 |     1143 |        6
1277.38/1277.86	c 1269s |      20 |  1220837 |   944827 |     8033    233 |     1143 |        6
1279.48/1279.96	c 1271s |      20 |  1222474 |   946027 |     8033    234 |     1143 |        6
1281.58/1282.07	c 1273s |      20 |  1224251 |   947327 |     8033    234 |     1143 |        6
1283.67/1284.14	c 1275s |      20 |  1225873 |   948527 |     8033    234 |     1143 |        6
1286.37/1286.80	c 1278s |      20 |  1227813 |   949927 |     8033    235 |     1143 |        6
1288.47/1288.93	c 1280s |      20 |  1229946 |   951327 |     8033    235 |     1143 |        6
1290.57/1291.07	c 1282s |      20 |  1231878 |   952727 |     8033    235 |     1143 |        6
1292.67/1293.16	c 1284s |      20 |  1233583 |   954027 |     8033    235 |     1143 |        6
1294.77/1295.28	c 1286s |      20 |  1235268 |   955227 |     8033    236 |     1143 |        6
1296.86/1297.35	c 1289s |      20 |  1237132 |   956727 |     8033    236 |     1143 |        6
1298.96/1299.41	c 1291s |      20 |  1238687 |   957927 |     8033    236 |     1143 |        6
1300.97/1301.46	c 1293s |      20 |  1240645 |   959227 |     8033    237 |     1143 |        6
1303.06/1303.53	c 1295s |      20 |  1242420 |   960427 |     8033    237 |     1143 |        6
1305.16/1305.63	c 1297s |      20 |  1244621 |   962027 |     8033    237 |     1143 |        6
1307.16/1307.68	c 1299s |      20 |  1246429 |   963327 |     8033    237 |     1143 |        6
1309.36/1309.81	c 1301s |      20 |  1248080 |   964527 |     8033    238 |     1143 |        6
1311.36/1311.81	c 1303s |      20 |  1249795 |   965827 |     8033    238 |     1143 |        6
1313.46/1313.93	c 1305s |      20 |  1251668 |   967227 |     8033    238 |     1143 |        6
1315.55/1316.08	c 1307s |      20 |  1253563 |   968527 |     8033    239 |     1143 |        6
1317.65/1318.18	c 1309s |      20 |  1255476 |   969927 |     8033    239 |     1143 |        6
1319.76/1320.24	c 1311s |      20 |  1257402 |   971327 |     8033    239 |     1143 |        6
1321.75/1322.29	c 1314s |      20 |  1259212 |   972727 |     8033    239 |     1143 |        6
1323.85/1324.31	c 1316s |      20 |  1260630 |   973827 |     8033    240 |     1143 |        6
1325.85/1326.31	c 1318s |      20 |  1262560 |   975227 |     8033    240 |     1143 |        6
1327.95/1328.44	c 1320s |      20 |  1264211 |   976427 |     8033    240 |     1143 |        6
1330.05/1330.55	c 1322s |      20 |  1266100 |   977827 |     8033    240 |     1143 |        6
1332.16/1332.60	c 1324s |      20 |  1267373 |   978627 |     8033    241 |     1143 |        6
1334.16/1334.69	c 1326s |      20 |  1269419 |   979927 |     8033    241 |     1143 |        6
1336.26/1336.74	c 1328s |      20 |  1271670 |   981427 |     8033    241 |     1143 |        6
1338.36/1338.88	c 1330s |      20 |  1273496 |   982727 |     8033    242 |     1143 |        6
1340.35/1340.89	c 1332s |      20 |  1275287 |   984027 |     8033    242 |     1143 |        6
1342.45/1342.95	c 1334s |      20 |  1277247 |   985527 |     8033    242 |     1143 |        6
1344.55/1345.08	c 1336s |      20 |  1279131 |   987027 |     8033    242 |     1143 |        6
1346.75/1347.21	c 1338s |      20 |  1281194 |   988427 |     8033    243 |     1143 |        6
1348.85/1349.37	c 1341s |      20 |  1282907 |   989827 |     8033    243 |     1143 |        6
1350.95/1351.40	c 1343s |      20 |  1284476 |   990827 |     8033    243 |     1143 |        6
1352.95/1353.48	c 1345s |      20 |  1286514 |   992227 |     8033    244 |     1143 |        6
1355.25/1355.72	c 1347s |      20 |  1288696 |   993827 |     8837    244 |     1143 |        6
1357.35/1357.84	c 1349s |      20 |  1290950 |   995327 |     8837    244 |     1143 |        6
1359.45/1359.93	c 1351s |      20 |  1292750 |   996627 |     8837    244 |     1143 |        6
1361.46/1361.95	c 1353s |      20 |  1294072 |   997727 |     8837    245 |     1143 |        6
1363.45/1363.97	c 1355s |      20 |  1295781 |   999027 |     8837    245 |     1143 |        6
1365.55/1366.06	c 1357s |      20 |  1297399 |  1000327 |     8837    245 |     1143 |        6
1365.55/1366.09	c 1357s |      21 |  1297423 |  1000345 |     8837    245 |     1143 |        6
1367.65/1368.15	c 1359s |      21 |  1299516 |  1001745 |     8837    245 |     1143 |        6
1369.85/1370.36	c 1362s |      21 |  1301067 |  1002845 |     8837    246 |     1143 |        6
1371.95/1372.49	c 1364s |      21 |  1303192 |  1004245 |     8837    246 |     1143 |        6
1374.14/1374.60	c 1366s |      21 |  1304321 |  1005045 |     8837    246 |     1143 |        6
1376.14/1376.63	c 1368s |      21 |  1306820 |  1006645 |     8837    246 |     1143 |        6
1378.34/1378.80	c 1370s |      21 |  1308836 |  1008045 |     8837    247 |     1143 |        6
1380.34/1380.88	c 1372s |      21 |  1311215 |  1009545 |     8837    247 |     1143 |        6
1382.45/1382.94	c 1374s |      21 |  1313371 |  1011045 |     8837    247 |     1143 |        6
1384.55/1385.04	c 1376s |      21 |  1315444 |  1012545 |     8837    247 |     1143 |        6
1386.54/1387.07	c 1378s |      21 |  1317261 |  1013845 |     8837    248 |     1143 |        6
1388.54/1389.09	c 1380s |      21 |  1319215 |  1015045 |     8837    248 |     1143 |        6
1390.64/1391.16	c 1382s |      21 |  1321402 |  1016645 |     8837    248 |     1143 |        6
1392.84/1393.38	c 1385s |      21 |  1323616 |  1018245 |     8837    249 |     1143 |        6
1394.94/1395.44	c 1387s |      21 |  1325880 |  1019845 |     8837    249 |     1143 |        6
1397.04/1397.52	c 1389s |      21 |  1327924 |  1021345 |     8837    249 |     1143 |        6
1399.14/1399.61	c 1391s |      21 |  1329883 |  1022545 |     8837    249 |     1143 |        6
1401.24/1401.73	c 1393s |      21 |  1331831 |  1023845 |     8837    250 |     1143 |        6
1403.24/1403.74	c 1395s |      21 |  1334253 |  1025445 |     8837    250 |     1143 |        6
1405.34/1405.80	c 1397s |      21 |  1336511 |  1027045 |     8837    250 |     1143 |        6
1407.34/1407.89	c 1399s |      21 |  1338515 |  1028445 |     8837    251 |     1143 |        6
1409.34/1409.89	c 1401s |      21 |  1340670 |  1029945 |     8837    251 |     1143 |        6
1411.54/1412.02	c 1403s |      21 |  1342964 |  1031545 |     8837    251 |     1143 |        6
1413.54/1414.05	c 1405s |      21 |  1345095 |  1032945 |     8837    251 |     1143 |        6
1415.64/1416.12	c 1407s |      21 |  1346734 |  1034145 |     8837    252 |     1143 |        6
1417.64/1418.17	c 1409s |      21 |  1348783 |  1035645 |     8837    252 |     1143 |        6
1419.64/1420.19	c 1411s |      21 |  1350731 |  1037045 |     8837    252 |     1143 |        6
1421.74/1422.22	c 1413s |      21 |  1351649 |  1037645 |     8837    252 |     1143 |        6
1423.74/1424.29	c 1416s |      21 |  1353835 |  1039045 |     8837    253 |     1143 |        6
1425.84/1426.37	c 1418s |      21 |  1356226 |  1040745 |     8837    253 |     1143 |        6
1427.84/1428.37	c 1420s |      21 |  1358525 |  1042345 |     8837    253 |     1143 |        6
1429.94/1430.46	c 1422s |      21 |  1360726 |  1043845 |     8837    254 |     1143 |        6
1432.04/1432.58	c 1424s |      21 |  1363166 |  1045445 |     8837    254 |     1143 |        6
1434.15/1434.61	c 1426s |      21 |  1365665 |  1047045 |     8837    254 |     1143 |        6
1436.14/1436.69	c 1428s |      21 |  1367962 |  1048645 |     8837    254 |     1143 |        6
1438.24/1438.70	c 1430s |      21 |  1370086 |  1050045 |     8837    255 |     1143 |        6
1440.24/1440.74	c 1432s |      21 |  1372345 |  1051645 |     8837    255 |     1143 |        6
1442.34/1442.84	c 1434s |      21 |  1374099 |  1052945 |     8837    255 |     1143 |        6
1444.54/1445.03	c 1436s |      21 |  1375817 |  1054145 |     8837    256 |     1143 |        6
1446.54/1447.08	c 1438s |      21 |  1377679 |  1055545 |     8837    256 |     1143 |        6
1448.84/1449.33	c 1441s |      21 |  1379761 |  1057045 |     8837    256 |     1143 |        6
1450.94/1451.42	c 1443s |      21 |  1381759 |  1058345 |     8837    256 |     1143 |        6
1452.94/1453.49	c 1445s |      21 |  1383686 |  1059745 |     8837    257 |     1143 |        6
1455.04/1455.50	c 1447s |      21 |  1385774 |  1061245 |     8837    257 |     1143 |        6
1457.14/1457.62	c 1449s |      21 |  1388090 |  1062745 |     8837    257 |     1143 |        6
1459.23/1459.75	c 1451s |      21 |  1390253 |  1064145 |     8837    257 |     1143 |        6
1461.33/1461.90	c 1453s |      21 |  1391946 |  1065345 |     8837    258 |     1143 |        6
1463.43/1463.93	c 1455s |      21 |  1393311 |  1066245 |     8837    258 |     1143 |        6
1465.53/1466.08	c 1457s |      21 |  1395744 |  1067845 |     8837    258 |     1143 |        6
1467.63/1468.15	c 1459s |      21 |  1397805 |  1069245 |     8837    258 |     1143 |        6
1469.73/1470.23	c 1461s |      21 |  1399922 |  1070645 |     8837    259 |     1143 |        6
1471.73/1472.29	c 1464s |      21 |  1401977 |  1072145 |     8837    259 |     1143 |        6
1473.93/1474.41	c 1466s |      21 |  1403762 |  1073445 |     8837    259 |     1143 |        6
1475.94/1476.48	c 1468s |      21 |  1405569 |  1074745 |     8837    260 |     1143 |        6
1478.14/1478.61	c 1470s |      21 |  1407814 |  1076245 |     8837    260 |     1143 |        6
1480.13/1480.67	c 1472s |      21 |  1409643 |  1077545 |     8837    260 |     1143 |        6
1482.23/1482.71	c 1474s |      21 |  1411775 |  1079045 |     8837    260 |     1143 |        6
1484.23/1484.72	c 1476s |      21 |  1413613 |  1080245 |     8837    261 |     1143 |        6
1486.23/1486.78	c 1478s |      21 |  1415836 |  1081745 |     8837    261 |     1143 |        6
1488.22/1488.79	c 1480s |      21 |  1417777 |  1083245 |     8837    261 |     1143 |        6
1490.32/1490.86	c 1482s |      21 |  1419775 |  1084645 |     8837    261 |     1143 |        6
1492.52/1493.02	c 1484s |      21 |  1421196 |  1085645 |     8837    262 |     1143 |        6
1494.53/1495.07	c 1486s |      21 |  1423483 |  1087345 |     8837    262 |     1143 |        6
1496.62/1497.18	c 1488s |      21 |  1425662 |  1088745 |     8837    262 |     1143 |        6
1498.82/1499.31	c 1491s |      21 |  1428125 |  1090145 |     8837    263 |     1143 |        6
1500.82/1501.33	c 1493s |      21 |  1430484 |  1091645 |     8837    263 |     1143 |        6
1502.92/1503.45	c 1495s |      21 |  1432888 |  1093245 |     8837    263 |     1143 |        6
1505.02/1505.54	c 1497s |      21 |  1435205 |  1094845 |     8837    263 |     1143 |        6
1507.02/1507.56	c 1499s |      21 |  1437034 |  1096045 |     8837    264 |     1143 |        6
1509.12/1509.64	c 1501s |      21 |  1439263 |  1097645 |     8837    264 |     1143 |        6
1511.13/1511.67	c 1503s |      21 |  1441534 |  1099245 |     8837    264 |     1143 |        6
1513.23/1513.71	c 1505s |      21 |  1443190 |  1100445 |     8837    265 |     1143 |        6
1515.32/1515.80	c 1507s |      21 |  1444943 |  1101745 |     8837    265 |     1143 |        6
1517.42/1517.96	c 1509s |      21 |  1446357 |  1102845 |     8837    265 |     1143 |        6
1519.52/1520.02	c 1511s |      21 |  1448702 |  1104445 |     8837    265 |     1143 |        6
1521.62/1522.16	c 1513s |      21 |  1450663 |  1105845 |     8837    266 |     1143 |        6
1523.72/1524.22	c 1515s |      21 |  1452544 |  1107345 |     8837    266 |     1143 |        6
1525.93/1526.44	c 1518s |      21 |  1454272 |  1108545 |     8837    266 |     1143 |        6
1528.03/1528.52	c 1520s |      21 |  1456547 |  1110045 |     8837    266 |     1143 |        6
1530.03/1530.59	c 1522s |      21 |  1458642 |  1111445 |     8837    267 |     1143 |        6
1532.13/1532.60	c 1524s |      21 |  1460674 |  1112945 |     8837    267 |     1143 |        6
1534.13/1534.65	c 1526s |      21 |  1462599 |  1114445 |     8837    267 |     1143 |        6
1536.22/1536.75	c 1528s |      21 |  1464544 |  1115745 |     8837    268 |     1143 |        6
1538.22/1538.75	c 1530s |      21 |  1466717 |  1117245 |     8837    268 |     1143 |        6
1540.32/1540.88	c 1532s |      21 |  1468770 |  1118745 |     8837    268 |     1143 |        6
1542.42/1542.93	c 1534s |      21 |  1470675 |  1120145 |     8837    268 |     1143 |        6
1544.52/1545.05	c 1536s |      21 |  1472560 |  1121545 |     8837    269 |     1143 |        6
1546.62/1547.16	c 1538s |      21 |  1473866 |  1122545 |     8837    269 |     1143 |        6
1548.72/1549.22	c 1540s |      21 |  1475581 |  1123945 |     8837    269 |     1143 |        6
1550.73/1551.29	c 1543s |      21 |  1477370 |  1125245 |     8837    269 |     1143 |        6
1552.83/1553.31	c 1545s |      21 |  1479085 |  1126545 |     8837    270 |     1143 |        6
1554.92/1555.40	c 1547s |      21 |  1481087 |  1128045 |     8837    270 |     1143 |        6
1556.92/1557.46	c 1549s |      21 |  1482936 |  1129445 |     8837    270 |     1143 |        6
1559.12/1559.62	c 1551s |      21 |  1484580 |  1130645 |     8837    270 |     1143 |        6
1561.12/1561.68	c 1553s |      21 |  1486149 |  1131845 |     8837    271 |     1143 |        6
1563.32/1563.83	c 1555s |      21 |  1487948 |  1133145 |     8837    271 |     1143 |        6
1565.32/1565.85	c 1557s |      21 |  1489704 |  1134445 |     8837    271 |     1143 |        6
1567.42/1567.90	c 1559s |      21 |  1491485 |  1135645 |     8837    271 |     1143 |        6
1569.52/1570.09	c 1561s |      21 |  1493123 |  1136845 |     8837    272 |     1143 |        6
1571.62/1572.19	c 1563s |      21 |  1494879 |  1138145 |     8837    272 |     1143 |        6
1573.72/1574.24	c 1565s |      21 |  1496255 |  1139145 |     8837    272 |     1143 |        6
1575.71/1576.30	c 1568s |      21 |  1498028 |  1140445 |     8837    272 |     1143 |        6
1578.12/1578.66	c 1570s |      21 |  1499339 |  1141345 |     8837    273 |     1143 |        6
1580.21/1580.78	c 1572s |      21 |  1501357 |  1142745 |     8837    273 |     1143 |        6
1582.41/1582.95	c 1574s |      21 |  1503399 |  1144145 |     8837    273 |     1143 |        6
1584.61/1585.17	c 1576s |      21 |  1505191 |  1145345 |     8837    273 |     1143 |        6
1586.71/1587.29	c 1579s |      21 |  1506792 |  1146445 |     8837    274 |     1143 |        6
1588.91/1589.43	c 1581s |      21 |  1508733 |  1147845 |     8837    274 |     1143 |        6
1590.91/1591.49	c 1583s |      21 |  1510506 |  1149145 |     8837    274 |     1143 |        6
1593.01/1593.50	c 1585s |      21 |  1512247 |  1150445 |     8837    274 |     1143 |        6
1595.01/1595.54	c 1587s |      21 |  1513815 |  1151545 |     8837    275 |     1143 |        6
1597.21/1597.75	c 1589s |      21 |  1515494 |  1152745 |     8837    275 |     1143 |        6
1599.31/1599.84	c 1591s |      21 |  1517151 |  1153845 |     8837    275 |     1143 |        6
1601.32/1601.86	c 1593s |      21 |  1518901 |  1155045 |     8837    275 |     1143 |        6
1603.42/1603.93	c 1595s |      21 |  1520611 |  1156245 |     8837    275 |     1143 |        6
1606.60/1607.13	c 1598s |      21 |  1521781 |  1157045 |     8837    276 |     1143 |        6
1608.70/1609.24	c 1600s |      21 |  1523470 |  1158245 |     8837    276 |     1143 |        6
1610.90/1611.40	c 1603s |      21 |  1525135 |  1159445 |     8837    276 |     1143 |        6
1612.90/1613.48	c 1605s |      21 |  1526753 |  1160545 |     8837    276 |     1143 |        6
1615.10/1615.61	c 1607s |      21 |  1528374 |  1161645 |     8837    276 |     1143 |        6
1617.21/1617.71	c 1609s |      21 |  1529869 |  1162645 |     8837    277 |     1143 |        6
1619.21/1619.72	c 1611s |      21 |  1531378 |  1163645 |     8837    277 |     1143 |        6
1621.21/1621.77	c 1613s |      21 |  1533580 |  1165145 |     8837    277 |     1143 |        6
1623.22/1623.79	c 1615s |      21 |  1535329 |  1166345 |     8837    277 |     1143 |        6
1625.31/1625.82	c 1617s |      21 |  1537087 |  1167545 |     8837    278 |     1143 |        6
1627.41/1627.92	c 1619s |      21 |  1539292 |  1169045 |     8837    278 |     1143 |        6
1629.41/1629.95	c 1621s |      21 |  1541242 |  1170345 |     8837    278 |     1143 |        6
1631.51/1632.02	c 1623s |      21 |  1543254 |  1171745 |     8837    278 |     1143 |        6
1633.61/1634.13	c 1625s |      21 |  1545076 |  1173045 |     8837    279 |     1143 |        6
1635.71/1636.24	c 1627s |      21 |  1547485 |  1174545 |     8837    279 |     1143 |        6
1637.81/1638.30	c 1630s |      21 |  1549372 |  1175945 |     8837    279 |     1143 |        6
1639.81/1640.33	c 1632s |      21 |  1550435 |  1176745 |     8837    279 |     1143 |        6
1641.81/1642.40	c 1634s |      21 |  1551951 |  1177845 |     8837    280 |     1143 |        6
1643.91/1644.48	c 1636s |      21 |  1554073 |  1179345 |     8837    280 |     1143 |        6
1646.11/1646.62	c 1638s |      21 |  1556492 |  1180945 |     8837    280 |     1143 |        6
1648.21/1648.71	c 1640s |      21 |  1558257 |  1182245 |     8837    281 |     1143 |        6
1650.31/1650.80	c 1642s |      21 |  1560154 |  1183545 |     8837    281 |     1143 |        6
1652.31/1652.88	c 1644s |      21 |  1562355 |  1184845 |     8837    281 |     1143 |        6
1654.41/1654.92	c 1646s |      21 |  1564291 |  1186145 |     8837    281 |     1143 |        6
1656.51/1657.04	c 1648s |      21 |  1565984 |  1187345 |     8837    282 |     1143 |        6
1658.60/1659.17	c 1650s |      21 |  1568012 |  1188745 |     8837    282 |     1143 |        6
1660.71/1661.21	c 1652s |      21 |  1569930 |  1190045 |     8837    282 |     1143 |        6
1662.70/1663.26	c 1654s |      21 |  1571728 |  1191345 |     8837    282 |     1143 |        6
1664.80/1665.34	c 1657s |      21 |  1573332 |  1192445 |     8837    282 |     1143 |        6
1667.00/1667.56	c 1659s |      21 |  1574919 |  1193445 |     8837    283 |     1143 |        6
1669.00/1669.59	c 1661s |      21 |  1576628 |  1194545 |     8837    283 |     1143 |        6
1671.10/1671.63	c 1663s |      21 |  1578886 |  1195945 |     8837    283 |     1143 |        6
1673.20/1673.72	c 1665s |      21 |  1580886 |  1197345 |     8837    283 |     1143 |        6
1675.20/1675.79	c 1667s |      21 |  1583059 |  1198645 |     8837    284 |     1143 |        6
1677.21/1677.80	c 1669s |      21 |  1585303 |  1200045 |     8837    284 |     1143 |        6
1679.41/1679.93	c 1671s |      21 |  1587356 |  1201445 |     8837    284 |     1143 |        6
1681.51/1682.03	c 1673s |      21 |  1589135 |  1202745 |     8837    285 |     1143 |        6
1683.50/1684.08	c 1675s |      21 |  1590476 |  1203745 |     8837    285 |     1143 |        6
1685.70/1686.22	c 1677s |      21 |  1592383 |  1205045 |     8837    285 |     1143 |        6
1687.70/1688.25	c 1679s |      21 |  1594149 |  1206345 |     8837    285 |     1143 |        6
1689.80/1690.39	c 1682s |      21 |  1596243 |  1207645 |     8837    285 |     1143 |        6
1691.89/1692.48	c 1684s |      21 |  1598079 |  1208845 |     8837    286 |     1143 |        6
1693.99/1694.55	c 1686s |      21 |  1599878 |  1210145 |     8837    286 |     1143 |        6
1696.09/1696.64	c 1688s |      21 |  1601709 |  1211445 |     8837    286 |     1143 |        6
1698.19/1698.76	c 1690s |      21 |  1603535 |  1212645 |     8837    286 |     1143 |        6
1700.30/1700.85	c 1692s |      21 |  1605200 |  1213845 |     8837    287 |     1143 |        6
1702.40/1702.93	c 1694s |      21 |  1606852 |  1214945 |     8837    287 |     1143 |        6
1704.49/1705.10	c 1696s |      21 |  1608538 |  1216145 |     8837    287 |     1143 |        6
1707.29/1707.82	c 1699s |      21 |  1610016 |  1217145 |     8837    287 |     1143 |        6
1709.29/1709.84	c 1701s |      21 |  1610934 |  1217645 |     8837    287 |     1143 |        6
1711.39/1711.92	c 1703s |      21 |  1612914 |  1218845 |     8837    288 |     1143 |        6
1713.40/1713.99	c 1705s |      21 |  1614922 |  1220145 |     8837    288 |     1143 |        6
1715.49/1716.09	c 1707s |      21 |  1617275 |  1221545 |     8837    288 |     1143 |        6
1717.49/1718.09	c 1709s |      21 |  1619340 |  1222845 |     8837    288 |     1143 |        6
1719.59/1720.19	c 1711s |      21 |  1621147 |  1224045 |     8837    289 |     1143 |        6
1721.69/1722.23	c 1713s |      21 |  1622607 |  1224945 |     8837    289 |     1143 |        6
1723.79/1724.33	c 1716s |      21 |  1624559 |  1226145 |     8837    289 |     1143 |        6
1725.79/1726.34	c 1718s |      21 |  1626621 |  1227445 |     8837    289 |     1143 |        6
1727.89/1728.43	c 1720s |      21 |  1628441 |  1228645 |     8837    290 |     1143 |        6
1729.89/1730.47	c 1722s |      21 |  1630262 |  1229745 |     8837    290 |     1143 |        6
1731.99/1732.54	c 1724s |      21 |  1632213 |  1231045 |     8837    290 |     1143 |        6
1734.09/1734.64	c 1726s |      21 |  1634190 |  1232245 |     8837    290 |     1143 |        6
1736.19/1736.73	c 1728s |      21 |  1635875 |  1233445 |     8837    290 |     1143 |        6
1738.19/1738.78	c 1730s |      21 |  1637413 |  1234545 |     8837    291 |     1143 |        6
1740.29/1740.84	c 1732s |      21 |  1639567 |  1236045 |     8837    291 |     1143 |        6
1742.39/1742.92	c 1734s |      21 |  1641562 |  1237445 |     8837    291 |     1143 |        6
1744.39/1744.98	c 1736s |      21 |  1643475 |  1238745 |     8837    292 |     1143 |        6
1746.59/1747.11	c 1738s |      21 |  1645101 |  1239845 |     8837    292 |     1143 |        6
1748.60/1749.20	c 1740s |      21 |  1646525 |  1240945 |     8837    292 |     1143 |        6
1750.69/1751.21	c 1742s |      21 |  1648135 |  1241945 |     8837    292 |     1143 |        6
1752.69/1753.28	c 1744s |      21 |  1649922 |  1243245 |     8837    292 |     1143 |        6
1754.79/1755.38	c 1747s |      21 |  1651606 |  1244445 |     8837    293 |     1143 |        6
1756.79/1757.38	c 1749s |      21 |  1653092 |  1245545 |     8837    293 |     1143 |        6
1758.89/1759.45	c 1751s |      21 |  1655033 |  1246845 |     8837    293 |     1143 |        6
1760.89/1761.49	c 1753s |      21 |  1657016 |  1248245 |     8837    293 |     1143 |        6
1763.00/1763.54	c 1755s |      21 |  1658584 |  1249445 |     8837    294 |     1143 |        6
1764.99/1765.57	c 1757s |      21 |  1660501 |  1250645 |     8837    294 |     1143 |        6
1766.99/1767.58	c 1759s |      21 |  1661739 |  1251445 |     8837    294 |     1143 |        6
1768.99/1769.59	c 1761s |      21 |  1663686 |  1252745 |     8837    294 |     1143 |        6
1771.29/1771.84	c 1763s |      21 |  1665414 |  1254045 |     8837    295 |     1143 |        6
1773.29/1773.85	c 1765s |      21 |  1667180 |  1255345 |     8837    295 |     1143 |        6
1775.29/1775.89	c 1767s |      21 |  1669004 |  1256645 |     8837    295 |     1143 |        6
1777.38/1777.90	c 1769s |      21 |  1670625 |  1257845 |     8837    295 |     1143 |        6
1779.39/1779.94	c 1771s |      21 |  1672164 |  1259045 |     8837    295 |     1143 |        6
1781.48/1782.06	c 1773s |      21 |  1673672 |  1260145 |     8837    296 |     1143 |        6
1783.58/1784.18	c 1775s |      21 |  1675809 |  1261645 |     8837    296 |     1143 |        6
1785.68/1786.22	c 1777s |      21 |  1677504 |  1262945 |     8837    296 |     1143 |        6
1787.78/1788.37	c 1780s |      21 |  1679587 |  1264245 |     8837    296 |     1143 |        6
1789.88/1790.42	c 1782s |      21 |  1681650 |  1265545 |     8837    297 |     1143 |        6
1791.98/1792.51	c 1784s |      21 |  1683556 |  1266845 |     8837    297 |     1143 |        6
1793.98/1794.54	c 1786s |      21 |  1685383 |  1268045 |     8837    297 |     1143 |        6
1796.08/1796.69	c 1788s |      21 |  1687198 |  1269345 |     8837    297 |     1143 |        6
1798.19/1798.74	c 1790s |      21 |  1688763 |  1270445 |     8837    298 |     1143 |        6

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

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

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


[startup+0 s]
/proc/loadavg: 2.19 2.20 2.18 3/178 6029
/proc/meminfo: memFree=28912304/32872528 swapFree=17888/1798212
[pid=6029] ppid=6026 vsize=624196 CPUtime=0 cores=0,2,4,6
/proc/6029/stat : 6029 (toysat) R 6026 6029 579 0 -1 4202496 2311 0 0 0 0 0 0 0 20 0 4 0 25810520 639176704 3182 33554432000 4194304 16246674 140737246329328 140737246328424 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6029/statm: 156817 3192 442 2943 0 153711 0
[pid=6029/tid=6030] ppid=6026 vsize=642628 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6030/stat : 6030 (toysat) S 6026 6029 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25810520 658051072 3250 33554432000 4194304 16246674 140737246329328 140101650722032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6029/tid=6031] ppid=6026 vsize=646724 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6031/stat : 6031 (toysat) S 6026 6029 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25810520 662245376 3267 33554432000 4194304 16246674 140737246329328 140101564738800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6029/tid=6032] ppid=6026 vsize=650820 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6032/stat : 6032 (toysat) S 6026 6029 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25810520 666439680 3285 33554432000 4194304 16246674 140737246329328 140101554265264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.19 2.20 2.18 3/178 6029
/proc/meminfo: memFree=28912304/32872528 swapFree=17888/1798212
[pid=6029] ppid=6026 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/6029/stat : 6029 (toysat) R 6026 6029 579 0 -1 4202496 30079 0 0 0 5 4 0 0 20 0 4 0 25810520 1249447936 30888 33554432000 4194304 16246674 140737246329328 140737246328640 12429797 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6029/statm: 305041 30895 832 2943 0 301935 0
[pid=6029/tid=6030] ppid=6026 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6030/stat : 6030 (toysat) S 6026 6029 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25810520 1249447936 30900 33554432000 4194304 16246674 140737246329328 140101650722032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6029/tid=6031] ppid=6026 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6031/stat : 6031 (toysat) S 6026 6029 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25810520 1249447936 30907 33554432000 4194304 16246674 140737246329328 140101564738800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6029/tid=6032] ppid=6026 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6032/stat : 6032 (toysat) S 6026 6029 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25810520 1249447936 30912 33554432000 4194304 16246674 140737246329328 140101554265264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.20051 s]
/proc/loadavg: 2.19 2.20 2.18 3/178 6029
/proc/meminfo: memFree=28912304/32872528 swapFree=17888/1798212
[pid=6029] ppid=6026 vsize=1220164 CPUtime=0.19 cores=0,2,4,6
/proc/6029/stat : 6029 (toysat) R 6026 6029 579 0 -1 4202496 58620 0 0 0 11 8 0 0 20 0 4 0 25810520 1249447936 59430 33554432000 4194304 16246674 140737246329328 140737246328640 12449399 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6029/statm: 305041 59444 835 2943 0 301935 0
[pid=6029/tid=6030] ppid=6026 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6030/stat : 6030 (toysat) S 6026 6029 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25810520 1249447936 59452 33554432000 4194304 16246674 140737246329328 140101650722032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6029/tid=6031] ppid=6026 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6031/stat : 6031 (toysat) S 6026 6029 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25810520 1249447936 59461 33554432000 4194304 16246674 140737246329328 140101564738800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6029/tid=6032] ppid=6026 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6032/stat : 6032 (toysat) S 6026 6029 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25810520 1249447936 59470 33554432000 4194304 16246674 140737246329328 140101554265264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1220164

[startup+0.300476 s]
/proc/loadavg: 2.19 2.20 2.18 3/178 6029
/proc/meminfo: memFree=28912304/32872528 swapFree=17888/1798212
[pid=6029] ppid=6026 vsize=1220164 CPUtime=0.29 cores=0,2,4,6
/proc/6029/stat : 6029 (toysat) R 6026 6029 579 0 -1 4202496 80786 0 0 0 18 11 0 0 20 0 4 0 25810520 1249447936 81595 33554432000 4194304 16246674 140737246329328 140737246328640 12371445 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6029/statm: 305041 81607 835 2943 0 301935 0
[pid=6029/tid=6030] ppid=6026 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6030/stat : 6030 (toysat) S 6026 6029 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25810520 1249447936 81614 33554432000 4194304 16246674 140737246329328 140101650722032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6029/tid=6031] ppid=6026 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6031/stat : 6031 (toysat) S 6026 6029 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25810520 1249447936 81621 33554432000 4194304 16246674 140737246329328 140101564738800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6029/tid=6032] ppid=6026 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6032/stat : 6032 (toysat) S 6026 6029 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25810520 1249447936 81629 33554432000 4194304 16246674 140737246329328 140101554265264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1220164

[startup+0.700389 s]
/proc/loadavg: 2.19 2.20 2.18 3/178 6029
/proc/meminfo: memFree=28912304/32872528 swapFree=17888/1798212
[pid=6029] ppid=6026 vsize=1220164 CPUtime=0.69 cores=0,2,4,6
/proc/6029/stat : 6029 (toysat) R 6026 6029 579 0 -1 4202496 174879 0 0 0 46 23 0 0 20 0 4 0 25810520 1249447936 175688 33554432000 4194304 16246674 140737246329328 140737246311232 12429797 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6029/statm: 305041 175694 835 2943 0 301935 0
[pid=6029/tid=6030] ppid=6026 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6030/stat : 6030 (toysat) S 6026 6029 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25810520 1249447936 175698 33554432000 4194304 16246674 140737246329328 140101650722032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6029/tid=6031] ppid=6026 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6031/stat : 6031 (toysat) S 6026 6029 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25810520 1249447936 175702 33554432000 4194304 16246674 140737246329328 140101564738800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6029/tid=6032] ppid=6026 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6032/stat : 6032 (toysat) S 6026 6029 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25810520 1249447936 175706 33554432000 4194304 16246674 140737246329328 140101554265264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1220164

[startup+1.5004 s]
/proc/loadavg: 2.19 2.20 2.18 3/182 6033
/proc/meminfo: memFree=27829012/32872528 swapFree=17888/1798212
[pid=6029] ppid=6026 vsize=1408580 CPUtime=1.49 cores=0,2,4,6
/proc/6029/stat : 6029 (toysat) R 6026 6029 579 0 -1 4202496 293125 0 0 0 110 39 0 0 20 0 4 0 25810520 1442385920 293934 33554432000 4194304 16246674 140737246329328 140737246311232 12653056 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6029/statm: 352145 293934 836 2943 0 349039 0
[pid=6029/tid=6030] ppid=6026 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6030/stat : 6030 (toysat) S 6026 6029 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25810520 1442385920 293934 33554432000 4194304 16246674 140737246329328 140101650722032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6029/tid=6031] ppid=6026 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6031/stat : 6031 (toysat) S 6026 6029 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25810520 1442385920 293934 33554432000 4194304 16246674 140737246329328 140101564738800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6029/tid=6032] ppid=6026 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6032/stat : 6032 (toysat) S 6026 6029 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25810520 1442385920 293934 33554432000 4194304 16246674 140737246329328 140101554265264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1408580

[startup+3.1004 s]
/proc/loadavg: 2.09 2.18 2.17 3/182 6033
/proc/meminfo: memFree=27736388/32872528 swapFree=17888/1798212
[pid=6029] ppid=6026 vsize=1408580 CPUtime=3.09 cores=0,2,4,6
/proc/6029/stat : 6029 (toysat) R 6026 6029 579 0 -1 4202496 293278 0 0 0 270 39 0 0 20 0 4 0 25810520 1442385920 294087 33554432000 4194304 16246674 140737246329328 140737246328544 4220986 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6029/statm: 352145 294087 836 2943 0 349039 0
[pid=6029/tid=6030] ppid=6026 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6030/stat : 6030 (toysat) S 6026 6029 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25810520 1442385920 294087 33554432000 4194304 16246674 140737246329328 140101650722032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6029/tid=6031] ppid=6026 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6031/stat : 6031 (toysat) S 6026 6029 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25810520 1442385920 294087 33554432000 4194304 16246674 140737246329328 140101564738800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6029/tid=6032] ppid=6026 vsize=1408580 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6032/stat : 6032 (toysat) S 6026 6029 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25810520 1442385920 294087 33554432000 4194304 16246674 140737246329328 140101554265264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1408580

[startup+6.30039 s]
/proc/loadavg: 2.09 2.18 2.17 4/182 6033
/proc/meminfo: memFree=27715184/32872528 swapFree=17888/1798212
[pid=6029] ppid=6026 vsize=1430084 CPUtime=6.29 cores=0,2,4,6
/proc/6029/stat : 6029 (toysat) R 6026 6029 579 0 -1 4202496 298655 0 0 0 589 40 0 0 20 0 4 0 25810520 1464406016 299464 33554432000 4194304 16246674 140737246329328 140737246328640 4220871 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6029/statm: 357521 299464 837 2943 0 354415 0
[pid=6029/tid=6030] ppid=6026 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6030/stat : 6030 (toysat) S 6026 6029 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25810520 1464406016 299464 33554432000 4194304 16246674 140737246329328 140101650722032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6029/tid=6031] ppid=6026 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6031/stat : 6031 (toysat) S 6026 6029 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25810520 1464406016 299464 33554432000 4194304 16246674 140737246329328 140101564738800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6029/tid=6032] ppid=6026 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6032/stat : 6032 (toysat) S 6026 6029 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25810520 1464406016 299464 33554432000 4194304 16246674 140737246329328 140101554265264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1430084

[startup+12.7004 s]
/proc/loadavg: 2.08 2.17 2.17 3/183 6034
/proc/meminfo: memFree=27714812/32872528 swapFree=17888/1798212
[pid=6029] ppid=6026 vsize=1430084 CPUtime=12.69 cores=0,2,4,6
/proc/6029/stat : 6029 (toysat) R 6026 6029 579 0 -1 4202496 298714 0 0 0 1229 40 0 0 20 0 4 0 25810520 1464406016 299523 33554432000 4194304 16246674 140737246329328 140737246311232 5711680 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6029/statm: 357521 299523 896 2943 0 354415 0
[pid=6029/tid=6030] ppid=6026 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6030/stat : 6030 (toysat) S 6026 6029 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25810520 1464406016 299523 33554432000 4194304 16246674 140737246329328 140101650722032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6029/tid=6031] ppid=6026 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6031/stat : 6031 (toysat) S 6026 6029 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25810520 1464406016 299523 33554432000 4194304 16246674 140737246329328 140101564738800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6029/tid=6032] ppid=6026 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6032/stat : 6032 (toysat) S 6026 6029 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25810520 1464406016 299523 33554432000 4194304 16246674 140737246329328 140101554265264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1430084

[startup+25.5074 s]
/proc/loadavg: 2.14 2.18 2.17 4/183 6034
/proc/meminfo: memFree=27715008/32872528 swapFree=17888/1798212
[pid=6029] ppid=6026 vsize=1430084 CPUtime=25.49 cores=0,2,4,6
/proc/6029/stat : 6029 (toysat) R 6026 6029 579 0 -1 4202496 298718 0 0 0 2509 40 0 0 20 0 4 0 25810520 1464406016 299527 33554432000 4194304 16246674 140737246329328 140737246311232 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6029/statm: 357521 299527 900 2943 0 354415 0
[pid=6029/tid=6030] ppid=6026 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6030/stat : 6030 (toysat) S 6026 6029 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25810520 1464406016 299527 33554432000 4194304 16246674 140737246329328 140101650722032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6029/tid=6031] ppid=6026 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6031/stat : 6031 (toysat) S 6026 6029 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25810520 1464406016 299527 33554432000 4194304 16246674 140737246329328 140101564738800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6029/tid=6032] ppid=6026 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6032/stat : 6032 (toysat) S 6026 6029 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25810520 1464406016 299527 33554432000 4194304 16246674 140737246329328 140101554265264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1430084

[startup+51.1004 s]
/proc/loadavg: 2.16 2.18 2.17 4/183 6034
/proc/meminfo: memFree=27714864/32872528 swapFree=17888/1798212
[pid=6029] ppid=6026 vsize=1430084 CPUtime=51.08 cores=0,2,4,6
/proc/6029/stat : 6029 (toysat) R 6026 6029 579 0 -1 4202496 298719 0 0 0 5068 40 0 0 20 0 4 0 25810520 1464406016 299528 33554432000 4194304 16246674 140737246329328 140737246311232 5808585 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6029/statm: 357521 299528 901 2943 0 354415 0
[pid=6029/tid=6030] ppid=6026 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6030/stat : 6030 (toysat) S 6026 6029 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25810520 1464406016 299528 33554432000 4194304 16246674 140737246329328 140101650722032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6029/tid=6031] ppid=6026 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6031/stat : 6031 (toysat) S 6026 6029 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25810520 1464406016 299528 33554432000 4194304 16246674 140737246329328 140101564738800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6029/tid=6032] ppid=6026 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6032/stat : 6032 (toysat) S 6026 6029 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25810520 1464406016 299528 33554432000 4194304 16246674 140737246329328 140101554265264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1430084

[startup+102.3 s]
/proc/loadavg: 2.24 2.20 2.18 3/183 6035
/proc/meminfo: memFree=27713912/32872528 swapFree=17888/1798212
[pid=6029] ppid=6026 vsize=1430084 CPUtime=102.28 cores=0,2,4,6
/proc/6029/stat : 6029 (toysat) R 6026 6029 579 0 -1 4202496 298719 0 0 0 10187 41 0 0 20 0 4 0 25810520 1464406016 299528 33554432000 4194304 16246674 140737246329328 140737246311232 5712698 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6029/statm: 357521 299528 901 2943 0 354415 0
[pid=6029/tid=6030] ppid=6026 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6030/stat : 6030 (toysat) S 6026 6029 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25810520 1464406016 299528 33554432000 4194304 16246674 140737246329328 140101650722032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6029/tid=6031] ppid=6026 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6031/stat : 6031 (toysat) S 6026 6029 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25810520 1464406016 299528 33554432000 4194304 16246674 140737246329328 140101564738800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6029/tid=6032] ppid=6026 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6032/stat : 6032 (toysat) S 6026 6029 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25810520 1464406016 299528 33554432000 4194304 16246674 140737246329328 140101554265264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1430084


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

/proc/6029/task/6032/stat : 6032 (toysat) S 6026 6029 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25810520 1464406016 299532 33554432000 4194304 16246674 140737246329328 140101554265264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1430084

[startup+1362.3 s]
/proc/loadavg: 2.31 2.32 2.27 3/183 6211
/proc/meminfo: memFree=19902244/32872528 swapFree=17888/1798212
[pid=6029] ppid=6026 vsize=1430084 CPUtime=1361.85 cores=0,2,4,6
/proc/6029/stat : 6029 (toysat) R 6026 6029 579 0 -1 4202496 299103 0 0 0 136136 49 0 0 20 0 4 0 25810520 1464406016 299532 33554432000 4194304 16246674 140737246329328 140737246311232 5711980 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6029/statm: 357521 299532 902 2943 0 354415 0
[pid=6029/tid=6030] ppid=6026 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6030/stat : 6030 (toysat) S 6026 6029 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25810520 1464406016 299532 33554432000 4194304 16246674 140737246329328 140101650722032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6029/tid=6031] ppid=6026 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6031/stat : 6031 (toysat) S 6026 6029 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25810520 1464406016 299532 33554432000 4194304 16246674 140737246329328 140101564738800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6029/tid=6032] ppid=6026 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6032/stat : 6032 (toysat) S 6026 6029 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25810520 1464406016 299532 33554432000 4194304 16246674 140737246329328 140101554265264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1430084

[startup+1422.3 s]
/proc/loadavg: 2.39 2.34 2.28 3/183 6212
/proc/meminfo: memFree=15556776/32872528 swapFree=17888/1798212
[pid=6029] ppid=6026 vsize=1430084 CPUtime=1421.84 cores=0,2,4,6
/proc/6029/stat : 6029 (toysat) R 6026 6029 579 0 -1 4202496 299103 0 0 0 142134 50 0 0 20 0 4 0 25810520 1464406016 299532 33554432000 4194304 16246674 140737246329328 140737246327360 5712760 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6029/statm: 357521 299532 902 2943 0 354415 0
[pid=6029/tid=6030] ppid=6026 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6030/stat : 6030 (toysat) S 6026 6029 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25810520 1464406016 299532 33554432000 4194304 16246674 140737246329328 140101650722032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6029/tid=6031] ppid=6026 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6031/stat : 6031 (toysat) S 6026 6029 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25810520 1464406016 299532 33554432000 4194304 16246674 140737246329328 140101564738800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6029/tid=6032] ppid=6026 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6032/stat : 6032 (toysat) S 6026 6029 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25810520 1464406016 299532 33554432000 4194304 16246674 140737246329328 140101554265264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1430084

[startup+1482.3 s]
/proc/loadavg: 2.40 2.36 2.28 3/183 6214
/proc/meminfo: memFree=13613712/32872528 swapFree=17888/1798212
[pid=6029] ppid=6026 vsize=1430084 CPUtime=1481.83 cores=0,2,4,6
/proc/6029/stat : 6029 (toysat) R 6026 6029 579 0 -1 4202496 299103 0 0 0 148133 50 0 0 20 0 4 0 25810520 1464406016 299532 33554432000 4194304 16246674 140737246329328 140737246311232 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6029/statm: 357521 299532 902 2943 0 354415 0
[pid=6029/tid=6030] ppid=6026 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6030/stat : 6030 (toysat) S 6026 6029 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25810520 1464406016 299532 33554432000 4194304 16246674 140737246329328 140101650722032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6029/tid=6031] ppid=6026 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6031/stat : 6031 (toysat) S 6026 6029 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25810520 1464406016 299532 33554432000 4194304 16246674 140737246329328 140101564738800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6029/tid=6032] ppid=6026 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6032/stat : 6032 (toysat) S 6026 6029 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25810520 1464406016 299532 33554432000 4194304 16246674 140737246329328 140101554265264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1430084

[startup+1542.3 s]
/proc/loadavg: 2.29 2.33 2.28 3/183 6264
/proc/meminfo: memFree=20611964/32872528 swapFree=17888/1798212
[pid=6029] ppid=6026 vsize=1430084 CPUtime=1541.83 cores=0,2,4,6
/proc/6029/stat : 6029 (toysat) R 6026 6029 579 0 -1 4202496 299103 0 0 0 154132 51 0 0 20 0 4 0 25810520 1464406016 299532 33554432000 4194304 16246674 140737246329328 140737246311232 6020485 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6029/statm: 357521 299532 902 2943 0 354415 0
[pid=6029/tid=6030] ppid=6026 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6030/stat : 6030 (toysat) S 6026 6029 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25810520 1464406016 299532 33554432000 4194304 16246674 140737246329328 140101650722032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6029/tid=6031] ppid=6026 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6031/stat : 6031 (toysat) S 6026 6029 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25810520 1464406016 299532 33554432000 4194304 16246674 140737246329328 140101564738800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6029/tid=6032] ppid=6026 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6032/stat : 6032 (toysat) S 6026 6029 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25810520 1464406016 299532 33554432000 4194304 16246674 140737246329328 140101554265264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1430084

[startup+1602.3 s]
/proc/loadavg: 2.43 2.35 2.28 3/184 6268
/proc/meminfo: memFree=16807096/32872528 swapFree=17888/1798212
[pid=6029] ppid=6026 vsize=1430084 CPUtime=1601.81 cores=0,2,4,6
/proc/6029/stat : 6029 (toysat) R 6026 6029 579 0 -1 4202496 299103 0 0 0 160130 51 0 0 20 0 4 0 25810520 1464406016 299532 33554432000 4194304 16246674 140737246329328 140737246311232 13760224 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6029/statm: 357521 299532 902 2943 0 354415 0
[pid=6029/tid=6030] ppid=6026 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6030/stat : 6030 (toysat) S 6026 6029 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25810520 1464406016 299532 33554432000 4194304 16246674 140737246329328 140101650722032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6029/tid=6031] ppid=6026 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6031/stat : 6031 (toysat) S 6026 6029 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25810520 1464406016 299532 33554432000 4194304 16246674 140737246329328 140101564738800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6029/tid=6032] ppid=6026 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6032/stat : 6032 (toysat) S 6026 6029 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25810520 1464406016 299532 33554432000 4194304 16246674 140737246329328 140101554265264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1430084

[startup+1662.31 s]
/proc/loadavg: 2.32 2.33 2.27 3/183 6269
/proc/meminfo: memFree=19865728/32872528 swapFree=17888/1798212
[pid=6029] ppid=6026 vsize=1430084 CPUtime=1661.81 cores=0,2,4,6
/proc/6029/stat : 6029 (toysat) R 6026 6029 579 0 -1 4202496 299103 0 0 0 166129 52 0 0 20 0 4 0 25810520 1464406016 299532 33554432000 4194304 16246674 140737246329328 140737246311232 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6029/statm: 357521 299532 902 2943 0 354415 0
[pid=6029/tid=6030] ppid=6026 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6030/stat : 6030 (toysat) S 6026 6029 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25810520 1464406016 299532 33554432000 4194304 16246674 140737246329328 140101650722032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6029/tid=6031] ppid=6026 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6031/stat : 6031 (toysat) S 6026 6029 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25810520 1464406016 299532 33554432000 4194304 16246674 140737246329328 140101564738800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6029/tid=6032] ppid=6026 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6032/stat : 6032 (toysat) S 6026 6029 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25810520 1464406016 299532 33554432000 4194304 16246674 140737246329328 140101554265264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1430084

[startup+1722.3 s]
/proc/loadavg: 2.18 2.29 2.26 3/183 6270
/proc/meminfo: memFree=14945584/32872528 swapFree=17888/1798212
[pid=6029] ppid=6026 vsize=1430084 CPUtime=1721.79 cores=0,2,4,6
/proc/6029/stat : 6029 (toysat) R 6026 6029 579 0 -1 4202496 299103 0 0 0 172127 52 0 0 20 0 4 0 25810520 1464406016 299532 33554432000 4194304 16246674 140737246329328 140737246328504 5721677 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6029/statm: 357521 299532 902 2943 0 354415 0
[pid=6029/tid=6030] ppid=6026 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6030/stat : 6030 (toysat) S 6026 6029 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25810520 1464406016 299532 33554432000 4194304 16246674 140737246329328 140101650722032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6029/tid=6031] ppid=6026 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6031/stat : 6031 (toysat) S 6026 6029 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25810520 1464406016 299532 33554432000 4194304 16246674 140737246329328 140101564738800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6029/tid=6032] ppid=6026 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6032/stat : 6032 (toysat) S 6026 6029 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25810520 1464406016 299532 33554432000 4194304 16246674 140737246329328 140101554265264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1430084

[startup+1782.3 s]
/proc/loadavg: 2.17 2.26 2.25 3/183 6321
/proc/meminfo: memFree=27308456/32872528 swapFree=17888/1798212
[pid=6029] ppid=6026 vsize=1430084 CPUtime=1781.78 cores=0,2,4,6
/proc/6029/stat : 6029 (toysat) R 6026 6029 579 0 -1 4202496 299103 0 0 0 178125 53 0 0 20 0 4 0 25810520 1464406016 299532 33554432000 4194304 16246674 140737246329328 140737246311232 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6029/statm: 357521 299532 902 2943 0 354415 0
[pid=6029/tid=6030] ppid=6026 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6030/stat : 6030 (toysat) S 6026 6029 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25810520 1464406016 299532 33554432000 4194304 16246674 140737246329328 140101650722032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6029/tid=6031] ppid=6026 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6031/stat : 6031 (toysat) S 6026 6029 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25810520 1464406016 299532 33554432000 4194304 16246674 140737246329328 140101564738800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6029/tid=6032] ppid=6026 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6032/stat : 6032 (toysat) S 6026 6029 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25810520 1464406016 299532 33554432000 4194304 16246674 140737246329328 140101554265264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1430084



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.20 2.26 2.26 3/183 6321
/proc/meminfo: memFree=24033280/32872528 swapFree=17888/1798212
[pid=6029] ppid=6026 vsize=1430084 CPUtime=1800.08 cores=0,2,4,6
/proc/6029/stat : 6029 (toysat) R 6026 6029 579 0 -1 4202496 299103 0 0 0 179955 53 0 0 20 0 4 0 25810520 1464406016 299532 33554432000 4194304 16246674 140737246329328 140737246311232 5721677 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6029/statm: 357521 299532 902 2943 0 354415 0
[pid=6029/tid=6030] ppid=6026 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6030/stat : 6030 (toysat) S 6026 6029 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25810520 1464406016 299532 33554432000 4194304 16246674 140737246329328 140101650722032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6029/tid=6031] ppid=6026 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6031/stat : 6031 (toysat) S 6026 6029 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25810520 1464406016 299532 33554432000 4194304 16246674 140737246329328 140101564738800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6029/tid=6032] ppid=6026 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6032/stat : 6032 (toysat) S 6026 6029 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25810520 1464406016 299532 33554432000 4194304 16246674 140737246329328 140101554265264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1430084

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

[startup+1800.6 s]
/proc/loadavg: 2.20 2.26 2.26 3/183 6321
/proc/meminfo: memFree=24033280/32872528 swapFree=17888/1798212
[pid=6029] ppid=6026 vsize=1430084 CPUtime=1800.08 cores=0,2,4,6
/proc/6029/stat : 6029 (toysat) R 6026 6029 579 0 -1 4202496 299103 0 0 0 179955 53 0 0 20 0 4 0 25810520 1464406016 299532 33554432000 4194304 16246674 140737246329328 140737246311232 5721677 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6029/statm: 357521 299532 902 2943 0 354415 0
[pid=6029/tid=6030] ppid=6026 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6030/stat : 6030 (toysat) S 6026 6029 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25810520 1464406016 299532 33554432000 4194304 16246674 140737246329328 140101650722032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6029/tid=6031] ppid=6026 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6031/stat : 6031 (toysat) S 6026 6029 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25810520 1464406016 299532 33554432000 4194304 16246674 140737246329328 140101564738800 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6029/tid=6032] ppid=6026 vsize=1430084 CPUtime=0 cores=0,2,4,6
/proc/6029/task/6032/stat : 6032 (toysat) S 6026 6029 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25810520 1464406016 299532 33554432000 4194304 16246674 140737246329328 140101554265264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1430084

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.09
CPU user time (s): 1799.56
CPU system time (s): 0.533918
CPU usage (%): 99.9714
Max. virtual memory (cumulated for all children) (KiB): 1430084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.533918
maximum resident set size= 1198128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 299103
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= 423
involuntary context switches= 1842

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.64729 second user time and 6.94294 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-18 10:13:54
IDJOB=4103521
IDBENCH=2384
IDSOLVER=2542
FILE ID=node123/4103521-1466237634
RUNJOBID= node123-1466206081-595
PBS_JOBID= 19918154
Free space on /tmp= 71620 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-boeing2.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103521-1466237634/watcher-4103521-1466237634 -o /tmp/evaluation-result-4103521-1466237634/solver-4103521-1466237634 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466206081-595 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103521-1466237634.opb

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

MD5SUM BENCH= 5e2e92f5cdf687685f560235d961ce1c
RANDOM SEED=53487106

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
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:        28912460 kB
Buffers:          115880 kB
Cached:           165080 kB
SwapCached:         1640 kB
Active:          1238448 kB
Inactive:         182244 kB
Active(anon):    1139284 kB
Inactive(anon):     2916 kB
Active(file):      99164 kB
Inactive(file):   179328 kB
Unevictable:     1798212 kB
Mlocked:           17888 kB
SwapTotal:      67108856 kB
SwapFree:       67099316 kB
Dirty:             16720 kB
Writeback:             0 kB
AnonPages:       2937380 kB
Mapped:             9924 kB
Shmem:                 0 kB
Slab:             603512 kB
SReclaimable:      47572 kB
SUnreclaim:       555940 kB
KernelStack:        1488 kB
PageTables:         9912 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3080560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2021376 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= 71604 MiB
End job on node123 at 2016-06-18 10:43:55