Trace number 4100633

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.05 1800.51

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-adlittle.opb
MD5SUM6a8d837851671f69c34bdd14861bc7ba
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark1800.79
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
Optimality of the best value was proved NO
Number of variables2910
Total number of constraints56
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 constraints56
Minimum length of a constraint30
Maximum length of a constraint810
Number of terms in the objective function 2460
Biggest coefficient in the objective function 12627
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 526152
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 526152
Number of bits of the biggest sum of numbers20
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-18T04:06:38+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-4100633-1466215598.opb"]
0.00/0.01	c use --random-gen="2621137825 2958464226 1596297647 3888083601 1691645485 2206097215 3479071286 3122516106 4228315836 2076622375 3932935998 804922203 626836799 1653006304 181759674 997677590 2419843254 3145573668 2142762511 2091168915 2811613291 3466276366 3510789825 606178316 3566408679 3239139574 2325855938 1095972069 1509216263 267553699 277700578 3766063873 2189226264 3139463740 2463442078 3658233984 347182023 707910546 1607827124 4257548647 3475468899 1651559189 271520482 781342552 3965229766 2418574542 1250100345 2962277351 299538633 2270851567 3689119073 4195532481 1252468971 3302404497 903162202 2847477028 3640525759 1317978427 1119991444 3935989808 3983153077 1831158383 1359135655 184579186 3577550651 1104802972 1728243637 1921799494 2667502610 253040891 2137265054 901949884 2988738296 140741254 3250543840 1432591605 2539684397 3240436702 594855915 566709645 938886359 1563844601 1056647227 1223497636 1388857503 4240307204 1412685929 42944689 1247889221 2061202863 944091010 4023226070 1905498332 3893719731 3688539396 4048518501 2955067554 396043398 1309089885 2799321582 4218613452 3083869868 3073224855 1267657255 3951072226 3846540463 793334760 3159367002 3754634612 249994904 138492038 2293883971 2273584027 3085273575 3237424875 4047161318 3553314106 3914380989 3278856485 1775270448 3553042816 838013666 1351890654 1586602743 102915693 4217127263 2246883430 3541498114 2881102959 1043756415 650545148 4262736947 3007527713 753232696 2342108632 1703277823 1897096091 2923528502 2194291528 257268319 2786594101 2432482135 858926444 2520876373 317811545 4245594580 3655229976 2797266502 3171791309 1116063194 1412679295 2349615584 515743392 2984784050 2366710414 3724006970 2655067770 3687044222 2052253972 564787564 3521016078 4054889411 3418586667 2157540381 3308572211 3075341166 918544371 1211783971 3212502776 1527534502 4164401666 3751317688 2783096765 109749377 571888395 803918947 2215914252 1201995081 907748827 782271654 1834032198 4199689136 910151875 306381122 3346420212 2746844863 2522821230 653285449 1583786918 1112117080 3203676570 73958911 3044812786 302302005 1176408771 1642649703 495952569 3414747040 2771750490 1458812375 822159502 893579082 2914070989 1752600064 3560913007 2671778149 1536883070 2353552449 1410518968 1805944347 3356570446 2539902627 270820975 3493588880 3768234786 1300280477 3201804764 993300144 1572835059 2614746164 888895393 280245866 2517795671 4104986469 3869900846 2368782849 381222215 890086036 3832956115 668423261 2412822570 2572410883 4198206233 1702714416 438298298 594564579 3413474277 455910407 1341074560 2735243620 3815007786 851666316 859963202 577075728 1133959398 3710634597 2359642417 1149580177 317102396 704867346 2786696040 1424778135 611974782 219544882 4164226875 3400430243 255 362436" option to reproduce the execution
0.00/0.04	c #vars 2910
0.00/0.04	c #constraints 56
0.08/0.11	c BCD2: Hardening is enabled.
0.08/0.11	c BCD2: BiasedSearch is enabled.
0.08/0.11	c Solving starts ...
0.08/0.11	c ============================[ Search Statistics ]============================
0.08/0.11	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.11	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.11	c =============================================================================
0.08/0.11	c  0.0s |       0 |        0 |        0 |      993      0 |     1489 |        0
0.08/0.13	c  0.0s |       1 |      199 |      100 |      993      0 |     1489 |        3
0.08/0.18	c  0.1s |       2 |      414 |      250 |     1093      0 |     1489 |        3
0.19/0.25	c  0.1s |       3 |      690 |      475 |     1203      0 |     1489 |        3
0.28/0.39	c  0.3s |       4 |     1089 |      813 |     1324      0 |     1489 |        3
0.59/0.61	c  0.5s |       5 |     1669 |     1320 |     1457      0 |     1489 |        3
0.68/0.90	c  0.8s |       6 |     2503 |     2081 |     1764      0 |     1489 |        3
1.30/1.35	c  1.2s |       7 |     3680 |     3223 |     1941      0 |     1489 |        3
2.48/2.58	c  2.5s |       8 |     5605 |     4936 |     2136      1 |     1489 |        3
4.19/4.23	c  4.1s |       9 |     8444 |     7506 |     2350      2 |     1489 |        3
6.19/6.25	c  6.1s |       9 |    11253 |    10206 |     2350      4 |     1489 |        3
6.99/7.09	c  7.0s |      10 |    12429 |    11361 |     2585      4 |     1489 |        3
9.29/9.31	c  9.2s |      10 |    13400 |    12161 |     2585      4 |     1489 |        3
11.29/11.33	c 11.2s |      10 |    14144 |    12861 |     2585      5 |     1489 |        3
13.30/13.35	c 13.2s |      10 |    15225 |    13761 |     2585      5 |     1489 |        3
15.29/15.39	c 15.3s |      10 |    16134 |    14661 |     2585      5 |     1489 |        3
17.49/17.54	c 17.4s |      10 |    17061 |    15561 |     2585      6 |     1489 |        3
19.59/19.60	c 19.5s |      10 |    17934 |    16461 |     2585      6 |     1489 |        3
21.10/21.19	c 21.1s |      11 |    18641 |    17144 |     2844      6 |     1489 |        3
23.19/23.21	c 23.1s |      11 |    19983 |    18044 |     2844      7 |     1489 |        3
25.29/25.36	c 25.3s |      11 |    21033 |    19044 |     2844      7 |     1489 |        3
27.29/27.39	c 27.3s |      11 |    21815 |    19844 |     2844      8 |     1489 |        3
29.49/29.50	c 29.4s |      11 |    22928 |    20844 |     2844      8 |     1489 |        3
31.49/31.59	c 31.5s |      11 |    23901 |    21844 |     2844      8 |     1489 |        3
33.59/33.69	c 33.6s |      11 |    24958 |    22844 |     2844      9 |     1489 |        3
35.68/35.78	c 35.7s |      11 |    26200 |    24044 |     2844      9 |     1489 |        3
37.78/37.85	c 37.7s |      11 |    27202 |    24944 |     2844     10 |     1489 |        3
39.79/39.83	c 39.7s |      12 |    28188 |    25819 |     3129     10 |     1489 |        3
41.99/42.04	c 41.9s |      12 |    29235 |    26719 |     3129     10 |     1489 |        3
43.98/44.09	c 44.0s |      12 |    30181 |    27619 |     3129     11 |     1489 |        3
46.08/46.16	c 46.1s |      12 |    31236 |    28619 |     3129     11 |     1489 |        3
48.38/48.44	c 48.3s |      12 |    32355 |    29519 |     3129     12 |     1489 |        3
50.58/50.62	c 50.5s |      12 |    33274 |    30419 |     3129     12 |     1489 |        3
52.68/52.78	c 52.7s |      12 |    34264 |    31419 |     3129     12 |     1489 |        3
54.78/54.85	c 54.7s |      12 |    35265 |    32419 |     3129     13 |     1489 |        3
56.88/56.99	c 56.9s |      12 |    36455 |    33519 |     3129     13 |     1489 |        3
58.98/59.00	c 58.9s |      12 |    37384 |    34419 |     3129     13 |     1489 |        3
60.98/61.10	c 61.0s |      12 |    38539 |    35419 |     3129     14 |     1489 |        3
63.08/63.11	c 63.0s |      12 |    39639 |    36419 |     3129     14 |     1489 |        3
65.18/65.21	c 65.1s |      12 |    41393 |    37619 |     3129     15 |     1489 |        3
67.38/67.40	c 67.3s |      12 |    42834 |    38619 |     3442     15 |     1489 |        3
67.88/68.00	c 67.9s |      13 |    43101 |    38832 |     3442     15 |     1489 |        3
70.08/70.13	c 70.0s |      13 |    43958 |    39532 |     3442     15 |     1489 |        3
72.07/72.18	c 72.1s |      13 |    45147 |    40332 |     3442     16 |     1489 |        3
74.27/74.37	c 74.3s |      13 |    46257 |    41232 |     3442     16 |     1489 |        3
76.47/76.55	c 76.4s |      13 |    47345 |    42132 |     3442     16 |     1489 |        3
78.67/78.73	c 78.6s |      13 |    48878 |    43132 |     3442     17 |     1489 |        3
80.67/80.73	c 80.6s |      13 |    50152 |    44132 |     3442     17 |     1489 |        3
82.87/82.94	c 82.8s |      13 |    51812 |    45232 |     3442     18 |     1489 |        3
84.88/84.97	c 84.9s |      13 |    53265 |    46332 |     3442     18 |     1489 |        3
86.98/87.07	c 87.0s |      13 |    54687 |    47332 |     3442     18 |     1489 |        3
89.07/89.15	c 89.0s |      13 |    56232 |    48432 |     3442     19 |     1489 |        3
91.07/91.15	c 91.0s |      13 |    57223 |    49332 |     3442     19 |     1489 |        3
93.27/93.30	c 93.2s |      13 |    58383 |    50332 |     3442     19 |     1489 |        3
95.37/95.44	c 95.3s |      13 |    59675 |    51332 |     3442     20 |     1489 |        3
97.37/97.45	c 97.3s |      13 |    60468 |    52032 |     3442     20 |     1489 |        3
99.47/99.54	c 99.4s |      13 |    61237 |    52832 |     3442     20 |     1489 |        3
101.57/101.66	c  101s |      13 |    62180 |    53732 |     3442     21 |     1489 |        3
103.77/103.85	c  103s |      13 |    63189 |    54732 |     3442     21 |     1489 |        3
105.87/105.99	c  105s |      13 |    64705 |    55832 |     3442     22 |     1489 |        3
107.97/108.07	c  107s |      13 |    65709 |    56832 |     3442     22 |     1489 |        3
110.17/110.26	c  110s |      13 |    67310 |    58032 |     3787     22 |     1489 |        3
110.97/111.01	c  110s |      14 |    67624 |    58352 |     3787     22 |     1489 |        3
113.07/113.13	c  113s |      14 |    68717 |    59252 |     3787     23 |     1489 |        3
115.27/115.34	c  115s |      14 |    69734 |    60252 |     3787     23 |     1489 |        3
117.27/117.37	c  117s |      14 |    70725 |    61252 |     3787     23 |     1489 |        3
119.27/119.38	c  119s |      14 |    71732 |    62052 |     3787     24 |     1489 |        3
121.37/121.40	c  121s |      14 |    72520 |    62852 |     3787     24 |     1489 |        3
123.57/123.61	c  123s |      14 |    73459 |    63752 |     3787     24 |     1489 |        3
125.76/125.85	c  125s |      14 |    74462 |    64652 |     3787     25 |     1489 |        3
127.77/127.86	c  127s |      14 |    75312 |    65452 |     3787     25 |     1489 |        3
129.87/129.98	c  129s |      14 |    76222 |    66352 |     3787     25 |     1489 |        3
131.96/132.02	c  131s |      14 |    77136 |    67252 |     3787     26 |     1489 |        3
134.06/134.12	c  134s |      14 |    78429 |    68452 |     3787     26 |     1489 |        3
136.16/136.25	c  136s |      14 |    79813 |    69552 |     3787     26 |     1489 |        3
138.46/138.53	c  138s |      14 |    81308 |    70552 |     3787     27 |     1489 |        3
140.46/140.55	c  140s |      14 |    82405 |    71452 |     3787     27 |     1489 |        3
142.56/142.61	c  142s |      14 |    83280 |    72352 |     3787     27 |     1489 |        3
144.56/144.65	c  144s |      14 |    84447 |    73452 |     3787     28 |     1489 |        3
146.76/146.88	c  146s |      14 |    85527 |    74552 |     3787     28 |     1489 |        3
148.86/148.98	c  148s |      14 |    86423 |    75452 |     3787     29 |     1489 |        3
150.96/151.06	c  150s |      14 |    87522 |    76552 |     3787     29 |     1489 |        3
153.16/153.20	c  153s |      14 |    88722 |    77752 |     3787     29 |     1489 |        3
155.28/155.32	c  155s |      14 |    89952 |    78952 |     3787     30 |     1489 |        3
157.37/157.44	c  157s |      14 |    91388 |    80352 |     3787     30 |     1489 |        3
159.37/159.45	c  159s |      14 |    92683 |    81652 |     3787     31 |     1489 |        3
161.47/161.58	c  161s |      14 |    94037 |    82952 |     3787     31 |     1489 |        3
163.57/163.66	c  163s |      14 |    95362 |    84052 |     3787     32 |     1489 |        3
165.77/165.83	c  165s |      14 |    97195 |    85352 |     3787     32 |     1489 |        3
167.87/167.93	c  167s |      14 |    98178 |    86352 |     3787     32 |     1489 |        3
169.97/170.02	c  169s |      14 |   100000 |    87452 |     4166     33 |     1489 |        3
170.27/170.33	c  170s |      15 |   100214 |    87632 |     4166     33 |     1489 |        3
172.27/172.33	c  172s |      15 |   101150 |    88432 |     4166     33 |     1489 |        3
174.47/174.50	c  174s |      15 |   102087 |    89332 |     4166     33 |     1489 |        3
176.47/176.51	c  176s |      15 |   103388 |    90332 |     4166     34 |     1489 |        3
178.46/178.51	c  178s |      15 |   104110 |    91032 |     4166     34 |     1489 |        3
180.47/180.53	c  180s |      15 |   104891 |    91832 |     4166     34 |     1489 |        3
182.56/182.68	c  182s |      15 |   105875 |    92732 |     4166     35 |     1489 |        3
184.66/184.74	c  184s |      15 |   106679 |    93532 |     4166     35 |     1489 |        3
186.86/186.96	c  186s |      15 |   107973 |    94532 |     4166     35 |     1489 |        3
189.06/189.13	c  189s |      15 |   108978 |    95532 |     4166     35 |     1489 |        3
191.16/191.21	c  191s |      15 |   110252 |    96532 |     4166     36 |     1489 |        3
193.16/193.29	c  193s |      15 |   111286 |    97532 |     4166     36 |     1489 |        3
195.16/195.29	c  195s |      15 |   112577 |    98432 |     4166     36 |     1489 |        3
197.46/197.50	c  197s |      15 |   113514 |    99332 |     4166     37 |     1489 |        3
199.56/199.61	c  199s |      15 |   114470 |   100232 |     4166     37 |     1489 |        3
201.56/201.69	c  201s |      15 |   115540 |   101232 |     4166     37 |     1489 |        3
203.67/203.74	c  203s |      15 |   117415 |   102232 |     4166     38 |     1489 |        3
205.76/205.84	c  205s |      15 |   118414 |   103232 |     4166     38 |     1489 |        3
207.86/207.96	c  207s |      15 |   119578 |   104232 |     4166     38 |     1489 |        3
209.86/209.97	c  209s |      15 |   120527 |   105132 |     4166     39 |     1489 |        3
211.96/212.03	c  211s |      15 |   121581 |   106132 |     4166     39 |     1489 |        3
214.06/214.14	c  214s |      15 |   122726 |   107132 |     4166     39 |     1489 |        3
216.26/216.30	c  216s |      15 |   123807 |   108132 |     4166     40 |     1489 |        3
218.26/218.39	c  218s |      15 |   125208 |   109132 |     4166     40 |     1489 |        3
220.36/220.46	c  220s |      15 |   126204 |   110132 |     4166     40 |     1489 |        3
222.56/222.61	c  222s |      15 |   127283 |   111132 |     4166     41 |     1489 |        3
224.65/224.75	c  224s |      15 |   128343 |   112132 |     4166     41 |     1489 |        3
226.85/226.90	c  226s |      15 |   129451 |   113132 |     4166     41 |     1489 |        3
228.86/228.91	c  228s |      15 |   130347 |   114032 |     4166     42 |     1489 |        3
230.95/231.04	c  230s |      15 |   131760 |   115132 |     4166     42 |     1489 |        3
233.05/233.11	c  232s |      15 |   133016 |   116132 |     4166     42 |     1489 |        3
235.15/235.28	c  235s |      15 |   134099 |   117132 |     4166     43 |     1489 |        3
237.25/237.36	c  237s |      15 |   135093 |   118132 |     4166     43 |     1489 |        3
239.35/239.41	c  239s |      15 |   135942 |   118932 |     4166     43 |     1489 |        3
241.45/241.56	c  241s |      15 |   136817 |   119832 |     4166     44 |     1489 |        3
243.65/243.78	c  243s |      15 |   137843 |   120832 |     4166     44 |     1489 |        3
245.75/245.84	c  245s |      15 |   138887 |   121732 |     4166     44 |     1489 |        3
247.95/248.03	c  247s |      15 |   140044 |   122732 |     4166     45 |     1489 |        3
250.05/250.15	c  250s |      15 |   144445 |   123932 |     4166     45 |     1489 |        3
252.25/252.38	c  252s |      15 |   146891 |   125132 |     4166     45 |     1489 |        3
254.35/254.47	c  254s |      15 |   147920 |   126132 |     4166     46 |     1489 |        3
256.35/256.48	c  256s |      15 |   149126 |   127132 |     4166     46 |     1489 |        3
258.55/258.64	c  258s |      15 |   150022 |   127932 |     4166     46 |     1489 |        3
260.75/260.85	c  260s |      15 |   150924 |   128832 |     4166     47 |     1489 |        3
262.85/262.97	c  262s |      15 |   151993 |   129832 |     4166     47 |     1489 |        3
264.95/265.02	c  264s |      15 |   152771 |   130632 |     4166     47 |     1489 |        3
267.15/267.23	c  267s |      15 |   153678 |   131532 |     4583     47 |     1489 |        3
267.15/267.27	c  267s |      16 |   153715 |   131552 |     4583     47 |     1489 |        3
269.25/269.31	c  269s |      16 |   154815 |   132452 |     4583     48 |     1489 |        3
271.24/271.37	c  271s |      16 |   155818 |   133452 |     4583     48 |     1489 |        3
273.44/273.53	c  273s |      16 |   156635 |   134252 |     4583     48 |     1489 |        3
275.54/275.67	c  275s |      16 |   157512 |   135152 |     4583     49 |     1489 |        3
277.74/277.82	c  277s |      16 |   158675 |   136252 |     4583     49 |     1489 |        3
279.94/280.00	c  279s |      16 |   159852 |   137452 |     4583     49 |     1489 |        3
282.14/282.25	c  282s |      16 |   160545 |   138152 |     4583     49 |     1489 |        3
284.24/284.30	c  284s |      16 |   161195 |   138752 |     4583     50 |     1489 |        3
286.24/286.37	c  286s |      16 |   162190 |   139652 |     4583     50 |     1489 |        3
288.35/288.45	c  288s |      16 |   163219 |   140552 |     4583     50 |     1489 |        3
290.34/290.47	c  290s |      16 |   164148 |   141452 |     4583     50 |     1489 |        3
292.54/292.60	c  292s |      16 |   165488 |   142552 |     4583     51 |     1489 |        3
294.54/294.65	c  294s |      16 |   166488 |   143552 |     4583     51 |     1489 |        3
296.64/296.76	c  296s |      16 |   167641 |   144652 |     4583     51 |     1489 |        3
298.84/298.92	c  298s |      16 |   168599 |   145652 |     4583     52 |     1489 |        3
300.84/300.97	c  300s |      16 |   169602 |   146652 |     4583     52 |     1489 |        3
303.04/303.12	c  303s |      16 |   170496 |   147552 |     4583     52 |     1489 |        3
305.14/305.23	c  305s |      16 |   171203 |   148252 |     4583     53 |     1489 |        3
307.34/307.40	c  307s |      16 |   172108 |   149152 |     4583     53 |     1489 |        3
309.34/309.49	c  309s |      16 |   173023 |   150052 |     4583     53 |     1489 |        3
311.44/311.56	c  311s |      16 |   174235 |   151152 |     4583     54 |     1489 |        3
313.64/313.79	c  313s |      16 |   175421 |   152252 |     4583     54 |     1489 |        3
315.84/315.96	c  315s |      16 |   176300 |   153052 |     4583     54 |     1489 |        3
317.94/318.04	c  317s |      16 |   177009 |   153752 |     4583     54 |     1489 |        3
320.14/320.25	c  320s |      16 |   177809 |   154552 |     4583     55 |     1489 |        3
322.24/322.36	c  322s |      16 |   178728 |   155452 |     4583     55 |     1489 |        3
324.44/324.51	c  324s |      16 |   179633 |   156352 |     4583     55 |     1489 |        3
326.44/326.55	c  326s |      16 |   180503 |   157252 |     4583     55 |     1489 |        3
328.63/328.77	c  328s |      16 |   181318 |   158052 |     4583     56 |     1489 |        3
330.73/330.80	c  330s |      16 |   182014 |   158752 |     4583     56 |     1489 |        3
332.73/332.88	c  332s |      16 |   183013 |   159552 |     4583     56 |     1489 |        3
334.93/335.06	c  334s |      16 |   184916 |   160552 |     4583     56 |     1489 |        3
337.13/337.21	c  337s |      16 |   186333 |   161552 |     4583     57 |     1489 |        3
339.13/339.22	c  339s |      16 |   187787 |   162552 |     4583     57 |     1489 |        3
341.14/341.29	c  341s |      16 |   188949 |   163452 |     4583     57 |     1489 |        3
343.34/343.41	c  343s |      16 |   190592 |   164452 |     4583     58 |     1489 |        3
345.33/345.49	c  345s |      16 |   192097 |   165452 |     4583     58 |     1489 |        3
347.33/347.49	c  347s |      16 |   193228 |   166252 |     4583     58 |     1489 |        3
349.63/349.70	c  349s |      16 |   194497 |   167152 |     4583     59 |     1489 |        3
351.73/351.87	c  351s |      16 |   196103 |   168252 |     4583     59 |     1489 |        3
353.93/354.03	c  353s |      16 |   197009 |   169152 |     4583     59 |     1489 |        3
356.03/356.13	c  356s |      16 |   197922 |   170052 |     4583     59 |     1489 |        3
358.23/358.33	c  358s |      16 |   198842 |   170952 |     4583     60 |     1489 |        3
360.23/360.35	c  360s |      16 |   200017 |   171852 |     4583     60 |     1489 |        3
362.43/362.54	c  362s |      16 |   201483 |   172852 |     4583     60 |     1489 |        3
364.43/364.54	c  364s |      16 |   202916 |   173852 |     4583     61 |     1489 |        3
366.53/366.67	c  366s |      16 |   203799 |   174752 |     4583     61 |     1489 |        3
368.64/368.75	c  368s |      16 |   204701 |   175652 |     4583     61 |     1489 |        3
370.83/370.91	c  370s |      16 |   205805 |   176652 |     4583     61 |     1489 |        3
372.93/373.04	c  372s |      16 |   207016 |   177752 |     4583     62 |     1489 |        3
374.93/375.09	c  374s |      16 |   207912 |   178652 |     4583     62 |     1489 |        3
377.23/377.33	c  377s |      16 |   208663 |   179452 |     4583     62 |     1489 |        3
379.33/379.46	c  379s |      16 |   209176 |   179952 |     4583     63 |     1489 |        3
381.63/381.72	c  381s |      16 |   209869 |   180652 |     4583     63 |     1489 |        3
383.83/383.93	c  383s |      16 |   210733 |   181452 |     4583     63 |     1489 |        3
386.03/386.13	c  386s |      16 |   212213 |   182452 |     4583     63 |     1489 |        3
388.13/388.25	c  388s |      16 |   213094 |   183352 |     4583     64 |     1489 |        3
390.23/390.34	c  390s |      16 |   214080 |   184352 |     4583     64 |     1489 |        3
392.33/392.43	c  392s |      16 |   214789 |   185052 |     4583     64 |     1489 |        3
394.43/394.50	c  394s |      16 |   215584 |   185852 |     4583     64 |     1489 |        3
396.43/396.58	c  396s |      16 |   216521 |   186752 |     4583     65 |     1489 |        3
398.63/398.76	c  398s |      16 |   217494 |   187752 |     4583     65 |     1489 |        3
400.73/400.89	c  400s |      16 |   218505 |   188752 |     4583     65 |     1489 |        3
402.83/402.93	c  402s |      16 |   219292 |   189552 |     4583     65 |     1489 |        3
404.83/404.98	c  404s |      16 |   220204 |   190452 |     4583     66 |     1489 |        3
406.93/407.08	c  406s |      16 |   221231 |   191452 |     4583     66 |     1489 |        3
409.13/409.22	c  409s |      16 |   222104 |   192352 |     4583     66 |     1489 |        3
411.13/411.28	c  411s |      16 |   223011 |   193252 |     4583     67 |     1489 |        3
413.23/413.36	c  413s |      16 |   224020 |   194252 |     4583     67 |     1489 |        3
415.32/415.49	c  415s |      16 |   224882 |   195052 |     4583     67 |     1489 |        3
417.42/417.51	c  417s |      16 |   225628 |   195852 |     4583     67 |     1489 |        3
419.42/419.56	c  419s |      16 |   226551 |   196752 |     5042     68 |     1489 |        3
421.22/421.39	c  421s |      17 |   227223 |   197432 |     5042     68 |     1489 |        3
423.53/423.62	c  423s |      17 |   228181 |   198232 |     5042     68 |     1489 |        3
425.62/425.75	c  425s |      17 |   229375 |   199132 |     5042     68 |     1489 |        3
427.72/427.82	c  427s |      17 |   230964 |   200032 |     5042     69 |     1489 |        3
429.82/429.90	c  429s |      17 |   232404 |   201032 |     5042     69 |     1489 |        3
431.82/431.94	c  431s |      17 |   233892 |   202232 |     5042     69 |     1489 |        3
434.02/434.10	c  433s |      17 |   234786 |   203132 |     5042     70 |     1489 |        3
436.12/436.22	c  436s |      17 |   236040 |   204032 |     5042     70 |     1489 |        3
438.12/438.27	c  438s |      17 |   237411 |   204932 |     5042     70 |     1489 |        3
440.22/440.33	c  440s |      17 |   238849 |   205932 |     5042     70 |     1489 |        3
442.22/442.40	c  442s |      17 |   240128 |   206832 |     5042     71 |     1489 |        3
444.32/444.45	c  444s |      17 |   241541 |   207832 |     5042     71 |     1489 |        3
446.52/446.62	c  446s |      17 |   242809 |   208832 |     5042     71 |     1489 |        3
448.52/448.64	c  448s |      17 |   244206 |   209832 |     5042     71 |     1489 |        3
450.52/450.67	c  450s |      17 |   245573 |   210832 |     5042     72 |     1489 |        3
452.72/452.82	c  452s |      17 |   247134 |   211932 |     5042     72 |     1489 |        3
454.92/455.02	c  454s |      17 |   248972 |   213032 |     5042     72 |     1489 |        3
457.02/457.19	c  457s |      17 |   249994 |   214032 |     5042     73 |     1489 |        3
459.22/459.36	c  459s |      17 |   251103 |   215132 |     5042     73 |     1489 |        3
461.32/461.49	c  461s |      17 |   252109 |   216132 |     5042     73 |     1489 |        3
463.52/463.62	c  463s |      17 |   253098 |   217132 |     5042     74 |     1489 |        3
465.52/465.64	c  465s |      17 |   253850 |   217832 |     5042     74 |     1489 |        3
467.62/467.74	c  467s |      17 |   254705 |   218632 |     5042     74 |     1489 |        3
469.91/470.00	c  469s |      17 |   255596 |   219532 |     5042     74 |     1489 |        3
472.02/472.19	c  472s |      17 |   256459 |   220432 |     5042     75 |     1489 |        3
474.12/474.29	c  474s |      17 |   257526 |   221432 |     5042     75 |     1489 |        3
476.32/476.46	c  476s |      17 |   258551 |   222432 |     5042     75 |     1489 |        3
478.31/478.49	c  478s |      17 |   259740 |   223332 |     5042     75 |     1489 |        3
480.51/480.66	c  480s |      17 |   263978 |   224332 |     5042     76 |     1489 |        3
482.51/482.66	c  482s |      17 |   268346 |   225332 |     5042     76 |     1489 |        3
484.71/484.83	c  484s |      17 |   271648 |   226332 |     5042     76 |     1489 |        3
486.71/486.87	c  486s |      17 |   276017 |   227232 |     5042     77 |     1489 |        3
488.71/488.89	c  488s |      17 |   281299 |   228332 |     5042     77 |     1489 |        3
490.81/490.97	c  490s |      17 |   282467 |   229032 |     5042     77 |     1489 |        3
492.92/493.07	c  492s |      17 |   283064 |   229632 |     5042     77 |     1489 |        3
494.91/495.09	c  494s |      17 |   283877 |   230432 |     5042     77 |     1489 |        3
497.11/497.26	c  497s |      17 |   284786 |   231332 |     5042     78 |     1489 |        3
499.31/499.45	c  499s |      17 |   285767 |   232332 |     5042     78 |     1489 |        3
501.31/501.46	c  501s |      17 |   286566 |   233132 |     5042     78 |     1489 |        3
503.61/503.74	c  503s |      17 |   287452 |   234032 |     5042     79 |     1489 |        3
505.71/505.80	c  505s |      17 |   288488 |   235032 |     5042     79 |     1489 |        3
507.81/507.95	c  507s |      17 |   289391 |   235932 |     5042     79 |     1489 |        3
509.91/510.05	c  509s |      17 |   290281 |   236832 |     5042     79 |     1489 |        3
511.91/512.05	c  511s |      17 |   291158 |   237732 |     5042     80 |     1489 |        3
514.01/514.10	c  513s |      17 |   292110 |   238632 |     5042     80 |     1489 |        3
516.11/516.23	c  516s |      17 |   292965 |   239532 |     5042     80 |     1489 |        3
518.31/518.43	c  518s |      17 |   293985 |   240532 |     5042     80 |     1489 |        3
520.41/520.57	c  520s |      17 |   294770 |   241332 |     5042     81 |     1489 |        3
522.51/522.64	c  522s |      17 |   295672 |   242232 |     5042     81 |     1489 |        3
524.71/524.85	c  524s |      17 |   296691 |   243232 |     5042     81 |     1489 |        3
526.71/526.86	c  526s |      17 |   297537 |   244032 |     5042     81 |     1489 |        3
528.91/529.06	c  528s |      17 |   298411 |   244932 |     5042     82 |     1489 |        3
530.91/531.09	c  530s |      17 |   299283 |   245832 |     5042     82 |     1489 |        3
533.21/533.34	c  533s |      17 |   299958 |   246432 |     5042     82 |     1489 |        3
535.31/535.46	c  535s |      17 |   301511 |   247332 |     5042     82 |     1489 |        3
537.41/537.58	c  537s |      17 |   302739 |   248232 |     5042     83 |     1489 |        3
539.61/539.70	c  539s |      17 |   304114 |   249232 |     5042     83 |     1489 |        3
541.71/541.85	c  541s |      17 |   306104 |   250432 |     5042     83 |     1489 |        3
543.71/543.89	c  543s |      17 |   306900 |   251232 |     5042     84 |     1489 |        3
545.91/546.02	c  545s |      17 |   308326 |   252132 |     5042     84 |     1489 |        3
548.01/548.11	c  547s |      17 |   309346 |   253132 |     5042     84 |     1489 |        3
550.01/550.13	c  550s |      17 |   310326 |   254132 |     5042     84 |     1489 |        3
552.11/552.27	c  552s |      17 |   311561 |   255132 |     5042     85 |     1489 |        3
554.11/554.28	c  554s |      17 |   312528 |   256032 |     5042     85 |     1489 |        3
556.31/556.42	c  556s |      17 |   313526 |   257032 |     5042     85 |     1489 |        3
558.41/558.51	c  558s |      17 |   314780 |   258032 |     5042     86 |     1489 |        3
560.41/560.52	c  560s |      17 |   315660 |   258932 |     5042     86 |     1489 |        3
562.41/562.57	c  562s |      17 |   316447 |   259732 |     5042     86 |     1489 |        3
564.51/564.66	c  564s |      17 |   317381 |   260632 |     5042     86 |     1489 |        3
566.51/566.70	c  566s |      17 |   318587 |   261632 |     5042     87 |     1489 |        3
568.71/568.87	c  568s |      17 |   319646 |   262732 |     5042     87 |     1489 |        3
570.81/570.93	c  570s |      17 |   320653 |   263732 |     5042     87 |     1489 |        3
572.90/573.00	c  572s |      17 |   321781 |   264832 |     5042     87 |     1489 |        3
574.90/575.09	c  574s |      17 |   323104 |   266132 |     5042     88 |     1489 |        3
577.00/577.12	c  577s |      17 |   324399 |   267432 |     5042     88 |     1489 |        3
579.00/579.15	c  579s |      17 |   325511 |   268532 |     5042     89 |     1489 |        3
581.10/581.27	c  581s |      17 |   326808 |   269732 |     5042     89 |     1489 |        3
583.30/583.43	c  583s |      17 |   327946 |   270832 |     5042     89 |     1489 |        3
585.31/585.44	c  585s |      17 |   328824 |   271732 |     5042     89 |     1489 |        3
587.51/587.62	c  587s |      17 |   329729 |   272632 |     5042     90 |     1489 |        3
589.50/589.62	c  589s |      17 |   330739 |   273632 |     5042     90 |     1489 |        3
591.60/591.74	c  591s |      17 |   331734 |   274632 |     5042     90 |     1489 |        3
593.60/593.74	c  593s |      17 |   332539 |   275432 |     5042     91 |     1489 |        3
595.60/595.75	c  595s |      17 |   333346 |   276232 |     5042     91 |     1489 |        3
597.60/597.78	c  597s |      17 |   334340 |   277232 |     5042     91 |     1489 |        3
599.80/599.96	c  599s |      17 |   335332 |   278232 |     5042     91 |     1489 |        3
602.00/602.10	c  601s |      17 |   336372 |   279232 |     5042     92 |     1489 |        3
604.10/604.25	c  604s |      17 |   337246 |   280132 |     5042     92 |     1489 |        3
606.21/606.38	c  606s |      17 |   338243 |   281132 |     5042     92 |     1489 |        3
608.20/608.39	c  608s |      17 |   339147 |   282032 |     5042     92 |     1489 |        3
610.40/610.55	c  610s |      17 |   339961 |   282832 |     5042     93 |     1489 |        3
612.60/612.77	c  612s |      17 |   341184 |   283932 |     5042     93 |     1489 |        3
614.70/614.83	c  614s |      17 |   342826 |   284932 |     5042     93 |     1489 |        3
616.80/616.90	c  616s |      17 |   343755 |   285832 |     5042     94 |     1489 |        3
618.89/619.07	c  618s |      17 |   344790 |   286732 |     5042     94 |     1489 |        3
621.09/621.22	c  621s |      17 |   347067 |   287832 |     5042     94 |     1489 |        3
623.09/623.26	c  623s |      17 |   348033 |   288732 |     5042     94 |     1489 |        3
625.29/625.45	c  625s |      17 |   349049 |   289632 |     5042     95 |     1489 |        3
627.39/627.58	c  627s |      17 |   351557 |   290832 |     5042     95 |     1489 |        3
629.49/629.60	c  629s |      17 |   352478 |   291732 |     5042     95 |     1489 |        3
631.50/631.63	c  631s |      17 |   353383 |   292632 |     5042     96 |     1489 |        3
633.60/633.72	c  633s |      17 |   354185 |   293432 |     5042     96 |     1489 |        3
635.59/635.76	c  635s |      17 |   355243 |   294432 |     5547     96 |     1489 |        3
637.69/637.87	c  637s |      17 |   357078 |   295432 |     5547     96 |     1489 |        3
639.29/639.48	c  639s |      18 |   358575 |   296252 |     5547     96 |     1489 |        3
641.49/641.66	c  641s |      18 |   359490 |   296952 |     5547     97 |     1489 |        3
643.60/643.71	c  643s |      18 |   361726 |   297952 |     5547     97 |     1489 |        3
645.59/645.74	c  645s |      18 |   365483 |   299152 |     5547     97 |     1489 |        3
647.89/648.04	c  647s |      18 |   366500 |   299952 |     5547     98 |     1489 |        3
650.09/650.25	c  650s |      18 |   367358 |   300852 |     5547     98 |     1489 |        3
652.09/652.29	c  652s |      18 |   368244 |   301652 |     5547     98 |     1489 |        3
654.29/654.43	c  654s |      18 |   369373 |   302552 |     5547     98 |     1489 |        3
656.39/656.52	c  656s |      18 |   372652 |   303652 |     5547     99 |     1489 |        3
658.49/658.61	c  658s |      18 |   373943 |   304652 |     5547     99 |     1489 |        3
660.69/660.83	c  660s |      18 |   376070 |   305652 |     5547     99 |     1489 |        3
662.89/663.00	c  662s |      18 |   377162 |   306552 |     5547     99 |     1489 |        3
664.98/665.13	c  665s |      18 |   377974 |   307352 |     5547    100 |     1489 |        3
667.18/667.34	c  667s |      18 |   378918 |   308252 |     5547    100 |     1489 |        3
669.38/669.52	c  669s |      18 |   379819 |   309152 |     5547    100 |     1489 |        3
671.38/671.52	c  671s |      18 |   380702 |   310052 |     5547    100 |     1489 |        3
673.58/673.71	c  673s |      18 |   382085 |   311252 |     5547    101 |     1489 |        3
675.68/675.86	c  675s |      18 |   382997 |   312152 |     5547    101 |     1489 |        3
677.88/678.04	c  677s |      18 |   385422 |   313252 |     5547    101 |     1489 |        3
679.89/680.05	c  679s |      18 |   387972 |   314252 |     5547    101 |     1489 |        3
681.99/682.14	c  682s |      18 |   389224 |   315352 |     5547    102 |     1489 |        3
684.19/684.31	c  684s |      18 |   390230 |   316252 |     5547    102 |     1489 |        3
686.18/686.31	c  686s |      18 |   391650 |   317152 |     5547    102 |     1489 |        3
688.28/688.44	c  688s |      18 |   393445 |   318152 |     5547    102 |     1489 |        3
690.48/690.65	c  690s |      18 |   394766 |   319352 |     5547    103 |     1489 |        3
692.48/692.66	c  692s |      18 |   395578 |   320152 |     5547    103 |     1489 |        3
694.58/694.79	c  694s |      18 |   396581 |   321152 |     5547    103 |     1489 |        3
696.68/696.86	c  696s |      18 |   397637 |   322152 |     5547    104 |     1489 |        3
698.78/698.99	c  698s |      18 |   398622 |   323152 |     5547    104 |     1489 |        3
700.98/701.11	c  700s |      18 |   399824 |   324252 |     5547    104 |     1489 |        3
703.08/703.29	c  703s |      18 |   400822 |   325152 |     5547    104 |     1489 |        3
705.28/705.45	c  705s |      18 |   401618 |   325952 |     5547    105 |     1489 |        3
707.48/707.61	c  707s |      18 |   402629 |   326952 |     5547    105 |     1489 |        3
709.48/709.62	c  709s |      18 |   403494 |   327752 |     5547    105 |     1489 |        3
711.58/711.75	c  711s |      18 |   404405 |   328652 |     5547    105 |     1489 |        3
713.98/714.11	c  714s |      18 |   405284 |   329452 |     5547    106 |     1489 |        3
716.08/716.24	c  716s |      18 |   406287 |   330452 |     5547    106 |     1489 |        3
718.18/718.30	c  718s |      18 |   407499 |   331352 |     5547    106 |     1489 |        3
720.28/720.40	c  720s |      18 |   408457 |   332152 |     5547    106 |     1489 |        3
722.38/722.53	c  722s |      18 |   409497 |   332952 |     5547    106 |     1489 |        3
724.37/724.59	c  724s |      18 |   410228 |   333652 |     5547    107 |     1489 |        3
726.67/726.80	c  726s |      18 |   411569 |   334652 |     5547    107 |     1489 |        3
728.87/729.01	c  728s |      18 |   412996 |   335552 |     5547    107 |     1489 |        3
730.87/731.04	c  730s |      18 |   414001 |   336352 |     5547    107 |     1489 |        3
732.97/733.14	c  733s |      18 |   415207 |   337252 |     5547    108 |     1489 |        3
735.17/735.37	c  735s |      18 |   416591 |   338252 |     5547    108 |     1489 |        3
737.47/737.65	c  737s |      18 |   417652 |   339152 |     5547    108 |     1489 |        3
739.67/739.90	c  739s |      18 |   418454 |   339952 |     5547    108 |     1489 |        3
741.87/742.01	c  741s |      18 |   419313 |   340752 |     5547    109 |     1489 |        3
744.07/744.26	c  744s |      18 |   420373 |   341552 |     5547    109 |     1489 |        3
746.17/746.38	c  746s |      18 |   421468 |   342452 |     5547    109 |     1489 |        3
748.27/748.42	c  748s |      18 |   422778 |   343352 |     5547    109 |     1489 |        3
750.47/750.63	c  750s |      18 |   424317 |   344352 |     5547    110 |     1489 |        3
752.48/752.63	c  752s |      18 |   425011 |   345052 |     5547    110 |     1489 |        3
754.68/754.85	c  754s |      18 |   425843 |   345852 |     5547    110 |     1489 |        3
756.77/757.00	c  756s |      18 |   426768 |   346752 |     5547    110 |     1489 |        3
758.87/759.02	c  758s |      18 |   428181 |   347652 |     5547    110 |     1489 |        3
760.87/761.07	c  760s |      18 |   429934 |   348652 |     5547    111 |     1489 |        3
762.97/763.15	c  763s |      18 |   431296 |   349652 |     5547    111 |     1489 |        3
765.07/765.25	c  765s |      18 |   432616 |   350552 |     5547    111 |     1489 |        3
767.07/767.27	c  767s |      18 |   433502 |   351452 |     5547    111 |     1489 |        3
769.17/769.36	c  769s |      18 |   434435 |   352352 |     5547    112 |     1489 |        3
771.37/771.55	c  771s |      18 |   435816 |   353352 |     5547    112 |     1489 |        3
773.37/773.58	c  773s |      18 |   437226 |   354352 |     5547    112 |     1489 |        3
775.57/775.72	c  775s |      18 |   438669 |   355352 |     5547    113 |     1489 |        3
777.67/777.81	c  777s |      18 |   440122 |   356352 |     5547    113 |     1489 |        3
779.87/780.01	c  779s |      18 |   441500 |   357552 |     5547    113 |     1489 |        3
782.07/782.24	c  782s |      18 |   442375 |   358452 |     5547    113 |     1489 |        3
784.28/784.45	c  784s |      18 |   443089 |   359152 |     5547    114 |     1489 |        3
786.37/786.56	c  786s |      18 |   443908 |   359952 |     5547    114 |     1489 |        3
788.47/788.60	c  788s |      18 |   444600 |   360652 |     5547    114 |     1489 |        3
790.67/790.85	c  790s |      18 |   445198 |   361252 |     5547    114 |     1489 |        3
792.67/792.87	c  792s |      18 |   445800 |   361852 |     5547    114 |     1489 |        3
795.07/795.20	c  795s |      18 |   446549 |   362552 |     5547    115 |     1489 |        3
797.17/797.34	c  797s |      18 |   447470 |   363352 |     5547    115 |     1489 |        3
799.17/799.40	c  799s |      18 |   448723 |   364252 |     5547    115 |     1489 |        3
801.37/801.52	c  801s |      18 |   450495 |   365252 |     5547    115 |     1489 |        3
803.57/803.76	c  803s |      18 |   451688 |   366152 |     5547    116 |     1489 |        3
805.77/805.90	c  805s |      18 |   452486 |   366952 |     5547    116 |     1489 |        3
807.87/808.07	c  807s |      18 |   453476 |   367852 |     5547    116 |     1489 |        3
810.07/810.28	c  810s |      18 |   454380 |   368752 |     5547    116 |     1489 |        3
812.17/812.32	c  812s |      18 |   455282 |   369652 |     5547    116 |     1489 |        3
814.37/814.52	c  814s |      18 |   456569 |   370852 |     5547    117 |     1489 |        3
816.47/816.66	c  816s |      18 |   457691 |   371752 |     5547    117 |     1489 |        3
818.57/818.74	c  818s |      18 |   458657 |   372652 |     5547    117 |     1489 |        3
820.67/820.88	c  820s |      18 |   459804 |   373652 |     5547    118 |     1489 |        3
822.87/823.05	c  822s |      18 |   460926 |   374652 |     5547    118 |     1489 |        3
824.97/825.15	c  825s |      18 |   461790 |   375552 |     5547    118 |     1489 |        3
826.97/827.16	c  827s |      18 |   462707 |   376452 |     5547    118 |     1489 |        3
829.07/829.26	c  829s |      18 |   463608 |   377352 |     5547    119 |     1489 |        3
831.36/831.53	c  831s |      18 |   464637 |   378352 |     5547    119 |     1489 |        3
833.56/833.77	c  833s |      18 |   465424 |   379152 |     5547    119 |     1489 |        3
835.76/835.98	c  835s |      18 |   466191 |   379952 |     5547    119 |     1489 |        3
837.76/838.00	c  837s |      18 |   466748 |   380452 |     5547    119 |     1489 |        3
840.06/840.21	c  840s |      18 |   467471 |   381152 |     5547    120 |     1489 |        3
842.06/842.26	c  842s |      18 |   468401 |   381852 |     5547    120 |     1489 |        3
844.16/844.38	c  844s |      18 |   469851 |   382752 |     5547    120 |     1489 |        3
846.26/846.48	c  846s |      18 |   471086 |   383652 |     5547    120 |     1489 |        3
848.56/848.71	c  848s |      18 |   472460 |   384652 |     5547    121 |     1489 |        3
850.56/850.78	c  850s |      18 |   473994 |   385552 |     5547    121 |     1489 |        3
852.66/852.85	c  852s |      18 |   475327 |   386452 |     5547    121 |     1489 |        3
854.76/854.96	c  854s |      18 |   476758 |   387452 |     5547    121 |     1489 |        3
856.96/857.11	c  857s |      18 |   477945 |   388552 |     5547    122 |     1489 |        3
858.96/859.15	c  859s |      18 |   478739 |   389352 |     5547    122 |     1489 |        3
861.06/861.28	c  861s |      18 |   479528 |   390152 |     5547    122 |     1489 |        3
863.06/863.28	c  863s |      18 |   480325 |   390952 |     5547    122 |     1489 |        3
865.16/865.36	c  865s |      18 |   481195 |   391852 |     5547    122 |     1489 |        3
867.26/867.42	c  867s |      18 |   481922 |   392552 |     5547    123 |     1489 |        3
869.25/869.45	c  869s |      18 |   482534 |   393152 |     5547    123 |     1489 |        3
871.35/871.57	c  871s |      18 |   483779 |   393952 |     5547    123 |     1489 |        3
873.55/873.75	c  873s |      18 |   484875 |   394752 |     5547    123 |     1489 |        3
875.75/875.97	c  875s |      18 |   486242 |   395652 |     5547    123 |     1489 |        3
877.86/878.09	c  877s |      18 |   487330 |   396552 |     5547    124 |     1489 |        3
880.06/880.24	c  880s |      18 |   488205 |   397452 |     5547    124 |     1489 |        3
882.05/882.26	c  882s |      18 |   489091 |   398352 |     5547    124 |     1489 |        3
884.25/884.43	c  884s |      18 |   490031 |   399252 |     5547    124 |     1489 |        3
886.35/886.58	c  886s |      18 |   490902 |   400152 |     5547    125 |     1489 |        3
888.76/888.92	c  888s |      18 |   491890 |   401152 |     5547    125 |     1489 |        3
890.85/891.03	c  890s |      18 |   493094 |   402052 |     5547    125 |     1489 |        3
892.85/893.05	c  892s |      18 |   494461 |   402952 |     5547    125 |     1489 |        3
894.95/895.12	c  895s |      18 |   495916 |   404052 |     5547    126 |     1489 |        3
897.05/897.25	c  897s |      18 |   496920 |   405052 |     5547    126 |     1489 |        3
899.25/899.48	c  899s |      18 |   497660 |   405852 |     5547    126 |     1489 |        3
901.55/901.75	c  901s |      18 |   498387 |   406552 |     5547    126 |     1489 |        3
903.55/903.77	c  903s |      18 |   499106 |   407252 |     5547    127 |     1489 |        3
905.65/905.86	c  905s |      18 |   499890 |   408052 |     5547    127 |     1489 |        3
907.85/908.00	c  907s |      18 |   500924 |   409052 |     5547    127 |     1489 |        3
909.95/910.10	c  909s |      18 |   501903 |   410052 |     5547    127 |     1489 |        3
912.05/912.27	c  912s |      18 |   502674 |   410852 |     5547    128 |     1489 |        3
914.15/914.39	c  914s |      18 |   503607 |   411752 |     5547    128 |     1489 |        3
916.25/916.47	c  916s |      18 |   504498 |   412652 |     5547    128 |     1489 |        3
918.45/918.70	c  918s |      18 |   505484 |   413652 |     5547    128 |     1489 |        3
920.65/920.87	c  920s |      18 |   506402 |   414552 |     5547    129 |     1489 |        3
922.65/922.87	c  922s |      18 |   507548 |   415652 |     5547    129 |     1489 |        3
924.94/925.11	c  925s |      18 |   508552 |   416652 |     5547    129 |     1489 |        3
927.04/927.24	c  927s |      18 |   509418 |   417552 |     5547    129 |     1489 |        3
929.14/929.30	c  929s |      18 |   510412 |   418552 |     5547    130 |     1489 |        3
931.14/931.30	c  931s |      18 |   511405 |   419552 |     5547    130 |     1489 |        3
933.24/933.45	c  933s |      18 |   512321 |   420452 |     5547    130 |     1489 |        3
935.44/935.66	c  935s |      18 |   513318 |   421452 |     5547    130 |     1489 |        3
937.54/937.77	c  937s |      18 |   514340 |   422452 |     5547    131 |     1489 |        3
939.74/939.95	c  939s |      18 |   515423 |   423552 |     5547    131 |     1489 |        3
941.84/942.09	c  941s |      18 |   516520 |   424652 |     5547    131 |     1489 |        3
944.04/944.28	c  944s |      18 |   517422 |   425552 |     5547    132 |     1489 |        3
946.24/946.43	c  946s |      18 |   518535 |   426652 |     5547    132 |     1489 |        3
948.44/948.62	c  948s |      18 |   519761 |   427852 |     5547    132 |     1489 |        3
950.45/950.65	c  950s |      18 |   520864 |   428952 |     5547    132 |     1489 |        3
952.54/952.73	c  952s |      18 |   522174 |   430252 |     5547    133 |     1489 |        3
954.64/954.84	c  954s |      18 |   523477 |   431552 |     5547    133 |     1489 |        3
956.74/956.96	c  956s |      18 |   524667 |   432752 |     5547    133 |     1489 |        3
958.84/959.01	c  958s |      18 |   525780 |   433852 |     5547    134 |     1489 |        3
960.94/961.15	c  961s |      18 |   526880 |   434952 |     5547    134 |     1489 |        3
963.14/963.35	c  963s |      18 |   527870 |   435952 |     5547    134 |     1489 |        3
965.25/965.41	c  965s |      18 |   528772 |   436852 |     5547    135 |     1489 |        3
967.25/967.48	c  967s |      18 |   529668 |   437752 |     5547    135 |     1489 |        3
969.25/969.49	c  969s |      18 |   530566 |   438652 |     5547    135 |     1489 |        3
971.35/971.54	c  971s |      18 |   531574 |   439652 |     5547    135 |     1489 |        3
973.45/973.64	c  973s |      18 |   532473 |   440552 |     5547    136 |     1489 |        3
975.65/975.83	c  975s |      18 |   533286 |   441352 |     6102    136 |     1489 |        3
977.74/978.00	c  977s |      18 |   534284 |   442352 |     6102    136 |     1489 |        3
979.84/980.00	c  979s |      18 |   535196 |   443252 |     6102    136 |     1489 |        3
981.94/982.12	c  982s |      18 |   536087 |   444152 |     6102    136 |     1489 |        3
982.84/983.06	c  982s |      19 |   536419 |   444482 |     6102    137 |     1489 |        3
985.04/985.24	c  985s |      19 |   536733 |   444682 |     6102    137 |     1489 |        3
987.14/987.38	c  987s |      19 |   537981 |   445682 |     6102    137 |     1489 |        3
989.34/989.50	c  989s |      19 |   539319 |   446682 |     6102    137 |     1489 |        3
991.44/991.69	c  991s |      19 |   540751 |   447782 |     6102    137 |     1489 |        3
993.64/993.86	c  993s |      19 |   542768 |   448482 |     6102    138 |     1489 |        3
995.64/995.87	c  995s |      19 |   545002 |   449682 |     6102    138 |     1489 |        3
997.84/998.01	c  997s |      19 |   547094 |   450882 |     6102    138 |     1489 |        3
1000.04/1000.23	c 1000s |      19 |   548156 |   451782 |     6102    138 |     1489 |        3
1002.14/1002.33	c 1002s |      19 |   548841 |   452482 |     6102    139 |     1489 |        3
1004.34/1004.56	c 1004s |      19 |   549750 |   453382 |     6102    139 |     1489 |        3
1006.44/1006.63	c 1006s |      19 |   550625 |   454282 |     6102    139 |     1489 |        3
1008.54/1008.70	c 1008s |      19 |   552073 |   455382 |     6102    139 |     1489 |        3
1010.64/1010.81	c 1010s |      19 |   553172 |   456382 |     6102    140 |     1489 |        3
1012.74/1012.91	c 1012s |      19 |   554333 |   457382 |     6102    140 |     1489 |        3
1014.83/1015.05	c 1014s |      19 |   555324 |   458382 |     6102    140 |     1489 |        3
1017.03/1017.20	c 1017s |      19 |   556702 |   459582 |     6102    140 |     1489 |        3
1019.13/1019.33	c 1019s |      19 |   557602 |   460482 |     6102    141 |     1489 |        3
1021.23/1021.41	c 1021s |      19 |   558582 |   461482 |     6102    141 |     1489 |        3
1023.23/1023.46	c 1023s |      19 |   559925 |   462682 |     6102    141 |     1489 |        3
1025.33/1025.58	c 1025s |      19 |   561556 |   463982 |     6102    141 |     1489 |        3
1027.53/1027.70	c 1027s |      19 |   563534 |   465282 |     6102    142 |     1489 |        3
1029.64/1029.83	c 1029s |      19 |   564990 |   466682 |     6102    142 |     1489 |        3
1031.74/1031.98	c 1031s |      19 |   566165 |   467782 |     6102    142 |     1489 |        3
1033.83/1034.05	c 1033s |      19 |   567538 |   468682 |     6102    143 |     1489 |        3
1035.93/1036.11	c 1035s |      19 |   569176 |   469882 |     6102    143 |     1489 |        3
1038.03/1038.26	c 1038s |      19 |   570472 |   470982 |     6102    143 |     1489 |        3
1040.23/1040.40	c 1040s |      19 |   571913 |   472082 |     6102    143 |     1489 |        3
1042.33/1042.56	c 1042s |      19 |   572904 |   472882 |     6102    144 |     1489 |        3
1044.43/1044.63	c 1044s |      19 |   574460 |   473982 |     6102    144 |     1489 |        3
1046.63/1046.82	c 1046s |      19 |   576117 |   475082 |     6102    144 |     1489 |        3
1048.83/1049.04	c 1048s |      19 |   577696 |   476182 |     6102    145 |     1489 |        3
1050.83/1051.09	c 1050s |      19 |   578757 |   476982 |     6102    145 |     1489 |        3
1052.93/1053.19	c 1053s |      19 |   580481 |   478082 |     6102    145 |     1489 |        3
1055.23/1055.41	c 1055s |      19 |   581854 |   479182 |     6102    145 |     1489 |        3
1057.33/1057.59	c 1057s |      19 |   583068 |   480182 |     6102    146 |     1489 |        3
1059.43/1059.60	c 1059s |      19 |   583765 |   480882 |     6102    146 |     1489 |        3
1061.53/1061.71	c 1061s |      19 |   584750 |   481882 |     6102    146 |     1489 |        3
1063.63/1063.87	c 1063s |      19 |   585742 |   482882 |     6102    146 |     1489 |        3
1065.73/1065.98	c 1065s |      19 |   586657 |   483782 |     6102    146 |     1489 |        3
1067.92/1068.19	c 1068s |      19 |   587490 |   484582 |     6102    147 |     1489 |        3
1070.12/1070.40	c 1070s |      19 |   588464 |   485582 |     6102    147 |     1489 |        3
1072.43/1072.62	c 1072s |      19 |   589483 |   486582 |     6102    147 |     1489 |        3
1074.42/1074.63	c 1074s |      19 |   590354 |   487482 |     6102    147 |     1489 |        3
1076.52/1076.71	c 1076s |      19 |   591188 |   488282 |     6102    148 |     1489 |        3
1079.42/1079.65	c 1079s |      19 |   592251 |   489382 |     6102    148 |     1489 |        3
1081.42/1081.67	c 1081s |      19 |   593071 |   490182 |     6102    148 |     1489 |        3
1083.43/1083.67	c 1083s |      19 |   593975 |   491082 |     6102    148 |     1489 |        3
1085.52/1085.79	c 1085s |      19 |   594769 |   491882 |     6102    148 |     1489 |        3
1087.62/1087.81	c 1087s |      19 |   595698 |   492782 |     6102    149 |     1489 |        3
1089.62/1089.89	c 1089s |      19 |   596388 |   493482 |     6102    149 |     1489 |        3
1091.82/1092.02	c 1091s |      19 |   597367 |   494482 |     6102    149 |     1489 |        3
1093.82/1094.06	c 1093s |      19 |   598167 |   495282 |     6102    149 |     1489 |        3
1095.92/1096.16	c 1096s |      19 |   598998 |   496082 |     6102    150 |     1489 |        3
1098.02/1098.23	c 1098s |      19 |   599809 |   496882 |     6102    150 |     1489 |        3
1100.12/1100.33	c 1100s |      19 |   600676 |   497782 |     6102    150 |     1489 |        3
1102.32/1102.50	c 1102s |      19 |   601718 |   498782 |     6102    150 |     1489 |        3
1104.32/1104.52	c 1104s |      19 |   602511 |   499582 |     6102    150 |     1489 |        3
1106.32/1106.58	c 1106s |      19 |   603387 |   500482 |     6102    151 |     1489 |        3
1108.52/1108.75	c 1108s |      19 |   604184 |   501282 |     6102    151 |     1489 |        3
1110.62/1110.89	c 1110s |      19 |   605096 |   502182 |     6102    151 |     1489 |        3
1112.92/1113.10	c 1112s |      19 |   606095 |   503182 |     6102    151 |     1489 |        3
1115.02/1115.21	c 1115s |      19 |   606916 |   503982 |     6102    152 |     1489 |        3
1117.12/1117.37	c 1117s |      19 |   607897 |   504982 |     6102    152 |     1489 |        3
1119.32/1119.50	c 1119s |      19 |   609439 |   505782 |     6102    152 |     1489 |        3
1121.42/1121.65	c 1121s |      19 |   613190 |   506782 |     6102    152 |     1489 |        3
1123.62/1123.85	c 1123s |      19 |   616820 |   507782 |     6102    153 |     1489 |        3
1125.72/1125.90	c 1125s |      19 |   617926 |   508682 |     6102    153 |     1489 |        3
1127.72/1127.92	c 1127s |      19 |   619276 |   509582 |     6102    153 |     1489 |        3
1129.92/1130.16	c 1130s |      19 |   620546 |   510582 |     6102    153 |     1489 |        3
1132.02/1132.27	c 1132s |      19 |   621363 |   511382 |     6102    153 |     1489 |        3
1134.13/1134.38	c 1134s |      19 |   622255 |   512282 |     6102    154 |     1489 |        3
1136.33/1136.59	c 1136s |      19 |   623191 |   513182 |     6102    154 |     1489 |        3
1138.52/1138.74	c 1138s |      19 |   624147 |   514082 |     6102    154 |     1489 |        3
1140.52/1140.78	c 1140s |      19 |   625026 |   514982 |     6102    154 |     1489 |        3
1142.62/1142.86	c 1142s |      19 |   625878 |   515782 |     6102    155 |     1489 |        3
1144.72/1144.94	c 1144s |      19 |   626851 |   516682 |     6102    155 |     1489 |        3
1146.92/1147.15	c 1147s |      19 |   627813 |   517682 |     6102    155 |     1489 |        3
1149.02/1149.24	c 1149s |      19 |   628538 |   518382 |     6102    155 |     1489 |        3
1151.02/1151.28	c 1151s |      19 |   629314 |   519182 |     6102    155 |     1489 |        3
1153.21/1153.40	c 1153s |      19 |   630221 |   520082 |     6102    156 |     1489 |        3
1155.31/1155.53	c 1155s |      19 |   631115 |   520982 |     6102    156 |     1489 |        3
1157.51/1157.72	c 1157s |      19 |   632063 |   521882 |     6102    156 |     1489 |        3
1159.51/1159.77	c 1159s |      19 |   633155 |   522782 |     6102    156 |     1489 |        3
1161.71/1161.93	c 1161s |      19 |   634221 |   523682 |     6102    157 |     1489 |        3
1163.91/1164.13	c 1164s |      19 |   635255 |   524582 |     6102    157 |     1489 |        3
1166.02/1166.28	c 1166s |      19 |   636188 |   525482 |     6102    157 |     1489 |        3
1168.41/1168.67	c 1168s |      19 |   637122 |   526382 |     6102    157 |     1489 |        3
1170.42/1170.69	c 1170s |      19 |   637938 |   527182 |     6102    157 |     1489 |        3
1172.62/1172.85	c 1172s |      19 |   638868 |   528082 |     6102    158 |     1489 |        3
1174.61/1174.86	c 1174s |      19 |   640089 |   529082 |     6102    158 |     1489 |        3
1176.81/1177.00	c 1176s |      19 |   641054 |   529882 |     6102    158 |     1489 |        3
1178.81/1179.01	c 1178s |      19 |   642065 |   530682 |     6102    158 |     1489 |        3
1181.00/1181.23	c 1181s |      19 |   643277 |   531582 |     6102    159 |     1489 |        3
1183.00/1183.26	c 1183s |      19 |   644433 |   532482 |     6102    159 |     1489 |        3
1185.20/1185.47	c 1185s |      19 |   645406 |   533382 |     6102    159 |     1489 |        3
1187.40/1187.67	c 1187s |      19 |   646311 |   534282 |     6102    159 |     1489 |        3
1189.50/1189.71	c 1189s |      19 |   647199 |   535182 |     6102    159 |     1489 |        3
1191.60/1191.88	c 1191s |      19 |   648231 |   535982 |     6102    160 |     1489 |        3
1193.80/1194.03	c 1193s |      19 |   649171 |   536782 |     6102    160 |     1489 |        3
1195.90/1196.17	c 1196s |      19 |   650652 |   537682 |     6102    160 |     1489 |        3
1198.10/1198.32	c 1198s |      19 |   652033 |   538582 |     6102    160 |     1489 |        3
1200.10/1200.35	c 1200s |      19 |   653223 |   539482 |     6102    161 |     1489 |        3
1202.10/1202.40	c 1202s |      19 |   654437 |   540582 |     6102    161 |     1489 |        3
1204.19/1204.47	c 1204s |      19 |   655265 |   541382 |     6102    161 |     1489 |        3
1206.39/1206.69	c 1206s |      19 |   656018 |   542182 |     6102    161 |     1489 |        3
1208.49/1208.79	c 1208s |      19 |   656824 |   542982 |     6102    161 |     1489 |        3
1210.59/1210.81	c 1210s |      19 |   657606 |   543782 |     6102    162 |     1489 |        3
1212.69/1212.95	c 1212s |      19 |   658520 |   544682 |     6102    162 |     1489 |        3
1214.79/1215.00	c 1214s |      19 |   659328 |   545482 |     6102    162 |     1489 |        3
1216.99/1217.20	c 1217s |      19 |   660208 |   546382 |     6102    162 |     1489 |        3
1219.19/1219.45	c 1219s |      19 |   661024 |   547182 |     6102    162 |     1489 |        3
1221.18/1221.47	c 1221s |      19 |   661826 |   547982 |     6102    163 |     1489 |        3
1223.28/1223.52	c 1223s |      19 |   662762 |   548882 |     6102    163 |     1489 |        3
1225.48/1225.73	c 1225s |      19 |   663678 |   549782 |     6102    163 |     1489 |        3
1227.59/1227.88	c 1227s |      19 |   664574 |   550682 |     6102    163 |     1489 |        3
1229.70/1229.92	c 1229s |      19 |   665407 |   551482 |     6102    164 |     1489 |        3
1231.89/1232.19	c 1232s |      19 |   666186 |   552282 |     6102    164 |     1489 |        3
1233.99/1234.28	c 1234s |      19 |   666879 |   552982 |     6102    164 |     1489 |        3
1236.19/1236.42	c 1236s |      19 |   667585 |   553682 |     6102    164 |     1489 |        3
1238.49/1238.78	c 1238s |      19 |   668279 |   554382 |     6102    164 |     1489 |        3
1240.58/1240.82	c 1240s |      19 |   670514 |   555082 |     6102    164 |     1489 |        3
1242.68/1242.97	c 1242s |      19 |   674482 |   555982 |     6102    165 |     1489 |        3
1244.78/1245.02	c 1244s |      19 |   680344 |   556982 |     6102    165 |     1489 |        3
1246.78/1247.06	c 1246s |      19 |   683587 |   557982 |     6102    165 |     1489 |        3
1248.88/1249.13	c 1249s |      19 |   684797 |   558882 |     6102    165 |     1489 |        3
1250.98/1251.23	c 1251s |      19 |   685713 |   559782 |     6102    166 |     1489 |        3
1253.18/1253.43	c 1253s |      19 |   686853 |   560882 |     6102    166 |     1489 |        3
1255.18/1255.47	c 1255s |      19 |   687671 |   561682 |     6102    166 |     1489 |        3
1257.28/1257.57	c 1257s |      19 |   688438 |   562482 |     6102    166 |     1489 |        3
1259.48/1259.80	c 1259s |      19 |   689402 |   563382 |     6102    167 |     1489 |        3
1261.58/1261.86	c 1261s |      19 |   694759 |   564382 |     6102    167 |     1489 |        3
1263.78/1264.08	c 1263s |      19 |   699553 |   565582 |     6102    167 |     1489 |        3
1265.87/1266.11	c 1266s |      19 |   700518 |   566382 |     6102    167 |     1489 |        3
1267.97/1268.22	c 1268s |      19 |   701553 |   567282 |     6102    168 |     1489 |        3
1269.97/1270.24	c 1270s |      19 |   702345 |   567982 |     6102    168 |     1489 |        3
1272.07/1272.31	c 1272s |      19 |   703038 |   568682 |     6102    168 |     1489 |        3
1274.17/1274.47	c 1274s |      19 |   703734 |   569382 |     6102    168 |     1489 |        3
1276.47/1276.75	c 1276s |      19 |   704288 |   569882 |     6102    168 |     1489 |        3
1278.47/1278.75	c 1278s |      19 |   704949 |   570582 |     6102    168 |     1489 |        3
1280.56/1280.85	c 1280s |      19 |   705756 |   571382 |     6102    169 |     1489 |        3
1282.76/1283.05	c 1282s |      19 |   706747 |   572382 |     6102    169 |     1489 |        3
1284.96/1285.26	c 1285s |      19 |   707756 |   573382 |     6102    169 |     1489 |        3
1287.16/1287.43	c 1287s |      19 |   708645 |   574282 |     6102    169 |     1489 |        3
1289.26/1289.56	c 1289s |      19 |   709542 |   575182 |     6102    170 |     1489 |        3
1291.46/1291.72	c 1291s |      19 |   710613 |   576182 |     6102    170 |     1489 |        3
1293.57/1293.87	c 1293s |      19 |   711391 |   576982 |     6102    170 |     1489 |        3
1295.67/1295.96	c 1295s |      19 |   712266 |   577882 |     6102    170 |     1489 |        3
1297.86/1298.12	c 1298s |      19 |   713261 |   578882 |     6102    170 |     1489 |        3
1299.86/1300.18	c 1300s |      19 |   714202 |   579782 |     6102    171 |     1489 |        3
1301.96/1302.25	c 1302s |      19 |   715168 |   580782 |     6102    171 |     1489 |        3
1304.06/1304.31	c 1304s |      19 |   716097 |   581682 |     6102    171 |     1489 |        3
1306.16/1306.46	c 1306s |      19 |   717069 |   582682 |     6102    171 |     1489 |        3
1308.36/1308.68	c 1308s |      19 |   718015 |   583582 |     6102    172 |     1489 |        3
1310.55/1310.84	c 1310s |      19 |   718982 |   584582 |     6102    172 |     1489 |        3
1312.65/1312.96	c 1312s |      19 |   719815 |   585382 |     6102    172 |     1489 |        3
1314.75/1315.01	c 1314s |      19 |   720524 |   586082 |     6102    172 |     1489 |        3
1316.95/1317.28	c 1317s |      19 |   721227 |   586782 |     6102    172 |     1489 |        3
1319.15/1319.41	c 1319s |      19 |   721604 |   587182 |     6102    173 |     1489 |        3
1322.24/1322.52	c 1322s |      19 |   722493 |   587982 |     6102    173 |     1489 |        3
1324.25/1324.53	c 1324s |      19 |   723369 |   588782 |     6102    173 |     1489 |        3
1326.45/1326.74	c 1326s |      19 |   724528 |   589682 |     6102    173 |     1489 |        3
1328.44/1328.77	c 1328s |      19 |   725628 |   590582 |     6102    173 |     1489 |        3
1330.44/1330.78	c 1330s |      19 |   726662 |   591482 |     6102    174 |     1489 |        3
1332.54/1332.88	c 1332s |      19 |   727632 |   592482 |     6102    174 |     1489 |        3
1334.54/1334.89	c 1334s |      19 |   728806 |   593482 |     6102    174 |     1489 |        3
1336.64/1336.92	c 1336s |      19 |   729916 |   594382 |     6102    174 |     1489 |        3
1338.74/1339.05	c 1338s |      19 |   730923 |   595382 |     6102    175 |     1489 |        3
1340.84/1341.19	c 1341s |      19 |   731933 |   596382 |     6102    175 |     1489 |        3
1342.94/1343.29	c 1343s |      19 |   732937 |   597382 |     6102    175 |     1489 |        3
1345.04/1345.33	c 1345s |      19 |   733963 |   598382 |     6102    175 |     1489 |        3
1347.14/1347.44	c 1347s |      19 |   734943 |   599382 |     6102    176 |     1489 |        3
1349.33/1349.62	c 1349s |      19 |   736052 |   600482 |     6102    176 |     1489 |        3
1351.43/1351.75	c 1351s |      19 |   736938 |   601382 |     6102    176 |     1489 |        3
1353.63/1353.99	c 1353s |      19 |   737736 |   602182 |     6102    176 |     1489 |        3
1355.73/1356.03	c 1355s |      19 |   738365 |   602782 |     6102    176 |     1489 |        3
1357.74/1358.06	c 1357s |      19 |   738861 |   603282 |     6102    177 |     1489 |        3
1359.84/1360.12	c 1360s |      19 |   739562 |   603982 |     6102    177 |     1489 |        3
1361.93/1362.26	c 1362s |      19 |   740379 |   604782 |     6102    177 |     1489 |        3
1364.13/1364.48	c 1364s |      19 |   741392 |   605482 |     6102    177 |     1489 |        3
1366.23/1366.56	c 1366s |      19 |   742621 |   606282 |     6102    177 |     1489 |        3
1368.34/1368.67	c 1368s |      19 |   743830 |   607082 |     6102    178 |     1489 |        3
1370.43/1370.75	c 1370s |      19 |   745354 |   608082 |     6102    178 |     1489 |        3
1372.63/1372.93	c 1372s |      19 |   746447 |   609082 |     6102    178 |     1489 |        3
1374.63/1374.95	c 1374s |      19 |   747340 |   609982 |     6102    178 |     1489 |        3
1376.62/1376.96	c 1376s |      19 |   748263 |   610882 |     6102    179 |     1489 |        3
1378.82/1379.17	c 1379s |      19 |   749249 |   611882 |     6102    179 |     1489 |        3
1381.02/1381.32	c 1381s |      19 |   750242 |   612882 |     6102    179 |     1489 |        3
1383.02/1383.38	c 1383s |      19 |   751149 |   613782 |     6102    179 |     1489 |        3
1385.22/1385.51	c 1385s |      19 |   752178 |   614782 |     6102    180 |     1489 |        3
1387.32/1387.65	c 1387s |      19 |   753142 |   615782 |     6102    180 |     1489 |        3
1389.42/1389.73	c 1389s |      19 |   754188 |   616782 |     6102    180 |     1489 |        3
1391.42/1391.77	c 1391s |      19 |   755064 |   617682 |     6102    180 |     1489 |        3
1393.52/1393.83	c 1393s |      19 |   755956 |   618582 |     6102    180 |     1489 |        3
1395.51/1395.87	c 1395s |      19 |   756588 |   619182 |     6102    181 |     1489 |        3
1397.81/1398.10	c 1397s |      19 |   757390 |   619982 |     6102    181 |     1489 |        3
1399.91/1400.20	c 1400s |      19 |   758131 |   620682 |     6102    181 |     1489 |        3
1402.11/1402.41	c 1402s |      19 |   758873 |   621382 |     6102    181 |     1489 |        3
1404.41/1404.75	c 1404s |      19 |   759525 |   622082 |     6102    181 |     1489 |        3
1406.61/1406.93	c 1406s |      19 |   760098 |   622582 |     6102    181 |     1489 |        3
1408.81/1409.10	c 1408s |      19 |   761225 |   623482 |     6102    182 |     1489 |        3
1410.90/1411.28	c 1411s |      19 |   763051 |   624582 |     6102    182 |     1489 |        3
1413.20/1413.56	c 1413s |      19 |   764478 |   625582 |     6102    182 |     1489 |        3
1415.20/1415.59	c 1415s |      19 |   765232 |   626282 |     6102    182 |     1489 |        3
1417.30/1417.64	c 1417s |      19 |   765996 |   627082 |     6102    183 |     1489 |        3
1419.40/1419.75	c 1419s |      19 |   766870 |   627982 |     6102    183 |     1489 |        3
1421.60/1421.97	c 1421s |      19 |   767906 |   628982 |     6102    183 |     1489 |        3
1423.90/1424.20	c 1424s |      19 |   768838 |   629882 |     6102    183 |     1489 |        3
1426.00/1426.35	c 1426s |      19 |   769705 |   630782 |     6102    184 |     1489 |        3
1428.00/1428.38	c 1428s |      19 |   770647 |   631682 |     6102    184 |     1489 |        3
1430.30/1430.61	c 1430s |      19 |   771519 |   632582 |     6102    184 |     1489 |        3
1432.50/1432.87	c 1432s |      19 |   772583 |   633582 |     6102    184 |     1489 |        3
1434.49/1434.89	c 1434s |      19 |   773368 |   634382 |     6102    184 |     1489 |        3
1436.69/1437.02	c 1436s |      19 |   774226 |   635282 |     6102    185 |     1489 |        3
1438.70/1439.03	c 1438s |      19 |   775148 |   636182 |     6102    185 |     1489 |        3
1440.90/1441.25	c 1441s |      19 |   776059 |   637082 |     6102    185 |     1489 |        3
1443.00/1443.35	c 1443s |      19 |   776950 |   637982 |     6102    185 |     1489 |        3
1445.19/1445.51	c 1445s |      19 |   777579 |   638582 |     6102    186 |     1489 |        3
1447.29/1447.65	c 1447s |      19 |   778582 |   639582 |     6102    186 |     1489 |        3
1449.29/1449.68	c 1449s |      19 |   779359 |   640382 |     6102    186 |     1489 |        3
1451.39/1451.78	c 1451s |      19 |   780272 |   641282 |     6102    186 |     1489 |        3
1453.59/1453.96	c 1453s |      19 |   781405 |   642382 |     6102    186 |     1489 |        3
1455.58/1455.96	c 1455s |      19 |   782260 |   643282 |     6102    187 |     1489 |        3
1457.78/1458.12	c 1458s |      19 |   783285 |   644282 |     6102    187 |     1489 |        3
1459.78/1460.13	c 1460s |      19 |   784391 |   645382 |     6102    187 |     1489 |        3
1461.88/1462.28	c 1462s |      19 |   785407 |   646382 |     6102    187 |     1489 |        3
1463.99/1464.37	c 1464s |      19 |   786513 |   647482 |     6102    188 |     1489 |        3
1466.19/1466.52	c 1466s |      19 |   787596 |   648582 |     6102    188 |     1489 |        3
1468.18/1468.57	c 1468s |      19 |   788803 |   649782 |     6102    188 |     1489 |        3
1470.28/1470.69	c 1470s |      19 |   790118 |   651082 |     6102    189 |     1489 |        3
1472.48/1472.83	c 1472s |      19 |   791418 |   652382 |     6102    189 |     1489 |        3
1474.48/1474.83	c 1474s |      19 |   792506 |   653482 |     6102    189 |     1489 |        3
1476.48/1476.84	c 1476s |      19 |   793503 |   654482 |     6102    189 |     1489 |        3
1478.58/1478.94	c 1478s |      19 |   794508 |   655482 |     6102    190 |     1489 |        3
1480.67/1481.01	c 1480s |      19 |   795506 |   656482 |     6102    190 |     1489 |        3
1482.77/1483.17	c 1483s |      19 |   796502 |   657482 |     6102    190 |     1489 |        3
1484.88/1485.27	c 1485s |      19 |   797406 |   658382 |     6102    190 |     1489 |        3
1486.98/1487.37	c 1487s |      19 |   798011 |   658982 |     6102    191 |     1489 |        3
1489.07/1489.45	c 1489s |      19 |   799014 |   659982 |     6102    191 |     1489 |        3
1491.17/1491.56	c 1491s |      19 |   800020 |   660982 |     6102    191 |     1489 |        3
1493.17/1493.58	c 1493s |      19 |   800932 |   661882 |     6102    191 |     1489 |        3
1495.27/1495.69	c 1495s |      19 |   801843 |   662782 |     6713    191 |     1489 |        3
1497.87/1498.28	c 1498s |      19 |   802549 |   663482 |     6713    192 |     1489 |        3
1500.07/1500.41	c 1500s |      19 |   803548 |   664482 |     6713    192 |     1489 |        3
1502.16/1502.50	c 1502s |      19 |   804429 |   665382 |     6713    192 |     1489 |        3
1504.26/1504.61	c 1504s |      19 |   805332 |   666282 |     6713    192 |     1489 |        3
1505.36/1505.76	c 1505s |      20 |   805908 |   666827 |     6713    192 |     1489 |        3
1507.56/1507.92	c 1507s |      20 |   806812 |   667527 |     6713    193 |     1489 |        3
1509.87/1510.24	c 1510s |      20 |   807294 |   668027 |     6713    193 |     1489 |        3
1511.96/1512.33	c 1512s |      20 |   808096 |   668827 |     6713    193 |     1489 |        3
1513.96/1514.34	c 1514s |      20 |   808943 |   669627 |     6713    193 |     1489 |        3
1516.06/1516.42	c 1516s |      20 |   809831 |   670527 |     6713    193 |     1489 |        3
1518.26/1518.63	c 1518s |      20 |   811159 |   671627 |     6713    194 |     1489 |        3
1520.46/1520.84	c 1520s |      20 |   812105 |   672527 |     6713    194 |     1489 |        3
1522.46/1522.88	c 1522s |      20 |   813082 |   673527 |     6713    194 |     1489 |        3
1524.56/1524.93	c 1524s |      20 |   814415 |   674727 |     6713    194 |     1489 |        3
1526.66/1527.04	c 1526s |      20 |   815592 |   675827 |     6713    194 |     1489 |        3
1528.76/1529.19	c 1529s |      20 |   816886 |   677127 |     6713    195 |     1489 |        3
1530.85/1531.26	c 1531s |      20 |   818076 |   678327 |     6713    195 |     1489 |        3
1532.95/1533.39	c 1533s |      20 |   819269 |   679427 |     6713    195 |     1489 |        3
1535.15/1535.50	c 1535s |      20 |   820462 |   680427 |     6713    196 |     1489 |        3
1537.25/1537.63	c 1537s |      20 |   821570 |   681527 |     6713    196 |     1489 |        3
1539.35/1539.70	c 1539s |      20 |   822719 |   682527 |     6713    196 |     1489 |        3
1541.35/1541.75	c 1541s |      20 |   823848 |   683527 |     6713    196 |     1489 |        3
1544.55/1544.95	c 1544s |      20 |   824846 |   684427 |     6713    197 |     1489 |        3
1546.65/1547.07	c 1546s |      20 |   826786 |   685527 |     6713    197 |     1489 |        3
1548.95/1549.30	c 1549s |      20 |   828092 |   686627 |     6713    197 |     1489 |        3
1550.95/1551.37	c 1551s |      20 |   829141 |   687527 |     6713    197 |     1489 |        3
1553.14/1553.53	c 1553s |      20 |   830161 |   688427 |     6713    197 |     1489 |        3
1555.25/1555.66	c 1555s |      20 |   830600 |   688827 |     6713    198 |     1489 |        3
1557.35/1557.72	c 1557s |      20 |   831581 |   689727 |     6713    198 |     1489 |        3
1559.44/1559.87	c 1559s |      20 |   832786 |   690727 |     6713    198 |     1489 |        3
1561.64/1562.05	c 1561s |      20 |   833785 |   691627 |     6713    198 |     1489 |        3
1563.84/1564.25	c 1564s |      20 |   834685 |   692527 |     6713    198 |     1489 |        3
1565.94/1566.32	c 1566s |      20 |   835280 |   693127 |     6713    199 |     1489 |        3
1568.04/1568.47	c 1568s |      20 |   836282 |   694127 |     6713    199 |     1489 |        3
1570.24/1570.61	c 1570s |      20 |   837303 |   695127 |     6713    199 |     1489 |        3
1572.34/1572.73	c 1572s |      20 |   838197 |   696027 |     6713    199 |     1489 |        3
1574.44/1574.89	c 1574s |      20 |   839401 |   697027 |     6713    199 |     1489 |        3
1576.44/1576.89	c 1576s |      20 |   841573 |   697927 |     6713    200 |     1489 |        3
1579.23/1579.61	c 1579s |      20 |   844079 |   698927 |     6713    200 |     1489 |        3
1581.33/1581.78	c 1581s |      20 |   844968 |   699827 |     6713    200 |     1489 |        3
1583.53/1583.92	c 1583s |      20 |   846180 |   700827 |     6713    200 |     1489 |        3
1585.53/1585.94	c 1585s |      20 |   848082 |   701627 |     6713    201 |     1489 |        3
1587.63/1588.01	c 1587s |      20 |   849889 |   702427 |     6713    201 |     1489 |        3
1589.63/1590.07	c 1589s |      20 |   852215 |   703327 |     6713    201 |     1489 |        3
1591.83/1592.27	c 1592s |      20 |   853659 |   704227 |     6713    201 |     1489 |        3
1594.03/1594.42	c 1594s |      20 |   854870 |   705027 |     6713    201 |     1489 |        3
1596.13/1596.54	c 1596s |      20 |   856696 |   705927 |     6713    202 |     1489 |        3
1598.23/1598.60	c 1598s |      20 |   857963 |   706627 |     6713    202 |     1489 |        3
1600.43/1600.83	c 1600s |      20 |   859084 |   707527 |     6713    202 |     1489 |        3
1602.54/1602.92	c 1602s |      20 |   861116 |   708427 |     6713    202 |     1489 |        3
1604.53/1604.96	c 1604s |      20 |   863884 |   709427 |     6713    202 |     1489 |        3
1606.53/1606.99	c 1606s |      20 |   864800 |   710227 |     6713    203 |     1489 |        3
1608.63/1609.09	c 1608s |      20 |   865917 |   711127 |     6713    203 |     1489 |        3
1610.72/1611.14	c 1611s |      20 |   867115 |   712027 |     6713    203 |     1489 |        3
1612.82/1613.27	c 1613s |      20 |   868762 |   713027 |     6713    203 |     1489 |        3
1615.02/1615.46	c 1615s |      20 |   869641 |   713927 |     6713    203 |     1489 |        3
1617.22/1617.65	c 1617s |      20 |   870927 |   714927 |     6713    204 |     1489 |        3
1619.32/1619.72	c 1619s |      20 |   872493 |   715927 |     6713    204 |     1489 |        3
1621.42/1621.89	c 1621s |      20 |   878117 |   717027 |     6713    204 |     1489 |        3
1623.52/1623.96	c 1623s |      20 |   883340 |   718127 |     6713    204 |     1489 |        3
1625.62/1626.08	c 1625s |      20 |   884438 |   719027 |     6713    205 |     1489 |        3
1627.72/1628.12	c 1628s |      20 |   885360 |   719927 |     6713    205 |     1489 |        3
1629.72/1630.17	c 1630s |      20 |   886429 |   720927 |     6713    205 |     1489 |        3
1631.81/1632.29	c 1632s |      20 |   887548 |   721927 |     6713    205 |     1489 |        3
1634.11/1634.59	c 1634s |      20 |   888349 |   722727 |     6713    206 |     1489 |        3
1636.21/1636.66	c 1636s |      20 |   889711 |   723527 |     6713    206 |     1489 |        3
1638.21/1638.68	c 1638s |      20 |   890507 |   724327 |     6713    206 |     1489 |        3
1640.31/1640.74	c 1640s |      20 |   891759 |   725227 |     6713    206 |     1489 |        3
1642.41/1642.82	c 1642s |      20 |   892679 |   726127 |     6713    206 |     1489 |        3
1644.51/1644.95	c 1644s |      20 |   893684 |   727127 |     6713    207 |     1489 |        3
1646.71/1647.10	c 1646s |      20 |   894870 |   728027 |     6713    207 |     1489 |        3
1648.81/1649.21	c 1649s |      20 |   895762 |   728927 |     6713    207 |     1489 |        3
1651.01/1651.43	c 1651s |      20 |   897713 |   729827 |     6713    207 |     1489 |        3
1653.11/1653.55	c 1653s |      20 |   901419 |   730627 |     6713    207 |     1489 |        3
1655.31/1655.72	c 1655s |      20 |   904901 |   731527 |     6713    208 |     1489 |        3
1658.01/1658.43	c 1658s |      20 |   909179 |   732627 |     6713    208 |     1489 |        3
1660.20/1660.63	c 1660s |      20 |   910506 |   733527 |     6713    208 |     1489 |        3
1662.30/1662.74	c 1662s |      20 |   911726 |   734327 |     6713    208 |     1489 |        3
1664.50/1664.96	c 1664s |      20 |   912902 |   735227 |     6713    208 |     1489 |        3
1666.50/1666.98	c 1666s |      20 |   914068 |   736127 |     6713    209 |     1489 |        3
1668.80/1669.20	c 1669s |      20 |   915533 |   737127 |     6713    209 |     1489 |        3
1671.00/1671.42	c 1671s |      20 |   916993 |   738027 |     6713    209 |     1489 |        3
1673.09/1673.54	c 1673s |      20 |   918352 |   738927 |     6713    209 |     1489 |        3
1675.29/1675.77	c 1675s |      20 |   919811 |   739927 |     6713    210 |     1489 |        3
1677.49/1677.99	c 1677s |      20 |   921424 |   740927 |     6713    210 |     1489 |        3
1679.69/1680.11	c 1679s |      20 |   922316 |   741827 |     6713    210 |     1489 |        3
1681.89/1682.32	c 1682s |      20 |   923413 |   742827 |     6713    210 |     1489 |        3
1684.09/1684.51	c 1684s |      20 |   924952 |   743727 |     6713    210 |     1489 |        3
1686.19/1686.68	c 1686s |      20 |   926395 |   744627 |     6713    211 |     1489 |        3
1688.39/1688.81	c 1688s |      20 |   927793 |   745627 |     6713    211 |     1489 |        3
1690.59/1691.01	c 1690s |      20 |   928761 |   746527 |     6713    211 |     1489 |        3
1692.69/1693.11	c 1693s |      20 |   929657 |   747427 |     6713    211 |     1489 |        3
1694.69/1695.17	c 1695s |      20 |   930559 |   748327 |     6713    212 |     1489 |        3
1696.89/1697.39	c 1697s |      20 |   931541 |   749327 |     6713    212 |     1489 |        3
1698.99/1699.45	c 1699s |      20 |   932537 |   750327 |     6713    212 |     1489 |        3
1700.98/1701.45	c 1701s |      20 |   933614 |   751327 |     6713    212 |     1489 |        3
1702.98/1703.49	c 1703s |      20 |   934406 |   752127 |     6713    212 |     1489 |        3
1705.08/1705.53	c 1705s |      20 |   935311 |   753027 |     6713    213 |     1489 |        3
1707.18/1707.65	c 1707s |      20 |   936542 |   754227 |     6713    213 |     1489 |        3
1709.28/1709.77	c 1709s |      20 |   937641 |   755327 |     6713    213 |     1489 |        3
1711.38/1711.81	c 1711s |      20 |   938744 |   756427 |     6713    213 |     1489 |        3
1713.38/1713.82	c 1713s |      20 |   940060 |   757727 |     6713    214 |     1489 |        3
1715.48/1715.92	c 1715s |      20 |   941353 |   759027 |     6713    214 |     1489 |        3
1717.58/1718.04	c 1717s |      20 |   942450 |   760127 |     6713    214 |     1489 |        3
1719.88/1720.37	c 1720s |      20 |   943466 |   761127 |     6713    215 |     1489 |        3
1721.97/1722.46	c 1722s |      20 |   944477 |   762127 |     6713    215 |     1489 |        3
1724.07/1724.58	c 1724s |      20 |   945456 |   763127 |     6713    215 |     1489 |        3
1726.17/1726.61	c 1726s |      20 |   946373 |   764027 |     6713    215 |     1489 |        3
1728.27/1728.73	c 1728s |      20 |   947261 |   764927 |     6713    215 |     1489 |        3
1730.47/1730.93	c 1730s |      20 |   948066 |   765727 |     6713    216 |     1489 |        3
1732.66/1733.12	c 1733s |      20 |   948784 |   766427 |     6713    216 |     1489 |        3
1734.76/1735.21	c 1735s |      20 |   949778 |   767427 |     6713    216 |     1489 |        3
1736.86/1737.30	c 1737s |      20 |   950571 |   768227 |     6713    216 |     1489 |        3
1738.96/1739.46	c 1739s |      20 |   951495 |   769127 |     6713    216 |     1489 |        3
1741.16/1741.65	c 1741s |      20 |   952172 |   769827 |     6713    217 |     1489 |        3
1743.36/1743.82	c 1743s |      20 |   952985 |   770627 |     6713    217 |     1489 |        3
1745.36/1745.83	c 1745s |      20 |   953899 |   771527 |     6713    217 |     1489 |        3
1747.36/1747.87	c 1747s |      20 |   954820 |   772427 |     6713    217 |     1489 |        3
1749.46/1749.96	c 1749s |      20 |   955739 |   773327 |     6713    217 |     1489 |        3
1751.65/1752.15	c 1752s |      20 |   956733 |   774027 |     6713    218 |     1489 |        3
1753.65/1754.15	c 1754s |      20 |   957425 |   774527 |     6713    218 |     1489 |        3
1755.85/1756.33	c 1756s |      20 |   959238 |   775627 |     6713    218 |     1489 |        3
1758.05/1758.54	c 1758s |      20 |   960466 |   776727 |     6713    218 |     1489 |        3
1760.25/1760.72	c 1760s |      20 |   962539 |   777727 |     6713    218 |     1489 |        3
1762.35/1762.87	c 1762s |      20 |   963726 |   778427 |     6713    219 |     1489 |        3
1764.45/1764.92	c 1764s |      20 |   966692 |   779427 |     6713    219 |     1489 |        3
1766.55/1767.05	c 1766s |      20 |   969688 |   780427 |     6713    219 |     1489 |        3
1768.65/1769.12	c 1769s |      20 |   971855 |   781327 |     6713    219 |     1489 |        3
1770.84/1771.32	c 1771s |      20 |   972616 |   782127 |     6713    219 |     1489 |        3
1773.14/1773.69	c 1773s |      20 |   973339 |   782827 |     6713    220 |     1489 |        3
1775.24/1775.78	c 1775s |      20 |   974211 |   783727 |     6713    220 |     1489 |        3
1777.24/1777.78	c 1777s |      20 |   975147 |   784627 |     6713    220 |     1489 |        3
1779.44/1779.99	c 1779s |      20 |   976047 |   785527 |     6713    220 |     1489 |        3
1781.64/1782.11	c 1782s |      20 |   976973 |   786427 |     6713    220 |     1489 |        3
1783.74/1784.24	c 1784s |      20 |   977865 |   787327 |     6713    221 |     1489 |        3
1785.94/1786.45	c 1786s |      20 |   978672 |   788027 |     6713    221 |     1489 |        3
1787.94/1788.45	c 1788s |      20 |   981799 |   789027 |     6713    221 |     1489 |        3
1790.04/1790.54	c 1790s |      20 |   983902 |   790027 |     6713    221 |     1489 |        3
1792.34/1792.86	c 1792s |      20 |   984684 |   790827 |     6713    222 |     1489 |        3
1794.44/1794.94	c 1794s |      20 |   985721 |   791827 |     6713    222 |     1489 |        3
1796.54/1797.05	c 1796s |      20 |   986285 |   792427 |     6713    222 |     1489 |        3
1798.54/1799.09	c 1798s |      20 |   987069 |   793227 |     6713    222 |     1489 |        3

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

pid=834
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.38 2.29 2.21 4/179 837
/proc/meminfo: memFree=29467812/32872528 swapFree=1200228/1314692
[pid=837] ppid=834 vsize=383420 CPUtime=0 cores=0,2,4,6
/proc/837/stat : 837 (toysat) R 834 837 31224 0 -1 4202496 1371 0 0 0 0 0 0 0 20 0 4 0 23606307 392622080 2242 33554432000 4194304 16246674 140735901962432 140735901961856 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/837/statm: 96623 2251 441 2943 0 93517 0
[pid=837/tid=838] ppid=834 vsize=683452 CPUtime=0 cores=0,2,4,6
/proc/837/task/838/stat : 838 (toysat) S 834 837 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23606307 699854848 3413 33554432000 4194304 16246674 140735901962432 139759466818800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=837/tid=839] ppid=834 vsize=688572 CPUtime=0 cores=0,2,4,6
/proc/837/task/839/stat : 839 (toysat) S 834 837 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23606307 705097728 3432 33554432000 4194304 16246674 140735901962432 139759456328944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=837/tid=840] ppid=834 vsize=692668 CPUtime=0 cores=0,2,4,6
/proc/837/task/840/stat : 840 (toysat) S 834 837 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23606307 709292032 3448 33554432000 4194304 16246674 140735901962432 139759376657584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100127 s]
/proc/loadavg: 2.38 2.29 2.21 4/179 837
/proc/meminfo: memFree=29467812/32872528 swapFree=1200228/1314692
[pid=837] ppid=834 vsize=1221188 CPUtime=0.08 cores=0,2,4,6
/proc/837/stat : 837 (toysat) R 834 837 31224 0 -1 4202496 30419 0 0 0 4 4 0 0 20 0 4 0 23606307 1250496512 31253 33554432000 4194304 16246674 140735901962432 140735901961856 4221799 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/837/statm: 305297 31257 684 2943 0 302191 0
[pid=837/tid=838] ppid=834 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/837/task/838/stat : 838 (toysat) S 834 837 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23606307 1250496512 31260 33554432000 4194304 16246674 140735901962432 139759466818800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=837/tid=839] ppid=834 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/837/task/839/stat : 839 (toysat) S 834 837 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23606307 1250496512 31263 33554432000 4194304 16246674 140735901962432 139759456328944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=837/tid=840] ppid=834 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/837/task/840/stat : 840 (toysat) S 834 837 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23606307 1250496512 31265 33554432000 4194304 16246674 140735901962432 139759376657584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1221188

[startup+0.200544 s]
/proc/loadavg: 2.38 2.29 2.21 4/179 837
/proc/meminfo: memFree=29467812/32872528 swapFree=1200228/1314692
[pid=837] ppid=834 vsize=1223236 CPUtime=0.19 cores=0,2,4,6
/proc/837/stat : 837 (toysat) R 834 837 31224 0 -1 4202496 31090 0 0 0 14 5 0 0 20 0 4 0 23606307 1252593664 31908 33554432000 4194304 16246674 140735901962432 140735901961744 5600808 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/837/statm: 305809 31908 887 2943 0 302703 0
[pid=837/tid=838] ppid=834 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/837/task/838/stat : 838 (toysat) S 834 837 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23606307 1252593664 31908 33554432000 4194304 16246674 140735901962432 139759466818800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=837/tid=839] ppid=834 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/837/task/839/stat : 839 (toysat) S 834 837 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23606307 1252593664 31908 33554432000 4194304 16246674 140735901962432 139759456328944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=837/tid=840] ppid=834 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/837/task/840/stat : 840 (toysat) S 834 837 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23606307 1252593664 31908 33554432000 4194304 16246674 140735901962432 139759376657584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1223236

[startup+0.300428 s]
/proc/loadavg: 2.38 2.29 2.21 4/179 837
/proc/meminfo: memFree=29467812/32872528 swapFree=1200228/1314692
[pid=837] ppid=834 vsize=1223236 CPUtime=0.28 cores=0,2,4,6
/proc/837/stat : 837 (toysat) R 834 837 31224 0 -1 4202496 35371 0 0 0 23 5 0 0 20 0 4 0 23606307 1252593664 36190 33554432000 4194304 16246674 140735901962432 140735901961744 5662594 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/837/statm: 305809 36198 887 2943 0 302703 0
[pid=837/tid=838] ppid=834 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/837/task/838/stat : 838 (toysat) S 834 837 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23606307 1252593664 36203 33554432000 4194304 16246674 140735901962432 139759466818800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=837/tid=839] ppid=834 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/837/task/839/stat : 839 (toysat) S 834 837 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23606307 1252593664 36208 33554432000 4194304 16246674 140735901962432 139759456328944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=837/tid=840] ppid=834 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/837/task/840/stat : 840 (toysat) S 834 837 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23606307 1252593664 36212 33554432000 4194304 16246674 140735901962432 139759376657584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1223236

[startup+0.700397 s]
/proc/loadavg: 2.38 2.29 2.21 4/179 837
/proc/meminfo: memFree=29467812/32872528 swapFree=1200228/1314692
[pid=837] ppid=834 vsize=1223236 CPUtime=0.68 cores=0,2,4,6
/proc/837/stat : 837 (toysat) R 834 837 31224 0 -1 4202496 81388 0 0 0 57 11 0 0 20 0 4 0 23606307 1252593664 82206 33554432000 4194304 16246674 140735901962432 140735901944320 12476925 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/837/statm: 305809 82215 887 2943 0 302703 0
[pid=837/tid=838] ppid=834 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/837/task/838/stat : 838 (toysat) S 834 837 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23606307 1252593664 82221 33554432000 4194304 16246674 140735901962432 139759466818800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=837/tid=839] ppid=834 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/837/task/839/stat : 839 (toysat) S 834 837 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23606307 1252593664 82224 33554432000 4194304 16246674 140735901962432 139759456328944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=837/tid=840] ppid=834 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/837/task/840/stat : 840 (toysat) S 834 837 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23606307 1252593664 82228 33554432000 4194304 16246674 140735901962432 139759376657584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1223236

[startup+1.5004 s]
/proc/loadavg: 2.38 2.29 2.21 3/183 841
/proc/meminfo: memFree=28874272/32872528 swapFree=1200228/1314692
[pid=837] ppid=834 vsize=1223236 CPUtime=1.49 cores=0,2,4,6
/proc/837/stat : 837 (toysat) R 834 837 31224 0 -1 4202496 185778 0 0 0 124 25 0 0 20 0 4 0 23606307 1252593664 186596 33554432000 4194304 16246674 140735901962432 140735901944320 13780501 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/837/statm: 305809 186600 887 2943 0 302703 0
[pid=837/tid=838] ppid=834 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/837/task/838/stat : 838 (toysat) S 834 837 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23606307 1252593664 186604 33554432000 4194304 16246674 140735901962432 139759466818800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=837/tid=839] ppid=834 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/837/task/839/stat : 839 (toysat) S 834 837 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23606307 1252593664 186612 33554432000 4194304 16246674 140735901962432 139759456328944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=837/tid=840] ppid=834 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/837/task/840/stat : 840 (toysat) S 834 837 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23606307 1252593664 186618 33554432000 4194304 16246674 140735901962432 139759376657584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1223236

[startup+3.1004 s]
/proc/loadavg: 2.38 2.29 2.21 3/183 841
/proc/meminfo: memFree=28401468/32872528 swapFree=1200228/1314692
[pid=837] ppid=834 vsize=1299012 CPUtime=3.08 cores=0,2,4,6
/proc/837/stat : 837 (toysat) R 834 837 31224 0 -1 4202496 265833 0 0 0 274 34 0 0 20 0 4 0 23606307 1330188288 266651 33554432000 4194304 16246674 140735901962432 140735901944320 12470516 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/837/statm: 324753 266651 894 2943 0 321647 0
[pid=837/tid=838] ppid=834 vsize=1299012 CPUtime=0 cores=0,2,4,6
/proc/837/task/838/stat : 838 (toysat) S 834 837 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23606307 1330188288 266651 33554432000 4194304 16246674 140735901962432 139759466818800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=837/tid=839] ppid=834 vsize=1299012 CPUtime=0 cores=0,2,4,6
/proc/837/task/839/stat : 839 (toysat) S 834 837 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23606307 1330188288 266651 33554432000 4194304 16246674 140735901962432 139759456328944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=837/tid=840] ppid=834 vsize=1299012 CPUtime=0 cores=0,2,4,6
/proc/837/task/840/stat : 840 (toysat) S 834 837 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23606307 1330188288 266651 33554432000 4194304 16246674 140735901962432 139759376657584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1299012

[startup+6.3004 s]
/proc/loadavg: 2.35 2.28 2.21 3/183 841
/proc/meminfo: memFree=28392676/32872528 swapFree=1200228/1314692
[pid=837] ppid=834 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/837/stat : 837 (toysat) R 834 837 31224 0 -1 4202496 268236 0 0 0 594 35 0 0 20 0 4 0 23606307 1339625472 269054 33554432000 4194304 16246674 140735901962432 140735901944320 5754966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/837/statm: 327057 269054 899 2943 0 323951 0
[pid=837/tid=838] ppid=834 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/837/task/838/stat : 838 (toysat) S 834 837 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23606307 1339625472 269054 33554432000 4194304 16246674 140735901962432 139759466818800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=837/tid=839] ppid=834 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/837/task/839/stat : 839 (toysat) S 834 837 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23606307 1339625472 269054 33554432000 4194304 16246674 140735901962432 139759456328944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=837/tid=840] ppid=834 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/837/task/840/stat : 840 (toysat) S 834 837 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23606307 1339625472 269054 33554432000 4194304 16246674 140735901962432 139759376657584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.32 2.28 2.20 3/183 841
/proc/meminfo: memFree=28390284/32872528 swapFree=1200228/1314692
[pid=837] ppid=834 vsize=1310276 CPUtime=12.69 cores=0,2,4,6
/proc/837/stat : 837 (toysat) R 834 837 31224 0 -1 4202496 268577 0 0 0 1234 35 0 0 20 0 4 0 23606307 1341722624 269395 33554432000 4194304 16246674 140735901962432 140735901944320 6012046 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/837/statm: 327569 269395 900 2943 0 324463 0
[pid=837/tid=838] ppid=834 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/837/task/838/stat : 838 (toysat) S 834 837 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23606307 1341722624 269395 33554432000 4194304 16246674 140735901962432 139759466818800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=837/tid=839] ppid=834 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/837/task/839/stat : 839 (toysat) S 834 837 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23606307 1341722624 269395 33554432000 4194304 16246674 140735901962432 139759456328944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=837/tid=840] ppid=834 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/837/task/840/stat : 840 (toysat) S 834 837 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23606307 1341722624 269395 33554432000 4194304 16246674 140735901962432 139759376657584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1310276

[startup+25.5073 s]
/proc/loadavg: 2.25 2.26 2.20 3/183 841
/proc/meminfo: memFree=28389100/32872528 swapFree=1200228/1314692
[pid=837] ppid=834 vsize=1311300 CPUtime=25.5 cores=0,2,4,6
/proc/837/stat : 837 (toysat) R 834 837 31224 0 -1 4202496 269005 0 0 0 2515 35 0 0 20 0 4 0 23606307 1342771200 269823 33554432000 4194304 16246674 140735901962432 140735901944320 6836224 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/837/statm: 327825 269823 900 2943 0 324719 0
[pid=837/tid=838] ppid=834 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/837/task/838/stat : 838 (toysat) S 834 837 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23606307 1342771200 269823 33554432000 4194304 16246674 140735901962432 139759466818800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=837/tid=839] ppid=834 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/837/task/839/stat : 839 (toysat) S 834 837 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23606307 1342771200 269823 33554432000 4194304 16246674 140735901962432 139759456328944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=837/tid=840] ppid=834 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/837/task/840/stat : 840 (toysat) S 834 837 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23606307 1342771200 269823 33554432000 4194304 16246674 140735901962432 139759376657584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1311300

[startup+51.1004 s]
/proc/loadavg: 2.24 2.26 2.20 3/183 841
/proc/meminfo: memFree=28382036/32872528 swapFree=1200228/1314692
[pid=837] ppid=834 vsize=1318468 CPUtime=51.08 cores=0,2,4,6
/proc/837/stat : 837 (toysat) R 834 837 31224 0 -1 4202496 270767 0 0 0 5073 35 0 0 20 0 4 0 23606307 1350111232 271585 33554432000 4194304 16246674 140735901962432 140735901944320 5711423 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/837/statm: 329617 271585 900 2943 0 326511 0
[pid=837/tid=838] ppid=834 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/837/task/838/stat : 838 (toysat) S 834 837 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23606307 1350111232 271585 33554432000 4194304 16246674 140735901962432 139759466818800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=837/tid=839] ppid=834 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/837/task/839/stat : 839 (toysat) S 834 837 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23606307 1350111232 271585 33554432000 4194304 16246674 140735901962432 139759456328944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=837/tid=840] ppid=834 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/837/task/840/stat : 840 (toysat) S 834 837 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23606307 1350111232 271585 33554432000 4194304 16246674 140735901962432 139759376657584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1318468

[startup+102.3 s]
/proc/loadavg: 2.21 2.25 2.19 3/183 842
/proc/meminfo: memFree=28372020/32872528 swapFree=1200228/1314692
[pid=837] ppid=834 vsize=1318468 CPUtime=102.27 cores=0,2,4,6
/proc/837/stat : 837 (toysat) R 834 837 31224 0 -1 4202496 270797 0 0 0 10192 35 0 0 20 0 4 0 23606307 1350111232 271615 33554432000 4194304 16246674 140735901962432 140735901944320 5711968 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/837/statm: 329617 271615 900 2943 0 326511 0
[pid=837/tid=838] ppid=834 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/837/task/838/stat : 838 (toysat) S 834 837 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23606307 1350111232 271615 33554432000 4194304 16246674 140735901962432 139759466818800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=837/tid=839] ppid=834 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/837/task/839/stat : 839 (toysat) S 834 837 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23606307 1350111232 271615 33554432000 4194304 16246674 140735901962432 139759456328944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=837/tid=840] ppid=834 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/837/task/840/stat : 840 (toysat) S 834 837 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23606307 1350111232 271615 33554432000 4194304 16246674 140735901962432 139759376657584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1318468


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

/proc/837/task/840/stat : 840 (toysat) S 834 837 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23606307 1362694144 274691 33554432000 4194304 16246674 140735901962432 139759376657584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 1330756

[startup+1302.3 s]
/proc/loadavg: 2.20 2.18 2.18 3/183 872
/proc/meminfo: memFree=28316096/32872528 swapFree=1200228/1314692
[pid=837] ppid=834 vsize=1330756 CPUtime=1302.06 cores=0,2,4,6
/proc/837/stat : 837 (toysat) R 834 837 31224 0 -1 4202496 273940 0 0 0 130164 42 0 0 20 0 4 0 23606307 1362694144 274691 33554432000 4194304 16246674 140735901962432 140735901944320 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/837/statm: 332689 274691 901 2943 0 329583 0
[pid=837/tid=838] ppid=834 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/837/task/838/stat : 838 (toysat) S 834 837 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23606307 1362694144 274691 33554432000 4194304 16246674 140735901962432 139759466818800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=837/tid=839] ppid=834 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/837/task/839/stat : 839 (toysat) S 834 837 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23606307 1362694144 274691 33554432000 4194304 16246674 140735901962432 139759456328944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=837/tid=840] ppid=834 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/837/task/840/stat : 840 (toysat) S 834 837 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23606307 1362694144 274691 33554432000 4194304 16246674 140735901962432 139759376657584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 1330756

[startup+1362.3 s]
/proc/loadavg: 2.16 2.17 2.17 4/183 873
/proc/meminfo: memFree=28306088/32872528 swapFree=1200228/1314692
[pid=837] ppid=834 vsize=1340996 CPUtime=1362.03 cores=0,2,4,6
/proc/837/stat : 837 (toysat) R 834 837 31224 0 -1 4202496 276528 0 0 0 136160 43 0 0 20 0 4 0 23606307 1373179904 277251 33554432000 4194304 16246674 140735901962432 140735901944320 12415796 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/837/statm: 335249 277251 901 2943 0 332143 0
[pid=837/tid=838] ppid=834 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/837/task/838/stat : 838 (toysat) S 834 837 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23606307 1373179904 277251 33554432000 4194304 16246674 140735901962432 139759466818800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=837/tid=839] ppid=834 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/837/task/839/stat : 839 (toysat) S 834 837 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23606307 1373179904 277251 33554432000 4194304 16246674 140735901962432 139759456328944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=837/tid=840] ppid=834 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/837/task/840/stat : 840 (toysat) S 834 837 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23606307 1373179904 277251 33554432000 4194304 16246674 140735901962432 139759376657584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 1340996

[startup+1422.3 s]
/proc/loadavg: 2.11 2.15 2.17 3/184 878
/proc/meminfo: memFree=28305632/32872528 swapFree=1200228/1314692
[pid=837] ppid=834 vsize=1340996 CPUtime=1422 cores=0,2,4,6
/proc/837/stat : 837 (toysat) R 834 837 31224 0 -1 4202496 276562 0 0 0 142157 43 0 0 20 0 4 0 23606307 1373179904 277251 33554432000 4194304 16246674 140735901962432 140735901944320 5711552 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/837/statm: 335249 277251 901 2943 0 332143 0
[pid=837/tid=838] ppid=834 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/837/task/838/stat : 838 (toysat) S 834 837 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23606307 1373179904 277251 33554432000 4194304 16246674 140735901962432 139759466818800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=837/tid=839] ppid=834 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/837/task/839/stat : 839 (toysat) S 834 837 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23606307 1373179904 277251 33554432000 4194304 16246674 140735901962432 139759456328944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=837/tid=840] ppid=834 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/837/task/840/stat : 840 (toysat) S 834 837 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23606307 1373179904 277251 33554432000 4194304 16246674 140735901962432 139759376657584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 1340996

[startup+1482.3 s]
/proc/loadavg: 2.15 2.15 2.17 3/183 879
/proc/meminfo: memFree=28305600/32872528 swapFree=1200228/1314692
[pid=837] ppid=834 vsize=1340996 CPUtime=1481.97 cores=0,2,4,6
/proc/837/stat : 837 (toysat) R 834 837 31224 0 -1 4202496 276589 0 0 0 148154 43 0 0 20 0 4 0 23606307 1373179904 277251 33554432000 4194304 16246674 140735901962432 140735901944320 5823037 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/837/statm: 335249 277251 901 2943 0 332143 0
[pid=837/tid=838] ppid=834 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/837/task/838/stat : 838 (toysat) S 834 837 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23606307 1373179904 277251 33554432000 4194304 16246674 140735901962432 139759466818800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=837/tid=839] ppid=834 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/837/task/839/stat : 839 (toysat) S 834 837 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23606307 1373179904 277251 33554432000 4194304 16246674 140735901962432 139759456328944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=837/tid=840] ppid=834 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/837/task/840/stat : 840 (toysat) S 834 837 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23606307 1373179904 277251 33554432000 4194304 16246674 140735901962432 139759376657584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 1340996

[startup+1542.3 s]
/proc/loadavg: 2.12 2.14 2.16 3/183 929
/proc/meminfo: memFree=28395016/32872528 swapFree=1200228/1314692
[pid=837] ppid=834 vsize=1340996 CPUtime=1541.95 cores=0,2,4,6
/proc/837/stat : 837 (toysat) R 834 837 31224 0 -1 4202496 276628 0 0 0 154151 44 0 0 20 0 4 0 23606307 1373179904 277251 33554432000 4194304 16246674 140735901962432 140735901944320 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/837/statm: 335249 277251 901 2943 0 332143 0
[pid=837/tid=838] ppid=834 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/837/task/838/stat : 838 (toysat) S 834 837 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23606307 1373179904 277251 33554432000 4194304 16246674 140735901962432 139759466818800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=837/tid=839] ppid=834 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/837/task/839/stat : 839 (toysat) S 834 837 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23606307 1373179904 277251 33554432000 4194304 16246674 140735901962432 139759456328944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=837/tid=840] ppid=834 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/837/task/840/stat : 840 (toysat) S 834 837 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23606307 1373179904 277251 33554432000 4194304 16246674 140735901962432 139759376657584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 1340996

[startup+1602.3 s]
/proc/loadavg: 2.23 2.16 2.16 3/183 930
/proc/meminfo: memFree=28391556/32872528 swapFree=1200228/1314692
[pid=837] ppid=834 vsize=1340996 CPUtime=1601.93 cores=0,2,4,6
/proc/837/stat : 837 (toysat) R 834 837 31224 0 -1 4202496 276655 0 0 0 160148 45 0 0 20 0 4 0 23606307 1373179904 277251 33554432000 4194304 16246674 140735901962432 140735901944320 5600068 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/837/statm: 335249 277251 901 2943 0 332143 0
[pid=837/tid=838] ppid=834 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/837/task/838/stat : 838 (toysat) S 834 837 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23606307 1373179904 277251 33554432000 4194304 16246674 140735901962432 139759466818800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=837/tid=839] ppid=834 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/837/task/839/stat : 839 (toysat) S 834 837 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23606307 1373179904 277251 33554432000 4194304 16246674 140735901962432 139759456328944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=837/tid=840] ppid=834 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/837/task/840/stat : 840 (toysat) S 834 837 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23606307 1373179904 277251 33554432000 4194304 16246674 140735901962432 139759376657584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 1340996

[startup+1662.31 s]
/proc/loadavg: 2.21 2.16 2.16 3/183 931
/proc/meminfo: memFree=28391576/32872528 swapFree=1200228/1314692
[pid=837] ppid=834 vsize=1340996 CPUtime=1661.91 cores=0,2,4,6
/proc/837/stat : 837 (toysat) R 834 837 31224 0 -1 4202496 276689 0 0 0 166146 45 0 0 20 0 4 0 23606307 1373179904 277251 33554432000 4194304 16246674 140735901962432 140735901944320 5712604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/837/statm: 335249 277251 901 2943 0 332143 0
[pid=837/tid=838] ppid=834 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/837/task/838/stat : 838 (toysat) S 834 837 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23606307 1373179904 277251 33554432000 4194304 16246674 140735901962432 139759466818800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=837/tid=839] ppid=834 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/837/task/839/stat : 839 (toysat) S 834 837 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23606307 1373179904 277251 33554432000 4194304 16246674 140735901962432 139759456328944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=837/tid=840] ppid=834 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/837/task/840/stat : 840 (toysat) S 834 837 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23606307 1373179904 277251 33554432000 4194304 16246674 140735901962432 139759376657584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 1340996

[startup+1722.3 s]
/proc/loadavg: 2.35 2.20 2.18 3/183 933
/proc/meminfo: memFree=28387252/32872528 swapFree=1200228/1314692
[pid=837] ppid=834 vsize=1342020 CPUtime=1721.87 cores=0,2,4,6
/proc/837/stat : 837 (toysat) R 834 837 31224 0 -1 4202496 276802 0 0 0 172142 45 0 0 20 0 4 0 23606307 1374228480 277326 33554432000 4194304 16246674 140735901962432 140735901944320 12477752 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/837/statm: 335505 277326 901 2943 0 332399 0
[pid=837/tid=838] ppid=834 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/837/task/838/stat : 838 (toysat) S 834 837 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23606307 1374228480 277326 33554432000 4194304 16246674 140735901962432 139759466818800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=837/tid=839] ppid=834 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/837/task/839/stat : 839 (toysat) S 834 837 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23606307 1374228480 277326 33554432000 4194304 16246674 140735901962432 139759456328944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=837/tid=840] ppid=834 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/837/task/840/stat : 840 (toysat) S 834 837 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23606307 1374228480 277326 33554432000 4194304 16246674 140735901962432 139759376657584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1342020

[startup+1782.3 s]
/proc/loadavg: 2.31 2.21 2.18 3/183 934
/proc/meminfo: memFree=28362844/32872528 swapFree=1200228/1314692
[pid=837] ppid=834 vsize=1342020 CPUtime=1781.84 cores=0,2,4,6
/proc/837/stat : 837 (toysat) R 834 837 31224 0 -1 4202496 277017 0 0 0 178139 45 0 0 20 0 4 0 23606307 1374228480 277507 33554432000 4194304 16246674 140735901962432 140735901944320 6012004 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/837/statm: 335505 277507 901 2943 0 332399 0
[pid=837/tid=838] ppid=834 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/837/task/838/stat : 838 (toysat) S 834 837 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23606307 1374228480 277507 33554432000 4194304 16246674 140735901962432 139759466818800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=837/tid=839] ppid=834 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/837/task/839/stat : 839 (toysat) S 834 837 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23606307 1374228480 277507 33554432000 4194304 16246674 140735901962432 139759456328944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=837/tid=840] ppid=834 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/837/task/840/stat : 840 (toysat) S 834 837 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23606307 1374228480 277507 33554432000 4194304 16246674 140735901962432 139759376657584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1342020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.30 2.21 2.18 3/183 934
/proc/meminfo: memFree=28362708/32872528 swapFree=1200228/1314692
[pid=837] ppid=834 vsize=1342020 CPUtime=1800.04 cores=0,2,4,6
/proc/837/stat : 837 (toysat) R 834 837 31224 0 -1 4202496 277017 0 0 0 179958 46 0 0 20 0 4 0 23606307 1374228480 277507 33554432000 4194304 16246674 140735901962432 140735901944320 13775098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/837/statm: 335505 277507 901 2943 0 332399 0
[pid=837/tid=838] ppid=834 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/837/task/838/stat : 838 (toysat) S 834 837 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23606307 1374228480 277507 33554432000 4194304 16246674 140735901962432 139759466818800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=837/tid=839] ppid=834 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/837/task/839/stat : 839 (toysat) S 834 837 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23606307 1374228480 277507 33554432000 4194304 16246674 140735901962432 139759456328944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=837/tid=840] ppid=834 vsize=1342020 CPUtime=0 cores=0,2,4,6
/proc/837/task/840/stat : 840 (toysat) S 834 837 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23606307 1374228480 277507 33554432000 4194304 16246674 140735901962432 139759376657584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1342020

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1799.59
CPU system time (s): 0.463929
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (KiB): 1342020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.463929
maximum resident set size= 1110028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277017
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= 347
involuntary context switches= 1841

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3894 second user time and 15.5116 second system time

The end

Launcher Data 

Begin job on node131 at 2016-06-18 04:06:38
IDJOB=4100633
IDBENCH=1642
IDSOLVER=2542
FILE ID=node131/4100633-1466215598
RUNJOBID= node131-1466206062-31240
PBS_JOBID= 19918146
Free space on /tmp= 71688 MiB

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

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

MD5SUM BENCH= 6a8d837851671f69c34bdd14861bc7ba
RANDOM SEED=664391121

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.752
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.752
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.57
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.752
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:        29467704 kB
Buffers:           98796 kB
Cached:           121320 kB
SwapCached:         1508 kB
Active:          1229616 kB
Inactive:         126144 kB
Active(anon):    1135600 kB
Inactive(anon):     2680 kB
Active(file):      94016 kB
Inactive(file):   123464 kB
Unevictable:     1314692 kB
Mlocked:         1200228 kB
SwapTotal:      67108856 kB
SwapFree:       67099852 kB
Dirty:             16312 kB
Writeback:             0 kB
AnonPages:       2531868 kB
Mapped:            10860 kB
Shmem:                 0 kB
Slab:             600532 kB
SReclaimable:      44676 kB
SUnreclaim:       555856 kB
KernelStack:        1520 kB
PageTables:         8836 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2592728 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    200704 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= 71672 MiB
End job on node131 at 2016-06-18 04:36:38