Trace number 4093403

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-45-40--soft-66-100-0.wbo
MD5SUMa455ffab78a89665145255f789204852
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark1800.02
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1800
Total number of constraints85
Number of soft constraints24
Number of constraints which are clauses45
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint45
Top cost 1255
Min constraint cost 1
Max constraint cost 96
Sum of constraints costs 1254
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 46
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-16T15:16:56+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-4093403-1466083016.wbo"]
0.00/0.01	c use --random-gen="3693969961 2149719808 3209169765 2368832751 3845493729 324571684 922314793 4262506234 3977479008 315710235 1891835721 3577414769 1641973861 338046153 149516998 133959584 950628287 3498302602 648503560 1185158809 4010343357 3912588627 921576129 3497149827 2031513061 594499118 2349764331 26333636 1104686849 302283110 887662230 2408968756 2455670901 3472922764 1709396715 124023522 4175381162 3660308178 1088492191 1982525824 3944456097 2854389176 3433848094 3736212799 2973856920 1686617953 1145274541 1529653297 537865570 2863964318 2799774416 3534981333 3686410583 2453899011 2571347003 1674040030 1989241966 4261504787 3804516680 3048353760 298536099 2341202823 1638940698 3730476696 1120807660 1249317757 2834074470 627645119 3058744485 2357729486 1185219861 4223084477 3721361915 2904637307 2903651138 3995539353 2741951750 3570921510 2084718697 1871487340 613155563 668653222 624956664 1116257651 2156837762 776495435 2315953176 4066150567 2587225148 2074932783 3905531620 938912058 996605035 3300162848 4159611162 2814018272 3727508821 1146003357 3130968038 2278118018 422964579 1331372701 919156130 2661931484 2449536442 2547830393 517655286 514285884 1436888484 669614365 860890264 2485683962 3365383791 2273472210 576400934 4281653344 3554781040 661867138 1635325142 3872659353 1332672371 245109646 2811235885 2403184737 3595568987 3516564335 1411459631 1931027523 317809129 2583266207 2802284053 2726680412 130960869 3717611362 1749154733 3126792888 2791199078 782539502 4249901401 150456251 2572011652 2591450622 2406721096 3848136199 2605495316 1448980645 3219124920 3752649389 3642456136 2382353981 1487817363 3783470835 2007046010 3538994772 940611389 2540832144 2889473735 1301922978 2861323000 4036419316 208396374 3161978915 355350991 1412044858 1828339121 782796869 2639993266 3543680599 2942486011 3332978308 3183955750 2288464149 1183382385 2928626316 3130802622 2374032445 2391802143 111047893 851858324 1714949282 1144485705 3575159839 3908690084 2794362861 4055240215 3415568533 587905676 1238037688 764758545 1435901834 1039466603 3263684985 3823334481 2588494147 1529581522 1858890315 1517965769 3579591575 2518716951 3817661345 1747720065 1999553819 1818710582 1982981328 3687387716 1210392379 1003623799 2108778243 176806241 532260759 3349207550 2568261434 1593148918 779647873 2988715675 2096191531 2244539800 3326460568 3055252141 2197715950 2045853473 2902723106 2441844119 1104424777 1825163596 3741552903 223430879 799695440 2073491911 3498308911 444721540 1408826211 2294352434 3254926203 3551281351 3968192543 38286252 4167237739 482087605 3848619045 3154985020 1663468927 805553172 301752532 687520290 2791700365 713350312 3971457569 3235416358 3043087914 172509218 2175126034 87465175 2331393777 3341970228 1538888765 255 362436" option to reproduce the execution
0.00/0.08	c #vars 1800
0.00/0.08	c #constraints 85
0.00/0.09	c BCD2: Hardening is enabled.
0.00/0.09	c BCD2: BiasedSearch is enabled.
0.00/0.09	c Solving starts ...
0.00/0.09	c ============================[ Search Statistics ]============================
0.00/0.09	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.09	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.09	c =============================================================================
0.00/0.09	c  0.0s |       0 |        0 |        0 |      636      0 |        0 |        0
0.09/0.14	c  0.0s |       1 |      181 |      100 |      636      0 |        0 |        0
0.09/0.14	c  0.0s |       1 |     1409 |      101 |      700      0 |        0 |        0
0.09/0.14	c #cpu_time = 0.047s
0.09/0.14	c #wall_clock_time = 0.047s
0.09/0.14	c #decision = 1409
0.09/0.14	c #random_decision = 8
0.09/0.14	c #conflict = 101
0.09/0.14	c #restart = 1
0.09/0.14	o 719
0.09/0.14	c BCD2: updating upper bound: 1254 -> 718
0.09/0.14	c BCD2: 0 <= obj <= 718
0.09/0.14	c BCD2: #cores=0, #unrelaxed=24, #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 |      700      0 |        0 |        0
0.19/0.27	c  0.1s |       1 |      803 |      100 |      700      0 |        0 |        0
0.29/0.53	c  0.3s |       2 |     2151 |      250 |      771      0 |        0 |        0
0.29/0.59	c  0.5s |       3 |     3340 |      475 |      849      0 |        0 |        0
0.89/0.97	c  0.8s |       4 |     5470 |      813 |      934      0 |        0 |        0
1.39/1.43	c  1.3s |       5 |     6918 |     1320 |     1028      0 |        0 |        0
2.19/2.27	c  2.1s |       6 |     8875 |     2081 |     1131      1 |        0 |        0
3.09/3.17	c  3.0s |       7 |    11176 |     3223 |     1245      2 |        0 |        0
4.79/4.88	c  4.7s |       8 |    14278 |     4936 |     1370      3 |        0 |        0
6.89/6.98	c  6.8s |       8 |    17513 |     6836 |     1370      5 |        0 |        0
7.79/7.85	c  7.7s |       9 |    18270 |     7506 |     1508      5 |        0 |        0
9.79/9.87	c  9.7s |       9 |    21360 |     9406 |     1508      6 |        0 |        0
11.99/12.00	c 11.9s |       9 |    22871 |    10806 |     1508      7 |        0 |        0
12.69/12.79	c 12.6s |      10 |    23496 |    11361 |     1659      7 |        0 |        0
14.88/14.93	c 14.8s |      10 |    26648 |    13061 |     1659      9 |        0 |        0
16.88/16.93	c 16.8s |      10 |    27953 |    14261 |     1659     10 |        0 |        0
18.99/19.09	c 18.9s |      10 |    29510 |    15661 |     1659     11 |        0 |        0
21.09/21.12	c 21.0s |      10 |    30965 |    16961 |     1825     11 |        0 |        0
21.39/21.41	c 21.3s |      11 |    31165 |    17144 |     1825     11 |        0 |        0
23.40/23.45	c 23.3s |      11 |    34728 |    19244 |     1825     13 |        0 |        0
25.39/25.48	c 25.3s |      11 |    36708 |    21044 |     1825     14 |        0 |        0
27.59/27.60	c 27.5s |      11 |    38668 |    22844 |     1825     15 |        0 |        0
29.59/29.63	c 29.5s |      11 |    40441 |    24444 |     1825     15 |        0 |        0
31.29/31.38	c 31.2s |      12 |    41925 |    25819 |     2008     16 |        0 |        0
33.39/33.48	c 33.3s |      12 |    45957 |    28219 |     2008     18 |        0 |        0
35.50/35.56	c 35.4s |      12 |    47759 |    29819 |     2008     18 |        0 |        0
37.70/37.71	c 37.6s |      12 |    49434 |    31319 |     2008     19 |        0 |        0
39.69/39.71	c 39.6s |      12 |    50992 |    32719 |     2008     20 |        0 |        0
41.69/41.72	c 41.6s |      12 |    52417 |    34019 |     2008     21 |        0 |        0
43.69/43.77	c 43.6s |      12 |    53919 |    35319 |     2008     21 |        0 |        0
45.79/45.85	c 45.7s |      12 |    55337 |    36619 |     2008     22 |        0 |        0
47.89/47.90	c 47.8s |      12 |    56685 |    37819 |     2008     23 |        0 |        0
49.59/49.69	c 49.6s |      13 |    57787 |    38832 |     2209     23 |        0 |        0
51.69/51.72	c 51.6s |      13 |    61393 |    41532 |     2209     26 |        0 |        0
53.79/53.80	c 53.7s |      13 |    64735 |    44532 |     2209     28 |        0 |        0
55.79/55.86	c 55.7s |      13 |    67019 |    45932 |     2209     28 |        0 |        0
57.98/58.05	c 57.9s |      13 |    68398 |    47032 |     2209     29 |        0 |        0
60.18/60.28	c 60.1s |      13 |    69480 |    47932 |     2209     29 |        0 |        0
62.38/62.42	c 62.3s |      13 |    70736 |    48832 |     2209     30 |        0 |        0
64.48/64.51	c 64.4s |      13 |    71656 |    49632 |     2209     30 |        0 |        0
66.58/66.65	c 66.5s |      13 |    72669 |    50432 |     2209     31 |        0 |        0
68.78/68.82	c 68.7s |      13 |    74246 |    51632 |     2209     31 |        0 |        0
70.78/70.86	c 70.7s |      13 |    75647 |    52732 |     2209     32 |        0 |        0
72.88/72.96	c 72.8s |      13 |    77242 |    53732 |     2209     32 |        0 |        0
75.08/75.11	c 75.0s |      13 |    78684 |    54732 |     2209     33 |        0 |        0
77.19/77.29	c 77.1s |      13 |    80105 |    55832 |     2209     33 |        0 |        0
79.28/79.30	c 79.2s |      13 |    81307 |    56732 |     2209     34 |        0 |        0
81.38/81.46	c 81.3s |      13 |    82316 |    57532 |     2209     34 |        0 |        0
83.28/83.36	c 83.2s |      14 |    83386 |    58352 |     2430     35 |        0 |        0
85.38/85.40	c 85.3s |      14 |    86479 |    59852 |     2430     35 |        0 |        0
87.48/87.55	c 87.4s |      14 |    87846 |    61052 |     2430     36 |        0 |        0
89.57/89.66	c 89.5s |      14 |    88974 |    62052 |     2430     36 |        0 |        0
91.67/91.79	c 91.6s |      14 |    90101 |    63052 |     2430     37 |        0 |        0
93.87/93.90	c 93.8s |      14 |    91216 |    64052 |     2430     37 |        0 |        0
95.88/95.98	c 95.8s |      14 |    92481 |    65152 |     2430     38 |        0 |        0
97.97/98.01	c 97.9s |      14 |    93769 |    66252 |     2430     38 |        0 |        0
99.97/100.08	c 99.9s |      14 |    95028 |    67352 |     2430     39 |        0 |        0
101.97/102.08	c  101s |      14 |    96140 |    68352 |     2430     39 |        0 |        0
104.07/104.16	c  104s |      14 |    97422 |    69452 |     2430     40 |        0 |        0
106.07/106.19	c  106s |      14 |    98518 |    70452 |     2430     40 |        0 |        0
108.18/108.20	c  108s |      14 |    99494 |    71352 |     2430     41 |        0 |        0
110.29/110.33	c  110s |      14 |   100745 |    72452 |     2430     41 |        0 |        0
112.28/112.36	c  112s |      14 |   101859 |    73452 |     2430     42 |        0 |        0
114.28/114.36	c  114s |      14 |   102976 |    74452 |     2430     42 |        0 |        0
116.48/116.50	c  116s |      14 |   104219 |    75552 |     2430     43 |        0 |        0
118.58/118.65	c  118s |      14 |   105586 |    76752 |     2430     43 |        0 |        0
120.57/120.67	c  120s |      14 |   106716 |    77752 |     2430     44 |        0 |        0
122.67/122.79	c  122s |      14 |   107795 |    78752 |     2430     44 |        0 |        0
124.77/124.89	c  124s |      14 |   109058 |    79852 |     2430     45 |        0 |        0
126.87/126.95	c  126s |      14 |   110333 |    80952 |     2430     45 |        0 |        0
128.88/128.98	c  128s |      14 |   111457 |    81952 |     2430     46 |        0 |        0
131.08/131.12	c  130s |      14 |   112754 |    83052 |     2430     46 |        0 |        0
133.07/133.14	c  132s |      14 |   113903 |    84052 |     2430     47 |        0 |        0
135.17/135.27	c  135s |      14 |   115007 |    85052 |     2430     47 |        0 |        0
137.37/137.44	c  137s |      14 |   116012 |    85952 |     2430     48 |        0 |        0
139.47/139.50	c  139s |      14 |   117143 |    86952 |     2673     48 |        0 |        0
140.77/140.88	c  140s |      15 |   117927 |    87632 |     2673     49 |        0 |        0
142.87/142.91	c  142s |      15 |   121247 |    89232 |     2673     49 |        0 |        0
144.97/145.08	c  144s |      15 |   122766 |    90532 |     2673     50 |        0 |        0
147.07/147.12	c  146s |      15 |   124071 |    91632 |     2673     50 |        0 |        0
149.17/149.29	c  149s |      15 |   125207 |    92632 |     2673     51 |        0 |        0
151.37/151.46	c  151s |      15 |   126321 |    93632 |     2673     51 |        0 |        0
153.57/153.64	c  153s |      15 |   127356 |    94532 |     2673     52 |        0 |        0
155.66/155.80	c  155s |      15 |   128491 |    95532 |     2673     52 |        0 |        0
157.76/157.82	c  157s |      15 |   129509 |    96432 |     2673     53 |        0 |        0
159.87/159.90	c  159s |      15 |   130915 |    97632 |     2673     53 |        0 |        0
161.98/162.03	c  161s |      15 |   132037 |    98632 |     2673     54 |        0 |        0
163.97/164.09	c  163s |      15 |   133166 |    99632 |     2673     54 |        0 |        0
166.07/166.19	c  166s |      15 |   134152 |   100532 |     2673     54 |        0 |        0
168.37/168.40	c  168s |      15 |   135213 |   101432 |     2673     55 |        0 |        0
170.36/170.49	c  170s |      15 |   136383 |   102432 |     2673     55 |        0 |        0
172.46/172.52	c  172s |      15 |   137275 |   103232 |     2673     56 |        0 |        0
174.56/174.62	c  174s |      15 |   138180 |   104032 |     2673     56 |        0 |        0
176.66/176.78	c  176s |      15 |   139258 |   104932 |     2673     56 |        0 |        0
178.86/178.91	c  178s |      15 |   140410 |   105932 |     2673     57 |        0 |        0
180.87/180.95	c  180s |      15 |   141627 |   106932 |     2673     57 |        0 |        0
182.87/182.97	c  182s |      15 |   142693 |   107832 |     2673     58 |        0 |        0
184.97/185.08	c  184s |      15 |   143686 |   108732 |     2673     58 |        0 |        0
187.06/187.16	c  187s |      15 |   144506 |   109432 |     2673     59 |        0 |        0
189.16/189.21	c  189s |      15 |   146075 |   110732 |     2673     59 |        0 |        0
191.16/191.22	c  191s |      15 |   147200 |   111732 |     2673     60 |        0 |        0
193.16/193.26	c  193s |      15 |   148335 |   112732 |     2673     60 |        0 |        0
195.26/195.36	c  195s |      15 |   149434 |   113732 |     2673     61 |        0 |        0
197.36/197.41	c  197s |      15 |   150683 |   114832 |     2673     61 |        0 |        0
199.37/199.46	c  199s |      15 |   151840 |   115832 |     2673     61 |        0 |        0
201.47/201.56	c  201s |      15 |   152999 |   116832 |     2673     62 |        0 |        0
203.66/203.71	c  203s |      15 |   154031 |   117732 |     2673     62 |        0 |        0
205.75/205.85	c  205s |      15 |   154915 |   118532 |     2673     63 |        0 |        0
207.86/207.97	c  207s |      15 |   155954 |   119432 |     2673     63 |        0 |        0
210.06/210.18	c  210s |      15 |   156957 |   120332 |     2673     64 |        0 |        0
212.26/212.32	c  212s |      15 |   158108 |   121332 |     2673     64 |        0 |        0
214.46/214.52	c  214s |      15 |   159316 |   122432 |     2673     65 |        0 |        0
216.46/216.52	c  216s |      15 |   160465 |   123432 |     2673     65 |        0 |        0
218.55/218.61	c  218s |      15 |   161482 |   124332 |     2673     65 |        0 |        0
220.65/220.77	c  220s |      15 |   162401 |   125132 |     2673     66 |        0 |        0
222.66/222.78	c  222s |      15 |   163455 |   126032 |     2673     66 |        0 |        0
224.76/224.81	c  224s |      15 |   164360 |   126832 |     2673     67 |        0 |        0
226.96/227.02	c  226s |      15 |   165508 |   127832 |     2673     67 |        0 |        0
229.16/229.28	c  229s |      15 |   166521 |   128732 |     2673     67 |        0 |        0
231.35/231.46	c  231s |      15 |   167482 |   129432 |     2673     68 |        0 |        0
233.65/233.76	c  233s |      15 |   168500 |   130332 |     2673     68 |        0 |        0
235.75/235.81	c  235s |      15 |   169618 |   131332 |     2941     68 |        0 |        0
236.25/236.37	c  236s |      16 |   169899 |   131552 |     2941     69 |        0 |        0
238.45/238.53	c  238s |      16 |   172818 |   133252 |     2941     69 |        0 |        0
240.45/240.56	c  240s |      16 |   174203 |   134452 |     2941     70 |        0 |        0
242.55/242.67	c  242s |      16 |   175425 |   135552 |     2941     70 |        0 |        0
244.65/244.74	c  244s |      16 |   176528 |   136552 |     2941     71 |        0 |        0
246.75/246.82	c  246s |      16 |   177636 |   137552 |     2941     71 |        0 |        0
248.76/248.84	c  248s |      16 |   178623 |   138452 |     2941     72 |        0 |        0
250.96/251.03	c  250s |      16 |   179833 |   139552 |     2941     72 |        0 |        0
253.16/253.21	c  253s |      16 |   180803 |   140452 |     2941     72 |        0 |        0
255.15/255.28	c  255s |      16 |   181804 |   141352 |     2941     73 |        0 |        0
257.25/257.34	c  257s |      16 |   182770 |   142252 |     2941     73 |        0 |        0
259.55/259.61	c  259s |      16 |   183912 |   143252 |     2941     74 |        0 |        0
261.55/261.69	c  261s |      16 |   185091 |   144252 |     2941     74 |        0 |        0
263.85/263.93	c  263s |      16 |   186194 |   145252 |     2941     74 |        0 |        0
266.05/266.12	c  265s |      16 |   187309 |   146252 |     2941     75 |        0 |        0
268.25/268.36	c  268s |      16 |   188387 |   147252 |     2941     75 |        0 |        0
270.34/270.43	c  270s |      16 |   189268 |   148052 |     2941     76 |        0 |        0
272.44/272.54	c  272s |      16 |   190491 |   149152 |     2941     76 |        0 |        0
274.74/274.80	c  274s |      16 |   191613 |   150152 |     2941     77 |        0 |        0
276.85/276.94	c  276s |      16 |   192828 |   151252 |     2941     77 |        0 |        0
278.95/279.04	c  278s |      16 |   193813 |   152152 |     2941     77 |        0 |        0
280.95/281.07	c  280s |      16 |   195074 |   153252 |     2941     78 |        0 |        0
283.05/283.12	c  282s |      16 |   196055 |   154152 |     2941     78 |        0 |        0
285.16/285.28	c  285s |      16 |   197215 |   155152 |     2941     79 |        0 |        0
287.26/287.33	c  287s |      16 |   198480 |   156252 |     2941     79 |        0 |        0
289.25/289.37	c  289s |      16 |   199509 |   157152 |     2941     80 |        0 |        0
291.35/291.48	c  291s |      16 |   200645 |   158152 |     2941     80 |        0 |        0
293.45/293.52	c  293s |      16 |   201614 |   159052 |     2941     80 |        0 |        0
295.65/295.71	c  295s |      16 |   202736 |   160052 |     2941     81 |        0 |        0
297.65/297.80	c  297s |      16 |   203849 |   161052 |     2941     81 |        0 |        0
299.75/299.83	c  299s |      16 |   204871 |   161952 |     2941     82 |        0 |        0
301.85/301.99	c  301s |      16 |   206071 |   163052 |     2941     82 |        0 |        0
304.05/304.15	c  304s |      16 |   207307 |   164152 |     2941     83 |        0 |        0
306.05/306.18	c  306s |      16 |   208556 |   165252 |     2941     83 |        0 |        0
308.15/308.20	c  308s |      16 |   209565 |   166152 |     2941     83 |        0 |        0
310.24/310.31	c  310s |      16 |   210666 |   167152 |     2941     84 |        0 |        0
312.24/312.32	c  312s |      16 |   211702 |   168052 |     2941     84 |        0 |        0
314.34/314.44	c  314s |      16 |   212815 |   169052 |     2941     85 |        0 |        0
316.44/316.53	c  316s |      16 |   213983 |   170052 |     2941     85 |        0 |        0
318.54/318.66	c  318s |      16 |   215040 |   170952 |     2941     86 |        0 |        0
320.74/320.84	c  320s |      16 |   216207 |   171952 |     2941     86 |        0 |        0
322.84/322.90	c  322s |      16 |   217234 |   172852 |     2941     86 |        0 |        0
324.84/324.95	c  324s |      16 |   218239 |   173752 |     2941     87 |        0 |        0
327.04/327.19	c  327s |      16 |   219351 |   174752 |     2941     87 |        0 |        0
329.15/329.27	c  329s |      16 |   220240 |   175552 |     2941     88 |        0 |        0
331.25/331.33	c  331s |      16 |   221260 |   176452 |     2941     88 |        0 |        0
333.24/333.38	c  333s |      16 |   222243 |   177352 |     2941     88 |        0 |        0
335.34/335.45	c  335s |      16 |   223111 |   178152 |     2941     89 |        0 |        0
337.54/337.61	c  337s |      16 |   224512 |   179352 |     2941     89 |        0 |        0
339.54/339.63	c  339s |      16 |   225529 |   180252 |     2941     90 |        0 |        0
341.64/341.71	c  341s |      16 |   226712 |   181252 |     2941     90 |        0 |        0
343.63/343.72	c  343s |      16 |   227737 |   182152 |     2941     90 |        0 |        0
345.73/345.85	c  345s |      16 |   228799 |   183052 |     2941     91 |        0 |        0
347.84/347.94	c  347s |      16 |   229718 |   183852 |     2941     91 |        0 |        0
349.83/349.97	c  349s |      16 |   230632 |   184652 |     2941     91 |        0 |        0
351.83/351.98	c  351s |      16 |   231393 |   185352 |     2941     92 |        0 |        0
353.83/354.00	c  353s |      16 |   232161 |   186052 |     2941     92 |        0 |        0
355.93/356.09	c  355s |      16 |   232971 |   186752 |     2941     92 |        0 |        0
358.02/358.10	c  357s |      16 |   233670 |   187352 |     2941     93 |        0 |        0
360.02/360.19	c  360s |      16 |   234442 |   188052 |     2941     93 |        0 |        0
362.13/362.29	c  362s |      16 |   235117 |   188652 |     2941     93 |        0 |        0
364.52/364.61	c  364s |      16 |   235771 |   189252 |     2941     93 |        0 |        0
366.72/366.82	c  366s |      16 |   236438 |   189852 |     2941     94 |        0 |        0
368.73/368.88	c  368s |      16 |   237100 |   190452 |     2941     94 |        0 |        0
370.82/370.93	c  370s |      16 |   238143 |   191352 |     2941     94 |        0 |        0
373.02/373.13	c  372s |      16 |   239296 |   192352 |     2941     95 |        0 |        0
375.01/375.16	c  375s |      16 |   240285 |   193252 |     2941     95 |        0 |        0
377.01/377.19	c  377s |      16 |   241064 |   193952 |     2941     96 |        0 |        0
379.21/379.39	c  379s |      16 |   242076 |   194852 |     2941     96 |        0 |        0
381.51/381.65	c  381s |      16 |   243182 |   195852 |     2941     96 |        0 |        0
383.50/383.66	c  383s |      16 |   243953 |   196552 |     3236     97 |        0 |        0
385.60/385.71	c  385s |      16 |   244840 |   197352 |     3236     97 |        0 |        0
385.80/385.93	c  385s |      17 |   244925 |   197432 |     3236     97 |        0 |        0
387.90/388.03	c  387s |      17 |   248042 |   199132 |     3236     98 |        0 |        0
390.00/390.11	c  389s |      17 |   249617 |   200532 |     3236     98 |        0 |        0
392.10/392.25	c  392s |      17 |   251022 |   201732 |     3236     99 |        0 |        0
394.21/394.32	c  394s |      17 |   252256 |   202832 |     3236     99 |        0 |        0
396.21/396.37	c  396s |      17 |   253391 |   203832 |     3236    100 |        0 |        0
398.41/398.52	c  398s |      17 |   254461 |   204832 |     3236    100 |        0 |        0
400.51/400.61	c  400s |      17 |   255471 |   205732 |     3236    101 |        0 |        0
402.60/402.75	c  402s |      17 |   256864 |   206932 |     3236    101 |        0 |        0
404.70/404.89	c  404s |      17 |   257984 |   207932 |     3236    101 |        0 |        0
406.90/407.03	c  406s |      17 |   259367 |   209132 |     3236    102 |        0 |        0
409.00/409.16	c  409s |      17 |   260551 |   210232 |     3236    102 |        0 |        0
411.10/411.20	c  411s |      17 |   261672 |   211232 |     3236    103 |        0 |        0
413.10/413.27	c  413s |      17 |   262932 |   212332 |     3236    103 |        0 |        0
415.20/415.32	c  415s |      17 |   264030 |   213332 |     3236    104 |        0 |        0
417.20/417.36	c  417s |      17 |   265134 |   214332 |     3236    104 |        0 |        0
419.30/419.48	c  419s |      17 |   266217 |   215332 |     3236    104 |        0 |        0
421.40/421.60	c  421s |      17 |   267553 |   216532 |     3236    105 |        0 |        0
423.59/423.72	c  423s |      17 |   268674 |   217532 |     3236    105 |        0 |        0
425.69/425.81	c  425s |      17 |   269655 |   218432 |     3236    106 |        0 |        0
427.69/427.87	c  427s |      17 |   270876 |   219532 |     3236    106 |        0 |        0
429.79/429.92	c  429s |      17 |   272030 |   220532 |     3236    107 |        0 |        0
431.88/432.01	c  431s |      17 |   273181 |   221532 |     3236    107 |        0 |        0
433.98/434.18	c  434s |      17 |   274429 |   222632 |     3236    107 |        0 |        0
436.18/436.34	c  436s |      17 |   275568 |   223632 |     3236    108 |        0 |        0
438.28/438.47	c  438s |      17 |   276717 |   224632 |     3236    108 |        0 |        0
440.38/440.58	c  440s |      17 |   277711 |   225532 |     3236    109 |        0 |        0
442.47/442.66	c  442s |      17 |   278913 |   226632 |     3236    109 |        0 |        0
444.67/444.80	c  444s |      17 |   280041 |   227632 |     3236    109 |        0 |        0
446.78/446.93	c  446s |      17 |   281044 |   228532 |     3236    110 |        0 |        0
448.88/449.05	c  448s |      17 |   282062 |   229432 |     3236    110 |        0 |        0
450.97/451.18	c  451s |      17 |   283326 |   230532 |     3236    111 |        0 |        0
453.07/453.26	c  453s |      17 |   284402 |   231532 |     3236    111 |        0 |        0
455.17/455.32	c  455s |      17 |   285613 |   232532 |     3236    111 |        0 |        0
457.17/457.36	c  457s |      17 |   286856 |   233632 |     3236    112 |        0 |        0
459.17/459.36	c  459s |      17 |   288044 |   234632 |     3236    112 |        0 |        0
461.37/461.50	c  461s |      17 |   289159 |   235632 |     3236    113 |        0 |        0
463.47/463.62	c  463s |      17 |   290293 |   236632 |     3236    113 |        0 |        0
465.57/465.73	c  465s |      17 |   291413 |   237632 |     3236    114 |        0 |        0
467.68/467.84	c  467s |      17 |   292609 |   238732 |     3236    114 |        0 |        0
469.67/469.84	c  469s |      17 |   293476 |   239532 |     3236    114 |        0 |        0
471.87/472.02	c  471s |      17 |   294370 |   240332 |     3236    115 |        0 |        0
473.87/474.06	c  473s |      17 |   295602 |   241432 |     3236    115 |        0 |        0
476.07/476.24	c  476s |      17 |   296690 |   242432 |     3236    115 |        0 |        0
478.27/478.41	c  478s |      17 |   297560 |   243232 |     3236    116 |        0 |        0
480.27/480.47	c  480s |      17 |   298569 |   244132 |     3236    116 |        0 |        0
482.36/482.57	c  482s |      17 |   299469 |   244932 |     3236    116 |        0 |        0
484.56/484.78	c  484s |      17 |   300477 |   245832 |     3236    117 |        0 |        0
486.66/486.81	c  486s |      17 |   301513 |   246732 |     3236    117 |        0 |        0
488.86/489.05	c  488s |      17 |   302394 |   247532 |     3236    118 |        0 |        0
490.86/491.09	c  490s |      17 |   303810 |   248732 |     3236    118 |        0 |        0
493.15/493.32	c  493s |      17 |   305243 |   249932 |     3236    119 |        0 |        0
495.16/495.36	c  495s |      17 |   306598 |   251132 |     3236    119 |        0 |        0
497.36/497.57	c  497s |      17 |   308000 |   252332 |     3236    119 |        0 |        0
499.46/499.69	c  499s |      17 |   309123 |   253332 |     3236    120 |        0 |        0
501.55/501.77	c  501s |      17 |   310419 |   254432 |     3236    120 |        0 |        0
503.74/503.94	c  503s |      17 |   311721 |   255532 |     3236    121 |        0 |        0
505.84/506.04	c  505s |      17 |   312987 |   256632 |     3236    121 |        0 |        0
507.94/508.14	c  507s |      17 |   314446 |   257932 |     3236    122 |        0 |        0
510.04/510.24	c  510s |      17 |   315926 |   259232 |     3236    122 |        0 |        0
512.14/512.34	c  512s |      17 |   317154 |   260332 |     3236    123 |        0 |        0
514.14/514.36	c  514s |      17 |   318391 |   261432 |     3236    123 |        0 |        0
516.14/516.39	c  516s |      17 |   319407 |   262332 |     3236    124 |        0 |        0
518.34/518.54	c  518s |      17 |   320525 |   263332 |     3236    124 |        0 |        0
520.34/520.57	c  520s |      17 |   321740 |   264432 |     3236    124 |        0 |        0
522.43/522.64	c  522s |      17 |   322835 |   265432 |     3236    125 |        0 |        0
524.53/524.73	c  524s |      17 |   324067 |   266532 |     3236    125 |        0 |        0
526.73/526.93	c  526s |      17 |   325177 |   267532 |     3236    126 |        0 |        0
528.73/528.95	c  528s |      17 |   326407 |   268632 |     3236    126 |        0 |        0
530.83/531.08	c  530s |      17 |   327631 |   269732 |     3236    127 |        0 |        0
533.03/533.25	c  533s |      17 |   329224 |   271132 |     3236    127 |        0 |        0
535.12/535.34	c  535s |      17 |   330331 |   272132 |     3236    128 |        0 |        0
537.12/537.36	c  537s |      17 |   331551 |   273232 |     3236    128 |        0 |        0
539.22/539.43	c  539s |      17 |   332678 |   274232 |     3236    128 |        0 |        0
541.23/541.49	c  541s |      17 |   334055 |   275432 |     3236    129 |        0 |        0
543.32/543.56	c  543s |      17 |   335407 |   276632 |     3236    129 |        0 |        0
545.32/545.57	c  545s |      17 |   336647 |   277732 |     3236    130 |        0 |        0
547.42/547.69	c  547s |      17 |   337881 |   278832 |     3236    130 |        0 |        0
549.52/549.70	c  549s |      17 |   338768 |   279632 |     3236    131 |        0 |        0
551.52/551.72	c  551s |      17 |   339986 |   280732 |     3236    131 |        0 |        0
553.71/553.92	c  553s |      17 |   340994 |   281632 |     3236    131 |        0 |        0
555.71/555.94	c  555s |      17 |   342041 |   282532 |     3236    132 |        0 |        0
557.91/558.11	c  557s |      17 |   343557 |   283832 |     3236    132 |        0 |        0
560.02/560.22	c  560s |      17 |   344697 |   284832 |     3236    133 |        0 |        0
562.00/562.29	c  562s |      17 |   345926 |   285932 |     3236    133 |        0 |        0
564.41/564.63	c  564s |      17 |   347038 |   286932 |     3236    134 |        0 |        0
566.61/566.80	c  566s |      17 |   348131 |   287932 |     3236    134 |        0 |        0
568.71/568.95	c  568s |      17 |   349105 |   288832 |     3236    134 |        0 |        0
570.80/571.01	c  570s |      17 |   349982 |   289632 |     3236    135 |        0 |        0
572.90/573.17	c  573s |      17 |   351079 |   290632 |     3236    135 |        0 |        0
575.10/575.33	c  575s |      17 |   352200 |   291632 |     3236    135 |        0 |        0
577.20/577.44	c  577s |      17 |   353194 |   292532 |     3236    136 |        0 |        0
579.30/579.57	c  579s |      17 |   354283 |   293532 |     3236    136 |        0 |        0
581.50/581.74	c  581s |      17 |   355155 |   294332 |     3560    136 |        0 |        0
583.79/584.01	c  583s |      17 |   356015 |   295132 |     3560    137 |        0 |        0
585.89/586.11	c  585s |      17 |   356882 |   295932 |     3560    137 |        0 |        0
586.59/586.84	c  586s |      18 |   357230 |   296252 |     3560    137 |        0 |        0
588.69/588.92	c  588s |      18 |   360697 |   297952 |     3560    138 |        0 |        0
590.80/591.05	c  590s |      18 |   362173 |   299252 |     3560    138 |        0 |        0
592.89/593.14	c  593s |      18 |   363654 |   300552 |     3560    139 |        0 |        0
594.98/595.21	c  595s |      18 |   365010 |   301752 |     3560    139 |        0 |        0
597.08/597.32	c  597s |      18 |   366238 |   302852 |     3560    140 |        0 |        0
599.18/599.43	c  599s |      18 |   367466 |   303952 |     3560    140 |        0 |        0
601.39/601.62	c  601s |      18 |   368589 |   304952 |     3560    141 |        0 |        0
603.38/603.66	c  603s |      18 |   369823 |   306052 |     3560    141 |        0 |        0
605.58/605.87	c  605s |      18 |   371036 |   307152 |     3560    141 |        0 |        0
607.78/608.00	c  607s |      18 |   372161 |   308152 |     3560    142 |        0 |        0
609.98/610.20	c  610s |      18 |   373382 |   309252 |     3560    142 |        0 |        0
611.97/612.24	c  612s |      18 |   374484 |   310252 |     3560    143 |        0 |        0
614.07/614.37	c  614s |      18 |   375699 |   311352 |     3560    143 |        0 |        0
616.08/616.39	c  616s |      18 |   376773 |   312352 |     3560    143 |        0 |        0
618.28/618.51	c  618s |      18 |   378006 |   313452 |     3560    144 |        0 |        0
620.38/620.69	c  620s |      18 |   379273 |   314552 |     3560    144 |        0 |        0
622.57/622.82	c  622s |      18 |   380371 |   315552 |     3560    145 |        0 |        0
624.77/625.05	c  624s |      18 |   381545 |   316652 |     3560    145 |        0 |        0
626.87/627.15	c  627s |      18 |   382669 |   317652 |     3560    146 |        0 |        0
628.97/629.20	c  629s |      18 |   383904 |   318752 |     3560    146 |        0 |        0
630.97/631.28	c  631s |      18 |   385158 |   319852 |     3560    146 |        0 |        0
633.16/633.45	c  633s |      18 |   386377 |   320952 |     3560    147 |        0 |        0
635.26/635.58	c  635s |      18 |   387844 |   322252 |     3560    147 |        0 |        0
637.36/637.63	c  637s |      18 |   389006 |   323252 |     3560    148 |        0 |        0
639.46/639.72	c  639s |      18 |   390378 |   324452 |     3560    148 |        0 |        0
641.67/641.94	c  641s |      18 |   391582 |   325552 |     3560    149 |        0 |        0
643.76/644.07	c  643s |      18 |   392897 |   326752 |     3560    149 |        0 |        0
645.86/646.17	c  646s |      18 |   394135 |   327852 |     3560    149 |        0 |        0
647.97/648.21	c  648s |      18 |   395125 |   328752 |     3560    150 |        0 |        0
650.07/650.32	c  650s |      18 |   396322 |   329852 |     3560    150 |        0 |        0
652.05/652.36	c  652s |      18 |   397436 |   330852 |     3560    151 |        0 |        0
654.25/654.53	c  654s |      18 |   398679 |   331952 |     3560    151 |        0 |        0
656.35/656.66	c  656s |      18 |   400151 |   333252 |     3560    151 |        0 |        0
658.55/658.83	c  658s |      18 |   401340 |   334352 |     3560    152 |        0 |        0
660.65/660.93	c  660s |      18 |   402676 |   335552 |     3560    152 |        0 |        0
662.75/663.05	c  662s |      18 |   403972 |   336752 |     3560    153 |        0 |        0
664.95/665.26	c  665s |      18 |   405152 |   337852 |     3560    153 |        0 |        0
666.95/667.28	c  667s |      18 |   406224 |   338852 |     3560    154 |        0 |        0
669.05/669.32	c  669s |      18 |   407696 |   340152 |     3560    154 |        0 |        0
671.15/671.47	c  671s |      18 |   409042 |   341352 |     3560    155 |        0 |        0
673.34/673.60	c  673s |      18 |   410244 |   342452 |     3560    155 |        0 |        0
675.35/675.66	c  675s |      18 |   411483 |   343552 |     3560    155 |        0 |        0
677.34/677.66	c  677s |      18 |   412461 |   344452 |     3560    156 |        0 |        0
679.34/679.70	c  679s |      18 |   413692 |   345552 |     3560    156 |        0 |        0
681.44/681.75	c  681s |      18 |   414910 |   346652 |     3560    157 |        0 |        0
683.63/683.90	c  683s |      18 |   416207 |   347852 |     3560    157 |        0 |        0
685.63/685.96	c  685s |      18 |   417656 |   349152 |     3560    158 |        0 |        0
687.63/687.98	c  687s |      18 |   418972 |   350352 |     3560    158 |        0 |        0
689.64/689.99	c  689s |      18 |   420035 |   351352 |     3560    158 |        0 |        0
691.73/692.08	c  691s |      18 |   421132 |   352352 |     3560    159 |        0 |        0
693.82/694.14	c  693s |      18 |   422229 |   353352 |     3560    159 |        0 |        0
695.92/696.20	c  696s |      18 |   423452 |   354452 |     3560    160 |        0 |        0
698.02/698.36	c  698s |      18 |   424889 |   355752 |     3560    160 |        0 |        0
700.22/700.51	c  700s |      18 |   426122 |   356852 |     3560    161 |        0 |        0
702.32/702.66	c  702s |      18 |   427349 |   357952 |     3560    161 |        0 |        0
704.43/704.73	c  704s |      18 |   428425 |   358952 |     3560    161 |        0 |        0
706.63/706.95	c  706s |      18 |   429563 |   359952 |     3560    162 |        0 |        0
708.73/709.08	c  708s |      18 |   430674 |   360952 |     3560    162 |        0 |        0
710.83/711.12	c  710s |      18 |   432038 |   362152 |     3560    163 |        0 |        0
712.92/713.23	c  713s |      18 |   433498 |   363452 |     3560    163 |        0 |        0
714.93/715.29	c  715s |      18 |   434713 |   364552 |     3560    164 |        0 |        0
717.02/717.36	c  717s |      18 |   436060 |   365752 |     3560    164 |        0 |        0
719.22/719.52	c  719s |      18 |   437386 |   366952 |     3560    164 |        0 |        0
721.32/721.64	c  721s |      18 |   438701 |   368152 |     3560    165 |        0 |        0
723.41/723.77	c  723s |      18 |   439924 |   369252 |     3560    165 |        0 |        0
725.51/725.87	c  725s |      18 |   441037 |   370252 |     3560    166 |        0 |        0
727.61/727.91	c  727s |      18 |   442280 |   371352 |     3560    166 |        0 |        0
729.81/730.14	c  729s |      18 |   443285 |   372252 |     3560    167 |        0 |        0
731.90/732.28	c  732s |      18 |   444518 |   373352 |     3560    167 |        0 |        0
734.10/734.41	c  734s |      18 |   445661 |   374352 |     3560    167 |        0 |        0
736.10/736.43	c  736s |      18 |   447035 |   375552 |     3560    168 |        0 |        0
738.20/738.53	c  738s |      18 |   448360 |   376752 |     3560    168 |        0 |        0
740.31/740.62	c  740s |      18 |   449598 |   377852 |     3560    169 |        0 |        0
742.50/742.83	c  742s |      18 |   450926 |   379052 |     3560    169 |        0 |        0
744.60/744.90	c  744s |      18 |   452014 |   380052 |     3560    169 |        0 |        0
746.70/747.08	c  746s |      18 |   453142 |   381052 |     3560    170 |        0 |        0
748.69/749.09	c  748s |      18 |   454150 |   381952 |     3560    170 |        0 |        0
750.89/751.23	c  751s |      18 |   455046 |   382752 |     3560    171 |        0 |        0
752.89/753.25	c  753s |      18 |   456269 |   383852 |     3560    171 |        0 |        0
754.98/755.31	c  755s |      18 |   457258 |   384752 |     3560    171 |        0 |        0
756.98/757.39	c  757s |      18 |   458235 |   385652 |     3560    172 |        0 |        0
759.08/759.48	c  759s |      18 |   459437 |   386752 |     3560    172 |        0 |        0
761.09/761.50	c  761s |      18 |   460427 |   387652 |     3560    172 |        0 |        0
763.18/763.52	c  763s |      18 |   461467 |   388552 |     3560    173 |        0 |        0
765.28/765.61	c  765s |      18 |   462974 |   389852 |     3560    173 |        0 |        0
767.29/767.68	c  767s |      18 |   464193 |   390952 |     3560    174 |        0 |        0
769.39/769.76	c  769s |      18 |   465650 |   392252 |     3560    174 |        0 |        0
771.39/771.79	c  771s |      18 |   466904 |   393352 |     3560    175 |        0 |        0
773.58/773.90	c  773s |      18 |   468228 |   394552 |     3560    175 |        0 |        0
775.68/776.01	c  775s |      18 |   469626 |   395752 |     3560    175 |        0 |        0
777.69/778.07	c  777s |      18 |   470856 |   396852 |     3560    176 |        0 |        0
779.79/780.17	c  780s |      18 |   472103 |   397952 |     3560    176 |        0 |        0
781.87/782.22	c  782s |      18 |   473233 |   398952 |     3560    177 |        0 |        0
783.87/784.26	c  784s |      18 |   474372 |   399952 |     3560    177 |        0 |        0
785.97/786.38	c  786s |      18 |   475490 |   400952 |     3560    177 |        0 |        0
788.07/788.40	c  788s |      18 |   476471 |   401852 |     3560    178 |        0 |        0
790.07/790.44	c  790s |      18 |   477587 |   402852 |     3560    178 |        0 |        0
792.16/792.52	c  792s |      18 |   478734 |   403852 |     3560    179 |        0 |        0
794.17/794.59	c  794s |      18 |   479987 |   404952 |     3560    179 |        0 |        0
796.27/796.63	c  796s |      18 |   481368 |   406152 |     3560    179 |        0 |        0
798.26/798.68	c  798s |      18 |   482630 |   407252 |     3560    180 |        0 |        0
800.36/800.72	c  800s |      18 |   483880 |   408352 |     3560    180 |        0 |        0
802.35/802.75	c  802s |      18 |   484894 |   409252 |     3560    181 |        0 |        0
804.55/804.90	c  804s |      18 |   486133 |   410352 |     3560    181 |        0 |        0
806.75/807.10	c  806s |      18 |   487388 |   411452 |     3560    182 |        0 |        0
808.85/809.20	c  809s |      18 |   488509 |   412452 |     3560    182 |        0 |        0
810.85/811.23	c  811s |      18 |   489546 |   413352 |     3560    182 |        0 |        0
812.94/813.31	c  813s |      18 |   490447 |   414152 |     3560    183 |        0 |        0
814.95/815.35	c  815s |      18 |   491556 |   415152 |     3560    183 |        0 |        0
816.94/817.37	c  817s |      18 |   492568 |   416052 |     3560    183 |        0 |        0
819.04/819.49	c  819s |      18 |   493293 |   416752 |     3560    184 |        0 |        0
821.04/821.49	c  821s |      18 |   494745 |   417952 |     3560    184 |        0 |        0
823.03/823.49	c  823s |      18 |   495912 |   418952 |     3560    184 |        0 |        0
825.14/825.52	c  825s |      18 |   496903 |   419852 |     3560    185 |        0 |        0
827.24/827.63	c  827s |      18 |   497996 |   420852 |     3560    185 |        0 |        0
829.44/829.84	c  829s |      18 |   499129 |   421852 |     3560    186 |        0 |        0
831.55/831.96	c  831s |      18 |   500397 |   422952 |     3560    186 |        0 |        0
833.64/834.07	c  833s |      18 |   501499 |   423952 |     3560    186 |        0 |        0
835.73/836.10	c  835s |      18 |   502379 |   424752 |     3560    187 |        0 |        0
837.83/838.24	c  838s |      18 |   503528 |   425752 |     3560    187 |        0 |        0
840.03/840.41	c  840s |      18 |   504887 |   426952 |     3560    187 |        0 |        0
842.03/842.42	c  842s |      18 |   506016 |   427952 |     3560    188 |        0 |        0
844.23/844.61	c  844s |      18 |   507112 |   428952 |     3560    188 |        0 |        0
846.33/846.71	c  846s |      18 |   508274 |   429952 |     3560    189 |        0 |        0
848.43/848.89	c  848s |      18 |   509667 |   431152 |     3560    189 |        0 |        0
850.53/850.98	c  850s |      18 |   510802 |   432152 |     3560    189 |        0 |        0
852.72/853.16	c  853s |      18 |   511777 |   433052 |     3560    190 |        0 |        0
854.92/855.33	c  855s |      18 |   513060 |   434152 |     3560    190 |        0 |        0
857.02/857.40	c  857s |      18 |   514043 |   435052 |     3560    191 |        0 |        0
859.12/859.56	c  859s |      18 |   515186 |   436052 |     3560    191 |        0 |        0
861.12/861.57	c  861s |      18 |   516336 |   437052 |     3560    191 |        0 |        0
863.21/863.68	c  863s |      18 |   517517 |   438052 |     3560    192 |        0 |        0
865.41/865.81	c  865s |      18 |   518649 |   439052 |     3560    192 |        0 |        0
867.51/867.94	c  867s |      18 |   519684 |   439952 |     3560    192 |        0 |        0
869.71/870.10	c  869s |      18 |   520829 |   440952 |     3560    193 |        0 |        0
871.80/872.20	c  872s |      18 |   522035 |   442052 |     3917    193 |        0 |        0
873.90/874.38	c  874s |      18 |   523200 |   443052 |     3917    194 |        0 |        0
876.10/876.59	c  876s |      18 |   524342 |   444052 |     3917    194 |        0 |        0
877.10/877.54	c  877s |      19 |   524831 |   444482 |     3917    194 |        0 |        0
879.20/879.62	c  879s |      19 |   527816 |   446582 |     3917    195 |        0 |        0
881.20/881.66	c  881s |      19 |   530671 |   449082 |     3917    197 |        0 |        0
883.29/883.70	c  883s |      19 |   532909 |   450682 |     3917    197 |        0 |        0
885.40/885.82	c  885s |      19 |   534396 |   451982 |     3917    197 |        0 |        0
887.40/887.89	c  887s |      19 |   535665 |   453082 |     3917    198 |        0 |        0
889.60/890.09	c  889s |      19 |   536932 |   454182 |     3917    198 |        0 |        0
891.70/892.12	c  891s |      19 |   538000 |   455082 |     3917    198 |        0 |        0
893.80/894.27	c  894s |      19 |   539246 |   456182 |     3917    199 |        0 |        0
895.80/896.28	c  896s |      19 |   540368 |   457182 |     3917    199 |        0 |        0
897.89/898.37	c  898s |      19 |   541363 |   458082 |     3917    200 |        0 |        0
899.99/900.43	c  900s |      19 |   542496 |   459082 |     3917    200 |        0 |        0
901.99/902.47	c  902s |      19 |   543478 |   459982 |     3917    200 |        0 |        0
903.99/904.48	c  904s |      19 |   544239 |   460682 |     3917    201 |        0 |        0
906.19/906.63	c  906s |      19 |   545465 |   461782 |     3917    201 |        0 |        0
908.28/908.72	c  908s |      19 |   546583 |   462782 |     3917    201 |        0 |        0
910.48/910.90	c  910s |      19 |   547706 |   463782 |     3917    202 |        0 |        0
912.48/912.95	c  912s |      19 |   548836 |   464782 |     3917    202 |        0 |        0
914.48/914.95	c  914s |      19 |   549890 |   465682 |     3917    202 |        0 |        0
916.58/917.08	c  916s |      19 |   550760 |   466482 |     3917    203 |        0 |        0
918.68/919.18	c  919s |      19 |   551771 |   467382 |     3917    203 |        0 |        0
920.77/921.26	c  921s |      19 |   552998 |   468482 |     3917    203 |        0 |        0
922.87/923.32	c  923s |      19 |   553987 |   469382 |     3917    204 |        0 |        0
924.98/925.42	c  925s |      19 |   555116 |   470382 |     3917    204 |        0 |        0
927.17/927.65	c  927s |      19 |   556094 |   471282 |     3917    204 |        0 |        0
929.37/929.85	c  929s |      19 |   556987 |   472082 |     3917    205 |        0 |        0
931.47/931.98	c  931s |      19 |   557868 |   472882 |     3917    205 |        0 |        0
933.57/934.10	c  933s |      19 |   559012 |   473882 |     3917    205 |        0 |        0
935.77/936.30	c  936s |      19 |   560004 |   474782 |     3917    206 |        0 |        0
937.97/938.49	c  938s |      19 |   561109 |   475782 |     3917    206 |        0 |        0
940.17/940.68	c  940s |      19 |   562102 |   476682 |     3917    206 |        0 |        0
942.46/942.98	c  942s |      19 |   562973 |   477482 |     3917    207 |        0 |        0
944.56/945.03	c  944s |      19 |   564031 |   478382 |     3917    207 |        0 |        0
946.76/947.21	c  947s |      19 |   565163 |   479382 |     3917    207 |        0 |        0
948.86/949.37	c  949s |      19 |   566009 |   480182 |     3917    207 |        0 |        0
950.96/951.45	c  951s |      19 |   567008 |   481082 |     3917    208 |        0 |        0
953.15/953.68	c  953s |      19 |   568123 |   482082 |     3917    208 |        0 |        0
955.35/955.86	c  955s |      19 |   569117 |   482982 |     3917    208 |        0 |        0
957.45/957.92	c  957s |      19 |   569982 |   483782 |     3917    209 |        0 |        0
959.65/960.14	c  960s |      19 |   570974 |   484682 |     3917    209 |        0 |        0
961.85/962.30	c  962s |      19 |   571840 |   485482 |     3917    209 |        0 |        0
963.95/964.43	c  964s |      19 |   572622 |   486182 |     3917    210 |        0 |        0
966.15/966.62	c  966s |      19 |   573505 |   486982 |     3917    210 |        0 |        0
968.14/968.68	c  968s |      19 |   574291 |   487682 |     3917    210 |        0 |        0
970.14/970.69	c  970s |      19 |   575205 |   488482 |     3917    210 |        0 |        0
972.24/972.78	c  972s |      19 |   576235 |   489382 |     3917    211 |        0 |        0
974.44/974.94	c  974s |      19 |   577248 |   490282 |     3917    211 |        0 |        0
976.43/976.95	c  976s |      19 |   578146 |   491082 |     3917    211 |        0 |        0
978.63/979.17	c  979s |      19 |   578932 |   491782 |     3917    212 |        0 |        0
980.73/981.23	c  981s |      19 |   580184 |   492882 |     3917    212 |        0 |        0
982.83/983.34	c  983s |      19 |   581323 |   493882 |     3917    212 |        0 |        0
984.83/985.39	c  985s |      19 |   582205 |   494682 |     3917    213 |        0 |        0
987.03/987.52	c  987s |      19 |   583214 |   495582 |     3917    213 |        0 |        0
989.23/989.70	c  989s |      19 |   584198 |   496482 |     3917    213 |        0 |        0
991.33/991.86	c  991s |      19 |   585092 |   497282 |     3917    214 |        0 |        0
993.42/994.00	c  993s |      19 |   586055 |   498182 |     3917    214 |        0 |        0
995.62/996.10	c  995s |      19 |   586934 |   498982 |     3917    214 |        0 |        0
997.72/998.20	c  998s |      19 |   587708 |   499682 |     3917    214 |        0 |        0
999.73/1000.25	c 1000s |      19 |   588472 |   500382 |     3917    215 |        0 |        0
1002.02/1002.53	c 1002s |      19 |   589493 |   501282 |     3917    215 |        0 |        0
1004.22/1004.77	c 1004s |      19 |   590405 |   502082 |     3917    215 |        0 |        0
1006.52/1007.01	c 1006s |      19 |   591201 |   502782 |     3917    216 |        0 |        0
1008.53/1009.02	c 1008s |      19 |   592013 |   503482 |     3917    216 |        0 |        0
1010.63/1011.13	c 1010s |      19 |   592774 |   504182 |     3917    216 |        0 |        0
1012.83/1013.40	c 1013s |      19 |   593558 |   504882 |     3917    216 |        0 |        0
1015.22/1015.74	c 1015s |      19 |   594233 |   505482 |     3917    217 |        0 |        0
1017.32/1017.81	c 1017s |      19 |   595013 |   506182 |     3917    217 |        0 |        0
1019.32/1019.82	c 1019s |      19 |   595800 |   506882 |     3917    217 |        0 |        0
1021.62/1022.15	c 1022s |      19 |   596673 |   507682 |     3917    217 |        0 |        0
1023.72/1024.30	c 1024s |      19 |   597339 |   508282 |     3917    218 |        0 |        0
1026.02/1026.56	c 1026s |      19 |   598083 |   508982 |     3917    218 |        0 |        0
1028.11/1028.62	c 1028s |      19 |   598846 |   509682 |     3917    218 |        0 |        0
1030.21/1030.79	c 1030s |      19 |   599982 |   510682 |     3917    218 |        0 |        0
1032.41/1032.90	c 1032s |      19 |   600870 |   511482 |     3917    219 |        0 |        0
1034.61/1035.16	c 1035s |      19 |   601871 |   512382 |     3917    219 |        0 |        0
1036.81/1037.35	c 1037s |      19 |   602872 |   513282 |     3917    219 |        0 |        0
1039.01/1039.59	c 1039s |      19 |   603653 |   513982 |     3917    220 |        0 |        0
1041.11/1041.65	c 1041s |      19 |   604644 |   514882 |     3917    220 |        0 |        0
1043.21/1043.79	c 1043s |      19 |   605506 |   515682 |     3917    220 |        0 |        0
1045.41/1045.91	c 1045s |      19 |   606265 |   516382 |     3917    220 |        0 |        0
1047.41/1047.97	c 1047s |      19 |   607048 |   517082 |     3917    221 |        0 |        0
1049.62/1050.18	c 1050s |      19 |   608188 |   518082 |     3917    221 |        0 |        0
1051.72/1052.29	c 1052s |      19 |   609188 |   518982 |     3917    221 |        0 |        0
1053.82/1054.35	c 1054s |      19 |   610075 |   519782 |     3917    222 |        0 |        0
1056.02/1056.50	c 1056s |      19 |   611201 |   520782 |     3917    222 |        0 |        0
1058.12/1058.65	c 1058s |      19 |   612336 |   521782 |     3917    222 |        0 |        0
1060.22/1060.74	c 1060s |      19 |   613238 |   522582 |     3917    223 |        0 |        0
1062.22/1062.75	c 1062s |      19 |   614249 |   523482 |     3917    223 |        0 |        0
1064.32/1064.86	c 1064s |      19 |   615303 |   524382 |     3917    223 |        0 |        0
1066.51/1067.01	c 1066s |      19 |   616193 |   525182 |     3917    224 |        0 |        0
1068.61/1069.17	c 1069s |      19 |   617206 |   526082 |     3917    224 |        0 |        0
1070.61/1071.17	c 1071s |      19 |   618132 |   526882 |     3917    224 |        0 |        0
1072.91/1073.41	c 1073s |      19 |   619004 |   527682 |     3917    224 |        0 |        0
1074.91/1075.46	c 1075s |      19 |   619768 |   528382 |     3917    225 |        0 |        0
1077.01/1077.54	c 1077s |      19 |   620540 |   529082 |     3917    225 |        0 |        0
1079.01/1079.56	c 1079s |      19 |   621325 |   529782 |     3917    225 |        0 |        0
1081.12/1081.64	c 1081s |      19 |   622252 |   530582 |     3917    225 |        0 |        0
1083.11/1083.68	c 1083s |      19 |   623276 |   531482 |     3917    226 |        0 |        0
1085.21/1085.76	c 1085s |      19 |   624283 |   532382 |     3917    226 |        0 |        0
1087.41/1087.90	c 1087s |      19 |   625202 |   533182 |     3917    226 |        0 |        0
1089.41/1089.96	c 1089s |      19 |   626006 |   533882 |     3917    227 |        0 |        0
1091.71/1092.21	c 1092s |      19 |   627031 |   534782 |     3917    227 |        0 |        0
1093.81/1094.33	c 1094s |      19 |   627955 |   535582 |     3917    227 |        0 |        0
1096.01/1096.56	c 1096s |      19 |   628865 |   536382 |     3917    228 |        0 |        0
1098.21/1098.73	c 1098s |      19 |   629741 |   537182 |     3917    228 |        0 |        0
1100.31/1100.84	c 1100s |      19 |   630660 |   537982 |     3917    228 |        0 |        0
1102.41/1102.92	c 1102s |      19 |   631670 |   538882 |     3917    228 |        0 |        0
1104.51/1105.07	c 1104s |      19 |   632584 |   539682 |     3917    229 |        0 |        0
1106.80/1107.33	c 1107s |      19 |   633580 |   540582 |     3917    229 |        0 |        0
1108.80/1109.35	c 1109s |      19 |   634487 |   541382 |     3917    229 |        0 |        0
1110.81/1111.36	c 1111s |      19 |   635282 |   542082 |     3917    230 |        0 |        0
1112.91/1113.44	c 1113s |      19 |   636188 |   542882 |     3917    230 |        0 |        0
1115.00/1115.59	c 1115s |      19 |   637177 |   543782 |     3917    230 |        0 |        0
1117.41/1117.92	c 1117s |      19 |   638058 |   544582 |     3917    230 |        0 |        0
1119.40/1119.97	c 1119s |      19 |   639013 |   545382 |     3917    231 |        0 |        0
1121.40/1121.99	c 1121s |      19 |   640273 |   546482 |     3917    231 |        0 |        0
1123.80/1124.31	c 1124s |      19 |   641410 |   547482 |     3917    232 |        0 |        0
1125.90/1126.43	c 1126s |      19 |   642538 |   548482 |     3917    232 |        0 |        0
1128.10/1128.69	c 1128s |      19 |   643528 |   549382 |     3917    232 |        0 |        0
1130.21/1130.76	c 1130s |      19 |   644411 |   550182 |     3917    232 |        0 |        0
1132.41/1132.99	c 1132s |      19 |   645274 |   550982 |     3917    233 |        0 |        0
1134.61/1135.18	c 1135s |      19 |   646393 |   551982 |     3917    233 |        0 |        0
1136.91/1137.42	c 1137s |      19 |   647389 |   552882 |     3917    233 |        0 |        0
1138.90/1139.47	c 1139s |      19 |   648150 |   553582 |     3917    234 |        0 |        0
1141.10/1141.67	c 1141s |      19 |   648995 |   554382 |     3917    234 |        0 |        0
1143.30/1143.86	c 1143s |      19 |   649830 |   555182 |     3917    234 |        0 |        0
1145.70/1146.20	c 1146s |      19 |   650578 |   555882 |     3917    235 |        0 |        0
1147.80/1148.34	c 1148s |      19 |   651903 |   556982 |     3917    235 |        0 |        0
1150.00/1150.55	c 1150s |      19 |   653045 |   557982 |     3917    235 |        0 |        0
1152.10/1152.61	c 1152s |      19 |   653838 |   558682 |     3917    236 |        0 |        0
1154.20/1154.75	c 1154s |      19 |   654876 |   559582 |     3917    236 |        0 |        0
1156.50/1157.01	c 1156s |      19 |   655893 |   560482 |     3917    236 |        0 |        0
1158.60/1159.15	c 1159s |      19 |   656694 |   561182 |     3917    236 |        0 |        0
1160.70/1161.27	c 1161s |      19 |   657355 |   561782 |     3917    237 |        0 |        0
1162.80/1163.38	c 1163s |      19 |   658118 |   562482 |     3917    237 |        0 |        0
1165.09/1165.60	c 1165s |      19 |   658879 |   563182 |     3917    237 |        0 |        0
1167.29/1167.80	c 1167s |      19 |   659656 |   563882 |     3917    237 |        0 |        0
1169.29/1169.82	c 1169s |      19 |   660571 |   564682 |     3917    238 |        0 |        0
1171.39/1171.90	c 1171s |      19 |   661442 |   565482 |     3917    238 |        0 |        0
1173.50/1174.03	c 1173s |      19 |   662372 |   566282 |     3917    238 |        0 |        0
1175.60/1176.16	c 1176s |      19 |   663380 |   567182 |     3917    239 |        0 |        0
1177.59/1178.16	c 1178s |      19 |   664388 |   568082 |     3917    239 |        0 |        0
1179.79/1180.33	c 1180s |      19 |   665260 |   568882 |     3917    239 |        0 |        0
1181.89/1182.47	c 1182s |      19 |   666155 |   569682 |     3917    239 |        0 |        0
1184.10/1184.60	c 1184s |      19 |   667109 |   570482 |     3917    240 |        0 |        0
1186.20/1186.76	c 1186s |      19 |   668230 |   571482 |     3917    240 |        0 |        0
1188.30/1188.88	c 1188s |      19 |   669110 |   572282 |     3917    240 |        0 |        0
1190.40/1190.96	c 1190s |      19 |   669892 |   572982 |     3917    241 |        0 |        0
1192.59/1193.14	c 1192s |      19 |   670877 |   573882 |     3917    241 |        0 |        0
1194.69/1195.26	c 1195s |      19 |   671752 |   574682 |     3917    241 |        0 |        0
1197.09/1197.60	c 1197s |      19 |   672630 |   575482 |     3917    242 |        0 |        0
1199.19/1199.72	c 1199s |      19 |   673513 |   576282 |     3917    242 |        0 |        0
1201.30/1201.89	c 1201s |      19 |   674378 |   577082 |     3917    242 |        0 |        0
1203.60/1204.12	c 1203s |      19 |   675365 |   577982 |     3917    242 |        0 |        0
1205.79/1206.33	c 1206s |      19 |   676239 |   578782 |     3917    243 |        0 |        0
1207.89/1208.49	c 1208s |      19 |   677110 |   579582 |     3917    243 |        0 |        0
1210.09/1210.65	c 1210s |      19 |   677973 |   580382 |     3917    243 |        0 |        0
1212.29/1212.82	c 1212s |      19 |   678752 |   581082 |     3917    244 |        0 |        0
1214.39/1214.93	c 1214s |      19 |   679494 |   581782 |     3917    244 |        0 |        0
1216.49/1217.05	c 1216s |      19 |   680254 |   582482 |     3917    244 |        0 |        0
1218.50/1219.08	c 1218s |      19 |   681236 |   583382 |     3917    244 |        0 |        0
1220.80/1221.32	c 1221s |      19 |   682142 |   584182 |     3917    245 |        0 |        0
1223.00/1223.59	c 1223s |      19 |   683015 |   584982 |     3917    245 |        0 |        0
1225.09/1225.60	c 1225s |      19 |   683663 |   585582 |     3917    245 |        0 |        0
1227.09/1227.63	c 1227s |      19 |   684322 |   586182 |     3917    245 |        0 |        0
1229.39/1229.91	c 1229s |      19 |   684987 |   586782 |     3917    246 |        0 |        0
1231.49/1232.08	c 1231s |      19 |   685973 |   587682 |     3917    246 |        0 |        0
1233.79/1234.36	c 1234s |      19 |   686957 |   588582 |     3917    246 |        0 |        0
1235.99/1236.53	c 1236s |      19 |   687748 |   589282 |     3917    246 |        0 |        0
1238.18/1238.75	c 1238s |      19 |   688517 |   589982 |     3917    247 |        0 |        0
1240.38/1240.95	c 1240s |      19 |   689403 |   590782 |     3917    247 |        0 |        0
1242.48/1243.06	c 1242s |      19 |   690163 |   591482 |     3917    247 |        0 |        0
1244.59/1245.13	c 1244s |      19 |   690917 |   592182 |     3917    247 |        0 |        0
1246.59/1247.16	c 1247s |      19 |   691561 |   592782 |     3917    248 |        0 |        0
1248.69/1249.27	c 1249s |      19 |   692325 |   593482 |     3917    248 |        0 |        0
1250.79/1251.33	c 1251s |      19 |   693094 |   594182 |     3917    248 |        0 |        0
1252.89/1253.44	c 1253s |      19 |   693754 |   594782 |     3917    248 |        0 |        0
1254.89/1255.50	c 1255s |      19 |   694827 |   595682 |     3917    249 |        0 |        0
1257.09/1257.66	c 1257s |      19 |   695966 |   596682 |     3917    249 |        0 |        0
1259.19/1259.72	c 1259s |      19 |   696857 |   597482 |     3917    249 |        0 |        0
1261.28/1261.83	c 1261s |      19 |   697742 |   598282 |     3917    250 |        0 |        0
1263.28/1263.87	c 1263s |      19 |   698644 |   599082 |     3917    250 |        0 |        0
1265.38/1265.95	c 1265s |      19 |   699639 |   599982 |     3917    250 |        0 |        0
1267.88/1268.41	c 1268s |      19 |   700537 |   600782 |     3917    251 |        0 |        0
1269.98/1270.51	c 1270s |      19 |   701417 |   601582 |     3917    251 |        0 |        0
1272.28/1272.81	c 1272s |      19 |   702278 |   602382 |     3917    251 |        0 |        0
1274.48/1275.00	c 1274s |      19 |   703052 |   603082 |     3917    251 |        0 |        0
1276.48/1277.02	c 1276s |      19 |   703703 |   603682 |     3917    252 |        0 |        0
1278.58/1279.19	c 1279s |      19 |   704460 |   604382 |     3917    252 |        0 |        0
1280.78/1281.32	c 1281s |      19 |   705315 |   605182 |     3917    252 |        0 |        0
1282.78/1283.35	c 1283s |      19 |   706008 |   605782 |     3917    252 |        0 |        0
1284.87/1285.49	c 1285s |      19 |   706533 |   606282 |     3917    253 |        0 |        0
1286.97/1287.58	c 1287s |      19 |   707242 |   606882 |     3917    253 |        0 |        0
1289.07/1289.62	c 1289s |      19 |   708363 |   607882 |     3917    253 |        0 |        0
1291.18/1291.71	c 1291s |      19 |   709492 |   608882 |     3917    253 |        0 |        0
1293.38/1293.96	c 1293s |      19 |   710472 |   609782 |     3917    254 |        0 |        0
1295.48/1296.06	c 1295s |      19 |   711379 |   610582 |     3917    254 |        0 |        0
1297.57/1298.15	c 1298s |      19 |   712162 |   611282 |     3917    254 |        0 |        0
1299.88/1300.44	c 1300s |      19 |   712911 |   611982 |     3917    255 |        0 |        0
1301.97/1302.56	c 1302s |      19 |   713921 |   612882 |     3917    255 |        0 |        0
1304.17/1304.80	c 1304s |      19 |   714924 |   613782 |     3917    255 |        0 |        0
1306.49/1307.03	c 1306s |      19 |   715825 |   614582 |     3917    255 |        0 |        0
1308.58/1309.11	c 1308s |      19 |   716587 |   615282 |     3917    256 |        0 |        0
1310.58/1311.12	c 1310s |      19 |   717397 |   615982 |     3917    256 |        0 |        0
1312.68/1313.25	c 1313s |      19 |   718181 |   616682 |     3917    256 |        0 |        0
1314.88/1315.41	c 1315s |      19 |   718935 |   617382 |     3917    256 |        0 |        0
1317.08/1317.62	c 1317s |      19 |   719710 |   618082 |     3917    257 |        0 |        0
1319.28/1319.84	c 1319s |      19 |   720606 |   618882 |     3917    257 |        0 |        0
1321.37/1321.99	c 1321s |      19 |   721359 |   619582 |     3917    257 |        0 |        0
1323.67/1324.26	c 1324s |      19 |   722128 |   620282 |     3917    257 |        0 |        0
1325.87/1326.44	c 1326s |      19 |   723011 |   621082 |     3917    258 |        0 |        0
1328.07/1328.62	c 1328s |      19 |   724109 |   622082 |     3917    258 |        0 |        0
1330.17/1330.73	c 1330s |      19 |   725040 |   622882 |     3917    258 |        0 |        0
1332.37/1332.94	c 1332s |      19 |   725954 |   623682 |     3917    259 |        0 |        0
1334.37/1334.95	c 1334s |      19 |   726700 |   624382 |     3917    259 |        0 |        0
1336.57/1337.11	c 1336s |      19 |   727455 |   625082 |     3917    259 |        0 |        0
1338.67/1339.27	c 1339s |      19 |   728227 |   625782 |     3917    259 |        0 |        0
1340.87/1341.44	c 1341s |      19 |   728861 |   626382 |     3917    260 |        0 |        0
1343.07/1343.67	c 1343s |      19 |   729858 |   627282 |     3917    260 |        0 |        0
1345.17/1345.77	c 1345s |      19 |   730629 |   627982 |     3917    260 |        0 |        0
1347.37/1347.92	c 1347s |      19 |   731257 |   628582 |     3917    260 |        0 |        0
1349.56/1350.16	c 1350s |      19 |   731918 |   629182 |     3917    261 |        0 |        0
1351.67/1352.23	c 1352s |      19 |   732688 |   629882 |     3917    261 |        0 |        0
1353.87/1354.41	c 1354s |      19 |   733708 |   630782 |     3917    261 |        0 |        0
1356.16/1356.77	c 1356s |      19 |   734450 |   631482 |     3917    262 |        0 |        0
1358.46/1359.04	c 1358s |      19 |   735329 |   632282 |     3917    262 |        0 |        0
1360.56/1361.12	c 1360s |      19 |   736200 |   633082 |     3917    262 |        0 |        0
1362.57/1363.17	c 1363s |      19 |   737110 |   633882 |     3917    262 |        0 |        0
1364.66/1365.26	c 1365s |      19 |   737765 |   634482 |     3917    263 |        0 |        0
1366.97/1367.57	c 1367s |      19 |   738642 |   635282 |     3917    263 |        0 |        0
1369.06/1369.70	c 1369s |      19 |   739301 |   635882 |     3917    263 |        0 |        0
1371.37/1371.95	c 1371s |      19 |   739946 |   636482 |     3917    263 |        0 |        0
1373.57/1374.10	c 1373s |      19 |   740598 |   637082 |     3917    264 |        0 |        0
1375.67/1376.27	c 1376s |      19 |   741414 |   637782 |     3917    264 |        0 |        0
1377.77/1378.39	c 1378s |      19 |   742846 |   638782 |     3917    264 |        0 |        0
1379.87/1380.49	c 1380s |      19 |   743725 |   639582 |     3917    264 |        0 |        0
1381.97/1382.50	c 1382s |      19 |   744522 |   640282 |     3917    265 |        0 |        0
1384.17/1384.70	c 1384s |      19 |   745578 |   641182 |     3917    265 |        0 |        0
1386.37/1386.91	c 1386s |      19 |   746593 |   642082 |     3917    265 |        0 |        0
1388.66/1389.21	c 1389s |      19 |   747395 |   642782 |     3917    266 |        0 |        0
1390.76/1391.38	c 1391s |      19 |   748400 |   643682 |     3917    266 |        0 |        0
1392.96/1393.51	c 1393s |      19 |   749260 |   644482 |     3917    266 |        0 |        0
1395.06/1395.60	c 1395s |      19 |   750176 |   645282 |     3917    266 |        0 |        0
1397.06/1397.63	c 1397s |      19 |   750957 |   645982 |     3917    267 |        0 |        0
1399.26/1399.84	c 1399s |      19 |   751874 |   646782 |     3917    267 |        0 |        0
1401.36/1401.95	c 1401s |      19 |   752704 |   647482 |     3917    267 |        0 |        0
1403.76/1404.38	c 1404s |      19 |   753675 |   648282 |     3917    268 |        0 |        0
1406.06/1406.60	c 1406s |      19 |   754555 |   649082 |     3917    268 |        0 |        0
1408.16/1408.72	c 1408s |      19 |   755341 |   649782 |     3917    268 |        0 |        0
1410.26/1410.88	c 1410s |      19 |   756288 |   650582 |     3917    268 |        0 |        0
1412.46/1413.03	c 1412s |      19 |   757230 |   651382 |     3917    269 |        0 |        0
1414.56/1415.11	c 1414s |      19 |   758262 |   652282 |     3917    269 |        0 |        0
1416.57/1417.20	c 1417s |      19 |   759192 |   653082 |     3917    269 |        0 |        0
1418.67/1419.23	c 1419s |      19 |   760016 |   653782 |     3917    269 |        0 |        0
1420.87/1421.47	c 1421s |      19 |   760771 |   654482 |     3917    270 |        0 |        0
1422.96/1423.59	c 1423s |      19 |   761528 |   655182 |     3917    270 |        0 |        0
1425.06/1425.64	c 1425s |      19 |   762328 |   655882 |     3917    270 |        0 |        0
1427.36/1427.93	c 1427s |      19 |   763097 |   656582 |     3917    270 |        0 |        0
1429.66/1430.22	c 1430s |      19 |   763747 |   657182 |     3917    271 |        0 |        0
1431.86/1432.43	c 1432s |      19 |   764694 |   657982 |     3917    271 |        0 |        0
1433.85/1434.45	c 1434s |      19 |   765465 |   658682 |     3917    271 |        0 |        0
1435.95/1436.53	c 1436s |      19 |   766249 |   659382 |     3917    271 |        0 |        0
1438.15/1438.74	c 1438s |      19 |   767037 |   660082 |     3917    272 |        0 |        0
1440.45/1441.01	c 1440s |      19 |   767803 |   660782 |     3917    272 |        0 |        0
1442.55/1443.14	c 1442s |      19 |   768565 |   661482 |     3917    272 |        0 |        0
1444.65/1445.28	c 1445s |      19 |   769334 |   662182 |     4309    272 |        0 |        0
1446.75/1447.39	c 1447s |      19 |   770020 |   662782 |     4309    273 |        0 |        0
1448.96/1449.58	c 1449s |      19 |   770887 |   663582 |     4309    273 |        0 |        0
1451.06/1451.69	c 1451s |      19 |   771681 |   664282 |     4309    273 |        0 |        0
1453.36/1453.92	c 1453s |      19 |   772444 |   664982 |     4309    273 |        0 |        0
1455.55/1456.19	c 1456s |      19 |   773109 |   665582 |     4309    274 |        0 |        0
1457.85/1458.45	c 1458s |      19 |   773872 |   666282 |     4309    274 |        0 |        0
1459.65/1460.23	c 1460s |      20 |   774476 |   666827 |     4309    274 |        0 |        0
1461.66/1462.25	c 1462s |      20 |   777201 |   668027 |     4309    274 |        0 |        0
1463.76/1464.33	c 1464s |      20 |   778346 |   669027 |     4309    275 |        0 |        0
1465.85/1466.42	c 1466s |      20 |   779554 |   670027 |     4309    275 |        0 |        0
1467.95/1468.52	c 1468s |      20 |   780678 |   671027 |     4309    275 |        0 |        0
1470.05/1470.62	c 1470s |      20 |   781563 |   671827 |     4309    276 |        0 |        0
1472.05/1472.65	c 1472s |      20 |   782448 |   672627 |     4309    276 |        0 |        0
1474.15/1474.76	c 1474s |      20 |   783407 |   673527 |     4309    276 |        0 |        0
1476.25/1476.80	c 1476s |      20 |   784284 |   674327 |     4309    276 |        0 |        0
1478.25/1478.89	c 1478s |      20 |   785192 |   675127 |     4309    277 |        0 |        0
1480.55/1481.12	c 1480s |      20 |   786295 |   676127 |     4309    277 |        0 |        0
1482.75/1483.38	c 1483s |      20 |   787195 |   676927 |     4309    277 |        0 |        0
1484.95/1485.51	c 1485s |      20 |   787987 |   677627 |     4309    278 |        0 |        0
1487.25/1487.80	c 1487s |      20 |   788987 |   678527 |     4309    278 |        0 |        0
1489.45/1490.03	c 1489s |      20 |   789874 |   679327 |     4309    278 |        0 |        0
1491.65/1492.23	c 1492s |      20 |   791144 |   680427 |     4309    278 |        0 |        0
1493.65/1494.24	c 1494s |      20 |   792175 |   681327 |     4309    279 |        0 |        0
1495.65/1496.27	c 1496s |      20 |   793196 |   682227 |     4309    279 |        0 |        0
1497.74/1498.38	c 1498s |      20 |   794186 |   683127 |     4309    279 |        0 |        0
1499.94/1500.55	c 1500s |      20 |   795075 |   683927 |     4309    280 |        0 |        0
1502.14/1502.78	c 1502s |      20 |   796198 |   684927 |     4309    280 |        0 |        0
1504.24/1504.89	c 1504s |      20 |   797077 |   685727 |     4309    280 |        0 |        0
1506.76/1507.35	c 1507s |      20 |   797945 |   686527 |     4309    281 |        0 |        0
1508.75/1509.36	c 1509s |      20 |   798823 |   687327 |     4309    281 |        0 |        0
1510.95/1511.55	c 1511s |      20 |   799826 |   688227 |     4309    281 |        0 |        0
1512.95/1513.59	c 1513s |      20 |   800814 |   689127 |     4309    281 |        0 |        0
1515.15/1515.79	c 1515s |      20 |   801707 |   689927 |     4309    282 |        0 |        0
1517.25/1517.89	c 1517s |      20 |   802749 |   690827 |     4309    282 |        0 |        0
1519.55/1520.13	c 1519s |      20 |   803762 |   691727 |     4309    282 |        0 |        0
1521.85/1522.41	c 1522s |      20 |   804648 |   692527 |     4309    283 |        0 |        0
1524.05/1524.67	c 1524s |      20 |   805639 |   693427 |     4309    283 |        0 |        0
1526.25/1526.88	c 1526s |      20 |   806506 |   694227 |     4309    283 |        0 |        0
1528.54/1529.10	c 1528s |      20 |   807376 |   695027 |     4309    283 |        0 |        0
1530.54/1531.12	c 1530s |      20 |   808022 |   695627 |     4309    284 |        0 |        0
1532.54/1533.18	c 1533s |      20 |   808901 |   696427 |     4309    284 |        0 |        0
1534.74/1535.37	c 1535s |      20 |   809919 |   697327 |     4309    284 |        0 |        0
1537.04/1537.60	c 1537s |      20 |   810948 |   698227 |     4309    284 |        0 |        0
1539.14/1539.79	c 1539s |      20 |   811816 |   699027 |     4309    285 |        0 |        0
1541.44/1542.04	c 1541s |      20 |   812814 |   699927 |     4309    285 |        0 |        0
1543.43/1544.09	c 1543s |      20 |   813723 |   700727 |     4309    285 |        0 |        0
1545.74/1546.33	c 1546s |      20 |   814636 |   701527 |     4309    286 |        0 |        0
1547.84/1548.40	c 1548s |      20 |   815539 |   702327 |     4309    286 |        0 |        0
1549.84/1550.48	c 1550s |      20 |   816532 |   703227 |     4309    286 |        0 |        0
1552.14/1552.73	c 1552s |      20 |   817412 |   704027 |     4309    286 |        0 |        0
1554.34/1554.91	c 1554s |      20 |   818193 |   704727 |     4309    287 |        0 |        0
1556.53/1557.11	c 1556s |      20 |   818954 |   705427 |     4309    287 |        0 |        0
1558.63/1559.20	c 1559s |      20 |   819715 |   706127 |     4309    287 |        0 |        0
1560.64/1561.24	c 1561s |      20 |   820483 |   706827 |     4309    287 |        0 |        0
1563.03/1563.62	c 1563s |      20 |   821147 |   707427 |     4309    288 |        0 |        0
1565.05/1565.64	c 1565s |      20 |   821790 |   708027 |     4309    288 |        0 |        0
1567.14/1567.71	c 1567s |      20 |   822823 |   708927 |     4309    288 |        0 |        0
1569.24/1569.85	c 1569s |      20 |   823785 |   709827 |     4309    288 |        0 |        0
1571.34/1571.95	c 1571s |      20 |   824688 |   710627 |     4309    289 |        0 |        0
1573.44/1574.02	c 1573s |      20 |   825590 |   711427 |     4309    289 |        0 |        0
1575.73/1576.30	c 1576s |      20 |   826480 |   712227 |     4309    289 |        0 |        0
1577.83/1578.47	c 1578s |      20 |   827233 |   712927 |     4309    289 |        0 |        0
1580.13/1580.70	c 1580s |      20 |   827863 |   713527 |     4309    290 |        0 |        0
1582.13/1582.74	c 1582s |      20 |   828747 |   714327 |     4309    290 |        0 |        0
1584.23/1584.85	c 1584s |      20 |   829487 |   715027 |     4309    290 |        0 |        0
1586.33/1586.90	c 1586s |      20 |   830609 |   715927 |     4309    290 |        0 |        0
1588.33/1588.91	c 1588s |      20 |   831564 |   716727 |     4309    291 |        0 |        0
1590.53/1591.12	c 1590s |      20 |   832622 |   717627 |     4309    291 |        0 |        0
1592.63/1593.23	c 1593s |      20 |   833457 |   718327 |     4309    291 |        0 |        0
1594.93/1595.52	c 1595s |      20 |   834480 |   719227 |     4309    291 |        0 |        0
1596.94/1597.58	c 1597s |      20 |   835279 |   719927 |     4309    292 |        0 |        0
1599.14/1599.79	c 1599s |      20 |   836176 |   720727 |     4309    292 |        0 |        0
1601.34/1601.92	c 1601s |      20 |   836957 |   721427 |     4309    292 |        0 |        0
1603.33/1603.96	c 1603s |      20 |   837628 |   722027 |     4309    292 |        0 |        0
1605.53/1606.17	c 1606s |      20 |   838292 |   722627 |     4309    293 |        0 |        0
1607.73/1608.35	c 1608s |      20 |   839215 |   723427 |     4309    293 |        0 |        0
1609.93/1610.58	c 1610s |      20 |   840108 |   724227 |     4309    293 |        0 |        0
1612.13/1612.72	c 1612s |      20 |   840995 |   724927 |     4309    293 |        0 |        0
1614.32/1614.90	c 1614s |      20 |   841933 |   725727 |     4309    294 |        0 |        0
1616.32/1616.94	c 1616s |      20 |   842855 |   726527 |     4309    294 |        0 |        0
1618.42/1619.07	c 1618s |      20 |   843766 |   727327 |     4309    294 |        0 |        0
1620.72/1621.35	c 1621s |      20 |   844556 |   728027 |     4309    294 |        0 |        0
1622.82/1623.42	c 1623s |      20 |   845218 |   728627 |     4309    295 |        0 |        0
1624.93/1625.59	c 1625s |      20 |   845989 |   729327 |     4309    295 |        0 |        0
1627.13/1627.72	c 1627s |      20 |   846764 |   730027 |     4309    295 |        0 |        0
1629.33/1629.94	c 1629s |      20 |   847542 |   730727 |     4309    295 |        0 |        0
1631.43/1632.07	c 1631s |      20 |   848090 |   731227 |     4309    296 |        0 |        0
1633.63/1634.28	c 1634s |      20 |   849129 |   732127 |     4309    296 |        0 |        0
1635.83/1636.48	c 1636s |      20 |   850034 |   732927 |     4309    296 |        0 |        0
1638.02/1638.60	c 1638s |      20 |   850820 |   733627 |     4309    296 |        0 |        0
1640.02/1640.61	c 1640s |      20 |   851633 |   734327 |     4309    297 |        0 |        0
1642.22/1642.86	c 1642s |      20 |   852496 |   735127 |     4309    297 |        0 |        0
1644.23/1644.89	c 1644s |      20 |   853311 |   735827 |     4309    297 |        0 |        0
1646.43/1647.09	c 1646s |      20 |   854108 |   736527 |     4309    297 |        0 |        0
1648.72/1649.38	c 1649s |      20 |   854792 |   737127 |     4309    298 |        0 |        0
1650.92/1651.57	c 1651s |      20 |   855579 |   737827 |     4309    298 |        0 |        0
1653.13/1653.75	c 1653s |      20 |   856346 |   738527 |     4309    298 |        0 |        0
1655.23/1655.89	c 1655s |      20 |   857095 |   739227 |     4309    298 |        0 |        0
1657.43/1658.07	c 1657s |      20 |   857898 |   739927 |     4309    298 |        0 |        0
1659.73/1660.33	c 1660s |      20 |   858663 |   740627 |     4309    299 |        0 |        0
1661.92/1662.52	c 1662s |      20 |   859405 |   741327 |     4309    299 |        0 |        0
1664.03/1664.63	c 1664s |      20 |   860052 |   741927 |     4309    299 |        0 |        0
1666.23/1666.84	c 1666s |      20 |   860704 |   742527 |     4309    299 |        0 |        0
1668.43/1669.01	c 1668s |      20 |   861368 |   743127 |     4309    300 |        0 |        0
1670.53/1671.20	c 1671s |      20 |   862134 |   743827 |     4309    300 |        0 |        0
1672.92/1673.56	c 1673s |      20 |   862782 |   744427 |     4309    300 |        0 |        0
1675.32/1675.93	c 1675s |      20 |   863429 |   745027 |     4309    300 |        0 |        0
1677.72/1678.35	c 1678s |      20 |   863978 |   745527 |     4309    300 |        0 |        0
1680.42/1681.02	c 1680s |      20 |   864524 |   746027 |     4309    301 |        0 |        0
1682.42/1683.07	c 1682s |      20 |   865467 |   746827 |     4309    301 |        0 |        0
1684.52/1685.14	c 1684s |      20 |   866433 |   747627 |     4309    301 |        0 |        0
1686.61/1687.21	c 1687s |      20 |   867239 |   748327 |     4309    301 |        0 |        0
1688.91/1689.57	c 1689s |      20 |   867997 |   749027 |     4309    302 |        0 |        0
1690.91/1691.58	c 1691s |      20 |   868764 |   749727 |     4309    302 |        0 |        0
1693.01/1693.69	c 1693s |      20 |   869544 |   750427 |     4309    302 |        0 |        0
1695.21/1695.85	c 1695s |      20 |   870310 |   751127 |     4309    302 |        0 |        0
1697.31/1697.96	c 1697s |      20 |   871097 |   751827 |     4309    302 |        0 |        0
1699.52/1700.10	c 1699s |      20 |   871766 |   752427 |     4309    303 |        0 |        0
1701.52/1702.16	c 1702s |      20 |   872551 |   753127 |     4309    303 |        0 |        0
1703.82/1704.48	c 1704s |      20 |   873316 |   753827 |     4309    303 |        0 |        0
1706.11/1706.76	c 1706s |      20 |   874118 |   754527 |     4309    303 |        0 |        0
1708.11/1708.79	c 1708s |      20 |   874815 |   755127 |     4309    304 |        0 |        0
1710.41/1711.00	c 1710s |      20 |   875691 |   755927 |     4309    304 |        0 |        0
1712.51/1713.10	c 1712s |      20 |   876464 |   756627 |     4309    304 |        0 |        0
1714.52/1715.15	c 1715s |      20 |   877121 |   757227 |     4309    304 |        0 |        0
1716.72/1717.33	c 1717s |      20 |   877769 |   757827 |     4309    304 |        0 |        0
1718.71/1719.33	c 1719s |      20 |   878335 |   758327 |     4309    305 |        0 |        0
1720.81/1721.47	c 1721s |      20 |   879103 |   759027 |     4309    305 |        0 |        0
1722.91/1723.57	c 1723s |      20 |   879767 |   759627 |     4309    305 |        0 |        0
1725.01/1725.67	c 1725s |      20 |   880695 |   760427 |     4309    305 |        0 |        0
1727.21/1727.89	c 1727s |      20 |   881602 |   761227 |     4309    306 |        0 |        0
1729.31/1729.96	c 1729s |      20 |   882485 |   762027 |     4309    306 |        0 |        0
1731.41/1732.07	c 1731s |      20 |   883258 |   762727 |     4309    306 |        0 |        0
1733.61/1734.29	c 1734s |      20 |   884044 |   763427 |     4309    306 |        0 |        0
1735.71/1736.37	c 1736s |      20 |   884697 |   764027 |     4309    307 |        0 |        0
1737.72/1738.39	c 1738s |      20 |   885348 |   764627 |     4309    307 |        0 |        0
1740.11/1740.72	c 1740s |      20 |   886086 |   765327 |     4309    307 |        0 |        0
1742.51/1743.15	c 1743s |      20 |   886721 |   765927 |     4309    307 |        0 |        0
1744.81/1745.45	c 1745s |      20 |   887375 |   766527 |     4309    307 |        0 |        0
1747.11/1747.73	c 1747s |      20 |   888038 |   767127 |     4309    308 |        0 |        0
1749.11/1749.79	c 1749s |      20 |   888879 |   767727 |     4309    308 |        0 |        0
1751.21/1751.86	c 1751s |      20 |   889627 |   768327 |     4309    308 |        0 |        0
1753.31/1753.98	c 1753s |      20 |   890608 |   768827 |     4309    308 |        0 |        0
1755.71/1756.33	c 1756s |      20 |   891277 |   769427 |     4309    308 |        0 |        0
1758.10/1758.75	c 1758s |      20 |   891848 |   769927 |     4309    309 |        0 |        0
1760.20/1760.85	c 1760s |      20 |   892488 |   770527 |     4309    309 |        0 |        0
1762.51/1763.13	c 1762s |      20 |   893161 |   771127 |     4309    309 |        0 |        0
1764.51/1765.15	c 1765s |      20 |   893958 |   771727 |     4309    309 |        0 |        0
1766.71/1767.34	c 1767s |      20 |   894659 |   772327 |     4309    309 |        0 |        0
1769.01/1769.67	c 1769s |      20 |   895354 |   772927 |     4309    310 |        0 |        0
1771.31/1771.96	c 1771s |      20 |   896172 |   773627 |     4309    310 |        0 |        0
1773.51/1774.10	c 1773s |      20 |   896858 |   774227 |     4309    310 |        0 |        0
1775.60/1776.28	c 1776s |      20 |   897551 |   774827 |     4309    310 |        0 |        0
1777.90/1778.51	c 1778s |      20 |   898215 |   775427 |     4309    310 |        0 |        0
1779.90/1780.58	c 1780s |      20 |   898767 |   775927 |     4309    311 |        0 |        0
1782.10/1782.72	c 1782s |      20 |   899536 |   776627 |     4309    311 |        0 |        0
1784.30/1784.94	c 1784s |      20 |   900200 |   777227 |     4309    311 |        0 |        0
1786.70/1787.30	c 1787s |      20 |   900844 |   777827 |     4309    311 |        0 |        0
1788.80/1789.41	c 1789s |      20 |   901384 |   778327 |     4309    311 |        0 |        0
1790.90/1791.59	c 1791s |      20 |   901935 |   778827 |     4309    312 |        0 |        0
1793.00/1793.60	c 1793s |      20 |   902608 |   779427 |     4309    312 |        0 |        0
1795.20/1795.82	c 1795s |      20 |   903373 |   780127 |     4309    312 |        0 |        0
1797.30/1797.90	c 1797s |      20 |   904039 |   780727 |     4309    312 |        0 |        0
1799.31/1799.93	c 1799s |      20 |   904721 |   781327 |     4309    312 |        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-4093403-1466083016/watcher-4093403-1466083016 -o /tmp/evaluation-result-4093403-1466083016/solver-4093403-1466083016 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466074317-17184 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093403-1466083016.wbo 

pid=17984
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.36 2.23 2.12 3/177 17987
/proc/meminfo: memFree=30468088/32872528 swapFree=446836/479540
[pid=17987] ppid=17984 vsize=698812 CPUtime=0 cores=1,3,5,7
/proc/17987/stat : 17987 (toysat) R 17984 17987 15681 0 -1 4202496 2598 0 0 0 0 0 0 0 20 0 4 0 10351735 715583488 2960 33554432000 4194304 16246674 140736358981040 140736358980464 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17987/statm: 175215 2970 441 2943 0 172109 0
[pid=17987/tid=17988] ppid=17984 vsize=716220 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17988/stat : 17988 (toysat) S 17984 17987 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10351736 733409280 3029 33554432000 4194304 16246674 140736358981040 140416191016176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17987/tid=17989] ppid=17984 vsize=720316 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17989/stat : 17989 (toysat) S 17984 17987 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10351736 737603584 3045 33554432000 4194304 16246674 140736358981040 140416103984368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17987/tid=17990] ppid=17984 vsize=724412 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17990/stat : 17990 (toysat) S 17984 17987 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10351736 741797888 3060 33554432000 4194304 16246674 140736358981040 140416093510832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100165 s]
/proc/loadavg: 2.36 2.23 2.12 3/177 17987
/proc/meminfo: memFree=30468088/32872528 swapFree=446836/479540
[pid=17987] ppid=17984 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/17987/stat : 17987 (toysat) R 17984 17987 15681 0 -1 4202496 25579 0 0 0 6 3 0 0 20 0 4 0 10351735 1247350784 25927 33554432000 4194304 16246674 140736358981040 140736358980464 5829366 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17987/statm: 304529 25933 754 2943 0 301423 0
[pid=17987/tid=17988] ppid=17984 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17988/stat : 17988 (toysat) S 17984 17987 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10351736 1247350784 25937 33554432000 4194304 16246674 140736358981040 140416191016176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17987/tid=17989] ppid=17984 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17989/stat : 17989 (toysat) S 17984 17987 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10351736 1247350784 25942 33554432000 4194304 16246674 140736358981040 140416103984368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17987/tid=17990] ppid=17984 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17990/stat : 17990 (toysat) S 17984 17987 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10351736 1247350784 25946 33554432000 4194304 16246674 140736358981040 140416093510832 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.200496 s]
/proc/loadavg: 2.36 2.23 2.12 3/177 17987
/proc/meminfo: memFree=30468088/32872528 swapFree=446836/479540
[pid=17987] ppid=17984 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/17987/stat : 17987 (toysat) R 17984 17987 15681 0 -1 4202496 53118 0 0 0 12 7 0 0 20 0 4 0 10351735 1247350784 53466 33554432000 4194304 16246674 140736358981040 140736358980464 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17987/statm: 304529 53484 806 2943 0 301423 0
[pid=17987/tid=17988] ppid=17984 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17988/stat : 17988 (toysat) S 17984 17987 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10351736 1247350784 53497 33554432000 4194304 16246674 140736358981040 140416191016176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17987/tid=17989] ppid=17984 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17989/stat : 17989 (toysat) S 17984 17987 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10351736 1247350784 53506 33554432000 4194304 16246674 140736358981040 140416103984368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17987/tid=17990] ppid=17984 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17990/stat : 17990 (toysat) S 17984 17987 15681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10351736 1247350784 53518 33554432000 4194304 16246674 140736358981040 140416093510832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300489 s]
/proc/loadavg: 2.36 2.23 2.12 3/177 17987
/proc/meminfo: memFree=30468088/32872528 swapFree=446836/479540
[pid=17987] ppid=17984 vsize=1305156 CPUtime=0.29 cores=1,3,5,7
/proc/17987/stat : 17987 (toysat) R 17984 17987 15681 0 -1 4202496 79484 0 0 0 19 10 0 0 20 0 4 0 10351735 1336479744 79810 33554432000 4194304 16246674 140736358981040 140736358980352 5724508 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17987/statm: 326289 79831 866 2943 0 323183 0
[pid=17987/tid=17988] ppid=17984 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17988/stat : 17988 (toysat) S 17984 17987 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10351736 1336479744 79842 33554432000 4194304 16246674 140736358981040 140416191016176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17987/tid=17989] ppid=17984 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17989/stat : 17989 (toysat) S 17984 17987 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10351736 1336479744 79850 33554432000 4194304 16246674 140736358981040 140416103984368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17987/tid=17990] ppid=17984 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17990/stat : 17990 (toysat) S 17984 17987 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10351736 1336479744 79858 33554432000 4194304 16246674 140736358981040 140416093510832 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) 1305156

[startup+0.700415 s]
/proc/loadavg: 2.36 2.23 2.12 3/177 17987
/proc/meminfo: memFree=30468088/32872528 swapFree=446836/479540
[pid=17987] ppid=17984 vsize=1307204 CPUtime=0.69 cores=1,3,5,7
/proc/17987/stat : 17987 (toysat) R 17984 17987 15681 0 -1 4202496 134808 0 0 0 51 18 0 0 20 0 4 0 10351735 1338576896 135133 33554432000 4194304 16246674 140736358981040 140736358962944 12478070 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17987/statm: 326801 135153 866 2943 0 323695 0
[pid=17987/tid=17988] ppid=17984 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17988/stat : 17988 (toysat) S 17984 17987 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10351736 1338576896 135167 33554432000 4194304 16246674 140736358981040 140416191016176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17987/tid=17989] ppid=17984 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17989/stat : 17989 (toysat) S 17984 17987 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10351736 1338576896 135178 33554432000 4194304 16246674 140736358981040 140416103984368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17987/tid=17990] ppid=17984 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17990/stat : 17990 (toysat) S 17984 17987 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10351736 1338576896 135190 33554432000 4194304 16246674 140736358981040 140416093510832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1307204

[startup+1.5005 s]
/proc/loadavg: 2.36 2.23 2.12 3/181 17991
/proc/meminfo: memFree=29396624/32872528 swapFree=446836/479540
[pid=17987] ppid=17984 vsize=1307204 CPUtime=1.49 cores=1,3,5,7
/proc/17987/stat : 17987 (toysat) R 17984 17987 15681 0 -1 4202496 267856 0 0 0 116 33 0 0 20 0 4 0 10351735 1338576896 268181 33554432000 4194304 16246674 140736358981040 140736358962944 13781188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17987/statm: 326801 268181 870 2943 0 323695 0
[pid=17987/tid=17988] ppid=17984 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17988/stat : 17988 (toysat) S 17984 17987 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10351736 1338576896 268181 33554432000 4194304 16246674 140736358981040 140416191016176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17987/tid=17989] ppid=17984 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17989/stat : 17989 (toysat) S 17984 17987 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10351736 1338576896 268181 33554432000 4194304 16246674 140736358981040 140416103984368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17987/tid=17990] ppid=17984 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17990/stat : 17990 (toysat) S 17984 17987 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10351736 1338576896 268181 33554432000 4194304 16246674 140736358981040 140416093510832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.10043 s]
/proc/loadavg: 2.36 2.23 2.12 3/181 17991
/proc/meminfo: memFree=29395996/32872528 swapFree=446836/479540
[pid=17987] ppid=17984 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/17987/stat : 17987 (toysat) R 17984 17987 15681 0 -1 4202496 267918 0 0 0 276 33 0 0 20 0 4 0 10351735 1338576896 268243 33554432000 4194304 16246674 140736358981040 140736358962944 5723568 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17987/statm: 326801 268243 873 2943 0 323695 0
[pid=17987/tid=17988] ppid=17984 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17988/stat : 17988 (toysat) S 17984 17987 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10351736 1338576896 268243 33554432000 4194304 16246674 140736358981040 140416191016176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17987/tid=17989] ppid=17984 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17989/stat : 17989 (toysat) S 17984 17987 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10351736 1338576896 268243 33554432000 4194304 16246674 140736358981040 140416103984368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17987/tid=17990] ppid=17984 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17990/stat : 17990 (toysat) S 17984 17987 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10351736 1338576896 268243 33554432000 4194304 16246674 140736358981040 140416093510832 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.30042 s]
/proc/loadavg: 2.33 2.23 2.12 3/181 17991
/proc/meminfo: memFree=29395848/32872528 swapFree=446836/479540
[pid=17987] ppid=17984 vsize=1308228 CPUtime=6.29 cores=1,3,5,7
/proc/17987/stat : 17987 (toysat) R 17984 17987 15681 0 -1 4202496 267977 0 0 0 596 33 0 0 20 0 4 0 10351735 1339625472 268302 33554432000 4194304 16246674 140736358981040 140736358962944 5711552 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17987/statm: 327057 268302 874 2943 0 323951 0
[pid=17987/tid=17988] ppid=17984 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17988/stat : 17988 (toysat) S 17984 17987 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10351736 1339625472 268302 33554432000 4194304 16246674 140736358981040 140416191016176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17987/tid=17989] ppid=17984 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17989/stat : 17989 (toysat) S 17984 17987 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10351736 1339625472 268302 33554432000 4194304 16246674 140736358981040 140416103984368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17987/tid=17990] ppid=17984 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17990/stat : 17990 (toysat) S 17984 17987 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10351736 1339625472 268302 33554432000 4194304 16246674 140736358981040 140416093510832 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) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.31 2.22 2.12 3/181 17991
/proc/meminfo: memFree=29393000/32872528 swapFree=446836/479540
[pid=17987] ppid=17984 vsize=1311300 CPUtime=12.69 cores=1,3,5,7
/proc/17987/stat : 17987 (toysat) R 17984 17987 15681 0 -1 4202496 268717 0 0 0 1236 33 0 0 20 0 4 0 10351735 1342771200 269042 33554432000 4194304 16246674 140736358981040 140736358962944 5545708 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17987/statm: 327825 269042 874 2943 0 324719 0
[pid=17987/tid=17988] ppid=17984 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17988/stat : 17988 (toysat) S 17984 17987 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10351736 1342771200 269042 33554432000 4194304 16246674 140736358981040 140416191016176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17987/tid=17989] ppid=17984 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17989/stat : 17989 (toysat) S 17984 17987 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10351736 1342771200 269042 33554432000 4194304 16246674 140736358981040 140416103984368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17987/tid=17990] ppid=17984 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17990/stat : 17990 (toysat) S 17984 17987 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10351736 1342771200 269042 33554432000 4194304 16246674 140736358981040 140416093510832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1311300

[startup+25.5004 s]
/proc/loadavg: 2.30 2.23 2.12 3/181 17991
/proc/meminfo: memFree=29387076/32872528 swapFree=446836/479540
[pid=17987] ppid=17984 vsize=1316420 CPUtime=25.5 cores=1,3,5,7
/proc/17987/stat : 17987 (toysat) R 17984 17987 15681 0 -1 4202496 270223 0 0 0 2516 34 0 0 20 0 4 0 10351735 1348014080 270548 33554432000 4194304 16246674 140736358981040 140736358962944 5722656 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17987/statm: 329105 270548 874 2943 0 325999 0
[pid=17987/tid=17988] ppid=17984 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17988/stat : 17988 (toysat) S 17984 17987 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10351736 1348014080 270548 33554432000 4194304 16246674 140736358981040 140416191016176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17987/tid=17989] ppid=17984 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17989/stat : 17989 (toysat) S 17984 17987 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10351736 1348014080 270548 33554432000 4194304 16246674 140736358981040 140416103984368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17987/tid=17990] ppid=17984 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17990/stat : 17990 (toysat) S 17984 17987 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10351736 1348014080 270548 33554432000 4194304 16246674 140736358981040 140416093510832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1316420

[startup+51.1004 s]
/proc/loadavg: 2.33 2.24 2.13 3/181 17991
/proc/meminfo: memFree=29387076/32872528 swapFree=446836/479540
[pid=17987] ppid=17984 vsize=1316420 CPUtime=51.09 cores=1,3,5,7
/proc/17987/stat : 17987 (toysat) R 17984 17987 15681 0 -1 4202496 270223 0 0 0 5075 34 0 0 20 0 4 0 10351735 1348014080 270548 33554432000 4194304 16246674 140736358981040 140736358964040 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17987/statm: 329105 270548 874 2943 0 325999 0
[pid=17987/tid=17988] ppid=17984 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17988/stat : 17988 (toysat) S 17984 17987 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10351736 1348014080 270548 33554432000 4194304 16246674 140736358981040 140416191016176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17987/tid=17989] ppid=17984 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17989/stat : 17989 (toysat) S 17984 17987 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10351736 1348014080 270548 33554432000 4194304 16246674 140736358981040 140416103984368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17987/tid=17990] ppid=17984 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17990/stat : 17990 (toysat) S 17984 17987 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10351736 1348014080 270548 33554432000 4194304 16246674 140736358981040 140416093510832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1316420

[startup+102.3 s]
/proc/loadavg: 2.32 2.25 2.13 3/181 17992
/proc/meminfo: memFree=29386544/32872528 swapFree=446836/479540
[pid=17987] ppid=17984 vsize=1316420 CPUtime=102.27 cores=1,3,5,7
/proc/17987/stat : 17987 (toysat) R 17984 17987 15681 0 -1 4202496 270223 0 0 0 10192 35 0 0 20 0 4 0 10351735 1348014080 270548 33554432000 4194304 16246674 140736358981040 140736358962944 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17987/statm: 329105 270548 874 2943 0 325999 0
[pid=17987/tid=17988] ppid=17984 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17988/stat : 17988 (toysat) S 17984 17987 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10351736 1348014080 270548 33554432000 4194304 16246674 140736358981040 140416191016176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17987/tid=17989] ppid=17984 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17989/stat : 17989 (toysat) S 17984 17987 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10351736 1348014080 270548 33554432000 4194304 16246674 140736358981040 140416103984368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17987/tid=17990] ppid=17984 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17990/stat : 17990 (toysat) S 17984 17987 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10351736 1348014080 270548 33554432000 4194304 16246674 140736358981040 140416093510832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1316420


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

/proc/17987/task/17990/stat : 17990 (toysat) S 17984 17987 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10351736 1354305536 272289 33554432000 4194304 16246674 140736358981040 140416093510832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.78
Current children cumulated vsize (KiB) 1322564

[startup+1302.3 s]
/proc/loadavg: 2.08 2.10 2.09 4/181 18071
/proc/meminfo: memFree=29065292/32872528 swapFree=446836/479540
[pid=17987] ppid=17984 vsize=1322564 CPUtime=1301.77 cores=1,3,5,7
/proc/17987/stat : 17987 (toysat) R 17984 17987 15681 0 -1 4202496 272149 0 0 0 130119 58 0 0 20 0 4 0 10351735 1354305536 272289 33554432000 4194304 16246674 140736358981040 140736358962944 5823242 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17987/statm: 330641 272289 874 2943 0 327535 0
[pid=17987/tid=17988] ppid=17984 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17988/stat : 17988 (toysat) S 17984 17987 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10351736 1354305536 272289 33554432000 4194304 16246674 140736358981040 140416191016176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17987/tid=17989] ppid=17984 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17989/stat : 17989 (toysat) S 17984 17987 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10351736 1354305536 272289 33554432000 4194304 16246674 140736358981040 140416103984368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17987/tid=17990] ppid=17984 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17990/stat : 17990 (toysat) S 17984 17987 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10351736 1354305536 272289 33554432000 4194304 16246674 140736358981040 140416093510832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.77
Current children cumulated vsize (KiB) 1322564

[startup+1362.3 s]
/proc/loadavg: 2.03 2.08 2.08 3/181 18072
/proc/meminfo: memFree=29064940/32872528 swapFree=446836/479540
[pid=17987] ppid=17984 vsize=1322564 CPUtime=1361.76 cores=1,3,5,7
/proc/17987/stat : 17987 (toysat) R 17984 17987 15681 0 -1 4202496 272149 0 0 0 136117 59 0 0 20 0 4 0 10351735 1354305536 272289 33554432000 4194304 16246674 140736358981040 140736358962944 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17987/statm: 330641 272289 874 2943 0 327535 0
[pid=17987/tid=17988] ppid=17984 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17988/stat : 17988 (toysat) S 17984 17987 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10351736 1354305536 272289 33554432000 4194304 16246674 140736358981040 140416191016176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17987/tid=17989] ppid=17984 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17989/stat : 17989 (toysat) S 17984 17987 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10351736 1354305536 272289 33554432000 4194304 16246674 140736358981040 140416103984368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17987/tid=17990] ppid=17984 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17990/stat : 17990 (toysat) S 17984 17987 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10351736 1354305536 272289 33554432000 4194304 16246674 140736358981040 140416093510832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 1322564

[startup+1422.3 s]
/proc/loadavg: 2.08 2.08 2.08 4/182 18077
/proc/meminfo: memFree=29065328/32872528 swapFree=446836/479540
[pid=17987] ppid=17984 vsize=1322564 CPUtime=1421.76 cores=1,3,5,7
/proc/17987/stat : 17987 (toysat) R 17984 17987 15681 0 -1 4202496 272149 0 0 0 142115 61 0 0 20 0 4 0 10351735 1354305536 272289 33554432000 4194304 16246674 140736358981040 140736358980216 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17987/statm: 330641 272289 874 2943 0 327535 0
[pid=17987/tid=17988] ppid=17984 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17988/stat : 17988 (toysat) S 17984 17987 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10351736 1354305536 272289 33554432000 4194304 16246674 140736358981040 140416191016176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17987/tid=17989] ppid=17984 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17989/stat : 17989 (toysat) S 17984 17987 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10351736 1354305536 272289 33554432000 4194304 16246674 140736358981040 140416103984368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17987/tid=17990] ppid=17984 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17990/stat : 17990 (toysat) S 17984 17987 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10351736 1354305536 272289 33554432000 4194304 16246674 140736358981040 140416093510832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.76
Current children cumulated vsize (KiB) 1322564

[startup+1482.3 s]
/proc/loadavg: 2.15 2.09 2.09 3/181 18078
/proc/meminfo: memFree=29064744/32872528 swapFree=446836/479540
[pid=17987] ppid=17984 vsize=1322564 CPUtime=1481.75 cores=1,3,5,7
/proc/17987/stat : 17987 (toysat) R 17984 17987 15681 0 -1 4202496 272149 0 0 0 148113 62 0 0 20 0 4 0 10351735 1354305536 272289 33554432000 4194304 16246674 140736358981040 140736358962944 5598492 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17987/statm: 330641 272289 874 2943 0 327535 0
[pid=17987/tid=17988] ppid=17984 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17988/stat : 17988 (toysat) S 17984 17987 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10351736 1354305536 272289 33554432000 4194304 16246674 140736358981040 140416191016176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17987/tid=17989] ppid=17984 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17989/stat : 17989 (toysat) S 17984 17987 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10351736 1354305536 272289 33554432000 4194304 16246674 140736358981040 140416103984368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17987/tid=17990] ppid=17984 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17990/stat : 17990 (toysat) S 17984 17987 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10351736 1354305536 272289 33554432000 4194304 16246674 140736358981040 140416093510832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 1322564

[startup+1542.3 s]
/proc/loadavg: 2.05 2.07 2.08 3/181 18079
/proc/meminfo: memFree=29064648/32872528 swapFree=446836/479540
[pid=17987] ppid=17984 vsize=1322564 CPUtime=1541.74 cores=1,3,5,7
/proc/17987/stat : 17987 (toysat) R 17984 17987 15681 0 -1 4202496 272149 0 0 0 154111 63 0 0 20 0 4 0 10351735 1354305536 272289 33554432000 4194304 16246674 140736358981040 140736358962944 5545840 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17987/statm: 330641 272289 874 2943 0 327535 0
[pid=17987/tid=17988] ppid=17984 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17988/stat : 17988 (toysat) S 17984 17987 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10351736 1354305536 272289 33554432000 4194304 16246674 140736358981040 140416191016176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17987/tid=17989] ppid=17984 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17989/stat : 17989 (toysat) S 17984 17987 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10351736 1354305536 272289 33554432000 4194304 16246674 140736358981040 140416103984368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17987/tid=17990] ppid=17984 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17990/stat : 17990 (toysat) S 17984 17987 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10351736 1354305536 272289 33554432000 4194304 16246674 140736358981040 140416093510832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 1322564

[startup+1602.3 s]
/proc/loadavg: 2.07 2.07 2.08 3/181 18080
/proc/meminfo: memFree=29064428/32872528 swapFree=446836/479540
[pid=17987] ppid=17984 vsize=1322564 CPUtime=1601.73 cores=1,3,5,7
/proc/17987/stat : 17987 (toysat) R 17984 17987 15681 0 -1 4202496 272149 0 0 0 160107 66 0 0 20 0 4 0 10351735 1354305536 272289 33554432000 4194304 16246674 140736358981040 140736358980216 5721248 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17987/statm: 330641 272289 874 2943 0 327535 0
[pid=17987/tid=17988] ppid=17984 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17988/stat : 17988 (toysat) S 17984 17987 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10351736 1354305536 272289 33554432000 4194304 16246674 140736358981040 140416191016176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17987/tid=17989] ppid=17984 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17989/stat : 17989 (toysat) S 17984 17987 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10351736 1354305536 272289 33554432000 4194304 16246674 140736358981040 140416103984368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17987/tid=17990] ppid=17984 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17990/stat : 17990 (toysat) S 17984 17987 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10351736 1354305536 272289 33554432000 4194304 16246674 140736358981040 140416093510832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 1322564

[startup+1662.3 s]
/proc/loadavg: 2.17 2.09 2.08 3/181 18081
/proc/meminfo: memFree=29064824/32872528 swapFree=446836/479540
[pid=17987] ppid=17984 vsize=1322564 CPUtime=1661.73 cores=1,3,5,7
/proc/17987/stat : 17987 (toysat) R 17984 17987 15681 0 -1 4202496 272149 0 0 0 166105 68 0 0 20 0 4 0 10351735 1354305536 272289 33554432000 4194304 16246674 140736358981040 140736358980216 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17987/statm: 330641 272289 874 2943 0 327535 0
[pid=17987/tid=17988] ppid=17984 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17988/stat : 17988 (toysat) S 17984 17987 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10351736 1354305536 272289 33554432000 4194304 16246674 140736358981040 140416191016176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17987/tid=17989] ppid=17984 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17989/stat : 17989 (toysat) S 17984 17987 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10351736 1354305536 272289 33554432000 4194304 16246674 140736358981040 140416103984368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17987/tid=17990] ppid=17984 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17990/stat : 17990 (toysat) S 17984 17987 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10351736 1354305536 272289 33554432000 4194304 16246674 140736358981040 140416093510832 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) 1322564

[startup+1722.3 s]
/proc/loadavg: 2.06 2.07 2.08 3/181 18083
/proc/meminfo: memFree=29064480/32872528 swapFree=446836/479540
[pid=17987] ppid=17984 vsize=1322564 CPUtime=1721.71 cores=1,3,5,7
/proc/17987/stat : 17987 (toysat) R 17984 17987 15681 0 -1 4202496 272149 0 0 0 172102 69 0 0 20 0 4 0 10351735 1354305536 272289 33554432000 4194304 16246674 140736358981040 140736358980216 5545872 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17987/statm: 330641 272289 874 2943 0 327535 0
[pid=17987/tid=17988] ppid=17984 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17988/stat : 17988 (toysat) S 17984 17987 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10351736 1354305536 272289 33554432000 4194304 16246674 140736358981040 140416191016176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17987/tid=17989] ppid=17984 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17989/stat : 17989 (toysat) S 17984 17987 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10351736 1354305536 272289 33554432000 4194304 16246674 140736358981040 140416103984368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17987/tid=17990] ppid=17984 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17990/stat : 17990 (toysat) S 17984 17987 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10351736 1354305536 272289 33554432000 4194304 16246674 140736358981040 140416093510832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 1322564

[startup+1782.31 s]
/proc/loadavg: 2.13 2.08 2.08 3/181 18084
/proc/meminfo: memFree=29064392/32872528 swapFree=446836/479540
[pid=17987] ppid=17984 vsize=1322564 CPUtime=1781.71 cores=1,3,5,7
/proc/17987/stat : 17987 (toysat) R 17984 17987 15681 0 -1 4202496 272149 0 0 0 178100 71 0 0 20 0 4 0 10351735 1354305536 272289 33554432000 4194304 16246674 140736358981040 140736358980216 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17987/statm: 330641 272289 874 2943 0 327535 0
[pid=17987/tid=17988] ppid=17984 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17988/stat : 17988 (toysat) S 17984 17987 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10351736 1354305536 272289 33554432000 4194304 16246674 140736358981040 140416191016176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17987/tid=17989] ppid=17984 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17989/stat : 17989 (toysat) S 17984 17987 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10351736 1354305536 272289 33554432000 4194304 16246674 140736358981040 140416103984368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17987/tid=17990] ppid=17984 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17990/stat : 17990 (toysat) S 17984 17987 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10351736 1354305536 272289 33554432000 4194304 16246674 140736358981040 140416093510832 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) 1322564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.17 2.10 2.09 3/181 18084
/proc/meminfo: memFree=29064360/32872528 swapFree=446836/479540
[pid=17987] ppid=17984 vsize=1322564 CPUtime=1800 cores=1,3,5,7
/proc/17987/stat : 17987 (toysat) R 17984 17987 15681 0 -1 4202496 272149 0 0 0 179928 72 0 0 20 0 4 0 10351735 1354305536 272289 33554432000 4194304 16246674 140736358981040 140736358980216 5669152 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17987/statm: 330641 272289 874 2943 0 327535 0
[pid=17987/tid=17988] ppid=17984 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17988/stat : 17988 (toysat) S 17984 17987 15681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10351736 1354305536 272289 33554432000 4194304 16246674 140736358981040 140416191016176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=17987/tid=17989] ppid=17984 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17989/stat : 17989 (toysat) S 17984 17987 15681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10351736 1354305536 272289 33554432000 4194304 16246674 140736358981040 140416103984368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=17987/tid=17990] ppid=17984 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/17987/task/17990/stat : 17990 (toysat) S 17984 17987 15681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10351736 1354305536 272289 33554432000 4194304 16246674 140736358981040 140416093510832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1322564

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.02
CPU user time (s): 1799.29
CPU system time (s): 0.723889
CPU usage (%): 99.967
Max. virtual memory (cumulated for all children) (KiB): 1322564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.29
system time used= 0.723889
maximum resident set size= 1089156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272149
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= 455
involuntary context switches= 1969

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.02124 second user time and 6.85996 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-16 15:16:56
IDJOB=4093403
IDBENCH=78715
IDSOLVER=2553
FILE ID=node104/4093403-1466083016
RUNJOBID= node104-1466074317-17184
PBS_JOBID= 19904028
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-45-40--soft-66-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-4093403-1466083016/watcher-4093403-1466083016 -o /tmp/evaluation-result-4093403-1466083016/solver-4093403-1466083016 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466074317-17184 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093403-1466083016.wbo

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

MD5SUM BENCH= a455ffab78a89665145255f789204852
RANDOM SEED=1067669925

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30469096 kB
Buffers:           29168 kB
Cached:           101836 kB
SwapCached:          516 kB
Active:          1168152 kB
Inactive:          58624 kB
Active(anon):    1096656 kB
Inactive(anon):     1168 kB
Active(file):      71496 kB
Inactive(file):    57456 kB
Unevictable:      479540 kB
Mlocked:          446836 kB
SwapTotal:      67108856 kB
SwapFree:       67100316 kB
Dirty:             16324 kB
Writeback:             0 kB
AnonPages:       1670384 kB
Mapped:            10548 kB
Shmem:                 0 kB
Slab:             566552 kB
SReclaimable:      11020 kB
SUnreclaim:       555532 kB
KernelStack:        1504 kB
PageTables:         7124 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1707304 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1216512 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

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