0.00/0.00	c 2016-06-16T20:00:51+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-4095987-1466100051.opb"]
0.00/0.01	c use --random-gen="2077753384 32081230 2023317765 4025838887 1029920512 3567994943 2368750154 2058802873 3710997462 3350234858 3323037077 3670495587 2656400121 4104259204 2052893971 3868256315 4284576372 3490997418 1471994454 1139203066 2216008663 2867075856 2983324705 3609926524 989302908 1643162234 2985018271 3163032636 3505483673 126143740 1112430578 3965183735 1641233715 1297760719 2923974060 2118468852 22477640 4221378124 379242045 2460448532 2918507223 3862251165 2557795042 3945565674 136553494 3756167710 3654389645 33447389 2745638038 1639283403 3614780713 3807566769 1089103402 1773939935 813302324 3639901582 1654918116 117563187 3324329760 1054184078 1494294241 3959420095 1648370373 3577370611 1201633706 3553453651 843134330 2556663919 2226399506 3130535231 2406725576 484400193 4204125425 4156938402 833278645 2375512297 4060069052 3700620904 3579146255 2588558096 2221793644 366963905 584861981 2982407829 2751189476 3043156793 3617616008 3622946282 23462831 3032392002 3038929918 3111366854 2784759174 2152669636 3138281172 458953701 4058193495 103888802 1604460499 4147049624 37499755 1218042374 3239100830 277066687 3932484095 244204250 2192291975 2403580395 4204454362 3843372128 3862948953 2150570660 2974552028 3619948509 1885687529 3046912388 1281607977 337320049 3327217355 22495800 909447827 894403519 71853331 282572177 239034733 1356268090 1614014208 2158258934 1252773234 1777155904 3114273470 4166122984 1114924901 334173953 3979599650 1493848081 3117234987 3639692024 952151191 995769381 3066515749 3482998487 2083575194 2052034235 151736465 2524172664 2625956238 51830267 2086904892 3777502418 2894123336 3605644036 903044241 634244057 1769087951 708284633 899571838 1939562607 1584997130 2828537421 4186559864 3529869774 3782944419 244505098 309925632 2842814662 4251219110 231300008 3290891364 66501419 346510321 3275398593 4206747072 1241850319 2030542083 3209751430 1142302280 451873851 3914269090 1259016009 3171060172 3484730179 743704171 2308233016 163435174 1656273336 3772945455 2044776041 446126897 3970252382 1079143920 1377603254 661294199 2985963831 3783063623 1999421700 2855150794 1451118991 2284584794 478194345 1954192364 3640109370 773868340 2326527588 1603198375 3992783549 3231531961 156240908 2226824079 2861280026 1537850217 3138048546 3494853574 2168123786 3311136947 2429285723 3398777157 329320007 2390446032 2460795115 4214452290 3492623687 682003368 2935245778 1392901819 232051588 2928225594 2773765908 3260490879 2663828084 2203660387 1523372366 2720869129 820760682 49890898 372214820 1774052767 1291647894 981004845 2145122556 2099345708 2370473 653544331 3160500576 4072813057 3275721043 1154661457 1997941421 1304621278 2868200776 2057290157 20109148 1489304339 886731578 2275556247 1201352342 255 362436" option to reproduce the execution
0.00/0.01	c #vars 241
0.00/0.01	c #constraints 120
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 |      160      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      172 |      100 |      160      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      424 |      250 |      176      0 |        0 |        0
0.00/0.06	c  0.0s |       3 |      823 |      475 |      194      1 |        0 |        0
0.09/0.10	c  0.1s |       4 |     1370 |      813 |      214      4 |        0 |        0
0.09/0.16	c  0.1s |       5 |     2141 |     1320 |      236      7 |        0 |        0
0.19/0.24	c  0.2s |       6 |     3329 |     2081 |      286     11 |        0 |        0
0.29/0.37	c  0.4s |       7 |     4843 |     3223 |      315     16 |        0 |        0
0.49/0.58	c  0.6s |       8 |     7134 |     4936 |      347     23 |        0 |        0
0.89/0.90	c  0.9s |       9 |    10828 |     7506 |      382     33 |        0 |        0
1.20/1.26	c  1.2s |      10 |    15554 |    11361 |      421     47 |        0 |        0
1.69/1.73	c  1.7s |      11 |    22927 |    17144 |      464     68 |        0 |        0
2.49/2.56	c  2.5s |      12 |    34572 |    25819 |      511     96 |        0 |        0
3.69/3.73	c  3.7s |      13 |    52781 |    38832 |      563    138 |        0 |        0
5.59/5.62	c  5.6s |      14 |    79828 |    58352 |      620    194 |        0 |        0
7.58/7.62	c  7.6s |      14 |   104734 |    79052 |      620    250 |        0 |        0
8.38/8.41	c  8.4s |      15 |   115663 |    87632 |      682    274 |        0 |        0
10.39/10.42	c 10.4s |      15 |   141986 |   108532 |      682    325 |        0 |        0
12.39/12.42	c 12.4s |      15 |   170176 |   129432 |      682    376 |        0 |        0
12.59/12.63	c 12.6s |      16 |   172873 |   131552 |      751    382 |        0 |        0
14.59/14.63	c 14.6s |      16 |   200279 |   151652 |      751    427 |        0 |        0
16.60/16.63	c 16.6s |      16 |   225970 |   171652 |      751    472 |        0 |        0
18.59/18.64	c 18.6s |      16 |   251460 |   191752 |      751    518 |        0 |        0
19.09/19.17	c 19.2s |      17 |   258922 |   197432 |      827    530 |        0 |        0
21.09/21.17	c 21.2s |      17 |   284243 |   217332 |      827    571 |        0 |        0
23.09/23.18	c 23.2s |      17 |   309681 |   237232 |      827    612 |        0 |        0
25.08/25.18	c 25.2s |      17 |   335338 |   257132 |      827    654 |        0 |        0
27.08/27.19	c 27.2s |      17 |   360921 |   277032 |      827    695 |        0 |        0
29.08/29.13	c 29.1s |      18 |   385380 |   296252 |      910    734 |        0 |        0
31.08/31.13	c 31.1s |      18 |   409638 |   314752 |      910    769 |        0 |        0
33.09/33.13	c 33.1s |      18 |   432687 |   332952 |      910    804 |        0 |        0
35.08/35.14	c 35.1s |      18 |   457095 |   351652 |      910    840 |        0 |        0
37.08/37.15	c 37.1s |      18 |   479721 |   369752 |      910    874 |        0 |        0
39.08/39.15	c 39.1s |      18 |   504845 |   388452 |      910    910 |        0 |        0
41.07/41.16	c 41.1s |      18 |   529930 |   407152 |      910    946 |        0 |        0
43.07/43.17	c 43.2s |      18 |   554707 |   426052 |      910    983 |        0 |        0
44.97/45.05	c 45.0s |      19 |   579279 |   444482 |     1002   1017 |        0 |        0
46.97/47.06	c 47.0s |      19 |   603499 |   463182 |     1002   1050 |        0 |        0
48.98/49.07	c 49.1s |      19 |   627866 |   481682 |     1002   1083 |        0 |        0
50.98/51.08	c 51.1s |      19 |   652418 |   500782 |     1002   1116 |        0 |        0
52.98/53.08	c 53.1s |      19 |   676679 |   519382 |     1002   1149 |        0 |        0
54.98/55.09	c 55.1s |      19 |   701070 |   538382 |     1002   1183 |        0 |        0
57.08/57.10	c 57.1s |      19 |   724344 |   556682 |     1002   1215 |        0 |        0
59.08/59.10	c 59.1s |      19 |   747682 |   575182 |     1002   1248 |        0 |        0
61.07/61.11	c 61.1s |      19 |   771947 |   594182 |     1002   1282 |        0 |        0
63.07/63.12	c 63.1s |      19 |   795852 |   613082 |     1002   1315 |        0 |        0
65.07/65.12	c 65.1s |      19 |   819330 |   631682 |     1002   1349 |        0 |        0
67.08/67.12	c 67.1s |      19 |   844440 |   650882 |     1002   1383 |        0 |        0
68.67/68.75	c 68.7s |      20 |   865535 |   666827 |     1103   1410 |        0 |        0
70.67/70.76	c 70.7s |      20 |   889431 |   685327 |     1103   1440 |        0 |        0
72.68/72.76	c 72.7s |      20 |   912770 |   703727 |     1103   1469 |        0 |        0
74.67/74.77	c 74.8s |      20 |   936710 |   722327 |     1103   1499 |        0 |        0
76.67/76.78	c 76.8s |      20 |   960616 |   740527 |     1103   1528 |        0 |        0
78.67/78.79	c 78.8s |      20 |   985005 |   759627 |     1103   1559 |        0 |        0
80.67/80.79	c 80.8s |      20 |  1008647 |   778227 |     1103   1589 |        0 |        0
82.66/82.79	c 82.8s |      20 |  1032240 |   796527 |     1103   1618 |        0 |        0
84.67/84.80	c 84.8s |      20 |  1056063 |   814927 |     1103   1648 |        0 |        0
86.76/86.80	c 86.8s |      20 |  1079146 |   832327 |     1103   1676 |        0 |        0
88.76/88.80	c 88.8s |      20 |  1101132 |   849827 |     1103   1704 |        0 |        0
90.76/90.80	c 90.8s |      20 |  1125811 |   868627 |     1103   1734 |        0 |        0
92.76/92.81	c 92.8s |      20 |  1151063 |   887627 |     1103   1765 |        0 |        0
94.76/94.82	c 94.8s |      20 |  1177208 |   906927 |     1103   1796 |        0 |        0
96.77/96.82	c 96.8s |      20 |  1201760 |   925427 |     1103   1826 |        0 |        0
98.76/98.83	c 98.8s |      20 |  1225782 |   943827 |     1103   1856 |        0 |        0
100.77/100.83	c  100s |      20 |  1249036 |   961627 |     1103   1885 |        0 |        0
102.77/102.83	c  102s |      20 |  1273408 |   980327 |     1103   1915 |        0 |        0
104.77/104.83	c  104s |      20 |  1297749 |   998427 |     1214   1944 |        0 |        0
104.97/105.05	c  105s |      21 |  1300220 |  1000345 |     1214   1947 |        0 |        0
106.96/107.05	c  107s |      21 |  1323573 |  1018345 |     1214   1973 |        0 |        0
108.97/109.06	c  109s |      21 |  1347744 |  1036845 |     1214   2000 |        0 |        0
110.96/111.06	c  111s |      21 |  1371650 |  1055245 |     1214   2028 |        0 |        0
112.96/113.07	c  113s |      21 |  1395022 |  1073745 |     1214   2055 |        0 |        0
114.96/115.08	c  115s |      21 |  1419552 |  1092345 |     1214   2083 |        0 |        0
116.96/117.09	c  117s |      21 |  1443209 |  1110445 |     1214   2110 |        0 |        0
118.96/119.09	c  119s |      21 |  1466941 |  1128745 |     1214   2138 |        0 |        0
120.97/121.09	c  121s |      21 |  1488592 |  1146045 |     1214   2164 |        0 |        0
123.06/123.10	c  123s |      21 |  1511722 |  1164145 |     1214   2191 |        0 |        0
125.06/125.11	c  125s |      21 |  1534061 |  1181345 |     1214   2216 |        0 |        0
127.06/127.11	c  127s |      21 |  1557158 |  1198745 |     1214   2242 |        0 |        0
129.06/129.12	c  129s |      21 |  1581447 |  1217245 |     1214   2270 |        0 |        0
131.06/131.13	c  131s |      21 |  1605097 |  1235145 |     1214   2297 |        0 |        0
133.06/133.13	c  133s |      21 |  1626058 |  1251545 |     1214   2322 |        0 |        0
135.05/135.13	c  135s |      21 |  1648247 |  1268245 |     1214   2347 |        0 |        0
137.05/137.13	c  137s |      21 |  1670386 |  1285245 |     1214   2372 |        0 |        0
139.05/139.14	c  139s |      21 |  1693076 |  1302545 |     1214   2398 |        0 |        0
141.05/141.14	c  141s |      21 |  1715628 |  1319645 |     1214   2424 |        0 |        0
143.06/143.14	c  143s |      21 |  1737272 |  1336045 |     1214   2449 |        0 |        0
145.05/145.15	c  145s |      21 |  1757838 |  1351945 |     1214   2473 |        0 |        0
147.05/147.16	c  147s |      21 |  1779226 |  1368645 |     1214   2498 |        0 |        0
149.05/149.17	c  149s |      21 |  1801463 |  1385445 |     1214   2523 |        0 |        0
151.05/151.17	c  151s |      21 |  1824678 |  1402945 |     1214   2549 |        0 |        0
153.04/153.17	c  153s |      21 |  1846920 |  1420445 |     1214   2575 |        0 |        0
155.05/155.18	c  155s |      21 |  1867840 |  1436645 |     1214   2599 |        0 |        0
157.04/157.19	c  157s |      21 |  1889490 |  1453045 |     1214   2624 |        0 |        0
159.14/159.20	c  159s |      21 |  1910847 |  1469445 |     1214   2648 |        0 |        0
161.14/161.21	c  161s |      21 |  1931722 |  1485445 |     1214   2672 |        0 |        0
163.04/163.13	c  163s |      22 |  1951197 |  1500622 |     1336   2693 |        0 |        0
165.04/165.14	c  165s |      22 |  1975576 |  1519222 |     1336   2718 |        0 |        0
167.03/167.14	c  167s |      22 |  1998272 |  1536722 |     1336   2742 |        0 |        0
169.04/169.15	c  169s |      22 |  2020965 |  1554122 |     1336   2766 |        0 |        0
171.04/171.15	c  171s |      22 |  2043649 |  1571322 |     1336   2790 |        0 |        0
173.04/173.15	c  173s |      22 |  2066158 |  1588422 |     1336   2813 |        0 |        0
175.04/175.16	c  175s |      22 |  2090445 |  1606922 |     1336   2839 |        0 |        0
177.04/177.17	c  177s |      22 |  2113046 |  1624822 |     1336   2863 |        0 |        0
179.04/179.17	c  179s |      22 |  2136405 |  1642122 |     1336   2887 |        0 |        0
181.04/181.18	c  181s |      22 |  2158782 |  1659322 |     1336   2911 |        0 |        0
183.03/183.18	c  183s |      22 |  2182086 |  1676722 |     1336   2934 |        0 |        0
185.03/185.18	c  185s |      22 |  2207295 |  1694922 |     1336   2959 |        0 |        0
187.04/187.18	c  187s |      22 |  2230534 |  1712722 |     1336   2984 |        0 |        0
189.03/189.19	c  189s |      22 |  2253406 |  1729922 |     1336   3007 |        0 |        0
191.03/191.19	c  191s |      22 |  2276485 |  1747322 |     1336   3031 |        0 |        0
193.13/193.20	c  193s |      22 |  2299044 |  1764322 |     1336   3055 |        0 |        0
195.13/195.20	c  195s |      22 |  2321568 |  1781122 |     1336   3078 |        0 |        0
197.13/197.20	c  197s |      22 |  2345404 |  1798922 |     1336   3102 |        0 |        0
199.14/199.20	c  199s |      22 |  2367600 |  1815522 |     1336   3125 |        0 |        0
201.13/201.20	c  201s |      22 |  2387301 |  1830922 |     1336   3147 |        0 |        0
203.13/203.21	c  203s |      22 |  2409800 |  1847722 |     1336   3170 |        0 |        0
205.13/205.22	c  205s |      22 |  2433054 |  1864922 |     1336   3194 |        0 |        0
207.12/207.22	c  207s |      22 |  2455591 |  1882122 |     1336   3218 |        0 |        0
209.12/209.24	c  209s |      22 |  2477470 |  1898522 |     1336   3240 |        0 |        0
211.14/211.24	c  211s |      22 |  2499978 |  1915722 |     1336   3264 |        0 |        0
213.13/213.24	c  213s |      22 |  2522735 |  1932822 |     1336   3288 |        0 |        0
215.13/215.24	c  215s |      22 |  2545949 |  1950222 |     1336   3312 |        0 |        0
217.13/217.25	c  217s |      22 |  2569004 |  1967822 |     1336   3335 |        0 |        0
219.13/219.26	c  219s |      22 |  2590266 |  1984622 |     1336   3358 |        0 |        0
221.14/221.27	c  221s |      22 |  2612402 |  2001622 |     1336   3382 |        0 |        0
223.13/223.28	c  223s |      22 |  2635000 |  2018522 |     1336   3405 |        0 |        0
225.13/225.28	c  225s |      22 |  2657180 |  2035522 |     1336   3428 |        0 |        0
227.13/227.29	c  227s |      22 |  2679492 |  2052522 |     1336   3451 |        0 |        0
229.13/229.29	c  229s |      22 |  2701243 |  2069322 |     1336   3474 |        0 |        0
231.12/231.29	c  231s |      22 |  2723159 |  2086022 |     1336   3497 |        0 |        0
233.13/233.29	c  233s |      22 |  2745416 |  2102722 |     1336   3520 |        0 |        0
235.12/235.29	c  235s |      22 |  2768135 |  2119822 |     1336   3544 |        0 |        0
237.12/237.29	c  237s |      22 |  2791114 |  2136822 |     1336   3567 |        0 |        0
239.22/239.30	c  239s |      22 |  2814260 |  2154022 |     1336   3591 |        0 |        0
241.22/241.31	c  241s |      22 |  2838281 |  2171622 |     1336   3615 |        0 |        0
243.21/243.32	c  243s |      22 |  2862823 |  2189622 |     1336   3640 |        0 |        0
245.22/245.32	c  245s |      22 |  2887431 |  2207722 |     1336   3665 |        0 |        0
247.21/247.32	c  247s |      22 |  2911249 |  2225222 |     1336   3689 |        0 |        0
249.21/249.33	c  249s |      22 |  2933089 |  2241922 |     1470   3711 |        0 |        0
250.31/250.43	c  250s |      23 |  2944973 |  2251038 |     1470   3723 |        0 |        0
252.31/252.44	c  252s |      23 |  2966607 |  2267638 |     1470   3744 |        0 |        0
254.31/254.44	c  254s |      23 |  2991241 |  2285538 |     1470   3767 |        0 |        0
256.31/256.45	c  256s |      23 |  3013197 |  2301638 |     1470   3787 |        0 |        0
258.30/258.45	c  258s |      23 |  3035758 |  2318638 |     1470   3809 |        0 |        0
260.31/260.45	c  260s |      23 |  3058781 |  2335638 |     1470   3831 |        0 |        0
262.31/262.46	c  262s |      23 |  3079382 |  2351038 |     1470   3851 |        0 |        0
264.31/264.47	c  264s |      23 |  3100817 |  2366838 |     1470   3871 |        0 |        0
266.31/266.48	c  266s |      23 |  3125167 |  2384138 |     1470   3894 |        0 |        0
268.32/268.48	c  268s |      23 |  3149142 |  2401438 |     1470   3916 |        0 |        0
270.31/270.49	c  270s |      23 |  3173349 |  2418638 |     1470   3938 |        0 |        0
272.31/272.49	c  272s |      23 |  3192297 |  2433338 |     1470   3957 |        0 |        0
274.40/274.50	c  274s |      23 |  3212242 |  2448638 |     1470   3977 |        0 |        0
276.40/276.50	c  276s |      23 |  3233410 |  2464038 |     1470   3997 |        0 |        0
278.40/278.51	c  278s |      23 |  3257013 |  2481138 |     1470   4019 |        0 |        0
280.41/280.52	c  280s |      23 |  3279155 |  2497438 |     1470   4040 |        0 |        0
282.40/282.52	c  282s |      23 |  3301311 |  2513438 |     1470   4061 |        0 |        0
284.40/284.53	c  284s |      23 |  3324590 |  2530338 |     1470   4082 |        0 |        0
286.40/286.53	c  286s |      23 |  3345569 |  2545738 |     1470   4103 |        0 |        0
288.40/288.54	c  288s |      23 |  3366676 |  2561038 |     1470   4122 |        0 |        0
290.40/290.54	c  290s |      23 |  3390255 |  2577938 |     1470   4144 |        0 |        0
292.39/292.54	c  292s |      23 |  3412277 |  2594238 |     1470   4165 |        0 |        0
294.39/294.55	c  294s |      23 |  3432310 |  2609438 |     1470   4185 |        0 |        0
296.39/296.55	c  296s |      23 |  3452815 |  2624838 |     1470   4205 |        0 |        0
298.39/298.56	c  298s |      23 |  3477893 |  2642538 |     1470   4228 |        0 |        0
300.39/300.57	c  300s |      23 |  3499160 |  2658938 |     1470   4249 |        0 |        0
302.39/302.57	c  302s |      23 |  3521195 |  2675538 |     1470   4270 |        0 |        0
304.38/304.57	c  304s |      23 |  3544509 |  2692038 |     1470   4292 |        0 |        0
306.38/306.58	c  306s |      23 |  3567977 |  2708738 |     1470   4313 |        0 |        0
308.38/308.59	c  308s |      23 |  3587431 |  2723738 |     1470   4333 |        0 |        0
310.48/310.61	c  310s |      23 |  3611269 |  2741238 |     1470   4356 |        0 |        0
312.48/312.61	c  312s |      23 |  3633399 |  2758038 |     1470   4377 |        0 |        0
314.48/314.61	c  314s |      23 |  3658111 |  2775638 |     1470   4400 |        0 |        0
316.48/316.61	c  316s |      23 |  3681855 |  2793438 |     1470   4423 |        0 |        0
318.49/318.61	c  318s |      23 |  3705512 |  2810738 |     1470   4445 |        0 |        0
320.48/320.63	c  320s |      23 |  3725229 |  2826038 |     1470   4465 |        0 |        0
322.48/322.63	c  322s |      23 |  3748511 |  2842838 |     1470   4487 |        0 |        0
324.49/324.64	c  324s |      23 |  3772522 |  2860638 |     1470   4510 |        0 |        0
326.48/326.65	c  326s |      23 |  3796482 |  2878338 |     1470   4533 |        0 |        0
328.48/328.65	c  328s |      23 |  3818437 |  2894838 |     1470   4554 |        0 |        0
330.48/330.67	c  330s |      23 |  3841068 |  2912038 |     1470   4576 |        0 |        0
332.48/332.67	c  332s |      23 |  3864717 |  2929138 |     1470   4599 |        0 |        0
334.48/334.68	c  334s |      23 |  3886555 |  2945438 |     1470   4620 |        0 |        0
336.48/336.69	c  336s |      23 |  3908582 |  2962138 |     1470   4641 |        0 |        0
338.57/338.70	c  338s |      23 |  3932238 |  2979538 |     1470   4664 |        0 |        0
340.57/340.70	c  340s |      23 |  3957401 |  2997038 |     1470   4686 |        0 |        0
342.57/342.72	c  342s |      23 |  3981205 |  3013938 |     1470   4708 |        0 |        0
344.57/344.72	c  344s |      23 |  4003901 |  3031238 |     1470   4730 |        0 |        0
346.57/346.73	c  346s |      23 |  4025963 |  3048038 |     1470   4752 |        0 |        0
348.57/348.74	c  348s |      23 |  4046810 |  3063738 |     1470   4772 |        0 |        0
350.56/350.74	c  350s |      23 |  4071673 |  3082338 |     1470   4796 |        0 |        0
352.56/352.76	c  352s |      23 |  4095602 |  3099638 |     1470   4819 |        0 |        0
354.56/354.77	c  354s |      23 |  4117547 |  3116038 |     1470   4840 |        0 |        0
356.56/356.77	c  356s |      23 |  4138833 |  3131638 |     1470   4860 |        0 |        0
358.57/358.78	c  358s |      23 |  4162156 |  3149038 |     1470   4883 |        0 |        0
360.56/360.78	c  360s |      23 |  4185080 |  3166138 |     1470   4905 |        0 |        0
362.56/362.79	c  362s |      23 |  4208382 |  3183238 |     1470   4927 |        0 |        0
364.56/364.79	c  364s |      23 |  4231274 |  3199638 |     1470   4948 |        0 |        0
366.67/366.80	c  366s |      23 |  4253409 |  3216038 |     1470   4969 |        0 |        0
368.67/368.80	c  368s |      23 |  4276944 |  3232938 |     1470   4991 |        0 |        0
370.67/370.80	c  370s |      23 |  4301227 |  3250338 |     1470   5014 |        0 |        0
372.66/372.81	c  372s |      23 |  4324555 |  3267038 |     1470   5036 |        0 |        0
374.66/374.81	c  374s |      23 |  4347090 |  3283438 |     1470   5057 |        0 |        0
376.66/376.82	c  376s |      23 |  4370690 |  3300338 |     1470   5079 |        0 |        0
378.65/378.83	c  378s |      23 |  4393382 |  3316938 |     1470   5101 |        0 |        0
380.65/380.83	c  380s |      23 |  4417987 |  3334638 |     1470   5124 |        0 |        0
382.66/382.84	c  382s |      23 |  4442302 |  3353138 |     1618   5148 |        0 |        0
384.65/384.84	c  384s |      23 |  4467190 |  3371238 |     1618   5169 |        0 |        0
385.35/385.54	c  385s |      24 |  4473950 |  3376662 |     1618   5176 |        0 |        0
387.35/387.54	c  387s |      24 |  4496074 |  3394062 |     1618   5195 |        0 |        0
389.35/389.54	c  389s |      24 |  4518166 |  3411162 |     1618   5215 |        0 |        0
391.35/391.54	c  391s |      24 |  4539297 |  3427762 |     1618   5234 |        0 |        0
393.35/393.55	c  393s |      24 |  4561206 |  3444962 |     1618   5253 |        0 |        0
395.35/395.55	c  395s |      24 |  4583560 |  3462062 |     1618   5273 |        0 |        0
397.35/397.56	c  397s |      24 |  4606196 |  3479862 |     1618   5293 |        0 |        0
399.35/399.56	c  399s |      24 |  4628617 |  3497162 |     1618   5313 |        0 |        0
401.36/401.56	c  401s |      24 |  4651774 |  3515262 |     1618   5334 |        0 |        0
403.34/403.56	c  403s |      24 |  4673753 |  3532762 |     1618   5354 |        0 |        0
405.34/405.57	c  405s |      24 |  4694703 |  3549062 |     1618   5373 |        0 |        0
407.34/407.58	c  407s |      24 |  4717350 |  3566462 |     1618   5393 |        0 |        0
409.34/409.59	c  409s |      24 |  4740150 |  3583862 |     1618   5413 |        0 |        0
411.35/411.59	c  411s |      24 |  4763097 |  3601562 |     1618   5433 |        0 |        0
413.34/413.60	c  413s |      24 |  4785002 |  3618562 |     1618   5452 |        0 |        0
415.44/415.60	c  415s |      24 |  4807392 |  3635862 |     1618   5472 |        0 |        0
417.44/417.60	c  417s |      24 |  4829790 |  3652962 |     1618   5492 |        0 |        0
419.44/419.60	c  419s |      24 |  4851150 |  3669462 |     1618   5511 |        0 |        0
421.43/421.61	c  421s |      24 |  4872653 |  3685762 |     1618   5530 |        0 |        0
423.44/423.62	c  423s |      24 |  4895467 |  3703062 |     1618   5549 |        0 |        0
425.43/425.63	c  425s |      24 |  4918646 |  3720262 |     1618   5569 |        0 |        0
427.43/427.63	c  427s |      24 |  4939359 |  3736562 |     1618   5588 |        0 |        0
429.43/429.64	c  429s |      24 |  4961128 |  3753462 |     1618   5607 |        0 |        0
431.43/431.64	c  431s |      24 |  4982842 |  3770462 |     1618   5627 |        0 |        0
433.43/433.64	c  433s |      24 |  5004878 |  3787062 |     1618   5646 |        0 |        0
435.43/435.65	c  435s |      24 |  5027532 |  3803862 |     1618   5665 |        0 |        0
437.42/437.65	c  437s |      24 |  5050259 |  3820362 |     1618   5684 |        0 |        0
439.42/439.66	c  439s |      24 |  5073108 |  3837162 |     1618   5704 |        0 |        0
441.42/441.66	c  441s |      24 |  5093463 |  3853062 |     1618   5722 |        0 |        0
443.42/443.66	c  443s |      24 |  5113202 |  3868762 |     1618   5740 |        0 |        0
445.43/445.68	c  445s |      24 |  5134554 |  3885162 |     1618   5759 |        0 |        0
447.43/447.68	c  447s |      24 |  5155141 |  3901062 |     1618   5777 |        0 |        0
449.43/449.69	c  449s |      24 |  5176822 |  3917762 |     1618   5797 |        0 |        0
451.43/451.69	c  451s |      24 |  5197076 |  3933362 |     1618   5815 |        0 |        0
453.43/453.70	c  453s |      24 |  5216516 |  3948962 |     1618   5833 |        0 |        0
455.52/455.71	c  455s |      24 |  5236540 |  3964662 |     1618   5851 |        0 |        0
457.53/457.72	c  457s |      24 |  5258376 |  3981062 |     1618   5870 |        0 |        0
459.52/459.73	c  459s |      24 |  5279219 |  3997162 |     1618   5888 |        0 |        0
461.52/461.74	c  461s |      24 |  5299812 |  4013162 |     1618   5907 |        0 |        0
463.52/463.75	c  463s |      24 |  5322553 |  4029762 |     1618   5926 |        0 |        0
465.52/465.75	c  465s |      24 |  5344576 |  4046462 |     1618   5945 |        0 |        0
467.52/467.76	c  467s |      24 |  5366176 |  4062862 |     1618   5964 |        0 |        0
469.52/469.76	c  469s |      24 |  5389207 |  4080162 |     1618   5984 |        0 |        0
471.52/471.77	c  471s |      24 |  5411074 |  4096562 |     1618   6003 |        0 |        0
473.51/473.77	c  473s |      24 |  5431749 |  4112662 |     1618   6021 |        0 |        0
475.51/475.78	c  475s |      24 |  5452841 |  4129162 |     1618   6040 |        0 |        0
477.51/477.78	c  477s |      24 |  5474882 |  4145462 |     1618   6059 |        0 |        0
479.52/479.79	c  479s |      24 |  5495974 |  4161462 |     1618   6078 |        0 |        0
481.51/481.80	c  481s |      24 |  5517062 |  4177362 |     1618   6096 |        0 |        0
483.60/483.80	c  483s |      24 |  5537536 |  4192962 |     1618   6114 |        0 |        0
485.60/485.81	c  485s |      24 |  5560183 |  4209762 |     1618   6134 |        0 |        0
487.60/487.81	c  487s |      24 |  5581813 |  4226462 |     1618   6153 |        0 |        0
489.60/489.82	c  489s |      24 |  5602883 |  4242762 |     1618   6172 |        0 |        0
491.61/491.83	c  491s |      24 |  5625617 |  4260262 |     1618   6192 |        0 |        0
493.60/493.83	c  493s |      24 |  5647195 |  4276862 |     1618   6211 |        0 |        0
495.60/495.84	c  495s |      24 |  5668787 |  4293262 |     1618   6230 |        0 |        0
497.60/497.85	c  497s |      24 |  5691272 |  4309962 |     1618   6250 |        0 |        0
499.60/499.86	c  499s |      24 |  5713048 |  4326662 |     1618   6269 |        0 |        0
501.59/501.86	c  501s |      24 |  5734648 |  4343462 |     1618   6288 |        0 |        0
503.60/503.86	c  503s |      24 |  5757739 |  4360662 |     1618   6308 |        0 |        0
505.59/505.87	c  505s |      24 |  5781691 |  4378562 |     1618   6329 |        0 |        0
507.59/507.87	c  507s |      24 |  5802595 |  4394362 |     1618   6348 |        0 |        0
509.59/509.88	c  509s |      24 |  5822877 |  4410162 |     1618   6366 |        0 |        0
511.60/511.88	c  511s |      24 |  5845462 |  4426962 |     1618   6386 |        0 |        0
513.60/513.90	c  513s |      24 |  5866889 |  4443262 |     1618   6405 |        0 |        0
515.60/515.90	c  515s |      24 |  5886579 |  4458862 |     1618   6423 |        0 |        0
517.70/517.90	c  517s |      24 |  5908251 |  4474862 |     1618   6441 |        0 |        0
519.70/519.91	c  519s |      24 |  5930063 |  4491262 |     1618   6460 |        0 |        0
521.69/521.91	c  521s |      24 |  5951114 |  4507562 |     1618   6479 |        0 |        0
523.69/523.92	c  523s |      24 |  5972702 |  4523662 |     1618   6498 |        0 |        0
525.70/525.92	c  525s |      24 |  5993812 |  4540062 |     1618   6517 |        0 |        0
527.69/527.92	c  527s |      24 |  6017305 |  4557562 |     1618   6537 |        0 |        0
529.69/529.93	c  529s |      24 |  6041181 |  4575362 |     1618   6558 |        0 |        0
531.69/531.93	c  531s |      24 |  6065197 |  4592962 |     1618   6579 |        0 |        0
533.68/533.93	c  533s |      24 |  6087393 |  4609862 |     1618   6598 |        0 |        0
535.68/535.94	c  535s |      24 |  6111080 |  4627362 |     1618   6619 |        0 |        0
537.69/537.94	c  537s |      24 |  6134640 |  4644862 |     1618   6639 |        0 |        0
539.68/539.95	c  539s |      24 |  6157893 |  4661462 |     1618   6658 |        0 |        0
541.68/541.95	c  541s |      24 |  6179716 |  4677862 |     1618   6677 |        0 |        0
543.68/543.96	c  543s |      24 |  6202264 |  4694862 |     1618   6697 |        0 |        0
545.68/545.97	c  545s |      24 |  6224087 |  4711562 |     1618   6717 |        0 |        0
547.68/547.97	c  547s |      24 |  6243888 |  4727262 |     1618   6735 |        0 |        0
549.68/549.97	c  549s |      24 |  6265134 |  4743662 |     1618   6754 |        0 |        0
551.68/551.98	c  551s |      24 |  6287751 |  4761262 |     1618   6774 |        0 |        0
553.67/553.99	c  553s |      24 |  6309847 |  4778062 |     1618   6794 |        0 |        0
555.77/556.00	c  555s |      24 |  6332903 |  4795762 |     1618   6814 |        0 |        0
557.77/558.01	c  557s |      24 |  6355676 |  4813062 |     1618   6835 |        0 |        0
559.78/560.01	c  559s |      24 |  6376518 |  4829162 |     1618   6853 |        0 |        0
561.77/562.02	c  562s |      24 |  6396563 |  4844862 |     1618   6872 |        0 |        0
563.77/564.02	c  564s |      24 |  6420292 |  4862562 |     1618   6893 |        0 |        0
565.77/566.02	c  566s |      24 |  6439993 |  4878762 |     1618   6911 |        0 |        0
567.76/568.02	c  568s |      24 |  6459695 |  4894262 |     1618   6929 |        0 |        0
569.76/570.03	c  570s |      24 |  6481896 |  4910962 |     1618   6949 |        0 |        0
571.77/572.04	c  572s |      24 |  6504476 |  4927862 |     1618   6969 |        0 |        0
573.77/574.05	c  574s |      24 |  6527394 |  4945162 |     1618   6989 |        0 |        0
575.77/576.05	c  576s |      24 |  6551153 |  4962762 |     1618   7009 |        0 |        0
577.77/578.06	c  578s |      24 |  6575208 |  4980462 |     1618   7030 |        0 |        0
579.77/580.07	c  580s |      24 |  6598694 |  4998262 |     1618   7051 |        0 |        0
581.77/582.07	c  582s |      24 |  6621364 |  5015262 |     1618   7071 |        0 |        0
583.76/584.08	c  584s |      24 |  6644246 |  5032462 |     1780   7090 |        0 |        0
585.76/586.09	c  586s |      24 |  6666017 |  5048562 |     1780   7108 |        0 |        0
587.76/588.01	c  587s |      25 |  6688952 |  5065098 |     1780   7125 |        0 |        0
589.76/590.02	c  590s |      25 |  6711715 |  5082598 |     1780   7145 |        0 |        0
591.76/592.02	c  592s |      25 |  6734298 |  5100098 |     1780   7164 |        0 |        0
593.76/594.02	c  594s |      25 |  6755170 |  5116998 |     1780   7183 |        0 |        0
595.75/596.04	c  596s |      25 |  6777546 |  5134098 |     1780   7202 |        0 |        0
597.75/598.04	c  598s |      25 |  6798017 |  5150298 |     1780   7219 |        0 |        0
599.75/600.04	c  600s |      25 |  6817548 |  5165498 |     1780   7234 |        0 |        0
601.75/602.04	c  602s |      25 |  6837750 |  5181098 |     1780   7251 |        0 |        0
603.76/604.05	c  604s |      25 |  6858946 |  5197198 |     1780   7268 |        0 |        0
605.75/606.07	c  606s |      25 |  6879695 |  5213298 |     1780   7285 |        0 |        0
607.75/608.07	c  608s |      25 |  6899739 |  5228598 |     1780   7302 |        0 |        0
609.75/610.07	c  610s |      25 |  6921834 |  5244998 |     1780   7319 |        0 |        0
611.75/612.08	c  612s |      25 |  6941939 |  5260698 |     1780   7336 |        0 |        0
613.75/614.08	c  614s |      25 |  6964350 |  5277298 |     1780   7354 |        0 |        0
615.75/616.10	c  616s |      25 |  6984932 |  5292698 |     1780   7371 |        0 |        0
617.84/618.10	c  618s |      25 |  7005719 |  5308798 |     1780   7388 |        0 |        0
619.84/620.12	c  620s |      25 |  7027145 |  5324998 |     1780   7405 |        0 |        0
621.84/622.12	c  622s |      25 |  7050921 |  5341798 |     1780   7423 |        0 |        0
623.84/624.13	c  624s |      25 |  7073974 |  5358698 |     1780   7441 |        0 |        0
625.84/626.13	c  626s |      25 |  7096268 |  5374798 |     1780   7459 |        0 |        0
627.85/628.13	c  628s |      25 |  7120338 |  5391798 |     1780   7477 |        0 |        0
629.85/630.14	c  630s |      25 |  7143431 |  5409298 |     1780   7495 |        0 |        0
631.85/632.15	c  632s |      25 |  7164200 |  5425198 |     1780   7512 |        0 |        0
633.84/634.16	c  634s |      25 |  7187070 |  5441998 |     1780   7530 |        0 |        0
635.84/636.17	c  636s |      25 |  7207922 |  5457898 |     1780   7547 |        0 |        0
637.85/638.17	c  638s |      25 |  7229841 |  5474398 |     1780   7565 |        0 |        0
639.84/640.18	c  640s |      25 |  7250892 |  5489798 |     1780   7581 |        0 |        0
641.84/642.19	c  642s |      25 |  7270738 |  5504698 |     1780   7598 |        0 |        0
643.93/644.20	c  644s |      25 |  7290624 |  5519798 |     1780   7614 |        0 |        0
645.93/646.20	c  646s |      25 |  7312001 |  5535698 |     1780   7631 |        0 |        0
647.93/648.21	c  648s |      25 |  7333465 |  5551698 |     1780   7648 |        0 |        0
649.94/650.21	c  650s |      25 |  7354639 |  5567398 |     1780   7665 |        0 |        0
651.93/652.21	c  652s |      25 |  7375799 |  5583398 |     1780   7682 |        0 |        0
653.92/654.22	c  654s |      25 |  7392959 |  5597998 |     1780   7697 |        0 |        0
655.92/656.22	c  656s |      25 |  7412712 |  5613498 |     1780   7714 |        0 |        0
657.92/658.23	c  658s |      25 |  7435203 |  5629798 |     1780   7731 |        0 |        0
659.92/660.24	c  660s |      25 |  7455216 |  5644598 |     1780   7747 |        0 |        0
661.93/662.25	c  662s |      25 |  7476037 |  5659898 |     1780   7764 |        0 |        0
663.92/664.27	c  664s |      25 |  7495969 |  5674298 |     1780   7780 |        0 |        0
665.92/666.28	c  666s |      25 |  7516652 |  5689498 |     1780   7796 |        0 |        0
668.02/668.30	c  668s |      25 |  7535729 |  5704098 |     1780   7812 |        0 |        0
670.02/670.31	c  670s |      25 |  7554515 |  5718898 |     1780   7827 |        0 |        0
672.02/672.31	c  672s |      25 |  7575551 |  5734398 |     1780   7844 |        0 |        0
674.03/674.32	c  674s |      25 |  7595445 |  5749698 |     1780   7860 |        0 |        0
676.02/676.32	c  676s |      25 |  7615626 |  5764798 |     1780   7876 |        0 |        0
678.02/678.33	c  678s |      25 |  7636499 |  5780398 |     1780   7893 |        0 |        0
680.02/680.34	c  680s |      25 |  7657395 |  5796098 |     1780   7910 |        0 |        0
682.02/682.34	c  682s |      25 |  7677680 |  5810898 |     1780   7927 |        0 |        0
684.02/684.35	c  684s |      25 |  7697527 |  5825998 |     1780   7943 |        0 |        0
686.02/686.36	c  686s |      25 |  7715920 |  5840798 |     1780   7958 |        0 |        0
688.02/688.37	c  688s |      25 |  7734468 |  5855498 |     1780   7973 |        0 |        0
690.02/690.38	c  690s |      25 |  7755815 |  5871798 |     1780   7991 |        0 |        0
692.01/692.39	c  692s |      25 |  7777097 |  5887498 |     1780   8007 |        0 |        0
694.11/694.40	c  694s |      25 |  7797059 |  5902698 |     1780   8023 |        0 |        0
696.12/696.41	c  696s |      25 |  7816948 |  5918298 |     1780   8040 |        0 |        0
698.11/698.42	c  698s |      25 |  7837057 |  5933698 |     1780   8056 |        0 |        0
700.11/700.42	c  700s |      25 |  7856684 |  5949098 |     1780   8072 |        0 |        0
702.11/702.43	c  702s |      25 |  7875258 |  5963598 |     1780   8088 |        0 |        0
704.11/704.44	c  704s |      25 |  7896519 |  5979498 |     1780   8105 |        0 |        0
706.11/706.45	c  706s |      25 |  7916070 |  5994598 |     1780   8120 |        0 |        0
708.12/708.46	c  708s |      25 |  7935031 |  6009798 |     1780   8136 |        0 |        0
710.11/710.47	c  710s |      25 |  7955556 |  6025398 |     1780   8153 |        0 |        0
712.11/712.47	c  712s |      25 |  7973935 |  6040098 |     1780   8169 |        0 |        0
714.11/714.47	c  714s |      25 |  7993463 |  6055398 |     1780   8185 |        0 |        0
716.11/716.47	c  716s |      25 |  8012846 |  6070698 |     1780   8201 |        0 |        0
718.11/718.48	c  718s |      25 |  8031789 |  6085898 |     1780   8217 |        0 |        0
720.11/720.49	c  720s |      25 |  8052786 |  6101798 |     1780   8234 |        0 |        0
722.11/722.49	c  722s |      25 |  8073051 |  6116698 |     1780   8250 |        0 |        0
724.20/724.50	c  724s |      25 |  8097579 |  6133898 |     1780   8268 |        0 |        0
726.20/726.51	c  726s |      25 |  8119960 |  6149798 |     1780   8286 |        0 |        0
728.20/728.51	c  728s |      25 |  8137903 |  6164098 |     1780   8301 |        0 |        0
730.21/730.51	c  730s |      25 |  8159543 |  6179998 |     1780   8318 |        0 |        0
732.20/732.52	c  732s |      25 |  8179924 |  6195698 |     1780   8334 |        0 |        0
734.21/734.52	c  734s |      25 |  8205193 |  6212698 |     1780   8352 |        0 |        0
736.21/736.53	c  736s |      25 |  8225652 |  6228698 |     1780   8370 |        0 |        0
738.21/738.54	c  738s |      25 |  8246635 |  6244898 |     1780   8387 |        0 |        0
740.21/740.54	c  740s |      25 |  8267856 |  6260598 |     1780   8404 |        0 |        0
742.21/742.55	c  742s |      25 |  8291481 |  6277698 |     1780   8422 |        0 |        0
744.21/744.55	c  744s |      25 |  8313126 |  6293798 |     1780   8439 |        0 |        0
746.21/746.55	c  746s |      25 |  8333613 |  6308798 |     1780   8455 |        0 |        0
748.21/748.55	c  748s |      25 |  8352030 |  6322198 |     1780   8470 |        0 |        0
750.21/750.55	c  750s |      25 |  8371294 |  6336898 |     1780   8485 |        0 |        0
752.21/752.56	c  752s |      25 |  8387135 |  6349498 |     1780   8499 |        0 |        0
754.20/754.57	c  754s |      25 |  8405854 |  6363398 |     1780   8514 |        0 |        0
756.20/756.57	c  756s |      25 |  8425217 |  6378898 |     1780   8530 |        0 |        0
758.20/758.58	c  758s |      25 |  8448245 |  6395098 |     1780   8548 |        0 |        0
760.20/760.59	c  760s |      25 |  8470556 |  6411598 |     1780   8565 |        0 |        0
762.20/762.59	c  762s |      25 |  8493111 |  6427598 |     1780   8583 |        0 |        0
764.21/764.59	c  764s |      25 |  8515063 |  6443298 |     1780   8600 |        0 |        0
766.30/766.60	c  766s |      25 |  8533841 |  6458198 |     1780   8616 |        0 |        0
768.30/768.61	c  768s |      25 |  8556316 |  6474498 |     1780   8634 |        0 |        0
770.30/770.61	c  770s |      25 |  8576674 |  6489598 |     1780   8650 |        0 |        0
772.30/772.62	c  772s |      25 |  8595143 |  6504498 |     1780   8666 |        0 |        0
774.30/774.62	c  774s |      25 |  8617501 |  6520498 |     1780   8684 |        0 |        0
776.30/776.64	c  776s |      25 |  8638185 |  6536198 |     1780   8701 |        0 |        0
778.30/778.65	c  778s |      25 |  8660024 |  6552798 |     1780   8718 |        0 |        0
780.30/780.66	c  780s |      25 |  8679466 |  6567598 |     1780   8735 |        0 |        0
782.30/782.67	c  782s |      25 |  8698750 |  6582698 |     1780   8750 |        0 |        0
784.29/784.68	c  784s |      25 |  8716736 |  6597298 |     1780   8766 |        0 |        0
786.30/786.68	c  786s |      25 |  8738321 |  6613698 |     1780   8784 |        0 |        0
788.29/788.69	c  788s |      25 |  8757673 |  6628698 |     1780   8799 |        0 |        0
790.40/790.70	c  790s |      25 |  8779128 |  6644098 |     1780   8816 |        0 |        0
792.40/792.71	c  792s |      25 |  8801454 |  6660198 |     1780   8833 |        0 |        0
794.40/794.72	c  794s |      25 |  8824377 |  6676798 |     1780   8851 |        0 |        0
796.40/796.72	c  796s |      25 |  8849316 |  6693698 |     1780   8869 |        0 |        0
798.40/798.73	c  798s |      25 |  8870175 |  6709598 |     1780   8886 |        0 |        0
800.40/800.73	c  800s |      25 |  8889614 |  6725098 |     1780   8902 |        0 |        0
802.40/802.74	c  802s |      25 |  8910059 |  6740398 |     1780   8919 |        0 |        0
804.40/804.75	c  804s |      25 |  8933826 |  6756498 |     1780   8937 |        0 |        0
806.39/806.76	c  806s |      25 |  8956940 |  6772898 |     1780   8955 |        0 |        0
808.39/808.76	c  808s |      25 |  8977055 |  6788698 |     1780   8971 |        0 |        0
810.40/810.78	c  810s |      25 |  8998791 |  6804998 |     1780   8989 |        0 |        0
812.39/812.79	c  812s |      25 |  9017370 |  6819698 |     1780   9004 |        0 |        0
814.49/814.80	c  814s |      25 |  9038360 |  6835598 |     1780   9021 |        0 |        0
816.49/816.80	c  816s |      25 |  9059187 |  6851698 |     1780   9038 |        0 |        0
818.49/818.81	c  818s |      25 |  9079051 |  6867198 |     1780   9054 |        0 |        0
820.49/820.82	c  820s |      25 |  9101461 |  6883898 |     1780   9072 |        0 |        0
822.50/822.84	c  822s |      25 |  9123273 |  6899998 |     1780   9090 |        0 |        0
824.49/824.85	c  824s |      25 |  9145565 |  6916398 |     1780   9107 |        0 |        0
826.49/826.85	c  826s |      25 |  9163860 |  6930898 |     1780   9123 |        0 |        0
828.49/828.86	c  828s |      25 |  9185186 |  6947198 |     1780   9140 |        0 |        0
830.49/830.86	c  830s |      25 |  9204947 |  6962898 |     1780   9157 |        0 |        0
832.49/832.86	c  832s |      25 |  9225269 |  6978698 |     1780   9174 |        0 |        0
834.49/834.87	c  834s |      25 |  9246802 |  6994598 |     1780   9191 |        0 |        0
836.50/836.87	c  836s |      25 |  9266850 |  7010398 |     1780   9208 |        0 |        0
838.50/838.87	c  838s |      25 |  9287023 |  7025498 |     1780   9225 |        0 |        0
840.49/840.88	c  840s |      25 |  9308748 |  7041498 |     1780   9242 |        0 |        0
842.49/842.89	c  842s |      25 |  9329239 |  7057198 |     1780   9259 |        0 |        0
844.50/844.89	c  844s |      25 |  9352397 |  7073498 |     1780   9277 |        0 |        0
846.59/846.90	c  846s |      25 |  9372414 |  7088898 |     1780   9293 |        0 |        0
848.59/848.90	c  848s |      25 |  9392553 |  7104698 |     1780   9309 |        0 |        0
850.59/850.91	c  850s |      25 |  9415080 |  7121098 |     1780   9327 |        0 |        0
852.59/852.91	c  852s |      25 |  9437356 |  7137998 |     1780   9345 |        0 |        0
854.59/854.92	c  854s |      25 |  9459139 |  7153798 |     1780   9362 |        0 |        0
856.60/856.92	c  856s |      25 |  9480668 |  7169798 |     1780   9380 |        0 |        0
858.59/858.92	c  858s |      25 |  9501439 |  7186198 |     1780   9397 |        0 |        0
860.59/860.93	c  860s |      25 |  9523495 |  7202698 |     1780   9415 |        0 |        0
862.59/862.94	c  862s |      25 |  9545714 |  7219398 |     1780   9433 |        0 |        0
864.59/864.95	c  864s |      25 |  9566725 |  7235198 |     1780   9450 |        0 |        0
866.59/866.96	c  866s |      25 |  9587208 |  7251198 |     1780   9467 |        0 |        0
868.58/868.98	c  868s |      25 |  9608509 |  7267198 |     1780   9484 |        0 |        0
870.58/870.98	c  870s |      25 |  9630082 |  7283398 |     1780   9501 |        0 |        0
872.58/872.99	c  872s |      25 |  9650132 |  7298698 |     1780   9517 |        0 |        0
874.58/874.99	c  874s |      25 |  9673100 |  7315398 |     1780   9535 |        0 |        0
876.58/876.99	c  876s |      25 |  9694890 |  7331298 |     1780   9552 |        0 |        0
878.70/879.01	c  878s |      25 |  9714102 |  7345798 |     1780   9568 |        0 |        0
880.69/881.01	c  880s |      25 |  9733067 |  7360098 |     1780   9584 |        0 |        0
882.69/883.02	c  883s |      25 |  9751246 |  7374598 |     1780   9599 |        0 |        0
884.69/885.02	c  885s |      25 |  9771107 |  7389698 |     1780   9615 |        0 |        0
886.69/887.03	c  887s |      25 |  9791526 |  7404998 |     1780   9631 |        0 |        0
888.69/889.04	c  889s |      25 |  9811228 |  7419898 |     1780   9647 |        0 |        0
890.69/891.05	c  891s |      25 |  9833525 |  7435498 |     1780   9665 |        0 |        0
892.69/893.06	c  893s |      25 |  9853371 |  7450698 |     1780   9681 |        0 |        0
894.69/895.06	c  895s |      25 |  9872127 |  7465398 |     1780   9696 |        0 |        0
896.69/897.07	c  897s |      25 |  9890099 |  7479798 |     1780   9712 |        0 |        0
898.69/899.08	c  899s |      25 |  9908595 |  7494198 |     1780   9727 |        0 |        0
900.69/901.09	c  901s |      25 |  9927639 |  7509198 |     1780   9743 |        0 |        0
902.68/903.10	c  903s |      25 |  9947114 |  7523498 |     1780   9758 |        0 |        0
904.78/905.11	c  905s |      25 |  9966654 |  7537998 |     1780   9774 |        0 |        0
906.78/907.11	c  907s |      25 |  9986409 |  7553198 |     1959   9789 |        0 |        0
908.78/909.12	c  909s |      25 | 10006860 |  7567798 |     1959   9803 |        0 |        0
910.78/911.12	c  911s |      25 | 10025958 |  7582598 |     1959   9817 |        0 |        0
912.79/913.12	c  913s |      25 | 10044594 |  7597098 |     1959   9831 |        0 |        0
912.88/913.23	c  913s |      26 | 10045420 |  7597752 |     1959   9832 |        0 |        0
914.89/915.24	c  915s |      26 | 10063500 |  7612552 |     1959   9846 |        0 |        0
916.88/917.25	c  917s |      26 | 10080846 |  7626152 |     1959   9859 |        0 |        0
918.88/919.25	c  919s |      26 | 10100094 |  7640852 |     1959   9873 |        0 |        0
920.88/921.26	c  921s |      26 | 10119400 |  7655852 |     1959   9887 |        0 |        0
922.88/923.27	c  923s |      26 | 10140376 |  7671652 |     1959   9903 |        0 |        0
924.88/925.27	c  925s |      26 | 10160074 |  7686952 |     1959   9917 |        0 |        0
926.88/927.28	c  927s |      26 | 10179267 |  7701852 |     1959   9932 |        0 |        0
928.88/929.29	c  929s |      26 | 10197918 |  7716252 |     1959   9946 |        0 |        0
930.98/931.30	c  931s |      26 | 10217555 |  7731752 |     1959   9961 |        0 |        0
932.98/933.30	c  933s |      26 | 10238066 |  7747452 |     1959   9976 |        0 |        0
934.97/935.31	c  935s |      26 | 10259941 |  7763752 |     1959   9992 |        0 |        0
936.98/937.32	c  937s |      26 | 10281481 |  7780252 |     1959  10008 |        0 |        0
938.97/939.33	c  939s |      26 | 10301806 |  7795952 |     1959  10023 |        0 |        0
940.97/941.34	c  941s |      26 | 10321736 |  7811252 |     1959  10037 |        0 |        0
942.97/943.35	c  943s |      26 | 10342780 |  7827252 |     1959  10053 |        0 |        0
944.97/945.36	c  945s |      26 | 10361122 |  7841852 |     1959  10067 |        0 |        0
946.97/947.36	c  947s |      26 | 10381666 |  7857152 |     1959  10082 |        0 |        0
948.98/949.36	c  949s |      26 | 10401864 |  7872352 |     1959  10096 |        0 |        0
950.97/951.37	c  951s |      26 | 10422476 |  7887652 |     1959  10111 |        0 |        0
952.97/953.38	c  953s |      26 | 10440960 |  7901752 |     1959  10125 |        0 |        0
954.97/955.39	c  955s |      26 | 10461062 |  7916952 |     1959  10140 |        0 |        0
957.07/957.40	c  957s |      26 | 10481219 |  7932352 |     1959  10154 |        0 |        0
959.07/959.40	c  959s |      26 | 10499687 |  7947052 |     1959  10169 |        0 |        0
961.07/961.41	c  961s |      26 | 10519552 |  7962352 |     1959  10183 |        0 |        0
963.07/963.42	c  963s |      26 | 10539207 |  7977752 |     1959  10198 |        0 |        0
965.07/965.42	c  965s |      26 | 10559816 |  7993652 |     1959  10214 |        0 |        0
967.08/967.43	c  967s |      26 | 10581276 |  8010052 |     1959  10229 |        0 |        0
969.08/969.43	c  969s |      26 | 10602065 |  8025652 |     1959  10244 |        0 |        0
971.08/971.44	c  971s |      26 | 10621489 |  8040552 |     1959  10259 |        0 |        0
973.08/973.44	c  973s |      26 | 10642634 |  8056352 |     1959  10274 |        0 |        0
975.07/975.45	c  975s |      26 | 10661614 |  8071252 |     1959  10288 |        0 |        0
977.07/977.46	c  977s |      26 | 10681992 |  8086852 |     1959  10304 |        0 |        0
979.07/979.47	c  979s |      26 | 10701937 |  8102252 |     1959  10318 |        0 |        0
981.07/981.47	c  981s |      26 | 10722066 |  8117252 |     1959  10333 |        0 |        0
983.08/983.48	c  983s |      26 | 10742749 |  8132752 |     1959  10348 |        0 |        0
985.07/985.49	c  985s |      26 | 10763475 |  8148652 |     1959  10363 |        0 |        0
987.17/987.50	c  987s |      26 | 10782028 |  8163352 |     1959  10378 |        0 |        0
989.17/989.50	c  989s |      26 | 10802541 |  8178652 |     1959  10392 |        0 |        0
991.17/991.50	c  991s |      26 | 10823135 |  8194252 |     1959  10407 |        0 |        0
993.17/993.51	c  993s |      26 | 10843380 |  8210252 |     1959  10423 |        0 |        0
995.17/995.52	c  995s |      26 | 10862854 |  8225452 |     1959  10438 |        0 |        0
997.17/997.53	c  997s |      26 | 10882782 |  8240952 |     1959  10452 |        0 |        0
999.17/999.53	c  999s |      26 | 10902178 |  8255752 |     1959  10467 |        0 |        0
1001.16/1001.54	c 1001s |      26 | 10923710 |  8271952 |     1959  10482 |        0 |        0
1003.16/1003.55	c 1003s |      26 | 10945855 |  8288552 |     1959  10498 |        0 |        0
1005.17/1005.56	c 1005s |      26 | 10968704 |  8305152 |     1959  10515 |        0 |        0
1007.16/1007.57	c 1007s |      26 | 10987358 |  8320152 |     1959  10529 |        0 |        0
1009.16/1009.57	c 1009s |      26 | 11008835 |  8336752 |     1959  10545 |        0 |        0
1011.16/1011.57	c 1011s |      26 | 11028942 |  8352152 |     1959  10560 |        0 |        0
1013.16/1013.58	c 1013s |      26 | 11049874 |  8368152 |     1959  10575 |        0 |        0
1015.16/1015.60	c 1015s |      26 | 11072210 |  8385152 |     1959  10591 |        0 |        0
1017.17/1017.60	c 1017s |      26 | 11093549 |  8401152 |     1959  10607 |        0 |        0
1019.26/1019.60	c 1019s |      26 | 11114302 |  8417052 |     1959  10622 |        0 |        0
1021.27/1021.60	c 1021s |      26 | 11135400 |  8432252 |     1959  10637 |        0 |        0
1023.27/1023.62	c 1023s |      26 | 11155775 |  8447952 |     1959  10652 |        0 |        0
1025.27/1025.62	c 1025s |      26 | 11176761 |  8464052 |     1959  10668 |        0 |        0
1027.27/1027.63	c 1027s |      26 | 11198161 |  8480252 |     1959  10683 |        0 |        0
1029.27/1029.63	c 1029s |      26 | 11216390 |  8494652 |     1959  10697 |        0 |        0
1031.26/1031.65	c 1031s |      26 | 11234603 |  8509452 |     1959  10711 |        0 |        0
1033.26/1033.65	c 1033s |      26 | 11254081 |  8524152 |     1959  10726 |        0 |        0
1035.26/1035.66	c 1035s |      26 | 11274409 |  8539452 |     1959  10740 |        0 |        0
1037.26/1037.66	c 1037s |      26 | 11296094 |  8555052 |     1959  10755 |        0 |        0
1039.27/1039.66	c 1039s |      26 | 11316137 |  8570252 |     1959  10770 |        0 |        0
1041.26/1041.66	c 1041s |      26 | 11338596 |  8586552 |     1959  10786 |        0 |        0
1043.26/1043.67	c 1043s |      26 | 11358406 |  8601652 |     1959  10801 |        0 |        0
1045.26/1045.68	c 1045s |      26 | 11379653 |  8617152 |     1959  10816 |        0 |        0
1047.26/1047.69	c 1047s |      26 | 11400412 |  8632852 |     1959  10831 |        0 |        0
1049.36/1049.70	c 1049s |      26 | 11419037 |  8647452 |     1959  10845 |        0 |        0
1051.37/1051.71	c 1051s |      26 | 11438613 |  8662152 |     1959  10859 |        0 |        0
1053.36/1053.71	c 1053s |      26 | 11458605 |  8677152 |     1959  10874 |        0 |        0
1055.36/1055.72	c 1055s |      26 | 11478298 |  8692452 |     1959  10888 |        0 |        0
1057.36/1057.72	c 1057s |      26 | 11497521 |  8707552 |     1959  10903 |        0 |        0
1059.36/1059.73	c 1059s |      26 | 11516628 |  8722852 |     1959  10918 |        0 |        0
1061.36/1061.74	c 1061s |      26 | 11537973 |  8738752 |     1959  10933 |        0 |        0
1063.36/1063.75	c 1063s |      26 | 11557022 |  8753752 |     1959  10947 |        0 |        0
1065.36/1065.76	c 1065s |      26 | 11578287 |  8769152 |     1959  10962 |        0 |        0
1067.35/1067.78	c 1067s |      26 | 11598428 |  8784352 |     1959  10977 |        0 |        0
1069.35/1069.79	c 1069s |      26 | 11619105 |  8799952 |     1959  10992 |        0 |        0
1071.45/1071.80	c 1071s |      26 | 11641308 |  8816752 |     1959  11008 |        0 |        0
1073.45/1073.81	c 1073s |      26 | 11661423 |  8832252 |     1959  11023 |        0 |        0
1075.46/1075.82	c 1075s |      26 | 11682126 |  8847852 |     1959  11038 |        0 |        0
1077.45/1077.83	c 1077s |      26 | 11703487 |  8863552 |     1959  11053 |        0 |        0
1079.45/1079.83	c 1079s |      26 | 11724761 |  8879152 |     1959  11068 |        0 |        0
1081.45/1081.83	c 1081s |      26 | 11743334 |  8893052 |     1959  11082 |        0 |        0
1083.45/1083.84	c 1083s |      26 | 11763521 |  8908652 |     1959  11097 |        0 |        0
1085.46/1085.85	c 1085s |      26 | 11783745 |  8923552 |     1959  11111 |        0 |        0
1087.45/1087.86	c 1087s |      26 | 11804236 |  8938852 |     1959  11126 |        0 |        0
1089.45/1089.87	c 1089s |      26 | 11825549 |  8954452 |     1959  11141 |        0 |        0
1091.46/1091.88	c 1091s |      26 | 11846422 |  8970452 |     1959  11157 |        0 |        0
1093.46/1093.88	c 1093s |      26 | 11866122 |  8985652 |     1959  11171 |        0 |        0
1095.46/1095.89	c 1095s |      26 | 11886515 |  9001052 |     1959  11186 |        0 |        0
1097.56/1097.91	c 1097s |      26 | 11905270 |  9015852 |     1959  11200 |        0 |        0
1099.55/1099.91	c 1099s |      26 | 11925063 |  9031052 |     1959  11215 |        0 |        0
1101.55/1101.93	c 1101s |      26 | 11944699 |  9046252 |     1959  11230 |        0 |        0
1103.55/1103.94	c 1103s |      26 | 11964569 |  9062052 |     1959  11245 |        0 |        0
1105.55/1105.95	c 1105s |      26 | 11983243 |  9077052 |     1959  11259 |        0 |        0
1107.55/1107.96	c 1107s |      26 | 12003328 |  9092652 |     1959  11274 |        0 |        0
1109.56/1109.97	c 1109s |      26 | 12022353 |  9107452 |     1959  11289 |        0 |        0
1111.55/1111.97	c 1111s |      26 | 12039778 |  9121552 |     1959  11302 |        0 |        0
1113.55/1113.97	c 1113s |      26 | 12058451 |  9136052 |     1959  11316 |        0 |        0
1115.55/1115.98	c 1115s |      26 | 12076779 |  9150152 |     1959  11330 |        0 |        0
1117.55/1117.99	c 1117s |      26 | 12096111 |  9164952 |     1959  11344 |        0 |        0
1119.55/1120.00	c 1119s |      26 | 12114979 |  9179552 |     1959  11359 |        0 |        0
1121.55/1122.00	c 1121s |      26 | 12134665 |  9194452 |     1959  11373 |        0 |        0
1123.65/1124.01	c 1123s |      26 | 12153850 |  9209452 |     1959  11388 |        0 |        0
1125.64/1126.01	c 1126s |      26 | 12174421 |  9225152 |     1959  11403 |        0 |        0
1127.64/1128.02	c 1128s |      26 | 12195873 |  9241352 |     1959  11419 |        0 |        0
1129.65/1130.04	c 1130s |      26 | 12217952 |  9257652 |     1959  11434 |        0 |        0
1131.66/1132.04	c 1132s |      26 | 12239055 |  9273152 |     1959  11449 |        0 |        0
1133.65/1134.06	c 1134s |      26 | 12259975 |  9287952 |     1959  11464 |        0 |        0
1135.65/1136.07	c 1136s |      26 | 12279931 |  9302652 |     1959  11479 |        0 |        0
1137.65/1138.07	c 1138s |      26 | 12298072 |  9316752 |     1959  11493 |        0 |        0
1139.65/1140.07	c 1140s |      26 | 12317702 |  9331452 |     1959  11507 |        0 |        0
1141.65/1142.08	c 1142s |      26 | 12336100 |  9345252 |     1959  11521 |        0 |        0
1143.65/1144.09	c 1144s |      26 | 12354407 |  9359252 |     1959  11535 |        0 |        0
1145.75/1146.10	c 1146s |      26 | 12373541 |  9373652 |     1959  11549 |        0 |        0
1147.75/1148.11	c 1148s |      26 | 12395095 |  9389052 |     1959  11564 |        0 |        0
1149.74/1150.12	c 1150s |      26 | 12414304 |  9403252 |     1959  11578 |        0 |        0
1151.74/1152.12	c 1152s |      26 | 12434486 |  9417752 |     1959  11593 |        0 |        0
1153.74/1154.14	c 1154s |      26 | 12454253 |  9432752 |     1959  11607 |        0 |        0
1155.75/1156.14	c 1156s |      26 | 12471278 |  9445852 |     1959  11620 |        0 |        0
1157.74/1158.14	c 1158s |      26 | 12489672 |  9459752 |     1959  11634 |        0 |        0
1159.74/1160.15	c 1160s |      26 | 12509316 |  9474752 |     1959  11649 |        0 |        0
1161.74/1162.15	c 1162s |      26 | 12529148 |  9489852 |     1959  11664 |        0 |        0
1163.74/1164.15	c 1164s |      26 | 12550049 |  9505152 |     1959  11679 |        0 |        0
1165.74/1166.15	c 1166s |      26 | 12570996 |  9521052 |     1959  11695 |        0 |        0
1167.74/1168.15	c 1168s |      26 | 12591605 |  9536552 |     1959  11710 |        0 |        0
1169.75/1170.16	c 1170s |      26 | 12610710 |  9550852 |     1959  11724 |        0 |        0
1171.74/1172.17	c 1172s |      26 | 12628418 |  9564752 |     1959  11737 |        0 |        0
1173.74/1174.17	c 1174s |      26 | 12648451 |  9579752 |     1959  11752 |        0 |        0
1175.74/1176.17	c 1176s |      26 | 12668474 |  9594852 |     1959  11767 |        0 |        0
1177.75/1178.17	c 1178s |      26 | 12688788 |  9610352 |     1959  11782 |        0 |        0
1179.74/1180.17	c 1180s |      26 | 12708890 |  9625052 |     1959  11796 |        0 |        0
1181.74/1182.18	c 1182s |      26 | 12729644 |  9640552 |     1959  11812 |        0 |        0
1183.74/1184.19	c 1184s |      26 | 12749984 |  9655952 |     1959  11827 |        0 |        0
1185.84/1186.20	c 1186s |      26 | 12770410 |  9670952 |     1959  11842 |        0 |        0
1187.84/1188.20	c 1188s |      26 | 12790109 |  9685652 |     1959  11856 |        0 |        0
1189.85/1190.23	c 1190s |      26 | 12809563 |  9700152 |     1959  11871 |        0 |        0
1191.84/1192.23	c 1192s |      26 | 12829107 |  9714852 |     1959  11885 |        0 |        0
1193.84/1194.24	c 1194s |      26 | 12849482 |  9730452 |     1959  11900 |        0 |        0
1195.83/1196.25	c 1196s |      26 | 12868391 |  9745152 |     1959  11914 |        0 |        0
1197.83/1198.26	c 1198s |      26 | 12888714 |  9760852 |     1959  11930 |        0 |        0
1199.84/1200.27	c 1200s |      26 | 12908679 |  9776352 |     1959  11945 |        0 |        0
1201.83/1202.27	c 1202s |      26 | 12928708 |  9791752 |     1959  11960 |        0 |        0
1203.83/1204.28	c 1204s |      26 | 12947693 |  9805952 |     1959  11974 |        0 |        0
1205.83/1206.29	c 1206s |      26 | 12966507 |  9820252 |     1959  11988 |        0 |        0
1207.93/1208.30	c 1208s |      26 | 12986297 |  9835152 |     1959  12003 |        0 |        0
1209.93/1210.30	c 1210s |      26 | 13005864 |  9850152 |     1959  12017 |        0 |        0
1211.94/1212.31	c 1212s |      26 | 13024141 |  9864352 |     1959  12031 |        0 |        0
1213.93/1214.31	c 1214s |      26 | 13042350 |  9878152 |     1959  12045 |        0 |        0
1215.93/1216.32	c 1216s |      26 | 13060244 |  9892152 |     1959  12059 |        0 |        0
1217.94/1218.33	c 1218s |      26 | 13079137 |  9906552 |     1959  12073 |        0 |        0
1219.94/1220.33	c 1220s |      26 | 13099705 |  9921752 |     1959  12088 |        0 |        0
1221.94/1222.34	c 1222s |      26 | 13118401 |  9935652 |     1959  12101 |        0 |        0
1223.94/1224.34	c 1224s |      26 | 13137840 |  9950052 |     1959  12116 |        0 |        0
1225.94/1226.35	c 1226s |      26 | 13158270 |  9965352 |     1959  12131 |        0 |        0
1227.94/1228.36	c 1228s |      26 | 13177291 |  9979652 |     1959  12145 |        0 |        0
1229.94/1230.37	c 1230s |      26 | 13196317 |  9993952 |     1959  12159 |        0 |        0
1231.93/1232.37	c 1232s |      26 | 13215735 | 10008752 |     1959  12173 |        0 |        0
1233.94/1234.38	c 1234s |      26 | 13235650 | 10023752 |     1959  12188 |        0 |        0
1235.93/1236.39	c 1236s |      26 | 13255624 | 10038752 |     1959  12203 |        0 |        0
1237.93/1238.39	c 1238s |      26 | 13276932 | 10054752 |     1959  12218 |        0 |        0
1239.93/1240.39	c 1240s |      26 | 13296888 | 10069752 |     1959  12233 |        0 |        0
1242.04/1242.40	c 1242s |      26 | 13316943 | 10085352 |     1959  12248 |        0 |        0
1244.03/1244.41	c 1244s |      26 | 13335199 | 10099952 |     1959  12262 |        0 |        0
1246.04/1246.42	c 1246s |      26 | 13354108 | 10114852 |     1959  12277 |        0 |        0
1248.03/1248.42	c 1248s |      26 | 13373996 | 10130352 |     1959  12292 |        0 |        0
1250.03/1250.43	c 1250s |      26 | 13393539 | 10145252 |     1959  12307 |        0 |        0
1252.03/1252.44	c 1252s |      26 | 13410149 | 10157952 |     1959  12319 |        0 |        0
1254.03/1254.45	c 1254s |      26 | 13427834 | 10171552 |     1959  12332 |        0 |        0
1256.03/1256.46	c 1256s |      26 | 13445035 | 10184752 |     1959  12345 |        0 |        0
1258.03/1258.47	c 1258s |      26 | 13465358 | 10200352 |     1959  12361 |        0 |        0
1260.02/1260.48	c 1260s |      26 | 13485465 | 10215652 |     1959  12376 |        0 |        0
1262.02/1262.48	c 1262s |      26 | 13505367 | 10230352 |     1959  12390 |        0 |        0
1264.02/1264.49	c 1264s |      26 | 13524642 | 10244652 |     1959  12405 |        0 |        0
1266.12/1266.50	c 1266s |      26 | 13544140 | 10259052 |     1959  12419 |        0 |        0
1268.12/1268.50	c 1268s |      26 | 13563192 | 10273352 |     1959  12433 |        0 |        0
1270.13/1270.51	c 1270s |      26 | 13579313 | 10285552 |     1959  12445 |        0 |        0
1272.12/1272.52	c 1272s |      26 | 13598095 | 10299352 |     1959  12459 |        0 |        0
1274.12/1274.53	c 1274s |      26 | 13617246 | 10313752 |     1959  12473 |        0 |        0
1276.13/1276.53	c 1276s |      26 | 13634232 | 10327352 |     1959  12486 |        0 |        0
1278.13/1278.53	c 1278s |      26 | 13651609 | 10340752 |     1959  12500 |        0 |        0
1280.13/1280.54	c 1280s |      26 | 13668813 | 10354852 |     1959  12513 |        0 |        0
1282.13/1282.56	c 1282s |      26 | 13687739 | 10369152 |     1959  12528 |        0 |        0
1284.12/1284.57	c 1284s |      26 | 13706456 | 10383652 |     1959  12542 |        0 |        0
1286.12/1286.58	c 1286s |      26 | 13726566 | 10397752 |     1959  12556 |        0 |        0
1288.22/1288.60	c 1288s |      26 | 13745472 | 10411852 |     1959  12570 |        0 |        0
1290.22/1290.60	c 1290s |      26 | 13764854 | 10426752 |     1959  12584 |        0 |        0
1292.23/1292.61	c 1292s |      26 | 13782388 | 10440552 |     1959  12598 |        0 |        0
1294.22/1294.61	c 1294s |      26 | 13801512 | 10454752 |     1959  12612 |        0 |        0
1296.22/1296.62	c 1296s |      26 | 13819096 | 10467852 |     1959  12625 |        0 |        0
1298.22/1298.63	c 1298s |      26 | 13839110 | 10482052 |     1959  12639 |        0 |        0
1300.22/1300.64	c 1300s |      26 | 13859395 | 10496252 |     1959  12653 |        0 |        0
1302.22/1302.64	c 1302s |      26 | 13879481 | 10510152 |     1959  12667 |        0 |        0
1304.22/1304.64	c 1304s |      26 | 13898706 | 10524752 |     1959  12681 |        0 |        0
1306.22/1306.65	c 1306s |      26 | 13916993 | 10538752 |     1959  12695 |        0 |        0
1308.22/1308.67	c 1308s |      26 | 13936819 | 10553452 |     1959  12710 |        0 |        0
1310.21/1310.67	c 1310s |      26 | 13957832 | 10568952 |     1959  12725 |        0 |        0
1312.21/1312.68	c 1312s |      26 | 13979080 | 10583852 |     1959  12740 |        0 |        0
1314.23/1314.69	c 1314s |      26 | 14000460 | 10599052 |     1959  12754 |        0 |        0
1316.22/1316.70	c 1316s |      26 | 14021191 | 10614352 |     1959  12770 |        0 |        0
1318.32/1318.70	c 1318s |      26 | 14041036 | 10629452 |     1959  12785 |        0 |        0
1320.32/1320.71	c 1320s |      26 | 14060785 | 10644352 |     1959  12799 |        0 |        0
1322.32/1322.72	c 1322s |      26 | 14080683 | 10658952 |     1959  12814 |        0 |        0
1324.32/1324.73	c 1324s |      26 | 14099548 | 10673152 |     1959  12828 |        0 |        0
1326.33/1326.73	c 1326s |      26 | 14117255 | 10686352 |     1959  12841 |        0 |        0
1328.32/1328.73	c 1328s |      26 | 14135889 | 10700352 |     1959  12854 |        0 |        0
1330.32/1330.75	c 1330s |      26 | 14153205 | 10713952 |     1959  12868 |        0 |        0
1332.32/1332.76	c 1332s |      26 | 14170416 | 10726852 |     1959  12880 |        0 |        0
1334.32/1334.77	c 1334s |      26 | 14187456 | 10739952 |     1959  12893 |        0 |        0
1336.32/1336.77	c 1336s |      26 | 14204995 | 10753152 |     1959  12906 |        0 |        0
1338.32/1338.79	c 1338s |      26 | 14222914 | 10766452 |     1959  12919 |        0 |        0
1340.32/1340.80	c 1340s |      26 | 14243280 | 10780852 |     1959  12933 |        0 |        0
1342.42/1342.80	c 1342s |      26 | 14261278 | 10794252 |     1959  12947 |        0 |        0
1344.41/1344.81	c 1344s |      26 | 14280866 | 10808552 |     1959  12961 |        0 |        0
1346.41/1346.81	c 1346s |      26 | 14300773 | 10823752 |     1959  12976 |        0 |        0
1348.41/1348.81	c 1348s |      26 | 14320065 | 10838852 |     1959  12991 |        0 |        0
1350.42/1350.81	c 1350s |      26 | 14341511 | 10854452 |     1959  13006 |        0 |        0
1352.41/1352.82	c 1352s |      26 | 14361678 | 10869652 |     1959  13020 |        0 |        0
1354.41/1354.83	c 1354s |      26 | 14381629 | 10885352 |     1959  13036 |        0 |        0
1356.41/1356.84	c 1356s |      26 | 14401143 | 10900552 |     1959  13051 |        0 |        0
1358.41/1358.84	c 1358s |      26 | 14421669 | 10915952 |     1959  13066 |        0 |        0
1360.42/1360.85	c 1360s |      26 | 14442503 | 10931052 |     1959  13081 |        0 |        0
1362.41/1362.85	c 1362s |      26 | 14461967 | 10945852 |     1959  13095 |        0 |        0
1364.41/1364.85	c 1364s |      26 | 14479149 | 10959952 |     1959  13109 |        0 |        0
1366.41/1366.85	c 1366s |      26 | 14494337 | 10972052 |     1959  13121 |        0 |        0
1368.41/1368.87	c 1368s |      26 | 14511488 | 10984952 |     1959  13134 |        0 |        0
1370.41/1370.88	c 1370s |      26 | 14530344 | 10999252 |     1959  13149 |        0 |        0
1372.41/1372.88	c 1372s |      26 | 14549460 | 11014052 |     1959  13163 |        0 |        0
1374.41/1374.88	c 1374s |      26 | 14566100 | 11027552 |     1959  13177 |        0 |        0
1376.41/1376.89	c 1376s |      26 | 14584617 | 11041552 |     1959  13191 |        0 |        0
1378.51/1378.90	c 1378s |      26 | 14603604 | 11056152 |     1959  13205 |        0 |        0
1380.51/1380.90	c 1380s |      26 | 14622591 | 11070952 |     1959  13220 |        0 |        0
1382.50/1382.91	c 1382s |      26 | 14638953 | 11083652 |     1959  13233 |        0 |        0
1384.51/1384.91	c 1384s |      26 | 14656987 | 11097552 |     1959  13246 |        0 |        0
1386.50/1386.92	c 1386s |      26 | 14676609 | 11111852 |     1959  13260 |        0 |        0
1388.50/1388.93	c 1388s |      26 | 14693876 | 11124952 |     1959  13273 |        0 |        0
1390.50/1390.94	c 1390s |      26 | 14713899 | 11139952 |     1959  13288 |        0 |        0
1392.51/1392.94	c 1392s |      26 | 14732283 | 11154252 |     1959  13303 |        0 |        0
1394.52/1394.95	c 1394s |      26 | 14750732 | 11168852 |     1959  13317 |        0 |        0
1396.51/1396.97	c 1396s |      26 | 14769975 | 11183852 |     1959  13332 |        0 |        0
1398.51/1398.98	c 1398s |      26 | 14790162 | 11198952 |     1959  13347 |        0 |        0
1400.51/1400.98	c 1400s |      26 | 14811272 | 11214452 |     1959  13362 |        0 |        0
1402.51/1402.99	c 1402s |      26 | 14832002 | 11230452 |     1959  13378 |        0 |        0
1404.51/1404.99	c 1404s |      26 | 14852457 | 11245652 |     1959  13393 |        0 |        0
1406.61/1407.00	c 1406s |      26 | 14871659 | 11260352 |     1959  13407 |        0 |        0
1408.61/1409.02	c 1409s |      26 | 14890571 | 11274552 |     1959  13421 |        0 |        0
1410.60/1411.02	c 1411s |      26 | 14909707 | 11288752 |     1959  13435 |        0 |        0
1412.60/1413.02	c 1413s |      26 | 14927116 | 11302352 |     1959  13448 |        0 |        0
1414.60/1415.02	c 1415s |      26 | 14944234 | 11315952 |     2155  13461 |        0 |        0
1416.60/1417.03	c 1417s |      26 | 14960959 | 11329252 |     2155  13473 |        0 |        0
1418.61/1419.04	c 1419s |      26 | 14979879 | 11343752 |     2155  13486 |        0 |        0
1420.60/1421.04	c 1421s |      26 | 14999798 | 11358652 |     2155  13500 |        0 |        0
1422.60/1423.05	c 1423s |      26 | 15019445 | 11373352 |     2155  13513 |        0 |        0
1424.60/1425.05	c 1425s |      26 | 15036009 | 11386352 |     2155  13525 |        0 |        0
1426.10/1426.56	c 1426s |      27 | 15049158 | 11396733 |     2155  13534 |        0 |        0
1428.10/1428.57	c 1428s |      27 | 15065988 | 11410733 |     2155  13546 |        0 |        0
1430.10/1430.58	c 1430s |      27 | 15084472 | 11424933 |     2155  13559 |        0 |        0
1432.10/1432.58	c 1432s |      27 | 15103971 | 11439933 |     2155  13572 |        0 |        0
1434.11/1434.59	c 1434s |      27 | 15124602 | 11455433 |     2155  13585 |        0 |        0
1436.10/1436.60	c 1436s |      27 | 15144721 | 11470633 |     2155  13599 |        0 |        0
1438.20/1438.61	c 1438s |      27 | 15161005 | 11483933 |     2155  13611 |        0 |        0
1440.20/1440.61	c 1440s |      27 | 15179029 | 11497933 |     2155  13623 |        0 |        0
1442.20/1442.61	c 1442s |      27 | 15196240 | 11511533 |     2155  13635 |        0 |        0
1444.20/1444.62	c 1444s |      27 | 15214966 | 11526233 |     2155  13648 |        0 |        0
1446.20/1446.62	c 1446s |      27 | 15235699 | 11541633 |     2155  13662 |        0 |        0
1448.19/1448.63	c 1448s |      27 | 15255317 | 11556533 |     2155  13675 |        0 |        0
1450.19/1450.64	c 1450s |      27 | 15273581 | 11570133 |     2155  13687 |        0 |        0
1452.19/1452.64	c 1452s |      27 | 15292523 | 11584733 |     2155  13700 |        0 |        0
1454.19/1454.64	c 1454s |      27 | 15310762 | 11599033 |     2155  13713 |        0 |        0
1456.20/1456.65	c 1456s |      27 | 15329585 | 11613733 |     2155  13726 |        0 |        0
1458.21/1458.67	c 1458s |      27 | 15348332 | 11628533 |     2155  13739 |        0 |        0
1460.20/1460.68	c 1460s |      27 | 15367731 | 11643433 |     2155  13752 |        0 |        0
1462.20/1462.69	c 1462s |      27 | 15386540 | 11658033 |     2155  13765 |        0 |        0
1464.20/1464.69	c 1464s |      27 | 15405680 | 11672933 |     2155  13779 |        0 |        0
1466.30/1466.70	c 1466s |      27 | 15425421 | 11687833 |     2155  13792 |        0 |        0
1468.29/1468.71	c 1468s |      27 | 15445020 | 11702533 |     2155  13805 |        0 |        0
1470.30/1470.72	c 1470s |      27 | 15464723 | 11717433 |     2155  13818 |        0 |        0
1472.29/1472.73	c 1472s |      27 | 15482394 | 11731433 |     2155  13831 |        0 |        0
1474.29/1474.73	c 1474s |      27 | 15501599 | 11746433 |     2155  13844 |        0 |        0
1476.29/1476.75	c 1476s |      27 | 15520751 | 11760833 |     2155  13856 |        0 |        0
1478.29/1478.76	c 1478s |      27 | 15538035 | 11774233 |     2155  13868 |        0 |        0
1480.30/1480.77	c 1480s |      27 | 15556337 | 11788233 |     2155  13881 |        0 |        0
1482.29/1482.78	c 1482s |      27 | 15575811 | 11803233 |     2155  13894 |        0 |        0
1484.29/1484.79	c 1484s |      27 | 15595452 | 11818233 |     2155  13908 |        0 |        0
1486.39/1486.81	c 1486s |      27 | 15613389 | 11832333 |     2155  13920 |        0 |        0
1488.39/1488.81	c 1488s |      27 | 15630413 | 11845933 |     2155  13932 |        0 |        0
1490.39/1490.81	c 1490s |      27 | 15647961 | 11859733 |     2155  13944 |        0 |        0
1492.40/1492.82	c 1492s |      27 | 15665221 | 11873033 |     2155  13956 |        0 |        0
1494.39/1494.83	c 1494s |      27 | 15683372 | 11886933 |     2155  13968 |        0 |        0
1496.39/1496.83	c 1496s |      27 | 15701513 | 11901133 |     2155  13981 |        0 |        0
1498.39/1498.85	c 1498s |      27 | 15719747 | 11915633 |     2155  13994 |        0 |        0
1500.39/1500.87	c 1500s |      27 | 15739278 | 11930033 |     2155  14006 |        0 |        0
1502.39/1502.88	c 1502s |      27 | 15758721 | 11945133 |     2155  14020 |        0 |        0
1504.40/1504.88	c 1504s |      27 | 15777626 | 11960133 |     2155  14034 |        0 |        0
1506.39/1506.89	c 1506s |      27 | 15797512 | 11975033 |     2155  14047 |        0 |        0
1508.39/1508.89	c 1508s |      27 | 15816522 | 11989533 |     2155  14060 |        0 |        0
1510.39/1510.89	c 1510s |      27 | 15835690 | 12003633 |     2155  14072 |        0 |        0
1512.49/1512.90	c 1512s |      27 | 15853319 | 12016933 |     2155  14084 |        0 |        0
1514.49/1514.91	c 1514s |      27 | 15872760 | 12031533 |     2155  14097 |        0 |        0
1516.49/1516.92	c 1516s |      27 | 15892523 | 12046433 |     2155  14110 |        0 |        0
1518.49/1518.92	c 1518s |      27 | 15912791 | 12061633 |     2155  14123 |        0 |        0
1520.49/1520.93	c 1520s |      27 | 15931873 | 12076533 |     2155  14137 |        0 |        0
1522.49/1522.94	c 1522s |      27 | 15952168 | 12091633 |     2155  14150 |        0 |        0
1524.49/1524.94	c 1524s |      27 | 15969776 | 12105333 |     2155  14162 |        0 |        0
1526.49/1526.94	c 1526s |      27 | 15989257 | 12119733 |     2155  14175 |        0 |        0
1528.48/1528.95	c 1528s |      27 | 16009416 | 12134833 |     2155  14188 |        0 |        0
1530.48/1530.96	c 1530s |      27 | 16027625 | 12148833 |     2155  14201 |        0 |        0
1532.48/1532.97	c 1532s |      27 | 16044968 | 12162333 |     2155  14213 |        0 |        0
1534.48/1534.97	c 1534s |      27 | 16063061 | 12176333 |     2155  14225 |        0 |        0
1536.48/1536.98	c 1536s |      27 | 16080889 | 12189733 |     2155  14237 |        0 |        0
1538.49/1538.99	c 1538s |      27 | 16099981 | 12204033 |     2155  14250 |        0 |        0
1540.58/1541.00	c 1540s |      27 | 16118018 | 12217333 |     2155  14262 |        0 |        0
1542.58/1543.01	c 1542s |      27 | 16136314 | 12230933 |     2155  14274 |        0 |        0
1544.58/1545.03	c 1545s |      27 | 16153763 | 12244333 |     2155  14286 |        0 |        0
1546.58/1547.04	c 1547s |      27 | 16169614 | 12257233 |     2155  14297 |        0 |        0
1548.58/1549.05	c 1549s |      27 | 16186033 | 12270233 |     2155  14309 |        0 |        0
1550.59/1551.05	c 1551s |      27 | 16202223 | 12282933 |     2155  14320 |        0 |        0
1552.59/1553.06	c 1553s |      27 | 16220168 | 12296633 |     2155  14333 |        0 |        0
1554.59/1555.06	c 1555s |      27 | 16239600 | 12311533 |     2155  14346 |        0 |        0
1556.59/1557.08	c 1557s |      27 | 16258552 | 12326333 |     2155  14359 |        0 |        0
1558.59/1559.09	c 1559s |      27 | 16278247 | 12341433 |     2155  14373 |        0 |        0
1560.59/1561.10	c 1561s |      27 | 16296921 | 12355633 |     2155  14386 |        0 |        0
1562.69/1563.11	c 1563s |      27 | 16314112 | 12369233 |     2155  14398 |        0 |        0
1564.68/1565.12	c 1565s |      27 | 16333113 | 12383533 |     2155  14411 |        0 |        0
1566.68/1567.13	c 1567s |      27 | 16352951 | 12398533 |     2155  14425 |        0 |        0
1568.68/1569.13	c 1569s |      27 | 16371464 | 12413333 |     2155  14438 |        0 |        0
1570.68/1571.14	c 1571s |      27 | 16391048 | 12428233 |     2155  14451 |        0 |        0
1572.69/1573.15	c 1573s |      27 | 16409747 | 12442733 |     2155  14464 |        0 |        0
1574.68/1575.16	c 1575s |      27 | 16428393 | 12457133 |     2155  14477 |        0 |        0
1576.68/1577.17	c 1577s |      27 | 16445979 | 12470033 |     2155  14489 |        0 |        0
1578.68/1579.18	c 1579s |      27 | 16464068 | 12483733 |     2155  14501 |        0 |        0
1580.68/1581.19	c 1581s |      27 | 16483616 | 12498033 |     2155  14514 |        0 |        0
1582.68/1583.20	c 1583s |      27 | 16502454 | 12512633 |     2155  14528 |        0 |        0
1584.79/1585.21	c 1585s |      27 | 16521162 | 12526833 |     2155  14540 |        0 |        0
1586.78/1587.22	c 1587s |      27 | 16540398 | 12541233 |     2155  14553 |        0 |        0
1588.78/1589.22	c 1589s |      27 | 16559226 | 12555633 |     2155  14566 |        0 |        0
1590.78/1591.23	c 1591s |      27 | 16577308 | 12569633 |     2155  14578 |        0 |        0
1592.78/1593.24	c 1593s |      27 | 16596418 | 12584233 |     2155  14592 |        0 |        0
1594.78/1595.26	c 1595s |      27 | 16615038 | 12598733 |     2155  14604 |        0 |        0
1596.78/1597.26	c 1597s |      27 | 16634026 | 12613433 |     2155  14617 |        0 |        0
1598.78/1599.26	c 1599s |      27 | 16652358 | 12628033 |     2155  14630 |        0 |        0
1600.78/1601.27	c 1601s |      27 | 16670802 | 12642633 |     2155  14643 |        0 |        0
1602.78/1603.27	c 1603s |      27 | 16690105 | 12657233 |     2155  14656 |        0 |        0
1604.78/1605.28	c 1605s |      27 | 16709334 | 12671933 |     2155  14669 |        0 |        0
1606.78/1607.29	c 1607s |      27 | 16728161 | 12686033 |     2155  14682 |        0 |        0
1608.77/1609.29	c 1609s |      27 | 16747593 | 12700833 |     2155  14695 |        0 |        0
1610.77/1611.29	c 1611s |      27 | 16768410 | 12716833 |     2155  14709 |        0 |        0
1612.87/1613.30	c 1613s |      27 | 16788822 | 12732633 |     2155  14723 |        0 |        0
1614.87/1615.30	c 1615s |      27 | 16808541 | 12748133 |     2155  14737 |        0 |        0
1616.87/1617.31	c 1617s |      27 | 16828251 | 12763833 |     2155  14751 |        0 |        0
1618.88/1619.32	c 1619s |      27 | 16847309 | 12778933 |     2155  14765 |        0 |        0
1620.87/1621.32	c 1621s |      27 | 16866906 | 12793733 |     2155  14778 |        0 |        0
1622.87/1623.34	c 1623s |      27 | 16886041 | 12808733 |     2155  14791 |        0 |        0
1624.87/1625.34	c 1625s |      27 | 16905510 | 12823633 |     2155  14805 |        0 |        0
1626.87/1627.35	c 1627s |      27 | 16924773 | 12838433 |     2155  14818 |        0 |        0
1628.87/1629.35	c 1629s |      27 | 16943666 | 12853133 |     2155  14832 |        0 |        0
1630.88/1631.35	c 1631s |      27 | 16962091 | 12867633 |     2155  14845 |        0 |        0
1632.87/1633.36	c 1633s |      27 | 16978714 | 12881033 |     2155  14857 |        0 |        0
1634.87/1635.37	c 1635s |      27 | 16996336 | 12894833 |     2155  14869 |        0 |        0
1636.87/1637.38	c 1637s |      27 | 17015000 | 12909333 |     2155  14883 |        0 |        0
1638.97/1639.40	c 1639s |      27 | 17033843 | 12923733 |     2155  14896 |        0 |        0
1640.97/1641.40	c 1641s |      27 | 17050726 | 12937033 |     2155  14907 |        0 |        0
1642.87/1643.40	c 1643s |      27 | 17069009 | 12951333 |     2155  14920 |        0 |        0
1644.97/1645.41	c 1645s |      27 | 17087580 | 12965333 |     2155  14933 |        0 |        0
1646.97/1647.42	c 1647s |      27 | 17101104 | 12976433 |     2155  14943 |        0 |        0
1648.97/1649.42	c 1649s |      27 | 17116985 | 12989033 |     2155  14954 |        0 |        0
1650.97/1651.44	c 1651s |      27 | 17133311 | 13001733 |     2155  14966 |        0 |        0
1652.97/1653.44	c 1653s |      27 | 17149859 | 13014733 |     2155  14977 |        0 |        0
1654.96/1655.45	c 1655s |      27 | 17168146 | 13028333 |     2155  14990 |        0 |        0
1656.96/1657.45	c 1657s |      27 | 17187068 | 13042833 |     2155  15003 |        0 |        0
1658.97/1659.46	c 1659s |      27 | 17206140 | 13056833 |     2155  15015 |        0 |        0
1660.97/1661.47	c 1661s |      27 | 17223662 | 13070233 |     2155  15028 |        0 |        0
1662.97/1663.48	c 1663s |      27 | 17241517 | 13083933 |     2155  15040 |        0 |        0
1664.98/1665.48	c 1665s |      27 | 17258370 | 13097033 |     2155  15052 |        0 |        0
1666.97/1667.49	c 1667s |      27 | 17274144 | 13109333 |     2155  15063 |        0 |        0
1669.07/1669.51	c 1669s |      27 | 17290776 | 13121833 |     2155  15075 |        0 |        0
1671.07/1671.52	c 1671s |      27 | 17305735 | 13133633 |     2155  15085 |        0 |        0
1673.07/1673.53	c 1673s |      27 | 17321092 | 13145533 |     2155  15096 |        0 |        0
1675.07/1675.54	c 1675s |      27 | 17337678 | 13157833 |     2155  15107 |        0 |        0
1677.07/1677.54	c 1677s |      27 | 17355512 | 13171233 |     2155  15120 |        0 |        0
1679.06/1679.56	c 1679s |      27 | 17371657 | 13183833 |     2155  15131 |        0 |        0
1681.06/1681.56	c 1681s |      27 | 17387968 | 13196433 |     2155  15142 |        0 |        0
1683.06/1683.57	c 1683s |      27 | 17405246 | 13209733 |     2155  15155 |        0 |        0
1685.06/1685.58	c 1685s |      27 | 17421719 | 13222933 |     2155  15167 |        0 |        0
1687.07/1687.59	c 1687s |      27 | 17438607 | 13236133 |     2155  15179 |        0 |        0
1689.06/1689.59	c 1689s |      27 | 17455534 | 13249133 |     2155  15190 |        0 |        0
1691.16/1691.60	c 1691s |      27 | 17473644 | 13263133 |     2155  15203 |        0 |        0
1693.16/1693.60	c 1693s |      27 | 17492694 | 13277033 |     2155  15216 |        0 |        0
1695.16/1695.61	c 1695s |      27 | 17511140 | 13290733 |     2155  15228 |        0 |        0
1697.16/1697.62	c 1697s |      27 | 17527997 | 13303833 |     2155  15240 |        0 |        0
1699.17/1699.63	c 1699s |      27 | 17547821 | 13318833 |     2155  15254 |        0 |        0
1701.16/1701.63	c 1701s |      27 | 17567348 | 13333833 |     2155  15267 |        0 |        0
1703.16/1703.64	c 1703s |      27 | 17586698 | 13348833 |     2155  15280 |        0 |        0
1705.16/1705.64	c 1705s |      27 | 17606557 | 13363933 |     2155  15293 |        0 |        0
1707.16/1707.64	c 1707s |      27 | 17626086 | 13378933 |     2155  15306 |        0 |        0
1709.16/1709.65	c 1709s |      27 | 17646335 | 13394433 |     2155  15320 |        0 |        0
1711.16/1711.66	c 1711s |      27 | 17664837 | 13408733 |     2155  15333 |        0 |        0
1713.16/1713.66	c 1713s |      27 | 17682832 | 13422633 |     2155  15345 |        0 |        0
1715.15/1715.67	c 1715s |      27 | 17701941 | 13437033 |     2155  15358 |        0 |        0
1717.15/1717.67	c 1717s |      27 | 17719673 | 13449933 |     2155  15370 |        0 |        0
1719.15/1719.69	c 1719s |      27 | 17738918 | 13464433 |     2155  15383 |        0 |        0
1721.25/1721.70	c 1721s |      27 | 17756831 | 13477733 |     2155  15394 |        0 |        0
1723.26/1723.72	c 1723s |      27 | 17772116 | 13489733 |     2155  15405 |        0 |        0
1725.25/1725.73	c 1725s |      27 | 17787525 | 13501733 |     2155  15416 |        0 |        0
1727.26/1727.74	c 1727s |      27 | 17803474 | 13514533 |     2155  15428 |        0 |        0
1729.26/1729.75	c 1729s |      27 | 17820280 | 13527333 |     2155  15439 |        0 |        0
1731.25/1731.76	c 1731s |      27 | 17837352 | 13540333 |     2155  15451 |        0 |        0
1733.26/1733.78	c 1733s |      27 | 17854138 | 13553033 |     2155  15463 |        0 |        0
1735.25/1735.79	c 1735s |      27 | 17870417 | 13565333 |     2155  15474 |        0 |        0
1737.35/1737.80	c 1737s |      27 | 17886591 | 13577733 |     2155  15485 |        0 |        0
1739.35/1739.81	c 1739s |      27 | 17902682 | 13590033 |     2155  15496 |        0 |        0
1741.35/1741.82	c 1741s |      27 | 17919290 | 13602833 |     2155  15508 |        0 |        0
1743.35/1743.82	c 1743s |      27 | 17937797 | 13616133 |     2155  15520 |        0 |        0
1745.36/1745.83	c 1745s |      27 | 17954697 | 13629033 |     2155  15531 |        0 |        0
1747.35/1747.84	c 1747s |      27 | 17970869 | 13641733 |     2155  15543 |        0 |        0
1749.35/1749.85	c 1749s |      27 | 17988567 | 13655333 |     2155  15555 |        0 |        0
1751.36/1751.87	c 1751s |      27 | 18007614 | 13669833 |     2155  15568 |        0 |        0
1753.36/1753.88	c 1753s |      27 | 18026659 | 13684233 |     2155  15581 |        0 |        0
1755.36/1755.88	c 1755s |      27 | 18045202 | 13698633 |     2155  15594 |        0 |        0
1757.36/1757.89	c 1757s |      27 | 18063291 | 13712433 |     2155  15607 |        0 |        0
1759.45/1759.90	c 1759s |      27 | 18080901 | 13725933 |     2155  15619 |        0 |        0
1761.45/1761.91	c 1761s |      27 | 18098522 | 13739833 |     2155  15632 |        0 |        0
1763.45/1763.92	c 1763s |      27 | 18116096 | 13753733 |     2155  15644 |        0 |        0
1765.45/1765.92	c 1765s |      27 | 18134655 | 13768033 |     2155  15657 |        0 |        0
1767.45/1767.93	c 1767s |      27 | 18153423 | 13782033 |     2155  15670 |        0 |        0
1769.46/1769.93	c 1769s |      27 | 18169940 | 13794933 |     2155  15681 |        0 |        0
1771.45/1771.95	c 1771s |      27 | 18187682 | 13808433 |     2155  15694 |        0 |        0
1773.45/1773.96	c 1773s |      27 | 18207290 | 13823233 |     2155  15707 |        0 |        0
1775.45/1775.97	c 1775s |      27 | 18224348 | 13836533 |     2155  15719 |        0 |        0
1777.45/1777.97	c 1777s |      27 | 18241844 | 13849733 |     2155  15731 |        0 |        0
1779.46/1779.98	c 1779s |      27 | 18261139 | 13863833 |     2155  15744 |        0 |        0
1781.45/1781.99	c 1781s |      27 | 18280445 | 13878433 |     2155  15757 |        0 |        0
1783.55/1784.00	c 1783s |      27 | 18300877 | 13893333 |     2155  15771 |        0 |        0
1785.55/1786.00	c 1785s |      27 | 18319791 | 13907133 |     2155  15783 |        0 |        0
1787.55/1788.02	c 1788s |      27 | 18340448 | 13921533 |     2155  15796 |        0 |        0
1789.55/1790.02	c 1790s |      27 | 18360792 | 13935733 |     2155  15809 |        0 |        0
1791.55/1792.02	c 1792s |      27 | 18379210 | 13949233 |     2155  15821 |        0 |        0
1793.55/1794.03	c 1794s |      27 | 18398544 | 13963633 |     2155  15834 |        0 |        0
1795.54/1796.03	c 1796s |      27 | 18417935 | 13977833 |     2155  15847 |        0 |        0
1797.54/1798.04	c 1798s |      27 | 18438461 | 13991833 |     2155  15860 |        0 |        0
1799.54/1800.04	c 1800s |      27 | 18455646 | 14004733 |     2155  15872 |        0 |        0

ERROR: no interpretation found !

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-4095987-1466100051/watcher-4095987-1466100051 -o /tmp/evaluation-result-4095987-1466100051/solver-4095987-1466100051 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466098250-27994 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4095987-1466100051.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.22 2.21 2.18 2/171 28154
/proc/meminfo: memFree=30469176/32872528 swapFree=1430864/1543284
[pid=28154] ppid=28151 vsize=797116 CPUtime=0 cores=0,2,4,6
/proc/28154/stat : 28154 (toysat) R 28151 28154 27978 0 -1 4202496 2990 0 0 0 0 0 0 0 20 0 4 0 12053838 816246784 2840 33554432000 4194304 16246674 140736370833488 140736370832912 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28154/statm: 199791 2848 441 2943 0 196685 0
[pid=28154/tid=28155] ppid=28151 vsize=814524 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28155/stat : 28155 (toysat) S 28151 28154 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12053838 834072576 2906 33554432000 4194304 16246674 140736370833488 140640433188080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28154/tid=28156] ppid=28151 vsize=818620 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28156/stat : 28156 (toysat) S 28151 28154 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12053838 838266880 2924 33554432000 4194304 16246674 140736370833488 140640422698224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28154/tid=28157] ppid=28151 vsize=822716 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28157/stat : 28157 (toysat) S 28151 28154 27978 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12053838 842461184 2939 33554432000 4194304 16246674 140736370833488 140640412224688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.22 2.21 2.18 2/171 28154
/proc/meminfo: memFree=30469176/32872528 swapFree=1430864/1543284
[pid=28154] ppid=28151 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/28154/stat : 28154 (toysat) R 28151 28154 27978 0 -1 4202496 24858 0 0 0 6 3 0 0 20 0 4 0 12053838 1247350784 24696 33554432000 4194304 16246674 140736370833488 140736370832912 13198569 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28154/statm: 304529 24704 711 2943 0 301423 0
[pid=28154/tid=28155] ppid=28151 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28155/stat : 28155 (toysat) S 28151 28154 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12053838 1247350784 24710 33554432000 4194304 16246674 140736370833488 140640433188080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28154/tid=28156] ppid=28151 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28156/stat : 28156 (toysat) S 28151 28154 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12053838 1247350784 24716 33554432000 4194304 16246674 140736370833488 140640422698224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28154/tid=28157] ppid=28151 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28157/stat : 28157 (toysat) S 28151 28154 27978 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12053838 1247350784 24724 33554432000 4194304 16246674 140736370833488 140640412224688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200492 s]
/proc/loadavg: 2.22 2.21 2.18 2/171 28154
/proc/meminfo: memFree=30469176/32872528 swapFree=1430864/1543284
[pid=28154] ppid=28151 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/28154/stat : 28154 (toysat) R 28151 28154 27978 0 -1 4202496 46853 0 0 0 13 6 0 0 20 0 4 0 12053838 1247350784 46692 33554432000 4194304 16246674 140736370833488 140736370832912 5668190 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28154/statm: 304529 46700 711 2943 0 301423 0
[pid=28154/tid=28155] ppid=28151 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28155/stat : 28155 (toysat) S 28151 28154 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12053838 1247350784 46704 33554432000 4194304 16246674 140736370833488 140640433188080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28154/tid=28156] ppid=28151 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28156/stat : 28156 (toysat) S 28151 28154 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12053838 1247350784 46712 33554432000 4194304 16246674 140736370833488 140640422698224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28154/tid=28157] ppid=28151 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28157/stat : 28157 (toysat) S 28151 28154 27978 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12053838 1247350784 46720 33554432000 4194304 16246674 140736370833488 140640412224688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.30043 s]
/proc/loadavg: 2.22 2.21 2.18 2/171 28154
/proc/meminfo: memFree=30469176/32872528 swapFree=1430864/1543284
[pid=28154] ppid=28151 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/28154/stat : 28154 (toysat) R 28151 28154 27978 0 -1 4202496 69078 0 0 0 21 8 0 0 20 0 4 0 12053838 1247350784 68917 33554432000 4194304 16246674 140736370833488 140736370832912 5708022 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28154/statm: 304529 68927 711 2943 0 301423 0
[pid=28154/tid=28155] ppid=28151 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28155/stat : 28155 (toysat) S 28151 28154 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12053838 1247350784 68937 33554432000 4194304 16246674 140736370833488 140640433188080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28154/tid=28156] ppid=28151 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28156/stat : 28156 (toysat) S 28151 28154 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12053838 1247350784 68942 33554432000 4194304 16246674 140736370833488 140640422698224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28154/tid=28157] ppid=28151 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28157/stat : 28157 (toysat) S 28151 28154 27978 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12053838 1247350784 68947 33554432000 4194304 16246674 140736370833488 140640412224688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700355 s]
/proc/loadavg: 2.22 2.21 2.18 2/171 28154
/proc/meminfo: memFree=30469176/32872528 swapFree=1430864/1543284
[pid=28154] ppid=28151 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/28154/stat : 28154 (toysat) R 28151 28154 27978 0 -1 4202496 159005 0 0 0 49 20 0 0 20 0 4 0 12053838 1247350784 158843 33554432000 4194304 16246674 140736370833488 140736370816488 5589077 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28154/statm: 304529 158858 712 2943 0 301423 0
[pid=28154/tid=28155] ppid=28151 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28155/stat : 28155 (toysat) S 28151 28154 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12053838 1247350784 158866 33554432000 4194304 16246674 140736370833488 140640433188080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28154/tid=28156] ppid=28151 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28156/stat : 28156 (toysat) S 28151 28154 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12053838 1247350784 158875 33554432000 4194304 16246674 140736370833488 140640422698224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28154/tid=28157] ppid=28151 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28157/stat : 28157 (toysat) S 28151 28154 27978 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12053838 1247350784 158884 33554432000 4194304 16246674 140736370833488 140640412224688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.52 2.27 2.20 3/184 28174
/proc/meminfo: memFree=28516980/32872528 swapFree=1430864/1543284
[pid=28154] ppid=28151 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/28154/stat : 28154 (toysat) R 28151 28154 27978 0 -1 4202496 245639 0 0 0 117 32 0 0 20 0 4 0 12053838 1248399360 245457 33554432000 4194304 16246674 140736370833488 140736370815360 5721269 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28154/statm: 304785 245457 787 2943 0 301679 0
[pid=28154/tid=28155] ppid=28151 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28155/stat : 28155 (toysat) S 28151 28154 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12053838 1248399360 245457 33554432000 4194304 16246674 140736370833488 140640433188080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28154/tid=28156] ppid=28151 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28156/stat : 28156 (toysat) S 28151 28154 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12053838 1248399360 245457 33554432000 4194304 16246674 140736370833488 140640422698224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28154/tid=28157] ppid=28151 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28157/stat : 28157 (toysat) S 28151 28154 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12053838 1248399360 245457 33554432000 4194304 16246674 140736370833488 140640412224688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.1004 s]
/proc/loadavg: 2.52 2.27 2.20 3/184 28174
/proc/meminfo: memFree=28315704/32872528 swapFree=1430864/1543284
[pid=28154] ppid=28151 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/28154/stat : 28154 (toysat) R 28151 28154 27978 0 -1 4202496 267406 0 0 0 275 34 0 0 20 0 4 0 12053838 1337528320 267224 33554432000 4194304 16246674 140736370833488 140736370816488 13950986 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28154/statm: 326545 267224 787 2943 0 323439 0
[pid=28154/tid=28155] ppid=28151 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28155/stat : 28155 (toysat) S 28151 28154 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12053838 1337528320 267224 33554432000 4194304 16246674 140736370833488 140640433188080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28154/tid=28156] ppid=28151 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28156/stat : 28156 (toysat) S 28151 28154 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12053838 1337528320 267224 33554432000 4194304 16246674 140736370833488 140640422698224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28154/tid=28157] ppid=28151 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28157/stat : 28157 (toysat) S 28151 28154 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12053838 1337528320 267224 33554432000 4194304 16246674 140736370833488 140640412224688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30036 s]
/proc/loadavg: 2.52 2.27 2.20 3/184 28174
/proc/meminfo: memFree=28313752/32872528 swapFree=1430864/1543284
[pid=28154] ppid=28151 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/28154/stat : 28154 (toysat) R 28151 28154 27978 0 -1 4202496 267574 0 0 0 595 34 0 0 20 0 4 0 12053838 1337528320 267392 33554432000 4194304 16246674 140736370833488 140736370816488 12469073 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28154/statm: 326545 267392 789 2943 0 323439 0
[pid=28154/tid=28155] ppid=28151 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28155/stat : 28155 (toysat) S 28151 28154 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12053838 1337528320 267392 33554432000 4194304 16246674 140736370833488 140640433188080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28154/tid=28156] ppid=28151 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28156/stat : 28156 (toysat) S 28151 28154 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12053838 1337528320 267392 33554432000 4194304 16246674 140736370833488 140640422698224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28154/tid=28157] ppid=28151 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28157/stat : 28157 (toysat) S 28151 28154 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12053838 1337528320 267392 33554432000 4194304 16246674 140736370833488 140640412224688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.52 2.28 2.20 3/184 28197
/proc/meminfo: memFree=28312564/32872528 swapFree=1430864/1543284
[pid=28154] ppid=28151 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/28154/stat : 28154 (toysat) R 28151 28154 27978 0 -1 4202496 267574 0 0 0 1234 35 0 0 20 0 4 0 12053838 1337528320 267392 33554432000 4194304 16246674 140736370833488 140736370816488 5674088 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28154/statm: 326545 267392 789 2943 0 323439 0
[pid=28154/tid=28155] ppid=28151 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28155/stat : 28155 (toysat) S 28151 28154 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12053838 1337528320 267392 33554432000 4194304 16246674 140736370833488 140640433188080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28154/tid=28156] ppid=28151 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28156/stat : 28156 (toysat) S 28151 28154 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12053838 1337528320 267392 33554432000 4194304 16246674 140736370833488 140640422698224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28154/tid=28157] ppid=28151 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28157/stat : 28157 (toysat) S 28151 28154 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12053838 1337528320 267392 33554432000 4194304 16246674 140736370833488 140640412224688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.44 2.27 2.20 3/183 28197
/proc/meminfo: memFree=28311516/32872528 swapFree=1430864/1543284
[pid=28154] ppid=28151 vsize=1307204 CPUtime=25.48 cores=0,2,4,6
/proc/28154/stat : 28154 (toysat) R 28151 28154 27978 0 -1 4202496 267829 0 0 0 2513 35 0 0 20 0 4 0 12053838 1338576896 267900 33554432000 4194304 16246674 140736370833488 140736370816488 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28154/statm: 326801 267900 789 2943 0 323695 0
[pid=28154/tid=28155] ppid=28151 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28155/stat : 28155 (toysat) S 28151 28154 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12053838 1338576896 267900 33554432000 4194304 16246674 140736370833488 140640433188080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28154/tid=28156] ppid=28151 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28156/stat : 28156 (toysat) S 28151 28154 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12053838 1338576896 267900 33554432000 4194304 16246674 140736370833488 140640422698224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28154/tid=28157] ppid=28151 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28157/stat : 28157 (toysat) S 28151 28154 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12053838 1338576896 267900 33554432000 4194304 16246674 140736370833488 140640412224688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.29 2.25 2.19 3/184 28198
/proc/meminfo: memFree=28309732/32872528 swapFree=1430864/1543284
[pid=28154] ppid=28151 vsize=1308228 CPUtime=51.08 cores=0,2,4,6
/proc/28154/stat : 28154 (toysat) R 28151 28154 27978 0 -1 4202496 268093 0 0 0 5072 36 0 0 20 0 4 0 12053838 1339625472 268157 33554432000 4194304 16246674 140736370833488 140736370815360 5672963 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28154/statm: 327057 268157 789 2943 0 323951 0
[pid=28154/tid=28155] ppid=28151 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28155/stat : 28155 (toysat) S 28151 28154 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12053838 1339625472 268157 33554432000 4194304 16246674 140736370833488 140640433188080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28154/tid=28156] ppid=28151 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28156/stat : 28156 (toysat) S 28151 28154 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12053838 1339625472 268157 33554432000 4194304 16246674 140736370833488 140640422698224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28154/tid=28157] ppid=28151 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28157/stat : 28157 (toysat) S 28151 28154 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12053838 1339625472 268157 33554432000 4194304 16246674 140736370833488 140640412224688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1308228

[startup+102.3 s]
/proc/loadavg: 2.35 2.26 2.20 4/183 28199
/proc/meminfo: memFree=28308796/32872528 swapFree=1430864/1543284
[pid=28154] ppid=28151 vsize=1308228 CPUtime=102.27 cores=0,2,4,6
/proc/28154/stat : 28154 (toysat) R 28151 28154 27978 0 -1 4202496 268103 0 0 0 10190 37 0 0 20 0 4 0 12053838 1339625472 268160 33554432000 4194304 16246674 140736370833488 140736370815360 5823627 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28154/statm: 327057 268160 789 2943 0 323951 0
[pid=28154/tid=28155] ppid=28151 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28155/stat : 28155 (toysat) S 28151 28154 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12053838 1339625472 268160 33554432000 4194304 16246674 140736370833488 140640433188080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28154/tid=28156] ppid=28151 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28156/stat : 28156 (toysat) S 28151 28154 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12053838 1339625472 268160 33554432000 4194304 16246674 140736370833488 140640422698224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28154/tid=28157] ppid=28151 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28157/stat : 28157 (toysat) S 28151 28154 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12053838 1339625472 268160 33554432000 4194304 16246674 140736370833488 140640412224688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1308228


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

/proc/28154/task/28157/stat : 28157 (toysat) S 28151 28154 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12053838 1342771200 268930 33554432000 4194304 16246674 140736370833488 140640412224688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1311300

[startup+1362.3 s]
/proc/loadavg: 2.21 2.20 2.18 4/183 28230
/proc/meminfo: memFree=28299784/32872528 swapFree=1430864/1543284
[pid=28154] ppid=28151 vsize=1311300 CPUtime=1361.91 cores=0,2,4,6
/proc/28154/stat : 28154 (toysat) R 28151 28154 27978 0 -1 4202496 269188 0 0 0 136131 60 0 0 20 0 4 0 12053838 1342771200 268930 33554432000 4194304 16246674 140736370833488 140736370815360 5754700 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28154/statm: 327825 268930 791 2943 0 324719 0
[pid=28154/tid=28155] ppid=28151 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28155/stat : 28155 (toysat) S 28151 28154 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12053838 1342771200 268930 33554432000 4194304 16246674 140736370833488 140640433188080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28154/tid=28156] ppid=28151 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28156/stat : 28156 (toysat) S 28151 28154 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12053838 1342771200 268930 33554432000 4194304 16246674 140736370833488 140640422698224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28154/tid=28157] ppid=28151 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28157/stat : 28157 (toysat) S 28151 28154 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12053838 1342771200 268930 33554432000 4194304 16246674 140736370833488 140640412224688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1311300

[startup+1422.3 s]
/proc/loadavg: 2.35 2.24 2.19 3/183 28231
/proc/meminfo: memFree=28300384/32872528 swapFree=1430864/1543284
[pid=28154] ppid=28151 vsize=1311300 CPUtime=1421.91 cores=0,2,4,6
/proc/28154/stat : 28154 (toysat) R 28151 28154 27978 0 -1 4202496 269188 0 0 0 142130 61 0 0 20 0 4 0 12053838 1342771200 268930 33554432000 4194304 16246674 140736370833488 140736370815360 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28154/statm: 327825 268930 791 2943 0 324719 0
[pid=28154/tid=28155] ppid=28151 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28155/stat : 28155 (toysat) S 28151 28154 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12053838 1342771200 268930 33554432000 4194304 16246674 140736370833488 140640433188080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28154/tid=28156] ppid=28151 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28156/stat : 28156 (toysat) S 28151 28154 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12053838 1342771200 268930 33554432000 4194304 16246674 140736370833488 140640422698224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28154/tid=28157] ppid=28151 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28157/stat : 28157 (toysat) S 28151 28154 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12053838 1342771200 268930 33554432000 4194304 16246674 140736370833488 140640412224688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1311300

[startup+1482.3 s]
/proc/loadavg: 2.29 2.24 2.19 3/183 28232
/proc/meminfo: memFree=28299232/32872528 swapFree=1430864/1543284
[pid=28154] ppid=28151 vsize=1313348 CPUtime=1481.89 cores=0,2,4,6
/proc/28154/stat : 28154 (toysat) R 28151 28154 27978 0 -1 4202496 269488 0 0 0 148127 62 0 0 20 0 4 0 12053838 1344868352 269230 33554432000 4194304 16246674 140736370833488 140736370815360 5673980 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28154/statm: 328337 269230 791 2943 0 325231 0
[pid=28154/tid=28155] ppid=28151 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28155/stat : 28155 (toysat) S 28151 28154 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12053838 1344868352 269230 33554432000 4194304 16246674 140736370833488 140640433188080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28154/tid=28156] ppid=28151 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28156/stat : 28156 (toysat) S 28151 28154 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12053838 1344868352 269230 33554432000 4194304 16246674 140736370833488 140640422698224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28154/tid=28157] ppid=28151 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28157/stat : 28157 (toysat) S 28151 28154 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12053838 1344868352 269230 33554432000 4194304 16246674 140736370833488 140640412224688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1313348

[startup+1542.31 s]
/proc/loadavg: 2.20 2.22 2.18 4/183 28233
/proc/meminfo: memFree=28297992/32872528 swapFree=1430864/1543284
[pid=28154] ppid=28151 vsize=1313348 CPUtime=1541.89 cores=0,2,4,6
/proc/28154/stat : 28154 (toysat) R 28151 28154 27978 0 -1 4202496 269700 0 0 0 154126 63 0 0 20 0 4 0 12053838 1344868352 269442 33554432000 4194304 16246674 140736370833488 140736370816488 13950184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28154/statm: 328337 269442 791 2943 0 325231 0
[pid=28154/tid=28155] ppid=28151 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28155/stat : 28155 (toysat) S 28151 28154 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12053838 1344868352 269442 33554432000 4194304 16246674 140736370833488 140640433188080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28154/tid=28156] ppid=28151 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28156/stat : 28156 (toysat) S 28151 28154 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12053838 1344868352 269442 33554432000 4194304 16246674 140736370833488 140640422698224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28154/tid=28157] ppid=28151 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28157/stat : 28157 (toysat) S 28151 28154 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12053838 1344868352 269442 33554432000 4194304 16246674 140736370833488 140640412224688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1313348

[startup+1602.3 s]
/proc/loadavg: 2.21 2.22 2.18 3/183 28235
/proc/meminfo: memFree=28297624/32872528 swapFree=1430864/1543284
[pid=28154] ppid=28151 vsize=1313348 CPUtime=1601.88 cores=0,2,4,6
/proc/28154/stat : 28154 (toysat) R 28151 28154 27978 0 -1 4202496 269700 0 0 0 160124 64 0 0 20 0 4 0 12053838 1344868352 269442 33554432000 4194304 16246674 140736370833488 140736370815360 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28154/statm: 328337 269442 791 2943 0 325231 0
[pid=28154/tid=28155] ppid=28151 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28155/stat : 28155 (toysat) S 28151 28154 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12053838 1344868352 269442 33554432000 4194304 16246674 140736370833488 140640433188080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28154/tid=28156] ppid=28151 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28156/stat : 28156 (toysat) S 28151 28154 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12053838 1344868352 269442 33554432000 4194304 16246674 140736370833488 140640422698224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28154/tid=28157] ppid=28151 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28157/stat : 28157 (toysat) S 28151 28154 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12053838 1344868352 269442 33554432000 4194304 16246674 140736370833488 140640412224688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1313348

[startup+1662.3 s]
/proc/loadavg: 2.18 2.21 2.18 3/183 28236
/proc/meminfo: memFree=28297376/32872528 swapFree=1430864/1543284
[pid=28154] ppid=28151 vsize=1313348 CPUtime=1661.87 cores=0,2,4,6
/proc/28154/stat : 28154 (toysat) R 28151 28154 27978 0 -1 4202496 269700 0 0 0 166122 65 0 0 20 0 4 0 12053838 1344868352 269442 33554432000 4194304 16246674 140736370833488 140736370815360 5823835 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28154/statm: 328337 269442 791 2943 0 325231 0
[pid=28154/tid=28155] ppid=28151 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28155/stat : 28155 (toysat) S 28151 28154 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12053838 1344868352 269442 33554432000 4194304 16246674 140736370833488 140640433188080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28154/tid=28156] ppid=28151 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28156/stat : 28156 (toysat) S 28151 28154 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12053838 1344868352 269442 33554432000 4194304 16246674 140736370833488 140640422698224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28154/tid=28157] ppid=28151 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28157/stat : 28157 (toysat) S 28151 28154 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12053838 1344868352 269442 33554432000 4194304 16246674 140736370833488 140640412224688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1313348

[startup+1722.3 s]
/proc/loadavg: 2.22 2.22 2.18 3/183 28237
/proc/meminfo: memFree=28297568/32872528 swapFree=1430864/1543284
[pid=28154] ppid=28151 vsize=1313348 CPUtime=1721.85 cores=0,2,4,6
/proc/28154/stat : 28154 (toysat) R 28151 28154 27978 0 -1 4202496 269700 0 0 0 172120 65 0 0 20 0 4 0 12053838 1344868352 269442 33554432000 4194304 16246674 140736370833488 140736370816488 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28154/statm: 328337 269442 791 2943 0 325231 0
[pid=28154/tid=28155] ppid=28151 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28155/stat : 28155 (toysat) S 28151 28154 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12053838 1344868352 269442 33554432000 4194304 16246674 140736370833488 140640433188080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28154/tid=28156] ppid=28151 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28156/stat : 28156 (toysat) S 28151 28154 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12053838 1344868352 269442 33554432000 4194304 16246674 140736370833488 140640422698224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28154/tid=28157] ppid=28151 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28157/stat : 28157 (toysat) S 28151 28154 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12053838 1344868352 269442 33554432000 4194304 16246674 140736370833488 140640412224688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1313348

[startup+1782.3 s]
/proc/loadavg: 2.18 2.20 2.18 3/184 28241
/proc/meminfo: memFree=28296360/32872528 swapFree=1430864/1543284
[pid=28154] ppid=28151 vsize=1313348 CPUtime=1781.85 cores=0,2,4,6
/proc/28154/stat : 28154 (toysat) R 28151 28154 27978 0 -1 4202496 269700 0 0 0 178118 67 0 0 20 0 4 0 12053838 1344868352 269442 33554432000 4194304 16246674 140736370833488 140736370816488 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28154/statm: 328337 269442 791 2943 0 325231 0
[pid=28154/tid=28155] ppid=28151 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28155/stat : 28155 (toysat) S 28151 28154 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12053838 1344868352 269442 33554432000 4194304 16246674 140736370833488 140640433188080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28154/tid=28156] ppid=28151 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28156/stat : 28156 (toysat) S 28151 28154 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12053838 1344868352 269442 33554432000 4194304 16246674 140736370833488 140640422698224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28154/tid=28157] ppid=28151 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28157/stat : 28157 (toysat) S 28151 28154 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12053838 1344868352 269442 33554432000 4194304 16246674 140736370833488 140640412224688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1313348



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.21 2.21 2.18 3/184 28241
/proc/meminfo: memFree=28296360/32872528 swapFree=1430864/1543284
[pid=28154] ppid=28151 vsize=1313348 CPUtime=1800.04 cores=0,2,4,6
/proc/28154/stat : 28154 (toysat) R 28151 28154 27978 0 -1 4202496 269700 0 0 0 179937 67 0 0 20 0 4 0 12053838 1344868352 269442 33554432000 4194304 16246674 140736370833488 140736370815360 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28154/statm: 328337 269442 791 2943 0 325231 0
[pid=28154/tid=28155] ppid=28151 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28155/stat : 28155 (toysat) S 28151 28154 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12053838 1344868352 269442 33554432000 4194304 16246674 140736370833488 140640433188080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28154/tid=28156] ppid=28151 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28156/stat : 28156 (toysat) S 28151 28154 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12053838 1344868352 269442 33554432000 4194304 16246674 140736370833488 140640422698224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28154/tid=28157] ppid=28151 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28157/stat : 28157 (toysat) S 28151 28154 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12053838 1344868352 269442 33554432000 4194304 16246674 140736370833488 140640412224688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1313348

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

[startup+1800.5 s]
/proc/loadavg: 2.21 2.21 2.18 3/184 28241
/proc/meminfo: memFree=28296360/32872528 swapFree=1430864/1543284
[pid=28154] ppid=28151 vsize=1313348 CPUtime=1800.04 cores=0,2,4,6
/proc/28154/stat : 28154 (toysat) R 28151 28154 27978 0 -1 4202496 269700 0 0 0 179937 67 0 0 20 0 4 0 12053838 1344868352 269442 33554432000 4194304 16246674 140736370833488 140736370815360 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/28154/statm: 328337 269442 791 2943 0 325231 0
[pid=28154/tid=28155] ppid=28151 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28155/stat : 28155 (toysat) S 28151 28154 27978 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12053838 1344868352 269442 33554432000 4194304 16246674 140736370833488 140640433188080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=28154/tid=28156] ppid=28151 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28156/stat : 28156 (toysat) S 28151 28154 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12053838 1344868352 269442 33554432000 4194304 16246674 140736370833488 140640422698224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=28154/tid=28157] ppid=28151 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28154/task/28157/stat : 28157 (toysat) S 28151 28154 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12053838 1344868352 269442 33554432000 4194304 16246674 140736370833488 140640412224688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1313348

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1799.38
CPU system time (s): 0.676897
CPU usage (%): 99.9751
Max. virtual memory (cumulated for all children) (KiB): 1313348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.38
system time used= 0.676897
maximum resident set size= 1077768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269700
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= 347
involuntary context switches= 1956

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.41402 second user time and 8.39172 second system time

The end

Begin job on node116 at 2016-06-16 20:00:51
IDJOB=4095987
IDBENCH=107550
IDSOLVER=2542
FILE ID=node116/4095987-1466100051
RUNJOBID= node116-1466098250-27994
PBS_JOBID= 19904066
Free space on /tmp= 71620 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-60.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4095987-1466100051/watcher-4095987-1466100051 -o /tmp/evaluation-result-4095987-1466100051/solver-4095987-1466100051 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466098250-27994 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4095987-1466100051.opb

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

MD5SUM BENCH= c773d9ed9f4f0f34f10d998d7759854e
RANDOM SEED=2110131238

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30470364 kB
Buffers:           39388 kB
Cached:           112100 kB
SwapCached:         2820 kB
Active:            84756 kB
Inactive:          71096 kB
Active(anon):       4468 kB
Inactive(anon):     1948 kB
Active(file):      80288 kB
Inactive(file):    69148 kB
Unevictable:     1543284 kB
Mlocked:         1430864 kB
SwapTotal:      67108856 kB
SwapFree:       67099404 kB
Dirty:             16312 kB
Writeback:             0 kB
AnonPages:       1617108 kB
Mapped:             7160 kB
Shmem:                 0 kB
Slab:             569420 kB
SReclaimable:      13944 kB
SUnreclaim:       555476 kB
KernelStack:        1528 kB
PageTables:         6476 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1638872 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    184320 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= 71604 MiB
End job on node116 at 2016-06-16 20:30:52