Trace number 4079751

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_2.opb
MD5SUMb690996610ff381ef60353517fe5a0e9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark1800.71
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 6
Optimality of the best value was proved NO
Number of variables146
Total number of constraints12
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints12
Minimum length of a constraint64
Maximum length of a constraint66
Number of terms in the objective function 96
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 3060
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1293
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4389
Number of bits of the biggest sum of numbers13
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-06T22:25:44+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-4079751-1465244744.opb"]
0.00/0.01	c use --random-gen="1559504215 1597334919 1493998806 2829560845 2781020206 2746382614 2103504094 2801874988 3007279221 4154111457 4288112889 100938133 722885999 825395484 1460024883 54603392 873573172 3890660954 2326817879 2865414277 791253420 3862392366 3997604582 3216630464 1627172124 1866141546 1798244789 2546788838 1296774438 1398130988 3074813064 3122446589 283965215 2719857235 2265773339 1256641928 1462523437 2260741227 470462012 3847933657 990274604 1979810955 765972169 262664852 3903708038 1724287751 1618444811 2643350063 3313478900 1543632460 3443850293 3703972117 486214825 4275103920 1904293427 3956677005 3436343172 2890013219 3387348993 3199343497 2079098375 4036640000 3432661641 1629825942 2377531672 2982648117 470592815 1609564508 227971603 2971288172 2963503669 2178014588 1674648705 2974513338 4255925150 3974784826 2056739392 257565717 1896230185 108666705 3843876370 104937883 2966324360 3248604722 3969379004 2148819763 4173962909 2301374498 1341579458 2700948359 3170779580 3183007498 434165264 2634963286 2682748558 2345431311 3802658721 523691459 2704438716 1211590415 2335363327 2663636569 2134390453 3276064798 738678409 2605513227 2387685397 1255212315 3662537136 589376430 68390563 2695945136 1686007963 1618683706 2025386165 3597617599 392706087 2445628560 2831205660 3364443987 709132419 351320731 238097004 813797505 2293060912 166682866 3597929372 426761715 848980123 923916579 1899481520 545671989 1897614648 1845395467 3885614573 3452904471 2574890985 1242562067 2807174237 1135684730 839076851 3725162987 347679887 1935171141 1346197476 3538049720 3785540754 1670266893 2425336905 2056110166 78842132 4120640856 3075340684 36081321 1468812601 4127738324 3225868981 3449624803 2583105057 2665866432 1683813277 4153421945 651976480 392180799 1067561466 14218954 3971370713 4277358631 3413464184 1771081257 849351089 1950882270 1676293987 2078431494 2428066457 908562572 1706983084 137635132 4146195081 2877059322 1389603341 4076577773 3405074360 1632321579 2103199736 3207161225 1084190126 265499912 1361929530 2115798666 1373281613 1290671043 2695548596 1025390819 447778894 1402707874 2980450296 1810427152 1880068123 3766971175 3808555807 1306583239 1842978216 1986536215 3578665725 1661380976 624859888 3009043173 1831427615 3646598920 948591719 2120500895 1685407610 3985979640 169932890 3098025955 1820355098 1440647604 549917758 2165635438 121764964 3737006315 151334066 1027481784 3148235306 1284569789 458374325 3523236489 514676002 3154533393 2699805176 1055302540 2664619798 25824190 3154023179 2397857369 3256198759 1620138309 3706835830 286852593 3303209784 3161589419 3451789704 4087369175 3651496772 4258482947 2066142048 2321895174 2441470125 2330517279 4008605145 2780464671 3809020921 3207794845 3971800489 3986814944 255 362436" option to reproduce the execution
0.00/0.01	c #vars 146
0.00/0.01	c #constraints 12
0.00/0.01	c BCD2: Hardening is enabled.
0.00/0.01	c BCD2: BiasedSearch is enabled.
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       52      0 |        0 |        0
0.00/0.01	c  0.0s |       0 |       62 |        0 |       52      0 |        0 |        0
0.00/0.01	c #cpu_time = 0.001s
0.00/0.01	c #wall_clock_time = 0.001s
0.00/0.01	c #decision = 62
0.00/0.01	c #random_decision = 1
0.00/0.01	c #conflict = 0
0.00/0.01	c #restart = 0
0.00/0.01	o 2284
0.00/0.01	c BCD2: updating upper bound: 3060 -> 2283
0.00/0.02	c BCD2: 0 <= obj <= 2283
0.00/0.02	c BCD2: #cores=0, #unrelaxed=96, #relaxed=0, #hardened=0
0.00/0.02	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |       52      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      223 |      100 |       52      0 |        0 |        0
0.00/0.08	c  0.1s |       2 |      494 |      250 |       58      2 |        0 |        0
0.09/0.15	c  0.1s |       3 |      846 |      475 |       64      4 |        0 |        0
0.19/0.25	c  0.2s |       4 |     1308 |      813 |       71      8 |        0 |        0
0.39/0.41	c  0.4s |       5 |     1947 |     1320 |       79     14 |        0 |        0
0.59/0.63	c  0.6s |       6 |     2836 |     2081 |       96     21 |        0 |        0
0.94/0.98	c  1.0s |       7 |     4106 |     3223 |      106     33 |        0 |        0
1.30/1.38	c  1.4s |       8 |     5950 |     4936 |      117     48 |        0 |        0
1.79/1.87	c  1.9s |       9 |     8662 |     7506 |      129     70 |        0 |        0
2.59/2.62	c  2.6s |      10 |    12668 |    11361 |      142    102 |        0 |        0
3.59/3.69	c  3.7s |      11 |    18643 |    17144 |      157    147 |        0 |        0
5.29/5.34	c  5.3s |      12 |    27495 |    25819 |      173    210 |        0 |        0
7.29/7.34	c  7.3s |      12 |    38252 |    36319 |      173    283 |        0 |        0
7.80/7.83	c  7.8s |      13 |    40796 |    38832 |      191    301 |        0 |        0
9.79/9.83	c  9.8s |      13 |    51548 |    49332 |      191    369 |        0 |        0
11.59/11.61	c 11.6s |      14 |    60651 |    58352 |      211    428 |        0 |        0
13.59/13.62	c 13.6s |      14 |    71110 |    68552 |      211    491 |        0 |        0
15.59/15.64	c 15.6s |      14 |    81204 |    78552 |      211    553 |        0 |        0
17.19/17.29	c 17.3s |      15 |    90419 |    87632 |      233    609 |        0 |        0
19.28/19.30	c 19.3s |      15 |   100665 |    97632 |      233    667 |        0 |        0
21.28/21.31	c 21.3s |      15 |   110990 |   107832 |      233    726 |        0 |        0
23.29/23.32	c 23.3s |      15 |   121509 |   118232 |      233    786 |        0 |        0
25.28/25.32	c 25.3s |      15 |   131689 |   128332 |      233    845 |        0 |        0
25.88/25.98	c 26.0s |      16 |   134923 |   131552 |      257    863 |        0 |        0
27.88/27.99	c 28.0s |      16 |   145120 |   141552 |      257    917 |        0 |        0
29.98/30.00	c 30.0s |      16 |   155016 |   151352 |      257    970 |        0 |        0
31.99/32.01	c 32.0s |      16 |   165349 |   161552 |      257   1025 |        0 |        0
33.98/34.01	c 34.0s |      16 |   175431 |   171552 |      257   1080 |        0 |        0
35.98/36.02	c 36.0s |      16 |   185530 |   181552 |      257   1134 |        0 |        0
37.98/38.04	c 38.0s |      16 |   195764 |   191652 |      257   1189 |        0 |        0
39.18/39.23	c 39.2s |      17 |   201636 |   197432 |      283   1220 |        0 |        0
41.18/41.24	c 41.2s |      17 |   211524 |   207132 |      283   1269 |        0 |        0
43.19/43.25	c 43.2s |      17 |   221203 |   216732 |      283   1318 |        0 |        0
45.19/45.25	c 45.2s |      17 |   230874 |   226332 |      283   1366 |        0 |        0
47.19/47.25	c 47.2s |      17 |   240815 |   236132 |      283   1416 |        0 |        0
49.19/49.27	c 49.3s |      17 |   250793 |   246032 |      283   1466 |        0 |        0
51.19/51.28	c 51.3s |      17 |   260563 |   255732 |      283   1516 |        0 |        0
53.18/53.29	c 53.3s |      17 |   270715 |   265732 |      283   1566 |        0 |        0
55.19/55.29	c 55.3s |      17 |   280867 |   275732 |      283   1617 |        0 |        0
57.18/57.30	c 57.3s |      17 |   290806 |   285532 |      283   1667 |        0 |        0
59.28/59.30	c 59.3s |      17 |   300727 |   295332 |      312   1716 |        0 |        0
59.38/59.49	c 59.5s |      18 |   301656 |   296252 |      312   1720 |        0 |        0
61.48/61.51	c 61.5s |      18 |   311796 |   306152 |      312   1767 |        0 |        0
63.48/63.52	c 63.5s |      18 |   322106 |   316352 |      312   1815 |        0 |        0
65.48/65.52	c 65.5s |      18 |   332239 |   326352 |      312   1861 |        0 |        0
67.48/67.53	c 67.5s |      18 |   342135 |   336152 |      312   1908 |        0 |        0
69.49/69.54	c 69.5s |      18 |   352047 |   345952 |      312   1954 |        0 |        0
71.48/71.54	c 71.5s |      18 |   362127 |   355952 |      312   2001 |        0 |        0
73.48/73.56	c 73.5s |      18 |   371909 |   365652 |      312   2047 |        0 |        0
75.48/75.56	c 75.5s |      18 |   381664 |   375352 |      312   2093 |        0 |        0
77.48/77.58	c 77.6s |      18 |   391424 |   385052 |      312   2139 |        0 |        0
79.58/79.60	c 79.6s |      18 |   401077 |   394652 |      312   2185 |        0 |        0
81.58/81.61	c 81.6s |      18 |   410858 |   404352 |      312   2231 |        0 |        0
83.58/83.63	c 83.6s |      18 |   420519 |   413952 |      312   2277 |        0 |        0
85.58/85.63	c 85.6s |      18 |   430287 |   423652 |      312   2323 |        0 |        0
87.57/87.64	c 87.6s |      18 |   440049 |   433352 |      312   2369 |        0 |        0
89.57/89.65	c 89.6s |      18 |   449703 |   442952 |      344   2413 |        0 |        0
89.87/89.96	c 89.9s |      19 |   451233 |   444482 |      344   2420 |        0 |        0
91.87/91.98	c 92.0s |      19 |   461010 |   454082 |      344   2462 |        0 |        0
93.87/93.98	c 94.0s |      19 |   470577 |   463582 |      344   2504 |        0 |        0
95.88/95.99	c 96.0s |      19 |   480523 |   473382 |      344   2546 |        0 |        0
97.87/98.00	c 98.0s |      19 |   490526 |   483282 |      344   2590 |        0 |        0
99.97/100.01	c 100.0s |      19 |   500681 |   493282 |      344   2634 |        0 |        0
101.97/102.01	c  101s |      19 |   510922 |   503282 |      344   2678 |        0 |        0
103.97/104.02	c  103s |      19 |   521455 |   513582 |      344   2723 |        0 |        0
105.97/106.03	c  106s |      19 |   531310 |   523282 |      344   2766 |        0 |        0
107.98/108.05	c  108s |      19 |   541280 |   533082 |      344   2809 |        0 |        0
109.97/110.06	c  110s |      19 |   551145 |   542782 |      344   2852 |        0 |        0
111.97/112.06	c  112s |      19 |   561238 |   552682 |      344   2896 |        0 |        0
113.97/114.07	c  114s |      19 |   571099 |   562382 |      344   2939 |        0 |        0
115.97/116.08	c  116s |      19 |   581795 |   572882 |      344   2985 |        0 |        0
117.97/118.09	c  118s |      19 |   591827 |   582682 |      344   3028 |        0 |        0
119.97/120.10	c  120s |      19 |   601594 |   592282 |      344   3070 |        0 |        0
122.07/122.10	c  122s |      19 |   611070 |   601682 |      344   3112 |        0 |        0
124.08/124.11	c  124s |      19 |   620841 |   611282 |      344   3154 |        0 |        0
126.07/126.11	c  126s |      19 |   630769 |   621082 |      344   3198 |        0 |        0
128.07/128.13	c  128s |      19 |   641069 |   631282 |      344   3243 |        0 |        0
130.07/130.14	c  130s |      19 |   650677 |   640782 |      344   3285 |        0 |        0
132.08/132.15	c  132s |      19 |   660468 |   650382 |      344   3327 |        0 |        0
134.07/134.17	c  134s |      19 |   670470 |   660182 |      344   3371 |        0 |        0
135.48/135.56	c  135s |      20 |   677198 |   666827 |      379   3398 |        0 |        0
137.47/137.58	c  137s |      20 |   687703 |   677027 |      379   3439 |        0 |        0
139.47/139.59	c  139s |      20 |   698191 |   687327 |      379   3481 |        0 |        0
141.57/141.61	c  141s |      20 |   709054 |   698027 |      379   3525 |        0 |        0
143.57/143.62	c  143s |      20 |   719587 |   708427 |      379   3567 |        0 |        0
145.57/145.63	c  145s |      20 |   729736 |   718427 |      379   3607 |        0 |        0
147.57/147.64	c  147s |      20 |   739634 |   728227 |      379   3647 |        0 |        0
149.56/149.66	c  149s |      20 |   749955 |   738327 |      379   3688 |        0 |        0
151.56/151.66	c  151s |      20 |   759470 |   747727 |      379   3727 |        0 |        0
153.57/153.68	c  153s |      20 |   768937 |   757127 |      379   3765 |        0 |        0
155.57/155.68	c  155s |      20 |   778744 |   766827 |      379   3805 |        0 |        0
157.57/157.69	c  157s |      20 |   788540 |   776527 |      379   3844 |        0 |        0
159.58/159.69	c  159s |      20 |   798029 |   785927 |      379   3882 |        0 |        0
161.67/161.70	c  161s |      20 |   807631 |   795427 |      379   3921 |        0 |        0
163.67/163.71	c  163s |      20 |   817078 |   804827 |      379   3959 |        0 |        0
165.66/165.72	c  165s |      20 |   826656 |   814327 |      379   3998 |        0 |        0
167.67/167.72	c  167s |      20 |   835944 |   823527 |      379   4036 |        0 |        0
169.66/169.72	c  169s |      20 |   845309 |   832827 |      379   4075 |        0 |        0
171.67/171.73	c  171s |      20 |   855616 |   843027 |      379   4116 |        0 |        0
173.66/173.75	c  173s |      20 |   865501 |   852827 |      379   4156 |        0 |        0
175.66/175.76	c  175s |      20 |   875353 |   862527 |      379   4196 |        0 |        0
177.66/177.78	c  177s |      20 |   885055 |   872127 |      379   4235 |        0 |        0
179.66/179.79	c  179s |      20 |   894483 |   881427 |      379   4273 |        0 |        0
181.76/181.81	c  181s |      20 |   904330 |   891127 |      379   4312 |        0 |        0
183.77/183.81	c  183s |      20 |   913979 |   900627 |      379   4351 |        0 |        0
185.76/185.82	c  185s |      20 |   923481 |   910027 |      379   4390 |        0 |        0
187.76/187.84	c  187s |      20 |   933223 |   919627 |      379   4430 |        0 |        0
189.76/189.84	c  189s |      20 |   942806 |   929127 |      379   4469 |        0 |        0
191.76/191.85	c  191s |      20 |   952469 |   938627 |      379   4508 |        0 |        0
193.77/193.86	c  193s |      20 |   961876 |   947927 |      379   4546 |        0 |        0
195.76/195.86	c  195s |      20 |   971322 |   957227 |      379   4585 |        0 |        0
197.76/197.86	c  197s |      20 |   980632 |   966427 |      379   4623 |        0 |        0
199.76/199.88	c  199s |      20 |   990046 |   975727 |      379   4661 |        0 |        0
201.76/201.89	c  201s |      20 |   999701 |   985227 |      379   4701 |        0 |        0
203.86/203.91	c  203s |      20 |  1009111 |   994527 |      417   4739 |        0 |        0
205.05/205.10	c  205s |      21 |  1015081 |  1000345 |      417   4761 |        0 |        0
207.05/207.10	c  207s |      21 |  1025173 |  1010145 |      417   4798 |        0 |        0
209.06/209.10	c  209s |      21 |  1035019 |  1019745 |      417   4834 |        0 |        0
211.05/211.11	c  211s |      21 |  1045029 |  1029545 |      417   4872 |        0 |        0
213.05/213.12	c  213s |      21 |  1054835 |  1039245 |      417   4908 |        0 |        0
215.05/215.13	c  215s |      21 |  1064455 |  1048745 |      417   4944 |        0 |        0
217.05/217.13	c  217s |      21 |  1073964 |  1058145 |      417   4980 |        0 |        0
219.06/219.14	c  219s |      21 |  1083668 |  1067745 |      417   5016 |        0 |        0
221.06/221.16	c  221s |      21 |  1093232 |  1077145 |      417   5051 |        0 |        0
223.06/223.16	c  223s |      21 |  1102596 |  1086445 |      417   5087 |        0 |        0
225.06/225.18	c  225s |      21 |  1112231 |  1095945 |      417   5123 |        0 |        0
227.06/227.19	c  227s |      21 |  1121749 |  1105345 |      417   5159 |        0 |        0
229.16/229.20	c  229s |      21 |  1131639 |  1115045 |      417   5195 |        0 |        0
231.16/231.22	c  231s |      21 |  1141976 |  1125245 |      417   5234 |        0 |        0
233.15/233.24	c  233s |      21 |  1151973 |  1135145 |      417   5271 |        0 |        0
235.16/235.25	c  235s |      21 |  1161439 |  1144545 |      417   5307 |        0 |        0
237.15/237.27	c  237s |      21 |  1170618 |  1153645 |      417   5342 |        0 |        0
239.15/239.28	c  239s |      21 |  1179688 |  1162645 |      417   5376 |        0 |        0
241.16/241.29	c  241s |      21 |  1188766 |  1171645 |      417   5411 |        0 |        0
243.26/243.31	c  243s |      21 |  1198286 |  1181045 |      417   5446 |        0 |        0
245.25/245.32	c  245s |      21 |  1207593 |  1190245 |      417   5481 |        0 |        0
247.25/247.33	c  247s |      21 |  1216789 |  1199345 |      417   5515 |        0 |        0
249.25/249.34	c  249s |      21 |  1225839 |  1208345 |      417   5550 |        0 |        0
251.25/251.36	c  251s |      21 |  1235131 |  1217545 |      417   5585 |        0 |        0
253.25/253.37	c  253s |      21 |  1244198 |  1226545 |      417   5619 |        0 |        0
255.26/255.38	c  255s |      21 |  1253375 |  1235645 |      417   5654 |        0 |        0
257.25/257.39	c  257s |      21 |  1263212 |  1245245 |      417   5690 |        0 |        0
259.35/259.40	c  259s |      21 |  1272837 |  1254745 |      417   5726 |        0 |        0
261.35/261.41	c  261s |      21 |  1282701 |  1264345 |      417   5762 |        0 |        0
263.35/263.43	c  263s |      21 |  1292553 |  1273945 |      417   5799 |        0 |        0
265.35/265.44	c  265s |      21 |  1301964 |  1283245 |      417   5834 |        0 |        0
267.36/267.45	c  267s |      21 |  1311358 |  1292445 |      417   5869 |        0 |        0
269.35/269.47	c  269s |      21 |  1321048 |  1301845 |      417   5905 |        0 |        0
271.35/271.48	c  271s |      21 |  1330770 |  1311345 |      417   5941 |        0 |        0
273.35/273.48	c  273s |      21 |  1340238 |  1320645 |      417   5977 |        0 |        0
275.35/275.50	c  275s |      21 |  1350269 |  1330545 |      417   6015 |        0 |        0
277.45/277.50	c  277s |      21 |  1360630 |  1340745 |      417   6053 |        0 |        0
279.46/279.51	c  279s |      21 |  1370522 |  1350545 |      417   6090 |        0 |        0
281.45/281.52	c  281s |      21 |  1380357 |  1360245 |      417   6127 |        0 |        0
283.45/283.52	c  283s |      21 |  1390188 |  1369945 |      417   6164 |        0 |        0
285.45/285.52	c  285s |      21 |  1399582 |  1379245 |      417   6199 |        0 |        0
287.45/287.53	c  287s |      21 |  1408783 |  1388345 |      417   6234 |        0 |        0
289.45/289.54	c  289s |      21 |  1418227 |  1397645 |      417   6269 |        0 |        0
291.44/291.56	c  291s |      21 |  1427821 |  1407145 |      417   6305 |        0 |        0
293.44/293.56	c  293s |      21 |  1436930 |  1416145 |      417   6339 |        0 |        0
295.44/295.57	c  295s |      21 |  1446236 |  1425345 |      417   6374 |        0 |        0
297.45/297.58	c  297s |      21 |  1455402 |  1434445 |      417   6409 |        0 |        0
299.55/299.60	c  299s |      21 |  1464755 |  1443645 |      417   6445 |        0 |        0
301.55/301.62	c  301s |      21 |  1474148 |  1452845 |      417   6480 |        0 |        0
303.55/303.63	c  303s |      21 |  1483681 |  1462245 |      417   6515 |        0 |        0
305.55/305.64	c  305s |      21 |  1492863 |  1471345 |      417   6550 |        0 |        0
307.55/307.66	c  307s |      21 |  1502357 |  1480645 |      417   6586 |        0 |        0
309.55/309.67	c  309s |      21 |  1511660 |  1489845 |      417   6621 |        0 |        0
311.54/311.69	c  311s |      21 |  1520573 |  1498645 |      459   6652 |        0 |        0
312.04/312.12	c  312s |      22 |  1522567 |  1500622 |      459   6659 |        0 |        0
314.04/314.13	c  314s |      22 |  1531894 |  1509722 |      459   6691 |        0 |        0
316.04/316.15	c  316s |      22 |  1541302 |  1519022 |      459   6724 |        0 |        0
318.05/318.16	c  318s |      22 |  1550647 |  1528222 |      459   6756 |        0 |        0
320.04/320.17	c  320s |      22 |  1559923 |  1537422 |      459   6788 |        0 |        0
322.04/322.19	c  322s |      22 |  1569084 |  1546522 |      459   6820 |        0 |        0
324.14/324.20	c  324s |      22 |  1578141 |  1555522 |      459   6852 |        0 |        0
326.14/326.21	c  326s |      22 |  1587155 |  1564422 |      459   6883 |        0 |        0
328.14/328.21	c  328s |      22 |  1596246 |  1573422 |      459   6914 |        0 |        0
330.14/330.22	c  330s |      22 |  1605241 |  1582322 |      459   6946 |        0 |        0
332.14/332.24	c  332s |      22 |  1614376 |  1591322 |      459   6978 |        0 |        0
334.14/334.25	c  334s |      22 |  1624353 |  1601122 |      459   7012 |        0 |        0
336.14/336.26	c  336s |      22 |  1633385 |  1610022 |      459   7043 |        0 |        0
338.14/338.27	c  338s |      22 |  1642482 |  1619022 |      459   7075 |        0 |        0
340.14/340.29	c  340s |      22 |  1651827 |  1628222 |      459   7107 |        0 |        0
342.24/342.30	c  342s |      22 |  1660779 |  1637122 |      459   7139 |        0 |        0
344.24/344.31	c  344s |      22 |  1669958 |  1646222 |      459   7170 |        0 |        0
346.24/346.33	c  346s |      22 |  1679170 |  1655322 |      459   7202 |        0 |        0
348.24/348.35	c  348s |      22 |  1688269 |  1664322 |      459   7234 |        0 |        0
350.23/350.35	c  350s |      22 |  1697368 |  1673322 |      459   7266 |        0 |        0
352.23/352.36	c  352s |      22 |  1706573 |  1682422 |      459   7298 |        0 |        0
354.24/354.38	c  354s |      22 |  1715637 |  1691422 |      459   7330 |        0 |        0
356.33/356.40	c  356s |      22 |  1724413 |  1700122 |      459   7361 |        0 |        0
358.34/358.41	c  358s |      22 |  1733796 |  1709322 |      459   7393 |        0 |        0
360.34/360.42	c  360s |      22 |  1743036 |  1718422 |      459   7425 |        0 |        0
362.34/362.42	c  362s |      22 |  1752421 |  1727622 |      459   7457 |        0 |        0
364.34/364.43	c  364s |      22 |  1761887 |  1736922 |      459   7490 |        0 |        0
366.34/366.45	c  366s |      22 |  1771194 |  1746122 |      459   7522 |        0 |        0
368.34/368.45	c  368s |      22 |  1780313 |  1755122 |      459   7554 |        0 |        0
370.34/370.47	c  370s |      22 |  1790028 |  1764722 |      459   7587 |        0 |        0
372.34/372.47	c  372s |      22 |  1799414 |  1774022 |      459   7620 |        0 |        0
374.34/374.49	c  374s |      22 |  1808880 |  1783322 |      459   7653 |        0 |        0
376.43/376.50	c  376s |      22 |  1818338 |  1792622 |      459   7685 |        0 |        0
378.44/378.51	c  378s |      22 |  1827545 |  1801722 |      459   7717 |        0 |        0
380.43/380.52	c  380s |      22 |  1836413 |  1810522 |      459   7748 |        0 |        0
382.43/382.54	c  382s |      22 |  1845505 |  1819522 |      459   7780 |        0 |        0
384.43/384.55	c  384s |      22 |  1854279 |  1828222 |      459   7811 |        0 |        0
386.43/386.55	c  386s |      22 |  1863282 |  1837122 |      459   7842 |        0 |        0
388.44/388.57	c  388s |      22 |  1872052 |  1845822 |      459   7873 |        0 |        0
390.43/390.58	c  390s |      22 |  1880937 |  1854622 |      459   7904 |        0 |        0
392.43/392.59	c  392s |      22 |  1890024 |  1863622 |      459   7936 |        0 |        0
394.53/394.60	c  394s |      22 |  1898991 |  1872522 |      459   7968 |        0 |        0
396.53/396.61	c  396s |      22 |  1907750 |  1881222 |      459   7999 |        0 |        0
398.53/398.64	c  398s |      22 |  1916888 |  1890222 |      459   8031 |        0 |        0
400.53/400.65	c  400s |      22 |  1925573 |  1898822 |      459   8061 |        0 |        0
402.53/402.66	c  402s |      22 |  1934242 |  1907422 |      459   8091 |        0 |        0
404.53/404.68	c  404s |      22 |  1943118 |  1916222 |      459   8122 |        0 |        0
406.53/406.68	c  406s |      22 |  1952115 |  1925122 |      459   8153 |        0 |        0
408.63/408.70	c  408s |      22 |  1961487 |  1934422 |      459   8186 |        0 |        0
410.63/410.70	c  410s |      22 |  1970362 |  1943222 |      459   8217 |        0 |        0
412.63/412.72	c  412s |      22 |  1979133 |  1951922 |      459   8247 |        0 |        0
414.62/414.73	c  414s |      22 |  1988000 |  1960722 |      459   8278 |        0 |        0
416.62/416.73	c  416s |      22 |  1997241 |  1969822 |      459   8310 |        0 |        0
418.62/418.74	c  418s |      22 |  2006969 |  1979422 |      459   8344 |        0 |        0
420.62/420.75	c  420s |      22 |  2016257 |  1988622 |      459   8376 |        0 |        0
422.62/422.77	c  422s |      22 |  2025208 |  1997422 |      459   8407 |        0 |        0
424.63/424.78	c  424s |      22 |  2034436 |  2006522 |      459   8439 |        0 |        0
426.62/426.79	c  426s |      22 |  2043316 |  2015322 |      459   8470 |        0 |        0
428.62/428.79	c  428s |      22 |  2052297 |  2024222 |      459   8501 |        0 |        0
430.72/430.80	c  430s |      22 |  2061310 |  2033122 |      459   8533 |        0 |        0
432.72/432.81	c  432s |      22 |  2070284 |  2042022 |      459   8564 |        0 |        0
434.72/434.83	c  434s |      22 |  2079271 |  2050922 |      459   8596 |        0 |        0
436.73/436.84	c  436s |      22 |  2088488 |  2060022 |      459   8628 |        0 |        0
438.72/438.86	c  438s |      22 |  2097604 |  2069022 |      459   8660 |        0 |        0
440.72/440.87	c  440s |      22 |  2107095 |  2078422 |      459   8693 |        0 |        0
442.72/442.89	c  442s |      22 |  2116156 |  2087422 |      459   8724 |        0 |        0
444.72/444.89	c  444s |      22 |  2124816 |  2096022 |      459   8755 |        0 |        0
446.82/446.90	c  446s |      22 |  2133812 |  2104922 |      459   8786 |        0 |        0
448.72/448.90	c  448s |      22 |  2143086 |  2114122 |      459   8819 |        0 |        0
450.82/450.92	c  450s |      22 |  2152237 |  2123222 |      459   8851 |        0 |        0
452.82/452.94	c  452s |      22 |  2161100 |  2132022 |      459   8882 |        0 |        0
454.82/454.96	c  454s |      22 |  2169951 |  2140822 |      459   8914 |        0 |        0
456.82/456.98	c  456s |      22 |  2179105 |  2149922 |      459   8946 |        0 |        0
458.83/458.99	c  458s |      22 |  2188001 |  2158722 |      459   8976 |        0 |        0
460.93/461.01	c  460s |      22 |  2196983 |  2167622 |      459   9008 |        0 |        0
462.92/463.03	c  463s |      22 |  2205835 |  2176422 |      459   9039 |        0 |        0
464.92/465.04	c  465s |      22 |  2214844 |  2185322 |      459   9070 |        0 |        0
466.92/467.06	c  467s |      22 |  2223817 |  2194222 |      459   9101 |        0 |        0
468.92/469.08	c  469s |      22 |  2232687 |  2203022 |      459   9132 |        0 |        0
470.93/471.08	c  471s |      22 |  2241462 |  2211722 |      459   9163 |        0 |        0
472.92/473.10	c  473s |      22 |  2250560 |  2220722 |      459   9195 |        0 |        0
475.02/475.11	c  475s |      22 |  2259512 |  2229622 |      459   9226 |        0 |        0
477.02/477.12	c  477s |      22 |  2268514 |  2238522 |      505   9257 |        0 |        0
479.02/479.12	c  479s |      22 |  2277547 |  2247422 |      505   9286 |        0 |        0
479.82/479.96	c  479s |      23 |  2281203 |  2251038 |      505   9297 |        0 |        0
481.82/481.98	c  481s |      23 |  2290301 |  2259838 |      505   9326 |        0 |        0
483.92/484.00	c  483s |      23 |  2299423 |  2268838 |      505   9355 |        0 |        0
485.92/486.01	c  485s |      23 |  2308301 |  2277638 |      505   9384 |        0 |        0
487.92/488.02	c  488s |      23 |  2317578 |  2286738 |      505   9413 |        0 |        0
489.92/490.04	c  490s |      23 |  2326595 |  2295638 |      505   9442 |        0 |        0
491.92/492.06	c  492s |      23 |  2335322 |  2304238 |      505   9470 |        0 |        0
493.92/494.06	c  494s |      23 |  2344542 |  2313338 |      505   9500 |        0 |        0
495.92/496.08	c  496s |      23 |  2353389 |  2322038 |      505   9528 |        0 |        0
497.91/498.08	c  498s |      23 |  2362078 |  2330638 |      505   9556 |        0 |        0
499.91/500.09	c  500s |      23 |  2370752 |  2339238 |      505   9584 |        0 |        0
501.91/502.10	c  502s |      23 |  2379327 |  2347738 |      505   9612 |        0 |        0
504.01/504.10	c  504s |      23 |  2389472 |  2357738 |      505   9644 |        0 |        0
506.02/506.11	c  506s |      23 |  2399583 |  2367638 |      505   9676 |        0 |        0
508.01/508.11	c  508s |      23 |  2409233 |  2377138 |      505   9707 |        0 |        0
510.01/510.12	c  510s |      23 |  2418759 |  2386538 |      505   9737 |        0 |        0
512.01/512.13	c  512s |      23 |  2428293 |  2395938 |      505   9768 |        0 |        0
514.01/514.15	c  514s |      23 |  2437689 |  2405238 |      505   9798 |        0 |        0
516.01/516.16	c  516s |      23 |  2446610 |  2414038 |      505   9826 |        0 |        0
518.00/518.17	c  518s |      23 |  2455988 |  2423338 |      505   9856 |        0 |        0
520.01/520.18	c  520s |      23 |  2465317 |  2432538 |      505   9886 |        0 |        0
522.11/522.21	c  522s |      23 |  2474229 |  2441338 |      505   9915 |        0 |        0
524.11/524.21	c  524s |      23 |  2483153 |  2450138 |      505   9943 |        0 |        0
526.11/526.22	c  526s |      23 |  2492679 |  2459538 |      505   9974 |        0 |        0
528.11/528.23	c  528s |      23 |  2501608 |  2468338 |      505  10002 |        0 |        0
530.10/530.23	c  530s |      23 |  2510427 |  2477038 |      505  10031 |        0 |        0
532.10/532.23	c  532s |      23 |  2519451 |  2485938 |      505  10060 |        0 |        0
534.10/534.25	c  534s |      23 |  2528471 |  2494838 |      505  10088 |        0 |        0
536.10/536.25	c  536s |      23 |  2536988 |  2503238 |      505  10116 |        0 |        0
538.10/538.25	c  538s |      23 |  2545616 |  2511738 |      505  10144 |        0 |        0
540.10/540.26	c  540s |      23 |  2554675 |  2520638 |      505  10173 |        0 |        0
542.10/542.27	c  542s |      23 |  2563620 |  2529438 |      505  10201 |        0 |        0
544.10/544.29	c  544s |      23 |  2572228 |  2537938 |      505  10229 |        0 |        0
546.19/546.31	c  546s |      23 |  2581566 |  2547138 |      505  10259 |        0 |        0
548.19/548.31	c  548s |      23 |  2590989 |  2556438 |      505  10289 |        0 |        0
550.19/550.34	c  550s |      23 |  2600223 |  2565538 |      505  10319 |        0 |        0
552.20/552.35	c  552s |      23 |  2609132 |  2574338 |      505  10347 |        0 |        0
554.19/554.37	c  554s |      23 |  2618068 |  2583138 |      505  10376 |        0 |        0
556.19/556.37	c  556s |      23 |  2627143 |  2592038 |      505  10405 |        0 |        0
558.19/558.39	c  558s |      23 |  2636181 |  2600938 |      505  10434 |        0 |        0
560.19/560.39	c  560s |      23 |  2645550 |  2610138 |      505  10464 |        0 |        0
562.19/562.40	c  562s |      23 |  2654391 |  2618838 |      505  10492 |        0 |        0
564.29/564.42	c  564s |      23 |  2663322 |  2627638 |      505  10521 |        0 |        0
566.28/566.44	c  566s |      23 |  2672567 |  2636738 |      505  10550 |        0 |        0
568.28/568.45	c  568s |      23 |  2681835 |  2645838 |      505  10580 |        0 |        0
570.28/570.45	c  570s |      23 |  2690880 |  2654738 |      505  10609 |        0 |        0
572.28/572.47	c  572s |      23 |  2699797 |  2663538 |      505  10638 |        0 |        0
574.29/574.48	c  574s |      23 |  2708872 |  2672438 |      505  10667 |        0 |        0
576.38/576.50	c  576s |      23 |  2717948 |  2681338 |      505  10696 |        0 |        0
578.37/578.52	c  578s |      23 |  2728399 |  2691538 |      505  10729 |        0 |        0
580.37/580.52	c  580s |      23 |  2738209 |  2701238 |      505  10760 |        0 |        0
582.37/582.54	c  582s |      23 |  2748053 |  2710938 |      505  10792 |        0 |        0
584.37/584.55	c  584s |      23 |  2757681 |  2720438 |      505  10822 |        0 |        0
586.37/586.56	c  586s |      23 |  2767544 |  2730138 |      505  10854 |        0 |        0
588.36/588.56	c  588s |      23 |  2777150 |  2739638 |      505  10885 |        0 |        0
590.36/590.57	c  590s |      23 |  2787553 |  2749838 |      505  10918 |        0 |        0
592.36/592.57	c  592s |      23 |  2797090 |  2759238 |      505  10948 |        0 |        0
594.36/594.59	c  594s |      23 |  2806683 |  2768738 |      505  10979 |        0 |        0
596.46/596.61	c  596s |      23 |  2816632 |  2778538 |      505  11011 |        0 |        0
598.46/598.61	c  598s |      23 |  2826111 |  2787938 |      505  11041 |        0 |        0
600.46/600.61	c  600s |      23 |  2835500 |  2797138 |      505  11071 |        0 |        0
602.46/602.62	c  602s |      23 |  2844695 |  2806238 |      505  11100 |        0 |        0
604.46/604.64	c  604s |      23 |  2854556 |  2815938 |      505  11132 |        0 |        0
606.45/606.64	c  606s |      23 |  2863877 |  2825138 |      505  11162 |        0 |        0
608.45/608.67	c  608s |      23 |  2873189 |  2834338 |      505  11192 |        0 |        0
610.45/610.69	c  610s |      23 |  2882293 |  2843238 |      505  11221 |        0 |        0
612.45/612.69	c  612s |      23 |  2891350 |  2852138 |      505  11250 |        0 |        0
614.55/614.71	c  614s |      23 |  2900713 |  2861338 |      505  11280 |        0 |        0
616.54/616.72	c  616s |      23 |  2909946 |  2870438 |      505  11309 |        0 |        0
618.54/618.73	c  618s |      23 |  2919092 |  2879438 |      505  11339 |        0 |        0
620.54/620.73	c  620s |      23 |  2928123 |  2888338 |      505  11368 |        0 |        0
622.55/622.74	c  622s |      23 |  2937496 |  2897538 |      505  11398 |        0 |        0
624.54/624.75	c  624s |      23 |  2946633 |  2906538 |      505  11427 |        0 |        0
626.54/626.77	c  626s |      23 |  2955854 |  2915538 |      505  11456 |        0 |        0
628.54/628.77	c  628s |      23 |  2964669 |  2924238 |      505  11485 |        0 |        0
630.54/630.77	c  630s |      23 |  2973677 |  2933138 |      505  11514 |        0 |        0
632.55/632.77	c  632s |      23 |  2982583 |  2941938 |      505  11543 |        0 |        0
634.54/634.79	c  634s |      23 |  2991421 |  2950638 |      505  11572 |        0 |        0
636.64/636.80	c  636s |      23 |  3000316 |  2959438 |      505  11600 |        0 |        0
638.64/638.81	c  638s |      23 |  3009188 |  2968238 |      505  11629 |        0 |        0
640.64/640.81	c  640s |      23 |  3017859 |  2976838 |      505  11657 |        0 |        0
642.64/642.83	c  642s |      23 |  3026405 |  2985338 |      505  11685 |        0 |        0
644.65/644.86	c  644s |      23 |  3035083 |  2993938 |      505  11713 |        0 |        0
646.63/646.88	c  646s |      23 |  3044191 |  3002938 |      505  11743 |        0 |        0
648.63/648.88	c  648s |      23 |  3053918 |  3012538 |      505  11774 |        0 |        0
650.63/650.89	c  650s |      23 |  3063114 |  3021638 |      505  11803 |        0 |        0
652.73/652.90	c  652s |      23 |  3072211 |  3030638 |      505  11833 |        0 |        0
654.73/654.91	c  654s |      23 |  3081301 |  3039638 |      505  11862 |        0 |        0
656.74/656.92	c  656s |      23 |  3090318 |  3048538 |      505  11891 |        0 |        0
658.73/658.94	c  658s |      23 |  3099220 |  3057338 |      505  11920 |        0 |        0
660.73/660.94	c  660s |      23 |  3107779 |  3065838 |      505  11947 |        0 |        0
662.73/662.95	c  662s |      23 |  3116545 |  3074538 |      505  11976 |        0 |        0
664.73/664.97	c  664s |      23 |  3125473 |  3083338 |      505  12005 |        0 |        0
666.72/666.98	c  666s |      23 |  3134095 |  3091838 |      505  12032 |        0 |        0
668.73/668.98	c  668s |      23 |  3142583 |  3100238 |      505  12060 |        0 |        0
670.72/670.98	c  670s |      23 |  3151286 |  3108838 |      505  12088 |        0 |        0
672.82/673.00	c  672s |      23 |  3159874 |  3117338 |      505  12116 |        0 |        0
674.82/675.02	c  675s |      23 |  3168687 |  3126038 |      505  12144 |        0 |        0
676.82/677.03	c  677s |      23 |  3177214 |  3134438 |      505  12172 |        0 |        0
678.82/679.04	c  679s |      23 |  3186039 |  3143138 |      505  12200 |        0 |        0
680.82/681.04	c  681s |      23 |  3194637 |  3151638 |      505  12228 |        0 |        0
682.82/683.06	c  683s |      23 |  3203298 |  3160238 |      505  12256 |        0 |        0
684.81/685.08	c  685s |      23 |  3211995 |  3168838 |      505  12284 |        0 |        0
686.81/687.09	c  687s |      23 |  3220715 |  3177438 |      505  12312 |        0 |        0
688.91/689.11	c  689s |      23 |  3229518 |  3186138 |      505  12341 |        0 |        0
690.91/691.12	c  691s |      23 |  3238108 |  3194638 |      505  12369 |        0 |        0
692.91/693.13	c  693s |      23 |  3246609 |  3203038 |      505  12396 |        0 |        0
694.91/695.15	c  695s |      23 |  3255547 |  3211838 |      505  12425 |        0 |        0
696.90/697.16	c  697s |      23 |  3264624 |  3220738 |      505  12454 |        0 |        0
698.91/699.16	c  699s |      23 |  3273479 |  3229438 |      505  12483 |        0 |        0
700.91/701.16	c  701s |      23 |  3282306 |  3238138 |      505  12511 |        0 |        0
702.92/703.18	c  703s |      23 |  3291221 |  3246938 |      505  12540 |        0 |        0
704.91/705.19	c  705s |      23 |  3299791 |  3255438 |      505  12568 |        0 |        0
706.90/707.19	c  707s |      23 |  3308383 |  3263938 |      505  12596 |        0 |        0
709.00/709.20	c  709s |      23 |  3317429 |  3272838 |      505  12625 |        0 |        0
711.00/711.20	c  711s |      23 |  3326540 |  3281838 |      505  12655 |        0 |        0
713.00/713.21	c  713s |      23 |  3335307 |  3290538 |      505  12684 |        0 |        0
715.01/715.22	c  715s |      23 |  3344031 |  3299138 |      505  12712 |        0 |        0
717.00/717.23	c  717s |      23 |  3353173 |  3308138 |      505  12741 |        0 |        0
719.00/719.25	c  719s |      23 |  3363409 |  3318138 |      505  12773 |        0 |        0
721.00/721.25	c  721s |      23 |  3372731 |  3327338 |      505  12803 |        0 |        0
723.00/723.26	c  723s |      23 |  3382222 |  3336638 |      505  12833 |        0 |        0
724.99/725.27	c  725s |      23 |  3391518 |  3345738 |      505  12863 |        0 |        0
726.99/727.28	c  727s |      23 |  3400974 |  3354938 |      556  12892 |        0 |        0
728.99/729.28	c  729s |      23 |  3409881 |  3363638 |      556  12918 |        0 |        0
731.09/731.30	c  731s |      23 |  3418804 |  3372438 |      556  12944 |        0 |        0
731.99/732.25	c  732s |      24 |  3423114 |  3376662 |      556  12957 |        0 |        0
733.99/734.28	c  734s |      24 |  3432310 |  3385562 |      556  12983 |        0 |        0
736.09/736.30	c  736s |      24 |  3441150 |  3394262 |      556  13010 |        0 |        0
738.09/738.31	c  738s |      24 |  3450813 |  3403762 |      556  13038 |        0 |        0
740.08/740.31	c  740s |      24 |  3459788 |  3412562 |      556  13064 |        0 |        0
742.08/742.32	c  742s |      24 |  3468846 |  3421362 |      556  13091 |        0 |        0
744.08/744.34	c  744s |      24 |  3478005 |  3430362 |      556  13118 |        0 |        0
746.08/746.37	c  746s |      24 |  3486961 |  3439162 |      556  13145 |        0 |        0
748.07/748.38	c  748s |      24 |  3496103 |  3448162 |      556  13172 |        0 |        0
750.08/750.39	c  750s |      24 |  3505825 |  3457762 |      556  13200 |        0 |        0
752.17/752.41	c  752s |      24 |  3515098 |  3466962 |      556  13228 |        0 |        0
754.17/754.42	c  754s |      24 |  3524185 |  3475962 |      556  13255 |        0 |        0
756.17/756.43	c  756s |      24 |  3532867 |  3484562 |      556  13280 |        0 |        0
758.17/758.44	c  758s |      24 |  3541550 |  3493162 |      556  13306 |        0 |        0
760.17/760.46	c  760s |      24 |  3550071 |  3501562 |      556  13332 |        0 |        0
762.17/762.47	c  762s |      24 |  3558753 |  3510162 |      556  13357 |        0 |        0
764.16/764.48	c  764s |      24 |  3567457 |  3518762 |      556  13383 |        0 |        0
766.16/766.49	c  766s |      24 |  3576521 |  3527662 |      556  13410 |        0 |        0
768.26/768.50	c  768s |      24 |  3585309 |  3536362 |      556  13436 |        0 |        0
770.26/770.51	c  770s |      24 |  3594215 |  3545162 |      556  13463 |        0 |        0
772.26/772.54	c  772s |      24 |  3603626 |  3554462 |      556  13491 |        0 |        0
774.27/774.55	c  774s |      24 |  3612630 |  3563362 |      556  13518 |        0 |        0
776.26/776.55	c  776s |      24 |  3621322 |  3571962 |      556  13543 |        0 |        0
778.26/778.56	c  778s |      24 |  3629794 |  3580362 |      556  13569 |        0 |        0
780.26/780.57	c  780s |      24 |  3638717 |  3589162 |      556  13595 |        0 |        0
782.26/782.58	c  782s |      24 |  3648036 |  3598362 |      556  13623 |        0 |        0
784.26/784.59	c  784s |      24 |  3656801 |  3607062 |      556  13649 |        0 |        0
786.36/786.61	c  786s |      24 |  3665364 |  3615562 |      556  13675 |        0 |        0
788.35/788.62	c  788s |      24 |  3673951 |  3624062 |      556  13701 |        0 |        0
790.35/790.64	c  790s |      24 |  3682413 |  3632462 |      556  13726 |        0 |        0
792.35/792.65	c  792s |      24 |  3690859 |  3640862 |      556  13751 |        0 |        0
794.35/794.65	c  794s |      24 |  3699011 |  3648962 |      556  13776 |        0 |        0
796.35/796.66	c  796s |      24 |  3707554 |  3657462 |      556  13801 |        0 |        0
798.34/798.68	c  798s |      24 |  3715913 |  3665762 |      556  13826 |        0 |        0
800.34/800.69	c  800s |      24 |  3724368 |  3674162 |      556  13852 |        0 |        0
802.34/802.69	c  802s |      24 |  3733238 |  3682962 |      556  13878 |        0 |        0
804.44/804.71	c  804s |      24 |  3741992 |  3691662 |      556  13905 |        0 |        0
806.44/806.73	c  806s |      24 |  3750442 |  3700062 |      556  13930 |        0 |        0
808.45/808.74	c  808s |      24 |  3758999 |  3708562 |      556  13956 |        0 |        0
810.44/810.76	c  810s |      24 |  3767487 |  3716962 |      556  13981 |        0 |        0
812.44/812.78	c  812s |      24 |  3775945 |  3725362 |      556  14007 |        0 |        0
814.54/814.80	c  814s |      24 |  3784094 |  3733462 |      556  14031 |        0 |        0
816.53/816.81	c  816s |      24 |  3792433 |  3741762 |      556  14056 |        0 |        0
818.53/818.82	c  818s |      24 |  3800786 |  3750062 |      556  14081 |        0 |        0
820.54/820.83	c  820s |      24 |  3808845 |  3758062 |      556  14106 |        0 |        0
822.53/822.84	c  822s |      24 |  3817423 |  3766562 |      556  14131 |        0 |        0
824.53/824.85	c  824s |      24 |  3826004 |  3775062 |      556  14156 |        0 |        0
826.53/826.85	c  826s |      24 |  3834806 |  3783762 |      556  14182 |        0 |        0
828.53/828.86	c  828s |      24 |  3843378 |  3792262 |      556  14208 |        0 |        0
830.52/830.87	c  830s |      24 |  3851937 |  3800762 |      556  14233 |        0 |        0
832.53/832.87	c  832s |      24 |  3860399 |  3809162 |      556  14259 |        0 |        0
834.52/834.89	c  834s |      24 |  3869192 |  3817862 |      556  14285 |        0 |        0
836.52/836.90	c  836s |      24 |  3877792 |  3826362 |      556  14310 |        0 |        0
838.62/838.91	c  838s |      24 |  3886253 |  3834762 |      556  14336 |        0 |        0
840.62/840.92	c  840s |      24 |  3894950 |  3843362 |      556  14361 |        0 |        0
842.62/842.92	c  842s |      24 |  3903336 |  3851662 |      556  14386 |        0 |        0
844.62/844.94	c  844s |      24 |  3912207 |  3860462 |      556  14413 |        0 |        0
846.61/846.94	c  846s |      24 |  3920476 |  3868662 |      556  14437 |        0 |        0
848.61/848.94	c  848s |      24 |  3928422 |  3876562 |      556  14461 |        0 |        0
850.61/850.96	c  850s |      24 |  3936446 |  3884562 |      556  14485 |        0 |        0
852.61/852.97	c  852s |      24 |  3944595 |  3892662 |      556  14510 |        0 |        0
854.62/854.98	c  854s |      24 |  3952849 |  3900862 |      556  14535 |        0 |        0
856.60/856.98	c  856s |      24 |  3961827 |  3909762 |      556  14561 |        0 |        0
858.60/858.99	c  858s |      24 |  3970709 |  3918562 |      556  14587 |        0 |        0
860.70/861.00	c  860s |      24 |  3979281 |  3927062 |      556  14613 |        0 |        0
862.70/863.02	c  863s |      24 |  3987726 |  3935462 |      556  14638 |        0 |        0
864.71/865.03	c  865s |      24 |  3996247 |  3943862 |      556  14664 |        0 |        0
866.71/867.04	c  867s |      24 |  4004738 |  3952262 |      556  14689 |        0 |        0
868.71/869.05	c  869s |      24 |  4013637 |  3961062 |      556  14715 |        0 |        0
870.70/871.05	c  871s |      24 |  4022130 |  3969462 |      556  14740 |        0 |        0
872.70/873.06	c  873s |      24 |  4030493 |  3977762 |      556  14765 |        0 |        0
874.70/875.06	c  875s |      24 |  4038962 |  3986162 |      556  14791 |        0 |        0
876.70/877.08	c  877s |      24 |  4047436 |  3994562 |      556  14816 |        0 |        0
878.70/879.10	c  879s |      24 |  4055999 |  4003062 |      556  14842 |        0 |        0
880.80/881.10	c  881s |      24 |  4064338 |  4011362 |      556  14867 |        0 |        0
882.79/883.11	c  883s |      24 |  4072701 |  4019662 |      556  14892 |        0 |        0
884.79/885.13	c  885s |      24 |  4081372 |  4028262 |      556  14918 |        0 |        0
886.79/887.13	c  887s |      24 |  4089918 |  4036762 |      556  14943 |        0 |        0
888.79/889.13	c  889s |      24 |  4098502 |  4045262 |      556  14969 |        0 |        0
890.79/891.14	c  891s |      24 |  4107184 |  4053862 |      556  14995 |        0 |        0
892.78/893.17	c  893s |      24 |  4116047 |  4062662 |      556  15021 |        0 |        0
894.78/895.17	c  895s |      24 |  4124199 |  4070762 |      556  15046 |        0 |        0
896.78/897.19	c  897s |      24 |  4132482 |  4078962 |      556  15071 |        0 |        0
898.79/899.19	c  899s |      24 |  4140963 |  4087362 |      556  15096 |        0 |        0
900.89/901.20	c  901s |      24 |  4149320 |  4095662 |      556  15121 |        0 |        0
902.89/903.22	c  903s |      24 |  4157784 |  4104062 |      556  15146 |        0 |        0
904.89/905.23	c  905s |      24 |  4166015 |  4112262 |      556  15171 |        0 |        0
906.88/907.25	c  907s |      24 |  4174391 |  4120562 |      556  15196 |        0 |        0
908.88/909.27	c  909s |      24 |  4182851 |  4128962 |      556  15221 |        0 |        0
910.88/911.29	c  911s |      24 |  4190913 |  4136962 |      556  15246 |        0 |        0
912.98/913.31	c  913s |      24 |  4199064 |  4145062 |      556  15270 |        0 |        0
914.98/915.32	c  915s |      24 |  4207129 |  4153062 |      556  15294 |        0 |        0
916.97/917.32	c  917s |      24 |  4215300 |  4161162 |      556  15319 |        0 |        0
918.97/919.35	c  919s |      24 |  4223688 |  4169462 |      556  15344 |        0 |        0
920.97/921.36	c  921s |      24 |  4231953 |  4177662 |      556  15369 |        0 |        0
922.97/923.36	c  923s |      24 |  4240902 |  4186562 |      556  15395 |        0 |        0
924.98/925.36	c  925s |      24 |  4249568 |  4195162 |      556  15421 |        0 |        0
926.96/927.38	c  927s |      24 |  4258001 |  4203562 |      556  15447 |        0 |        0
929.06/929.40	c  929s |      24 |  4266574 |  4212062 |      556  15472 |        0 |        0
931.06/931.41	c  931s |      24 |  4274718 |  4220162 |      556  15497 |        0 |        0
933.06/933.42	c  933s |      24 |  4282988 |  4228362 |      556  15522 |        0 |        0
935.06/935.44	c  935s |      24 |  4291245 |  4236562 |      556  15546 |        0 |        0
937.06/937.46	c  937s |      24 |  4299608 |  4244862 |      556  15572 |        0 |        0
939.06/939.47	c  939s |      24 |  4308088 |  4253262 |      556  15597 |        0 |        0
941.06/941.48	c  941s |      24 |  4317789 |  4262862 |      556  15625 |        0 |        0
943.15/943.50	c  943s |      24 |  4327802 |  4272762 |      556  15655 |        0 |        0
945.15/945.51	c  945s |      24 |  4337265 |  4282162 |      556  15683 |        0 |        0
947.15/947.54	c  947s |      24 |  4346621 |  4291462 |      556  15711 |        0 |        0
949.16/949.55	c  949s |      24 |  4355752 |  4300562 |      556  15738 |        0 |        0
951.15/951.57	c  951s |      24 |  4364822 |  4309562 |      556  15765 |        0 |        0
953.15/953.58	c  953s |      24 |  4374007 |  4318662 |      556  15792 |        0 |        0
955.15/955.59	c  955s |      24 |  4383195 |  4327762 |      556  15819 |        0 |        0
957.25/957.60	c  957s |      24 |  4391975 |  4336462 |      556  15845 |        0 |        0
959.25/959.61	c  959s |      24 |  4400750 |  4345162 |      556  15871 |        0 |        0
961.26/961.63	c  961s |      24 |  4409742 |  4354062 |      556  15898 |        0 |        0
963.25/963.63	c  963s |      24 |  4418720 |  4362962 |      556  15925 |        0 |        0
965.25/965.65	c  965s |      24 |  4427689 |  4371862 |      556  15951 |        0 |        0
967.24/967.66	c  967s |      24 |  4436600 |  4380662 |      556  15978 |        0 |        0
969.24/969.68	c  969s |      24 |  4445375 |  4389362 |      556  16004 |        0 |        0
971.24/971.69	c  971s |      24 |  4454375 |  4398262 |      556  16030 |        0 |        0
973.35/973.71	c  973s |      24 |  4463123 |  4406962 |      556  16056 |        0 |        0
975.34/975.71	c  975s |      24 |  4471796 |  4415562 |      556  16082 |        0 |        0
977.34/977.73	c  977s |      24 |  4480472 |  4424162 |      556  16108 |        0 |        0
979.34/979.75	c  979s |      24 |  4489037 |  4432662 |      556  16134 |        0 |        0
981.34/981.77	c  981s |      24 |  4497942 |  4441462 |      556  16160 |        0 |        0
983.34/983.77	c  983s |      24 |  4506187 |  4449662 |      556  16185 |        0 |        0
985.34/985.78	c  985s |      24 |  4514551 |  4457962 |      556  16210 |        0 |        0
987.43/987.80	c  987s |      24 |  4523021 |  4466362 |      556  16235 |        0 |        0
989.43/989.81	c  989s |      24 |  4531720 |  4474962 |      556  16261 |        0 |        0
991.43/991.82	c  991s |      24 |  4540193 |  4483362 |      556  16286 |        0 |        0
993.43/993.82	c  993s |      24 |  4548661 |  4491762 |      556  16311 |        0 |        0
995.43/995.83	c  995s |      24 |  4557539 |  4500562 |      556  16338 |        0 |        0
997.43/997.83	c  997s |      24 |  4566218 |  4509162 |      556  16364 |        0 |        0
999.42/999.84	c  999s |      24 |  4574871 |  4517762 |      556  16389 |        0 |        0
1001.42/1001.86	c 1001s |      24 |  4583411 |  4526262 |      556  16415 |        0 |        0
1003.42/1003.88	c 1003s |      24 |  4591960 |  4534762 |      556  16441 |        0 |        0
1005.42/1005.89	c 1005s |      24 |  4600504 |  4543262 |      556  16466 |        0 |        0
1007.52/1007.90	c 1007s |      24 |  4609052 |  4551762 |      556  16492 |        0 |        0
1009.53/1009.91	c 1009s |      24 |  4617526 |  4560162 |      556  16517 |        0 |        0
1011.52/1011.92	c 1011s |      24 |  4625889 |  4568462 |      556  16542 |        0 |        0
1013.52/1013.93	c 1013s |      24 |  4634347 |  4576862 |      556  16567 |        0 |        0
1015.52/1015.94	c 1015s |      24 |  4642593 |  4585062 |      556  16592 |        0 |        0
1017.52/1017.95	c 1017s |      24 |  4651181 |  4593562 |      556  16618 |        0 |        0
1019.52/1019.97	c 1019s |      24 |  4659681 |  4601962 |      556  16643 |        0 |        0
1021.51/1021.98	c 1021s |      24 |  4668270 |  4610462 |      556  16668 |        0 |        0
1023.61/1024.00	c 1023s |      24 |  4676695 |  4618762 |      556  16693 |        0 |        0
1025.61/1026.02	c 1026s |      24 |  4685373 |  4627362 |      556  16719 |        0 |        0
1027.61/1028.03	c 1028s |      24 |  4693628 |  4635562 |      556  16744 |        0 |        0
1029.61/1030.04	c 1030s |      24 |  4702091 |  4643862 |      556  16769 |        0 |        0
1031.62/1032.06	c 1032s |      24 |  4710400 |  4652062 |      556  16794 |        0 |        0
1033.61/1034.08	c 1034s |      24 |  4719269 |  4660762 |      556  16820 |        0 |        0
1035.61/1036.09	c 1036s |      24 |  4727938 |  4669262 |      556  16845 |        0 |        0
1037.71/1038.11	c 1038s |      24 |  4736991 |  4678162 |      556  16872 |        0 |        0
1039.71/1040.13	c 1040s |      24 |  4745902 |  4686962 |      556  16899 |        0 |        0
1041.70/1042.14	c 1042s |      24 |  4754482 |  4695462 |      556  16924 |        0 |        0
1043.71/1044.15	c 1044s |      24 |  4762833 |  4703762 |      556  16949 |        0 |        0
1045.70/1046.17	c 1046s |      24 |  4771188 |  4712062 |      556  16974 |        0 |        0
1047.70/1048.19	c 1048s |      24 |  4779462 |  4720262 |      556  16999 |        0 |        0
1049.80/1050.21	c 1050s |      24 |  4787877 |  4728562 |      556  17024 |        0 |        0
1051.80/1052.21	c 1052s |      24 |  4796137 |  4736762 |      556  17049 |        0 |        0
1053.80/1054.22	c 1054s |      24 |  4804410 |  4744962 |      556  17073 |        0 |        0
1055.80/1056.23	c 1056s |      24 |  4812821 |  4753262 |      556  17099 |        0 |        0
1057.79/1058.24	c 1058s |      24 |  4821304 |  4761662 |      556  17124 |        0 |        0
1059.79/1060.26	c 1060s |      24 |  4829869 |  4770162 |      556  17149 |        0 |        0
1061.79/1062.27	c 1062s |      24 |  4838121 |  4778362 |      556  17174 |        0 |        0
1063.79/1064.29	c 1064s |      24 |  4847217 |  4787362 |      556  17201 |        0 |        0
1065.89/1066.31	c 1066s |      24 |  4855942 |  4795962 |      556  17227 |        0 |        0
1067.89/1068.32	c 1068s |      24 |  4864006 |  4803962 |      556  17251 |        0 |        0
1069.88/1070.33	c 1070s |      24 |  4872178 |  4812062 |      556  17275 |        0 |        0
1071.88/1072.35	c 1072s |      24 |  4880352 |  4820162 |      556  17300 |        0 |        0
1073.88/1074.37	c 1074s |      24 |  4888311 |  4828062 |      556  17323 |        0 |        0
1075.88/1076.39	c 1076s |      24 |  4896378 |  4836062 |      556  17347 |        0 |        0
1077.98/1078.41	c 1078s |      24 |  4904439 |  4844062 |      556  17372 |        0 |        0
1079.98/1080.42	c 1080s |      24 |  4912381 |  4851962 |      556  17395 |        0 |        0
1081.98/1082.44	c 1082s |      24 |  4920438 |  4859962 |      556  17420 |        0 |        0
1083.98/1084.44	c 1084s |      24 |  4928482 |  4867962 |      556  17444 |        0 |        0
1085.98/1086.44	c 1086s |      24 |  4936551 |  4875962 |      556  17468 |        0 |        0
1087.98/1088.45	c 1088s |      24 |  4944587 |  4883962 |      556  17492 |        0 |        0
1089.98/1090.46	c 1090s |      24 |  4952423 |  4891762 |      556  17516 |        0 |        0
1091.99/1092.48	c 1092s |      24 |  4960989 |  4900262 |      556  17541 |        0 |        0
1093.98/1094.49	c 1094s |      24 |  4969790 |  4908962 |      556  17567 |        0 |        0
1096.08/1096.52	c 1096s |      24 |  4978259 |  4917362 |      556  17593 |        0 |        0
1098.08/1098.54	c 1098s |      24 |  4986613 |  4925662 |      556  17618 |        0 |        0
1100.08/1100.55	c 1100s |      24 |  4994982 |  4933962 |      556  17643 |        0 |        0
1102.08/1102.57	c 1102s |      24 |  5003050 |  4941962 |      556  17667 |        0 |        0
1104.08/1104.57	c 1104s |      24 |  5011160 |  4949962 |      556  17691 |        0 |        0
1106.07/1106.58	c 1106s |      24 |  5019369 |  4958062 |      556  17715 |        0 |        0
1108.17/1108.61	c 1108s |      24 |  5027436 |  4966062 |      556  17740 |        0 |        0
1110.17/1110.62	c 1110s |      24 |  5035865 |  4974362 |      556  17765 |        0 |        0
1112.17/1112.63	c 1112s |      24 |  5043927 |  4982362 |      556  17789 |        0 |        0
1114.17/1114.63	c 1114s |      24 |  5052097 |  4990462 |      556  17813 |        0 |        0
1116.18/1116.65	c 1116s |      24 |  5060264 |  4998562 |      556  17838 |        0 |        0
1118.17/1118.66	c 1118s |      24 |  5068220 |  5006462 |      556  17862 |        0 |        0
1120.16/1120.68	c 1120s |      24 |  5076058 |  5014262 |      556  17885 |        0 |        0
1122.26/1122.70	c 1122s |      24 |  5084016 |  5022162 |      556  17909 |        0 |        0
1124.26/1124.72	c 1124s |      24 |  5091887 |  5029962 |      612  17932 |        0 |        0
1126.26/1126.75	c 1126s |      24 |  5099690 |  5037662 |      612  17954 |        0 |        0
1128.26/1128.77	c 1128s |      24 |  5107557 |  5045462 |      612  17976 |        0 |        0
1130.26/1130.78	c 1130s |      24 |  5115242 |  5053062 |      612  17997 |        0 |        0
1132.25/1132.79	c 1132s |      24 |  5123352 |  5061062 |      612  18019 |        0 |        0
1133.35/1133.82	c 1133s |      25 |  5127457 |  5065098 |      612  18030 |        0 |        0
1135.35/1135.84	c 1135s |      25 |  5135610 |  5072998 |      612  18052 |        0 |        0
1137.35/1137.86	c 1137s |      25 |  5143517 |  5080798 |      612  18074 |        0 |        0
1139.36/1139.87	c 1139s |      25 |  5151458 |  5088598 |      612  18095 |        0 |        0
1141.35/1141.89	c 1141s |      25 |  5159659 |  5096698 |      612  18118 |        0 |        0
1143.45/1143.90	c 1143s |      25 |  5167754 |  5104698 |      612  18140 |        0 |        0
1145.45/1145.92	c 1145s |      25 |  5176435 |  5113298 |      612  18164 |        0 |        0
1147.45/1147.92	c 1147s |      25 |  5184617 |  5121398 |      612  18186 |        0 |        0
1149.45/1149.93	c 1149s |      25 |  5192610 |  5129298 |      612  18208 |        0 |        0
1151.46/1151.94	c 1151s |      25 |  5200793 |  5137398 |      612  18230 |        0 |        0
1153.45/1153.95	c 1153s |      25 |  5209036 |  5145498 |      612  18253 |        0 |        0
1155.45/1155.95	c 1155s |      25 |  5217336 |  5153598 |      612  18275 |        0 |        0
1157.45/1157.95	c 1157s |      25 |  5225764 |  5161898 |      612  18298 |        0 |        0
1159.45/1159.96	c 1159s |      25 |  5233863 |  5169898 |      612  18320 |        0 |        0
1161.45/1161.97	c 1161s |      25 |  5242483 |  5178398 |      612  18344 |        0 |        0
1163.45/1163.97	c 1163s |      25 |  5250940 |  5186698 |      612  18367 |        0 |        0
1165.44/1166.00	c 1165s |      25 |  5258851 |  5194498 |      612  18389 |        0 |        0
1167.54/1168.01	c 1167s |      25 |  5266634 |  5202198 |      612  18410 |        0 |        0
1169.54/1170.03	c 1170s |      25 |  5274535 |  5209998 |      612  18432 |        0 |        0
1171.54/1172.03	c 1172s |      25 |  5282550 |  5217898 |      612  18454 |        0 |        0
1173.54/1174.05	c 1174s |      25 |  5290441 |  5225698 |      612  18475 |        0 |        0
1175.55/1176.07	c 1176s |      25 |  5299015 |  5234198 |      612  18499 |        0 |        0
1177.54/1178.07	c 1178s |      25 |  5307314 |  5242398 |      612  18522 |        0 |        0
1179.64/1180.10	c 1180s |      25 |  5316116 |  5251098 |      612  18546 |        0 |        0
1181.64/1182.10	c 1182s |      25 |  5324416 |  5259298 |      612  18568 |        0 |        0
1183.64/1184.11	c 1184s |      25 |  5332908 |  5267698 |      612  18592 |        0 |        0
1185.64/1186.13	c 1186s |      25 |  5341077 |  5275798 |      612  18614 |        0 |        0
1187.65/1188.15	c 1188s |      25 |  5349046 |  5283698 |      612  18636 |        0 |        0
1189.64/1190.16	c 1190s |      25 |  5357250 |  5291798 |      612  18658 |        0 |        0
1191.64/1192.17	c 1192s |      25 |  5365572 |  5299998 |      612  18681 |        0 |        0
1193.64/1194.18	c 1194s |      25 |  5373577 |  5307898 |      612  18703 |        0 |        0
1195.74/1196.20	c 1196s |      25 |  5381578 |  5315798 |      612  18725 |        0 |        0
1197.74/1198.21	c 1198s |      25 |  5390379 |  5324498 |      612  18749 |        0 |        0
1199.74/1200.23	c 1200s |      25 |  5399070 |  5333098 |      612  18773 |        0 |        0
1201.74/1202.24	c 1202s |      25 |  5407550 |  5341498 |      612  18796 |        0 |        0
1203.74/1204.26	c 1204s |      25 |  5415765 |  5349598 |      612  18819 |        0 |        0
1205.74/1206.28	c 1206s |      25 |  5423953 |  5357698 |      612  18841 |        0 |        0
1207.74/1208.29	c 1208s |      25 |  5432166 |  5365798 |      612  18864 |        0 |        0
1209.84/1210.31	c 1210s |      25 |  5440276 |  5373798 |      612  18886 |        0 |        0
1211.84/1212.34	c 1212s |      25 |  5448474 |  5381898 |      612  18908 |        0 |        0
1213.84/1214.34	c 1214s |      25 |  5456444 |  5389798 |      612  18930 |        0 |        0
1215.84/1216.37	c 1216s |      25 |  5464313 |  5397598 |      612  18952 |        0 |        0
1217.84/1218.39	c 1218s |      25 |  5472406 |  5405598 |      612  18975 |        0 |        0
1219.84/1220.39	c 1220s |      25 |  5480040 |  5413198 |      612  18996 |        0 |        0
1221.94/1222.41	c 1222s |      25 |  5487916 |  5420998 |      612  19017 |        0 |        0
1223.95/1224.42	c 1224s |      25 |  5495997 |  5428998 |      612  19040 |        0 |        0
1225.94/1226.43	c 1226s |      25 |  5503576 |  5436498 |      612  19061 |        0 |        0
1227.94/1228.44	c 1228s |      25 |  5511549 |  5444398 |      612  19083 |        0 |        0
1229.94/1230.44	c 1230s |      25 |  5519423 |  5452198 |      612  19104 |        0 |        0
1231.94/1232.45	c 1232s |      25 |  5527409 |  5460098 |      612  19126 |        0 |        0
1233.94/1234.46	c 1234s |      25 |  5535381 |  5467998 |      612  19148 |        0 |        0
1235.94/1236.48	c 1236s |      25 |  5543347 |  5475898 |      612  19170 |        0 |        0
1237.94/1238.49	c 1238s |      25 |  5551331 |  5483798 |      612  19192 |        0 |        0
1240.04/1240.50	c 1240s |      25 |  5559203 |  5491598 |      612  19214 |        0 |        0
1242.04/1242.53	c 1242s |      25 |  5567625 |  5499898 |      612  19237 |        0 |        0
1244.04/1244.53	c 1244s |      25 |  5575593 |  5507798 |      612  19258 |        0 |        0
1246.04/1246.54	c 1246s |      25 |  5583459 |  5515598 |      612  19280 |        0 |        0
1248.03/1248.56	c 1248s |      25 |  5591416 |  5523498 |      612  19302 |        0 |        0
1250.03/1250.56	c 1250s |      25 |  5599202 |  5531198 |      612  19323 |        0 |        0
1252.03/1252.56	c 1252s |      25 |  5607077 |  5538998 |      612  19345 |        0 |        0
1254.03/1254.58	c 1254s |      25 |  5615614 |  5547398 |      612  19368 |        0 |        0
1256.13/1256.60	c 1256s |      25 |  5623285 |  5554998 |      612  19389 |        0 |        0
1258.14/1258.61	c 1258s |      25 |  5630957 |  5562598 |      612  19410 |        0 |        0
1260.13/1260.62	c 1260s |      25 |  5638963 |  5570498 |      612  19432 |        0 |        0
1262.13/1262.63	c 1262s |      25 |  5646935 |  5578398 |      612  19454 |        0 |        0
1264.13/1264.63	c 1264s |      25 |  5656211 |  5587498 |      612  19479 |        0 |        0
1266.13/1266.64	c 1266s |      25 |  5665067 |  5596198 |      612  19503 |        0 |        0
1268.13/1268.65	c 1268s |      25 |  5673585 |  5604598 |      612  19527 |        0 |        0
1270.13/1270.65	c 1270s |      25 |  5681888 |  5612798 |      612  19549 |        0 |        0
1272.13/1272.66	c 1272s |      25 |  5690457 |  5621298 |      612  19573 |        0 |        0
1274.13/1274.68	c 1274s |      25 |  5698633 |  5629398 |      612  19595 |        0 |        0
1276.23/1276.70	c 1276s |      25 |  5706484 |  5637198 |      612  19617 |        0 |        0
1278.23/1278.70	c 1278s |      25 |  5714340 |  5644998 |      612  19638 |        0 |        0
1280.23/1280.72	c 1280s |      25 |  5722201 |  5652798 |      612  19660 |        0 |        0
1282.23/1282.73	c 1282s |      25 |  5730209 |  5660698 |      612  19682 |        0 |        0
1284.23/1284.74	c 1284s |      25 |  5738331 |  5668698 |      612  19704 |        0 |        0
1286.23/1286.75	c 1286s |      25 |  5747107 |  5677298 |      612  19728 |        0 |        0
1288.23/1288.75	c 1288s |      25 |  5755877 |  5685898 |      612  19752 |        0 |        0
1290.22/1290.77	c 1290s |      25 |  5764512 |  5694398 |      612  19775 |        0 |        0
1292.23/1292.79	c 1292s |      25 |  5772587 |  5702398 |      612  19797 |        0 |        0
1294.22/1294.80	c 1294s |      25 |  5780971 |  5710698 |      612  19820 |        0 |        0
1296.32/1296.82	c 1296s |      25 |  5788739 |  5718398 |      612  19842 |        0 |        0
1298.32/1298.82	c 1298s |      25 |  5796527 |  5726098 |      612  19863 |        0 |        0
1300.32/1300.82	c 1300s |      25 |  5804603 |  5734098 |      612  19885 |        0 |        0
1302.32/1302.84	c 1302s |      25 |  5812585 |  5741998 |      612  19907 |        0 |        0
1304.33/1304.85	c 1304s |      25 |  5820458 |  5749798 |      612  19929 |        0 |        0
1306.32/1306.87	c 1306s |      25 |  5828523 |  5757798 |      612  19951 |        0 |        0
1308.32/1308.88	c 1308s |      25 |  5836641 |  5765798 |      612  19973 |        0 |        0
1310.42/1310.90	c 1310s |      25 |  5844723 |  5773798 |      612  19995 |        0 |        0
1312.42/1312.90	c 1312s |      25 |  5852713 |  5781698 |      612  20017 |        0 |        0
1314.42/1314.90	c 1314s |      25 |  5860892 |  5789798 |      612  20040 |        0 |        0
1316.43/1316.91	c 1316s |      25 |  5868837 |  5797698 |      612  20062 |        0 |        0
1318.43/1318.92	c 1318s |      25 |  5877008 |  5805798 |      612  20084 |        0 |        0
1320.43/1320.93	c 1320s |      25 |  5884747 |  5813498 |      612  20105 |        0 |        0
1322.43/1322.95	c 1322s |      25 |  5892490 |  5821198 |      612  20127 |        0 |        0
1324.43/1324.96	c 1324s |      25 |  5900676 |  5829298 |      612  20149 |        0 |        0
1326.43/1326.98	c 1326s |      25 |  5908990 |  5837498 |      612  20172 |        0 |        0
1328.43/1329.00	c 1328s |      25 |  5916762 |  5845198 |      612  20193 |        0 |        0
1330.52/1331.02	c 1331s |      25 |  5924673 |  5852998 |      612  20215 |        0 |        0
1332.52/1333.03	c 1333s |      25 |  5932772 |  5860998 |      612  20237 |        0 |        0
1334.52/1335.05	c 1335s |      25 |  5940969 |  5869098 |      612  20260 |        0 |        0
1336.52/1337.06	c 1337s |      25 |  5949068 |  5877098 |      612  20282 |        0 |        0
1338.52/1339.08	c 1339s |      25 |  5957634 |  5885498 |      612  20305 |        0 |        0
1340.53/1341.09	c 1341s |      25 |  5965985 |  5893698 |      612  20328 |        0 |        0
1342.62/1343.10	c 1343s |      25 |  5974045 |  5901598 |      612  20350 |        0 |        0
1344.62/1345.11	c 1345s |      25 |  5982012 |  5909498 |      612  20372 |        0 |        0
1346.62/1347.11	c 1347s |      25 |  5989949 |  5917298 |      612  20394 |        0 |        0
1348.62/1349.14	c 1349s |      25 |  5997921 |  5925198 |      612  20416 |        0 |        0
1350.62/1351.15	c 1351s |      25 |  6006033 |  5933198 |      612  20438 |        0 |        0
1352.62/1353.15	c 1353s |      25 |  6014214 |  5941298 |      612  20461 |        0 |        0
1354.62/1355.16	c 1355s |      25 |  6022634 |  5949598 |      612  20484 |        0 |        0
1356.62/1357.17	c 1357s |      25 |  6031033 |  5957898 |      612  20507 |        0 |        0
1358.62/1359.18	c 1359s |      25 |  6039120 |  5965898 |      612  20529 |        0 |        0
1360.72/1361.21	c 1361s |      25 |  6047203 |  5973898 |      612  20551 |        0 |        0
1362.71/1363.21	c 1363s |      25 |  6055180 |  5981798 |      612  20573 |        0 |        0
1364.72/1365.22	c 1365s |      25 |  6063028 |  5989598 |      612  20595 |        0 |        0
1366.71/1367.24	c 1367s |      25 |  6071243 |  5997698 |      612  20618 |        0 |        0
1368.71/1369.24	c 1369s |      25 |  6079218 |  6005598 |      612  20640 |        0 |        0
1370.71/1371.26	c 1371s |      25 |  6087102 |  6013398 |      612  20661 |        0 |        0
1372.71/1373.27	c 1373s |      25 |  6094866 |  6021098 |      612  20683 |        0 |        0
1374.72/1375.28	c 1375s |      25 |  6102527 |  6028698 |      612  20704 |        0 |        0
1376.71/1377.29	c 1377s |      25 |  6110317 |  6036398 |      612  20726 |        0 |        0
1378.71/1379.29	c 1379s |      25 |  6117970 |  6043998 |      612  20747 |        0 |        0
1380.81/1381.31	c 1381s |      25 |  6126557 |  6052498 |      612  20771 |        0 |        0
1382.81/1383.32	c 1383s |      25 |  6135788 |  6061598 |      612  20796 |        0 |        0
1384.81/1385.34	c 1385s |      25 |  6144563 |  6070298 |      612  20819 |        0 |        0
1386.82/1387.37	c 1387s |      25 |  6153463 |  6079098 |      612  20844 |        0 |        0
1388.81/1389.38	c 1389s |      25 |  6162270 |  6087798 |      612  20868 |        0 |        0
1390.81/1391.39	c 1391s |      25 |  6170688 |  6096098 |      612  20890 |        0 |        0
1392.91/1393.40	c 1393s |      25 |  6179294 |  6104598 |      612  20914 |        0 |        0
1394.91/1395.41	c 1395s |      25 |  6187618 |  6112798 |      612  20937 |        0 |        0
1396.91/1397.42	c 1397s |      25 |  6196427 |  6121498 |      612  20961 |        0 |        0
1398.91/1399.42	c 1399s |      25 |  6204617 |  6129598 |      612  20983 |        0 |        0
1400.91/1401.43	c 1401s |      25 |  6212859 |  6137698 |      612  21005 |        0 |        0
1402.91/1403.44	c 1403s |      25 |  6221203 |  6145898 |      612  21028 |        0 |        0
1404.91/1405.46	c 1405s |      25 |  6229600 |  6154198 |      612  21051 |        0 |        0
1406.91/1407.48	c 1407s |      25 |  6237773 |  6162298 |      612  21073 |        0 |        0
1408.90/1409.49	c 1409s |      25 |  6245947 |  6170398 |      612  21096 |        0 |        0
1410.92/1411.50	c 1411s |      25 |  6253961 |  6178298 |      612  21118 |        0 |        0
1413.01/1413.51	c 1413s |      25 |  6261923 |  6186198 |      612  21140 |        0 |        0
1415.01/1415.53	c 1415s |      25 |  6269883 |  6194098 |      612  21162 |        0 |        0
1417.01/1417.54	c 1417s |      25 |  6277937 |  6202098 |      612  21184 |        0 |        0
1419.01/1419.54	c 1419s |      25 |  6285814 |  6209898 |      612  21205 |        0 |        0
1421.01/1421.55	c 1421s |      25 |  6293789 |  6217798 |      612  21227 |        0 |        0
1423.02/1423.57	c 1423s |      25 |  6302068 |  6225998 |      612  21250 |        0 |        0
1425.01/1425.58	c 1425s |      25 |  6310143 |  6233998 |      612  21272 |        0 |        0
1427.01/1427.59	c 1427s |      25 |  6318029 |  6241798 |      612  21294 |        0 |        0
1429.11/1429.60	c 1429s |      25 |  6325710 |  6249398 |      612  21315 |        0 |        0
1431.11/1431.60	c 1431s |      25 |  6333856 |  6257398 |      612  21337 |        0 |        0
1433.11/1433.61	c 1433s |      25 |  6341877 |  6265298 |      612  21359 |        0 |        0
1435.11/1435.63	c 1435s |      25 |  6349786 |  6273098 |      612  21381 |        0 |        0
1437.11/1437.65	c 1437s |      25 |  6357874 |  6281098 |      612  21403 |        0 |        0
1439.10/1439.66	c 1439s |      25 |  6365672 |  6288798 |      612  21424 |        0 |        0
1441.10/1441.66	c 1441s |      25 |  6373551 |  6296598 |      612  21446 |        0 |        0
1443.10/1443.69	c 1443s |      25 |  6381405 |  6304398 |      612  21468 |        0 |        0
1445.20/1445.71	c 1445s |      25 |  6389294 |  6312198 |      612  21489 |        0 |        0
1447.21/1447.73	c 1447s |      25 |  6397274 |  6320098 |      612  21511 |        0 |        0
1449.20/1449.74	c 1449s |      25 |  6405246 |  6327998 |      612  21533 |        0 |        0
1451.20/1451.75	c 1451s |      25 |  6412915 |  6335598 |      612  21555 |        0 |        0
1453.20/1453.76	c 1453s |      25 |  6420831 |  6343398 |      612  21576 |        0 |        0
1455.20/1455.78	c 1455s |      25 |  6428839 |  6351298 |      612  21598 |        0 |        0
1457.30/1457.80	c 1457s |      25 |  6436325 |  6358698 |      612  21619 |        0 |        0
1459.31/1459.83	c 1459s |      25 |  6443922 |  6366198 |      612  21640 |        0 |        0
1461.30/1461.83	c 1461s |      25 |  6451444 |  6373598 |      612  21660 |        0 |        0
1463.30/1463.84	c 1463s |      25 |  6458850 |  6380898 |      612  21681 |        0 |        0
1465.30/1465.84	c 1465s |      25 |  6466398 |  6388398 |      612  21702 |        0 |        0
1467.30/1467.86	c 1467s |      25 |  6474309 |  6396198 |      612  21723 |        0 |        0
1469.30/1469.86	c 1469s |      25 |  6482085 |  6403898 |      612  21745 |        0 |        0
1471.30/1471.87	c 1471s |      25 |  6489996 |  6411698 |      612  21767 |        0 |        0
1473.30/1473.89	c 1473s |      25 |  6498425 |  6419998 |      612  21789 |        0 |        0
1475.39/1475.90	c 1475s |      25 |  6506609 |  6428098 |      612  21812 |        0 |        0
1477.39/1477.92	c 1477s |      25 |  6514906 |  6436298 |      612  21835 |        0 |        0
1479.39/1479.94	c 1479s |      25 |  6523198 |  6444498 |      612  21857 |        0 |        0
1481.40/1481.94	c 1481s |      25 |  6531053 |  6452198 |      612  21879 |        0 |        0
1483.39/1483.95	c 1483s |      25 |  6539078 |  6460098 |      612  21901 |        0 |        0
1485.39/1485.95	c 1485s |      25 |  6547077 |  6467998 |      612  21922 |        0 |        0
1487.39/1487.97	c 1487s |      25 |  6555067 |  6475898 |      612  21945 |        0 |        0
1489.40/1489.98	c 1489s |      25 |  6562828 |  6483598 |      612  21966 |        0 |        0
1491.40/1491.99	c 1491s |      25 |  6571062 |  6491698 |      612  21989 |        0 |        0
1493.41/1493.99	c 1493s |      25 |  6579164 |  6499698 |      612  22011 |        0 |        0
1495.40/1495.99	c 1495s |      25 |  6587249 |  6507698 |      612  22033 |        0 |        0
1497.50/1498.00	c 1497s |      25 |  6595237 |  6515598 |      612  22055 |        0 |        0
1499.50/1500.02	c 1499s |      25 |  6603264 |  6523498 |      612  22077 |        0 |        0
1501.50/1502.03	c 1502s |      25 |  6611179 |  6531298 |      612  22099 |        0 |        0
1503.50/1504.04	c 1504s |      25 |  6618751 |  6538798 |      612  22120 |        0 |        0
1505.50/1506.06	c 1506s |      25 |  6626771 |  6546698 |      612  22142 |        0 |        0
1507.49/1508.07	c 1508s |      25 |  6634669 |  6554498 |      612  22163 |        0 |        0
1509.49/1510.07	c 1510s |      25 |  6642862 |  6562598 |      612  22186 |        0 |        0
1511.49/1512.07	c 1512s |      25 |  6650863 |  6570498 |      612  22208 |        0 |        0
1513.49/1514.08	c 1514s |      25 |  6658961 |  6578498 |      612  22230 |        0 |        0
1515.59/1516.10	c 1516s |      25 |  6666954 |  6586398 |      612  22252 |        0 |        0
1517.60/1518.12	c 1518s |      25 |  6675162 |  6594498 |      612  22275 |        0 |        0
1519.59/1520.12	c 1520s |      25 |  6682850 |  6602098 |      612  22296 |        0 |        0
1521.59/1522.13	c 1522s |      25 |  6691153 |  6610298 |      612  22318 |        0 |        0
1523.59/1524.15	c 1524s |      25 |  6699323 |  6618398 |      612  22341 |        0 |        0
1525.59/1526.17	c 1526s |      25 |  6707243 |  6626198 |      612  22363 |        0 |        0
1527.60/1528.19	c 1528s |      25 |  6714944 |  6633798 |      612  22384 |        0 |        0
1529.70/1530.21	c 1530s |      25 |  6723089 |  6641798 |      612  22406 |        0 |        0
1531.69/1532.23	c 1532s |      25 |  6731162 |  6649798 |      612  22428 |        0 |        0
1533.69/1534.24	c 1534s |      25 |  6739232 |  6657798 |      612  22451 |        0 |        0
1535.69/1536.26	c 1536s |      25 |  6747212 |  6665698 |      612  22473 |        0 |        0
1537.69/1538.28	c 1538s |      25 |  6755080 |  6673498 |      612  22494 |        0 |        0
1539.79/1540.30	c 1540s |      25 |  6762952 |  6681298 |      612  22516 |        0 |        0
1541.69/1542.30	c 1542s |      25 |  6770946 |  6689198 |      612  22538 |        0 |        0
1543.79/1544.33	c 1544s |      25 |  6779121 |  6697298 |      612  22561 |        0 |        0
1545.79/1546.34	c 1546s |      25 |  6786894 |  6704998 |      612  22582 |        0 |        0
1547.79/1548.35	c 1548s |      25 |  6794843 |  6712898 |      612  22604 |        0 |        0
1549.79/1550.36	c 1550s |      25 |  6802732 |  6720698 |      612  22626 |        0 |        0
1551.79/1552.38	c 1552s |      25 |  6810686 |  6728598 |      612  22648 |        0 |        0
1553.79/1554.39	c 1554s |      25 |  6818553 |  6736398 |      612  22670 |        0 |        0
1555.89/1556.40	c 1556s |      25 |  6826630 |  6744398 |      612  22692 |        0 |        0
1557.89/1558.42	c 1558s |      25 |  6834620 |  6752298 |      612  22714 |        0 |        0
1559.88/1560.43	c 1560s |      25 |  6842517 |  6760098 |      612  22736 |        0 |        0
1561.88/1562.44	c 1562s |      25 |  6850384 |  6767898 |      612  22758 |        0 |        0
1563.89/1564.46	c 1564s |      25 |  6858475 |  6775898 |      612  22780 |        0 |        0
1565.88/1566.48	c 1566s |      25 |  6866347 |  6783698 |      612  22802 |        0 |        0
1567.88/1568.48	c 1568s |      25 |  6873910 |  6791198 |      612  22823 |        0 |        0
1569.88/1570.48	c 1570s |      25 |  6882310 |  6799498 |      612  22846 |        0 |        0
1571.98/1572.50	c 1572s |      25 |  6890203 |  6807298 |      612  22868 |        0 |        0
1573.98/1574.50	c 1574s |      25 |  6898199 |  6815198 |      612  22890 |        0 |        0
1575.99/1576.51	c 1576s |      25 |  6906104 |  6822998 |      612  22912 |        0 |        0
1577.98/1578.53	c 1578s |      25 |  6914586 |  6831398 |      612  22935 |        0 |        0
1579.98/1580.55	c 1580s |      25 |  6922785 |  6839498 |      612  22958 |        0 |        0
1581.98/1582.55	c 1582s |      25 |  6930652 |  6847298 |      612  22979 |        0 |        0
1583.98/1584.56	c 1584s |      25 |  6938446 |  6854998 |      612  23001 |        0 |        0
1585.98/1586.56	c 1586s |      25 |  6946515 |  6862898 |      612  23023 |        0 |        0
1587.99/1588.56	c 1588s |      25 |  6954621 |  6870898 |      612  23045 |        0 |        0
1589.98/1590.58	c 1590s |      25 |  6962414 |  6878598 |      612  23067 |        0 |        0
1592.08/1592.60	c 1592s |      25 |  6970374 |  6886498 |      612  23089 |        0 |        0
1594.08/1594.61	c 1594s |      25 |  6978128 |  6894198 |      612  23110 |        0 |        0
1596.08/1596.63	c 1596s |      25 |  6985925 |  6901898 |      612  23132 |        0 |        0
1598.08/1598.64	c 1598s |      25 |  6993939 |  6909798 |      612  23154 |        0 |        0
1600.08/1600.64	c 1600s |      25 |  7002043 |  6917798 |      612  23176 |        0 |        0
1602.08/1602.66	c 1602s |      25 |  7010047 |  6925698 |      612  23198 |        0 |        0
1604.08/1604.67	c 1604s |      25 |  7017990 |  6933498 |      612  23220 |        0 |        0
1606.07/1606.68	c 1606s |      25 |  7025888 |  6941298 |      612  23242 |        0 |        0
1608.17/1608.70	c 1608s |      25 |  7034006 |  6949298 |      612  23264 |        0 |        0
1610.17/1610.72	c 1610s |      25 |  7042652 |  6957798 |      612  23288 |        0 |        0
1612.18/1612.72	c 1612s |      25 |  7050839 |  6965898 |      612  23311 |        0 |        0
1614.18/1614.74	c 1614s |      25 |  7059018 |  6973998 |      612  23333 |        0 |        0
1616.18/1616.76	c 1616s |      25 |  7067012 |  6981898 |      612  23355 |        0 |        0
1618.18/1618.77	c 1618s |      25 |  7075090 |  6989898 |      612  23378 |        0 |        0
1620.18/1620.78	c 1620s |      25 |  7083004 |  6997698 |      612  23399 |        0 |        0
1622.19/1622.78	c 1622s |      25 |  7091062 |  7005598 |      612  23421 |        0 |        0
1624.18/1624.79	c 1624s |      25 |  7099005 |  7013398 |      612  23443 |        0 |        0
1626.18/1626.79	c 1626s |      25 |  7106898 |  7021198 |      612  23465 |        0 |        0
1628.28/1628.80	c 1628s |      25 |  7114680 |  7028898 |      612  23487 |        0 |        0
1630.28/1630.81	c 1630s |      25 |  7122351 |  7036498 |      612  23508 |        0 |        0
1632.28/1632.81	c 1632s |      25 |  7130118 |  7044198 |      612  23529 |        0 |        0
1634.28/1634.81	c 1634s |      25 |  7137915 |  7051898 |      612  23551 |        0 |        0
1636.28/1636.83	c 1636s |      25 |  7146172 |  7059998 |      612  23574 |        0 |        0
1638.28/1638.84	c 1638s |      25 |  7154044 |  7067798 |      612  23595 |        0 |        0
1640.27/1640.86	c 1640s |      25 |  7161696 |  7075398 |      612  23617 |        0 |        0
1642.27/1642.86	c 1642s |      25 |  7169500 |  7083098 |      612  23638 |        0 |        0
1644.27/1644.88	c 1644s |      25 |  7177268 |  7090798 |      612  23660 |        0 |        0
1646.28/1646.88	c 1646s |      25 |  7186103 |  7099498 |      612  23684 |        0 |        0
1648.27/1648.89	c 1648s |      25 |  7195353 |  7108598 |      612  23709 |        0 |        0
1650.27/1650.89	c 1650s |      25 |  7204042 |  7117198 |      612  23733 |        0 |        0
1652.37/1652.91	c 1652s |      25 |  7212752 |  7125798 |      612  23756 |        0 |        0
1654.37/1654.92	c 1654s |      25 |  7221563 |  7134498 |      612  23780 |        0 |        0
1656.37/1656.93	c 1656s |      25 |  7229951 |  7142798 |      612  23803 |        0 |        0
1658.38/1658.96	c 1658s |      25 |  7238337 |  7151098 |      612  23826 |        0 |        0
1660.37/1660.96	c 1660s |      25 |  7246651 |  7159298 |      612  23849 |        0 |        0
1662.37/1662.97	c 1662s |      25 |  7254909 |  7167498 |      612  23871 |        0 |        0
1664.37/1664.98	c 1664s |      25 |  7263113 |  7175598 |      612  23894 |        0 |        0
1666.47/1667.00	c 1666s |      25 |  7271305 |  7183698 |      612  23916 |        0 |        0
1668.47/1669.00	c 1668s |      25 |  7279305 |  7191598 |      612  23938 |        0 |        0
1670.37/1671.00	c 1670s |      25 |  7287702 |  7199898 |      612  23961 |        0 |        0
1672.47/1673.02	c 1673s |      25 |  7296014 |  7208098 |      612  23983 |        0 |        0
1674.47/1675.02	c 1675s |      25 |  7303805 |  7215798 |      612  24005 |        0 |        0
1676.46/1677.04	c 1677s |      25 |  7311570 |  7223498 |      612  24026 |        0 |        0
1678.46/1679.04	c 1679s |      25 |  7319600 |  7231398 |      612  24048 |        0 |        0
1680.48/1681.05	c 1681s |      25 |  7327514 |  7239198 |      612  24070 |        0 |        0
1682.47/1683.06	c 1683s |      25 |  7335850 |  7247398 |      612  24092 |        0 |        0
1684.47/1685.08	c 1685s |      25 |  7343746 |  7255198 |      612  24114 |        0 |        0
1686.57/1687.10	c 1687s |      25 |  7351625 |  7262998 |      612  24135 |        0 |        0
1688.57/1689.13	c 1689s |      25 |  7359708 |  7270998 |      612  24158 |        0 |        0
1690.57/1691.13	c 1691s |      25 |  7367584 |  7278798 |      612  24179 |        0 |        0
1692.58/1693.15	c 1693s |      25 |  7375595 |  7286698 |      612  24201 |        0 |        0
1694.57/1695.16	c 1695s |      25 |  7383448 |  7294498 |      612  24223 |        0 |        0
1696.57/1697.18	c 1697s |      25 |  7391639 |  7302598 |      612  24246 |        0 |        0
1698.67/1699.20	c 1699s |      25 |  7399938 |  7310798 |      612  24268 |        0 |        0
1700.67/1701.21	c 1701s |      25 |  7407839 |  7318598 |      612  24290 |        0 |        0
1702.67/1703.23	c 1703s |      25 |  7415735 |  7326398 |      612  24312 |        0 |        0
1704.67/1705.23	c 1705s |      25 |  7423473 |  7334098 |      612  24333 |        0 |        0
1706.67/1707.25	c 1707s |      25 |  7431181 |  7341698 |      612  24354 |        0 |        0
1708.67/1709.26	c 1709s |      25 |  7439413 |  7349798 |      612  24377 |        0 |        0
1710.67/1711.28	c 1711s |      25 |  7447538 |  7357798 |      612  24399 |        0 |        0
1712.76/1713.30	c 1713s |      25 |  7455316 |  7365498 |      612  24420 |        0 |        0
1714.76/1715.32	c 1715s |      25 |  7463088 |  7373198 |      612  24442 |        0 |        0
1716.77/1717.32	c 1717s |      25 |  7470964 |  7380998 |      612  24463 |        0 |        0
1718.76/1719.33	c 1719s |      25 |  7478661 |  7388598 |      612  24484 |        0 |        0
1720.76/1721.34	c 1721s |      25 |  7486500 |  7396398 |      612  24506 |        0 |        0
1722.76/1723.36	c 1723s |      25 |  7494555 |  7404398 |      612  24528 |        0 |        0
1724.76/1725.39	c 1725s |      25 |  7502311 |  7412098 |      612  24550 |        0 |        0
1726.76/1727.39	c 1727s |      25 |  7509974 |  7419698 |      612  24571 |        0 |        0
1728.87/1729.40	c 1729s |      25 |  7518058 |  7427698 |      612  24593 |        0 |        0
1730.86/1731.42	c 1731s |      25 |  7525915 |  7435498 |      612  24615 |        0 |        0
1732.86/1733.42	c 1733s |      25 |  7533669 |  7443198 |      612  24636 |        0 |        0
1734.86/1735.43	c 1735s |      25 |  7541533 |  7450998 |      612  24658 |        0 |        0
1736.86/1737.45	c 1737s |      25 |  7549377 |  7458798 |      612  24680 |        0 |        0
1738.86/1739.46	c 1739s |      25 |  7557222 |  7466598 |      612  24702 |        0 |        0
1740.86/1741.48	c 1741s |      25 |  7564984 |  7474298 |      612  24723 |        0 |        0
1742.86/1743.48	c 1743s |      25 |  7572859 |  7482098 |      612  24745 |        0 |        0
1744.85/1745.50	c 1745s |      25 |  7580715 |  7489898 |      612  24767 |        0 |        0
1746.95/1747.50	c 1747s |      25 |  7588471 |  7497598 |      612  24788 |        0 |        0
1748.95/1749.52	c 1749s |      25 |  7596540 |  7505598 |      612  24810 |        0 |        0
1750.95/1751.52	c 1751s |      25 |  7604097 |  7513098 |      612  24831 |        0 |        0
1752.96/1753.53	c 1753s |      25 |  7611634 |  7520598 |      612  24852 |        0 |        0
1754.95/1755.55	c 1755s |      25 |  7619624 |  7528498 |      612  24875 |        0 |        0
1756.95/1757.58	c 1757s |      25 |  7627289 |  7536098 |      612  24896 |        0 |        0
1758.95/1759.58	c 1759s |      25 |  7635427 |  7544098 |      674  24918 |        0 |        0
1760.96/1761.59	c 1761s |      25 |  7643323 |  7551898 |      674  24938 |        0 |        0
1762.97/1763.59	c 1763s |      25 |  7651042 |  7559498 |      674  24957 |        0 |        0
1765.07/1765.61	c 1765s |      25 |  7659012 |  7567398 |      674  24977 |        0 |        0
1767.06/1767.62	c 1767s |      25 |  7667087 |  7575398 |      674  24997 |        0 |        0
1769.06/1769.62	c 1769s |      25 |  7674974 |  7583198 |      674  25017 |        0 |        0
1771.06/1771.63	c 1771s |      25 |  7682903 |  7590998 |      674  25037 |        0 |        0
1772.76/1773.31	c 1773s |      26 |  7689743 |  7597752 |      674  25054 |        0 |        0
1774.76/1775.31	c 1775s |      26 |  7697644 |  7605452 |      674  25074 |        0 |        0
1776.76/1777.33	c 1777s |      26 |  7705842 |  7613552 |      674  25094 |        0 |        0
1778.76/1779.33	c 1779s |      26 |  7713867 |  7621452 |      674  25115 |        0 |        0
1780.76/1781.34	c 1781s |      26 |  7721792 |  7629252 |      674  25135 |        0 |        0
1782.76/1783.36	c 1783s |      26 |  7730323 |  7637652 |      674  25156 |        0 |        0
1784.76/1785.36	c 1785s |      26 |  7738560 |  7645752 |      674  25177 |        0 |        0
1786.76/1787.38	c 1787s |      26 |  7746584 |  7653652 |      674  25197 |        0 |        0
1788.76/1789.39	c 1789s |      26 |  7754498 |  7661452 |      674  25217 |        0 |        0
1790.85/1791.41	c 1791s |      26 |  7762511 |  7669352 |      674  25237 |        0 |        0
1792.85/1793.42	c 1793s |      26 |  7770637 |  7677352 |      674  25257 |        0 |        0
1794.86/1795.43	c 1795s |      26 |  7778869 |  7685452 |      674  25278 |        0 |        0
1796.85/1797.43	c 1797s |      26 |  7786701 |  7693152 |      674  25297 |        0 |        0
1798.85/1799.44	c 1799s |      26 |  7794483 |  7700852 |      674  25317 |        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-4079751-1465244744/watcher-4079751-1465244744 -o /tmp/evaluation-result-4079751-1465244744/solver-4079751-1465244744 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465216678-13092 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079751-1465244744.opb 

pid=17124
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.26 2.28 2.27 4/179 17127
/proc/meminfo: memFree=29300108/32872528 swapFree=16636/1570076
[pid=17127] ppid=17124 vsize=704956 CPUtime=0 cores=1,3,5,7
/proc/17127/stat : 17127 (toysat) R 17124 17127 13075 0 -1 4202496 2629 0 0 0 0 0 0 0 20 0 4 0 106406753 721874944 2989 33554432000 4194304 16246674 140733646402864 140733646402288 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17127/statm: 177007 2998 441 2943 0 173901 0
[pid=17127/tid=17128] ppid=17124 vsize=723388 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17128/stat : 17128 (toysat) S 17124 17127 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106406753 740749312 3061 33554432000 4194304 16246674 140733646402864 140223971306736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17127/tid=17129] ppid=17124 vsize=727484 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17129/stat : 17129 (toysat) S 17124 17127 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106406753 744943616 3077 33554432000 4194304 16246674 140733646402864 140223960816880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17127/tid=17130] ppid=17124 vsize=732604 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17130/stat : 17130 (toysat) S 17124 17127 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106406753 750186496 3095 33554432000 4194304 16246674 140733646402864 140223950343344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100155 s]
/proc/loadavg: 2.26 2.28 2.27 4/179 17127
/proc/meminfo: memFree=29300108/32872528 swapFree=16636/1570076
[pid=17127] ppid=17124 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/17127/stat : 17127 (toysat) R 17124 17127 13075 0 -1 4202496 21549 0 0 0 6 3 0 0 20 0 4 0 106406753 1247350784 21896 33554432000 4194304 16246674 140733646402864 140733646402288 5711820 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17127/statm: 304529 21901 769 2943 0 301423 0
[pid=17127/tid=17128] ppid=17124 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17128/stat : 17128 (toysat) S 17124 17127 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106406753 1247350784 21908 33554432000 4194304 16246674 140733646402864 140223971306736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17127/tid=17129] ppid=17124 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17129/stat : 17129 (toysat) S 17124 17127 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106406753 1247350784 21915 33554432000 4194304 16246674 140733646402864 140223960816880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17127/tid=17130] ppid=17124 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17130/stat : 17130 (toysat) S 17124 17127 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106406753 1247350784 21920 33554432000 4194304 16246674 140733646402864 140223950343344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200544 s]
/proc/loadavg: 2.26 2.28 2.27 4/179 17127
/proc/meminfo: memFree=29300108/32872528 swapFree=16636/1570076
[pid=17127] ppid=17124 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/17127/stat : 17127 (toysat) R 17124 17127 13075 0 -1 4202496 41174 0 0 0 13 6 0 0 20 0 4 0 106406753 1247350784 41521 33554432000 4194304 16246674 140733646402864 140733646385856 5711820 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17127/statm: 304529 41525 769 2943 0 301423 0
[pid=17127/tid=17128] ppid=17124 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17128/stat : 17128 (toysat) S 17124 17127 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106406753 1247350784 41529 33554432000 4194304 16246674 140733646402864 140223971306736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17127/tid=17129] ppid=17124 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17129/stat : 17129 (toysat) S 17124 17127 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106406753 1247350784 41536 33554432000 4194304 16246674 140733646402864 140223960816880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17127/tid=17130] ppid=17124 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17130/stat : 17130 (toysat) S 17124 17127 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106406753 1247350784 41543 33554432000 4194304 16246674 140733646402864 140223950343344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300483 s]
/proc/loadavg: 2.26 2.28 2.27 4/179 17127
/proc/meminfo: memFree=29300108/32872528 swapFree=16636/1570076
[pid=17127] ppid=17124 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/17127/stat : 17127 (toysat) R 17124 17127 13075 0 -1 4202496 60826 0 0 0 21 8 0 0 20 0 4 0 106406753 1247350784 61173 33554432000 4194304 16246674 140733646402864 140733646385856 5677541 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17127/statm: 304529 61178 769 2943 0 301423 0
[pid=17127/tid=17128] ppid=17124 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17128/stat : 17128 (toysat) S 17124 17127 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106406753 1247350784 61183 33554432000 4194304 16246674 140733646402864 140223971306736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17127/tid=17129] ppid=17124 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17129/stat : 17129 (toysat) S 17124 17127 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106406753 1247350784 61193 33554432000 4194304 16246674 140733646402864 140223960816880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17127/tid=17130] ppid=17124 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17130/stat : 17130 (toysat) S 17124 17127 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106406753 1247350784 61198 33554432000 4194304 16246674 140733646402864 140223950343344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700452 s]
/proc/loadavg: 2.26 2.28 2.27 4/179 17127
/proc/meminfo: memFree=29300108/32872528 swapFree=16636/1570076
[pid=17127] ppid=17124 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/17127/stat : 17127 (toysat) R 17124 17127 13075 0 -1 4202496 143752 0 0 0 51 18 0 0 20 0 4 0 106406753 1247350784 144099 33554432000 4194304 16246674 140733646402864 140733646385856 6010521 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17127/statm: 304529 144109 770 2943 0 301423 0
[pid=17127/tid=17128] ppid=17124 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17128/stat : 17128 (toysat) S 17124 17127 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106406753 1247350784 144112 33554432000 4194304 16246674 140733646402864 140223971306736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17127/tid=17129] ppid=17124 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17129/stat : 17129 (toysat) S 17124 17127 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106406753 1247350784 144115 33554432000 4194304 16246674 140733646402864 140223960816880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17127/tid=17130] ppid=17124 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17130/stat : 17130 (toysat) S 17124 17127 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106406753 1247350784 144118 33554432000 4194304 16246674 140733646402864 140223950343344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50047 s]
/proc/loadavg: 2.24 2.27 2.26 3/183 17131
/proc/meminfo: memFree=28316288/32872528 swapFree=16636/1570076
[pid=17127] ppid=17124 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/17127/stat : 17127 (toysat) R 17124 17127 13075 0 -1 4202496 245705 0 0 0 117 32 0 0 20 0 4 0 106406753 1248399360 246030 33554432000 4194304 16246674 140733646402864 140733646402176 5600176 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17127/statm: 304785 246030 832 2943 0 301679 0
[pid=17127/tid=17128] ppid=17124 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17128/stat : 17128 (toysat) S 17124 17127 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106406753 1248399360 246030 33554432000 4194304 16246674 140733646402864 140223971306736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17127/tid=17129] ppid=17124 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17129/stat : 17129 (toysat) S 17124 17127 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106406753 1248399360 246030 33554432000 4194304 16246674 140733646402864 140223960816880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17127/tid=17130] ppid=17124 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17130/stat : 17130 (toysat) S 17124 17127 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106406753 1248399360 246030 33554432000 4194304 16246674 140733646402864 140223950343344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10045 s]
/proc/loadavg: 2.24 2.27 2.26 3/183 17131
/proc/meminfo: memFree=28228992/32872528 swapFree=16636/1570076
[pid=17127] ppid=17124 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/17127/stat : 17127 (toysat) R 17124 17127 13075 0 -1 4202496 267467 0 0 0 274 35 0 0 20 0 4 0 106406753 1337528320 267792 33554432000 4194304 16246674 140733646402864 140733646384768 13943600 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17127/statm: 326545 267792 832 2943 0 323439 0
[pid=17127/tid=17128] ppid=17124 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17128/stat : 17128 (toysat) S 17124 17127 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106406753 1337528320 267792 33554432000 4194304 16246674 140733646402864 140223971306736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17127/tid=17129] ppid=17124 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17129/stat : 17129 (toysat) S 17124 17127 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106406753 1337528320 267792 33554432000 4194304 16246674 140733646402864 140223960816880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17127/tid=17130] ppid=17124 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17130/stat : 17130 (toysat) S 17124 17127 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106406753 1337528320 267792 33554432000 4194304 16246674 140733646402864 140223950343344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30045 s]
/proc/loadavg: 2.22 2.27 2.26 3/183 17131
/proc/meminfo: memFree=28228576/32872528 swapFree=16636/1570076
[pid=17127] ppid=17124 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/17127/stat : 17127 (toysat) R 17124 17127 13075 0 -1 4202496 267532 0 0 0 594 35 0 0 20 0 4 0 106406753 1337528320 267857 33554432000 4194304 16246674 140733646402864 140733646384768 5600232 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17127/statm: 326545 267857 832 2943 0 323439 0
[pid=17127/tid=17128] ppid=17124 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17128/stat : 17128 (toysat) S 17124 17127 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106406753 1337528320 267857 33554432000 4194304 16246674 140733646402864 140223971306736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17127/tid=17129] ppid=17124 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17129/stat : 17129 (toysat) S 17124 17127 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106406753 1337528320 267857 33554432000 4194304 16246674 140733646402864 140223960816880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17127/tid=17130] ppid=17124 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17130/stat : 17130 (toysat) S 17124 17127 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106406753 1337528320 267857 33554432000 4194304 16246674 140733646402864 140223950343344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.20 2.26 2.26 3/183 17131
/proc/meminfo: memFree=28228280/32872528 swapFree=16636/1570076
[pid=17127] ppid=17124 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/17127/stat : 17127 (toysat) R 17124 17127 13075 0 -1 4202496 267620 0 0 0 1234 35 0 0 20 0 4 0 106406753 1337528320 267945 33554432000 4194304 16246674 140733646402864 140733646384768 5721725 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17127/statm: 326545 267945 832 2943 0 323439 0
[pid=17127/tid=17128] ppid=17124 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17128/stat : 17128 (toysat) S 17124 17127 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106406753 1337528320 267945 33554432000 4194304 16246674 140733646402864 140223971306736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17127/tid=17129] ppid=17124 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17129/stat : 17129 (toysat) S 17124 17127 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106406753 1337528320 267945 33554432000 4194304 16246674 140733646402864 140223960816880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17127/tid=17130] ppid=17124 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17130/stat : 17130 (toysat) S 17124 17127 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106406753 1337528320 267945 33554432000 4194304 16246674 140733646402864 140223950343344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5075 s]
/proc/loadavg: 2.16 2.25 2.26 3/183 17131
/proc/meminfo: memFree=28228420/32872528 swapFree=16636/1570076
[pid=17127] ppid=17124 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/17127/stat : 17127 (toysat) R 17124 17127 13075 0 -1 4202496 267622 0 0 0 2514 35 0 0 20 0 4 0 106406753 1337528320 267947 33554432000 4194304 16246674 140733646402864 140733646384768 13820875 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17127/statm: 326545 267947 834 2943 0 323439 0
[pid=17127/tid=17128] ppid=17124 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17128/stat : 17128 (toysat) S 17124 17127 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106406753 1337528320 267947 33554432000 4194304 16246674 140733646402864 140223971306736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17127/tid=17129] ppid=17124 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17129/stat : 17129 (toysat) S 17124 17127 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106406753 1337528320 267947 33554432000 4194304 16246674 140733646402864 140223960816880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17127/tid=17130] ppid=17124 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17130/stat : 17130 (toysat) S 17124 17127 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106406753 1337528320 267947 33554432000 4194304 16246674 140733646402864 140223950343344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.17 2.24 2.26 3/183 17131
/proc/meminfo: memFree=28228424/32872528 swapFree=16636/1570076
[pid=17127] ppid=17124 vsize=1306180 CPUtime=51.09 cores=1,3,5,7
/proc/17127/stat : 17127 (toysat) R 17124 17127 13075 0 -1 4202496 267623 0 0 0 5073 36 0 0 20 0 4 0 106406753 1337528320 267948 33554432000 4194304 16246674 140733646402864 140733646384768 5545916 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17127/statm: 326545 267948 834 2943 0 323439 0
[pid=17127/tid=17128] ppid=17124 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17128/stat : 17128 (toysat) S 17124 17127 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106406753 1337528320 267948 33554432000 4194304 16246674 140733646402864 140223971306736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17127/tid=17129] ppid=17124 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17129/stat : 17129 (toysat) S 17124 17127 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106406753 1337528320 267948 33554432000 4194304 16246674 140733646402864 140223960816880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17127/tid=17130] ppid=17124 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17130/stat : 17130 (toysat) S 17124 17127 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106406753 1337528320 267948 33554432000 4194304 16246674 140733646402864 140223950343344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.17 2.23 2.25 3/183 17132
/proc/meminfo: memFree=28227800/32872528 swapFree=16636/1570076
[pid=17127] ppid=17124 vsize=1307204 CPUtime=102.27 cores=1,3,5,7
/proc/17127/stat : 17127 (toysat) R 17124 17127 13075 0 -1 4202496 267666 0 0 0 10191 36 0 0 20 0 4 0 106406753 1338576896 267991 33554432000 4194304 16246674 140733646402864 140733646384768 5711326 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17127/statm: 326801 267991 836 2943 0 323695 0
[pid=17127/tid=17128] ppid=17124 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17128/stat : 17128 (toysat) S 17124 17127 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106406753 1338576896 267991 33554432000 4194304 16246674 140733646402864 140223971306736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17127/tid=17129] ppid=17124 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17129/stat : 17129 (toysat) S 17124 17127 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106406753 1338576896 267991 33554432000 4194304 16246674 140733646402864 140223960816880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17127/tid=17130] ppid=17124 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17130/stat : 17130 (toysat) S 17124 17127 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106406753 1338576896 267991 33554432000 4194304 16246674 140733646402864 140223950343344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1307204


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

/proc/17127/task/17130/stat : 17130 (toysat) S 17124 17127 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106406753 1338576896 268212 33554432000 4194304 16246674 140733646402864 140223950343344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.40 2.27 2.20 3/183 17212
/proc/meminfo: memFree=28312180/32872528 swapFree=16636/1570076
[pid=17127] ppid=17124 vsize=1307204 CPUtime=1361.82 cores=1,3,5,7
/proc/17127/stat : 17127 (toysat) R 17124 17127 13075 0 -1 4202496 268298 0 0 0 136125 57 0 0 20 0 4 0 106406753 1338576896 268212 33554432000 4194304 16246674 140733646402864 140733646384768 5545894 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17127/statm: 326801 268212 837 2943 0 323695 0
[pid=17127/tid=17128] ppid=17124 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17128/stat : 17128 (toysat) S 17124 17127 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106406753 1338576896 268212 33554432000 4194304 16246674 140733646402864 140223971306736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17127/tid=17129] ppid=17124 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17129/stat : 17129 (toysat) S 17124 17127 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106406753 1338576896 268212 33554432000 4194304 16246674 140733646402864 140223960816880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17127/tid=17130] ppid=17124 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17130/stat : 17130 (toysat) S 17124 17127 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106406753 1338576896 268212 33554432000 4194304 16246674 140733646402864 140223950343344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.30 2.27 2.20 3/183 17214
/proc/meminfo: memFree=28311712/32872528 swapFree=16636/1570076
[pid=17127] ppid=17124 vsize=1307204 CPUtime=1421.81 cores=1,3,5,7
/proc/17127/stat : 17127 (toysat) R 17124 17127 13075 0 -1 4202496 268298 0 0 0 142123 58 0 0 20 0 4 0 106406753 1338576896 268212 33554432000 4194304 16246674 140733646402864 140733646384768 5545704 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17127/statm: 326801 268212 837 2943 0 323695 0
[pid=17127/tid=17128] ppid=17124 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17128/stat : 17128 (toysat) S 17124 17127 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106406753 1338576896 268212 33554432000 4194304 16246674 140733646402864 140223971306736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17127/tid=17129] ppid=17124 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17129/stat : 17129 (toysat) S 17124 17127 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106406753 1338576896 268212 33554432000 4194304 16246674 140733646402864 140223960816880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17127/tid=17130] ppid=17124 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17130/stat : 17130 (toysat) S 17124 17127 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106406753 1338576896 268212 33554432000 4194304 16246674 140733646402864 140223950343344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.38 2.29 2.21 4/184 17218
/proc/meminfo: memFree=28312280/32872528 swapFree=16636/1570076
[pid=17127] ppid=17124 vsize=1307204 CPUtime=1481.79 cores=1,3,5,7
/proc/17127/stat : 17127 (toysat) R 17124 17127 13075 0 -1 4202496 268298 0 0 0 148121 58 0 0 20 0 4 0 106406753 1338576896 268212 33554432000 4194304 16246674 140733646402864 140733646384768 13950192 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17127/statm: 326801 268212 837 2943 0 323695 0
[pid=17127/tid=17128] ppid=17124 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17128/stat : 17128 (toysat) S 17124 17127 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106406753 1338576896 268212 33554432000 4194304 16246674 140733646402864 140223971306736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17127/tid=17129] ppid=17124 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17129/stat : 17129 (toysat) S 17124 17127 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106406753 1338576896 268212 33554432000 4194304 16246674 140733646402864 140223960816880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17127/tid=17130] ppid=17124 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17130/stat : 17130 (toysat) S 17124 17127 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106406753 1338576896 268212 33554432000 4194304 16246674 140733646402864 140223950343344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 1307204

[startup+1542.3 s]
/proc/loadavg: 2.42 2.31 2.22 3/183 17219
/proc/meminfo: memFree=28312196/32872528 swapFree=16636/1570076
[pid=17127] ppid=17124 vsize=1307204 CPUtime=1541.79 cores=1,3,5,7
/proc/17127/stat : 17127 (toysat) R 17124 17127 13075 0 -1 4202496 268298 0 0 0 154120 59 0 0 20 0 4 0 106406753 1338576896 268212 33554432000 4194304 16246674 140733646402864 140733646384768 5545752 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17127/statm: 326801 268212 837 2943 0 323695 0
[pid=17127/tid=17128] ppid=17124 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17128/stat : 17128 (toysat) S 17124 17127 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106406753 1338576896 268212 33554432000 4194304 16246674 140733646402864 140223971306736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17127/tid=17129] ppid=17124 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17129/stat : 17129 (toysat) S 17124 17127 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106406753 1338576896 268212 33554432000 4194304 16246674 140733646402864 140223960816880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17127/tid=17130] ppid=17124 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17130/stat : 17130 (toysat) S 17124 17127 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106406753 1338576896 268212 33554432000 4194304 16246674 140733646402864 140223950343344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.35 2.31 2.22 3/183 17220
/proc/meminfo: memFree=28311732/32872528 swapFree=16636/1570076
[pid=17127] ppid=17124 vsize=1307204 CPUtime=1601.78 cores=1,3,5,7
/proc/17127/stat : 17127 (toysat) R 17124 17127 13075 0 -1 4202496 268298 0 0 0 160119 59 0 0 20 0 4 0 106406753 1338576896 268212 33554432000 4194304 16246674 140733646402864 140733646384768 5600804 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17127/statm: 326801 268212 837 2943 0 323695 0
[pid=17127/tid=17128] ppid=17124 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17128/stat : 17128 (toysat) S 17124 17127 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106406753 1338576896 268212 33554432000 4194304 16246674 140733646402864 140223971306736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17127/tid=17129] ppid=17124 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17129/stat : 17129 (toysat) S 17124 17127 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106406753 1338576896 268212 33554432000 4194304 16246674 140733646402864 140223960816880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17127/tid=17130] ppid=17124 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17130/stat : 17130 (toysat) S 17124 17127 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106406753 1338576896 268212 33554432000 4194304 16246674 140733646402864 140223950343344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1307204

[startup+1662.31 s]
/proc/loadavg: 2.34 2.31 2.23 4/183 17221
/proc/meminfo: memFree=28311708/32872528 swapFree=16636/1570076
[pid=17127] ppid=17124 vsize=1307204 CPUtime=1661.78 cores=1,3,5,7
/proc/17127/stat : 17127 (toysat) R 17124 17127 13075 0 -1 4202496 268298 0 0 0 166118 60 0 0 20 0 4 0 106406753 1338576896 268212 33554432000 4194304 16246674 140733646402864 140733646385864 5674030 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17127/statm: 326801 268212 837 2943 0 323695 0
[pid=17127/tid=17128] ppid=17124 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17128/stat : 17128 (toysat) S 17124 17127 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106406753 1338576896 268212 33554432000 4194304 16246674 140733646402864 140223971306736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17127/tid=17129] ppid=17124 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17129/stat : 17129 (toysat) S 17124 17127 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106406753 1338576896 268212 33554432000 4194304 16246674 140733646402864 140223960816880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17127/tid=17130] ppid=17124 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17130/stat : 17130 (toysat) S 17124 17127 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106406753 1338576896 268212 33554432000 4194304 16246674 140733646402864 140223950343344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.22 2.28 2.22 3/182 17223
/proc/meminfo: memFree=28311680/32872528 swapFree=16636/1570076
[pid=17127] ppid=17124 vsize=1307204 CPUtime=1721.76 cores=1,3,5,7
/proc/17127/stat : 17127 (toysat) R 17124 17127 13075 0 -1 4202496 268298 0 0 0 172115 61 0 0 20 0 4 0 106406753 1338576896 268212 33554432000 4194304 16246674 140733646402864 140733646384768 5712452 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17127/statm: 326801 268212 837 2943 0 323695 0
[pid=17127/tid=17128] ppid=17124 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17128/stat : 17128 (toysat) S 17124 17127 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106406753 1338576896 268212 33554432000 4194304 16246674 140733646402864 140223971306736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17127/tid=17129] ppid=17124 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17129/stat : 17129 (toysat) S 17124 17127 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106406753 1338576896 268212 33554432000 4194304 16246674 140733646402864 140223960816880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17127/tid=17130] ppid=17124 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17130/stat : 17130 (toysat) S 17124 17127 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106406753 1338576896 268212 33554432000 4194304 16246674 140733646402864 140223950343344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.26 2.28 2.22 4/183 17225
/proc/meminfo: memFree=28312028/32872528 swapFree=16636/1570076
[pid=17127] ppid=17124 vsize=1307204 CPUtime=1781.76 cores=1,3,5,7
/proc/17127/stat : 17127 (toysat) R 17124 17127 13075 0 -1 4202496 268298 0 0 0 178114 62 0 0 20 0 4 0 106406753 1338576896 268212 33554432000 4194304 16246674 140733646402864 140733646384768 12477857 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17127/statm: 326801 268212 837 2943 0 323695 0
[pid=17127/tid=17128] ppid=17124 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17128/stat : 17128 (toysat) S 17124 17127 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106406753 1338576896 268212 33554432000 4194304 16246674 140733646402864 140223971306736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17127/tid=17129] ppid=17124 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17129/stat : 17129 (toysat) S 17124 17127 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106406753 1338576896 268212 33554432000 4194304 16246674 140733646402864 140223960816880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17127/tid=17130] ppid=17124 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17130/stat : 17130 (toysat) S 17124 17127 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106406753 1338576896 268212 33554432000 4194304 16246674 140733646402864 140223950343344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.28 2.28 2.22 3/183 17225
/proc/meminfo: memFree=28312132/32872528 swapFree=16636/1570076
[pid=17127] ppid=17124 vsize=1307204 CPUtime=1800.05 cores=1,3,5,7
/proc/17127/stat : 17127 (toysat) R 17124 17127 13075 0 -1 4202496 268298 0 0 0 179943 62 0 0 20 0 4 0 106406753 1338576896 268212 33554432000 4194304 16246674 140733646402864 140733646384768 5600804 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17127/statm: 326801 268212 837 2943 0 323695 0
[pid=17127/tid=17128] ppid=17124 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17128/stat : 17128 (toysat) S 17124 17127 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106406753 1338576896 268212 33554432000 4194304 16246674 140733646402864 140223971306736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17127/tid=17129] ppid=17124 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17129/stat : 17129 (toysat) S 17124 17127 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106406753 1338576896 268212 33554432000 4194304 16246674 140733646402864 140223960816880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17127/tid=17130] ppid=17124 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17130/stat : 17130 (toysat) S 17124 17127 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106406753 1338576896 268212 33554432000 4194304 16246674 140733646402864 140223950343344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1307204

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

[startup+1800.6 s]
/proc/loadavg: 2.28 2.28 2.22 3/183 17225
/proc/meminfo: memFree=28312132/32872528 swapFree=16636/1570076
[pid=17127] ppid=17124 vsize=1307204 CPUtime=1800.05 cores=1,3,5,7
/proc/17127/stat : 17127 (toysat) R 17124 17127 13075 0 -1 4202496 268298 0 0 0 179943 62 0 0 20 0 4 0 106406753 1338576896 268212 33554432000 4194304 16246674 140733646402864 140733646384768 5600804 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17127/statm: 326801 268212 837 2943 0 323695 0
[pid=17127/tid=17128] ppid=17124 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17128/stat : 17128 (toysat) S 17124 17127 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106406753 1338576896 268212 33554432000 4194304 16246674 140733646402864 140223971306736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17127/tid=17129] ppid=17124 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17129/stat : 17129 (toysat) S 17124 17127 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106406753 1338576896 268212 33554432000 4194304 16246674 140733646402864 140223960816880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17127/tid=17130] ppid=17124 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17127/task/17130/stat : 17130 (toysat) S 17124 17127 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106406753 1338576896 268212 33554432000 4194304 16246674 140733646402864 140223950343344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1307204

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.06
CPU user time (s): 1799.44
CPU system time (s): 0.621905
CPU usage (%): 99.9698
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.44
system time used= 0.621905
maximum resident set size= 1072848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268298
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= 431
involuntary context switches= 1892

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.2071 second user time and 15.3197 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-06 22:25:44
IDJOB=4079751
IDBENCH=2908
IDSOLVER=2542
FILE ID=node140/4079751-1465244744
RUNJOBID= node140-1465216678-13092
PBS_JOBID= 19843199
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_2.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079751-1465244744/watcher-4079751-1465244744 -o /tmp/evaluation-result-4079751-1465244744/solver-4079751-1465244744 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465216678-13092 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079751-1465244744.opb

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

MD5SUM BENCH= b690996610ff381ef60353517fe5a0e9
RANDOM SEED=593360511

node140.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.768
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.53
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.768
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.768
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.768
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29300008 kB
Buffers:           47532 kB
Cached:            90884 kB
SwapCached:         1748 kB
Active:          1223240 kB
Inactive:          75792 kB
Active(anon):    1160416 kB
Inactive(anon):     2612 kB
Active(file):      62824 kB
Inactive(file):    73180 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67098604 kB
Dirty:             16316 kB
Writeback:             0 kB
AnonPages:       2730160 kB
Mapped:            10936 kB
Shmem:                 0 kB
Slab:             567844 kB
SReclaimable:      12076 kB
SUnreclaim:       555768 kB
KernelStack:        1520 kB
PageTables:         9740 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2873788 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2686976 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 node140 at 2016-06-06 22:55:45