Trace number 4093712

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.51

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-41-40--soft-0-100-0.wbo
MD5SUM19fe712a4f6ee0b978bb364f3985a5e4
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark1
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 variables1640
Total number of constraints81
Number of soft constraints81
Number of constraints which are clauses41
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 constraint41
Top cost 4603
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 4602
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 42
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T18:03:19+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-4093712-1466092999.wbo"]
0.00/0.01	c use --random-gen="455964404 65535239 2984935248 129694795 3277372663 4002038752 3324527871 1041357693 955443967 2561024481 1543459533 4050441359 2297814700 624939088 823377499 1249104546 2093151779 2926491273 1287044803 3005574180 237667105 4042025305 1510506652 3158612349 768237483 2124212471 1167256209 1530215319 2097811364 2903064187 3850836548 4075553652 1064122609 4047045385 2729295061 499076379 2771777894 764851247 1706428054 3151973115 117019114 1961120394 1738434969 3299721550 89785693 3024124853 1061060112 3191318073 3945557725 1574991363 4221158113 3076535317 3709716649 40687802 1219620421 2369028983 3509238843 3428898230 492381268 503328597 2915910813 244207843 2424684896 4059189062 1341623516 536935240 3064580313 1725414767 2988885205 3249388546 348538133 75597496 268879385 4152846462 1080454246 604788585 1971244827 78152490 564231849 3242100875 1966912930 2378160801 2873513583 1244295254 1909916046 163066359 3440469201 262528138 4207369704 1370597458 3717276334 891060974 2999000936 3794772657 571707266 3831168925 1402081326 2444799686 948960511 618214971 1982181080 2298316607 3928095135 339609167 1895000510 44309481 2052106186 3291903869 1102299962 3995150445 2920785226 1815441451 3965911299 2792591989 2554814691 3956368316 3774969403 301477778 236764226 596849797 3094364886 3971746245 224331113 1147703217 2271322278 3476560451 3143168079 1811877102 2695408039 601211819 1609286916 158879400 602528628 2614989054 406555982 1507450650 1885839553 1953819803 2049047902 1480403522 3375662429 2805982399 4025591042 1600927728 3545981390 4035790911 681209427 372972754 3357454135 3370281111 1568314143 2222526947 1279189551 2552942411 1123644586 1473791473 1464526908 184245404 2860362055 2531932781 2624888935 2440189155 3032758057 1602287416 2558986720 2707264736 138412107 2119705908 3474795106 3444677505 1921753379 2876325968 3699296176 511931162 1228080906 277038510 3583856202 1345572546 2072242460 1968258368 4205439312 3127244972 3290531119 3458191088 3798953698 423906467 1697810336 2456267100 812472987 1822736377 592326396 2491725079 2203839394 1649670144 638233152 2226327190 1342377297 160184269 2651812723 2510504483 2819630736 294741795 2602644866 3792065350 3420011970 2357157691 3010131997 138155953 1589768629 1527012003 1499416839 1071961957 883235671 887348175 3360006411 2043187412 1366784915 14992715 623058162 856362350 1700710598 3463789362 1916716911 2335840480 1313257578 2405144111 1509024856 3523944387 561509941 3790679798 300655030 844912717 4114343707 1780459878 776097487 1764537681 2287767153 4060591973 1299595038 4098156350 2080388551 3269272959 2257840856 2779545125 2440453326 2392977965 1969336210 876264134 2638611770 4185551307 1545865139 2386969978 2456591114 1717555153 2553533887 2244408237 255 362436" option to reproduce the execution
0.00/0.09	c #vars 1640
0.00/0.09	c #constraints 81
0.08/0.10	c BCD2: Hardening is enabled.
0.08/0.10	c BCD2: BiasedSearch is enabled.
0.08/0.10	c Solving starts ...
0.08/0.10	c ============================[ Search Statistics ]============================
0.08/0.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.10	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.10	c =============================================================================
0.08/0.10	c  0.0s |       0 |        0 |        0 |      600      0 |        0 |        0
0.08/0.10	c  0.0s |       0 |      121 |        0 |      600      0 |        0 |        0
0.08/0.10	c #cpu_time = 0.002s
0.08/0.10	c #wall_clock_time = 0.002s
0.08/0.10	c #decision = 121
0.08/0.10	c #random_decision = 1
0.08/0.10	c #conflict = 0
0.08/0.10	c #restart = 0
0.08/0.10	o 1937
0.08/0.10	c BCD2: updating upper bound: 4602 -> 1936
0.08/0.10	c BCD2: 0 <= obj <= 1936
0.08/0.10	c BCD2: #cores=0, #unrelaxed=81, #relaxed=0, #hardened=0
0.08/0.10	c BCD2: #sat=1 #unsat=1 bias=1/2
0.08/0.10	c Solving starts ...
0.08/0.10	c ============================[ Search Statistics ]============================
0.08/0.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.10	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.10	c =============================================================================
0.08/0.10	c  0.0s |       0 |        0 |        0 |      600      0 |        0 |        0
0.08/0.15	c  0.0s |       1 |      233 |      100 |      600      0 |        0 |        0
0.19/0.28	c  0.2s |       2 |     1063 |      250 |      660      0 |        0 |        0
0.49/0.50	c  0.4s |       3 |     2632 |      475 |      727      0 |        0 |        0
0.89/0.98	c  0.9s |       4 |     4055 |      813 |      800      0 |        0 |        0
1.39/1.50	c  1.4s |       5 |     5574 |     1320 |      881      1 |        0 |        0
2.20/2.30	c  2.2s |       6 |     7576 |     2081 |     1067      2 |        0 |        0
3.40/3.46	c  3.4s |       7 |     9874 |     3223 |     1174      3 |        0 |        0
5.39/5.49	c  5.4s |       7 |    13579 |     4823 |     1174      4 |        0 |        0
5.60/5.67	c  5.6s |       8 |    13697 |     4936 |     1292      4 |        0 |        0
7.80/7.88	c  7.8s |       8 |    16461 |     6336 |     1292      6 |        0 |        0
10.00/10.03	c  9.9s |       8 |    17599 |     7336 |     1292      7 |        0 |        0
10.29/10.37	c 10.3s |       9 |    17790 |     7506 |     1422      7 |        0 |        0
12.49/12.50	c 12.4s |       9 |    20830 |     9406 |     1422      8 |        0 |        0
14.59/14.61	c 14.5s |       9 |    22656 |    11006 |     1422      9 |        0 |        0
15.19/15.21	c 15.1s |      10 |    23034 |    11361 |     1565     10 |        0 |        0
17.39/17.41	c 17.3s |      10 |    25788 |    12661 |     1565     11 |        0 |        0
19.49/19.53	c 19.4s |      10 |    26688 |    13461 |     1565     11 |        0 |        0
21.59/21.65	c 21.5s |      10 |    28155 |    14661 |     1565     12 |        0 |        0
23.69/23.72	c 23.6s |      10 |    29474 |    15761 |     1565     13 |        0 |        0
25.78/25.86	c 25.8s |      10 |    30700 |    16861 |     1565     13 |        0 |        0
26.39/26.49	c 26.4s |      11 |    31028 |    17144 |     1722     14 |        0 |        0
28.48/28.53	c 28.4s |      11 |    34094 |    18844 |     1722     15 |        0 |        0
30.58/30.61	c 30.5s |      11 |    35666 |    20244 |     1722     16 |        0 |        0
32.68/32.71	c 32.6s |      11 |    37303 |    21644 |     1722     17 |        0 |        0
34.68/34.72	c 34.6s |      11 |    38619 |    22844 |     1722     17 |        0 |        0
36.68/36.74	c 36.6s |      11 |    40679 |    23944 |     1722     18 |        0 |        0
38.78/38.85	c 38.8s |      11 |    42337 |    25144 |     1722     19 |        0 |        0
40.38/40.41	c 40.3s |      12 |    43099 |    25819 |     1895     19 |        0 |        0
42.38/42.43	c 42.3s |      12 |    46054 |    27419 |     1895     20 |        0 |        0
44.38/44.49	c 44.4s |      12 |    47500 |    28719 |     1895     21 |        0 |        0
46.58/46.66	c 46.6s |      12 |    49060 |    30019 |     1895     22 |        0 |        0
48.59/48.68	c 48.6s |      12 |    50610 |    31219 |     1895     22 |        0 |        0
50.69/50.71	c 50.6s |      12 |    51884 |    32319 |     1895     23 |        0 |        0
52.89/52.92	c 52.8s |      12 |    53271 |    33419 |     1895     24 |        0 |        0
54.88/54.94	c 54.8s |      12 |    54861 |    34719 |     1895     24 |        0 |        0
56.98/57.05	c 56.9s |      12 |    56345 |    36019 |     1895     25 |        0 |        0
59.18/59.25	c 59.1s |      12 |    57688 |    37219 |     1895     26 |        0 |        0
61.18/61.25	c 61.2s |      12 |    58791 |    38219 |     1895     26 |        0 |        0
62.28/62.34	c 62.2s |      13 |    59545 |    38832 |     2085     26 |        0 |        0
64.28/64.37	c 64.3s |      13 |    62039 |    40232 |     2085     27 |        0 |        0
66.48/66.56	c 66.5s |      13 |    63487 |    41532 |     2085     28 |        0 |        0
68.58/68.63	c 68.5s |      13 |    64724 |    42632 |     2085     29 |        0 |        0
70.68/70.78	c 70.7s |      13 |    66291 |    44032 |     2085     29 |        0 |        0
72.88/72.90	c 72.8s |      13 |    67766 |    45332 |     2085     30 |        0 |        0
74.98/75.03	c 74.9s |      13 |    69116 |    46532 |     2085     31 |        0 |        0
77.09/77.13	c 77.0s |      13 |    70466 |    47732 |     2085     31 |        0 |        0
79.08/79.17	c 79.1s |      13 |    71800 |    48932 |     2085     32 |        0 |        0
81.28/81.40	c 81.3s |      13 |    73096 |    50132 |     2085     33 |        0 |        0
83.48/83.56	c 83.5s |      13 |    74445 |    51332 |     2085     33 |        0 |        0
85.68/85.71	c 85.6s |      13 |    75925 |    52632 |     2085     34 |        0 |        0
87.68/87.76	c 87.7s |      13 |    77274 |    53832 |     2085     35 |        0 |        0
89.78/89.83	c 89.7s |      13 |    78557 |    55032 |     2085     35 |        0 |        0
91.88/91.93	c 91.8s |      13 |    80128 |    56432 |     2085     36 |        0 |        0
93.98/94.05	c 94.0s |      13 |    81583 |    57732 |     2085     37 |        0 |        0
95.08/95.11	c 95.0s |      14 |    82257 |    58352 |     2294     37 |        0 |        0
97.08/97.13	c 97.0s |      14 |    85094 |    60052 |     2294     38 |        0 |        0
99.18/99.26	c 99.2s |      14 |    86676 |    61452 |     2294     39 |        0 |        0
101.28/101.33	c  101s |      14 |    88282 |    62852 |     2294     39 |        0 |        0
103.27/103.35	c  103s |      14 |    89926 |    64252 |     2294     40 |        0 |        0
105.37/105.47	c  105s |      14 |    91420 |    65552 |     2294     41 |        0 |        0
107.47/107.55	c  107s |      14 |    92796 |    66752 |     2294     42 |        0 |        0
109.57/109.68	c  109s |      14 |    94158 |    67952 |     2294     42 |        0 |        0
111.77/111.89	c  111s |      14 |    95501 |    69152 |     2294     43 |        0 |        0
113.97/114.01	c  113s |      14 |    96842 |    70352 |     2294     43 |        0 |        0
115.97/116.02	c  115s |      14 |    98089 |    71452 |     2294     44 |        0 |        0
117.97/118.09	c  117s |      14 |    99473 |    72652 |     2294     45 |        0 |        0
120.07/120.13	c  120s |      14 |   101029 |    74052 |     2294     45 |        0 |        0
122.18/122.24	c  122s |      14 |   102617 |    75452 |     2294     46 |        0 |        0
124.28/124.38	c  124s |      14 |   103999 |    76652 |     2294     47 |        0 |        0
126.37/126.45	c  126s |      14 |   105240 |    77752 |     2294     47 |        0 |        0
128.47/128.51	c  128s |      14 |   106692 |    79052 |     2294     48 |        0 |        0
130.47/130.53	c  130s |      14 |   108097 |    80252 |     2294     48 |        0 |        0
132.57/132.63	c  132s |      14 |   109603 |    81552 |     2294     49 |        0 |        0
134.57/134.67	c  134s |      14 |   110886 |    82652 |     2294     50 |        0 |        0
136.67/136.79	c  136s |      14 |   112339 |    83952 |     2294     50 |        0 |        0
138.76/138.85	c  138s |      14 |   113888 |    85252 |     2294     51 |        0 |        0
140.87/140.94	c  140s |      14 |   115354 |    86552 |     2294     52 |        0 |        0
142.56/142.64	c  142s |      15 |   116555 |    87632 |     2524     52 |        0 |        0
144.56/144.68	c  144s |      15 |   119473 |    89532 |     2524     53 |        0 |        0
146.66/146.73	c  146s |      15 |   121170 |    91032 |     2524     54 |        0 |        0
148.66/148.79	c  148s |      15 |   122693 |    92432 |     2524     55 |        0 |        0
150.86/150.94	c  150s |      15 |   124281 |    93832 |     2524     55 |        0 |        0
152.87/153.00	c  152s |      15 |   125614 |    95032 |     2524     56 |        0 |        0
154.96/155.04	c  154s |      15 |   126804 |    96132 |     2524     56 |        0 |        0
156.96/157.05	c  156s |      15 |   127988 |    97232 |     2524     57 |        0 |        0
159.06/159.15	c  159s |      15 |   129193 |    98332 |     2524     58 |        0 |        0
161.06/161.15	c  161s |      15 |   130528 |    99532 |     2524     58 |        0 |        0
163.16/163.28	c  163s |      15 |   131961 |   100832 |     2524     59 |        0 |        0
165.26/165.36	c  165s |      15 |   133484 |   102232 |     2524     59 |        0 |        0
167.46/167.50	c  167s |      15 |   134897 |   103532 |     2524     60 |        0 |        0
169.47/169.59	c  169s |      15 |   136400 |   104932 |     2524     61 |        0 |        0
171.57/171.70	c  171s |      15 |   137841 |   106232 |     2524     61 |        0 |        0
173.77/173.86	c  173s |      15 |   139278 |   107532 |     2524     62 |        0 |        0
175.87/175.91	c  175s |      15 |   140614 |   108732 |     2524     63 |        0 |        0
177.97/178.03	c  177s |      15 |   142034 |   110032 |     2524     63 |        0 |        0
180.07/180.15	c  180s |      15 |   143468 |   111332 |     2524     64 |        0 |        0
182.27/182.30	c  182s |      15 |   144880 |   112632 |     2524     65 |        0 |        0
184.27/184.31	c  184s |      15 |   146336 |   113932 |     2524     65 |        0 |        0
186.26/186.39	c  186s |      15 |   147675 |   115132 |     2524     66 |        0 |        0
188.36/188.46	c  188s |      15 |   149353 |   116632 |     2524     66 |        0 |        0
190.46/190.56	c  190s |      15 |   150781 |   117932 |     2524     67 |        0 |        0
192.47/192.60	c  192s |      15 |   152003 |   119032 |     2524     68 |        0 |        0
194.56/194.64	c  194s |      15 |   153731 |   120532 |     2524     68 |        0 |        0
196.56/196.65	c  196s |      15 |   155197 |   121832 |     2524     69 |        0 |        0
198.66/198.70	c  198s |      15 |   156520 |   123032 |     2524     70 |        0 |        0
200.76/200.81	c  200s |      15 |   158023 |   124332 |     2524     70 |        0 |        0
202.86/202.94	c  202s |      15 |   159376 |   125532 |     2524     71 |        0 |        0
205.06/205.11	c  205s |      15 |   161014 |   126932 |     2524     71 |        0 |        0
207.16/207.20	c  207s |      15 |   162441 |   128232 |     2524     72 |        0 |        0
209.16/209.28	c  209s |      15 |   163782 |   129432 |     2524     73 |        0 |        0
211.27/211.35	c  211s |      15 |   165332 |   130732 |     2777     73 |        0 |        0
212.56/212.66	c  212s |      16 |   166276 |   131552 |     2777     74 |        0 |        0
214.57/214.66	c  214s |      16 |   169027 |   133252 |     2777     74 |        0 |        0
216.67/216.80	c  216s |      16 |   170574 |   134552 |     2777     75 |        0 |        0
218.87/218.91	c  218s |      16 |   171899 |   135752 |     2777     76 |        0 |        0
220.86/220.98	c  220s |      16 |   173209 |   136952 |     2777     76 |        0 |        0
222.86/222.98	c  222s |      16 |   174428 |   138052 |     2777     77 |        0 |        0
224.86/224.99	c  224s |      16 |   175766 |   139252 |     2777     77 |        0 |        0
227.06/227.16	c  227s |      16 |   176970 |   140352 |     2777     78 |        0 |        0
229.16/229.27	c  229s |      16 |   178305 |   141552 |     2777     78 |        0 |        0
231.16/231.28	c  231s |      16 |   179558 |   142652 |     2777     79 |        0 |        0
233.26/233.33	c  233s |      16 |   181029 |   143952 |     2777     79 |        0 |        0
235.36/235.41	c  235s |      16 |   182273 |   145052 |     2777     80 |        0 |        0
237.45/237.53	c  237s |      16 |   183671 |   146252 |     2777     80 |        0 |        0
239.45/239.55	c  239s |      16 |   184873 |   147352 |     2777     81 |        0 |        0
241.45/241.59	c  241s |      16 |   186120 |   148452 |     2777     81 |        0 |        0
243.65/243.78	c  243s |      16 |   187479 |   149652 |     2777     82 |        0 |        0
245.75/245.80	c  245s |      16 |   188757 |   150752 |     2777     82 |        0 |        0
247.75/247.89	c  247s |      16 |   190007 |   151852 |     2777     83 |        0 |        0
249.85/249.92	c  249s |      16 |   191106 |   152852 |     2777     83 |        0 |        0
251.86/251.94	c  251s |      16 |   192219 |   153852 |     2777     84 |        0 |        0
253.85/253.96	c  253s |      16 |   193328 |   154852 |     2777     84 |        0 |        0
256.05/256.12	c  256s |      16 |   194562 |   155952 |     2777     85 |        0 |        0
258.05/258.12	c  258s |      16 |   195739 |   157052 |     2777     85 |        0 |        0
260.15/260.20	c  260s |      16 |   196826 |   158052 |     2777     86 |        0 |        0
262.35/262.40	c  262s |      16 |   198026 |   159152 |     2777     86 |        0 |        0
264.35/264.44	c  264s |      16 |   199043 |   160052 |     2777     87 |        0 |        0
266.35/266.44	c  266s |      16 |   200511 |   161352 |     2777     87 |        0 |        0
268.36/268.50	c  268s |      16 |   201796 |   162452 |     2777     88 |        0 |        0
270.45/270.58	c  270s |      16 |   203159 |   163652 |     2777     88 |        0 |        0
272.55/272.62	c  272s |      16 |   204499 |   164852 |     2777     89 |        0 |        0
274.55/274.69	c  274s |      16 |   205864 |   166052 |     2777     89 |        0 |        0
276.75/276.82	c  276s |      16 |   207028 |   167052 |     2777     90 |        0 |        0
278.75/278.86	c  278s |      16 |   208386 |   168252 |     2777     90 |        0 |        0
280.85/280.91	c  280s |      16 |   209614 |   169352 |     2777     91 |        0 |        0
282.95/283.00	c  282s |      16 |   210858 |   170452 |     2777     91 |        0 |        0
284.95/285.09	c  284s |      16 |   212226 |   171652 |     2777     92 |        0 |        0
287.25/287.31	c  287s |      16 |   213445 |   172752 |     2777     92 |        0 |        0
289.35/289.45	c  289s |      16 |   214853 |   173952 |     2777     93 |        0 |        0
291.45/291.59	c  291s |      16 |   216242 |   175152 |     2777     94 |        0 |        0
293.55/293.63	c  293s |      16 |   217549 |   176352 |     2777     94 |        0 |        0
295.55/295.68	c  295s |      16 |   218801 |   177452 |     2777     95 |        0 |        0
297.65/297.79	c  297s |      16 |   220140 |   178652 |     2777     95 |        0 |        0
299.75/299.84	c  299s |      16 |   221477 |   179852 |     2777     96 |        0 |        0
301.85/301.92	c  301s |      16 |   222671 |   180952 |     2777     96 |        0 |        0
303.84/303.97	c  303s |      16 |   223920 |   182052 |     2777     97 |        0 |        0
306.04/306.16	c  306s |      16 |   225223 |   183252 |     2777     97 |        0 |        0
308.05/308.18	c  308s |      16 |   226295 |   184252 |     2777     98 |        0 |        0
310.15/310.30	c  310s |      16 |   227638 |   185452 |     2777     98 |        0 |        0
312.24/312.38	c  312s |      16 |   228849 |   186552 |     2777     99 |        0 |        0
314.34/314.41	c  314s |      16 |   230181 |   187752 |     2777     99 |        0 |        0
316.44/316.50	c  316s |      16 |   231376 |   188852 |     2777    100 |        0 |        0
318.54/318.63	c  318s |      16 |   232626 |   189952 |     2777    100 |        0 |        0
320.64/320.79	c  320s |      16 |   234103 |   191252 |     2777    101 |        0 |        0
322.74/322.81	c  322s |      16 |   235292 |   192352 |     2777    101 |        0 |        0
324.74/324.81	c  324s |      16 |   236545 |   193452 |     2777    102 |        0 |        0
326.94/327.05	c  326s |      16 |   237900 |   194652 |     2777    103 |        0 |        0
329.14/329.20	c  329s |      16 |   239380 |   195952 |     2777    103 |        0 |        0
331.34/331.45	c  331s |      16 |   240706 |   197152 |     3055    104 |        0 |        0
331.94/332.01	c  331s |      17 |   241027 |   197432 |     3055    104 |        0 |        0
334.04/334.16	c  334s |      17 |   243529 |   198932 |     3055    104 |        0 |        0
336.14/336.27	c  336s |      17 |   244937 |   200132 |     3055    105 |        0 |        0
338.34/338.42	c  338s |      17 |   246365 |   201332 |     3055    105 |        0 |        0
340.44/340.58	c  340s |      17 |   247727 |   202532 |     3055    106 |        0 |        0
342.54/342.62	c  342s |      17 |   248857 |   203532 |     3055    106 |        0 |        0
344.74/344.80	c  344s |      17 |   249934 |   204532 |     3055    107 |        0 |        0
346.74/346.88	c  346s |      17 |   251190 |   205632 |     3055    107 |        0 |        0
348.94/349.03	c  348s |      17 |   252462 |   206732 |     3055    108 |        0 |        0
350.94/351.05	c  350s |      17 |   253674 |   207832 |     3055    108 |        0 |        0
353.14/353.22	c  353s |      17 |   254773 |   208832 |     3055    109 |        0 |        0
355.24/355.31	c  355s |      17 |   256317 |   210132 |     3055    109 |        0 |        0
357.33/357.43	c  357s |      17 |   257563 |   211232 |     3055    110 |        0 |        0
359.43/359.55	c  359s |      17 |   258992 |   212432 |     3055    110 |        0 |        0
361.53/361.63	c  361s |      17 |   260118 |   213432 |     3055    111 |        0 |        0
363.63/363.70	c  363s |      17 |   261229 |   214432 |     3055    111 |        0 |        0
365.63/365.73	c  365s |      17 |   262262 |   215332 |     3055    111 |        0 |        0
367.73/367.84	c  367s |      17 |   263405 |   216332 |     3055    112 |        0 |        0
369.93/370.03	c  369s |      17 |   264621 |   217432 |     3055    112 |        0 |        0
371.93/372.09	c  371s |      17 |   265631 |   218332 |     3055    113 |        0 |        0
374.04/374.12	c  374s |      17 |   266758 |   219332 |     3055    113 |        0 |        0
376.24/376.31	c  376s |      17 |   267840 |   220332 |     3055    114 |        0 |        0
378.34/378.46	c  378s |      17 |   268926 |   221332 |     3055    114 |        0 |        0
380.43/380.50	c  380s |      17 |   269922 |   222232 |     3055    114 |        0 |        0
382.53/382.69	c  382s |      17 |   271010 |   223232 |     3055    115 |        0 |        0
384.83/384.94	c  384s |      17 |   272126 |   224232 |     3055    115 |        0 |        0
387.03/387.13	c  387s |      17 |   273186 |   225132 |     3055    116 |        0 |        0
389.03/389.13	c  389s |      17 |   274290 |   226132 |     3055    116 |        0 |        0
391.23/391.35	c  391s |      17 |   275451 |   227132 |     3055    116 |        0 |        0
393.33/393.44	c  393s |      17 |   276478 |   228032 |     3055    117 |        0 |        0
395.43/395.52	c  395s |      17 |   277612 |   229032 |     3055    117 |        0 |        0
397.53/397.68	c  397s |      17 |   278588 |   229832 |     3055    118 |        0 |        0
399.63/399.72	c  399s |      17 |   279499 |   230632 |     3055    118 |        0 |        0
401.82/401.99	c  401s |      17 |   280375 |   231432 |     3055    118 |        0 |        0
404.12/404.23	c  404s |      17 |   281396 |   232332 |     3055    119 |        0 |        0
406.32/406.43	c  406s |      17 |   282141 |   233032 |     3055    119 |        0 |        0
408.32/408.47	c  408s |      17 |   283089 |   233832 |     3055    119 |        0 |        0
410.52/410.61	c  410s |      17 |   284494 |   235032 |     3055    120 |        0 |        0
412.62/412.73	c  412s |      17 |   285714 |   236032 |     3055    120 |        0 |        0
414.73/414.81	c  414s |      17 |   286781 |   236932 |     3055    121 |        0 |        0
416.72/416.85	c  416s |      17 |   287791 |   237832 |     3055    121 |        0 |        0
419.03/419.14	c  419s |      17 |   288914 |   238832 |     3055    122 |        0 |        0
421.12/421.30	c  421s |      17 |   290031 |   239832 |     3055    122 |        0 |        0
423.32/423.41	c  423s |      17 |   291309 |   240932 |     3055    122 |        0 |        0
425.32/425.42	c  425s |      17 |   292476 |   241932 |     3055    123 |        0 |        0
427.32/427.43	c  427s |      17 |   293508 |   242832 |     3055    123 |        0 |        0
429.42/429.53	c  429s |      17 |   294497 |   243732 |     3055    124 |        0 |        0
431.52/431.69	c  431s |      17 |   295751 |   244832 |     3055    124 |        0 |        0
433.62/433.72	c  433s |      17 |   296758 |   245732 |     3055    124 |        0 |        0
435.62/435.77	c  435s |      17 |   297866 |   246732 |     3055    125 |        0 |        0
437.62/437.79	c  437s |      17 |   299016 |   247732 |     3055    125 |        0 |        0
439.72/439.83	c  439s |      17 |   300053 |   248632 |     3055    126 |        0 |        0
441.72/441.84	c  441s |      17 |   301407 |   249732 |     3055    126 |        0 |        0
443.92/444.01	c  443s |      17 |   302551 |   250732 |     3055    127 |        0 |        0
446.02/446.14	c  446s |      17 |   303832 |   251732 |     3055    127 |        0 |        0
448.12/448.25	c  448s |      17 |   305093 |   252632 |     3055    127 |        0 |        0
450.21/450.31	c  450s |      17 |   306406 |   253532 |     3055    128 |        0 |        0
452.41/452.53	c  452s |      17 |   307471 |   254432 |     3055    128 |        0 |        0
454.61/454.70	c  454s |      17 |   308681 |   255432 |     3055    129 |        0 |        0
456.71/456.82	c  456s |      17 |   309862 |   256432 |     3055    129 |        0 |        0
458.72/458.89	c  458s |      17 |   310917 |   257332 |     3055    129 |        0 |        0
460.92/461.01	c  460s |      17 |   312035 |   258332 |     3055    130 |        0 |        0
463.12/463.22	c  463s |      17 |   313352 |   259332 |     3055    130 |        0 |        0
465.11/465.27	c  465s |      17 |   314455 |   260232 |     3055    131 |        0 |        0
467.21/467.30	c  467s |      17 |   315800 |   261132 |     3055    131 |        0 |        0
469.42/469.55	c  469s |      17 |   316977 |   262032 |     3055    132 |        0 |        0
471.62/471.71	c  471s |      17 |   318267 |   263032 |     3055    132 |        0 |        0
473.62/473.74	c  473s |      17 |   319501 |   263932 |     3055    132 |        0 |        0
475.82/475.93	c  475s |      17 |   320642 |   264832 |     3055    133 |        0 |        0
477.82/477.97	c  477s |      17 |   322057 |   265932 |     3055    133 |        0 |        0
479.92/480.04	c  479s |      17 |   323116 |   266832 |     3055    134 |        0 |        0
482.02/482.12	c  482s |      17 |   324276 |   267732 |     3055    134 |        0 |        0
484.03/484.18	c  484s |      17 |   325330 |   268632 |     3055    134 |        0 |        0
486.23/486.35	c  486s |      17 |   326406 |   269532 |     3055    135 |        0 |        0
488.22/488.36	c  488s |      17 |   327166 |   270232 |     3055    135 |        0 |        0
490.42/490.56	c  490s |      17 |   328411 |   271132 |     3055    135 |        0 |        0
492.42/492.58	c  492s |      17 |   329638 |   272032 |     3055    136 |        0 |        0
494.52/494.62	c  494s |      17 |   330688 |   272932 |     3055    136 |        0 |        0
496.72/496.81	c  496s |      17 |   331710 |   273832 |     3055    137 |        0 |        0
498.82/498.97	c  498s |      17 |   332740 |   274732 |     3055    137 |        0 |        0
500.92/501.04	c  500s |      17 |   333649 |   275532 |     3055    137 |        0 |        0
503.02/503.18	c  503s |      17 |   334891 |   276532 |     3055    138 |        0 |        0
505.12/505.28	c  505s |      17 |   336048 |   277532 |     3055    138 |        0 |        0
507.31/507.46	c  507s |      17 |   336961 |   278332 |     3055    139 |        0 |        0
509.41/509.51	c  509s |      17 |   338151 |   279332 |     3055    139 |        0 |        0
511.52/511.67	c  511s |      17 |   339501 |   280432 |     3055    139 |        0 |        0
513.81/513.90	c  513s |      17 |   340708 |   281432 |     3055    140 |        0 |        0
515.82/515.97	c  515s |      17 |   341736 |   282332 |     3055    140 |        0 |        0
517.91/518.00	c  517s |      17 |   342627 |   283132 |     3055    141 |        0 |        0
519.91/520.02	c  519s |      17 |   343506 |   283932 |     3055    141 |        0 |        0
522.01/522.10	c  521s |      17 |   344441 |   284732 |     3055    141 |        0 |        0
524.11/524.27	c  524s |      17 |   345452 |   285632 |     3055    142 |        0 |        0
526.31/526.48	c  526s |      17 |   346426 |   286532 |     3055    142 |        0 |        0
528.51/528.68	c  528s |      17 |   347321 |   287332 |     3055    142 |        0 |        0
530.61/530.77	c  530s |      17 |   348132 |   288032 |     3055    143 |        0 |        0
532.91/533.01	c  532s |      17 |   349027 |   288832 |     3055    143 |        0 |        0
535.01/535.13	c  535s |      17 |   350084 |   289732 |     3055    143 |        0 |        0
537.11/537.22	c  537s |      17 |   351352 |   290732 |     3055    144 |        0 |        0
539.21/539.35	c  539s |      17 |   352562 |   291732 |     3055    144 |        0 |        0
541.31/541.45	c  541s |      17 |   353585 |   292632 |     3055    145 |        0 |        0
543.41/543.51	c  543s |      17 |   354456 |   293432 |     3055    145 |        0 |        0
545.51/545.61	c  545s |      17 |   355359 |   294232 |     3361    145 |        0 |        0
547.61/547.75	c  547s |      17 |   356258 |   295032 |     3361    146 |        0 |        0
549.81/549.90	c  549s |      17 |   357306 |   295932 |     3361    146 |        0 |        0
550.51/550.67	c  550s |      18 |   357692 |   296252 |     3361    146 |        0 |        0
552.61/552.73	c  552s |      18 |   360346 |   297852 |     3361    147 |        0 |        0
554.80/554.95	c  554s |      18 |   361946 |   299252 |     3361    148 |        0 |        0
557.00/557.12	c  557s |      18 |   363413 |   300552 |     3361    148 |        0 |        0
559.20/559.31	c  559s |      18 |   364757 |   301752 |     3361    149 |        0 |        0
561.30/561.49	c  561s |      18 |   366277 |   303052 |     3361    149 |        0 |        0
563.60/563.75	c  563s |      18 |   367666 |   304252 |     3361    150 |        0 |        0
565.60/565.77	c  565s |      18 |   369181 |   305552 |     3361    150 |        0 |        0
567.80/567.91	c  567s |      18 |   370645 |   306852 |     3361    151 |        0 |        0
569.90/570.02	c  569s |      18 |   372067 |   308152 |     3361    151 |        0 |        0
572.01/572.14	c  572s |      18 |   373362 |   309252 |     3361    152 |        0 |        0
574.11/574.23	c  574s |      18 |   374613 |   310352 |     3361    152 |        0 |        0
576.20/576.40	c  576s |      18 |   375739 |   311352 |     3361    152 |        0 |        0
578.40/578.56	c  578s |      18 |   376819 |   312352 |     3361    153 |        0 |        0
580.40/580.59	c  580s |      18 |   377964 |   313352 |     3361    153 |        0 |        0
582.50/582.62	c  582s |      18 |   379206 |   314452 |     3361    154 |        0 |        0
584.50/584.63	c  584s |      18 |   380409 |   315552 |     3361    154 |        0 |        0
586.70/586.82	c  586s |      18 |   381539 |   316552 |     3361    155 |        0 |        0
588.70/588.87	c  588s |      18 |   382751 |   317652 |     3361    155 |        0 |        0
590.80/590.94	c  590s |      18 |   383972 |   318752 |     3361    155 |        0 |        0
592.80/592.97	c  592s |      18 |   385058 |   319752 |     3361    156 |        0 |        0
595.00/595.13	c  595s |      18 |   386160 |   320752 |     3361    156 |        0 |        0
597.20/597.32	c  597s |      18 |   387314 |   321752 |     3361    157 |        0 |        0
599.29/599.48	c  599s |      18 |   388413 |   322752 |     3361    157 |        0 |        0
601.39/601.57	c  601s |      18 |   389697 |   323852 |     3361    157 |        0 |        0
603.49/603.65	c  603s |      18 |   390914 |   324952 |     3361    158 |        0 |        0
605.59/605.79	c  605s |      18 |   392112 |   326052 |     3361    158 |        0 |        0
607.69/607.80	c  607s |      18 |   393222 |   327052 |     3361    159 |        0 |        0
609.79/609.92	c  609s |      18 |   394431 |   328152 |     3361    159 |        0 |        0
611.79/611.92	c  611s |      18 |   395425 |   329052 |     3361    160 |        0 |        0
613.99/614.10	c  614s |      18 |   396615 |   330152 |     3361    160 |        0 |        0
616.09/616.25	c  616s |      18 |   397768 |   331152 |     3361    160 |        0 |        0
618.29/618.49	c  618s |      18 |   398769 |   332052 |     3361    161 |        0 |        0
620.40/620.51	c  620s |      18 |   399779 |   332952 |     3361    161 |        0 |        0
622.50/622.69	c  622s |      18 |   400785 |   333852 |     3361    161 |        0 |        0
624.70/624.89	c  624s |      18 |   401795 |   334752 |     3361    162 |        0 |        0
626.90/627.09	c  626s |      18 |   402829 |   335652 |     3361    162 |        0 |        0
629.20/629.30	c  629s |      18 |   403708 |   336452 |     3361    163 |        0 |        0
631.19/631.38	c  631s |      18 |   404607 |   337252 |     3361    163 |        0 |        0
633.39/633.52	c  633s |      18 |   405493 |   338052 |     3361    163 |        0 |        0
635.39/635.54	c  635s |      18 |   406869 |   339252 |     3361    164 |        0 |        0
637.49/637.62	c  637s |      18 |   408244 |   340452 |     3361    164 |        0 |        0
639.49/639.63	c  639s |      18 |   409365 |   341452 |     3361    165 |        0 |        0
641.49/641.65	c  641s |      18 |   410559 |   342552 |     3361    165 |        0 |        0
643.69/643.84	c  643s |      18 |   411670 |   343552 |     3361    165 |        0 |        0
645.89/646.00	c  645s |      18 |   412671 |   344452 |     3361    166 |        0 |        0
647.89/648.09	c  647s |      18 |   414083 |   345652 |     3361    166 |        0 |        0
650.09/650.24	c  650s |      18 |   415340 |   346752 |     3361    167 |        0 |        0
652.08/652.29	c  652s |      18 |   416677 |   347952 |     3361    167 |        0 |        0
654.18/654.31	c  654s |      18 |   417816 |   348952 |     3361    168 |        0 |        0
656.18/656.39	c  656s |      18 |   419057 |   350052 |     3361    168 |        0 |        0
658.48/658.60	c  658s |      18 |   420275 |   351152 |     3361    168 |        0 |        0
660.48/660.67	c  660s |      18 |   421529 |   352252 |     3361    169 |        0 |        0
662.68/662.84	c  662s |      18 |   422771 |   353352 |     3361    169 |        0 |        0
664.79/664.91	c  664s |      18 |   423869 |   354352 |     3361    170 |        0 |        0
666.89/667.03	c  666s |      18 |   425085 |   355452 |     3361    170 |        0 |        0
668.89/669.04	c  668s |      18 |   426086 |   356352 |     3361    171 |        0 |        0
671.00/671.11	c  671s |      18 |   427211 |   357352 |     3361    171 |        0 |        0
673.09/673.21	c  673s |      18 |   428424 |   358452 |     3361    171 |        0 |        0
675.19/675.37	c  675s |      18 |   429652 |   359552 |     3361    172 |        0 |        0
677.29/677.42	c  677s |      18 |   430973 |   360752 |     3361    172 |        0 |        0
679.29/679.48	c  679s |      18 |   432188 |   361852 |     3361    173 |        0 |        0
681.39/681.54	c  681s |      18 |   433382 |   362952 |     3361    173 |        0 |        0
683.39/683.57	c  683s |      18 |   434457 |   363952 |     3361    174 |        0 |        0
685.39/685.59	c  685s |      18 |   435706 |   365052 |     3361    174 |        0 |        0
687.49/687.65	c  687s |      18 |   436784 |   366052 |     3361    174 |        0 |        0
689.59/689.75	c  689s |      18 |   437873 |   367052 |     3361    175 |        0 |        0
691.68/691.83	c  691s |      18 |   439124 |   368152 |     3361    175 |        0 |        0
693.78/693.91	c  693s |      18 |   440249 |   369152 |     3361    176 |        0 |        0
695.88/696.04	c  695s |      18 |   441621 |   370352 |     3361    176 |        0 |        0
697.88/698.08	c  697s |      18 |   442840 |   371452 |     3361    177 |        0 |        0
700.08/700.21	c  700s |      18 |   444154 |   372652 |     3361    177 |        0 |        0
702.18/702.34	c  702s |      18 |   445239 |   373652 |     3361    178 |        0 |        0
704.28/704.40	c  704s |      18 |   446443 |   374752 |     3361    178 |        0 |        0
706.28/706.45	c  706s |      18 |   447673 |   375852 |     3361    178 |        0 |        0
708.39/708.59	c  708s |      18 |   448929 |   376952 |     3361    179 |        0 |        0
710.38/710.60	c  710s |      18 |   450185 |   378052 |     3361    179 |        0 |        0
712.58/712.73	c  712s |      18 |   451526 |   379252 |     3361    180 |        0 |        0
714.58/714.75	c  714s |      18 |   452739 |   380352 |     3361    180 |        0 |        0
716.68/716.87	c  716s |      18 |   453847 |   381352 |     3361    181 |        0 |        0
718.88/719.00	c  718s |      18 |   455216 |   382552 |     3361    181 |        0 |        0
720.98/721.18	c  721s |      18 |   456415 |   383652 |     3361    182 |        0 |        0
723.18/723.31	c  723s |      18 |   457644 |   384752 |     3361    182 |        0 |        0
725.38/725.56	c  725s |      18 |   458979 |   385952 |     3361    183 |        0 |        0
727.48/727.67	c  727s |      18 |   460181 |   387052 |     3361    183 |        0 |        0
729.58/729.73	c  729s |      18 |   461278 |   388052 |     3361    183 |        0 |        0
731.57/731.74	c  731s |      18 |   462406 |   389052 |     3361    184 |        0 |        0
733.58/733.77	c  733s |      18 |   463594 |   390152 |     3361    184 |        0 |        0
735.67/735.89	c  735s |      18 |   464711 |   391152 |     3361    185 |        0 |        0
737.77/737.93	c  737s |      18 |   465681 |   392052 |     3361    185 |        0 |        0
739.77/739.95	c  739s |      18 |   466664 |   392952 |     3361    185 |        0 |        0
741.97/742.11	c  742s |      18 |   467633 |   393852 |     3361    186 |        0 |        0
744.07/744.23	c  744s |      18 |   468615 |   394752 |     3361    186 |        0 |        0
746.17/746.38	c  746s |      18 |   469994 |   395952 |     3361    187 |        0 |        0
748.27/748.43	c  748s |      18 |   471505 |   397252 |     3361    187 |        0 |        0
750.36/750.59	c  750s |      18 |   472726 |   398352 |     3361    188 |        0 |        0
752.46/752.65	c  752s |      18 |   473931 |   399452 |     3361    188 |        0 |        0
754.57/754.73	c  754s |      18 |   475272 |   400652 |     3361    188 |        0 |        0
756.56/756.79	c  756s |      18 |   476583 |   401852 |     3361    189 |        0 |        0
758.76/758.91	c  758s |      18 |   477897 |   403052 |     3361    189 |        0 |        0
760.76/760.98	c  760s |      18 |   479236 |   404252 |     3361    190 |        0 |        0
762.96/763.10	c  762s |      18 |   480434 |   405352 |     3361    190 |        0 |        0
765.05/765.22	c  765s |      18 |   481639 |   406452 |     3361    191 |        0 |        0
767.15/767.30	c  767s |      18 |   482801 |   407552 |     3361    191 |        0 |        0
769.15/769.31	c  769s |      18 |   483899 |   408552 |     3361    192 |        0 |        0
771.15/771.34	c  771s |      18 |   485320 |   409752 |     3361    192 |        0 |        0
773.26/773.46	c  773s |      18 |   486579 |   410852 |     3361    193 |        0 |        0
775.25/775.47	c  775s |      18 |   487912 |   412052 |     3361    193 |        0 |        0
777.35/777.51	c  777s |      18 |   489016 |   413052 |     3361    193 |        0 |        0
779.35/779.54	c  779s |      18 |   490253 |   414152 |     3361    194 |        0 |        0
781.35/781.60	c  781s |      18 |   491447 |   415252 |     3361    194 |        0 |        0
783.45/783.63	c  783s |      18 |   492536 |   416252 |     3361    195 |        0 |        0
785.45/785.64	c  785s |      18 |   493633 |   417252 |     3361    195 |        0 |        0
787.55/787.73	c  787s |      18 |   494735 |   418252 |     3361    196 |        0 |        0
789.55/789.73	c  789s |      18 |   495843 |   419252 |     3361    196 |        0 |        0
791.54/791.76	c  791s |      18 |   496823 |   420152 |     3361    196 |        0 |        0
793.64/793.88	c  793s |      18 |   498052 |   421252 |     3361    197 |        0 |        0
795.74/795.97	c  795s |      18 |   499367 |   422452 |     3361    197 |        0 |        0
797.94/798.12	c  798s |      18 |   500438 |   423452 |     3361    198 |        0 |        0
800.04/800.27	c  800s |      18 |   501537 |   424452 |     3361    198 |        0 |        0
802.14/802.36	c  802s |      18 |   503013 |   425752 |     3361    199 |        0 |        0
804.23/804.49	c  804s |      18 |   504373 |   426952 |     3361    199 |        0 |        0
806.33/806.52	c  806s |      18 |   505478 |   427952 |     3361    200 |        0 |        0
808.44/808.61	c  808s |      18 |   506831 |   429152 |     3361    200 |        0 |        0
810.43/810.64	c  810s |      18 |   507926 |   430152 |     3361    200 |        0 |        0
812.53/812.70	c  812s |      18 |   509165 |   431252 |     3361    201 |        0 |        0
814.53/814.71	c  814s |      18 |   510375 |   432352 |     3361    201 |        0 |        0
816.63/816.81	c  816s |      18 |   511499 |   433352 |     3361    202 |        0 |        0
818.73/818.99	c  818s |      18 |   512911 |   434652 |     3361    202 |        0 |        0
820.83/821.06	c  820s |      18 |   513978 |   435652 |     3361    203 |        0 |        0
822.82/823.06	c  822s |      18 |   515286 |   436752 |     3361    203 |        0 |        0
825.02/825.25	c  825s |      18 |   516712 |   437952 |     3361    204 |        0 |        0
827.13/827.32	c  827s |      18 |   518120 |   439152 |     3361    204 |        0 |        0
829.23/829.42	c  829s |      18 |   519514 |   440352 |     3361    205 |        0 |        0
831.32/831.51	c  831s |      18 |   521100 |   441752 |     3698    205 |        0 |        0
833.52/833.72	c  833s |      18 |   522315 |   442852 |     3698    205 |        0 |        0
835.52/835.76	c  835s |      18 |   523637 |   444052 |     3698    206 |        0 |        0
836.32/836.52	c  836s |      19 |   524108 |   444482 |     3698    206 |        0 |        0
838.32/838.53	c  838s |      19 |   527097 |   446382 |     3698    207 |        0 |        0
840.42/840.65	c  840s |      19 |   529032 |   448082 |     3698    208 |        0 |        0
842.52/842.72	c  842s |      19 |   530489 |   449382 |     3698    208 |        0 |        0
844.62/844.82	c  844s |      19 |   531720 |   450482 |     3698    209 |        0 |        0
846.71/846.91	c  846s |      19 |   533264 |   451882 |     3698    209 |        0 |        0
849.02/849.21	c  849s |      19 |   534589 |   453082 |     3698    210 |        0 |        0
851.01/851.25	c  851s |      19 |   536027 |   454382 |     3698    210 |        0 |        0
853.21/853.41	c  853s |      19 |   537471 |   455682 |     3698    210 |        0 |        0
855.21/855.48	c  855s |      19 |   538905 |   456982 |     3698    211 |        0 |        0
857.31/857.59	c  857s |      19 |   540381 |   458282 |     3698    211 |        0 |        0
859.41/859.68	c  859s |      19 |   541813 |   459582 |     3698    212 |        0 |        0
861.60/861.88	c  861s |      19 |   543009 |   460682 |     3698    212 |        0 |        0
863.70/863.90	c  863s |      19 |   544074 |   461682 |     3698    213 |        0 |        0
865.70/865.95	c  865s |      19 |   545382 |   462882 |     3698    213 |        0 |        0
867.71/867.98	c  867s |      19 |   546682 |   464082 |     3698    214 |        0 |        0
869.80/870.09	c  869s |      19 |   548176 |   465382 |     3698    214 |        0 |        0
871.90/872.16	c  872s |      19 |   549644 |   466682 |     3698    215 |        0 |        0
874.00/874.23	c  874s |      19 |   551087 |   467982 |     3698    215 |        0 |        0
876.00/876.23	c  876s |      19 |   552426 |   469182 |     3698    216 |        0 |        0
878.10/878.32	c  878s |      19 |   553894 |   470482 |     3698    216 |        0 |        0
880.30/880.57	c  880s |      19 |   555221 |   471682 |     3698    217 |        0 |        0
882.39/882.67	c  882s |      19 |   556616 |   472982 |     3698    217 |        0 |        0
884.59/884.84	c  884s |      19 |   557917 |   474182 |     3698    217 |        0 |        0
886.69/886.98	c  886s |      19 |   559025 |   475182 |     3698    218 |        0 |        0
888.79/889.01	c  888s |      19 |   560160 |   476182 |     3698    218 |        0 |        0
890.91/891.13	c  891s |      19 |   561384 |   477282 |     3698    219 |        0 |        0
893.01/893.27	c  893s |      19 |   562474 |   478282 |     3698    219 |        0 |        0
895.21/895.44	c  895s |      19 |   563551 |   479282 |     3698    219 |        0 |        0
897.30/897.53	c  897s |      19 |   564635 |   480282 |     3698    220 |        0 |        0
899.40/899.67	c  899s |      19 |   565854 |   481382 |     3698    220 |        0 |        0
901.59/901.81	c  901s |      19 |   566928 |   482382 |     3698    221 |        0 |        0
903.79/904.01	c  903s |      19 |   568134 |   483482 |     3698    221 |        0 |        0
905.89/906.11	c  906s |      19 |   569336 |   484582 |     3698    221 |        0 |        0
907.99/908.27	c  908s |      19 |   570759 |   485882 |     3698    222 |        0 |        0
909.99/910.28	c  910s |      19 |   571940 |   486982 |     3698    222 |        0 |        0
912.19/912.47	c  912s |      19 |   573060 |   487982 |     3698    223 |        0 |        0
914.29/914.50	c  914s |      19 |   574376 |   489182 |     3698    223 |        0 |        0
916.39/916.65	c  916s |      19 |   575571 |   490282 |     3698    224 |        0 |        0
918.49/918.72	c  918s |      19 |   576782 |   491382 |     3698    224 |        0 |        0
920.49/920.75	c  920s |      19 |   578064 |   492582 |     3698    224 |        0 |        0
922.58/922.83	c  922s |      19 |   579246 |   493682 |     3698    225 |        0 |        0
924.68/924.97	c  924s |      19 |   580443 |   494782 |     3698    225 |        0 |        0
926.68/926.99	c  926s |      19 |   581548 |   495782 |     3698    226 |        0 |        0
928.68/928.99	c  928s |      19 |   582724 |   496882 |     3698    226 |        0 |        0
930.97/931.26	c  931s |      19 |   583900 |   497982 |     3698    227 |        0 |        0
933.07/933.37	c  933s |      19 |   585239 |   499182 |     3698    227 |        0 |        0
935.27/935.55	c  935s |      19 |   586546 |   500382 |     3698    227 |        0 |        0
937.37/937.65	c  937s |      19 |   587619 |   501382 |     3698    228 |        0 |        0
939.47/939.70	c  939s |      19 |   588583 |   502282 |     3698    228 |        0 |        0
941.47/941.78	c  941s |      19 |   590546 |   503982 |     3698    229 |        0 |        0
943.67/943.97	c  943s |      19 |   592289 |   505482 |     3698    229 |        0 |        0
945.77/946.00	c  945s |      19 |   593618 |   506682 |     3698    230 |        0 |        0
947.77/948.07	c  947s |      19 |   594853 |   507782 |     3698    230 |        0 |        0
950.07/950.30	c  950s |      19 |   596058 |   508882 |     3698    231 |        0 |        0
952.07/952.38	c  952s |      19 |   597277 |   509982 |     3698    231 |        0 |        0
954.17/954.43	c  954s |      19 |   598369 |   510982 |     3698    231 |        0 |        0
956.27/956.52	c  956s |      19 |   599333 |   511882 |     3698    232 |        0 |        0
958.37/958.64	c  958s |      19 |   600675 |   513082 |     3698    232 |        0 |        0
960.56/960.82	c  960s |      19 |   601775 |   514082 |     3698    233 |        0 |        0
962.66/962.91	c  962s |      19 |   602843 |   515082 |     3698    233 |        0 |        0
964.76/965.06	c  964s |      19 |   604135 |   516182 |     3698    233 |        0 |        0
966.76/967.06	c  966s |      19 |   605165 |   517082 |     3698    234 |        0 |        0
969.06/969.30	c  969s |      19 |   606353 |   518182 |     3698    234 |        0 |        0
971.06/971.34	c  971s |      19 |   607340 |   519082 |     3698    235 |        0 |        0
973.05/973.35	c  973s |      19 |   608450 |   520082 |     3698    235 |        0 |        0
975.15/975.49	c  975s |      19 |   609686 |   521182 |     3698    235 |        0 |        0
977.35/977.62	c  977s |      19 |   610767 |   522182 |     3698    236 |        0 |        0
979.55/979.80	c  979s |      19 |   611953 |   523282 |     3698    236 |        0 |        0
981.55/981.81	c  981s |      19 |   613078 |   524282 |     3698    236 |        0 |        0
983.65/983.90	c  983s |      19 |   614259 |   525382 |     3698    237 |        0 |        0
985.65/985.98	c  985s |      19 |   615367 |   526382 |     3698    237 |        0 |        0
987.74/988.09	c  987s |      19 |   616563 |   527482 |     3698    238 |        0 |        0
989.85/990.12	c  990s |      19 |   617653 |   528482 |     3698    238 |        0 |        0
991.95/992.21	c  992s |      19 |   618830 |   529582 |     3698    238 |        0 |        0
994.04/994.38	c  994s |      19 |   620017 |   530682 |     3698    239 |        0 |        0
996.24/996.52	c  996s |      19 |   621091 |   531682 |     3698    239 |        0 |        0
998.34/998.67	c  998s |      19 |   622186 |   532682 |     3698    240 |        0 |        0
1000.43/1000.76	c 1000s |      19 |   623421 |   533782 |     3698    240 |        0 |        0
1002.63/1002.92	c 1002s |      19 |   624484 |   534782 |     3698    240 |        0 |        0
1004.73/1005.03	c 1004s |      19 |   625425 |   535682 |     3698    241 |        0 |        0
1006.83/1007.14	c 1007s |      19 |   626407 |   536582 |     3698    241 |        0 |        0
1009.13/1009.44	c 1009s |      19 |   627503 |   537582 |     3698    242 |        0 |        0
1011.23/1011.56	c 1011s |      19 |   628587 |   538582 |     3698    242 |        0 |        0
1013.33/1013.63	c 1013s |      19 |   629566 |   539482 |     3698    242 |        0 |        0
1015.43/1015.70	c 1015s |      19 |   630514 |   540382 |     3698    243 |        0 |        0
1017.53/1017.81	c 1017s |      19 |   631512 |   541282 |     3698    243 |        0 |        0
1019.63/1019.92	c 1019s |      19 |   632477 |   542182 |     3698    243 |        0 |        0
1021.63/1021.98	c 1021s |      19 |   633482 |   543082 |     3698    244 |        0 |        0
1023.62/1023.99	c 1023s |      19 |   634792 |   544282 |     3698    244 |        0 |        0
1025.72/1026.06	c 1025s |      19 |   636040 |   545382 |     3698    244 |        0 |        0
1027.72/1028.08	c 1027s |      19 |   637346 |   546582 |     3698    245 |        0 |        0
1029.82/1030.19	c 1030s |      19 |   638771 |   547882 |     3698    245 |        0 |        0
1031.91/1032.27	c 1032s |      19 |   639995 |   548982 |     3698    246 |        0 |        0
1034.01/1034.36	c 1034s |      19 |   641194 |   550082 |     3698    246 |        0 |        0
1036.21/1036.52	c 1036s |      19 |   642391 |   551182 |     3698    247 |        0 |        0
1038.31/1038.62	c 1038s |      19 |   643712 |   552382 |     3698    247 |        0 |        0
1040.42/1040.75	c 1040s |      19 |   644905 |   553482 |     3698    248 |        0 |        0
1042.52/1042.83	c 1042s |      19 |   646108 |   554582 |     3698    248 |        0 |        0
1044.61/1044.97	c 1044s |      19 |   647312 |   555682 |     3698    248 |        0 |        0
1046.81/1047.12	c 1047s |      19 |   648507 |   556782 |     3698    249 |        0 |        0
1048.91/1049.26	c 1049s |      19 |   649735 |   557882 |     3698    249 |        0 |        0
1051.11/1051.45	c 1051s |      19 |   650798 |   558882 |     3698    250 |        0 |        0
1053.20/1053.51	c 1053s |      19 |   651889 |   559882 |     3698    250 |        0 |        0
1055.30/1055.67	c 1055s |      19 |   653222 |   561082 |     3698    250 |        0 |        0
1057.50/1057.82	c 1057s |      19 |   654421 |   562182 |     3698    251 |        0 |        0
1059.50/1059.89	c 1059s |      19 |   655486 |   563182 |     3698    251 |        0 |        0
1061.60/1061.99	c 1061s |      19 |   656452 |   564082 |     3698    252 |        0 |        0
1063.70/1064.02	c 1063s |      19 |   657781 |   565282 |     3698    252 |        0 |        0
1065.90/1066.27	c 1066s |      19 |   659244 |   566582 |     3698    253 |        0 |        0
1068.01/1068.37	c 1068s |      19 |   660521 |   567782 |     3698    253 |        0 |        0
1070.21/1070.50	c 1070s |      19 |   661475 |   568682 |     3698    253 |        0 |        0
1072.21/1072.51	c 1072s |      19 |   662580 |   569582 |     3698    254 |        0 |        0
1074.21/1074.55	c 1074s |      19 |   664560 |   570982 |     3698    254 |        0 |        0
1076.31/1076.67	c 1076s |      19 |   666075 |   572282 |     3698    255 |        0 |        0
1078.41/1078.72	c 1078s |      19 |   667478 |   573482 |     3698    255 |        0 |        0
1080.50/1080.85	c 1080s |      19 |   668622 |   574482 |     3698    256 |        0 |        0
1082.60/1082.99	c 1082s |      19 |   669894 |   575582 |     3698    256 |        0 |        0
1084.80/1085.14	c 1085s |      19 |   671214 |   576582 |     3698    256 |        0 |        0
1086.90/1087.29	c 1087s |      19 |   672262 |   577482 |     3698    257 |        0 |        0
1089.10/1089.42	c 1089s |      19 |   673291 |   578382 |     3698    257 |        0 |        0
1091.09/1091.49	c 1091s |      19 |   674523 |   579482 |     3698    257 |        0 |        0
1093.29/1093.63	c 1093s |      19 |   675975 |   580682 |     3698    258 |        0 |        0
1095.30/1095.63	c 1095s |      19 |   677071 |   581682 |     3698    258 |        0 |        0
1097.39/1097.71	c 1097s |      19 |   678094 |   582582 |     3698    259 |        0 |        0
1099.49/1099.87	c 1099s |      19 |   679332 |   583682 |     3698    259 |        0 |        0
1101.59/1101.95	c 1101s |      19 |   680589 |   584782 |     3698    259 |        0 |        0
1103.69/1104.00	c 1103s |      19 |   681920 |   585882 |     3698    260 |        0 |        0
1105.69/1106.06	c 1105s |      19 |   683196 |   586982 |     3698    260 |        0 |        0
1107.79/1108.19	c 1108s |      19 |   684628 |   588282 |     3698    261 |        0 |        0
1109.99/1110.32	c 1110s |      19 |   686006 |   589482 |     3698    261 |        0 |        0
1111.99/1112.37	c 1112s |      19 |   687159 |   590482 |     3698    262 |        0 |        0
1114.09/1114.44	c 1114s |      19 |   688357 |   591582 |     3698    262 |        0 |        0
1116.09/1116.49	c 1116s |      19 |   689461 |   592582 |     3698    262 |        0 |        0
1118.29/1118.68	c 1118s |      19 |   690597 |   593582 |     3698    263 |        0 |        0
1120.48/1120.81	c 1120s |      19 |   691814 |   594582 |     3698    263 |        0 |        0
1122.48/1122.83	c 1122s |      19 |   693126 |   595682 |     3698    264 |        0 |        0
1124.58/1124.90	c 1124s |      19 |   694431 |   596782 |     3698    264 |        0 |        0
1126.78/1127.10	c 1126s |      19 |   695581 |   597782 |     3698    264 |        0 |        0
1128.88/1129.20	c 1129s |      19 |   696853 |   598882 |     3698    265 |        0 |        0
1130.98/1131.36	c 1131s |      19 |   698229 |   600082 |     3698    265 |        0 |        0
1133.18/1133.56	c 1133s |      19 |   699352 |   601082 |     3698    266 |        0 |        0
1135.28/1135.68	c 1135s |      19 |   700520 |   602082 |     3698    266 |        0 |        0
1137.48/1137.87	c 1137s |      19 |   701897 |   603282 |     3698    266 |        0 |        0
1139.57/1139.96	c 1139s |      19 |   703118 |   604382 |     3698    267 |        0 |        0
1141.67/1142.07	c 1141s |      19 |   704477 |   605482 |     3698    267 |        0 |        0
1143.78/1144.10	c 1144s |      19 |   705519 |   606382 |     3698    268 |        0 |        0
1145.77/1146.18	c 1146s |      19 |   706660 |   607382 |     3698    268 |        0 |        0
1147.97/1148.34	c 1148s |      19 |   707870 |   608382 |     3698    268 |        0 |        0
1150.07/1150.43	c 1150s |      19 |   708997 |   609382 |     3698    269 |        0 |        0
1152.16/1152.55	c 1152s |      19 |   710297 |   610482 |     3698    269 |        0 |        0
1154.26/1154.67	c 1154s |      19 |   711297 |   611382 |     3698    270 |        0 |        0
1156.46/1156.88	c 1156s |      19 |   712609 |   612482 |     3698    270 |        0 |        0
1158.46/1158.89	c 1158s |      19 |   713941 |   613582 |     3698    270 |        0 |        0
1160.66/1161.04	c 1160s |      19 |   715492 |   614882 |     3698    271 |        0 |        0
1162.76/1163.10	c 1163s |      19 |   717028 |   616182 |     3698    271 |        0 |        0
1164.75/1165.10	c 1165s |      19 |   718390 |   617282 |     3698    272 |        0 |        0
1166.76/1167.19	c 1167s |      19 |   719766 |   618482 |     3698    272 |        0 |        0
1168.75/1169.19	c 1169s |      19 |   720909 |   619482 |     3698    273 |        0 |        0
1170.95/1171.31	c 1171s |      19 |   722322 |   620682 |     3698    273 |        0 |        0
1172.95/1173.32	c 1173s |      19 |   723671 |   621782 |     3698    273 |        0 |        0
1174.95/1175.39	c 1175s |      19 |   724989 |   622882 |     3698    274 |        0 |        0
1177.05/1177.45	c 1177s |      19 |   726402 |   624082 |     3698    274 |        0 |        0
1179.15/1179.56	c 1179s |      19 |   727654 |   625182 |     3698    275 |        0 |        0
1181.25/1181.60	c 1181s |      19 |   729028 |   626382 |     3698    275 |        0 |        0
1183.25/1183.69	c 1183s |      19 |   730281 |   627482 |     3698    276 |        0 |        0
1185.45/1185.89	c 1185s |      19 |   731620 |   628682 |     3698    276 |        0 |        0
1187.54/1188.00	c 1187s |      19 |   732605 |   629582 |     3698    276 |        0 |        0
1189.64/1190.07	c 1189s |      19 |   733618 |   630482 |     3698    277 |        0 |        0
1191.74/1192.12	c 1192s |      19 |   735127 |   631682 |     3698    277 |        0 |        0
1193.84/1194.26	c 1194s |      19 |   736359 |   632782 |     3698    278 |        0 |        0
1195.84/1196.28	c 1196s |      19 |   737575 |   633882 |     3698    278 |        0 |        0
1198.04/1198.43	c 1198s |      19 |   738814 |   634982 |     3698    279 |        0 |        0
1200.14/1200.59	c 1200s |      19 |   740049 |   636082 |     3698    279 |        0 |        0
1202.34/1202.74	c 1202s |      19 |   741192 |   637082 |     3698    279 |        0 |        0
1204.54/1204.94	c 1204s |      19 |   742216 |   637982 |     3698    280 |        0 |        0
1206.64/1207.05	c 1206s |      19 |   743292 |   638882 |     3698    280 |        0 |        0
1208.74/1209.13	c 1209s |      19 |   744413 |   639782 |     3698    280 |        0 |        0
1210.74/1211.20	c 1211s |      19 |   745285 |   640582 |     3698    281 |        0 |        0
1212.94/1213.40	c 1213s |      19 |   746332 |   641482 |     3698    281 |        0 |        0
1215.24/1215.64	c 1215s |      19 |   747223 |   642282 |     3698    281 |        0 |        0
1217.34/1217.77	c 1217s |      19 |   748236 |   643182 |     3698    282 |        0 |        0
1219.54/1219.92	c 1219s |      19 |   749723 |   644482 |     3698    282 |        0 |        0
1221.74/1222.11	c 1222s |      19 |   750879 |   645482 |     3698    283 |        0 |        0
1223.73/1224.12	c 1224s |      19 |   752268 |   646682 |     3698    283 |        0 |        0
1225.93/1226.30	c 1226s |      19 |   753595 |   647882 |     3698    283 |        0 |        0
1228.03/1228.46	c 1228s |      19 |   754833 |   648982 |     3698    284 |        0 |        0
1230.13/1230.53	c 1230s |      19 |   756057 |   650082 |     3698    284 |        0 |        0
1232.23/1232.68	c 1232s |      19 |   757226 |   651082 |     3698    285 |        0 |        0
1234.43/1234.86	c 1234s |      19 |   758466 |   652182 |     3698    285 |        0 |        0
1236.73/1237.19	c 1237s |      19 |   759850 |   653382 |     3698    286 |        0 |        0
1238.83/1239.27	c 1239s |      19 |   761237 |   654582 |     3698    286 |        0 |        0
1240.82/1241.29	c 1241s |      19 |   762389 |   655582 |     3698    286 |        0 |        0
1242.82/1243.29	c 1243s |      19 |   763517 |   656582 |     3698    287 |        0 |        0
1244.93/1245.33	c 1245s |      19 |   764625 |   657582 |     3698    287 |        0 |        0
1246.92/1247.36	c 1247s |      19 |   765776 |   658582 |     3698    287 |        0 |        0
1249.12/1249.56	c 1249s |      19 |   767037 |   659682 |     3698    288 |        0 |        0
1251.12/1251.58	c 1251s |      19 |   768184 |   660682 |     3698    288 |        0 |        0
1253.32/1253.72	c 1253s |      19 |   769382 |   661782 |     3698    289 |        0 |        0
1255.52/1255.94	c 1255s |      19 |   770614 |   662882 |     4068    289 |        0 |        0
1257.52/1257.98	c 1257s |      19 |   771715 |   663882 |     4068    289 |        0 |        0
1259.62/1260.07	c 1259s |      19 |   772724 |   664782 |     4068    290 |        0 |        0
1261.61/1262.08	c 1261s |      19 |   773995 |   665882 |     4068    290 |        0 |        0
1263.62/1264.03	c 1263s |      20 |   775031 |   666827 |     4068    290 |        0 |        0
1265.72/1266.14	c 1266s |      20 |   777645 |   668227 |     4068    291 |        0 |        0
1267.81/1268.25	c 1268s |      20 |   779383 |   669727 |     4068    291 |        0 |        0
1269.91/1270.39	c 1270s |      20 |   780845 |   670927 |     4068    292 |        0 |        0
1272.11/1272.53	c 1272s |      20 |   782159 |   672027 |     4068    292 |        0 |        0
1274.11/1274.57	c 1274s |      20 |   783499 |   673027 |     4068    293 |        0 |        0
1276.31/1276.70	c 1276s |      20 |   785152 |   674227 |     4068    293 |        0 |        0
1278.41/1278.81	c 1278s |      20 |   786621 |   675327 |     4068    293 |        0 |        0
1280.50/1280.95	c 1280s |      20 |   787646 |   676227 |     4068    294 |        0 |        0
1282.60/1283.02	c 1282s |      20 |   788867 |   677127 |     4068    294 |        0 |        0
1284.70/1285.10	c 1284s |      20 |   789993 |   678027 |     4068    294 |        0 |        0
1286.71/1287.17	c 1287s |      20 |   791018 |   678927 |     4068    295 |        0 |        0
1288.81/1289.25	c 1289s |      20 |   792579 |   680127 |     4068    295 |        0 |        0
1291.01/1291.47	c 1291s |      20 |   793716 |   681127 |     4068    296 |        0 |        0
1293.21/1293.68	c 1293s |      20 |   795006 |   682227 |     4068    296 |        0 |        0
1295.41/1295.81	c 1295s |      20 |   796122 |   683227 |     4068    296 |        0 |        0
1297.40/1297.85	c 1297s |      20 |   797131 |   684127 |     4068    297 |        0 |        0
1299.50/1299.90	c 1299s |      20 |   798346 |   685127 |     4068    297 |        0 |        0
1301.60/1302.08	c 1301s |      20 |   799747 |   686327 |     4068    297 |        0 |        0
1303.70/1304.13	c 1304s |      20 |   800941 |   687327 |     4068    298 |        0 |        0
1305.91/1306.30	c 1306s |      20 |   802314 |   688427 |     4068    298 |        0 |        0
1307.90/1308.36	c 1308s |      20 |   803602 |   689427 |     4068    298 |        0 |        0
1310.10/1310.51	c 1310s |      20 |   805042 |   690527 |     4068    299 |        0 |        0
1312.20/1312.64	c 1312s |      20 |   806434 |   691727 |     4068    299 |        0 |        0
1314.21/1314.64	c 1314s |      20 |   807651 |   692727 |     4068    300 |        0 |        0
1316.20/1316.68	c 1316s |      20 |   809047 |   693827 |     4068    300 |        0 |        0
1318.30/1318.70	c 1318s |      20 |   810285 |   694827 |     4068    300 |        0 |        0
1320.30/1320.70	c 1320s |      20 |   811366 |   695727 |     4068    301 |        0 |        0
1322.39/1322.87	c 1322s |      20 |   812953 |   697027 |     4068    301 |        0 |        0
1324.49/1324.93	c 1324s |      20 |   814104 |   698027 |     4068    302 |        0 |        0
1326.59/1327.06	c 1326s |      20 |   815368 |   699127 |     4068    302 |        0 |        0
1328.69/1329.13	c 1329s |      20 |   816555 |   700127 |     4068    302 |        0 |        0
1330.88/1331.30	c 1331s |      20 |   817761 |   701127 |     4068    303 |        0 |        0
1332.89/1333.37	c 1333s |      20 |   819091 |   702227 |     4068    303 |        0 |        0
1334.99/1335.44	c 1335s |      20 |   820450 |   703427 |     4068    303 |        0 |        0
1337.08/1337.53	c 1337s |      20 |   821870 |   704627 |     4068    304 |        0 |        0
1339.08/1339.59	c 1339s |      20 |   823367 |   705827 |     4068    304 |        0 |        0
1341.18/1341.65	c 1341s |      20 |   824625 |   706827 |     4068    305 |        0 |        0
1343.28/1343.73	c 1343s |      20 |   825914 |   707927 |     4068    305 |        0 |        0
1345.38/1345.88	c 1345s |      20 |   827049 |   708927 |     4068    305 |        0 |        0
1347.58/1348.06	c 1347s |      20 |   828098 |   709827 |     4068    306 |        0 |        0
1349.69/1350.15	c 1350s |      20 |   829432 |   710927 |     4068    306 |        0 |        0
1351.79/1352.24	c 1352s |      20 |   830770 |   712027 |     4068    306 |        0 |        0
1353.79/1354.25	c 1354s |      20 |   831855 |   712927 |     4068    307 |        0 |        0
1355.99/1356.48	c 1356s |      20 |   833063 |   713927 |     4068    307 |        0 |        0
1358.19/1358.67	c 1358s |      20 |   834185 |   714927 |     4068    308 |        0 |        0
1360.18/1360.68	c 1360s |      20 |   835481 |   716027 |     4068    308 |        0 |        0
1362.18/1362.69	c 1362s |      20 |   836529 |   716927 |     4068    308 |        0 |        0
1364.28/1364.78	c 1364s |      20 |   837697 |   717927 |     4068    309 |        0 |        0
1366.38/1366.85	c 1366s |      20 |   839085 |   719127 |     4068    309 |        0 |        0
1368.58/1369.02	c 1368s |      20 |   840447 |   720227 |     4068    309 |        0 |        0
1370.57/1371.09	c 1370s |      20 |   841476 |   721127 |     4068    310 |        0 |        0
1372.77/1373.20	c 1373s |      20 |   842505 |   722027 |     4068    310 |        0 |        0
1374.97/1375.46	c 1375s |      20 |   843514 |   722927 |     4068    310 |        0 |        0
1377.07/1377.56	c 1377s |      20 |   844835 |   723927 |     4068    311 |        0 |        0
1379.08/1379.59	c 1379s |      20 |   845845 |   724827 |     4068    311 |        0 |        0
1381.18/1381.61	c 1381s |      20 |   847026 |   725827 |     4068    311 |        0 |        0
1383.27/1383.77	c 1383s |      20 |   848290 |   726927 |     4068    312 |        0 |        0
1385.47/1385.99	c 1385s |      20 |   849509 |   728027 |     4068    312 |        0 |        0
1387.78/1388.29	c 1388s |      20 |   850683 |   729027 |     4068    313 |        0 |        0
1389.87/1390.39	c 1390s |      20 |   851843 |   730027 |     4068    313 |        0 |        0
1392.07/1392.56	c 1392s |      20 |   853152 |   731127 |     4068    313 |        0 |        0
1394.07/1394.58	c 1394s |      20 |   854105 |   731927 |     4068    314 |        0 |        0
1396.17/1396.66	c 1396s |      20 |   855270 |   732927 |     4068    314 |        0 |        0
1398.37/1398.88	c 1398s |      20 |   856640 |   734127 |     4068    314 |        0 |        0
1400.57/1401.03	c 1400s |      20 |   857794 |   735127 |     4068    315 |        0 |        0
1402.56/1403.03	c 1402s |      20 |   858841 |   736027 |     4068    315 |        0 |        0
1404.66/1405.10	c 1405s |      20 |   860148 |   737027 |     4068    315 |        0 |        0
1406.76/1407.27	c 1407s |      20 |   861155 |   737927 |     4068    316 |        0 |        0
1408.96/1409.46	c 1409s |      20 |   862334 |   738927 |     4068    316 |        0 |        0
1410.97/1411.46	c 1411s |      20 |   863517 |   739927 |     4068    316 |        0 |        0
1412.96/1413.50	c 1413s |      20 |   864498 |   740827 |     4068    317 |        0 |        0
1415.16/1415.64	c 1415s |      20 |   865631 |   741827 |     4068    317 |        0 |        0
1417.26/1417.73	c 1417s |      20 |   866687 |   742727 |     4068    317 |        0 |        0
1419.36/1419.82	c 1419s |      20 |   867674 |   743627 |     4068    318 |        0 |        0
1421.56/1422.01	c 1421s |      20 |   868960 |   744727 |     4068    318 |        0 |        0
1423.66/1424.16	c 1424s |      20 |   870061 |   745727 |     4068    318 |        0 |        0
1425.76/1426.25	c 1426s |      20 |   871079 |   746627 |     4068    319 |        0 |        0
1427.86/1428.34	c 1428s |      20 |   872234 |   747627 |     4068    319 |        0 |        0
1429.96/1430.42	c 1430s |      20 |   873273 |   748527 |     4068    319 |        0 |        0
1431.96/1432.46	c 1432s |      20 |   874311 |   749427 |     4068    320 |        0 |        0
1434.06/1434.54	c 1434s |      20 |   875325 |   750327 |     4068    320 |        0 |        0
1436.36/1436.82	c 1436s |      20 |   876683 |   751427 |     4068    321 |        0 |        0
1438.36/1438.83	c 1438s |      20 |   877993 |   752527 |     4068    321 |        0 |        0
1440.36/1440.88	c 1440s |      20 |   879135 |   753527 |     4068    321 |        0 |        0
1442.66/1443.10	c 1442s |      20 |   880296 |   754527 |     4068    322 |        0 |        0
1444.76/1445.27	c 1445s |      20 |   881295 |   755427 |     4068    322 |        0 |        0
1446.86/1447.32	c 1447s |      20 |   882557 |   756427 |     4068    322 |        0 |        0
1448.95/1449.42	c 1449s |      20 |   883582 |   757327 |     4068    323 |        0 |        0
1451.15/1451.60	c 1451s |      20 |   884599 |   758227 |     4068    323 |        0 |        0
1453.26/1453.73	c 1453s |      20 |   885822 |   759227 |     4068    323 |        0 |        0
1455.26/1455.77	c 1455s |      20 |   886949 |   760227 |     4068    324 |        0 |        0
1457.36/1457.85	c 1457s |      20 |   888228 |   761327 |     4068    324 |        0 |        0
1459.37/1459.86	c 1459s |      20 |   889229 |   762227 |     4068    324 |        0 |        0
1461.47/1462.00	c 1461s |      20 |   890236 |   763127 |     4068    325 |        0 |        0
1463.56/1464.05	c 1463s |      20 |   891258 |   764027 |     4068    325 |        0 |        0
1465.76/1466.29	c 1466s |      20 |   892116 |   764827 |     4068    325 |        0 |        0
1467.86/1468.34	c 1468s |      20 |   893473 |   765927 |     4068    326 |        0 |        0
1470.06/1470.51	c 1470s |      20 |   894553 |   766927 |     4068    326 |        0 |        0
1472.06/1472.53	c 1472s |      20 |   895580 |   767827 |     4068    326 |        0 |        0
1474.16/1474.61	c 1474s |      20 |   896563 |   768727 |     4068    327 |        0 |        0
1476.25/1476.72	c 1476s |      20 |   897599 |   769627 |     4068    327 |        0 |        0
1478.35/1478.86	c 1478s |      20 |   898983 |   770727 |     4068    327 |        0 |        0
1480.35/1480.87	c 1480s |      20 |   899945 |   771527 |     4068    328 |        0 |        0
1482.46/1482.98	c 1482s |      20 |   900832 |   772327 |     4068    328 |        0 |        0
1484.75/1485.21	c 1485s |      20 |   901630 |   773027 |     4068    328 |        0 |        0
1486.86/1487.33	c 1487s |      20 |   903127 |   774227 |     4068    329 |        0 |        0
1488.85/1489.35	c 1489s |      20 |   904531 |   775427 |     4068    329 |        0 |        0
1490.95/1491.46	c 1491s |      20 |   905766 |   776527 |     4068    329 |        0 |        0
1493.05/1493.54	c 1493s |      20 |   907060 |   777627 |     4068    330 |        0 |        0
1495.15/1495.65	c 1495s |      20 |   908159 |   778627 |     4068    330 |        0 |        0
1497.25/1497.70	c 1497s |      20 |   909076 |   779427 |     4068    330 |        0 |        0
1499.25/1499.76	c 1499s |      20 |   910423 |   780527 |     4068    331 |        0 |        0
1501.35/1501.87	c 1501s |      20 |   911858 |   781727 |     4068    331 |        0 |        0
1503.45/1503.99	c 1503s |      20 |   913039 |   782727 |     4068    332 |        0 |        0
1505.65/1506.19	c 1506s |      20 |   914427 |   783927 |     4068    332 |        0 |        0
1507.85/1508.31	c 1508s |      20 |   915538 |   784927 |     4068    332 |        0 |        0
1509.85/1510.36	c 1510s |      20 |   916550 |   785827 |     4068    333 |        0 |        0
1512.05/1512.54	c 1512s |      20 |   917629 |   786827 |     4068    333 |        0 |        0
1514.25/1514.71	c 1514s |      20 |   918623 |   787727 |     4068    333 |        0 |        0
1516.35/1516.84	c 1516s |      20 |   919489 |   788527 |     4068    334 |        0 |        0
1518.45/1518.92	c 1518s |      20 |   920468 |   789427 |     4068    334 |        0 |        0
1520.54/1521.05	c 1520s |      20 |   921437 |   790327 |     4068    334 |        0 |        0
1522.64/1523.19	c 1523s |      20 |   922302 |   791127 |     4068    335 |        0 |        0
1524.74/1525.22	c 1525s |      20 |   923319 |   792027 |     4068    335 |        0 |        0
1526.74/1527.25	c 1527s |      20 |   924475 |   793027 |     4068    335 |        0 |        0
1528.74/1529.29	c 1529s |      20 |   925494 |   793927 |     4068    336 |        0 |        0
1530.85/1531.35	c 1531s |      20 |   926519 |   794827 |     4068    336 |        0 |        0
1532.95/1533.50	c 1533s |      20 |   927687 |   795827 |     4068    336 |        0 |        0
1535.04/1535.54	c 1535s |      20 |   928555 |   796627 |     4068    337 |        0 |        0
1537.04/1537.59	c 1537s |      20 |   929463 |   797427 |     4068    337 |        0 |        0
1539.25/1539.73	c 1539s |      20 |   930320 |   798227 |     4068    337 |        0 |        0
1541.45/1541.98	c 1541s |      20 |   931218 |   799027 |     4068    337 |        0 |        0
1543.75/1544.23	c 1544s |      20 |   931991 |   799727 |     4068    338 |        0 |        0
1546.04/1546.53	c 1546s |      20 |   932872 |   800527 |     4068    338 |        0 |        0
1548.24/1548.72	c 1548s |      20 |   934123 |   801627 |     4068    338 |        0 |        0
1550.34/1550.82	c 1550s |      20 |   935202 |   802527 |     4068    339 |        0 |        0
1552.44/1552.96	c 1552s |      20 |   936393 |   803527 |     4068    339 |        0 |        0
1554.64/1555.10	c 1554s |      20 |   937664 |   804527 |     4068    339 |        0 |        0
1556.64/1557.16	c 1557s |      20 |   939185 |   805627 |     4068    340 |        0 |        0
1558.74/1559.29	c 1559s |      20 |   940543 |   806827 |     4068    340 |        0 |        0
1561.04/1561.57	c 1561s |      20 |   941867 |   807927 |     4068    341 |        0 |        0
1563.04/1563.59	c 1563s |      20 |   943068 |   808927 |     4068    341 |        0 |        0
1565.24/1565.75	c 1565s |      20 |   944370 |   809927 |     4068    341 |        0 |        0
1567.34/1567.87	c 1567s |      20 |   945292 |   810727 |     4068    342 |        0 |        0
1569.44/1569.94	c 1569s |      20 |   946584 |   811827 |     4068    342 |        0 |        0
1571.45/1571.99	c 1571s |      20 |   947852 |   812927 |     4068    342 |        0 |        0
1573.65/1574.11	c 1574s |      20 |   949077 |   813927 |     4068    343 |        0 |        0
1575.64/1576.16	c 1576s |      20 |   950196 |   814927 |     4068    343 |        0 |        0
1577.74/1578.20	c 1578s |      20 |   951382 |   815927 |     4068    343 |        0 |        0
1579.84/1580.39	c 1580s |      20 |   952571 |   816927 |     4068    344 |        0 |        0
1582.14/1582.60	c 1582s |      20 |   953691 |   817927 |     4068    344 |        0 |        0
1584.24/1584.73	c 1584s |      20 |   954838 |   818927 |     4068    344 |        0 |        0
1586.33/1586.83	c 1586s |      20 |   955989 |   819927 |     4068    345 |        0 |        0
1588.33/1588.84	c 1588s |      20 |   957130 |   820927 |     4068    345 |        0 |        0
1590.53/1591.04	c 1590s |      20 |   958304 |   821927 |     4068    345 |        0 |        0
1592.63/1593.16	c 1593s |      20 |   959444 |   822927 |     4068    346 |        0 |        0
1594.83/1595.35	c 1595s |      20 |   960608 |   823927 |     4068    346 |        0 |        0
1596.93/1597.43	c 1597s |      20 |   961582 |   824727 |     4068    346 |        0 |        0
1599.13/1599.60	c 1599s |      20 |   963009 |   825927 |     4068    347 |        0 |        0
1601.14/1601.60	c 1601s |      20 |   964319 |   827027 |     4068    347 |        0 |        0
1603.23/1603.73	c 1603s |      20 |   965502 |   828027 |     4068    348 |        0 |        0
1605.23/1605.77	c 1605s |      20 |   966559 |   828927 |     4068    348 |        0 |        0
1607.34/1607.83	c 1607s |      20 |   967579 |   829827 |     4068    348 |        0 |        0
1609.64/1610.17	c 1610s |      20 |   968476 |   830627 |     4068    349 |        0 |        0
1611.74/1612.23	c 1612s |      20 |   969661 |   831627 |     4068    349 |        0 |        0
1613.94/1614.42	c 1614s |      20 |   970862 |   832727 |     4068    349 |        0 |        0
1615.94/1616.44	c 1616s |      20 |   971906 |   833627 |     4068    350 |        0 |        0
1618.04/1618.56	c 1618s |      20 |   973142 |   834727 |     4068    350 |        0 |        0
1620.13/1620.68	c 1620s |      20 |   974139 |   835627 |     4068    350 |        0 |        0
1622.33/1622.88	c 1622s |      20 |   975177 |   836527 |     4068    351 |        0 |        0
1624.53/1625.04	c 1624s |      20 |   976314 |   837527 |     4068    351 |        0 |        0
1626.63/1627.17	c 1627s |      20 |   977310 |   838427 |     4068    351 |        0 |        0
1628.74/1629.21	c 1629s |      20 |   978243 |   839227 |     4068    352 |        0 |        0
1630.73/1631.30	c 1631s |      20 |   979425 |   840227 |     4068    352 |        0 |        0
1632.93/1633.48	c 1633s |      20 |   980625 |   841227 |     4068    352 |        0 |        0
1635.13/1635.61	c 1635s |      20 |   981656 |   842127 |     4068    353 |        0 |        0
1637.13/1637.65	c 1637s |      20 |   982839 |   843127 |     4068    353 |        0 |        0
1639.13/1639.69	c 1639s |      20 |   983988 |   844127 |     4068    353 |        0 |        0
1641.33/1641.84	c 1641s |      20 |   985017 |   845027 |     4068    354 |        0 |        0
1643.43/1643.98	c 1643s |      20 |   986126 |   845927 |     4068    354 |        0 |        0
1645.73/1646.21	c 1646s |      20 |   987150 |   846827 |     4068    354 |        0 |        0
1647.83/1648.33	c 1648s |      20 |   988067 |   847627 |     4068    355 |        0 |        0
1649.83/1650.38	c 1650s |      20 |   989067 |   848527 |     4068    355 |        0 |        0
1652.02/1652.56	c 1652s |      20 |   989974 |   849327 |     4068    355 |        0 |        0
1654.22/1654.71	c 1654s |      20 |   990773 |   850027 |     4068    355 |        0 |        0
1656.23/1656.73	c 1656s |      20 |   991451 |   850627 |     4068    356 |        0 |        0
1658.52/1659.02	c 1658s |      20 |   992225 |   851327 |     4068    356 |        0 |        0
1660.82/1661.36	c 1661s |      20 |   993085 |   852027 |     4068    356 |        0 |        0
1663.02/1663.50	c 1663s |      20 |   994227 |   853027 |     4068    357 |        0 |        0
1665.04/1665.53	c 1665s |      20 |   995424 |   854027 |     4068    357 |        0 |        0
1667.24/1667.72	c 1667s |      20 |   996548 |   855027 |     4068    357 |        0 |        0
1669.34/1669.89	c 1669s |      20 |   997551 |   855927 |     4068    358 |        0 |        0
1671.43/1671.91	c 1671s |      20 |   998598 |   856827 |     4068    358 |        0 |        0
1673.43/1673.95	c 1673s |      20 |   999630 |   857727 |     4068    358 |        0 |        0
1675.53/1676.00	c 1675s |      20 |  1000512 |   858527 |     4068    358 |        0 |        0
1677.53/1678.00	c 1677s |      20 |  1001486 |   859327 |     4068    359 |        0 |        0
1679.63/1680.11	c 1680s |      20 |  1002717 |   860427 |     4068    359 |        0 |        0
1681.63/1682.17	c 1682s |      20 |  1003743 |   861327 |     4068    359 |        0 |        0
1683.63/1684.17	c 1684s |      20 |  1004786 |   862227 |     4068    360 |        0 |        0
1685.72/1686.20	c 1686s |      20 |  1006046 |   863327 |     4068    360 |        0 |        0
1687.82/1688.31	c 1688s |      20 |  1007171 |   864327 |     4068    361 |        0 |        0
1689.92/1690.40	c 1690s |      20 |  1008385 |   865427 |     4068    361 |        0 |        0
1692.02/1692.54	c 1692s |      20 |  1009517 |   866427 |     4068    361 |        0 |        0
1694.22/1694.75	c 1694s |      20 |  1010533 |   867327 |     4068    362 |        0 |        0
1696.22/1696.76	c 1696s |      20 |  1011661 |   868327 |     4068    362 |        0 |        0
1698.22/1698.79	c 1698s |      20 |  1012777 |   869327 |     4068    362 |        0 |        0
1700.32/1700.88	c 1700s |      20 |  1013763 |   870227 |     4068    363 |        0 |        0
1702.43/1702.95	c 1702s |      20 |  1014865 |   871227 |     4068    363 |        0 |        0
1704.42/1704.99	c 1704s |      20 |  1016000 |   872227 |     4068    363 |        0 |        0
1706.52/1707.06	c 1706s |      20 |  1017035 |   873127 |     4068    364 |        0 |        0
1708.72/1709.27	c 1709s |      20 |  1018143 |   874127 |     4068    364 |        0 |        0
1710.92/1711.45	c 1711s |      20 |  1019180 |   875027 |     4068    364 |        0 |        0
1713.12/1713.61	c 1713s |      20 |  1020073 |   875827 |     4068    365 |        0 |        0
1715.12/1715.69	c 1715s |      20 |  1020952 |   876627 |     4068    365 |        0 |        0
1717.22/1717.74	c 1717s |      20 |  1021945 |   877527 |     4068    365 |        0 |        0
1719.62/1720.10	c 1719s |      20 |  1022939 |   878427 |     4068    366 |        0 |        0
1721.72/1722.29	c 1722s |      20 |  1024251 |   879527 |     4068    366 |        0 |        0
1723.81/1724.38	c 1724s |      20 |  1025300 |   880427 |     4068    366 |        0 |        0
1726.01/1726.58	c 1726s |      20 |  1026192 |   881227 |     4068    367 |        0 |        0
1728.21/1728.78	c 1728s |      20 |  1027341 |   882227 |     4068    367 |        0 |        0
1730.31/1730.84	c 1730s |      20 |  1028266 |   883027 |     4068    367 |        0 |        0
1732.51/1733.00	c 1732s |      20 |  1029199 |   883827 |     4068    367 |        0 |        0
1734.51/1735.07	c 1734s |      20 |  1029970 |   884527 |     4068    368 |        0 |        0
1736.82/1737.31	c 1737s |      20 |  1031010 |   885427 |     4068    368 |        0 |        0
1738.82/1739.35	c 1739s |      20 |  1031784 |   886127 |     4068    368 |        0 |        0
1741.12/1741.64	c 1741s |      20 |  1032571 |   886827 |     4068    369 |        0 |        0
1743.22/1743.72	c 1743s |      20 |  1033483 |   887627 |     4068    369 |        0 |        0
1745.41/1745.95	c 1745s |      20 |  1034536 |   888527 |     4068    369 |        0 |        0
1747.52/1748.09	c 1747s |      20 |  1035293 |   889227 |     4068    369 |        0 |        0
1749.82/1750.30	c 1750s |      20 |  1036090 |   889927 |     4068    370 |        0 |        0
1751.82/1752.36	c 1752s |      20 |  1036872 |   890627 |     4068    370 |        0 |        0
1754.12/1754.65	c 1754s |      20 |  1037628 |   891327 |     4068    370 |        0 |        0
1756.22/1756.75	c 1756s |      20 |  1038303 |   891927 |     4068    370 |        0 |        0
1758.42/1758.92	c 1758s |      20 |  1039109 |   892627 |     4068    371 |        0 |        0
1760.41/1760.92	c 1760s |      20 |  1039642 |   893127 |     4068    371 |        0 |        0
1762.61/1763.12	c 1763s |      20 |  1040568 |   893927 |     4068    371 |        0 |        0
1764.70/1765.22	c 1765s |      20 |  1041317 |   894627 |     4068    371 |        0 |        0
1766.91/1767.41	c 1767s |      20 |  1041862 |   895127 |     4068    371 |        0 |        0
1769.01/1769.58	c 1769s |      20 |  1043336 |   896227 |     4068    372 |        0 |        0
1771.11/1771.63	c 1771s |      20 |  1044670 |   897327 |     4068    372 |        0 |        0
1773.21/1773.70	c 1773s |      20 |  1045684 |   898227 |     4068    373 |        0 |        0
1775.31/1775.85	c 1775s |      20 |  1046809 |   899227 |     4068    373 |        0 |        0
1777.41/1777.90	c 1777s |      20 |  1047814 |   900127 |     4068    373 |        0 |        0
1779.42/1779.94	c 1779s |      20 |  1048886 |   901027 |     4068    374 |        0 |        0
1781.41/1781.99	c 1781s |      20 |  1049919 |   901927 |     4068    374 |        0 |        0
1783.51/1784.08	c 1783s |      20 |  1050937 |   902827 |     4068    374 |        0 |        0
1785.61/1786.10	c 1786s |      20 |  1051975 |   903727 |     4068    374 |        0 |        0
1787.71/1788.26	c 1788s |      20 |  1052988 |   904627 |     4068    375 |        0 |        0
1789.91/1790.45	c 1790s |      20 |  1053997 |   905527 |     4068    375 |        0 |        0
1792.01/1792.51	c 1792s |      20 |  1054966 |   906327 |     4068    375 |        0 |        0
1794.31/1794.82	c 1794s |      20 |  1055861 |   907127 |     4068    376 |        0 |        0
1796.51/1797.01	c 1796s |      20 |  1056910 |   908027 |     4068    376 |        0 |        0
1798.50/1799.04	c 1798s |      20 |  1058026 |   909027 |     4068    376 |        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-4093712-1466092999/watcher-4093712-1466092999 -o /tmp/evaluation-result-4093712-1466092999/solver-4093712-1466092999 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466092999-31053 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093712-1466092999.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.69 3.77 4.04 4/175 31082
/proc/meminfo: memFree=30300716/32872528 swapFree=1541688/1694988
[pid=31082] ppid=31079 vsize=660924 CPUtime=0 cores=0,2,4,6
/proc/31082/stat : 31082 (toysat) R 31079 31082 6847 0 -1 4202496 2456 0 0 0 0 0 0 0 20 0 4 0 11346566 676786176 2817 33554432000 4194304 16246674 140734328617072 140734328616496 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31082/statm: 165487 2819 441 2943 0 162381 0
[pid=31082/tid=31086] ppid=31079 vsize=661948 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31086/stat : 31086 (toysat) S 31079 31082 6847 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11346567 677834752 2819 33554432000 4194304 16246674 140734328617072 139652862291184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=31082/tid=31087] ppid=31079 vsize=661948 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31087/stat : 31087 (toysat) S 31079 31082 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11346567 677834752 2819 33554432000 4194304 16246674 140734328617072 139652851801328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=31082/tid=31088] ppid=31079 vsize=661948 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31088/stat : 31088 (toysat) S 31079 31082 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11346567 677834752 2819 33554432000 4194304 16246674 140734328617072 139652841327792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100122 s]
/proc/loadavg: 2.69 3.77 4.04 4/175 31082
/proc/meminfo: memFree=30300716/32872528 swapFree=1541688/1694988
[pid=31082] ppid=31079 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/31082/stat : 31082 (toysat) R 31079 31082 6847 0 -1 4202496 24190 0 0 0 5 3 0 0 20 0 4 0 11346566 1247350784 24541 33554432000 4194304 16246674 140734328617072 140734328598976 12481124 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31082/statm: 304529 24543 675 2943 0 301423 0
[pid=31082/tid=31086] ppid=31079 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31086/stat : 31086 (toysat) S 31079 31082 6847 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11346567 1247350784 24556 33554432000 4194304 16246674 140734328617072 139652862291184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=31082/tid=31087] ppid=31079 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31087/stat : 31087 (toysat) S 31079 31082 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11346567 1247350784 24568 33554432000 4194304 16246674 140734328617072 139652851801328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=31082/tid=31088] ppid=31079 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31088/stat : 31088 (toysat) S 31079 31082 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11346567 1247350784 24582 33554432000 4194304 16246674 140734328617072 139652841327792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200435 s]
/proc/loadavg: 2.69 3.77 4.04 4/175 31082
/proc/meminfo: memFree=30300716/32872528 swapFree=1541688/1694988
[pid=31082] ppid=31079 vsize=1220164 CPUtime=0.19 cores=0,2,4,6
/proc/31082/stat : 31082 (toysat) R 31079 31082 6847 0 -1 4202496 47250 0 0 0 12 7 0 0 20 0 4 0 11346566 1249447936 47576 33554432000 4194304 16246674 140734328617072 140734328598976 4225154 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31082/statm: 305041 47580 833 2943 0 301935 0
[pid=31082/tid=31086] ppid=31079 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31086/stat : 31086 (toysat) S 31079 31082 6847 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11346567 1249447936 47584 33554432000 4194304 16246674 140734328617072 139652862291184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=31082/tid=31087] ppid=31079 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31087/stat : 31087 (toysat) S 31079 31082 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11346567 1249447936 47586 33554432000 4194304 16246674 140734328617072 139652851801328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=31082/tid=31088] ppid=31079 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31088/stat : 31088 (toysat) S 31079 31082 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11346567 1249447936 47590 33554432000 4194304 16246674 140734328617072 139652841327792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1220164

[startup+0.300391 s]
/proc/loadavg: 2.69 3.77 4.04 4/175 31082
/proc/meminfo: memFree=30300716/32872528 swapFree=1541688/1694988
[pid=31082] ppid=31079 vsize=1306180 CPUtime=0.29 cores=0,2,4,6
/proc/31082/stat : 31082 (toysat) R 31079 31082 6847 0 -1 4202496 58484 0 0 0 20 9 0 0 20 0 4 0 11346566 1337528320 58810 33554432000 4194304 16246674 140734328617072 140734328616384 5546098 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31082/statm: 326545 58822 865 2943 0 323439 0
[pid=31082/tid=31086] ppid=31079 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31086/stat : 31086 (toysat) S 31079 31082 6847 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11346567 1337528320 58830 33554432000 4194304 16246674 140734328617072 139652862291184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=31082/tid=31087] ppid=31079 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31087/stat : 31087 (toysat) S 31079 31082 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11346567 1337528320 58838 33554432000 4194304 16246674 140734328617072 139652851801328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=31082/tid=31088] ppid=31079 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31088/stat : 31088 (toysat) S 31079 31082 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11346567 1337528320 58840 33554432000 4194304 16246674 140734328617072 139652841327792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1306180

[startup+0.700334 s]
/proc/loadavg: 2.69 3.77 4.04 4/175 31082
/proc/meminfo: memFree=30300716/32872528 swapFree=1541688/1694988
[pid=31082] ppid=31079 vsize=1307204 CPUtime=0.68 cores=0,2,4,6
/proc/31082/stat : 31082 (toysat) R 31079 31082 6847 0 -1 4202496 115239 0 0 0 52 16 0 0 20 0 4 0 11346566 1338576896 115564 33554432000 4194304 16246674 140734328617072 140734328600072 5546181 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31082/statm: 326801 115580 865 2943 0 323695 0
[pid=31082/tid=31086] ppid=31079 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31086/stat : 31086 (toysat) S 31079 31082 6847 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11346567 1338576896 115587 33554432000 4194304 16246674 140734328617072 139652862291184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=31082/tid=31087] ppid=31079 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31087/stat : 31087 (toysat) S 31079 31082 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11346567 1338576896 115599 33554432000 4194304 16246674 140734328617072 139652851801328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=31082/tid=31088] ppid=31079 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31088/stat : 31088 (toysat) S 31079 31082 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11346567 1338576896 115609 33554432000 4194304 16246674 140734328617072 139652841327792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1307204

[startup+1.50031 s]
/proc/loadavg: 2.69 3.77 4.04 4/183 31090
/proc/meminfo: memFree=28830764/32872528 swapFree=1541688/1694988
[pid=31082] ppid=31079 vsize=1307204 CPUtime=1.49 cores=0,2,4,6
/proc/31082/stat : 31082 (toysat) R 31079 31082 6847 0 -1 4202496 267897 0 0 0 110 39 0 0 20 0 4 0 11346566 1338576896 268222 33554432000 4194304 16246674 140734328617072 140734328598976 13006152 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31082/statm: 326801 268222 869 2943 0 323695 0
[pid=31082/tid=31086] ppid=31079 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31086/stat : 31086 (toysat) S 31079 31082 6847 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11346567 1338576896 268222 33554432000 4194304 16246674 140734328617072 139652862291184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=31082/tid=31087] ppid=31079 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31087/stat : 31087 (toysat) S 31079 31082 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11346567 1338576896 268222 33554432000 4194304 16246674 140734328617072 139652851801328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=31082/tid=31088] ppid=31079 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31088/stat : 31088 (toysat) S 31079 31082 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11346567 1338576896 268222 33554432000 4194304 16246674 140734328617072 139652841327792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.10035 s]
/proc/loadavg: 2.71 3.75 4.03 5/183 31090
/proc/meminfo: memFree=28678832/32872528 swapFree=1541688/1694988
[pid=31082] ppid=31079 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/31082/stat : 31082 (toysat) R 31079 31082 6847 0 -1 4202496 267918 0 0 0 270 39 0 0 20 0 4 0 11346566 1338576896 268243 33554432000 4194304 16246674 140734328617072 140734328598976 5677589 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31082/statm: 326801 268243 870 2943 0 323695 0
[pid=31082/tid=31086] ppid=31079 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31086/stat : 31086 (toysat) S 31079 31082 6847 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11346567 1338576896 268243 33554432000 4194304 16246674 140734328617072 139652862291184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=31082/tid=31087] ppid=31079 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31087/stat : 31087 (toysat) S 31079 31082 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11346567 1338576896 268243 33554432000 4194304 16246674 140734328617072 139652851801328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=31082/tid=31088] ppid=31079 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31088/stat : 31088 (toysat) S 31079 31082 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11346567 1338576896 268243 33554432000 4194304 16246674 140734328617072 139652841327792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30036 s]
/proc/loadavg: 2.71 3.75 4.03 4/183 31090
/proc/meminfo: memFree=28664504/32872528 swapFree=1541688/1694988
[pid=31082] ppid=31079 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/31082/stat : 31082 (toysat) R 31079 31082 6847 0 -1 4202496 267923 0 0 0 590 39 0 0 20 0 4 0 11346566 1339625472 268248 33554432000 4194304 16246674 140734328617072 140734328598976 5545784 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31082/statm: 327057 268248 870 2943 0 323951 0
[pid=31082/tid=31086] ppid=31079 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31086/stat : 31086 (toysat) S 31079 31082 6847 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11346567 1339625472 268248 33554432000 4194304 16246674 140734328617072 139652862291184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=31082/tid=31087] ppid=31079 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31087/stat : 31087 (toysat) S 31079 31082 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11346567 1339625472 268248 33554432000 4194304 16246674 140734328617072 139652851801328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=31082/tid=31088] ppid=31079 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31088/stat : 31088 (toysat) S 31079 31082 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11346567 1339625472 268248 33554432000 4194304 16246674 140734328617072 139652841327792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.60 3.70 4.01 4/183 31090
/proc/meminfo: memFree=28663276/32872528 swapFree=1541688/1694988
[pid=31082] ppid=31079 vsize=1309252 CPUtime=12.69 cores=0,2,4,6
/proc/31082/stat : 31082 (toysat) R 31079 31082 6847 0 -1 4202496 268221 0 0 0 1230 39 0 0 20 0 4 0 11346566 1340674048 268546 33554432000 4194304 16246674 140734328617072 140734328598976 5712555 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31082/statm: 327313 268546 870 2943 0 324207 0
[pid=31082/tid=31086] ppid=31079 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31086/stat : 31086 (toysat) S 31079 31082 6847 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11346567 1340674048 268546 33554432000 4194304 16246674 140734328617072 139652862291184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=31082/tid=31087] ppid=31079 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31087/stat : 31087 (toysat) S 31079 31082 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11346567 1340674048 268546 33554432000 4194304 16246674 140734328617072 139652851801328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=31082/tid=31088] ppid=31079 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31088/stat : 31088 (toysat) S 31079 31082 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11346567 1340674048 268546 33554432000 4194304 16246674 140734328617072 139652841327792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1309252

[startup+25.5004 s]
/proc/loadavg: 2.58 3.66 3.99 4/183 31090
/proc/meminfo: memFree=28661292/32872528 swapFree=1541688/1694988
[pid=31082] ppid=31079 vsize=1309252 CPUtime=25.48 cores=0,2,4,6
/proc/31082/stat : 31082 (toysat) R 31079 31082 6847 0 -1 4202496 268430 0 0 0 2509 39 0 0 20 0 4 0 11346566 1340674048 268755 33554432000 4194304 16246674 140734328617072 140734328598976 13192178 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31082/statm: 327313 268755 870 2943 0 324207 0
[pid=31082/tid=31086] ppid=31079 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31086/stat : 31086 (toysat) S 31079 31082 6847 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11346567 1340674048 268755 33554432000 4194304 16246674 140734328617072 139652862291184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=31082/tid=31087] ppid=31079 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31087/stat : 31087 (toysat) S 31079 31082 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11346567 1340674048 268755 33554432000 4194304 16246674 140734328617072 139652851801328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=31082/tid=31088] ppid=31079 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31088/stat : 31088 (toysat) S 31079 31082 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11346567 1340674048 268755 33554432000 4194304 16246674 140734328617072 139652841327792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1309252

[startup+51.1004 s]
/proc/loadavg: 2.46 3.54 3.94 4/183 31091
/proc/meminfo: memFree=28447384/32872528 swapFree=1541688/1694988
[pid=31082] ppid=31079 vsize=1315396 CPUtime=51.09 cores=0,2,4,6
/proc/31082/stat : 31082 (toysat) R 31079 31082 6847 0 -1 4202496 269966 0 0 0 5069 40 0 0 20 0 4 0 11346566 1346965504 270291 33554432000 4194304 16246674 140734328617072 140734328598976 13191276 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31082/statm: 328849 270291 870 2943 0 325743 0
[pid=31082/tid=31086] ppid=31079 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31086/stat : 31086 (toysat) S 31079 31082 6847 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11346567 1346965504 270291 33554432000 4194304 16246674 140734328617072 139652862291184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=31082/tid=31087] ppid=31079 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31087/stat : 31087 (toysat) S 31079 31082 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11346567 1346965504 270291 33554432000 4194304 16246674 140734328617072 139652851801328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=31082/tid=31088] ppid=31079 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31088/stat : 31088 (toysat) S 31079 31082 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11346567 1346965504 270291 33554432000 4194304 16246674 140734328617072 139652841327792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1315396

[startup+102.3 s]
/proc/loadavg: 2.31 3.32 3.84 4/183 31092
/proc/meminfo: memFree=28146676/32872528 swapFree=1541688/1694988
[pid=31082] ppid=31079 vsize=1316420 CPUtime=102.28 cores=0,2,4,6
/proc/31082/stat : 31082 (toysat) R 31079 31082 6847 0 -1 4202496 270224 0 0 0 10188 40 0 0 20 0 4 0 11346566 1348014080 270549 33554432000 4194304 16246674 140734328617072 140734328598976 5545903 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31082/statm: 329105 270549 872 2943 0 325999 0
[pid=31082/tid=31086] ppid=31079 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31086/stat : 31086 (toysat) S 31079 31082 6847 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11346567 1348014080 270549 33554432000 4194304 16246674 140734328617072 139652862291184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=31082/tid=31087] ppid=31079 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31087/stat : 31087 (toysat) S 31079 31082 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11346567 1348014080 270549 33554432000 4194304 16246674 140734328617072 139652851801328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=31082/tid=31088] ppid=31079 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31088/stat : 31088 (toysat) S 31079 31082 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11346567 1348014080 270549 33554432000 4194304 16246674 140734328617072 139652841327792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1316420


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

/proc/31082/task/31088/stat : 31088 (toysat) S 31079 31082 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11346567 1368985600 275673 33554432000 4194304 16246674 140734328617072 139652841327792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1336900

[startup+1362.3 s]
/proc/loadavg: 2.26 2.28 2.66 4/183 31124
/proc/meminfo: memFree=27575876/32872528 swapFree=1541688/1694988
[pid=31082] ppid=31079 vsize=1336900 CPUtime=1361.88 cores=0,2,4,6
/proc/31082/stat : 31082 (toysat) R 31079 31082 6847 0 -1 4202496 275768 0 0 0 136140 48 0 0 20 0 4 0 11346566 1368985600 275673 33554432000 4194304 16246674 140734328617072 140734328598976 12477709 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31082/statm: 334225 275673 873 2943 0 331119 0
[pid=31082/tid=31086] ppid=31079 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31086/stat : 31086 (toysat) S 31079 31082 6847 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11346567 1368985600 275673 33554432000 4194304 16246674 140734328617072 139652862291184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=31082/tid=31087] ppid=31079 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31087/stat : 31087 (toysat) S 31079 31082 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11346567 1368985600 275673 33554432000 4194304 16246674 140734328617072 139652851801328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=31082/tid=31088] ppid=31079 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31088/stat : 31088 (toysat) S 31079 31082 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11346567 1368985600 275673 33554432000 4194304 16246674 140734328617072 139652841327792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1336900

[startup+1422.3 s]
/proc/loadavg: 2.36 2.30 2.64 4/183 31125
/proc/meminfo: memFree=27576112/32872528 swapFree=1541688/1694988
[pid=31082] ppid=31079 vsize=1336900 CPUtime=1421.87 cores=0,2,4,6
/proc/31082/stat : 31082 (toysat) R 31079 31082 6847 0 -1 4202496 275775 0 0 0 142139 48 0 0 20 0 4 0 11346566 1368985600 275673 33554432000 4194304 16246674 140734328617072 140734328598976 5601249 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31082/statm: 334225 275673 873 2943 0 331119 0
[pid=31082/tid=31086] ppid=31079 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31086/stat : 31086 (toysat) S 31079 31082 6847 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11346567 1368985600 275673 33554432000 4194304 16246674 140734328617072 139652862291184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=31082/tid=31087] ppid=31079 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31087/stat : 31087 (toysat) S 31079 31082 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11346567 1368985600 275673 33554432000 4194304 16246674 140734328617072 139652851801328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=31082/tid=31088] ppid=31079 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31088/stat : 31088 (toysat) S 31079 31082 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11346567 1368985600 275673 33554432000 4194304 16246674 140734328617072 139652841327792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1336900

[startup+1482.3 s]
/proc/loadavg: 2.31 2.30 2.62 4/183 31126
/proc/meminfo: memFree=27576128/32872528 swapFree=1541688/1694988
[pid=31082] ppid=31079 vsize=1336900 CPUtime=1481.85 cores=0,2,4,6
/proc/31082/stat : 31082 (toysat) R 31079 31082 6847 0 -1 4202496 275775 0 0 0 148136 49 0 0 20 0 4 0 11346566 1368985600 275673 33554432000 4194304 16246674 140734328617072 140734328598976 5822428 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31082/statm: 334225 275673 873 2943 0 331119 0
[pid=31082/tid=31086] ppid=31079 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31086/stat : 31086 (toysat) S 31079 31082 6847 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11346567 1368985600 275673 33554432000 4194304 16246674 140734328617072 139652862291184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=31082/tid=31087] ppid=31079 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31087/stat : 31087 (toysat) S 31079 31082 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11346567 1368985600 275673 33554432000 4194304 16246674 140734328617072 139652851801328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=31082/tid=31088] ppid=31079 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31088/stat : 31088 (toysat) S 31079 31082 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11346567 1368985600 275673 33554432000 4194304 16246674 140734328617072 139652841327792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1336900

[startup+1542.31 s]
/proc/loadavg: 2.27 2.29 2.59 4/183 31127
/proc/meminfo: memFree=27576508/32872528 swapFree=1541688/1694988
[pid=31082] ppid=31079 vsize=1336900 CPUtime=1541.85 cores=0,2,4,6
/proc/31082/stat : 31082 (toysat) R 31079 31082 6847 0 -1 4202496 275775 0 0 0 154135 50 0 0 20 0 4 0 11346566 1368985600 275673 33554432000 4194304 16246674 140734328617072 140734328598976 12415740 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31082/statm: 334225 275673 873 2943 0 331119 0
[pid=31082/tid=31086] ppid=31079 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31086/stat : 31086 (toysat) S 31079 31082 6847 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11346567 1368985600 275673 33554432000 4194304 16246674 140734328617072 139652862291184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=31082/tid=31087] ppid=31079 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31087/stat : 31087 (toysat) S 31079 31082 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11346567 1368985600 275673 33554432000 4194304 16246674 140734328617072 139652851801328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=31082/tid=31088] ppid=31079 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31088/stat : 31088 (toysat) S 31079 31082 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11346567 1368985600 275673 33554432000 4194304 16246674 140734328617072 139652841327792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1336900

[startup+1602.3 s]
/proc/loadavg: 2.25 2.28 2.57 4/183 31129
/proc/meminfo: memFree=27576520/32872528 swapFree=1541688/1694988
[pid=31082] ppid=31079 vsize=1336900 CPUtime=1601.83 cores=0,2,4,6
/proc/31082/stat : 31082 (toysat) R 31079 31082 6847 0 -1 4202496 275775 0 0 0 160133 50 0 0 20 0 4 0 11346566 1368985600 275673 33554432000 4194304 16246674 140734328617072 140734328598976 5711439 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31082/statm: 334225 275673 873 2943 0 331119 0
[pid=31082/tid=31086] ppid=31079 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31086/stat : 31086 (toysat) S 31079 31082 6847 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11346567 1368985600 275673 33554432000 4194304 16246674 140734328617072 139652862291184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=31082/tid=31087] ppid=31079 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31087/stat : 31087 (toysat) S 31079 31082 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11346567 1368985600 275673 33554432000 4194304 16246674 140734328617072 139652851801328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=31082/tid=31088] ppid=31079 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31088/stat : 31088 (toysat) S 31079 31082 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11346567 1368985600 275673 33554432000 4194304 16246674 140734328617072 139652841327792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1336900

[startup+1662.3 s]
/proc/loadavg: 2.31 2.29 2.55 5/183 31133
/proc/meminfo: memFree=27576236/32872528 swapFree=1541688/1694988
[pid=31082] ppid=31079 vsize=1336900 CPUtime=1661.82 cores=0,2,4,6
/proc/31082/stat : 31082 (toysat) R 31079 31082 6847 0 -1 4202496 275775 0 0 0 166131 51 0 0 20 0 4 0 11346566 1368985600 275673 33554432000 4194304 16246674 140734328617072 140734328598976 5523508 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31082/statm: 334225 275673 873 2943 0 331119 0
[pid=31082/tid=31086] ppid=31079 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31086/stat : 31086 (toysat) S 31079 31082 6847 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11346567 1368985600 275673 33554432000 4194304 16246674 140734328617072 139652862291184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=31082/tid=31087] ppid=31079 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31087/stat : 31087 (toysat) S 31079 31082 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11346567 1368985600 275673 33554432000 4194304 16246674 140734328617072 139652851801328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=31082/tid=31088] ppid=31079 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31088/stat : 31088 (toysat) S 31079 31082 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11346567 1368985600 275673 33554432000 4194304 16246674 140734328617072 139652841327792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1336900

[startup+1722.3 s]
/proc/loadavg: 2.24 2.26 2.52 4/183 31134
/proc/meminfo: memFree=27576368/32872528 swapFree=1541688/1694988
[pid=31082] ppid=31079 vsize=1336900 CPUtime=1721.82 cores=0,2,4,6
/proc/31082/stat : 31082 (toysat) R 31079 31082 6847 0 -1 4202496 275775 0 0 0 172130 52 0 0 20 0 4 0 11346566 1368985600 275673 33554432000 4194304 16246674 140734328617072 140734328598976 12478176 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31082/statm: 334225 275673 873 2943 0 331119 0
[pid=31082/tid=31086] ppid=31079 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31086/stat : 31086 (toysat) S 31079 31082 6847 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11346567 1368985600 275673 33554432000 4194304 16246674 140734328617072 139652862291184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=31082/tid=31087] ppid=31079 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31087/stat : 31087 (toysat) S 31079 31082 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11346567 1368985600 275673 33554432000 4194304 16246674 140734328617072 139652851801328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=31082/tid=31088] ppid=31079 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31088/stat : 31088 (toysat) S 31079 31082 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11346567 1368985600 275673 33554432000 4194304 16246674 140734328617072 139652841327792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1336900

[startup+1782.3 s]
/proc/loadavg: 2.33 2.28 2.51 4/183 31135
/proc/meminfo: memFree=27563980/32872528 swapFree=1541688/1694988
[pid=31082] ppid=31079 vsize=1336900 CPUtime=1781.81 cores=0,2,4,6
/proc/31082/stat : 31082 (toysat) R 31079 31082 6847 0 -1 4202496 275775 0 0 0 178126 55 0 0 20 0 4 0 11346566 1368985600 275673 33554432000 4194304 16246674 140734328617072 140734328598976 5522977 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31082/statm: 334225 275673 873 2943 0 331119 0
[pid=31082/tid=31086] ppid=31079 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31086/stat : 31086 (toysat) S 31079 31082 6847 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11346567 1368985600 275673 33554432000 4194304 16246674 140734328617072 139652862291184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=31082/tid=31087] ppid=31079 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31087/stat : 31087 (toysat) S 31079 31082 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11346567 1368985600 275673 33554432000 4194304 16246674 140734328617072 139652851801328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=31082/tid=31088] ppid=31079 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31088/stat : 31088 (toysat) S 31079 31082 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11346567 1368985600 275673 33554432000 4194304 16246674 140734328617072 139652841327792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1336900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.31 2.27 2.50 4/183 31135
/proc/meminfo: memFree=27564232/32872528 swapFree=1541688/1694988
[pid=31082] ppid=31079 vsize=1336900 CPUtime=1800 cores=0,2,4,6
/proc/31082/stat : 31082 (toysat) R 31079 31082 6847 0 -1 4202496 275775 0 0 0 179945 55 0 0 20 0 4 0 11346566 1368985600 275673 33554432000 4194304 16246674 140734328617072 140734328598976 5546098 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31082/statm: 334225 275673 873 2943 0 331119 0
[pid=31082/tid=31086] ppid=31079 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31086/stat : 31086 (toysat) S 31079 31082 6847 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11346567 1368985600 275673 33554432000 4194304 16246674 140734328617072 139652862291184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=31082/tid=31087] ppid=31079 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31087/stat : 31087 (toysat) S 31079 31082 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11346567 1368985600 275673 33554432000 4194304 16246674 140734328617072 139652851801328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=31082/tid=31088] ppid=31079 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31088/stat : 31088 (toysat) S 31079 31082 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11346567 1368985600 275673 33554432000 4194304 16246674 140734328617072 139652841327792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1336900

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

[startup+1800.5 s]
/proc/loadavg: 2.31 2.27 2.50 4/183 31135
/proc/meminfo: memFree=27564232/32872528 swapFree=1541688/1694988
[pid=31082] ppid=31079 vsize=1336900 CPUtime=1800 cores=0,2,4,6
/proc/31082/stat : 31082 (toysat) R 31079 31082 6847 0 -1 4202496 275775 0 0 0 179945 55 0 0 20 0 4 0 11346566 1368985600 275673 33554432000 4194304 16246674 140734328617072 140734328598976 5546098 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31082/statm: 334225 275673 873 2943 0 331119 0
[pid=31082/tid=31086] ppid=31079 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31086/stat : 31086 (toysat) S 31079 31082 6847 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11346567 1368985600 275673 33554432000 4194304 16246674 140734328617072 139652862291184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=31082/tid=31087] ppid=31079 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31087/stat : 31087 (toysat) S 31079 31082 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11346567 1368985600 275673 33554432000 4194304 16246674 140734328617072 139652851801328 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=31082/tid=31088] ppid=31079 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/31082/task/31088/stat : 31088 (toysat) S 31079 31082 6847 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11346567 1368985600 275673 33554432000 4194304 16246674 140734328617072 139652841327792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1336900

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.46
CPU system time (s): 0.553915
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (KiB): 1336900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.46
system time used= 0.553915
maximum resident set size= 1102692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275775
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= 443
involuntary context switches= 2178

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.51031 second user time and 7.00193 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-16 18:03:19
IDJOB=4093712
IDBENCH=79169
IDSOLVER=2553
FILE ID=node125/4093712-1466092999
RUNJOBID= node125-1466092999-31053
PBS_JOBID= 19904014
Free space on /tmp= 71744 MiB

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

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

MD5SUM BENCH= 19fe712a4f6ee0b978bb364f3985a5e4
RANDOM SEED=178502957

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
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		: 2666.683
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:        30304672 kB
Buffers:           43480 kB
Cached:           120456 kB
SwapCached:         2664 kB
Active:            84248 kB
Inactive:          82728 kB
Active(anon):       3472 kB
Inactive(anon):     2116 kB
Active(file):      80776 kB
Inactive(file):    80612 kB
Unevictable:     1694988 kB
Mlocked:         1541688 kB
SwapTotal:      67108856 kB
SwapFree:       67096840 kB
Dirty:             32680 kB
Writeback:             0 kB
AnonPages:       1696844 kB
Mapped:             6788 kB
Shmem:                 0 kB
Slab:             570120 kB
SReclaimable:      13888 kB
SUnreclaim:       556232 kB
KernelStack:        1408 kB
PageTables:         7236 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1793028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    153600 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= 71712 MiB
End job on node125 at 2016-06-16 18:33:20