Trace number 4078770

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.1 1800.53

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-51-50.opb
MD5SUM285c24e978af8153c6a378b9af59f522
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.026995
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables2550
Total number of constraints101
Number of constraints which are clauses51
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint51
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 52
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-06T21:15:29+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4078770-1465240528.opb"]
0.00/0.01	c use --random-gen="2197468565 589257065 673716381 778390982 165354218 3000910596 2184198571 3528341217 2946805682 4252462589 2539838221 51573959 797963812 1373026251 3704319907 3960862497 3986525938 2346222054 3604735843 361346686 2591408837 2110378187 605763197 2819403471 3500869063 4008327634 1509181396 4167646066 3753030990 85366222 3244202537 3698525488 1797922991 3436600117 1530176068 3361736149 3153486428 1982443820 2337750061 701226574 1522184109 615729550 1114064682 318132216 3482802158 179710661 1900497594 2798823697 840499472 2748930957 1532014042 3308601650 3626034350 2030451542 1809560835 2828794725 2962142953 2237314470 3482329991 825582889 1827965866 2970621543 845060401 2925918060 1814472195 1150946252 1414017850 1607981064 2757362569 295411007 3098075518 329064276 3958753477 2443182229 3239609881 2587915504 307181142 1762550508 4021652395 1355758788 2594886370 2698522937 4243863823 2861763418 3783833686 3574006619 953524938 2728400800 74166879 2821519475 779347958 3596796962 3453902119 2343029867 3065898362 397841971 870963997 3791916877 1401802906 939181287 4247055597 1613306919 4080514188 3461766636 3368199708 2364456212 673119737 1934997610 1456958938 1720875309 1994795609 77310066 4262249788 359026059 3080783236 720664290 1625087140 3381844597 1629349845 4211313368 1287316672 4068376875 171661452 2704497771 1964005800 1614147845 1634254261 234693059 2754779100 3038106401 3966074926 2485900584 1960407672 121789256 691598402 257980204 444415619 3480557599 1995601634 330408674 979934750 2285663914 170576231 1048640263 3531818497 742077629 3537813840 2877931875 2509614605 1866861772 440426032 747333343 4023613585 1132682731 1351150147 4122902740 879561701 2248081921 969657618 1984547862 2797610266 184626893 2275694958 1865307433 856745261 2287656623 3023017743 1702937437 3819851942 3744343172 1852032695 3808545154 3096678224 2640592279 4242461288 3126132422 219200500 2839806812 618718231 2140129094 1870428368 2345066489 3392997403 1136580084 3555466796 2237686840 179871372 3368669099 4151197378 1546102288 1518013333 194436688 1934586180 1685542316 4048666139 2859511940 147621807 1035168436 923259243 216995546 1145124380 3829405726 331439250 1258878653 3873546760 136463378 1585844552 9316944 1721565954 401195463 3757937703 2460788026 3579750398 2689214534 1699163124 675352323 1469070868 1724815573 1943268521 3949147541 748461523 740292801 580486872 699542430 4138867370 2981729160 1838677223 1900041568 2844461656 3293531939 2713366660 2742630007 1927337098 4180663223 2139616970 2586390739 150357885 935578236 2896120335 1593916845 3011882440 3242251679 4154303862 2454341727 1511657867 2378188275 502207850 512041718 143488197 984236293 3756195615 2086520083 1167548095 2909517732 71845075 4076885767 255 362436" option to reproduce the execution
0.00/0.02	c #vars 2550
0.00/0.02	c #constraints 101
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      883      0 |        0 |        0
0.00/0.08	c  0.0s |       1 |      167 |      100 |      883      0 |        0 |        0
0.19/0.23	c  0.2s |       2 |     1555 |      250 |      972      0 |        0 |        0
0.39/0.44	c  0.4s |       3 |     2926 |      475 |     1070      0 |        0 |        0
0.69/0.79	c  0.8s |       4 |     5262 |      813 |     1177      0 |        0 |        0
1.20/1.23	c  1.2s |       5 |     7319 |     1320 |     1295      0 |        0 |        0
1.79/1.82	c  1.8s |       6 |     9423 |     2081 |     1568      1 |        0 |        0
2.59/2.69	c  2.7s |       7 |    12086 |     3223 |     1725      1 |        0 |        0
4.39/4.47	c  4.4s |       8 |    15317 |     4936 |     1898      2 |        0 |        0
6.49/6.50	c  6.5s |       8 |    19199 |     7236 |     1898      3 |        0 |        0
6.69/6.75	c  6.7s |       9 |    19511 |     7506 |     2088      3 |        0 |        0
8.79/8.82	c  8.8s |       9 |    23184 |     9606 |     2088      4 |        0 |        0
10.79/10.85	c 10.8s |       9 |    24865 |    11106 |     2088      5 |        0 |        0
11.19/11.20	c 11.2s |      10 |    25149 |    11361 |     2297      5 |        0 |        0
13.29/13.30	c 13.3s |      10 |    28998 |    12561 |     2297      6 |        0 |        0
15.39/15.44	c 15.4s |      10 |    30297 |    13661 |     2297      6 |        0 |        0
17.39/17.47	c 17.4s |      10 |    31215 |    14461 |     2297      7 |        0 |        0
19.49/19.59	c 19.6s |      10 |    32105 |    15261 |     2297      7 |        0 |        0
21.79/21.83	c 21.8s |      10 |    32989 |    16061 |     2297      7 |        0 |        0
23.99/24.04	c 24.0s |      10 |    33782 |    16761 |     2297      8 |        0 |        0
25.09/25.14	c 25.1s |      11 |    34335 |    17144 |     2527      8 |        0 |        0
27.09/27.17	c 27.1s |      11 |    39183 |    18744 |     2527      9 |        0 |        0
29.29/29.32	c 29.3s |      11 |    40888 |    20244 |     2527      9 |        0 |        0
31.29/31.35	c 31.3s |      11 |    42025 |    21244 |     2527     10 |        0 |        0
33.39/33.40	c 33.4s |      11 |    43258 |    22344 |     2527     10 |        0 |        0
35.39/35.41	c 35.4s |      11 |    44380 |    23344 |     2527     11 |        0 |        0
37.39/37.46	c 37.4s |      11 |    45724 |    24544 |     2527     11 |        0 |        0
39.59/39.65	c 39.6s |      11 |    47056 |    25744 |     2780     11 |        0 |        0
39.69/39.79	c 39.8s |      12 |    47139 |    25819 |     2780     11 |        0 |        0
41.79/41.85	c 41.8s |      12 |    50945 |    27519 |     2780     12 |        0 |        0
43.88/43.97	c 43.9s |      12 |    52626 |    29019 |     2780     13 |        0 |        0
45.98/46.02	c 46.0s |      12 |    53970 |    30219 |     2780     13 |        0 |        0
48.08/48.10	c 48.1s |      12 |    55193 |    31319 |     2780     14 |        0 |        0
50.18/50.20	c 50.2s |      12 |    56745 |    32719 |     2780     14 |        0 |        0
52.28/52.32	c 52.3s |      12 |    58113 |    33919 |     2780     15 |        0 |        0
54.38/54.45	c 54.4s |      12 |    59451 |    35119 |     2780     15 |        0 |        0
56.48/56.59	c 56.6s |      12 |    60827 |    36319 |     2780     15 |        0 |        0
58.68/58.75	c 58.7s |      12 |    61956 |    37319 |     2780     16 |        0 |        0
60.78/60.85	c 60.8s |      12 |    63070 |    38319 |     2780     16 |        0 |        0
61.88/61.94	c 61.9s |      13 |    63639 |    38832 |     3059     16 |        0 |        0
63.88/63.94	c 63.9s |      13 |    67034 |    40632 |     3059     17 |        0 |        0
65.88/65.97	c 65.9s |      13 |    68694 |    42132 |     3059     18 |        0 |        0
67.88/67.99	c 68.0s |      13 |    70170 |    43432 |     3059     18 |        0 |        0
70.08/70.14	c 70.1s |      13 |    71503 |    44632 |     3059     19 |        0 |        0
72.18/72.27	c 72.2s |      13 |    72922 |    45932 |     3059     19 |        0 |        0
74.38/74.44	c 74.4s |      13 |    74246 |    47132 |     3059     19 |        0 |        0
76.48/76.52	c 76.5s |      13 |    75368 |    48132 |     3059     20 |        0 |        0
78.58/78.64	c 78.6s |      13 |    76564 |    49232 |     3059     20 |        0 |        0
80.67/80.77	c 80.7s |      13 |    77525 |    50132 |     3059     21 |        0 |        0
82.87/82.95	c 82.9s |      13 |    79179 |    51632 |     3059     21 |        0 |        0
84.97/85.01	c 85.0s |      13 |    80481 |    52832 |     3059     21 |        0 |        0
87.08/87.12	c 87.1s |      13 |    81674 |    53932 |     3059     22 |        0 |        0
89.09/89.12	c 89.1s |      13 |    82999 |    55132 |     3059     22 |        0 |        0
91.29/91.31	c 91.3s |      13 |    84203 |    56232 |     3059     23 |        0 |        0
93.28/93.31	c 93.3s |      13 |    85410 |    57332 |     3059     23 |        0 |        0
95.28/95.32	c 95.3s |      13 |    86509 |    58332 |     3365     23 |        0 |        0
95.28/95.37	c 95.3s |      14 |    86531 |    58352 |     3365     23 |        0 |        0
97.28/97.38	c 97.3s |      14 |    89825 |    60252 |     3365     24 |        0 |        0
99.48/99.51	c 99.5s |      14 |    91730 |    61952 |     3365     25 |        0 |        0
101.58/101.61	c  101s |      14 |    93280 |    63352 |     3365     25 |        0 |        0
103.58/103.61	c  103s |      14 |    94734 |    64652 |     3365     26 |        0 |        0
105.59/105.65	c  105s |      14 |    96340 |    66052 |     3365     26 |        0 |        0
107.68/107.76	c  107s |      14 |    97782 |    67252 |     3365     27 |        0 |        0
109.88/109.91	c  109s |      14 |    99374 |    68652 |     3365     27 |        0 |        0
111.98/112.07	c  112s |      14 |   100635 |    69752 |     3365     27 |        0 |        0
114.18/114.23	c  114s |      14 |   101992 |    70952 |     3365     28 |        0 |        0
116.38/116.40	c  116s |      14 |   103326 |    72152 |     3365     28 |        0 |        0
118.38/118.44	c  118s |      14 |   104361 |    73052 |     3365     29 |        0 |        0
120.57/120.67	c  120s |      14 |   105584 |    74152 |     3365     29 |        0 |        0
122.67/122.76	c  122s |      14 |   106834 |    75252 |     3365     29 |        0 |        0
124.77/124.81	c  124s |      14 |   107855 |    76152 |     3365     30 |        0 |        0
126.87/126.98	c  126s |      14 |   108948 |    77152 |     3365     30 |        0 |        0
129.07/129.16	c  129s |      14 |   110117 |    78152 |     3365     30 |        0 |        0
131.17/131.25	c  131s |      14 |   111164 |    79052 |     3365     31 |        0 |        0
133.37/133.44	c  133s |      14 |   112281 |    80052 |     3365     31 |        0 |        0
135.37/135.47	c  135s |      14 |   113873 |    81452 |     3365     31 |        0 |        0
137.47/137.57	c  137s |      14 |   115286 |    82752 |     3365     32 |        0 |        0
139.57/139.65	c  139s |      14 |   116628 |    83952 |     3365     32 |        0 |        0
141.67/141.72	c  141s |      14 |   117851 |    85052 |     3365     33 |        0 |        0
143.77/143.82	c  143s |      14 |   119179 |    86252 |     3365     33 |        0 |        0
145.86/145.93	c  145s |      14 |   120552 |    87452 |     3702     33 |        0 |        0
146.27/146.35	c  146s |      15 |   120765 |    87632 |     3702     34 |        0 |        0
148.26/148.38	c  148s |      15 |   124058 |    89632 |     3702     34 |        0 |        0
150.46/150.51	c  150s |      15 |   125762 |    91132 |     3702     35 |        0 |        0
152.56/152.64	c  152s |      15 |   127515 |    92632 |     3702     35 |        0 |        0
154.56/154.64	c  154s |      15 |   128897 |    93832 |     3702     36 |        0 |        0
156.66/156.75	c  156s |      15 |   130486 |    95232 |     3702     36 |        0 |        0
158.76/158.88	c  158s |      15 |   131941 |    96532 |     3702     36 |        0 |        0
160.86/160.91	c  160s |      15 |   133168 |    97632 |     3702     37 |        0 |        0
162.96/163.07	c  163s |      15 |   134354 |    98732 |     3702     37 |        0 |        0
165.08/165.19	c  165s |      15 |   135457 |    99732 |     3702     38 |        0 |        0
167.07/167.20	c  167s |      15 |   136643 |   100832 |     3702     38 |        0 |        0
169.27/169.34	c  169s |      15 |   137934 |   102032 |     3702     38 |        0 |        0
171.37/171.41	c  171s |      15 |   139138 |   103132 |     3702     39 |        0 |        0
173.37/173.47	c  173s |      15 |   140682 |   104432 |     3702     39 |        0 |        0
175.47/175.50	c  175s |      15 |   142060 |   105632 |     3702     39 |        0 |        0
177.57/177.62	c  177s |      15 |   143294 |   106732 |     3702     40 |        0 |        0
179.57/179.68	c  179s |      15 |   144497 |   107832 |     3702     40 |        0 |        0
181.77/181.80	c  181s |      15 |   145596 |   108832 |     3702     41 |        0 |        0
183.87/183.93	c  183s |      15 |   146909 |   110032 |     3702     41 |        0 |        0
185.87/185.95	c  185s |      15 |   147997 |   111032 |     3702     41 |        0 |        0
187.87/187.99	c  187s |      15 |   149246 |   112132 |     3702     42 |        0 |        0
190.07/190.12	c  190s |      15 |   150789 |   113532 |     3702     42 |        0 |        0
192.26/192.34	c  192s |      15 |   152318 |   114832 |     3702     43 |        0 |        0
194.36/194.48	c  194s |      15 |   153786 |   116132 |     3702     43 |        0 |        0
196.46/196.56	c  196s |      15 |   154994 |   117232 |     3702     43 |        0 |        0
198.56/198.67	c  198s |      15 |   156212 |   118332 |     3702     44 |        0 |        0
200.66/200.73	c  200s |      15 |   157301 |   119332 |     3702     44 |        0 |        0
202.66/202.75	c  202s |      15 |   158383 |   120332 |     3702     44 |        0 |        0
204.67/204.78	c  204s |      15 |   159595 |   121332 |     3702     45 |        0 |        0
206.87/206.96	c  206s |      15 |   160989 |   122532 |     3702     45 |        0 |        0
208.86/208.98	c  208s |      15 |   162084 |   123532 |     3702     45 |        0 |        0
210.96/211.02	c  210s |      15 |   163069 |   124432 |     3702     46 |        0 |        0
212.96/213.07	c  213s |      15 |   164304 |   125532 |     3702     46 |        0 |        0
215.06/215.11	c  215s |      15 |   165433 |   126532 |     3702     46 |        0 |        0
217.15/217.22	c  217s |      15 |   166690 |   127632 |     3702     47 |        0 |        0
219.26/219.34	c  219s |      15 |   167909 |   128732 |     3702     47 |        0 |        0
221.36/221.45	c  221s |      15 |   169317 |   129932 |     3702     48 |        0 |        0
223.46/223.58	c  223s |      15 |   170828 |   131232 |     4073     48 |        0 |        0
224.16/224.20	c  224s |      16 |   171201 |   131552 |     4073     48 |        0 |        0
226.16/226.25	c  226s |      16 |   174149 |   133252 |     4073     49 |        0 |        0
228.26/228.39	c  228s |      16 |   175899 |   134752 |     4073     49 |        0 |        0
230.36/230.47	c  230s |      16 |   177316 |   135952 |     4073     50 |        0 |        0
232.56/232.61	c  232s |      16 |   178806 |   137252 |     4073     50 |        0 |        0
234.56/234.69	c  234s |      16 |   180225 |   138452 |     4073     50 |        0 |        0
236.76/236.80	c  236s |      16 |   181531 |   139552 |     4073     51 |        0 |        0
238.76/238.90	c  238s |      16 |   183045 |   140852 |     4073     51 |        0 |        0
240.96/241.03	c  241s |      16 |   184414 |   142052 |     4073     51 |        0 |        0
243.06/243.20	c  243s |      16 |   185797 |   143252 |     4073     52 |        0 |        0
245.26/245.34	c  245s |      16 |   187171 |   144452 |     4073     52 |        0 |        0
247.35/247.42	c  247s |      16 |   188846 |   145852 |     4073     53 |        0 |        0
249.35/249.43	c  249s |      16 |   190301 |   147152 |     4073     53 |        0 |        0
251.45/251.51	c  251s |      16 |   191503 |   148252 |     4073     53 |        0 |        0
253.55/253.60	c  253s |      16 |   192744 |   149352 |     4073     54 |        0 |        0
255.65/255.72	c  255s |      16 |   194291 |   150652 |     4073     54 |        0 |        0
257.75/257.86	c  257s |      16 |   195647 |   151852 |     4073     55 |        0 |        0
259.75/259.87	c  259s |      16 |   196977 |   153052 |     4073     55 |        0 |        0
261.86/261.94	c  261s |      16 |   198195 |   154152 |     4073     55 |        0 |        0
263.85/263.97	c  263s |      16 |   199303 |   155152 |     4073     56 |        0 |        0
266.05/266.15	c  266s |      16 |   200615 |   156352 |     4073     56 |        0 |        0
268.15/268.20	c  268s |      16 |   201675 |   157352 |     4073     56 |        0 |        0
270.35/270.42	c  270s |      16 |   202656 |   158252 |     4073     57 |        0 |        0
272.35/272.42	c  272s |      16 |   204083 |   159552 |     4073     57 |        0 |        0
274.45/274.51	c  274s |      16 |   205665 |   160952 |     4073     57 |        0 |        0
276.45/276.53	c  276s |      16 |   206775 |   161952 |     4073     58 |        0 |        0
278.45/278.58	c  278s |      16 |   207968 |   163052 |     4073     58 |        0 |        0
280.45/280.60	c  280s |      16 |   209187 |   164152 |     4073     58 |        0 |        0
282.65/282.75	c  282s |      16 |   210369 |   165252 |     4073     59 |        0 |        0
284.65/284.80	c  284s |      16 |   211314 |   166152 |     4073     59 |        0 |        0
286.75/286.84	c  286s |      16 |   212475 |   167152 |     4073     59 |        0 |        0
288.85/288.95	c  288s |      16 |   213572 |   168152 |     4073     60 |        0 |        0
291.04/291.12	c  291s |      16 |   214809 |   169252 |     4073     60 |        0 |        0
293.04/293.13	c  293s |      16 |   215791 |   170152 |     4073     60 |        0 |        0
295.34/295.42	c  295s |      16 |   216879 |   171152 |     4073     61 |        0 |        0
297.44/297.52	c  297s |      16 |   218106 |   172252 |     4073     61 |        0 |        0
299.54/299.62	c  299s |      16 |   219316 |   173352 |     4073     61 |        0 |        0
301.84/301.92	c  301s |      16 |   220400 |   174352 |     4073     62 |        0 |        0
303.84/303.98	c  303s |      16 |   221489 |   175352 |     4073     62 |        0 |        0
305.85/305.99	c  305s |      16 |   222604 |   176352 |     4073     62 |        0 |        0
308.05/308.11	c  308s |      16 |   223714 |   177352 |     4073     62 |        0 |        0
310.04/310.11	c  310s |      16 |   224822 |   178352 |     4073     63 |        0 |        0
312.14/312.29	c  312s |      16 |   226013 |   179452 |     4073     63 |        0 |        0
314.25/314.39	c  314s |      16 |   226885 |   180252 |     4073     63 |        0 |        0
316.35/316.40	c  316s |      16 |   227871 |   181152 |     4073     64 |        0 |        0
318.45/318.52	c  318s |      16 |   229044 |   182252 |     4073     64 |        0 |        0
320.55/320.64	c  320s |      16 |   230260 |   183352 |     4073     64 |        0 |        0
322.65/322.76	c  322s |      16 |   231608 |   184552 |     4073     65 |        0 |        0
324.75/324.85	c  324s |      16 |   232818 |   185652 |     4073     65 |        0 |        0
326.94/327.01	c  326s |      16 |   233889 |   186652 |     4073     65 |        0 |        0
328.95/329.06	c  329s |      16 |   234654 |   187352 |     4073     66 |        0 |        0
331.05/331.12	c  331s |      16 |   235771 |   188352 |     4073     66 |        0 |        0
333.04/333.19	c  333s |      16 |   236794 |   189252 |     4073     66 |        0 |        0
335.24/335.35	c  335s |      16 |   237884 |   190252 |     4073     66 |        0 |        0
337.24/337.40	c  337s |      16 |   239132 |   191352 |     4073     67 |        0 |        0
339.44/339.53	c  339s |      16 |   240708 |   192752 |     4073     67 |        0 |        0
341.64/341.71	c  341s |      16 |   241795 |   193752 |     4073     68 |        0 |        0
343.74/343.89	c  343s |      16 |   242860 |   194752 |     4073     68 |        0 |        0
345.84/346.00	c  345s |      16 |   243721 |   195552 |     4073     68 |        0 |        0
348.04/348.17	c  348s |      16 |   244704 |   196452 |     4481     68 |        0 |        0
349.85/349.96	c  349s |      17 |   245812 |   197432 |     4481     69 |        0 |        0
351.94/352.09	c  352s |      17 |   248934 |   199432 |     4481     69 |        0 |        0
354.04/354.15	c  354s |      17 |   250483 |   200832 |     4481     70 |        0 |        0
356.14/356.20	c  356s |      17 |   252211 |   202332 |     4481     70 |        0 |        0
358.24/358.36	c  358s |      17 |   253717 |   203632 |     4481     70 |        0 |        0
360.34/360.42	c  360s |      17 |   254887 |   204632 |     4481     71 |        0 |        0
362.34/362.48	c  362s |      17 |   255987 |   205632 |     4481     71 |        0 |        0
364.54/364.66	c  364s |      17 |   257204 |   206732 |     4481     71 |        0 |        0
366.74/366.84	c  366s |      17 |   258217 |   207632 |     4481     72 |        0 |        0
368.84/368.90	c  368s |      17 |   259720 |   208932 |     4481     72 |        0 |        0
370.83/370.98	c  370s |      17 |   260799 |   209932 |     4481     72 |        0 |        0
373.03/373.18	c  373s |      17 |   261768 |   210832 |     4481     72 |        0 |        0
375.04/375.20	c  375s |      17 |   262905 |   211832 |     4481     73 |        0 |        0
377.13/377.24	c  377s |      17 |   264142 |   212932 |     4481     73 |        0 |        0
379.23/379.39	c  379s |      17 |   265509 |   214132 |     4481     73 |        0 |        0
381.53/381.62	c  381s |      17 |   266723 |   215232 |     4481     74 |        0 |        0
383.63/383.74	c  383s |      17 |   267810 |   216232 |     4481     74 |        0 |        0
385.83/385.90	c  385s |      17 |   268923 |   217232 |     4481     74 |        0 |        0
387.93/388.01	c  387s |      17 |   269945 |   218132 |     4481     75 |        0 |        0
390.13/390.21	c  390s |      17 |   271153 |   219232 |     4481     75 |        0 |        0
392.13/392.26	c  392s |      17 |   272135 |   220132 |     4481     75 |        0 |        0
394.23/394.39	c  394s |      17 |   273252 |   221132 |     4481     75 |        0 |        0
396.33/396.47	c  396s |      17 |   274482 |   222232 |     4481     76 |        0 |        0
398.43/398.58	c  398s |      17 |   275842 |   223432 |     4481     76 |        0 |        0
400.54/400.68	c  400s |      17 |   276945 |   224432 |     4481     76 |        0 |        0
402.73/402.83	c  402s |      17 |   278172 |   225532 |     4481     77 |        0 |        0
404.84/404.99	c  404s |      17 |   279374 |   226632 |     4481     77 |        0 |        0
406.94/407.03	c  406s |      17 |   280494 |   227632 |     4481     77 |        0 |        0
409.03/409.19	c  409s |      17 |   281731 |   228732 |     4481     78 |        0 |        0
411.13/411.26	c  411s |      17 |   283036 |   229932 |     4481     78 |        0 |        0
413.33/413.44	c  413s |      17 |   284262 |   231032 |     4481     78 |        0 |        0
415.33/415.49	c  415s |      17 |   285242 |   231932 |     4481     79 |        0 |        0
417.43/417.52	c  417s |      17 |   286424 |   233032 |     4481     79 |        0 |        0
419.43/419.58	c  419s |      17 |   287548 |   234032 |     4481     79 |        0 |        0
421.53/421.60	c  421s |      17 |   288396 |   234832 |     4481     80 |        0 |        0
423.63/423.72	c  423s |      17 |   289486 |   235832 |     4481     80 |        0 |        0
425.63/425.72	c  425s |      17 |   290530 |   236832 |     4481     80 |        0 |        0
427.83/427.92	c  427s |      17 |   291611 |   237832 |     4481     80 |        0 |        0
429.83/429.99	c  429s |      17 |   292578 |   238732 |     4481     81 |        0 |        0
432.03/432.12	c  432s |      17 |   293814 |   239832 |     4481     81 |        0 |        0
434.03/434.14	c  434s |      17 |   295028 |   240932 |     4481     81 |        0 |        0
436.23/436.32	c  436s |      17 |   296027 |   241832 |     4481     82 |        0 |        0
438.43/438.50	c  438s |      17 |   297097 |   242832 |     4481     82 |        0 |        0
440.43/440.59	c  440s |      17 |   298310 |   243932 |     4481     82 |        0 |        0
442.52/442.63	c  442s |      17 |   299532 |   245032 |     4481     82 |        0 |        0
444.62/444.75	c  444s |      17 |   300732 |   246132 |     4481     83 |        0 |        0
446.72/446.86	c  446s |      17 |   301837 |   247132 |     4481     83 |        0 |        0
448.92/449.01	c  448s |      17 |   302955 |   248132 |     4481     83 |        0 |        0
450.93/451.08	c  451s |      17 |   303832 |   248932 |     4481     84 |        0 |        0
453.02/453.10	c  453s |      17 |   304718 |   249732 |     4481     84 |        0 |        0
455.02/455.11	c  455s |      17 |   305820 |   250732 |     4481     84 |        0 |        0
457.02/457.19	c  457s |      17 |   306901 |   251732 |     4481     84 |        0 |        0
459.22/459.33	c  459s |      17 |   307994 |   252732 |     4481     85 |        0 |        0
461.42/461.55	c  461s |      17 |   309207 |   253832 |     4481     85 |        0 |        0
463.62/463.71	c  463s |      17 |   310439 |   254932 |     4481     85 |        0 |        0
465.72/465.81	c  465s |      17 |   311630 |   256032 |     4481     86 |        0 |        0
467.82/467.96	c  467s |      17 |   312717 |   257032 |     4481     86 |        0 |        0
469.82/469.99	c  469s |      17 |   313803 |   258032 |     4481     86 |        0 |        0
472.02/472.16	c  472s |      17 |   314983 |   259132 |     4481     87 |        0 |        0
474.12/474.22	c  474s |      17 |   316198 |   260232 |     4481     87 |        0 |        0
476.12/476.22	c  476s |      17 |   317183 |   261132 |     4481     87 |        0 |        0
478.22/478.31	c  478s |      17 |   318155 |   262032 |     4481     87 |        0 |        0
480.32/480.43	c  480s |      17 |   319163 |   262932 |     4481     88 |        0 |        0
482.52/482.64	c  482s |      17 |   320521 |   264132 |     4481     88 |        0 |        0
484.62/484.75	c  484s |      17 |   321609 |   265132 |     4481     88 |        0 |        0
486.72/486.83	c  486s |      17 |   322587 |   266032 |     4481     89 |        0 |        0
488.72/488.89	c  488s |      17 |   323589 |   266932 |     4481     89 |        0 |        0
490.72/490.89	c  490s |      17 |   324673 |   267932 |     4481     89 |        0 |        0
493.02/493.15	c  493s |      17 |   325766 |   268932 |     4481     89 |        0 |        0
495.12/495.25	c  495s |      17 |   326725 |   269832 |     4481     90 |        0 |        0
497.12/497.27	c  497s |      17 |   327699 |   270732 |     4481     90 |        0 |        0
499.32/499.47	c  499s |      17 |   328818 |   271732 |     4481     90 |        0 |        0
501.41/501.55	c  501s |      17 |   329803 |   272632 |     4481     91 |        0 |        0
503.61/503.71	c  503s |      17 |   330905 |   273632 |     4481     91 |        0 |        0
505.71/505.84	c  505s |      17 |   331914 |   274532 |     4481     91 |        0 |        0
507.71/507.87	c  507s |      17 |   333066 |   275532 |     4481     91 |        0 |        0
509.81/509.90	c  509s |      17 |   334295 |   276632 |     4481     92 |        0 |        0
511.91/512.09	c  512s |      17 |   335618 |   277832 |     4481     92 |        0 |        0
514.11/514.27	c  514s |      17 |   336814 |   278932 |     4481     92 |        0 |        0
516.21/516.32	c  516s |      17 |   337792 |   279832 |     4481     93 |        0 |        0
518.41/518.50	c  518s |      17 |   338981 |   280932 |     4481     93 |        0 |        0
520.51/520.60	c  520s |      17 |   339960 |   281832 |     4481     93 |        0 |        0
522.81/522.90	c  522s |      17 |   340922 |   282732 |     4481     94 |        0 |        0
524.82/524.98	c  524s |      17 |   342110 |   283732 |     4481     94 |        0 |        0
527.02/527.17	c  527s |      17 |   343280 |   284732 |     4481     94 |        0 |        0
529.21/529.31	c  529s |      17 |   344376 |   285732 |     4481     94 |        0 |        0
531.22/531.38	c  531s |      17 |   345439 |   286632 |     4481     95 |        0 |        0
533.42/533.58	c  533s |      17 |   346665 |   287732 |     4481     95 |        0 |        0
535.51/535.69	c  535s |      17 |   347943 |   288832 |     4481     95 |        0 |        0
537.61/537.71	c  537s |      17 |   348957 |   289732 |     4481     96 |        0 |        0
539.81/539.91	c  539s |      17 |   350161 |   290832 |     4481     96 |        0 |        0
541.91/542.07	c  542s |      17 |   351522 |   292032 |     4481     96 |        0 |        0
544.01/544.11	c  544s |      17 |   352636 |   293032 |     4481     97 |        0 |        0
546.01/546.17	c  546s |      17 |   353857 |   294132 |     4481     97 |        0 |        0
548.21/548.35	c  548s |      17 |   355090 |   295232 |     4930     97 |        0 |        0
550.31/550.40	c  550s |      17 |   356129 |   296132 |     4930     97 |        0 |        0
550.50/550.69	c  550s |      18 |   356273 |   296252 |     4930     97 |        0 |        0
552.60/552.78	c  552s |      18 |   358582 |   297552 |     4930     98 |        0 |        0
554.71/554.81	c  554s |      18 |   360530 |   298852 |     4930     99 |        0 |        0
556.71/556.82	c  556s |      18 |   362545 |   300652 |     4930     99 |        0 |        0
558.72/558.90	c  558s |      18 |   364187 |   302152 |     4930     99 |        0 |        0
560.81/560.95	c  560s |      18 |   365520 |   303352 |     4930    100 |        0 |        0
562.81/562.99	c  562s |      18 |   367020 |   304652 |     4930    100 |        0 |        0
564.91/565.01	c  564s |      18 |   368497 |   305952 |     4930    100 |        0 |        0
566.91/567.09	c  567s |      18 |   370001 |   307252 |     4930    101 |        0 |        0
569.01/569.16	c  569s |      18 |   371438 |   308552 |     4930    101 |        0 |        0
571.21/571.30	c  571s |      18 |   372746 |   309752 |     4930    101 |        0 |        0
573.31/573.40	c  573s |      18 |   374000 |   310852 |     4930    102 |        0 |        0
575.41/575.51	c  575s |      18 |   375357 |   312052 |     4930    102 |        0 |        0
577.41/577.56	c  577s |      18 |   376809 |   313352 |     4930    102 |        0 |        0
579.41/579.58	c  579s |      18 |   377785 |   314252 |     4930    103 |        0 |        0
581.51/581.61	c  581s |      18 |   379136 |   315452 |     4930    103 |        0 |        0
583.61/583.76	c  583s |      18 |   380497 |   316652 |     4930    103 |        0 |        0
585.70/585.83	c  585s |      18 |   381633 |   317652 |     4930    104 |        0 |        0
587.80/587.93	c  587s |      18 |   382963 |   318852 |     4930    104 |        0 |        0
589.90/590.09	c  590s |      18 |   384461 |   320152 |     4930    104 |        0 |        0
592.00/592.15	c  592s |      18 |   385696 |   321252 |     4930    105 |        0 |        0
594.01/594.19	c  594s |      18 |   387149 |   322552 |     4930    105 |        0 |        0
596.21/596.31	c  596s |      18 |   388469 |   323752 |     4930    105 |        0 |        0
598.31/598.50	c  598s |      18 |   389675 |   324852 |     4930    105 |        0 |        0
600.40/600.55	c  600s |      18 |   390936 |   325952 |     4930    106 |        0 |        0
602.50/602.64	c  602s |      18 |   392167 |   327052 |     4930    106 |        0 |        0
604.60/604.71	c  604s |      18 |   393281 |   328052 |     4930    106 |        0 |        0
606.70/606.86	c  606s |      18 |   394383 |   329052 |     4930    107 |        0 |        0
608.80/608.98	c  608s |      18 |   395606 |   330152 |     4930    107 |        0 |        0
611.00/611.11	c  611s |      18 |   397060 |   331452 |     4930    107 |        0 |        0
613.10/613.24	c  613s |      18 |   398295 |   332552 |     4930    108 |        0 |        0
615.10/615.27	c  615s |      18 |   399742 |   333852 |     4930    108 |        0 |        0
617.30/617.43	c  617s |      18 |   401078 |   335052 |     4930    108 |        0 |        0
619.40/619.51	c  619s |      18 |   402158 |   336052 |     4930    109 |        0 |        0
621.40/621.57	c  621s |      18 |   403256 |   337052 |     4930    109 |        0 |        0
623.50/623.64	c  623s |      18 |   404257 |   337952 |     4930    109 |        0 |        0
625.69/625.83	c  625s |      18 |   405392 |   338952 |     4930    109 |        0 |        0
627.79/627.91	c  627s |      18 |   406500 |   339952 |     4930    110 |        0 |        0
629.79/629.95	c  629s |      18 |   407986 |   341252 |     4930    110 |        0 |        0
631.79/631.99	c  631s |      18 |   409335 |   342452 |     4930    110 |        0 |        0
633.99/634.14	c  634s |      18 |   410528 |   343552 |     4930    111 |        0 |        0
636.09/636.24	c  636s |      18 |   411996 |   344852 |     4930    111 |        0 |        0
638.09/638.28	c  638s |      18 |   413474 |   346152 |     4930    111 |        0 |        0
640.29/640.47	c  640s |      18 |   414824 |   347352 |     4930    112 |        0 |        0
642.40/642.58	c  642s |      18 |   416154 |   348552 |     4930    112 |        0 |        0
644.60/644.72	c  644s |      18 |   417483 |   349752 |     4930    112 |        0 |        0
646.70/646.90	c  646s |      18 |   418703 |   350852 |     4930    113 |        0 |        0
648.90/649.04	c  649s |      18 |   420029 |   352052 |     4930    113 |        0 |        0
650.89/651.06	c  651s |      18 |   421482 |   353252 |     4930    113 |        0 |        0
652.99/653.12	c  653s |      18 |   422876 |   354452 |     4930    114 |        0 |        0
654.99/655.17	c  655s |      18 |   424354 |   355752 |     4930    114 |        0 |        0
657.19/657.35	c  657s |      18 |   425713 |   356952 |     4930    114 |        0 |        0
659.19/659.37	c  659s |      18 |   426929 |   358052 |     4930    115 |        0 |        0
661.29/661.48	c  661s |      18 |   428239 |   359252 |     4930    115 |        0 |        0
663.39/663.54	c  663s |      18 |   429364 |   360252 |     4930    115 |        0 |        0
665.59/665.76	c  665s |      18 |   430550 |   361352 |     4930    116 |        0 |        0
667.69/667.80	c  667s |      18 |   431605 |   362252 |     4930    116 |        0 |        0
669.69/669.90	c  669s |      18 |   433046 |   363452 |     4930    116 |        0 |        0
671.78/671.95	c  671s |      18 |   434255 |   364552 |     4930    116 |        0 |        0
673.99/674.12	c  674s |      18 |   435525 |   365652 |     4930    117 |        0 |        0
676.09/676.20	c  676s |      18 |   436753 |   366752 |     4930    117 |        0 |        0
678.29/678.42	c  678s |      18 |   438123 |   367952 |     4930    117 |        0 |        0
680.39/680.58	c  680s |      18 |   439109 |   368852 |     4930    118 |        0 |        0
682.49/682.64	c  682s |      18 |   440286 |   369952 |     4930    118 |        0 |        0
684.59/684.78	c  684s |      18 |   441265 |   370852 |     4930    118 |        0 |        0
686.79/686.91	c  686s |      18 |   442244 |   371752 |     4930    118 |        0 |        0
688.99/689.14	c  689s |      18 |   443110 |   372552 |     4930    119 |        0 |        0
691.19/691.30	c  691s |      18 |   444548 |   373752 |     4930    119 |        0 |        0
693.29/693.45	c  693s |      18 |   445795 |   374852 |     4930    119 |        0 |        0
695.38/695.57	c  695s |      18 |   446792 |   375752 |     4930    119 |        0 |        0
697.48/697.64	c  697s |      18 |   447914 |   376752 |     4930    120 |        0 |        0
699.59/699.75	c  699s |      18 |   449031 |   377752 |     4930    120 |        0 |        0
701.58/701.77	c  701s |      18 |   450302 |   378852 |     4930    120 |        0 |        0
703.79/703.97	c  703s |      18 |   451479 |   379852 |     4930    121 |        0 |        0
705.99/706.13	c  706s |      18 |   452709 |   380952 |     4930    121 |        0 |        0
707.99/708.18	c  708s |      18 |   453730 |   381852 |     4930    121 |        0 |        0
710.19/710.34	c  710s |      18 |   454874 |   382852 |     4930    121 |        0 |        0
712.29/712.44	c  712s |      18 |   455868 |   383752 |     4930    122 |        0 |        0
714.39/714.58	c  714s |      18 |   457095 |   384852 |     4930    122 |        0 |        0
716.58/716.79	c  716s |      18 |   458209 |   385852 |     4930    122 |        0 |        0
718.78/718.97	c  718s |      18 |   459241 |   386752 |     4930    123 |        0 |        0
720.88/721.08	c  721s |      18 |   460722 |   388052 |     4930    123 |        0 |        0
723.08/723.24	c  723s |      18 |   461942 |   389152 |     4930    123 |        0 |        0
725.28/725.47	c  725s |      18 |   463069 |   390152 |     4930    123 |        0 |        0
727.38/727.58	c  727s |      18 |   464078 |   391052 |     4930    124 |        0 |        0
729.58/729.73	c  729s |      18 |   465300 |   392152 |     4930    124 |        0 |        0
731.68/731.81	c  731s |      18 |   466387 |   393152 |     4930    124 |        0 |        0
733.88/734.04	c  734s |      18 |   467380 |   394052 |     4930    125 |        0 |        0
735.98/736.19	c  736s |      18 |   468458 |   395052 |     4930    125 |        0 |        0
737.98/738.19	c  738s |      18 |   469588 |   396052 |     4930    125 |        0 |        0
740.08/740.22	c  740s |      18 |   470844 |   397152 |     4930    125 |        0 |        0
742.08/742.24	c  742s |      18 |   472126 |   398252 |     4930    126 |        0 |        0
744.18/744.33	c  744s |      18 |   473436 |   399452 |     4930    126 |        0 |        0
746.28/746.42	c  746s |      18 |   474757 |   400652 |     4930    126 |        0 |        0
748.28/748.44	c  748s |      18 |   475724 |   401552 |     4930    127 |        0 |        0
750.47/750.60	c  750s |      18 |   476938 |   402652 |     4930    127 |        0 |        0
752.47/752.61	c  752s |      18 |   478014 |   403652 |     4930    127 |        0 |        0
754.48/754.62	c  754s |      18 |   479105 |   404652 |     4930    127 |        0 |        0
756.57/756.72	c  756s |      18 |   480376 |   405752 |     4930    128 |        0 |        0
758.67/758.86	c  758s |      18 |   481726 |   406952 |     4930    128 |        0 |        0
760.77/760.97	c  760s |      18 |   482832 |   407952 |     4930    128 |        0 |        0
762.97/763.11	c  763s |      18 |   483930 |   408952 |     4930    129 |        0 |        0
765.07/765.22	c  765s |      18 |   485539 |   410352 |     4930    129 |        0 |        0
767.17/767.30	c  767s |      18 |   486895 |   411552 |     4930    129 |        0 |        0
769.27/769.47	c  769s |      18 |   488013 |   412552 |     4930    130 |        0 |        0
771.47/771.63	c  771s |      18 |   489218 |   413652 |     4930    130 |        0 |        0
773.47/773.63	c  773s |      18 |   490375 |   414652 |     4930    130 |        0 |        0
775.48/775.64	c  775s |      18 |   491514 |   415652 |     4930    130 |        0 |        0
777.58/777.70	c  777s |      18 |   492678 |   416652 |     4930    131 |        0 |        0
779.68/779.88	c  779s |      18 |   493881 |   417752 |     4930    131 |        0 |        0
781.68/781.89	c  781s |      18 |   495022 |   418752 |     4930    131 |        0 |        0
783.88/784.04	c  784s |      18 |   495899 |   419552 |     4930    132 |        0 |        0
785.88/786.07	c  786s |      18 |   496998 |   420552 |     4930    132 |        0 |        0
788.08/788.24	c  788s |      18 |   498228 |   421652 |     4930    132 |        0 |        0
790.27/790.43	c  790s |      18 |   499340 |   422652 |     4930    132 |        0 |        0
792.47/792.62	c  792s |      18 |   500344 |   423552 |     4930    133 |        0 |        0
794.47/794.68	c  794s |      18 |   501421 |   424552 |     4930    133 |        0 |        0
796.47/796.69	c  796s |      18 |   502427 |   425452 |     4930    133 |        0 |        0
798.77/798.92	c  798s |      18 |   503716 |   426552 |     4930    133 |        0 |        0
800.97/801.12	c  801s |      18 |   504847 |   427552 |     4930    134 |        0 |        0
802.98/803.14	c  803s |      18 |   505941 |   428552 |     4930    134 |        0 |        0
804.97/805.19	c  805s |      18 |   507073 |   429552 |     4930    134 |        0 |        0
807.38/807.51	c  807s |      18 |   508333 |   430652 |     4930    135 |        0 |        0
809.48/809.61	c  809s |      18 |   509873 |   431952 |     4930    135 |        0 |        0
811.47/811.63	c  811s |      18 |   511096 |   433052 |     4930    135 |        0 |        0
813.57/813.78	c  813s |      18 |   512213 |   434052 |     4930    136 |        0 |        0
815.77/815.91	c  815s |      18 |   513325 |   435052 |     4930    136 |        0 |        0
817.87/818.02	c  817s |      18 |   514583 |   436152 |     4930    136 |        0 |        0
819.87/820.04	c  820s |      18 |   515702 |   437152 |     4930    136 |        0 |        0
821.97/822.15	c  822s |      18 |   516831 |   438152 |     4930    137 |        0 |        0
824.07/824.25	c  824s |      18 |   518064 |   439252 |     4930    137 |        0 |        0
826.17/826.31	c  826s |      18 |   519188 |   440252 |     4930    137 |        0 |        0
828.47/828.61	c  828s |      18 |   520283 |   441252 |     4930    138 |        0 |        0
830.47/830.62	c  830s |      18 |   521284 |   442152 |     5423    138 |        0 |        0
832.46/832.69	c  832s |      18 |   522394 |   443152 |     5423    138 |        0 |        0
834.56/834.79	c  834s |      18 |   523488 |   444152 |     5423    138 |        0 |        0
835.26/835.47	c  835s |      19 |   523853 |   444482 |     5423    138 |        0 |        0
837.26/837.49	c  837s |      19 |   526581 |   446182 |     5423    139 |        0 |        0
839.36/839.59	c  839s |      19 |   528567 |   447882 |     5423    139 |        0 |        0
841.56/841.71	c  841s |      19 |   530049 |   449182 |     5423    140 |        0 |        0
843.57/843.74	c  843s |      19 |   531375 |   450382 |     5423    140 |        0 |        0
845.66/845.86	c  845s |      19 |   532725 |   451582 |     5423    140 |        0 |        0
847.76/847.94	c  847s |      19 |   533843 |   452582 |     5423    140 |        0 |        0
849.86/850.03	c  849s |      19 |   534994 |   453582 |     5423    141 |        0 |        0
852.07/852.27	c  852s |      19 |   536359 |   454782 |     5423    141 |        0 |        0
854.16/854.37	c  854s |      19 |   537511 |   455782 |     5423    141 |        0 |        0
856.26/856.45	c  856s |      19 |   538534 |   456682 |     5423    142 |        0 |        0
858.46/858.62	c  858s |      19 |   539991 |   457982 |     5423    142 |        0 |        0
860.46/860.62	c  860s |      19 |   541310 |   459182 |     5423    142 |        0 |        0
862.56/862.79	c  862s |      19 |   542621 |   460382 |     5423    142 |        0 |        0
864.76/864.92	c  864s |      19 |   543717 |   461382 |     5423    143 |        0 |        0
866.76/866.98	c  866s |      19 |   545052 |   462582 |     5423    143 |        0 |        0
868.96/869.19	c  869s |      19 |   546135 |   463582 |     5423    143 |        0 |        0
871.06/871.21	c  871s |      19 |   547016 |   464382 |     5423    144 |        0 |        0
873.05/873.28	c  873s |      19 |   548485 |   465682 |     5423    144 |        0 |        0
875.05/875.29	c  875s |      19 |   549682 |   466782 |     5423    144 |        0 |        0
877.25/877.49	c  877s |      19 |   550890 |   467882 |     5423    144 |        0 |        0
879.35/879.56	c  879s |      19 |   551888 |   468782 |     5423    145 |        0 |        0
881.45/881.65	c  881s |      19 |   553312 |   470082 |     5423    145 |        0 |        0
883.65/883.80	c  883s |      19 |   554552 |   471182 |     5423    145 |        0 |        0
885.76/885.95	c  885s |      19 |   555814 |   472282 |     5423    146 |        0 |        0
887.86/888.07	c  888s |      19 |   557050 |   473382 |     5423    146 |        0 |        0
889.96/890.15	c  890s |      19 |   558268 |   474482 |     5423    146 |        0 |        0
892.06/892.25	c  892s |      19 |   559302 |   475382 |     5423    146 |        0 |        0
894.06/894.30	c  894s |      19 |   560210 |   476182 |     5423    147 |        0 |        0
896.25/896.43	c  896s |      19 |   561565 |   477382 |     5423    147 |        0 |        0
898.35/898.52	c  898s |      19 |   562829 |   478482 |     5423    147 |        0 |        0
900.35/900.53	c  900s |      19 |   563967 |   479482 |     5423    147 |        0 |        0
902.45/902.60	c  902s |      19 |   565008 |   480382 |     5423    148 |        0 |        0
904.55/904.75	c  904s |      19 |   566319 |   481482 |     5423    148 |        0 |        0
906.55/906.78	c  906s |      19 |   567410 |   482482 |     5423    148 |        0 |        0
908.66/908.88	c  908s |      19 |   568563 |   483482 |     5423    148 |        0 |        0
910.86/911.04	c  911s |      19 |   569683 |   484482 |     5423    149 |        0 |        0
912.96/913.13	c  913s |      19 |   571112 |   485682 |     5423    149 |        0 |        0
914.95/915.16	c  915s |      19 |   572271 |   486682 |     5423    149 |        0 |        0
916.95/917.16	c  917s |      19 |   573332 |   487582 |     5423    149 |        0 |        0
918.95/919.19	c  919s |      19 |   574344 |   488482 |     5423    150 |        0 |        0
921.15/921.33	c  921s |      19 |   575582 |   489582 |     5423    150 |        0 |        0
923.25/923.44	c  923s |      19 |   576893 |   490682 |     5423    150 |        0 |        0
925.35/925.56	c  925s |      19 |   578022 |   491682 |     5423    151 |        0 |        0
927.46/927.66	c  927s |      19 |   579357 |   492782 |     5423    151 |        0 |        0
929.46/929.67	c  929s |      19 |   580433 |   493682 |     5423    151 |        0 |        0
931.66/931.85	c  931s |      19 |   581558 |   494582 |     5423    151 |        0 |        0
933.76/933.99	c  933s |      19 |   582588 |   495482 |     5423    152 |        0 |        0
935.96/936.12	c  936s |      19 |   583786 |   496582 |     5423    152 |        0 |        0
938.15/938.33	c  938s |      19 |   585022 |   497682 |     5423    152 |        0 |        0
940.15/940.35	c  940s |      19 |   586184 |   498682 |     5423    152 |        0 |        0
942.25/942.41	c  942s |      19 |   587182 |   499582 |     5423    153 |        0 |        0
944.35/944.55	c  944s |      19 |   588190 |   500482 |     5423    153 |        0 |        0
946.44/946.63	c  946s |      19 |   589471 |   501582 |     5423    153 |        0 |        0
948.45/948.65	c  948s |      19 |   590566 |   502582 |     5423    153 |        0 |        0
950.45/950.66	c  950s |      19 |   591473 |   503382 |     5423    154 |        0 |        0
952.56/952.72	c  952s |      19 |   592641 |   504382 |     5423    154 |        0 |        0
954.66/954.86	c  954s |      19 |   593890 |   505482 |     5423    154 |        0 |        0
956.75/956.91	c  956s |      19 |   595048 |   506482 |     5423    154 |        0 |        0
958.75/958.98	c  958s |      19 |   596100 |   507382 |     5423    155 |        0 |        0
960.85/961.09	c  961s |      19 |   597309 |   508482 |     5423    155 |        0 |        0
962.94/963.19	c  963s |      19 |   598535 |   509582 |     5423    155 |        0 |        0
965.04/965.29	c  965s |      19 |   599838 |   510682 |     5423    155 |        0 |        0
967.24/967.46	c  967s |      19 |   601067 |   511782 |     5423    156 |        0 |        0
969.35/969.55	c  969s |      19 |   602263 |   512882 |     5423    156 |        0 |        0
971.45/971.65	c  971s |      19 |   603397 |   513882 |     5423    156 |        0 |        0
973.75/973.94	c  973s |      19 |   604504 |   514882 |     5423    157 |        0 |        0
975.95/976.10	c  976s |      19 |   605734 |   515982 |     5423    157 |        0 |        0
977.95/978.14	c  978s |      19 |   606956 |   517082 |     5423    157 |        0 |        0
980.15/980.35	c  980s |      19 |   608075 |   518082 |     5423    157 |        0 |        0
982.15/982.40	c  982s |      19 |   608971 |   518882 |     5423    158 |        0 |        0
984.24/984.48	c  984s |      19 |   610085 |   519882 |     5423    158 |        0 |        0
986.34/986.57	c  986s |      19 |   611196 |   520882 |     5423    158 |        0 |        0
988.64/988.80	c  988s |      19 |   612324 |   521882 |     5423    158 |        0 |        0
990.74/990.93	c  990s |      19 |   613496 |   522882 |     5423    159 |        0 |        0
992.94/993.18	c  993s |      19 |   614868 |   524082 |     5423    159 |        0 |        0
995.14/995.37	c  995s |      19 |   616254 |   525282 |     5423    159 |        0 |        0
997.24/997.46	c  997s |      19 |   617275 |   526182 |     5423    159 |        0 |        0
999.44/999.63	c  999s |      19 |   618281 |   527082 |     5423    160 |        0 |        0
1001.53/1001.77	c 1001s |      19 |   619643 |   528282 |     5423    160 |        0 |        0
1003.64/1003.86	c 1003s |      19 |   620763 |   529282 |     5423    160 |        0 |        0
1005.64/1005.89	c 1005s |      19 |   621828 |   530182 |     5423    160 |        0 |        0
1007.74/1007.96	c 1007s |      19 |   622847 |   531082 |     5423    161 |        0 |        0
1009.94/1010.15	c 1010s |      19 |   624054 |   532182 |     5423    161 |        0 |        0
1011.94/1012.18	c 1012s |      19 |   625230 |   533182 |     5423    161 |        0 |        0
1014.14/1014.32	c 1014s |      19 |   626237 |   534082 |     5423    161 |        0 |        0
1016.14/1016.37	c 1016s |      19 |   627249 |   534982 |     5423    162 |        0 |        0
1018.14/1018.39	c 1018s |      19 |   628341 |   535982 |     5423    162 |        0 |        0
1020.23/1020.46	c 1020s |      19 |   629407 |   536982 |     5423    162 |        0 |        0
1022.53/1022.72	c 1022s |      19 |   630505 |   537982 |     5423    162 |        0 |        0
1024.53/1024.74	c 1024s |      19 |   631396 |   538782 |     5423    163 |        0 |        0
1026.64/1026.87	c 1026s |      19 |   632619 |   539882 |     5423    163 |        0 |        0
1028.74/1028.96	c 1028s |      19 |   633724 |   540882 |     5423    163 |        0 |        0
1030.84/1031.03	c 1030s |      19 |   634701 |   541782 |     5423    163 |        0 |        0
1032.94/1033.10	c 1033s |      19 |   635475 |   542482 |     5423    164 |        0 |        0
1034.94/1035.19	c 1035s |      19 |   636461 |   543382 |     5423    164 |        0 |        0
1037.03/1037.22	c 1037s |      19 |   637686 |   544482 |     5423    164 |        0 |        0
1039.13/1039.35	c 1039s |      19 |   638839 |   545482 |     5423    164 |        0 |        0
1041.23/1041.43	c 1041s |      19 |   639728 |   546282 |     5423    165 |        0 |        0
1043.33/1043.52	c 1043s |      19 |   640927 |   547382 |     5423    165 |        0 |        0
1045.43/1045.68	c 1045s |      19 |   642007 |   548382 |     5423    165 |        0 |        0
1047.53/1047.77	c 1047s |      19 |   643003 |   549282 |     5423    165 |        0 |        0
1049.64/1049.86	c 1049s |      19 |   643886 |   550082 |     5423    166 |        0 |        0
1051.84/1052.06	c 1052s |      19 |   644984 |   551082 |     5423    166 |        0 |        0
1053.93/1054.17	c 1054s |      19 |   646114 |   552082 |     5423    166 |        0 |        0
1056.13/1056.30	c 1056s |      19 |   647212 |   553082 |     5423    166 |        0 |        0
1058.14/1058.35	c 1058s |      19 |   648210 |   553982 |     5423    167 |        0 |        0
1060.13/1060.40	c 1060s |      19 |   649312 |   554982 |     5423    167 |        0 |        0
1062.33/1062.55	c 1062s |      19 |   650443 |   555982 |     5423    167 |        0 |        0
1064.53/1064.76	c 1064s |      19 |   651545 |   556982 |     5423    167 |        0 |        0
1066.72/1066.91	c 1066s |      19 |   652299 |   557682 |     5423    168 |        0 |        0
1068.73/1068.94	c 1068s |      19 |   653432 |   558682 |     5423    168 |        0 |        0
1070.93/1071.11	c 1071s |      19 |   654660 |   559782 |     5423    168 |        0 |        0
1073.03/1073.27	c 1073s |      19 |   655630 |   560682 |     5423    168 |        0 |        0
1075.13/1075.38	c 1075s |      19 |   656435 |   561382 |     5423    168 |        0 |        0
1077.23/1077.46	c 1077s |      19 |   657901 |   562582 |     5423    169 |        0 |        0
1079.22/1079.47	c 1079s |      19 |   659252 |   563782 |     5423    169 |        0 |        0
1081.42/1081.60	c 1081s |      19 |   660354 |   564782 |     5423    169 |        0 |        0
1083.52/1083.78	c 1083s |      19 |   661435 |   565782 |     5423    170 |        0 |        0
1085.64/1085.83	c 1085s |      19 |   662637 |   566882 |     5423    170 |        0 |        0
1087.73/1087.94	c 1087s |      19 |   663746 |   567882 |     5423    170 |        0 |        0
1089.83/1090.10	c 1090s |      19 |   664724 |   568782 |     5423    170 |        0 |        0
1091.93/1092.19	c 1092s |      19 |   665619 |   569582 |     5423    171 |        0 |        0
1094.03/1094.21	c 1094s |      19 |   666986 |   570782 |     5423    171 |        0 |        0
1096.13/1096.37	c 1096s |      19 |   668222 |   571882 |     5423    171 |        0 |        0
1098.12/1098.39	c 1098s |      19 |   669218 |   572782 |     5423    171 |        0 |        0
1100.22/1100.42	c 1100s |      19 |   670302 |   573782 |     5423    172 |        0 |        0
1102.32/1102.53	c 1102s |      19 |   671603 |   574982 |     5423    172 |        0 |        0
1104.34/1104.57	c 1104s |      19 |   672678 |   575982 |     5423    172 |        0 |        0
1106.73/1106.95	c 1106s |      19 |   673801 |   576982 |     5423    173 |        0 |        0
1108.83/1109.06	c 1109s |      19 |   675016 |   578082 |     5423    173 |        0 |        0
1110.83/1111.08	c 1111s |      19 |   675982 |   578982 |     5423    173 |        0 |        0
1113.03/1113.27	c 1113s |      19 |   677261 |   580082 |     5423    173 |        0 |        0
1115.12/1115.36	c 1115s |      19 |   678140 |   580882 |     5423    174 |        0 |        0
1117.22/1117.44	c 1117s |      19 |   679211 |   581882 |     5423    174 |        0 |        0
1119.32/1119.54	c 1119s |      19 |   680296 |   582882 |     5423    174 |        0 |        0
1121.42/1121.69	c 1121s |      19 |   681644 |   584082 |     5423    174 |        0 |        0
1123.52/1123.74	c 1123s |      19 |   682741 |   585082 |     5423    175 |        0 |        0
1125.62/1125.82	c 1125s |      19 |   684070 |   586282 |     5423    175 |        0 |        0
1127.62/1127.84	c 1127s |      19 |   685187 |   587282 |     5423    175 |        0 |        0
1129.72/1129.93	c 1129s |      19 |   686342 |   588282 |     5423    175 |        0 |        0
1131.73/1131.95	c 1131s |      19 |   687207 |   589082 |     5423    176 |        0 |        0
1133.82/1134.10	c 1134s |      19 |   688457 |   590182 |     5423    176 |        0 |        0
1136.02/1136.30	c 1136s |      19 |   689654 |   591282 |     5423    176 |        0 |        0
1138.32/1138.53	c 1138s |      19 |   690729 |   592282 |     5423    176 |        0 |        0
1140.32/1140.53	c 1140s |      19 |   691717 |   593182 |     5423    177 |        0 |        0
1142.42/1142.67	c 1142s |      19 |   693031 |   594382 |     5423    177 |        0 |        0
1144.42/1144.67	c 1144s |      19 |   694242 |   595482 |     5423    177 |        0 |        0
1146.41/1146.69	c 1146s |      19 |   695212 |   596382 |     5423    178 |        0 |        0
1148.71/1148.90	c 1148s |      19 |   696386 |   597482 |     5423    178 |        0 |        0
1150.71/1150.96	c 1150s |      19 |   697481 |   598482 |     5423    178 |        0 |        0
1152.92/1153.14	c 1153s |      19 |   698468 |   599382 |     5423    178 |        0 |        0
1155.32/1155.57	c 1155s |      19 |   699448 |   600282 |     5423    179 |        0 |        0
1157.52/1157.71	c 1157s |      19 |   700658 |   601382 |     5423    179 |        0 |        0
1159.61/1159.83	c 1159s |      19 |   701630 |   602282 |     5423    179 |        0 |        0
1161.71/1161.97	c 1161s |      19 |   702733 |   603282 |     5423    179 |        0 |        0
1163.82/1164.01	c 1163s |      19 |   703863 |   604282 |     5423    180 |        0 |        0
1165.92/1166.12	c 1166s |      19 |   705126 |   605382 |     5423    180 |        0 |        0
1168.02/1168.23	c 1168s |      19 |   706320 |   606482 |     5423    180 |        0 |        0
1170.22/1170.42	c 1170s |      19 |   707395 |   607482 |     5423    180 |        0 |        0
1172.42/1172.63	c 1172s |      19 |   708364 |   608382 |     5423    181 |        0 |        0
1174.41/1174.63	c 1174s |      19 |   709349 |   609282 |     5423    181 |        0 |        0
1176.61/1176.83	c 1176s |      19 |   710547 |   610382 |     5423    181 |        0 |        0
1178.61/1178.87	c 1178s |      19 |   711644 |   611382 |     5423    181 |        0 |        0
1180.72/1180.93	c 1180s |      19 |   712623 |   612282 |     5423    182 |        0 |        0
1182.71/1182.95	c 1182s |      19 |   713618 |   613182 |     5423    182 |        0 |        0
1184.81/1185.05	c 1185s |      19 |   714843 |   614282 |     5423    182 |        0 |        0
1186.82/1187.07	c 1187s |      19 |   715845 |   615182 |     5423    182 |        0 |        0
1188.81/1189.10	c 1189s |      19 |   716864 |   616082 |     5423    183 |        0 |        0
1190.91/1191.11	c 1191s |      19 |   718341 |   617382 |     5423    183 |        0 |        0
1192.91/1193.16	c 1193s |      19 |   719699 |   618582 |     5423    183 |        0 |        0
1195.21/1195.47	c 1195s |      19 |   720917 |   619682 |     5423    184 |        0 |        0
1197.31/1197.57	c 1197s |      19 |   722209 |   620882 |     5423    184 |        0 |        0
1199.41/1199.60	c 1199s |      19 |   723559 |   622082 |     5423    184 |        0 |        0
1201.51/1201.78	c 1201s |      19 |   724793 |   623182 |     5423    184 |        0 |        0
1203.51/1203.78	c 1203s |      19 |   725790 |   624082 |     5423    185 |        0 |        0
1205.60/1205.85	c 1205s |      19 |   727007 |   625182 |     5423    185 |        0 |        0
1207.71/1207.93	c 1207s |      19 |   728325 |   626382 |     5423    185 |        0 |        0
1209.71/1209.95	c 1209s |      19 |   729469 |   627382 |     5423    185 |        0 |        0
1211.91/1212.11	c 1212s |      19 |   730737 |   628482 |     5423    186 |        0 |        0
1213.91/1214.15	c 1214s |      19 |   731855 |   629482 |     5423    186 |        0 |        0
1216.11/1216.35	c 1216s |      19 |   732994 |   630482 |     5423    186 |        0 |        0
1218.31/1218.55	c 1218s |      19 |   733988 |   631382 |     5423    187 |        0 |        0
1220.40/1220.66	c 1220s |      19 |   735227 |   632482 |     5423    187 |        0 |        0
1222.50/1222.77	c 1222s |      19 |   736685 |   633682 |     5423    187 |        0 |        0
1224.61/1224.87	c 1224s |      19 |   737814 |   634682 |     5423    187 |        0 |        0
1226.61/1226.88	c 1226s |      19 |   738714 |   635482 |     5423    188 |        0 |        0
1228.71/1228.99	c 1228s |      19 |   739951 |   636582 |     5423    188 |        0 |        0
1230.81/1231.03	c 1230s |      19 |   741079 |   637582 |     5423    188 |        0 |        0
1232.91/1233.16	c 1233s |      19 |   742196 |   638582 |     5423    188 |        0 |        0
1235.11/1235.34	c 1235s |      19 |   743189 |   639482 |     5423    189 |        0 |        0
1237.20/1237.40	c 1237s |      19 |   744197 |   640382 |     5423    189 |        0 |        0
1239.20/1239.44	c 1239s |      19 |   745346 |   641382 |     5423    189 |        0 |        0
1241.20/1241.44	c 1241s |      19 |   746377 |   642282 |     5423    189 |        0 |        0
1243.30/1243.57	c 1243s |      19 |   747362 |   643182 |     5423    190 |        0 |        0
1245.50/1245.71	c 1245s |      19 |   748736 |   644382 |     5423    190 |        0 |        0
1247.60/1247.87	c 1247s |      19 |   750001 |   645482 |     5423    190 |        0 |        0
1249.80/1250.01	c 1249s |      19 |   751084 |   646482 |     5423    190 |        0 |        0
1251.90/1252.18	c 1252s |      19 |   752042 |   647382 |     5423    191 |        0 |        0
1254.10/1254.30	c 1254s |      19 |   753311 |   648482 |     5423    191 |        0 |        0
1256.10/1256.36	c 1256s |      19 |   754591 |   649582 |     5423    191 |        0 |        0
1258.20/1258.41	c 1258s |      19 |   755752 |   650582 |     5423    191 |        0 |        0
1260.30/1260.59	c 1260s |      19 |   756895 |   651582 |     5423    192 |        0 |        0
1262.50/1262.75	c 1262s |      19 |   758108 |   652682 |     5423    192 |        0 |        0
1264.50/1264.78	c 1264s |      19 |   759110 |   653582 |     5423    192 |        0 |        0
1266.60/1266.87	c 1266s |      19 |   760132 |   654482 |     5423    192 |        0 |        0
1268.80/1269.08	c 1269s |      19 |   761112 |   655382 |     5423    193 |        0 |        0
1270.90/1271.13	c 1271s |      19 |   762113 |   656282 |     5423    193 |        0 |        0
1272.90/1273.15	c 1273s |      19 |   763249 |   657282 |     5423    193 |        0 |        0
1274.89/1275.19	c 1275s |      19 |   764248 |   658182 |     5423    193 |        0 |        0
1277.09/1277.37	c 1277s |      19 |   765256 |   659082 |     5423    194 |        0 |        0
1279.20/1279.47	c 1279s |      19 |   766255 |   659982 |     5423    194 |        0 |        0
1281.30/1281.56	c 1281s |      19 |   767239 |   660882 |     5423    194 |        0 |        0
1283.51/1283.74	c 1283s |      19 |   768266 |   661782 |     5423    194 |        0 |        0
1285.71/1285.99	c 1285s |      19 |   769273 |   662682 |     5966    194 |        0 |        0
1287.90/1288.15	c 1288s |      19 |   770260 |   663582 |     5966    195 |        0 |        0
1289.90/1290.17	c 1290s |      19 |   771492 |   664682 |     5966    195 |        0 |        0
1292.10/1292.32	c 1292s |      19 |   772493 |   665582 |     5966    195 |        0 |        0
1294.29/1294.50	c 1294s |      19 |   773620 |   666582 |     5966    195 |        0 |        0
1294.89/1295.12	c 1295s |      20 |   773887 |   666827 |     5966    195 |        0 |        0
1296.89/1297.20	c 1297s |      20 |   776896 |   668627 |     5966    196 |        0 |        0
1299.00/1299.24	c 1299s |      20 |   778801 |   670327 |     5966    196 |        0 |        0
1300.99/1301.27	c 1301s |      20 |   780382 |   671727 |     5966    197 |        0 |        0
1303.19/1303.42	c 1303s |      20 |   782075 |   673227 |     5966    197 |        0 |        0
1305.29/1305.53	c 1305s |      20 |   783516 |   674527 |     5966    197 |        0 |        0
1307.29/1307.56	c 1307s |      20 |   784642 |   675527 |     5966    198 |        0 |        0
1309.39/1309.65	c 1309s |      20 |   786255 |   676927 |     5966    198 |        0 |        0
1311.39/1311.66	c 1311s |      20 |   787694 |   678227 |     5966    198 |        0 |        0
1313.49/1313.76	c 1313s |      20 |   789038 |   679427 |     5966    198 |        0 |        0
1315.59/1315.82	c 1315s |      20 |   790280 |   680527 |     5966    199 |        0 |        0
1317.59/1317.83	c 1317s |      20 |   791745 |   681827 |     5966    199 |        0 |        0
1319.70/1319.92	c 1319s |      20 |   793206 |   683127 |     5966    199 |        0 |        0
1321.70/1321.98	c 1321s |      20 |   794393 |   684127 |     5966    200 |        0 |        0
1323.69/1323.98	c 1323s |      20 |   796230 |   685727 |     5966    200 |        0 |        0
1325.79/1326.05	c 1326s |      20 |   797664 |   687027 |     5966    200 |        0 |        0
1327.89/1328.16	c 1328s |      20 |   798889 |   688127 |     5966    201 |        0 |        0
1329.99/1330.26	c 1330s |      20 |   800662 |   689727 |     5966    201 |        0 |        0
1332.00/1332.27	c 1332s |      20 |   802096 |   691027 |     5966    201 |        0 |        0
1334.10/1334.33	c 1334s |      20 |   803275 |   692127 |     5966    202 |        0 |        0
1336.09/1336.35	c 1336s |      20 |   804712 |   693427 |     5966    202 |        0 |        0
1338.19/1338.43	c 1338s |      20 |   806143 |   694727 |     5966    202 |        0 |        0
1340.19/1340.48	c 1340s |      20 |   807338 |   695827 |     5966    202 |        0 |        0
1342.29/1342.50	c 1342s |      20 |   808475 |   696827 |     5966    203 |        0 |        0
1344.29/1344.52	c 1344s |      20 |   809739 |   697927 |     5966    203 |        0 |        0
1346.39/1346.69	c 1346s |      20 |   810943 |   699027 |     5966    203 |        0 |        0
1348.59/1348.82	c 1348s |      20 |   812169 |   700127 |     5966    203 |        0 |        0
1350.59/1350.89	c 1350s |      20 |   813272 |   701127 |     5966    204 |        0 |        0
1352.69/1352.96	c 1352s |      20 |   814728 |   702427 |     5966    204 |        0 |        0
1354.69/1354.98	c 1354s |      20 |   816182 |   703727 |     5966    204 |        0 |        0
1356.88/1357.12	c 1357s |      20 |   817309 |   704727 |     5966    205 |        0 |        0
1358.98/1359.27	c 1359s |      20 |   818532 |   705827 |     5966    205 |        0 |        0
1361.08/1361.33	c 1361s |      20 |   819729 |   706927 |     5966    205 |        0 |        0
1363.28/1363.52	c 1363s |      20 |   820920 |   708027 |     5966    205 |        0 |        0
1365.48/1365.71	c 1365s |      20 |   821798 |   708827 |     5966    206 |        0 |        0
1367.48/1367.76	c 1367s |      20 |   823338 |   710227 |     5966    206 |        0 |        0
1369.48/1369.77	c 1369s |      20 |   824556 |   711327 |     5966    206 |        0 |        0
1371.68/1371.91	c 1371s |      20 |   825784 |   712427 |     5966    206 |        0 |        0
1373.69/1373.92	c 1373s |      20 |   827157 |   713627 |     5966    207 |        0 |        0
1375.78/1376.00	c 1375s |      20 |   828602 |   714927 |     5966    207 |        0 |        0
1377.88/1378.15	c 1378s |      20 |   829825 |   716027 |     5966    207 |        0 |        0
1380.18/1380.46	c 1380s |      20 |   830841 |   716927 |     5966    208 |        0 |        0
1382.28/1382.50	c 1382s |      20 |   832031 |   718027 |     5966    208 |        0 |        0
1384.38/1384.66	c 1384s |      20 |   833230 |   719127 |     5966    208 |        0 |        0
1386.58/1386.83	c 1386s |      20 |   834485 |   720227 |     5966    208 |        0 |        0
1388.68/1388.96	c 1388s |      20 |   835597 |   721227 |     5966    209 |        0 |        0
1390.98/1391.28	c 1391s |      20 |   836927 |   722427 |     5966    209 |        0 |        0
1393.08/1393.32	c 1393s |      20 |   838254 |   723627 |     5966    209 |        0 |        0
1395.18/1395.46	c 1395s |      20 |   839737 |   724927 |     5966    209 |        0 |        0
1397.28/1397.51	c 1397s |      20 |   840878 |   725927 |     5966    210 |        0 |        0
1399.38/1399.68	c 1399s |      20 |   842192 |   727127 |     5966    210 |        0 |        0
1401.58/1401.80	c 1401s |      20 |   843391 |   728227 |     5966    210 |        0 |        0
1403.68/1403.90	c 1403s |      20 |   844478 |   729227 |     5966    210 |        0 |        0
1405.78/1406.09	c 1406s |      20 |   845434 |   730127 |     5966    211 |        0 |        0
1407.98/1408.26	c 1408s |      20 |   846624 |   731227 |     5966    211 |        0 |        0
1410.17/1410.45	c 1410s |      20 |   847691 |   732127 |     5966    211 |        0 |        0
1412.28/1412.52	c 1412s |      20 |   848580 |   732927 |     5966    211 |        0 |        0
1414.27/1414.56	c 1414s |      20 |   849317 |   733627 |     5966    212 |        0 |        0
1416.37/1416.67	c 1416s |      20 |   850446 |   734627 |     5966    212 |        0 |        0
1418.58/1418.86	c 1418s |      20 |   851439 |   735527 |     5966    212 |        0 |        0
1420.78/1421.02	c 1420s |      20 |   852576 |   736527 |     5966    212 |        0 |        0
1422.98/1423.27	c 1423s |      20 |   854008 |   737827 |     5966    213 |        0 |        0
1424.98/1425.27	c 1425s |      20 |   855265 |   738927 |     5966    213 |        0 |        0
1427.08/1427.31	c 1427s |      20 |   856477 |   740027 |     5966    213 |        0 |        0
1429.08/1429.35	c 1429s |      20 |   857708 |   741127 |     5966    213 |        0 |        0
1431.08/1431.37	c 1431s |      20 |   858703 |   742027 |     5966    214 |        0 |        0
1433.18/1433.49	c 1433s |      20 |   859990 |   743227 |     5966    214 |        0 |        0
1435.38/1435.67	c 1435s |      20 |   861188 |   744327 |     5966    214 |        0 |        0
1437.37/1437.68	c 1437s |      20 |   862164 |   745227 |     5966    214 |        0 |        0
1439.78/1440.09	c 1440s |      20 |   863210 |   746127 |     5966    215 |        0 |        0
1441.98/1442.23	c 1442s |      20 |   864534 |   747327 |     5966    215 |        0 |        0
1443.97/1444.29	c 1444s |      20 |   865732 |   748427 |     5966    215 |        0 |        0
1446.06/1446.34	c 1446s |      20 |   866847 |   749427 |     5966    215 |        0 |        0
1448.06/1448.39	c 1448s |      20 |   867949 |   750427 |     5966    216 |        0 |        0
1450.26/1450.53	c 1450s |      20 |   869368 |   751727 |     5966    216 |        0 |        0
1452.36/1452.60	c 1452s |      20 |   870362 |   752627 |     5966    216 |        0 |        0
1454.36/1454.68	c 1454s |      20 |   871575 |   753727 |     5966    216 |        0 |        0
1456.56/1456.83	c 1456s |      20 |   872656 |   754727 |     5966    217 |        0 |        0
1458.56/1458.85	c 1458s |      20 |   873880 |   755827 |     5966    217 |        0 |        0
1460.56/1460.87	c 1460s |      20 |   875176 |   757027 |     5966    217 |        0 |        0
1462.56/1462.87	c 1462s |      20 |   876048 |   757827 |     5966    217 |        0 |        0
1464.76/1465.05	c 1465s |      20 |   876935 |   758627 |     5966    218 |        0 |        0
1466.85/1467.12	c 1467s |      20 |   878382 |   759927 |     5966    218 |        0 |        0
1468.85/1469.12	c 1469s |      20 |   879480 |   760927 |     5966    218 |        0 |        0
1470.95/1471.27	c 1471s |      20 |   880679 |   762027 |     5966    218 |        0 |        0
1472.95/1473.29	c 1473s |      20 |   881671 |   762927 |     5966    219 |        0 |        0
1475.05/1475.36	c 1475s |      20 |   882866 |   764027 |     5966    219 |        0 |        0
1477.05/1477.37	c 1477s |      20 |   884176 |   765227 |     5966    219 |        0 |        0
1479.15/1479.45	c 1479s |      20 |   885364 |   766327 |     5966    219 |        0 |        0
1481.45/1481.80	c 1481s |      20 |   886353 |   767227 |     5966    220 |        0 |        0
1483.65/1483.93	c 1483s |      20 |   887661 |   768427 |     5966    220 |        0 |        0
1485.74/1486.07	c 1486s |      20 |   888858 |   769527 |     5966    220 |        0 |        0
1487.74/1488.07	c 1488s |      20 |   889735 |   770327 |     5966    220 |        0 |        0
1490.14/1490.41	c 1490s |      20 |   890614 |   771127 |     5966    221 |        0 |        0
1492.24/1492.55	c 1492s |      20 |   891686 |   772127 |     5966    221 |        0 |        0
1494.34/1494.62	c 1494s |      20 |   893095 |   773327 |     5966    221 |        0 |        0
1496.33/1496.62	c 1496s |      20 |   894318 |   774427 |     5966    221 |        0 |        0
1498.33/1498.65	c 1498s |      20 |   895525 |   775527 |     5966    222 |        0 |        0
1500.44/1500.75	c 1500s |      20 |   896828 |   776727 |     5966    222 |        0 |        0
1502.45/1502.77	c 1502s |      20 |   898121 |   777927 |     5966    222 |        0 |        0
1504.55/1504.84	c 1504s |      20 |   899401 |   779027 |     5966    222 |        0 |        0
1506.64/1506.99	c 1506s |      20 |   900539 |   780027 |     5966    223 |        0 |        0
1508.84/1509.10	c 1509s |      20 |   901859 |   781227 |     5966    223 |        0 |        0
1510.84/1511.17	c 1511s |      20 |   903016 |   782227 |     5966    223 |        0 |        0
1512.94/1513.21	c 1513s |      20 |   904007 |   783127 |     5966    223 |        0 |        0
1515.03/1515.38	c 1515s |      20 |   905096 |   784027 |     5966    224 |        0 |        0
1517.12/1517.41	c 1517s |      20 |   906343 |   785127 |     5966    224 |        0 |        0
1519.22/1519.50	c 1519s |      20 |   907761 |   786327 |     5966    224 |        0 |        0
1521.22/1521.56	c 1521s |      20 |   908967 |   787427 |     5966    224 |        0 |        0
1523.42/1523.71	c 1523s |      20 |   910081 |   788427 |     5966    225 |        0 |        0
1525.62/1525.95	c 1525s |      20 |   911308 |   789527 |     5966    225 |        0 |        0
1527.82/1528.13	c 1528s |      20 |   912702 |   790727 |     5966    225 |        0 |        0
1530.11/1530.44	c 1530s |      20 |   913904 |   791827 |     5966    226 |        0 |        0
1532.31/1532.66	c 1532s |      20 |   915105 |   792927 |     5966    226 |        0 |        0
1534.41/1534.74	c 1534s |      20 |   916245 |   793927 |     5966    226 |        0 |        0
1536.41/1536.80	c 1536s |      20 |   917560 |   795127 |     5966    226 |        0 |        0
1538.61/1538.97	c 1538s |      20 |   918646 |   796127 |     5966    227 |        0 |        0
1540.61/1540.97	c 1540s |      20 |   919866 |   797227 |     5966    227 |        0 |        0
1542.81/1543.10	c 1543s |      20 |   921068 |   798327 |     5966    227 |        0 |        0
1544.81/1545.16	c 1545s |      20 |   922009 |   799227 |     5966    227 |        0 |        0
1546.91/1547.23	c 1547s |      20 |   922775 |   799927 |     5966    227 |        0 |        0
1549.11/1549.40	c 1549s |      20 |   924042 |   801027 |     5966    228 |        0 |        0
1551.21/1551.59	c 1551s |      20 |   925270 |   802127 |     5966    228 |        0 |        0
1553.41/1553.70	c 1553s |      20 |   926419 |   803127 |     5966    228 |        0 |        0
1555.51/1555.87	c 1555s |      20 |   927547 |   804127 |     5966    228 |        0 |        0
1557.60/1557.90	c 1557s |      20 |   928607 |   805027 |     5966    229 |        0 |        0
1559.61/1559.97	c 1559s |      20 |   929867 |   806127 |     5966    229 |        0 |        0
1561.70/1562.08	c 1562s |      20 |   931082 |   807227 |     5966    229 |        0 |        0
1563.80/1564.13	c 1564s |      20 |   932175 |   808227 |     5966    229 |        0 |        0
1566.00/1566.31	c 1566s |      20 |   933258 |   809227 |     5966    230 |        0 |        0
1568.09/1568.42	c 1568s |      20 |   934682 |   810427 |     5966    230 |        0 |        0
1570.19/1570.52	c 1570s |      20 |   935788 |   811427 |     5966    230 |        0 |        0
1572.29/1572.68	c 1572s |      20 |   936752 |   812327 |     5966    230 |        0 |        0
1574.39/1574.75	c 1574s |      20 |   937719 |   813227 |     5966    231 |        0 |        0
1576.39/1576.77	c 1576s |      20 |   938866 |   814227 |     5966    231 |        0 |        0
1578.59/1578.94	c 1578s |      20 |   940084 |   815327 |     5966    231 |        0 |        0
1580.78/1581.11	c 1581s |      20 |   941162 |   816327 |     5966    231 |        0 |        0
1582.88/1583.22	c 1583s |      20 |   942133 |   817227 |     5966    232 |        0 |        0
1584.98/1585.31	c 1585s |      20 |   943338 |   818327 |     5966    232 |        0 |        0
1587.08/1587.46	c 1587s |      20 |   944484 |   819327 |     5966    232 |        0 |        0
1589.18/1589.51	c 1589s |      20 |   945969 |   820527 |     5966    232 |        0 |        0
1591.18/1591.53	c 1591s |      20 |   947059 |   821527 |     5966    233 |        0 |        0
1593.29/1593.69	c 1593s |      20 |   948519 |   822827 |     5966    233 |        0 |        0
1595.49/1595.85	c 1595s |      20 |   949833 |   824027 |     5966    233 |        0 |        0
1597.68/1598.09	c 1598s |      20 |   950955 |   825027 |     5966    233 |        0 |        0
1599.88/1600.21	c 1600s |      20 |   951926 |   825927 |     5966    234 |        0 |        0
1601.88/1602.25	c 1602s |      20 |   953009 |   826927 |     5966    234 |        0 |        0
1604.08/1604.46	c 1604s |      20 |   954093 |   827927 |     5966    234 |        0 |        0
1606.27/1606.60	c 1606s |      20 |   955056 |   828827 |     5966    234 |        0 |        0
1608.37/1608.75	c 1608s |      20 |   956024 |   829627 |     5966    235 |        0 |        0
1610.57/1610.90	c 1610s |      20 |   957474 |   830927 |     5966    235 |        0 |        0
1612.57/1612.92	c 1612s |      20 |   958685 |   832027 |     5966    235 |        0 |        0
1614.58/1614.94	c 1614s |      20 |   959770 |   833027 |     5966    235 |        0 |        0
1616.77/1617.15	c 1617s |      20 |   960867 |   834027 |     5966    236 |        0 |        0
1618.97/1619.30	c 1619s |      20 |   962053 |   835127 |     5966    236 |        0 |        0
1621.07/1621.50	c 1621s |      20 |   963065 |   836027 |     5966    236 |        0 |        0
1623.16/1623.57	c 1623s |      20 |   963922 |   836827 |     5966    236 |        0 |        0
1625.66/1626.01	c 1625s |      20 |   964885 |   837727 |     5966    237 |        0 |        0
1627.67/1628.02	c 1627s |      20 |   965964 |   838727 |     5966    237 |        0 |        0
1629.76/1630.12	c 1630s |      20 |   966938 |   839627 |     5966    237 |        0 |        0
1631.76/1632.13	c 1632s |      20 |   968095 |   840627 |     5966    237 |        0 |        0
1633.86/1634.20	c 1634s |      20 |   969386 |   841727 |     5966    238 |        0 |        0
1635.95/1636.34	c 1636s |      20 |   970618 |   842827 |     5966    238 |        0 |        0
1638.15/1638.52	c 1638s |      20 |   971836 |   843927 |     5966    238 |        0 |        0
1640.25/1640.66	c 1640s |      20 |   972939 |   844927 |     5966    238 |        0 |        0
1642.35/1642.78	c 1642s |      20 |   973902 |   845827 |     5966    239 |        0 |        0
1644.46/1644.83	c 1644s |      20 |   975016 |   846827 |     5966    239 |        0 |        0
1646.56/1646.91	c 1646s |      20 |   976427 |   848027 |     5966    239 |        0 |        0
1648.66/1649.04	c 1649s |      20 |   977978 |   849327 |     5966    239 |        0 |        0
1650.86/1651.22	c 1651s |      20 |   979207 |   850427 |     5966    240 |        0 |        0
1652.96/1653.33	c 1653s |      20 |   980551 |   851627 |     5966    240 |        0 |        0
1654.96/1655.36	c 1655s |      20 |   981886 |   852827 |     5966    240 |        0 |        0
1657.05/1657.43	c 1657s |      20 |   982976 |   853827 |     5966    240 |        0 |        0
1659.05/1659.49	c 1659s |      20 |   984067 |   854827 |     5966    241 |        0 |        0
1661.05/1661.49	c 1661s |      20 |   985150 |   855827 |     5966    241 |        0 |        0
1663.25/1663.65	c 1663s |      20 |   986359 |   856927 |     5966    241 |        0 |        0
1665.45/1665.87	c 1665s |      20 |   987455 |   857927 |     5966    241 |        0 |        0
1667.54/1667.99	c 1667s |      20 |   988579 |   858927 |     5966    242 |        0 |        0
1669.74/1670.13	c 1670s |      20 |   989872 |   860127 |     5966    242 |        0 |        0
1671.75/1672.15	c 1672s |      20 |   990963 |   861127 |     5966    242 |        0 |        0
1673.84/1674.21	c 1674s |      20 |   992033 |   862127 |     5966    242 |        0 |        0
1675.94/1676.35	c 1676s |      20 |   993116 |   863127 |     5966    243 |        0 |        0
1678.13/1678.52	c 1678s |      20 |   994411 |   864327 |     5966    243 |        0 |        0
1680.13/1680.53	c 1680s |      20 |   995506 |   865327 |     5966    243 |        0 |        0
1682.23/1682.68	c 1682s |      20 |   996474 |   866227 |     5966    243 |        0 |        0
1684.23/1684.69	c 1684s |      20 |   997350 |   867027 |     5966    244 |        0 |        0
1686.33/1686.78	c 1686s |      20 |   998643 |   868227 |     5966    244 |        0 |        0
1688.43/1688.89	c 1688s |      20 |   999838 |   869327 |     5966    244 |        0 |        0
1690.53/1690.97	c 1690s |      20 |  1001037 |   870427 |     5966    244 |        0 |        0
1692.63/1693.00	c 1692s |      20 |  1002006 |   871327 |     5966    245 |        0 |        0
1694.83/1695.28	c 1695s |      20 |  1002844 |   872127 |     5966    245 |        0 |        0
1696.93/1697.30	c 1697s |      20 |  1004044 |   873227 |     5966    245 |        0 |        0
1699.02/1699.48	c 1699s |      20 |  1005106 |   874227 |     5966    245 |        0 |        0
1701.12/1701.51	c 1701s |      20 |  1005982 |   875027 |     5966    246 |        0 |        0
1703.22/1703.61	c 1703s |      20 |  1007050 |   876027 |     5966    246 |        0 |        0
1705.32/1705.71	c 1705s |      20 |  1008252 |   877127 |     5966    246 |        0 |        0
1707.32/1707.79	c 1707s |      20 |  1009254 |   878027 |     5966    246 |        0 |        0
1709.42/1709.81	c 1709s |      20 |  1010203 |   878927 |     5966    246 |        0 |        0
1711.61/1712.02	c 1711s |      20 |  1011045 |   879727 |     5966    247 |        0 |        0
1713.61/1714.06	c 1714s |      20 |  1012457 |   880927 |     5966    247 |        0 |        0
1715.72/1716.11	c 1716s |      20 |  1013842 |   882127 |     5966    247 |        0 |        0
1717.81/1718.29	c 1718s |      20 |  1015099 |   883227 |     5966    247 |        0 |        0
1719.91/1720.35	c 1720s |      20 |  1016213 |   884227 |     5966    248 |        0 |        0
1722.01/1722.40	c 1722s |      20 |  1017265 |   885227 |     5966    248 |        0 |        0
1724.11/1724.57	c 1724s |      20 |  1018358 |   886227 |     5966    248 |        0 |        0
1726.11/1726.58	c 1726s |      20 |  1019318 |   887127 |     5966    248 |        0 |        0
1728.11/1728.58	c 1728s |      20 |  1020302 |   888027 |     5966    249 |        0 |        0
1730.21/1730.65	c 1730s |      20 |  1021379 |   889027 |     5966    249 |        0 |        0
1732.21/1732.68	c 1732s |      20 |  1022354 |   889927 |     5966    249 |        0 |        0
1734.31/1734.75	c 1734s |      20 |  1023448 |   890927 |     5966    249 |        0 |        0
1736.40/1736.87	c 1736s |      20 |  1024536 |   891927 |     5966    250 |        0 |        0
1738.60/1739.04	c 1739s |      20 |  1025707 |   893027 |     5966    250 |        0 |        0
1740.80/1741.24	c 1741s |      20 |  1026703 |   893927 |     5966    250 |        0 |        0
1743.00/1743.42	c 1743s |      20 |  1027789 |   894927 |     5966    250 |        0 |        0
1745.00/1745.47	c 1745s |      20 |  1028658 |   895727 |     5966    251 |        0 |        0
1747.19/1747.65	c 1747s |      20 |  1029759 |   896727 |     5966    251 |        0 |        0
1749.29/1749.77	c 1749s |      20 |  1030723 |   897627 |     5966    251 |        0 |        0
1751.39/1751.89	c 1751s |      20 |  1031799 |   898627 |     5966    251 |        0 |        0
1753.60/1754.09	c 1754s |      20 |  1032898 |   899627 |     5966    251 |        0 |        0
1755.80/1756.20	c 1756s |      20 |  1033872 |   900527 |     5966    252 |        0 |        0
1757.80/1758.28	c 1758s |      20 |  1034949 |   901527 |     5966    252 |        0 |        0
1760.10/1760.50	c 1760s |      20 |  1035910 |   902427 |     5966    252 |        0 |        0
1762.20/1762.62	c 1762s |      20 |  1036645 |   903127 |     5966    252 |        0 |        0
1764.39/1764.81	c 1764s |      20 |  1037489 |   903927 |     5966    252 |        0 |        0
1766.49/1766.92	c 1766s |      20 |  1038263 |   904627 |     5966    253 |        0 |        0
1768.50/1768.94	c 1768s |      20 |  1039351 |   905627 |     5966    253 |        0 |        0
1770.49/1770.95	c 1770s |      20 |  1040325 |   906527 |     5966    253 |        0 |        0
1772.49/1772.98	c 1772s |      20 |  1041308 |   907427 |     5966    253 |        0 |        0
1774.59/1775.07	c 1775s |      20 |  1042195 |   908227 |     5966    254 |        0 |        0
1776.68/1777.12	c 1777s |      20 |  1043071 |   909027 |     5966    254 |        0 |        0
1778.78/1779.22	c 1779s |      20 |  1044042 |   909927 |     5966    254 |        0 |        0
1780.98/1781.43	c 1781s |      20 |  1044999 |   910827 |     5966    254 |        0 |        0
1783.18/1783.61	c 1783s |      20 |  1045981 |   911727 |     5966    254 |        0 |        0
1785.68/1786.19	c 1786s |      20 |  1046848 |   912527 |     5966    255 |        0 |        0
1787.78/1788.29	c 1788s |      20 |  1047939 |   913527 |     5966    255 |        0 |        0
1789.97/1790.43	c 1790s |      20 |  1048887 |   914427 |     5966    255 |        0 |        0
1792.07/1792.56	c 1792s |      20 |  1049775 |   915227 |     5966    255 |        0 |        0
1794.17/1794.61	c 1794s |      20 |  1050624 |   916027 |     5966    255 |        0 |        0
1796.17/1796.67	c 1796s |      20 |  1051584 |   916827 |     5966    256 |        0 |        0
1798.27/1798.75	c 1798s |      20 |  1053213 |   918227 |     5966    256 |        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-4078770-1465240528/watcher-4078770-1465240528 -o /tmp/evaluation-result-4078770-1465240528/solver-4078770-1465240528 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465227498-31671 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078770-1465240528.opb 

pid=828
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.16 2.19 2.18 4/179 831
/proc/meminfo: memFree=29171324/32872528 swapFree=17892/1720544
[pid=831] ppid=828 vsize=446908 CPUtime=0 cores=0,2,4,6
/proc/831/stat : 831 (toysat) R 828 831 31655 0 -1 4202496 1617 0 0 0 0 0 0 0 20 0 4 0 105986007 457633792 1979 33554432000 4194304 16246674 140735454059248 140735454058672 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/831/statm: 112495 1988 441 2943 0 109389 0
[pid=831/tid=832] ppid=828 vsize=748988 CPUtime=0 cores=0,2,4,6
/proc/831/task/832/stat : 832 (toysat) S 828 831 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105986007 766963712 3158 33554432000 4194304 16246674 140735454059248 139674105392368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=831/tid=833] ppid=828 vsize=753084 CPUtime=0 cores=0,2,4,6
/proc/831/task/833/stat : 833 (toysat) S 828 831 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105986007 771158016 3176 33554432000 4194304 16246674 140735454059248 139674094902512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=831/tid=834] ppid=828 vsize=758204 CPUtime=0 cores=0,2,4,6
/proc/831/task/834/stat : 834 (toysat) S 828 831 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105986007 776400896 3196 33554432000 4194304 16246674 140735454059248 139674014182576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100127 s]
/proc/loadavg: 2.16 2.19 2.18 4/179 831
/proc/meminfo: memFree=29171324/32872528 swapFree=17892/1720544
[pid=831] ppid=828 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/831/stat : 831 (toysat) R 828 831 31655 0 -1 4202496 28729 0 0 0 5 4 0 0 20 0 4 0 105986007 1247350784 29080 33554432000 4194304 16246674 140735454059248 140735454058672 13191557 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/831/statm: 304529 29090 704 2943 0 301423 0
[pid=831/tid=832] ppid=828 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/831/task/832/stat : 832 (toysat) S 828 831 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105986007 1247350784 29095 33554432000 4194304 16246674 140735454059248 139674105392368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=831/tid=833] ppid=828 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/831/task/833/stat : 833 (toysat) S 828 831 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105986007 1247350784 29101 33554432000 4194304 16246674 140735454059248 139674094902512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=831/tid=834] ppid=828 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/831/task/834/stat : 834 (toysat) S 828 831 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105986007 1247350784 29106 33554432000 4194304 16246674 140735454059248 139674014182576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200463 s]
/proc/loadavg: 2.16 2.19 2.18 4/179 831
/proc/meminfo: memFree=29171324/32872528 swapFree=17892/1720544
[pid=831] ppid=828 vsize=1220164 CPUtime=0.19 cores=0,2,4,6
/proc/831/stat : 831 (toysat) R 828 831 31655 0 -1 4202496 61202 0 0 0 11 8 0 0 20 0 4 0 105986007 1249447936 61532 33554432000 4194304 16246674 140735454059248 140735454058560 5545713 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/831/statm: 305041 61532 782 2943 0 301935 0
[pid=831/tid=832] ppid=828 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/831/task/832/stat : 832 (toysat) S 828 831 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105986007 1249447936 61532 33554432000 4194304 16246674 140735454059248 139674105392368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=831/tid=833] ppid=828 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/831/task/833/stat : 833 (toysat) S 828 831 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105986007 1249447936 61532 33554432000 4194304 16246674 140735454059248 139674094902512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=831/tid=834] ppid=828 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/831/task/834/stat : 834 (toysat) S 828 831 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105986007 1249447936 61532 33554432000 4194304 16246674 140735454059248 139674014182576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1220164

[startup+0.300438 s]
/proc/loadavg: 2.16 2.19 2.18 4/179 831
/proc/meminfo: memFree=29171324/32872528 swapFree=17892/1720544
[pid=831] ppid=828 vsize=1306180 CPUtime=0.29 cores=0,2,4,6
/proc/831/stat : 831 (toysat) R 828 831 31655 0 -1 4202496 70386 0 0 0 20 9 0 0 20 0 4 0 105986007 1337528320 70717 33554432000 4194304 16246674 140735454059248 140735454058560 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/831/statm: 326545 70723 782 2943 0 323439 0
[pid=831/tid=832] ppid=828 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/831/task/832/stat : 832 (toysat) S 828 831 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105986007 1337528320 70727 33554432000 4194304 16246674 140735454059248 139674105392368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=831/tid=833] ppid=828 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/831/task/833/stat : 833 (toysat) S 828 831 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105986007 1337528320 70734 33554432000 4194304 16246674 140735454059248 139674094902512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=831/tid=834] ppid=828 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/831/task/834/stat : 834 (toysat) S 828 831 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105986007 1337528320 70742 33554432000 4194304 16246674 140735454059248 139674014182576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1306180

[startup+0.700343 s]
/proc/loadavg: 2.16 2.19 2.18 4/179 831
/proc/meminfo: memFree=29171324/32872528 swapFree=17892/1720544
[pid=831] ppid=828 vsize=1306180 CPUtime=0.69 cores=0,2,4,6
/proc/831/stat : 831 (toysat) R 828 831 31655 0 -1 4202496 135769 0 0 0 52 17 0 0 20 0 4 0 105986007 1337528320 136100 33554432000 4194304 16246674 140735454059248 140735454041152 5545885 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/831/statm: 326545 136107 782 2943 0 323439 0
[pid=831/tid=832] ppid=828 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/831/task/832/stat : 832 (toysat) S 828 831 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105986007 1337528320 136119 33554432000 4194304 16246674 140735454059248 139674105392368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=831/tid=833] ppid=828 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/831/task/833/stat : 833 (toysat) S 828 831 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105986007 1337528320 136123 33554432000 4194304 16246674 140735454059248 139674094902512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=831/tid=834] ppid=828 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/831/task/834/stat : 834 (toysat) S 828 831 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105986007 1337528320 136131 33554432000 4194304 16246674 140735454059248 139674014182576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1306180

[startup+1.5004 s]
/proc/loadavg: 2.16 2.19 2.18 4/183 835
/proc/meminfo: memFree=28341568/32872528 swapFree=17892/1720544
[pid=831] ppid=828 vsize=1307204 CPUtime=1.49 cores=0,2,4,6
/proc/831/stat : 831 (toysat) R 828 831 31655 0 -1 4202496 267786 0 0 0 114 35 0 0 20 0 4 0 105986007 1338576896 268116 33554432000 4194304 16246674 140735454059248 140735454041152 13950199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/831/statm: 326801 268116 787 2943 0 323695 0
[pid=831/tid=832] ppid=828 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/831/task/832/stat : 832 (toysat) S 828 831 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105986007 1338576896 268116 33554432000 4194304 16246674 140735454059248 139674105392368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=831/tid=833] ppid=828 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/831/task/833/stat : 833 (toysat) S 828 831 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105986007 1338576896 268116 33554432000 4194304 16246674 140735454059248 139674094902512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=831/tid=834] ppid=828 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/831/task/834/stat : 834 (toysat) S 828 831 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105986007 1338576896 268116 33554432000 4194304 16246674 140735454059248 139674014182576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.10041 s]
/proc/loadavg: 2.15 2.19 2.18 3/183 835
/proc/meminfo: memFree=28098884/32872528 swapFree=17892/1720544
[pid=831] ppid=828 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/831/stat : 831 (toysat) R 828 831 31655 0 -1 4202496 267825 0 0 0 274 35 0 0 20 0 4 0 105986007 1338576896 268155 33554432000 4194304 16246674 140735454059248 140735454041152 5546116 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/831/statm: 326801 268155 789 2943 0 323695 0
[pid=831/tid=832] ppid=828 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/831/task/832/stat : 832 (toysat) S 828 831 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105986007 1338576896 268155 33554432000 4194304 16246674 140735454059248 139674105392368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=831/tid=833] ppid=828 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/831/task/833/stat : 833 (toysat) S 828 831 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105986007 1338576896 268155 33554432000 4194304 16246674 140735454059248 139674094902512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=831/tid=834] ppid=828 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/831/task/834/stat : 834 (toysat) S 828 831 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105986007 1338576896 268155 33554432000 4194304 16246674 140735454059248 139674014182576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30041 s]
/proc/loadavg: 2.15 2.19 2.18 3/183 835
/proc/meminfo: memFree=28098388/32872528 swapFree=17892/1720544
[pid=831] ppid=828 vsize=1309252 CPUtime=6.29 cores=0,2,4,6
/proc/831/stat : 831 (toysat) R 828 831 31655 0 -1 4202496 268285 0 0 0 594 35 0 0 20 0 4 0 105986007 1340674048 268615 33554432000 4194304 16246674 140735454059248 140735454041152 5708045 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/831/statm: 327313 268615 789 2943 0 324207 0
[pid=831/tid=832] ppid=828 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/831/task/832/stat : 832 (toysat) S 828 831 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105986007 1340674048 268615 33554432000 4194304 16246674 140735454059248 139674105392368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=831/tid=833] ppid=828 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/831/task/833/stat : 833 (toysat) S 828 831 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105986007 1340674048 268615 33554432000 4194304 16246674 140735454059248 139674094902512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=831/tid=834] ppid=828 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/831/task/834/stat : 834 (toysat) S 828 831 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105986007 1340674048 268615 33554432000 4194304 16246674 140735454059248 139674014182576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1309252

[startup+12.7003 s]
/proc/loadavg: 2.13 2.18 2.17 3/183 835
/proc/meminfo: memFree=28094828/32872528 swapFree=17892/1720544
[pid=831] ppid=828 vsize=1312324 CPUtime=12.69 cores=0,2,4,6
/proc/831/stat : 831 (toysat) R 828 831 31655 0 -1 4202496 268973 0 0 0 1234 35 0 0 20 0 4 0 105986007 1343819776 269303 33554432000 4194304 16246674 140735454059248 140735454041152 5523400 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/831/statm: 328081 269303 791 2943 0 324975 0
[pid=831/tid=832] ppid=828 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/831/task/832/stat : 832 (toysat) S 828 831 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105986007 1343819776 269303 33554432000 4194304 16246674 140735454059248 139674105392368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=831/tid=833] ppid=828 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/831/task/833/stat : 833 (toysat) S 828 831 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105986007 1343819776 269303 33554432000 4194304 16246674 140735454059248 139674094902512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=831/tid=834] ppid=828 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/831/task/834/stat : 834 (toysat) S 828 831 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105986007 1343819776 269303 33554432000 4194304 16246674 140735454059248 139674014182576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.11 2.17 2.17 3/183 835
/proc/meminfo: memFree=28004376/32872528 swapFree=17892/1720544
[pid=831] ppid=828 vsize=1317444 CPUtime=25.49 cores=0,2,4,6
/proc/831/stat : 831 (toysat) R 828 831 31655 0 -1 4202496 270324 0 0 0 2513 36 0 0 20 0 4 0 105986007 1349062656 270654 33554432000 4194304 16246674 140735454059248 140735454058424 13962096 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/831/statm: 329361 270654 791 2943 0 326255 0
[pid=831/tid=832] ppid=828 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/831/task/832/stat : 832 (toysat) S 828 831 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105986007 1349062656 270654 33554432000 4194304 16246674 140735454059248 139674105392368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=831/tid=833] ppid=828 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/831/task/833/stat : 833 (toysat) S 828 831 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105986007 1349062656 270654 33554432000 4194304 16246674 140735454059248 139674094902512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=831/tid=834] ppid=828 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/831/task/834/stat : 834 (toysat) S 828 831 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105986007 1349062656 270654 33554432000 4194304 16246674 140735454059248 139674014182576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1317444

[startup+51.1005 s]
/proc/loadavg: 2.29 2.21 2.18 3/183 835
/proc/meminfo: memFree=27893988/32872528 swapFree=17892/1720544
[pid=831] ppid=828 vsize=1324612 CPUtime=51.08 cores=0,2,4,6
/proc/831/stat : 831 (toysat) R 828 831 31655 0 -1 4202496 272179 0 0 0 5072 36 0 0 20 0 4 0 105986007 1356402688 272509 33554432000 4194304 16246674 140735454059248 140735454041152 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/831/statm: 331153 272509 791 2943 0 328047 0
[pid=831/tid=832] ppid=828 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/831/task/832/stat : 832 (toysat) S 828 831 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105986007 1356402688 272509 33554432000 4194304 16246674 140735454059248 139674105392368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=831/tid=833] ppid=828 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/831/task/833/stat : 833 (toysat) S 828 831 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105986007 1356402688 272509 33554432000 4194304 16246674 140735454059248 139674094902512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=831/tid=834] ppid=828 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/831/task/834/stat : 834 (toysat) S 828 831 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105986007 1356402688 272509 33554432000 4194304 16246674 140735454059248 139674014182576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1324612

[startup+102.301 s]
/proc/loadavg: 2.25 2.20 2.18 3/183 836
/proc/meminfo: memFree=27892424/32872528 swapFree=17892/1720544
[pid=831] ppid=828 vsize=1325636 CPUtime=102.29 cores=0,2,4,6
/proc/831/stat : 831 (toysat) R 828 831 31655 0 -1 4202496 272212 0 0 0 10192 37 0 0 20 0 4 0 105986007 1357451264 272542 33554432000 4194304 16246674 140735454059248 140735454041152 5523464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/831/statm: 331409 272542 791 2943 0 328303 0
[pid=831/tid=832] ppid=828 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/831/task/832/stat : 832 (toysat) S 828 831 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105986007 1357451264 272542 33554432000 4194304 16246674 140735454059248 139674105392368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=831/tid=833] ppid=828 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/831/task/833/stat : 833 (toysat) S 828 831 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105986007 1357451264 272542 33554432000 4194304 16246674 140735454059248 139674094902512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=831/tid=834] ppid=828 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/831/task/834/stat : 834 (toysat) S 828 831 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105986007 1357451264 272542 33554432000 4194304 16246674 140735454059248 139674014182576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1325636


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

/proc/831/task/834/stat : 834 (toysat) S 828 831 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105986007 1365839872 274813 33554432000 4194304 16246674 140735454059248 139674014182576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1333828

[startup+1362.3 s]
/proc/loadavg: 2.25 2.23 2.18 3/183 867
/proc/meminfo: memFree=26727532/32872528 swapFree=17892/1720544
[pid=831] ppid=828 vsize=1333828 CPUtime=1362.08 cores=0,2,4,6
/proc/831/stat : 831 (toysat) R 828 831 31655 0 -1 4202496 274483 0 0 0 136140 68 0 0 20 0 4 0 105986007 1365839872 274813 33554432000 4194304 16246674 140735454059248 140735454041152 5545988 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/831/statm: 333457 274813 791 2943 0 330351 0
[pid=831/tid=832] ppid=828 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/831/task/832/stat : 832 (toysat) S 828 831 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105986007 1365839872 274813 33554432000 4194304 16246674 140735454059248 139674105392368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=831/tid=833] ppid=828 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/831/task/833/stat : 833 (toysat) S 828 831 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105986007 1365839872 274813 33554432000 4194304 16246674 140735454059248 139674094902512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=831/tid=834] ppid=828 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/831/task/834/stat : 834 (toysat) S 828 831 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105986007 1365839872 274813 33554432000 4194304 16246674 140735454059248 139674014182576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1333828

[startup+1422.3 s]
/proc/loadavg: 2.20 2.22 2.18 3/183 917
/proc/meminfo: memFree=28068232/32872528 swapFree=17892/1720544
[pid=831] ppid=828 vsize=1334852 CPUtime=1422.08 cores=0,2,4,6
/proc/831/stat : 831 (toysat) R 828 831 31655 0 -1 4202496 274590 0 0 0 142139 69 0 0 20 0 4 0 105986007 1366888448 274920 33554432000 4194304 16246674 140735454059248 140735454041152 13950232 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/831/statm: 333713 274920 791 2943 0 330607 0
[pid=831/tid=832] ppid=828 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/831/task/832/stat : 832 (toysat) S 828 831 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105986007 1366888448 274920 33554432000 4194304 16246674 140735454059248 139674105392368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=831/tid=833] ppid=828 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/831/task/833/stat : 833 (toysat) S 828 831 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105986007 1366888448 274920 33554432000 4194304 16246674 140735454059248 139674094902512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=831/tid=834] ppid=828 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/831/task/834/stat : 834 (toysat) S 828 831 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105986007 1366888448 274920 33554432000 4194304 16246674 140735454059248 139674014182576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1334852

[startup+1482.3 s]
/proc/loadavg: 2.29 2.24 2.19 3/184 922
/proc/meminfo: memFree=28063964/32872528 swapFree=17892/1720544
[pid=831] ppid=828 vsize=1336900 CPUtime=1482.04 cores=0,2,4,6
/proc/831/stat : 831 (toysat) R 828 831 31655 0 -1 4202496 275265 0 0 0 148135 69 0 0 20 0 4 0 105986007 1368985600 275813 33554432000 4194304 16246674 140735454059248 140735454058424 5546219 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/831/statm: 334225 275813 791 2943 0 331119 0
[pid=831/tid=832] ppid=828 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/831/task/832/stat : 832 (toysat) S 828 831 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105986007 1368985600 275813 33554432000 4194304 16246674 140735454059248 139674105392368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=831/tid=833] ppid=828 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/831/task/833/stat : 833 (toysat) S 828 831 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105986007 1368985600 275813 33554432000 4194304 16246674 140735454059248 139674094902512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=831/tid=834] ppid=828 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/831/task/834/stat : 834 (toysat) S 828 831 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105986007 1368985600 275813 33554432000 4194304 16246674 140735454059248 139674014182576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1336900

[startup+1542.31 s]
/proc/loadavg: 2.25 2.25 2.19 3/183 923
/proc/meminfo: memFree=28063884/32872528 swapFree=17892/1720544
[pid=831] ppid=828 vsize=1336900 CPUtime=1542.01 cores=0,2,4,6
/proc/831/stat : 831 (toysat) R 828 831 31655 0 -1 4202496 275310 0 0 0 154131 70 0 0 20 0 4 0 105986007 1368985600 275813 33554432000 4194304 16246674 140735454059248 140735454058424 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/831/statm: 334225 275813 791 2943 0 331119 0
[pid=831/tid=832] ppid=828 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/831/task/832/stat : 832 (toysat) S 828 831 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105986007 1368985600 275813 33554432000 4194304 16246674 140735454059248 139674105392368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=831/tid=833] ppid=828 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/831/task/833/stat : 833 (toysat) S 828 831 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105986007 1368985600 275813 33554432000 4194304 16246674 140735454059248 139674094902512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=831/tid=834] ppid=828 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/831/task/834/stat : 834 (toysat) S 828 831 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105986007 1368985600 275813 33554432000 4194304 16246674 140735454059248 139674014182576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 1336900

[startup+1602.3 s]
/proc/loadavg: 2.24 2.25 2.19 3/183 924
/proc/meminfo: memFree=28063808/32872528 swapFree=17892/1720544
[pid=831] ppid=828 vsize=1336900 CPUtime=1601.98 cores=0,2,4,6
/proc/831/stat : 831 (toysat) R 828 831 31655 0 -1 4202496 275356 0 0 0 160126 72 0 0 20 0 4 0 105986007 1368985600 275820 33554432000 4194304 16246674 140735454059248 140735454041152 5545784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/831/statm: 334225 275820 791 2943 0 331119 0
[pid=831/tid=832] ppid=828 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/831/task/832/stat : 832 (toysat) S 828 831 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105986007 1368985600 275820 33554432000 4194304 16246674 140735454059248 139674105392368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=831/tid=833] ppid=828 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/831/task/833/stat : 833 (toysat) S 828 831 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105986007 1368985600 275820 33554432000 4194304 16246674 140735454059248 139674094902512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=831/tid=834] ppid=828 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/831/task/834/stat : 834 (toysat) S 828 831 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105986007 1368985600 275820 33554432000 4194304 16246674 140735454059248 139674014182576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 1336900

[startup+1662.3 s]
/proc/loadavg: 2.17 2.23 2.18 3/183 925
/proc/meminfo: memFree=28063920/32872528 swapFree=17892/1720544
[pid=831] ppid=828 vsize=1336900 CPUtime=1661.95 cores=0,2,4,6
/proc/831/stat : 831 (toysat) R 828 831 31655 0 -1 4202496 275398 0 0 0 166122 73 0 0 20 0 4 0 105986007 1368985600 275820 33554432000 4194304 16246674 140735454059248 140735454041152 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/831/statm: 334225 275820 791 2943 0 331119 0
[pid=831/tid=832] ppid=828 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/831/task/832/stat : 832 (toysat) S 828 831 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105986007 1368985600 275820 33554432000 4194304 16246674 140735454059248 139674105392368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=831/tid=833] ppid=828 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/831/task/833/stat : 833 (toysat) S 828 831 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105986007 1368985600 275820 33554432000 4194304 16246674 140735454059248 139674094902512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=831/tid=834] ppid=828 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/831/task/834/stat : 834 (toysat) S 828 831 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105986007 1368985600 275820 33554432000 4194304 16246674 140735454059248 139674014182576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 1336900

[startup+1722.3 s]
/proc/loadavg: 2.28 2.25 2.19 3/183 926
/proc/meminfo: memFree=28063324/32872528 swapFree=17892/1720544
[pid=831] ppid=828 vsize=1336900 CPUtime=1721.91 cores=0,2,4,6
/proc/831/stat : 831 (toysat) R 828 831 31655 0 -1 4202496 275460 0 0 0 172118 73 0 0 20 0 4 0 105986007 1368985600 275837 33554432000 4194304 16246674 140735454059248 140735454058424 5545713 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/831/statm: 334225 275837 791 2943 0 331119 0
[pid=831/tid=832] ppid=828 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/831/task/832/stat : 832 (toysat) S 828 831 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105986007 1368985600 275837 33554432000 4194304 16246674 140735454059248 139674105392368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=831/tid=833] ppid=828 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/831/task/833/stat : 833 (toysat) S 828 831 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105986007 1368985600 275837 33554432000 4194304 16246674 140735454059248 139674094902512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=831/tid=834] ppid=828 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/831/task/834/stat : 834 (toysat) S 828 831 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105986007 1368985600 275837 33554432000 4194304 16246674 140735454059248 139674014182576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 1336900

[startup+1782.3 s]
/proc/loadavg: 2.29 2.25 2.19 3/183 928
/proc/meminfo: memFree=28062992/32872528 swapFree=17892/1720544
[pid=831] ppid=828 vsize=1336900 CPUtime=1781.88 cores=0,2,4,6
/proc/831/stat : 831 (toysat) R 828 831 31655 0 -1 4202496 275502 0 0 0 178114 74 0 0 20 0 4 0 105986007 1368985600 275837 33554432000 4194304 16246674 140735454059248 140735454041152 5522909 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/831/statm: 334225 275837 791 2943 0 331119 0
[pid=831/tid=832] ppid=828 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/831/task/832/stat : 832 (toysat) S 828 831 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105986007 1368985600 275837 33554432000 4194304 16246674 140735454059248 139674105392368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=831/tid=833] ppid=828 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/831/task/833/stat : 833 (toysat) S 828 831 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105986007 1368985600 275837 33554432000 4194304 16246674 140735454059248 139674094902512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=831/tid=834] ppid=828 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/831/task/834/stat : 834 (toysat) S 828 831 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105986007 1368985600 275837 33554432000 4194304 16246674 140735454059248 139674014182576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 1336900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.28 2.25 2.19 4/183 928
/proc/meminfo: memFree=28063084/32872528 swapFree=17892/1720544
[pid=831] ppid=828 vsize=1336900 CPUtime=1800.07 cores=0,2,4,6
/proc/831/stat : 831 (toysat) R 828 831 31655 0 -1 4202496 275516 0 0 0 179933 74 0 0 20 0 4 0 105986007 1368985600 275837 33554432000 4194304 16246674 140735454059248 140735454041152 5545832 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/831/statm: 334225 275837 791 2943 0 331119 0
[pid=831/tid=832] ppid=828 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/831/task/832/stat : 832 (toysat) S 828 831 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105986007 1368985600 275837 33554432000 4194304 16246674 140735454059248 139674105392368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=831/tid=833] ppid=828 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/831/task/833/stat : 833 (toysat) S 828 831 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105986007 1368985600 275837 33554432000 4194304 16246674 140735454059248 139674094902512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=831/tid=834] ppid=828 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/831/task/834/stat : 834 (toysat) S 828 831 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105986007 1368985600 275837 33554432000 4194304 16246674 140735454059248 139674014182576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
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 831 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.28 2.25 2.19 4/183 928
/proc/meminfo: memFree=28063084/32872528 swapFree=17892/1720544
[pid=831] ppid=828 vsize=1336900 CPUtime=1800.07 cores=0,2,4,6
/proc/831/stat : 831 (toysat) R 828 831 31655 0 -1 4202496 275516 0 0 0 179933 74 0 0 20 0 4 0 105986007 1368985600 275837 33554432000 4194304 16246674 140735454059248 140735454041152 5545832 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/831/statm: 334225 275837 791 2943 0 331119 0
[pid=831/tid=832] ppid=828 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/831/task/832/stat : 832 (toysat) S 828 831 31655 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105986007 1368985600 275837 33554432000 4194304 16246674 140735454059248 139674105392368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=831/tid=833] ppid=828 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/831/task/833/stat : 833 (toysat) S 828 831 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105986007 1368985600 275837 33554432000 4194304 16246674 140735454059248 139674094902512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=831/tid=834] ppid=828 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/831/task/834/stat : 834 (toysat) S 828 831 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105986007 1368985600 275837 33554432000 4194304 16246674 140735454059248 139674014182576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1336900

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.53
CPU time (s): 1800.1
CPU user time (s): 1799.34
CPU system time (s): 0.765883
CPU usage (%): 99.976
Max. virtual memory (cumulated for all children) (KiB): 1336900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.34
system time used= 0.765883
maximum resident set size= 1103348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275516
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= 281
involuntary context switches= 1853

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.54831 second user time and 6.95194 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-06 21:15:28
IDJOB=4078770
IDBENCH=2597
IDSOLVER=2542
FILE ID=node117/4078770-1465240528
RUNJOBID= node117-1465227498-31671
PBS_JOBID= 19843241
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-51-50.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078770-1465240528/watcher-4078770-1465240528 -o /tmp/evaluation-result-4078770-1465240528/solver-4078770-1465240528 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465227498-31671 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078770-1465240528.opb

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

MD5SUM BENCH= 285c24e978af8153c6a378b9af59f522
RANDOM SEED=41040924

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.088
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:        29171488 kB
Buffers:           35720 kB
Cached:           101732 kB
SwapCached:         1396 kB
Active:          1217604 kB
Inactive:          59680 kB
Active(anon):    1140032 kB
Inactive(anon):     2176 kB
Active(file):      77572 kB
Inactive(file):    57504 kB
Unevictable:     1720544 kB
Mlocked:           17892 kB
SwapTotal:      67108856 kB
SwapFree:       67098980 kB
Dirty:             16344 kB
Writeback:             0 kB
AnonPages:       2859796 kB
Mapped:            10640 kB
Shmem:                 0 kB
Slab:             568016 kB
SReclaimable:      12228 kB
SUnreclaim:       555788 kB
KernelStack:        1488 kB
PageTables:         9548 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3006932 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1705984 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= 71704 MiB
End job on node117 at 2016-06-06 21:45:29