Trace number 4105561

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.07 1800.51

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_5_40_2.opb
MD5SUM4618b6422bdc12197131d1d37f567363
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables41
Total number of constraints11
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints10
Minimum length of a constraint1
Maximum length of a constraint40
Number of terms in the objective function 1
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1196
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3589
Number of bits of the biggest sum of numbers12
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-18T13:45:09+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-4105561-1466250309.opb"]
0.00/0.01	c use --random-gen="2031166028 2697763824 3499911843 548210325 135159824 3425894032 2980897508 2265246322 3460514439 3877330542 22984534 2733340919 526183118 1662585621 2753559408 1440244303 1189935038 2621426698 2921536496 2606442826 264961623 2980060974 2766250564 1366511913 2900666108 4207848505 2325644840 1921147987 4117327431 2738815518 2957168236 2641876569 1082115898 1283488634 2050333560 3098062496 2177638722 2093505161 2027763677 2360393333 2312270780 1526413403 2564500184 2079839852 379962225 4270283565 3969752707 2624988033 732321145 3821136850 2343096176 1540794137 980709688 3507449943 1154650443 1723762565 3438734081 139178089 1608902137 2104098678 869869039 3816399453 2396667768 2172579658 2964623603 3397724150 165744405 1397469308 2206100386 1969753047 771082261 1674844904 2948102891 2729405150 1579157853 2874032048 1183099715 2070864170 1059836003 2937230197 2252351848 3044330320 2081712812 11731292 3034136694 249403796 3732811047 1824511749 2659401753 3036201643 539844951 1960432543 2295977675 3599586430 2609037398 338497956 744427358 4249336046 515567125 1293307125 2976332446 1614504666 3033759724 198244853 1615817010 1776054376 815835806 371845202 706300 1486635526 881516722 2610966755 1693843060 2354617614 760700461 1709421229 3467795329 2133099687 3329874742 3277448601 2237856536 1000278879 1925057329 1699503612 1643790311 2649675338 1724496666 2376688849 2301127499 3093216944 1626849885 1575112578 2757514209 850472590 4175007433 3919790931 4262704596 3893793910 1784939033 3502167932 3594594592 3628317272 3453914063 3174532048 739372760 3837833535 1774593393 2063147393 4083552827 539912456 2429609248 396966244 2421581019 3536803784 3451771756 3598803740 3982118435 1424273030 3737647255 3637135285 3602635867 3170702258 2231158825 1672046188 2793376485 2950521612 3944928243 1689443680 3182205563 3513032785 2398658840 1175317719 147258735 2038178802 2173296145 678724491 3687585829 1412940813 3654606764 2139209753 2018430835 2563763732 1786394165 250773248 260511461 10400915 3180537991 2096575169 1747249357 3318900117 1728037841 2691726509 450084673 2742208380 417097310 3386055210 1408064356 713553554 1979625881 4043550391 1366908881 1130443589 1915920716 501540414 655601267 3127792885 2822098496 2277167309 113515947 1852856367 2114769495 3341869216 1570619620 1890629527 275343008 1635385344 2960765319 379075555 1958832089 3069661005 1908046086 2251269623 246775850 3400836934 2458322026 3099454891 46854309 1961881984 1870138537 3320854154 2395597226 1159943394 4023764595 2820089217 1126740661 836224594 1128478261 904370064 453715391 3088602908 2969480740 1064705012 2462886552 1444681099 2436359796 216783066 2129456951 2982306267 3493910586 3413039464 3429109914 1778909392 2367346930 3139244051 2886421450 1601811660 255 362436" option to reproduce the execution
0.00/0.01	c #vars 41
0.00/0.01	c #constraints 11
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 |       17      0 |        1 |        0
0.00/0.02	c  0.0s |       1 |      115 |      100 |       17      3 |        1 |        0
0.00/0.04	c  0.0s |       2 |      294 |      250 |       19     12 |        1 |        0
0.00/0.07	c  0.1s |       3 |      538 |      475 |       21     22 |        1 |        0
0.09/0.11	c  0.1s |       4 |      895 |      813 |       24     38 |        1 |        0
0.09/0.18	c  0.2s |       5 |     1435 |     1320 |       27     60 |        1 |        0
0.19/0.27	c  0.3s |       6 |     2226 |     2081 |       33     93 |        1 |        0
0.39/0.41	c  0.4s |       7 |     3449 |     3223 |       37    137 |        1 |        0
0.59/0.62	c  0.6s |       8 |     5222 |     4936 |       41    201 |        1 |        0
0.89/0.95	c  0.9s |       9 |     7864 |     7506 |       46    292 |        1 |        0
1.39/1.43	c  1.4s |      10 |    11797 |    11361 |       51    420 |        1 |        0
1.89/1.94	c  1.9s |      11 |    17634 |    17144 |       57    598 |        1 |        0
2.59/2.68	c  2.7s |      12 |    26424 |    25819 |       63    847 |        1 |        0
3.59/3.69	c  3.7s |      13 |    39613 |    38832 |       70   1170 |        1 |        0
5.19/5.26	c  5.2s |      14 |    59339 |    58352 |       77   1636 |        1 |        0
7.19/7.26	c  7.3s |      14 |    84224 |    82952 |       77   2183 |        1 |        0
7.59/7.63	c  7.6s |      15 |    88979 |    87632 |       85   2288 |        1 |        0
9.59/9.64	c  9.6s |      15 |   114186 |   112532 |       85   2801 |        1 |        0
11.09/11.13	c 11.1s |      16 |   133478 |   131552 |       94   3186 |        1 |        0
13.09/13.14	c 13.1s |      16 |   159896 |   157452 |       94   3654 |        1 |        0
15.09/15.15	c 15.1s |      16 |   186186 |   183252 |       94   4130 |        1 |        0
16.19/16.27	c 16.3s |      17 |   200651 |   197432 |      104   4392 |        1 |        0
18.18/18.27	c 18.3s |      17 |   225998 |   222532 |      104   4808 |        1 |        0
20.18/20.28	c 20.3s |      17 |   251494 |   247832 |      104   5235 |        1 |        0
22.18/22.28	c 22.3s |      17 |   276219 |   272432 |      104   5655 |        1 |        0
24.19/24.23	c 24.2s |      18 |   300180 |   296252 |      115   6059 |        1 |        0
26.18/26.24	c 26.2s |      18 |   325052 |   320852 |      115   6447 |        1 |        0
28.18/28.24	c 28.2s |      18 |   350367 |   345852 |      115   6843 |        1 |        0
30.18/30.24	c 30.2s |      18 |   375818 |   371052 |      115   7251 |        1 |        0
32.19/32.25	c 32.2s |      18 |   400693 |   395652 |      115   7643 |        1 |        0
34.20/34.25	c 34.2s |      18 |   425806 |   420552 |      115   8043 |        1 |        0
36.09/36.11	c 36.1s |      19 |   450004 |   444482 |      127   8426 |        1 |        0
38.09/38.11	c 38.1s |      19 |   475067 |   468782 |      127   8768 |        1 |        0
40.09/40.12	c 40.1s |      19 |   500347 |   493482 |      127   9123 |        1 |        0
42.09/42.12	c 42.1s |      19 |   524996 |   517682 |      127   9475 |        1 |        0
44.09/44.13	c 44.1s |      19 |   550364 |   542682 |      127   9835 |        1 |        0
46.09/46.13	c 46.1s |      19 |   575886 |   567782 |      127  10200 |        1 |        0
48.08/48.13	c 48.1s |      19 |   601503 |   592982 |      127  10567 |        1 |        0
50.08/50.14	c 50.1s |      19 |   627509 |   618482 |      127  10944 |        1 |        0
52.08/52.14	c 52.1s |      19 |   653310 |   643482 |      127  11304 |        1 |        0
53.99/54.06	c 54.0s |      20 |   677279 |   666827 |      140  11640 |        1 |        0
55.98/56.06	c 56.0s |      20 |   702303 |   691127 |      140  11961 |        1 |        0
57.98/58.06	c 58.1s |      20 |   726152 |   714627 |      140  12271 |        1 |        0
59.98/60.06	c 60.1s |      20 |   750737 |   738727 |      140  12592 |        1 |        0
61.98/62.07	c 62.1s |      20 |   776003 |   763427 |      140  12920 |        1 |        0
63.98/64.07	c 64.1s |      20 |   801113 |   788127 |      140  13252 |        1 |        0
65.98/66.07	c 66.1s |      20 |   825840 |   812427 |      140  13579 |        1 |        0
67.98/68.07	c 68.1s |      20 |   850934 |   837027 |      140  13904 |        1 |        0
69.98/70.08	c 70.1s |      20 |   875475 |   861227 |      140  14227 |        1 |        0
71.98/72.09	c 72.1s |      20 |   900569 |   885727 |      140  14555 |        1 |        0
73.98/74.09	c 74.1s |      20 |   924588 |   909327 |      140  14871 |        1 |        0
75.99/76.09	c 76.1s |      20 |   949230 |   933527 |      140  15198 |        1 |        0
77.98/78.10	c 78.1s |      20 |   974399 |   958227 |      140  15532 |        1 |        0
80.08/80.10	c 80.1s |      20 |   999986 |   983227 |      140  15871 |        1 |        0
81.39/81.46	c 81.4s |      21 |  1017601 |  1000345 |      154  16096 |        1 |        0
83.38/83.46	c 83.5s |      21 |  1042019 |  1024445 |      154  16379 |        1 |        0
85.38/85.47	c 85.5s |      21 |  1066169 |  1048345 |      154  16664 |        1 |        0
87.37/87.47	c 87.5s |      21 |  1090527 |  1072445 |      154  16951 |        1 |        0
89.37/89.47	c 89.5s |      21 |  1114730 |  1096345 |      154  17239 |        1 |        0
91.38/91.48	c 91.5s |      21 |  1139800 |  1121045 |      154  17532 |        1 |        0
93.37/93.49	c 93.5s |      21 |  1164317 |  1145245 |      154  17822 |        1 |        0
95.37/95.49	c 95.5s |      21 |  1189438 |  1169945 |      154  18119 |        1 |        0
97.37/97.49	c 97.5s |      21 |  1214418 |  1194545 |      154  18415 |        1 |        0
99.38/99.49	c 99.5s |      21 |  1239123 |  1218845 |      154  18707 |        1 |        0
101.48/101.50	c  101s |      21 |  1263259 |  1242645 |      154  18994 |        1 |        0
103.48/103.50	c  103s |      21 |  1287265 |  1266345 |      154  19281 |        1 |        0
105.48/105.51	c  105s |      21 |  1311129 |  1289945 |      154  19565 |        1 |        0
107.47/107.51	c  107s |      21 |  1335167 |  1313745 |      154  19852 |        1 |        0
109.47/109.51	c  109s |      21 |  1359706 |  1337945 |      154  20147 |        1 |        0
111.47/111.51	c  111s |      21 |  1383567 |  1361545 |      154  20433 |        1 |        0
113.47/113.52	c  113s |      21 |  1407461 |  1385045 |      154  20721 |        1 |        0
115.48/115.52	c  115s |      21 |  1431930 |  1409045 |      154  21011 |        1 |        0
117.47/117.52	c  117s |      21 |  1456718 |  1433445 |      154  21306 |        1 |        0
119.47/119.52	c  119s |      21 |  1481099 |  1457445 |      154  21597 |        1 |        0
121.47/121.52	c  121s |      21 |  1505910 |  1481845 |      154  21895 |        1 |        0
123.08/123.11	c  123s |      22 |  1524953 |  1500622 |      170  22112 |        1 |        0
125.08/125.12	c  125s |      22 |  1547884 |  1523322 |      170  22360 |        1 |        0
127.07/127.12	c  127s |      22 |  1571426 |  1546622 |      170  22618 |        1 |        0
129.07/129.12	c  129s |      22 |  1595044 |  1570022 |      170  22879 |        1 |        0
131.07/131.13	c  131s |      22 |  1618302 |  1593022 |      170  23134 |        1 |        0
133.08/133.13	c  133s |      22 |  1641751 |  1616222 |      170  23390 |        1 |        0
135.07/135.13	c  135s |      22 |  1665861 |  1640022 |      170  23656 |        1 |        0
137.07/137.14	c  137s |      22 |  1689491 |  1663422 |      170  23916 |        1 |        0
139.07/139.14	c  139s |      22 |  1713553 |  1687222 |      170  24183 |        1 |        0
141.07/141.14	c  141s |      22 |  1737812 |  1711222 |      170  24453 |        1 |        0
143.08/143.15	c  143s |      22 |  1761509 |  1734722 |      170  24716 |        1 |        0
145.07/145.15	c  145s |      22 |  1785834 |  1758822 |      170  24989 |        1 |        0
147.07/147.15	c  147s |      22 |  1810097 |  1782922 |      170  25261 |        1 |        0
149.07/149.16	c  149s |      22 |  1834434 |  1807022 |      170  25536 |        1 |        0
151.07/151.17	c  151s |      22 |  1858926 |  1831222 |      170  25805 |        1 |        0
153.07/153.17	c  153s |      22 |  1882258 |  1854322 |      170  26057 |        1 |        0
155.07/155.17	c  155s |      22 |  1906005 |  1877822 |      170  26317 |        1 |        0
157.07/157.17	c  157s |      22 |  1929546 |  1901122 |      170  26574 |        1 |        0
159.07/159.18	c  159s |      22 |  1952872 |  1924222 |      170  26829 |        1 |        0
161.06/161.18	c  161s |      22 |  1976972 |  1948022 |      170  27092 |        1 |        0
163.06/163.19	c  163s |      22 |  2000810 |  1971522 |      170  27353 |        1 |        0
165.07/165.19	c  165s |      22 |  2024828 |  1995222 |      170  27619 |        1 |        0
167.06/167.19	c  167s |      22 |  2048975 |  2019122 |      170  27886 |        1 |        0
169.16/169.20	c  169s |      22 |  2073058 |  2042922 |      170  28152 |        1 |        0
171.16/171.20	c  171s |      22 |  2096984 |  2066522 |      170  28413 |        1 |        0
173.16/173.21	c  173s |      22 |  2120870 |  2090122 |      170  28674 |        1 |        0
175.16/175.21	c  175s |      22 |  2143938 |  2113022 |      170  28930 |        1 |        0
177.17/177.21	c  177s |      22 |  2167353 |  2136222 |      170  29188 |        1 |        0
179.16/179.21	c  179s |      22 |  2190702 |  2159322 |      170  29445 |        1 |        0
181.16/181.22	c  181s |      22 |  2214494 |  2182822 |      170  29707 |        1 |        0
183.16/183.22	c  183s |      22 |  2238208 |  2206222 |      170  29969 |        1 |        0
185.16/185.23	c  185s |      22 |  2262200 |  2229922 |      170  30238 |        1 |        0
186.96/187.07	c  187s |      23 |  2283520 |  2251038 |      188  30459 |        1 |        0
188.96/189.07	c  189s |      23 |  2307224 |  2274438 |      188  30694 |        1 |        0
190.96/191.08	c  191s |      23 |  2330794 |  2297738 |      188  30931 |        1 |        0
192.96/193.08	c  193s |      23 |  2354345 |  2321038 |      188  31166 |        1 |        0
194.96/195.08	c  195s |      23 |  2377645 |  2344038 |      188  31395 |        1 |        0
196.97/197.08	c  197s |      23 |  2401095 |  2367238 |      188  31627 |        1 |        0
198.96/199.09	c  199s |      23 |  2423829 |  2389738 |      188  31854 |        1 |        0
200.96/201.09	c  201s |      23 |  2447509 |  2413138 |      188  32090 |        1 |        0
203.06/203.10	c  203s |      23 |  2471117 |  2436438 |      188  32327 |        1 |        0
205.06/205.10	c  205s |      23 |  2494220 |  2459238 |      188  32555 |        1 |        0
207.06/207.10	c  207s |      23 |  2517207 |  2481938 |      188  32784 |        1 |        0
209.07/209.11	c  209s |      23 |  2540338 |  2504838 |      188  33017 |        1 |        0
211.06/211.12	c  211s |      23 |  2563867 |  2528138 |      188  33256 |        1 |        0
213.06/213.12	c  213s |      23 |  2587040 |  2551038 |      188  33490 |        1 |        0
215.06/215.13	c  215s |      23 |  2610173 |  2574038 |      188  33723 |        1 |        0
217.06/217.13	c  217s |      23 |  2633227 |  2596738 |      188  33953 |        1 |        0
219.05/219.14	c  219s |      23 |  2656546 |  2619838 |      188  34187 |        1 |        0
221.07/221.14	c  221s |      23 |  2679916 |  2642938 |      188  34425 |        1 |        0
223.06/223.14	c  223s |      23 |  2703454 |  2666238 |      188  34662 |        1 |        0
225.06/225.15	c  225s |      23 |  2727400 |  2689838 |      188  34906 |        1 |        0
227.06/227.15	c  227s |      23 |  2751170 |  2713338 |      188  35150 |        1 |        0
229.06/229.15	c  229s |      23 |  2775134 |  2737038 |      188  35388 |        1 |        0
231.06/231.16	c  231s |      23 |  2798567 |  2760238 |      188  35621 |        1 |        0
233.05/233.16	c  233s |      23 |  2822561 |  2783938 |      188  35860 |        1 |        0
235.05/235.17	c  235s |      23 |  2846041 |  2807138 |      188  36097 |        1 |        0
237.05/237.18	c  237s |      23 |  2869731 |  2830538 |      188  36337 |        1 |        0
239.05/239.18	c  239s |      23 |  2892323 |  2852938 |      188  36565 |        1 |        0
241.05/241.19	c  241s |      23 |  2915675 |  2876038 |      188  36803 |        1 |        0
243.06/243.19	c  243s |      23 |  2938902 |  2898938 |      188  37031 |        1 |        0
245.15/245.20	c  245s |      23 |  2962141 |  2921938 |      188  37262 |        1 |        0
247.15/247.21	c  247s |      23 |  2985450 |  2944938 |      188  37492 |        1 |        0
249.15/249.21	c  249s |      23 |  3008873 |  2968038 |      188  37726 |        1 |        0
251.15/251.21	c  251s |      23 |  3032408 |  2991238 |      188  37961 |        1 |        0
253.15/253.22	c  253s |      23 |  3056759 |  3015238 |      188  38205 |        1 |        0
255.16/255.22	c  255s |      23 |  3080181 |  3038438 |      188  38438 |        1 |        0
257.15/257.23	c  257s |      23 |  3102966 |  3061038 |      188  38668 |        1 |        0
259.15/259.23	c  259s |      23 |  3125809 |  3083638 |      188  38897 |        1 |        0
261.15/261.24	c  261s |      23 |  3148935 |  3106538 |      188  39133 |        1 |        0
263.15/263.24	c  263s |      23 |  3172136 |  3129438 |      188  39367 |        1 |        0
265.15/265.25	c  265s |      23 |  3195163 |  3152238 |      188  39600 |        1 |        0
267.15/267.26	c  267s |      23 |  3217798 |  3174638 |      188  39829 |        1 |        0
269.15/269.27	c  269s |      23 |  3240213 |  3196838 |      188  40052 |        1 |        0
271.14/271.27	c  271s |      23 |  3262925 |  3219338 |      188  40280 |        1 |        0
273.14/273.27	c  273s |      23 |  3286359 |  3242538 |      188  40516 |        1 |        0
275.15/275.28	c  275s |      23 |  3309834 |  3265838 |      188  40754 |        1 |        0
277.16/277.28	c  277s |      23 |  3333663 |  3289438 |      188  40997 |        1 |        0
279.15/279.29	c  279s |      23 |  3357439 |  3312938 |      188  41240 |        1 |        0
281.15/281.29	c  281s |      23 |  3380907 |  3336138 |      188  41479 |        1 |        0
283.15/283.29	c  283s |      23 |  3404711 |  3359638 |      207  41713 |        1 |        0
284.65/284.72	c  284s |      24 |  3422021 |  3376662 |      207  41872 |        1 |        0
286.65/286.73	c  286s |      24 |  3445799 |  3400162 |      207  42091 |        1 |        0
288.65/288.73	c  288s |      24 |  3469489 |  3423662 |      207  42312 |        1 |        0
290.65/290.74	c  290s |      24 |  3493557 |  3447462 |      207  42537 |        1 |        0
292.66/292.75	c  292s |      24 |  3517088 |  3470762 |      207  42756 |        1 |        0
294.65/294.75	c  294s |      24 |  3541062 |  3494462 |      207  42980 |        1 |        0
296.65/296.75	c  296s |      24 |  3565041 |  3518162 |      207  43205 |        1 |        0
298.65/298.76	c  298s |      24 |  3589059 |  3541962 |      207  43433 |        1 |        0
300.65/300.76	c  300s |      24 |  3612807 |  3565362 |      207  43644 |        1 |        0
302.65/302.76	c  302s |      24 |  3636136 |  3588462 |      207  43854 |        1 |        0
304.65/304.76	c  304s |      24 |  3659987 |  3611962 |      207  44068 |        1 |        0
306.65/306.76	c  306s |      24 |  3683008 |  3634762 |      207  44277 |        1 |        0
308.65/308.77	c  308s |      24 |  3706163 |  3657662 |      207  44486 |        1 |        0
310.64/310.77	c  310s |      24 |  3728889 |  3680162 |      207  44692 |        1 |        0
312.64/312.77	c  312s |      24 |  3752388 |  3703262 |      207  44905 |        1 |        0
314.65/314.78	c  314s |      24 |  3775649 |  3726262 |      207  45119 |        1 |        0
316.64/316.79	c  316s |      24 |  3798550 |  3748962 |      207  45326 |        1 |        0
318.64/318.79	c  318s |      24 |  3821253 |  3771462 |      207  45534 |        1 |        0
320.74/320.80	c  320s |      24 |  3844268 |  3794262 |      207  45745 |        1 |        0
322.74/322.80	c  322s |      24 |  3867511 |  3817262 |      207  45958 |        1 |        0
324.74/324.81	c  324s |      24 |  3890677 |  3840162 |      207  46170 |        1 |        0
326.75/326.82	c  326s |      24 |  3913946 |  3863162 |      207  46385 |        1 |        0
328.74/328.82	c  328s |      24 |  3936956 |  3885962 |      207  46592 |        1 |        0
330.74/330.82	c  330s |      24 |  3960058 |  3908862 |      207  46802 |        1 |        0
332.74/332.83	c  332s |      24 |  3983342 |  3931962 |      207  47016 |        1 |        0
334.74/334.83	c  334s |      24 |  4006237 |  3954662 |      207  47226 |        1 |        0
336.74/336.83	c  336s |      24 |  4028799 |  3977062 |      207  47434 |        1 |        0
338.74/338.83	c  338s |      24 |  4051447 |  3999562 |      207  47642 |        1 |        0
340.74/340.84	c  340s |      24 |  4074217 |  4022162 |      207  47852 |        1 |        0
342.74/342.85	c  342s |      24 |  4097836 |  4045562 |      207  48071 |        1 |        0
344.73/344.85	c  344s |      24 |  4121814 |  4069262 |      207  48295 |        1 |        0
346.73/346.85	c  346s |      24 |  4144717 |  4091962 |      207  48504 |        1 |        0
348.74/348.85	c  348s |      24 |  4168299 |  4115262 |      207  48721 |        1 |        0
350.73/350.85	c  350s |      24 |  4192049 |  4138762 |      207  48939 |        1 |        0
352.74/352.86	c  352s |      24 |  4215943 |  4162362 |      207  49159 |        1 |        0
354.74/354.86	c  354s |      24 |  4239633 |  4185762 |      207  49377 |        1 |        0
356.74/356.87	c  356s |      24 |  4263138 |  4209062 |      207  49597 |        1 |        0
358.74/358.87	c  358s |      24 |  4286444 |  4232162 |      207  49812 |        1 |        0
360.74/360.88	c  360s |      24 |  4310143 |  4255562 |      207  50031 |        1 |        0
362.73/362.88	c  362s |      24 |  4333995 |  4279162 |      207  50252 |        1 |        0
364.73/364.89	c  364s |      24 |  4357533 |  4302462 |      207  50470 |        1 |        0
366.73/366.89	c  366s |      24 |  4381516 |  4326162 |      207  50693 |        1 |        0
368.83/368.90	c  368s |      24 |  4405454 |  4349862 |      207  50916 |        1 |        0
370.83/370.90	c  370s |      24 |  4429446 |  4373562 |      207  51141 |        1 |        0
372.84/372.91	c  372s |      24 |  4453859 |  4397662 |      207  51370 |        1 |        0
374.83/374.92	c  374s |      24 |  4477469 |  4421062 |      207  51587 |        1 |        0
376.84/376.92	c  376s |      24 |  4500568 |  4443962 |      207  51799 |        1 |        0
378.84/378.92	c  378s |      24 |  4523826 |  4467062 |      207  52015 |        1 |        0
380.83/380.92	c  380s |      24 |  4547001 |  4490062 |      207  52229 |        1 |        0
382.84/382.93	c  382s |      24 |  4570650 |  4513462 |      207  52448 |        1 |        0
384.83/384.93	c  384s |      24 |  4594097 |  4536662 |      207  52666 |        1 |        0
386.83/386.94	c  386s |      24 |  4617772 |  4560162 |      207  52886 |        1 |        0
388.83/388.95	c  388s |      24 |  4641188 |  4583362 |      207  53104 |        1 |        0
390.83/390.95	c  390s |      24 |  4664177 |  4606162 |      207  53318 |        1 |        0
392.83/392.95	c  392s |      24 |  4687620 |  4629362 |      207  53538 |        1 |        0
394.84/394.96	c  394s |      24 |  4711128 |  4652662 |      207  53760 |        1 |        0
396.83/396.96	c  396s |      24 |  4734841 |  4676062 |      207  53976 |        1 |        0
398.83/398.97	c  398s |      24 |  4757975 |  4698962 |      207  54188 |        1 |        0
400.83/400.97	c  400s |      24 |  4781382 |  4722162 |      207  54404 |        1 |        0
402.83/402.98	c  402s |      24 |  4804150 |  4744762 |      207  54614 |        1 |        0
404.84/404.98	c  404s |      24 |  4827295 |  4767662 |      207  54829 |        1 |        0
406.83/406.99	c  406s |      24 |  4850524 |  4790662 |      207  55042 |        1 |        0
408.83/409.00	c  408s |      24 |  4873338 |  4813262 |      207  55254 |        1 |        0
410.93/411.00	c  410s |      24 |  4896509 |  4836262 |      207  55471 |        1 |        0
412.93/413.00	c  412s |      24 |  4920012 |  4859562 |      207  55690 |        1 |        0
414.92/415.01	c  415s |      24 |  4943727 |  4883062 |      207  55913 |        1 |        0
416.93/417.01	c  417s |      24 |  4967486 |  4906562 |      207  56136 |        1 |        0
418.92/419.01	c  419s |      24 |  4990456 |  4929262 |      207  56351 |        1 |        0
420.92/421.02	c  421s |      24 |  5013953 |  4952562 |      207  56570 |        1 |        0
422.92/423.02	c  423s |      24 |  5037489 |  4975862 |      207  56791 |        1 |        0
424.92/425.02	c  425s |      24 |  5060886 |  4999062 |      207  57011 |        1 |        0
426.92/427.03	c  427s |      24 |  5084363 |  5022362 |      207  57230 |        1 |        0
428.93/429.03	c  429s |      24 |  5107761 |  5045562 |      228  57436 |        1 |        0
430.62/430.71	c  430s |      25 |  5127493 |  5065098 |      228  57605 |        1 |        0
432.63/432.71	c  432s |      25 |  5150555 |  5087898 |      228  57790 |        1 |        0
434.63/434.72	c  434s |      25 |  5173288 |  5110398 |      228  57975 |        1 |        0
436.63/436.72	c  436s |      25 |  5196077 |  5132898 |      228  58161 |        1 |        0
438.63/438.72	c  438s |      25 |  5218375 |  5154998 |      228  58343 |        1 |        0
440.63/440.73	c  440s |      25 |  5241030 |  5177398 |      228  58529 |        1 |        0
442.62/442.74	c  442s |      25 |  5263531 |  5199698 |      228  58713 |        1 |        0
444.62/444.75	c  444s |      25 |  5286229 |  5222198 |      228  58899 |        1 |        0
446.63/446.75	c  446s |      25 |  5309084 |  5244798 |      228  59087 |        1 |        0
448.62/448.76	c  448s |      25 |  5331756 |  5267198 |      228  59272 |        1 |        0
450.62/450.76	c  450s |      25 |  5354318 |  5289498 |      228  59458 |        1 |        0
452.62/452.77	c  452s |      25 |  5376734 |  5311698 |      228  59643 |        1 |        0
454.62/454.78	c  454s |      25 |  5399263 |  5333998 |      228  59831 |        1 |        0
456.62/456.78	c  456s |      25 |  5421400 |  5355898 |      228  60012 |        1 |        0
458.63/458.78	c  458s |      25 |  5443876 |  5378098 |      228  60197 |        1 |        0
460.62/460.79	c  460s |      25 |  5467133 |  5401098 |      228  60388 |        1 |        0
462.62/462.80	c  462s |      25 |  5489444 |  5423198 |      228  60572 |        1 |        0
464.72/464.80	c  464s |      25 |  5511697 |  5445198 |      228  60756 |        1 |        0
466.72/466.81	c  466s |      25 |  5534254 |  5467498 |      228  60942 |        1 |        0
468.72/468.81	c  468s |      25 |  5556560 |  5489598 |      228  61128 |        1 |        0
470.72/470.81	c  470s |      25 |  5579598 |  5512398 |      228  61319 |        1 |        0
472.72/472.82	c  472s |      25 |  5602723 |  5535298 |      228  61512 |        1 |        0
474.71/474.82	c  474s |      25 |  5625276 |  5557698 |      228  61700 |        1 |        0
476.71/476.83	c  476s |      25 |  5647647 |  5579898 |      228  61885 |        1 |        0
478.71/478.83	c  478s |      25 |  5669951 |  5601998 |      228  62069 |        1 |        0
480.72/480.84	c  480s |      25 |  5692822 |  5624698 |      228  62259 |        1 |        0
482.72/482.84	c  482s |      25 |  5715920 |  5647498 |      228  62449 |        1 |        0
484.72/484.85	c  484s |      25 |  5738583 |  5669898 |      228  62636 |        1 |        0
486.72/486.85	c  486s |      25 |  5761118 |  5692198 |      228  62824 |        1 |        0
488.72/488.85	c  488s |      25 |  5783963 |  5714798 |      228  63013 |        1 |        0
490.72/490.86	c  490s |      25 |  5806458 |  5737098 |      228  63202 |        1 |        0
492.73/492.87	c  492s |      25 |  5828803 |  5759298 |      228  63387 |        1 |        0
494.72/494.87	c  494s |      25 |  5851454 |  5781698 |      228  63574 |        1 |        0
496.72/496.87	c  496s |      25 |  5873832 |  5803898 |      228  63760 |        1 |        0
498.72/498.88	c  498s |      25 |  5896272 |  5826098 |      228  63947 |        1 |        0
500.72/500.89	c  500s |      25 |  5918858 |  5848398 |      228  64135 |        1 |        0
502.72/502.89	c  502s |      25 |  5941014 |  5870298 |      228  64319 |        1 |        0
504.72/504.89	c  504s |      25 |  5963096 |  5892098 |      228  64502 |        1 |        0
506.82/506.90	c  506s |      25 |  5985528 |  5914298 |      228  64690 |        1 |        0
508.81/508.90	c  508s |      25 |  6008641 |  5937098 |      228  64883 |        1 |        0
510.81/510.91	c  510s |      25 |  6031759 |  5959798 |      228  65071 |        1 |        0
512.81/512.91	c  512s |      25 |  6054389 |  5982098 |      228  65256 |        1 |        0
514.82/514.92	c  514s |      25 |  6076749 |  6004198 |      228  65440 |        1 |        0
516.81/516.92	c  516s |      25 |  6099925 |  6026998 |      228  65632 |        1 |        0
518.81/518.92	c  518s |      25 |  6122029 |  6048898 |      228  65813 |        1 |        0
520.81/520.93	c  520s |      25 |  6144687 |  6071198 |      228  66000 |        1 |        0
522.81/522.94	c  522s |      25 |  6167362 |  6093498 |      228  66188 |        1 |        0
524.81/524.94	c  524s |      25 |  6190410 |  6116198 |      228  66378 |        1 |        0
526.81/526.95	c  526s |      25 |  6213162 |  6138698 |      228  66569 |        1 |        0
528.81/528.95	c  528s |      25 |  6235708 |  6160998 |      228  66753 |        1 |        0
530.81/530.95	c  530s |      25 |  6258526 |  6183498 |      228  66941 |        1 |        0
532.80/532.96	c  532s |      25 |  6281211 |  6205898 |      228  67130 |        1 |        0
534.80/534.96	c  534s |      25 |  6304307 |  6228698 |      228  67321 |        1 |        0
536.81/536.97	c  536s |      25 |  6327521 |  6251598 |      228  67514 |        1 |        0
538.80/538.98	c  538s |      25 |  6351114 |  6274698 |      228  67709 |        1 |        0
540.80/540.98	c  540s |      25 |  6373900 |  6297198 |      228  67899 |        1 |        0
542.80/542.99	c  542s |      25 |  6397401 |  6320398 |      228  68097 |        1 |        0
544.80/544.99	c  544s |      25 |  6420345 |  6342998 |      228  68286 |        1 |        0
546.89/547.00	c  546s |      25 |  6442688 |  6365098 |      228  68470 |        1 |        0
548.91/549.00	c  548s |      25 |  6465623 |  6387698 |      228  68660 |        1 |        0
550.90/551.01	c  550s |      25 |  6488286 |  6410098 |      228  68849 |        1 |        0
552.90/553.02	c  553s |      25 |  6511035 |  6432598 |      228  69039 |        1 |        0
554.90/555.02	c  555s |      25 |  6533838 |  6455098 |      228  69228 |        1 |        0
556.90/557.02	c  557s |      25 |  6556730 |  6477698 |      228  69420 |        1 |        0
558.90/559.03	c  559s |      25 |  6579511 |  6500198 |      228  69609 |        1 |        0
560.90/561.04	c  561s |      25 |  6602651 |  6523098 |      228  69804 |        1 |        0
562.89/563.04	c  563s |      25 |  6625845 |  6545998 |      228  69999 |        1 |        0
564.89/565.05	c  565s |      25 |  6648593 |  6568498 |      228  70187 |        1 |        0
566.89/567.06	c  567s |      25 |  6671763 |  6591298 |      228  70379 |        1 |        0
568.89/569.06	c  569s |      25 |  6694495 |  6613798 |      228  70569 |        1 |        0
570.90/571.06	c  571s |      25 |  6717266 |  6636298 |      228  70760 |        1 |        0
572.89/573.07	c  573s |      25 |  6740008 |  6658798 |      228  70951 |        1 |        0
574.89/575.07	c  575s |      25 |  6762790 |  6681298 |      228  71143 |        1 |        0
576.89/577.08	c  577s |      25 |  6785633 |  6703898 |      228  71334 |        1 |        0
578.89/579.09	c  579s |      25 |  6808636 |  6726598 |      228  71526 |        1 |        0
580.89/581.09	c  581s |      25 |  6831167 |  6748898 |      228  71716 |        1 |        0
582.90/583.09	c  583s |      25 |  6853907 |  6771398 |      228  71908 |        1 |        0
584.99/585.10	c  585s |      25 |  6876748 |  6793998 |      228  72101 |        1 |        0
586.99/587.11	c  587s |      25 |  6899509 |  6816498 |      228  72294 |        1 |        0
588.99/589.11	c  589s |      25 |  6922281 |  6838998 |      228  72482 |        1 |        0
590.99/591.11	c  591s |      25 |  6944465 |  6860998 |      228  72664 |        1 |        0
592.99/593.11	c  593s |      25 |  6966430 |  6882798 |      228  72845 |        1 |        0
594.99/595.12	c  595s |      25 |  6988600 |  6904798 |      228  73029 |        1 |        0
596.99/597.12	c  597s |      25 |  7010930 |  6926898 |      228  73215 |        1 |        0
598.99/599.13	c  599s |      25 |  7033603 |  6949298 |      228  73401 |        1 |        0
600.99/601.14	c  601s |      25 |  7055805 |  6971298 |      228  73586 |        1 |        0
602.98/603.14	c  603s |      25 |  7078108 |  6993398 |      228  73770 |        1 |        0
604.99/605.14	c  605s |      25 |  7100522 |  7015598 |      228  73957 |        1 |        0
606.98/607.15	c  607s |      25 |  7123292 |  7038098 |      228  74146 |        1 |        0
608.98/609.15	c  609s |      25 |  7145906 |  7060398 |      228  74335 |        1 |        0
610.98/611.16	c  611s |      25 |  7168540 |  7082698 |      228  74521 |        1 |        0
612.98/613.16	c  613s |      25 |  7190877 |  7104798 |      228  74706 |        1 |        0
614.98/615.17	c  615s |      25 |  7213413 |  7127098 |      228  74894 |        1 |        0
616.99/617.17	c  617s |      25 |  7235684 |  7149198 |      228  75079 |        1 |        0
618.98/619.18	c  619s |      25 |  7258289 |  7171598 |      228  75267 |        1 |        0
620.98/621.18	c  621s |      25 |  7281106 |  7194098 |      228  75457 |        1 |        0
622.97/623.19	c  623s |      25 |  7304152 |  7216798 |      228  75648 |        1 |        0
624.98/625.19	c  625s |      25 |  7326932 |  7239298 |      228  75838 |        1 |        0
627.08/627.20	c  627s |      25 |  7349291 |  7261498 |      228  76025 |        1 |        0
629.09/629.21	c  629s |      25 |  7372049 |  7283998 |      228  76215 |        1 |        0
631.08/631.21	c  631s |      25 |  7394366 |  7306098 |      228  76402 |        1 |        0
633.07/633.22	c  633s |      25 |  7416791 |  7328298 |      228  76591 |        1 |        0
635.07/635.22	c  635s |      25 |  7439406 |  7350698 |      228  76782 |        1 |        0
637.07/637.23	c  637s |      25 |  7462040 |  7373098 |      228  76970 |        1 |        0
639.08/639.23	c  639s |      25 |  7484857 |  7395698 |      228  77159 |        1 |        0
641.07/641.23	c  641s |      25 |  7507605 |  7418198 |      228  77348 |        1 |        0
643.06/643.24	c  643s |      25 |  7530391 |  7440798 |      228  77537 |        1 |        0
645.06/645.24	c  645s |      25 |  7553353 |  7463498 |      228  77728 |        1 |        0
647.06/647.25	c  647s |      25 |  7575895 |  7485798 |      228  77917 |        1 |        0
649.06/649.26	c  649s |      25 |  7598364 |  7508098 |      228  78104 |        1 |        0
651.08/651.26	c  651s |      25 |  7620861 |  7530398 |      228  78293 |        1 |        0
653.06/653.26	c  653s |      25 |  7644392 |  7553498 |      251  78481 |        1 |        0
655.06/655.27	c  655s |      25 |  7666915 |  7575798 |      251  78653 |        1 |        0
657.06/657.24	c  657s |      26 |  7689134 |  7597752 |      251  78824 |        1 |        0
659.06/659.25	c  659s |      26 |  7712873 |  7621052 |      251  78998 |        1 |        0
661.07/661.25	c  661s |      26 |  7735455 |  7643352 |      251  79166 |        1 |        0
663.06/663.26	c  663s |      26 |  7757882 |  7665552 |      251  79334 |        1 |        0
665.06/665.26	c  665s |      26 |  7780667 |  7688052 |      251  79504 |        1 |        0
667.06/667.26	c  667s |      26 |  7803244 |  7710352 |      251  79673 |        1 |        0
669.06/669.26	c  669s |      26 |  7825459 |  7732352 |      251  79839 |        1 |        0
671.06/671.27	c  671s |      26 |  7848412 |  7755052 |      251  80011 |        1 |        0
673.06/673.27	c  673s |      26 |  7871450 |  7777852 |      251  80184 |        1 |        0
675.06/675.27	c  675s |      26 |  7894544 |  7800652 |      251  80358 |        1 |        0
677.05/677.28	c  677s |      26 |  7917361 |  7823152 |      251  80528 |        1 |        0
679.05/679.28	c  679s |      26 |  7940562 |  7845952 |      251  80700 |        1 |        0
681.05/681.29	c  681s |      26 |  7963063 |  7868252 |      251  80870 |        1 |        0
683.06/683.29	c  683s |      26 |  7985612 |  7890552 |      251  81038 |        1 |        0
685.05/685.29	c  685s |      26 |  8008160 |  7912852 |      251  81208 |        1 |        0
687.05/687.30	c  687s |      26 |  8030685 |  7935152 |      251  81378 |        1 |        0
689.15/689.30	c  689s |      26 |  8053187 |  7957352 |      251  81548 |        1 |        0
691.14/691.31	c  691s |      26 |  8075855 |  7979752 |      251  81719 |        1 |        0
693.15/693.31	c  693s |      26 |  8098541 |  8002152 |      251  81890 |        1 |        0
695.16/695.32	c  695s |      26 |  8121405 |  8024752 |      251  82062 |        1 |        0
697.15/697.32	c  697s |      26 |  8144278 |  8047352 |      251  82234 |        1 |        0
699.15/699.32	c  699s |      26 |  8167362 |  8070152 |      251  82408 |        1 |        0
701.15/701.33	c  701s |      26 |  8190634 |  8093152 |      251  82583 |        1 |        0
703.15/703.33	c  703s |      26 |  8213875 |  8116152 |      251  82760 |        1 |        0
705.15/705.33	c  705s |      26 |  8236948 |  8138952 |      251  82936 |        1 |        0
707.15/707.33	c  707s |      26 |  8260544 |  8162152 |      251  83113 |        1 |        0
709.15/709.34	c  709s |      26 |  8284249 |  8185452 |      251  83291 |        1 |        0
711.14/711.35	c  711s |      26 |  8307222 |  8208152 |      251  83465 |        1 |        0
713.14/713.35	c  713s |      26 |  8330476 |  8231152 |      251  83641 |        1 |        0
715.14/715.36	c  715s |      26 |  8353520 |  8253952 |      251  83817 |        1 |        0
717.15/717.37	c  717s |      26 |  8376534 |  8276752 |      251  83991 |        1 |        0
719.14/719.37	c  719s |      26 |  8398912 |  8298952 |      251  84162 |        1 |        0
721.13/721.37	c  721s |      26 |  8421332 |  8321152 |      251  84334 |        1 |        0
723.13/723.38	c  723s |      26 |  8444356 |  8343952 |      251  84510 |        1 |        0
725.13/725.39	c  725s |      26 |  8466426 |  8365852 |      251  84677 |        1 |        0
727.13/727.39	c  727s |      26 |  8489002 |  8388252 |      251  84848 |        1 |        0
729.14/729.40	c  729s |      26 |  8511293 |  8410352 |      251  85016 |        1 |        0
731.23/731.40	c  731s |      26 |  8534272 |  8433052 |      251  85189 |        1 |        0
733.23/733.40	c  733s |      26 |  8556987 |  8455552 |      251  85362 |        1 |        0
735.23/735.41	c  735s |      26 |  8579566 |  8477952 |      251  85535 |        1 |        0
737.23/737.42	c  737s |      26 |  8602411 |  8500552 |      251  85707 |        1 |        0
739.24/739.42	c  739s |      26 |  8625429 |  8523352 |      251  85881 |        1 |        0
741.24/741.43	c  741s |      26 |  8648549 |  8546252 |      251  86057 |        1 |        0
743.23/743.43	c  743s |      26 |  8672065 |  8569452 |      251  86236 |        1 |        0
745.23/745.44	c  745s |      26 |  8694712 |  8591852 |      251  86407 |        1 |        0
747.23/747.44	c  747s |      26 |  8717875 |  8614752 |      251  86583 |        1 |        0
749.23/749.44	c  749s |      26 |  8741226 |  8637852 |      251  86761 |        1 |        0
751.23/751.45	c  751s |      26 |  8764108 |  8660552 |      251  86936 |        1 |        0
753.22/753.46	c  753s |      26 |  8787057 |  8683252 |      251  87110 |        1 |        0
755.22/755.47	c  755s |      26 |  8810065 |  8705952 |      251  87283 |        1 |        0
757.22/757.47	c  757s |      26 |  8833095 |  8728752 |      251  87457 |        1 |        0
759.22/759.48	c  759s |      26 |  8856203 |  8751652 |      251  87633 |        1 |        0
761.22/761.48	c  761s |      26 |  8879390 |  8774552 |      251  87809 |        1 |        0
763.23/763.49	c  763s |      26 |  8902692 |  8797552 |      251  87985 |        1 |        0
765.22/765.49	c  765s |      26 |  8926034 |  8820652 |      251  88163 |        1 |        0
767.32/767.50	c  767s |      26 |  8949033 |  8843452 |      251  88339 |        1 |        0
769.32/769.50	c  769s |      26 |  8972068 |  8866252 |      251  88515 |        1 |        0
771.31/771.50	c  771s |      26 |  8994922 |  8888952 |      251  88690 |        1 |        0
773.31/773.51	c  773s |      26 |  9018332 |  8912152 |      251  88869 |        1 |        0
775.32/775.51	c  775s |      26 |  9041397 |  8935052 |      251  89045 |        1 |        0
777.32/777.52	c  777s |      26 |  9064830 |  8958252 |      251  89225 |        1 |        0
779.32/779.52	c  779s |      26 |  9088124 |  8981352 |      251  89404 |        1 |        0
781.32/781.53	c  781s |      26 |  9111611 |  9004652 |      251  89583 |        1 |        0
783.32/783.53	c  783s |      26 |  9135129 |  9027952 |      251  89763 |        1 |        0
785.32/785.54	c  785s |      26 |  9158956 |  9051552 |      251  89946 |        1 |        0
787.31/787.54	c  787s |      26 |  9182031 |  9074452 |      251  90123 |        1 |        0
789.31/789.55	c  789s |      26 |  9205029 |  9097252 |      251  90301 |        1 |        0
791.31/791.55	c  791s |      26 |  9228523 |  9120452 |      251  90481 |        1 |        0
793.31/793.55	c  793s |      26 |  9251439 |  9143052 |      251  90651 |        1 |        0
795.31/795.55	c  795s |      26 |  9274507 |  9165852 |      251  90824 |        1 |        0
797.31/797.55	c  797s |      26 |  9297884 |  9188952 |      251  90999 |        1 |        0
799.31/799.56	c  799s |      26 |  9320586 |  9211452 |      251  91171 |        1 |        0
801.30/801.56	c  801s |      26 |  9343144 |  9233852 |      251  91342 |        1 |        0
803.30/803.56	c  803s |      26 |  9365937 |  9256352 |      251  91513 |        1 |        0
805.30/805.57	c  805s |      26 |  9389008 |  9279152 |      251  91687 |        1 |        0
807.31/807.57	c  807s |      26 |  9412090 |  9301952 |      251  91861 |        1 |        0
809.30/809.57	c  809s |      26 |  9434964 |  9324652 |      251  92036 |        1 |        0
811.30/811.58	c  811s |      26 |  9457156 |  9346652 |      251  92204 |        1 |        0
813.30/813.58	c  813s |      26 |  9479697 |  9368952 |      251  92374 |        1 |        0
815.30/815.58	c  815s |      26 |  9502382 |  9391452 |      251  92546 |        1 |        0
817.30/817.59	c  817s |      26 |  9524681 |  9413552 |      251  92716 |        1 |        0
819.31/819.60	c  819s |      26 |  9547392 |  9436052 |      251  92889 |        1 |        0
821.40/821.60	c  821s |      26 |  9570708 |  9459052 |      251  93066 |        1 |        0
823.40/823.61	c  823s |      26 |  9593725 |  9481852 |      251  93242 |        1 |        0
825.40/825.61	c  825s |      26 |  9617069 |  9504952 |      251  93421 |        1 |        0
827.40/827.61	c  827s |      26 |  9640227 |  9527852 |      251  93594 |        1 |        0
829.40/829.62	c  829s |      26 |  9662721 |  9550152 |      251  93764 |        1 |        0
831.40/831.62	c  831s |      26 |  9685741 |  9572952 |      251  93939 |        1 |        0
833.40/833.63	c  833s |      26 |  9708744 |  9595752 |      251  94114 |        1 |        0
835.40/835.63	c  835s |      26 |  9731560 |  9618352 |      251  94287 |        1 |        0
837.40/837.64	c  837s |      26 |  9754189 |  9640752 |      251  94460 |        1 |        0
839.39/839.65	c  839s |      26 |  9777548 |  9663852 |      251  94638 |        1 |        0
841.40/841.65	c  841s |      26 |  9801014 |  9687052 |      251  94818 |        1 |        0
843.39/843.66	c  843s |      26 |  9824052 |  9709852 |      251  94993 |        1 |        0
845.39/845.66	c  845s |      26 |  9847502 |  9733052 |      251  95173 |        1 |        0
847.39/847.67	c  847s |      26 |  9870120 |  9755552 |      251  95348 |        1 |        0
849.39/849.67	c  849s |      26 |  9892820 |  9778052 |      251  95522 |        1 |        0
851.39/851.67	c  851s |      26 |  9915460 |  9800452 |      251  95694 |        1 |        0
853.39/853.68	c  853s |      26 |  9938590 |  9823352 |      251  95871 |        1 |        0
855.39/855.68	c  855s |      26 |  9961062 |  9845552 |      251  96040 |        1 |        0
857.38/857.69	c  857s |      26 |  9983793 |  9868052 |      251  96214 |        1 |        0
859.38/859.69	c  859s |      26 | 10006369 |  9890452 |      251  96386 |        1 |        0
861.48/861.70	c  861s |      26 | 10028863 |  9912752 |      251  96559 |        1 |        0
863.48/863.70	c  863s |      26 | 10051090 |  9934752 |      251  96730 |        1 |        0
865.48/865.70	c  865s |      26 | 10074232 |  9957552 |      251  96908 |        1 |        0
867.48/867.70	c  867s |      26 | 10096839 |  9979952 |      251  97081 |        1 |        0
869.48/869.71	c  869s |      26 | 10120190 | 10003052 |      251  97259 |        1 |        0
871.47/871.72	c  871s |      26 | 10142797 | 10025452 |      251  97432 |        1 |        0
873.47/873.72	c  873s |      26 | 10165823 | 10048252 |      251  97609 |        1 |        0
875.48/875.72	c  875s |      26 | 10188269 | 10070552 |      251  97782 |        1 |        0
877.47/877.73	c  877s |      26 | 10210888 | 10092952 |      251  97955 |        1 |        0
879.47/879.74	c  879s |      26 | 10233832 | 10115652 |      251  98131 |        1 |        0
881.47/881.74	c  881s |      26 | 10256717 | 10138352 |      251  98308 |        1 |        0
883.47/883.75	c  883s |      26 | 10280051 | 10161452 |      251  98488 |        1 |        0
885.47/885.75	c  885s |      26 | 10304073 | 10185152 |      251  98672 |        1 |        0
887.48/887.75	c  887s |      26 | 10327477 | 10208252 |      251  98853 |        1 |        0
889.47/889.76	c  889s |      26 | 10350260 | 10230852 |      251  99030 |        1 |        0
891.47/891.76	c  891s |      26 | 10373395 | 10253752 |      251  99209 |        1 |        0
893.47/893.76	c  893s |      26 | 10395822 | 10275852 |      251  99377 |        1 |        0
895.47/895.77	c  895s |      26 | 10418010 | 10297852 |      251  99547 |        1 |        0
897.48/897.77	c  897s |      26 | 10440496 | 10319952 |      251  99718 |        1 |        0
899.47/899.77	c  899s |      26 | 10462723 | 10341852 |      251  99886 |        1 |        0
901.47/901.77	c  901s |      26 | 10484852 | 10363752 |      251 100055 |        1 |        0
903.47/903.78	c  903s |      26 | 10507651 | 10386352 |      251 100229 |        1 |        0
905.46/905.78	c  905s |      26 | 10530235 | 10408752 |      251 100401 |        1 |        0
907.46/907.78	c  907s |      26 | 10552298 | 10430652 |      251 100571 |        1 |        0
909.47/909.79	c  909s |      26 | 10574824 | 10453052 |      251 100745 |        1 |        0
911.46/911.79	c  911s |      26 | 10597486 | 10475552 |      251 100919 |        1 |        0
913.46/913.79	c  913s |      26 | 10619978 | 10497852 |      251 101088 |        1 |        0
915.46/915.79	c  915s |      26 | 10642569 | 10520252 |      251 101260 |        1 |        0
917.56/917.80	c  917s |      26 | 10664926 | 10542452 |      251 101431 |        1 |        0
919.56/919.80	c  919s |      26 | 10687594 | 10564952 |      251 101604 |        1 |        0
921.56/921.80	c  921s |      26 | 10710423 | 10587552 |      251 101778 |        1 |        0
923.56/923.81	c  923s |      26 | 10733250 | 10610152 |      251 101952 |        1 |        0
925.56/925.81	c  925s |      26 | 10756049 | 10632752 |      251 102126 |        1 |        0
927.56/927.81	c  927s |      26 | 10779058 | 10655552 |      251 102302 |        1 |        0
929.56/929.82	c  929s |      26 | 10801786 | 10677952 |      251 102476 |        1 |        0
931.56/931.83	c  931s |      26 | 10824445 | 10700452 |      251 102651 |        1 |        0
933.55/933.83	c  933s |      26 | 10847075 | 10722852 |      251 102826 |        1 |        0
935.55/935.83	c  935s |      26 | 10869634 | 10745252 |      251 102999 |        1 |        0
937.55/937.83	c  937s |      26 | 10891653 | 10767052 |      251 103168 |        1 |        0
939.55/939.83	c  939s |      26 | 10914263 | 10789452 |      251 103343 |        1 |        0
941.55/941.84	c  941s |      26 | 10936962 | 10811952 |      251 103518 |        1 |        0
943.55/943.84	c  943s |      26 | 10959964 | 10834752 |      251 103696 |        1 |        0
945.55/945.84	c  945s |      26 | 10982922 | 10857552 |      251 103874 |        1 |        0
947.55/947.85	c  947s |      26 | 11005688 | 10880152 |      251 104051 |        1 |        0
949.54/949.86	c  949s |      26 | 11027959 | 10902252 |      251 104223 |        1 |        0
951.54/951.86	c  951s |      26 | 11050380 | 10924452 |      251 104394 |        1 |        0
953.55/953.87	c  953s |      26 | 11073150 | 10947052 |      251 104569 |        1 |        0
955.54/955.88	c  955s |      26 | 11095827 | 10969552 |      251 104743 |        1 |        0
957.55/957.89	c  957s |      26 | 11118976 | 10992452 |      251 104920 |        1 |        0
959.55/959.89	c  959s |      26 | 11141578 | 11014852 |      251 105095 |        1 |        0
961.54/961.90	c  961s |      26 | 11164523 | 11037552 |      251 105269 |        1 |        0
963.64/963.90	c  963s |      26 | 11187739 | 11060452 |      251 105446 |        1 |        0
965.65/965.91	c  965s |      26 | 11211095 | 11083552 |      251 105625 |        1 |        0
967.64/967.91	c  967s |      26 | 11234393 | 11106652 |      251 105803 |        1 |        0
969.64/969.92	c  969s |      26 | 11257730 | 11129652 |      251 105982 |        1 |        0
971.63/971.93	c  971s |      26 | 11280819 | 11152552 |      251 106160 |        1 |        0
973.63/973.93	c  973s |      26 | 11304320 | 11175852 |      251 106342 |        1 |        0
975.63/975.94	c  975s |      26 | 11327171 | 11198552 |      251 106521 |        1 |        0
977.64/977.94	c  977s |      26 | 11349822 | 11221052 |      251 106695 |        1 |        0
979.63/979.94	c  979s |      26 | 11372592 | 11243652 |      251 106870 |        1 |        0
981.63/981.94	c  981s |      26 | 11396619 | 11267352 |      251 107055 |        1 |        0
983.63/983.94	c  983s |      26 | 11419813 | 11290352 |      251 107233 |        1 |        0
985.64/985.95	c  985s |      26 | 11442796 | 11313152 |      251 107411 |        1 |        0
987.64/987.95	c  987s |      26 | 11465191 | 11335352 |      277 107570 |        1 |        0
989.63/989.95	c  989s |      26 | 11487765 | 11357752 |      277 107729 |        1 |        0
991.63/991.95	c  991s |      26 | 11510109 | 11379952 |      277 107886 |        1 |        0
993.14/993.48	c  993s |      27 | 11527009 | 11396733 |      277 108005 |        1 |        0
995.13/995.48	c  995s |      27 | 11549769 | 11419233 |      277 108162 |        1 |        0
997.13/997.48	c  997s |      27 | 11572021 | 11441233 |      277 108313 |        1 |        0
999.13/999.48	c  999s |      27 | 11594010 | 11463033 |      277 108464 |        1 |        0
1001.13/1001.49	c 1001s |      27 | 11616214 | 11484933 |      277 108615 |        1 |        0
1003.12/1003.49	c 1003s |      27 | 11638614 | 11507133 |      277 108770 |        1 |        0
1005.13/1005.50	c 1005s |      27 | 11661149 | 11529233 |      277 108924 |        1 |        0
1007.22/1007.50	c 1007s |      27 | 11683694 | 11551533 |      277 109079 |        1 |        0
1009.22/1009.50	c 1009s |      27 | 11705856 | 11573433 |      277 109233 |        1 |        0
1011.21/1011.50	c 1011s |      27 | 11728118 | 11595533 |      277 109387 |        1 |        0
1013.21/1013.51	c 1013s |      27 | 11750194 | 11617433 |      277 109538 |        1 |        0
1015.21/1015.51	c 1015s |      27 | 11772115 | 11639133 |      277 109690 |        1 |        0
1017.22/1017.52	c 1017s |      27 | 11794381 | 11661133 |      277 109844 |        1 |        0
1019.21/1019.52	c 1019s |      27 | 11816787 | 11683333 |      277 109999 |        1 |        0
1021.21/1021.53	c 1021s |      27 | 11839265 | 11705633 |      277 110156 |        1 |        0
1023.21/1023.53	c 1023s |      27 | 11861342 | 11727433 |      277 110309 |        1 |        0
1025.21/1025.54	c 1025s |      27 | 11883506 | 11749333 |      277 110462 |        1 |        0
1027.22/1027.55	c 1027s |      27 | 11905604 | 11771133 |      277 110616 |        1 |        0
1029.21/1029.55	c 1029s |      27 | 11927738 | 11793033 |      277 110770 |        1 |        0
1031.21/1031.55	c 1031s |      27 | 11949966 | 11815033 |      277 110927 |        1 |        0
1033.21/1033.56	c 1033s |      27 | 11972147 | 11837033 |      277 111078 |        1 |        0
1035.21/1035.56	c 1035s |      27 | 11994445 | 11859133 |      277 111230 |        1 |        0
1037.21/1037.57	c 1037s |      27 | 12017022 | 11881533 |      277 111384 |        1 |        0
1039.21/1039.58	c 1039s |      27 | 12039217 | 11903533 |      277 111537 |        1 |        0
1041.20/1041.58	c 1041s |      27 | 12061335 | 11925433 |      277 111689 |        1 |        0
1043.20/1043.59	c 1043s |      27 | 12083531 | 11947333 |      277 111841 |        1 |        0
1045.20/1045.59	c 1045s |      27 | 12105815 | 11969433 |      277 111995 |        1 |        0
1047.29/1047.60	c 1047s |      27 | 12128051 | 11991433 |      277 112148 |        1 |        0
1049.29/1049.60	c 1049s |      27 | 12150033 | 12013233 |      277 112301 |        1 |        0
1051.30/1051.61	c 1051s |      27 | 12172420 | 12035433 |      277 112457 |        1 |        0
1053.29/1053.62	c 1053s |      27 | 12194288 | 12057133 |      277 112609 |        1 |        0
1055.30/1055.62	c 1055s |      27 | 12216647 | 12079333 |      277 112764 |        1 |        0
1057.30/1057.62	c 1057s |      27 | 12239024 | 12101533 |      277 112921 |        1 |        0
1059.30/1059.62	c 1059s |      27 | 12261059 | 12123333 |      277 113074 |        1 |        0
1061.30/1061.63	c 1061s |      27 | 12283456 | 12145533 |      277 113231 |        1 |        0
1063.30/1063.63	c 1063s |      27 | 12305912 | 12167633 |      277 113386 |        1 |        0
1065.30/1065.63	c 1065s |      27 | 12328571 | 12189833 |      277 113542 |        1 |        0
1067.29/1067.64	c 1067s |      27 | 12350887 | 12211833 |      277 113697 |        1 |        0
1069.29/1069.64	c 1069s |      27 | 12372931 | 12233533 |      277 113851 |        1 |        0
1071.29/1071.64	c 1071s |      27 | 12395448 | 12255733 |      277 114009 |        1 |        0
1073.30/1073.65	c 1073s |      27 | 12417813 | 12277833 |      277 114160 |        1 |        0
1075.29/1075.66	c 1075s |      27 | 12439870 | 12299633 |      277 114311 |        1 |        0
1077.29/1077.66	c 1077s |      27 | 12462183 | 12321633 |      277 114463 |        1 |        0
1079.29/1079.67	c 1079s |      27 | 12484316 | 12343533 |      277 114615 |        1 |        0
1081.28/1081.68	c 1081s |      27 | 12506861 | 12365833 |      277 114771 |        1 |        0
1083.29/1083.68	c 1083s |      27 | 12529209 | 12387833 |      277 114923 |        1 |        0
1085.28/1085.69	c 1085s |      27 | 12551729 | 12410133 |      277 115078 |        1 |        0
1087.28/1087.69	c 1087s |      27 | 12574535 | 12432633 |      277 115236 |        1 |        0
1089.38/1089.70	c 1089s |      27 | 12597258 | 12455033 |      277 115392 |        1 |        0
1091.38/1091.71	c 1091s |      27 | 12619781 | 12477333 |      277 115549 |        1 |        0
1093.38/1093.72	c 1093s |      27 | 12642251 | 12499533 |      277 115704 |        1 |        0
1095.38/1095.72	c 1095s |      27 | 12664522 | 12521533 |      277 115859 |        1 |        0
1097.38/1097.72	c 1097s |      27 | 12686703 | 12543433 |      277 116011 |        1 |        0
1099.38/1099.73	c 1099s |      27 | 12708437 | 12564933 |      277 116160 |        1 |        0
1101.37/1101.73	c 1101s |      27 | 12730265 | 12586533 |      277 116310 |        1 |        0
1103.37/1103.74	c 1103s |      27 | 12752551 | 12608533 |      277 116464 |        1 |        0
1105.37/1105.75	c 1105s |      27 | 12774232 | 12630033 |      277 116615 |        1 |        0
1107.38/1107.75	c 1107s |      27 | 12796038 | 12651633 |      277 116765 |        1 |        0
1109.38/1109.76	c 1109s |      27 | 12818182 | 12673533 |      277 116919 |        1 |        0
1111.38/1111.76	c 1111s |      27 | 12840219 | 12695333 |      277 117073 |        1 |        0
1113.38/1113.76	c 1113s |      27 | 12862300 | 12717233 |      277 117226 |        1 |        0
1115.38/1115.76	c 1115s |      27 | 12883900 | 12738533 |      277 117376 |        1 |        0
1117.38/1117.77	c 1117s |      27 | 12906680 | 12761033 |      277 117534 |        1 |        0
1119.37/1119.77	c 1119s |      27 | 12928775 | 12782933 |      277 117689 |        1 |        0
1121.37/1121.78	c 1121s |      27 | 12950935 | 12804833 |      277 117843 |        1 |        0
1123.37/1123.78	c 1123s |      27 | 12973322 | 12826733 |      277 117997 |        1 |        0
1125.37/1125.79	c 1125s |      27 | 12996212 | 12849333 |      277 118158 |        1 |        0
1127.37/1127.79	c 1127s |      27 | 13018993 | 12871733 |      277 118315 |        1 |        0
1129.37/1129.80	c 1129s |      27 | 13041643 | 12894133 |      277 118474 |        1 |        0
1131.46/1131.80	c 1131s |      27 | 13064390 | 12916633 |      277 118633 |        1 |        0
1133.46/1133.81	c 1133s |      27 | 13086610 | 12938633 |      277 118789 |        1 |        0
1135.46/1135.82	c 1135s |      27 | 13108410 | 12960233 |      277 118942 |        1 |        0
1137.46/1137.83	c 1137s |      27 | 13129982 | 12981633 |      277 119090 |        1 |        0
1139.46/1139.83	c 1139s |      27 | 13152235 | 13003733 |      277 119244 |        1 |        0
1141.46/1141.83	c 1141s |      27 | 13174712 | 13025933 |      277 119399 |        1 |        0
1143.45/1143.84	c 1143s |      27 | 13196826 | 13047833 |      277 119552 |        1 |        0
1145.46/1145.84	c 1145s |      27 | 13218128 | 13068933 |      277 119700 |        1 |        0
1147.46/1147.84	c 1147s |      27 | 13239757 | 13090333 |      277 119851 |        1 |        0
1149.46/1149.84	c 1149s |      27 | 13262026 | 13112333 |      277 120004 |        1 |        0
1151.46/1151.85	c 1151s |      27 | 13284229 | 13134233 |      277 120156 |        1 |        0
1153.46/1153.85	c 1153s |      27 | 13306244 | 13156033 |      277 120309 |        1 |        0
1155.45/1155.85	c 1155s |      27 | 13328114 | 13177633 |      277 120461 |        1 |        0
1157.45/1157.86	c 1157s |      27 | 13349784 | 13199033 |      277 120611 |        1 |        0
1159.45/1159.86	c 1159s |      27 | 13371889 | 13220833 |      277 120764 |        1 |        0
1161.45/1161.87	c 1161s |      27 | 13393665 | 13242333 |      277 120916 |        1 |        0
1163.46/1163.87	c 1163s |      27 | 13415173 | 13263633 |      277 121066 |        1 |        0
1165.45/1165.87	c 1165s |      27 | 13436783 | 13285033 |      277 121218 |        1 |        0
1167.45/1167.88	c 1167s |      27 | 13458240 | 13306233 |      277 121366 |        1 |        0
1169.45/1169.88	c 1169s |      27 | 13479879 | 13327633 |      277 121517 |        1 |        0
1171.45/1171.88	c 1171s |      27 | 13501992 | 13349533 |      277 121670 |        1 |        0
1173.45/1173.88	c 1173s |      27 | 13524388 | 13371733 |      277 121827 |        1 |        0
1175.45/1175.89	c 1175s |      27 | 13546470 | 13393633 |      277 121981 |        1 |        0
1177.45/1177.89	c 1177s |      27 | 13568604 | 13415533 |      277 122137 |        1 |        0
1179.54/1179.90	c 1179s |      27 | 13590901 | 13437633 |      277 122292 |        1 |        0
1181.54/1181.90	c 1181s |      27 | 13613309 | 13459833 |      277 122450 |        1 |        0
1183.54/1183.90	c 1183s |      27 | 13635603 | 13481933 |      277 122606 |        1 |        0
1185.55/1185.90	c 1185s |      27 | 13657774 | 13503933 |      277 122762 |        1 |        0
1187.54/1187.91	c 1187s |      27 | 13680080 | 13526033 |      277 122919 |        1 |        0
1189.54/1189.92	c 1189s |      27 | 13703160 | 13548833 |      277 123081 |        1 |        0
1191.54/1191.92	c 1191s |      27 | 13725832 | 13571233 |      277 123242 |        1 |        0
1193.54/1193.93	c 1193s |      27 | 13748644 | 13593733 |      277 123400 |        1 |        0
1195.54/1195.93	c 1195s |      27 | 13771690 | 13616533 |      277 123562 |        1 |        0
1197.55/1197.94	c 1197s |      27 | 13794186 | 13638833 |      277 123719 |        1 |        0
1199.54/1199.94	c 1199s |      27 | 13816157 | 13660633 |      277 123873 |        1 |        0
1201.54/1201.95	c 1201s |      27 | 13838184 | 13682533 |      277 124030 |        1 |        0
1203.55/1203.96	c 1203s |      27 | 13860253 | 13704433 |      277 124184 |        1 |        0
1205.54/1205.96	c 1205s |      27 | 13883491 | 13727333 |      277 124347 |        1 |        0
1207.55/1207.97	c 1207s |      27 | 13906294 | 13749933 |      277 124507 |        1 |        0
1209.54/1209.98	c 1209s |      27 | 13929042 | 13772533 |      277 124669 |        1 |        0
1211.54/1211.98	c 1211s |      27 | 13952313 | 13795533 |      277 124831 |        1 |        0
1213.54/1213.99	c 1213s |      27 | 13975400 | 13818333 |      277 124993 |        1 |        0
1215.64/1216.00	c 1215s |      27 | 13998134 | 13840833 |      277 125153 |        1 |        0
1217.64/1218.00	c 1217s |      27 | 14020943 | 13863333 |      277 125313 |        1 |        0
1219.65/1220.01	c 1219s |      27 | 14043751 | 13885933 |      277 125475 |        1 |        0
1221.64/1222.01	c 1222s |      27 | 14066068 | 13908033 |      277 125632 |        1 |        0
1223.64/1224.02	c 1224s |      27 | 14087690 | 13929433 |      277 125780 |        1 |        0
1225.64/1226.03	c 1226s |      27 | 14110408 | 13951833 |      277 125937 |        1 |        0
1227.64/1228.03	c 1228s |      27 | 14133152 | 13974333 |      277 126094 |        1 |        0
1229.64/1230.04	c 1230s |      27 | 14156458 | 13997333 |      277 126256 |        1 |        0
1231.64/1232.04	c 1232s |      27 | 14179242 | 14019833 |      277 126414 |        1 |        0
1233.63/1234.05	c 1234s |      27 | 14202784 | 14043033 |      277 126578 |        1 |        0
1235.63/1236.05	c 1236s |      27 | 14224697 | 14064733 |      277 126728 |        1 |        0
1237.63/1238.05	c 1238s |      27 | 14246421 | 14086233 |      277 126879 |        1 |        0
1239.63/1240.06	c 1240s |      27 | 14268093 | 14107733 |      277 127030 |        1 |        0
1241.64/1242.06	c 1242s |      27 | 14290472 | 14129833 |      277 127183 |        1 |        0
1243.63/1244.06	c 1244s |      27 | 14312318 | 14151533 |      277 127335 |        1 |        0
1245.63/1246.07	c 1246s |      27 | 14333866 | 14172933 |      277 127485 |        1 |        0
1247.63/1248.07	c 1248s |      27 | 14355652 | 14194533 |      277 127637 |        1 |        0
1249.63/1250.08	c 1250s |      27 | 14377729 | 14216433 |      277 127792 |        1 |        0
1251.63/1252.09	c 1252s |      27 | 14399911 | 14238433 |      277 127947 |        1 |        0
1253.64/1254.09	c 1254s |      27 | 14422127 | 14260433 |      277 128101 |        1 |        0
1255.64/1256.09	c 1256s |      27 | 14444292 | 14282433 |      277 128256 |        1 |        0
1257.63/1258.09	c 1258s |      27 | 14466446 | 14304333 |      277 128411 |        1 |        0
1259.73/1260.10	c 1260s |      27 | 14489310 | 14326933 |      277 128570 |        1 |        0
1261.73/1262.10	c 1262s |      27 | 14511840 | 14349133 |      277 128725 |        1 |        0
1263.73/1264.10	c 1264s |      27 | 14534572 | 14371533 |      277 128883 |        1 |        0
1265.73/1266.11	c 1266s |      27 | 14556687 | 14393433 |      277 129037 |        1 |        0
1267.73/1268.11	c 1268s |      27 | 14579112 | 14415633 |      277 129194 |        1 |        0
1269.73/1270.11	c 1270s |      27 | 14601686 | 14437933 |      277 129352 |        1 |        0
1271.73/1272.11	c 1272s |      27 | 14624431 | 14460433 |      277 129513 |        1 |        0
1273.73/1274.12	c 1274s |      27 | 14646561 | 14482333 |      277 129666 |        1 |        0
1275.73/1276.12	c 1276s |      27 | 14669129 | 14504633 |      277 129822 |        1 |        0
1277.73/1278.12	c 1278s |      27 | 14691280 | 14526633 |      277 129976 |        1 |        0
1279.72/1280.13	c 1280s |      27 | 14713851 | 14548933 |      277 130132 |        1 |        0
1281.72/1282.13	c 1282s |      27 | 14736189 | 14571033 |      277 130288 |        1 |        0
1283.73/1284.14	c 1284s |      27 | 14758730 | 14593333 |      277 130445 |        1 |        0
1285.73/1286.15	c 1286s |      27 | 14781724 | 14615933 |      277 130603 |        1 |        0
1287.74/1288.15	c 1288s |      27 | 14803412 | 14637433 |      277 130754 |        1 |        0
1289.73/1290.16	c 1290s |      27 | 14826229 | 14659933 |      277 130913 |        1 |        0
1291.73/1292.16	c 1292s |      27 | 14849096 | 14682533 |      277 131072 |        1 |        0
1293.73/1294.16	c 1294s |      27 | 14872007 | 14705133 |      277 131231 |        1 |        0
1295.73/1296.16	c 1296s |      27 | 14895395 | 14728233 |      277 131394 |        1 |        0
1297.73/1298.17	c 1298s |      27 | 14918725 | 14751333 |      277 131559 |        1 |        0
1299.73/1300.17	c 1300s |      27 | 14941775 | 14774033 |      277 131719 |        1 |        0
1301.73/1302.17	c 1302s |      27 | 14964448 | 14796333 |      277 131875 |        1 |        0
1303.73/1304.18	c 1304s |      27 | 14987357 | 14818933 |      277 132035 |        1 |        0
1305.72/1306.18	c 1306s |      27 | 15010229 | 14841533 |      277 132194 |        1 |        0
1307.72/1308.19	c 1308s |      27 | 15033173 | 14864233 |      277 132355 |        1 |        0
1309.73/1310.19	c 1310s |      27 | 15055847 | 14886633 |      277 132513 |        1 |        0
1311.82/1312.20	c 1312s |      27 | 15078268 | 14908733 |      277 132668 |        1 |        0
1313.82/1314.20	c 1314s |      27 | 15100718 | 14931033 |      277 132826 |        1 |        0
1315.82/1316.21	c 1316s |      27 | 15123633 | 14953733 |      277 132987 |        1 |        0
1317.82/1318.21	c 1318s |      27 | 15146752 | 14976633 |      277 133149 |        1 |        0
1319.82/1320.21	c 1320s |      27 | 15169549 | 14999233 |      277 133310 |        1 |        0
1321.82/1322.21	c 1322s |      27 | 15192142 | 15021633 |      277 133469 |        1 |        0
1323.82/1324.22	c 1324s |      27 | 15215092 | 15044433 |      277 133631 |        1 |        0
1325.83/1326.22	c 1326s |      27 | 15237866 | 15066933 |      277 133791 |        1 |        0
1327.82/1328.23	c 1328s |      27 | 15260726 | 15089433 |      277 133949 |        1 |        0
1329.82/1330.23	c 1330s |      27 | 15283232 | 15111633 |      277 134106 |        1 |        0
1331.83/1332.24	c 1332s |      27 | 15306014 | 15134133 |      277 134266 |        1 |        0
1333.82/1334.24	c 1334s |      27 | 15328700 | 15156533 |      277 134425 |        1 |        0
1335.82/1336.25	c 1336s |      27 | 15351411 | 15178933 |      277 134584 |        1 |        0
1337.82/1338.25	c 1338s |      27 | 15374334 | 15201533 |      277 134745 |        1 |        0
1339.82/1340.26	c 1340s |      27 | 15397570 | 15224133 |      277 134906 |        1 |        0
1341.82/1342.26	c 1342s |      27 | 15420116 | 15246333 |      277 135064 |        1 |        0
1343.83/1344.26	c 1344s |      27 | 15442824 | 15268733 |      277 135224 |        1 |        0
1345.82/1346.27	c 1346s |      27 | 15465426 | 15291133 |      277 135384 |        1 |        0
1347.82/1348.28	c 1348s |      27 | 15488055 | 15313533 |      277 135543 |        1 |        0
1349.82/1350.28	c 1350s |      27 | 15510534 | 15335733 |      277 135701 |        1 |        0
1351.82/1352.28	c 1352s |      27 | 15532919 | 15357933 |      277 135860 |        1 |        0
1353.83/1354.29	c 1354s |      27 | 15555816 | 15380533 |      277 136022 |        1 |        0
1355.82/1356.29	c 1356s |      27 | 15578902 | 15403433 |      277 136186 |        1 |        0
1357.92/1358.30	c 1358s |      27 | 15601987 | 15426233 |      277 136350 |        1 |        0
1359.92/1360.30	c 1360s |      27 | 15624007 | 15448033 |      277 136500 |        1 |        0
1361.92/1362.30	c 1362s |      27 | 15646242 | 15469933 |      277 136653 |        1 |        0
1363.92/1364.31	c 1364s |      27 | 15668554 | 15491933 |      277 136806 |        1 |        0
1365.92/1366.31	c 1366s |      27 | 15690874 | 15513933 |      277 136958 |        1 |        0
1367.91/1368.31	c 1368s |      27 | 15713580 | 15536333 |      277 137115 |        1 |        0
1369.91/1370.32	c 1370s |      27 | 15735958 | 15558433 |      277 137269 |        1 |        0
1371.91/1372.32	c 1372s |      27 | 15758474 | 15580633 |      277 137424 |        1 |        0
1373.91/1374.33	c 1374s |      27 | 15781156 | 15603033 |      277 137581 |        1 |        0
1375.91/1376.34	c 1376s |      27 | 15803824 | 15625433 |      277 137738 |        1 |        0
1377.92/1378.34	c 1378s |      27 | 15826492 | 15647833 |      277 137895 |        1 |        0
1379.91/1380.34	c 1380s |      27 | 15849144 | 15670233 |      277 138053 |        1 |        0
1381.91/1382.34	c 1382s |      27 | 15871504 | 15692333 |      277 138207 |        1 |        0
1383.91/1384.34	c 1384s |      27 | 15893951 | 15714533 |      277 138361 |        1 |        0
1385.91/1386.35	c 1386s |      27 | 15916080 | 15736433 |      277 138515 |        1 |        0
1387.92/1388.35	c 1388s |      27 | 15938540 | 15758633 |      277 138671 |        1 |        0
1389.91/1390.36	c 1390s |      27 | 15960989 | 15780833 |      277 138827 |        1 |        0
1391.92/1392.37	c 1392s |      27 | 15983162 | 15802833 |      277 138982 |        1 |        0
1393.92/1394.37	c 1394s |      27 | 16005764 | 15825233 |      277 139140 |        1 |        0
1395.91/1396.38	c 1396s |      27 | 16027736 | 15847033 |      277 139292 |        1 |        0
1397.91/1398.38	c 1398s |      27 | 16050042 | 15869133 |      277 139448 |        1 |        0
1399.92/1400.39	c 1400s |      27 | 16072091 | 15890933 |      277 139602 |        1 |        0
1401.91/1402.39	c 1402s |      27 | 16094179 | 15912833 |      277 139756 |        1 |        0
1404.01/1404.40	c 1404s |      27 | 16116382 | 15934833 |      277 139912 |        1 |        0
1406.01/1406.40	c 1406s |      27 | 16137880 | 15956133 |      277 140060 |        1 |        0
1408.01/1408.41	c 1408s |      27 | 16160221 | 15978233 |      277 140215 |        1 |        0
1410.01/1410.41	c 1410s |      27 | 16182875 | 16000533 |      277 140371 |        1 |        0
1412.02/1412.42	c 1412s |      27 | 16205406 | 16022733 |      277 140528 |        1 |        0
1414.01/1414.42	c 1414s |      27 | 16227902 | 16044933 |      277 140684 |        1 |        0
1416.01/1416.42	c 1416s |      27 | 16249624 | 16066433 |      277 140835 |        1 |        0
1418.01/1418.42	c 1418s |      27 | 16271130 | 16087733 |      277 140985 |        1 |        0
1420.01/1420.43	c 1420s |      27 | 16293184 | 16109533 |      277 141138 |        1 |        0
1422.01/1422.44	c 1422s |      27 | 16315098 | 16131233 |      277 141292 |        1 |        0
1424.01/1424.44	c 1424s |      27 | 16336792 | 16152733 |      277 141443 |        1 |        0
1426.01/1426.45	c 1426s |      27 | 16358389 | 16174133 |      277 141595 |        1 |        0
1428.00/1428.45	c 1428s |      27 | 16380183 | 16195733 |      277 141748 |        1 |        0
1430.00/1430.45	c 1430s |      27 | 16402213 | 16217433 |      277 141901 |        1 |        0
1432.00/1432.46	c 1432s |      27 | 16424388 | 16239233 |      277 142055 |        1 |        0
1434.02/1434.46	c 1434s |      27 | 16446189 | 16260833 |      277 142207 |        1 |        0
1436.01/1436.46	c 1436s |      27 | 16468139 | 16282333 |      277 142359 |        1 |        0
1438.01/1438.47	c 1438s |      27 | 16490277 | 16304133 |      277 142514 |        1 |        0
1440.01/1440.47	c 1440s |      27 | 16512247 | 16325833 |      277 142668 |        1 |        0
1442.01/1442.48	c 1442s |      27 | 16534159 | 16347533 |      277 142821 |        1 |        0
1444.01/1444.49	c 1444s |      27 | 16556655 | 16369733 |      277 142979 |        1 |        0
1446.00/1446.49	c 1446s |      27 | 16579123 | 16391933 |      277 143137 |        1 |        0
1448.00/1448.49	c 1448s |      27 | 16601682 | 16414233 |      277 143296 |        1 |        0
1450.00/1450.50	c 1450s |      27 | 16624082 | 16436433 |      277 143453 |        1 |        0
1452.10/1452.50	c 1452s |      27 | 16646416 | 16458633 |      277 143608 |        1 |        0
1454.10/1454.50	c 1454s |      27 | 16668669 | 16480733 |      277 143762 |        1 |        0
1456.11/1456.50	c 1456s |      27 | 16691037 | 16502833 |      277 143917 |        1 |        0
1458.10/1458.51	c 1458s |      27 | 16713250 | 16524833 |      277 144071 |        1 |        0
1460.11/1460.51	c 1460s |      27 | 16735470 | 16546833 |      277 144226 |        1 |        0
1462.11/1462.51	c 1462s |      27 | 16757952 | 16569033 |      277 144382 |        1 |        0
1464.11/1464.52	c 1464s |      27 | 16780040 | 16590933 |      277 144535 |        1 |        0
1466.10/1466.52	c 1466s |      27 | 16802361 | 16613033 |      277 144691 |        1 |        0
1468.11/1468.53	c 1468s |      27 | 16824717 | 16635233 |      277 144848 |        1 |        0
1470.10/1470.53	c 1470s |      27 | 16847089 | 16657433 |      277 145004 |        1 |        0
1472.10/1472.54	c 1472s |      27 | 16869729 | 16679933 |      277 145164 |        1 |        0
1474.10/1474.55	c 1474s |      27 | 16892348 | 16702333 |      277 145322 |        1 |        0
1476.10/1476.55	c 1476s |      27 | 16915192 | 16724933 |      277 145481 |        1 |        0
1478.11/1478.56	c 1478s |      27 | 16937784 | 16747333 |      277 145638 |        1 |        0
1480.10/1480.56	c 1480s |      27 | 16959986 | 16769333 |      277 145792 |        1 |        0
1482.10/1482.57	c 1482s |      27 | 16982358 | 16791533 |      277 145949 |        1 |        0
1484.10/1484.57	c 1484s |      27 | 17004947 | 16813933 |      277 146107 |        1 |        0
1486.10/1486.58	c 1486s |      27 | 17027536 | 16836333 |      277 146266 |        1 |        0
1488.10/1488.59	c 1488s |      27 | 17049907 | 16858533 |      277 146424 |        1 |        0
1490.10/1490.59	c 1490s |      27 | 17072523 | 16880933 |      277 146582 |        1 |        0
1492.19/1492.60	c 1492s |      27 | 17094893 | 16903033 |      277 146739 |        1 |        0
1494.19/1494.60	c 1494s |      27 | 17117459 | 16925233 |      277 146898 |        1 |        0
1496.19/1496.60	c 1496s |      27 | 17139814 | 16947333 |      277 147054 |        1 |        0
1498.19/1498.61	c 1498s |      27 | 17162232 | 16969533 |      277 147211 |        1 |        0
1500.19/1500.62	c 1500s |      27 | 17185405 | 16992433 |      305 147361 |        1 |        0
1502.20/1502.62	c 1502s |      27 | 17208062 | 17014833 |      305 147505 |        1 |        0
1504.19/1504.63	c 1504s |      27 | 17230549 | 17037133 |      305 147650 |        1 |        0
1506.19/1506.63	c 1506s |      27 | 17253168 | 17059533 |      305 147795 |        1 |        0
1508.19/1508.63	c 1508s |      27 | 17275663 | 17081833 |      305 147939 |        1 |        0
1509.39/1509.83	c 1509s |      28 | 17289164 | 17095205 |      305 148027 |        1 |        0
1511.39/1511.83	c 1511s |      28 | 17310443 | 17116305 |      305 148161 |        1 |        0
1513.39/1513.84	c 1513s |      28 | 17332076 | 17137805 |      305 148298 |        1 |        0
1515.39/1515.85	c 1515s |      28 | 17353854 | 17159405 |      305 148436 |        1 |        0
1517.40/1517.85	c 1517s |      28 | 17376188 | 17181505 |      305 148577 |        1 |        0
1519.40/1519.85	c 1519s |      28 | 17397893 | 17203005 |      305 148715 |        1 |        0
1521.40/1521.86	c 1521s |      28 | 17420182 | 17225105 |      305 148859 |        1 |        0
1523.39/1523.86	c 1523s |      28 | 17441985 | 17246705 |      305 148996 |        1 |        0
1525.40/1525.87	c 1525s |      28 | 17464061 | 17268505 |      305 149136 |        1 |        0
1527.39/1527.88	c 1527s |      28 | 17486090 | 17290305 |      305 149276 |        1 |        0
1529.39/1529.88	c 1529s |      28 | 17508006 | 17312005 |      305 149416 |        1 |        0
1531.39/1531.88	c 1531s |      28 | 17530215 | 17334005 |      305 149557 |        1 |        0
1533.39/1533.89	c 1533s |      28 | 17552837 | 17356405 |      305 149700 |        1 |        0
1535.39/1535.89	c 1535s |      28 | 17575009 | 17378405 |      305 149842 |        1 |        0
1537.39/1537.90	c 1537s |      28 | 17597374 | 17400605 |      305 149984 |        1 |        0
1539.49/1539.90	c 1539s |      28 | 17619336 | 17422405 |      305 150125 |        1 |        0
1541.49/1541.91	c 1541s |      28 | 17641868 | 17444705 |      305 150269 |        1 |        0
1543.49/1543.91	c 1543s |      28 | 17664540 | 17467105 |      305 150415 |        1 |        0
1545.48/1545.92	c 1545s |      28 | 17687051 | 17489405 |      305 150559 |        1 |        0
1547.48/1547.93	c 1547s |      28 | 17708921 | 17511105 |      305 150698 |        1 |        0
1549.49/1549.93	c 1549s |      28 | 17731437 | 17533305 |      305 150839 |        1 |        0
1551.48/1551.93	c 1551s |      28 | 17753901 | 17555505 |      305 150982 |        1 |        0
1553.49/1553.93	c 1553s |      28 | 17775732 | 17577105 |      305 151121 |        1 |        0
1555.49/1555.94	c 1555s |      28 | 17797511 | 17598705 |      305 151259 |        1 |        0
1557.49/1557.94	c 1557s |      28 | 17820008 | 17620905 |      305 151401 |        1 |        0
1559.49/1559.95	c 1559s |      28 | 17841937 | 17642605 |      305 151540 |        1 |        0
1561.49/1561.96	c 1561s |      28 | 17864301 | 17664705 |      305 151683 |        1 |        0
1563.49/1563.96	c 1563s |      28 | 17886555 | 17686705 |      305 151824 |        1 |        0
1565.49/1565.97	c 1565s |      28 | 17908649 | 17708605 |      305 151965 |        1 |        0
1567.48/1567.97	c 1567s |      28 | 17930634 | 17730205 |      305 152105 |        1 |        0
1569.48/1569.97	c 1569s |      28 | 17952723 | 17752005 |      305 152247 |        1 |        0
1571.49/1571.98	c 1571s |      28 | 17974694 | 17773705 |      305 152385 |        1 |        0
1573.48/1573.98	c 1573s |      28 | 17996776 | 17795505 |      305 152525 |        1 |        0
1575.48/1575.98	c 1575s |      28 | 18019075 | 17817505 |      305 152667 |        1 |        0
1577.48/1577.98	c 1577s |      28 | 18041554 | 17839705 |      305 152810 |        1 |        0
1579.48/1579.99	c 1579s |      28 | 18063702 | 17861605 |      305 152951 |        1 |        0
1581.49/1581.99	c 1581s |      28 | 18085667 | 17883405 |      305 153092 |        1 |        0
1583.48/1583.99	c 1583s |      28 | 18108114 | 17905605 |      305 153237 |        1 |        0
1585.58/1586.00	c 1585s |      28 | 18129747 | 17927005 |      305 153374 |        1 |        0
1587.58/1588.00	c 1587s |      28 | 18151709 | 17948605 |      305 153514 |        1 |        0
1589.58/1590.01	c 1589s |      28 | 18173238 | 17969905 |      305 153652 |        1 |        0
1591.58/1592.02	c 1592s |      28 | 18195314 | 17991705 |      305 153793 |        1 |        0
1593.58/1594.02	c 1594s |      28 | 18217650 | 18013805 |      305 153936 |        1 |        0
1595.58/1596.03	c 1596s |      28 | 18240079 | 18036005 |      305 154080 |        1 |        0
1597.58/1598.03	c 1598s |      28 | 18262657 | 18058305 |      305 154227 |        1 |        0
1599.58/1600.03	c 1600s |      28 | 18283441 | 18078905 |      305 154358 |        1 |        0
1601.58/1602.03	c 1602s |      28 | 18304695 | 18100005 |      305 154491 |        1 |        0
1603.58/1604.04	c 1604s |      28 | 18326469 | 18121605 |      305 154628 |        1 |        0
1605.59/1606.05	c 1606s |      28 | 18347967 | 18142905 |      305 154764 |        1 |        0
1607.58/1608.05	c 1608s |      28 | 18369632 | 18164305 |      305 154900 |        1 |        0
1609.58/1610.05	c 1610s |      28 | 18391027 | 18185505 |      305 155035 |        1 |        0
1611.58/1612.06	c 1612s |      28 | 18412920 | 18207205 |      305 155173 |        1 |        0
1613.58/1614.06	c 1614s |      28 | 18434497 | 18228605 |      305 155308 |        1 |        0
1615.59/1616.06	c 1616s |      28 | 18456598 | 18250505 |      305 155447 |        1 |        0
1617.58/1618.07	c 1618s |      28 | 18478721 | 18272405 |      305 155586 |        1 |        0
1619.58/1620.08	c 1620s |      28 | 18500519 | 18294005 |      305 155724 |        1 |        0
1621.58/1622.08	c 1622s |      28 | 18521898 | 18315205 |      305 155859 |        1 |        0
1623.58/1624.08	c 1624s |      28 | 18543264 | 18336405 |      305 155995 |        1 |        0
1625.57/1626.08	c 1626s |      28 | 18564451 | 18357405 |      305 156130 |        1 |        0
1627.58/1628.09	c 1628s |      28 | 18586192 | 18378905 |      305 156268 |        1 |        0
1629.57/1630.09	c 1630s |      28 | 18607954 | 18400505 |      305 156407 |        1 |        0
1631.67/1632.10	c 1632s |      28 | 18629913 | 18422305 |      305 156546 |        1 |        0
1633.67/1634.10	c 1634s |      28 | 18651883 | 18444105 |      305 156685 |        1 |        0
1635.67/1636.10	c 1636s |      28 | 18674480 | 18466405 |      305 156828 |        1 |        0
1637.67/1638.11	c 1638s |      28 | 18696468 | 18488205 |      305 156968 |        1 |        0
1639.68/1640.11	c 1640s |      28 | 18718332 | 18509905 |      305 157108 |        1 |        0
1641.67/1642.12	c 1642s |      28 | 18740921 | 18532305 |      305 157253 |        1 |        0
1643.67/1644.12	c 1644s |      28 | 18764806 | 18555705 |      305 157401 |        1 |        0
1645.67/1646.12	c 1646s |      28 | 18787271 | 18577905 |      305 157542 |        1 |        0
1647.67/1648.12	c 1648s |      28 | 18809258 | 18599705 |      305 157681 |        1 |        0
1649.68/1650.13	c 1650s |      28 | 18830972 | 18621205 |      305 157819 |        1 |        0
1651.67/1652.13	c 1652s |      28 | 18853564 | 18643505 |      305 157961 |        1 |        0
1653.68/1654.13	c 1654s |      28 | 18875681 | 18665405 |      305 158101 |        1 |        0
1655.68/1656.13	c 1656s |      28 | 18898023 | 18687505 |      305 158244 |        1 |        0
1657.68/1658.14	c 1658s |      28 | 18920286 | 18709505 |      305 158383 |        1 |        0
1659.67/1660.14	c 1660s |      28 | 18942314 | 18731305 |      305 158522 |        1 |        0
1661.68/1662.14	c 1662s |      28 | 18964511 | 18753305 |      305 158664 |        1 |        0
1663.67/1664.14	c 1664s |      28 | 18986367 | 18775005 |      305 158804 |        1 |        0
1665.67/1666.15	c 1666s |      28 | 19008559 | 18797005 |      305 158945 |        1 |        0
1667.67/1668.15	c 1668s |      28 | 19031436 | 18819605 |      305 159090 |        1 |        0
1669.67/1670.15	c 1670s |      28 | 19053763 | 18841705 |      305 159232 |        1 |        0
1671.68/1672.15	c 1672s |      28 | 19075983 | 18863705 |      305 159373 |        1 |        0
1673.67/1674.16	c 1674s |      28 | 19098033 | 18885505 |      305 159513 |        1 |        0
1675.67/1676.16	c 1676s |      28 | 19120627 | 18907805 |      305 159656 |        1 |        0
1677.67/1678.17	c 1678s |      28 | 19142705 | 18929705 |      305 159798 |        1 |        0
1679.67/1680.17	c 1680s |      28 | 19163948 | 18950805 |      305 159933 |        1 |        0
1681.67/1682.18	c 1682s |      28 | 19185481 | 18972205 |      305 160071 |        1 |        0
1683.67/1684.18	c 1684s |      28 | 19206745 | 18993305 |      305 160207 |        1 |        0
1685.66/1686.18	c 1686s |      28 | 19228661 | 19015005 |      305 160347 |        1 |        0
1687.66/1688.19	c 1688s |      28 | 19251160 | 19037205 |      305 160490 |        1 |        0
1689.66/1690.19	c 1690s |      28 | 19273829 | 19059605 |      305 160636 |        1 |        0
1691.67/1692.20	c 1692s |      28 | 19295822 | 19081405 |      305 160776 |        1 |        0
1693.77/1694.20	c 1694s |      28 | 19318352 | 19103705 |      305 160921 |        1 |        0
1695.67/1696.20	c 1696s |      28 | 19341127 | 19126205 |      305 161066 |        1 |        0
1697.77/1698.21	c 1698s |      28 | 19363175 | 19148105 |      305 161209 |        1 |        0
1699.77/1700.21	c 1700s |      28 | 19386519 | 19171105 |      305 161358 |        1 |        0
1701.76/1702.22	c 1702s |      28 | 19409850 | 19194005 |      305 161507 |        1 |        0
1703.76/1704.22	c 1704s |      28 | 19433527 | 19217305 |      305 161659 |        1 |        0
1705.77/1706.22	c 1706s |      28 | 19456411 | 19239705 |      305 161800 |        1 |        0
1707.76/1708.23	c 1708s |      28 | 19478218 | 19261205 |      305 161936 |        1 |        0
1709.76/1710.23	c 1710s |      28 | 19500256 | 19283005 |      305 162074 |        1 |        0
1711.77/1712.24	c 1712s |      28 | 19522047 | 19304505 |      305 162211 |        1 |        0
1713.77/1714.25	c 1714s |      28 | 19544260 | 19326405 |      305 162350 |        1 |        0
1715.77/1716.25	c 1716s |      28 | 19566001 | 19347905 |      305 162486 |        1 |        0
1717.77/1718.25	c 1718s |      28 | 19587332 | 19369005 |      305 162621 |        1 |        0
1719.76/1720.26	c 1720s |      28 | 19609199 | 19390605 |      305 162759 |        1 |        0
1721.76/1722.26	c 1722s |      28 | 19631342 | 19412405 |      305 162898 |        1 |        0
1723.76/1724.26	c 1724s |      28 | 19653106 | 19433905 |      305 163035 |        1 |        0
1725.76/1726.27	c 1726s |      28 | 19675804 | 19456305 |      305 163178 |        1 |        0
1727.76/1728.27	c 1728s |      28 | 19697737 | 19478005 |      305 163317 |        1 |        0
1729.76/1730.28	c 1730s |      28 | 19719740 | 19499805 |      305 163457 |        1 |        0
1731.76/1732.28	c 1732s |      28 | 19742445 | 19522205 |      305 163601 |        1 |        0
1733.76/1734.28	c 1734s |      28 | 19765188 | 19544705 |      305 163745 |        1 |        0
1735.76/1736.28	c 1736s |      28 | 19788285 | 19567505 |      305 163890 |        1 |        0
1737.76/1738.28	c 1738s |      28 | 19811056 | 19590005 |      305 164034 |        1 |        0
1739.77/1740.29	c 1740s |      28 | 19833705 | 19612405 |      305 164176 |        1 |        0
1741.76/1742.29	c 1742s |      28 | 19856486 | 19634905 |      305 164320 |        1 |        0
1743.76/1744.29	c 1744s |      28 | 19879151 | 19657305 |      305 164464 |        1 |        0
1745.86/1746.30	c 1746s |      28 | 19901580 | 19679505 |      305 164608 |        1 |        0
1747.86/1748.30	c 1748s |      28 | 19923961 | 19701605 |      305 164749 |        1 |        0
1749.86/1750.31	c 1750s |      28 | 19946253 | 19723605 |      305 164890 |        1 |        0
1751.87/1752.31	c 1752s |      28 | 19968518 | 19745605 |      305 165031 |        1 |        0
1753.86/1754.32	c 1754s |      28 | 19990865 | 19767705 |      305 165174 |        1 |        0
1755.86/1756.32	c 1756s |      28 | 20013083 | 19789705 |      305 165316 |        1 |        0
1757.86/1758.33	c 1758s |      28 | 20034470 | 19810905 |      305 165450 |        1 |        0
1759.86/1760.33	c 1760s |      28 | 20056228 | 19832405 |      305 165587 |        1 |        0
1761.86/1762.33	c 1762s |      28 | 20077601 | 19853605 |      305 165722 |        1 |        0
1763.86/1764.34	c 1764s |      28 | 20099325 | 19875105 |      305 165860 |        1 |        0
1765.85/1766.34	c 1766s |      28 | 20120690 | 19896305 |      305 165996 |        1 |        0
1767.85/1768.35	c 1768s |      28 | 20142639 | 19918105 |      305 166135 |        1 |        0
1769.85/1770.35	c 1770s |      28 | 20164394 | 19939705 |      305 166274 |        1 |        0
1771.85/1772.36	c 1772s |      28 | 20186645 | 19961705 |      305 166416 |        1 |        0
1773.86/1774.37	c 1774s |      28 | 20208883 | 19983705 |      305 166557 |        1 |        0
1775.85/1776.37	c 1776s |      28 | 20231228 | 20005805 |      305 166698 |        1 |        0
1777.85/1778.38	c 1778s |      28 | 20253629 | 20028005 |      305 166841 |        1 |        0
1779.85/1780.38	c 1780s |      28 | 20275523 | 20049705 |      305 166980 |        1 |        0
1781.85/1782.38	c 1782s |      28 | 20297691 | 20071705 |      305 167122 |        1 |        0
1783.86/1784.39	c 1784s |      28 | 20320309 | 20094105 |      305 167267 |        1 |        0
1785.85/1786.40	c 1786s |      28 | 20341886 | 20115505 |      305 167404 |        1 |        0
1787.95/1788.40	c 1788s |      28 | 20364036 | 20137405 |      305 167544 |        1 |        0
1789.95/1790.41	c 1790s |      28 | 20386711 | 20159805 |      305 167688 |        1 |        0
1791.95/1792.42	c 1792s |      28 | 20409273 | 20182105 |      305 167832 |        1 |        0
1793.95/1794.42	c 1794s |      28 | 20431924 | 20204505 |      305 167976 |        1 |        0
1795.95/1796.42	c 1796s |      28 | 20454163 | 20226505 |      305 168119 |        1 |        0
1797.95/1798.43	c 1798s |      28 | 20476965 | 20249105 |      305 168265 |        1 |        0
1799.95/1800.43	c 1800s |      28 | 20499923 | 20271805 |      305 168413 |        1 |        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-4105561-1466250309/watcher-4105561-1466250309 -o /tmp/evaluation-result-4105561-1466250309/solver-4105561-1466250309 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28915 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105561-1466250309.opb 

pid=5467
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.27 2.17 2.10 3/179 5470
/proc/meminfo: memFree=30149832/32872528 swapFree=526336/559040
[pid=5470] ppid=5467 vsize=686524 CPUtime=0 cores=1,3,5,7
/proc/5470/stat : 5470 (toysat) R 5467 5470 28898 0 -1 4202496 2554 0 0 0 0 0 0 0 20 0 4 0 27081000 703000576 2914 33554432000 4194304 16246674 140733214258128 140733214257552 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5470/statm: 172143 2925 441 2943 0 169037 0
[pid=5470/tid=5471] ppid=5467 vsize=730556 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5471/stat : 5471 (toysat) S 5467 5470 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27081000 748089344 3086 33554432000 4194304 16246674 140733214258128 140580092882160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5470/tid=5472] ppid=5467 vsize=735676 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5472/stat : 5472 (toysat) S 5467 5470 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27081000 753332224 3106 33554432000 4194304 16246674 140733214258128 140580082392304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5470/tid=5473] ppid=5467 vsize=739772 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5473/stat : 5473 (toysat) S 5467 5470 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27081000 757526528 3125 33554432000 4194304 16246674 140733214258128 140580071918768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100128 s]
/proc/loadavg: 2.27 2.17 2.10 3/179 5470
/proc/meminfo: memFree=30149832/32872528 swapFree=526336/559040
[pid=5470] ppid=5467 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/5470/stat : 5470 (toysat) R 5467 5470 28898 0 -1 4202496 19929 0 0 0 6 3 0 0 20 0 4 0 27081000 1247350784 20277 33554432000 4194304 16246674 140733214258128 140733214257552 5711820 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5470/statm: 304529 20284 752 2943 0 301423 0
[pid=5470/tid=5471] ppid=5467 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5471/stat : 5471 (toysat) S 5467 5470 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27081000 1247350784 20291 33554432000 4194304 16246674 140733214258128 140580092882160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5470/tid=5472] ppid=5467 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5472/stat : 5472 (toysat) S 5467 5470 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27081000 1247350784 20293 33554432000 4194304 16246674 140733214258128 140580082392304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5470/tid=5473] ppid=5467 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5473/stat : 5473 (toysat) S 5467 5470 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27081000 1247350784 20297 33554432000 4194304 16246674 140733214258128 140580071918768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200535 s]
/proc/loadavg: 2.27 2.17 2.10 3/179 5470
/proc/meminfo: memFree=30149832/32872528 swapFree=526336/559040
[pid=5470] ppid=5467 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/5470/stat : 5470 (toysat) R 5467 5470 28898 0 -1 4202496 36819 0 0 0 14 5 0 0 20 0 4 0 27081000 1247350784 37167 33554432000 4194304 16246674 140733214258128 140733214257552 5677277 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5470/statm: 304529 37173 752 2943 0 301423 0
[pid=5470/tid=5471] ppid=5467 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5471/stat : 5471 (toysat) S 5467 5470 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27081000 1247350784 37177 33554432000 4194304 16246674 140733214258128 140580092882160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5470/tid=5472] ppid=5467 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5472/stat : 5472 (toysat) S 5467 5470 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27081000 1247350784 37185 33554432000 4194304 16246674 140733214258128 140580082392304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5470/tid=5473] ppid=5467 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5473/stat : 5473 (toysat) S 5467 5470 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27081000 1247350784 37192 33554432000 4194304 16246674 140733214258128 140580071918768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300485 s]
/proc/loadavg: 2.27 2.17 2.10 3/179 5470
/proc/meminfo: memFree=30149832/32872528 swapFree=526336/559040
[pid=5470] ppid=5467 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/5470/stat : 5470 (toysat) R 5467 5470 28898 0 -1 4202496 53795 0 0 0 21 8 0 0 20 0 4 0 27081000 1247350784 54143 33554432000 4194304 16246674 140733214258128 140733214257552 13954410 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5470/statm: 304529 54149 752 2943 0 301423 0
[pid=5470/tid=5471] ppid=5467 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5471/stat : 5471 (toysat) S 5467 5470 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27081000 1247350784 54154 33554432000 4194304 16246674 140733214258128 140580092882160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5470/tid=5472] ppid=5467 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5472/stat : 5472 (toysat) S 5467 5470 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27081000 1247350784 54158 33554432000 4194304 16246674 140733214258128 140580082392304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5470/tid=5473] ppid=5467 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5473/stat : 5473 (toysat) S 5467 5470 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27081000 1247350784 54164 33554432000 4194304 16246674 140733214258128 140580071918768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700399 s]
/proc/loadavg: 2.27 2.17 2.10 3/179 5470
/proc/meminfo: memFree=30149832/32872528 swapFree=526336/559040
[pid=5470] ppid=5467 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/5470/stat : 5470 (toysat) R 5467 5470 28898 0 -1 4202496 121589 0 0 0 52 17 0 0 20 0 4 0 27081000 1247350784 121937 33554432000 4194304 16246674 140733214258128 140733214241128 5831697 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5470/statm: 304529 121943 752 2943 0 301423 0
[pid=5470/tid=5471] ppid=5467 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5471/stat : 5471 (toysat) S 5467 5470 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27081000 1247350784 121952 33554432000 4194304 16246674 140733214258128 140580092882160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5470/tid=5472] ppid=5467 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5472/stat : 5472 (toysat) S 5467 5470 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27081000 1247350784 121957 33554432000 4194304 16246674 140733214258128 140580082392304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5470/tid=5473] ppid=5467 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5473/stat : 5473 (toysat) S 5467 5470 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27081000 1247350784 121960 33554432000 4194304 16246674 140733214258128 140580071918768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5003 s]
/proc/loadavg: 2.27 2.17 2.10 3/183 5474
/proc/meminfo: memFree=29394172/32872528 swapFree=526336/559040
[pid=5470] ppid=5467 vsize=1218116 CPUtime=1.49 cores=1,3,5,7
/proc/5470/stat : 5470 (toysat) R 5467 5470 28898 0 -1 4202496 245521 0 0 0 114 35 0 0 20 0 4 0 27081000 1247350784 245846 33554432000 4194304 16246674 140733214258128 140733214257440 13774432 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5470/statm: 304529 245846 825 2943 0 301423 0
[pid=5470/tid=5471] ppid=5467 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5471/stat : 5471 (toysat) S 5467 5470 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27081000 1247350784 245846 33554432000 4194304 16246674 140733214258128 140580092882160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5470/tid=5472] ppid=5467 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5472/stat : 5472 (toysat) S 5467 5470 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27081000 1247350784 245846 33554432000 4194304 16246674 140733214258128 140580082392304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5470/tid=5473] ppid=5467 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5473/stat : 5473 (toysat) S 5467 5470 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27081000 1247350784 245846 33554432000 4194304 16246674 140733214258128 140580071918768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.10042 s]
/proc/loadavg: 2.27 2.17 2.10 3/183 5474
/proc/meminfo: memFree=29150636/32872528 swapFree=526336/559040
[pid=5470] ppid=5467 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/5470/stat : 5470 (toysat) R 5467 5470 28898 0 -1 4202496 267394 0 0 0 270 39 0 0 20 0 4 0 27081000 1337528320 267719 33554432000 4194304 16246674 140733214258128 140733214241128 12460423 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5470/statm: 326545 267719 827 2943 0 323439 0
[pid=5470/tid=5471] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5471/stat : 5471 (toysat) S 5467 5470 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267719 33554432000 4194304 16246674 140733214258128 140580092882160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5470/tid=5472] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5472/stat : 5472 (toysat) S 5467 5470 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267719 33554432000 4194304 16246674 140733214258128 140580082392304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5470/tid=5473] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5473/stat : 5473 (toysat) S 5467 5470 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267719 33554432000 4194304 16246674 140733214258128 140580071918768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.3004 s]
/proc/loadavg: 2.25 2.16 2.10 3/183 5474
/proc/meminfo: memFree=29062352/32872528 swapFree=526336/559040
[pid=5470] ppid=5467 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/5470/stat : 5470 (toysat) R 5467 5470 28898 0 -1 4202496 267454 0 0 0 590 39 0 0 20 0 4 0 27081000 1337528320 267779 33554432000 4194304 16246674 140733214258128 140733214240000 5546233 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5470/statm: 326545 267779 827 2943 0 323439 0
[pid=5470/tid=5471] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5471/stat : 5471 (toysat) S 5467 5470 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267779 33554432000 4194304 16246674 140733214258128 140580092882160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5470/tid=5472] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5472/stat : 5472 (toysat) S 5467 5470 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267779 33554432000 4194304 16246674 140733214258128 140580082392304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5470/tid=5473] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5473/stat : 5473 (toysat) S 5467 5470 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267779 33554432000 4194304 16246674 140733214258128 140580071918768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.31 2.18 2.11 3/183 5474
/proc/meminfo: memFree=29062264/32872528 swapFree=526336/559040
[pid=5470] ppid=5467 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/5470/stat : 5470 (toysat) R 5467 5470 28898 0 -1 4202496 267454 0 0 0 1230 39 0 0 20 0 4 0 27081000 1337528320 267779 33554432000 4194304 16246674 140733214258128 140733214241128 5673511 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5470/statm: 326545 267779 827 2943 0 323439 0
[pid=5470/tid=5471] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5471/stat : 5471 (toysat) S 5467 5470 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267779 33554432000 4194304 16246674 140733214258128 140580092882160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5470/tid=5472] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5472/stat : 5472 (toysat) S 5467 5470 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267779 33554432000 4194304 16246674 140733214258128 140580082392304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5470/tid=5473] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5473/stat : 5473 (toysat) S 5467 5470 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267779 33554432000 4194304 16246674 140733214258128 140580071918768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5004 s]
/proc/loadavg: 2.24 2.17 2.11 3/183 5474
/proc/meminfo: memFree=29062644/32872528 swapFree=526336/559040
[pid=5470] ppid=5467 vsize=1306180 CPUtime=25.48 cores=1,3,5,7
/proc/5470/stat : 5470 (toysat) R 5467 5470 28898 0 -1 4202496 267455 0 0 0 2509 39 0 0 20 0 4 0 27081000 1337528320 267780 33554432000 4194304 16246674 140733214258128 140733214240000 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5470/statm: 326545 267780 827 2943 0 323439 0
[pid=5470/tid=5471] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5471/stat : 5471 (toysat) S 5467 5470 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267780 33554432000 4194304 16246674 140733214258128 140580092882160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5470/tid=5472] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5472/stat : 5472 (toysat) S 5467 5470 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267780 33554432000 4194304 16246674 140733214258128 140580082392304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5470/tid=5473] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5473/stat : 5473 (toysat) S 5467 5470 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267780 33554432000 4194304 16246674 140733214258128 140580071918768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.16 2.15 2.10 3/183 5474
/proc/meminfo: memFree=29062272/32872528 swapFree=526336/559040
[pid=5470] ppid=5467 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/5470/stat : 5470 (toysat) R 5467 5470 28898 0 -1 4202496 267493 0 0 0 5068 40 0 0 20 0 4 0 27081000 1337528320 267818 33554432000 4194304 16246674 140733214258128 140733214241128 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5470/statm: 326545 267818 827 2943 0 323439 0
[pid=5470/tid=5471] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5471/stat : 5471 (toysat) S 5467 5470 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267818 33554432000 4194304 16246674 140733214258128 140580092882160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5470/tid=5472] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5472/stat : 5472 (toysat) S 5467 5470 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267818 33554432000 4194304 16246674 140733214258128 140580082392304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5470/tid=5473] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5473/stat : 5473 (toysat) S 5467 5470 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267818 33554432000 4194304 16246674 140733214258128 140580071918768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.25 2.17 2.11 3/183 5475
/proc/meminfo: memFree=28837824/32872528 swapFree=526336/559040
[pid=5470] ppid=5467 vsize=1306180 CPUtime=102.28 cores=1,3,5,7
/proc/5470/stat : 5470 (toysat) R 5467 5470 28898 0 -1 4202496 267494 0 0 0 10186 42 0 0 20 0 4 0 27081000 1337528320 267819 33554432000 4194304 16246674 140733214258128 140733214240000 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5470/statm: 326545 267819 827 2943 0 323439 0
[pid=5470/tid=5471] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5471/stat : 5471 (toysat) S 5467 5470 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267819 33554432000 4194304 16246674 140733214258128 140580092882160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5470/tid=5472] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5472/stat : 5472 (toysat) S 5467 5470 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267819 33554432000 4194304 16246674 140733214258128 140580082392304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5470/tid=5473] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5473/stat : 5473 (toysat) S 5467 5470 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267819 33554432000 4194304 16246674 140733214258128 140580071918768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/5470/task/5473/stat : 5473 (toysat) S 5467 5470 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267881 33554432000 4194304 16246674 140733214258128 140580071918768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1306180

[startup+1362.3 s]
/proc/loadavg: 2.22 2.16 2.10 3/183 5578
/proc/meminfo: memFree=29110076/32872528 swapFree=526336/559040
[pid=5470] ppid=5467 vsize=1306180 CPUtime=1361.92 cores=1,3,5,7
/proc/5470/stat : 5470 (toysat) R 5467 5470 28898 0 -1 4202496 267865 0 0 0 136119 73 0 0 20 0 4 0 27081000 1337528320 267881 33554432000 4194304 16246674 140733214258128 140733214240000 5712400 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5470/statm: 326545 267881 827 2943 0 323439 0
[pid=5470/tid=5471] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5471/stat : 5471 (toysat) S 5467 5470 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267881 33554432000 4194304 16246674 140733214258128 140580092882160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5470/tid=5472] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5472/stat : 5472 (toysat) S 5467 5470 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267881 33554432000 4194304 16246674 140733214258128 140580082392304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5470/tid=5473] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5473/stat : 5473 (toysat) S 5467 5470 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267881 33554432000 4194304 16246674 140733214258128 140580071918768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1306180

[startup+1422.3 s]
/proc/loadavg: 2.19 2.16 2.10 3/183 5580
/proc/meminfo: memFree=29109976/32872528 swapFree=526336/559040
[pid=5470] ppid=5467 vsize=1306180 CPUtime=1421.91 cores=1,3,5,7
/proc/5470/stat : 5470 (toysat) R 5467 5470 28898 0 -1 4202496 267865 0 0 0 142117 74 0 0 20 0 4 0 27081000 1337528320 267881 33554432000 4194304 16246674 140733214258128 140733214240000 5825258 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5470/statm: 326545 267881 827 2943 0 323439 0
[pid=5470/tid=5471] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5471/stat : 5471 (toysat) S 5467 5470 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267881 33554432000 4194304 16246674 140733214258128 140580092882160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5470/tid=5472] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5472/stat : 5472 (toysat) S 5467 5470 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267881 33554432000 4194304 16246674 140733214258128 140580082392304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5470/tid=5473] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5473/stat : 5473 (toysat) S 5467 5470 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267881 33554432000 4194304 16246674 140733214258128 140580071918768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1306180

[startup+1482.3 s]
/proc/loadavg: 2.07 2.13 2.09 4/183 5581
/proc/meminfo: memFree=29109348/32872528 swapFree=526336/559040
[pid=5470] ppid=5467 vsize=1306180 CPUtime=1481.9 cores=1,3,5,7
/proc/5470/stat : 5470 (toysat) R 5467 5470 28898 0 -1 4202496 267865 0 0 0 148114 76 0 0 20 0 4 0 27081000 1337528320 267881 33554432000 4194304 16246674 140733214258128 140733214240000 6077178 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5470/statm: 326545 267881 827 2943 0 323439 0
[pid=5470/tid=5471] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5471/stat : 5471 (toysat) S 5467 5470 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267881 33554432000 4194304 16246674 140733214258128 140580092882160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5470/tid=5472] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5472/stat : 5472 (toysat) S 5467 5470 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267881 33554432000 4194304 16246674 140733214258128 140580082392304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5470/tid=5473] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5473/stat : 5473 (toysat) S 5467 5470 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267881 33554432000 4194304 16246674 140733214258128 140580071918768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1306180

[startup+1542.31 s]
/proc/loadavg: 2.02 2.10 2.08 3/184 5585
/proc/meminfo: memFree=29109664/32872528 swapFree=526336/559040
[pid=5470] ppid=5467 vsize=1306180 CPUtime=1541.89 cores=1,3,5,7
/proc/5470/stat : 5470 (toysat) R 5467 5470 28898 0 -1 4202496 267865 0 0 0 154112 77 0 0 20 0 4 0 27081000 1337528320 267881 33554432000 4194304 16246674 140733214258128 140733214240000 5712656 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5470/statm: 326545 267881 827 2943 0 323439 0
[pid=5470/tid=5471] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5471/stat : 5471 (toysat) S 5467 5470 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267881 33554432000 4194304 16246674 140733214258128 140580092882160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5470/tid=5472] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5472/stat : 5472 (toysat) S 5467 5470 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267881 33554432000 4194304 16246674 140733214258128 140580082392304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5470/tid=5473] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5473/stat : 5473 (toysat) S 5467 5470 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267881 33554432000 4194304 16246674 140733214258128 140580071918768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1306180

[startup+1602.3 s]
/proc/loadavg: 2.07 2.10 2.08 3/183 5586
/proc/meminfo: memFree=29110216/32872528 swapFree=526336/559040
[pid=5470] ppid=5467 vsize=1306180 CPUtime=1601.88 cores=1,3,5,7
/proc/5470/stat : 5470 (toysat) R 5467 5470 28898 0 -1 4202496 267865 0 0 0 160109 79 0 0 20 0 4 0 27081000 1337528320 267881 33554432000 4194304 16246674 140733214258128 140733214240000 6010282 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5470/statm: 326545 267881 827 2943 0 323439 0
[pid=5470/tid=5471] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5471/stat : 5471 (toysat) S 5467 5470 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267881 33554432000 4194304 16246674 140733214258128 140580092882160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5470/tid=5472] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5472/stat : 5472 (toysat) S 5467 5470 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267881 33554432000 4194304 16246674 140733214258128 140580082392304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5470/tid=5473] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5473/stat : 5473 (toysat) S 5467 5470 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267881 33554432000 4194304 16246674 140733214258128 140580071918768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1306180

[startup+1662.3 s]
/proc/loadavg: 2.02 2.08 2.08 3/183 5587
/proc/meminfo: memFree=29109604/32872528 swapFree=526336/559040
[pid=5470] ppid=5467 vsize=1306180 CPUtime=1661.87 cores=1,3,5,7
/proc/5470/stat : 5470 (toysat) R 5467 5470 28898 0 -1 4202496 267865 0 0 0 166107 80 0 0 20 0 4 0 27081000 1337528320 267881 33554432000 4194304 16246674 140733214258128 140733214240000 5599948 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5470/statm: 326545 267881 827 2943 0 323439 0
[pid=5470/tid=5471] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5471/stat : 5471 (toysat) S 5467 5470 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267881 33554432000 4194304 16246674 140733214258128 140580092882160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5470/tid=5472] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5472/stat : 5472 (toysat) S 5467 5470 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267881 33554432000 4194304 16246674 140733214258128 140580082392304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5470/tid=5473] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5473/stat : 5473 (toysat) S 5467 5470 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267881 33554432000 4194304 16246674 140733214258128 140580071918768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1306180

[startup+1722.3 s]
/proc/loadavg: 2.09 2.09 2.08 3/183 5589
/proc/meminfo: memFree=29109928/32872528 swapFree=526336/559040
[pid=5470] ppid=5467 vsize=1306180 CPUtime=1721.86 cores=1,3,5,7
/proc/5470/stat : 5470 (toysat) R 5467 5470 28898 0 -1 4202496 267865 0 0 0 172104 82 0 0 20 0 4 0 27081000 1337528320 267881 33554432000 4194304 16246674 140733214258128 140733214240000 5601869 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5470/statm: 326545 267881 827 2943 0 323439 0
[pid=5470/tid=5471] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5471/stat : 5471 (toysat) S 5467 5470 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267881 33554432000 4194304 16246674 140733214258128 140580092882160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5470/tid=5472] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5472/stat : 5472 (toysat) S 5467 5470 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267881 33554432000 4194304 16246674 140733214258128 140580082392304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5470/tid=5473] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5473/stat : 5473 (toysat) S 5467 5470 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267881 33554432000 4194304 16246674 140733214258128 140580071918768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1306180

[startup+1782.3 s]
/proc/loadavg: 2.15 2.10 2.09 3/183 5590
/proc/meminfo: memFree=29108664/32872528 swapFree=526336/559040
[pid=5470] ppid=5467 vsize=1306180 CPUtime=1781.85 cores=1,3,5,7
/proc/5470/stat : 5470 (toysat) R 5467 5470 28898 0 -1 4202496 267865 0 0 0 178102 83 0 0 20 0 4 0 27081000 1337528320 267881 33554432000 4194304 16246674 140733214258128 140733214241128 12874961 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5470/statm: 326545 267881 827 2943 0 323439 0
[pid=5470/tid=5471] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5471/stat : 5471 (toysat) S 5467 5470 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267881 33554432000 4194304 16246674 140733214258128 140580092882160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5470/tid=5472] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5472/stat : 5472 (toysat) S 5467 5470 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267881 33554432000 4194304 16246674 140733214258128 140580082392304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5470/tid=5473] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5473/stat : 5473 (toysat) S 5467 5470 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267881 33554432000 4194304 16246674 140733214258128 140580071918768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1306180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.11 2.09 2.08 3/183 5590
/proc/meminfo: memFree=29109144/32872528 swapFree=526336/559040
[pid=5470] ppid=5467 vsize=1306180 CPUtime=1800.05 cores=1,3,5,7
/proc/5470/stat : 5470 (toysat) R 5467 5470 28898 0 -1 4202496 267865 0 0 0 179921 84 0 0 20 0 4 0 27081000 1337528320 267881 33554432000 4194304 16246674 140733214258128 140733214241128 5600502 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5470/statm: 326545 267881 827 2943 0 323439 0
[pid=5470/tid=5471] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5471/stat : 5471 (toysat) S 5467 5470 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267881 33554432000 4194304 16246674 140733214258128 140580092882160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5470/tid=5472] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5472/stat : 5472 (toysat) S 5467 5470 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267881 33554432000 4194304 16246674 140733214258128 140580082392304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5470/tid=5473] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5473/stat : 5473 (toysat) S 5467 5470 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267881 33554432000 4194304 16246674 140733214258128 140580071918768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1306180

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

[startup+1800.5 s]
/proc/loadavg: 2.11 2.09 2.08 3/183 5590
/proc/meminfo: memFree=29109144/32872528 swapFree=526336/559040
[pid=5470] ppid=5467 vsize=1306180 CPUtime=1800.05 cores=1,3,5,7
/proc/5470/stat : 5470 (toysat) R 5467 5470 28898 0 -1 4202496 267865 0 0 0 179921 84 0 0 20 0 4 0 27081000 1337528320 267881 33554432000 4194304 16246674 140733214258128 140733214241128 5600502 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5470/statm: 326545 267881 827 2943 0 323439 0
[pid=5470/tid=5471] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5471/stat : 5471 (toysat) S 5467 5470 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267881 33554432000 4194304 16246674 140733214258128 140580092882160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5470/tid=5472] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5472/stat : 5472 (toysat) S 5467 5470 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267881 33554432000 4194304 16246674 140733214258128 140580082392304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5470/tid=5473] ppid=5467 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5473/stat : 5473 (toysat) S 5467 5470 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27081000 1337528320 267881 33554432000 4194304 16246674 140733214258128 140580071918768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1306180

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.07
CPU user time (s): 1799.22
CPU system time (s): 0.841872
CPU usage (%): 99.9754
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.22
system time used= 0.841872
maximum resident set size= 1071524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267865
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= 329
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.45532 second user time and 7.05593 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-18 13:45:09
IDJOB=4105561
IDBENCH=2903
IDSOLVER=2542
FILE ID=node106/4105561-1466250309
RUNJOBID= node106-1466241787-28915
PBS_JOBID= 19918214
Free space on /tmp= 71684 MiB

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

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

MD5SUM BENCH= 4618b6422bdc12197131d1d37f567363
RANDOM SEED=664610161

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30150088 kB
Buffers:           95016 kB
Cached:           213596 kB
SwapCached:         1868 kB
Active:          1201052 kB
Inactive:         217020 kB
Active(anon):    1108680 kB
Inactive(anon):     3048 kB
Active(file):      92372 kB
Inactive(file):   213972 kB
Unevictable:      559040 kB
Mlocked:          526336 kB
SwapTotal:      67108856 kB
SwapFree:       67099160 kB
Dirty:             16344 kB
Writeback:             0 kB
AnonPages:       1667556 kB
Mapped:            10748 kB
Shmem:                 0 kB
Slab:             612056 kB
SReclaimable:      55808 kB
SUnreclaim:       556248 kB
KernelStack:        1464 kB
PageTables:         7292 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1810896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1134592 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= 71668 MiB
End job on node106 at 2016-06-18 14:15:09