Trace number 4079454

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.03 1800.51

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-mod010.opb
MD5SUM0155c0c96434984f6ded6bb7ada20c0c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark7984
Best CPU time to get the best result obtained on this benchmark1800.16
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 6548
Optimality of the best value was proved YES
Number of variables2655
Total number of constraints146
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)145
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint4
Maximum length of a constraint2655
Number of terms in the objective function 2655
Biggest coefficient in the objective function 266
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 489211
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 266
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 489211
Number of bits of the biggest sum of numbers19
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-06T16:29:10+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-4079454-1465223350.opb"]
0.00/0.01	c use --random-gen="1862392474 172295356 398512145 4168780620 2063784711 450299136 1468082097 1439042726 197076091 1549740184 3575015576 2133347013 2427271033 3184370380 1587038966 174834655 637131407 4030787629 2373284062 1430476224 1603906749 7457648 3087979794 2274711003 1071638407 213496639 1363501330 65025263 2745069765 2322042501 166824350 38498764 2413296551 2388636022 4140653644 2023199944 1610058936 885233481 2624653901 2185380976 418595325 2451936978 895180186 3592535100 2228208172 1027510374 308400183 1658858844 1733262953 1949750123 3135437038 1276603278 198403974 2359935858 2552143026 2387929745 138321149 3631033771 4263277957 4191715283 4193300984 3149466095 2886074264 3763792720 1539359386 1781832456 3268514084 3830928734 1621412143 3664726903 606926151 2408373486 1626128384 895961142 3158048362 2261528054 3924723634 1936664456 3932727617 1141232970 3373191759 1775942581 976449221 652628822 683639576 2264763427 1747421903 1486840190 3721635605 132189549 2952998245 3273172717 490639905 1467907289 428084308 1054858445 4277607532 2083496428 404669165 3579822589 2935384292 1071090998 1334569516 953186899 204663917 113241993 1375615125 2884424912 1341605274 224534682 1701693215 4240326274 717283633 935448200 15615617 1982246446 3169268669 1679261981 4088778095 2262329958 99868825 646138313 2399774250 167114432 1710815729 1498726391 4035270901 187032895 3823869155 1480459715 435237324 4050226971 1641642676 252845201 470875263 1115100600 1077855584 1767400992 91211727 4277839617 2855901890 2073663156 1237150176 3540978360 2859965397 2652060632 10006744 158060492 2857345615 4290532199 4058880713 3887186688 2844554071 1702634298 3510142862 4246977005 502241792 1342784277 1104289213 3453502486 1932834750 3890083343 1143934445 1625583509 3108743796 3026917332 3576772336 3887915672 3911617199 2157445592 3396846602 1617322262 3395958077 4087951575 707641392 1308302632 3448845915 1295638232 3571669863 1361289471 2241066015 2171079861 3071815858 1611808887 661082190 36984895 645958916 3389387742 3946639220 1275010640 2930766596 2499726869 1702361453 83900505 4044674999 2074889460 1850980859 1668232409 4284359723 3020992930 365167017 500090123 2639723538 1946403379 1593373537 2005846930 1977001892 2335227014 4092417985 2441311142 1154426387 2096302722 264149834 806568976 3604732697 4218449650 3984179245 806556645 918980962 3296942384 4062310025 1766613658 2464179455 1407289685 4129570527 223334695 3146392873 3661179847 3893755805 1561275787 1163025668 3893049367 1248174379 655254629 3469607798 841469087 3323642947 2474769922 2093351186 4173427715 288232513 1636505942 1324251414 1257307523 3970861522 157406562 1041029006 4038331978 1895106083 413548979 2869250774 2388287098 2260871112 8335452 356681235 1736333851 255 362436" option to reproduce the execution
0.00/0.04	c #vars 2655
0.00/0.04	c #constraints 146
0.09/0.12	c BCD2: Hardening is enabled.
0.09/0.12	c BCD2: BiasedSearch is enabled.
0.09/0.12	c Solving starts ...
0.09/0.12	c ============================[ Search Statistics ]============================
0.09/0.12	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.12	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.12	c =============================================================================
0.09/0.12	c  0.0s |       0 |        0 |        0 |      982      0 |        0 |        0
0.09/0.19	c  0.1s |       1 |      295 |      100 |      982      0 |        0 |        0
0.29/0.31	c  0.2s |       2 |     1287 |      250 |     1081      0 |        0 |        0
0.49/0.50	c  0.4s |       3 |     1576 |      475 |     1190      0 |        0 |        0
0.69/0.75	c  0.6s |       4 |     1986 |      813 |     1309      0 |        0 |        0
1.20/1.27	c  1.2s |       5 |     2637 |     1320 |     1440      0 |        0 |        0
1.79/1.84	c  1.7s |       6 |     3531 |     2081 |     1744      0 |        0 |        0
2.59/2.60	c  2.5s |       7 |     4854 |     3223 |     1919      1 |        0 |        0
3.79/3.88	c  3.8s |       8 |     6997 |     4936 |     2111      2 |        0 |        0
5.69/5.77	c  5.7s |       9 |    10005 |     7506 |     2323      3 |        0 |        0
7.70/7.78	c  7.7s |       9 |    13047 |    10106 |     2323      4 |        0 |        0
8.69/8.71	c  8.6s |      10 |    14431 |    11361 |     2556      5 |        0 |        0
10.69/10.72	c 10.6s |      10 |    17694 |    14261 |     2556      6 |        0 |        0
12.59/12.68	c 12.6s |      11 |    21097 |    17144 |     2812      7 |        0 |        0
14.69/14.74	c 14.6s |      11 |    25186 |    20444 |     2812      9 |        0 |        0
16.69/16.75	c 16.6s |      11 |    28373 |    23244 |     2812     10 |        0 |        0
18.49/18.53	c 18.4s |      12 |    31349 |    25819 |     3094     11 |        0 |        0
20.49/20.58	c 20.5s |      12 |    34607 |    28719 |     3094     12 |        0 |        0
22.58/22.61	c 22.5s |      12 |    37553 |    31419 |     3094     13 |        0 |        0
24.58/24.64	c 24.5s |      12 |    40609 |    34019 |     3094     13 |        0 |        0
26.69/26.70	c 26.6s |      12 |    43133 |    36319 |     3094     14 |        0 |        0
28.70/28.78	c 28.7s |      12 |    46041 |    38719 |     3404     15 |        0 |        0
28.79/28.87	c 28.8s |      13 |    46219 |    38832 |     3404     15 |        0 |        0
30.90/30.90	c 30.8s |      13 |    48776 |    41032 |     3404     16 |        0 |        0
32.89/32.99	c 32.9s |      13 |    51329 |    43332 |     3404     17 |        0 |        0
34.99/35.00	c 34.9s |      13 |    53980 |    45732 |     3404     18 |        0 |        0
36.98/37.05	c 36.9s |      13 |    56598 |    48132 |     3404     18 |        0 |        0
39.08/39.12	c 39.0s |      13 |    59073 |    50332 |     3404     19 |        0 |        0
41.09/41.12	c 41.0s |      13 |    61563 |    52432 |     3404     20 |        0 |        0
43.09/43.15	c 43.0s |      13 |    63829 |    54432 |     3404     20 |        0 |        0
45.19/45.21	c 45.1s |      13 |    66325 |    56532 |     3404     21 |        0 |        0
47.18/47.28	c 47.2s |      13 |    68051 |    58132 |     3745     22 |        0 |        0
47.48/47.53	c 47.4s |      14 |    68288 |    58352 |     3745     22 |        0 |        0
49.49/49.60	c 49.5s |      14 |    70523 |    60352 |     3745     23 |        0 |        0
51.69/51.72	c 51.6s |      14 |    72801 |    62352 |     3745     23 |        0 |        0
53.68/53.80	c 53.7s |      14 |    74592 |    64052 |     3745     24 |        0 |        0
55.88/55.96	c 55.8s |      14 |    76679 |    65952 |     3745     24 |        0 |        0
57.98/58.02	c 57.9s |      14 |    78294 |    67352 |     3745     25 |        0 |        0
59.98/60.09	c 60.0s |      14 |    80865 |    69652 |     3745     26 |        0 |        0
62.08/62.17	c 62.1s |      14 |    82773 |    71452 |     3745     26 |        0 |        0
64.28/64.32	c 64.2s |      14 |    84629 |    73152 |     3745     27 |        0 |        0
66.28/66.33	c 66.2s |      14 |    86610 |    74952 |     3745     27 |        0 |        0
68.29/68.34	c 68.2s |      14 |    88989 |    77052 |     3745     28 |        0 |        0
70.39/70.41	c 70.3s |      14 |    91995 |    79752 |     3745     29 |        0 |        0
72.38/72.46	c 72.3s |      14 |    95118 |    82352 |     3745     30 |        0 |        0
74.48/74.51	c 74.4s |      14 |    98067 |    84952 |     3745     30 |        0 |        0
76.48/76.52	c 76.4s |      15 |   101228 |    87632 |     4120     31 |        0 |        0
78.58/78.62	c 78.5s |      15 |   104184 |    90132 |     4120     32 |        0 |        0
80.58/80.65	c 80.5s |      15 |   106697 |    92332 |     4120     33 |        0 |        0
82.59/82.68	c 82.6s |      15 |   109693 |    94732 |     4120     33 |        0 |        0
84.69/84.72	c 84.6s |      15 |   112589 |    97332 |     4120     34 |        0 |        0
86.68/86.79	c 86.7s |      15 |   115100 |    99632 |     4120     35 |        0 |        0
88.68/88.79	c 88.7s |      15 |   117052 |   101432 |     4120     35 |        0 |        0
90.78/90.87	c 90.8s |      15 |   118987 |   103232 |     4120     36 |        0 |        0
92.88/92.90	c 92.8s |      15 |   121743 |   105632 |     4120     37 |        0 |        0
94.88/94.95	c 94.8s |      15 |   125217 |   108632 |     4120     38 |        0 |        0
96.98/97.04	c 96.9s |      15 |   128922 |   111732 |     4120     39 |        0 |        0
99.08/99.11	c 99.0s |      15 |   132071 |   114532 |     4120     39 |        0 |        0
101.07/101.16	c  101s |      15 |   135261 |   117432 |     4120     40 |        0 |        0
103.17/103.21	c  103s |      15 |   138322 |   120232 |     4120     41 |        0 |        0
105.17/105.25	c  105s |      15 |   140886 |   122632 |     4120     42 |        0 |        0
107.17/107.27	c  107s |      15 |   143884 |   125332 |     4120     43 |        0 |        0
109.27/109.30	c  109s |      15 |   146531 |   127832 |     4120     43 |        0 |        0
111.28/111.31	c  111s |      15 |   148999 |   130132 |     4120     44 |        0 |        0
112.08/112.19	c  112s |      16 |   150626 |   131552 |     4532     44 |        0 |        0
114.18/114.25	c  114s |      16 |   153885 |   134452 |     4532     45 |        0 |        0
116.28/116.32	c  116s |      16 |   157132 |   137352 |     4532     46 |        0 |        0
118.28/118.33	c  118s |      16 |   161032 |   140252 |     4532     47 |        0 |        0
120.27/120.36	c  120s |      16 |   164668 |   143152 |     4532     48 |        0 |        0
122.37/122.42	c  122s |      16 |   167818 |   145952 |     4532     48 |        0 |        0
124.38/124.45	c  124s |      16 |   171362 |   149052 |     4532     49 |        0 |        0
126.37/126.45	c  126s |      16 |   174859 |   152152 |     4532     50 |        0 |        0
128.37/128.45	c  128s |      16 |   178410 |   155352 |     4532     51 |        0 |        0
130.47/130.51	c  130s |      16 |   182122 |   158552 |     4532     52 |        0 |        0
132.47/132.53	c  132s |      16 |   185453 |   161552 |     4532     53 |        0 |        0
134.47/134.57	c  134s |      16 |   189415 |   165052 |     4532     54 |        0 |        0
136.48/136.57	c  136s |      16 |   192992 |   168352 |     4532     55 |        0 |        0
138.57/138.62	c  138s |      16 |   196152 |   171152 |     4532     55 |        0 |        0
140.56/140.66	c  140s |      16 |   199281 |   173952 |     4532     56 |        0 |        0
142.67/142.73	c  142s |      16 |   202600 |   176952 |     4532     57 |        0 |        0
144.67/144.73	c  144s |      16 |   205530 |   179652 |     4532     58 |        0 |        0
146.67/146.76	c  146s |      16 |   208605 |   182352 |     4532     59 |        0 |        0
148.77/148.82	c  148s |      16 |   212739 |   185752 |     4532     60 |        0 |        0
150.77/150.87	c  150s |      16 |   216032 |   188752 |     4532     60 |        0 |        0
152.77/152.90	c  152s |      16 |   219714 |   191952 |     4532     61 |        0 |        0
154.87/154.90	c  154s |      16 |   223098 |   194952 |     4532     62 |        0 |        0
156.47/156.53	c  156s |      17 |   225912 |   197432 |     4986     63 |        0 |        0
158.47/158.57	c  158s |      17 |   228935 |   199932 |     4986     63 |        0 |        0
160.57/160.62	c  160s |      17 |   231835 |   202332 |     4986     64 |        0 |        0
162.56/162.67	c  162s |      17 |   234713 |   204832 |     4986     65 |        0 |        0
164.56/164.69	c  164s |      17 |   237557 |   207332 |     4986     65 |        0 |        0
166.67/166.72	c  166s |      17 |   240579 |   210032 |     4986     66 |        0 |        0
168.66/168.76	c  168s |      17 |   243879 |   212932 |     4986     67 |        0 |        0
170.76/170.81	c  170s |      17 |   247254 |   215732 |     4986     68 |        0 |        0
172.77/172.83	c  172s |      17 |   250384 |   218432 |     4986     68 |        0 |        0
174.87/174.92	c  174s |      17 |   253070 |   220932 |     4986     69 |        0 |        0
176.86/176.99	c  176s |      17 |   256285 |   223732 |     4986     70 |        0 |        0
178.96/179.05	c  178s |      17 |   259167 |   226432 |     4986     70 |        0 |        0
180.96/181.07	c  180s |      17 |   261981 |   229032 |     4986     71 |        0 |        0
183.07/183.10	c  182s |      17 |   264290 |   231232 |     4986     72 |        0 |        0
185.06/185.13	c  185s |      17 |   266765 |   233532 |     4986     72 |        0 |        0
187.07/187.15	c  187s |      17 |   269521 |   236032 |     4986     73 |        0 |        0
189.17/189.21	c  189s |      17 |   272538 |   238632 |     4986     74 |        0 |        0
191.17/191.22	c  191s |      17 |   275415 |   241232 |     4986     74 |        0 |        0
193.16/193.24	c  193s |      17 |   278193 |   243732 |     4986     75 |        0 |        0
195.16/195.26	c  195s |      17 |   281077 |   246332 |     4986     76 |        0 |        0
197.26/197.32	c  197s |      17 |   284141 |   248932 |     4986     76 |        0 |        0
199.26/199.37	c  199s |      17 |   286927 |   251432 |     4986     77 |        0 |        0
201.26/201.40	c  201s |      17 |   289814 |   253932 |     4986     78 |        0 |        0
203.36/203.41	c  203s |      17 |   292772 |   256632 |     4986     78 |        0 |        0
205.36/205.47	c  205s |      17 |   295704 |   259332 |     4986     79 |        0 |        0
207.36/207.49	c  207s |      17 |   298327 |   261732 |     4986     80 |        0 |        0
209.46/209.51	c  209s |      17 |   301203 |   264332 |     4986     80 |        0 |        0
211.45/211.58	c  211s |      17 |   303974 |   266832 |     4986     81 |        0 |        0
213.46/213.58	c  213s |      17 |   306730 |   269332 |     4986     82 |        0 |        0
215.56/215.62	c  215s |      17 |   309642 |   271932 |     4986     82 |        0 |        0
217.56/217.67	c  217s |      17 |   313043 |   274932 |     4986     83 |        0 |        0
219.55/219.68	c  219s |      17 |   315839 |   277532 |     4986     84 |        0 |        0
221.66/221.76	c  221s |      17 |   318624 |   280032 |     4986     84 |        0 |        0
223.66/223.78	c  223s |      17 |   321339 |   282532 |     4986     85 |        0 |        0
225.76/225.81	c  225s |      17 |   323682 |   284732 |     4986     86 |        0 |        0
227.76/227.88	c  227s |      17 |   326250 |   287132 |     4986     86 |        0 |        0
229.86/229.94	c  229s |      17 |   328777 |   289432 |     4986     87 |        0 |        0
231.95/232.00	c  231s |      17 |   331434 |   291832 |     4986     88 |        0 |        0
233.95/234.03	c  233s |      17 |   334149 |   294332 |     5485     88 |        0 |        0
235.46/235.59	c  235s |      18 |   336292 |   296252 |     5485     89 |        0 |        0
237.45/237.60	c  237s |      18 |   340015 |   299452 |     5485     89 |        0 |        0
239.56/239.65	c  239s |      18 |   343798 |   302752 |     5485     90 |        0 |        0
241.66/241.70	c  241s |      18 |   347383 |   305952 |     5485     91 |        0 |        0
243.66/243.71	c  243s |      18 |   350416 |   308652 |     5485     92 |        0 |        0
245.66/245.73	c  245s |      18 |   354024 |   311852 |     5485     92 |        0 |        0
247.65/247.76	c  247s |      18 |   357615 |   314952 |     5485     93 |        0 |        0
249.66/249.77	c  249s |      18 |   361348 |   318152 |     5485     94 |        0 |        0
251.75/251.81	c  251s |      18 |   364757 |   321052 |     5485     95 |        0 |        0
253.75/253.85	c  253s |      18 |   368409 |   324152 |     5485     95 |        0 |        0
255.86/255.90	c  255s |      18 |   371676 |   327052 |     5485     96 |        0 |        0
257.86/257.91	c  257s |      18 |   375132 |   329952 |     5485     97 |        0 |        0
259.85/259.96	c  259s |      18 |   379109 |   333152 |     5485     98 |        0 |        0
261.95/262.00	c  261s |      18 |   383076 |   336452 |     5485     99 |        0 |        0
263.96/264.04	c  263s |      18 |   387016 |   339752 |     5485     99 |        0 |        0
265.95/266.06	c  265s |      18 |   391187 |   343252 |     5485    100 |        0 |        0
267.95/268.07	c  267s |      18 |   395046 |   346452 |     5485    101 |        0 |        0
269.95/270.10	c  269s |      18 |   398748 |   349452 |     5485    102 |        0 |        0
272.05/272.11	c  271s |      18 |   402051 |   352352 |     5485    102 |        0 |        0
274.05/274.12	c  274s |      18 |   405547 |   355352 |     5485    103 |        0 |        0
276.16/276.24	c  276s |      18 |   408946 |   358252 |     5485    104 |        0 |        0
278.15/278.29	c  278s |      18 |   412096 |   360952 |     5485    105 |        0 |        0
280.24/280.34	c  280s |      18 |   415307 |   363752 |     5485    105 |        0 |        0
282.24/282.36	c  282s |      18 |   418429 |   366452 |     5485    106 |        0 |        0
284.34/284.40	c  284s |      18 |   421398 |   369052 |     5485    107 |        0 |        0
286.34/286.42	c  286s |      18 |   424660 |   371952 |     5485    107 |        0 |        0
288.34/288.44	c  288s |      18 |   427952 |   374852 |     5485    108 |        0 |        0
290.35/290.46	c  290s |      18 |   431018 |   377652 |     5485    109 |        0 |        0
292.34/292.50	c  292s |      18 |   433971 |   380352 |     5485    109 |        0 |        0
294.44/294.53	c  294s |      18 |   436948 |   383052 |     5485    110 |        0 |        0
296.43/296.53	c  296s |      18 |   439882 |   385552 |     5485    111 |        0 |        0
298.53/298.60	c  298s |      18 |   443410 |   388552 |     5485    111 |        0 |        0
300.53/300.68	c  300s |      18 |   446865 |   391552 |     5485    112 |        0 |        0
302.63/302.72	c  302s |      18 |   450313 |   394552 |     5485    113 |        0 |        0
304.64/304.74	c  304s |      18 |   453561 |   397352 |     5485    114 |        0 |        0
306.73/306.81	c  306s |      18 |   457182 |   400352 |     5485    114 |        0 |        0
308.73/308.83	c  308s |      18 |   460299 |   403052 |     5485    115 |        0 |        0
310.73/310.88	c  310s |      18 |   463876 |   406052 |     5485    116 |        0 |        0
312.83/312.91	c  312s |      18 |   467127 |   408952 |     5485    116 |        0 |        0
314.83/314.94	c  314s |      18 |   470189 |   411652 |     5485    117 |        0 |        0
316.84/316.98	c  316s |      18 |   473455 |   414352 |     5485    118 |        0 |        0
318.83/318.99	c  318s |      18 |   476848 |   417352 |     5485    119 |        0 |        0
320.93/321.04	c  320s |      18 |   480783 |   420652 |     5485    119 |        0 |        0
322.92/323.08	c  322s |      18 |   484004 |   423552 |     5485    120 |        0 |        0
325.02/325.11	c  324s |      18 |   487311 |   426352 |     5485    121 |        0 |        0
327.02/327.17	c  327s |      18 |   490300 |   428952 |     5485    121 |        0 |        0
329.02/329.18	c  329s |      18 |   493387 |   431652 |     5485    122 |        0 |        0
331.13/331.23	c  331s |      18 |   496414 |   434352 |     5485    123 |        0 |        0
333.12/333.30	c  333s |      18 |   499640 |   437052 |     5485    123 |        0 |        0
335.22/335.30	c  335s |      18 |   502671 |   439652 |     5485    124 |        0 |        0
337.22/337.36	c  337s |      18 |   505320 |   442052 |     6034    124 |        0 |        0
339.23/339.37	c  339s |      18 |   507840 |   444352 |     6034    125 |        0 |        0
339.33/339.49	c  339s |      19 |   507985 |   444482 |     6034    125 |        0 |        0
341.42/341.54	c  341s |      19 |   510982 |   447082 |     6034    126 |        0 |        0
343.51/343.60	c  343s |      19 |   514830 |   450382 |     6034    127 |        0 |        0
345.51/345.65	c  345s |      19 |   518509 |   453482 |     6034    127 |        0 |        0
347.53/347.66	c  347s |      19 |   521148 |   455982 |     6034    128 |        0 |        0
349.62/349.71	c  349s |      19 |   523832 |   458482 |     6034    128 |        0 |        0
351.62/351.75	c  351s |      19 |   526606 |   461082 |     6034    129 |        0 |        0
353.61/353.78	c  353s |      19 |   529248 |   463482 |     6034    130 |        0 |        0
355.61/355.79	c  355s |      19 |   531850 |   465882 |     6034    130 |        0 |        0
357.71/357.81	c  357s |      19 |   534245 |   468082 |     6034    131 |        0 |        0
359.72/359.85	c  359s |      19 |   536668 |   470182 |     6034    131 |        0 |        0
361.71/361.89	c  361s |      19 |   539422 |   472682 |     6034    132 |        0 |        0
363.81/363.99	c  363s |      19 |   542167 |   475182 |     6034    132 |        0 |        0
365.91/366.00	c  365s |      19 |   544659 |   477482 |     6034    133 |        0 |        0
367.91/368.08	c  367s |      19 |   547776 |   480182 |     6034    134 |        0 |        0
370.01/370.10	c  369s |      19 |   551045 |   483182 |     6034    134 |        0 |        0
372.01/372.11	c  371s |      19 |   554307 |   486082 |     6034    135 |        0 |        0
374.02/374.14	c  374s |      19 |   557386 |   488782 |     6034    136 |        0 |        0
376.01/376.17	c  376s |      19 |   560735 |   491682 |     6034    136 |        0 |        0
378.11/378.23	c  378s |      19 |   563859 |   494582 |     6034    137 |        0 |        0
380.21/380.33	c  380s |      19 |   567101 |   497482 |     6034    138 |        0 |        0
382.21/382.36	c  382s |      19 |   570627 |   500582 |     6034    138 |        0 |        0
384.30/384.40	c  384s |      19 |   573748 |   503282 |     6034    139 |        0 |        0
386.30/386.48	c  386s |      19 |   576938 |   506082 |     6034    140 |        0 |        0
388.41/388.53	c  388s |      19 |   579993 |   508882 |     6034    140 |        0 |        0
390.41/390.54	c  390s |      19 |   583048 |   511582 |     6034    141 |        0 |        0
392.40/392.56	c  392s |      19 |   585965 |   514182 |     6034    141 |        0 |        0
394.40/394.59	c  394s |      19 |   588896 |   516782 |     6034    142 |        0 |        0
396.50/396.62	c  396s |      19 |   591909 |   519482 |     6034    143 |        0 |        0
398.50/398.63	c  398s |      19 |   594884 |   522082 |     6034    143 |        0 |        0
400.49/400.64	c  400s |      19 |   598125 |   524982 |     6034    144 |        0 |        0
402.49/402.69	c  402s |      19 |   601296 |   527782 |     6034    145 |        0 |        0
404.59/404.72	c  404s |      19 |   604616 |   530682 |     6034    145 |        0 |        0
406.59/406.72	c  406s |      19 |   607595 |   533382 |     6034    146 |        0 |        0
408.59/408.77	c  408s |      19 |   610537 |   535982 |     6034    146 |        0 |        0
410.59/410.78	c  410s |      19 |   613361 |   538482 |     6034    147 |        0 |        0
412.69/412.84	c  412s |      19 |   616058 |   540882 |     6034    148 |        0 |        0
414.69/414.86	c  414s |      19 |   618686 |   543182 |     6034    148 |        0 |        0
416.69/416.88	c  416s |      19 |   621296 |   545482 |     6034    149 |        0 |        0
418.79/418.95	c  418s |      19 |   624112 |   547982 |     6034    149 |        0 |        0
420.79/420.98	c  420s |      19 |   626887 |   550382 |     6034    150 |        0 |        0
422.88/423.03	c  422s |      19 |   629788 |   552882 |     6034    150 |        0 |        0
424.88/425.08	c  424s |      19 |   632384 |   555182 |     6034    151 |        0 |        0
426.98/427.15	c  427s |      19 |   635090 |   557582 |     6034    151 |        0 |        0
429.08/429.23	c  429s |      19 |   637816 |   559982 |     6034    152 |        0 |        0
431.09/431.23	c  431s |      19 |   640538 |   562282 |     6034    153 |        0 |        0
433.08/433.28	c  433s |      19 |   643797 |   565182 |     6034    153 |        0 |        0
435.18/435.36	c  435s |      19 |   647761 |   568582 |     6034    154 |        0 |        0
437.28/437.40	c  437s |      19 |   650848 |   571382 |     6034    155 |        0 |        0
439.28/439.41	c  439s |      19 |   653831 |   574082 |     6034    155 |        0 |        0
441.28/441.43	c  441s |      19 |   657463 |   577182 |     6034    156 |        0 |        0
443.28/443.44	c  443s |      19 |   660688 |   580082 |     6034    157 |        0 |        0
445.27/445.49	c  445s |      19 |   664416 |   583182 |     6034    157 |        0 |        0
447.37/447.53	c  447s |      19 |   668416 |   586482 |     6034    158 |        0 |        0
449.37/449.53	c  449s |      19 |   671912 |   589482 |     6034    159 |        0 |        0
451.37/451.53	c  451s |      19 |   675112 |   592382 |     6034    159 |        0 |        0
453.37/453.59	c  453s |      19 |   679008 |   595582 |     6034    160 |        0 |        0
455.47/455.63	c  455s |      19 |   682746 |   598682 |     6034    161 |        0 |        0
457.47/457.68	c  457s |      19 |   685972 |   601482 |     6034    162 |        0 |        0
459.47/459.69	c  459s |      19 |   689380 |   604382 |     6034    162 |        0 |        0
461.57/461.71	c  461s |      19 |   692857 |   607382 |     6034    163 |        0 |        0
463.56/463.77	c  463s |      19 |   696238 |   610282 |     6034    164 |        0 |        0
465.66/465.81	c  465s |      19 |   699682 |   613182 |     6034    164 |        0 |        0
467.66/467.86	c  467s |      19 |   702896 |   615982 |     6034    165 |        0 |        0
469.76/469.90	c  469s |      19 |   706658 |   619082 |     6034    166 |        0 |        0
471.77/471.93	c  471s |      19 |   710155 |   622082 |     6034    166 |        0 |        0
473.76/473.93	c  473s |      19 |   713338 |   624882 |     6034    167 |        0 |        0
475.76/475.97	c  475s |      19 |   716507 |   627682 |     6034    168 |        0 |        0
477.86/478.03	c  477s |      19 |   719794 |   630482 |     6034    168 |        0 |        0
479.96/480.10	c  479s |      19 |   722693 |   633082 |     6034    169 |        0 |        0
481.97/482.14	c  482s |      19 |   726234 |   635982 |     6034    170 |        0 |        0
484.07/484.22	c  484s |      19 |   730044 |   639282 |     6034    170 |        0 |        0
486.07/486.25	c  486s |      19 |   733457 |   642282 |     6034    171 |        0 |        0
488.06/488.29	c  488s |      19 |   736595 |   645082 |     6034    172 |        0 |        0
490.06/490.30	c  490s |      19 |   739824 |   647882 |     6034    172 |        0 |        0
492.16/492.31	c  492s |      19 |   742952 |   650582 |     6034    173 |        0 |        0
494.16/494.34	c  494s |      19 |   746161 |   653282 |     6034    174 |        0 |        0
496.16/496.34	c  496s |      19 |   750060 |   656582 |     6034    174 |        0 |        0
498.17/498.37	c  498s |      19 |   753704 |   659582 |     6034    175 |        0 |        0
500.16/500.37	c  500s |      19 |   757148 |   662482 |     6638    176 |        0 |        0
502.16/502.37	c  502s |      19 |   760843 |   665582 |     6638    176 |        0 |        0
503.05/503.21	c  503s |      20 |   762264 |   666827 |     6638    177 |        0 |        0
505.05/505.22	c  505s |      20 |   766507 |   670327 |     6638    177 |        0 |        0
507.06/507.23	c  507s |      20 |   770835 |   673927 |     6638    178 |        0 |        0
509.05/509.25	c  509s |      20 |   775021 |   677427 |     6638    179 |        0 |        0
511.05/511.29	c  511s |      20 |   778956 |   680627 |     6638    180 |        0 |        0
513.15/513.35	c  513s |      20 |   783108 |   684127 |     6638    180 |        0 |        0
515.15/515.38	c  515s |      20 |   787091 |   687627 |     6638    181 |        0 |        0
517.25/517.43	c  517s |      20 |   790919 |   690927 |     6638    182 |        0 |        0
519.25/519.44	c  519s |      20 |   794814 |   694227 |     6638    182 |        0 |        0
521.25/521.48	c  521s |      20 |   798514 |   697527 |     6638    183 |        0 |        0
523.24/523.48	c  523s |      20 |   802144 |   700627 |     6638    184 |        0 |        0
525.34/525.53	c  525s |      20 |   805964 |   704027 |     6638    185 |        0 |        0
527.34/527.55	c  527s |      20 |   809809 |   707527 |     6638    185 |        0 |        0
529.34/529.58	c  529s |      20 |   813847 |   710927 |     6638    186 |        0 |        0
531.34/531.58	c  531s |      20 |   818167 |   714427 |     6638    187 |        0 |        0
533.44/533.63	c  533s |      20 |   822366 |   717827 |     6638    188 |        0 |        0
535.43/535.64	c  535s |      20 |   826088 |   720827 |     6638    188 |        0 |        0
537.43/537.67	c  537s |      20 |   829939 |   724027 |     6638    189 |        0 |        0
539.43/539.68	c  539s |      20 |   833601 |   727027 |     6638    190 |        0 |        0
541.53/541.72	c  541s |      20 |   837492 |   730527 |     6638    190 |        0 |        0
543.53/543.75	c  543s |      20 |   841389 |   734027 |     6638    191 |        0 |        0
545.63/545.80	c  545s |      20 |   844748 |   737027 |     6638    192 |        0 |        0
547.63/547.85	c  547s |      20 |   848612 |   740527 |     6638    192 |        0 |        0
549.72/549.90	c  549s |      20 |   852308 |   743927 |     6638    193 |        0 |        0
551.72/551.96	c  551s |      20 |   855441 |   746727 |     6638    194 |        0 |        0
553.72/553.98	c  553s |      20 |   858798 |   749827 |     6638    194 |        0 |        0
555.82/556.01	c  555s |      20 |   862183 |   752827 |     6638    195 |        0 |        0
557.82/558.03	c  557s |      20 |   866429 |   756327 |     6638    196 |        0 |        0
559.83/560.05	c  559s |      20 |   870434 |   759627 |     6638    197 |        0 |        0
561.82/562.09	c  561s |      20 |   874542 |   763027 |     6638    197 |        0 |        0
563.92/564.11	c  563s |      20 |   879098 |   766727 |     6638    198 |        0 |        0
565.92/566.15	c  566s |      20 |   883581 |   770427 |     6638    199 |        0 |        0
567.91/568.15	c  568s |      20 |   888028 |   774027 |     6638    200 |        0 |        0
570.01/570.20	c  570s |      20 |   892142 |   777427 |     6638    200 |        0 |        0
572.01/572.23	c  572s |      20 |   896435 |   780927 |     6638    201 |        0 |        0
574.02/574.27	c  574s |      20 |   900588 |   784227 |     6638    202 |        0 |        0
576.11/576.33	c  576s |      20 |   904641 |   787427 |     6638    203 |        0 |        0
578.11/578.35	c  578s |      20 |   908765 |   790727 |     6638    203 |        0 |        0
580.11/580.38	c  580s |      20 |   912481 |   793727 |     6638    204 |        0 |        0
582.21/582.42	c  582s |      20 |   916327 |   796927 |     6638    205 |        0 |        0
584.21/584.44	c  584s |      20 |   920408 |   800227 |     6638    205 |        0 |        0
586.21/586.49	c  586s |      20 |   924428 |   803427 |     6638    206 |        0 |        0
588.31/588.52	c  588s |      20 |   928226 |   806427 |     6638    207 |        0 |        0
590.30/590.54	c  590s |      20 |   932136 |   809527 |     6638    207 |        0 |        0
592.40/592.60	c  592s |      20 |   936059 |   812727 |     6638    208 |        0 |        0
594.41/594.65	c  594s |      20 |   939744 |   815727 |     6638    209 |        0 |        0
596.41/596.68	c  596s |      20 |   943650 |   818927 |     6638    209 |        0 |        0
598.41/598.69	c  598s |      20 |   947078 |   821827 |     6638    210 |        0 |        0
600.51/600.72	c  600s |      20 |   950329 |   824527 |     6638    211 |        0 |        0
602.50/602.72	c  602s |      20 |   954611 |   828027 |     6638    211 |        0 |        0
604.59/604.89	c  604s |      20 |   958855 |   831527 |     6638    212 |        0 |        0
606.59/606.89	c  606s |      20 |   963085 |   835027 |     6638    213 |        0 |        0
608.69/608.95	c  608s |      20 |   967021 |   838327 |     6638    214 |        0 |        0
610.70/610.96	c  610s |      20 |   970661 |   841327 |     6638    214 |        0 |        0
612.69/612.99	c  612s |      20 |   974444 |   844427 |     6638    215 |        0 |        0
614.80/615.03	c  614s |      20 |   978554 |   847727 |     6638    216 |        0 |        0
616.79/617.04	c  616s |      20 |   982512 |   850927 |     6638    216 |        0 |        0
618.79/619.05	c  618s |      20 |   986176 |   853827 |     6638    217 |        0 |        0
620.79/621.08	c  620s |      20 |   989787 |   856727 |     6638    218 |        0 |        0
622.88/623.13	c  623s |      20 |   993688 |   859927 |     6638    218 |        0 |        0
624.88/625.19	c  625s |      20 |   997415 |   862927 |     6638    219 |        0 |        0
626.98/627.22	c  627s |      20 |  1000703 |   865627 |     6638    220 |        0 |        0
628.99/629.24	c  629s |      20 |  1004283 |   868727 |     6638    220 |        0 |        0
631.08/631.32	c  631s |      20 |  1007694 |   871627 |     6638    221 |        0 |        0
633.08/633.39	c  633s |      20 |  1011377 |   874827 |     6638    222 |        0 |        0
635.08/635.39	c  635s |      20 |  1014670 |   877727 |     6638    222 |        0 |        0
637.18/637.45	c  637s |      20 |  1018180 |   880627 |     6638    223 |        0 |        0
639.17/639.45	c  639s |      20 |  1021705 |   883527 |     6638    223 |        0 |        0
641.18/641.48	c  641s |      20 |  1024982 |   886227 |     6638    224 |        0 |        0
643.17/643.48	c  643s |      20 |  1027934 |   888727 |     6638    225 |        0 |        0
645.27/645.53	c  645s |      20 |  1031352 |   891727 |     6638    225 |        0 |        0
647.27/647.56	c  647s |      20 |  1034437 |   894527 |     6638    226 |        0 |        0
649.37/649.61	c  649s |      20 |  1037526 |   897327 |     6638    226 |        0 |        0
651.38/651.67	c  651s |      20 |  1040976 |   900327 |     6638    227 |        0 |        0
653.48/653.72	c  653s |      20 |  1044235 |   903027 |     6638    228 |        0 |        0
655.49/655.73	c  655s |      20 |  1047427 |   905927 |     6638    228 |        0 |        0
657.48/657.77	c  657s |      20 |  1050887 |   909027 |     6638    229 |        0 |        0
659.48/659.79	c  659s |      20 |  1054139 |   911927 |     6638    230 |        0 |        0
661.48/661.80	c  661s |      20 |  1057698 |   915027 |     6638    230 |        0 |        0
663.57/663.83	c  663s |      20 |  1061493 |   918127 |     6638    231 |        0 |        0
665.57/665.84	c  665s |      20 |  1065313 |   921227 |     6638    232 |        0 |        0
667.58/667.87	c  667s |      20 |  1068956 |   924327 |     6638    232 |        0 |        0
669.68/669.91	c  669s |      20 |  1071903 |   927027 |     6638    233 |        0 |        0
671.67/671.94	c  671s |      20 |  1075301 |   929927 |     6638    233 |        0 |        0
673.67/673.96	c  673s |      20 |  1078524 |   932727 |     6638    234 |        0 |        0
675.67/675.99	c  675s |      20 |  1081237 |   935227 |     6638    235 |        0 |        0
677.77/678.02	c  677s |      20 |  1084488 |   938027 |     6638    235 |        0 |        0
679.77/680.04	c  679s |      20 |  1087874 |   940927 |     6638    236 |        0 |        0
681.77/682.05	c  681s |      20 |  1091253 |   943727 |     6638    236 |        0 |        0
683.76/684.07	c  683s |      20 |  1093830 |   946027 |     6638    237 |        0 |        0
685.86/686.13	c  686s |      20 |  1097519 |   949327 |     6638    238 |        0 |        0
687.86/688.16	c  688s |      20 |  1101313 |   952727 |     6638    238 |        0 |        0
689.86/690.18	c  690s |      20 |  1104566 |   955727 |     6638    239 |        0 |        0
691.96/692.23	c  692s |      20 |  1107774 |   958627 |     6638    240 |        0 |        0
693.96/694.26	c  694s |      20 |  1111057 |   961627 |     6638    240 |        0 |        0
695.96/696.30	c  696s |      20 |  1114445 |   964627 |     6638    241 |        0 |        0
698.06/698.36	c  698s |      20 |  1117520 |   967427 |     6638    242 |        0 |        0
700.06/700.38	c  700s |      20 |  1120732 |   970327 |     6638    242 |        0 |        0
702.15/702.40	c  702s |      20 |  1123872 |   973127 |     6638    243 |        0 |        0
704.15/704.41	c  704s |      20 |  1127125 |   976027 |     6638    243 |        0 |        0
706.15/706.47	c  706s |      20 |  1130246 |   978827 |     6638    244 |        0 |        0
708.15/708.47	c  708s |      20 |  1133015 |   981327 |     6638    245 |        0 |        0
710.25/710.52	c  710s |      20 |  1137129 |   984827 |     6638    245 |        0 |        0
712.24/712.55	c  712s |      20 |  1141733 |   988627 |     6638    246 |        0 |        0
714.24/714.58	c  714s |      20 |  1146135 |   992327 |     6638    247 |        0 |        0
716.35/716.63	c  716s |      20 |  1149616 |   995427 |     7302    247 |        0 |        0
718.34/718.69	c  718s |      20 |  1153251 |   998727 |     7302    248 |        0 |        0
719.64/719.99	c  719s |      21 |  1155031 |  1000345 |     7302    248 |        0 |        0
721.74/722.01	c  721s |      21 |  1158729 |  1003645 |     7302    249 |        0 |        0
723.74/724.02	c  723s |      21 |  1162556 |  1007045 |     7302    250 |        0 |        0
725.84/726.14	c  726s |      21 |  1166742 |  1010545 |     7302    251 |        0 |        0
727.84/728.19	c  728s |      21 |  1170782 |  1014245 |     7302    251 |        0 |        0
729.94/730.24	c  730s |      21 |  1174690 |  1017845 |     7302    252 |        0 |        0
731.93/732.28	c  732s |      21 |  1178322 |  1021145 |     7302    253 |        0 |        0
733.92/734.28	c  734s |      21 |  1181863 |  1024345 |     7302    253 |        0 |        0
736.02/736.31	c  736s |      21 |  1185627 |  1027745 |     7302    254 |        0 |        0
738.02/738.35	c  738s |      21 |  1189298 |  1030945 |     7302    255 |        0 |        0
740.04/740.38	c  740s |      21 |  1193405 |  1034545 |     7302    255 |        0 |        0
742.13/742.43	c  742s |      21 |  1197540 |  1038045 |     7302    256 |        0 |        0
744.12/744.46	c  744s |      21 |  1201126 |  1041345 |     7302    257 |        0 |        0
746.12/746.47	c  746s |      21 |  1204571 |  1044545 |     7302    257 |        0 |        0
748.22/748.50	c  748s |      21 |  1208339 |  1048045 |     7302    258 |        0 |        0
750.22/750.51	c  750s |      21 |  1212039 |  1051445 |     7302    259 |        0 |        0
752.23/752.56	c  752s |      21 |  1215858 |  1054945 |     7302    259 |        0 |        0
754.22/754.58	c  754s |      21 |  1219480 |  1058245 |     7302    260 |        0 |        0
756.32/756.62	c  756s |      21 |  1223106 |  1061545 |     7302    261 |        0 |        0
758.31/758.64	c  758s |      21 |  1226802 |  1064645 |     7302    261 |        0 |        0
760.32/760.68	c  760s |      21 |  1230750 |  1067945 |     7302    262 |        0 |        0
762.41/762.71	c  762s |      21 |  1235310 |  1071745 |     7302    263 |        0 |        0
764.41/764.78	c  764s |      21 |  1239191 |  1075045 |     7302    264 |        0 |        0
766.42/766.80	c  766s |      21 |  1243272 |  1078645 |     7302    264 |        0 |        0
768.51/768.81	c  768s |      21 |  1246930 |  1081945 |     7302    265 |        0 |        0
770.51/770.86	c  770s |      21 |  1250953 |  1085245 |     7302    266 |        0 |        0
772.61/772.91	c  772s |      21 |  1255380 |  1088945 |     7302    266 |        0 |        0
774.60/774.96	c  774s |      21 |  1259108 |  1092145 |     7302    267 |        0 |        0
776.70/777.00	c  776s |      21 |  1262516 |  1094945 |     7302    268 |        0 |        0
778.71/779.05	c  778s |      21 |  1266490 |  1098245 |     7302    268 |        0 |        0
780.72/781.09	c  780s |      21 |  1270139 |  1101445 |     7302    269 |        0 |        0
782.81/783.14	c  783s |      21 |  1273746 |  1104545 |     7302    269 |        0 |        0
784.81/785.14	c  785s |      21 |  1277791 |  1107845 |     7302    270 |        0 |        0
786.81/787.17	c  787s |      21 |  1281408 |  1110945 |     7302    271 |        0 |        0
788.80/789.19	c  789s |      21 |  1284895 |  1113945 |     7302    271 |        0 |        0
790.90/791.21	c  791s |      21 |  1288048 |  1116645 |     7302    272 |        0 |        0
792.91/793.21	c  793s |      21 |  1291438 |  1119445 |     7302    272 |        0 |        0
794.90/795.24	c  795s |      21 |  1294828 |  1122145 |     7302    273 |        0 |        0
796.90/797.28	c  797s |      21 |  1297890 |  1124645 |     7302    274 |        0 |        0
798.89/799.29	c  799s |      21 |  1300653 |  1127045 |     7302    274 |        0 |        0
800.99/801.35	c  801s |      21 |  1303272 |  1129145 |     7302    274 |        0 |        0
802.99/803.37	c  803s |      21 |  1305305 |  1130845 |     7302    275 |        0 |        0
805.09/805.47	c  805s |      21 |  1307812 |  1133045 |     7302    275 |        0 |        0
807.20/807.53	c  807s |      21 |  1310108 |  1134945 |     7302    276 |        0 |        0
809.19/809.60	c  809s |      21 |  1312892 |  1137145 |     7302    276 |        0 |        0
811.29/811.62	c  811s |      21 |  1315114 |  1139145 |     7302    276 |        0 |        0
813.29/813.67	c  813s |      21 |  1317260 |  1141045 |     7302    277 |        0 |        0
815.39/815.73	c  815s |      21 |  1319845 |  1143345 |     7302    277 |        0 |        0
817.39/817.76	c  817s |      21 |  1322965 |  1145945 |     7302    278 |        0 |        0
819.38/819.78	c  819s |      21 |  1325716 |  1148245 |     7302    278 |        0 |        0
821.50/821.81	c  821s |      21 |  1329371 |  1151145 |     7302    279 |        0 |        0
823.59/823.95	c  823s |      21 |  1332443 |  1153745 |     7302    279 |        0 |        0
825.58/825.99	c  825s |      21 |  1335324 |  1156245 |     7302    280 |        0 |        0
827.68/828.02	c  827s |      21 |  1338431 |  1158845 |     7302    280 |        0 |        0
829.68/830.06	c  829s |      21 |  1341591 |  1161345 |     7302    281 |        0 |        0
831.78/832.13	c  832s |      21 |  1344378 |  1163445 |     7302    281 |        0 |        0
833.78/834.18	c  834s |      21 |  1347121 |  1165645 |     7302    282 |        0 |        0
835.88/836.25	c  836s |      21 |  1350209 |  1168245 |     7302    282 |        0 |        0
837.99/838.31	c  838s |      21 |  1353415 |  1170845 |     7302    283 |        0 |        0
839.98/840.32	c  840s |      21 |  1356305 |  1173445 |     7302    283 |        0 |        0
841.98/842.35	c  842s |      21 |  1359134 |  1176045 |     7302    284 |        0 |        0
844.07/844.44	c  844s |      21 |  1361959 |  1178445 |     7302    284 |        0 |        0
846.07/846.45	c  846s |      21 |  1365093 |  1181045 |     7302    285 |        0 |        0
848.08/848.49	c  848s |      21 |  1368294 |  1183845 |     7302    285 |        0 |        0
850.17/850.55	c  850s |      21 |  1371837 |  1186845 |     7302    286 |        0 |        0
852.18/852.55	c  852s |      21 |  1375146 |  1189645 |     7302    287 |        0 |        0
854.27/854.62	c  854s |      21 |  1378184 |  1192245 |     7302    287 |        0 |        0
856.27/856.64	c  856s |      21 |  1381186 |  1194745 |     7302    288 |        0 |        0
858.27/858.68	c  858s |      21 |  1385763 |  1197745 |     7302    288 |        0 |        0
860.27/860.68	c  860s |      21 |  1388885 |  1200345 |     7302    289 |        0 |        0
862.37/862.71	c  862s |      21 |  1391852 |  1202845 |     7302    289 |        0 |        0
864.37/864.71	c  864s |      21 |  1394670 |  1205245 |     7302    290 |        0 |        0
866.36/866.76	c  866s |      21 |  1397377 |  1207545 |     7302    290 |        0 |        0
868.46/868.83	c  868s |      21 |  1399788 |  1209645 |     7302    291 |        0 |        0
870.56/870.91	c  870s |      21 |  1402807 |  1212045 |     7302    291 |        0 |        0
872.56/872.94	c  872s |      21 |  1405781 |  1214445 |     7302    292 |        0 |        0
874.56/874.96	c  874s |      21 |  1409029 |  1217145 |     7302    292 |        0 |        0
876.66/877.03	c  876s |      21 |  1411736 |  1219445 |     7302    293 |        0 |        0
878.66/879.07	c  878s |      21 |  1414837 |  1221845 |     7302    293 |        0 |        0
880.76/881.12	c  881s |      21 |  1418031 |  1224445 |     7302    294 |        0 |        0
882.86/883.21	c  883s |      21 |  1421128 |  1226845 |     7302    294 |        0 |        0
884.96/885.33	c  885s |      21 |  1423961 |  1229445 |     7302    295 |        0 |        0
886.96/887.34	c  887s |      21 |  1427138 |  1232045 |     7302    295 |        0 |        0
888.95/889.37	c  889s |      21 |  1430776 |  1235045 |     7302    296 |        0 |        0
890.95/891.39	c  891s |      21 |  1433705 |  1237445 |     7302    296 |        0 |        0
893.05/893.41	c  893s |      21 |  1436575 |  1239945 |     7302    297 |        0 |        0
895.06/895.47	c  895s |      21 |  1439445 |  1242445 |     7302    297 |        0 |        0
897.15/897.51	c  897s |      21 |  1442283 |  1244845 |     7302    298 |        0 |        0
899.15/899.54	c  899s |      21 |  1445491 |  1247545 |     7302    298 |        0 |        0
901.15/901.58	c  901s |      21 |  1448337 |  1249845 |     7302    299 |        0 |        0
903.25/903.62	c  903s |      21 |  1451020 |  1251945 |     7302    299 |        0 |        0
905.25/905.68	c  905s |      21 |  1453708 |  1254045 |     7302    300 |        0 |        0
907.35/907.73	c  907s |      21 |  1456690 |  1256645 |     7302    300 |        0 |        0
909.36/909.73	c  909s |      21 |  1459181 |  1258545 |     7302    301 |        0 |        0
911.35/911.75	c  911s |      21 |  1461469 |  1260445 |     7302    301 |        0 |        0
913.35/913.78	c  913s |      21 |  1464142 |  1262645 |     7302    301 |        0 |        0
915.45/915.83	c  915s |      21 |  1466863 |  1264745 |     7302    302 |        0 |        0
917.45/917.85	c  917s |      21 |  1469964 |  1267345 |     7302    302 |        0 |        0
919.44/919.86	c  919s |      21 |  1472974 |  1269745 |     7302    303 |        0 |        0
921.45/921.87	c  921s |      21 |  1476087 |  1272345 |     7302    303 |        0 |        0
923.45/923.88	c  923s |      21 |  1478755 |  1274545 |     7302    304 |        0 |        0
925.55/925.90	c  925s |      21 |  1481988 |  1277245 |     7302    304 |        0 |        0
927.55/927.92	c  927s |      21 |  1484908 |  1279645 |     7302    305 |        0 |        0
929.55/929.96	c  929s |      21 |  1487858 |  1281745 |     7302    305 |        0 |        0
931.65/932.01	c  931s |      21 |  1489761 |  1283245 |     7302    306 |        0 |        0
933.65/934.01	c  933s |      21 |  1492269 |  1285345 |     7302    306 |        0 |        0
935.65/936.02	c  935s |      21 |  1494651 |  1287445 |     7302    307 |        0 |        0
937.65/938.08	c  937s |      21 |  1497611 |  1289945 |     7302    307 |        0 |        0
939.75/940.14	c  940s |      21 |  1500193 |  1292245 |     7302    307 |        0 |        0
941.74/942.17	c  942s |      21 |  1503453 |  1294845 |     7302    308 |        0 |        0
943.74/944.17	c  944s |      21 |  1506850 |  1297545 |     7302    309 |        0 |        0
945.84/946.21	c  946s |      21 |  1510534 |  1300445 |     7302    309 |        0 |        0
947.85/948.27	c  948s |      21 |  1514131 |  1303445 |     7302    310 |        0 |        0
949.94/950.33	c  950s |      21 |  1516515 |  1305545 |     7302    310 |        0 |        0
952.04/952.42	c  952s |      21 |  1518532 |  1307445 |     7302    311 |        0 |        0
954.04/954.48	c  954s |      21 |  1520903 |  1309445 |     7302    311 |        0 |        0
956.14/956.53	c  956s |      21 |  1523007 |  1311345 |     7302    311 |        0 |        0
958.14/958.55	c  958s |      21 |  1525535 |  1313445 |     7302    312 |        0 |        0
960.14/960.59	c  960s |      21 |  1528704 |  1316045 |     7302    312 |        0 |        0
962.15/962.60	c  962s |      21 |  1532161 |  1318845 |     7302    313 |        0 |        0
964.24/964.68	c  964s |      21 |  1535108 |  1321445 |     7302    313 |        0 |        0
966.24/966.69	c  966s |      21 |  1537919 |  1323945 |     7302    314 |        0 |        0
968.34/968.71	c  968s |      21 |  1540928 |  1326345 |     7302    314 |        0 |        0
970.34/970.79	c  970s |      21 |  1544221 |  1328945 |     7302    315 |        0 |        0
972.44/972.83	c  972s |      21 |  1546992 |  1331145 |     7302    315 |        0 |        0
974.54/974.92	c  974s |      21 |  1550096 |  1333645 |     7302    316 |        0 |        0
976.54/976.97	c  976s |      21 |  1552896 |  1336045 |     7302    316 |        0 |        0
978.64/979.04	c  978s |      21 |  1555802 |  1338545 |     7302    317 |        0 |        0
980.64/981.05	c  980s |      21 |  1558699 |  1341045 |     7302    317 |        0 |        0
982.64/983.06	c  982s |      21 |  1561497 |  1343445 |     7302    318 |        0 |        0
984.64/985.06	c  984s |      21 |  1564695 |  1346045 |     7302    318 |        0 |        0
986.64/987.07	c  986s |      21 |  1567842 |  1348545 |     7302    319 |        0 |        0
988.64/989.09	c  988s |      21 |  1571283 |  1351145 |     7302    319 |        0 |        0
990.74/991.12	c  991s |      21 |  1574446 |  1353645 |     7302    320 |        0 |        0
992.73/993.17	c  993s |      21 |  1577695 |  1356345 |     7302    320 |        0 |        0
994.73/995.18	c  995s |      21 |  1580967 |  1359045 |     7302    321 |        0 |        0
996.73/997.18	c  997s |      21 |  1584203 |  1361745 |     7302    322 |        0 |        0
998.83/999.24	c  999s |      21 |  1587505 |  1364545 |     7302    322 |        0 |        0
1000.94/1001.31	c 1001s |      21 |  1590457 |  1366945 |     7302    323 |        0 |        0
1002.95/1003.33	c 1003s |      21 |  1593446 |  1369445 |     7302    323 |        0 |        0
1004.94/1005.33	c 1005s |      21 |  1596650 |  1372045 |     7302    324 |        0 |        0
1006.94/1007.34	c 1007s |      21 |  1599607 |  1374545 |     7302    324 |        0 |        0
1008.93/1009.35	c 1009s |      21 |  1602383 |  1376945 |     7302    325 |        0 |        0
1011.03/1011.41	c 1011s |      21 |  1605551 |  1379745 |     7302    325 |        0 |        0
1013.13/1013.54	c 1013s |      21 |  1609245 |  1382745 |     7302    326 |        0 |        0
1015.14/1015.57	c 1015s |      21 |  1612803 |  1385645 |     7302    326 |        0 |        0
1017.14/1017.59	c 1017s |      21 |  1616294 |  1388445 |     7302    327 |        0 |        0
1019.24/1019.60	c 1019s |      21 |  1619545 |  1391045 |     7302    328 |        0 |        0
1021.23/1021.62	c 1021s |      21 |  1622811 |  1393845 |     7302    328 |        0 |        0
1023.23/1023.70	c 1023s |      21 |  1625918 |  1396345 |     7302    329 |        0 |        0
1025.33/1025.77	c 1025s |      21 |  1628862 |  1398845 |     7302    329 |        0 |        0
1027.43/1027.86	c 1027s |      21 |  1632163 |  1401545 |     7302    330 |        0 |        0
1029.53/1029.93	c 1029s |      21 |  1635117 |  1404145 |     7302    330 |        0 |        0
1031.53/1031.99	c 1031s |      21 |  1639117 |  1407045 |     7302    331 |        0 |        0
1033.63/1034.03	c 1033s |      21 |  1641941 |  1409545 |     7302    331 |        0 |        0
1035.63/1036.07	c 1035s |      21 |  1644587 |  1411945 |     7302    332 |        0 |        0
1037.73/1038.10	c 1037s |      21 |  1647277 |  1414345 |     7302    332 |        0 |        0
1039.73/1040.18	c 1040s |      21 |  1650113 |  1416845 |     7302    333 |        0 |        0
1041.83/1042.23	c 1042s |      21 |  1652650 |  1419045 |     7302    333 |        0 |        0
1043.93/1044.31	c 1044s |      21 |  1655680 |  1421745 |     7302    334 |        0 |        0
1045.93/1046.39	c 1046s |      21 |  1658358 |  1424045 |     7302    334 |        0 |        0
1048.04/1048.48	c 1048s |      21 |  1660905 |  1426245 |     7302    335 |        0 |        0
1050.14/1050.56	c 1050s |      21 |  1663556 |  1428645 |     7302    335 |        0 |        0
1052.23/1052.60	c 1052s |      21 |  1666341 |  1431045 |     7302    336 |        0 |        0
1054.23/1054.61	c 1054s |      21 |  1668945 |  1433345 |     7302    336 |        0 |        0
1056.23/1056.66	c 1056s |      21 |  1671693 |  1435645 |     7302    337 |        0 |        0
1058.32/1058.73	c 1058s |      21 |  1674804 |  1437945 |     7302    337 |        0 |        0
1060.52/1060.95	c 1060s |      21 |  1677280 |  1439945 |     7302    338 |        0 |        0
1062.53/1062.96	c 1062s |      21 |  1679769 |  1441945 |     7302    338 |        0 |        0
1064.63/1065.02	c 1064s |      21 |  1682485 |  1444145 |     7302    338 |        0 |        0
1066.63/1067.07	c 1066s |      21 |  1685021 |  1446145 |     7302    339 |        0 |        0
1068.62/1069.09	c 1068s |      21 |  1687788 |  1448345 |     7302    339 |        0 |        0
1070.72/1071.16	c 1071s |      21 |  1690094 |  1450345 |     7302    340 |        0 |        0
1072.83/1073.22	c 1073s |      21 |  1693184 |  1452945 |     7302    340 |        0 |        0
1074.83/1075.29	c 1075s |      21 |  1695515 |  1454945 |     7302    341 |        0 |        0
1076.92/1077.36	c 1077s |      21 |  1698859 |  1457745 |     7302    341 |        0 |        0
1079.02/1079.40	c 1079s |      21 |  1701674 |  1460045 |     7302    342 |        0 |        0
1081.03/1081.45	c 1081s |      21 |  1704973 |  1462745 |     7302    342 |        0 |        0
1083.03/1083.46	c 1083s |      21 |  1707716 |  1465145 |     7302    343 |        0 |        0
1085.13/1085.52	c 1085s |      21 |  1711199 |  1467945 |     7302    343 |        0 |        0
1087.12/1087.53	c 1087s |      21 |  1714617 |  1470745 |     7302    344 |        0 |        0
1089.12/1089.58	c 1089s |      21 |  1718268 |  1473745 |     7302    344 |        0 |        0
1091.22/1091.62	c 1091s |      21 |  1721713 |  1476545 |     7302    345 |        0 |        0
1093.23/1093.64	c 1093s |      21 |  1725096 |  1479245 |     7302    346 |        0 |        0
1095.23/1095.65	c 1095s |      21 |  1728516 |  1482045 |     7302    346 |        0 |        0
1097.22/1097.65	c 1097s |      21 |  1731734 |  1484645 |     7302    347 |        0 |        0
1099.32/1099.71	c 1099s |      21 |  1735333 |  1487445 |     7302    347 |        0 |        0
1101.32/1101.79	c 1101s |      21 |  1738845 |  1490245 |     8033    348 |        0 |        0
1103.42/1103.82	c 1103s |      21 |  1742185 |  1492845 |     8033    348 |        0 |        0
1105.42/1105.87	c 1105s |      21 |  1745284 |  1495345 |     8033    349 |        0 |        0
1107.52/1107.94	c 1107s |      21 |  1748588 |  1497945 |     8033    349 |        0 |        0
1109.53/1109.97	c 1109s |      21 |  1751709 |  1500545 |     8033    350 |        0 |        0
1109.63/1110.03	c 1109s |      22 |  1751791 |  1500622 |     8033    350 |        0 |        0
1111.62/1112.05	c 1111s |      22 |  1755059 |  1503222 |     8033    350 |        0 |        0
1113.72/1114.15	c 1114s |      22 |  1757898 |  1505622 |     8033    351 |        0 |        0
1115.72/1116.18	c 1116s |      22 |  1760508 |  1507922 |     8033    351 |        0 |        0
1117.91/1118.30	c 1118s |      22 |  1763904 |  1510622 |     8033    352 |        0 |        0
1119.92/1120.31	c 1120s |      22 |  1767232 |  1513322 |     8033    352 |        0 |        0
1121.92/1122.38	c 1122s |      22 |  1770176 |  1515722 |     8033    352 |        0 |        0
1124.02/1124.45	c 1124s |      22 |  1772594 |  1517822 |     8033    353 |        0 |        0
1126.12/1126.52	c 1126s |      22 |  1775272 |  1520222 |     8033    353 |        0 |        0
1128.11/1128.58	c 1128s |      22 |  1777860 |  1522322 |     8033    354 |        0 |        0
1130.22/1130.62	c 1130s |      22 |  1780781 |  1524722 |     8033    354 |        0 |        0
1132.32/1132.70	c 1132s |      22 |  1783239 |  1526822 |     8033    355 |        0 |        0
1134.32/1134.70	c 1134s |      22 |  1786860 |  1529922 |     8033    355 |        0 |        0
1136.32/1136.74	c 1136s |      22 |  1790685 |  1533122 |     8033    356 |        0 |        0
1138.42/1138.80	c 1138s |      22 |  1794547 |  1536322 |     8033    356 |        0 |        0
1140.42/1140.82	c 1140s |      22 |  1798318 |  1539422 |     8033    357 |        0 |        0
1142.52/1142.91	c 1142s |      22 |  1802180 |  1542422 |     8033    358 |        0 |        0
1144.51/1144.98	c 1144s |      22 |  1806082 |  1545322 |     8033    358 |        0 |        0
1146.61/1147.01	c 1146s |      22 |  1809421 |  1548022 |     8033    359 |        0 |        0
1148.62/1149.02	c 1148s |      22 |  1812704 |  1550722 |     8033    359 |        0 |        0
1150.62/1151.07	c 1150s |      22 |  1815742 |  1553322 |     8033    360 |        0 |        0
1152.72/1153.10	c 1152s |      22 |  1818771 |  1555922 |     8033    360 |        0 |        0
1154.72/1155.14	c 1155s |      22 |  1821169 |  1558022 |     8033    360 |        0 |        0
1156.71/1157.15	c 1157s |      22 |  1823997 |  1560422 |     8033    361 |        0 |        0
1158.71/1159.16	c 1159s |      22 |  1826424 |  1562422 |     8033    361 |        0 |        0
1160.81/1161.20	c 1161s |      22 |  1829111 |  1564622 |     8033    362 |        0 |        0
1162.81/1163.25	c 1163s |      22 |  1832080 |  1567222 |     8033    362 |        0 |        0
1164.92/1165.31	c 1165s |      22 |  1834787 |  1569422 |     8033    363 |        0 |        0
1166.91/1167.32	c 1167s |      22 |  1837410 |  1571622 |     8033    363 |        0 |        0
1168.92/1169.36	c 1169s |      22 |  1839817 |  1573722 |     8033    363 |        0 |        0
1171.01/1171.40	c 1171s |      22 |  1842437 |  1575922 |     8033    364 |        0 |        0
1173.01/1173.45	c 1173s |      22 |  1845127 |  1578122 |     8033    364 |        0 |        0
1175.11/1175.52	c 1175s |      22 |  1847318 |  1580022 |     8033    365 |        0 |        0
1177.21/1177.60	c 1177s |      22 |  1849841 |  1582222 |     8033    365 |        0 |        0
1179.20/1179.63	c 1179s |      22 |  1851860 |  1583922 |     8033    365 |        0 |        0
1181.31/1181.72	c 1181s |      22 |  1854033 |  1585722 |     8033    366 |        0 |        0
1183.31/1183.79	c 1183s |      22 |  1856717 |  1588022 |     8033    366 |        0 |        0
1185.41/1185.83	c 1185s |      22 |  1859831 |  1590422 |     8033    367 |        0 |        0
1187.41/1187.89	c 1187s |      22 |  1863222 |  1593122 |     8033    367 |        0 |        0
1189.51/1189.91	c 1189s |      22 |  1866294 |  1595622 |     8033    368 |        0 |        0
1191.51/1191.93	c 1191s |      22 |  1869748 |  1598322 |     8033    368 |        0 |        0
1193.61/1194.01	c 1193s |      22 |  1872795 |  1600822 |     8033    369 |        0 |        0
1195.61/1196.07	c 1195s |      22 |  1876705 |  1603722 |     8033    369 |        0 |        0
1197.71/1198.12	c 1198s |      22 |  1879584 |  1606122 |     8033    370 |        0 |        0
1199.71/1200.19	c 1200s |      22 |  1882743 |  1608622 |     8033    370 |        0 |        0
1201.71/1202.19	c 1202s |      22 |  1885618 |  1610922 |     8033    370 |        0 |        0
1203.81/1204.25	c 1204s |      22 |  1888977 |  1613422 |     8033    371 |        0 |        0
1205.81/1206.27	c 1206s |      22 |  1891981 |  1615722 |     8033    371 |        0 |        0
1207.91/1208.32	c 1208s |      22 |  1895090 |  1618022 |     8033    372 |        0 |        0
1209.91/1210.38	c 1210s |      22 |  1898302 |  1620522 |     8033    372 |        0 |        0
1212.00/1212.42	c 1212s |      22 |  1901403 |  1622922 |     8033    373 |        0 |        0
1214.01/1214.45	c 1214s |      22 |  1904866 |  1625522 |     8033    373 |        0 |        0
1216.10/1216.51	c 1216s |      22 |  1908724 |  1628222 |     8033    374 |        0 |        0
1218.10/1218.59	c 1218s |      22 |  1911618 |  1630722 |     8033    374 |        0 |        0
1220.20/1220.64	c 1220s |      22 |  1914319 |  1632922 |     8033    375 |        0 |        0
1222.20/1222.65	c 1222s |      22 |  1917384 |  1635322 |     8033    375 |        0 |        0
1224.31/1224.71	c 1224s |      22 |  1920318 |  1637622 |     8033    375 |        0 |        0
1226.30/1226.79	c 1226s |      22 |  1922828 |  1639522 |     8033    376 |        0 |        0
1228.41/1228.82	c 1228s |      22 |  1925980 |  1641822 |     8033    376 |        0 |        0
1230.40/1230.82	c 1230s |      22 |  1928857 |  1644022 |     8033    377 |        0 |        0
1232.40/1232.84	c 1232s |      22 |  1931362 |  1646022 |     8033    377 |        0 |        0
1234.50/1234.98	c 1234s |      22 |  1934702 |  1648422 |     8033    378 |        0 |        0
1236.60/1237.02	c 1236s |      22 |  1937406 |  1650722 |     8033    378 |        0 |        0
1238.60/1239.02	c 1238s |      22 |  1939820 |  1652822 |     8033    378 |        0 |        0
1240.60/1241.04	c 1240s |      22 |  1942178 |  1654822 |     8033    379 |        0 |        0
1242.70/1243.13	c 1243s |      22 |  1944735 |  1656922 |     8033    379 |        0 |        0
1244.80/1245.21	c 1245s |      22 |  1946956 |  1658822 |     8033    379 |        0 |        0
1246.80/1247.26	c 1247s |      22 |  1949050 |  1660522 |     8033    380 |        0 |        0
1248.89/1249.39	c 1249s |      22 |  1951188 |  1662322 |     8033    380 |        0 |        0
1251.00/1251.40	c 1251s |      22 |  1953077 |  1663922 |     8033    380 |        0 |        0
1253.00/1253.47	c 1253s |      22 |  1955091 |  1665722 |     8033    381 |        0 |        0
1255.10/1255.52	c 1255s |      22 |  1958010 |  1668022 |     8033    381 |        0 |        0
1257.10/1257.54	c 1257s |      22 |  1960423 |  1670022 |     8033    382 |        0 |        0
1259.10/1259.55	c 1259s |      22 |  1962837 |  1671922 |     8033    382 |        0 |        0
1261.20/1261.61	c 1261s |      22 |  1965056 |  1673822 |     8033    382 |        0 |        0
1263.19/1263.67	c 1263s |      22 |  1967739 |  1676022 |     8033    383 |        0 |        0
1265.29/1265.73	c 1265s |      22 |  1970582 |  1678322 |     8033    383 |        0 |        0
1267.29/1267.79	c 1267s |      22 |  1973914 |  1680622 |     8033    384 |        0 |        0
1269.39/1269.89	c 1269s |      22 |  1976976 |  1682922 |     8033    384 |        0 |        0
1271.59/1272.06	c 1271s |      22 |  1979094 |  1684822 |     8033    384 |        0 |        0
1273.69/1274.11	c 1273s |      22 |  1981278 |  1686822 |     8033    385 |        0 |        0
1275.79/1276.22	c 1276s |      22 |  1983902 |  1689022 |     8033    385 |        0 |        0
1277.80/1278.22	c 1278s |      22 |  1985644 |  1690622 |     8033    385 |        0 |        0
1279.79/1280.26	c 1280s |      22 |  1988655 |  1692722 |     8033    386 |        0 |        0
1281.89/1282.37	c 1282s |      22 |  1990498 |  1694422 |     8033    386 |        0 |        0
1283.99/1284.47	c 1284s |      22 |  1992883 |  1696222 |     8033    387 |        0 |        0
1286.10/1286.54	c 1286s |      22 |  1995815 |  1698522 |     8033    387 |        0 |        0
1288.20/1288.61	c 1288s |      22 |  1997803 |  1700122 |     8033    387 |        0 |        0
1290.20/1290.69	c 1290s |      22 |  1999995 |  1701922 |     8033    388 |        0 |        0
1292.30/1292.79	c 1292s |      22 |  2002255 |  1703922 |     8033    388 |        0 |        0
1294.40/1294.82	c 1294s |      22 |  2004234 |  1705622 |     8033    388 |        0 |        0
1296.50/1296.91	c 1296s |      22 |  2006676 |  1707622 |     8033    389 |        0 |        0
1298.49/1298.97	c 1298s |      22 |  2009009 |  1709522 |     8033    389 |        0 |        0
1300.59/1301.03	c 1300s |      22 |  2011313 |  1711322 |     8033    389 |        0 |        0
1302.69/1303.11	c 1302s |      22 |  2013854 |  1713622 |     8033    390 |        0 |        0
1304.79/1305.20	c 1305s |      22 |  2016386 |  1715822 |     8033    390 |        0 |        0
1306.79/1307.20	c 1307s |      22 |  2018355 |  1717522 |     8033    391 |        0 |        0
1308.79/1309.29	c 1309s |      22 |  2020464 |  1719322 |     8033    391 |        0 |        0
1310.90/1311.37	c 1311s |      22 |  2023055 |  1721422 |     8033    391 |        0 |        0
1313.00/1313.41	c 1313s |      22 |  2025458 |  1723422 |     8033    392 |        0 |        0
1315.09/1315.50	c 1315s |      22 |  2028063 |  1725622 |     8033    392 |        0 |        0
1317.09/1317.54	c 1317s |      22 |  2030549 |  1727622 |     8033    392 |        0 |        0
1319.09/1319.56	c 1319s |      22 |  2032386 |  1729122 |     8033    393 |        0 |        0
1321.29/1321.70	c 1321s |      22 |  2034712 |  1730922 |     8033    393 |        0 |        0
1323.29/1323.79	c 1323s |      22 |  2037525 |  1733022 |     8033    393 |        0 |        0
1325.39/1325.86	c 1325s |      22 |  2039763 |  1734822 |     8033    394 |        0 |        0
1327.49/1327.93	c 1327s |      22 |  2042157 |  1736722 |     8033    394 |        0 |        0
1329.59/1330.02	c 1329s |      22 |  2044386 |  1738522 |     8033    395 |        0 |        0
1331.69/1332.13	c 1332s |      22 |  2047147 |  1740622 |     8033    395 |        0 |        0
1333.68/1334.17	c 1334s |      22 |  2049859 |  1742622 |     8033    395 |        0 |        0
1335.78/1336.29	c 1336s |      22 |  2052130 |  1744422 |     8033    396 |        0 |        0
1337.88/1338.35	c 1338s |      22 |  2054538 |  1746322 |     8033    396 |        0 |        0
1339.98/1340.42	c 1340s |      22 |  2056789 |  1748122 |     8033    396 |        0 |        0
1342.08/1342.53	c 1342s |      22 |  2059635 |  1750122 |     8033    397 |        0 |        0
1344.08/1344.53	c 1344s |      22 |  2061835 |  1751922 |     8033    397 |        0 |        0
1346.09/1346.57	c 1346s |      22 |  2064556 |  1753922 |     8033    397 |        0 |        0
1348.19/1348.66	c 1348s |      22 |  2066803 |  1755822 |     8033    398 |        0 |        0
1350.29/1350.72	c 1350s |      22 |  2069212 |  1757922 |     8033    398 |        0 |        0
1352.29/1352.77	c 1352s |      22 |  2071588 |  1759822 |     8033    399 |        0 |        0
1354.29/1354.80	c 1354s |      22 |  2074069 |  1761722 |     8033    399 |        0 |        0
1356.39/1356.89	c 1356s |      22 |  2076063 |  1763622 |     8033    399 |        0 |        0
1358.49/1358.93	c 1358s |      22 |  2078365 |  1765522 |     8033    400 |        0 |        0
1360.49/1360.99	c 1360s |      22 |  2080938 |  1767522 |     8033    400 |        0 |        0
1362.59/1363.01	c 1362s |      22 |  2083620 |  1769422 |     8033    400 |        0 |        0
1364.68/1365.12	c 1365s |      22 |  2086133 |  1771322 |     8033    401 |        0 |        0
1366.68/1367.19	c 1367s |      22 |  2088842 |  1773522 |     8033    401 |        0 |        0
1368.88/1369.32	c 1369s |      22 |  2091021 |  1775422 |     8033    402 |        0 |        0
1370.98/1371.42	c 1371s |      22 |  2093583 |  1777522 |     8033    402 |        0 |        0
1373.08/1373.51	c 1373s |      22 |  2096274 |  1779622 |     8033    402 |        0 |        0
1375.08/1375.56	c 1375s |      22 |  2098571 |  1781522 |     8033    403 |        0 |        0
1377.08/1377.60	c 1377s |      22 |  2101436 |  1783622 |     8033    403 |        0 |        0
1379.28/1379.70	c 1379s |      22 |  2104096 |  1785622 |     8033    403 |        0 |        0
1381.28/1381.78	c 1381s |      22 |  2106650 |  1787722 |     8033    404 |        0 |        0
1383.39/1383.89	c 1383s |      22 |  2108940 |  1789622 |     8033    404 |        0 |        0
1385.48/1385.97	c 1385s |      22 |  2111049 |  1791422 |     8033    405 |        0 |        0
1387.47/1387.99	c 1387s |      22 |  2113613 |  1793322 |     8033    405 |        0 |        0
1389.57/1390.01	c 1389s |      22 |  2116089 |  1795222 |     8033    405 |        0 |        0
1391.58/1392.09	c 1391s |      22 |  2118507 |  1797122 |     8033    406 |        0 |        0
1393.68/1394.12	c 1394s |      22 |  2120963 |  1799022 |     8033    406 |        0 |        0
1395.68/1396.14	c 1396s |      22 |  2123170 |  1800722 |     8033    406 |        0 |        0
1397.68/1398.14	c 1398s |      22 |  2124924 |  1802222 |     8033    407 |        0 |        0
1399.67/1400.14	c 1400s |      22 |  2127392 |  1804222 |     8033    407 |        0 |        0
1401.67/1402.19	c 1402s |      22 |  2129947 |  1806222 |     8033    407 |        0 |        0
1403.88/1404.30	c 1404s |      22 |  2132046 |  1807922 |     8033    408 |        0 |        0
1405.88/1406.30	c 1406s |      22 |  2134302 |  1809722 |     8033    408 |        0 |        0
1407.88/1408.38	c 1408s |      22 |  2136790 |  1811922 |     8033    408 |        0 |        0
1409.98/1410.45	c 1410s |      22 |  2139014 |  1814022 |     8033    409 |        0 |        0
1412.08/1412.51	c 1412s |      22 |  2141529 |  1816322 |     8033    409 |        0 |        0
1414.08/1414.57	c 1414s |      22 |  2143880 |  1818522 |     8033    410 |        0 |        0
1416.17/1416.67	c 1416s |      22 |  2147162 |  1820922 |     8033    410 |        0 |        0
1418.27/1418.72	c 1418s |      22 |  2149319 |  1822822 |     8033    410 |        0 |        0
1420.27/1420.76	c 1420s |      22 |  2151187 |  1824422 |     8033    411 |        0 |        0
1422.27/1422.77	c 1422s |      22 |  2153664 |  1826422 |     8033    411 |        0 |        0
1424.37/1424.82	c 1424s |      22 |  2156624 |  1828522 |     8033    412 |        0 |        0
1426.47/1426.91	c 1426s |      22 |  2159008 |  1830322 |     8033    412 |        0 |        0
1428.58/1429.00	c 1428s |      22 |  2161512 |  1832222 |     8033    412 |        0 |        0
1430.57/1431.09	c 1430s |      22 |  2163473 |  1833922 |     8033    413 |        0 |        0
1432.67/1433.10	c 1432s |      22 |  2165449 |  1835522 |     8033    413 |        0 |        0
1434.67/1435.11	c 1434s |      22 |  2167759 |  1837222 |     8033    413 |        0 |        0
1436.77/1437.25	c 1437s |      22 |  2169439 |  1838522 |     8033    413 |        0 |        0
1438.87/1439.34	c 1439s |      22 |  2172099 |  1840822 |     8033    414 |        0 |        0
1440.97/1441.41	c 1441s |      22 |  2174688 |  1843122 |     8033    414 |        0 |        0
1442.97/1443.48	c 1443s |      22 |  2177440 |  1845422 |     8033    415 |        0 |        0
1445.07/1445.59	c 1445s |      22 |  2179846 |  1847522 |     8033    415 |        0 |        0
1447.17/1447.62	c 1447s |      22 |  2182688 |  1849822 |     8033    416 |        0 |        0
1449.16/1449.68	c 1449s |      22 |  2186070 |  1852422 |     8033    416 |        0 |        0
1451.26/1451.76	c 1451s |      22 |  2188864 |  1854722 |     8033    417 |        0 |        0
1453.36/1453.83	c 1453s |      22 |  2191265 |  1856922 |     8033    417 |        0 |        0
1455.46/1455.94	c 1455s |      22 |  2193654 |  1859122 |     8033    417 |        0 |        0
1457.46/1457.96	c 1457s |      22 |  2195971 |  1861122 |     8033    418 |        0 |        0
1459.46/1459.96	c 1459s |      22 |  2199275 |  1863622 |     8033    418 |        0 |        0
1461.47/1461.98	c 1461s |      22 |  2202127 |  1865822 |     8033    419 |        0 |        0
1463.57/1464.03	c 1463s |      22 |  2204862 |  1868122 |     8033    419 |        0 |        0
1465.67/1466.10	c 1465s |      22 |  2207671 |  1870322 |     8033    419 |        0 |        0
1467.67/1468.13	c 1468s |      22 |  2210151 |  1872322 |     8033    420 |        0 |        0
1469.66/1470.16	c 1470s |      22 |  2212588 |  1874322 |     8033    420 |        0 |        0
1471.66/1472.18	c 1472s |      22 |  2214884 |  1876222 |     8033    421 |        0 |        0
1473.76/1474.25	c 1474s |      22 |  2217386 |  1878322 |     8033    421 |        0 |        0
1475.88/1476.30	c 1476s |      22 |  2220393 |  1880622 |     8033    421 |        0 |        0
1477.87/1478.32	c 1478s |      22 |  2222888 |  1882822 |     8033    422 |        0 |        0
1479.86/1480.36	c 1480s |      22 |  2226144 |  1885022 |     8033    422 |        0 |        0
1481.96/1482.41	c 1482s |      22 |  2228860 |  1887422 |     8033    423 |        0 |        0
1483.96/1484.45	c 1484s |      22 |  2232455 |  1890422 |     8033    423 |        0 |        0
1485.96/1486.49	c 1486s |      22 |  2235678 |  1893122 |     8033    424 |        0 |        0
1487.97/1488.49	c 1488s |      22 |  2238551 |  1895722 |     8033    424 |        0 |        0
1490.07/1490.51	c 1490s |      22 |  2241446 |  1898122 |     8033    425 |        0 |        0
1492.06/1492.58	c 1492s |      22 |  2245240 |  1901122 |     8033    425 |        0 |        0
1494.06/1494.58	c 1494s |      22 |  2248819 |  1903822 |     8033    426 |        0 |        0
1496.16/1496.62	c 1496s |      22 |  2252169 |  1906622 |     8033    426 |        0 |        0
1498.16/1498.63	c 1498s |      22 |  2255080 |  1908922 |     8033    427 |        0 |        0
1500.26/1500.70	c 1500s |      22 |  2258765 |  1911622 |     8033    427 |        0 |        0
1502.27/1502.73	c 1502s |      22 |  2261588 |  1913822 |     8033    428 |        0 |        0
1504.26/1504.75	c 1504s |      22 |  2264091 |  1915822 |     8033    428 |        0 |        0
1506.26/1506.77	c 1506s |      22 |  2267003 |  1918022 |     8033    428 |        0 |        0
1508.26/1508.78	c 1508s |      22 |  2270058 |  1920422 |     8033    429 |        0 |        0
1510.36/1510.85	c 1510s |      22 |  2273051 |  1922822 |     8033    429 |        0 |        0
1512.36/1512.86	c 1512s |      22 |  2275636 |  1924922 |     8033    430 |        0 |        0
1514.36/1514.86	c 1514s |      22 |  2278552 |  1927222 |     8033    430 |        0 |        0
1516.46/1516.91	c 1516s |      22 |  2281045 |  1929222 |     8033    431 |        0 |        0
1518.45/1518.92	c 1518s |      22 |  2284563 |  1931822 |     8033    431 |        0 |        0
1520.55/1521.07	c 1520s |      22 |  2287410 |  1934122 |     8033    432 |        0 |        0
1522.66/1523.11	c 1522s |      22 |  2289915 |  1936322 |     8033    432 |        0 |        0
1524.66/1525.18	c 1525s |      22 |  2292489 |  1938422 |     8033    432 |        0 |        0
1526.76/1527.23	c 1527s |      22 |  2295104 |  1940622 |     8033    433 |        0 |        0
1528.76/1529.27	c 1529s |      22 |  2297866 |  1942922 |     8033    433 |        0 |        0
1530.77/1531.30	c 1531s |      22 |  2300379 |  1944922 |     8033    434 |        0 |        0
1532.86/1533.38	c 1533s |      22 |  2303173 |  1947122 |     8033    434 |        0 |        0
1534.96/1535.43	c 1535s |      22 |  2305762 |  1949222 |     8033    434 |        0 |        0
1536.96/1537.49	c 1537s |      22 |  2308424 |  1951322 |     8033    435 |        0 |        0
1539.06/1539.53	c 1539s |      22 |  2310983 |  1953422 |     8033    435 |        0 |        0
1541.16/1541.61	c 1541s |      22 |  2313777 |  1955622 |     8033    436 |        0 |        0
1543.16/1543.68	c 1543s |      22 |  2316043 |  1957522 |     8033    436 |        0 |        0
1545.26/1545.78	c 1545s |      22 |  2318741 |  1959722 |     8033    436 |        0 |        0
1547.36/1547.85	c 1547s |      22 |  2321879 |  1962122 |     8033    437 |        0 |        0
1549.46/1549.94	c 1549s |      22 |  2324172 |  1964022 |     8033    437 |        0 |        0
1551.45/1551.99	c 1551s |      22 |  2325848 |  1965522 |     8033    437 |        0 |        0
1553.45/1553.99	c 1553s |      22 |  2327160 |  1966722 |     8033    438 |        0 |        0
1555.55/1556.02	c 1555s |      22 |  2329428 |  1968622 |     8033    438 |        0 |        0
1557.55/1558.03	c 1557s |      22 |  2331788 |  1970722 |     8033    438 |        0 |        0
1559.55/1560.06	c 1559s |      22 |  2333635 |  1972422 |     8033    439 |        0 |        0
1561.56/1562.10	c 1561s |      22 |  2335798 |  1974322 |     8033    439 |        0 |        0
1563.65/1564.16	c 1564s |      22 |  2337885 |  1976122 |     8033    439 |        0 |        0
1565.75/1566.21	c 1566s |      22 |  2341513 |  1978622 |     8033    440 |        0 |        0
1567.75/1568.28	c 1568s |      22 |  2344789 |  1981222 |     8033    440 |        0 |        0
1569.85/1570.36	c 1570s |      22 |  2348098 |  1983822 |     8033    441 |        0 |        0
1571.95/1572.45	c 1572s |      22 |  2350805 |  1986122 |     8033    441 |        0 |        0
1573.95/1574.48	c 1574s |      22 |  2353500 |  1988322 |     8033    442 |        0 |        0
1576.05/1576.54	c 1576s |      22 |  2356816 |  1990922 |     8033    442 |        0 |        0
1578.05/1578.59	c 1578s |      22 |  2359889 |  1993422 |     8033    443 |        0 |        0
1580.05/1580.60	c 1580s |      22 |  2363521 |  1996122 |     8033    443 |        0 |        0
1582.15/1582.64	c 1582s |      22 |  2366534 |  1998422 |     8033    444 |        0 |        0
1584.14/1584.65	c 1584s |      22 |  2369271 |  2000722 |     8033    444 |        0 |        0
1586.14/1586.69	c 1586s |      22 |  2371862 |  2002822 |     8033    445 |        0 |        0
1588.24/1588.71	c 1588s |      22 |  2374767 |  2005122 |     8033    445 |        0 |        0
1590.25/1590.73	c 1590s |      22 |  2377513 |  2007422 |     8033    445 |        0 |        0
1592.35/1592.81	c 1592s |      22 |  2380289 |  2009622 |     8033    446 |        0 |        0
1594.34/1594.87	c 1594s |      22 |  2383710 |  2012022 |     8033    446 |        0 |        0
1596.44/1596.93	c 1596s |      22 |  2387252 |  2014822 |     8033    447 |        0 |        0
1598.54/1599.00	c 1598s |      22 |  2390631 |  2017322 |     8033    447 |        0 |        0
1600.54/1601.07	c 1600s |      22 |  2393508 |  2019622 |     8033    448 |        0 |        0
1602.54/1603.08	c 1602s |      22 |  2396289 |  2022022 |     8033    448 |        0 |        0
1604.55/1605.09	c 1604s |      22 |  2399250 |  2024522 |     8033    449 |        0 |        0
1606.65/1607.12	c 1607s |      22 |  2402288 |  2027122 |     8033    449 |        0 |        0
1608.64/1609.16	c 1609s |      22 |  2404945 |  2029422 |     8033    450 |        0 |        0
1610.64/1611.17	c 1611s |      22 |  2407701 |  2031822 |     8033    450 |        0 |        0
1612.74/1613.27	c 1613s |      22 |  2410884 |  2034522 |     8033    451 |        0 |        0
1614.84/1615.31	c 1615s |      22 |  2414805 |  2037422 |     8033    451 |        0 |        0
1616.84/1617.33	c 1617s |      22 |  2417621 |  2039822 |     8033    452 |        0 |        0
1618.85/1619.37	c 1619s |      22 |  2420548 |  2042222 |     8033    452 |        0 |        0
1620.94/1621.43	c 1621s |      22 |  2423484 |  2044922 |     8033    452 |        0 |        0
1622.95/1623.48	c 1623s |      22 |  2426378 |  2047422 |     8033    453 |        0 |        0
1625.05/1625.54	c 1625s |      22 |  2429211 |  2049922 |     8033    453 |        0 |        0
1627.05/1627.57	c 1627s |      22 |  2432147 |  2052322 |     8033    454 |        0 |        0
1629.15/1629.65	c 1629s |      22 |  2434890 |  2054722 |     8033    454 |        0 |        0
1631.25/1631.70	c 1631s |      22 |  2437884 |  2057322 |     8033    455 |        0 |        0
1633.24/1633.73	c 1633s |      22 |  2440408 |  2059622 |     8033    455 |        0 |        0
1635.25/1635.80	c 1635s |      22 |  2443085 |  2061922 |     8033    456 |        0 |        0
1637.34/1637.83	c 1637s |      22 |  2445752 |  2064222 |     8033    456 |        0 |        0
1639.34/1639.87	c 1639s |      22 |  2447980 |  2066222 |     8033    457 |        0 |        0
1641.34/1641.88	c 1641s |      22 |  2451166 |  2068822 |     8033    457 |        0 |        0
1643.44/1643.94	c 1643s |      22 |  2453969 |  2071222 |     8033    457 |        0 |        0
1645.43/1645.94	c 1645s |      22 |  2457027 |  2073622 |     8033    458 |        0 |        0
1647.45/1647.95	c 1647s |      22 |  2459859 |  2075922 |     8033    458 |        0 |        0
1649.44/1650.00	c 1649s |      22 |  2462335 |  2078122 |     8033    459 |        0 |        0
1651.54/1652.01	c 1651s |      22 |  2464736 |  2080322 |     8033    459 |        0 |        0
1653.54/1654.09	c 1653s |      22 |  2467517 |  2082722 |     8033    460 |        0 |        0
1655.63/1656.10	c 1655s |      22 |  2470622 |  2085322 |     8033    460 |        0 |        0
1657.63/1658.16	c 1658s |      22 |  2473228 |  2087622 |     8033    461 |        0 |        0
1659.73/1660.22	c 1660s |      22 |  2475706 |  2089822 |     8033    461 |        0 |        0
1661.74/1662.26	c 1662s |      22 |  2477948 |  2091922 |     8033    461 |        0 |        0
1663.73/1664.30	c 1664s |      22 |  2480082 |  2093922 |     8033    462 |        0 |        0
1665.83/1666.33	c 1666s |      22 |  2482488 |  2096022 |     8033    462 |        0 |        0
1667.83/1668.34	c 1668s |      22 |  2485202 |  2098322 |     8033    463 |        0 |        0
1669.93/1670.41	c 1670s |      22 |  2487997 |  2100722 |     8033    463 |        0 |        0
1671.94/1672.48	c 1672s |      22 |  2490533 |  2102922 |     8033    463 |        0 |        0
1674.04/1674.53	c 1674s |      22 |  2492905 |  2105022 |     8033    464 |        0 |        0
1676.05/1676.54	c 1676s |      22 |  2495236 |  2107122 |     8033    464 |        0 |        0
1678.04/1678.56	c 1678s |      22 |  2497504 |  2109122 |     8033    465 |        0 |        0
1680.14/1680.62	c 1680s |      22 |  2499939 |  2111322 |     8033    465 |        0 |        0
1682.23/1682.75	c 1682s |      22 |  2502877 |  2113622 |     8033    466 |        0 |        0
1684.23/1684.79	c 1684s |      22 |  2505597 |  2115922 |     8033    466 |        0 |        0
1686.33/1686.81	c 1686s |      22 |  2508436 |  2118322 |     8033    466 |        0 |        0
1688.33/1688.86	c 1688s |      22 |  2511024 |  2120622 |     8033    467 |        0 |        0
1690.43/1690.93	c 1690s |      22 |  2514250 |  2123222 |     8033    467 |        0 |        0
1692.44/1692.97	c 1692s |      22 |  2517318 |  2125722 |     8033    468 |        0 |        0
1694.43/1694.98	c 1694s |      22 |  2520234 |  2128122 |     8033    468 |        0 |        0
1696.53/1697.01	c 1696s |      22 |  2522636 |  2130222 |     8033    469 |        0 |        0
1698.53/1699.03	c 1698s |      22 |  2525393 |  2132722 |     8033    469 |        0 |        0
1700.63/1701.10	c 1700s |      22 |  2527680 |  2134822 |     8033    470 |        0 |        0
1702.63/1703.17	c 1703s |      22 |  2530794 |  2137422 |     8033    470 |        0 |        0
1704.73/1705.24	c 1705s |      22 |  2534333 |  2140122 |     8033    471 |        0 |        0
1706.74/1707.24	c 1707s |      22 |  2537372 |  2142822 |     8033    471 |        0 |        0
1708.73/1709.26	c 1709s |      22 |  2540662 |  2145322 |     8033    471 |        0 |        0
1710.83/1711.31	c 1711s |      22 |  2543256 |  2147822 |     8033    472 |        0 |        0
1712.83/1713.34	c 1713s |      22 |  2545952 |  2150122 |     8033    472 |        0 |        0
1714.93/1715.40	c 1715s |      22 |  2547909 |  2151922 |     8033    473 |        0 |        0
1716.93/1717.42	c 1717s |      22 |  2550156 |  2153922 |     8033    473 |        0 |        0
1719.02/1719.58	c 1719s |      22 |  2552365 |  2155922 |     8033    474 |        0 |        0
1721.13/1721.64	c 1721s |      22 |  2555186 |  2158122 |     8033    474 |        0 |        0
1723.13/1723.70	c 1723s |      22 |  2557460 |  2160022 |     8033    474 |        0 |        0
1725.23/1725.72	c 1725s |      22 |  2560338 |  2162422 |     8033    475 |        0 |        0
1727.23/1727.77	c 1727s |      22 |  2563526 |  2165022 |     8033    475 |        0 |        0
1729.33/1729.83	c 1729s |      22 |  2565922 |  2167122 |     8033    476 |        0 |        0
1731.33/1731.88	c 1731s |      22 |  2569003 |  2169522 |     8033    476 |        0 |        0
1733.42/1733.93	c 1733s |      22 |  2571888 |  2172022 |     8033    477 |        0 |        0
1735.43/1735.96	c 1735s |      22 |  2575143 |  2174522 |     8033    477 |        0 |        0
1737.54/1738.04	c 1737s |      22 |  2578292 |  2177022 |     8033    477 |        0 |        0
1739.53/1740.08	c 1739s |      22 |  2580904 |  2179222 |     8033    478 |        0 |        0
1741.62/1742.10	c 1741s |      22 |  2583298 |  2181222 |     8033    478 |        0 |        0
1743.62/1744.12	c 1743s |      22 |  2585628 |  2183222 |     8033    479 |        0 |        0
1745.62/1746.12	c 1745s |      22 |  2587937 |  2185122 |     8033    479 |        0 |        0
1747.63/1748.17	c 1748s |      22 |  2589974 |  2186822 |     8033    479 |        0 |        0
1749.73/1750.26	c 1750s |      22 |  2592235 |  2188722 |     8033    480 |        0 |        0
1751.82/1752.34	c 1752s |      22 |  2594207 |  2190422 |     8033    480 |        0 |        0
1753.92/1754.41	c 1754s |      22 |  2596501 |  2192222 |     8033    480 |        0 |        0
1755.92/1756.43	c 1756s |      22 |  2598323 |  2193722 |     8033    481 |        0 |        0
1758.03/1758.54	c 1758s |      22 |  2600106 |  2195322 |     8033    481 |        0 |        0
1760.02/1760.55	c 1760s |      22 |  2602434 |  2197122 |     8033    481 |        0 |        0
1762.12/1762.63	c 1762s |      22 |  2604381 |  2198722 |     8033    482 |        0 |        0
1764.12/1764.69	c 1764s |      22 |  2606471 |  2200422 |     8033    482 |        0 |        0
1766.23/1766.73	c 1766s |      22 |  2608589 |  2202122 |     8033    482 |        0 |        0
1768.33/1768.83	c 1768s |      22 |  2610777 |  2203822 |     8033    483 |        0 |        0
1770.32/1770.84	c 1770s |      22 |  2612697 |  2205422 |     8033    483 |        0 |        0
1772.32/1772.86	c 1772s |      22 |  2614625 |  2207022 |     8033    483 |        0 |        0
1774.42/1774.97	c 1774s |      22 |  2616946 |  2208922 |     8033    484 |        0 |        0
1776.52/1777.00	c 1776s |      22 |  2618712 |  2210522 |     8033    484 |        0 |        0
1778.51/1779.01	c 1778s |      22 |  2620788 |  2212122 |     8033    484 |        0 |        0
1780.52/1781.06	c 1780s |      22 |  2623393 |  2214222 |     8033    485 |        0 |        0
1782.52/1783.09	c 1782s |      22 |  2626521 |  2216722 |     8033    485 |        0 |        0
1784.62/1785.14	c 1785s |      22 |  2629059 |  2218922 |     8033    485 |        0 |        0
1786.71/1787.20	c 1787s |      22 |  2631921 |  2221222 |     8033    486 |        0 |        0
1788.71/1789.26	c 1789s |      22 |  2634959 |  2223622 |     8033    486 |        0 |        0
1790.82/1791.32	c 1791s |      22 |  2638544 |  2226322 |     8033    487 |        0 |        0
1792.82/1793.38	c 1793s |      22 |  2641372 |  2228822 |     8033    487 |        0 |        0
1794.92/1795.42	c 1795s |      22 |  2644866 |  2231522 |     8033    488 |        0 |        0
1796.92/1797.49	c 1797s |      22 |  2648100 |  2233922 |     8033    488 |        0 |        0
1799.01/1799.51	c 1799s |      22 |  2651247 |  2236522 |     8837    489 |        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-4079454-1465223350/watcher-4079454-1465223350 -o /tmp/evaluation-result-4079454-1465223350/solver-4079454-1465223350 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465218023-8446 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079454-1465223350.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.11 2.09 2.04 2/179 9531
/proc/meminfo: memFree=30278040/32872528 swapFree=11196/354588
[pid=9531] ppid=9528 vsize=752060 CPUtime=0 cores=1,3,5,7
/proc/9531/stat : 9531 (toysat) R 9528 9531 8429 0 -1 4202496 2810 0 0 0 0 0 0 0 20 0 4 0 104268455 770109440 3170 33554432000 4194304 16246674 140736988837072 140736988836496 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9531/statm: 188527 3181 441 2943 0 185421 0
[pid=9531/tid=9532] ppid=9528 vsize=769468 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9532/stat : 9532 (toysat) S 9528 9531 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104268455 787935232 3241 33554432000 4194304 16246674 140736988837072 140020574825712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9531/tid=9533] ppid=9528 vsize=773564 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9533/stat : 9533 (toysat) S 9528 9531 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104268455 792129536 3257 33554432000 4194304 16246674 140736988837072 140020564335856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9531/tid=9534] ppid=9528 vsize=778684 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9534/stat : 9534 (toysat) S 9528 9531 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104268455 797372416 3277 33554432000 4194304 16246674 140736988837072 140020553862320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100182 s]
/proc/loadavg: 2.11 2.09 2.04 2/179 9531
/proc/meminfo: memFree=30278040/32872528 swapFree=11196/354588
[pid=9531] ppid=9528 vsize=1221188 CPUtime=0.09 cores=1,3,5,7
/proc/9531/stat : 9531 (toysat) R 9528 9531 8429 0 -1 4202496 31073 0 0 0 6 3 0 0 20 0 4 0 104268455 1250496512 31399 33554432000 4194304 16246674 140736988837072 140736988836496 4221016 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9531/statm: 305297 31402 665 2943 0 302191 0
[pid=9531/tid=9532] ppid=9528 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9532/stat : 9532 (toysat) S 9528 9531 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104268455 1250496512 31405 33554432000 4194304 16246674 140736988837072 140020574825712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9531/tid=9533] ppid=9528 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9533/stat : 9533 (toysat) S 9528 9531 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104268455 1250496512 31408 33554432000 4194304 16246674 140736988837072 140020564335856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9531/tid=9534] ppid=9528 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9534/stat : 9534 (toysat) S 9528 9531 8429 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104268455 1250496512 31411 33554432000 4194304 16246674 140736988837072 140020553862320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200503 s]
/proc/loadavg: 2.11 2.09 2.04 2/179 9531
/proc/meminfo: memFree=30278040/32872528 swapFree=11196/354588
[pid=9531] ppid=9528 vsize=1302084 CPUtime=0.19 cores=1,3,5,7
/proc/9531/stat : 9531 (toysat) R 9528 9531 8429 0 -1 4202496 51496 0 0 0 12 7 0 0 20 0 4 0 104268455 1333334016 51803 33554432000 4194304 16246674 140736988837072 140736988818944 5530846 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9531/statm: 325521 51803 890 2943 0 322415 0
[pid=9531/tid=9532] ppid=9528 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9532/stat : 9532 (toysat) S 9528 9531 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104268455 1333334016 51803 33554432000 4194304 16246674 140736988837072 140020574825712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9531/tid=9533] ppid=9528 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9533/stat : 9533 (toysat) S 9528 9531 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104268455 1333334016 51803 33554432000 4194304 16246674 140736988837072 140020564335856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9531/tid=9534] ppid=9528 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9534/stat : 9534 (toysat) S 9528 9531 8429 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 104268455 1333334016 51803 33554432000 4194304 16246674 140736988837072 140020553862320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1302084

[startup+0.300491 s]
/proc/loadavg: 2.11 2.09 2.04 2/179 9531
/proc/meminfo: memFree=30278040/32872528 swapFree=11196/354588
[pid=9531] ppid=9528 vsize=1306180 CPUtime=0.29 cores=1,3,5,7
/proc/9531/stat : 9531 (toysat) R 9528 9531 8429 0 -1 4202496 52476 0 0 0 22 7 0 0 20 0 4 0 104268455 1337528320 52783 33554432000 4194304 16246674 140736988837072 140736988818944 5666933 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9531/statm: 326545 52783 897 2943 0 323439 0
[pid=9531/tid=9532] ppid=9528 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9532/stat : 9532 (toysat) S 9528 9531 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104268455 1337528320 52783 33554432000 4194304 16246674 140736988837072 140020574825712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9531/tid=9533] ppid=9528 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9533/stat : 9533 (toysat) S 9528 9531 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104268455 1337528320 52783 33554432000 4194304 16246674 140736988837072 140020564335856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9531/tid=9534] ppid=9528 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9534/stat : 9534 (toysat) S 9528 9531 8429 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 104268455 1337528320 52783 33554432000 4194304 16246674 140736988837072 140020553862320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1306180

[startup+0.70041 s]
/proc/loadavg: 2.11 2.09 2.04 2/179 9531
/proc/meminfo: memFree=30278040/32872528 swapFree=11196/354588
[pid=9531] ppid=9528 vsize=1306180 CPUtime=0.69 cores=1,3,5,7
/proc/9531/stat : 9531 (toysat) R 9528 9531 8429 0 -1 4202496 61732 0 0 0 62 7 0 0 20 0 4 0 104268455 1337528320 62039 33554432000 4194304 16246674 140736988837072 140736988818944 13954410 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9531/statm: 326545 62046 897 2943 0 323439 0
[pid=9531/tid=9532] ppid=9528 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9532/stat : 9532 (toysat) S 9528 9531 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104268455 1337528320 62052 33554432000 4194304 16246674 140736988837072 140020574825712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9531/tid=9533] ppid=9528 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9533/stat : 9533 (toysat) S 9528 9531 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104268455 1337528320 62059 33554432000 4194304 16246674 140736988837072 140020564335856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9531/tid=9534] ppid=9528 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9534/stat : 9534 (toysat) S 9528 9531 8429 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 104268455 1337528320 62063 33554432000 4194304 16246674 140736988837072 140020553862320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1306180

[startup+1.50041 s]
/proc/loadavg: 2.11 2.09 2.04 3/183 9535
/proc/meminfo: memFree=29696740/32872528 swapFree=11196/354588
[pid=9531] ppid=9528 vsize=1307204 CPUtime=1.49 cores=1,3,5,7
/proc/9531/stat : 9531 (toysat) R 9528 9531 8429 0 -1 4202496 159387 0 0 0 129 20 0 0 20 0 4 0 104268455 1338576896 159694 33554432000 4194304 16246674 140736988837072 140736988818944 5667488 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9531/statm: 326801 159694 899 2943 0 323695 0
[pid=9531/tid=9532] ppid=9528 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9532/stat : 9532 (toysat) S 9528 9531 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104268455 1338576896 159694 33554432000 4194304 16246674 140736988837072 140020574825712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9531/tid=9533] ppid=9528 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9533/stat : 9533 (toysat) S 9528 9531 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104268455 1338576896 159694 33554432000 4194304 16246674 140736988837072 140020564335856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9531/tid=9534] ppid=9528 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9534/stat : 9534 (toysat) S 9528 9531 8429 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 104268455 1338576896 159694 33554432000 4194304 16246674 140736988837072 140020553862320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.1004 s]
/proc/loadavg: 2.11 2.09 2.04 3/183 9535
/proc/meminfo: memFree=29640180/32872528 swapFree=11196/354588
[pid=9531] ppid=9528 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/9531/stat : 9531 (toysat) R 9528 9531 8429 0 -1 4202496 261748 0 0 0 275 34 0 0 20 0 4 0 104268455 1338576896 262056 33554432000 4194304 16246674 140736988837072 140736988818944 12474890 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9531/statm: 326801 262065 903 2943 0 323695 0
[pid=9531/tid=9532] ppid=9528 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9532/stat : 9532 (toysat) S 9528 9531 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104268455 1338576896 262071 33554432000 4194304 16246674 140736988837072 140020574825712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9531/tid=9533] ppid=9528 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9533/stat : 9533 (toysat) S 9528 9531 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104268455 1338576896 262076 33554432000 4194304 16246674 140736988837072 140020564335856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9531/tid=9534] ppid=9528 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9534/stat : 9534 (toysat) S 9528 9531 8429 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 104268455 1338576896 262078 33554432000 4194304 16246674 140736988837072 140020553862320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30042 s]
/proc/loadavg: 2.10 2.09 2.04 3/183 9535
/proc/meminfo: memFree=29205688/32872528 swapFree=11196/354588
[pid=9531] ppid=9528 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/9531/stat : 9531 (toysat) R 9528 9531 8429 0 -1 4202496 267988 0 0 0 594 35 0 0 20 0 4 0 104268455 1338576896 268295 33554432000 4194304 16246674 140736988837072 140736988818944 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9531/statm: 326801 268295 905 2943 0 323695 0
[pid=9531/tid=9532] ppid=9528 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9532/stat : 9532 (toysat) S 9528 9531 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104268455 1338576896 268295 33554432000 4194304 16246674 140736988837072 140020574825712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9531/tid=9533] ppid=9528 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9533/stat : 9533 (toysat) S 9528 9531 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104268455 1338576896 268295 33554432000 4194304 16246674 140736988837072 140020564335856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9531/tid=9534] ppid=9528 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9534/stat : 9534 (toysat) S 9528 9531 8429 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 104268455 1338576896 268295 33554432000 4194304 16246674 140736988837072 140020553862320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.09 2.09 2.04 3/183 9535
/proc/meminfo: memFree=29204588/32872528 swapFree=11196/354588
[pid=9531] ppid=9528 vsize=1309252 CPUtime=12.69 cores=1,3,5,7
/proc/9531/stat : 9531 (toysat) R 9528 9531 8429 0 -1 4202496 268307 0 0 0 1233 36 0 0 20 0 4 0 104268455 1340674048 268614 33554432000 4194304 16246674 140736988837072 140736988818944 12997787 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9531/statm: 327313 268614 905 2943 0 324207 0
[pid=9531/tid=9532] ppid=9528 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9532/stat : 9532 (toysat) S 9528 9531 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104268455 1340674048 268614 33554432000 4194304 16246674 140736988837072 140020574825712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9531/tid=9533] ppid=9528 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9533/stat : 9533 (toysat) S 9528 9531 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104268455 1340674048 268614 33554432000 4194304 16246674 140736988837072 140020564335856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9531/tid=9534] ppid=9528 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9534/stat : 9534 (toysat) S 9528 9531 8429 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 104268455 1340674048 268614 33554432000 4194304 16246674 140736988837072 140020553862320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1309252

[startup+25.5005 s]
/proc/loadavg: 2.07 2.08 2.04 3/183 9535
/proc/meminfo: memFree=29184528/32872528 swapFree=11196/354588
[pid=9531] ppid=9528 vsize=1310276 CPUtime=25.48 cores=1,3,5,7
/proc/9531/stat : 9531 (toysat) R 9528 9531 8429 0 -1 4202496 268509 0 0 0 2512 36 0 0 20 0 4 0 104268455 1341722624 268816 33554432000 4194304 16246674 140736988837072 140736988818944 5667033 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9531/statm: 327569 268816 905 2943 0 324463 0
[pid=9531/tid=9532] ppid=9528 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9532/stat : 9532 (toysat) S 9528 9531 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104268455 1341722624 268816 33554432000 4194304 16246674 140736988837072 140020574825712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9531/tid=9533] ppid=9528 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9533/stat : 9533 (toysat) S 9528 9531 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104268455 1341722624 268816 33554432000 4194304 16246674 140736988837072 140020564335856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9531/tid=9534] ppid=9528 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9534/stat : 9534 (toysat) S 9528 9531 8429 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 104268455 1341722624 268816 33554432000 4194304 16246674 140736988837072 140020553862320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1310276

[startup+51.1005 s]
/proc/loadavg: 2.04 2.08 2.04 3/183 9535
/proc/meminfo: memFree=29183132/32872528 swapFree=11196/354588
[pid=9531] ppid=9528 vsize=1310276 CPUtime=51.08 cores=1,3,5,7
/proc/9531/stat : 9531 (toysat) R 9528 9531 8429 0 -1 4202496 268756 0 0 0 5070 38 0 0 20 0 4 0 104268455 1341722624 269063 33554432000 4194304 16246674 140736988837072 140736988818944 5722960 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9531/statm: 327569 269063 905 2943 0 324463 0
[pid=9531/tid=9532] ppid=9528 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9532/stat : 9532 (toysat) S 9528 9531 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104268455 1341722624 269063 33554432000 4194304 16246674 140736988837072 140020574825712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9531/tid=9533] ppid=9528 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9533/stat : 9533 (toysat) S 9528 9531 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104268455 1341722624 269063 33554432000 4194304 16246674 140736988837072 140020564335856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9531/tid=9534] ppid=9528 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9534/stat : 9534 (toysat) S 9528 9531 8429 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 104268455 1341722624 269063 33554432000 4194304 16246674 140736988837072 140020553862320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1310276

[startup+102.3 s]
/proc/loadavg: 2.02 2.06 2.03 3/184 9539
/proc/meminfo: memFree=29178820/32872528 swapFree=11196/354588
[pid=9531] ppid=9528 vsize=1314372 CPUtime=102.28 cores=1,3,5,7
/proc/9531/stat : 9531 (toysat) R 9528 9531 8429 0 -1 4202496 269632 0 0 0 10189 39 0 0 20 0 4 0 104268455 1345916928 269939 33554432000 4194304 16246674 140736988837072 140736988818944 5676564 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9531/statm: 328593 269939 905 2943 0 325487 0
[pid=9531/tid=9532] ppid=9528 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9532/stat : 9532 (toysat) S 9528 9531 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104268455 1345916928 269939 33554432000 4194304 16246674 140736988837072 140020574825712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9531/tid=9533] ppid=9528 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9533/stat : 9533 (toysat) S 9528 9531 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104268455 1345916928 269939 33554432000 4194304 16246674 140736988837072 140020564335856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9531/tid=9534] ppid=9528 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9534/stat : 9534 (toysat) S 9528 9531 8429 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 104268455 1345916928 269939 33554432000 4194304 16246674 140736988837072 140020553862320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1314372


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

/proc/9531/task/9534/stat : 9534 (toysat) S 9528 9531 8429 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 104268455 1355354112 272394 33554432000 4194304 16246674 140736988837072 140020553862320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1323588

[startup+1362.3 s]
/proc/loadavg: 2.05 2.12 2.09 3/183 9619
/proc/meminfo: memFree=29517436/32872528 swapFree=11196/354588
[pid=9531] ppid=9528 vsize=1323588 CPUtime=1361.89 cores=1,3,5,7
/proc/9531/stat : 9531 (toysat) R 9528 9531 8429 0 -1 4202496 272446 0 0 0 136078 111 0 0 20 0 4 0 104268455 1355354112 272394 33554432000 4194304 16246674 140736988837072 140736988818944 12477827 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9531/statm: 330897 272394 905 2943 0 327791 0
[pid=9531/tid=9532] ppid=9528 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9532/stat : 9532 (toysat) S 9528 9531 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104268455 1355354112 272394 33554432000 4194304 16246674 140736988837072 140020574825712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9531/tid=9533] ppid=9528 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9533/stat : 9533 (toysat) S 9528 9531 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104268455 1355354112 272394 33554432000 4194304 16246674 140736988837072 140020564335856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9531/tid=9534] ppid=9528 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9534/stat : 9534 (toysat) S 9528 9531 8429 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 104268455 1355354112 272394 33554432000 4194304 16246674 140736988837072 140020553862320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1323588

[startup+1422.3 s]
/proc/loadavg: 2.02 2.10 2.08 3/183 9620
/proc/meminfo: memFree=29517228/32872528 swapFree=11196/354588
[pid=9531] ppid=9528 vsize=1323588 CPUtime=1421.88 cores=1,3,5,7
/proc/9531/stat : 9531 (toysat) R 9528 9531 8429 0 -1 4202496 272446 0 0 0 142073 115 0 0 20 0 4 0 104268455 1355354112 272394 33554432000 4194304 16246674 140736988837072 140736988818944 5677667 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9531/statm: 330897 272394 905 2943 0 327791 0
[pid=9531/tid=9532] ppid=9528 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9532/stat : 9532 (toysat) S 9528 9531 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104268455 1355354112 272394 33554432000 4194304 16246674 140736988837072 140020574825712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9531/tid=9533] ppid=9528 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9533/stat : 9533 (toysat) S 9528 9531 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104268455 1355354112 272394 33554432000 4194304 16246674 140736988837072 140020564335856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9531/tid=9534] ppid=9528 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9534/stat : 9534 (toysat) S 9528 9531 8429 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 104268455 1355354112 272394 33554432000 4194304 16246674 140736988837072 140020553862320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1323588

[startup+1482.3 s]
/proc/loadavg: 2.00 2.08 2.07 3/183 9621
/proc/meminfo: memFree=29517140/32872528 swapFree=11196/354588
[pid=9531] ppid=9528 vsize=1323588 CPUtime=1481.86 cores=1,3,5,7
/proc/9531/stat : 9531 (toysat) R 9528 9531 8429 0 -1 4202496 272446 0 0 0 148069 117 0 0 20 0 4 0 104268455 1355354112 272394 33554432000 4194304 16246674 140736988837072 140736988818944 5722656 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9531/statm: 330897 272394 905 2943 0 327791 0
[pid=9531/tid=9532] ppid=9528 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9532/stat : 9532 (toysat) S 9528 9531 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104268455 1355354112 272394 33554432000 4194304 16246674 140736988837072 140020574825712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9531/tid=9533] ppid=9528 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9533/stat : 9533 (toysat) S 9528 9531 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104268455 1355354112 272394 33554432000 4194304 16246674 140736988837072 140020564335856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9531/tid=9534] ppid=9528 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9534/stat : 9534 (toysat) S 9528 9531 8429 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 104268455 1355354112 272394 33554432000 4194304 16246674 140736988837072 140020553862320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1323588

[startup+1542.31 s]
/proc/loadavg: 2.07 2.08 2.07 3/183 9623
/proc/meminfo: memFree=29513692/32872528 swapFree=11196/354588
[pid=9531] ppid=9528 vsize=1323588 CPUtime=1541.87 cores=1,3,5,7
/proc/9531/stat : 9531 (toysat) R 9528 9531 8429 0 -1 4202496 272446 0 0 0 154067 120 0 0 20 0 4 0 104268455 1355354112 272394 33554432000 4194304 16246674 140736988837072 140736988818944 5723580 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9531/statm: 330897 272394 905 2943 0 327791 0
[pid=9531/tid=9532] ppid=9528 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9532/stat : 9532 (toysat) S 9528 9531 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104268455 1355354112 272394 33554432000 4194304 16246674 140736988837072 140020574825712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9531/tid=9533] ppid=9528 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9533/stat : 9533 (toysat) S 9528 9531 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104268455 1355354112 272394 33554432000 4194304 16246674 140736988837072 140020564335856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9531/tid=9534] ppid=9528 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9534/stat : 9534 (toysat) S 9528 9531 8429 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 104268455 1355354112 272394 33554432000 4194304 16246674 140736988837072 140020553862320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1323588

[startup+1602.3 s]
/proc/loadavg: 2.07 2.07 2.07 3/183 9624
/proc/meminfo: memFree=29513520/32872528 swapFree=11196/354588
[pid=9531] ppid=9528 vsize=1323588 CPUtime=1601.84 cores=1,3,5,7
/proc/9531/stat : 9531 (toysat) R 9528 9531 8429 0 -1 4202496 272446 0 0 0 160064 120 0 0 20 0 4 0 104268455 1355354112 272394 33554432000 4194304 16246674 140736988837072 140736988818944 13950192 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9531/statm: 330897 272394 905 2943 0 327791 0
[pid=9531/tid=9532] ppid=9528 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9532/stat : 9532 (toysat) S 9528 9531 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104268455 1355354112 272394 33554432000 4194304 16246674 140736988837072 140020574825712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9531/tid=9533] ppid=9528 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9533/stat : 9533 (toysat) S 9528 9531 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104268455 1355354112 272394 33554432000 4194304 16246674 140736988837072 140020564335856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9531/tid=9534] ppid=9528 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9534/stat : 9534 (toysat) S 9528 9531 8429 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 104268455 1355354112 272394 33554432000 4194304 16246674 140736988837072 140020553862320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1323588

[startup+1662.3 s]
/proc/loadavg: 2.02 2.06 2.07 3/183 9625
/proc/meminfo: memFree=29513768/32872528 swapFree=11196/354588
[pid=9531] ppid=9528 vsize=1323588 CPUtime=1661.83 cores=1,3,5,7
/proc/9531/stat : 9531 (toysat) R 9528 9531 8429 0 -1 4202496 272446 0 0 0 166061 122 0 0 20 0 4 0 104268455 1355354112 272394 33554432000 4194304 16246674 140736988837072 140736988818944 5722908 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9531/statm: 330897 272394 905 2943 0 327791 0
[pid=9531/tid=9532] ppid=9528 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9532/stat : 9532 (toysat) S 9528 9531 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104268455 1355354112 272394 33554432000 4194304 16246674 140736988837072 140020574825712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9531/tid=9533] ppid=9528 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9533/stat : 9533 (toysat) S 9528 9531 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104268455 1355354112 272394 33554432000 4194304 16246674 140736988837072 140020564335856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9531/tid=9534] ppid=9528 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9534/stat : 9534 (toysat) S 9528 9531 8429 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 104268455 1355354112 272394 33554432000 4194304 16246674 140736988837072 140020553862320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1323588

[startup+1722.3 s]
/proc/loadavg: 2.15 2.08 2.07 3/183 9626
/proc/meminfo: memFree=29513396/32872528 swapFree=11196/354588
[pid=9531] ppid=9528 vsize=1323588 CPUtime=1721.83 cores=1,3,5,7
/proc/9531/stat : 9531 (toysat) R 9528 9531 8429 0 -1 4202496 272446 0 0 0 172057 126 0 0 20 0 4 0 104268455 1355354112 272394 33554432000 4194304 16246674 140736988837072 140736988818944 13950192 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9531/statm: 330897 272394 905 2943 0 327791 0
[pid=9531/tid=9532] ppid=9528 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9532/stat : 9532 (toysat) S 9528 9531 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104268455 1355354112 272394 33554432000 4194304 16246674 140736988837072 140020574825712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9531/tid=9533] ppid=9528 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9533/stat : 9533 (toysat) S 9528 9531 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104268455 1355354112 272394 33554432000 4194304 16246674 140736988837072 140020564335856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9531/tid=9534] ppid=9528 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9534/stat : 9534 (toysat) S 9528 9531 8429 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 104268455 1355354112 272394 33554432000 4194304 16246674 140736988837072 140020553862320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1323588

[startup+1782.3 s]
/proc/loadavg: 2.21 2.09 2.08 3/183 9627
/proc/meminfo: memFree=29513140/32872528 swapFree=11196/354588
[pid=9531] ppid=9528 vsize=1323588 CPUtime=1781.82 cores=1,3,5,7
/proc/9531/stat : 9531 (toysat) R 9528 9531 8429 0 -1 4202496 272446 0 0 0 178050 132 0 0 20 0 4 0 104268455 1355354112 272394 33554432000 4194304 16246674 140736988837072 140736988818944 13950192 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9531/statm: 330897 272394 905 2943 0 327791 0
[pid=9531/tid=9532] ppid=9528 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9532/stat : 9532 (toysat) S 9528 9531 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104268455 1355354112 272394 33554432000 4194304 16246674 140736988837072 140020574825712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9531/tid=9533] ppid=9528 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9533/stat : 9533 (toysat) S 9528 9531 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104268455 1355354112 272394 33554432000 4194304 16246674 140736988837072 140020564335856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9531/tid=9534] ppid=9528 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9534/stat : 9534 (toysat) S 9528 9531 8429 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 104268455 1355354112 272394 33554432000 4194304 16246674 140736988837072 140020553862320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1323588



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.21 2.10 2.08 3/183 9627
/proc/meminfo: memFree=29513268/32872528 swapFree=11196/354588
[pid=9531] ppid=9528 vsize=1323588 CPUtime=1800.01 cores=1,3,5,7
/proc/9531/stat : 9531 (toysat) R 9528 9531 8429 0 -1 4202496 272446 0 0 0 179868 133 0 0 20 0 4 0 104268455 1355354112 272394 33554432000 4194304 16246674 140736988837072 140736988818944 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9531/statm: 330897 272394 905 2943 0 327791 0
[pid=9531/tid=9532] ppid=9528 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9532/stat : 9532 (toysat) S 9528 9531 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104268455 1355354112 272394 33554432000 4194304 16246674 140736988837072 140020574825712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9531/tid=9533] ppid=9528 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9533/stat : 9533 (toysat) S 9528 9531 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104268455 1355354112 272394 33554432000 4194304 16246674 140736988837072 140020564335856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9531/tid=9534] ppid=9528 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9534/stat : 9534 (toysat) S 9528 9531 8429 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 104268455 1355354112 272394 33554432000 4194304 16246674 140736988837072 140020553862320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1323588

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

[startup+1800.5 s]
/proc/loadavg: 2.21 2.10 2.08 3/183 9627
/proc/meminfo: memFree=29513268/32872528 swapFree=11196/354588
[pid=9531] ppid=9528 vsize=1323588 CPUtime=1800.01 cores=1,3,5,7
/proc/9531/stat : 9531 (toysat) R 9528 9531 8429 0 -1 4202496 272446 0 0 0 179868 133 0 0 20 0 4 0 104268455 1355354112 272394 33554432000 4194304 16246674 140736988837072 140736988818944 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9531/statm: 330897 272394 905 2943 0 327791 0
[pid=9531/tid=9532] ppid=9528 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9532/stat : 9532 (toysat) S 9528 9531 8429 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104268455 1355354112 272394 33554432000 4194304 16246674 140736988837072 140020574825712 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9531/tid=9533] ppid=9528 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9533/stat : 9533 (toysat) S 9528 9531 8429 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104268455 1355354112 272394 33554432000 4194304 16246674 140736988837072 140020564335856 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9531/tid=9534] ppid=9528 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/9531/task/9534/stat : 9534 (toysat) S 9528 9531 8429 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 104268455 1355354112 272394 33554432000 4194304 16246674 140736988837072 140020553862320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1323588

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1798.69
CPU system time (s): 1.3358
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 1323588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.69
system time used= 1.3358
maximum resident set size= 1089576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272446
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= 375
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.94725 second user time and 6.70198 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-06 16:29:10
IDJOB=4079454
IDBENCH=1851
IDSOLVER=2542
FILE ID=node126/4079454-1465223350
RUNJOBID= node126-1465218023-8446
PBS_JOBID= 19843210
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod010.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079454-1465223350/watcher-4079454-1465223350 -o /tmp/evaluation-result-4079454-1465223350/solver-4079454-1465223350 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465218023-8446 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079454-1465223350.opb

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

MD5SUM BENCH= 0155c0c96434984f6ded6bb7ada20c0c
RANDOM SEED=996838729

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.500
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:        30278676 kB
Buffers:           12808 kB
Cached:           115208 kB
SwapCached:         2268 kB
Active:          1487840 kB
Inactive:          51892 kB
Active(anon):    1411632 kB
Inactive(anon):     2384 kB
Active(file):      76208 kB
Inactive(file):    49508 kB
Unevictable:      354588 kB
Mlocked:           11196 kB
SwapTotal:      67108856 kB
SwapFree:       67098524 kB
Dirty:             16316 kB
Writeback:             0 kB
AnonPages:       1869796 kB
Mapped:            10728 kB
Shmem:                 0 kB
Slab:             566820 kB
SReclaimable:      11036 kB
SUnreclaim:       555784 kB
KernelStack:        1520 kB
PageTables:         7372 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1908240 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1593344 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node126 at 2016-06-06 16:59:11