Trace number 4093634

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

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_40_pb.cnf.cr--soft-0-100-0.wbo
MD5SUM68a136cd2642dd27a3fdbf065e2a5463
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark2.37264
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2400
Total number of constraints140
Number of soft constraints140
Number of constraints which are clauses80
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint40
Top cost 7122
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 7121
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 41
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T17:37:58+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-4093634-1466091477.wbo"]
0.00/0.01	c use --random-gen="3026361464 3751454403 2153825087 1549056964 2176416160 3639752294 1334865702 3676243933 184158884 2511757245 2953049106 4177288710 2273371233 827897266 2563621482 3049656778 4001680997 782958782 194729487 989226844 448894179 145172855 1423527481 1924289143 3565910666 3829036303 349310949 2136198845 3725913317 1024269920 3506741725 2359124252 1637383260 3547743250 2082035241 2176767988 143438977 1349898469 2411458688 3668541938 179439184 3880223556 1484504947 885270872 3686641369 2220712619 680586116 3909106847 268369666 2513845183 1239513207 4092067561 963782289 1569099728 1202790391 3082137258 2245474452 1932443114 1689884783 994407798 1905766625 788096180 2084956553 474018789 3037035963 2749602370 957402060 3665621505 464754310 529448074 4099277718 2418319031 232367483 1306894212 203091413 3106512820 2928153881 2555204842 3085332984 1601969445 1821495078 1944400737 3596567167 3781852016 2761130089 2007973431 2734343149 3747768885 776041716 1057068964 1506465068 157094771 2283197550 3884229493 834831810 777418615 2825581739 2059671701 1781013205 4234713797 2526153412 2111097895 2050194591 3372827415 1382374648 8794175 3472428160 838384078 2635540081 2184085283 2295341351 551583841 140640828 2406060770 833803885 688220211 3188706212 3150551758 2113658153 2348799386 3868122240 85473993 273076068 420899375 1127858094 3576598526 2317031846 2206269909 4008141612 378199348 1127778887 4225964416 974870640 2772275679 2940589889 1613466696 625725967 2836678129 490322861 221497394 757219007 2444970577 2104472467 1479591217 3667896076 2257836455 3980160274 1823824217 3883690085 4150811314 1881911144 4141014062 1861822789 3559127859 3509345663 1874660191 2824225231 1857831692 407588405 1275717190 963399946 611693218 4206347945 3443031617 2029173736 690720653 987584529 2496100453 2985666701 1420376933 3798564074 3610880403 3267834170 3019482543 946359453 2116795864 4256006739 2335856601 2712526730 3478276596 2818182060 653930726 1145560240 2947563906 1450673048 2983643087 1641755969 734622905 2133293006 1879950134 4294020912 1328806909 898661672 2579257402 1813158872 4260289576 2627991768 407088228 1369896572 544120464 1356449411 3687700586 580001872 1405954090 664509726 53350683 2294349147 3120746636 1839784784 3506804667 1472043410 1752291026 2537627575 2414803043 2897613362 826899058 1002538266 3390172682 1891926633 2451283122 2451561271 3037412587 914545046 1982867631 367860578 2612097746 778964133 2344901707 2434468225 2428076750 155907038 2198288710 2303116474 2320008933 234627854 1080953125 4207422636 3159639743 3126071623 899857525 2428439709 1718968351 1689567920 1214553363 1403198373 2312920478 2118418090 3307472791 777000990 240860603 3352015749 2008259187 787540342 82399992 3010114370 420768616 255 362436" option to reproduce the execution
0.09/0.12	c #vars 2400
0.09/0.12	c #constraints 140
0.09/0.13	c BCD2: Hardening is enabled.
0.09/0.13	c BCD2: BiasedSearch is enabled.
0.09/0.13	c Solving starts ...
0.09/0.13	c ============================[ Search Statistics ]============================
0.09/0.13	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.13	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.13	c =============================================================================
0.09/0.13	c  0.0s |       0 |        0 |        0 |      893      0 |        0 |        0
0.09/0.14	c  0.0s |       0 |      200 |        0 |      893      0 |        0 |        0
0.09/0.14	c #cpu_time = 0.003s
0.09/0.14	c #wall_clock_time = 0.003s
0.09/0.14	c #decision = 200
0.09/0.14	c #random_decision = 1
0.09/0.14	c #conflict = 0
0.09/0.14	c #restart = 0
0.09/0.14	o 3999
0.09/0.14	c BCD2: updating upper bound: 7121 -> 3998
0.09/0.14	c BCD2: 0 <= obj <= 3998
0.09/0.14	c BCD2: #cores=0, #unrelaxed=140, #relaxed=0, #hardened=0
0.09/0.14	c BCD2: #sat=1 #unsat=1 bias=1/2
0.09/0.14	c Solving starts ...
0.09/0.14	c ============================[ Search Statistics ]============================
0.09/0.14	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.14	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.14	c =============================================================================
0.09/0.14	c  0.0s |       0 |        0 |        0 |      893      0 |        0 |        0
0.09/0.17	c  0.0s |       1 |      284 |      100 |      893      0 |        0 |        0
0.18/0.23	c  0.1s |       2 |      965 |      250 |      983      0 |        0 |        0
0.29/0.38	c  0.2s |       3 |     2002 |      475 |     1082      0 |        0 |        0
0.58/0.68	c  0.5s |       4 |     3167 |      813 |     1191      0 |        0 |        0
1.19/1.22	c  1.1s |       5 |     4564 |     1320 |     1311      0 |        0 |        0
1.58/1.65	c  1.5s |       6 |     6271 |     2081 |     1588      1 |        0 |        0
2.49/2.56	c  2.4s |       7 |     8144 |     3223 |     1747      1 |        0 |        0
3.40/3.44	c  3.3s |       8 |    10442 |     4936 |     1922      3 |        0 |        0
5.39/5.47	c  5.3s |       8 |    14521 |     7136 |     1922      4 |        0 |        0
5.79/5.82	c  5.7s |       9 |    15019 |     7506 |     2115      4 |        0 |        0
7.89/7.93	c  7.8s |       9 |    18595 |     9906 |     2115      6 |        0 |        0
9.49/9.58	c  9.4s |      10 |    20240 |    11361 |     2327      7 |        0 |        0
11.58/11.66	c 11.5s |      10 |    23788 |    13761 |     2327      8 |        0 |        0
13.68/13.75	c 13.6s |      10 |    26069 |    15761 |     2327      9 |        0 |        0
15.28/15.37	c 15.2s |      11 |    27671 |    17144 |     2560     10 |        0 |        0
17.28/17.39	c 17.2s |      11 |    30406 |    18944 |     2560     11 |        0 |        0
19.38/19.41	c 19.3s |      11 |    32358 |    20744 |     2560     12 |        0 |        0
21.48/21.51	c 21.4s |      11 |    34347 |    22544 |     2560     13 |        0 |        0
23.48/23.58	c 23.4s |      11 |    36234 |    24244 |     2560     13 |        0 |        0
25.48/25.55	c 25.4s |      12 |    37957 |    25819 |     2816     14 |        0 |        0
27.59/27.62	c 27.5s |      12 |    41355 |    27919 |     2816     15 |        0 |        0
29.69/29.71	c 29.6s |      12 |    43281 |    29619 |     2816     16 |        0 |        0
31.68/31.78	c 31.6s |      12 |    44984 |    31119 |     2816     17 |        0 |        0
33.68/33.78	c 33.6s |      12 |    46574 |    32519 |     2816     18 |        0 |        0
35.78/35.84	c 35.7s |      12 |    48423 |    34119 |     2816     18 |        0 |        0
37.88/37.95	c 37.8s |      12 |    50132 |    35619 |     2816     19 |        0 |        0
39.98/40.10	c 40.0s |      12 |    51544 |    36919 |     2816     20 |        0 |        0
42.18/42.25	c 42.1s |      12 |    53094 |    38319 |     2816     21 |        0 |        0
42.78/42.86	c 42.7s |      13 |    53662 |    38832 |     3098     21 |        0 |        0
44.88/44.92	c 44.8s |      13 |    56918 |    40932 |     3098     22 |        0 |        0
46.88/46.97	c 46.8s |      13 |    58772 |    42532 |     3098     22 |        0 |        0
49.08/49.11	c 49.0s |      13 |    60483 |    44032 |     3098     23 |        0 |        0
51.08/51.20	c 51.1s |      13 |    61855 |    45232 |     3098     24 |        0 |        0
53.17/53.27	c 53.1s |      13 |    63540 |    46732 |     3098     24 |        0 |        0
55.27/55.37	c 55.2s |      13 |    65073 |    48132 |     3098     25 |        0 |        0
57.47/57.50	c 57.4s |      13 |    66746 |    49632 |     3098     26 |        0 |        0
59.48/59.56	c 59.4s |      13 |    68186 |    50932 |     3098     26 |        0 |        0
61.68/61.72	c 61.6s |      13 |    69636 |    52232 |     3098     27 |        0 |        0
63.79/63.81	c 63.7s |      13 |    70861 |    53332 |     3098     27 |        0 |        0
65.88/65.94	c 65.8s |      13 |    72093 |    54432 |     3098     28 |        0 |        0
67.98/68.01	c 67.9s |      13 |    73547 |    55732 |     3098     29 |        0 |        0
70.08/70.13	c 70.0s |      13 |    75067 |    57132 |     3098     29 |        0 |        0
71.78/71.82	c 71.7s |      14 |    76508 |    58352 |     3408     30 |        0 |        0
73.88/73.90	c 73.8s |      14 |    79461 |    60152 |     3408     30 |        0 |        0
75.88/75.95	c 75.8s |      14 |    81056 |    61552 |     3408     31 |        0 |        0
77.98/78.06	c 77.9s |      14 |    82436 |    62752 |     3408     31 |        0 |        0
80.08/80.10	c 80.0s |      14 |    83629 |    63852 |     3408     32 |        0 |        0
82.18/82.23	c 82.1s |      14 |    84772 |    64852 |     3408     32 |        0 |        0
84.18/84.29	c 84.2s |      14 |    86385 |    66252 |     3408     33 |        0 |        0
86.27/86.34	c 86.2s |      14 |    87812 |    67552 |     3408     33 |        0 |        0
88.27/88.34	c 88.2s |      14 |    89333 |    68852 |     3408     34 |        0 |        0
90.28/90.37	c 90.2s |      14 |    90974 |    70252 |     3408     35 |        0 |        0
92.38/92.46	c 92.3s |      14 |    92523 |    71652 |     3408     35 |        0 |        0
94.47/94.50	c 94.4s |      14 |    94176 |    73052 |     3408     36 |        0 |        0
96.57/96.61	c 96.5s |      14 |    95835 |    74552 |     3408     36 |        0 |        0
98.67/98.71	c 98.6s |      14 |    97423 |    75952 |     3408     37 |        0 |        0
100.77/100.82	c  100s |      14 |    98866 |    77252 |     3408     37 |        0 |        0
102.77/102.83	c  102s |      14 |   100189 |    78452 |     3408     38 |        0 |        0
104.87/104.98	c  104s |      14 |   101665 |    79752 |     3408     38 |        0 |        0
107.07/107.13	c  106s |      14 |   103135 |    81052 |     3408     39 |        0 |        0
109.17/109.25	c  109s |      14 |   104595 |    82352 |     3408     40 |        0 |        0
111.27/111.30	c  111s |      14 |   106040 |    83652 |     3408     40 |        0 |        0
113.28/113.36	c  113s |      14 |   107354 |    84852 |     3408     41 |        0 |        0
115.37/115.49	c  115s |      14 |   108899 |    86252 |     3408     41 |        0 |        0
117.37/117.49	c  117s |      14 |   110269 |    87452 |     3749     41 |        0 |        0
117.78/117.83	c  117s |      15 |   110480 |    87632 |     3749     42 |        0 |        0
119.77/119.85	c  119s |      15 |   114172 |    89632 |     3749     42 |        0 |        0
121.87/121.94	c  121s |      15 |   116021 |    91232 |     3749     43 |        0 |        0
123.96/124.04	c  123s |      15 |   117573 |    92632 |     3749     43 |        0 |        0
125.96/126.09	c  125s |      15 |   118987 |    93932 |     3749     44 |        0 |        0
128.16/128.22	c  128s |      15 |   120398 |    95232 |     3749     44 |        0 |        0
130.26/130.36	c  130s |      15 |   122117 |    96732 |     3749     45 |        0 |        0
132.36/132.40	c  132s |      15 |   123532 |    97932 |     3749     46 |        0 |        0
134.46/134.55	c  134s |      15 |   124982 |    99232 |     3749     46 |        0 |        0
136.56/136.67	c  136s |      15 |   126343 |   100432 |     3749     46 |        0 |        0
138.57/138.69	c  138s |      15 |   127696 |   101632 |     3749     47 |        0 |        0
140.66/140.74	c  140s |      15 |   128905 |   102732 |     3749     47 |        0 |        0
142.76/142.88	c  142s |      15 |   130249 |   103932 |     3749     48 |        0 |        0
144.86/144.93	c  144s |      15 |   131586 |   105132 |     3749     48 |        0 |        0
146.96/147.05	c  146s |      15 |   132817 |   106232 |     3749     49 |        0 |        0
149.17/149.21	c  149s |      15 |   134146 |   107432 |     3749     49 |        0 |        0
151.27/151.36	c  151s |      15 |   135477 |   108632 |     3749     50 |        0 |        0
153.37/153.47	c  153s |      15 |   136754 |   109832 |     3749     50 |        0 |        0
155.37/155.49	c  155s |      15 |   137969 |   110932 |     3749     51 |        0 |        0
157.47/157.52	c  157s |      15 |   139443 |   112232 |     3749     51 |        0 |        0
159.47/159.58	c  159s |      15 |   140774 |   113432 |     3749     51 |        0 |        0
161.57/161.67	c  161s |      15 |   142252 |   114732 |     3749     52 |        0 |        0
163.67/163.72	c  163s |      15 |   143561 |   115932 |     3749     52 |        0 |        0
165.76/165.87	c  165s |      15 |   144759 |   117032 |     3749     53 |        0 |        0
167.86/167.99	c  167s |      15 |   146111 |   118232 |     3749     53 |        0 |        0
170.06/170.16	c  170s |      15 |   147647 |   119632 |     3749     54 |        0 |        0
172.16/172.23	c  172s |      15 |   148906 |   120732 |     3749     54 |        0 |        0
174.16/174.23	c  174s |      15 |   150049 |   121732 |     3749     55 |        0 |        0
176.36/176.40	c  176s |      15 |   151281 |   122832 |     3749     55 |        0 |        0
178.36/178.40	c  178s |      15 |   152391 |   123832 |     3749     55 |        0 |        0
180.47/180.53	c  180s |      15 |   153483 |   124832 |     3749     56 |        0 |        0
182.67/182.76	c  182s |      15 |   154703 |   125932 |     3749     56 |        0 |        0
184.77/184.82	c  184s |      15 |   155687 |   126832 |     3749     57 |        0 |        0
186.86/186.94	c  186s |      15 |   156785 |   127832 |     3749     57 |        0 |        0
188.96/189.02	c  188s |      15 |   157760 |   128732 |     3749     57 |        0 |        0
190.96/191.07	c  190s |      15 |   158729 |   129632 |     3749     58 |        0 |        0
193.16/193.26	c  193s |      15 |   159985 |   130732 |     4124     58 |        0 |        0
194.96/195.09	c  194s |      16 |   160925 |   131552 |     4124     58 |        0 |        0
197.06/197.15	c  197s |      16 |   163866 |   133652 |     4124     59 |        0 |        0
199.06/199.16	c  199s |      16 |   166290 |   135852 |     4124     60 |        0 |        0
201.26/201.35	c  201s |      16 |   168908 |   138252 |     4124     62 |        0 |        0
203.36/203.41	c  203s |      16 |   172341 |   141252 |     4124     63 |        0 |        0
205.36/205.48	c  205s |      16 |   175331 |   143952 |     4124     64 |        0 |        0
207.46/207.52	c  207s |      16 |   178132 |   146452 |     4124     65 |        0 |        0
209.46/209.55	c  209s |      16 |   180912 |   148952 |     4124     66 |        0 |        0
211.55/211.62	c  211s |      16 |   184262 |   151952 |     4124     67 |        0 |        0
213.55/213.63	c  213s |      16 |   187601 |   154852 |     4124     69 |        0 |        0
215.56/215.64	c  215s |      16 |   190666 |   157552 |     4124     70 |        0 |        0
217.55/217.68	c  217s |      16 |   193613 |   160152 |     4124     71 |        0 |        0
219.65/219.70	c  219s |      16 |   196519 |   162752 |     4124     72 |        0 |        0
221.65/221.74	c  221s |      16 |   199308 |   165252 |     4124     73 |        0 |        0
223.75/223.80	c  223s |      16 |   201847 |   167552 |     4124     74 |        0 |        0
225.75/225.89	c  225s |      16 |   204558 |   169352 |     4124     74 |        0 |        0
227.85/227.92	c  227s |      16 |   206327 |   170852 |     4124     75 |        0 |        0
229.86/229.97	c  229s |      16 |   207814 |   172152 |     4124     75 |        0 |        0
231.85/231.97	c  231s |      16 |   209169 |   173352 |     4124     76 |        0 |        0
233.95/234.06	c  233s |      16 |   210508 |   174552 |     4124     76 |        0 |        0
235.95/236.08	c  235s |      16 |   211812 |   175652 |     4124     77 |        0 |        0
237.95/238.09	c  237s |      16 |   213305 |   176952 |     4124     77 |        0 |        0
240.15/240.22	c  240s |      16 |   214543 |   178052 |     4124     77 |        0 |        0
242.15/242.23	c  242s |      16 |   215539 |   178952 |     4124     78 |        0 |        0
244.16/244.27	c  244s |      16 |   216769 |   180052 |     4124     78 |        0 |        0
246.36/246.44	c  246s |      16 |   218227 |   181352 |     4124     78 |        0 |        0
248.35/248.48	c  248s |      16 |   219488 |   182452 |     4124     79 |        0 |        0
250.35/250.49	c  250s |      16 |   220685 |   183552 |     4124     79 |        0 |        0
252.45/252.58	c  252s |      16 |   221669 |   184452 |     4124     80 |        0 |        0
254.55/254.64	c  254s |      16 |   223033 |   185652 |     4124     80 |        0 |        0
256.75/256.81	c  256s |      16 |   224287 |   186752 |     4124     80 |        0 |        0
258.84/258.97	c  258s |      16 |   225278 |   187652 |     4124     81 |        0 |        0
261.04/261.12	c  260s |      16 |   226522 |   188752 |     4124     81 |        0 |        0
263.14/263.26	c  263s |      16 |   227661 |   189752 |     4124     81 |        0 |        0
265.24/265.39	c  265s |      16 |   228657 |   190652 |     4124     82 |        0 |        0
267.44/267.56	c  267s |      16 |   229768 |   191652 |     4124     82 |        0 |        0
269.74/269.80	c  269s |      16 |   230860 |   192652 |     4124     82 |        0 |        0
271.75/271.86	c  271s |      16 |   231873 |   193552 |     4124     83 |        0 |        0
273.74/273.90	c  273s |      16 |   233015 |   194552 |     4124     83 |        0 |        0
275.84/275.93	c  275s |      16 |   234135 |   195552 |     4124     83 |        0 |        0
278.04/278.11	c  277s |      16 |   235008 |   196352 |     4537     84 |        0 |        0
280.04/280.17	c  280s |      16 |   236116 |   197352 |     4537     84 |        0 |        0
280.24/280.35	c  280s |      17 |   236210 |   197432 |     4537     84 |        0 |        0
282.34/282.44	c  282s |      17 |   239391 |   199032 |     4537     84 |        0 |        0
284.54/284.65	c  284s |      17 |   240877 |   200332 |     4537     85 |        0 |        0
286.64/286.75	c  286s |      17 |   242326 |   201532 |     4537     85 |        0 |        0
288.74/288.80	c  288s |      17 |   243451 |   202532 |     4537     86 |        0 |        0
290.74/290.87	c  290s |      17 |   244694 |   203632 |     4537     86 |        0 |        0
292.74/292.88	c  292s |      17 |   245716 |   204532 |     4537     86 |        0 |        0
294.94/295.07	c  294s |      17 |   246702 |   205432 |     4537     87 |        0 |        0
297.04/297.19	c  297s |      17 |   247822 |   206432 |     4537     87 |        0 |        0
299.34/299.43	c  299s |      17 |   248895 |   207432 |     4537     87 |        0 |        0
301.45/301.56	c  301s |      17 |   249770 |   208232 |     4537     87 |        0 |        0
303.44/303.60	c  303s |      17 |   250651 |   209032 |     4537     88 |        0 |        0
305.64/305.73	c  305s |      17 |   251651 |   209932 |     4537     88 |        0 |        0
307.84/307.99	c  307s |      17 |   252534 |   210732 |     4537     88 |        0 |        0
310.25/310.40	c  310s |      17 |   253404 |   211532 |     4537     89 |        0 |        0
312.45/312.53	c  312s |      17 |   254418 |   212432 |     4537     89 |        0 |        0
314.44/314.54	c  314s |      17 |   255647 |   213432 |     4537     89 |        0 |        0
316.44/316.58	c  316s |      17 |   256653 |   214332 |     4537     90 |        0 |        0
318.44/318.59	c  318s |      17 |   257675 |   215232 |     4537     90 |        0 |        0
320.54/320.67	c  320s |      17 |   258590 |   216032 |     4537     90 |        0 |        0
322.84/322.94	c  322s |      17 |   259478 |   216832 |     4537     90 |        0 |        0
324.94/325.02	c  324s |      17 |   260147 |   217432 |     4537     91 |        0 |        0
326.94/327.02	c  326s |      17 |   261038 |   218232 |     4537     91 |        0 |        0
328.94/329.04	c  328s |      17 |   262062 |   219132 |     4537     91 |        0 |        0
331.14/331.23	c  331s |      17 |   262925 |   219932 |     4537     91 |        0 |        0
333.34/333.48	c  333s |      17 |   263807 |   220732 |     4537     92 |        0 |        0
335.54/335.65	c  335s |      17 |   264652 |   221532 |     4537     92 |        0 |        0
337.74/337.81	c  337s |      17 |   265439 |   222232 |     4537     92 |        0 |        0
339.94/340.03	c  339s |      17 |   266260 |   222932 |     4537     92 |        0 |        0
342.14/342.23	c  342s |      17 |   267158 |   223732 |     4537     93 |        0 |        0
344.13/344.25	c  344s |      17 |   268022 |   224532 |     4537     93 |        0 |        0
346.13/346.28	c  346s |      17 |   268923 |   225332 |     4537     93 |        0 |        0
348.43/348.53	c  348s |      17 |   269711 |   226032 |     4537     94 |        0 |        0
350.53/350.66	c  350s |      17 |   270596 |   226832 |     4537     94 |        0 |        0
352.74/352.89	c  352s |      17 |   271483 |   227632 |     4537     94 |        0 |        0
354.84/354.94	c  354s |      17 |   272263 |   228332 |     4537     94 |        0 |        0
357.03/357.15	c  357s |      17 |   273044 |   229032 |     4537     95 |        0 |        0
359.23/359.30	c  359s |      17 |   273892 |   229832 |     4537     95 |        0 |        0
361.33/361.46	c  361s |      17 |   274761 |   230632 |     4537     95 |        0 |        0
363.53/363.61	c  363s |      17 |   275524 |   231332 |     4537     95 |        0 |        0
365.63/365.74	c  365s |      17 |   276164 |   231932 |     4537     96 |        0 |        0
367.83/367.95	c  367s |      17 |   277033 |   232732 |     4537     96 |        0 |        0
369.93/370.00	c  369s |      17 |   277790 |   233432 |     4537     96 |        0 |        0
371.93/372.07	c  371s |      17 |   278546 |   234132 |     4537     96 |        0 |        0
374.04/374.18	c  374s |      17 |   279192 |   234732 |     4537     97 |        0 |        0
376.24/376.32	c  376s |      17 |   280069 |   235532 |     4537     97 |        0 |        0
378.33/378.44	c  378s |      17 |   280944 |   236332 |     4537     97 |        0 |        0
380.43/380.57	c  380s |      17 |   281695 |   237032 |     4537     97 |        0 |        0
382.73/382.87	c  382s |      17 |   282463 |   237732 |     4537     98 |        0 |        0
385.04/385.15	c  385s |      17 |   283354 |   238532 |     4537     98 |        0 |        0
387.03/387.16	c  387s |      17 |   284249 |   239332 |     4537     98 |        0 |        0
389.23/389.40	c  389s |      17 |   285136 |   240132 |     4537     98 |        0 |        0
391.33/391.41	c  391s |      17 |   285790 |   240732 |     4537     99 |        0 |        0
393.33/393.49	c  393s |      17 |   286560 |   241432 |     4537     99 |        0 |        0
395.53/395.70	c  395s |      17 |   287417 |   242232 |     4537     99 |        0 |        0
397.92/398.02	c  397s |      17 |   288187 |   242932 |     4537     99 |        0 |        0
400.22/400.31	c  400s |      17 |   288949 |   243632 |     4537    100 |        0 |        0
402.43/402.51	c  402s |      17 |   289707 |   244332 |     4537    100 |        0 |        0
404.53/404.69	c  404s |      17 |   290566 |   245132 |     4537    100 |        0 |        0
406.83/406.94	c  406s |      17 |   291445 |   245932 |     4537    100 |        0 |        0
409.03/409.10	c  408s |      17 |   292214 |   246632 |     4537    101 |        0 |        0
411.12/411.27	c  411s |      17 |   292991 |   247332 |     4537    101 |        0 |        0
413.22/413.31	c  413s |      17 |   293787 |   248032 |     4537    101 |        0 |        0
415.32/415.49	c  415s |      17 |   294541 |   248732 |     4537    101 |        0 |        0
417.32/417.49	c  417s |      17 |   295181 |   249332 |     4537    102 |        0 |        0
419.52/419.61	c  419s |      17 |   296035 |   250132 |     4537    102 |        0 |        0
421.71/421.83	c  421s |      17 |   296963 |   250932 |     4537    102 |        0 |        0
423.71/423.89	c  423s |      17 |   297716 |   251632 |     4537    102 |        0 |        0
426.02/426.14	c  425s |      17 |   298470 |   252332 |     4537    103 |        0 |        0
428.11/428.26	c  428s |      17 |   299243 |   253032 |     4537    103 |        0 |        0
430.41/430.57	c  430s |      17 |   299971 |   253732 |     4537    103 |        0 |        0
432.61/432.71	c  432s |      17 |   300626 |   254332 |     4537    103 |        0 |        0
434.90/435.09	c  434s |      17 |   301262 |   254932 |     4537    104 |        0 |        0
437.00/437.17	c  437s |      17 |   301801 |   255432 |     4537    104 |        0 |        0
439.11/439.23	c  439s |      17 |   302347 |   255932 |     4537    104 |        0 |        0
441.50/441.64	c  441s |      17 |   302880 |   256432 |     4537    104 |        0 |        0
443.50/443.66	c  443s |      17 |   303454 |   256932 |     4537    104 |        0 |        0
445.90/446.00	c  445s |      17 |   304331 |   257732 |     4537    105 |        0 |        0
448.10/448.20	c  448s |      17 |   305191 |   258532 |     4537    105 |        0 |        0
450.20/450.34	c  450s |      17 |   305948 |   259232 |     4537    105 |        0 |        0
452.20/452.38	c  452s |      17 |   306807 |   260032 |     4537    105 |        0 |        0
454.30/454.48	c  454s |      17 |   307439 |   260632 |     4537    106 |        0 |        0
456.59/456.74	c  456s |      17 |   308193 |   261332 |     4537    106 |        0 |        0
458.79/458.97	c  458s |      17 |   308926 |   262032 |     4537    106 |        0 |        0
460.90/461.05	c  460s |      17 |   309574 |   262632 |     4537    106 |        0 |        0
463.00/463.18	c  463s |      17 |   310208 |   263232 |     4537    106 |        0 |        0
465.30/465.40	c  465s |      17 |   310749 |   263732 |     4537    107 |        0 |        0
467.40/467.58	c  467s |      17 |   311517 |   264432 |     4537    107 |        0 |        0
469.59/469.72	c  469s |      17 |   312281 |   265132 |     4537    107 |        0 |        0
471.89/472.01	c  471s |      17 |   313040 |   265832 |     4537    107 |        0 |        0
474.09/474.22	c  474s |      17 |   313693 |   266432 |     4537    108 |        0 |        0
476.19/476.33	c  476s |      17 |   314338 |   267032 |     4537    108 |        0 |        0
478.18/478.34	c  478s |      17 |   314995 |   267632 |     4537    108 |        0 |        0
480.28/480.46	c  480s |      17 |   315543 |   268132 |     4537    108 |        0 |        0
482.58/482.76	c  482s |      17 |   316073 |   268632 |     4537    108 |        0 |        0
485.08/485.24	c  485s |      17 |   316620 |   269132 |     4537    108 |        0 |        0
487.07/487.29	c  487s |      17 |   317396 |   269832 |     4537    109 |        0 |        0
489.17/489.39	c  489s |      17 |   318759 |   271032 |     4537    109 |        0 |        0
491.27/491.46	c  491s |      17 |   320023 |   272132 |     4537    109 |        0 |        0
493.27/493.49	c  493s |      17 |   321113 |   273132 |     4537    110 |        0 |        0
495.37/495.55	c  495s |      17 |   322336 |   274232 |     4537    110 |        0 |        0
497.47/497.66	c  497s |      17 |   323439 |   275232 |     4537    111 |        0 |        0
499.47/499.67	c  499s |      17 |   324608 |   276332 |     4537    111 |        0 |        0
501.67/501.88	c  501s |      17 |   325815 |   277432 |     4537    111 |        0 |        0
503.77/503.92	c  503s |      17 |   326896 |   278432 |     4537    112 |        0 |        0
505.76/505.96	c  505s |      17 |   327992 |   279432 |     4537    112 |        0 |        0
507.96/508.13	c  507s |      17 |   329068 |   280432 |     4537    112 |        0 |        0
510.16/510.30	c  510s |      17 |   330151 |   281432 |     4537    113 |        0 |        0
512.36/512.52	c  512s |      17 |   331333 |   282532 |     4537    113 |        0 |        0
514.46/514.60	c  514s |      17 |   332207 |   283332 |     4537    113 |        0 |        0
516.66/516.82	c  516s |      17 |   333181 |   284232 |     4537    114 |        0 |        0
518.76/518.93	c  518s |      17 |   335014 |   285732 |     4537    114 |        0 |        0
520.85/521.05	c  520s |      17 |   336251 |   286832 |     4537    115 |        0 |        0
522.96/523.19	c  523s |      17 |   337652 |   288032 |     4537    115 |        0 |        0
525.06/525.28	c  525s |      17 |   338785 |   289032 |     4537    115 |        0 |        0
527.16/527.32	c  527s |      17 |   340138 |   290232 |     4537    116 |        0 |        0
529.36/529.52	c  529s |      17 |   341272 |   291232 |     4537    116 |        0 |        0
531.46/531.68	c  531s |      17 |   342448 |   292232 |     4537    116 |        0 |        0
533.56/533.72	c  533s |      17 |   343529 |   293132 |     4537    117 |        0 |        0
535.56/535.79	c  535s |      17 |   344529 |   294032 |     4537    117 |        0 |        0
537.66/537.86	c  537s |      17 |   345538 |   294932 |     4991    117 |        0 |        0
539.66/539.89	c  539s |      17 |   346433 |   295732 |     4991    117 |        0 |        0
541.16/541.31	c  541s |      18 |   347023 |   296252 |     4991    118 |        0 |        0
543.15/543.39	c  543s |      18 |   350552 |   297652 |     4991    118 |        0 |        0
545.35/545.50	c  545s |      18 |   352033 |   298952 |     4991    118 |        0 |        0
547.35/547.59	c  547s |      18 |   353125 |   299952 |     4991    119 |        0 |        0
549.45/549.64	c  549s |      18 |   354379 |   301052 |     4991    119 |        0 |        0
551.75/551.94	c  551s |      18 |   355572 |   302152 |     4991    120 |        0 |        0
553.85/554.04	c  553s |      18 |   356667 |   303152 |     4991    120 |        0 |        0
555.94/556.10	c  555s |      18 |   357758 |   304152 |     4991    120 |        0 |        0
558.04/558.20	c  558s |      18 |   358837 |   305152 |     4991    120 |        0 |        0
560.14/560.32	c  560s |      18 |   359809 |   306052 |     4991    121 |        0 |        0
562.14/562.35	c  562s |      18 |   360919 |   307052 |     4991    121 |        0 |        0
564.34/564.56	c  564s |      18 |   361884 |   307952 |     4991    121 |        0 |        0
566.34/566.59	c  566s |      18 |   362639 |   308652 |     4991    122 |        0 |        0
568.54/568.73	c  568s |      18 |   363858 |   309752 |     4991    122 |        0 |        0
570.64/570.90	c  570s |      18 |   364971 |   310752 |     4991    122 |        0 |        0
572.74/572.95	c  572s |      18 |   365937 |   311652 |     4991    123 |        0 |        0
574.83/575.02	c  574s |      18 |   367053 |   312652 |     4991    123 |        0 |        0
576.93/577.16	c  577s |      18 |   368071 |   313552 |     4991    123 |        0 |        0
579.13/579.30	c  579s |      18 |   368947 |   314352 |     4991    123 |        0 |        0
581.13/581.39	c  581s |      18 |   369849 |   315152 |     4991    124 |        0 |        0
583.13/583.39	c  583s |      18 |   370879 |   316052 |     4991    124 |        0 |        0
585.33/585.55	c  585s |      18 |   371868 |   316952 |     4991    124 |        0 |        0
587.52/587.70	c  587s |      18 |   372766 |   317752 |     4991    124 |        0 |        0
589.53/589.78	c  589s |      18 |   373730 |   318652 |     4991    125 |        0 |        0
591.73/591.90	c  591s |      18 |   374708 |   319552 |     4991    125 |        0 |        0
593.83/594.05	c  593s |      18 |   375684 |   320452 |     4991    125 |        0 |        0
595.82/596.08	c  595s |      18 |   376565 |   321252 |     4991    126 |        0 |        0
597.92/598.16	c  598s |      18 |   377522 |   322152 |     4991    126 |        0 |        0
600.12/600.33	c  600s |      18 |   378390 |   322952 |     4991    126 |        0 |        0
602.12/602.39	c  602s |      18 |   379281 |   323752 |     4991    126 |        0 |        0
604.21/604.42	c  604s |      18 |   380148 |   324552 |     4991    127 |        0 |        0
606.31/606.53	c  606s |      18 |   381114 |   325452 |     4991    127 |        0 |        0
608.31/608.57	c  608s |      18 |   382102 |   326352 |     4991    127 |        0 |        0
610.51/610.72	c  610s |      18 |   383315 |   327352 |     4991    128 |        0 |        0
612.52/612.78	c  612s |      18 |   384596 |   328452 |     4991    128 |        0 |        0
614.51/614.79	c  614s |      18 |   385789 |   329452 |     4991    128 |        0 |        0
616.81/617.03	c  616s |      18 |   386924 |   330452 |     4991    129 |        0 |        0
618.91/619.16	c  619s |      18 |   388053 |   331452 |     4991    129 |        0 |        0
621.11/621.30	c  621s |      18 |   389155 |   332452 |     4991    129 |        0 |        0
623.11/623.33	c  623s |      18 |   390141 |   333352 |     4991    129 |        0 |        0
625.30/625.51	c  625s |      18 |   391164 |   334252 |     4991    130 |        0 |        0
627.30/627.58	c  627s |      18 |   392235 |   335152 |     4991    130 |        0 |        0
629.40/629.62	c  629s |      18 |   393257 |   336052 |     4991    130 |        0 |        0
631.40/631.64	c  631s |      18 |   394168 |   336852 |     4991    131 |        0 |        0
633.60/633.80	c  633s |      18 |   395309 |   337852 |     4991    131 |        0 |        0
635.60/635.88	c  635s |      18 |   396349 |   338752 |     4991    131 |        0 |        0
637.70/637.98	c  637s |      18 |   397390 |   339652 |     4991    131 |        0 |        0
639.80/640.04	c  639s |      18 |   398283 |   340452 |     4991    132 |        0 |        0
641.90/642.10	c  641s |      18 |   399321 |   341352 |     4991    132 |        0 |        0
643.90/644.15	c  644s |      18 |   400366 |   342252 |     4991    132 |        0 |        0
645.99/646.22	c  646s |      18 |   401259 |   343052 |     4991    133 |        0 |        0
648.09/648.33	c  648s |      18 |   402379 |   344052 |     4991    133 |        0 |        0
650.29/650.53	c  650s |      18 |   403356 |   344952 |     4991    133 |        0 |        0
652.39/652.64	c  652s |      18 |   404267 |   345752 |     4991    133 |        0 |        0
654.48/654.75	c  654s |      18 |   405158 |   346552 |     4991    134 |        0 |        0
656.49/656.78	c  656s |      18 |   406194 |   347452 |     4991    134 |        0 |        0
658.58/658.83	c  658s |      18 |   407061 |   348252 |     4991    134 |        0 |        0
660.78/661.03	c  660s |      18 |   407948 |   349052 |     4991    134 |        0 |        0
662.78/663.05	c  662s |      18 |   408814 |   349852 |     4991    135 |        0 |        0
664.78/665.08	c  664s |      18 |   409668 |   350652 |     4991    135 |        0 |        0
667.08/667.33	c  667s |      18 |   410552 |   351452 |     4991    135 |        0 |        0
669.08/669.37	c  669s |      18 |   411410 |   352252 |     4991    135 |        0 |        0
671.18/671.49	c  671s |      18 |   412188 |   352952 |     4991    136 |        0 |        0
673.27/673.56	c  673s |      18 |   412973 |   353652 |     4991    136 |        0 |        0
675.47/675.71	c  675s |      18 |   413878 |   354452 |     4991    136 |        0 |        0
677.57/677.87	c  677s |      18 |   414688 |   355152 |     4991    136 |        0 |        0
679.77/680.08	c  679s |      18 |   415488 |   355852 |     4991    137 |        0 |        0
681.97/682.22	c  682s |      18 |   416401 |   356652 |     4991    137 |        0 |        0
683.98/684.24	c  684s |      18 |   417191 |   357352 |     4991    137 |        0 |        0
686.06/686.37	c  686s |      18 |   417883 |   357952 |     4991    137 |        0 |        0
688.37/688.64	c  688s |      18 |   418700 |   358652 |     4991    137 |        0 |        0
690.46/690.70	c  690s |      18 |   419391 |   359252 |     4991    138 |        0 |        0
692.66/692.90	c  692s |      18 |   420308 |   360052 |     4991    138 |        0 |        0
694.76/695.09	c  694s |      18 |   421067 |   360752 |     4991    138 |        0 |        0
696.86/697.11	c  696s |      18 |   421699 |   361352 |     4991    138 |        0 |        0
698.95/699.24	c  699s |      18 |   422235 |   361852 |     4991    139 |        0 |        0
700.95/701.28	c  701s |      18 |   422880 |   362452 |     4991    139 |        0 |        0
703.05/703.36	c  703s |      18 |   423763 |   363252 |     4991    139 |        0 |        0
705.15/705.46	c  705s |      18 |   425229 |   364452 |     4991    139 |        0 |        0
707.25/707.53	c  707s |      18 |   426456 |   365452 |     4991    140 |        0 |        0
709.36/709.60	c  709s |      18 |   427653 |   366452 |     4991    140 |        0 |        0
711.46/711.70	c  711s |      18 |   428707 |   367352 |     4991    140 |        0 |        0
713.55/713.81	c  713s |      18 |   429662 |   368152 |     4991    141 |        0 |        0
715.74/716.02	c  715s |      18 |   430788 |   369152 |     4991    141 |        0 |        0
717.74/718.03	c  717s |      18 |   431923 |   370052 |     4991    141 |        0 |        0
719.94/720.21	c  720s |      18 |   433198 |   371152 |     4991    141 |        0 |        0
722.04/722.34	c  722s |      18 |   434472 |   372252 |     4991    142 |        0 |        0
724.24/724.57	c  724s |      18 |   435610 |   373252 |     4991    142 |        0 |        0
726.44/726.76	c  726s |      18 |   436810 |   374252 |     4991    142 |        0 |        0
728.64/728.92	c  728s |      18 |   438112 |   375352 |     4991    143 |        0 |        0
730.64/730.97	c  730s |      18 |   439399 |   376452 |     4991    143 |        0 |        0
732.84/733.14	c  733s |      18 |   440594 |   377452 |     4991    143 |        0 |        0
734.83/735.15	c  735s |      18 |   441747 |   378452 |     4991    144 |        0 |        0
736.93/737.27	c  737s |      18 |   442796 |   379352 |     4991    144 |        0 |        0
738.94/739.28	c  739s |      18 |   443740 |   380152 |     4991    144 |        0 |        0
741.03/741.34	c  741s |      18 |   444766 |   381052 |     4991    145 |        0 |        0
743.03/743.39	c  743s |      18 |   445801 |   381952 |     4991    145 |        0 |        0
745.03/745.39	c  745s |      18 |   446733 |   382752 |     4991    145 |        0 |        0
747.13/747.49	c  747s |      18 |   447974 |   383752 |     4991    145 |        0 |        0
749.33/749.65	c  749s |      18 |   449287 |   384852 |     4991    146 |        0 |        0
751.43/751.76	c  751s |      18 |   450459 |   385852 |     4991    146 |        0 |        0
753.63/753.90	c  753s |      18 |   451499 |   386752 |     4991    146 |        0 |        0
755.72/756.04	c  755s |      18 |   452889 |   387852 |     4991    147 |        0 |        0
757.92/758.22	c  758s |      18 |   454238 |   388952 |     4991    147 |        0 |        0
760.12/760.40	c  760s |      18 |   455522 |   390052 |     4991    147 |        0 |        0
762.22/762.55	c  762s |      18 |   456735 |   391052 |     4991    148 |        0 |        0
764.32/764.66	c  764s |      18 |   457898 |   392052 |     4991    148 |        0 |        0
766.61/766.92	c  766s |      18 |   459088 |   393052 |     4991    148 |        0 |        0
768.72/769.08	c  768s |      18 |   460262 |   394052 |     4991    149 |        0 |        0
770.82/771.15	c  771s |      18 |   461424 |   395052 |     4991    149 |        0 |        0
773.02/773.36	c  773s |      18 |   462488 |   395952 |     4991    149 |        0 |        0
775.10/775.49	c  775s |      18 |   463542 |   396852 |     4991    150 |        0 |        0
777.20/777.53	c  777s |      18 |   464739 |   397852 |     4991    150 |        0 |        0
779.30/779.68	c  779s |      18 |   465797 |   398752 |     4991    150 |        0 |        0
781.50/781.84	c  781s |      18 |   466919 |   399652 |     4991    151 |        0 |        0
783.60/783.99	c  783s |      18 |   467976 |   400552 |     4991    151 |        0 |        0
785.90/786.20	c  786s |      18 |   469024 |   401452 |     4991    151 |        0 |        0
788.00/788.38	c  788s |      18 |   470116 |   402352 |     4991    151 |        0 |        0
790.10/790.45	c  790s |      18 |   471503 |   403552 |     4991    152 |        0 |        0
792.20/792.54	c  792s |      18 |   472783 |   404652 |     4991    152 |        0 |        0
794.40/794.73	c  794s |      18 |   473914 |   405652 |     4991    152 |        0 |        0
796.40/796.76	c  796s |      18 |   474893 |   406552 |     4991    153 |        0 |        0
798.70/799.05	c  798s |      18 |   476023 |   407552 |     4991    153 |        0 |        0
800.90/801.21	c  801s |      18 |   477431 |   408752 |     4991    153 |        0 |        0
802.90/803.29	c  803s |      18 |   478707 |   409852 |     4991    154 |        0 |        0
804.90/805.30	c  805s |      18 |   479833 |   410852 |     4991    154 |        0 |        0
806.99/807.40	c  807s |      18 |   480935 |   411852 |     4991    154 |        0 |        0
809.09/809.49	c  809s |      18 |   482030 |   412852 |     4991    155 |        0 |        0
811.19/811.54	c  811s |      18 |   483122 |   413852 |     4991    155 |        0 |        0
813.29/813.65	c  813s |      18 |   484125 |   414752 |     4991    155 |        0 |        0
815.39/815.75	c  815s |      18 |   485641 |   415852 |     4991    156 |        0 |        0
817.49/817.88	c  817s |      18 |   486921 |   416952 |     4991    156 |        0 |        0
819.59/819.98	c  819s |      18 |   488175 |   418052 |     4991    156 |        0 |        0
821.79/822.13	c  821s |      18 |   489275 |   419052 |     4991    157 |        0 |        0
823.99/824.35	c  824s |      18 |   490407 |   420052 |     4991    157 |        0 |        0
826.18/826.50	c  826s |      18 |   491587 |   421052 |     4991    157 |        0 |        0
828.28/828.63	c  828s |      18 |   492697 |   422052 |     4991    158 |        0 |        0
830.29/830.66	c  830s |      18 |   493718 |   422952 |     4991    158 |        0 |        0
832.49/832.87	c  832s |      18 |   494933 |   424052 |     4991    158 |        0 |        0
834.47/834.90	c  834s |      18 |   495806 |   424852 |     4991    159 |        0 |        0
836.67/837.00	c  836s |      18 |   497065 |   425952 |     4991    159 |        0 |        0
838.77/839.13	c  838s |      18 |   498161 |   426952 |     4991    159 |        0 |        0
840.77/841.17	c  841s |      18 |   499062 |   427752 |     4991    160 |        0 |        0
842.87/843.22	c  843s |      18 |   500155 |   428752 |     4991    160 |        0 |        0
844.87/845.27	c  845s |      18 |   501132 |   429652 |     4991    160 |        0 |        0
847.07/847.45	c  847s |      18 |   502263 |   430652 |     4991    160 |        0 |        0
849.07/849.46	c  849s |      18 |   503278 |   431552 |     4991    161 |        0 |        0
851.07/851.50	c  851s |      18 |   504404 |   432552 |     4991    161 |        0 |        0
853.17/853.55	c  853s |      18 |   505405 |   433452 |     4991    161 |        0 |        0
855.36/855.77	c  855s |      18 |   506405 |   434352 |     4991    162 |        0 |        0
857.46/857.86	c  857s |      18 |   507409 |   435252 |     4991    162 |        0 |        0
859.66/860.01	c  859s |      18 |   508403 |   436152 |     4991    162 |        0 |        0
861.86/862.24	c  862s |      18 |   509679 |   437252 |     4991    163 |        0 |        0
863.96/864.31	c  864s |      18 |   510808 |   438252 |     4991    163 |        0 |        0
866.05/866.43	c  866s |      18 |   511804 |   439152 |     4991    163 |        0 |        0
868.25/868.64	c  868s |      18 |   512949 |   440152 |     4991    164 |        0 |        0
870.45/870.82	c  870s |      18 |   514040 |   441152 |     4991    164 |        0 |        0
872.45/872.82	c  872s |      18 |   515024 |   442052 |     5491    164 |        0 |        0
874.44/874.85	c  874s |      18 |   515922 |   442852 |     5491    164 |        0 |        0
876.54/876.97	c  876s |      18 |   516966 |   443752 |     5491    165 |        0 |        0
877.94/878.32	c  878s |      19 |   517786 |   444482 |     5491    165 |        0 |        0
880.04/880.43	c  880s |      19 |   521488 |   446482 |     5491    165 |        0 |        0
882.14/882.51	c  882s |      19 |   523303 |   448082 |     5491    166 |        0 |        0
884.15/884.56	c  884s |      19 |   524747 |   449382 |     5491    166 |        0 |        0
886.14/886.56	c  886s |      19 |   525975 |   450482 |     5491    166 |        0 |        0
888.24/888.67	c  888s |      19 |   527731 |   451982 |     5491    167 |        0 |        0
890.34/890.71	c  890s |      19 |   529029 |   453182 |     5491    167 |        0 |        0
892.34/892.72	c  892s |      19 |   530171 |   454182 |     5491    168 |        0 |        0
894.43/894.83	c  894s |      19 |   531491 |   455382 |     5491    168 |        0 |        0
896.53/896.95	c  896s |      19 |   532820 |   456582 |     5491    168 |        0 |        0
898.53/898.98	c  898s |      19 |   533905 |   457582 |     5491    169 |        0 |        0
900.73/901.12	c  900s |      19 |   535204 |   458782 |     5491    169 |        0 |        0
902.84/903.26	c  903s |      19 |   536810 |   460182 |     5491    169 |        0 |        0
904.93/905.36	c  905s |      19 |   538276 |   461482 |     5491    170 |        0 |        0
907.13/907.54	c  907s |      19 |   539614 |   462682 |     5491    170 |        0 |        0
909.12/909.55	c  909s |      19 |   540725 |   463682 |     5491    170 |        0 |        0
911.32/911.70	c  911s |      19 |   541818 |   464682 |     5491    171 |        0 |        0
913.42/913.85	c  913s |      19 |   542899 |   465682 |     5491    171 |        0 |        0
915.62/916.00	c  915s |      19 |   543875 |   466582 |     5491    171 |        0 |        0
917.71/918.16	c  918s |      19 |   545259 |   467782 |     5491    172 |        0 |        0
919.81/920.25	c  920s |      19 |   546722 |   469082 |     5491    172 |        0 |        0
922.01/922.42	c  922s |      19 |   548064 |   470282 |     5491    172 |        0 |        0
924.01/924.43	c  924s |      19 |   549181 |   471282 |     5491    173 |        0 |        0
926.01/926.46	c  926s |      19 |   550497 |   472482 |     5491    173 |        0 |        0
928.01/928.47	c  928s |      19 |   551444 |   473382 |     5491    173 |        0 |        0
930.11/930.60	c  930s |      19 |   552732 |   474482 |     5491    174 |        0 |        0
932.21/932.64	c  932s |      19 |   554356 |   475882 |     5491    174 |        0 |        0
934.20/934.65	c  934s |      19 |   555916 |   477282 |     5491    174 |        0 |        0
936.30/936.76	c  936s |      19 |   557229 |   478482 |     5491    175 |        0 |        0
938.40/938.81	c  938s |      19 |   558624 |   479682 |     5491    175 |        0 |        0
940.40/940.83	c  940s |      19 |   560304 |   481182 |     5491    175 |        0 |        0
942.50/942.96	c  942s |      19 |   561724 |   482482 |     5491    176 |        0 |        0
944.60/945.00	c  944s |      19 |   563078 |   483682 |     5491    176 |        0 |        0
946.70/947.10	c  946s |      19 |   564403 |   484882 |     5491    177 |        0 |        0
948.79/949.29	c  949s |      19 |   565858 |   486182 |     5491    177 |        0 |        0
950.89/951.33	c  951s |      19 |   567079 |   487282 |     5491    177 |        0 |        0
952.89/953.34	c  953s |      19 |   568321 |   488382 |     5491    178 |        0 |        0
954.99/955.41	c  955s |      19 |   569799 |   489682 |     5491    178 |        0 |        0
956.99/957.47	c  957s |      19 |   571012 |   490782 |     5491    178 |        0 |        0
959.09/959.52	c  959s |      19 |   572282 |   491882 |     5491    179 |        0 |        0
961.18/961.63	c  961s |      19 |   573643 |   493082 |     5491    179 |        0 |        0
963.19/963.68	c  963s |      19 |   574997 |   494282 |     5491    179 |        0 |        0
965.28/965.76	c  965s |      19 |   576108 |   495282 |     5491    180 |        0 |        0
967.38/967.86	c  967s |      19 |   577577 |   496582 |     5491    180 |        0 |        0
969.48/969.96	c  969s |      19 |   578559 |   497482 |     5491    180 |        0 |        0
971.58/972.03	c  971s |      19 |   579830 |   498582 |     5491    181 |        0 |        0
973.68/974.11	c  973s |      19 |   581172 |   499782 |     5491    181 |        0 |        0
975.67/976.19	c  976s |      19 |   581969 |   500482 |     5491    181 |        0 |        0
977.87/978.37	c  978s |      19 |   582851 |   501282 |     5491    181 |        0 |        0
980.07/980.52	c  980s |      19 |   583996 |   502282 |     5491    182 |        0 |        0
982.17/982.64	c  982s |      19 |   585331 |   503482 |     5491    182 |        0 |        0
984.36/984.82	c  984s |      19 |   586562 |   504582 |     5491    182 |        0 |        0
986.46/986.97	c  986s |      19 |   587669 |   505582 |     5491    183 |        0 |        0
988.66/989.17	c  989s |      19 |   589015 |   506782 |     5491    183 |        0 |        0
990.67/991.20	c  991s |      19 |   589971 |   507682 |     5491    183 |        0 |        0
992.87/993.35	c  993s |      19 |   590967 |   508582 |     5491    184 |        0 |        0
994.95/995.46	c  995s |      19 |   591950 |   509482 |     5491    184 |        0 |        0
997.15/997.67	c  997s |      19 |   592946 |   510382 |     5491    184 |        0 |        0
999.35/999.83	c  999s |      19 |   593811 |   511182 |     5491    184 |        0 |        0
1001.45/1001.94	c 1001s |      19 |   594842 |   512082 |     5491    185 |        0 |        0
1003.55/1004.03	c 1003s |      19 |   596189 |   513282 |     5491    185 |        0 |        0
1005.65/1006.12	c 1005s |      19 |   597487 |   514482 |     5491    185 |        0 |        0
1007.75/1008.21	c 1008s |      19 |   598479 |   515382 |     5491    186 |        0 |        0
1009.85/1010.36	c 1010s |      19 |   599686 |   516482 |     5491    186 |        0 |        0
1012.05/1012.54	c 1012s |      19 |   600895 |   517582 |     5491    186 |        0 |        0
1014.24/1014.76	c 1014s |      19 |   602214 |   518782 |     5491    187 |        0 |        0
1016.24/1016.79	c 1016s |      19 |   603432 |   519882 |     5491    187 |        0 |        0
1018.34/1018.83	c 1018s |      19 |   604534 |   520882 |     5491    187 |        0 |        0
1020.54/1021.01	c 1020s |      19 |   605513 |   521782 |     5491    187 |        0 |        0
1022.65/1023.14	c 1023s |      19 |   606605 |   522782 |     5491    188 |        0 |        0
1024.84/1025.31	c 1025s |      19 |   607721 |   523782 |     5491    188 |        0 |        0
1026.94/1027.43	c 1027s |      19 |   609071 |   524882 |     5491    188 |        0 |        0
1029.04/1029.60	c 1029s |      19 |   610043 |   525782 |     5491    189 |        0 |        0
1031.14/1031.66	c 1031s |      19 |   611135 |   526782 |     5491    189 |        0 |        0
1033.34/1033.83	c 1033s |      19 |   612256 |   527782 |     5491    189 |        0 |        0
1035.43/1035.97	c 1035s |      19 |   613234 |   528682 |     5491    189 |        0 |        0
1037.54/1038.00	c 1037s |      19 |   614151 |   529482 |     5491    190 |        0 |        0
1039.54/1040.01	c 1039s |      19 |   615689 |   530782 |     5491    190 |        0 |        0
1041.64/1042.12	c 1041s |      19 |   617048 |   531982 |     5491    190 |        0 |        0
1043.64/1044.15	c 1044s |      19 |   618219 |   532982 |     5491    191 |        0 |        0
1045.64/1046.17	c 1046s |      19 |   619346 |   533982 |     5491    191 |        0 |        0
1047.84/1048.39	c 1048s |      19 |   620468 |   534982 |     5491    191 |        0 |        0
1050.04/1050.51	c 1050s |      19 |   621603 |   535982 |     5491    192 |        0 |        0
1052.13/1052.65	c 1052s |      19 |   622828 |   537082 |     5491    192 |        0 |        0
1054.33/1054.83	c 1054s |      19 |   624173 |   538282 |     5491    192 |        0 |        0
1056.33/1056.88	c 1056s |      19 |   625273 |   539282 |     5491    193 |        0 |        0
1058.53/1059.04	c 1058s |      19 |   626497 |   540382 |     5491    193 |        0 |        0
1060.73/1061.21	c 1061s |      19 |   627609 |   541382 |     5491    193 |        0 |        0
1062.83/1063.33	c 1063s |      19 |   628644 |   542282 |     5491    193 |        0 |        0
1064.93/1065.46	c 1065s |      19 |   629525 |   543082 |     5491    194 |        0 |        0
1066.93/1067.47	c 1067s |      19 |   630548 |   543982 |     5491    194 |        0 |        0
1069.13/1069.63	c 1069s |      19 |   631593 |   544882 |     5491    194 |        0 |        0
1071.23/1071.75	c 1071s |      19 |   632471 |   545682 |     5491    194 |        0 |        0
1073.23/1073.77	c 1073s |      19 |   633407 |   546482 |     5491    195 |        0 |        0
1075.22/1075.79	c 1075s |      19 |   634418 |   547382 |     5491    195 |        0 |        0
1077.42/1077.92	c 1077s |      19 |   635691 |   548482 |     5491    195 |        0 |        0
1079.52/1080.03	c 1079s |      19 |   636953 |   549582 |     5491    196 |        0 |        0
1081.52/1082.05	c 1081s |      19 |   638237 |   550682 |     5491    196 |        0 |        0
1083.62/1084.18	c 1084s |      19 |   639575 |   551882 |     5491    196 |        0 |        0
1085.72/1086.25	c 1086s |      19 |   640702 |   552882 |     5491    197 |        0 |        0
1087.72/1088.28	c 1088s |      19 |   642081 |   554082 |     5491    197 |        0 |        0
1089.82/1090.39	c 1090s |      19 |   643199 |   555082 |     5491    197 |        0 |        0
1091.93/1092.45	c 1092s |      19 |   644203 |   555982 |     5491    197 |        0 |        0
1093.92/1094.49	c 1094s |      19 |   645286 |   556982 |     5491    198 |        0 |        0
1096.12/1096.64	c 1096s |      19 |   646504 |   558082 |     5491    198 |        0 |        0
1098.32/1098.82	c 1098s |      19 |   647636 |   559082 |     5491    198 |        0 |        0
1100.32/1100.85	c 1100s |      19 |   648647 |   559982 |     5491    199 |        0 |        0
1102.52/1103.01	c 1102s |      19 |   650096 |   561182 |     5491    199 |        0 |        0
1104.62/1105.16	c 1105s |      19 |   651561 |   562482 |     5491    199 |        0 |        0
1106.72/1107.24	c 1107s |      19 |   652664 |   563482 |     5491    200 |        0 |        0
1108.92/1109.42	c 1109s |      19 |   653891 |   564582 |     5491    200 |        0 |        0
1110.92/1111.45	c 1111s |      19 |   655000 |   565582 |     5491    200 |        0 |        0
1113.32/1113.85	c 1113s |      19 |   656129 |   566582 |     5491    201 |        0 |        0
1115.32/1115.88	c 1115s |      19 |   657395 |   567682 |     5491    201 |        0 |        0
1117.42/1117.91	c 1117s |      19 |   658413 |   568582 |     5491    201 |        0 |        0
1119.42/1119.95	c 1119s |      19 |   659462 |   569482 |     5491    201 |        0 |        0
1121.52/1122.05	c 1121s |      19 |   660471 |   570382 |     5491    202 |        0 |        0
1123.72/1124.26	c 1124s |      19 |   661733 |   571482 |     5491    202 |        0 |        0
1125.71/1126.28	c 1126s |      19 |   663065 |   572682 |     5491    202 |        0 |        0
1127.81/1128.37	c 1128s |      19 |   664282 |   573782 |     5491    203 |        0 |        0
1129.91/1130.40	c 1130s |      19 |   665669 |   574982 |     5491    203 |        0 |        0
1132.01/1132.54	c 1132s |      19 |   666904 |   576082 |     5491    203 |        0 |        0
1134.11/1134.66	c 1134s |      19 |   668031 |   577082 |     5491    204 |        0 |        0
1136.31/1136.89	c 1136s |      19 |   669231 |   578182 |     5491    204 |        0 |        0
1138.41/1138.94	c 1138s |      19 |   670350 |   579182 |     5491    204 |        0 |        0
1140.71/1141.20	c 1141s |      19 |   671461 |   580182 |     5491    205 |        0 |        0
1142.91/1143.41	c 1143s |      19 |   672547 |   581182 |     5491    205 |        0 |        0
1145.01/1145.58	c 1145s |      19 |   673764 |   582282 |     5491    205 |        0 |        0
1147.11/1147.69	c 1147s |      19 |   675028 |   583382 |     5491    205 |        0 |        0
1149.31/1149.82	c 1149s |      19 |   676125 |   584382 |     5491    206 |        0 |        0
1151.41/1151.98	c 1151s |      19 |   677274 |   585382 |     5491    206 |        0 |        0
1153.51/1154.09	c 1153s |      19 |   678267 |   586282 |     5491    206 |        0 |        0
1155.61/1156.17	c 1156s |      19 |   679171 |   587082 |     5491    207 |        0 |        0
1157.71/1158.21	c 1158s |      19 |   680663 |   588382 |     5491    207 |        0 |        0
1159.91/1160.40	c 1160s |      19 |   682070 |   589582 |     5491    207 |        0 |        0
1162.01/1162.52	c 1162s |      19 |   683314 |   590682 |     5491    208 |        0 |        0
1164.11/1164.63	c 1164s |      19 |   684753 |   591982 |     5491    208 |        0 |        0
1166.21/1166.74	c 1166s |      19 |   685944 |   593082 |     5491    208 |        0 |        0
1168.31/1168.86	c 1168s |      19 |   687277 |   594282 |     5491    209 |        0 |        0
1170.40/1170.99	c 1170s |      19 |   688654 |   595482 |     5491    209 |        0 |        0
1172.50/1173.04	c 1172s |      19 |   689633 |   596382 |     5491    209 |        0 |        0
1174.50/1175.08	c 1174s |      19 |   690618 |   597282 |     5491    210 |        0 |        0
1176.61/1177.16	c 1177s |      19 |   692053 |   598582 |     5491    210 |        0 |        0
1178.81/1179.38	c 1179s |      19 |   693258 |   599682 |     5491    210 |        0 |        0
1180.91/1181.44	c 1181s |      19 |   694239 |   600582 |     5491    210 |        0 |        0
1182.90/1183.46	c 1183s |      19 |   695478 |   601682 |     5491    211 |        0 |        0
1185.00/1185.55	c 1185s |      19 |   696584 |   602682 |     5491    211 |        0 |        0
1187.10/1187.65	c 1187s |      19 |   697714 |   603682 |     5491    211 |        0 |        0
1189.20/1189.72	c 1189s |      19 |   698968 |   604782 |     5491    212 |        0 |        0
1191.20/1191.74	c 1191s |      19 |   700184 |   605882 |     5491    212 |        0 |        0
1193.30/1193.89	c 1193s |      19 |   701393 |   606982 |     5491    212 |        0 |        0
1195.50/1196.04	c 1195s |      19 |   702587 |   608082 |     5491    213 |        0 |        0
1197.51/1198.05	c 1197s |      19 |   703922 |   609282 |     5491    213 |        0 |        0
1199.50/1200.06	c 1199s |      19 |   705140 |   610382 |     5491    213 |        0 |        0
1201.60/1202.12	c 1201s |      19 |   706251 |   611382 |     5491    214 |        0 |        0
1203.60/1204.13	c 1203s |      19 |   707343 |   612382 |     5491    214 |        0 |        0
1205.70/1206.24	c 1206s |      19 |   708343 |   613282 |     5491    214 |        0 |        0
1207.70/1208.26	c 1208s |      19 |   709465 |   614282 |     5491    215 |        0 |        0
1209.80/1210.36	c 1210s |      19 |   710807 |   615482 |     5491    215 |        0 |        0
1211.90/1212.48	c 1212s |      19 |   712002 |   616582 |     5491    215 |        0 |        0
1213.91/1214.50	c 1214s |      19 |   713098 |   617582 |     5491    215 |        0 |        0
1216.00/1216.50	c 1216s |      19 |   714291 |   618682 |     5491    216 |        0 |        0
1218.10/1218.63	c 1218s |      19 |   715486 |   619782 |     5491    216 |        0 |        0
1220.10/1220.63	c 1220s |      19 |   716494 |   620682 |     5491    216 |        0 |        0
1222.10/1222.68	c 1222s |      19 |   717402 |   621482 |     5491    217 |        0 |        0
1224.20/1224.78	c 1224s |      19 |   718531 |   622482 |     5491    217 |        0 |        0
1226.30/1226.83	c 1226s |      19 |   719528 |   623382 |     5491    217 |        0 |        0
1228.50/1229.02	c 1228s |      19 |   720550 |   624282 |     5491    217 |        0 |        0
1230.60/1231.20	c 1231s |      19 |   721519 |   625182 |     5491    218 |        0 |        0
1232.80/1233.36	c 1233s |      19 |   722489 |   626082 |     5491    218 |        0 |        0
1234.91/1235.48	c 1235s |      19 |   723725 |   627182 |     5491    218 |        0 |        0
1236.90/1237.50	c 1237s |      19 |   724720 |   628082 |     5491    219 |        0 |        0
1239.10/1239.62	c 1239s |      19 |   726287 |   629482 |     5491    219 |        0 |        0
1241.30/1241.82	c 1241s |      19 |   727553 |   630582 |     5491    219 |        0 |        0
1243.40/1243.99	c 1243s |      19 |   728429 |   631382 |     5491    220 |        0 |        0
1245.60/1246.17	c 1246s |      19 |   729658 |   632482 |     5491    220 |        0 |        0
1247.80/1248.35	c 1248s |      19 |   730647 |   633382 |     5491    220 |        0 |        0
1249.90/1250.49	c 1250s |      19 |   731645 |   634282 |     5491    220 |        0 |        0
1252.10/1252.62	c 1252s |      19 |   732782 |   635282 |     5491    221 |        0 |        0
1254.10/1254.68	c 1254s |      19 |   734033 |   636382 |     5491    221 |        0 |        0
1256.20/1256.78	c 1256s |      19 |   735587 |   637782 |     5491    221 |        0 |        0
1258.30/1258.88	c 1258s |      19 |   736926 |   638982 |     5491    222 |        0 |        0
1260.30/1260.88	c 1260s |      19 |   738424 |   640282 |     5491    222 |        0 |        0
1262.50/1263.08	c 1262s |      19 |   739729 |   641482 |     5491    223 |        0 |        0
1264.60/1265.11	c 1264s |      19 |   741168 |   642782 |     5491    223 |        0 |        0
1266.70/1267.25	c 1267s |      19 |   742623 |   644082 |     5491    223 |        0 |        0
1268.79/1269.37	c 1269s |      19 |   743838 |   645182 |     5491    224 |        0 |        0
1270.99/1271.52	c 1271s |      19 |   745168 |   646382 |     5491    224 |        0 |        0
1273.09/1273.66	c 1273s |      19 |   746373 |   647482 |     5491    224 |        0 |        0
1275.09/1275.68	c 1275s |      19 |   747457 |   648482 |     5491    225 |        0 |        0
1277.29/1277.85	c 1277s |      19 |   749125 |   649882 |     5491    225 |        0 |        0
1279.39/1279.94	c 1279s |      19 |   750492 |   651082 |     5491    225 |        0 |        0
1281.39/1281.95	c 1281s |      19 |   751689 |   652182 |     5491    226 |        0 |        0
1283.49/1284.09	c 1283s |      19 |   753277 |   653582 |     5491    226 |        0 |        0
1285.50/1286.09	c 1285s |      19 |   754476 |   654682 |     5491    226 |        0 |        0
1287.49/1288.09	c 1287s |      19 |   755573 |   655682 |     5491    227 |        0 |        0
1289.59/1290.12	c 1289s |      19 |   756768 |   656782 |     5491    227 |        0 |        0
1291.69/1292.20	c 1292s |      19 |   757983 |   657882 |     5491    227 |        0 |        0
1293.69/1294.21	c 1294s |      19 |   758964 |   658782 |     5491    228 |        0 |        0
1295.89/1296.41	c 1296s |      19 |   760328 |   659982 |     5491    228 |        0 |        0
1297.99/1298.53	c 1298s |      19 |   761706 |   661182 |     5491    228 |        0 |        0
1300.09/1300.60	c 1300s |      19 |   762942 |   662282 |     6041    229 |        0 |        0
1302.09/1302.63	c 1302s |      19 |   764440 |   663582 |     6041    229 |        0 |        0
1304.09/1304.65	c 1304s |      19 |   765817 |   664782 |     6041    229 |        0 |        0
1306.19/1306.77	c 1306s |      19 |   766996 |   665882 |     6041    230 |        0 |        0
1307.79/1308.37	c 1308s |      20 |   768046 |   666827 |     6041    230 |        0 |        0
1309.78/1310.39	c 1310s |      20 |   771153 |   668327 |     6041    230 |        0 |        0
1311.90/1312.46	c 1312s |      20 |   772315 |   669327 |     6041    230 |        0 |        0
1313.89/1314.47	c 1314s |      20 |   773493 |   670327 |     6041    230 |        0 |        0
1315.88/1316.47	c 1316s |      20 |   774478 |   671127 |     6041    231 |        0 |        0
1318.08/1318.65	c 1318s |      20 |   775280 |   671827 |     6041    231 |        0 |        0
1320.29/1320.88	c 1320s |      20 |   776277 |   672627 |     6041    231 |        0 |        0
1322.39/1322.92	c 1322s |      20 |   777255 |   673427 |     6041    231 |        0 |        0
1324.58/1325.11	c 1324s |      20 |   778189 |   674227 |     6041    231 |        0 |        0
1326.68/1327.20	c 1327s |      20 |   778767 |   674727 |     6041    232 |        0 |        0
1328.78/1329.39	c 1329s |      20 |   779903 |   675627 |     6041    232 |        0 |        0
1330.89/1331.40	c 1331s |      20 |   780693 |   676327 |     6041    232 |        0 |        0
1332.88/1333.42	c 1333s |      20 |   781680 |   677127 |     6041    232 |        0 |        0
1335.08/1335.69	c 1335s |      20 |   782494 |   677827 |     6041    232 |        0 |        0
1337.28/1337.88	c 1337s |      20 |   783474 |   678627 |     6041    232 |        0 |        0
1339.48/1340.03	c 1339s |      20 |   784182 |   679227 |     6041    233 |        0 |        0
1341.59/1342.17	c 1342s |      20 |   785122 |   680027 |     6041    233 |        0 |        0
1343.69/1344.25	c 1344s |      20 |   785922 |   680727 |     6041    233 |        0 |        0
1345.78/1346.37	c 1346s |      20 |   787503 |   681927 |     6041    233 |        0 |        0
1347.88/1348.41	c 1348s |      20 |   788686 |   682827 |     6041    233 |        0 |        0
1349.88/1350.47	c 1350s |      20 |   789675 |   683627 |     6041    234 |        0 |        0
1351.88/1352.49	c 1352s |      20 |   790779 |   684527 |     6041    234 |        0 |        0
1353.98/1354.52	c 1354s |      20 |   791875 |   685427 |     6041    234 |        0 |        0
1356.08/1356.68	c 1356s |      20 |   792926 |   686327 |     6041    234 |        0 |        0
1358.48/1359.00	c 1358s |      20 |   793737 |   687027 |     6041    235 |        0 |        0
1360.48/1361.03	c 1360s |      20 |   794842 |   687927 |     6041    235 |        0 |        0
1362.48/1363.04	c 1362s |      20 |   796005 |   688927 |     6041    235 |        0 |        0
1364.58/1365.18	c 1365s |      20 |   797181 |   689927 |     6041    235 |        0 |        0
1366.68/1367.28	c 1367s |      20 |   798082 |   690727 |     6041    235 |        0 |        0
1368.88/1369.45	c 1369s |      20 |   798866 |   691427 |     6041    236 |        0 |        0
1371.08/1371.64	c 1371s |      20 |   799743 |   692227 |     6041    236 |        0 |        0
1373.18/1373.70	c 1373s |      20 |   800498 |   692927 |     6041    236 |        0 |        0
1375.17/1375.75	c 1375s |      20 |   801267 |   693627 |     6041    236 |        0 |        0
1377.28/1377.80	c 1377s |      20 |   802296 |   694527 |     6041    236 |        0 |        0
1379.88/1380.40	c 1380s |      20 |   803180 |   695327 |     6041    237 |        0 |        0
1381.98/1382.52	c 1382s |      20 |   804235 |   696227 |     6041    237 |        0 |        0
1383.97/1384.56	c 1384s |      20 |   805324 |   697127 |     6041    237 |        0 |        0
1385.97/1386.57	c 1386s |      20 |   806739 |   698127 |     6041    237 |        0 |        0
1388.27/1388.82	c 1388s |      20 |   807701 |   698927 |     6041    237 |        0 |        0
1390.47/1391.02	c 1390s |      20 |   808870 |   699827 |     6041    238 |        0 |        0
1392.47/1393.10	c 1392s |      20 |   810404 |   701127 |     6041    238 |        0 |        0
1394.68/1395.21	c 1395s |      20 |   811559 |   702127 |     6041    238 |        0 |        0
1396.78/1397.33	c 1397s |      20 |   812460 |   702927 |     6041    238 |        0 |        0
1398.88/1399.46	c 1399s |      20 |   813248 |   703627 |     6041    239 |        0 |        0
1400.98/1401.55	c 1401s |      20 |   814123 |   704427 |     6041    239 |        0 |        0
1403.08/1403.66	c 1403s |      20 |   815073 |   705227 |     6041    239 |        0 |        0
1405.28/1405.86	c 1405s |      20 |   816245 |   706227 |     6041    239 |        0 |        0
1407.27/1407.86	c 1407s |      20 |   817057 |   706927 |     6041    239 |        0 |        0
1409.27/1409.89	c 1409s |      20 |   817720 |   707527 |     6041    239 |        0 |        0
1411.67/1412.24	c 1412s |      20 |   818525 |   708227 |     6041    240 |        0 |        0
1413.97/1414.50	c 1414s |      20 |   819461 |   709027 |     6041    240 |        0 |        0
1415.97/1416.55	c 1416s |      20 |   820226 |   709727 |     6041    240 |        0 |        0
1417.97/1418.55	c 1418s |      20 |   820875 |   710327 |     6041    240 |        0 |        0
1420.07/1420.68	c 1420s |      20 |   822151 |   711227 |     6041    240 |        0 |        0
1422.07/1422.69	c 1422s |      20 |   823618 |   712027 |     6041    241 |        0 |        0
1424.17/1424.74	c 1424s |      20 |   825965 |   713227 |     6041    241 |        0 |        0
1426.28/1426.85	c 1426s |      20 |   827737 |   714427 |     6041    241 |        0 |        0
1428.27/1428.87	c 1428s |      20 |   829100 |   715527 |     6041    241 |        0 |        0
1430.36/1430.94	c 1430s |      20 |   830051 |   716327 |     6041    242 |        0 |        0
1432.36/1432.94	c 1432s |      20 |   831142 |   717227 |     6041    242 |        0 |        0
1434.57/1435.15	c 1435s |      20 |   832306 |   718227 |     6041    242 |        0 |        0
1436.77/1437.39	c 1437s |      20 |   833385 |   719127 |     6041    242 |        0 |        0
1438.97/1439.52	c 1439s |      20 |   834210 |   719827 |     6041    242 |        0 |        0
1441.07/1441.70	c 1441s |      20 |   834865 |   720427 |     6041    243 |        0 |        0
1443.27/1443.89	c 1443s |      20 |   835779 |   721227 |     6041    243 |        0 |        0
1445.46/1446.09	c 1445s |      20 |   836546 |   721927 |     6041    243 |        0 |        0
1447.76/1448.36	c 1448s |      20 |   837437 |   722727 |     6041    243 |        0 |        0
1449.86/1450.42	c 1450s |      20 |   838132 |   723327 |     6041    243 |        0 |        0
1451.97/1452.52	c 1452s |      20 |   838827 |   723927 |     6041    243 |        0 |        0
1454.07/1454.66	c 1454s |      20 |   839411 |   724427 |     6041    244 |        0 |        0
1456.26/1456.85	c 1456s |      20 |   840375 |   725227 |     6041    244 |        0 |        0
1458.36/1458.91	c 1458s |      20 |   841296 |   725927 |     6041    244 |        0 |        0
1460.46/1461.02	c 1460s |      20 |   842082 |   726627 |     6041    244 |        0 |        0
1462.76/1463.30	c 1463s |      20 |   842835 |   727327 |     6041    244 |        0 |        0
1465.06/1465.61	c 1465s |      20 |   843483 |   727927 |     6041    244 |        0 |        0
1467.27/1467.80	c 1467s |      20 |   844194 |   728527 |     6041    245 |        0 |        0
1469.36/1469.97	c 1469s |      20 |   845083 |   729327 |     6041    245 |        0 |        0
1471.76/1472.33	c 1472s |      20 |   845874 |   730027 |     6041    245 |        0 |        0
1473.86/1474.45	c 1474s |      20 |   846415 |   730527 |     6041    245 |        0 |        0
1476.16/1476.70	c 1476s |      20 |   846967 |   731027 |     6041    245 |        0 |        0
1478.26/1478.80	c 1478s |      20 |   847611 |   731627 |     6041    245 |        0 |        0
1480.46/1481.07	c 1480s |      20 |   848148 |   732127 |     6041    246 |        0 |        0
1482.66/1483.28	c 1483s |      20 |   849070 |   732927 |     6041    246 |        0 |        0
1484.96/1485.55	c 1485s |      20 |   850037 |   733827 |     6041    246 |        0 |        0
1487.06/1487.70	c 1487s |      20 |   850923 |   734627 |     6041    246 |        0 |        0
1489.25/1489.88	c 1489s |      20 |   851711 |   735327 |     6041    246 |        0 |        0
1491.66/1492.20	c 1492s |      20 |   852474 |   736027 |     6041    246 |        0 |        0
1493.86/1494.43	c 1494s |      20 |   853027 |   736527 |     6041    247 |        0 |        0
1495.86/1496.45	c 1496s |      20 |   854168 |   737427 |     6041    247 |        0 |        0
1497.86/1498.47	c 1498s |      20 |   855447 |   738227 |     6041    247 |        0 |        0
1500.06/1500.63	c 1500s |      20 |   856639 |   739127 |     6041    247 |        0 |        0
1502.26/1502.90	c 1502s |      20 |   857790 |   739927 |     6041    247 |        0 |        0
1504.46/1505.06	c 1504s |      20 |   858809 |   740727 |     6041    248 |        0 |        0
1506.56/1507.17	c 1507s |      20 |   859844 |   741527 |     6041    248 |        0 |        0
1508.85/1509.44	c 1509s |      20 |   860737 |   742227 |     6041    248 |        0 |        0
1510.96/1511.52	c 1511s |      20 |   861468 |   742827 |     6041    248 |        0 |        0
1512.95/1513.54	c 1513s |      20 |   862788 |   743427 |     6041    248 |        0 |        0
1515.15/1515.79	c 1515s |      20 |   863919 |   744227 |     6041    249 |        0 |        0
1517.25/1517.89	c 1517s |      20 |   865017 |   745127 |     6041    249 |        0 |        0
1519.35/1519.99	c 1519s |      20 |   866017 |   746027 |     6041    249 |        0 |        0
1521.46/1522.06	c 1521s |      20 |   866890 |   746827 |     6041    249 |        0 |        0
1523.46/1524.06	c 1523s |      20 |   867801 |   747627 |     6041    249 |        0 |        0
1525.75/1526.39	c 1526s |      20 |   868586 |   748327 |     6041    250 |        0 |        0
1528.05/1528.66	c 1528s |      20 |   869606 |   749227 |     6041    250 |        0 |        0
1530.15/1530.75	c 1530s |      20 |   870397 |   749927 |     6041    250 |        0 |        0
1532.25/1532.83	c 1532s |      20 |   871621 |   750927 |     6041    250 |        0 |        0
1534.26/1534.87	c 1534s |      20 |   872641 |   751827 |     6041    250 |        0 |        0
1536.45/1537.00	c 1536s |      20 |   873453 |   752527 |     6041    251 |        0 |        0
1538.55/1539.15	c 1539s |      20 |   874454 |   753427 |     6041    251 |        0 |        0
1540.56/1541.18	c 1541s |      20 |   875374 |   754227 |     6041    251 |        0 |        0
1542.76/1543.30	c 1543s |      20 |   876252 |   755027 |     6041    251 |        0 |        0
1544.85/1545.47	c 1545s |      20 |   877184 |   755827 |     6041    251 |        0 |        0
1546.94/1547.55	c 1547s |      20 |   877860 |   756427 |     6041    252 |        0 |        0
1548.95/1549.56	c 1549s |      20 |   878881 |   757327 |     6041    252 |        0 |        0
1551.05/1551.60	c 1551s |      20 |   879935 |   758227 |     6041    252 |        0 |        0
1553.05/1553.61	c 1553s |      20 |   880722 |   758927 |     6041    252 |        0 |        0
1555.15/1555.70	c 1555s |      20 |   881599 |   759727 |     6041    252 |        0 |        0
1557.25/1557.87	c 1557s |      20 |   882613 |   760627 |     6041    253 |        0 |        0
1559.35/1559.99	c 1559s |      20 |   883718 |   761627 |     6041    253 |        0 |        0
1561.55/1562.18	c 1562s |      20 |   884628 |   762427 |     6041    253 |        0 |        0
1563.84/1564.42	c 1564s |      20 |   885551 |   763227 |     6041    253 |        0 |        0
1565.95/1566.58	c 1566s |      20 |   886448 |   764027 |     6041    253 |        0 |        0
1568.25/1568.83	c 1568s |      20 |   887214 |   764727 |     6041    254 |        0 |        0
1570.55/1571.10	c 1570s |      20 |   888208 |   765627 |     6041    254 |        0 |        0
1572.65/1573.29	c 1573s |      20 |   889207 |   766527 |     6041    254 |        0 |        0
1574.65/1575.30	c 1575s |      20 |   889965 |   767227 |     6041    254 |        0 |        0
1576.75/1577.38	c 1577s |      20 |   890750 |   767927 |     6041    254 |        0 |        0
1578.85/1579.46	c 1579s |      20 |   891441 |   768527 |     6041    255 |        0 |        0
1580.95/1581.53	c 1581s |      20 |   892446 |   769427 |     6041    255 |        0 |        0
1583.04/1583.69	c 1583s |      20 |   893466 |   770327 |     6041    255 |        0 |        0
1585.04/1585.69	c 1585s |      20 |   894253 |   771027 |     6041    255 |        0 |        0
1587.24/1587.82	c 1587s |      20 |   894920 |   771627 |     6041    255 |        0 |        0
1589.44/1590.03	c 1589s |      20 |   895689 |   772327 |     6041    255 |        0 |        0
1591.54/1592.10	c 1591s |      20 |   896337 |   772927 |     6041    256 |        0 |        0
1593.54/1594.17	c 1594s |      20 |   897247 |   773727 |     6041    256 |        0 |        0
1595.55/1596.19	c 1596s |      20 |   898015 |   774427 |     6041    256 |        0 |        0
1597.64/1598.21	c 1598s |      20 |   898799 |   775127 |     6041    256 |        0 |        0
1599.74/1600.39	c 1600s |      20 |   899703 |   775927 |     6041    256 |        0 |        0
1601.94/1602.53	c 1602s |      20 |   900362 |   776527 |     6041    257 |        0 |        0
1604.04/1604.67	c 1604s |      20 |   901250 |   777327 |     6041    257 |        0 |        0
1606.24/1606.82	c 1606s |      20 |   902124 |   778127 |     6041    257 |        0 |        0
1608.34/1608.93	c 1608s |      20 |   902979 |   778927 |     6041    257 |        0 |        0
1610.44/1611.09	c 1610s |      20 |   903859 |   779727 |     6041    257 |        0 |        0
1612.64/1613.26	c 1613s |      20 |   904634 |   780427 |     6041    257 |        0 |        0
1614.84/1615.44	c 1615s |      20 |   905414 |   781127 |     6041    258 |        0 |        0
1616.94/1617.56	c 1617s |      20 |   906305 |   781927 |     6041    258 |        0 |        0
1619.04/1619.63	c 1619s |      20 |   906956 |   782527 |     6041    258 |        0 |        0
1621.24/1621.88	c 1621s |      20 |   907718 |   783227 |     6041    258 |        0 |        0
1623.43/1624.02	c 1623s |      20 |   908613 |   784027 |     6041    258 |        0 |        0
1625.53/1626.10	c 1625s |      20 |   909515 |   784827 |     6041    259 |        0 |        0
1627.54/1628.18	c 1628s |      20 |   910509 |   785727 |     6041    259 |        0 |        0
1629.65/1630.20	c 1630s |      20 |   911405 |   786527 |     6041    259 |        0 |        0
1631.64/1632.28	c 1632s |      20 |   912261 |   787327 |     6041    259 |        0 |        0
1633.84/1634.43	c 1634s |      20 |   913129 |   788127 |     6041    259 |        0 |        0
1635.94/1636.53	c 1636s |      20 |   913865 |   788827 |     6041    260 |        0 |        0
1638.04/1638.60	c 1638s |      20 |   914722 |   789627 |     6041    260 |        0 |        0
1640.33/1640.92	c 1640s |      20 |   915591 |   790427 |     6041    260 |        0 |        0
1642.53/1643.10	c 1642s |      20 |   916362 |   791127 |     6041    260 |        0 |        0
1644.63/1645.25	c 1645s |      20 |   917293 |   791727 |     6041    260 |        0 |        0
1646.74/1647.36	c 1647s |      20 |   918152 |   792427 |     6041    260 |        0 |        0
1648.84/1649.43	c 1649s |      20 |   918833 |   793027 |     6041    261 |        0 |        0
1650.94/1651.58	c 1651s |      20 |   919709 |   793827 |     6041    261 |        0 |        0
1653.03/1653.60	c 1653s |      20 |   920496 |   794527 |     6041    261 |        0 |        0
1655.13/1655.74	c 1655s |      20 |   921254 |   795227 |     6041    261 |        0 |        0
1657.14/1657.76	c 1657s |      20 |   921903 |   795827 |     6041    261 |        0 |        0
1659.53/1660.17	c 1660s |      20 |   922573 |   796427 |     6041    261 |        0 |        0
1661.73/1662.39	c 1662s |      20 |   923358 |   797127 |     6041    262 |        0 |        0
1663.83/1664.48	c 1664s |      20 |   924239 |   797927 |     6041    262 |        0 |        0
1666.14/1666.70	c 1666s |      20 |   925150 |   798727 |     6041    262 |        0 |        0
1668.24/1668.86	c 1668s |      20 |   926862 |   800127 |     6041    262 |        0 |        0
1670.34/1670.92	c 1670s |      20 |   928035 |   801127 |     6041    263 |        0 |        0
1672.43/1673.08	c 1672s |      20 |   929436 |   802327 |     6041    263 |        0 |        0
1674.53/1675.19	c 1675s |      20 |   930938 |   803627 |     6041    263 |        0 |        0
1676.73/1677.34	c 1677s |      20 |   932073 |   804627 |     6041    263 |        0 |        0
1678.83/1679.47	c 1679s |      20 |   934337 |   806027 |     6041    264 |        0 |        0
1680.93/1681.59	c 1681s |      20 |   935896 |   807427 |     6041    264 |        0 |        0
1683.03/1683.61	c 1683s |      20 |   937169 |   808527 |     6041    265 |        0 |        0
1685.13/1685.78	c 1685s |      20 |   938530 |   809727 |     6041    265 |        0 |        0
1687.23/1687.80	c 1687s |      20 |   939629 |   810727 |     6041    265 |        0 |        0
1689.23/1689.82	c 1689s |      20 |   940638 |   811627 |     6041    265 |        0 |        0
1691.34/1691.93	c 1691s |      20 |   941617 |   812527 |     6041    266 |        0 |        0
1693.44/1694.02	c 1693s |      20 |   942714 |   813527 |     6041    266 |        0 |        0
1695.64/1696.24	c 1696s |      20 |   943817 |   814527 |     6041    266 |        0 |        0
1697.84/1698.42	c 1698s |      20 |   944783 |   815427 |     6041    266 |        0 |        0
1699.83/1700.48	c 1700s |      20 |   945657 |   816227 |     6041    267 |        0 |        0
1702.03/1702.64	c 1702s |      20 |   947017 |   817427 |     6041    267 |        0 |        0
1704.13/1704.75	c 1704s |      20 |   948054 |   818327 |     6041    267 |        0 |        0
1706.13/1706.77	c 1706s |      20 |   949199 |   819327 |     6041    268 |        0 |        0
1708.33/1708.97	c 1708s |      20 |   950458 |   820427 |     6041    268 |        0 |        0
1710.43/1711.06	c 1710s |      20 |   951560 |   821427 |     6041    268 |        0 |        0
1712.42/1713.08	c 1712s |      20 |   952574 |   822327 |     6041    268 |        0 |        0
1714.43/1715.09	c 1714s |      20 |   953671 |   823327 |     6041    269 |        0 |        0
1716.63/1717.27	c 1717s |      20 |   954811 |   824327 |     6041    269 |        0 |        0
1718.83/1719.49	c 1719s |      20 |   955783 |   825227 |     6041    269 |        0 |        0
1720.82/1721.50	c 1721s |      20 |   956659 |   826027 |     6041    269 |        0 |        0
1723.02/1723.60	c 1723s |      20 |   957551 |   826827 |     6041    270 |        0 |        0
1725.02/1725.68	c 1725s |      20 |   958424 |   827627 |     6041    270 |        0 |        0
1727.12/1727.78	c 1727s |      20 |   959550 |   828627 |     6041    270 |        0 |        0
1729.22/1729.89	c 1729s |      20 |   960644 |   829627 |     6041    270 |        0 |        0
1731.42/1732.08	c 1731s |      20 |   961514 |   830427 |     6041    271 |        0 |        0
1733.42/1734.08	c 1733s |      20 |   962522 |   831327 |     6041    271 |        0 |        0
1735.62/1736.25	c 1736s |      20 |   963619 |   832327 |     6041    271 |        0 |        0
1737.72/1738.30	c 1738s |      20 |   964631 |   833227 |     6041    271 |        0 |        0
1740.02/1740.65	c 1740s |      20 |   965654 |   834127 |     6041    272 |        0 |        0
1742.02/1742.69	c 1742s |      20 |   966778 |   835127 |     6041    272 |        0 |        0
1744.13/1744.73	c 1744s |      20 |   967755 |   836027 |     6041    272 |        0 |        0
1746.23/1746.84	c 1746s |      20 |   968653 |   836827 |     6041    272 |        0 |        0
1748.53/1749.18	c 1749s |      20 |   969758 |   837827 |     6041    273 |        0 |        0
1750.72/1751.35	c 1751s |      20 |   970768 |   838727 |     6041    273 |        0 |        0
1752.82/1753.45	c 1753s |      20 |   971739 |   839627 |     6041    273 |        0 |        0
1755.12/1755.73	c 1755s |      20 |   972731 |   840527 |     6041    273 |        0 |        0
1757.12/1757.77	c 1757s |      20 |   973615 |   841327 |     6041    273 |        0 |        0
1759.22/1759.84	c 1759s |      20 |   974474 |   842127 |     6041    274 |        0 |        0
1761.22/1761.89	c 1761s |      20 |   975472 |   843027 |     6041    274 |        0 |        0
1763.42/1764.00	c 1763s |      20 |   976572 |   844027 |     6041    274 |        0 |        0
1765.52/1766.13	c 1765s |      20 |   977587 |   844927 |     6041    274 |        0 |        0
1767.52/1768.15	c 1768s |      20 |   978472 |   845727 |     6041    275 |        0 |        0
1769.72/1770.35	c 1770s |      20 |   979436 |   846627 |     6041    275 |        0 |        0
1771.91/1772.50	c 1772s |      20 |   980285 |   847427 |     6041    275 |        0 |        0
1774.01/1774.67	c 1774s |      20 |   981291 |   848327 |     6041    275 |        0 |        0
1776.11/1776.79	c 1776s |      20 |   982171 |   849127 |     6041    276 |        0 |        0
1778.41/1779.08	c 1778s |      20 |   983310 |   850127 |     6041    276 |        0 |        0
1780.42/1781.09	c 1780s |      20 |   984059 |   850827 |     6041    276 |        0 |        0
1782.52/1783.20	c 1783s |      20 |   984821 |   851527 |     6041    276 |        0 |        0
1784.61/1785.27	c 1785s |      20 |   985589 |   852227 |     6041    276 |        0 |        0
1786.61/1787.29	c 1787s |      20 |   986368 |   852927 |     6041    277 |        0 |        0
1788.71/1789.31	c 1789s |      20 |   987122 |   853627 |     6041    277 |        0 |        0
1790.71/1791.33	c 1791s |      20 |   987901 |   854327 |     6041    277 |        0 |        0
1792.71/1793.36	c 1793s |      20 |   988666 |   855027 |     6041    277 |        0 |        0
1794.92/1795.54	c 1795s |      20 |   989435 |   855727 |     6041    277 |        0 |        0
1796.92/1797.59	c 1797s |      20 |   990078 |   856327 |     6041    278 |        0 |        0
1799.12/1799.72	c 1799s |      20 |   990853 |   857027 |     6041    278 |        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-4093634-1466091477/watcher-4093634-1466091477 -o /tmp/evaluation-result-4093634-1466091477/solver-4093634-1466091477 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1466075558-12322 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093634-1466091477.wbo 

pid=16200
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.08 2.04 2.00 3/181 16203
/proc/meminfo: memFree=30919908/32872528 swapFree=7268/7268
[pid=16203] ppid=16200 vsize=391612 CPUtime=0 cores=1,3,5,7
/proc/16203/stat : 16203 (toysat) R 16200 16203 9721 0 -1 4202496 1403 0 0 0 0 0 0 0 20 0 4 0 11193663 401010688 1764 33554432000 4194304 16246674 140736265906928 140736265906352 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16203/statm: 98671 1775 441 2943 0 95565 0
[pid=16203/tid=16204] ppid=16200 vsize=410044 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16204/stat : 16204 (toysat) S 16200 16203 9721 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11193663 419885056 1836 33554432000 4194304 16246674 140736265906928 140598028774640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16203/tid=16205] ppid=16200 vsize=415164 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16205/stat : 16205 (toysat) S 16200 16203 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11193663 425127936 1853 33554432000 4194304 16246674 140736265906928 140598018284784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16203/tid=16206] ppid=16200 vsize=419260 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16206/stat : 16206 (toysat) S 16200 16203 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11193663 429322240 1871 33554432000 4194304 16246674 140736265906928 140597901913264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100173 s]
/proc/loadavg: 2.08 2.04 2.00 3/181 16203
/proc/meminfo: memFree=30919908/32872528 swapFree=7268/7268
[pid=16203] ppid=16200 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/16203/stat : 16203 (toysat) R 16200 16203 9721 0 -1 4202496 25006 0 0 0 5 4 0 0 20 0 4 0 11193663 1247350784 25360 33554432000 4194304 16246674 140736265906928 140736265888832 6739585 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16203/statm: 304529 25370 603 2943 0 301423 0
[pid=16203/tid=16204] ppid=16200 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16204/stat : 16204 (toysat) S 16200 16203 9721 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11193663 1247350784 25377 33554432000 4194304 16246674 140736265906928 140598028774640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16203/tid=16205] ppid=16200 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16205/stat : 16205 (toysat) S 16200 16203 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11193663 1247350784 25383 33554432000 4194304 16246674 140736265906928 140598018284784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16203/tid=16206] ppid=16200 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16206/stat : 16206 (toysat) S 16200 16203 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11193663 1247350784 25389 33554432000 4194304 16246674 140736265906928 140597901913264 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.200537 s]
/proc/loadavg: 2.08 2.04 2.00 3/181 16203
/proc/meminfo: memFree=30919908/32872528 swapFree=7268/7268
[pid=16203] ppid=16200 vsize=1218116 CPUtime=0.18 cores=1,3,5,7
/proc/16203/stat : 16203 (toysat) R 16200 16203 9721 0 -1 4202496 48293 0 0 0 12 6 0 0 20 0 4 0 11193663 1247350784 48641 33554432000 4194304 16246674 140736265906928 140736265888832 6021133 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16203/statm: 304529 48650 805 2943 0 301423 0
[pid=16203/tid=16204] ppid=16200 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16204/stat : 16204 (toysat) S 16200 16203 9721 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11193663 1247350784 48659 33554432000 4194304 16246674 140736265906928 140598028774640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16203/tid=16205] ppid=16200 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16205/stat : 16205 (toysat) S 16200 16203 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11193663 1247350784 48668 33554432000 4194304 16246674 140736265906928 140598018284784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16203/tid=16206] ppid=16200 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16206/stat : 16206 (toysat) S 16200 16203 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11193663 1247350784 48676 33554432000 4194304 16246674 140736265906928 140597901913264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300405 s]
/proc/loadavg: 2.08 2.04 2.00 3/181 16203
/proc/meminfo: memFree=30919908/32872528 swapFree=7268/7268
[pid=16203] ppid=16200 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/16203/stat : 16203 (toysat) R 16200 16203 9721 0 -1 4202496 74679 0 0 0 19 10 0 0 20 0 4 0 11193663 1247350784 75027 33554432000 4194304 16246674 140736265906928 140736265888832 12478333 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16203/statm: 304529 75041 805 2943 0 301423 0
[pid=16203/tid=16204] ppid=16200 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16204/stat : 16204 (toysat) S 16200 16203 9721 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11193663 1247350784 75051 33554432000 4194304 16246674 140736265906928 140598028774640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16203/tid=16205] ppid=16200 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16205/stat : 16205 (toysat) S 16200 16203 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11193663 1247350784 75061 33554432000 4194304 16246674 140736265906928 140598018284784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16203/tid=16206] ppid=16200 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16206/stat : 16206 (toysat) S 16200 16203 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11193663 1247350784 75072 33554432000 4194304 16246674 140736265906928 140597901913264 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.700415 s]
/proc/loadavg: 2.08 2.04 2.00 3/181 16203
/proc/meminfo: memFree=30919908/32872528 swapFree=7268/7268
[pid=16203] ppid=16200 vsize=1218116 CPUtime=0.68 cores=1,3,5,7
/proc/16203/stat : 16203 (toysat) R 16200 16203 9721 0 -1 4202496 189389 0 0 0 45 23 0 0 20 0 4 0 11193663 1247350784 189737 33554432000 4194304 16246674 140736265906928 140736265888832 5831697 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16203/statm: 304529 189746 805 2943 0 301423 0
[pid=16203/tid=16204] ppid=16200 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16204/stat : 16204 (toysat) S 16200 16203 9721 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11193663 1247350784 189749 33554432000 4194304 16246674 140736265906928 140598028774640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16203/tid=16205] ppid=16200 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16205/stat : 16205 (toysat) S 16200 16203 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11193663 1247350784 189752 33554432000 4194304 16246674 140736265906928 140598018284784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16203/tid=16206] ppid=16200 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16206/stat : 16206 (toysat) S 16200 16203 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11193663 1247350784 189755 33554432000 4194304 16246674 140736265906928 140597901913264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.08 2.04 2.00 3/185 16207
/proc/meminfo: memFree=29934028/32872528 swapFree=7268/7268
[pid=16203] ppid=16200 vsize=1222212 CPUtime=1.48 cores=1,3,5,7
/proc/16203/stat : 16203 (toysat) R 16200 16203 9721 0 -1 4202496 246617 0 0 0 116 32 0 0 20 0 4 0 11193663 1251545088 246942 33554432000 4194304 16246674 140736265906928 140736265888832 4221799 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16203/statm: 305553 246958 869 2943 0 302447 0
[pid=16203/tid=16204] ppid=16200 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16204/stat : 16204 (toysat) S 16200 16203 9721 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11193663 1251545088 246968 33554432000 4194304 16246674 140736265906928 140598028774640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16203/tid=16205] ppid=16200 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16205/stat : 16205 (toysat) S 16200 16203 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11193663 1251545088 246975 33554432000 4194304 16246674 140736265906928 140598018284784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16203/tid=16206] ppid=16200 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16206/stat : 16206 (toysat) S 16200 16203 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11193663 1251545088 246983 33554432000 4194304 16246674 140736265906928 140597901913264 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) 1222212

[startup+3.10043 s]
/proc/loadavg: 2.08 2.04 2.00 3/185 16207
/proc/meminfo: memFree=29848840/32872528 swapFree=7268/7268
[pid=16203] ppid=16200 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/16203/stat : 16203 (toysat) R 16200 16203 9721 0 -1 4202496 267914 0 0 0 273 36 0 0 20 0 4 0 11193663 1338576896 268239 33554432000 4194304 16246674 140736265906928 140736265888832 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16203/statm: 326801 268239 869 2943 0 323695 0
[pid=16203/tid=16204] ppid=16200 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16204/stat : 16204 (toysat) S 16200 16203 9721 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11193663 1338576896 268239 33554432000 4194304 16246674 140736265906928 140598028774640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16203/tid=16205] ppid=16200 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16205/stat : 16205 (toysat) S 16200 16203 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11193663 1338576896 268239 33554432000 4194304 16246674 140736265906928 140598018284784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16203/tid=16206] ppid=16200 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16206/stat : 16206 (toysat) S 16200 16203 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11193663 1338576896 268239 33554432000 4194304 16246674 140736265906928 140597901913264 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.08 2.04 2.00 3/185 16207
/proc/meminfo: memFree=29846872/32872528 swapFree=7268/7268
[pid=16203] ppid=16200 vsize=1309252 CPUtime=6.29 cores=1,3,5,7
/proc/16203/stat : 16203 (toysat) R 16200 16203 9721 0 -1 4202496 268395 0 0 0 593 36 0 0 20 0 4 0 11193663 1340674048 268720 33554432000 4194304 16246674 140736265906928 140736265888832 6021024 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16203/statm: 327313 268720 870 2943 0 324207 0
[pid=16203/tid=16204] ppid=16200 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16204/stat : 16204 (toysat) S 16200 16203 9721 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11193663 1340674048 268720 33554432000 4194304 16246674 140736265906928 140598028774640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16203/tid=16205] ppid=16200 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16205/stat : 16205 (toysat) S 16200 16203 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11193663 1340674048 268720 33554432000 4194304 16246674 140736265906928 140598018284784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16203/tid=16206] ppid=16200 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16206/stat : 16206 (toysat) S 16200 16203 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11193663 1340674048 268720 33554432000 4194304 16246674 140736265906928 140597901913264 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) 1309252

[startup+12.7004 s]
/proc/loadavg: 2.06 2.04 2.00 3/185 16207
/proc/meminfo: memFree=29842452/32872528 swapFree=7268/7268
[pid=16203] ppid=16200 vsize=1312324 CPUtime=12.68 cores=1,3,5,7
/proc/16203/stat : 16203 (toysat) R 16200 16203 9721 0 -1 4202496 269196 0 0 0 1232 36 0 0 20 0 4 0 11193663 1343819776 269521 33554432000 4194304 16246674 140736265906928 140736265888832 5712604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16203/statm: 328081 269521 871 2943 0 324975 0
[pid=16203/tid=16204] ppid=16200 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16204/stat : 16204 (toysat) S 16200 16203 9721 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11193663 1343819776 269521 33554432000 4194304 16246674 140736265906928 140598028774640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16203/tid=16205] ppid=16200 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16205/stat : 16205 (toysat) S 16200 16203 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11193663 1343819776 269521 33554432000 4194304 16246674 140736265906928 140598018284784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16203/tid=16206] ppid=16200 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16206/stat : 16206 (toysat) S 16200 16203 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11193663 1343819776 269521 33554432000 4194304 16246674 140736265906928 140597901913264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.05 2.04 2.00 3/185 16207
/proc/meminfo: memFree=29841840/32872528 swapFree=7268/7268
[pid=16203] ppid=16200 vsize=1313348 CPUtime=25.48 cores=1,3,5,7
/proc/16203/stat : 16203 (toysat) R 16200 16203 9721 0 -1 4202496 269454 0 0 0 2512 36 0 0 20 0 4 0 11193663 1344868352 269779 33554432000 4194304 16246674 140736265906928 140736265888832 5672160 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16203/statm: 328337 269779 873 2943 0 325231 0
[pid=16203/tid=16204] ppid=16200 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16204/stat : 16204 (toysat) S 16200 16203 9721 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11193663 1344868352 269779 33554432000 4194304 16246674 140736265906928 140598028774640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16203/tid=16205] ppid=16200 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16205/stat : 16205 (toysat) S 16200 16203 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11193663 1344868352 269779 33554432000 4194304 16246674 140736265906928 140598018284784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16203/tid=16206] ppid=16200 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16206/stat : 16206 (toysat) S 16200 16203 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11193663 1344868352 269779 33554432000 4194304 16246674 140736265906928 140597901913264 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) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.03 2.03 2.00 3/185 16207
/proc/meminfo: memFree=29840228/32872528 swapFree=7268/7268
[pid=16203] ppid=16200 vsize=1313348 CPUtime=51.08 cores=1,3,5,7
/proc/16203/stat : 16203 (toysat) R 16200 16203 9721 0 -1 4202496 269454 0 0 0 5072 36 0 0 20 0 4 0 11193663 1344868352 269779 33554432000 4194304 16246674 140736265906928 140736265888832 13950192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16203/statm: 328337 269779 873 2943 0 325231 0
[pid=16203/tid=16204] ppid=16200 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16204/stat : 16204 (toysat) S 16200 16203 9721 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11193663 1344868352 269779 33554432000 4194304 16246674 140736265906928 140598028774640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16203/tid=16205] ppid=16200 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16205/stat : 16205 (toysat) S 16200 16203 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11193663 1344868352 269779 33554432000 4194304 16246674 140736265906928 140598018284784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16203/tid=16206] ppid=16200 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16206/stat : 16206 (toysat) S 16200 16203 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11193663 1344868352 269779 33554432000 4194304 16246674 140736265906928 140597901913264 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) 1313348

[startup+102.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/185 16208
/proc/meminfo: memFree=29835484/32872528 swapFree=7268/7268
[pid=16203] ppid=16200 vsize=1317444 CPUtime=102.28 cores=1,3,5,7
/proc/16203/stat : 16203 (toysat) R 16200 16203 9721 0 -1 4202496 270478 0 0 0 10191 37 0 0 20 0 4 0 11193663 1349062656 270803 33554432000 4194304 16246674 140736265906928 140736265888832 12478342 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16203/statm: 329361 270803 873 2943 0 326255 0
[pid=16203/tid=16204] ppid=16200 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16204/stat : 16204 (toysat) S 16200 16203 9721 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11193663 1349062656 270803 33554432000 4194304 16246674 140736265906928 140598028774640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16203/tid=16205] ppid=16200 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16205/stat : 16205 (toysat) S 16200 16203 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11193663 1349062656 270803 33554432000 4194304 16246674 140736265906928 140598018284784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16203/tid=16206] ppid=16200 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16206/stat : 16206 (toysat) S 16200 16203 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11193663 1349062656 270803 33554432000 4194304 16246674 140736265906928 140597901913264 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) 1317444


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

/proc/16203/task/16206/stat : 16206 (toysat) S 16200 16203 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11193663 1360596992 273876 33554432000 4194304 16246674 140736265906928 140597901913264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 1328708

[startup+1302.3 s]
/proc/loadavg: 2.03 2.02 2.00 4/185 16287
/proc/meminfo: memFree=29820468/32872528 swapFree=7268/7268
[pid=16203] ppid=16200 vsize=1328708 CPUtime=1301.79 cores=1,3,5,7
/proc/16203/stat : 16203 (toysat) R 16200 16203 9721 0 -1 4202496 273731 0 0 0 130128 51 0 0 20 0 4 0 11193663 1360596992 273876 33554432000 4194304 16246674 140736265906928 140736265888832 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16203/statm: 332177 273876 873 2943 0 329071 0
[pid=16203/tid=16204] ppid=16200 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16204/stat : 16204 (toysat) S 16200 16203 9721 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11193663 1360596992 273876 33554432000 4194304 16246674 140736265906928 140598028774640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16203/tid=16205] ppid=16200 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16205/stat : 16205 (toysat) S 16200 16203 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11193663 1360596992 273876 33554432000 4194304 16246674 140736265906928 140598018284784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16203/tid=16206] ppid=16200 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16206/stat : 16206 (toysat) S 16200 16203 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11193663 1360596992 273876 33554432000 4194304 16246674 140736265906928 140597901913264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 1328708

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 4/186 16291
/proc/meminfo: memFree=29820164/32872528 swapFree=7268/7268
[pid=16203] ppid=16200 vsize=1328708 CPUtime=1361.78 cores=1,3,5,7
/proc/16203/stat : 16203 (toysat) R 16200 16203 9721 0 -1 4202496 273731 0 0 0 136123 55 0 0 20 0 4 0 11193663 1360596992 273876 33554432000 4194304 16246674 140736265906928 140736265888832 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16203/statm: 332177 273876 873 2943 0 329071 0
[pid=16203/tid=16204] ppid=16200 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16204/stat : 16204 (toysat) S 16200 16203 9721 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11193663 1360596992 273876 33554432000 4194304 16246674 140736265906928 140598028774640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16203/tid=16205] ppid=16200 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16205/stat : 16205 (toysat) S 16200 16203 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11193663 1360596992 273876 33554432000 4194304 16246674 140736265906928 140598018284784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16203/tid=16206] ppid=16200 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16206/stat : 16206 (toysat) S 16200 16203 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11193663 1360596992 273876 33554432000 4194304 16246674 140736265906928 140597901913264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 1328708

[startup+1422.3 s]
/proc/loadavg: 2.05 2.03 2.00 4/186 16315
/proc/meminfo: memFree=29819628/32872528 swapFree=7268/7268
[pid=16203] ppid=16200 vsize=1328708 CPUtime=1421.78 cores=1,3,5,7
/proc/16203/stat : 16203 (toysat) R 16200 16203 9721 0 -1 4202496 273731 0 0 0 142118 60 0 0 20 0 4 0 11193663 1360596992 273876 33554432000 4194304 16246674 140736265906928 140736265888832 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16203/statm: 332177 273876 873 2943 0 329071 0
[pid=16203/tid=16204] ppid=16200 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16204/stat : 16204 (toysat) S 16200 16203 9721 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11193663 1360596992 273876 33554432000 4194304 16246674 140736265906928 140598028774640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16203/tid=16205] ppid=16200 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16205/stat : 16205 (toysat) S 16200 16203 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11193663 1360596992 273876 33554432000 4194304 16246674 140736265906928 140598018284784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16203/tid=16206] ppid=16200 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16206/stat : 16206 (toysat) S 16200 16203 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11193663 1360596992 273876 33554432000 4194304 16246674 140736265906928 140597901913264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 1328708

[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.00 4/185 16316
/proc/meminfo: memFree=29812780/32872528 swapFree=7268/7268
[pid=16203] ppid=16200 vsize=1328708 CPUtime=1481.76 cores=1,3,5,7
/proc/16203/stat : 16203 (toysat) R 16200 16203 9721 0 -1 4202496 273731 0 0 0 148112 64 0 0 20 0 4 0 11193663 1360596992 273876 33554432000 4194304 16246674 140736265906928 140736265888832 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16203/statm: 332177 273876 873 2943 0 329071 0
[pid=16203/tid=16204] ppid=16200 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16204/stat : 16204 (toysat) S 16200 16203 9721 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11193663 1360596992 273876 33554432000 4194304 16246674 140736265906928 140598028774640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16203/tid=16205] ppid=16200 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16205/stat : 16205 (toysat) S 16200 16203 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11193663 1360596992 273876 33554432000 4194304 16246674 140736265906928 140598018284784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16203/tid=16206] ppid=16200 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16206/stat : 16206 (toysat) S 16200 16203 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11193663 1360596992 273876 33554432000 4194304 16246674 140736265906928 140597901913264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 1328708

[startup+1542.31 s]
/proc/loadavg: 2.13 2.04 2.01 4/185 16318
/proc/meminfo: memFree=29811952/32872528 swapFree=7268/7268
[pid=16203] ppid=16200 vsize=1328708 CPUtime=1541.76 cores=1,3,5,7
/proc/16203/stat : 16203 (toysat) R 16200 16203 9721 0 -1 4202496 273731 0 0 0 154109 67 0 0 20 0 4 0 11193663 1360596992 273876 33554432000 4194304 16246674 140736265906928 140736265888832 6021544 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16203/statm: 332177 273876 873 2943 0 329071 0
[pid=16203/tid=16204] ppid=16200 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16204/stat : 16204 (toysat) S 16200 16203 9721 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11193663 1360596992 273876 33554432000 4194304 16246674 140736265906928 140598028774640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16203/tid=16205] ppid=16200 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16205/stat : 16205 (toysat) S 16200 16203 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11193663 1360596992 273876 33554432000 4194304 16246674 140736265906928 140598018284784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16203/tid=16206] ppid=16200 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16206/stat : 16206 (toysat) S 16200 16203 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11193663 1360596992 273876 33554432000 4194304 16246674 140736265906928 140597901913264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 1328708

[startup+1602.3 s]
/proc/loadavg: 2.09 2.05 2.01 4/185 16319
/proc/meminfo: memFree=29811236/32872528 swapFree=7268/7268
[pid=16203] ppid=16200 vsize=1328708 CPUtime=1601.74 cores=1,3,5,7
/proc/16203/stat : 16203 (toysat) R 16200 16203 9721 0 -1 4202496 273731 0 0 0 160104 70 0 0 20 0 4 0 11193663 1360596992 273876 33554432000 4194304 16246674 140736265906928 140736265888832 5589288 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16203/statm: 332177 273876 873 2943 0 329071 0
[pid=16203/tid=16204] ppid=16200 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16204/stat : 16204 (toysat) S 16200 16203 9721 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11193663 1360596992 273876 33554432000 4194304 16246674 140736265906928 140598028774640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16203/tid=16205] ppid=16200 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16205/stat : 16205 (toysat) S 16200 16203 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11193663 1360596992 273876 33554432000 4194304 16246674 140736265906928 140598018284784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16203/tid=16206] ppid=16200 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16206/stat : 16206 (toysat) S 16200 16203 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11193663 1360596992 273876 33554432000 4194304 16246674 140736265906928 140597901913264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 1328708

[startup+1662.3 s]
/proc/loadavg: 2.16 2.07 2.01 4/185 16320
/proc/meminfo: memFree=29811524/32872528 swapFree=7268/7268
[pid=16203] ppid=16200 vsize=1328708 CPUtime=1661.73 cores=1,3,5,7
/proc/16203/stat : 16203 (toysat) R 16200 16203 9721 0 -1 4202496 273731 0 0 0 166100 73 0 0 20 0 4 0 11193663 1360596992 273876 33554432000 4194304 16246674 140736265906928 140736265888832 12477836 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16203/statm: 332177 273876 873 2943 0 329071 0
[pid=16203/tid=16204] ppid=16200 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16204/stat : 16204 (toysat) S 16200 16203 9721 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11193663 1360596992 273876 33554432000 4194304 16246674 140736265906928 140598028774640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16203/tid=16205] ppid=16200 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16205/stat : 16205 (toysat) S 16200 16203 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11193663 1360596992 273876 33554432000 4194304 16246674 140736265906928 140598018284784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16203/tid=16206] ppid=16200 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16206/stat : 16206 (toysat) S 16200 16203 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11193663 1360596992 273876 33554432000 4194304 16246674 140736265906928 140597901913264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 1328708

[startup+1722.3 s]
/proc/loadavg: 2.17 2.08 2.02 4/185 16321
/proc/meminfo: memFree=29811196/32872528 swapFree=7268/7268
[pid=16203] ppid=16200 vsize=1328708 CPUtime=1721.72 cores=1,3,5,7
/proc/16203/stat : 16203 (toysat) R 16200 16203 9721 0 -1 4202496 273731 0 0 0 172098 74 0 0 20 0 4 0 11193663 1360596992 273876 33554432000 4194304 16246674 140736265906928 140736265888832 5712536 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16203/statm: 332177 273876 873 2943 0 329071 0
[pid=16203/tid=16204] ppid=16200 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16204/stat : 16204 (toysat) S 16200 16203 9721 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11193663 1360596992 273876 33554432000 4194304 16246674 140736265906928 140598028774640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16203/tid=16205] ppid=16200 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16205/stat : 16205 (toysat) S 16200 16203 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11193663 1360596992 273876 33554432000 4194304 16246674 140736265906928 140598018284784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16203/tid=16206] ppid=16200 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16206/stat : 16206 (toysat) S 16200 16203 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11193663 1360596992 273876 33554432000 4194304 16246674 140736265906928 140597901913264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 1328708

[startup+1782.3 s]
/proc/loadavg: 2.06 2.07 2.01 4/185 16322
/proc/meminfo: memFree=29810872/32872528 swapFree=7268/7268
[pid=16203] ppid=16200 vsize=1328708 CPUtime=1781.71 cores=1,3,5,7
/proc/16203/stat : 16203 (toysat) R 16200 16203 9721 0 -1 4202496 273731 0 0 0 178097 74 0 0 20 0 4 0 11193663 1360596992 273876 33554432000 4194304 16246674 140736265906928 140736265888832 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16203/statm: 332177 273876 873 2943 0 329071 0
[pid=16203/tid=16204] ppid=16200 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16204/stat : 16204 (toysat) S 16200 16203 9721 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11193663 1360596992 273876 33554432000 4194304 16246674 140736265906928 140598028774640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16203/tid=16205] ppid=16200 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16205/stat : 16205 (toysat) S 16200 16203 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11193663 1360596992 273876 33554432000 4194304 16246674 140736265906928 140598018284784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16203/tid=16206] ppid=16200 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16206/stat : 16206 (toysat) S 16200 16203 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11193663 1360596992 273876 33554432000 4194304 16246674 140736265906928 140597901913264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 1328708



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.05 2.06 2.01 4/185 16322
/proc/meminfo: memFree=29810996/32872528 swapFree=7268/7268
[pid=16203] ppid=16200 vsize=1328708 CPUtime=1800.01 cores=1,3,5,7
/proc/16203/stat : 16203 (toysat) R 16200 16203 9721 0 -1 4202496 273731 0 0 0 179926 75 0 0 20 0 4 0 11193663 1360596992 273876 33554432000 4194304 16246674 140736265906928 140736265904768 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16203/statm: 332177 273876 873 2943 0 329071 0
[pid=16203/tid=16204] ppid=16200 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16204/stat : 16204 (toysat) S 16200 16203 9721 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11193663 1360596992 273876 33554432000 4194304 16246674 140736265906928 140598028774640 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16203/tid=16205] ppid=16200 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16205/stat : 16205 (toysat) S 16200 16203 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11193663 1360596992 273876 33554432000 4194304 16246674 140736265906928 140598018284784 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16203/tid=16206] ppid=16200 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/16203/task/16206/stat : 16206 (toysat) S 16200 16203 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11193663 1360596992 273876 33554432000 4194304 16246674 140736265906928 140597901913264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1328708

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 16203 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.03
CPU user time (s): 1799.27
CPU system time (s): 0.751885
CPU usage (%): 99.9676
Max. virtual memory (cumulated for all children) (KiB): 1328708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.27
system time used= 0.751885
maximum resident set size= 1095504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273731
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= 449
involuntary context switches= 1955

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.14322 second user time and 7.01593 second system time

The end

Launcher Data 

Begin job on node133 at 2016-06-16 17:37:57
IDJOB=4093634
IDBENCH=79163
IDSOLVER=2553
FILE ID=node133/4093634-1466091477
RUNJOBID= node133-1466075558-12322
PBS_JOBID= 19904006
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl30_40_pb.cnf.cr--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-4093634-1466091477/watcher-4093634-1466091477 -o /tmp/evaluation-result-4093634-1466091477/solver-4093634-1466091477 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1466075558-12322 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093634-1466091477.wbo

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

MD5SUM BENCH= 68a136cd2642dd27a3fdbf065e2a5463
RANDOM SEED=1905160121

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.256
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:        30920700 kB
Buffers:           43988 kB
Cached:           105828 kB
SwapCached:         1876 kB
Active:          1176264 kB
Inactive:          69084 kB
Active(anon):    1096552 kB
Inactive(anon):     1228 kB
Active(file):      79712 kB
Inactive(file):    67856 kB
Unevictable:        7268 kB
Mlocked:            7268 kB
SwapTotal:      67108856 kB
SwapFree:       67098888 kB
Dirty:             16360 kB
Writeback:             0 kB
AnonPages:       1200268 kB
Mapped:            10600 kB
Shmem:                 0 kB
Slab:             568264 kB
SReclaimable:      11976 kB
SUnreclaim:       556288 kB
KernelStack:        1536 kB
PageTables:         6296 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1244896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1185792 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= 71716 MiB
End job on node133 at 2016-06-16 18:07:58