Trace number 4093711

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.08 1800.61

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-35-30--soft-0-100-0.wbo
MD5SUM169186b65db4bc0391cc8aa4ed776345
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark1800.03
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1050
Total number of constraints65
Number of soft constraints65
Number of constraints which are clauses35
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint35
Top cost 3654
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 3653
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 36
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T18:11:40+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--wbo","--search=bcd2","HOME/instance-4093711-1466093500.wbo"]
0.00/0.01	c use --random-gen="890274268 1025921223 2126835548 3051897294 3779148274 196627269 457835239 3990032718 622672564 4275626706 3398845492 780043824 4198282623 4185173136 606744175 1165026765 3122032295 1769947638 1965923822 3863297880 1663157713 1132882746 3209204164 3956201676 1290360431 2523574157 687527346 2114229582 3794707644 4219570134 1872551050 169832070 4273649488 2219305237 3283810969 1232120970 942657427 2574135541 1135941607 2671446161 2197391130 4031057787 2904509979 3130923359 2810883449 3237289974 1628930335 3025948911 776163391 2481952782 3676776603 735685584 2928057841 2974865172 2418607122 1538529053 2429794667 3352287614 3798993795 2067800402 2630976201 4259697675 3123427535 2957951807 3670174439 4178095992 2076392575 837135336 2530274428 201301239 1210296194 2934740011 1499852180 3047323804 3822085701 2937493105 626692119 2816962130 3174561195 2937415304 2888948265 1523474827 1877713614 3739308057 2073758730 2651778105 837290259 3838533506 2489120731 1709469311 1717200196 2907082821 2488669469 356581102 1269797316 608447989 1884729396 193817199 3406236052 3920658481 3472790736 1593179034 3401017541 2932611687 4250381850 1844034247 70617413 586426980 135858430 1361527327 3036080670 31218000 1891141573 767946175 1741784597 3697983396 2215246408 1256490808 3919904874 3069073297 3168880365 1397499150 3148077253 950071770 1811936257 3776814494 3756999354 2942622257 1086304351 1687722325 3882698526 3466206093 741535580 540931033 3583437941 3589495616 1746366188 2121830632 3505764593 788927899 1679312018 2545008245 356818982 3172025057 2593563370 3057076543 2752988609 1090425502 2278156867 2006760183 1779804382 3417514567 1316935548 2617865470 3118507642 2313197178 3629007847 4069357556 3203522280 219211586 8879877 4140350982 377270422 2004743926 437487036 1909722946 1073670423 1347080690 2430482632 3590890030 911192279 3407739597 3859524515 176837655 2087204731 2352398143 3515464415 157953365 514901339 3841061107 4214989860 1545975920 398731243 1740978643 2057896706 3004388715 2491160957 3948622362 382077249 1302656504 2461176362 874588632 3013453107 4272478280 4030714118 3252678733 569234228 3205823933 1640111372 3747631536 2118975170 3508275814 4077912432 220112203 2959567108 2537420896 2171643333 2900961374 592704510 2795018312 285521776 856454458 1827296757 662545458 3569182993 1569957230 4178252701 2478971967 1696447453 667683302 557831053 1626649731 4092308729 3564135325 2808248315 4107296888 3378373933 2990280405 9044419 3482804512 3876031600 15549626 3723968361 3909256928 1328451413 216632829 3380963769 1820260624 2635421240 1210966610 3394470611 965960413 1451837053 1831028637 3843379309 1664331544 1486857585 859540239 2548098272 4134539783 1849209384 1771127716 571117109 110260766 891580361 136151903 255 362436" option to reproduce the execution
0.00/0.05	c #vars 1050
0.00/0.05	c #constraints 65
0.00/0.06	c BCD2: Hardening is enabled.
0.00/0.06	c BCD2: BiasedSearch is enabled.
0.00/0.06	c Solving starts ...
0.00/0.06	c ============================[ Search Statistics ]============================
0.00/0.06	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.06	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.06	c =============================================================================
0.00/0.06	c  0.0s |       0 |        0 |        0 |      393      0 |        0 |        0
0.00/0.06	c  0.0s |       0 |       95 |        0 |      393      0 |        0 |        0
0.00/0.06	c #cpu_time = 0.001s
0.00/0.06	c #wall_clock_time = 0.001s
0.00/0.06	c #decision = 95
0.00/0.06	c #random_decision = 0
0.00/0.06	c #conflict = 0
0.00/0.06	c #restart = 0
0.00/0.06	o 1655
0.00/0.06	c BCD2: updating upper bound: 3653 -> 1654
0.00/0.06	c BCD2: 0 <= obj <= 1654
0.00/0.06	c BCD2: #cores=0, #unrelaxed=65, #relaxed=0, #hardened=0
0.00/0.06	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.06	c Solving starts ...
0.00/0.06	c ============================[ Search Statistics ]============================
0.00/0.06	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.06	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.06	c =============================================================================
0.00/0.06	c  0.0s |       0 |        0 |        0 |      393      0 |        0 |        0
0.00/0.09	c  0.0s |       1 |      208 |      100 |      393      0 |        0 |        0
0.09/0.18	c  0.1s |       2 |      764 |      250 |      433      0 |        0 |        0
0.39/0.43	c  0.4s |       3 |     1634 |      475 |      477      0 |        0 |        0
0.69/0.74	c  0.7s |       4 |     2541 |      813 |      525      0 |        0 |        0
0.99/1.07	c  1.0s |       5 |     3617 |     1320 |      578      1 |        0 |        0
1.48/1.50	c  1.4s |       6 |     5050 |     2081 |      700      2 |        0 |        0
2.39/2.45	c  2.4s |       7 |     7639 |     3223 |      771      3 |        0 |        0
3.99/4.01	c  3.9s |       8 |    10736 |     4936 |      849      6 |        0 |        0
5.99/6.03	c  6.0s |       8 |    14005 |     7336 |      849      9 |        0 |        0
6.19/6.22	c  6.2s |       9 |    14200 |     7506 |      934      9 |        0 |        0
8.19/8.24	c  8.2s |       9 |    17914 |     9806 |      934     12 |        0 |        0
10.09/10.14	c 10.1s |      10 |    19957 |    11361 |     1028     13 |        0 |        0
12.09/12.20	c 12.1s |      10 |    23664 |    14061 |     1028     16 |        0 |        0
14.19/14.20	c 14.1s |      10 |    25909 |    16061 |     1028     18 |        0 |        0
15.09/15.19	c 15.1s |      11 |    27138 |    17144 |     1131     19 |        0 |        0
17.19/17.26	c 17.2s |      11 |    30423 |    19044 |     1131     21 |        0 |        0
19.39/19.43	c 19.4s |      11 |    32797 |    20744 |     1131     23 |        0 |        0
21.48/21.53	c 21.5s |      11 |    35180 |    22744 |     1131     24 |        0 |        0
23.48/23.56	c 23.5s |      11 |    37291 |    24344 |     1131     26 |        0 |        0
25.39/25.46	c 25.4s |      12 |    39451 |    25819 |     1245     27 |        0 |        0
27.49/27.57	c 27.5s |      12 |    43089 |    28219 |     1245     29 |        0 |        0
29.58/29.60	c 29.5s |      12 |    45120 |    30019 |     1245     31 |        0 |        0
31.58/31.62	c 31.6s |      12 |    47152 |    31819 |     1245     33 |        0 |        0
33.58/33.69	c 33.6s |      12 |    49281 |    33719 |     1245     34 |        0 |        0
35.68/35.78	c 35.7s |      12 |    51270 |    35519 |     1245     36 |        0 |        0
37.78/37.80	c 37.7s |      12 |    53129 |    37219 |     1245     37 |        0 |        0
39.59/39.68	c 39.6s |      13 |    54898 |    38832 |     1370     39 |        0 |        0
41.68/41.73	c 41.7s |      13 |    58038 |    41032 |     1370     41 |        0 |        0
43.68/43.74	c 43.7s |      13 |    60191 |    42932 |     1370     43 |        0 |        0
45.68/45.76	c 45.7s |      13 |    62232 |    44732 |     1370     44 |        0 |        0
47.68/47.78	c 47.7s |      13 |    64409 |    46632 |     1370     46 |        0 |        0
49.78/49.81	c 49.7s |      13 |    66531 |    48532 |     1370     47 |        0 |        0
51.78/51.81	c 51.7s |      13 |    68494 |    50332 |     1370     49 |        0 |        0
53.88/53.93	c 53.9s |      13 |    70932 |    52432 |     1370     50 |        0 |        0
55.88/55.95	c 55.9s |      13 |    72809 |    54032 |     1370     52 |        0 |        0
57.88/57.97	c 57.9s |      13 |    74766 |    55732 |     1370     53 |        0 |        0
59.98/60.04	c 60.0s |      13 |    76937 |    57632 |     1370     55 |        0 |        0
60.88/60.93	c 60.9s |      14 |    77738 |    58352 |     1508     55 |        0 |        0
62.88/62.95	c 62.9s |      14 |    80838 |    60452 |     1508     57 |        0 |        0
64.98/65.05	c 65.0s |      14 |    82869 |    62252 |     1508     58 |        0 |        0
67.08/67.15	c 67.1s |      14 |    85124 |    64152 |     1508     60 |        0 |        0
69.07/69.18	c 69.1s |      14 |    87134 |    65952 |     1508     61 |        0 |        0
71.17/71.22	c 71.2s |      14 |    89029 |    67652 |     1508     63 |        0 |        0
73.27/73.31	c 73.2s |      14 |    90868 |    69252 |     1508     64 |        0 |        0
75.27/75.31	c 75.2s |      14 |    92300 |    70552 |     1508     65 |        0 |        0
77.37/77.48	c 77.4s |      14 |    94321 |    72352 |     1508     67 |        0 |        0
79.47/79.54	c 79.5s |      14 |    96237 |    74052 |     1508     68 |        0 |        0
81.57/81.62	c 81.6s |      14 |    98012 |    75652 |     1508     69 |        0 |        0
83.58/83.65	c 83.6s |      14 |    99792 |    77252 |     1508     70 |        0 |        0
85.67/85.77	c 85.7s |      14 |   101705 |    78952 |     1508     72 |        0 |        0
87.67/87.78	c 87.7s |      14 |   103470 |    80552 |     1508     73 |        0 |        0
89.77/89.82	c 89.8s |      14 |   105412 |    82252 |     1508     74 |        0 |        0
91.87/91.91	c 91.8s |      14 |   107297 |    83952 |     1508     76 |        0 |        0
93.87/93.95	c 93.9s |      14 |   109238 |    85652 |     1508     77 |        0 |        0
95.97/96.06	c 96.0s |      14 |   111271 |    87452 |     1659     78 |        0 |        0
96.27/96.31	c 96.2s |      15 |   111494 |    87632 |     1659     78 |        0 |        0
98.27/98.36	c 98.3s |      15 |   114564 |    89832 |     1659     80 |        0 |        0
100.37/100.40	c  100s |      15 |   116571 |    91532 |     1659     81 |        0 |        0
102.47/102.50	c  102s |      15 |   118398 |    93132 |     1659     83 |        0 |        0
104.48/104.52	c  104s |      15 |   120093 |    94632 |     1659     84 |        0 |        0
106.57/106.64	c  106s |      15 |   121905 |    96232 |     1659     85 |        0 |        0
108.58/108.66	c  108s |      15 |   123526 |    97632 |     1659     86 |        0 |        0
110.68/110.78	c  110s |      15 |   125295 |    99132 |     1659     87 |        0 |        0
112.77/112.84	c  112s |      15 |   127197 |   100732 |     1659     88 |        0 |        0
114.87/114.98	c  114s |      15 |   129061 |   102332 |     1659     90 |        0 |        0
116.97/117.00	c  116s |      15 |   130774 |   103832 |     1659     91 |        0 |        0
118.97/119.08	c  119s |      15 |   132601 |   105432 |     1659     92 |        0 |        0
121.08/121.17	c  121s |      15 |   134174 |   106832 |     1659     93 |        0 |        0
123.18/123.30	c  123s |      15 |   135925 |   108332 |     1659     94 |        0 |        0
125.38/125.41	c  125s |      15 |   137400 |   109632 |     1659     95 |        0 |        0
127.47/127.54	c  127s |      15 |   138877 |   110932 |     1659     96 |        0 |        0
129.57/129.66	c  129s |      15 |   140356 |   112232 |     1659     97 |        0 |        0
131.67/131.73	c  131s |      15 |   141870 |   113532 |     1659     98 |        0 |        0
133.67/133.75	c  133s |      15 |   143414 |   114832 |     1659     99 |        0 |        0
135.67/135.79	c  135s |      15 |   144800 |   116032 |     1659    100 |        0 |        0
137.77/137.80	c  137s |      15 |   146489 |   117532 |     1659    101 |        0 |        0
139.87/139.91	c  139s |      15 |   148075 |   118932 |     1659    102 |        0 |        0
141.88/141.99	c  141s |      15 |   149529 |   120232 |     1659    103 |        0 |        0
144.08/144.12	c  144s |      15 |   150969 |   121532 |     1659    104 |        0 |        0
146.07/146.19	c  146s |      15 |   152491 |   122832 |     1659    105 |        0 |        0
148.17/148.29	c  148s |      15 |   153845 |   124032 |     1659    106 |        0 |        0
150.27/150.35	c  150s |      15 |   155114 |   125132 |     1659    107 |        0 |        0
152.27/152.39	c  152s |      15 |   156249 |   126132 |     1659    107 |        0 |        0
154.47/154.56	c  154s |      15 |   157601 |   127332 |     1659    108 |        0 |        0
156.67/156.70	c  156s |      15 |   158741 |   128332 |     1659    109 |        0 |        0
158.67/158.72	c  158s |      15 |   159753 |   129232 |     1659    110 |        0 |        0
160.77/160.89	c  160s |      15 |   160880 |   130232 |     1659    111 |        0 |        0
162.87/162.92	c  162s |      15 |   162170 |   131332 |     1825    111 |        0 |        0
163.27/163.39	c  163s |      16 |   162417 |   131552 |     1825    111 |        0 |        0
165.47/165.52	c  165s |      16 |   164736 |   133152 |     1825    113 |        0 |        0
167.46/167.54	c  167s |      16 |   166442 |   134652 |     1825    114 |        0 |        0
169.47/169.56	c  169s |      16 |   168255 |   136252 |     1825    116 |        0 |        0
171.57/171.61	c  171s |      16 |   169997 |   137752 |     1825    117 |        0 |        0
173.56/173.66	c  173s |      16 |   171546 |   139152 |     1825    118 |        0 |        0
175.56/175.67	c  175s |      16 |   174394 |   141652 |     1825    120 |        0 |        0
177.56/177.69	c  177s |      16 |   177332 |   144252 |     1825    123 |        0 |        0
179.66/179.72	c  179s |      16 |   180135 |   146752 |     1825    125 |        0 |        0
181.66/181.76	c  181s |      16 |   182955 |   149252 |     1825    127 |        0 |        0
183.67/183.79	c  183s |      16 |   186002 |   151952 |     1825    129 |        0 |        0
185.66/185.79	c  185s |      16 |   189071 |   154652 |     1825    131 |        0 |        0
187.76/187.83	c  187s |      16 |   192226 |   157352 |     1825    134 |        0 |        0
189.76/189.83	c  189s |      16 |   194965 |   159752 |     1825    136 |        0 |        0
191.76/191.85	c  191s |      16 |   197435 |   161952 |     1825    138 |        0 |        0
193.76/193.87	c  193s |      16 |   200547 |   164652 |     1825    140 |        0 |        0
195.77/195.89	c  195s |      16 |   203369 |   167152 |     1825    142 |        0 |        0
197.86/197.90	c  197s |      16 |   205817 |   169352 |     1825    144 |        0 |        0
199.86/199.93	c  199s |      16 |   208252 |   171552 |     1825    146 |        0 |        0
201.86/201.97	c  201s |      16 |   210794 |   173852 |     1825    148 |        0 |        0
203.96/204.02	c  203s |      16 |   213275 |   176052 |     1825    150 |        0 |        0
205.96/206.09	c  206s |      16 |   216228 |   178652 |     1825    152 |        0 |        0
208.06/208.10	c  208s |      16 |   218458 |   180652 |     1825    154 |        0 |        0
209.96/210.10	c  210s |      16 |   220489 |   182452 |     1825    156 |        0 |        0
212.06/212.10	c  212s |      16 |   222914 |   184552 |     1825    157 |        0 |        0
214.06/214.17	c  214s |      16 |   225930 |   187152 |     1825    160 |        0 |        0
216.16/216.23	c  216s |      16 |   228577 |   189452 |     1825    162 |        0 |        0
218.15/218.23	c  218s |      16 |   231111 |   191652 |     1825    164 |        0 |        0
220.25/220.31	c  220s |      16 |   234083 |   194252 |     1825    166 |        0 |        0
222.35/222.43	c  222s |      16 |   236620 |   196452 |     2008    168 |        0 |        0
223.26/223.37	c  223s |      17 |   237738 |   197432 |     2008    168 |        0 |        0
225.35/225.45	c  225s |      17 |   240421 |   199132 |     2008    169 |        0 |        0
227.35/227.47	c  227s |      17 |   242061 |   200532 |     2008    170 |        0 |        0
229.45/229.58	c  229s |      17 |   243830 |   202032 |     2008    171 |        0 |        0
231.55/231.61	c  231s |      17 |   245223 |   203232 |     2008    172 |        0 |        0
233.55/233.67	c  233s |      17 |   246592 |   204432 |     2008    173 |        0 |        0
235.65/235.78	c  235s |      17 |   248220 |   205832 |     2008    174 |        0 |        0
237.75/237.89	c  237s |      17 |   249694 |   207132 |     2008    175 |        0 |        0
240.05/240.12	c  240s |      17 |   251195 |   208432 |     2008    176 |        0 |        0
242.15/242.25	c  242s |      17 |   252814 |   209832 |     2008    176 |        0 |        0
244.35/244.43	c  244s |      17 |   254325 |   211132 |     2008    177 |        0 |        0
246.36/246.46	c  246s |      17 |   255589 |   212232 |     2008    178 |        0 |        0
248.35/248.46	c  248s |      17 |   256975 |   213432 |     2008    179 |        0 |        0
250.35/250.49	c  250s |      17 |   258285 |   214632 |     2008    180 |        0 |        0
252.55/252.64	c  252s |      17 |   259733 |   215932 |     2008    181 |        0 |        0
254.65/254.74	c  254s |      17 |   261184 |   217232 |     2008    181 |        0 |        0
256.75/256.88	c  256s |      17 |   262418 |   218332 |     2008    182 |        0 |        0
258.95/259.07	c  259s |      17 |   263627 |   219432 |     2008    183 |        0 |        0
261.15/261.20	c  261s |      17 |   264892 |   220532 |     2008    184 |        0 |        0
263.15/263.25	c  263s |      17 |   266119 |   221632 |     2008    184 |        0 |        0
265.25/265.32	c  265s |      17 |   267346 |   222732 |     2008    185 |        0 |        0
267.25/267.35	c  267s |      17 |   268744 |   223932 |     2008    186 |        0 |        0
269.35/269.45	c  269s |      17 |   270139 |   225132 |     2008    187 |        0 |        0
271.45/271.52	c  271s |      17 |   271388 |   226232 |     2008    187 |        0 |        0
273.55/273.62	c  273s |      17 |   272853 |   227532 |     2008    188 |        0 |        0
275.65/275.74	c  275s |      17 |   274173 |   228732 |     2008    189 |        0 |        0
277.74/277.82	c  277s |      17 |   275579 |   229932 |     2008    190 |        0 |        0
279.84/279.90	c  279s |      17 |   277046 |   231232 |     2008    191 |        0 |        0
281.94/282.02	c  281s |      17 |   278528 |   232532 |     2008    191 |        0 |        0
284.04/284.16	c  284s |      17 |   280112 |   233932 |     2008    192 |        0 |        0
286.14/286.25	c  286s |      17 |   281588 |   235232 |     2008    193 |        0 |        0
288.25/288.32	c  288s |      17 |   282974 |   236432 |     2008    194 |        0 |        0
290.35/290.43	c  290s |      17 |   284203 |   237532 |     2008    195 |        0 |        0
292.55/292.61	c  292s |      17 |   285520 |   238732 |     2008    196 |        0 |        0
294.64/294.76	c  294s |      17 |   286841 |   239932 |     2008    196 |        0 |        0
296.74/296.87	c  296s |      17 |   288084 |   241032 |     2008    197 |        0 |        0
298.94/299.05	c  298s |      17 |   289276 |   242132 |     2008    198 |        0 |        0
301.14/301.21	c  301s |      17 |   290373 |   243132 |     2008    199 |        0 |        0
303.14/303.24	c  303s |      17 |   291957 |   244532 |     2008    199 |        0 |        0
305.24/305.33	c  305s |      17 |   293412 |   245832 |     2008    200 |        0 |        0
307.34/307.42	c  307s |      17 |   294848 |   247132 |     2008    201 |        0 |        0
309.34/309.43	c  309s |      17 |   296183 |   248332 |     2008    202 |        0 |        0
311.34/311.44	c  311s |      17 |   297538 |   249532 |     2008    203 |        0 |        0
313.44/313.54	c  313s |      17 |   298881 |   250732 |     2008    204 |        0 |        0
315.55/315.69	c  315s |      17 |   300337 |   252032 |     2008    204 |        0 |        0
317.74/317.84	c  317s |      17 |   301817 |   253332 |     2008    205 |        0 |        0
319.84/319.98	c  319s |      17 |   303185 |   254532 |     2008    206 |        0 |        0
321.94/322.03	c  321s |      17 |   304534 |   255732 |     2008    207 |        0 |        0
323.94/324.03	c  323s |      17 |   305742 |   256832 |     2008    208 |        0 |        0
326.04/326.10	c  326s |      17 |   307143 |   258032 |     2008    208 |        0 |        0
328.04/328.13	c  328s |      17 |   308719 |   259432 |     2008    209 |        0 |        0
330.14/330.28	c  330s |      17 |   310287 |   260832 |     2008    210 |        0 |        0
332.25/332.32	c  332s |      17 |   311477 |   261932 |     2008    211 |        0 |        0
334.24/334.35	c  334s |      17 |   312722 |   263032 |     2008    212 |        0 |        0
336.24/336.39	c  336s |      17 |   314061 |   264232 |     2008    212 |        0 |        0
338.34/338.45	c  338s |      17 |   315301 |   265332 |     2008    213 |        0 |        0
340.34/340.49	c  340s |      17 |   316628 |   266532 |     2008    214 |        0 |        0
342.44/342.59	c  342s |      17 |   318087 |   267832 |     2008    215 |        0 |        0
344.54/344.62	c  344s |      17 |   319421 |   269032 |     2008    216 |        0 |        0
346.64/346.75	c  346s |      17 |   320864 |   270332 |     2008    216 |        0 |        0
348.74/348.86	c  348s |      17 |   322091 |   271432 |     2008    217 |        0 |        0
350.74/350.89	c  350s |      17 |   323297 |   272532 |     2008    218 |        0 |        0
352.84/352.94	c  352s |      17 |   324510 |   273632 |     2008    219 |        0 |        0
354.94/355.01	c  354s |      17 |   326099 |   275032 |     2008    220 |        0 |        0
357.04/357.17	c  357s |      17 |   327627 |   276432 |     2008    221 |        0 |        0
359.14/359.22	c  359s |      17 |   328970 |   277632 |     2008    221 |        0 |        0
361.14/361.29	c  361s |      17 |   330348 |   278832 |     2008    222 |        0 |        0
363.23/363.35	c  363s |      17 |   331694 |   280032 |     2008    223 |        0 |        0
365.33/365.45	c  365s |      17 |   332907 |   281132 |     2008    224 |        0 |        0
367.53/367.60	c  367s |      17 |   334124 |   282232 |     2008    224 |        0 |        0
369.64/369.74	c  369s |      17 |   335371 |   283332 |     2008    225 |        0 |        0
371.74/371.88	c  371s |      17 |   337111 |   284832 |     2008    226 |        0 |        0
373.83/373.95	c  373s |      17 |   338524 |   286032 |     2008    227 |        0 |        0
375.83/375.98	c  375s |      17 |   339771 |   287132 |     2008    228 |        0 |        0
377.93/378.01	c  377s |      17 |   340995 |   288232 |     2008    228 |        0 |        0
379.93/380.08	c  380s |      17 |   342084 |   289232 |     2008    229 |        0 |        0
381.93/382.09	c  382s |      17 |   343050 |   290132 |     2008    230 |        0 |        0
384.03/384.10	c  384s |      17 |   344845 |   291632 |     2008    231 |        0 |        0
386.14/386.24	c  386s |      17 |   346412 |   293032 |     2008    231 |        0 |        0
388.24/388.40	c  388s |      17 |   347969 |   294432 |     2209    232 |        0 |        0
390.33/390.44	c  390s |      17 |   349464 |   295732 |     2209    233 |        0 |        0
391.03/391.19	c  391s |      18 |   350068 |   296252 |     2209    233 |        0 |        0
393.13/393.29	c  393s |      18 |   353098 |   297952 |     2209    235 |        0 |        0
395.33/395.41	c  395s |      18 |   354807 |   299452 |     2209    235 |        0 |        0
397.33/397.44	c  397s |      18 |   356304 |   300752 |     2209    236 |        0 |        0
399.43/399.58	c  399s |      18 |   357793 |   302052 |     2209    237 |        0 |        0
401.54/401.69	c  401s |      18 |   359262 |   303352 |     2209    238 |        0 |        0
403.63/403.71	c  403s |      18 |   360710 |   304652 |     2209    239 |        0 |        0
405.62/405.72	c  405s |      18 |   362036 |   305852 |     2209    239 |        0 |        0
407.72/407.89	c  407s |      18 |   363469 |   307152 |     2209    240 |        0 |        0
409.92/410.04	c  409s |      18 |   364697 |   308252 |     2209    241 |        0 |        0
412.02/412.18	c  412s |      18 |   366053 |   309452 |     2209    242 |        0 |        0
414.12/414.27	c  414s |      18 |   367379 |   310652 |     2209    242 |        0 |        0
416.22/416.39	c  416s |      18 |   368615 |   311752 |     2209    243 |        0 |        0
418.32/418.45	c  418s |      18 |   369827 |   312852 |     2209    244 |        0 |        0
420.32/420.49	c  420s |      18 |   371018 |   313952 |     2209    244 |        0 |        0
422.51/422.64	c  422s |      18 |   372223 |   315052 |     2209    245 |        0 |        0
424.62/424.71	c  424s |      18 |   373454 |   316152 |     2209    246 |        0 |        0
426.61/426.76	c  426s |      18 |   374688 |   317252 |     2209    247 |        0 |        0
428.81/428.95	c  428s |      18 |   376141 |   318552 |     2209    247 |        0 |        0
430.91/431.04	c  430s |      18 |   377332 |   319652 |     2209    248 |        0 |        0
432.91/433.06	c  432s |      18 |   378573 |   320752 |     2209    249 |        0 |        0
435.10/435.28	c  435s |      18 |   380054 |   322052 |     2209    250 |        0 |        0
437.20/437.37	c  437s |      18 |   381346 |   323252 |     2209    250 |        0 |        0
439.30/439.42	c  439s |      18 |   382436 |   324252 |     2209    251 |        0 |        0
441.40/441.57	c  441s |      18 |   383560 |   325252 |     2209    252 |        0 |        0
443.60/443.72	c  443s |      18 |   384769 |   326352 |     2209    252 |        0 |        0
445.70/445.82	c  445s |      18 |   385852 |   327352 |     2209    253 |        0 |        0
447.71/447.84	c  447s |      18 |   386927 |   328352 |     2209    253 |        0 |        0
449.90/450.03	c  449s |      18 |   388029 |   329352 |     2209    254 |        0 |        0
451.90/452.09	c  452s |      18 |   389027 |   330252 |     2209    255 |        0 |        0
454.00/454.12	c  454s |      18 |   390111 |   331252 |     2209    255 |        0 |        0
456.19/456.32	c  456s |      18 |   391318 |   332352 |     2209    256 |        0 |        0
458.29/458.45	c  458s |      18 |   392709 |   333552 |     2209    257 |        0 |        0
460.49/460.62	c  460s |      18 |   394185 |   334852 |     2209    257 |        0 |        0
462.59/462.76	c  462s |      18 |   395514 |   336052 |     2209    258 |        0 |        0
464.79/464.95	c  464s |      18 |   396720 |   337152 |     2209    259 |        0 |        0
466.89/467.01	c  466s |      18 |   397836 |   338152 |     2209    260 |        0 |        0
468.99/469.14	c  469s |      18 |   399349 |   339452 |     2209    260 |        0 |        0
470.99/471.16	c  471s |      18 |   400558 |   340552 |     2209    261 |        0 |        0
473.19/473.35	c  473s |      18 |   401776 |   341652 |     2209    262 |        0 |        0
475.28/475.45	c  475s |      18 |   403267 |   342952 |     2209    263 |        0 |        0
477.29/477.46	c  477s |      18 |   404757 |   344252 |     2209    263 |        0 |        0
479.38/479.53	c  479s |      18 |   406233 |   345552 |     2209    264 |        0 |        0
481.38/481.57	c  481s |      18 |   407570 |   346752 |     2209    265 |        0 |        0
483.38/483.59	c  483s |      18 |   408900 |   347952 |     2209    266 |        0 |        0
485.48/485.61	c  485s |      18 |   410243 |   349152 |     2209    266 |        0 |        0
487.48/487.65	c  487s |      18 |   411354 |   350152 |     2209    267 |        0 |        0
489.68/489.80	c  489s |      18 |   412676 |   351352 |     2209    268 |        0 |        0
491.69/491.81	c  491s |      18 |   414150 |   352652 |     2209    269 |        0 |        0
493.68/493.82	c  493s |      18 |   415476 |   353852 |     2209    269 |        0 |        0
495.68/495.85	c  495s |      18 |   416692 |   354952 |     2209    270 |        0 |        0
497.78/497.92	c  497s |      18 |   417845 |   355952 |     2209    271 |        0 |        0
499.78/499.95	c  499s |      18 |   419076 |   357052 |     2209    271 |        0 |        0
501.98/502.14	c  502s |      18 |   420296 |   358152 |     2209    272 |        0 |        0
504.08/504.27	c  504s |      18 |   421474 |   359252 |     2209    273 |        0 |        0
506.18/506.34	c  506s |      18 |   422551 |   360252 |     2209    273 |        0 |        0
508.27/508.42	c  508s |      18 |   423776 |   361352 |     2209    274 |        0 |        0
510.28/510.46	c  510s |      18 |   424985 |   362452 |     2209    275 |        0 |        0
512.48/512.69	c  512s |      18 |   426170 |   363552 |     2209    275 |        0 |        0
514.68/514.90	c  514s |      18 |   427518 |   364752 |     2209    276 |        0 |        0
516.88/517.02	c  516s |      18 |   428865 |   365952 |     2209    277 |        0 |        0
519.08/519.26	c  519s |      18 |   430103 |   367052 |     2209    278 |        0 |        0
521.17/521.30	c  521s |      18 |   431207 |   368052 |     2209    278 |        0 |        0
523.17/523.31	c  523s |      18 |   432833 |   369452 |     2209    279 |        0 |        0
525.26/525.46	c  525s |      18 |   434298 |   370752 |     2209    280 |        0 |        0
527.36/527.59	c  527s |      18 |   435514 |   371852 |     2209    281 |        0 |        0
529.46/529.60	c  529s |      18 |   436719 |   372952 |     2209    281 |        0 |        0
531.46/531.69	c  531s |      18 |   437932 |   374052 |     2209    282 |        0 |        0
533.56/533.72	c  533s |      18 |   439008 |   375052 |     2209    283 |        0 |        0
535.56/535.80	c  535s |      18 |   439994 |   375952 |     2209    283 |        0 |        0
537.76/537.99	c  537s |      18 |   441238 |   377052 |     2209    284 |        0 |        0
539.85/540.00	c  539s |      18 |   442419 |   378052 |     2209    284 |        0 |        0
541.85/542.03	c  541s |      18 |   443675 |   379152 |     2209    285 |        0 |        0
543.85/544.05	c  543s |      18 |   444921 |   380252 |     2209    286 |        0 |        0
545.85/546.08	c  546s |      18 |   446076 |   381252 |     2209    286 |        0 |        0
548.05/548.20	c  548s |      18 |   447292 |   382352 |     2209    287 |        0 |        0
550.15/550.36	c  550s |      18 |   448528 |   383452 |     2209    288 |        0 |        0
552.35/552.51	c  552s |      18 |   449635 |   384452 |     2209    288 |        0 |        0
554.44/554.66	c  554s |      18 |   450649 |   385352 |     2209    289 |        0 |        0
556.45/556.70	c  556s |      18 |   452165 |   386652 |     2209    290 |        0 |        0
558.65/558.81	c  558s |      18 |   453710 |   387952 |     2209    291 |        0 |        0
560.64/560.85	c  560s |      18 |   455065 |   389152 |     2209    291 |        0 |        0
562.74/562.93	c  562s |      18 |   456329 |   390252 |     2209    292 |        0 |        0
564.73/564.96	c  564s |      18 |   457449 |   391252 |     2209    293 |        0 |        0
566.93/567.12	c  567s |      18 |   458676 |   392352 |     2209    293 |        0 |        0
569.03/569.23	c  569s |      18 |   459951 |   393452 |     2209    294 |        0 |        0
571.13/571.37	c  571s |      18 |   461203 |   394552 |     2209    295 |        0 |        0
573.33/573.57	c  573s |      18 |   462421 |   395652 |     2209    295 |        0 |        0
575.43/575.62	c  575s |      18 |   463650 |   396752 |     2209    296 |        0 |        0
577.44/577.64	c  577s |      18 |   464773 |   397752 |     2209    297 |        0 |        0
579.43/579.69	c  579s |      18 |   465911 |   398752 |     2209    297 |        0 |        0
581.63/581.89	c  581s |      18 |   467169 |   399852 |     2209    298 |        0 |        0
583.73/583.99	c  583s |      18 |   468353 |   400852 |     2209    299 |        0 |        0
585.82/586.10	c  586s |      18 |   469604 |   401952 |     2209    299 |        0 |        0
587.92/588.18	c  588s |      18 |   470898 |   403052 |     2209    300 |        0 |        0
590.02/590.23	c  590s |      18 |   472021 |   404052 |     2209    301 |        0 |        0
592.22/592.42	c  592s |      18 |   473130 |   405052 |     2209    301 |        0 |        0
594.32/594.52	c  594s |      18 |   474239 |   406052 |     2209    302 |        0 |        0
596.32/596.56	c  596s |      18 |   475336 |   407052 |     2209    302 |        0 |        0
598.52/598.79	c  598s |      18 |   476462 |   408052 |     2209    303 |        0 |        0
600.72/600.92	c  600s |      18 |   477584 |   409052 |     2209    304 |        0 |        0
602.82/603.05	c  602s |      18 |   478692 |   410052 |     2209    304 |        0 |        0
605.11/605.30	c  605s |      18 |   479849 |   411052 |     2209    305 |        0 |        0
607.21/607.42	c  607s |      18 |   480858 |   411952 |     2209    306 |        0 |        0
609.41/609.60	c  609s |      18 |   481987 |   412952 |     2209    306 |        0 |        0
611.61/611.81	c  611s |      18 |   483061 |   413852 |     2209    307 |        0 |        0
613.72/613.96	c  613s |      18 |   484057 |   414752 |     2209    307 |        0 |        0
615.91/616.11	c  616s |      18 |   485049 |   415652 |     2209    308 |        0 |        0
618.01/618.26	c  618s |      18 |   486057 |   416552 |     2209    308 |        0 |        0
620.21/620.41	c  620s |      18 |   487078 |   417452 |     2209    309 |        0 |        0
622.51/622.71	c  622s |      18 |   488070 |   418352 |     2209    310 |        0 |        0
624.50/624.77	c  624s |      18 |   489236 |   419352 |     2209    310 |        0 |        0
626.50/626.79	c  626s |      18 |   490286 |   420252 |     2209    311 |        0 |        0
628.70/628.99	c  628s |      18 |   491284 |   421152 |     2209    311 |        0 |        0
630.80/631.04	c  630s |      18 |   492184 |   421952 |     2209    312 |        0 |        0
633.00/633.24	c  633s |      18 |   493118 |   422752 |     2209    312 |        0 |        0
635.09/635.30	c  635s |      18 |   493902 |   423452 |     2209    313 |        0 |        0
637.09/637.38	c  637s |      18 |   494693 |   424152 |     2209    313 |        0 |        0
639.19/639.47	c  639s |      18 |   495636 |   424952 |     2209    314 |        0 |        0
641.29/641.56	c  641s |      18 |   496676 |   425852 |     2209    314 |        0 |        0
643.49/643.78	c  643s |      18 |   497695 |   426752 |     2209    315 |        0 |        0
645.79/646.02	c  645s |      18 |   498711 |   427652 |     2209    315 |        0 |        0
647.89/648.19	c  648s |      18 |   499642 |   428452 |     2209    316 |        0 |        0
650.19/650.47	c  650s |      18 |   500955 |   429552 |     2209    317 |        0 |        0
652.19/652.48	c  652s |      18 |   501867 |   430352 |     2209    317 |        0 |        0
654.48/654.72	c  654s |      18 |   502789 |   431152 |     2209    318 |        0 |        0
656.68/656.90	c  656s |      18 |   503701 |   431952 |     2209    318 |        0 |        0
658.79/659.01	c  658s |      18 |   504489 |   432652 |     2209    318 |        0 |        0
660.78/661.05	c  660s |      18 |   505279 |   433352 |     2209    319 |        0 |        0
662.98/663.27	c  663s |      18 |   506079 |   434052 |     2209    319 |        0 |        0
665.08/665.38	c  665s |      18 |   507699 |   435452 |     2209    320 |        0 |        0
667.18/667.43	c  667s |      18 |   509250 |   436852 |     2209    321 |        0 |        0
669.28/669.54	c  669s |      18 |   510679 |   438152 |     2209    322 |        0 |        0
671.37/671.67	c  671s |      18 |   512135 |   439452 |     2209    323 |        0 |        0
673.47/673.73	c  673s |      18 |   513599 |   440752 |     2209    324 |        0 |        0
675.47/675.77	c  675s |      18 |   515263 |   442152 |     2430    324 |        0 |        0
677.57/677.86	c  677s |      18 |   516703 |   443452 |     2430    325 |        0 |        0
679.37/679.61	c  679s |      19 |   517867 |   444482 |     2430    326 |        0 |        0
681.37/681.64	c  681s |      19 |   520454 |   446182 |     2430    327 |        0 |        0
683.38/683.66	c  683s |      19 |   522103 |   447582 |     2430    327 |        0 |        0
685.47/685.78	c  685s |      19 |   523755 |   448982 |     2430    328 |        0 |        0
687.57/687.89	c  687s |      19 |   525315 |   450282 |     2430    329 |        0 |        0
689.67/689.96	c  689s |      19 |   526724 |   451482 |     2430    330 |        0 |        0
691.78/692.04	c  691s |      19 |   528250 |   452782 |     2430    330 |        0 |        0
693.88/694.12	c  694s |      19 |   529539 |   453882 |     2430    331 |        0 |        0
695.87/696.15	c  696s |      19 |   530962 |   455082 |     2430    332 |        0 |        0
697.97/698.28	c  698s |      19 |   532552 |   456382 |     2430    333 |        0 |        0
699.97/700.29	c  700s |      19 |   534053 |   457682 |     2430    333 |        0 |        0
702.16/702.44	c  702s |      19 |   535398 |   458882 |     2430    334 |        0 |        0
704.26/704.59	c  704s |      19 |   536651 |   459982 |     2430    335 |        0 |        0
706.26/706.59	c  706s |      19 |   537912 |   461082 |     2430    335 |        0 |        0
708.36/708.69	c  708s |      19 |   539438 |   462382 |     2430    336 |        0 |        0
710.47/710.73	c  710s |      19 |   540846 |   463582 |     2430    337 |        0 |        0
712.46/712.79	c  712s |      19 |   542231 |   464782 |     2430    337 |        0 |        0
714.55/714.84	c  714s |      19 |   543496 |   465882 |     2430    338 |        0 |        0
716.65/716.97	c  716s |      19 |   544937 |   467182 |     2430    339 |        0 |        0
718.85/719.11	c  719s |      19 |   546319 |   468382 |     2430    340 |        0 |        0
720.95/721.23	c  721s |      19 |   547792 |   469582 |     2430    340 |        0 |        0
723.05/723.30	c  723s |      19 |   549196 |   470782 |     2430    341 |        0 |        0
725.05/725.34	c  725s |      19 |   550558 |   471982 |     2430    342 |        0 |        0
727.05/727.37	c  727s |      19 |   551920 |   473182 |     2430    342 |        0 |        0
729.25/729.51	c  729s |      19 |   553299 |   474382 |     2430    343 |        0 |        0
731.35/731.65	c  731s |      19 |   554538 |   475482 |     2430    344 |        0 |        0
733.45/733.73	c  733s |      19 |   556191 |   476882 |     2430    344 |        0 |        0
735.54/735.83	c  735s |      19 |   557904 |   478282 |     2430    345 |        0 |        0
737.64/737.99	c  737s |      19 |   559326 |   479582 |     2430    346 |        0 |        0
739.74/740.09	c  740s |      19 |   560776 |   480782 |     2430    347 |        0 |        0
741.94/742.26	c  742s |      19 |   562128 |   481982 |     2430    347 |        0 |        0
744.04/744.30	c  744s |      19 |   563562 |   483182 |     2430    348 |        0 |        0
746.04/746.31	c  746s |      19 |   565113 |   484482 |     2430    349 |        0 |        0
748.14/748.43	c  748s |      19 |   566526 |   485682 |     2430    350 |        0 |        0
750.24/750.57	c  750s |      19 |   568081 |   486982 |     2430    350 |        0 |        0
752.33/752.61	c  752s |      19 |   569494 |   488182 |     2430    351 |        0 |        0
754.34/754.63	c  754s |      19 |   570794 |   489282 |     2430    352 |        0 |        0
756.43/756.72	c  756s |      19 |   572106 |   490382 |     2430    352 |        0 |        0
758.43/758.74	c  758s |      19 |   573427 |   491482 |     2430    353 |        0 |        0
760.53/760.81	c  760s |      19 |   574639 |   492582 |     2430    354 |        0 |        0
762.53/762.87	c  762s |      19 |   575890 |   493682 |     2430    354 |        0 |        0
764.52/764.89	c  764s |      19 |   577025 |   494682 |     2430    355 |        0 |        0
766.62/766.92	c  766s |      19 |   578179 |   495682 |     2430    355 |        0 |        0
768.63/768.98	c  768s |      19 |   579480 |   496782 |     2430    356 |        0 |        0
770.72/771.04	c  770s |      19 |   580709 |   497782 |     2430    357 |        0 |        0
772.82/773.16	c  773s |      19 |   582047 |   498882 |     2430    357 |        0 |        0
774.92/775.29	c  775s |      19 |   583308 |   499982 |     2430    358 |        0 |        0
777.02/777.37	c  777s |      19 |   584661 |   501082 |     2430    359 |        0 |        0
779.12/779.46	c  779s |      19 |   585963 |   502182 |     2430    359 |        0 |        0
781.22/781.54	c  781s |      19 |   587183 |   503182 |     2430    360 |        0 |        0
783.42/783.73	c  783s |      19 |   588345 |   504182 |     2430    360 |        0 |        0
785.42/785.79	c  785s |      19 |   589419 |   505082 |     2430    361 |        0 |        0
787.52/787.88	c  787s |      19 |   590765 |   506282 |     2430    362 |        0 |        0
789.62/789.92	c  789s |      19 |   591968 |   507382 |     2430    362 |        0 |        0
791.72/792.02	c  791s |      19 |   593069 |   508382 |     2430    363 |        0 |        0
793.92/794.21	c  794s |      19 |   594337 |   509482 |     2430    363 |        0 |        0
796.01/796.32	c  796s |      19 |   595496 |   510482 |     2430    364 |        0 |        0
798.11/798.45	c  798s |      19 |   596472 |   511382 |     2430    365 |        0 |        0
800.21/800.50	c  800s |      19 |   597879 |   512582 |     2430    365 |        0 |        0
802.31/802.62	c  802s |      19 |   599247 |   513682 |     2430    366 |        0 |        0
804.30/804.63	c  804s |      19 |   600388 |   514682 |     2430    366 |        0 |        0
806.40/806.79	c  806s |      19 |   601663 |   515782 |     2430    367 |        0 |        0
808.50/808.85	c  808s |      19 |   602852 |   516782 |     2430    368 |        0 |        0
810.51/810.85	c  810s |      19 |   604298 |   517982 |     2430    368 |        0 |        0
812.61/812.99	c  812s |      19 |   605658 |   519182 |     2430    369 |        0 |        0
814.81/815.14	c  815s |      19 |   607217 |   520482 |     2430    370 |        0 |        0
816.90/817.21	c  817s |      19 |   608492 |   521582 |     2430    370 |        0 |        0
818.90/819.22	c  819s |      19 |   609692 |   522582 |     2430    371 |        0 |        0
821.00/821.35	c  821s |      19 |   610925 |   523682 |     2430    372 |        0 |        0
823.10/823.42	c  823s |      19 |   612098 |   524682 |     2430    372 |        0 |        0
825.19/825.52	c  825s |      19 |   613108 |   525582 |     2430    373 |        0 |        0
827.39/827.77	c  827s |      19 |   614164 |   526582 |     2430    373 |        0 |        0
829.39/829.77	c  829s |      19 |   615160 |   527482 |     2430    374 |        0 |        0
831.49/831.84	c  831s |      19 |   616485 |   528582 |     2430    375 |        0 |        0
833.60/833.93	c  833s |      19 |   617624 |   529582 |     2430    375 |        0 |        0
835.59/835.96	c  835s |      19 |   619132 |   530882 |     2430    376 |        0 |        0
837.68/838.07	c  838s |      19 |   620673 |   532182 |     2430    377 |        0 |        0
839.78/840.13	c  840s |      19 |   621900 |   533282 |     2430    377 |        0 |        0
841.88/842.26	c  842s |      19 |   623301 |   534482 |     2430    378 |        0 |        0
844.08/844.42	c  844s |      19 |   624457 |   535482 |     2430    379 |        0 |        0
846.18/846.59	c  846s |      19 |   625577 |   536482 |     2430    379 |        0 |        0
848.29/848.69	c  848s |      19 |   626573 |   537382 |     2430    380 |        0 |        0
850.49/850.88	c  850s |      19 |   627738 |   538382 |     2430    380 |        0 |        0
852.69/853.00	c  852s |      19 |   628626 |   539182 |     2430    381 |        0 |        0
854.78/855.19	c  855s |      19 |   629513 |   539982 |     2430    381 |        0 |        0
856.88/857.24	c  857s |      19 |   630279 |   540682 |     2430    382 |        0 |        0
858.89/859.24	c  859s |      19 |   631286 |   541582 |     2430    382 |        0 |        0
861.09/861.42	c  861s |      19 |   632290 |   542482 |     2430    383 |        0 |        0
863.18/863.56	c  863s |      19 |   633448 |   543482 |     2430    383 |        0 |        0
865.38/865.73	c  865s |      19 |   634590 |   544482 |     2430    384 |        0 |        0
867.58/867.93	c  867s |      19 |   635838 |   545582 |     2430    384 |        0 |        0
869.78/870.13	c  870s |      19 |   636977 |   546582 |     2430    385 |        0 |        0
871.77/872.18	c  872s |      19 |   637879 |   547382 |     2430    386 |        0 |        0
873.87/874.27	c  874s |      19 |   638899 |   548282 |     2430    386 |        0 |        0
875.87/876.30	c  876s |      19 |   639669 |   548982 |     2430    386 |        0 |        0
877.97/878.37	c  878s |      19 |   640553 |   549782 |     2430    387 |        0 |        0
880.17/880.53	c  880s |      19 |   641442 |   550582 |     2430    387 |        0 |        0
882.37/882.70	c  882s |      19 |   642606 |   551582 |     2430    388 |        0 |        0
884.36/884.74	c  884s |      19 |   643572 |   552382 |     2430    388 |        0 |        0
886.37/886.80	c  886s |      19 |   644415 |   553082 |     2430    389 |        0 |        0
888.47/888.82	c  888s |      19 |   645084 |   553682 |     2430    389 |        0 |        0
890.87/891.24	c  891s |      19 |   645730 |   554282 |     2430    390 |        0 |        0
892.88/893.25	c  893s |      19 |   647177 |   555482 |     2430    390 |        0 |        0
894.97/895.32	c  895s |      19 |   648301 |   556482 |     2430    391 |        0 |        0
896.97/897.39	c  897s |      19 |   649490 |   557482 |     2430    391 |        0 |        0
899.16/899.56	c  899s |      19 |   650734 |   558582 |     2430    392 |        0 |        0
901.26/901.60	c  901s |      19 |   652023 |   559682 |     2430    393 |        0 |        0
903.36/903.71	c  903s |      19 |   653150 |   560682 |     2430    393 |        0 |        0
905.36/905.77	c  905s |      19 |   654574 |   561882 |     2430    394 |        0 |        0
907.46/907.82	c  907s |      19 |   655927 |   562982 |     2430    395 |        0 |        0
909.46/909.82	c  909s |      19 |   657266 |   564082 |     2430    395 |        0 |        0
911.46/911.89	c  911s |      19 |   658422 |   565082 |     2430    396 |        0 |        0
913.76/914.15	c  914s |      19 |   659575 |   566082 |     2430    396 |        0 |        0
915.75/916.19	c  916s |      19 |   660717 |   567082 |     2430    397 |        0 |        0
917.95/918.37	c  918s |      19 |   661843 |   568082 |     2430    398 |        0 |        0
920.15/920.56	c  920s |      19 |   662992 |   569082 |     2430    398 |        0 |        0
922.25/922.65	c  922s |      19 |   664199 |   570082 |     2430    399 |        0 |        0
924.45/924.81	c  924s |      19 |   665522 |   571182 |     2430    399 |        0 |        0
926.45/926.82	c  926s |      19 |   666404 |   571982 |     2430    400 |        0 |        0
928.45/928.84	c  928s |      19 |   667731 |   573082 |     2430    400 |        0 |        0
930.55/930.97	c  930s |      19 |   668975 |   574182 |     2430    401 |        0 |        0
932.65/933.08	c  933s |      19 |   670309 |   575382 |     2430    402 |        0 |        0
934.75/935.15	c  935s |      19 |   671536 |   576482 |     2430    402 |        0 |        0
936.95/937.34	c  937s |      19 |   672853 |   577682 |     2430    403 |        0 |        0
939.05/939.46	c  939s |      19 |   674225 |   578882 |     2430    404 |        0 |        0
941.14/941.50	c  941s |      19 |   675676 |   580082 |     2430    405 |        0 |        0
943.14/943.54	c  943s |      19 |   676972 |   581182 |     2430    405 |        0 |        0
945.14/945.54	c  945s |      19 |   678234 |   582282 |     2430    406 |        0 |        0
947.24/947.63	c  947s |      19 |   679460 |   583382 |     2430    406 |        0 |        0
949.34/949.78	c  949s |      19 |   680726 |   584482 |     2430    407 |        0 |        0
951.44/951.81	c  951s |      19 |   681866 |   585482 |     2430    408 |        0 |        0
953.54/953.95	c  953s |      19 |   683118 |   586582 |     2430    408 |        0 |        0
955.64/956.02	c  955s |      19 |   684401 |   587682 |     2430    409 |        0 |        0
957.74/958.15	c  958s |      19 |   685702 |   588782 |     2430    410 |        0 |        0
959.94/960.31	c  960s |      19 |   686959 |   589882 |     2430    410 |        0 |        0
962.03/962.42	c  962s |      19 |   688092 |   590882 |     2430    411 |        0 |        0
964.13/964.57	c  964s |      19 |   689160 |   591782 |     2430    411 |        0 |        0
966.43/966.80	c  966s |      19 |   690356 |   592782 |     2430    412 |        0 |        0
968.43/968.86	c  968s |      19 |   691507 |   593782 |     2430    413 |        0 |        0
970.53/970.94	c  970s |      19 |   692938 |   594982 |     2430    413 |        0 |        0
972.63/973.06	c  973s |      19 |   694090 |   595982 |     2430    414 |        0 |        0
974.73/975.16	c  975s |      19 |   695095 |   596882 |     2430    414 |        0 |        0
976.93/977.31	c  977s |      19 |   696005 |   597682 |     2430    415 |        0 |        0
979.03/979.46	c  979s |      19 |   697242 |   598782 |     2430    415 |        0 |        0
981.13/981.58	c  981s |      19 |   698395 |   599782 |     2430    416 |        0 |        0
983.33/983.73	c  983s |      19 |   699403 |   600682 |     2430    417 |        0 |        0
985.33/985.78	c  985s |      19 |   700426 |   601582 |     2430    417 |        0 |        0
987.62/988.03	c  987s |      19 |   701444 |   602482 |     2430    418 |        0 |        0
989.63/990.06	c  990s |      19 |   702505 |   603382 |     2430    418 |        0 |        0
991.62/992.09	c  992s |      19 |   703924 |   604582 |     2430    419 |        0 |        0
993.82/994.21	c  994s |      19 |   705342 |   605782 |     2430    419 |        0 |        0
995.81/996.24	c  996s |      19 |   706467 |   606782 |     2430    420 |        0 |        0
997.91/998.34	c  998s |      19 |   707574 |   607782 |     2430    421 |        0 |        0
1000.01/1000.44	c 1000s |      19 |   708686 |   608782 |     2430    421 |        0 |        0
1002.01/1002.47	c 1002s |      19 |   709701 |   609682 |     2430    422 |        0 |        0
1004.11/1004.53	c 1004s |      19 |   711026 |   610782 |     2430    422 |        0 |        0
1006.31/1006.70	c 1006s |      19 |   712203 |   611782 |     2430    423 |        0 |        0
1008.41/1008.83	c 1008s |      19 |   713375 |   612782 |     2430    424 |        0 |        0
1010.51/1010.96	c 1010s |      19 |   714460 |   613782 |     2430    424 |        0 |        0
1012.71/1013.12	c 1013s |      19 |   715593 |   614782 |     2430    425 |        0 |        0
1014.70/1015.12	c 1015s |      19 |   716561 |   615582 |     2430    425 |        0 |        0
1016.70/1017.19	c 1017s |      19 |   717618 |   616482 |     2430    426 |        0 |        0
1018.80/1019.22	c 1019s |      19 |   719041 |   617682 |     2430    426 |        0 |        0
1020.80/1021.29	c 1021s |      19 |   720321 |   618782 |     2430    427 |        0 |        0
1022.90/1023.38	c 1023s |      19 |   721489 |   619782 |     2430    428 |        0 |        0
1025.00/1025.46	c 1025s |      19 |   722649 |   620782 |     2430    428 |        0 |        0
1027.20/1027.68	c 1027s |      19 |   723628 |   621682 |     2430    429 |        0 |        0
1029.30/1029.77	c 1029s |      19 |   724930 |   622782 |     2430    429 |        0 |        0
1031.40/1031.84	c 1031s |      19 |   725948 |   623682 |     2430    430 |        0 |        0
1033.40/1033.88	c 1033s |      19 |   726970 |   624582 |     2430    430 |        0 |        0
1035.49/1035.93	c 1035s |      19 |   728242 |   625682 |     2430    431 |        0 |        0
1037.59/1038.07	c 1038s |      19 |   729524 |   626782 |     2430    432 |        0 |        0
1039.69/1040.13	c 1040s |      19 |   730653 |   627782 |     2430    432 |        0 |        0
1041.79/1042.25	c 1042s |      19 |   731638 |   628682 |     2430    433 |        0 |        0
1043.89/1044.32	c 1044s |      19 |   732502 |   629482 |     2430    433 |        0 |        0
1045.98/1046.45	c 1046s |      19 |   733419 |   630282 |     2430    434 |        0 |        0
1048.18/1048.64	c 1048s |      19 |   734279 |   631082 |     2430    434 |        0 |        0
1050.28/1050.70	c 1050s |      19 |   735078 |   631782 |     2430    435 |        0 |        0
1052.29/1052.71	c 1052s |      19 |   736085 |   632682 |     2430    435 |        0 |        0
1054.48/1054.92	c 1054s |      19 |   736982 |   633482 |     2430    436 |        0 |        0
1056.48/1056.99	c 1056s |      19 |   738132 |   634482 |     2430    436 |        0 |        0
1058.58/1059.09	c 1059s |      19 |   739295 |   635482 |     2430    437 |        0 |        0
1060.78/1061.22	c 1061s |      19 |   740269 |   636382 |     2430    437 |        0 |        0
1062.88/1063.36	c 1063s |      19 |   741431 |   637382 |     2430    438 |        0 |        0
1064.97/1065.47	c 1065s |      19 |   742423 |   638282 |     2430    438 |        0 |        0
1066.97/1067.48	c 1067s |      19 |   743306 |   639082 |     2430    439 |        0 |        0
1069.17/1069.60	c 1069s |      19 |   744653 |   640282 |     2430    440 |        0 |        0
1071.27/1071.71	c 1071s |      19 |   745860 |   641382 |     2430    440 |        0 |        0
1073.28/1073.71	c 1073s |      19 |   746988 |   642382 |     2430    441 |        0 |        0
1075.48/1075.92	c 1075s |      19 |   748157 |   643382 |     2430    441 |        0 |        0
1077.58/1078.07	c 1078s |      19 |   749402 |   644482 |     2430    442 |        0 |        0
1079.67/1080.16	c 1080s |      19 |   750375 |   645382 |     2430    443 |        0 |        0
1081.77/1082.23	c 1082s |      19 |   751502 |   646382 |     2430    443 |        0 |        0
1083.77/1084.29	c 1084s |      19 |   752498 |   647282 |     2430    444 |        0 |        0
1085.87/1086.36	c 1086s |      19 |   753513 |   648182 |     2430    444 |        0 |        0
1088.07/1088.56	c 1088s |      19 |   754411 |   648982 |     2430    445 |        0 |        0
1090.27/1090.72	c 1090s |      19 |   755543 |   649982 |     2430    445 |        0 |        0
1092.57/1093.00	c 1092s |      19 |   756432 |   650782 |     2430    446 |        0 |        0
1094.67/1095.12	c 1095s |      19 |   757568 |   651782 |     2430    446 |        0 |        0
1096.77/1097.25	c 1097s |      19 |   758678 |   652782 |     2430    447 |        0 |        0
1098.87/1099.31	c 1099s |      19 |   759699 |   653682 |     2430    447 |        0 |        0
1100.97/1101.49	c 1101s |      19 |   760842 |   654682 |     2430    448 |        0 |        0
1103.17/1103.68	c 1103s |      19 |   761728 |   655482 |     2430    448 |        0 |        0
1105.27/1105.74	c 1105s |      19 |   762969 |   656582 |     2430    449 |        0 |        0
1107.37/1107.83	c 1107s |      19 |   764092 |   657582 |     2430    450 |        0 |        0
1109.47/1109.91	c 1109s |      19 |   765101 |   658482 |     2430    450 |        0 |        0
1111.57/1112.05	c 1111s |      19 |   765981 |   659282 |     2430    451 |        0 |        0
1113.76/1114.20	c 1114s |      19 |   766966 |   660182 |     2430    451 |        0 |        0
1115.86/1116.30	c 1116s |      19 |   767835 |   660982 |     2430    452 |        0 |        0
1117.96/1118.44	c 1118s |      19 |   768824 |   661882 |     2430    452 |        0 |        0
1120.16/1120.64	c 1120s |      19 |   769866 |   662782 |     2673    453 |        0 |        0
1122.36/1122.86	c 1122s |      19 |   770877 |   663682 |     2673    453 |        0 |        0
1124.46/1124.99	c 1124s |      19 |   771763 |   664482 |     2673    453 |        0 |        0
1126.66/1127.10	c 1127s |      19 |   772779 |   665382 |     2673    454 |        0 |        0
1128.66/1129.10	c 1129s |      19 |   773841 |   666282 |     2673    454 |        0 |        0
1130.06/1130.57	c 1130s |      20 |   774442 |   666827 |     2673    455 |        0 |        0
1132.16/1132.64	c 1132s |      20 |   776746 |   668227 |     2673    456 |        0 |        0
1134.26/1134.72	c 1134s |      20 |   778384 |   669627 |     2673    456 |        0 |        0
1136.36/1136.86	c 1136s |      20 |   779824 |   670927 |     2673    457 |        0 |        0
1138.46/1138.97	c 1138s |      20 |   781058 |   672027 |     2673    458 |        0 |        0
1140.56/1141.05	c 1140s |      20 |   782411 |   673227 |     2673    458 |        0 |        0
1142.57/1143.05	c 1142s |      20 |   783531 |   674227 |     2673    459 |        0 |        0
1144.67/1145.18	c 1145s |      20 |   784774 |   675327 |     2673    459 |        0 |        0
1146.66/1147.18	c 1147s |      20 |   786005 |   676427 |     2673    460 |        0 |        0
1148.86/1149.36	c 1149s |      20 |   787225 |   677527 |     2673    461 |        0 |        0
1150.97/1151.48	c 1151s |      20 |   788555 |   678727 |     2673    461 |        0 |        0
1153.17/1153.69	c 1153s |      20 |   789632 |   679727 |     2673    462 |        0 |        0
1155.27/1155.78	c 1155s |      20 |   790626 |   680627 |     2673    462 |        0 |        0
1157.47/1157.90	c 1157s |      20 |   791742 |   681627 |     2673    463 |        0 |        0
1159.56/1160.02	c 1159s |      20 |   792854 |   682627 |     2673    463 |        0 |        0
1161.66/1162.12	c 1162s |      20 |   793955 |   683627 |     2673    464 |        0 |        0
1163.66/1164.18	c 1164s |      20 |   795182 |   684727 |     2673    464 |        0 |        0
1165.76/1166.22	c 1166s |      20 |   796394 |   685827 |     2673    465 |        0 |        0
1167.96/1168.40	c 1168s |      20 |   797589 |   686927 |     2673    466 |        0 |        0
1170.07/1170.59	c 1170s |      20 |   798679 |   687927 |     2673    466 |        0 |        0
1172.17/1172.65	c 1172s |      20 |   799649 |   688827 |     2673    467 |        0 |        0
1174.26/1174.80	c 1174s |      20 |   800774 |   689827 |     2673    467 |        0 |        0
1176.36/1176.82	c 1176s |      20 |   801766 |   690727 |     2673    468 |        0 |        0
1178.36/1178.89	c 1178s |      20 |   802991 |   691827 |     2673    468 |        0 |        0
1180.56/1181.05	c 1180s |      20 |   804139 |   692827 |     2673    469 |        0 |        0
1182.66/1183.16	c 1183s |      20 |   805237 |   693827 |     2673    469 |        0 |        0
1184.86/1185.35	c 1185s |      20 |   806321 |   694827 |     2673    470 |        0 |        0
1186.96/1187.47	c 1187s |      20 |   807405 |   695827 |     2673    470 |        0 |        0
1189.06/1189.57	c 1189s |      20 |   808512 |   696827 |     2673    471 |        0 |        0
1191.06/1191.58	c 1191s |      20 |   809505 |   697727 |     2673    471 |        0 |        0
1193.26/1193.71	c 1193s |      20 |   810775 |   698827 |     2673    472 |        0 |        0
1195.26/1195.76	c 1195s |      20 |   811818 |   699727 |     2673    473 |        0 |        0
1197.26/1197.77	c 1197s |      20 |   812868 |   700627 |     2673    473 |        0 |        0
1199.46/1199.91	c 1199s |      20 |   813875 |   701527 |     2673    474 |        0 |        0
1201.56/1202.02	c 1201s |      20 |   815020 |   702527 |     2673    474 |        0 |        0
1203.76/1204.23	c 1204s |      20 |   816013 |   703427 |     2673    475 |        0 |        0
1205.76/1206.24	c 1206s |      20 |   817013 |   704327 |     2673    475 |        0 |        0
1207.86/1208.30	c 1208s |      20 |   818137 |   705327 |     2673    476 |        0 |        0
1209.86/1210.37	c 1210s |      20 |   819567 |   706627 |     2673    476 |        0 |        0
1211.95/1212.43	c 1212s |      20 |   820749 |   707727 |     2673    477 |        0 |        0
1214.15/1214.65	c 1214s |      20 |   821835 |   708727 |     2673    477 |        0 |        0
1216.26/1216.79	c 1216s |      20 |   822920 |   709727 |     2673    478 |        0 |        0
1218.36/1218.81	c 1218s |      20 |   824385 |   710927 |     2673    479 |        0 |        0
1220.45/1220.97	c 1220s |      20 |   825597 |   712027 |     2673    479 |        0 |        0
1222.65/1223.12	c 1223s |      20 |   826709 |   713027 |     2673    480 |        0 |        0
1224.75/1225.20	c 1225s |      20 |   827965 |   714127 |     2673    480 |        0 |        0
1226.85/1227.36	c 1227s |      20 |   829103 |   715127 |     2673    481 |        0 |        0
1229.05/1229.59	c 1229s |      20 |   830298 |   716227 |     2673    481 |        0 |        0
1231.15/1231.69	c 1231s |      20 |   831312 |   717127 |     2673    482 |        0 |        0
1233.45/1233.93	c 1233s |      20 |   832393 |   718127 |     2673    482 |        0 |        0
1235.55/1236.05	c 1235s |      20 |   833495 |   719127 |     2673    483 |        0 |        0
1237.65/1238.19	c 1238s |      20 |   834601 |   720127 |     2673    484 |        0 |        0
1239.75/1240.25	c 1240s |      20 |   835711 |   721127 |     2673    484 |        0 |        0
1241.75/1242.28	c 1242s |      20 |   836576 |   721927 |     2673    485 |        0 |        0
1243.95/1244.44	c 1244s |      20 |   837788 |   723027 |     2673    485 |        0 |        0
1246.15/1246.61	c 1246s |      20 |   839116 |   724227 |     2673    486 |        0 |        0
1248.25/1248.76	c 1248s |      20 |   840233 |   725227 |     2673    486 |        0 |        0
1250.45/1250.93	c 1250s |      20 |   841334 |   726227 |     2673    487 |        0 |        0
1252.45/1253.00	c 1252s |      20 |   842314 |   727127 |     2673    487 |        0 |        0
1254.65/1255.12	c 1255s |      20 |   843446 |   728127 |     2673    488 |        0 |        0
1256.65/1257.15	c 1257s |      20 |   844529 |   729127 |     2673    488 |        0 |        0
1258.75/1259.24	c 1259s |      20 |   845534 |   730027 |     2673    489 |        0 |        0
1260.85/1261.38	c 1261s |      20 |   846613 |   731027 |     2673    489 |        0 |        0
1262.95/1263.46	c 1263s |      20 |   847623 |   731927 |     2673    490 |        0 |        0
1265.15/1265.60	c 1265s |      20 |   849006 |   733127 |     2673    491 |        0 |        0
1267.25/1267.78	c 1267s |      20 |   850272 |   734227 |     2673    491 |        0 |        0
1269.35/1269.81	c 1269s |      20 |   851391 |   735227 |     2673    492 |        0 |        0
1271.54/1272.00	c 1271s |      20 |   852502 |   736227 |     2673    492 |        0 |        0
1273.54/1274.02	c 1273s |      20 |   853612 |   737227 |     2673    493 |        0 |        0
1275.65/1276.17	c 1276s |      20 |   854829 |   738327 |     2673    493 |        0 |        0
1277.85/1278.33	c 1278s |      20 |   856076 |   739427 |     2673    494 |        0 |        0
1279.95/1280.49	c 1280s |      20 |   857188 |   740427 |     2673    495 |        0 |        0
1282.04/1282.59	c 1282s |      20 |   858423 |   741527 |     2673    495 |        0 |        0
1284.14/1284.68	c 1284s |      20 |   859554 |   742527 |     2673    496 |        0 |        0
1286.34/1286.82	c 1286s |      20 |   860909 |   743727 |     2673    496 |        0 |        0
1288.44/1288.90	c 1288s |      20 |   862007 |   744727 |     2673    497 |        0 |        0
1290.44/1290.90	c 1290s |      20 |   863166 |   745727 |     2673    497 |        0 |        0
1292.64/1293.10	c 1293s |      20 |   864290 |   746727 |     2673    498 |        0 |        0
1294.64/1295.13	c 1295s |      20 |   865390 |   747727 |     2673    498 |        0 |        0
1296.64/1297.14	c 1297s |      20 |   866518 |   748727 |     2673    499 |        0 |        0
1298.75/1299.25	c 1299s |      20 |   867768 |   749827 |     2673    500 |        0 |        0
1300.85/1301.34	c 1301s |      20 |   869011 |   750927 |     2673    500 |        0 |        0
1302.94/1303.48	c 1303s |      20 |   870114 |   751927 |     2673    501 |        0 |        0
1305.14/1305.68	c 1305s |      20 |   871189 |   752927 |     2673    501 |        0 |        0
1307.24/1307.73	c 1307s |      20 |   872142 |   753827 |     2673    502 |        0 |        0
1309.34/1309.81	c 1309s |      20 |   873259 |   754827 |     2673    502 |        0 |        0
1311.34/1311.84	c 1311s |      20 |   874355 |   755827 |     2673    503 |        0 |        0
1313.34/1313.89	c 1313s |      20 |   875460 |   756827 |     2673    503 |        0 |        0
1315.44/1315.99	c 1315s |      20 |   876539 |   757827 |     2673    504 |        0 |        0
1317.64/1318.17	c 1318s |      20 |   877638 |   758827 |     2673    504 |        0 |        0
1319.84/1320.34	c 1320s |      20 |   878753 |   759827 |     2673    505 |        0 |        0
1321.84/1322.35	c 1322s |      20 |   879758 |   760727 |     2673    505 |        0 |        0
1324.04/1324.51	c 1324s |      20 |   881058 |   761927 |     2673    506 |        0 |        0
1326.14/1326.68	c 1326s |      20 |   882134 |   762927 |     2673    507 |        0 |        0
1328.23/1328.75	c 1328s |      20 |   883302 |   763927 |     2673    507 |        0 |        0
1330.33/1330.82	c 1330s |      20 |   884306 |   764827 |     2673    508 |        0 |        0
1332.53/1333.05	c 1332s |      20 |   885418 |   765827 |     2673    508 |        0 |        0
1334.63/1335.14	c 1335s |      20 |   886422 |   766727 |     2673    509 |        0 |        0
1336.73/1337.27	c 1337s |      20 |   887626 |   767727 |     2673    509 |        0 |        0
1338.93/1339.40	c 1339s |      20 |   888655 |   768627 |     2673    510 |        0 |        0
1341.03/1341.58	c 1341s |      20 |   889696 |   769527 |     2673    510 |        0 |        0
1343.23/1343.74	c 1343s |      20 |   890867 |   770527 |     2673    511 |        0 |        0
1345.43/1345.94	c 1345s |      20 |   891992 |   771527 |     2673    511 |        0 |        0
1347.63/1348.11	c 1348s |      20 |   893009 |   772427 |     2673    512 |        0 |        0
1349.73/1350.29	c 1350s |      20 |   893981 |   773327 |     2673    512 |        0 |        0
1351.83/1352.36	c 1352s |      20 |   894860 |   774127 |     2673    513 |        0 |        0
1353.83/1354.39	c 1354s |      20 |   895878 |   775027 |     2673    513 |        0 |        0
1356.03/1356.57	c 1356s |      20 |   896997 |   776027 |     2673    514 |        0 |        0
1358.23/1358.76	c 1358s |      20 |   898155 |   777027 |     2673    514 |        0 |        0
1360.23/1360.76	c 1360s |      20 |   899040 |   777827 |     2673    515 |        0 |        0
1362.43/1362.92	c 1362s |      20 |   900173 |   778827 |     2673    515 |        0 |        0
1364.53/1365.05	c 1364s |      20 |   901338 |   779827 |     2673    516 |        0 |        0
1366.63/1367.10	c 1367s |      20 |   902353 |   780727 |     2673    516 |        0 |        0
1368.82/1369.30	c 1369s |      20 |   903494 |   781727 |     2673    517 |        0 |        0
1370.82/1371.36	c 1371s |      20 |   904521 |   782627 |     2673    517 |        0 |        0
1372.83/1373.39	c 1373s |      20 |   905411 |   783427 |     2673    518 |        0 |        0
1375.03/1375.57	c 1375s |      20 |   906426 |   784327 |     2673    518 |        0 |        0
1377.13/1377.64	c 1377s |      20 |   907287 |   785127 |     2673    519 |        0 |        0
1379.23/1379.77	c 1379s |      20 |   908278 |   786027 |     2673    519 |        0 |        0
1381.24/1381.78	c 1381s |      20 |   909155 |   786827 |     2673    520 |        0 |        0
1383.44/1383.91	c 1383s |      20 |   910142 |   787727 |     2673    520 |        0 |        0
1385.54/1386.08	c 1386s |      20 |   911377 |   788827 |     2673    521 |        0 |        0
1387.74/1388.23	c 1388s |      20 |   912608 |   789927 |     2673    521 |        0 |        0
1389.83/1390.34	c 1390s |      20 |   913600 |   790827 |     2673    522 |        0 |        0
1391.93/1392.45	c 1392s |      20 |   914588 |   791727 |     2673    522 |        0 |        0
1394.03/1394.50	c 1394s |      20 |   915442 |   792527 |     2673    523 |        0 |        0
1396.13/1396.68	c 1396s |      20 |   916401 |   793427 |     2673    523 |        0 |        0
1398.33/1398.82	c 1398s |      20 |   917535 |   794427 |     2673    524 |        0 |        0
1400.33/1400.83	c 1400s |      20 |   918508 |   795327 |     2673    524 |        0 |        0
1402.53/1403.07	c 1403s |      20 |   919462 |   796227 |     2673    525 |        0 |        0
1404.63/1405.19	c 1405s |      20 |   920564 |   797227 |     2673    525 |        0 |        0
1406.83/1407.37	c 1407s |      20 |   921678 |   798227 |     2673    526 |        0 |        0
1409.03/1409.59	c 1409s |      20 |   922784 |   799227 |     2673    526 |        0 |        0
1411.23/1411.77	c 1411s |      20 |   923949 |   800227 |     2673    527 |        0 |        0
1413.33/1413.87	c 1413s |      20 |   924915 |   801127 |     2673    527 |        0 |        0
1415.52/1416.07	c 1416s |      20 |   925887 |   802027 |     2673    528 |        0 |        0
1417.62/1418.12	c 1418s |      20 |   926975 |   803027 |     2673    528 |        0 |        0
1419.73/1420.26	c 1420s |      20 |   927835 |   803827 |     2673    529 |        0 |        0
1421.83/1422.37	c 1422s |      20 |   928804 |   804727 |     2673    529 |        0 |        0
1423.82/1424.38	c 1424s |      20 |   929702 |   805527 |     2673    530 |        0 |        0
1425.92/1426.40	c 1426s |      20 |   930557 |   806327 |     2673    530 |        0 |        0
1427.92/1428.47	c 1428s |      20 |   931444 |   807127 |     2673    531 |        0 |        0
1430.12/1430.67	c 1430s |      20 |   932668 |   808227 |     2673    531 |        0 |        0
1432.12/1432.69	c 1432s |      20 |   933571 |   809027 |     2673    532 |        0 |        0
1434.22/1434.79	c 1434s |      20 |   934603 |   809927 |     2673    532 |        0 |        0
1436.42/1436.99	c 1436s |      20 |   935619 |   810827 |     2673    533 |        0 |        0
1438.43/1438.99	c 1438s |      20 |   936498 |   811627 |     2673    533 |        0 |        0
1440.72/1441.24	c 1441s |      20 |   937383 |   812427 |     2673    534 |        0 |        0
1442.92/1443.42	c 1443s |      20 |   938240 |   813227 |     2673    534 |        0 |        0
1445.12/1445.66	c 1445s |      20 |   939139 |   814027 |     2673    534 |        0 |        0
1447.32/1447.82	c 1447s |      20 |   940171 |   814927 |     2673    535 |        0 |        0
1449.32/1449.89	c 1449s |      20 |   941199 |   815827 |     2673    535 |        0 |        0
1451.53/1452.07	c 1452s |      20 |   942209 |   816727 |     2673    536 |        0 |        0
1453.52/1454.08	c 1454s |      20 |   943086 |   817527 |     2673    536 |        0 |        0
1455.72/1456.20	c 1456s |      20 |   944231 |   818527 |     2673    537 |        0 |        0
1457.82/1458.38	c 1458s |      20 |   945249 |   819427 |     2673    537 |        0 |        0
1460.02/1460.56	c 1460s |      20 |   946007 |   820127 |     2673    538 |        0 |        0
1462.12/1462.63	c 1462s |      20 |   947180 |   821127 |     2673    538 |        0 |        0
1464.22/1464.78	c 1464s |      20 |   948270 |   822127 |     2673    539 |        0 |        0
1466.42/1466.91	c 1466s |      20 |   949289 |   823027 |     2673    539 |        0 |        0
1468.51/1469.08	c 1469s |      20 |   950175 |   823827 |     2673    540 |        0 |        0
1470.71/1471.26	c 1471s |      20 |   951169 |   824727 |     2673    540 |        0 |        0
1472.81/1473.37	c 1473s |      20 |   952050 |   825527 |     2673    541 |        0 |        0
1474.91/1475.41	c 1475s |      20 |   953207 |   826527 |     2673    541 |        0 |        0
1477.01/1477.50	c 1477s |      20 |   954202 |   827427 |     2673    542 |        0 |        0
1479.02/1479.53	c 1479s |      20 |   955103 |   828227 |     2673    542 |        0 |        0
1481.01/1481.56	c 1481s |      20 |   955960 |   829027 |     2673    542 |        0 |        0
1483.11/1483.62	c 1483s |      20 |   956836 |   829827 |     2673    543 |        0 |        0
1485.31/1485.81	c 1485s |      20 |   958085 |   830927 |     2673    544 |        0 |        0
1487.41/1487.98	c 1487s |      20 |   959274 |   832027 |     2673    544 |        0 |        0
1489.41/1489.98	c 1489s |      20 |   960285 |   832927 |     2673    545 |        0 |        0
1491.61/1492.16	c 1492s |      20 |   961266 |   833827 |     2673    545 |        0 |        0
1493.61/1494.18	c 1494s |      20 |   962280 |   834727 |     2673    546 |        0 |        0
1495.81/1496.37	c 1496s |      20 |   963492 |   835827 |     2673    546 |        0 |        0
1498.01/1498.55	c 1498s |      20 |   964641 |   836827 |     2673    547 |        0 |        0
1500.11/1500.65	c 1500s |      20 |   965642 |   837727 |     2673    547 |        0 |        0
1502.22/1502.78	c 1502s |      20 |   966643 |   838627 |     2673    548 |        0 |        0
1504.42/1505.00	c 1504s |      20 |   967729 |   839627 |     2673    548 |        0 |        0
1506.62/1507.13	c 1507s |      20 |   968729 |   840527 |     2673    549 |        0 |        0
1508.61/1509.20	c 1509s |      20 |   969732 |   841427 |     2673    549 |        0 |        0
1510.71/1511.30	c 1511s |      20 |   970600 |   842227 |     2673    550 |        0 |        0
1512.81/1513.30	c 1513s |      20 |   971741 |   843227 |     2673    550 |        0 |        0
1515.01/1515.50	c 1515s |      20 |   972742 |   844127 |     2673    551 |        0 |        0
1517.21/1517.70	c 1517s |      20 |   973610 |   844927 |     2673    551 |        0 |        0
1519.41/1519.95	c 1519s |      20 |   974583 |   845827 |     2673    552 |        0 |        0
1521.51/1522.00	c 1521s |      20 |   975481 |   846627 |     2673    552 |        0 |        0
1523.61/1524.18	c 1524s |      20 |   976375 |   847427 |     2673    552 |        0 |        0
1525.91/1526.40	c 1526s |      20 |   977351 |   848327 |     2673    553 |        0 |        0
1527.91/1528.42	c 1528s |      20 |   978119 |   849027 |     2673    553 |        0 |        0
1530.01/1530.58	c 1530s |      20 |   978879 |   849727 |     2673    554 |        0 |        0
1532.31/1532.82	c 1532s |      20 |   979628 |   850427 |     2673    554 |        0 |        0
1534.50/1535.05	c 1534s |      20 |   980631 |   851327 |     2673    555 |        0 |        0
1536.80/1537.35	c 1537s |      20 |   981514 |   852127 |     2673    555 |        0 |        0
1539.10/1539.64	c 1539s |      20 |   982264 |   852827 |     2673    555 |        0 |        0
1541.10/1541.69	c 1541s |      20 |   983075 |   853527 |     2673    556 |        0 |        0
1543.20/1543.73	c 1543s |      20 |   984195 |   854527 |     2673    556 |        0 |        0
1545.30/1545.84	c 1545s |      20 |   985313 |   855527 |     2673    557 |        0 |        0
1547.31/1547.86	c 1547s |      20 |   986316 |   856427 |     2673    557 |        0 |        0
1549.41/1549.93	c 1549s |      20 |   987212 |   857227 |     2673    558 |        0 |        0
1551.50/1552.03	c 1551s |      20 |   988075 |   858027 |     2673    558 |        0 |        0
1553.50/1554.04	c 1553s |      20 |   988831 |   858727 |     2673    559 |        0 |        0
1555.50/1556.09	c 1556s |      20 |   989701 |   859527 |     2673    559 |        0 |        0
1557.60/1558.12	c 1558s |      20 |   990585 |   860327 |     2673    559 |        0 |        0
1559.80/1560.32	c 1560s |      20 |   991476 |   861127 |     2673    560 |        0 |        0
1561.90/1562.49	c 1562s |      20 |   992761 |   862227 |     2673    560 |        0 |        0
1564.10/1564.70	c 1564s |      20 |   993862 |   863227 |     2673    561 |        0 |        0
1566.40/1566.90	c 1566s |      20 |   994891 |   864127 |     2673    561 |        0 |        0
1568.60/1569.16	c 1569s |      20 |   995927 |   865027 |     2673    562 |        0 |        0
1570.70/1571.20	c 1571s |      20 |   996817 |   865827 |     2673    562 |        0 |        0
1572.80/1573.39	c 1573s |      20 |   997847 |   866727 |     2673    563 |        0 |        0
1574.90/1575.42	c 1575s |      20 |   998729 |   867527 |     2673    563 |        0 |        0
1577.00/1577.53	c 1577s |      20 |   999602 |   868327 |     2673    564 |        0 |        0
1579.20/1579.78	c 1579s |      20 |  1000605 |   869227 |     2673    564 |        0 |        0
1581.50/1582.03	c 1581s |      20 |  1001481 |   870027 |     2673    565 |        0 |        0
1583.80/1584.33	c 1584s |      20 |  1002362 |   870827 |     2673    565 |        0 |        0
1586.09/1586.64	c 1586s |      20 |  1003121 |   871527 |     2673    565 |        0 |        0
1588.39/1588.99	c 1588s |      20 |  1003884 |   872227 |     2673    566 |        0 |        0
1590.59/1591.14	c 1591s |      20 |  1005200 |   873327 |     2673    566 |        0 |        0
1592.59/1593.19	c 1593s |      20 |  1006314 |   874327 |     2673    567 |        0 |        0
1594.79/1595.34	c 1595s |      20 |  1007450 |   875327 |     2673    568 |        0 |        0
1596.80/1597.37	c 1597s |      20 |  1008457 |   876227 |     2673    568 |        0 |        0
1599.00/1599.53	c 1599s |      20 |  1009448 |   877127 |     2673    569 |        0 |        0
1601.20/1601.71	c 1601s |      20 |  1010531 |   878127 |     2673    569 |        0 |        0
1603.19/1603.77	c 1603s |      20 |  1011519 |   879027 |     2673    570 |        0 |        0
1605.50/1606.00	c 1605s |      20 |  1012629 |   880027 |     2673    570 |        0 |        0
1607.59/1608.20	c 1608s |      20 |  1013600 |   880927 |     2673    571 |        0 |        0
1609.69/1610.26	c 1610s |      20 |  1014575 |   881827 |     2673    571 |        0 |        0
1611.89/1612.45	c 1612s |      20 |  1015566 |   882727 |     2673    572 |        0 |        0
1614.09/1614.60	c 1614s |      20 |  1016670 |   883727 |     2673    572 |        0 |        0
1616.19/1616.70	c 1616s |      20 |  1017865 |   884827 |     2673    573 |        0 |        0
1618.29/1618.84	c 1618s |      20 |  1019089 |   885927 |     2673    573 |        0 |        0
1620.39/1620.91	c 1620s |      20 |  1020179 |   886927 |     2673    574 |        0 |        0
1622.59/1623.12	c 1623s |      20 |  1021268 |   887927 |     2673    574 |        0 |        0
1624.59/1625.20	c 1625s |      20 |  1022241 |   888827 |     2673    575 |        0 |        0
1626.68/1627.25	c 1627s |      20 |  1023232 |   889727 |     2673    575 |        0 |        0
1628.78/1629.30	c 1629s |      20 |  1024412 |   890827 |     2673    576 |        0 |        0
1630.79/1631.33	c 1631s |      20 |  1025505 |   891827 |     2673    576 |        0 |        0
1632.78/1633.38	c 1633s |      20 |  1026475 |   892727 |     2673    577 |        0 |        0
1634.98/1635.51	c 1635s |      20 |  1027438 |   893627 |     2673    577 |        0 |        0
1636.99/1637.58	c 1637s |      20 |  1028577 |   894627 |     2673    578 |        0 |        0
1639.09/1639.60	c 1639s |      20 |  1029679 |   895627 |     2673    579 |        0 |        0
1641.09/1641.66	c 1641s |      20 |  1030801 |   896627 |     2673    579 |        0 |        0
1643.39/1643.91	c 1643s |      20 |  1031782 |   897527 |     2673    580 |        0 |        0
1645.49/1646.04	c 1645s |      20 |  1032880 |   898527 |     2673    580 |        0 |        0
1647.69/1648.23	c 1648s |      20 |  1034097 |   899627 |     2673    581 |        0 |        0
1649.79/1650.36	c 1650s |      20 |  1035179 |   900627 |     2673    581 |        0 |        0
1651.80/1652.36	c 1652s |      20 |  1036031 |   901427 |     2673    582 |        0 |        0
1653.79/1654.39	c 1654s |      20 |  1037137 |   902427 |     2673    582 |        0 |        0
1655.89/1656.44	c 1656s |      20 |  1038210 |   903427 |     2673    583 |        0 |        0
1657.99/1658.52	c 1658s |      20 |  1039204 |   904327 |     2673    583 |        0 |        0
1660.09/1660.60	c 1660s |      20 |  1040200 |   905227 |     2673    584 |        0 |        0
1662.29/1662.82	c 1662s |      20 |  1041160 |   906127 |     2673    584 |        0 |        0
1664.39/1664.90	c 1664s |      20 |  1042160 |   907027 |     2673    585 |        0 |        0
1666.59/1667.12	c 1667s |      20 |  1043291 |   908027 |     2673    585 |        0 |        0
1668.59/1669.14	c 1669s |      20 |  1044254 |   908927 |     2673    586 |        0 |        0
1670.59/1671.14	c 1671s |      20 |  1045128 |   909727 |     2673    586 |        0 |        0
1672.79/1673.36	c 1673s |      20 |  1045980 |   910527 |     2673    587 |        0 |        0
1675.09/1675.60	c 1675s |      20 |  1046850 |   911327 |     2673    587 |        0 |        0
1677.19/1677.79	c 1677s |      20 |  1047950 |   912327 |     2673    588 |        0 |        0
1679.48/1680.01	c 1679s |      20 |  1048916 |   913227 |     2673    588 |        0 |        0
1681.58/1682.10	c 1682s |      20 |  1049785 |   914027 |     2673    588 |        0 |        0
1683.48/1684.10	c 1684s |      20 |  1050518 |   914727 |     2673    589 |        0 |        0
1685.58/1686.12	c 1686s |      20 |  1051291 |   915427 |     2673    589 |        0 |        0
1687.58/1688.13	c 1688s |      20 |  1052273 |   916327 |     2673    590 |        0 |        0
1689.78/1690.33	c 1690s |      20 |  1053297 |   917227 |     2673    590 |        0 |        0
1691.98/1692.56	c 1692s |      20 |  1054175 |   918027 |     2673    591 |        0 |        0
1694.28/1694.87	c 1694s |      20 |  1055037 |   918827 |     2673    591 |        0 |        0
1696.38/1696.91	c 1696s |      20 |  1055826 |   919527 |     2673    591 |        0 |        0
1698.48/1699.01	c 1698s |      20 |  1057081 |   920627 |     2673    592 |        0 |        0
1700.48/1701.05	c 1700s |      20 |  1058061 |   921527 |     2673    593 |        0 |        0
1702.58/1703.11	c 1703s |      20 |  1059288 |   922627 |     2673    593 |        0 |        0
1704.68/1705.25	c 1705s |      20 |  1060375 |   923627 |     2673    594 |        0 |        0
1706.79/1707.31	c 1707s |      20 |  1061516 |   924627 |     2673    594 |        0 |        0
1708.78/1709.31	c 1709s |      20 |  1062543 |   925527 |     2673    595 |        0 |        0
1710.88/1711.46	c 1711s |      20 |  1063645 |   926527 |     2673    595 |        0 |        0
1713.08/1713.65	c 1713s |      20 |  1064633 |   927427 |     2673    596 |        0 |        0
1715.18/1715.72	c 1715s |      20 |  1065534 |   928227 |     2673    596 |        0 |        0
1717.38/1717.99	c 1717s |      20 |  1066508 |   929127 |     2673    597 |        0 |        0
1719.48/1720.01	c 1719s |      20 |  1067533 |   930027 |     2673    597 |        0 |        0
1721.48/1722.01	c 1721s |      20 |  1068542 |   930927 |     2673    598 |        0 |        0
1723.58/1724.12	c 1724s |      20 |  1069673 |   931927 |     2673    598 |        0 |        0
1725.58/1726.18	c 1726s |      20 |  1070541 |   932727 |     2673    599 |        0 |        0
1727.68/1728.22	c 1728s |      20 |  1071414 |   933527 |     2673    599 |        0 |        0
1729.68/1730.25	c 1730s |      20 |  1072304 |   934327 |     2673    599 |        0 |        0
1731.68/1732.26	c 1732s |      20 |  1073185 |   935127 |     2673    600 |        0 |        0
1733.77/1734.31	c 1734s |      20 |  1073992 |   935827 |     2673    600 |        0 |        0
1735.97/1736.55	c 1736s |      20 |  1074732 |   936527 |     2673    601 |        0 |        0
1737.97/1738.60	c 1738s |      20 |  1075732 |   937427 |     2673    601 |        0 |        0
1740.07/1740.67	c 1740s |      20 |  1076618 |   938227 |     2673    602 |        0 |        0
1742.27/1742.88	c 1742s |      20 |  1077507 |   939027 |     2673    602 |        0 |        0
1744.37/1744.97	c 1744s |      20 |  1078388 |   939827 |     2673    602 |        0 |        0
1746.57/1747.10	c 1747s |      20 |  1079285 |   940627 |     2673    603 |        0 |        0
1748.58/1749.17	c 1749s |      20 |  1080266 |   941527 |     2673    603 |        0 |        0
1750.78/1751.36	c 1751s |      20 |  1081245 |   942427 |     2673    604 |        0 |        0
1752.88/1753.45	c 1753s |      20 |  1082090 |   943227 |     2673    604 |        0 |        0
1755.08/1755.64	c 1755s |      20 |  1082982 |   944027 |     2673    605 |        0 |        0
1757.17/1757.80	c 1757s |      20 |  1083886 |   944827 |     2673    605 |        0 |        0
1759.37/1759.99	c 1759s |      20 |  1084676 |   945527 |     2673    606 |        0 |        0
1761.57/1762.13	c 1762s |      20 |  1085453 |   946227 |     2673    606 |        0 |        0
1763.77/1764.30	c 1764s |      20 |  1086219 |   946927 |     2673    606 |        0 |        0
1765.77/1766.33	c 1766s |      20 |  1086881 |   947527 |     2673    607 |        0 |        0
1767.87/1768.48	c 1768s |      20 |  1087624 |   948227 |     2673    607 |        0 |        0
1770.27/1770.81	c 1770s |      20 |  1088770 |   949227 |     2673    608 |        0 |        0
1772.27/1772.84	c 1772s |      20 |  1089640 |   950027 |     2673    608 |        0 |        0
1774.37/1774.92	c 1774s |      20 |  1090507 |   950827 |     2673    608 |        0 |        0
1776.57/1777.17	c 1777s |      20 |  1091372 |   951627 |     2673    609 |        0 |        0
1778.57/1779.19	c 1779s |      20 |  1092273 |   952427 |     2673    609 |        0 |        0
1780.77/1781.35	c 1781s |      20 |  1093153 |   953227 |     2673    610 |        0 |        0
1782.87/1783.50	c 1783s |      20 |  1094015 |   954027 |     2673    610 |        0 |        0
1785.17/1785.74	c 1785s |      20 |  1094877 |   954827 |     2673    611 |        0 |        0
1787.37/1787.93	c 1787s |      20 |  1095738 |   955627 |     2673    611 |        0 |        0
1789.57/1790.13	c 1790s |      20 |  1096616 |   956427 |     2673    611 |        0 |        0
1791.77/1792.34	c 1792s |      20 |  1097642 |   957327 |     2673    612 |        0 |        0
1793.87/1794.45	c 1794s |      20 |  1098686 |   958227 |     2673    612 |        0 |        0
1796.07/1796.64	c 1796s |      20 |  1099731 |   959127 |     2673    613 |        0 |        0
1798.07/1798.68	c 1798s |      20 |  1100630 |   959927 |     2673    613 |        0 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4093711-1466093500/watcher-4093711-1466093500 -o /tmp/evaluation-result-4093711-1466093500/solver-4093711-1466093500 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466075286-21603 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093711-1466093500.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.22 2.34 2.30 3/179 23520
/proc/meminfo: memFree=29203556/32872528 swapFree=1499116/1695340
[pid=23520] ppid=23517 vsize=742844 CPUtime=0 cores=1,3,5,7
/proc/23520/stat : 23520 (toysat) R 23517 23520 17390 0 -1 4202496 2778 0 0 0 0 0 0 0 20 0 4 0 11395729 760672256 2628 33554432000 4194304 16246674 140733950800768 140733950800192 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23520/statm: 186223 2636 441 2943 0 183117 0
[pid=23520/tid=23521] ppid=23517 vsize=760252 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23521/stat : 23521 (toysat) S 23517 23520 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11395730 778498048 2696 33554432000 4194304 16246674 140733950800768 140422855765232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23520/tid=23522] ppid=23517 vsize=765372 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23522/stat : 23522 (toysat) S 23517 23520 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11395730 783740928 2714 33554432000 4194304 16246674 140733950800768 140422845275376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23520/tid=23523] ppid=23517 vsize=769468 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23523/stat : 23523 (toysat) S 23517 23520 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11395730 787935232 2729 33554432000 4194304 16246674 140733950800768 140422834801840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100163 s]
/proc/loadavg: 2.22 2.34 2.30 3/179 23520
/proc/meminfo: memFree=29203556/32872528 swapFree=1499116/1695340
[pid=23520] ppid=23517 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/23520/stat : 23520 (toysat) R 23517 23520 17390 0 -1 4202496 25222 0 0 0 7 2 0 0 20 0 4 0 11395729 1247350784 25058 33554432000 4194304 16246674 140733950800768 140733950800192 5530837 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23520/statm: 304529 25074 806 2943 0 301423 0
[pid=23520/tid=23521] ppid=23517 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23521/stat : 23521 (toysat) S 23517 23520 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11395730 1247350784 25085 33554432000 4194304 16246674 140733950800768 140422855765232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23520/tid=23522] ppid=23517 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23522/stat : 23522 (toysat) S 23517 23520 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11395730 1247350784 25095 33554432000 4194304 16246674 140733950800768 140422845275376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23520/tid=23523] ppid=23517 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23523/stat : 23523 (toysat) S 23517 23520 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11395730 1247350784 25103 33554432000 4194304 16246674 140733950800768 140422834801840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200525 s]
/proc/loadavg: 2.22 2.34 2.30 3/179 23520
/proc/meminfo: memFree=29203556/32872528 swapFree=1499116/1695340
[pid=23520] ppid=23517 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/23520/stat : 23520 (toysat) R 23517 23520 17390 0 -1 4202496 52499 0 0 0 13 6 0 0 20 0 4 0 11395729 1247350784 52336 33554432000 4194304 16246674 140733950800768 140733950800192 13780501 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23520/statm: 304529 52354 806 2943 0 301423 0
[pid=23520/tid=23521] ppid=23517 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23521/stat : 23521 (toysat) S 23517 23520 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11395730 1247350784 52365 33554432000 4194304 16246674 140733950800768 140422855765232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23520/tid=23522] ppid=23517 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23522/stat : 23522 (toysat) S 23517 23520 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11395730 1247350784 52375 33554432000 4194304 16246674 140733950800768 140422845275376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23520/tid=23523] ppid=23517 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23523/stat : 23523 (toysat) S 23517 23520 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11395730 1247350784 52384 33554432000 4194304 16246674 140733950800768 140422834801840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300526 s]
/proc/loadavg: 2.22 2.34 2.30 3/179 23520
/proc/meminfo: memFree=29203556/32872528 swapFree=1499116/1695340
[pid=23520] ppid=23517 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/23520/stat : 23520 (toysat) R 23517 23520 17390 0 -1 4202496 82710 0 0 0 20 9 0 0 20 0 4 0 11395729 1247350784 82546 33554432000 4194304 16246674 140733950800768 140733950800192 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23520/statm: 304529 82566 806 2943 0 301423 0
[pid=23520/tid=23521] ppid=23517 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23521/stat : 23521 (toysat) S 23517 23520 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11395730 1247350784 82577 33554432000 4194304 16246674 140733950800768 140422855765232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23520/tid=23522] ppid=23517 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23522/stat : 23522 (toysat) S 23517 23520 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11395730 1247350784 82589 33554432000 4194304 16246674 140733950800768 140422845275376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23520/tid=23523] ppid=23517 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23523/stat : 23523 (toysat) S 23517 23520 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11395730 1247350784 82598 33554432000 4194304 16246674 140733950800768 140422834801840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700506 s]
/proc/loadavg: 2.22 2.34 2.30 3/179 23520
/proc/meminfo: memFree=29203556/32872528 swapFree=1499116/1695340
[pid=23520] ppid=23517 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/23520/stat : 23520 (toysat) R 23517 23520 17390 0 -1 4202496 198868 0 0 0 43 26 0 0 20 0 4 0 11395729 1247350784 198705 33554432000 4194304 16246674 140733950800768 140733950782656 5723873 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23520/statm: 304529 198720 806 2943 0 301423 0
[pid=23520/tid=23521] ppid=23517 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23521/stat : 23521 (toysat) S 23517 23520 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11395730 1247350784 198728 33554432000 4194304 16246674 140733950800768 140422855765232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23520/tid=23522] ppid=23517 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23522/stat : 23522 (toysat) S 23517 23520 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11395730 1247350784 198737 33554432000 4194304 16246674 140733950800768 140422845275376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23520/tid=23523] ppid=23517 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23523/stat : 23523 (toysat) S 23517 23520 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11395730 1247350784 198745 33554432000 4194304 16246674 140733950800768 140422834801840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50047 s]
/proc/loadavg: 2.21 2.33 2.30 3/183 23524
/proc/meminfo: memFree=28221452/32872528 swapFree=1499116/1695340
[pid=23520] ppid=23517 vsize=1302084 CPUtime=1.48 cores=1,3,5,7
/proc/23520/stat : 23520 (toysat) R 23517 23520 17390 0 -1 4202496 251137 0 0 0 116 32 0 0 20 0 4 0 11395729 1333334016 250951 33554432000 4194304 16246674 140733950800768 140733950783768 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23520/statm: 325521 250959 871 2943 0 322415 0
[pid=23520/tid=23521] ppid=23517 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23521/stat : 23521 (toysat) S 23517 23520 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11395730 1333334016 250965 33554432000 4194304 16246674 140733950800768 140422855765232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23520/tid=23522] ppid=23517 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23522/stat : 23522 (toysat) S 23517 23520 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11395730 1333334016 250972 33554432000 4194304 16246674 140733950800768 140422845275376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23520/tid=23523] ppid=23517 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23523/stat : 23523 (toysat) S 23517 23520 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11395730 1333334016 250979 33554432000 4194304 16246674 140733950800768 140422834801840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1302084

[startup+3.10048 s]
/proc/loadavg: 2.21 2.33 2.30 3/183 23524
/proc/meminfo: memFree=28134404/32872528 swapFree=1499116/1695340
[pid=23520] ppid=23517 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/23520/stat : 23520 (toysat) R 23517 23520 17390 0 -1 4202496 267802 0 0 0 274 35 0 0 20 0 4 0 11395729 1338576896 267616 33554432000 4194304 16246674 140733950800768 140733950782656 5677784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23520/statm: 326801 267616 871 2943 0 323695 0
[pid=23520/tid=23521] ppid=23517 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23521/stat : 23521 (toysat) S 23517 23520 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11395730 1338576896 267616 33554432000 4194304 16246674 140733950800768 140422855765232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23520/tid=23522] ppid=23517 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23522/stat : 23522 (toysat) S 23517 23520 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11395730 1338576896 267616 33554432000 4194304 16246674 140733950800768 140422845275376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23520/tid=23523] ppid=23517 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23523/stat : 23523 (toysat) S 23517 23520 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11395730 1338576896 267616 33554432000 4194304 16246674 140733950800768 140422834801840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30043 s]
/proc/loadavg: 2.27 2.34 2.30 4/183 23524
/proc/meminfo: memFree=28133848/32872528 swapFree=1499116/1695340
[pid=23520] ppid=23517 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/23520/stat : 23520 (toysat) R 23517 23520 17390 0 -1 4202496 267922 0 0 0 594 35 0 0 20 0 4 0 11395729 1338576896 267736 33554432000 4194304 16246674 140733950800768 140733950782656 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23520/statm: 326801 267736 872 2943 0 323695 0
[pid=23520/tid=23521] ppid=23517 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23521/stat : 23521 (toysat) S 23517 23520 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11395730 1338576896 267736 33554432000 4194304 16246674 140733950800768 140422855765232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23520/tid=23522] ppid=23517 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23522/stat : 23522 (toysat) S 23517 23520 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11395730 1338576896 267736 33554432000 4194304 16246674 140733950800768 140422845275376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23520/tid=23523] ppid=23517 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23523/stat : 23523 (toysat) S 23517 23520 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11395730 1338576896 267736 33554432000 4194304 16246674 140733950800768 140422834801840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.25 2.34 2.30 3/183 23524
/proc/meminfo: memFree=28130664/32872528 swapFree=1499116/1695340
[pid=23520] ppid=23517 vsize=1311300 CPUtime=12.69 cores=1,3,5,7
/proc/23520/stat : 23520 (toysat) R 23517 23520 17390 0 -1 4202496 268773 0 0 0 1234 35 0 0 20 0 4 0 11395729 1342771200 268587 33554432000 4194304 16246674 140733950800768 140733950782656 12478342 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23520/statm: 327825 268587 872 2943 0 324719 0
[pid=23520/tid=23521] ppid=23517 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23521/stat : 23521 (toysat) S 23517 23520 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11395730 1342771200 268587 33554432000 4194304 16246674 140733950800768 140422855765232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23520/tid=23522] ppid=23517 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23522/stat : 23522 (toysat) S 23517 23520 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11395730 1342771200 268587 33554432000 4194304 16246674 140733950800768 140422845275376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23520/tid=23523] ppid=23517 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23523/stat : 23523 (toysat) S 23517 23520 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11395730 1342771200 268587 33554432000 4194304 16246674 140733950800768 140422834801840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1311300

[startup+25.5005 s]
/proc/loadavg: 2.21 2.33 2.29 3/183 23524
/proc/meminfo: memFree=28130392/32872528 swapFree=1499116/1695340
[pid=23520] ppid=23517 vsize=1311300 CPUtime=25.48 cores=1,3,5,7
/proc/23520/stat : 23520 (toysat) R 23517 23520 17390 0 -1 4202496 268779 0 0 0 2513 35 0 0 20 0 4 0 11395729 1342771200 268593 33554432000 4194304 16246674 140733950800768 140733950782656 5589077 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23520/statm: 327825 268593 872 2943 0 324719 0
[pid=23520/tid=23521] ppid=23517 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23521/stat : 23521 (toysat) S 23517 23520 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11395730 1342771200 268593 33554432000 4194304 16246674 140733950800768 140422855765232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23520/tid=23522] ppid=23517 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23522/stat : 23522 (toysat) S 23517 23520 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11395730 1342771200 268593 33554432000 4194304 16246674 140733950800768 140422845275376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23520/tid=23523] ppid=23517 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23523/stat : 23523 (toysat) S 23517 23520 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11395730 1342771200 268593 33554432000 4194304 16246674 140733950800768 140422834801840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1311300

[startup+51.1005 s]
/proc/loadavg: 2.21 2.31 2.29 4/182 23524
/proc/meminfo: memFree=28128268/32872528 swapFree=1499116/1695340
[pid=23520] ppid=23517 vsize=1312324 CPUtime=51.08 cores=1,3,5,7
/proc/23520/stat : 23520 (toysat) R 23517 23520 17390 0 -1 4202496 269202 0 0 0 5073 35 0 0 20 0 4 0 11395729 1343819776 269016 33554432000 4194304 16246674 140733950800768 140733950782656 5523356 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23520/statm: 328081 269016 872 2943 0 324975 0
[pid=23520/tid=23521] ppid=23517 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23521/stat : 23521 (toysat) S 23517 23520 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11395730 1343819776 269016 33554432000 4194304 16246674 140733950800768 140422855765232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23520/tid=23522] ppid=23517 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23522/stat : 23522 (toysat) S 23517 23520 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11395730 1343819776 269016 33554432000 4194304 16246674 140733950800768 140422845275376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23520/tid=23523] ppid=23517 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23523/stat : 23523 (toysat) S 23517 23520 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11395730 1343819776 269016 33554432000 4194304 16246674 140733950800768 140422834801840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1312324

[startup+102.301 s]
/proc/loadavg: 2.27 2.31 2.29 3/182 23525
/proc/meminfo: memFree=28121252/32872528 swapFree=1499116/1695340
[pid=23520] ppid=23517 vsize=1312324 CPUtime=102.28 cores=1,3,5,7
/proc/23520/stat : 23520 (toysat) R 23517 23520 17390 0 -1 4202496 269202 0 0 0 10193 35 0 0 20 0 4 0 11395729 1343819776 269016 33554432000 4194304 16246674 140733950800768 140733950782656 5861443 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23520/statm: 328081 269016 872 2943 0 324975 0
[pid=23520/tid=23521] ppid=23517 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23521/stat : 23521 (toysat) S 23517 23520 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11395730 1343819776 269016 33554432000 4194304 16246674 140733950800768 140422855765232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23520/tid=23522] ppid=23517 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23522/stat : 23522 (toysat) S 23517 23520 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11395730 1343819776 269016 33554432000 4194304 16246674 140733950800768 140422845275376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23520/tid=23523] ppid=23517 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23523/stat : 23523 (toysat) S 23517 23520 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11395730 1343819776 269016 33554432000 4194304 16246674 140733950800768 140422834801840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1312324


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

/proc/23520/task/23523/stat : 23523 (toysat) S 23517 23520 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11395730 1352208384 271324 33554432000 4194304 16246674 140733950800768 140422834801840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1320516

[startup+1302.3 s]
/proc/loadavg: 2.33 2.34 2.29 3/183 24333
/proc/meminfo: memFree=28606896/32872528 swapFree=1499116/1695340
[pid=23520] ppid=23517 vsize=1320516 CPUtime=1301.84 cores=1,3,5,7
/proc/23520/stat : 23520 (toysat) R 23517 23520 17390 0 -1 4202496 271692 0 0 0 130142 42 0 0 20 0 4 0 11395729 1352208384 271324 33554432000 4194304 16246674 140733950800768 140733950782656 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23520/statm: 330129 271324 875 2943 0 327023 0
[pid=23520/tid=23521] ppid=23517 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23521/stat : 23521 (toysat) S 23517 23520 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11395730 1352208384 271324 33554432000 4194304 16246674 140733950800768 140422855765232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23520/tid=23522] ppid=23517 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23522/stat : 23522 (toysat) S 23517 23520 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11395730 1352208384 271324 33554432000 4194304 16246674 140733950800768 140422845275376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23520/tid=23523] ppid=23517 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23523/stat : 23523 (toysat) S 23517 23520 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11395730 1352208384 271324 33554432000 4194304 16246674 140733950800768 140422834801840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1320516

[startup+1362.3 s]
/proc/loadavg: 2.53 2.38 2.30 4/183 24335
/proc/meminfo: memFree=28510084/32872528 swapFree=1499116/1695340
[pid=23520] ppid=23517 vsize=1320516 CPUtime=1361.83 cores=1,3,5,7
/proc/23520/stat : 23520 (toysat) R 23517 23520 17390 0 -1 4202496 271692 0 0 0 136141 42 0 0 20 0 4 0 11395729 1352208384 271324 33554432000 4194304 16246674 140733950800768 140733950782656 5724032 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23520/statm: 330129 271324 875 2943 0 327023 0
[pid=23520/tid=23521] ppid=23517 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23521/stat : 23521 (toysat) S 23517 23520 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11395730 1352208384 271324 33554432000 4194304 16246674 140733950800768 140422855765232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23520/tid=23522] ppid=23517 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23522/stat : 23522 (toysat) S 23517 23520 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11395730 1352208384 271324 33554432000 4194304 16246674 140733950800768 140422845275376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23520/tid=23523] ppid=23517 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23523/stat : 23523 (toysat) S 23517 23520 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11395730 1352208384 271324 33554432000 4194304 16246674 140733950800768 140422834801840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1320516

[startup+1422.3 s]
/proc/loadavg: 2.43 2.37 2.30 3/183 24336
/proc/meminfo: memFree=28145920/32872528 swapFree=1499116/1695340
[pid=23520] ppid=23517 vsize=1320516 CPUtime=1421.83 cores=1,3,5,7
/proc/23520/stat : 23520 (toysat) R 23517 23520 17390 0 -1 4202496 271692 0 0 0 142140 43 0 0 20 0 4 0 11395729 1352208384 271324 33554432000 4194304 16246674 140733950800768 140733950782656 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23520/statm: 330129 271324 875 2943 0 327023 0
[pid=23520/tid=23521] ppid=23517 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23521/stat : 23521 (toysat) S 23517 23520 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11395730 1352208384 271324 33554432000 4194304 16246674 140733950800768 140422855765232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23520/tid=23522] ppid=23517 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23522/stat : 23522 (toysat) S 23517 23520 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11395730 1352208384 271324 33554432000 4194304 16246674 140733950800768 140422845275376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23520/tid=23523] ppid=23517 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23523/stat : 23523 (toysat) S 23517 23520 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11395730 1352208384 271324 33554432000 4194304 16246674 140733950800768 140422834801840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1320516

[startup+1482.3 s]
/proc/loadavg: 2.44 2.38 2.30 3/183 24337
/proc/meminfo: memFree=28142104/32872528 swapFree=1499116/1695340
[pid=23520] ppid=23517 vsize=1320516 CPUtime=1481.81 cores=1,3,5,7
/proc/23520/stat : 23520 (toysat) R 23517 23520 17390 0 -1 4202496 271692 0 0 0 148138 43 0 0 20 0 4 0 11395729 1352208384 271324 33554432000 4194304 16246674 140733950800768 140733950782656 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23520/statm: 330129 271324 875 2943 0 327023 0
[pid=23520/tid=23521] ppid=23517 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23521/stat : 23521 (toysat) S 23517 23520 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11395730 1352208384 271324 33554432000 4194304 16246674 140733950800768 140422855765232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23520/tid=23522] ppid=23517 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23522/stat : 23522 (toysat) S 23517 23520 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11395730 1352208384 271324 33554432000 4194304 16246674 140733950800768 140422845275376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23520/tid=23523] ppid=23517 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23523/stat : 23523 (toysat) S 23517 23520 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11395730 1352208384 271324 33554432000 4194304 16246674 140733950800768 140422834801840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1320516

[startup+1542.31 s]
/proc/loadavg: 2.45 2.39 2.30 3/183 24338
/proc/meminfo: memFree=28138788/32872528 swapFree=1499116/1695340
[pid=23520] ppid=23517 vsize=1320516 CPUtime=1541.81 cores=1,3,5,7
/proc/23520/stat : 23520 (toysat) R 23517 23520 17390 0 -1 4202496 271692 0 0 0 154138 43 0 0 20 0 4 0 11395729 1352208384 271324 33554432000 4194304 16246674 140733950800768 140733950782656 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23520/statm: 330129 271324 875 2943 0 327023 0
[pid=23520/tid=23521] ppid=23517 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23521/stat : 23521 (toysat) S 23517 23520 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11395730 1352208384 271324 33554432000 4194304 16246674 140733950800768 140422855765232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23520/tid=23522] ppid=23517 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23522/stat : 23522 (toysat) S 23517 23520 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11395730 1352208384 271324 33554432000 4194304 16246674 140733950800768 140422845275376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23520/tid=23523] ppid=23517 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23523/stat : 23523 (toysat) S 23517 23520 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11395730 1352208384 271324 33554432000 4194304 16246674 140733950800768 140422834801840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1320516

[startup+1602.3 s]
/proc/loadavg: 2.41 2.38 2.30 3/183 24339
/proc/meminfo: memFree=28138324/32872528 swapFree=1499116/1695340
[pid=23520] ppid=23517 vsize=1320516 CPUtime=1601.79 cores=1,3,5,7
/proc/23520/stat : 23520 (toysat) R 23517 23520 17390 0 -1 4202496 271692 0 0 0 160136 43 0 0 20 0 4 0 11395729 1352208384 271324 33554432000 4194304 16246674 140733950800768 140733950782656 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23520/statm: 330129 271324 875 2943 0 327023 0
[pid=23520/tid=23521] ppid=23517 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23521/stat : 23521 (toysat) S 23517 23520 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11395730 1352208384 271324 33554432000 4194304 16246674 140733950800768 140422855765232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23520/tid=23522] ppid=23517 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23522/stat : 23522 (toysat) S 23517 23520 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11395730 1352208384 271324 33554432000 4194304 16246674 140733950800768 140422845275376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23520/tid=23523] ppid=23517 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23523/stat : 23523 (toysat) S 23517 23520 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11395730 1352208384 271324 33554432000 4194304 16246674 140733950800768 140422834801840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1320516

[startup+1662.3 s]
/proc/loadavg: 2.29 2.35 2.30 3/183 24341
/proc/meminfo: memFree=28138220/32872528 swapFree=1499116/1695340
[pid=23520] ppid=23517 vsize=1320516 CPUtime=1661.79 cores=1,3,5,7
/proc/23520/stat : 23520 (toysat) R 23517 23520 17390 0 -1 4202496 271692 0 0 0 166135 44 0 0 20 0 4 0 11395729 1352208384 271324 33554432000 4194304 16246674 140733950800768 140733950782656 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23520/statm: 330129 271324 875 2943 0 327023 0
[pid=23520/tid=23521] ppid=23517 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23521/stat : 23521 (toysat) S 23517 23520 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11395730 1352208384 271324 33554432000 4194304 16246674 140733950800768 140422855765232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23520/tid=23522] ppid=23517 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23522/stat : 23522 (toysat) S 23517 23520 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11395730 1352208384 271324 33554432000 4194304 16246674 140733950800768 140422845275376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23520/tid=23523] ppid=23517 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23523/stat : 23523 (toysat) S 23517 23520 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11395730 1352208384 271324 33554432000 4194304 16246674 140733950800768 140422834801840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1320516

[startup+1722.3 s]
/proc/loadavg: 2.36 2.36 2.30 4/184 24345
/proc/meminfo: memFree=28137840/32872528 swapFree=1499116/1695340
[pid=23520] ppid=23517 vsize=1320516 CPUtime=1721.78 cores=1,3,5,7
/proc/23520/stat : 23520 (toysat) R 23517 23520 17390 0 -1 4202496 271692 0 0 0 172134 44 0 0 20 0 4 0 11395729 1352208384 271324 33554432000 4194304 16246674 140733950800768 140733950782656 13950188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23520/statm: 330129 271324 875 2943 0 327023 0
[pid=23520/tid=23521] ppid=23517 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23521/stat : 23521 (toysat) S 23517 23520 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11395730 1352208384 271324 33554432000 4194304 16246674 140733950800768 140422855765232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23520/tid=23522] ppid=23517 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23522/stat : 23522 (toysat) S 23517 23520 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11395730 1352208384 271324 33554432000 4194304 16246674 140733950800768 140422845275376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23520/tid=23523] ppid=23517 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23523/stat : 23523 (toysat) S 23517 23520 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11395730 1352208384 271324 33554432000 4194304 16246674 140733950800768 140422834801840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1320516

[startup+1782.3 s]
/proc/loadavg: 2.38 2.37 2.30 3/183 24346
/proc/meminfo: memFree=28137568/32872528 swapFree=1499116/1695340
[pid=23520] ppid=23517 vsize=1320516 CPUtime=1781.77 cores=1,3,5,7
/proc/23520/stat : 23520 (toysat) R 23517 23520 17390 0 -1 4202496 271692 0 0 0 178133 44 0 0 20 0 4 0 11395729 1352208384 271324 33554432000 4194304 16246674 140733950800768 140733950782656 13759916 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23520/statm: 330129 271324 875 2943 0 327023 0
[pid=23520/tid=23521] ppid=23517 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23521/stat : 23521 (toysat) S 23517 23520 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11395730 1352208384 271324 33554432000 4194304 16246674 140733950800768 140422855765232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23520/tid=23522] ppid=23517 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23522/stat : 23522 (toysat) S 23517 23520 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11395730 1352208384 271324 33554432000 4194304 16246674 140733950800768 140422845275376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23520/tid=23523] ppid=23517 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23523/stat : 23523 (toysat) S 23517 23520 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11395730 1352208384 271324 33554432000 4194304 16246674 140733950800768 140422834801840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1320516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.29 2.35 2.30 3/183 24346
/proc/meminfo: memFree=28137788/32872528 swapFree=1499116/1695340
[pid=23520] ppid=23517 vsize=1320516 CPUtime=1800.06 cores=1,3,5,7
/proc/23520/stat : 23520 (toysat) R 23517 23520 17390 0 -1 4202496 271692 0 0 0 179962 44 0 0 20 0 4 0 11395729 1352208384 271324 33554432000 4194304 16246674 140733950800768 140733950782656 5545898 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23520/statm: 330129 271324 875 2943 0 327023 0
[pid=23520/tid=23521] ppid=23517 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23521/stat : 23521 (toysat) S 23517 23520 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11395730 1352208384 271324 33554432000 4194304 16246674 140733950800768 140422855765232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23520/tid=23522] ppid=23517 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23522/stat : 23522 (toysat) S 23517 23520 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11395730 1352208384 271324 33554432000 4194304 16246674 140733950800768 140422845275376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23520/tid=23523] ppid=23517 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/23520/task/23523/stat : 23523 (toysat) S 23517 23520 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11395730 1352208384 271324 33554432000 4194304 16246674 140733950800768 140422834801840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1320516

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.08
CPU user time (s): 1799.63
CPU system time (s): 0.443932
CPU usage (%): 99.9704
Max. virtual memory (cumulated for all children) (KiB): 1320516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.63
system time used= 0.443932
maximum resident set size= 1085296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271692
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= 451
involuntary context switches= 1901

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.5587 second user time and 14.3208 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-16 18:11:40
IDJOB=4093711
IDBENCH=79184
IDSOLVER=2553
FILE ID=node137/4093711-1466093500
RUNJOBID= node137-1466075286-21603
PBS_JOBID= 19904003
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-35-30--soft-0-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093711-1466093500/watcher-4093711-1466093500 -o /tmp/evaluation-result-4093711-1466093500/solver-4093711-1466093500 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466075286-21603 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093711-1466093500.wbo

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

MD5SUM BENCH= 169186b65db4bc0391cc8aa4ed776345
RANDOM SEED=116896204

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
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:        29204348 kB
Buffers:           46148 kB
Cached:           108316 kB
SwapCached:         2452 kB
Active:          1191960 kB
Inactive:          76052 kB
Active(anon):    1114016 kB
Inactive(anon):     1780 kB
Active(file):      77944 kB
Inactive(file):    74272 kB
Unevictable:     1695340 kB
Mlocked:         1499116 kB
SwapTotal:      67108856 kB
SwapFree:       67099388 kB
Dirty:             16348 kB
Writeback:             0 kB
AnonPages:       2807732 kB
Mapped:            10572 kB
Shmem:                 0 kB
Slab:             568540 kB
SReclaimable:      12796 kB
SUnreclaim:       555744 kB
KernelStack:        1520 kB
PageTables:         8972 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2949884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    354304 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node137 at 2016-06-16 18:41:41